Registry · Remark IV.R426 tau-effective not_applicable

IV.R426 — Koide Restoration Landscape

Koide Q=2/3 cannot be restored for quarks: current masses (0.731, 0.849), constituent (0.465), κ(C;n)-corrected (0.467), optimal uniform shift (21.9 MeV, no structural match). Conclusion: Koide is lepton-specific; quark predictions must use ratios, not sum rules.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Particles.QuarkMasses

Symbol: Tau.BookIV.Particles.koide_restoration_landscape