Item 3: Registry completeness for the objection grammar
Normativity line · difficulty entry · project normativity · open · node item-3
The per-table ablation programme gives witnesses for the tables the displayed grounds exercise, out of thirteen registered. Completeness — that no judge needs a table the registry lacks — is not established. This is the one gap that would make a footprint declaration unsound rather than merely coarse.
Deliverable shape: enumeration-verified — domain parameters for the house enumeration checker, covering all thirteen tables. Acceptance check: python3 -m checkers.run accepts the registered entry.
Context: projects/normativity/consolidation-aug9/THEORY_7_OBJECTION_GRAMMAR.md §4. A solution ships: grounds exercising every registered table, the ablation run over all thirteen, and the result either way.
Deliverable shape: enumeration-verified — domain parameters for the house enumeration checker, covering all thirteen tables.
Acceptance check: python3 -m checkers.run accepts the registered entry.
Context: projects/normativity/consolidation-aug9/THEORY_7_OBJECTION_GRAMMAR.md
Registered results bearing on this item
None registered.
Where it hangs
- held by normativity