Lower a `condition`/`body`-shaped CST node into a canonical `While` [`Loop`]. Every C-family `while` lowers identically apart from *how* its condition

Bind a target (Var / tuple `Seq` / `Index` store) to a value. Returns true when evaluating the target itself raised a runtime `Err`.

Generate candidate pairs sub-quadratically: union of MinHash-LSH buckets (resemblance) and the winnowing inverted index (shared-span / small-in-large)

Best-effort absolute, symlink-resolved path.

The surface an integration should treat this family as: the ranked `recommended_surface`, except that generated-header families and CSS build pipeline

Evidence records with an [`EvidenceAnchor::Binding`] anchor carrying this `local_hash`, in evidence order. Binding anchors are matched by hash (not sp

Execute a statement (or block), threading control flow.

First all-Block family that pairs `left` with `right` and excludes `negative`.

The first contract the contract path produces for `src`, walking pre-order.

Run the fragment described by `contract` on `args` (bound to its inputs in order) and return its observable [`Behavior`], or `None` if the wrapper can

Stable hash of any hashable tag (operator, builtin, contract).

Validate that an occurrence-level imported symbol record is backed by a still-visible import binding and not reopened through a rebound or shadowed lo

Resolve a call's positional + keyword arguments to a binding plan: a list of `(param_cid, arg_value_node)` pairs covering every parameter exactly once

Inclusive line count, saturating for malformed ranges.

Minimal LCS line diff → `(' '|'-'|'+', line)`. Caps each side so the O(n·m) table stays small on large members (the differing lines are what matter).

Load the `[query]` config: from `explicit` if given, else the first of `nose.toml` / `.nose.toml` found in the current directory. Returns the default

`if let PAT = expr` / `let PAT = expr` condition → preserve the pattern test as `expr == PAT`. Rust enum-variant/const pattern resolution is still car

Adapt current wire coordinates to the labelset's internal coordinate names.

Pairwise similarity: a cheap multiset Jaccard over shape features (the bulk signal) plus a RANSAC-style alignment over the linearized node-tag sequenc

Collect a CST node's named children into a `Vec` (decouples from the tree cursor so the borrow checker stays happy during recursion). Comments are ski