weak_bosons_eq_generators
plain-language theorem explainer
The equality identifies the count of weak bosons with the number of SU(2) generators in the Recognition Science ledger model. Both quantities are fixed at three by the three-dimensional geometry of the forcing chain. A physicist deriving electroweak structure from first principles would cite this to anchor the gauge bosons in spatial rotations. The proof is a one-line reflexivity step because the two definitions coincide exactly.
Claim. The number of weak bosons equals the number of SU(2) generators: both quantities are three, corresponding to the three spatial dimensions.
background
The Weak Force Emergence module derives the weak nuclear force from the ledger structure. SU(2)_L gauge symmetry arises from the three-dimensional geometry of the ledger, producing three generators that match the rotations in 3D space. Upstream, the su2Generators definition imported from IsospinSymmetryFromRS sets this count to three; the local weakBosonCount definition likewise fixes the three massive bosons W⁺, W⁻, Z⁰.
proof idea
The proof is a one-line reflexivity application. Both weakBosonCount and su2Generators are defined as the constant three inside the module, so equality holds definitionally.
why it matters
This theorem grounds the weak bosons in the three SU(2) generators that follow from D = 3 in the forcing chain (T8). It directly supports the module's claim that SU(2)_L emerges from 3D ledger geometry and prepares the ground for the subsequent chirality and parity-violation sections. No downstream uses are recorded yet.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.