pith. machine review for the scientific record. sign in
module module moderate

IndisputableMonolith.Physics.WZBosonRatioScoreCard

show as:
view Lean formalization →

The WZBosonRatioScoreCard module assembles a certification scorecard for the W and Z boson mass ratio derived from Recognition Science's phi-structure. It defines bracket rows for the ratio and the weak mixing angle extracted from the masses, together with a holding theorem for the overall certification. Physicists validating Standard Model parameters against the phi-ladder would cite it to check agreement with the measured m_W near 80.4 GeV. The module organizes these elements as sibling definitions that build directly on the upstream mass-der

claimThe W/Z mass ratio scorecard certifies that the phi-derived ratio $m_W/m_Z$ lies inside the experimental bracket, together with the associated value of $sin^2 theta_W$ obtained from the same masses.

background

This module extends the upstream derivation of the W and Z boson masses from Recognition Science's phi-structure. The imported WZMassRatio module targets the ratio using the phi-ladder, with the explicit core insight that the masses satisfy m_W approximately 80.4 GeV. The scorecard supplies quantitative rows to bracket the ratio and to recover the Weinberg angle from those masses for direct comparison with data.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies the certification layer that closes the W/Z ratio validation step inside the Recognition Science physics domain. It completes the quantitative check begun in the upstream SM-003 derivation by providing bracket rows and a holding theorem for the scorecard. No downstream theorems are listed, so the module stands as the terminal validation object for this particular phi-ladder prediction.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (4)