Registry · Definition V.D253 tau-effective skeleton

V.D253 — Scalar Amplitude NLO: A_s = α_τ·ι_τ¹⁴·(1−ι_τ³/3)

Scalar Amplitude NLO: A_s = (121/225)·ι_τ¹⁸·(1−ι_τ³/3) = 2.096×10⁻⁹ at −1979 ppm. Coefficient (121/225)=(11/15)² inherited from α_τ. NLO is τ³ volume averaging, not slow-roll (156× gap). Scope: conjectural → τ-effective (Wave 14A).

Book V Part 6 Ch. 56

Dependency Graph

Depends on (1)

Depended on by (5)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.scalar_amplitude_nlo