pith. sign in
module module high

IndisputableMonolith.Gravity.RSBaryogenesis

show as:
view Lean formalization →

This module defines the CP-violating gravitational parameters for baryogenesis in the Recognition Science framework. It sets the central coupling λ_CP to φ^{-7} to fix the strength of the χR R̃ term. Supporting definitions and lemmas cover κ_CP, positivity results, bounds, and the predicted positive η_B matching observations. The module imports the base Constants and organizes content around these quantities to enable asymmetry calculations.

claimThe CP-odd gravitational coupling is defined by $λ_{CP} = φ^{-7}$, which fixes the strength of the χR R̃ term in the CP-violating Lagrangian, together with the related parameter κ_CP and the predicted baryon asymmetry ratio η_B.

background

The module sits inside the Recognition Science derivation of physics from a single functional equation. It introduces CP violation in the gravitational sector to explain baryogenesis and builds directly on the upstream definition of the fundamental RS time quantum τ₀ = 1 tick from the Constants module. The local setting uses the phi-ladder structure and self-similar fixed-point properties already established in the forcing chain.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

This module supplies the CP-violating couplings required for baryogenesis in the Recognition Science gravity sector. It directly supports the eta_B_prediction, eta_B_positive, and eta_B_observed declarations inside the same module, contributing the necessary bounds and positivity statements that connect to the eight-tick octave and observed matter asymmetry.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (22)