totalWeakPolarizations
plain-language theorem explainer
Recognition Science counts nine polarization states for the weak sector by taking three massive bosons each with three polarizations. Researchers deriving electroweak structure from the ledger geometry cite this count when linking to the eight-tick cycle. The definition is a direct arithmetic product of the upstream boson enumeration and the polarization multiplicity per massive vector.
Claim. Let $N_b$ denote the number of weak bosons. The total number of weak polarizations is defined as $3 N_b$.
background
In the Weak Force Emergence module the weak bosons are the three massive gauge bosons $W^+$, $W^-$, $Z^0$ that arise as the SU(2) generators of 3D rotations in the ledger. The upstream definition weakBosonCount fixes this number at three. Each massive vector boson carries three polarization states, so the product yields the total count used downstream.
proof idea
One-line definition that multiplies the weakBosonCount value by three.
why it matters
This definition supplies the input to the theorem weak_polarizations_near_8 that establishes the total equals nine, which equals eight plus one and thereby connects to the eight-tick octave (T7) of the forcing chain. It supports the emergence of the weak force from the 3D ledger geometry and the phi-ladder structure.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.