Registry · Theorem
IV.T144
tau-effective
formalized
IV.T144 — m_mu/m_e Leading-Order Formula
Leading order: m_mu/m_e ~ iota_tau^-5 at 44,258 ppm (4.4% gap). Exponent 5 = N_generators arises from boundary mode census: 5 = W_3(4) = NLO modulus. NLO correction factor c_mu = 0.9576 requires first-principles derivation. Best single-term candidates: -5*alpha at 6156 ppm, -(1/3)*iota^2 at 3710 ppm. NLO problem open as OQ-C5a.