matterAntimatterRatio
plain-language theorem explainer
matterAntimatterRatio supplies the early-universe matter excess as 1 plus the observed baryon asymmetry. Baryogenesis calculations within Recognition Science reference it to set the residual density after annihilation. The construction is a direct one-line numerical definition.
Claim. Define the matter-antimatter density ratio by $r := 1 + η$, where $η$ is the observed baryon-to-photon ratio.
background
The module COS-007 derives the baryon asymmetry η from Recognition Science's φ-structure and eight-tick phase asymmetry. eta_observed fixes the numerical input at 6.1e-10. Upstream, equilibrium states that Jcost 1 = 0, while from and for record the structural conditions supplied by the forcing chain and self-reference axioms.
proof idea
One-line definition that adds unity to the value of eta_observed.
why it matters
The definition supplies the quantitative starting point for the Sakharov conditions block that follows. It anchors the small excess to the CP violation arising in the eight-tick octave and the target of obtaining η ~ 10^{-10} from φ-related phases. No downstream uses are recorded yet.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.