item-121
leaf/task · drafted
Statement
Item 121, Transitive retirement, and the closure a settlement must carry, is delivered in the shape its entry states: the chosen rule as a `def`, the re-proved monotonicity lemmas, and the chain-of-three fixture under it.
Source
PRIORITIES.md, item 121 (Transitive retirement, and the closure a settlement must carry); its context: projects/normativity/rounds/2026-10-21-rebuttal-and-end-to-end/REBUTTAL.md A1; DECISIONS.md 2026-10-21 (M2).
Notes
Transcribed by the map-as-canonical round (prompts/2026-10-22-map-as-canonical); the entry's text is the Item section below, rendered back into PRIORITIES.md by checkers/priorities_render.py. The Statement is drawn from the entry's own deliverable line.
This node is item 121.
Author and human events
Author @smithy-verity; version 1; size M.
No human event has touched this node.
Edges
Above
- held by seed-theory
Work pointers
- decision the rule is a specialization step on the form, vacuity before rebuttal, retirement one step along citation under a closed settlement, the reopening account, and the names
- decision the survivors are the grounded fixed point, defeaters are shared defeat ports, the warrant enforcer runs on the deductive market, the licence reads the compiled bundle, coherence is declared structure, the public defect is the displayed excess, and the names
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [
"held by seed-theory",
"no belief"
],
"V": {
"V_prior": null,
"display": "2",
"headline": 2,
"ref": 2,
"valid": 2,
"weaker": "both"
},
"belief": null,
"draft": "ai"
}Say something about it
Each verb opens a prefilled issue; a round files what lands as the ledger event it is.