Registry · Remark IV.R393 tau-effective formalized

IV.R393 — NNLO Precision Summary

sin2_W at -0.7 ppm (NNLO), M_W at -0.4 ppm (NLO), alpha_s at +43 ppm (NLO). All three NLO coefficients share numerator or denominator W_3(4)=5. Three consecutive windows: W_3(3)=17, W_3(4)=5, W_4(3)=18 govern the full EW NLO hierarchy.

Book IV Part 3 Ch. 27

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeinbergNLO

Symbol: remark_nnlo_precision