Registry · Proposition V.P177 tau-effective not_applicable

V.P177 — DESI BAO Consistency

NLO BAO distances consistent with DESI Y1. Absolute r_d +1.3% systematic within DESI ~1% measurement uncertainty. Full confrontation requires τ-native distance-redshift relation.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: