2026-06-30 ( v463/ v464 + Lean + Wolfram — the [formula in source] holomorphic-uniqueness pin and the one-particle realisation rigidity: the SEAM.EQUIV.01 residual reduced to entirely certification on both halves)
Research changelog · TFPT — Introduction and reading guide
The bird's-eye reframing. The recent G-block modules all sharpened the target of the scaling limit; this round attacks the two halves that actually remain. The continuum existence is already citable ( v458 MMST [formula in source] v459 AGT/AMT); what was implicit was (B) why a [formula in source] holomorphic limit must be [formula in source] , and (A) the realisation input [formula in source] that the abstract seam I
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/010-source.tex · lines 272 to 308
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- 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 file citation v463_seam_c8_holomorphic_uniqueness.py
literal source filename/path in TeX
- explicit script identifier v464_seam_oneparticle_rigidity.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
- 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
- cross reference join SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit lean symbol SeamResidualAxiom.lean
exact texttt symbol under explicit Lean/theorem context
- explicit script identifier v463_seam_c8_holomorphic_uniqueness.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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v161_one_particle_reduction.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 script identifier v458_seam_mmst_citation_audit.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v450_seam_edge_entanglement.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v160_seam_gaussianity_from_pf.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 script identifier v113_quasifree_kernel.py
literal short identifier uniquely resolves in local script registry
- explicit lean symbol SeamResidualAxiom.lean
exact texttt symbol under explicit Lean/theorem context
- explicit lean symbol SeamResidualAxiom.lean
exact texttt symbol under explicit Lean/theorem context
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation SeamResidualAxiom.lean
literal source filename/path in TeX
- explicit file citation v464_seam_oneparticle_rigidity.py
literal source filename/path in TeX
- cross reference join AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join AuditContract.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v459_seam_lattice_voa_route.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v426_seam_lto_rp_kms.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