hubbleRatioUpper
plain-language theorem explainer
Recognition Science supplies an upper bound of 1.091 on the late-to-early Hubble constant ratio. This constant marks the top of the predicted consistency band (1.075, 1.091) that contains the empirical central value 1.083. Cosmologists testing whether new H_0 measurements fall inside the BIT-Z-aging resolution would cite this bound. The declaration is a direct numerical assignment.
Claim. The RS-predicted upper bound on the late-to-early Hubble constant ratio is $1.091$.
background
The module records the predicted band for the ratio of late-time (SH0ES, Pantheon+) to early-time (Planck CMB) Hubble constant measurements. RS derives the band from cosmic Z-aging on the BIT kernel, producing the interval (1.075, 1.091) as a tight neighborhood of the phi-rational shift 1 + 1/(2·φ²). The upper value 1.091 is the RS-predicted maximum ratio still counted as consistent.
proof idea
The declaration is a direct definition that assigns the constant value 1.091.
why it matters
This definition supplies the upper edge of the band used to build the structural certificate for the Hubble tension resolution and the predicates for consistency with the RS prediction and for falsification. It supports the claim that the observed central value lies inside the RS-predicted interval, consistent with the BIT-Z-aging resolution of the tension. The band itself is phi-rational and closes the structural cert for the framework's cosmology predictions.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.