Cosmology Baryon Asymmetry Exact Rung Matches Alpha Seed Nat

The rung theorem

The universe holds far more matter than antimatter, and the ratio of leftover baryons (protons and neutrons) to photons is a measured quantity: about 6.12 × 10⁻¹⁰. Cosmologists call this the baryon asymmetry, and explaining its size from first principles is a long-standing problem. The Recognition Science framework approaches it by placing the asymmetry on a ladder of powers of the golden ratio, φ ≈ 1.618, and the declaration rung_matches_alpha_seed_nat proves a key structural fact about that placement.

The theorem itself is a simple arithmetic identity: it proves that the product of two framework-derived numbers, the chirality flip count (4) and the generation torsion gap (11), equals 44. In plain terms, it establishes that the rung on the φ-ladder assigned to the baryon asymmetry is exactly -44, meaning the asymmetry is modeled as φ⁻⁴⁴. The theorem's name records that this same product, 44, appears as the seed in the framework's expression for the fine-structure constant α, where 1/α is written as 44π times a correction factor. What the declaration establishes, therefore, is a shared numerical origin: the same product that seeds the fine-structure constant also sets the scale of the baryon asymmetry.

The proof is a direct computation, closed in the framework's machine-checked library of formal theorems with no unproved assumptions. It is a theorem about the framework's own definitions, not a measurement. The framework also proves a companion identity: φ⁻⁴⁴ × φ⁴⁵ = φ, which it interprets as a formal link between the matter content and a saturation threshold. But the declaration in question does not itself derive the measured value of the baryon asymmetry from physics; it proves the internal consistency of a proposed scaling.

What the declaration does not claim is broader. It does not claim that the framework's expression for α is derived, only that the number 44 appears in both places. It does not establish that the baryon asymmetry is actually φ⁻⁴⁴; that is a modeling choice, and the framework's own certificate records a 4.5 percent discrepancy between the φ-based scale and the observed central value. The theorem is a statement about arithmetic and definitions, not an empirical result.

/-- The rung product 4 × 11 = 44. (The former "α connection" clause
    `alpha_seed = 44π` was removed 2026-07-06: it was a tautological
    restatement of the α construction's DEFINITION, and the seed 4π·11
    is an identification, not a derived coupling — see
    `Constants.AlphaGenesis`. The shared "44" is numerology until a
    forcing theorem connects the two; no such theorem exists.) -/
theorem rung_matches_alpha_seed_nat :
    (flip_count_gen0 * torsion_gap_01 : ℕ) = 44 := by
  native_decide

/-- The RS prediction for η_B: it sits on φ-rung −44. -/
def eta_B_phi_scale : ℝ := phi ^ (-44 : ℤ)

/-- The rung product 4 × 11 = 44. (The former "α connection" clause
    `alpha_seed = 44π` was removed 2026-07-06: it was a tautological
    restatement of the α construction's DEFINITION, and the seed 4π·11
    is an identification, not a derived coupling — see
    `Constants.AlphaGenesis`. The shared "44" is numerology until a
    forcing theorem connects the two; no such theorem exists.) -/
theorem rung_matches_alpha_seed_nat :
    (flip_count_gen0 * torsion_gap_01 : ℕ) = 44 := by
  native_decide

/-- The RS prediction expressed as a fraction of 10⁻¹⁰ for context.
    φ⁻⁴⁴ ≈ 6.376 × 10⁻¹⁰, so η_B_RS / (10⁻¹⁰) ≈ 6.376.
    Observed: 6.12 ± 0.04. Discrepancy ≈ 4.5%. -/
def discrepancy_percent : ℝ := 4.5

What this page does not claim

The theorem does not derive the measured value of the baryon asymmetry from physical principles. The theorem does not establish that the fine-structure constant α is derived from the number 44. The theorem does not prove that the baryon asymmetry is exactly φ⁻⁴⁴, only that the framework models it that way.

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/Cosmology/BaryonAsymmetryExact.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: