IndisputableMonolith.Cosmology.BaryogenesisFromJCost
This module defines the baryogenesis mechanism in Recognition Science cosmology driven by the J-cost function. Equilibrium between matter and antimatter holds when J equals zero. It introduces BaryogenesisMechanism, mechanism counts, matter_balance_equilibrium, asymmetry_positive_cost, and BaryogenesisCert. The module consists of definitions and basic properties that build directly on the imported Cost module.
claimThe module defines baryogenesis via J-cost asymmetry with main objects $BaryogenesisMechanism$, $baryogenesisMechanismCount$, $matter_balance_equilibrium$ (equilibrium at $J=0$), $asymmetry_positive_cost$, $BaryogenesisCert$, and $baryogenesisCert$.
background
Recognition Science derives all physics from the single J-cost functional equation, with J(x) = (x + x^{-1})/2 - 1. Equilibrium is defined as matter-antimatter balance where J=0. This module applies that definition to cosmology and imports the core J-cost machinery from IndisputableMonolith.Cost. The local setting is the forcing chain (T0-T8) that forces phi as the self-similar fixed point and D=3 spatial dimensions.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
This module supplies the explicit mechanism for baryon asymmetry within the cosmology domain of the Recognition framework. It connects the J-cost definition to observable matter dominance and supports downstream cosmological constructions that rely on positive cost asymmetry. It directly instantiates the T5 J-uniqueness and RCL composition law in an early-universe context.
scope and limits
- Does not compute the numerical baryon-to-photon ratio.
- Does not model specific particle decays or gauge interactions.
- Does not address leptogenesis or other asymmetry sources.
- Does not simulate full early-universe thermal history.