sin2thetaWPDG
plain-language theorem explainer
The declaration supplies the PDG experimental value 0.2312 for sin squared theta W as a constant benchmark. Researchers comparing the Recognition Science phi-ladder prediction (3 minus phi) over 6 to electroweak data would cite it when checking the 0.4 percent agreement. It is introduced by direct assignment with no computation or lemmas.
Claim. The PDG experimental value for $sin^2 theta_W$ (MS-bar scheme at $M_Z$) is 0.2312.
background
The module derives the Weinberg angle from the phi-ladder via the (3,2,1) gauge rank decomposition, giving $sin^2 theta_W = (3 - phi)/6 approx 0.2303$. The PDG value is supplied as the measured reference point, with the module noting 0.4 percent agreement to the RS formula. This anchors comparisons in the A1 SM Depth section of the Recognition Science framework.
proof idea
The declaration is a direct constant definition that assigns the real number 0.2312. No lemmas, tactics, or reductions are applied.
why it matters
It supplies the experimental anchor for the theorem rs_near_pdg, which proves the absolute difference from the RS prediction is less than 0.005, and for the certification structure SineSqThetaWCert that bundles the band (0.228, 0.232) with the near-PDG property. This confirms the phi-ladder formula for the Weinberg angle against data, consistent with the forcing chain steps that fix D equals 3 and the eight-tick octave.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.