susy_breaking_scale
plain-language theorem explainer
The declaration asserts that the supersymmetry breaking scale follows from the absolute J-cost difference between boson and fermion sectors scaled by the Planck mass. Physicists modeling soft SUSY breaking inside Recognition Science would cite it when linking the eight-tick phase asymmetry to the hierarchy problem. The proof is a one-line trivial acceptance that registers the statement without further reduction.
Claim. The supersymmetry breaking scale satisfies $M_{SUSY} = M_{Planck} |J_b - J_f|$, where $J_b$ and $J_f$ are the J-costs of the boson and fermion sectors whose difference originates in their distinct eight-tick phase assignments on the phi-ladder.
background
The module treats supersymmetry as a pairing of bosons and fermions whose J-costs differ because of the eight-tick octave structure. J-cost itself is the non-negative cost of a recognition event, obtained either as the derived cost of a multiplicative recognizer or directly as the J-cost of its state. Upstream definitions supply the cosmological scale function as phi raised to an integer power and the cancellation predicate on adjacent ribbons that abstracts tick consistency.
proof idea
The proof is a one-line wrapper that applies trivial to accept the statement as true. No lemmas from the depends-on list are invoked; the term simply registers the asserted relation between J-cost asymmetry and the breaking scale.
why it matters
The result places the SUSY breaking scale inside the Recognition Science account of the Standard Model, directly implementing the J-cost asymmetry mechanism described in the module doc-comment. It connects to the eight-tick octave (T7) and the phi-ladder mass formula, supplying the scale that later entries in the same module use for soft-breaking and LHC-limit discussions. No downstream theorems yet depend on it, leaving open the quantitative matching to observed superpartner bounds.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.