Validate a projection vector and return the inputs that the oracle may actually vary. `UnusedTrailing` is deliberately suffix-only: accepting a hole i

Serialize one raw or resolved IL with deterministic symbols and neutral checkout provenance. The CAS stage envelope distinguishes raw from resolved.

Can this unit ever participate in the exact `semantic` channel's merge claim? The product asserts behavioral equality only for strict-exact-safe unit

The exact-claim gate when the caller already has the two relevant facts.

Strict exact-safety by source-byte span for known roots. `verify` already computes value fingerprints for the normalized functions it can afford to i

Field-write fingerprints model final receiver+field state. Expose only Java's fixed `this.field = ...`; arbitrary receivers such as `other.field = ...

True when exactly one of `kids` is a node whose kind satisfies `pred`. The `ordered_*_effect_sequence` recognizers use it to assert a block's shape (e

Extract all units of `il` passing the size gates, with features computed.

A family's status against a `since=` snapshot: `new`/`changed` (in the comparison) or `unchanged` (present in the snapshot, so absent from the changed

Build a `Func` unit from a `name`/`parameters`/`body`-shaped node and register it for detection (a `Method` when `method`, else a `Function`). Every f

A git command rooted at `root`, with inherited git env vars cleared so it always operates on `root`'s repo — not on a `GIT_DIR`/`GIT_WORK_TREE` set by

Copy an old-arena expression subtree into the new arena.

Extract the binding identifier from a (simple) pattern.

Enumerate direct module bindings whose runtime string value is exact and immutable. This intentionally supports only a direct string literal. Aliases,

Evidence-only import fact resolution for semantic consumers. Import proof is intentionally not encoded in the lowered `Seq` payload; callers rely on a

Prove that `node` denotes a static imported namespace for `module`.

Evaluate an admitted callee body in the caller's builder behind a sink fence. The body runs through the SAME statement processor a unit build uses —

Associative *and* commutative operators (flatten-eligible).

Two units from the same file where one span contains the other (e.g. a method and its enclosing class) — exclude these trivial nesting matches.

A line with no extractable content on its own: blank, pure delimiters (`}`, `});`, `)`), or a bare control keyword. Sharing one of these between two b