referenceIntensity
plain-language theorem explainer
referenceIntensity fixes the base value for intensity scaling on the phi-ladder at 1 in dimensionless RS units, corresponding to 100% of one-repetition maximum. Strength coaches and program designers cite this anchor when deriving rung-specific percentages such as 100/phi for volume work. The definition is a direct constant assignment with no further reduction.
Claim. The reference intensity $I_0$ anchored at one-repetition maximum is defined by $I_0 := 1$ in RS-native dimensionless units.
background
The Lifting Program Design module scales intensities along the phi-ladder with rung 0 at 1RM. referenceIntensity supplies the starting point, after which rung k multiplies by phi to the power of minus k. Upstream rung definitions appear in mass anchors and ore classification, but the local setting uses the integer rung index to place classical schemes: 5x5 between rungs 1 and 2, 3x3 at rung 1, and 1RM at rung 0.
proof idea
Direct definition that assigns the constant value 1.
why it matters
This definition anchors the intensity calculations in intensityAtRung, which supports the canonical 5x5 and 3x3 program structures on the phi-ladder. It supplies the base case for the program-design layer that follows the structural F8 wrapper and connects to the phi fixed point (T6) in the Recognition Science forcing chain.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.