Registry · Theorem IV.T196 tau-effective formalized

IV.T196 — m_t/m_b Exponent from Winding Algebra

β(t/b) = -dim(τ³)·(a₃+|lobes|)/a₃ = -3×15/13 = -45/13 derived from T² eigenvalue gap, CF partial quotient a₃=13, and fiber dimension. First quark mass exponent derived entirely from τ-axioms and T² mode-counting. At +99 ppm.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (3)

Depended on by (6)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.top_bottom_exponent_derived