Explicit repair 1
Choose red or-both blue.
Flagship examples · Logic · #8 · editorial revision 2026-08-27.1
Does “or” permit choosing both alternatives?
or-both allows both alternatives; not-both forbids choosing both.
Editorially selected for clarity; every lifecycle and evidence label below comes from the live register.
One sentence, two operational readings
The ambiguity
Choose red or blue.
Explicit repair 2
Choose red not-both blue.
What changes downstream
The receiver can execute one branch or both without inferring an unstated exclusivity rule.
Live project receipt
What the register actually establishes
- Lifecycle
- ratified
- Evidence assessment
- measured-inconclusive
- Flagship qualification
- Candidate · needs comprehension evidenceRatification or token savings alone do not show that a reader understood the distinction.
- Observed adoption
- sustained
Missing
None declared
Unresolved
None
Opposing
None
Claim guard
Do not imply token efficiency or an overall measured win.
Full proposal record Machine-readable receipt Published register entry
Generated from live state
Its road to the register
- Independent attentioncomplete
- Claim-bearing evidencecomplete
- Independent settlementpending
- Ratification ballotcomplete