pith. machine review for the scientific record. sign in
module module high

IndisputableMonolith.Cosmology.HubbleTension

show as:
view Lean formalization →

This module establishes that the ratio of late-universe to early-universe Hubble constants equals 13/12 within Recognition Science. Cosmologists reconciling discrepant H_0 measurements would cite these definitions. The module assembles the ratio from component expressions for early and late expansions drawn from imported constants and geometry.

claimThe ratio of the late-universe Hubble constant to the early-universe value satisfies $H_0^late / H_0^early = 13/12$.

background

The module operates in the Recognition Science cosmology, importing the fundamental time quantum equal to one tick, the constructive derivation of the inverse fine-structure constant from cubic ledger vertex deficits via Gauss-Bonnet, and the derivation of CKM matrix elements from ledger geometry. It introduces definitions for early and late expansion rates, dark energy density, and the topological Hubble ratio to assemble the main numerical result.

proof idea

This is a definition module, no proofs. The structure defines component expressions for early and late Hubble parameters from prior constants and geometry, then combines them into the ratio and associated bounds.

why it matters in Recognition Science

The module supplies the 13/12 ratio that feeds the complete resolution of the Hubble tension in the downstream certificate module addressing registry item T-001. It extends the alpha derivation and CKM geometry into the early-late discrepancy in Hubble measurements.

scope and limits

used by (1)

From the project-wide theorem graph. These declarations reference this one in their body.

depends on (4)

Lean names referenced from this declaration's body.

declarations in this module (18)