IndisputableMonolith.Cosmology.BaryogenesisFromJCost
The Cosmology.BaryogenesisFromJCost module defines mechanisms for generating baryon asymmetry from J-cost in Recognition Science cosmology. Equilibrium is matter-antimatter balance at J=0, with asymmetry tied to positive cost. It introduces BaryogenesisMechanism, related counts, and certificates. Cosmologists seeking RS-native explanations for the observed matter excess would reference these definitions. The module consists entirely of definitions with no proofs.
claimEquilibrium is the state of matter-antimatter balance satisfying $J=0$. The module defines the type $BaryogenesisMechanism$, the count $baryogenesisMechanismCount$, the predicate $asymmetry_positive_cost$, and the certificate $BaryogenesisCert$ for asymmetry arising from J-cost deviations.
background
Recognition Science derives physics from the J-function obeying the Recognition Composition Law. This module sits in the cosmology domain and imports IndisputableMonolith.Cost to access J-cost definitions. The supplied doc-comment states that equilibrium equals matter-antimatter balance when J=0, providing the baseline from which positive-cost asymmetry mechanisms are constructed.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module supplies the core definitions that connect J-cost to the baryon asymmetry problem, forming the starting point for cosmological applications within Recognition Science. It directly encodes the equilibrium condition J=0 and the positive-cost asymmetry route, enabling downstream models of early-universe matter generation.
scope and limits
- Does not derive numerical values for the baryon-to-photon ratio.
- Does not incorporate standard-model CP violation or sphaleron processes.
- Does not connect J-cost asymmetry to specific observational datasets.