Registry · Remark IV.R391 tau-effective formalized

IV.R391 — OQ-B2 Partial Resolution Status

OQ-B2 PARTIALLY RESOLVED: CF window algebra complete (5/7=W_3(4)/(W_3(3)-2*W_3(4))), spectral derivation of why W_3 encodes EW corrections still open. 1-loop beta-function derivation is negative result (ratio ~0.47, non-perturbative origin).

Book IV Part 4 Ch. 35

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeinbergNLO

Symbol: remark_oq_b2_status