=150 2026-08-01 (XVII) (the canonicity round lands ( v601 promoted): the J-adapted cusp projectors give a manifestly [formula in source] -equivariant presentation of the pair (mark choice [formula in source] winding choice), which realizes the DUAL parabolic exactly (conjugate to the transposed compiler pair; the direct intertwiner is singular); the v590 Klein four-group lives integrally on the curve; the Weil-twisted RP comparison and the seam identification stay open)
Research changelog · TFPT — Introduction and reading guide
v601_equivariant_dual.py ( QGEO.CANON.01, [formula in source] checks; probe 14/14, EQUIVARIANT-DUAL-LANDED). [formula in source] idempotent rank-1 J-projectors rotating exactly under [formula in source] ; pair family [formula in source] , [formula in source] : [formula in source] -integral, compiler-exact, equivariant by construction; duality: conjugate to [formula in source] exactly (must-fail to [formula in source]
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 172 to 185
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
- explicit script identifier v601_equivariant_dual.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v601_equivariant_dual.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join ParityWeightLaws.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v590_involution_existence.py
literal short identifier uniquely resolves in local script registry