Registry · Theorem V.T264 tau-effective formalized

V.T264 — Coupled NLO Optimum: δ_h = κ_D/N_e

Coupled NLO with (δ_η,δ_h)=(ι_τ²/9, κ_D/57). δ_h=κ_D/(dim·W₅(3))=κ_D/57 connects to N_e=57 inflationary e-folds. Results: ω_b +264 ppm, ℓ₁ +119 ppm, ℓ₂ −663 ppm, ℓ₃ −6250 ppm. Three observables sub-700 ppm simultaneously.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (3)

Depended on by (3)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.coupled_nlo_ell1_sub_200