[OCaml] High Intensity Training Online
Reject a numeric intensity metric; record why
Intensity in Mentzer's sense is the percentage of momentary ability exerted, which at failure is 100% by definition — Yates: "all I know is 0 and 100". It is therefore categorical, not scalar, and is already discharged structurally: a working set cannot exist without reaching failure, and going further is expressed qualitatively as Beyond_failure. An AIF/RIF metric (volume / duration, and its ratio to the previous session) would measure work density, not intensity, and a value like 1.2 would imply "120% of failure", which is meaningless. It would also require per-set time under tension, which is impractical to collect during a superset. Kept instead, each honest about what it measures: - intensity: categorical, via Set.Working.outcome - overload: the progress signal, band-aware (Progression.beats) - volume: diagnostic only; rising volume is a warning - duration: framed as brevity, since HD prescribes brief workouts Documentation-only change; no signatures altered.