Where does the baryon asymmetry come from?

permalink: https://pith.science/recognition/ask/where-does-the-baryon-asymmetry-come-from-132276ac · first asked 2026-06-19 · browse all asks

confidence: high in recognition cached

The baryon asymmetry η_B originates in the φ-ladder rung fixed by the integration gap at D=3. eta_B_rung_from_dimension_at_D3 proves eta_B_rung_from_dimension D = -44 via 1 - integrationGap D. eta_B_rung_from_chirality_eq and eta_B_rung_from_fermionic_eq yield the same integer via chirality-torsion and fermionic-DOF witnesses; etaBExactRungCert certifies all three converge at -44. baryonRung_gap45 sets the rung at 44, so etaB_small derives η_B = φ^{-44} < 10^{-8}. The dynamic trajectory reaches this value after 44 e-folds: etaBAt_44 and baryogenesisTrajectoryCert. The order-one prefactor is (1 - φ^{-8})^2; eta_B_corrected_in_observed_band places c_RS · φ^{-44} in (6.0 × 10^{-10}, 6.2 × 10^{-10}), matching observation. Thus η_B is the structural consequence of the D=3 integration gap on the φ-ladder.

cited recognition theorems

EtaBExactRungDerivation.eta_B_rung_from_dimension_at_D3 Derives the -44 rung from integration gap at D=3
EtaBExactRungDerivation.eta_B_rung_from_chirality_eq Second witness for the same rung
EtaBExactRungDerivation.eta_B_rung_from_fermionic_eq Third witness for the same rung
EtaBExactRungDerivation.etaBExactRungCert Certifies convergence of the three witnesses
BaryonAsymmetryFromPhiLadder.baryonRung_gap45 Fixes the rung integer at 44
BaryonAsymmetryFromPhiLadder.etaB_small Derives η_B = φ^{-44} < 10^{-8}
BaryogenesisTrajectory.etaBAt_44 Confirms present-epoch value after 44 e-folds
BaryogenesisTrajectory.baryogenesisTrajectoryCert Certifies the full trajectory from unity at GUT scale
EtaBPrefactorDerivation.eta_B_corrected_in_observed_band Places the corrected prediction in the observed band

outside recognition

Aspects Recognition does not yet address:

Full first-principles Boltzmann derivation of the squared washout prefactor (remains hypothesis-grade)
Explicit derivation of the five B-violation channels beyond their count
Matter-consciousness duality theorem referenced but not defined in supplied modules

recognition modules consulted

The Recognition library is at github.com/jonwashburn/shape-of-logic. The model is restricted to the supplied Lean source and instructed not to invent theorem names. Treat output as a starting point, not a verified proof.