item-112
leaf/task · drafted
Statement
Item 112, Occurrence-level defeat: the orphan pin, is delivered in the shape its entry states: the rule as a `def` on `Grounds` replacing `Grounds.region`'s port-only filter, the no-orphan theorem on the fixture and in general for chains, and the fixture of this round re-run under it.
Source
PRIORITIES.md, item 112 (Occurrence-level defeat: the orphan pin); its context: .../2026-10-20-warrant-enforcement-semantics/SETTLEMENT_FORK.md (iv), COUNTERMODELS.md §3, LICENCE_CHAIN.md A1.
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 112.
Author and human events
Author @smithy-verity; version 1; size M.
No human event has touched this node.
Edges
Above
- held by normativity
Work pointers
- decision the licence is three-level with verdicts as values, enforcement's conclusion is a defect bound with the account beside it, the record of a run is its own object, and a warrant's defeat condition belongs to the occurrence
- decision rebuttal by settlement: a form whose consequent is pinned false is rebutted, whose antecedent is pinned false is vacuous, whose premise is pinned false retires its occurrence; rebuttal does not discount applicability; interval monotonicity is traded for a reopening account; the seed statics become one file
- decision What a warrant's security settles against (M2 of the warrant-enforcement-semantics round).
Ranking (the lens, not the structure)
{
"status": "open",
"diagnosis": null,
"flags": [
"held by normativity",
"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.