Registry · Remark IV.R01 tau-effective formalized

IV.R01 — Holonomy vs Spectral

Two complementary α derivations: (1) Spectral: α ≈ (8/15)·ι_τ⁴ (closed-form approximation). (2) Holonomy: α = (π³/16)·Q⁴/(M²H³L⁶) (exact, requires calibration cascade from Book IV Part VII). Connection: α = (8/15)·ι_τ⁴·R(ι_τ) where R ≈ 1.0065.

Book IV Part 1 Ch. 2

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Sectors.FineStructure

Symbol: Tau.BookIV.Sectors.HolonomyFormula