eta_B
plain-language theorem explainer
The declaration eta_B assigns the baryon asymmetry parameter to the observed numerical value 6.1 × 10^{-10}. Cosmologists working in Recognition Science cite this constant when connecting the eight-tick phase structure to the matter excess. The definition is a direct alias to the empirical input eta_observed.
Claim. $η_B = 6.1 × 10^{-10}$, where $η_B$ is the baryon-to-photon ratio.
background
The COS-007 module derives the baryon-to-photon ratio η from Recognition Science's φ-structure via CP violation in the eight-tick phase structure. The core claim is that the universe's tiny matter excess η ≈ 6.1 × 10^{-10} emerges because not all phases in the 8-tick octave are equivalent, producing an intrinsic asymmetry ε_CP ~ 10^{-10}. eta_observed supplies the numerical anchor as the baryon asymmetry parameter.
proof idea
The definition is a one-line alias that sets eta_B equal to eta_observed.
why it matters
This definition supplies the target value for the baryon asymmetry in Recognition Science cosmology and is referenced by the audit module's cosmologyItems list. It fills the COS-007 step that links the eight-tick octave and CP violation to the observed η. The parent chain continues through siblings such as eta_is_small and eta_from_epsilon; the open question it touches is whether the small value can be derived internally from the φ-ladder without external input.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.