summary
plain-language theorem explainer
Electroweak symmetry breaking is recast as spontaneous minimization of the J-cost functional, with the vacuum expectation value at the minimum, W and Z acquiring mass from coupling while the photon stays massless. A theorist mapping the Standard Model onto Recognition Science unification schemes would cite the list when contrasting the Higgs mechanism with the phi-ladder. The definition directly enumerates the five mapping statements plus hierarchy note.
Claim. The electroweak symmetry breaking summary states that the Higgs potential equals the J-cost functional, the vacuum expectation value occurs at the J-cost minimum, W and Z bosons acquire mass from coupling to this value while the photon remains massless, the Higgs boson mass is observed at 125 GeV, and the hierarchy problem arises because the vacuum expectation value is much smaller than the Planck mass.
background
J-cost is the cost of a recognition event, given by the derived cost of a multiplicative recognizer's comparator on positive ratios. The module sets the local theoretical setting as deriving electroweak symmetry breaking from J-cost, identifying the Higgs potential with the J-cost functional and the vacuum expectation value with its minimum. Upstream results establish that the cost of any recognition event is non-negative and that the cost function is induced by the comparator on ratios.
proof idea
The definition directly constructs the list of summary strings describing the RS account of electroweak breaking, with no lemmas or tactics applied.
why it matters
This definition supplies the high-level account of how the Standard Model's electroweak breaking fits inside the Recognition Science framework, linking the Higgs mechanism to the J-cost and the phi-forcing chain. It positions the hierarchy problem as potentially phi-related under investigation. No downstream theorems depend on it yet.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.