A registered result in its source context
Original ledger classification: Identity/guard [I] (prose sentinel against semantic drift)
Recorded statement: THE FRONTIER-WORDING GUARD (a prose sentinel, no new physics; external-review proposal 2026-06-14): v187 protects the ledger TYPING, this guard protects the PROSE. It forbids stale sentences whose semantics an earlier round superseded, so…
Statement, assumptions and sources
Paper context: Frontier and open physical interfaces
The exact identifier, original classification and full claim are available below.
The source wording and classification below are preserved as recorded. A paper link, shared script or authored topic relation does not upgrade the claim or report a new proof run. Read later reviewed findings separately.
Read the exact registered claim and its dependencies
AUDIT.WORDING.01
Original ledger classification: Identity/guard [I] (prose sentinel against semantic drift)
Original claim text
THE FRONTIER-WORDING GUARD (a prose sentinel, no new physics; external-review proposal 2026-06-14): v187 protects the ledger TYPING, this guard protects the PROSE. It forbids stale sentences whose semantics an earlier round superseded, so a frozen Zenodo release can never re-introduce wording that was true yesterday and is half-true today. Forbidden patterns (each recording what superseded it): (1) 'leptogenesis interface (mE)' -- v184 retyped Route B to [C] (M_R is the seesaw scale, not a compiler power); (2) 'closed branch also fixes the leptogenesis inputs' -- the branch fixes the spectrum + a washout anchor, NOT the heavy scale; (3) 'relic scale f_a,m_a open' -- v185 sharpened DM: the scales DEFINE the branch, the open item is the hilltop-sensitive relic abundance; (4) 'computed Q=0.664 ... near, not exact' -- v183 gave the 53/54 factor an exact operator origin (F=R+Q corner); (5) 'Suite now 187 modules' -- the count is 187, highest ID v188 (v186 skipped). Scans the 10 active .tex documents; PASSES when none of the stale phrasings appear. Python-only (text sentinel)
Original classification detail
Identity/guard [I]: stale frontier prose (superseded wording) is forbidden from the active documents
Dependencies as recorded
FR.ETAB.03; FR.DM.03; FR.KOIDE.07; FR.TRANSFER.01
Open the original ledger source, row 182Location recorded in the ledger
These document locations are recorded directly on the ledger row. They are document level navigation, rather than a newly inferred section citation.
- Frontier and open physical interfaces
Sections that explicitly cite this claim
A literal claim identifier is present in these paper sections. The section and its premises determine what the citation supports.
- 2026-06-14 (F_transfer round: eta_B honest test v184, axion relic v185, discipline guard v187)Research changelog; TFPT — Introduction and reading guide
Navigation through a shared verification script
These sections cite a script associated with the claim. This is a source navigation join, rather than an explicit citation of the claim or a theorem equivalence.
- 2026-06-14 (Zenodo release 5.1 (rev 120) — F_transfer firewall, v184–v188)Research changelog; TFPT — Introduction and reading guide
- Layer 4 — the firewall and the No-Unit theoremVerification safeguards
- 2026-06-14 (QGEO.ENERGY.02 energy-commutator + QFT-wording hardening — v193)Research changelog; TFPT — Introduction and reading guide
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- Front matter / supportFrontier and open physical interfaces
- 2026-06-15 (archive integration \#3: axion coupling [formula in source] + retired small-angle reading)Research changelog; TFPT — Introduction and reading guide
Registered verification modules
- v188_frontier_wording_guard.pyRegistered verification module · registry
Read the description recorded in the module registry
the frontier-wording guard (a prose sentinel, no new physics): v187 protects the ledger typing, this guard protects the prose. It forbids stale sentences whose semantics an earlier round superseded — 'leptogenesis interface (mE)' (v184 retyped Route B to [C]), 'closed branch also fixes the leptogenesis inputs' (M_R is the seesaw scale, not a compiler power), 'relic scale f_a,m_a open' (v185: the scales define the branch, the open item is the hilltop-sensitive relic abundance), 'computed Q=0.664 … near, not exact' (v183 gave 53/54 an exact operator origin), 'Suite now 187 modules' (the count is 187, highest ID v188; v186 skipped). Scans the 10 active .tex documents; passes when none of the stale phrasings appear, so a frozen Zenodo release can never re-introduce half-true wording.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.