Content of every extracted `<script>` block, as text.

Lines `start..=end` (1-based) of `file`.

Normalize `src` and return the structural hash of its first function/method unit. A shared `interner` keeps field-name symbols comparable across calls

Both the value fingerprint AND the pointer-length contracts from a SINGLE build — the behavioral oracle needs both per unit, and building the value gr

The friendly token for a `witness.kind` — the machine value (`--format json`, `group=witness` keys, filter matching). Stable; do not change without a

Whether a `+` chain may be treated as numeric/non-concat rather than ordered string/list concat. `value_law_satisfied` alone accepts an UNKNOWN operan

Conjoin two optional predicates (a filter's own predicate and one carried up through a fused collection): both → `p ∧ q`, one → it, none → none.

Anti-unify N line-blocks at line granularity. Anchored on the first (largest) copy, a line *survives* into the shared body only if it is matched in *e

Return whether `record` is an asserted, dependency-live builtin language-core fact for `il`'s language.

Evidence-only proof that `node` denotes a language-defined unshadowed global with the exact requested name. The raw spelling is never enough: only exp

`Assign` node ids whose [`Il::nearest_scope`] is `scope` (`None` = module level), in arena order. Backed by a lazy index: binding-LHS resolution filte

Preserve an async `await` boundary until a protocol/demand contract proves it can be erased safely.

Combine two optional condition nodes with `And`, preserving a lone condition.

The raw audit interface evaluates every seed. Product queries instead price the expensive pair-local proof only for the strongest ordinary near misses

Restore an artifact into the caller's shared interner and current checkout. Invalid symbol ids, schema drift, or region corruption fail closed.

Find maximal duplicated runs across all streams and cluster them into groups. A single forward pass keyed by k-gram hash: the first time a k-gram is s