IndisputableMonolith.Gravity.RSBaryogenesis
The Gravity.RSBaryogenesis module defines the CP-odd gravitational coupling λ_CP = φ^{-7} together with κ_CP, bounds, and η_B predictions for baryogenesis calculations. Cosmologists and particle physicists modeling the baryon asymmetry in RS frameworks would cite these constants. The module consists entirely of definitions and inequalities derived from the phi-ladder, with no theorems or proofs.
claim$\lambda_{CP} = \phi^{-7}$ sets the strength of the $\chi R \tilde{R}$ term in the CP-violating Lagrangian; companion definitions give $\kappa_{CP}$, positivity and bound lemmas, and predictions for $\eta_B$.
background
The module imports IndisputableMonolith.Constants, whose doc states: 'The fundamental RS time quantum (RS-native). τ₀ = 1 tick.' It operates in the Gravity domain and supplies the CP-violating parameters that enter baryogenesis estimates.
Sibling declarations (lambda_CP, kappa_CP, eta_B_prediction, eta_B_observed, and the bound lemmas) encode the concrete numerical relations and inequalities required for the asymmetry calculation. All quantities are expressed in RS-native units with c = 1.
proof idea
this is a definition module, no proofs
why it matters in Recognition Science
The definitions support the eta_B_prediction and eta_B_observed siblings inside the module, supplying the CP-violating input needed for the baryon asymmetry in Recognition Science. They connect to the phi-ladder mass formula and the requirement for CP violation in the forcing chain (T5 J-uniqueness).
scope and limits
- Does not derive λ_CP from the J-function or RCL.
- Does not compute the numerical value of η_B.
- Does not address leptogenesis or other asymmetry mechanisms.
- Does not incorporate temperature-dependent running of the couplings.
depends on (1)
declarations in this module (22)
-
def
lambda_CP -
def
kappa_CP -
theorem
lambda_CP_pos -
theorem
kappa_CP_pos -
theorem
lambda_CP_lt_one -
theorem
lambda_gt_kappa -
theorem
lambda_CP_bounds -
theorem
kappa_CP_lt_one -
theorem
kappa_CP_bounds -
def
eta_B_prediction -
theorem
eta_B_positive -
def
eta_B_observed -
def
eta_B_fractional_offset -
theorem
eta_B_within_20_percent -
def
alpha_inflaton -
theorem
alpha_inflaton_pos -
theorem
alpha_inflaton_alt -
def
n_s_prediction -
theorem
n_s_at_55 -
theorem
n_s_at_60 -
structure
BaryogenesisCert -
theorem
baryogenesis_cert