Registry · Proposition IV.P191 tau-effective formalized

IV.P191 — Window RG Period: W₃(4)^k Governs k-th Perturbative Order

Wave 11 upgrade: CF-RG correspondence established. Holonomy spectral RG has fundamental period W₃(4)=5. NLO: one traversal → W₃(4). NNLO: double traversal → W₃(4)²=25. k-th order: W₃(4)^k. W₃(4) = a₃+a₄ = sum of CF partial quotients in [3,4] window. Scope: conjectural (RG flow axiom-derivation needed).

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (3)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Electroweak.TauHiggs2

Symbol: Tau.BookIV.Electroweak.window_nnlo_period