IndisputableMonolith.Gravity.HubbleTension
The Gravity.HubbleTension module supplies RS/ILG definitions for late-time H₀ in km/s/Mpc together with tension metrics and sigma values. Cosmologists examining the Hubble tension cite these to contrast local and CMB measurements. It is a definitions-only module drawing on the RS time quantum from Constants.
claim$H_{0,ILG}$, $H_{0,ILG_\sigma}$, $H_{0,CMB}$, $\Delta H_0$, tension_metric, and $\sigma_{8,ILG}$ as the RS/ILG late-time Hubble constant predictions and related quantities.
background
The module resides in the Gravity domain of Recognition Science and imports Mathlib plus IndisputableMonolith.Constants. The upstream Constants module defines the fundamental RS time quantum τ₀ = 1 tick. Definitions here translate RS parameters into observable H₀ values for late-time cosmology.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
This module supplies the H₀ predictions that feed Hubble tension analysis in the Recognition Science framework. It connects RS landmarks (T0-T8, phi-ladder) to cosmological observables, providing a path to resolve the tension via ILG.
scope and limits
- Does not derive H0 from the J-uniqueness equation or forcing chain.
- Does not include numerical evaluation of the phi-ladder or mass formula.
- Does not address the alpha band or fine-structure constant.
- Does not prove consistency with the Recognition Composition Law.
depends on (1)
declarations in this module (19)
-
def
H0_ILG -
def
H0_ILG_sigma -
def
H0_CMB -
def
H0_CMB_sigma -
def
delta_H0 -
theorem
delta_H0_value -
theorem
delta_H0_positive -
def
tension_metric -
theorem
ilg_reduces_tension -
def
sound_horizon_preserved -
theorem
sound_horizon_preservation -
def
sigma_8_ILG -
def
S_8_ILG -
def
delta_chi2_improvement -
theorem
chi2_improvement_significant -
def
A_L_eff_ILG -
theorem
A_L_near_unity -
structure
HubbleTensionCert -
theorem
hubble_tension_cert