eta_phi_prediction
plain-language theorem explainer
Recognition Science sets the baryon-to-photon ratio prediction to the golden ratio raised to the power -44. Cosmologists studying baryogenesis cite this as the RS value for the matter-antimatter asymmetry, yielding approximately 6.376 times 10 to the -10. The definition follows from the phi-ladder structure and the exponent 44 arising as the product of chirality flip count and torsion gap.
Claim. The Recognition Science prediction for the baryon-to-photon ratio is given by $η = φ^{-44}$, where $φ$ is the golden ratio satisfying $φ^2 = φ + 1$.
background
The MatterAntimatter module targets derivation of the baryon-to-photon ratio η from Recognition Science's φ-structure. Observed η equals n_B over n_γ and stands near 6.1 times 10 to the -10 according to Planck 2018 data. This small excess arises from CP violation inside the eight-tick phase structure, where charge-parity transformation is inexact and phases are not equivalent. Upstream results supply the φ-tier structure for nuclear densities, J-cost minimization that is strictly convex with unique minimum at argument 1, and the ledger factorization that calibrates the recognition cost function J.
proof idea
The definition is a direct one-line assignment of the real number phi raised to the power negative 44. It invokes the golden-ratio identity phi squared equals phi plus one only for any subsequent algebraic checks.
why it matters
This definition supplies the explicit RS prediction for matter abundance under the COS-007 target. It ties the baryon asymmetry to the identical numerical factor 44 that appears in the inverse fine-structure constant through the product of chirality flip count and generation torsion gap. The declaration supports later statements of the Sakharov conditions inside the same module and connects to the eight-tick octave and ledger factorization. It leaves open the dynamical derivation of the precise exponent from the unified forcing chain.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.