darkEnergyDensity
plain-language theorem explainer
darkEnergyDensity supplies the standard expression for vacuum energy density rho_Lambda in terms of the cosmological constant Lambda. Cosmologists working in the Recognition Science framework cite it when linking the J-cost ground state to observed acceleration. The definition is a direct one-line algebraic formula using the RS-native constants c and G.
Claim. $rho_Lambda(Lambda) = Lambda c^2 / (8 pi G)$
background
The module COS-013 derives the cosmological constant from Recognition Science by treating the vacuum as a J-cost ground state rather than empty space. In this setting the cosmological constant emerges from the ledger's baseline cost, with phi-scaling invoked to explain why the observed value is nonzero yet 10^120 times smaller than naive QFT estimates. The gravitational constant G is taken from the upstream Constants module in its RS-native form G = lambda_rec^2 c^3 / (pi hbar).
proof idea
One-line definition that directly transcribes the Einstein-equation expression for the energy density of a cosmological-constant term.
why it matters
The definition supplies the concrete link required by the COS-013 target and is referenced by the downstream darkEnergyDensity in the DarkEnergy module, which asserts that dark energy dominates the present universe. It therefore sits at the interface between the J-cost ground-state construction and the observed 70 percent critical-density fraction, keeping the fine-tuning problem open for later phi-ladder resolution.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.