SUSYBreakingFalsifier
plain-language theorem explainer
The SUSYBreakingFalsifier structure encodes the three experimental or theoretical outcomes that would invalidate the J-cost account of supersymmetry breaking. A physicist examining collider constraints on superpartners would cite the definition when mapping Recognition Science predictions to LHC null results. It is introduced as a plain structure whose fields directly transcribe the three falsification scenarios listed in the module documentation.
Claim. A structure whose fields are the propositions that exact supersymmetry is realized, that bosons and fermions share identical J-cost, and that the eight-tick phase distinction fails, together with the implication that exact supersymmetry yields falsehood.
background
In Recognition Science the J-cost of a particle is fixed by its rung on the phi-ladder and by the eight-tick octave (T7) that assigns distinct phases to bosons and fermions. The module SupersymmetryBreaking shows that this phase offset produces different average J-costs for the two sectors, thereby breaking supersymmetry spontaneously and pushing superpartner masses above the electroweak scale. The local theoretical setting is the SM-010 derivation that accounts for the non-observation of superpartners at low energies; the eight-tick forcing chain supplies the phase distinction used here.
proof idea
The declaration is a direct structure definition whose four fields are introduced without proof or computation. No lemmas are applied; the content is exhausted by the three propositions and the implication that exact supersymmetry yields falsehood.
why it matters
This definition supplies the falsification interface for the supersymmetry-breaking claim inside the Standard Model module. It records the precise outcomes that would refute the J-cost asymmetry mechanism derived from the eight-tick octave. The structure therefore links the Recognition Science forcing chain (T7) to collider phenomenology and marks the boundary condition for the SM-010 derivation.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.