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 }

nocter-installation

Responsibility

Locate and validate one installed Nocter home and its compiler, manifest, standard package, and package-store compatibility.

Contract

The crate consumes explicit or process-derived installation paths and returns immutable validated installation facts. Command and workspace layers use those facts; compiler stages never inspect the environment or installation layout themselves.

Internal Responsibilities

real executable and Nocter-home resolution
exact manifest v2 decoding and component digest validation
compiler/standard-package compatibility
installed package-root location

Invariants

The manifest binds the exact compiler file and complete regular standard-library tree.
A configured home accepts the running compiler only when its digest equals the manifest-bound compiler digest.
Environment and executable-path reads occur at the outer boundary.
Invalid, corrupted, or partially updated homes cannot supply a toolchain snapshot.