IndisputableMonolith.Cosmology.BaryogenesisTrajectoryFromPhiLadder
The module establishes that the baryon asymmetry parameter η_B multiplies by exactly φ at each temperature rung on the phi-ladder. Cosmologists working within Recognition Science on early-universe asymmetry would cite these definitions to link ladder rungs to observed values. The module consists of a collection of definitions and basic relations imported from Constants, with no internal proofs.
claim$η_B$ grows by a factor of $φ$ at each successive temperature rung on the $φ$-ladder, with $τ_0 = 1$ tick as the base time quantum.
background
The module sits in the cosmology domain and imports the RS-native time quantum $τ_0 = 1$ tick from Constants. It introduces the phi-ladder on which temperature and mass scale by powers of $φ$, together with the Recognition Composition Law that governs how quantities compose across rungs. Local notation includes the baryon-to-photon ratio $η_B$, the ratio $η_B$ ratio, the B-violation channel count, and the certification object BaryogenesisCert.
proof idea
This is a definition module, no proofs. It assembles the core objects etaB, etaB_ratio, BViolationChannel, bViolationChannel_count, BaryogenesisCert and baryogenesisCert as direct definitions that encode the exact $φ$ multiplication per rung.
why it matters in Recognition Science
The module supplies the trajectory required by BaryogenesisCert and related cosmology results. It fills the step that connects the phi-ladder fixed point (T6) and eight-tick octave (T7) to the observed baryon asymmetry, using the mass formula yardstick times $φ$ to the appropriate rung. It touches the open link between the dream fraction $φ^{-3}$ and the Berry creation threshold.
scope and limits
- Does not derive a numerical value for $η_B$ from first principles.
- Does not model specific CP-violation mechanisms beyond channel counting.
- Does not address the initial condition at the Berry creation threshold.
- Does not incorporate non-RS particle content or standard-model extensions.