lambda_observed
plain-language theorem explainer
The declaration assigns the observed cosmological constant the numerical value 1.1e-52 in RS units. Cosmologists comparing Recognition Science predictions to data would cite this constant when anchoring the vacuum energy scale. The definition is a direct numerical assignment with no computation or lemma application.
Claim. $Λ_obs = 1.1 × 10^{-52} m^{-2}$
background
The Cosmology.CosmologicalConstant module frames the cosmological constant problem as the 10^{120} discrepancy between naive QFT vacuum energy and the observed tiny value. Recognition Science treats the vacuum as carrying a nonzero J-cost ground state whose baseline ledger cost yields Λ via φ-scaling. The upstream density definition supplies φ^k for integer k, establishing the scaling ladder referenced in related cosmological constructions.
proof idea
The definition is a direct numerical assignment of the observed value. No lemmas are invoked and no tactics are used; the body is a constant literal.
why it matters
This definition supplies the target value for the COS-013 effort to derive Λ from the J-cost ground state. It anchors sibling constructions such as rho_lambda_observed and vacuumJCost that must reproduce the observed scale through cancellation on the φ-ladder. The module positions the result as a potential resolution of the worst fine-tuning problem in physics.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.