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-standard-profile

Responsibility

Own the one physical declaration profile for the standard package bundled with this compiler.

Contract

The crate projects one package identity into the exact prelude, builtin type, structural attachment, standard declaration, primitive declaration, and trusted target-service locators expected in the bundled standard source tree. It does not discover files, resolve declarations, validate semantic contracts, or orchestrate a compiler session.

Invariants

Production commands, workspace analysis, and physical-standard tests consume the same complete profile. Synthetic primitive fixtures that mirror bundled source consume its primitive-locator subcatalog rather than copying those paths and names.
Every closed primitive role has exactly one bundled source location.
Every available target-service role has exactly one private bundled source location; symbols and foreign ABI remain in the runtime contract rather than this physical profile.
Iteration protocols with repeated member spellings use distinct physical child modules; the profile maps each stable role to an exact declaration without making a spelling an identity.
View-length roles bind the public slice and str observation methods that checking may use as symbolic bounds; implementation primitives remain separate runtime roles.
A physical-standard test cannot reconstruct a partial bundled profile.
Physical source paths and declaration spellings do not enter semantic or backend products.

nocter-standard-profile#

Responsibility#

Contract#

Invariants#

nocter-standard-profile

Responsibility

Contract

Invariants