Registry · Remark IV.R390 tau-effective formalized

IV.R390 — OQ-A3 Resolution Status

OQ-A3 RESOLVED: w=(17/5)*iota^(-3) has CF window algebra motivation, 250 ppm gap is tree-level Sirlin remainder, w cancels in Fermi form making gap physically inert.

Book IV Part 4 Ch. 35

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeinbergNLO

Symbol: remark_oq_a3_resolved