Like [`lower_corpus`] but discovers across several roots into one corpus.

Write `files` into a fresh per-process temp dir named after `tag` and lower them together as one corpus. Callers remove the returned dir when done.

Public entry: the value-graph fingerprint of the unit rooted at `root` (sorted multiset of `u64` value hashes). Equivalent computations → equal multis

`(receiver, value)` of a single-item append-like builder call admitted by first-party language/library contracts. Raw method selectors such as `push`

Lower the named children of a grammar's `arguments` field. Callee identity, missing-callee policy, and special argument surfaces stay in each languag

A strict semantic proof fact for a static import binding: local name → `(module coordinate, exported symbol)`. Frontends only call this for import fo

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.

Side-effect-free for normalization rewrites that move or drop expressions.

One FNV-1a step: xor `x` into the accumulator `h`, then multiply by [`PRIME`].

Borrow a slice of owned `PathBuf`s as `&Path` references — the form the detection entry points take. Used by every analysis/refactor subcommand that h

Deterministic, indexed correspondence under an explicit global candidate budget. Multiple candidates and competing claims are never broken by order. M

Stable hash of a runtime value (deterministic: `FxHasher` carries no random state), used to compose symbolic identities.

Build the value graph for a `Func`/`Method`/class unit. The unit root may be a `Func` (params + body) or a `Block` (class body of methods); for a `Blo

Binary-operator tokens shared by ~every C-family language. Per-language frontends delegate here and then handle their own extras (JS `===`/`**`/`??`,

Compare complete captured populations before applying any display selection. Equal content proposes correspondence; it never proves ancestry or approv

Refuse to use partial analysis as evidence that a corpus is clean.

Flatten an associative-commutative chain of value nodes into `out`.

Lower a float literal, retaining a hash of its source text so float constants are behavior-DISTINCT in the value graph (`3.14` ≠ `2.71`). The structur

Lower an import / `#include` / `use` statement to a `Seq` of its identifier and string leaves. Imports carry no behavior, but a *duplicated import blo