deuterium_ratio
plain-language theorem explainer
The declaration assigns the deuterium-to-hydrogen ratio the fixed value 2.5e-5. Cosmologists comparing Recognition Science Big Bang Nucleosynthesis predictions to observed light-element abundances would cite this constant. It is introduced by direct numerical assignment with no computation or lemmas.
Claim. The deuterium-to-hydrogen ratio is defined as $2.5 times 10^{-5}$.
background
The module COS-012 derives light-element abundances from RS principles during the first minutes after the Big Bang. Abundances depend on the baryon-to-photon ratio eta (derived from phi in prior work), neutrino species count, and nuclear reaction rates constrained by the eight-tick octave. Observed values listed include D/H approximately 2.5 times 10 to the minus 5, helium-4 mass fraction 24-25 percent, and the lithium problem at 1.6 times 10 to the minus 10.
proof idea
Direct constant definition with no lemmas applied.
why it matters
This supplies the observed D/H benchmark for validating RS-constrained BBN abundances against data in COS-012. It anchors comparisons that rely on phi-derived eta and eight-tick nuclear magic numbers. The assignment closes the observational side of the deuterium bottleneck without introducing new hypotheses.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.