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-filesystem

Responsibility

Own one generation-local read view that overlays accepted open-document bytes and versions over first disk observations.

Contract

Package resolution, discovery, and analysis consume clones of the same source view for one generation. observe_file resolves and reads a regular file as one value, then retains that first result—including absence or failure—for the view's lifetime. Each view owns an opaque identity shared only by its clones. Equal override bytes do not make independently created views the same authority because their first disk observations may differ. The crate publishes no package-state, download, write, or artifact-publication operation.

Invariants

One generation cannot observe different bytes for the same canonical path.
Cloning a source view shares disk observations instead of reopening the filesystem.
Source authority is compared by opaque view identity, never by reassembling bytes, versions, or paths in a downstream crate.
Editor overlays are read-only and cannot enter persistent package transactions.
Filesystem content never selects a semantic identity after discovery has closed its input.

nocter-filesystem#

Responsibility#

Contract#

Invariants#

nocter-filesystem

Responsibility

Contract

Invariants