Registry · Remark V.R418 conjectural formalized

V.R418 — Transition Redshift Comparison

Observed z_acc ≈ 0.64±0.05 (SN Ia, Riess et al. 2004). τ-prediction 0.632 at −1.3%, within 1σ. Combined with Ω_Λ at +269 ppm, readout projection matches observed cosmic acceleration to sub-percent.

Book V Part 3 Ch. 26

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Thermodynamics.DarkEnergyArtifact

Symbol: Tau.BookV.Thermodynamics.TransitionRedshift