Registry · Remark IV.R422 conjectural not_applicable

IV.R422 — IV.OP5 Status: Quark Mass Problem (Wave 32)

IV.OP5 remains OPEN. Framework: 6 winding exponents (IV.D369), top quark at +7200 ppm (IV.T183), quark-lepton conjugation (IV.P211), m_u/m_d no clean formula (IV.R421). Closing requires κ(C;n) spectrum or σ-matrix eigenvalue corrections.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (4)

Lean Formalization

Module: TauLib.BookIV.Particles.QuarkMasses

Symbol: Tau.BookIV.Particles.op5_status