observationalStatus
plain-language theorem explainer
observationalStatus enumerates four statements that record the measured cosmological constant, the dark-energy equation-of-state parameter, the lack of detected evolution, and the precision target of forthcoming surveys. Recognition Science authors cite the list to anchor the J-cost ground-state derivation against data. The definition is a direct literal construction of the list with no computation or lemma application.
Claim. The observational status is the list containing $Λ = (1.1 ± 0.01) × 10^{-52} m^{-2}$, $w = -1.03 ± 0.03$, no evidence for $w$ evolution, and a future precision target of 0.3% on $w$.
background
Recognition Science derives the cosmological constant from the J-cost ground state of the vacuum ledger rather than from naive quantum-field-theory zero-point energy. The module COS-013 states that the observed value is approximately $10^{-52} m^{-2}$, twelve orders of magnitude smaller than the naive prediction, and identifies phi-scaling as the mechanism that suppresses the vacuum energy while leaving a nonzero residue. Upstream results on primitive distinctions and simplicial edge lengths supply the structural conditions under which a well-defined J-cost baseline exists.
proof idea
The definition constructs the list by direct enumeration of four literal strings. No lemmas or tactics are invoked; the body is a plain list literal.
why it matters
The list supplies the empirical target for the claim that phi-ladder cancellation resolves the cosmological constant problem. It anchors the module's derivation of Lambda from the ledger's baseline cost and distinguishes the RS approach from anthropic, quintessence, and modified-gravity alternatives listed in the same file. The definition therefore closes the observational interface required by the parent derivation of the vacuum J-cost.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.