Registry · Theorem V.T198 tau-effective formalized

V.T198 — Scalar Amplitude NLO: Inflationary Consistency

Scalar Amplitude NLO Inflationary Consistency: NLO factor (1−ι_τ³/3) is structural (τ³ volume averaging), not slow-roll running (ε = r/16 ~ 8.5×10⁻⁴, 156× gap). Coefficient (121/225) inherited from α_τ chain. Scope: conjectural → τ-effective (Wave 14A).

Book V Part 6 Ch. 56

Dependency Graph

Depends on (2)

Depended on by (4)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.scalar_amplitude_nlo_thm