Cosmology Phi Rung Ladder Baryon Rung Factorization

The baryon rung factorization

The number 44 factors as 4 times 11. That is the entire content of the machine-checked theorem named baryon_rung_factorization. It is a statement about integers, not about particles: in the Recognition Science framework, the baryon asymmetry, the excess of matter over antimatter in the early universe, is associated with the rung value -44 on a ladder of powers of the golden ratio. The theorem proves that the absolute value of that rung, 44, is 4 times 11.

This factorization sits inside a larger structure. The framework's library, a machine-checked collection of formal theorems, defines a ladder where each rung is an integer exponent of the golden ratio φ. The baryon asymmetry rung is at -44, meaning its value is φ raised to the power -44. The theorem in question does not derive this rung value from physics. It assumes the rung is 44 and then proves the arithmetic fact that 44 = 4 × 11. The proof is a direct computation, closed with the norm_num tactic, which verifies basic numerical identities.

The surrounding module also proves related arithmetic relations. For instance, the product of φ⁵ and φ⁴⁴ equals φ⁴⁹, and the difference between the rungs for consciousness saturation (45) and the counterfactual threshold (5) is 40, which factors as 8 × 5. These are all exponent arithmetic, consequences of the rule that adding exponents multiplies powers. The framework presents these as part of a web of relations among its thresholds, but each identity is a standalone fact about integers or powers of φ.

What the theorem does not claim is where its honesty lies. It does not claim that the baryon asymmetry is physically caused by the number 44, nor that 4 × 11 has any cosmological meaning. It does not assert that the rung value -44 was derived from first principles; the rung is a defined constant, not a proved output. The factorization is a necessary condition for any deeper story, not the story itself. In plain language: the framework has a number for the baryon asymmetry, and this theorem confirms that number is composite, nothing more.

/-- 44 = 4 × 11 (baryon rung = 4 × passive modes). -/
theorem baryon_rung_factorization : (44 : ℕ) = 4 * 11 := by norm_num

/-- The baryon asymmetry rung: −44. -/
def eta_B_rung_val : ℤ := -44

/-- **THEOREM**: Z_cf × η_B⁻¹ = φ⁴⁹.
    From the Counterfactual Boundary paper: the product of the counterfactual
    threshold and the inverse baryon asymmetry equals the 49th φ-power. -/
theorem zcf_times_eta_B_inv :
    phi ^ (5 : ℤ) * phi ^ (44 : ℤ) = phi ^ (49 : ℤ) := by
  rw [← zpow_add₀ phi_ne_zero]
  norm_num

/-- 45 − 5 = 40 = 8 × 5: the gap between Θ_crit and Z_cf equals 8-tick × Z_cf rung. -/
theorem rung_gap_40 : (45 : ℤ) - 5 = 40 := by norm_num

/-- 40 = 8 × 5: the 8-tick period times the Z_cf rung. -/
theorem rung_40_factorization : (40 : ℕ) = 8 * 5 := by norm_num

What this page does not claim

The theorem does not derive the baryon asymmetry value from physical principles. The factorization 44 = 4 × 11 carries no demonstrated cosmological meaning. The framework does not claim a causal link between the number 44 and the matter-antimatter imbalance.

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/PhiRungLadder.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: