omega_dm
plain-language theorem explainer
The declaration assigns the numerical value 0.27 to the dark matter density parameter in Recognition Science cosmology. Researchers modeling galaxy rotation curves or CMB spectra within the ledger-shadow framework would reference this constant when deriving the dark-to-baryon ratio or dominance conditions. The assignment is a direct constant definition with no further reduction or computation.
Claim. The dark matter density parameter is defined by the equation $Ω_{dm} = 0.27$.
background
The module COS-010 treats dark matter as non-luminous ledger configurations arising from the σ=0, Z≠0 phantom sector at the temporal resolution of the 8-tick parity cycle. Observations cited in the module require roughly five times more matter than visible baryons, leading to the conventional values Ω_dm ≈ 0.27 and Ω_b ≈ 0.05. The upstream density definition supplies the phi-ladder scaling phi^k used elsewhere in the neutron-star regime analysis.
proof idea
It is a direct numerical definition that assigns the constant 0.27 with no lemmas or tactics applied.
why it matters
This definition supplies the input value for dm_baryon_ratio and dm_is_dominant, anchoring the observational side of the ledger-shadow explanation in the COS-010 module. It is consistent with the eight-tick octave and the phi-ladder structure from the T0-T8 forcing chain. The module notes that the rs_explains_null_detection theorem addresses phase-mismatch suppression rather than absolute absence of signal.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.