Registry · Remark IV.R436 tau-effective not_applicable

IV.R436 — IV.OP5 Status Update (Wave 45)

With IV.OP9 solved (7/7 exponents), quark mass program achieves: all exponents from τ-axioms, lobe-power hierarchy lobes^{0,1,2,6}, CKM sub-3200 ppm, single dictionary suffices. Remaining: NLO for m_s, m_d; full CKM phase δ₁₃.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.op5_wave45_status