def definition def or abbrev

`predictions`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

formal statement (Lean)

 203def predictions : List String := [

proof body

Definition body.

 204  "sin²(θ_W) related to 1/(2φ + 1)",
 205  "m_W / m_Z ≈ 0.88",
 206  "θ_W constrained by 8-tick geometry"
 207]
 208
 209/-! ## Falsification Criteria -/
 210
 211/-- The derivation would be falsified by:
 212    1. No φ-connection to sin²(θ_W)
 213    2. Mass ratio not following cos(θ_W)
 214    3. Running not following φ-scaling -/

depends on (5)

Lean names referenced from this declaration's body.

tick in IndisputableMonolith.Constants decl_use
Mass in IndisputableMonolith.Constants.RSNativeUnits decl_use
tick in IndisputableMonolith.Constants.RSNativeUnits decl_use
m_W in IndisputableMonolith.StandardModel.WZMassRatio decl_use
m_Z in IndisputableMonolith.StandardModel.WZMassRatio decl_use