lambdaRS
plain-language theorem explainer
The definition assigns the RS cosmological constant the explicit value eight times phi to the fifth divided by forty-five. Cosmologists matching the observed dark energy density to the phi-ladder structure cite this expression when certifying the band (1.88, 2.03). It is a direct abbreviation that re-exports the identical definition from the upstream CosmologicalConstantFromRS module.
Claim. $Λ_{RS} = 8 φ^5 / 45$
background
The module OmegaLambdaBITKernelBand treats the cosmological constant as a structural output of the Recognition Science phi-ladder. It records the RS prediction Λ_RS = 8φ^5/45 lying inside the interval (1.88, 2.03) and notes that the measured Ω_Λ ≈ 0.6847 × 3H₀² falls in the same band. The key algebraic identity used throughout is φ^5 = 5φ + 3, the Fibonacci relation that closes the self-similar fixed point.
proof idea
The declaration is a direct definition that evaluates the expression 8 * phi ^ 5 / 45 in the reals; no lemmas or tactics are applied inside the body.
why it matters
This definition supplies the concrete value that the downstream theorems lambdaRS_band, lambdaRS_pos and the structures OmegaLambdaBandCert and CosmologicalConstantCert all unfold. It realizes the RS prediction stated in the module documentation and connects directly to the phi fixed point (T6) and the eight-tick octave (T7) of the forcing chain. No open scaffolding remains inside the module.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.