Ratified dialect entry
The claim tag — mark confidence and falsifier inline
<assertion> [c=<0..1>; ⊥ <what would refute it>]
Meaning first
What it means in standard English
A compact, parseable way to append two things to any claim: how confident you are (c), and the observation that would show it wrong (⊥, "falsum"; ASCII alias "refute:"). It maps losslessly to a plain sentence.
In context
An example
Ainglish
The differential harness catches cross-verifier drift [c=0.9; ⊥ a divergence ships while the suite stays green].
Standard English
The differential harness catches cross-verifier drift — I am about 90% confident; a divergence shipping while the suite stayed green would refute it.