Registry · Remark V.R462 tau-effective not_applicable

V.R462 — τ vs ΛCDM Transfer Comparison

T(k) ratio table: +0.1% (k=0.001) to +9.7% (k=1.0). σ₈ cross-check: TF gives S₈=0.827 vs growth-factor model 0.783. 5% discrepancy from full T(k) shape; needs Boltzmann solver.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (1)

Lean Formalization

Module: