IndisputableMonolith.Cosmology.CDMDensityParameterFromRS
The module derives the cold dark matter density parameter omega_CDM directly from Recognition Science constants in native units. It introduces a DMCandidate type along with count, band, and certification objects for cosmological use. Researchers building RS-based alternatives to standard Lambda-CDM cite these certified values. The module consists of type definitions and direct computations from the imported constants without separate proof tactics.
claimThe module defines $DMCandidate$, $dmCandidate_count$, $omegaCDM$, $omegaCDM_band$, $CDMDensityCert$, and $cdmDensityCert$ from the RS time quantum $tau_0 = 1$ tick and the constant $G = phi^5 / pi$.
background
Recognition Science derives cosmological parameters from the single time quantum $tau_0 = 1$ tick supplied by the Constants module. The present module operates in the cosmology domain and introduces the DMCandidate type to represent dark matter candidates together with associated counting and certification objects. It computes the density parameter $omegaCDM$ and its allowed band using the phi-ladder and the RS-native gravitational constant.
proof idea
this is a definition module, no proofs
why it matters in Recognition Science
The module supplies the CDM density parameter and its certification for downstream cosmological constructions in the Recognition Science framework. It directly consumes the fundamental constants and feeds density values into larger models that incorporate the eight-tick octave and D = 3 spatial dimensions.
scope and limits
- Does not derive baryon or dark energy densities.
- Does not perform numerical integration of Friedmann equations.
- Does not address structure formation or perturbation spectra.
- Does not compare against observational datasets beyond the supplied band.