2026-06-30 ( v449– v453 + Lean + Wolfram — the edge CFT named end-to-end: uniform-in- [formula in source] convergence, three independent reads of [formula in source] , the Ising operator tower, the [formula in source] modular data, and [formula in source] -symmetry derived from the four marks)
Research changelog · TFPT — Introduction and reading guide
v449_seam_mmst_uniform.py ( SEAM.EQUIV.MMST.UNIFORM.01). Strengthens the cited MMST hypothesis from convergence at a single cross-ratio ( v444/ v448) to the uniformity the theorem actually asserts, on the same v367/ v368 collar. \ cross-ratio A [formula in source] , the deviation shrinking monotonically; \ an independent cross-ratio B [formula in source] its own value [formula in source] , so convergence is not a tun
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/011-source.tex · lines 53 to 104
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
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation tfpt_readouts_extension.wl
literal source filename/path in TeX
- explicit script identifier v447_seam_edge_chern.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v450_seam_edge_entanglement.py
literal source filename/path in TeX
- 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 v448_seam_edge_fourpoint.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v452_seam_e8_modular.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 AuditContract.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join SeamEdgeChern.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v446_seam_clock_invariance.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v449_seam_mmst_uniform.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v156_seam_net_construction.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v336_continuum_limit.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
- 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 v452_seam_e8_modular.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 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 tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join SeamRigidityForcing.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 file citation v449_seam_mmst_uniform.py
literal source filename/path in TeX
- explicit script identifier v451_seam_edge_cardy_tower.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
- explicit script identifier v444_seam_edge_scaling.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v168_qgeo_rigidity.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation SeamEdgeChern.lean
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v453_seam_mu4_from_marks.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v368_seam_s3_inflow.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v451_seam_edge_cardy_tower.py
literal source filename/path in TeX
- explicit lean symbol SeamEdgeChern.lean
exact texttt symbol under explicit Lean/theorem context
- cross reference join MobiusUniformisation.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v445_seam_rigidity_forcing.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v453_seam_mu4_from_marks.py
literal source filename/path in TeX