[OCaml] High Intensity Training Online
docs add HD1 glossary
.kiro/steering/domain.md
@@ -89,6 +89,44 @@
89
89
The project has no consolidation routine. HD1 is the only authority. Later
90
90
Mentzer sources are out of scope.
91
91
92
Added:
## Glossary
93
Added:
94
Added:
- **Working set**: One prescribed drive to failure. It is
95
Added:
`Prescription.Stimulus.t` in a plan and `Evidence.Stimulus.t` in a record.
96
Added:
- **Momentary muscular failure**: The point at which another positive rep is
97
Added:
not possible. `Evidence.Stimulus.Positive_failure` records it.
98
Added:
- **Positive failure**: Failure in the positive part of a rep. It is
99
Added:
`Evidence.Stimulus.Positive_failure`.
100
Added:
- **Beyond failure**: Work after positive failure. It is
101
Added:
`Evidence.Stimulus.Beyond_failure`.
102
Added:
- **Forced reps**: Assisted reps after failure. They are
103
Added:
`Evidence.Stimulus.Forced_reps`.
104
Added:
- **Negatives**: Controlled lowerings after failure. They are
105
Added:
`Evidence.Stimulus.Negatives`.
106
Added:
- **Static hold**: A hold in the contracted position after failure. It is
107
Added:
`Evidence.Stimulus.Static_hold`.
108
Added:
- **Stimulus**: One planned or performed drive to failure. It is
109
Added:
`Prescription.Stimulus.t` or `Evidence.Stimulus.t`.
110
Added:
- **Pre-exhaust**: An isolation exercise followed immediately by a compound
111
Added:
exercise for the same target. It is `Prescription.Stimulus.Pre_exhaust`.
112
Added:
- **Prescription**: An authored plan. It is the `Prescription` module.
113
Added:
- **Routine**: An ordered cycle of prescribed workouts. It is
114
Added:
`Prescription.Routine.t`.
115
Added:
- **Cycle**: Each workout in a routine, in order, and the rest after the final
116
Added:
workout. It is `Prescription.Routine.t`.
117
Added:
- **Observation**: One dated exercise effort that `Progress` can judge. It is
118
Added:
`Evidence.Observation.t`.
119
Added:
- **Effort**: The load, reps, exercise, and outcome of one movement. It is
120
Added:
`Evidence.Stimulus.Effort.t`.
121
Added:
- **Override**: An explicit acknowledgement that starts a workout before the
122
Added:
recommended recovery. `Recovery.basis` retains it as `Overridden`.
123
Added:
- **Stall**: No progress during the stall window, without lower strength. It
124
Added:
is `Progress.Stalled`.
125
Added:
- **Decompensation**: Lower strength after progress stopped. It is
126
Added:
`Progress.Decompensating`.
127
Added:
- **Lay-off**: The week without training before volume and frequency decrease.
128
Added:
It is the `lay_off` value in `Progress.Lay_off_then_reduce`.
129
Added:
92
130
## Not in HD1
93
131
94
132
Do not add these concepts to the model: rest-pause, RPE, RIR, percent of