SUSYBreakingMechanism
plain-language theorem explainer
This inductive definition enumerates the three conventional supersymmetry breaking mechanisms inside the Recognition Science treatment of the Standard Model. Model builders comparing superpartner spectra to LHC data would cite it when classifying how J-cost differences between even and odd 8-tick phases appear at low energies. The declaration is a direct enumeration of constructors with no reduction steps or lemmas.
Claim. The supersymmetry breaking mechanisms consist of gravity-mediated (breaking originates in a hidden sector and is transmitted gravitationally), gauge-mediated (transmitted by gauge interactions), or anomaly-mediated (generated by conformal anomalies).
background
The module frames supersymmetry breaking as a consequence of J-cost asymmetry between bosons and fermions. In Recognition Science, bosons occupy even 8-tick phases while fermions occupy odd phases; the resulting inequality J_boson ≠ J_fermion spontaneously breaks boson-fermion equivalence. The upstream definition of tick supplies the fundamental time quantum τ₀ = 1, with one octave defined as exactly eight ticks.
proof idea
The declaration is an inductive definition that introduces three named constructors corresponding to the standard scenarios; no tactics, lemmas, or reduction steps are applied.
why it matters
It supplies the classification interface that links the 8-tick octave (T7) and phase-dependent J-costs to observable breaking. The definition prepares the ground for later module entries that compute the breaking scale and soft terms from the phi-ladder. It directly implements the RS claim that SUSY breaking is natural once the even-odd phase distinction is recognized.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.