equationOfState
plain-language theorem explainer
Dark energy's equation of state parameter is defined as w = -1. Cosmologists working on the accelerating expansion cite this when tracing the cosmological constant to ledger tension in Recognition Science. The assignment follows directly from equating dark energy to a constant scalar field whose pressure equals the negative of its density.
Claim. The dark energy equation of state parameter is defined by $w = -1$, where $w = P/ρ$.
background
In the Cosmology.DarkEnergy module, dark energy is derived from ledger tension: the global J-cost balance constraint conflicts with expansion, which creates new spacetime volume and therefore new ledger entries. The resulting residual tension energy is identified with the cosmological constant Λ. This definition supplies the equation of state value w = P/ρ = -1, consistent with the upstream constant scalar field construction.
proof idea
The declaration is a direct noncomputable definition that assigns the real number -1.
why it matters
This definition supplies the base value used by dark_energy_w (which examines the coincidence problem) and dark_energy_eos (which notes that w = -1 keeps energy density constant because ledger tension is scale-independent). It fills the COS-006 step that obtains Λ from the requirement of ledger coherence across expanding space.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.