Registry · Theorem
IV.T169
tau-effective
formalized
IV.T169 — m_μ/m_e NNLO: k=23/3 Correction at +43 ppm (τ-effective)
m_μ/m_e = ι_τ^(-124/25)·(1-ι_τ^(23/3)) = 206.777 at +43 ppm from PDG 206.768 (τ-effective). 23=W₃(4)+W₃(3)+1=5+17+1. Best k=45/6=7.5 at -8.2 ppm connects to baryogenesis: 7.5=15/2=(3×W₃(4))/2. Improvement from +307 ppm (LO) to +43 ppm (NNLO with k=23/3).