func main(): i32 { let value = load_value() catch failure { fallback_for(failure.message()) } if value == 42 { return 0 } return 1 } func load_value(): i32! { return error.new("example.unavailable", "the primary value is unavailable") } func fallback_for(message: &str): i32 { return 42 }

use std/fmt.Format use std/io struct Point { x: i32 y: i32 } instance Point { impl Format method &self.try_format_into(output: &+String): void! { output.try_push_str("(")? self.x.try_format_into(output)? output.try_push_str(", ")? self.y.try_format_into(output)? output.try_push_str(")")? return } } func main(): i32! { let point = Point { x: 3, y: 4 } let message = "point = ${point}\n" io.print(&message)? return 0 }

use std/io use std/vec.Vec struct Point { x: i32 y: i32 } instance Point { operator (&self == other: &Self): bool { return self.x == other.x && self.y == other.y } } func main(): i32! { let first = Point { x: 3, y: 4 } let same = Point { x: 3, y: 4 } let other = Point { x: 5, y: 6 } if first != same || first == other { return 1 } let points = Vec [move first, move other] if points[0] != same { return 1 } var values = Vec [1, 2, 3] values[1] = 4 if values[0] + values[1] + values[2] != 8 { return 1 } io.print("equality found the point\n")? return 0 }

struct Buffer { values: [i32; 3] } instance Buffer { operator (&self[index: usize]): &i32 { return &self.values[index] } operator (&+self[index: usize]): &+i32 { return &+self.values[index] } } func at<C>(container: &C, index: usize): i32 where (&C[usize]): &i32 { return container[index] } func main(): i32 { var buffer = Buffer { values: [3, 4, 5] } buffer[1] = 9 if at(&buffer, 1) != 9 { return 1 } return 0 }

v0.32.0 Phase 4 Tooling and Practical Integration Review

Result: complete with no open finding. One authored public package now demonstrates the entire configured synchronous-command use case. Compiler, editor, formatter, native execution, and installed-home checks consume that package instead of maintaining feature-specific Nocter source copies.

Shared Public Contract

examples/subprocess-configured owns the user-facing source, executable helper, working-directory marker, and exact output. Its command:

selects ./workspace before resolving ./helper.sh;
clears inherited environment, replaces MODE twice, and removes a temporary entry;
copies finite UTF-8 bytes into child stdin;
captures and validates the helper's status, stdout, and stderr;
prints the two decoded streams through public std/io and std/string APIs.

nocter-test-support::PUBLIC_PACKAGE_EXAMPLES owns the corresponding host-side fixture and process contract once. Command tests materialize it and execute the native image. Native-session tests discover every public package from the same catalog. The installed-home CLI test builds and runs the package through a copied standard library. The website generator publishes the authored .nct and fixture sources from examples/.

Editor and Formatter Evidence

The language-server test opens configured.nct as an ordinary package source and requires complete analysis without diagnostics. It verifies the public current_dir hover, declaration navigation to std/process/index.nct, implementation navigation to configuration.nct, and receiver-aware completion containing all eight Command methods under incomplete syntax. The completion assertion depends only on an incomplete semantic snapshot, not a particular failure-phase ordinal.

The formatter's repository example test discovers every .nct source under examples/, so the new package is checked for canonical spelling and idempotence without another path list.

Review

No source contract is duplicated between compiler crates. The public example uses only exported standard-library declarations. Tooling consumes normal package discovery and semantic products; it has no configured-subprocess special case. The specification now labels v0.32.0 as an implemented candidate while the release index and root README continue to identify v0.31.0 as the published release. Phase 5 can qualify and review the full candidate without changing the feature surface.