Registry · Remark IV.R434 tau-effective not_applicable

IV.R434 — Down-Type Sector Exponent Completeness

Three down-type mass ratios fully derived: β(t/b)=-45/13, β(s/b)=53/15, β(d/s)=64/23. All use CF resonance a₃=13 as dominant spectral parameter. Worst-case +1559 ppm (strange).

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.down_type_sector_complete