module module moderate

`IndisputableMonolith.Cosmology.Nucleosynthesis`

The module collects definitions for Big Bang nucleosynthesis abundances in Recognition Science, centered on the helium-4 mass fraction Yp. Cosmologists testing RS-derived light-element ratios against observations would cite the sibling declarations. The module organizes those declarations around the imported time quantum and phi-forcing structure without internal proofs.

claimHelium-4 mass fraction $Y_p$ together with deuterium, helium-3 and lithium-7 ratios computed from the RS time quantum $\tau_0$ and the golden ratio $\phi$ forced by self-similar J-cost ledgers.

background

The module resides in the Cosmology domain and imports two upstream modules. Constants supplies the fundamental RS time quantum with $\tau_0 = 1$ tick. PhiForcing proves that $\phi$ is forced by self-similarity in a discrete ledger equipped with J-cost. The listed sibling declarations (helium4_mass_fraction, deuterium_ratio, eta, bbnReactions, etc.) then express nucleosynthesis quantities in these RS-native units.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies the helium-4 mass fraction Yp and related abundance ratios that link the phi-forced constants and eight-tick octave to early-universe physics. It therefore feeds any downstream cosmology theorems that compare RS predictions with observed primordial abundances, although no such used_by edges are recorded yet.

scope and limits

Does not derive the full BBN reaction network from the Recognition functional equation.
Does not evaluate numerical abundance values or compare them to data.
Does not address element evolution after the BBN epoch.
Does not incorporate spatial dimension D=3 or the alpha band into the abundance formulas.

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