pith. sign in
module module high

IndisputableMonolith.Physics.GaugeBosonMassesFromRS

show as:
view Lean formalization →

The module assembles Recognition Science derivations for gauge boson mass ratios and the weak mixing angle. Particle physicists comparing RS predictions to collider data would cite these results. The module structures its content as definitions of the mass ratio and Weinberg angle together with their positivity and band membership properties.

claimDefines the RS gauge boson mass ratio $m_W/m_Z$ and the RS value of the weak mixing angle $s = 2^{-1} (1 - m_W^2/m_Z^2)$ along with the certification object asserting that these quantities reproduce the observed masses within the allowed band.

background

The module operates inside the Recognition Science framework that derives all physics from a single functional equation via the forcing chain T0-T8. It imports the fundamental RS time quantum τ₀ = 1 tick from the Constants module. Key objects introduced are the mass ratio of the W and Z bosons on the phi-ladder, the RS-native value of sin²θ_W, and the certification that these match experiment.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

The module supplies the gauge boson sector for the Recognition Science account of the Standard Model. It supports the program of obtaining electroweak parameters from the J-uniqueness (T5), the self-similar fixed point phi (T6), and the eight-tick octave (T7). No downstream uses are listed in the current dependency graph.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (8)