Registry · Theorem
IV.T200
tau-effective
formalized
IV.T200 — m_d/m_s Exponent from Winding Phase Space
β(d/s) = lobes^(2·dim)/(a₃+2·W₃(4)) = 2⁶/(13+10) = 64/23. Numerator: lobes^(2·dim)=64 total winding phase space. Denominator: a₃+2·W₃(4)=23 shared CF+Window normalisation (same as charm). ι_τ^(64/23) at -365 ppm from PDG.
Book IV
Part 5
Ch. 36