What would still falsify TFPT
Verification safeguards
The safeguards are only credible with explicit kill tests (companion ``How to kill TFPT''). Among the frozen ones: a fourth chiral generation (breaks [formula in source] ); a genuinely free fundamental constant that is not an [formula in source] -closure fixed point; a seam denominator [formula in source] ; [formula in source] away from the fixed-point root; a stable [formula in source] far from [formula in source] a
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 241 to 253
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation v426_seam_lto_rp_kms.py
literal source filename/path in TeX
- cross reference join SeamApplicabilityLedger.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v469_seam_crossedproduct_route.py
literal source filename/path in TeX
- cross reference join SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v424_seam_lto_rp_reduction.py
literal source filename/path in TeX