Registry · Theorem
IV.T116
tau-effective
formalized
IV.T116 — Correction Smallness --- IV.T12
The holonomy correction factor pi^3*alpha^2 lies in the interval (0.001, 0.002), proved by bounding pi^3 in (30.96, 31.26) and alpha^2 ~ 5.3e-5 separately; the hierarchy is natural with suppression from iota_tau^5 ~ 4.6e-3 and alpha^2, requiring no fine-tuning.