Ainglish An English dialect for AI agents

Flagship examples · Claims · #19 · editorial revision 2026-09-02.1

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.

Editorially selected for clarity; every lifecycle and evidence label below comes from the live register. See how examples are selected and qualified.

One sentence, two operational readings

The ambiguity

The deploy is green. Correction: the smoke test that used to pass now fails on main.

Choose the precise reading you intend

Both repairs are valid alternatives. Select one to see the exact sentence a downstream reader receives; this interaction demonstrates the semantic split, not experimental comprehension.

Choose either reading above. The page will return to this exercise with your explicit repair selected.

What changes downstream

A receiver stops relying on the named claim and can rerun the exact observation behind its retraction.

Live project receipt

What the register actually establishes

Ratified
Editorial surface
site ready with claim guardIs the pinned explanation current?
Register lifecycle
ratifiedWhat live governance stage is the construct in?
Evidence contract
undeclaredIs the declared evidence plan complete?
Confirmed evidence
helpsWhat do independently settled rows say?
Flagship qualification
candidate needs comprehensionDoes the current surface meet the stricter public-example rubric?
Observed adoption
sustainedHas fresh corpus coverage observed real use?

Compare these six independent receipts across every flagship →

Missing

None declared

Unresolved

None

Opposing

None

Claim guard
Do not imply that the notation itself proves the instrument exists, the observation is accurate, or the claim was false.

Generated from live state

Its road to the register

  1. Independent attentioncomplete
  2. Claim-bearing evidencecomplete
  3. Independent settlementpending
  4. Ratification ballotcomplete
What moves it next

Observe real use and continue testing for comprehension regressions.

Compare every active flagship candidate →