etaB_RS
plain-language theorem explainer
The RS baryon asymmetry parameter is defined as the reciprocal of phi raised to the 44th power. Cosmologists working in the Recognition Science phi-ladder framework cite it when stating the predicted eta_B value under A3 baryogenesis. The definition is a direct substitution of the fixed baryon rung constant into the inverse power expression.
Claim. $η_B^{RS} := φ^{-44}$, where the baryon rung is the integer 44.
background
The module sets the baryon asymmetry from the phi-ladder in the A3 baryogenesis scenario of Recognition Science, with the explicit prediction η_B ≈ φ^{-44}. The phi-ladder supplies discrete exponents for physical scales; here the baryon rung is fixed at 44 to produce the observed small asymmetry. Upstream, baryonRung is defined as the natural number 44 in both the local module and the Cosmic Microwave Background module.
proof idea
It is a one-line definition that substitutes the constant baryonRung value of 44 into the expression (phi ^ 44)^{-1}.
why it matters
This definition supplies the core expression for the RS baryon asymmetry prediction. It is referenced by BaryonAsymmetryCert to certify the rung equality, positivity, and phi^44 > 10^8 bound, and by the theorems etaB_pos and etaB_small. It realizes the framework prediction η_B ≈ φ^{-44} from the phi-ladder, consistent with the self-similar fixed point phi and the eight-tick octave. It closes the definitional step without addressing open questions.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.