A `rescue`/`ensure`/`else` clause → a `Block` of its statements (its exception-type list and exception variable carry no behavior; a `then` wrapper is

A function body is normally a `statement_block`, but arrow functions may have an expression body.

Lower ALL analyzable regions of an embedded-script file into separate `Il`s: the `<script>` block(s) as JS/TS (as [`lower`]) and the `<style>` block(s

`selectors { block }` → a `CssRule`. Selectors become `CssSelector` children; declarations become `CssDecl` children. Registered as a unit only when `

Canonicalize a collection sequence of 2-element entries to the canonical map shape. Shared by the free-name and (entry-wise) other map factories.

Transform every source span carried inside this evidence payload. Anchors are intentionally separate: callers that relocate a complete evidence recor

The payoff-economics cell — copies, shared/varying lines, removable lines, witness — with the removable count bold and the witness coloured by confide

The module-scope names a `ModuleRebind` fact reports as reassigned from inside another scope (a Python `global name; name = ...`). A top-level functio

Whether `*` is (asymmetric) sequence repetition rather than purely numeric — Ruby only (`"ab" * 3` is `"ababab"`, but `3 * "ab"` raises). Gates both t

A discriminant for `(kind, payload)`. Canonical ids (`Cid`) contribute their value, so variable *identity* is preserved (alpha-invariantly): `x - y` a

Fraction of `b`'s lines that lie inside `a` (both in the same file). Used to collapse a site that is contained in — or near-identical to — a larger on

Pair-order-invariant overlap of a prediction pair against a gold pair.

Parse `git diff --unified=0` text into current-side changed line ranges per repo-relative path. Added files therefore carry ranges in the current tree