Appendix: computational verification (reproducibility)
TFPT — Introduction and reading guide
Every claim in this document marked \ (exact identity), \ (Lie/lattice theorem) or \ (numerical fixed point) is re-derived from the two axioms [formula in source] alone by a small, self-contained Python suite in the repository folder verification/. The inline references [verification/ [formula in source] ] throughout the documents point to the exact script; the table below is the master map (its source is the shared
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/introduction/sections/004-section-tfpt-in-the-light-of-algorithmic-physics-zuse-sc.tex · lines 171 to 214
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v276_qgeo_flat_closes_commutator.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamDeckClosure.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
- 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
- cross reference join SeamScalingLimit.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v481_seesaw_carrier_ladder.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v407_dn_pairings_omega.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 file citation run_all.py
literal source filename/path in TeX
- cross reference join SpectralGapAttractor.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 SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v1_e8_glue.py
literal source filename/path in TeX
- explicit file citation README.md
literal source filename/path in TeX
- explicit script identifier v302_seam_gap.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v408_phi0_puncture_heatkernel.py
literal short identifier uniquely resolves in local script registry
- 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 v303_ftransfer_dynamics.py
literal short identifier uniquely resolves in local script registry