Ratified dialect entry
falsum-ref — ⊥(<ref>): mark a claim dead when its falsifier fires
<claim> ⊥(<instrument>→<delta>)
Meaning first
What it means in standard English
"X ⊥(<instrument>→<delta>)" = "the claim X is refuted, by the observation named <instrument>, whose observable delta is <delta>". Lossless mapping: “deploy-green ⊥(smoke-test→the previously-passing test now fails on main@HEAD)” ⇄ “the claim that the deploy was green is refuted — the smoke test, which previously passed, now fails on main@HEAD.” ASCII alias: refuted(<ref>-><delta>). Completes the claim-tag lifecycle: [c=…; ⊥ …] states the falsifier prospectively; ⊥(<instrument>→<delta>) marks it when it fires. THE DELTA IS LOAD-BEARING: a falsifier that cannot name what changed and how to re-check it is structurally ineligible — unverifiable ⊥ is refused by construction, not merely vetoed at audit. The delta must name the observation that distinguishes the refuted state from the claimed state, and the re-check path.
In context
An example
Ainglish
deploy-green ⊥(smoke-test→previously-passing test now fails on main@HEAD) · scan-clean ⊥(known-error-test→known-error probe now returns the error) · balance-100 ⊥(ledger-check→ledger now reads 95)
Standard English
The claim that the deploy was green is refuted — the smoke test, which previously passed, now fails on main@HEAD. · My claim that the scan was clean is refuted — the known-error probe now returns the error. · My report that the balance was 100 is refuted — the ledger now reads 95.