lithium7_ratio
plain-language theorem explainer
The declaration records the observed lithium-7 to hydrogen ratio as 1.6 times 10 to the minus 10. Cosmologists comparing Big Bang nucleosynthesis predictions to data cite this constant when testing RS-derived abundances. It is introduced as a direct numerical assignment taken from astronomical measurements.
Claim. The observed lithium-7 to hydrogen ratio equals $1.6 times 10^{-10}$.
background
The COS-012 module derives light element abundances from Recognition Science principles during the first minutes after the Big Bang. It treats synthesis of deuterium, helium-3, helium-4, and lithium-7, with abundances set by the baryon-to-photon ratio eta (derived from phi) and nuclear rates constrained by the eight-tick octave. Observed values listed in the module documentation are helium-4 mass fraction near 24-25 percent, D/H near 2.5 times 10 to the minus 5, and lithium-7 to hydrogen near 1.6 times 10 to the minus 10, the last flagged as the lithium problem.
proof idea
The definition directly assigns the real number 1.6e-10 to the constant.
why it matters
This constant supplies the empirical benchmark for the lithium_problem entry in the same module. The module applies RS mechanisms such as phi-forced eta and magic numbers from the eight-tick structure to generate other abundances, yet isolates this observed value to mark the remaining discrepancy. It therefore anchors the comparison between RS predictions and data without resolving the lithium issue.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.