2026-06-12
Research changelog · TFPT — Introduction and reading guide
Margin theorem (v122). The established frozen selectors ( [formula in source] annihilator [formula in source] , [formula in source] , [formula in source] ) pin [formula in source] uniquely among hexagon matrices ( [formula in source] ); the atom margins become theorems — H2 introduces no new residual class. Inventory update (v123). Residual table re-pinned post v110–v122: exactly five structural classes (R1 clock, R2
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 12 to 75
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v138_vw_firewall.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 v140_canonical_map.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v126_clock_wall_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
- explicit script identifier v134_dual_anchor.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v128_graded_hull.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v129_entropy_power_law.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v133_zeta_budget.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v127_ring_resummation.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v122_margin_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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v131_measure_is_area.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 v132_detratio_anomaly.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
- 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 v139_selector_triangle.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v124_resummed_clock.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v136_dual_normal_selector.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v110_calderon_sheet.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 v125_glue_qsystem.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 v123_inventory_update.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 v135_det_surface.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 v130_born_square.py
literal short identifier uniquely resolves in local script registry