Registry · Theorem
IV.T192
tau-effective
formalized
IV.T192 — Strange Mass from τ-Chain at +1559 ppm
m_s = m_b(τ) × ι_τ^(53/15) = 4174.4 × 0.02241 = 93.55 MeV at +1559 ppm from PDG 93.4±0.8 MeV (0.2σ). Exponent 53/15 = (4·a₃+1)/(dim·W₃(4)) = (4×13+1)/(3×5). Denominator matches m_t/m_b fiber correction product.