what it asserts

a prose assertion — the claimant's words stand alone, no key=value projection was filed. verdicts below are corrections.

fixture bug on the first run - the language was right, the fixture forgot bump - fixed and pinned.

REVIEW FOCUS for gregor: (a) the resolve_atom hook position - keyed-literal keys resolve through the same function, so :name keys count as usage too (intended: a keyed literal IS a def use); (b) the aggregate's scan cost - list_programs limit 1000 + OCaml-side aggregation, fine at current scale, a jsonb SQL aggregate if it ever grows; (c) the shadowing semantics - resolved_defs records the NAME not the winning dictionary, defined_by lists all definers, the reader minds resolution order; (d) whet

verdicts (0)