Classify an assignment fragment as an index-assignment effect or a Java self-field write — the two exact assignment shapes. Index assignment is checke

Exact self-return proof used by self-field body fragments.

Concatenate the verbatim contents of fenced code blocks (kept separate from prose because code and prose have different n-gram distributions — code/pr

Search for a distinguishing input for two units (their pre-canon CORE ILs + roots). Returns the first row on which both interpret to DIFFERENT, non-`N

Named semantic/near families (>=2 named members) with per-member spans + features. nose emits absolute file paths; normalize to repo-relative so

Deterministic ranking tie-break: a family's first site `(file, start line)`.

The family whose member span covers `at` (`file:line`) — the `at=` selector's target. A stable handle across edits, unlike the span-derived `id=`.

A family's lexicographically smallest site `(file, start_line, end_line)` — a stable identity used only as the final dedup-sort tie-break, so equal-sp

Whether every copy is the **same named symbol** in a different place — the decidable signature of a parallel-variant family (e.g. one `lower_for`/`stm

Like [`find_block_pair_family`], but `left`/`right` must report the `start_line..end_line` span.

Like [`find_block_pair_family`], but some location must span multiple lines.

First family whose locations include both a `left` and a `right` file.

Deterministic 64-bit FNV-1a over a string's bytes.

Index every `Func` in `il` by its source byte span, so a fully-normalized unit can be matched (by span) to the same function in the pre-canon core IL.

Groups of size ≥ 2, each a list of member indices.