Registry · Remark V.R423 conjectural not_applicable

V.R423 — BOSS Data Comparison

BOSS DR12 comparison: k_eq (<1σ), r_s (+1.3σ), n_s (+0.002 ppm), σ₈ (WL-aligned). τ-native P(k) indistinguishable from BOSS at current precision. Euclid/DESI DR3 at ~0.5% on P(k) will be more stringent test.

Book V Part 5 Ch. 43

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Astrophysics.BulletClusterLSS