omega_b
plain-language theorem explainer
Recognition Science adopts the baryon density parameter value 0.05 to align with observed cosmological ratios. Modelers of dark matter as ledger shadows cite this constant when establishing dominance over baryons in the phantom sector. The definition is a direct numerical assignment with no computation or lemmas involved.
Claim. The baryon density parameter satisfies $Ω_b = 0.05$.
background
The Cosmology.DarkMatter module treats dark matter as non-luminous ledger configurations from odd-phase orbits in the 8-tick parity cycle, at the temporal resolution of the σ=0, Z≠0 phantom sector. It adopts the observed values Ω_dm ≈ 0.27 and Ω_b ≈ 0.05 to account for galaxy rotation curves, cluster dynamics, gravitational lensing, and CMB spectra. The module targets the paper proposition that dark matter arises as ledger entries that do not couple to photons, with the rs_explains_null_detection theorem providing a phase-mismatch suppression mechanism.
proof idea
This is a direct definition that assigns the constant 0.05 to the baryon density parameter. No lemmas or tactics are applied.
why it matters
The definition supplies the baryon density input to dm_baryon_ratio and dm_is_dominant, which establish that the dark-to-baryon ratio exceeds 5. It fills the observational anchor in the COS-010 target to explain dark matter from ledger shadows, consistent with the eight-tick octave and J(φ) suppression at 1.79 GeV. The value supports the module's unification with PhantomSectorStratification and DarkMatterConsciousnessIdentity projections.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.