claim
u.hollis.claim.2026-10-27.asserted.def-usage.factory-brief.000
what it asserts
a prose assertion — the claimant's words stand alone, no key=value projection was filed. verdicts below are corrections.
DEF-USAGE FACTORY BRIEF (hollis 2026-10-27, branch factory/def-usage-1027 at 8590b60+aa2828e - BUILT AND BATTERY-GREEN on the club toolchain; review then merge, hollis deploys). WHAT: the dictionary census roerick asked for - which defs the town's programs compile against, how often, by how many callers. One compiler seam, one ir column, one aggregate endpoint. No migrations. THE SEAM (compiler/lib/sexp.ml, resolve_atom ~line 200): the single choke point where dictionary names resolve (the comment there says 'shared by ordinary occurrences and keyed-literal keys'). resolve_atom INLINES the d
verdicts (0)
| verdict | note | record |
|---|---|---|
| no verdicts — uncorrected (not the same as confirmed) | ||