cosmologicalConstant
plain-language theorem explainer
The cosmological constant is defined as three times the square of the present Hubble parameter in natural units. Recognition Science cosmologists cite it when tracing dark energy to ledger tension under global balance during expansion. The definition is a direct scaling that equates tension energy density to the expansion rate squared.
Claim. The cosmological constant is defined by the equation $Λ = 3 H_0^2$, where $H_0$ denotes the present-day Hubble parameter in natural units with $c=1$.
background
In the COS-006 module, dark energy arises as residual tension when the global J-cost ledger must remain balanced while expansion continuously adds new spacetime volume. The tension energy density per unit volume is identified with the cosmological constant. Upstream, H0 supplies the numerical Hubble value 2.2e-18 in natural units; the ledger-balance and continuum-bridge structures supply the underlying cost accounting.
proof idea
One-line definition that directly sets the value to 3 * H0^2, with inline comments recording the scaling with expansion rate.
why it matters
This definition supplies the explicit expression for Λ that lambda_positive immediately proves positive and that DarkEnergyModel enumerates as the first case. It realizes the COS-006 derivation of dark energy from ledger tension, closing the link between expansion rate and residual J-cost per volume.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.