IndisputableMonolith.Cosmology.HubbleTensionFromBIT
The module defines the Recognition Science Hubble tension amplitude as J(φ) times log(2). Cosmologists using the RS framework cite it to connect the J-cost function to the tension observable. It assembles supporting definitions from imported constants and cost modules without internal proofs.
claimThe RS Hubble tension amplitude is given by $J(\phi) \log 2$, where $J$ denotes the J-cost function and $\phi$ the self-similar fixed point.
background
Recognition Science builds from the J-function obeying the Recognition Composition Law J(xy) + J(x/y) = 2J(x)J(y) + 2J(x) + 2J(y). The imported Constants module supplies the fundamental RS time quantum τ₀ = 1 tick. The Cost module defines the J-cost applied in this cosmology setting.
The module operates in the cosmology domain and expresses the tension amplitude directly from the J-uniqueness and phi fixed point of the forcing chain.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module supplies the central amplitude expression referenced by sibling declarations including hubbleTensionAmplitude and HubbleTensionCert. It places the J-cost and phi into the Hubble tension derivation within the RS framework (T5 J-uniqueness, T6 phi fixed point). No used_by edges are recorded.
scope and limits
- Does not compute a numerical value for the tension.
- Does not incorporate observational Hubble data.
- Does not derive the full cosmic expansion history.
- Does not address the BIT mechanism beyond the amplitude formula.