Gravity Rsbaryogenesis Baryogenesis Cert

The baryogenesis certificate

In cosmology, baryogenesis is the name for the process that produced more matter than antimatter in the early universe. The observed ratio of leftover matter to photons, called η_B, is about 6.1 × 10⁻¹⁰. That number is a measurement, not a derivation: standard physics has no accepted parameter-free calculation that lands on it.

Recognition Science offers a candidate derivation. The framework models reality as maintaining a ledger, a discrete record of recognition events, and derives constants from a single forcing chain. In that framework, nine ledger parities select a unique CP-odd channel, producing a prediction of η_B ≈ 5.1 × 10⁻¹⁰ with zero free parameters. The predicted value sits within 20 percent of the measured one, a gap of about 1.0 × 10⁻¹⁰.

The declaration baryogenesis_cert is a machine-checked theorem in the framework's library of formal theorems. It bundles five separate facts into one certificate: two coupling constants lie between zero and one, one coupling is smaller than the other, the baryon asymmetry prediction is within 20 percent of observation, and the scalar spectral index at 55 e-folds lies between 0.96 and 0.97. Each of these is a proved theorem on its own; the certificate is the packaged conjunction.

What the certificate does not claim is as important as what it proves. It does not derive the measured value of η_B exactly; it proves a bound, not an equality. It does not prove that baryogenesis actually happened in this way, only that the framework's numbers are internally consistent and close to observation. The physical bridge from recognition events to particle physics is not part of this certificate; that link remains open.

theorem eta_B_within_20_percent :
    eta_B_fractional_offset < 0.20 := by
  unfold eta_B_fractional_offset eta_B_prediction eta_B_observed
  norm_num

theorem baryogenesis_cert : BaryogenesisCert where
  lambda_from_phi := lambda_CP_bounds
  kappa_from_phi := kappa_CP_bounds
  grav_stronger := lambda_gt_kappa
  eta_B_ok := eta_B_within_20_percent
  spectral_ok := n_s_at_55

What this page does not claim

The certificate does not prove equality with the measured η_B, only a 20 percent bound. It does not establish that the framework's recognition events correspond to physical baryogenesis. It does not derive the value of η_B from first principles without the ledger model.

Verify this page

Every tagged claim above names its theorem. To check one yourself rather than trust this page, elaborate the source module with Lean 4 and audit its axiom basis:

$ lake env lean IndisputableMonolith/Gravity/RSBaryogenesis.lean
expected axiom basis: [propext, Classical.choice, Quot.sound] (the Lean kernel's standard three; no RS-specific axioms)

A page whose claims cannot be reproduced this way does not ship. In production, every anchor links to the exact declaration in the public source release, and this block carries the build receipt for the page itself.

Derived articles

This page is generated by a question-recursion engine: the questions its answers raise become the next pages. The current agenda, with open targets marked red: