module module high

`IndisputableMonolith.Cosmology.Nucleosynthesis`

The Cosmology.Nucleosynthesis module defines RS-native expressions for Big Bang nucleosynthesis abundances, centered on the helium-4 mass fraction Yp along with deuterium, helium-3, and lithium-7 ratios. Cosmologists working within the Recognition Science framework would cite these for predictions of light-element yields from the phi-forced constants. The module consists entirely of definitions that import the time quantum and phi-forcing results, with no internal proofs.

claimThe module defines the helium-4 mass fraction $Y_p$, deuterium ratio, helium-3 ratio, lithium-7 ratio, baryon-to-photon ratio $eta$, and related BBN quantities as functions of the RS parameters including $phi$ and $tau_0$.

background

The module sits in the cosmology domain and imports the RS time quantum $tau_0 = 1$ tick from Constants together with the PhiForcing module. PhiForcing establishes that $phi$ is forced by self-similarity in a discrete ledger with J-cost. The module introduces the sibling definitions helium4_mass_fraction, deuterium_ratio, eta, bbnReactions, neutron_proton_ratio, and lithium_problem that apply these constants to early-universe reaction networks and the phi-ladder for mass scales.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

The module supplies the base quantities for RS cosmology calculations of primordial abundances. It extends the PhiForcing chain (T5 J-uniqueness through T8 D=3) into observable nucleosynthesis predictions, including the lithium_problem. No downstream used_by edges are recorded, indicating it functions as a leaf module for abundance computations.

scope and limits

Does not derive reaction cross-sections from the J-cost ledger.
Does not compute numerical abundance values or compare to observations.
Does not address post-BBN chemical evolution or stellar processing.

depends on (2)

Lean names referenced from this declaration's body.

IndisputableMonolith.Constants module_import
IndisputableMonolith.Foundation.PhiForcing module_import

declarations in this module (18)

def helium4_mass_fraction L48
def deuterium_ratio L51
def helium3_ratio L54
def lithium7_ratio L57
def eta L60
def bbnReactions L75
def neutron_proton_ratio L96
theorem helium_fraction_calculated L109
def abundanceVsEta L122
def lithium_predicted L144
def lithium_observed L145
theorem lithium_problem L147
theorem rs_lithium_insight L162
def neutrino_species_from_bbn L177
theorem three_neutrinos_confirmed L179
theorem eta_phi_connection L192
def summary L207
structure NucleosynthesisFalsifier L221