2026-06-23 (Track 3 — the [formula in source] functor promoted from contracts to TYPED runnable solvers with kill tests: Koide source [formula in source] pole ( v371), [formula in source] Boltzmann ( v372), axion finite- [formula in source] relic ( v373), [formula in source] uncertainty budget ( v374))
Research changelog · TFPT — Introduction and reading guide
v371 ( FR.POLE.SOLVE.01). A clean negative: standard QED/EW running cannot be the Koide source [formula in source] pole transfer (it pushes [formula in source] above [formula in source] ; the required [formula in source] is negative while QED's is positive), so the transfer is the non-QED [formula in source] operator / [formula in source] Moebius generator ( v183/ v82). , plain running excluded as the kill. Python (n
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/014-source.tex · lines 205 to 223
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v262_fqcd_mp_me.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v372_ftransfer_boltzmann.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 v183_koide_f_corner_transfer.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v373_ftransfer_relic.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v374_ftransfer_qcd.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v371_ftransfer_pole.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 v82_koide_attractor_splitting.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- 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
- explicit script identifier v212_leptogenesis_decuple.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v326_ftransfer_suite.py
literal short identifier uniquely resolves in local script registry