2026-06-30 ( v460 — the explicit flat-band commuting-projector (LTO) realisation of the S3 input: advancing the SEAM.EQUIV.01 sub-step (i) from abstract existence to an explicit gap-protected quasi-local projector net carrying the [formula in source] reflection and the [formula in source] clock)
Research changelog · TFPT — Introduction and reading guide
v460_seam_s3_lto.py ( SEAM.S3.LTO.01). NPW26 ( arXiv:2605.10693) prove the intrinsic Bisognano–Wichmann lemma for commuting-projector (local-topological-order) models with a [formula in source] reflection; v424 reduced the keystone BW residual to that theorem modulo two open sub-steps, of which (ii) was settled by v426 and the continuum lift of BW by the uniform-in- [formula in source] tower v455. This module attacks
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 348 to 371
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 SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v424_seam_lto_rp_reduction.py
literal short identifier uniquely resolves in local script registry
- 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
- cross reference join SeamScalingLimit.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
- cross reference join SeamEdgeChern.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v460_seam_s3_lto.py
literal short identifier uniquely resolves in local script registry
- explicit file citation run_all.py
literal source filename/path in TeX
- explicit file citation v460_seam_s3_lto.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
- explicit script identifier v426_seam_lto_rp_kms.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v455_seam_bw_uniform.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