Masses Generation Torsion Bridge

Generation torsion from cube geometry

In particle physics, the three generations of matter (electron, muon, tau, and their neutrino and quark partners) are a pattern with no accepted explanation. Each generation is heavier than the last, but the standard model treats the generations as a list with no geometric reason for its length or its mass ordering. The Recognition Science framework offers a candidate reason, and its machine-checked library of formal theorems contains a module that derives the generation labels from the combinatorics of a three-dimensional cube.

The module, called the Generation Torsion Bridge, starts from a cube. A cube has 12 edges, 6 faces, and 8 vertices. The framework assigns each of the three generations a torsion value, a whole number that acts as a label and enters mass ratios through the golden ratio φ. The first generation gets torsion 0. The second gets the number of passive edges, which is the cube's 12 edges minus the 4 active edges per recognition tick, so 11. The third gets the passive edges plus the cube's faces, so 11 + 6 = 17. The schedule is (0, 11, 17).

The library proves that this schedule is the unique solution to a structural predicate called CubeAdmissibleTorsion. The predicate states the assignment rule: the ground generation has zero coupling, the second couples to edges, the third couples to faces and edges. Given that rule, the values are forced by cube arithmetic alone. The derivation contains no raw numerals in its definition, and it agrees pointwise with every other representation of the generation torsion in the codebase, including the older Anchor.Integers.tau and RecogSpec.generationTorsion.

A striking numerical coincidence appears: the third-generation value 17 equals the number of crystallographic wallpaper groups, classified by Fedorov in 1891. The library proves the equality, but the docstring is explicit that this coincidence is not the source of the integer. The primary route is the cube arithmetic: passive edges plus faces. The wallpaper-group match is a check, not a cause.

The module also proves that the number of generation slots is three, matching the number of independent loops in the winding-charge picture, and that the minimal loop excitation is unique. But the framework is honest about its remaining premise. The predicate CubeAdmissibleTorsion encodes the physical rule that fermion generations couple to cube features in this particular way. That rule is a structural premise, not a consequence of the cost functional alone. The module upgrades the gap from hardcoded numerals to an explicit premise with a uniqueness proof.

What this establishes, in plain language, is that if you accept the geometric coupling rule, the generation labels are not arbitrary. They are forced by the cube. The framework does not yet derive the coupling rule itself from deeper principles; that remains open. But the bridge shows that the three labels (0, 11, 17) are the unique answer to a well-posed geometric question, and that the same answer appears in every other representation the framework uses.

/-- The second-generation torsion is the passive edge count of Q₃. -/
theorem second_gen_is_passive_edges :
    cubeGeometricTorsion .second = ↑(cube_edges D - active_edges_per_tick) := by
  simp [cubeGeometricTorsion, passive_field_edges]

/-- The third-generation torsion is E_passive + F (endogenous wallpaper route). -/
theorem third_gen_is_Epass_plus_F :
    cubeGeometricTorsion .third = ↑(passive_field_edges D + cube_faces D) := by
  simp [cubeGeometricTorsion, W_endo]

/-- At D=3, any cube-admissible schedule equals the canonical `generationTorsion`. -/
theorem cubeAdmissible_forces_canonical (τ : Generation → ℤ)
    (h : CubeAdmissibleTorsion D τ) :
    τ = generationTorsion := by
  rw [← cubeGeoTorsion_eq_generationTorsion]
  funext g
  cases g with
  | first => exact h.ground_is_zero
  | second => exact h.edge_mode
  | third =>
    simp only [cubeGeometricTorsion, W_endo]
    exact h.face_edge_mode

/-- The endogenous wallpaper count coincides with the crystallographic constant. -/
theorem endogenous_matches_crystallographic :
    (W_endo D : ℤ) = (wallpaper_groups : ℤ) := by
  have := W_endo_at_D3
  exact_mod_cast this

/-- 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

What this page does not claim

The coupling rule itself is not derived from the cost functional. The wallpaper-group coincidence is not the source of the number 17. No claim is made about the actual masses of the particles, only the labels.

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: