Registry · Remark V.R466 tau-effective not_applicable

V.R466 — Two-Path Convergence at NNLO

M3h holonomy (0.14314) and DE-closure (0.14290) converge to 1717 ppm at NNLO. Was 52280 ppm at NLO → 30× convergence. Structural: Planck-matching constraint predicts b=23.99 from (1−κ_D/57)(1−κ_D/b)=λ_Planck, confirming 24=2^dim·dim is exact.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (2)

Lean Formalization

Module: