Cosmology Baryon Asymmetry Derivation Dof Includes Three Gen

The generation count

The standard model of particle physics has three generations of matter: the electron, muon, and tau, each with its own neutrino, and two heavier cousins of the up and down quarks. Why exactly three has been an open question since the muon's discovery in 1936 hinted that the pattern repeated. The Recognition Science framework addresses this by deriving the count from the geometry of three-dimensional space, rather than treating it as an arbitrary input.

Within the framework, the number three emerges from a combinatorial fact about a cube. The declaration dof_includes_three_gen states that the number of face pairs on a cube is three. A cube has six faces, which form three opposite pairs. The framework identifies this pairing structure with the three generations. This is a recognition event, a discrete record of a symmetry operation, and the count of its fundamental pairings yields the generation number.

The declaration is a formal theorem in the framework's machine-checked library of formal theorems. It is proved by direct computation, with no additional axioms. The theorem itself is a statement about the number three arising from a geometric object. It does not, on its own, make any claim about the mass of the muon or the mixing angles of quarks.

In the broader context of the framework's baryon asymmetry derivation, this generation count is one ingredient. The framework also derives the chirality of the weak interaction and the CP-violating phase from other structural features. Together, these ingredients feed into a chain that proves the sign of the baryon asymmetry: matter exists. This is a theorem. The magnitude of the asymmetry, however, is a separate hypothesis, an empirical match to a golden-ratio power that is not connected to this generation-count theorem.

The distinction matters. The declaration dof_includes_three_gen is a precise, narrow result. It is a theorem about a cube's face pairs. It is not a claim that the framework has explained the full particle content of the standard model, nor that it has derived the observed value of the baryon asymmetry. Those are larger, and in the latter case, still open, targets.

/-- The number of generations enters the DOF count. -/
theorem dof_includes_three_gen : face_pairs 3 = 3 := rfl

/-- The number of generations enters the DOF count. -/
theorem dof_includes_three_gen : face_pairs 3 = 3 := rfl

/-- The number of generations enters the DOF count. -/
theorem dof_includes_three_gen : face_pairs 3 = 3 := rfl

What this page does not claim

This theorem does not derive the value of the baryon asymmetry. This theorem does not explain the mass hierarchy among the three generations. This theorem does not, by itself, establish the existence of matter over antimatter.

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