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
One counterexample to an all-claim
all-labelled claims that every box in inventory-v5 has a label; label-check inspects that fixed inventory.
Ainglishall-labelled refuted(label-check->box-9-has-no-label-in-inventory-v5).
In ordinary English
The claim that all boxes are labelled is refuted by the reproducible finding that box 9 in inventory-v5 has no label.
Do not read this as more than it says. One missing label refutes “all”, but does not say that most boxes lack labels. The stated check still has to be accurate.
Check your reading: Does finding one unlabelled box establish that most boxes lack labels?
No. One counterexample defeats “every box is labelled”. It does not establish how common the problem is.
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.