Registry · Remark V.R205 tau-effective formalized

V.R205 — Both Measurements Correct

Both H_0 measurements are correct: the early-universe measurement (Planck, z ~ 1100) probes H(n_CMB) ~ H_infty ~ 67.4 km/s/Mpc, while the local measurement probes H(n_local) > H_infty due to the depth correction delta H / iota_tau^{n_local}.

Book V Part 5 Ch. 45

Lean Formalization

Module: TauLib.BookV.Astrophysics.H0TensionLCDM

Symbol: Tau.BookV.Astrophysics.BothMeasurementsCorrect