lock_stiffness
plain-language theorem explainer
lock_stiffness defines the resistance of the eight-beat coherence to seven-beat leakage as the reciprocal of the seven-beat gap. Galaxy-dynamics researchers cite it when scaling the characteristic acceleration a0 to obtain the saturation threshold that turns off the ILG modification. The definition is a direct one-line abbreviation that evaluates to the integer eight.
Claim. The stiffness of the eight-beat lock is the real number $k=1/Δ$, where $Δ$ is the gap separating the eight-beat cycle from the seven-beat cycle.
background
The DerivedFactors module constructs morphology factor ξ and radial index n(r) from the seven-beat violation hypothesis. An eight-beat cycle is the shortest period compatible with three spatial dimensions and neutrality; a seven-beat cycle fails both conditions, creating a quantifiable gap that measures stiffness against leakage into non-power-of-two modes. Upstream, the scale function from LargeScaleStructureFromRS supplies the phi-ladder tiers, while the Physical structure from DataCore anchors the positive constants c, ħ and G used throughout the bridge.
proof idea
The definition is a one-line abbreviation that computes the reciprocal of the sibling constant seven_beat_gap.
why it matters
It supplies the numerical factor eight that converts the base acceleration a0 into the saturation scale a_sat. This factor enters the suppression function ξ(g) whose high-acceleration limit recovers Newtonian gravity (hsb_suppression_limit) and whose low-acceleration limit leaves the ILG kernel unsuppressed (lsb_unsuppressed_limit). The construction directly implements the eight-tick octave (T7) and D=3 (T8) steps of the forcing chain while closing the leakage-saturation hypothesis stated in the module documentation.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.