lambda_CP
plain-language theorem explainer
λ_CP is defined as φ^{-7} to fix the strength of the CP-violating gravitational term χRR̃ in the RS baryogenesis Lagrangian. Cosmologists deriving parameter-free baryon asymmetry from Recognition Science would cite this when assembling the BaryogenesisCert structure. The assignment is a direct real-power expression using the golden ratio with no lemmas or tactics.
Claim. The CP-odd gravitational coupling is defined by $λ_{CP} := φ^{-7}$.
background
In Recognition Science the golden ratio φ is the self-similar fixed point forced by the J-uniqueness relation J(x) = (x + x^{-1})/2 - 1. The module RSBaryogenesis uses this to set all CP-odd couplings from phi alone, with λ_CP = φ^{-7} controlling the χRR̃ term and κ_CP = φ^{-9} controlling the χFF̃ term. Upstream structures supply the J-cost convexity from PhysicsComplexityStructure and the discrete φ-tier scaling from NucleosynthesisTiers and SpectralEmergence.
proof idea
One-line definition that directly assigns the real number obtained by raising phi to the power -7.
why it matters
This definition supplies the gravitational CP-odd coupling required by BaryogenesisCert to certify 0 < λ_CP < 1, κ_CP < λ_CP, and the resulting η_B fractional offset below 0.20. It implements the paper claim that nine ledger parities fix the asymmetry at ≈ 5.1 × 10^{-10} with zero free parameters, closing the T5-T6 forcing steps that produce phi and the eight-tick octave.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.