IndisputableMonolith.Physics.StandardModelGroupStructure
Module defines the gauge group ranks and boson counts for the Standard Model inside Recognition Science. It fixes rankSU3 at 3 to give 8 gluons via N squared minus 1, rankSU2 at 2, rankU1 at 1, and totals for carriers. Particle physicists embedding observed gauge structure into the phi-ladder cite these values. The module holds only definitions with no proofs.
claimThe module sets rank(SU(3)) = 3, rank(SU(2)) = 2, rank(U(1)) = 1, total rank = 6, gluon count = 3² - 1 = 8, W-boson count = 3, and total carriers accordingly.
background
Recognition Science derives all physics from one functional equation whose forcing chain reaches T8 and D = 3 spatial dimensions. This module introduces SMGaugeBosonType together with explicit counts for gluons, W bosons, and total carriers. It uses the rank definitions to compute N² - 1 for SU(3) and simple sums for the remaining groups, consistent with the eight-tick octave periodicity.
proof idea
This is a definition module, no proofs.
why it matters in Recognition Science
The module supplies the concrete group ranks and carrier counts that downstream lemmas on totalCarriers and boson spectra require. It fills the Standard Model gauge-structure slot in the Recognition framework, linking directly to the T8 step that forces three spatial dimensions and to the alpha band constants.
scope and limits
- Does not derive the choice of SU(3) x SU(2) x U(1) from the J-cost or forcing chain.
- Does not address spontaneous symmetry breaking or mass generation.
- Does not compute couplings or scattering amplitudes.
- Limits content to static rank and count definitions.