Registry · Proposition
IV.P221
tau-effective
formalized
IV.P221 — m_c/m_t Exponent from Higgs-Weighted Transition
β(c/t) = dim·W₃(4)·n_H/(a₃+2·W₃(4)) = 3×5×7/23 = 105/23 from winding transition matrix with Higgs crossing number n_H=7. Numerator 105=dim·W₃(4)·n_H, denominator 23=a₃+2W₃(4). At +1150 ppm.