Registry · Proposition V.P140 tau-effective formalized

V.P140 — Peak Height Odd/Even Asymmetry from Baryon Loading

CMB peak height odd/even asymmetry: compression ratio (1+R_b)/(1-R_b) = 4.194 from tau-native R_b = 0.615. Qualitative pattern (odd > even + Silk damping) confirmed. Quantitative peak heights require Boltzmann transfer functions.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.PeakHeightAsymmetry