IndisputableMonolith.Cosmology.DarkEnergyEquationOfStateDepth
The Cosmology.DarkEnergyEquationOfStateDepth module sets the dark energy equation of state depth bound at δ = 1/φ^5 via the identity φ^5 = 5φ + 3. Cosmologists using the Recognition Science phi-ladder cite it to constrain equation of state parameters. The module supplies definitions and basic positivity lemmas for the bound.
claim$δ_{bound} = φ^{-5}$ where $φ^5 = 5φ + 3$.
background
The module sits in the cosmology domain and imports IndisputableMonolith.Constants, whose sole documented content is the RS-native time quantum τ₀ = 1 tick. It introduces the DarkEnergyModel together with deltaBound, phi5_eq, deltaBound_pos, deltaBound_small and the DarkEnergyEoSDepthCert certificate. The supplied doc-comment fixes the central relation δ bound = 1/φ^5 obtained from the algebraic identity φ^5 = 5φ + 3.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module supplies the δ bound that appears in the sibling declarations DarkEnergyEoSDepthCert and deltaBound. It fills the cosmology-specific step that follows the T5–T8 forcing chain and the Recognition Composition Law.
scope and limits
- Does not derive the full dark energy equation of state.
- Does not include observational data or numerical fits.
- Does not connect the bound to the mass formula or alpha interval.
- Does not address spatial dimension D = 3 or the eight-tick octave.