pith. sign in
module module high

IndisputableMonolith.Cosmology.HubbleResolution

show as:
view Lean formalization →

The Cosmology.HubbleResolution module defines the ILG-corrected physical Hubble parameter incorporating a recognition lag correction C_lag = phi^{-5}. It models the extra gravity scaling that reconciles early-time CMB values with late-time local measurements. Cosmologists addressing the Hubble tension would cite this to connect discrete RS units to observational data. The module organizes the correction as a multiplicative factor derived from the lag term.

claimThe ILG-corrected Hubble parameter is $H_ {phys} = H_{CMB} (1 + f(C_{lag}))$, where the correction factor $f$ derives from the recognition lag $C_{lag} = phi^{-5}$ and encodes the extra gravity contribution that scales early-time to late-time values.

background

Recognition Science fixes constants in RS-native units with the recognition lag C_lag = phi^{-5} drawn from the upstream Constants module, which sets the fundamental time quantum tau_0 = 1 tick. This module introduces the physical Hubble parameter H_phys as the CMB value adjusted by the lag-derived term. The setting follows the unified forcing chain with J-uniqueness at T5 and phi as the self-similar fixed point at T6.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

This module supplies the corrected Hubble parameter definition that supports resolution of the Hubble tension. It feeds sibling results such as hubble_resolution_converges and structural_growth_suppression. The construction applies the recognition lag directly to cosmology, aligning with the RCL and the eight-tick octave in the forcing chain.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (3)