Foundation Ckmhierarchy From Phi Ladder Mass Geometric

The geometric ladder

The Standard Model of particle physics has no explanation for why the six quarks have masses spanning five orders of magnitude, from the up quark at about 2.16 MeV to the top quark at about 172.7 GeV. The CKM mixing matrix, which describes how quarks change flavor, is fitted from experiment without a deeper reason for its hierarchy. The declaration mass_geometric addresses this gap by proving a structural property: in the Recognition Science framework, adjacent rungs of the quark mass ladder differ by exactly the golden ratio φ, about 1.618.

The framework's library of formal theorems proves that the mass at rung k is m_unit · φ^k, so the ratio between neighboring rungs is always φ. This is not a numerical coincidence but a forced consequence of the recognition geometry that assigns each quark an integer rung. The theorem states this cleanly: mass_at_rung m_unit (k+1) = mass_at_rung m_unit k · φ. The rungs themselves are fixed: up at 8, down at 9, strange at 14, charm at 17, bottom at 22, top at 30. The strict ordering of these rungs is also proved, so the mass hierarchy follows from ladder monotonicity.

In Recognition Science, the framework models quark masses as sitting on a φ-ladder with integer rungs forced by the recognition geometry. The mass hierarchy is the φ-rung ladder itself. The structural prediction is that the top-to-up mass ratio equals φ^22, approximately 39,089. The empirical ratio is about 80,000, within a factor of 2 of this prediction. The discrepancy is ascribed to a scale-running correction, but that correction is not part of the theorem.

The theorem proves a geometric property of a defined mass function, not the physical claim that measured quark masses match the ladder. The framework's library shows that the ratio between adjacent rungs is exactly φ for any positive m_unit, and that masses strictly increase with rung. The top-to-up ratio is proved to lie above 30,000, but the comparison to measured quark masses is an empirical check, not a theorem. The falsifier for this structural prediction is a precision quark-mass measurement off the predicted φ-rung by more than about 0.118 log-mass units, or detection of a fourth generation of quarks.

/-- Adjacent rungs differ by exactly `φ`. -/
theorem mass_geometric (m_unit : ℝ) (k : ℕ) :
    mass_at_rung m_unit (k + 1) = mass_at_rung m_unit k * phi := by
  unfold mass_at_rung
  rw [pow_succ]
  ring

/-- Mass at rung `k`, parameterised by base mass unit. -/
def mass_at_rung (m_unit : ℝ) (k : ℕ) : ℝ := m_unit * phi ^ k

/-- Strict mass ordering: u < d < s < c < b < t. -/
theorem quark_rungs_strict_ordering :
    up_rung < down_rung ∧
    down_rung < strange_rung ∧
    strange_rung < charm_rung ∧
    charm_rung < bottom_rung ∧
    bottom_rung < top_rung := by
  refine ⟨?_, ?_, ?_, ?_, ?_⟩
  · unfold up_rung down_rung; norm_num
  · unfold down_rung strange_rung; norm_num
  · unfold strange_rung charm_rung; norm_num
  · unfold charm_rung bottom_rung; norm_num
  · unfold bottom_rung top_rung; norm_num

/-- The top-to-up mass ratio: `φ^(top_rung - up_rung) = φ^22`. -/
def mass_ratio_top_up : ℝ := phi ^ 22

What this page does not claim

The theorem does not claim that measured quark masses match the φ-ladder; that comparison is an empirical check, not a proof. The theorem does not derive the rung numbers themselves; they are definitional choices within the framework. The theorem does not explain the CKM mixing angles, only the mass hierarchy.

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/Foundation/CKMHierarchyFromPhiLadder.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: