Registry · Definition V.D317 tau-effective formalized

V.D317 — Coupled NLO Correction Space

NLO holonomy ratio correction δ_h = ι_τ/W₅(3) = ι_τ/19. Ratio: 6.655 → 6.774. ω_m: 0.14700 → 0.14964. W₅(3) = 19 connects to inflationary e-fold structure N_e = 57.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (2)

Depended on by (8)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.CoupledNLOScan