2026-06-23 (Status propagation: the v365– v380 [formula in source] FORM.SEAM.MMST.01 status carried into the remaining papers, the README and the Zenodo description)
Research changelog · TFPT — Introduction and reading guide
Deep-sync of the post-S3 status. The canonical surfaces ( tfpt_status, introduction) were already current; this pass propagated the same honest wording into origin_theory, tfpt_1– tfpt_5, tfpt_research_contracts, the root README.md, the Zenodo description and website/lib/papers.ts: SEAM.EQUIV.01 is closed modulo a cited theorem (lattice v367/ v368 [formula in source] the [formula in source] stack v376– v379 [formula
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/014-source.tex · lines 126 to 139
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v371_ftransfer_pole.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v368_seam_s3_inflow.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamApplicabilityLedger.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v375_observatory_registry.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v367_seam_s3_lattice.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v304_idg_nonlocal_ghost.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v370_grav_spin2_unitarity.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v379_seam_s3_rp.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v376_seam_s3_centralcharge.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v365_qg_oneloop_saddle.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v369_qgamb_redundancy.py
literal short identifier uniquely resolves in local script registry
- explicit file citation README.md
literal source filename/path in TeX
- explicit script identifier v380_grav_kms_hessian.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v374_ftransfer_qcd.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamScalingLimit.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred