Registry · Proposition V.P141 tau-effective formalized

V.P141 — B-Mode Detection Forecast: CMB-S4 at 14 sigma

B-mode detection forecast: CMB-S4 at ~14 sigma, LiteBIRD at ~7 sigma, BICEP Array at ~5 sigma. De-lensing not required (S/N = 1131). Falsification: non-detection at sigma(r) < 0.003 rules out tau. Tensor tilt n_t ~ 0 (tau) vs n_t = -r/8 (slow-roll) is secondary discriminant.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.BModeDetectionForecast