Find the original argument.

Search the paper sections, open their original context and follow the checks they actually cite. The knowledge atlas explains the result; this library locates its source.

Matching source sections

403 sections found. Current publication documents are listed before historical material.

2026-07-02 ( v471 — the Seam–Horizon replica chain exercised numerically on the discretized collar: the kernel-identification premise of SEAM.THEOREM.01 discharged at the finite/model level; residual retypes to the continuum MMST leg [formula in source] the anchor; gate stays . Plus: the GW ringdown-echo channel hardened — 10 loudest events incl.\ GW250114, redshift-corrected templates, stacked search and a 12-variant signature battery, all null)

Research changelog · TFPT — Introduction and reading guide

v471_seam_horizon_replica.py ( SEAM.EHMODEL.04). The residual isolated by v150/ v151/ v152 — ``the RP seam kernel is this BFK Calder\'on datum'' — is exercised numerically on a discretized seam collar with the seam's own kernel and real replica sheets: the matched conical deficit has slope [formula in source] on deficit cones ( [formula in source] – [formula in source] ) and replica sheets [formula in source] ( [form

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/010-source.tex · lines 56 to 94

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
cross reference join SeamEquivChain.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 file citation fetch_strain_4096.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 SeamApplicabilityLedger.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v152_norm_is_anchor.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v150_replica_eh_model.py
literal short identifier uniquely resolves in local script registry
explicit file citation seam_horizon_replica.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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v151_bfk_split.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 script identifier v471_seam_horizon_replica.py
literal short identifier uniquely resolves in local script registry
explicit file citation v471_seam_horizon_replica.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
explicit script identifier v336_continuum_limit.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v302_seam_gap.py
literal short identifier uniquely resolves in local script registry

2026-07-02 ( v295 robustness patch — external-review follow-up: the numeric [formula in source] -kernel tolerance must dominate its own finite-difference floor)

Research changelog · TFPT — Introduction and reading guide

v295_flataway_a2_exact.py ( FLATAWAY.A2.01). Alessandro's Git-baseline audit (commit 8cb8ad0) hit a platform-marginal failure in check 3: the exact divided-difference [formula in source] kernel is compared against an [formula in source] second finite difference whose own truncation error is [formula in source] , yet the tolerance was [formula in source] — on his machine [formula in source] landed at [formula in sourc

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/010-source.tex · lines 95 to 107

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

cross reference join SeamDeckClosure.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v470_alpha_inflow_level.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 file citation v295_flataway_a2_exact.py
literal source filename/path in TeX
explicit script identifier v296_flataway_a2_closed.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v295_flataway_a2_exact.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

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.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

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

2026-07-02 ( v467/ v468 — two named post-hoc \ flavor candidates, record unchanged: the three [formula in source] mixing tensions as one third-generation [formula in source] pattern, and the splitting ratio [formula in source] )

Research changelog · TFPT — Introduction and reading guide

v467_thirdgen_mixing_pattern.py ( FLAV.THIRDGEN.PATTERN.01). The suite's three [formula in source] mixing tensions ( [formula in source] [formula in source] , [formula in source] [formula in source] , [formula in source] [formula in source] ; v307) are exactly the three third-generation channels and share one relative deviation [formula in source] — non-zero at [formula in source] , [formula in source] from [formula

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/010-source.tex · lines 176 to 218

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v307_data_watchdog.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v272_nu_mass_scale.py
literal short identifier uniquely resolves in local script registry
explicit file citation v468_dm2_ratio_jarlskog.py
literal source filename/path in TeX
explicit script identifier v268_theta13_carrier_trace.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v9_neutrino_texture.py
literal short identifier uniquely resolves in local script registry
explicit file citation next.txt
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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v393_corrections_numeric.py
literal short identifier uniquely resolves in local script registry
cross reference join YukawaStageDExistence.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 v467_thirdgen_mixing_pattern.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v270_pmns_jarlskog_assembly.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v84_frozen_registry.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v468_dm2_ratio_jarlskog.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation pattern_hunt_pmns_dressing.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v328_theta13_pressure.py
literal short identifier uniquely resolves in local script registry
explicit file citation script_registry.csv
literal source filename/path in TeX
explicit file citation run_all.py
literal source filename/path in TeX
explicit file citation v467_thirdgen_mixing_pattern.py
literal source filename/path in TeX

2026-07-01 ( v466 — a sixth seed channel from a new measurement sector: the charged-lepton mass ratio [formula in source] back-solves the same axiom seed to [formula in source] , extending the empirical over-determination to five sectors)

Research changelog · TFPT — Introduction and reading guide

v466_seed_leptonmass_channel.py ( SEED.LEPTONMASS.01). The seed over-determination of v306/ v465 used five observables spanning three measurement sectors (neutrino mixing, CMB, quark mixing). This module adds the charged-lepton mass sector: the ratio [formula in source] is a sixth independent readout of the one axiom seed [formula in source] . [E] plumbing: the axiom [formula in source] reproduces the frozen [formula

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/010-source.tex · lines 219 to 246

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v466_seed_leptonmass_channel.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v465_seed_crosssector_joint.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v305_witness_independence.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v306_seed_crossval.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 v466_seed_leptonmass_channel.py
literal source filename/path in TeX
explicit script identifier v393_corrections_numeric.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation script_registry.csv
literal source filename/path in TeX

2026-07-01 ( v465 — the cross-sector one-parameter seed test: a CMB birefringence angle and a quark Cabibbo angle point to the same seed within [formula in source] , the [formula in source] -independent externally-runnable slice of v306)

Research changelog · TFPT — Introduction and reading guide

v465_seed_crosssector_joint.py ( SEED.CROSSSECTOR.01). The sharpest falsifiable signature of a shared-origin theory is a correlation no non-shared-origin model predicts. In the Standard Model the cosmic-birefringence rotation [formula in source] (a CMB [formula in source] polarisation observable) and the Cabibbo angle [formula in source] (a quark-flavour observable) are unrelated; TFPT reads both as functions of the

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/010-source.tex · lines 247 to 271

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit file citation v465_seed_crosssector_joint.py
literal source filename/path in TeX
explicit script identifier v306_seed_crossval.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v305_witness_independence.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v338_theta13_budget.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 script_registry.csv
literal source filename/path in TeX
explicit script identifier v465_seed_crosssector_joint.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v328_theta13_pressure.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier

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.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

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

2026-06-30 ( v461/ v462 + Lean axiom merge — the strict-locality obstruction made explicit, the 128-spinor extension exhibited at character level, and the SEAM.EQUIV.01 residual reduced to ONE realisation axiom [formula in source] ONE combined cited theorem)

Research changelog · TFPT — Introduction and reading guide

v461_seam_strict_locality.py ( SEAM.S3.LOCALITY.01). Sharpens v460's verdict from a cited statement to an exhibited topological obstruction on the same v367 [formula in source] collar. \ CHERN INTEGER: the FHS Chern is [formula in source] (chiral [formula in source] ), [formula in source] (trivial [formula in source] ), [formula in source] (opposite mass). \ WILSON-LOOP / WANNIER-CENTRE WINDING [formula in source] CH

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/010-source.tex · lines 309 to 347

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
explicit script identifier v462_seam_spinor_continuum.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 lean symbol SeamScalingLimit.lean
exact texttt symbol under explicit Lean/theorem context
explicit file citation v462_seam_spinor_continuum.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v460_seam_s3_lto.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
explicit lean symbol SeamResidualAxiom.lean
exact texttt symbol under explicit Lean/theorem context
cross reference join AuditContract.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 tfpt_readouts_extension.wl
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 file citation v461_seam_strict_locality.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 file citation SeamResidualAxiom.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
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
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v458_seam_mmst_citation_audit.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 v459_seam_lattice_voa_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 file citation tfpt_readouts_extension.wl
literal source filename/path in TeX
explicit script identifier v456_seam_chirality_from_c3.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 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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v461_seam_strict_locality.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

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.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

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

2026-06-30 ( v454– v459 + Lean + Wolfram — the post-F ``G-block'': the lattice Sugawara current algebra, a uniform-in- [formula in source] Tomita–Takesaki tower, chirality forced by [formula in source] , an [formula in source] character kill test, the exact MMST citation audit and the complementary lattice-VOA route)

Research changelog · TFPT — Introduction and reading guide

v454_seam_edge_virasoro.py ( SEAM.EQUIV.EDGE.VIRASORO.01). Tests the cited MMST ``Koo–Saleur lattice generators [formula in source] continuum Virasoro with the correct [formula in source] '' fact on our own free-fermion edge (G2). \ the Affleck–Cardy Casimir energy fits [formula in source] ( [formula in source] per Majorana, [formula in source] ); \ the lattice [formula in source] current closes its affine level exac

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/011-source.tex · lines 1 to 52

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v458_seam_mmst_citation_audit.py
literal short identifier uniquely resolves in local script registry
explicit file citation v454_seam_edge_virasoro.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v459_seam_lattice_voa_route.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 script identifier v424_seam_lto_rp_reduction.py
literal short identifier uniquely resolves in local script registry
cross reference join AuditContract.lean
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
explicit file citation SeamResidualAxiom.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 file citation v456_seam_chirality_from_c3.py
literal source filename/path in TeX
explicit script identifier v456_seam_chirality_from_c3.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
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v457_seam_character_killtest.py
literal source filename/path in TeX
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 claim identifier status_ledger.csv
exact local ledger claim identifier
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 tfpt_readouts_extension.wl
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
cross reference join SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v455_seam_bw_uniform.py
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 file citation v458_seam_mmst_citation_audit.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v454_seam_edge_virasoro.py
literal short identifier uniquely resolves in local script registry

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.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

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

2026-06-30 ( v446/ v447/ v448 + Lean + Wolfram — deriving clock-invariance from [formula in source] -symmetry, an independent topological reading of the edge [formula in source] , and pinning the one external MMST fact at four-point order)

Research changelog · TFPT — Introduction and reading guide

v446_seam_clock_invariance.py ( SEAM.RIGIDITY.CLOCKINV.01). Closes v445's single residual one notch further: the operator condition [formula in source] (clock-invariance) is shown to be a consequence of a structural symmetry, not an independent assumption. \ the OS canonical transfer [formula in source] (fixed by RP [formula in source] reflection, v54) of a [formula in source] -invariant RP covariance satisfies [form

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/011-source.tex · lines 105 to 149

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v447_seam_edge_chern.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 SeamRigidityForcing.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation tfpt_readouts_extension.wl
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 file citation v447_seam_edge_chern.py
literal source filename/path in TeX
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 tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit lean symbol SeamRigidityForcing.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
explicit script identifier v448_seam_edge_fourpoint.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 script identifier v445_seam_rigidity_forcing.py
literal short identifier uniquely resolves in local script registry
explicit file citation v448_seam_edge_fourpoint.py
literal source filename/path in TeX
explicit file citation SeamRigidityForcing.lean
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v336_continuum_limit.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 file citation v446_seam_clock_invariance.py
literal source filename/path in TeX
explicit script identifier v442_seam_rigidity_uniform.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 v258_dirac_covariance_induction.py
literal short identifier uniquely resolves in local script registry
cross reference join tfpt_readouts.wl
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 v54_seam_horizon_keystones.py
literal short identifier uniquely resolves in local script registry

2026-06-30 ( v445 — the rigidity FORCING converse: commuting with the order- [formula in source] clock is exactly [formula in source] -block-diagonality, upgrading the rigidity step from ``permit'' to ``force'')

Research changelog · TFPT — Introduction and reading guide

v445_seam_rigidity_forcing.py ( SEAM.RIGIDITY.FORCING.01). The rigidity route ( v398/ v442) showed a [formula in source] -block-diagonal [formula in source] commutes with the order- [formula in source] clock [formula in source] . This module proves the converse and the exact structure, isolating the single remaining physical premise. \ FORCING (entrywise iff): [formula in source] iff [formula in source] whenever [for

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/011-source.tex · lines 150 to 174

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

cross reference join AxiomCheck.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 TfptCarrier.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v323_bw_geometric_modular.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v281_holomorphy_modular_data.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v89_carrier_index_lemma.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v54_seam_horizon_keystones.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 BWKeystone.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v335_seam_equiv_unify.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v154_simple_current_theorem.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
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join Mu4Commutation.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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join AuditCheck.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 v398_seam_state_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 script_registry.csv
literal source filename/path in TeX
explicit file citation run_all.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join CartanDeterminants.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
explicit script identifier v422_galois_net_bridge.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 AuditContract.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join GlueUniqueness.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v445_seam_rigidity_forcing.py
literal source filename/path in TeX
explicit script identifier v351_continuum_realisation_sharpened.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v442_seam_rigidity_uniform.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

2026-06-30 (Lean kernel-hardening of two of the seven SEAM.EQUIV.01 routes — the Borchers/Wiesbrock standard-pair relations and the applicability-ledger count, machine-verified with clean axioms; rigor without new mathematics)

Research changelog · TFPT — Introduction and reading guide

Context. Two of the seven convergent attacks on the keystone residual are turned from numerical witnesses into kernel-checked facts, in the audit-contract style of SeamScalingLimit.lean / BWKeystone.lean: the load-bearing algebra/bookkeeping is proved by the Lean kernel, while the cited theorems and the one open continuum input remain named axioms. lake build OK; \#print axioms clean. Tracked as two new FORM.* ledger

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/011-source.tex · lines 175 to 202

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit file citation AxiomCheck.lean
literal source filename/path in TeX
explicit lean symbol SeamApplicabilityLedger.lean
exact texttt symbol under explicit Lean/theorem context
explicit file citation SeamApplicabilityLedger.lean
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 BWKeystone.lean
literal source filename/path in TeX
explicit lean symbol SeamApplicabilityLedger.lean
exact texttt symbol under explicit Lean/theorem context
explicit lean symbol SeamApplicabilityLedger.lean
exact texttt symbol under explicit Lean/theorem context
explicit lean symbol SeamApplicabilityLedger.lean
exact texttt symbol under explicit Lean/theorem context
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
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
explicit file citation AuditContract.lean
literal source filename/path in TeX
explicit file citation TfptCarrier.lean
literal source filename/path in TeX
explicit script identifier v441_seam_applicability_ledger.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation SeamStandardPair.lean
literal source filename/path in TeX
cross reference join SeamStandardPair.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation SeamScalingLimit.lean
literal source filename/path in TeX
explicit script identifier v438_seam_hsmi_borchers.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 lean symbol SeamApplicabilityLedger.lean
exact texttt symbol under explicit Lean/theorem context

2026-06-30 (the chiral-edge scaling motor v444 — the edge half of the one SEAM.EQUIV.01 continuum residual: the lattice edge already carries the conformal data of a chiral [formula in source] Majorana CFT and converges under refinement, grounding the EDGE the way v439 grounded the BULK; the keystone stays )

Research changelog · TFPT — Introduction and reading guide

Context. v439 grounded the bulk half of the cited MMST existence (uniform gap, exponential clustering, finite light cone) and explicitly narrowed the one open analytic step to the chiral massless edge scaling limit. v444 attacks exactly that residual on the SAME explicit v367/ v368 [formula in source] collar. vN-registered, runs in run_all.py (suite ends ALL CHECKS PASSED), veri-cited in the body of tfpt_research_con

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/011-source.tex · lines 203 to 225

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v367_seam_s3_lattice.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 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
cross reference join SeamScalingLimit.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation run_all.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
explicit script identifier v439_seam_lieb_robinson.py
literal short identifier uniquely resolves in local script registry
explicit file citation v444_seam_edge_scaling.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join SeamApplicabilityLedger.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v368_seam_s3_inflow.py
literal short identifier uniquely resolves in local script registry
cross reference join SeamResidualAxiom.lean
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 v444_seam_edge_scaling.py
literal short identifier uniquely resolves in local script registry

2026-06-30 (six convergent attacks on the one SEAM.EQUIV.01 continuum residual — intrinsic Bisognano–Wichmann, a Lieb–Robinson continuum motor, the [formula in source] -homotopy, an applicability audit, uniform rigidity, and falsifiable kill tests; none closes the keystone, together they reduce it to a single analytic fact and make the claim falsifiable)

Research changelog · TFPT — Introduction and reading guide

Context. The keystone SEAM.EQUIV.01 is ``closed modulo a cited theorem'': its one open input is the continuum existence of the seam's chiral massless scaling limit. Six new modules attack that residual from independent directions; each is honest about not closing it. All six are vN-registered, run in run_all.py (suite ends ALL CHECKS PASSED), and are veri-cited in the body of tfpt_research_contracts (the [formula in

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/011-source.tex · lines 226 to 270

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v90_conical_defect_chain.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
cross reference join SeamScalingLimit.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v439_seam_lieb_robinson.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
explicit file citation script_registry.csv
literal source filename/path in TeX
explicit file citation v440_seam_lto_rp_beta.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
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 v367_seam_s3_lattice.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 script identifier v426_seam_lto_rp_kms.py
literal short identifier uniquely resolves in local script registry
explicit file citation v442_seam_rigidity_uniform.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 file citation v441_seam_applicability_ledger.py
literal source filename/path in TeX
explicit script identifier v277_seam_calderon_e8_match.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v398_seam_state_rigidity.py
literal short identifier uniquely resolves in local script registry
explicit file citation v443_seam_e8_discriminator.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v347_seam_closure_modes.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v438_seam_hsmi_borchers.py
literal source filename/path in TeX
cross reference join SeamStandardPair.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
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 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 v424_seam_lto_rp_reduction.py
literal short identifier uniquely resolves in local script registry
cross reference join AuditContract.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation run_all.py
literal source filename/path in TeX
cross reference join SeamRigidityForcing.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v215_seam_deck_killtest.py
literal short identifier uniquely resolves in local script registry

2026-06-30 (shadow-export coherence — the tfpt5-shadow mirror is now reproducible as shipped: the audit is shadow-aware, the content maps are non-destructive on the website-free subset, and an export gate blocks any incoherent mirror)

Research changelog · TFPT — Introduction and reading guide

Context (reviewer finding, Alessandro). On the exported tfpt5_shadow.zip the independent surfaces reproduced ( build.sh notes [formula in source] 11 ok; Wolfram base/extension; Red Team; Lean transcript), but the package layer did not: make_manifest.py –check reported a stale verification/website_map.csv and build.sh audit crashed because it unconditionally required website/lib/release.ts, which the shadow subset del

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/011-source.tex · lines 271 to 298

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v235_seam_chern_simons.py
literal short identifier uniquely resolves in local script registry
explicit file citation script_registry.csv
literal source filename/path in TeX
explicit file citation make_manifest.py
literal source filename/path in TeX
explicit script identifier v298_e8_network_attractor.py
literal short identifier uniquely resolves in local script registry
explicit file citation audit_sync.py
literal source filename/path in TeX
explicit file citation README.md
literal source filename/path in TeX
explicit file citation make_changelog_web.py
literal source filename/path in TeX
explicit file citation make_script_index.py
literal source filename/path in TeX
explicit file citation website_map.csv
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 file citation make_docs_map.py
literal source filename/path in TeX
explicit file citation run_all.py
literal source filename/path in TeX

2026-06-29 (discoverability — an SEO/GEO pass on the public website: a generated /llms.txt, explicit AI-crawler robots.txt, query-targeted metadata, and the first real backlinks from the README and the Zenodo deposit)

Research changelog · TFPT — Introduction and reading guide

New /llms.txt context file for AI / answer engines (ChatGPT, Perplexity, Claude, Gemini), generated at build time from the same data layer as the site ( papers.ts, predictions.ts, version.ts) so it never drifts. It carries the one-line summary, the ``claims / does not claim'' split, the document set with PDF links, the headline predictions, and an explicit disambiguation from the unrelated Brouwer–Lefschetz ``topolog

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/011-source.tex · lines 299 to 342

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v437_e8_degree_joint.py
literal short identifier uniquely resolves in local script registry
explicit file citation README.md
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 v431_e8_degree_ladder.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 status_ledger.csv
literal source filename/path in TeX
explicit script identifier v355_e8_unmapped_bandwidth.py
literal short identifier uniquely resolves in local script registry
cross reference join tfpt_readouts.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
explicit file citation tfpt_readouts_extension.wl
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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v66_e8_casimir_degrees.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v6_bootstrap.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v354_e8_reverse_audit.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 CarrierRankUniqueness.lean
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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

2026-06-29 ( v436 — hardening the unconditional ``is it numerology?'' floor to an assumption-minimal counting floor; plus a literature note grounding the [formula in source] Chern level)

Research changelog · TFPT — Introduction and reading guide

New module v436 ( OVERDET.FLOOR.02) — it hardens OVERDET.FLOOR.01 ( v432) so the numerology verdict no longer rests on any subjective chance assignment. v432's nominal [formula in source] multiplies the counting census by hand-chosen plausibilities (input-`` [formula in source] '' independence [formula in source] , seed [formula in source] , kaon [formula in source] ) a skeptic can contest; v436 shows the conclusion

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/011-source.tex · lines 343 to 378

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v435_alpha_quillen_chernlevel.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v100_numerology_null_mc.py
literal short identifier uniquely resolves in local script registry
explicit file citation script_registry.csv
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v436_overdet_floor2.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 file citation status_ledger.csv
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v187_ftransfer_laws.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v432_overdet_floor.py
literal short identifier uniquely resolves in local script registry
explicit file citation next.txt
literal source filename/path in TeX
explicit file citation run_all.py
literal source filename/path in TeX

2026-06-29 ( v435 — a fourth honest step on the [formula in source] Quillen target: a [formula in source] -power test isolates the cubic [formula in source] as the unique metric-independent (topological) rung, and types its coefficient as a conditional integer level)

Research changelog · TFPT — Introduction and reading guide

New module v435 ( ALPHA.QUILLEN.PROGRESS.04) — it attacks the single remaining \ left after v434 (residual (2), the cubic [formula in source] Chern/Maxwell moment) and sharpens it; it does not close it. The target ALPHA.QUILLEN.EXACT.01 ( v382) stays ; [formula in source] stays . \ [formula in source] -power / metric-independence test. The three EM-closure coefficients carry [formula in source] -powers exactly [formu

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/012-source.tex · lines 1 to 30

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v434_alpha_quillen_betafunction.py
literal short identifier uniquely resolves in local script registry
cross reference join tfpt_readouts.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 script identifier v435_alpha_quillen_chernlevel.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v433_alpha_quillen_heatkernel.py
literal short identifier uniquely resolves in local script registry
explicit file citation status_ledger.csv
literal source filename/path in TeX
explicit script identifier v384_residual_certification.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v342_em_ward_heatkernel.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v48_em_ward.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v382_alpha_quillen_exact.py
literal short identifier uniquely resolves in local script registry
explicit file citation script_registry.csv
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
explicit file citation run_all.py
literal source filename/path in TeX

What this source index covers

The public registry includes 116 document views, 6,693 section records and 985 physical LaTeX sources. Active publication documents, research material and archives retain their recorded roles. This is source navigation, not a new semantic review or proof run.

Complete structured registry How source relations are recorded Knowledge and evidence coverage