Registry · Proposition V.P165 conjectural formalized

V.P165 — BAO Scale Prediction

Sound horizon r_s≈147.5 Mpc from τ-native ω_m, ω_b. BOSS DR12: 147.21±0.23 Mpc. Deviation +0.20% (+2000 ppm), within 1.3σ. BAO feature at k_BAO=0.043 h/Mpc matches.

Book V Part 5 Ch. 43

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Astrophysics.BulletClusterLSS

Symbol: Tau.BookV.Astrophysics.bao_scale_consistent