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-test-support

Responsibility

Provide shared fixture construction and public-example catalogs for compiler tests without entering production dependency paths.

Contract

The crate creates validated test sources, packages, compile inputs, and runtime contract fixtures. Tests that consume physical repository inputs obtain the repository root, authored standard-library root, and release identity from this crate rather than reconstructing paths or copying the release number. One public-example run contract owns its relative arguments, exact environment, standard input, expected process result, fixtures, and filesystem postconditions; source-tree and installed-home runners consume that same data. It does not define language behavior or bypass production validation on behalf of tests.

Invariants

Public examples are discovered through one canonical catalog.
Every public-example runner applies the catalog's complete invocation contract rather than supplying runner-local arguments or environment policy.
Physical standard-package tests do not copy the active release number or repository traversal.
Test-only convenience cannot manufacture an accepted production product that normal APIs reject.
The crate remains a development dependency.

nocter-test-support#

Responsibility#

Contract#

Invariants#

nocter-test-support

Responsibility

Contract

Invariants