pith. machine review for the scientific record. sign in
module module high

IndisputableMonolith.Cosmology.DarkEnergyEquationOfState

show as:
view Lean formalization →

The module sets the dark energy equation of state parameter to w_0 = -1 as the cosmological constant baseline within Recognition Science cosmology. Researchers modeling late-time cosmic acceleration in RS-native units cite this baseline for consistency with observed expansion. The module supplies supporting definitions such as wLambda and DarkEnergyModel as a foundation without complex derivations.

claim$w_0 = -1$ for the dark energy equation of state, with $w_0$ the present-day value, $wLambda$ the lambda-model case, and DarkEnergyModel the overall structure.

background

Recognition Science cosmology builds on the fundamental time quantum τ₀ = 1 tick from the Constants module. The dark energy equation of state is defined as w = p/ρ, with the baseline fixed at -1 to recover a cosmological constant. The module introduces wLambda, bitCorrectionBound, DarkEnergyModel, and DarkEnergyEoSCert to encode this baseline and its certification.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

This module supplies the equation of state baseline that feeds DarkEnergyEoSCert and related cosmology declarations. It aligns with the unified forcing chain by fixing late-time behavior consistent with the eight-tick octave and D = 3.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (6)