2026-06-22 (closing round: the CM-selection mechanism (the last keystone residual), the conformal-mode resolution, and the Conway–Sloane even-unimodular side in Lean: v333, v334, FORM.CARTAN.DET.01)
Research changelog · TFPT — Introduction and reading guide
v333_cm_selection.py ( QGEO.CMSELECT.01, / ). The CM-selection mechanism for the last keystone residual: [formula in source] (the square) is the unique order-4 modulus — [formula in source] has [formula in source] and fixes [formula in source] , and an order-4 deck selects [formula in source] (vs the order-3 hexagon [formula in source] ) — AND the square is the Fekete attractor of symmetric mark-equilibration (four p
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/016-source.tex · lines 1 to 22
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation v334_conformal_resolution.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v334_conformal_resolution.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v333_cm_selection.py
literal short identifier uniquely resolves in local script registry
- explicit file citation CartanDeterminants.lean
literal source filename/path in TeX
- explicit file citation v333_cm_selection.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier