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-target-selection

Responsibility

Own the single syntax-backed activity decision for items and imports guarded by #target.

Contract

The builder consumes syntax trees, source storage, and one selected compilation target. It publishes an immutable TargetSelection used by discovery and declaration lowering. Unknown authored targets remain typed source errors while their items stay inactive for safe graph discovery. The completed selection retains its target and exact syntax-root multiset so a compile input can reject a stale, reparsed, or foreign-source selection before semantic lowering.

Invariants

A target directive is decoded once.
Complete target gates remain usable beside unrelated incomplete syntax.
Incomplete or unknown gates never activate nested imports.
Downstream stages cannot rescan syntax to choose a different activity result.
Activity keys retain complete NodeId values; they never discard the owning tree identity into a source-and-index tuple.
Activity queries verify that the supplied node belongs to one selected syntax tree. A node from a reparsed or foreign tree is inactive rather than relying on the caller to establish membership.
One selection admits at most one syntax tree for a physical source identity.

nocter-target-selection#

Responsibility#

Contract#

Invariants#

nocter-target-selection

Responsibility

Contract

Invariants