2026-06-25 (External AQFT citations [formula in source] the four-fold [formula in source] identity sharpened)
Research changelog · TFPT — Introduction and reading guide
Two recent Adamo–Giorgetti–Tanimoto theorems cited where the keystone builds on them. The open SEAM.EQUIV.01 continuum/realisation legs ( v336) now cite, alongside MMST and Adamo–Moriwaki–Tanimoto ( arXiv:2407.18222, already in use): (a) the construction and classification of two-dimensional conformal nets from even lattices ( arXiv:2506.01008, 2025) — ``the lattice is a conformal net'' is a theorem of the same opera
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/012-source.tex · lines 207 to 227
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join SeamScalingLimit.lean
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 script identifier v215_seam_deck_killtest.py
literal short identifier uniquely resolves in local script registry
- cross reference join AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v336_continuum_limit.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v424_seam_lto_rp_reduction.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v422_galois_net_bridge.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v428_overdet_reclass.py
literal short identifier uniquely resolves in local script registry
- 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 claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join SeamEdgeChern.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v429_axion_pentagon_phi.py
literal short identifier uniquely resolves in local script registry
- 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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join SeamApplicabilityLedger.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred