pith. sign in
module module moderate

IndisputableMonolith.StandardModel.SupersymmetryBreaking

show as:
view Lean formalization →

The module defines superpartner pairs and SUSY breaking mechanisms in the Recognition Science framework, using J-cost averages for bosons and fermions tied to the eight-tick octave. Particle physicists modeling beyond-Standard-Model extensions would cite it to derive soft breaking scales from the phi-ladder. The structure imports PhiForcing to establish the self-similar fixed point and applies it directly to define breaking without new proofs.

claimThe module introduces the superpartner pair as a matched boson-fermion object and the breaking scale derived from the eight-tick period $2^3$, with average J-costs satisfying the Recognition Composition Law.

background

Recognition Science starts from a discrete ledger equipped with J-cost, where the functional equation forces the golden ratio φ as the unique self-similar fixed point. This module sits in the StandardModel domain and imports the time quantum τ₀ = 1 tick, the J-cost structure, and the PhiForcing argument that self-similarity in the ledger yields φ and the eight-tick octave. Key objects include SuperPair for matched partners, bosonJCostAverage and fermionJCostAverage, and susy_breaking_from_8_tick that sets the scale via the phi-ladder.

proof idea

This is a definition module, no proofs.

why it matters in Recognition Science

The module supplies the SUSY-breaking layer that feeds Standard Model constructions in Recognition Science. It realizes the T7 eight-tick octave inside particle physics, enabling soft breaking scales consistent with the mass formula yardstick · φ^(rung-8+gap(Z)) and the alpha band. It touches viability checks under LHC limits and provides the interface for lspCandidates.

scope and limits

depends on (3)

Lean names referenced from this declaration's body.

declarations in this module (15)