pith. sign in

Where does the baryon asymmetry come from?

Big AI job. Grok 4.3 reads the canon and writes a Lean-grounded derivation; usually 20 seconds to 2 minutes. Your answer will appear below.
confidence: high in recognition cached

In Recognition Science the baryon asymmetry η_B is a structural consequence of the integration gap at D=3.

The rung −44 is obtained via three equivalent combinatorial witnesses at D=3:

The present-day value is therefore η_B = φ^{−44}:

Dynamically the trajectory begins at unity:

An 8-tick washout prefactor yields the observed band:

cited recognition theorems

outside recognition

Aspects Recognition does not yet address:

  • Explicit derivation of the asymmetry from the five B-violation channels (only their count is supplied)
  • Matter-consciousness duality theorem referenced in BaryogenesisTrajectory but absent from the supplied slice
  • First-principles Boltzmann derivation of the prefactor (interpretive hypothesis only)

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.