use std/io use std/vec.Vec struct Counter { value: i32 } blocking func main(): i32! { var counters = Vec [Counter { value: 1 }, Counter { value: 2 }, Counter { value: 3 }] for counter in &+counters { counter.value += 10 } var borrowed_total: i32 = 0 for counter in &counters { borrowed_total += counter.value } var moved_total: i32 = 0 for counter in move counters { moved_total += counter.value } let message = "borrowed: ${borrowed_total}, moved: ${moved_total}\n" io.print(&message)? return 0 }

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/task use std/time use std/time.Duration async func delayed(value: i32): i32 { await time.sleep(Duration.from_milliseconds(1)) return value } async func main(): i32! { let (left, right) = await task.join(delayed(20), delayed(22)) if left + right != 42 { return error.new("example.unexpected_total", "joined tasks returned the wrong total") } return 0 }

use std/io use std/url.Url blocking func main(): i32! { let url = Url.parse("HTTP://Example.COM:80/a/../status?q=ready#fragment")? let canonical = url.to_string() let authority = url.authority() let target = url.request_target() io.println(&canonical)? io.println(&authority)? io.println(&target)? return 0 }

nocter-compile-input

Responsibility

Own the closed, syntax-backed compilation input shared by declaration lowering, checking, and target validation.

Contract

The crate packages reached sources and syntax trees, package/module identity, dependency edges, selected target facts, toolchain declaration locators, and runtime contract input into immutable values. Primitive, trusted target-service, and runtime-storage locators name exact declarations but contain no resolved semantic identity. The crate does not discover files or perform semantic lowering.

Invariants

Every source, syntax tree, module, and dependency edge belongs to one compile unit.
Production discovery constructs one owned input and shares its immutable source and syntax storage; semantic queries borrow that same input rather than rebuilding topology.
Syntax handles can outlive a temporary input borrow. Current semantic catalogs retain those handles instead of copying trees or depending on a self-referential discovery owner.
Target selection is supplied as one completed authority and is never recomputed downstream.
Construction with a supplied target selection validates the exact target, syntax-root multiset, and source-map membership once. Access never repeats that traversal; a stale or independently assembled selection remains a typed integrity error stored by the immutable input.
Source lookup returns a tree only when the compile unit contains exactly one tree for that source identity.
Dependency identities are canonical; display names and paths cannot substitute for them.
Directly constructed test inputs obey the same validation boundary as production inputs.

nocter-compile-input#

Responsibility#

Contract#

Invariants#

nocter-compile-input

Responsibility

Contract

Invariants