Masses Generation Torsion Bridge Minimal Loop Excitation Matches Generation Slot

The loop count and the generation slots

In particle physics, the standard model has three generations of matter: the electron, muon, and tau families, each with its own heavier copy of the up and down quarks and their neutrino partners. Why three, and not two or four, remains an open question in conventional theory. The Recognition Science framework offers a structural answer from the geometry of a cube, and a machine-checked theorem states the connection precisely.

The framework models a fermion generation as a pattern of excitation on a three-dimensional cube. The ground generation carries no geometric coupling, the second generation adds the cube's passive edges, and the third adds the cube's faces on top of the edges. Counting those features gives the torsion schedule {0, 11, 17}, where 11 is the number of passive edges and 17 is that number plus the six faces. The theorem minimalLoopExcitation_matches_generation_slots states that the number of minimal loop excitations, which the framework defines as independent loops on the cube's structure, equals the number of generation slots, which is three. The proof is a chain of equalities: the third generation's excitation level plus one equals the generation slot count, and that count equals the number of independent loops in three dimensions.

The theorem establishes a numerical coincidence as a formal identity within the framework's definitions. It proves that the counting of loops and the counting of generation slots agree, and that both are three. It does not prove that the physical universe must have three generations of fermions, nor does it derive the mass values of those particles. The framework's own documentation is explicit: the assignment rule that couples generations to cube features is a structural premise, not a consequence of the cost functional alone. The theorem certifies the internal consistency of the framework's model, not an empirical law.

What the theorem does change is the status of the number three within the framework. Before this result, the three-generation structure was a list of hardcoded numerals. After it, the structure is the unique solution to a stated predicate, and the count is forced by the cube's combinatorics. The proof is checked by a machine, meaning no step relies on an unstated assumption. The remaining gap is the physical bridge: why fermion generations should couple to cube features at all. That bridge is not part of this theorem and remains open.

/-- The minimal loop-excitation profile matches the generation slot count. -/
theorem minimalLoopExcitation_matches_generation_slots (ℓ : Generation → ℕ)
    (h : MinimalLoopExcitation ℓ) :
    ℓ .third + 1 = generationSlotCount := by
  rw [h.exhausts_cube_loops, generationSlotCount_eq_loopCount.symm]

/-- The cube contributes exactly three generation slots. -/
theorem generationSlotCount_eq_three : generationSlotCount = 3 := by
  simpa [generationSlotCount, D] using ParticleGenerations.face_pairs_at_D3

/-- The generation slot count equals the number of independent Q₃ loops. -/
theorem generationSlotCount_eq_loopCount :
    generationSlotCount = WindingCharges.independent_loop_count 3 := by
  unfold generationSlotCount
  simpa [D] using WindingCharges.loops_eq_face_pairs_D3.symm

/-- The minimal loop-excitation profile matches the generation slot count. -/
theorem minimalLoopExcitation_matches_generation_slots (ℓ : Generation → ℕ)
    (h : MinimalLoopExcitation ℓ) :
    ℓ .third + 1 = generationSlotCount := by
  rw [h.exhausts_cube_loops, generationSlotCount_eq_loopCount.symm]

/-- A torsion schedule is cube-admissible if it assigns:
    - Ground mode (gen 1): zero coupling → τ = 0
    - Edge mode (gen 2): passive-edge coupling → τ = E_passive
    - Face+edge mode (gen 3): passive-edge + face coupling → τ = E_passive + F

    This is a STRUCTURAL PREMISE about how fermion generations couple to
    cube features. It is explicitly stated rather than buried in comments. -/
structure CubeAdmissibleTorsion (d : ℕ) (τ : Generation → ℤ) : Prop where
  ground_is_zero : τ .first = 0
  edge_mode : τ .second = (passive_field_edges d : ℤ)
  face_edge_mode : τ .third = (passive_field_edges d + cube_faces d : ℤ)

What this page does not claim

The theorem does not prove that the physical universe must have three generations of fermions. The theorem does not derive the mass values of the three generations. The theorem does not establish the physical recognition-to-linking bridge.

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/Masses/GenerationTorsionBridge.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: