Registry · Definition IV.D377 tau-effective formalized

IV.D377 — Six-Quark τ-Chain Mass Table

Complete τ-chain: t(−1449), b(−1351), c(+1150), s(+1559), d(−365), u(+31043 ppm). Mass ordering reproduced. RMS over 5 well-determined quarks: 1243 ppm. Up quark worst (compounded chain error); m_u/m_d ratio at +29 ppm.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (6)

IV.T190 IV.T191 IV.T192 IV.T193 IV.P219 IV.D372

Depended on by (2)

IV.D382 IV.R430

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.six_quark_consistency