2026-06-23 (Bird's-eye synthesis: two new structural patterns — v383 the universal spectral-gap principle and v384 the residual is certification, not construction)
Research changelog · TFPT — Introduction and reading guide
v383 ( DYNAMICS.UNIVERSAL.01) — the universal spectral-gap / Perron–Frobenius principle. A fresh bird's-eye pass found that every TFPT sector is the same structural object: a gapped operator with a unique leading attractor (the physics) and a spectral gap (the reason there is no free parameter). v303 named this only for [formula in source] ; this module extends it to the sectors made parameter-free after it. \ three
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/014-source.tex · lines 49 to 77
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v333_cm_selection.py
literal short identifier uniquely resolves in local script registry
- cross reference join SpectralGapAttractor.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v374_ftransfer_qcd.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 v187_ftransfer_laws.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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v364_vgeo_sharpen.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 v314_rate_translation.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v359_grav_nonlinear_einstein.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v221_seam_qecc.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 v384_residual_certification.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join SeamScalingLimit.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v369_qgamb_redundancy.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v153_no_unit_theorem.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 v365_qg_oneloop_saddle.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 script identifier v382_alpha_quillen_exact.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 script identifier v157_rigid_fixed_point.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 KronheimerMarks.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 v358_grav_entropy_equilibrium.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 v383_dynamics_universal.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v303_ftransfer_dynamics.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v337_decoupling_theorem.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v158_fixed_point_stable.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v371_ftransfer_pole.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.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v313_golden_atoms_spectral.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v76_gmetric_reduction.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v82_koide_attractor_splitting.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v56_unique_attractor.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
- 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 v381_qft4d_eg_allorder.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 v312_hypergraph_substrate.py
literal short identifier uniquely resolves in local script registry