Registry · Remark IV.R430 conjectural not_applicable

IV.R430 — IV.OP5 Status Update (Wave 37)

IV.OP5 advances to SUBSTANTIALLY RESOLVED. 2 τ-effective (m_t, m_t/m_b), 5 conjectural sub-2000 ppm (m_b, m_c, m_s, m_d, m_u/m_d). RMS 1243 ppm over 5 quarks. Jarlskog at 0.7σ. Up quark chain error (+31043 ppm) is weakest link. No individual heavy quark mass achieves τ-effective scope yet.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.op5_wave37