Registry · Remark V.R385 conjectural not_applicable

V.R385 — V.OP3 Status After Sprint 8B

V.OP3 PARTIAL-IMPROVED (deepened): Sprint 8B extends 8A beyond photon decoupling to neutrino decoupling + CνB + free-streaming. Two-horizon consistency from single ι_τ (V.T195). ΔP/P = −5.14% from τ-native masses (V.P137). NLO scan finds δ=ι_τ³ at −386 ppm for ratio but worse ℓ₁ (V.T193). Falsification suite with 6 targets (V.P138). Remaining: full C_ℓ (Boltzmann solver), A_s derivation, holonomy NLO resolution.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (6)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.vop3_sprint8b_status