eta_observed
plain-language theorem explainer
eta_observed supplies the observed baryon-to-photon ratio as 6.1 × 10^{-10}. Cosmologists deriving baryon asymmetry from Recognition Science's 8-tick phase structure cite this constant to anchor calculations against Planck data. The definition enters the module by direct numerical assignment with no further computation.
Claim. The observed baryon-to-photon ratio is defined by $η = 6.1 × 10^{-10}$.
background
The Cosmology.MatterAntimatter module addresses the matter-antimatter asymmetry through the parameter η = n_B / n_γ. The module doc states that this tiny excess prevents complete annihilation of matter and antimatter, with the value emerging from CP violation in the 8-tick phase structure where not all phases are equivalent. The observed η matches Planck 2018 data of (6.10 ± 0.04) × 10^{-10} and satisfies the Sakharov conditions of baryon-number violation, C and CP violation, and departure from equilibrium.
proof idea
This is a direct definition that assigns the constant 6.1e-10 to eta_observed. No lemmas are applied and no tactics are used.
why it matters
This definition supplies the input value for eta_B, eta_is_small, eta_exponent, and matterAntimatterRatio. It anchors the RS baryogenesis argument to the observed asymmetry that the framework aims to derive from the 8-tick octave and φ-related phases. The module targets a PRD paper on baryogenesis from Recognition Science, while eta_exponent tests whether the exponent lies near 44-48 as an open derivation question.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.