wPolarizations
plain-language theorem explainer
Recognition Science counts six polarization states for the charged W bosons together. A physicist computing electroweak degrees of freedom or decay widths in the RS framework would cite this integer when tallying vector boson modes. The assignment is a direct constant definition that records the standard three helicity states per massive vector boson.
Claim. The charged weak bosons $W^+$ and $W^-$ together possess six polarization states.
background
The ElectroweakBosons module derives W and Z masses from the Higgs vacuum expectation value and the weak mixing angle within the Recognition Science mechanism. Electroweak symmetry breaking corresponds to a J-cost minimum, with the VEV placed on the phi-ladder and the mass ratio fixed by cos theta_W. Upstream results supply the meta-realization structure for coherence axioms and multiple definitions of W as the wallpaper-group count of 17 symmetries.
proof idea
One-line definition that directly sets the constant to 6.
why it matters
The definition supplies the polarization count required for electroweak calculations in propositions P-015 and P-016. It sits inside the gauge-boson sector that follows from D = 3 and the eight-tick octave, yet records no downstream uses so far.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.