Registry · Remark IV.R439 tau-effective not_applicable

IV.R439 — OQ-B4 Status: PARTIAL

OQ-B4 (two-loop c₂) PARTIALLY RESOLVED. Depth-loop correspondence k→W_{k+2}(·) identifies c₂=1/18 with numerical support from sin²θ_W NNLO. Remaining: structural proof that CF windows must index loop orders.

Book IV Part 1 Ch. 10

Dependency Graph

Depends on (3)

Lean Formalization

Module: