Registry · Remark V.R384 conjectural not_applicable

V.R384 — V.OP3 Status: PARTIAL-IMPROVED after Sprint 8A

V.OP3 PARTIAL-IMPROVED: CMB observables at correct magnitude. ω_b from ι_τ at −1.2% (τ-effective). ch45 holonomy gives ω_m at +2.8%, ℓ₁ at +0.28%. n_s = 1−2/57 at +13 ppm. r = ι_τ⁴ = 0.014 falsifiable by CMB-S4. Remaining: holonomy NLO for ω_m, full C_ℓ via Boltzmann solver, A_s derivation.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (5)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.vop3_sprint8a_status