2026-06-11
Research changelog · TFPT — Introduction and reading guide
External-review integration (v83) and release hygiene. Manifest –check mode and the release rule; holomorphy pins [formula in source] (the unique even unimodular rank-8 lattice theory). Sheet diamond and centered form (v94/v95). All four flavor operators are points of one two-parameter surface [formula in source] ; centered cross [formula in source] , [formula in source] with the cofactor seam normal [formula in sour
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/024-source.tex · lines 76 to 108
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v118_hexagon_family_dictionary.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v94_sheet_diamond.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v95_centered_diamond.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 v109_sheet_pairing.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v101_horizon_anchor.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 v113_quasifree_kernel.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v83_e8net_holomorphic_uniqueness.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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v104_nariai_clock.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v108_pascal_ladder.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 PascalLadder.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v103_trisection_normal_form.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v121_address_pinning.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v114_torsion_delta.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
- 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 v119_review_validation_2.py
literal short identifier uniquely resolves in local script registry