2026-06-12 (version system, predictions/K5, readability pass B3)
Research changelog · TFPT — Introduction and reading guide
Authors, auto-date and auto-version on every paper. New single source tex-artefacts/version.tex defines TFPTauthors (Stefan Hamann, Alessandro Rizzo), a curated TFPTversion, and a title/footer date stamp ( today [formula in source] version [formula in source] revision). build.sh writes the auto build revision (git commit count) into the gitignored tex-artefacts/version-auto.tex, so every document's title page and pag
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/023-source.tex · lines 264 to 302
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v49_readout_rigidity.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v1_e8_glue.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 v20_lepton_c_derivation.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 v71_simple_r_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 tfpt_readouts.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 script identifier v18_quark_yukawa.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v23_anchor_generator.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v14_carrier_uniqueness.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v6_bootstrap.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.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join PascalLadder.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
- cross reference join AnchorLadder.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v108_pascal_ladder.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v113_quasifree_kernel.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v46_grand_mass_volume.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.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred