rs_ew_param_count

The module formalizes an electroweak zero-parameter scorecard. In the Standard Model the electroweak sector is fixed by four independent inputs: the gauge couplings $g$ and $g'$, the Higgs vacuum expectation value $v$, and the Higgs self-coupling $\lambda$. Recognition Science claims all four are forced rather than fitted.

Per the module statement, the four RS sources are: $\alpha^{-1}$ from the T5/T6/T7 forcing chain, $\sin^2\theta_W = (3-\varphi)/6$ from gauge-embedding geometry, $m_Z$ from the $\varphi$-ladder, and $v$ from the tree-level relation $v^2 = m_Z^2 \sin^2\theta_W \cos^2\theta_W \alpha^{-1}/\pi$. The SM side of the ledger is the sibling constant equal to 4; this declaration is the RS side, equal to 0.

The scorecard then packages the equality claims, the $\alpha^{-1}$ band $(137.030, 137.039)$, and positivity of the Weinberg factors into a single certificate structure.

Pure definitional assignment: the constant is the natural number $0$. There is no tactic proof and no lemma application. Downstream equalities such as rs_zero discharge by rfl against this definition; the SM-minus-RS reduction unfolds both constants and finishes by norm_num.

This constant is the RS half of the zero-parameter claim. It is required by the certificate structure ElectroweakZeroParamScoreCardCert (field rs_params : rs_ew_param_count = 0), by the reflexivity theorem that RS free parameters equal zero, and by the reduction theorem that SM count minus RS count equals 4.

In the broader framework it records the bookkeeping endpoint of the electroweak forcing story: once $\alpha^{-1}$ is fixed by T5/T6/T7 (J-uniqueness, $\varphi$, eight-tick), $\sin^2\theta_W$ by geometry, $m_Z$ by the $\varphi$-ladder, and $v$ by the tree relation, no continuous EW dial remains. The companion $\alpha$ band bounds in the certificate sit inside the RS-native window $(137.030, 137.039)$. The declaration itself does not prove those derivations; it only freezes the parameter count so the scorecard can state the comparison cleanly.