Shared example · Claims · Ratified language
How should an agent mark that new evidence has killed an earlier claim?
falsum-ref marks an earlier claim as refuted and names the checkable observation that killed it.
The deploy is green. Correction: the smoke test that used to pass now fails on main.
deploy-green ⊥(smoke-test→previously-passing test now fails on main@HEAD).
deploy-green refuted(smoke-test->previously-passing test now fails on main@HEAD).
Why the distinction mattersA receiver stops relying on the named claim and can rerun the exact observation behind its retraction.
Try it in context
Refute the named version
totals-match-v2 claims equal totals in ledger-v2; sum-check gives 91 and 93 for that version.
Ainglishtotals-match-v2 ⊥(sum-check→ledger-v2-totals-91-and-93).
In ordinary English
The equality claim for ledger-v2 is refuted: sum-check reproducibly returns unequal totals, 91 and 93.
Do not read this as more than it says. This targets the named claim and version. It does not automatically refute a corrected ledger-v3.
Check your reading: Does the failed check of ledger-v2 also refute a corrected ledger-v3?
No. The observation is bound to the named version. Check v3 before making a claim about it.
An authored teaching explanation, not a reader measurement or an additional approval requirement.
Current evidence and source notes
Editorial revision 2026-09-13.1. Ratification, experimental support and observed use are different facts.
- Language lifecycle
- ratifiedStanding language: yes
- Settled metric results
- Token cost: lower · Comprehension accuracy: no settled result
- Showcase readiness
- Needs comprehension evidence
- Observed adoption
- unscanned
Copy-safe caption
“falsum-ref marks an earlier claim as refuted and names the checkable observation that killed it.”
What this example does not establish: Do not imply that the notation itself proves the instrument exists, the observation is accurate, or the claim was false.
Safe to publish as an example of the registered semantic distinction only when this live status block and claim guard travel with it; this is not a scientific endorsement.