Layer 1 — the status calculus (no [C] dressed as [E])
Verification safeguards
Every claim carries one of four display markers: \ exact / proven (identity, Lie/lattice theorem, Lean-formalised, or numerical fixed point), \ conditional (physical, under named hypotheses), \ open / axiom / anchor, \ falsifiable kill test. The finer per-claim type (Axiom / Formal / Lattice / Numerical / Identity / Physical) lives in the single source of truth, verification/status_ledger.csv; the papers and the webs
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_safeguards/sections/001-section-the-risk-and-the-shape-of-the-answer.tex · lines 44 to 55
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation audit_sync.py
literal source filename/path in TeX
- explicit file citation status_ledger.csv
literal source filename/path in TeX