2026-06-24 (Completing the Coxeter clock: v390 the prime-2 (Gaussian / [formula in source] -seam) facet of [formula in source] )
Research changelog · TFPT — Introduction and reading guide
v390 ( COXETER.PRIME2.01) — the prime-2 facet of the order-30 Coxeter clock. v383/ v387 named two number-field facets of the clock [formula in source] — the golden [formula in source] (prime-5, carrier) and [formula in source] (prime-3, family). This names the prime-2 facet and identifies it with structure already in the theory: the Gaussian field [formula in source] , i.e.\ the CM point [formula in source] and the o
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/013-source.tex · lines 341 to 356
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v387_corrections_gap.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v390_prime2_facet.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v288_full_l2_subprincipal_z4.py
literal short identifier uniquely resolves in local script registry
- cross reference join SpectralGapAttractor.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v383_dynamics_universal.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v333_cm_selection.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v282_e8_tau_i_unification.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred