rho_lambda_observed
plain-language theorem explainer
rho_lambda_observed supplies the measured dark energy density as the constant 6e-27 in SI units. Cosmologists matching Recognition Science vacuum predictions to supernova and CMB data would reference this value when testing J-cost ground-state models. The definition is a direct numerical assignment with no internal computation or lemma calls.
Claim. The observed dark energy density satisfies $ρ_Λ = 6 × 10^{-27}$ in units of kg m^{-3}.
background
Module COS-013 treats the cosmological constant as emerging from the J-cost ground state of the vacuum rather than from empty space. The vacuum ledger carries a nonzero baseline cost, and φ-scaling is invoked to explain why the observed Λ is small yet nonzero. The single upstream dependency is the scale definition, which returns φ^k for integer rung k and is used in large-scale structure constructions.
proof idea
The definition is a one-line wrapper that directly assigns the empirical numerical value 6e-27.
why it matters
The constant anchors comparisons between Recognition Science J-cost predictions and the observed cosmological constant problem. It supplies the target density for later vacuumJCost and jcost_cancellation declarations inside the same module. The placement follows the RS approach outlined in the module header that links the vacuum ground state to the 10^{-120} fine-tuning discrepancy.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.