The ambiguous and blocked merges of ruling F5 (2026-10-23).
queued · open · DECISIONS.md line 325
- The ambiguous and blocked merges of ruling F5 (2026-10-23). The mechanical match of bagged formal results to the informal claims they establish merged 2 of 244; 54 results have several candidates or share their one candidate with another result, and 8 have one candidate the protocol cannot merge into (a question or route leaf, a
casesorornode, a leaf carryinggiven, or a claim another result already took). The lists are inprompts/2026-10-22-map-as-canonical/REPORT.md, Follow-up of 2026-10-23, Part 3. Turns on: which claim a result establishes where several summary claims cite the same round, and whether a claim established by several registered declarations (oneandholds one record) gets a shape of its own — a reading of the mathematics, not a mechanical rule.
Touches
Nodes pointing at it
None.