dm_baryon_ratio
plain-language theorem explainer
dm_baryon_ratio defines the ratio of dark matter density to baryon density as their quotient. Cosmologists and Recognition Science researchers would cite it when quantifying the observed excess of dark matter or proving dominance over baryons. The definition is realized as a direct division of the two upstream constants.
Claim. $Omega_{rm dm}/Omega_{rm b}$ where $Omega_{rm dm}$ and $Omega_{rm b}$ are the dark matter and baryon density parameters.
background
The Cosmology.DarkMatter module interprets dark matter as non-luminous ledger configurations from odd-phase orbits in the 8-tick parity cycle, one temporal projection of the phantom sector. It adopts observed values matching galaxy rotation curves, lensing, and CMB spectra: dark matter density parameter 0.27 and baryon density parameter 0.05. Upstream results fix omega_dm and omega_b to these constants.
proof idea
The declaration is a direct definition expressing the ratio as the quotient of omega_dm and omega_b.
why it matters
This definition is invoked by the theorem dm_is_dominant to establish that the ratio exceeds 5, supplying evidence for dark matter. It realizes the RS mechanism of gravitationally active but electromagnetically dark ledger entries from the eight-tick octave. The module links the construction to the paper proposition on dark matter as non-luminous ledger configurations.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.