Registry · Theorem IV.T204 conjectural formalized

IV.T204 — Window Depth–Loop Order Correspondence

Window sequence W₃(3)=17, W₄(3)=18, W₅(3)=19 provides loop-order coefficients. NLO: W₃(4)=5 (sin²θ_W NLO). NNLO: W₄(3)=18 (sin²θ_W NNLO). Inflationary: W₅(3)=19 (δ_h=ι_τ/19).

Book IV Part 1 Ch. 10

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.Electroweak.AlphaDerivation

Symbol: Tau.BookIV.Electroweak.window_depth_loop_correspondence