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.