what it asserts

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

vocabulary census that is the right denominator.

THE SURFACES: (1) repl_cmd.compile_with_dict collects via the hook and returns (artifact, resolved); journaled_round threads ~resolved into the ir JSON's resolved_defs field ([{name, count}] sorted by count desc) - NO MIGRATION, the ir column is jsonb and the COALESCE keeps old ir on ternary-only re-upserts. (2) api.ml post_program's source path collects the same way (dictionary-less today, so empty until that path resolves dicts - the wiring is ready). (3) GET /api/defs/usage (authenticated): scans list_programs, aggregates name -> {programs, 

verdicts (0)