IndisputableMonolith.Cosmology.BaryogenesisTrajectoryFromPhiLadder
The module defines the growth of baryon asymmetry η_B by exactly φ at each temperature rung along the phi-ladder. Cosmologists modeling early-universe asymmetry from Recognition Science constants would cite these definitions when tracing the trajectory to observed values. It assembles a collection of definitions and lemmas without complex proof steps.
claimThe baryon asymmetry satisfies η_B(rung) = η_B(rung-1) ⋅ φ for each temperature rung on the φ-ladder.
background
The module sits in the cosmology domain and imports the Constants module. Constants supplies the fundamental RS time quantum τ₀ = 1 tick. The central content is the family of definitions around η_B that encode exact multiplicative growth by φ per rung, consistent with the phi-ladder structure used for mass formulas in the broader framework.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The definitions supply the trajectory for η_B that supports BaryogenesisCert and related baryogenesis calculations in the cosmology section. It implements the growth law stated in the module documentation, linking the phi-ladder to cosmological observables.
scope and limits
- Does not specify the base value of η_B at the creation threshold.
- Does not detail the mechanism of B-violation.
- Does not compute the final numerical value of η_B.
- Does not address evolution after the phi-ladder rungs.