2026-06-21 (couple or factorize? the order-30 Coxeter element couples the carrier and family sectors as a cyclotomic compositum, Galois [formula in source] : v315)
Research changelog · TFPT — Introduction and reading guide
v315_coxeter_coupling.py ( COX.COUPLE.01, / ). Answers the v314 question — does [formula in source] couple the carrier ( [formula in source] -fold, golden, [formula in source] ) and family ( [formula in source] , rational) sectors, or just factorize? \ the cyclic group factorizes: [formula in source] (direct product, group-decoupled, in line with the v314 field obstruction); \ the [formula in source] exponents [formu
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 331 to 347
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v223_coxeter_totative_clock.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v314_rate_translation.py
literal short identifier uniquely resolves in local script registry
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v315_coxeter_coupling.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v315_coxeter_coupling.py
literal source filename/path in TeX