pith. sign in
module module moderate

IndisputableMonolith.StandardModel.SupersymmetryBreaking

show as:
view Lean formalization →

This module defines superpartner pairs and supersymmetry breaking structures for the Standard Model in the Recognition Science framework, linking them to J-cost averages and the eight-tick octave. Researchers extending RS to beyond-Standard-Model physics would cite it for native SUSY interfaces. It is a definition module that imports Constants, Cost, and PhiForcing without internal proofs.

claimA superpartner pair consists of boson and fermion states whose J-cost averages satisfy the recognition composition law $J(xy) + J(x/y) = 2J(x)J(y) + 2J(x) + 2J(y)$, with breaking scale derived from the eight-tick period.

background

The module sits in the StandardModel domain and imports three upstream modules. Constants supplies the RS time quantum τ₀ = 1 tick. Cost supplies the J-cost structure. PhiForcing proves that φ is forced by self-similarity in a discrete ledger with J-cost, quoting: 'This module proves that φ is forced by self-similarity in a discrete ledger with J-cost.' The module introduces sibling definitions such as SuperPair, SUSYBreakingMechanism, susy_breaking_from_8_tick, bosonJCostAverage and fermionJCostAverage.

proof idea

this is a definition module, no proofs

why it matters in Recognition Science

The module supplies the SUSY interface that connects the eight-tick octave (T7) and phi-ladder mass formula to Standard Model extensions. It feeds downstream structures for soft breaking, LHC limits and lspCandidates, closing the link from PhiForcing to observable SUSY phenomenology in RS-native units.

scope and limits

depends on (3)

Lean names referenced from this declaration's body.

declarations in this module (15)