2026-06-13 (QGEO rigidity theorem v168 + [formula in source] leptogenesis interface v169)
Research changelog · TFPT — Introduction and reading guide
v168_qgeo_rigidity.py / (claims QGEO.RIGID.01, QGEO.REALIZE.01). Hardens the finite half of the one remaining Tier-1 hinge GATE.QGEO (the seam [formula in source] flavour [formula in source] horizon identification). Exact, machine-checked: [formula in source] has cross-ratio [formula in source] and a faithful M\"obius stabiliser of order [formula in source] ; [formula in source] has rank [formula in source] ; and the
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/021-source.tex · lines 344 to 369
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation v168_qgeo_rigidity.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v167_inventory_post_closure.py
literal short identifier uniquely resolves in local script registry
- cross reference join MobiusUniformisation.lean
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
- explicit script identifier v169_etaB_boltzmann_interface.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v169_etaB_boltzmann_interface.py
literal source filename/path in TeX
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v168_qgeo_rigidity.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier