Registry · Theorem V.T18 tau-effective formalized

V.T18 — Hubble Tension Resolution

The "early universe" H_0 (CMB/Planck) and "late universe" H_0 (SH0ES distance ladder) are readouts of the expansion rate at different orbit-depth regimes. The Hubble tension arises from assuming H_0 is a single number independent of measurement method; the tau-framework resolves it via regime-dependent readout.

Book V Part 1 Ch. 8

Dependency Graph

Depends on (3)

Depended on by (3)

Lean Formalization

Module: TauLib.BookV.Temporal.DistanceLadder

Symbol: Tau.BookV.Temporal.HubbleTensionResolution