prediction3
plain-language theorem explainer
The definition supplies the Recognition Science expression for sin²(θ_W) as (3 - φ)/6, which evaluates to approximately 0.230. A particle physicist testing electroweak unification would cite this value when comparing the φ-derived prediction against the measured 0.2229 at the Z pole. The definition is a direct algebraic assignment drawn from the eight-tick phase geometry.
Claim. $sin^2 θ_W = (3 - φ)/6$
background
The module derives the Weinberg angle from the φ-structure of Recognition Science. The golden ratio φ is the self-similar fixed point forced by the J-uniqueness relation in the T0-T8 chain. The eight-tick octave supplies the discrete phase space whose optimization fixes the electroweak mixing angle.
proof idea
One-line definition that directly assigns the algebraic expression (3 - phi)/6.
why it matters
This supplies the formula used by bestPrediction and the theorem weak_mixing_phi_based, which records the ~3% match to the observed value. It realizes the C-014.3 structural origin for the Weinberg angle inside the eight-tick geometry and feeds the distinct-coupling theorem in GaugeCouplingsComplete.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.