softBreaking
plain-language theorem explainer
Soft supersymmetry breaking is defined as mass terms for superpartners that preserve quadratic divergence cancellation. Particle physicists modeling hierarchy solutions and LHC constraints would cite this when embedding SUSY into Recognition Science. The implementation is a direct string literal drawn from J-cost asymmetry across the phi-ladder.
Claim. Soft supersymmetry breaking is the string expression ``Mass terms for superpartners without spoiling hierarchy solution''.
background
Recognition Science derives supersymmetry breaking from J-cost differences between bosons and fermions that arise from the eight-tick phase structure. The phi-ladder supplies rung-based mass assignments of the form yardstick times phi to the power (rung minus 8 plus gap of Z). Soft breaking keeps the good properties of exact SUSY while adding only superpartner masses. The module SM-010 sets the local setting: SUSY relates boson and fermion sectors, yet J-cost asymmetry breaks it spontaneously at scales above 1 TeV. Upstream results supply the Mass abbreviation as real numbers and structures such as UniversalForcingSelfReference for self-reference axioms.
proof idea
The definition is a direct string literal assignment with no lemmas or tactics applied.
why it matters
This definition occupies the SM-010 slot that explains SUSY breaking from J-cost. It draws on the eight-tick octave (T7) and the forcing chain landmarks T5 through T8. No downstream theorems are recorded, yet the entry supports later discussion of LHC limits and SUSY viability. It touches the open question of the precise breaking scale consistent with the alpha band and phi^5 constants.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.