neutron_proton_ratio
plain-language theorem explainer
The neutron-to-proton ratio is fixed at 1/7 after freeze-out and neutron decay in this Recognition Science model of Big Bang nucleosynthesis. Cosmologists computing primordial helium yields cite this value to recover the observed 25 percent mass fraction. The definition is a direct numerical assignment justified by the module comment on weak-interaction decoupling and subsequent decay.
Claim. The neutron-to-proton ratio at freeze-out, after neutron decay prior to Big Bang nucleosynthesis, is defined as $n/p = 1/7$.
background
The module COS-012 derives light-element abundances from Recognition Science parameters. Baryon-to-photon ratio eta is obtained from phi, nuclear magic numbers follow the eight-tick octave, and abundances are computed from these constrained inputs. The supplied doc-comment states that the ratio begins near exp(-Delta m / T_freeze) approximately 1/6 at weak decoupling and falls to approximately 1/7 once free neutron decay occurs before nucleosynthesis begins.
proof idea
The declaration is a direct constant definition that assigns the real number 1/7. No lemmas are invoked; the value is taken from the explanatory comment that converts the post-decay ratio into the helium-4 yield formula Y_p = 2n/(n+p).
why it matters
This definition supplies the fixed input required by the sibling helium-4 mass fraction calculation inside the same module. It implements the RS BBN pathway in which eta derives from phi and the eight-tick structure sets reaction rates, thereby linking the T7 octave and T8 spatial dimension to observed light-element abundances. The lithium problem remains open downstream.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.