Registry · Theorem V.T240 conjectural formalized

V.T240 — Power Spectrum Consistency

τ-native P(k) with zero free parameters reproduces: turnover at k_eq≈0.010 h/Mpc, BAO wiggles at k_BAO≈0.043 h/Mpc, Silk damping tail, σ₈≈0.741. All consistent with BOSS DR12 and DESI DR1.

Book V Part 5 Ch. 43

Dependency Graph

Depends on (3)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Astrophysics.BulletClusterLSS

Symbol: Tau.BookV.Astrophysics.MatterPowerSpectrum