=150 2026-08-01 (XX) (the equivariant-order round lands ( v604 promoted): [formula in source] IS an anti-isometry of the polarization ( [formula in source] exact — correcting a diary side remark), [formula in source] restricts to the integer form [formula in source] with [formula in source] ; the four mark frames generate a FULL order of index [formula in source] in [formula in source] ; and the 3-torsion localizes at infinity ( [formula in source] , finite cusps torsion-free): [formula in source] at the marks, [formula in source] at infinity — the integral infinity/order-torsion bridge; translator negatives extended (the [formula in source] -sheet named))
Research changelog · TFPT — Introduction and reading guide
v604_equivariant_order.py ( QGEO.EQORDER.01, [formula in source] checks; probe 12/12, EQUIVARIANT-ORDER-LANDED). Anti-isometry exact; [formula in source] ; all [formula in source] rotated words [formula in source] -integral, joint lattice full rank [formula in source] , Smith divisors [formula in source] ; [formula in source] divisors [formula in source] ; each finite cusp twist torsion-free; three objects share [for
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/002-source.tex · lines 125 to 139
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join LorentzCongruence.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit file citation v604_equivariant_order.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 v604_equivariant_order.py
literal short identifier uniquely resolves in local script registry
- cross reference join CoverEmbedding.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred