baryogenesisMechanisms
plain-language theorem explainer
This definition enumerates the four conventional baryogenesis mechanisms: GUT via X and Y boson decay, electroweak via sphaleron transitions, leptogenesis via the seesaw, and Affleck-Dine along flat directions. Cosmologists reference it when mapping Sakharov conditions onto Recognition Science's 8-tick structure. The implementation is a direct list definition with no further reduction.
Claim. The standard baryogenesis mechanisms are GUT baryogenesis (X, Y boson decay), electroweak baryogenesis (sphaleron transitions), leptogenesis (seesaw mechanism), and Affleck-Dine (flat directions). All require the Sakharov conditions of baryon-number violation, C and CP violation, and departure from thermal equilibrium.
background
The module COS-007 derives the baryon-to-photon ratio η ≈ 6.1 × 10^{-10} from the φ-structure of Recognition Science. In this setting the 8-tick phase structure supplies intrinsic CP violation and out-of-equilibrium evolution once the universe cools below the thermalization scale. The fundamental time quantum is one tick, with one octave equal to eight ticks; upstream results supply the ledger factorization and the J-cost derived from phi-forcing.
proof idea
The declaration is a direct definition that constructs the list of four strings. No lemmas or tactics are applied beyond the literal enumeration.
why it matters
The definition supplies the conventional mechanisms whose Sakharov conditions are realized in Recognition Science through the T7 eight-tick octave and ledger asymmetry. It supports the sibling results on eta_B and matterAntimatterRatio by listing the processes that must be checked against the RS-native CP violation ε_CP ~ 10^{-10}. The module targets a paper deriving η directly from the φ-ladder without additional fields.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.