2026-07-02 ( v469/ v470 — the closure-route round on the two named targets: the SEAM.EQUIV.01 extension leg re-founded on 1995–2001 peer-reviewed crossed-product theorems [formula in source] the realisation axiom reduced to invariant level; the [formula in source] level [formula in source] the computed bulk Chern invariant [formula in source] the seam [formula in source] -normalisation [formula in source] the embedding index [formula in source] ; both targets stay )
Research changelog · TFPT — Introduction and reading guide
v469_seam_crossedproduct_route.py ( SEAM.EQUIV.CROSSEDPRODUCT.01). The [formula in source] -spinor extension leg of SEAM.EQUIV.01 no longer rests on 2024/2025 preprints: \ the [formula in source] spinor has [formula in source] , so its statistics phase is [formula in source] — exactly the Longo–Rehren locality criterion — and the [formula in source] simple-current crossed product [formula in source] is a local index-
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 108 to 175
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v463_seam_c8_holomorphic_uniqueness.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 v435_alpha_quillen_chernlevel.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
- explicit lean symbol SeamResidualAxiom.lean
exact texttt symbol under explicit Lean/theorem context
- explicit script identifier v433_alpha_quillen_heatkernel.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
- explicit lean symbol SeamResidualAxiom.lean
exact texttt symbol under explicit Lean/theorem context
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation run_all.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
- explicit lean symbol SeamResidualAxiom.lean
exact texttt symbol under explicit Lean/theorem context
- explicit script identifier v160_seam_gaussianity_from_pf.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v125_glue_qsystem.py
literal short identifier uniquely resolves in local script registry
- explicit lean symbol SeamResidualAxiom.lean
exact texttt symbol under explicit Lean/theorem context
- explicit script identifier v469_seam_crossedproduct_route.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 lean symbol SeamResidualAxiom.lean
exact texttt symbol under explicit Lean/theorem context
- cross reference join SeamEquivChain.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v382_alpha_quillen_exact.py
literal short identifier uniquely resolves in local script registry
- 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 script_registry.csv
literal source filename/path in TeX
- explicit script identifier v459_seam_lattice_voa_route.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v434_alpha_quillen_betafunction.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v456_seam_chirality_from_c3.py
literal short identifier uniquely resolves in local script registry
- explicit file citation next.txt
literal source filename/path in TeX
- explicit file citation SeamResidualAxiom.lean
literal source filename/path in TeX
- explicit script identifier v461_seam_strict_locality.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v155_quasifree_boundary.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v470_alpha_inflow_level.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 v302_seam_gap.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 lean symbol SeamResidualAxiom.lean
exact texttt symbol under explicit Lean/theorem context
- cross reference join AxiomCheck.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
- 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 script identifier v367_seam_s3_lattice.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v469_seam_crossedproduct_route.py
literal source filename/path in TeX
- cross reference join AuditContract.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v470_alpha_inflow_level.py
literal source filename/path in TeX
- cross reference join SeamScalingLimit.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