Add the gym-floor census axis to the coverage handoff

Claude-Session: https://claude.ai/code/session_01HJDQQDA9QdP8zByg43H5v3

Exercise Library/TODO-coverage.md

@@ -18,16 +18,28 @@ model, audit against it, then author the gap-fillers in priority order.
 
 ## The coverage model (starting point — refine it, don't rubber-stamp it)
 
-A movement-pattern × modality matrix. Patterns: squat, hinge, lunge,
+Two axes, and the target list is their **union**:
-horizontal push, vertical push, horizontal pull, vertical pull, elbow
+
-flexion, elbow extension, shoulder raise (lateral/rear), hip ab/adduction,
+1. **Function — a movement-pattern × modality matrix.** Patterns: squat,
-calf, core anti-extension, core rotation, core lateral, core flexion,
+   hinge, lunge, horizontal push, vertical push, horizontal pull, vertical
-mobility/warm-up. Modalities: machine, free weight (barbell/dumbbell),
+   pull, elbow flexion, elbow extension, shoulder raise (lateral/rear), hip
-bodyweight/floor. A cell needs an exercise only if real programs train that
+   ab/adduction, calf, core anti-extension, core rotation, core lateral,
-pattern that way — the test for "done" is that a typical gym-goer (machine
+   core flexion, mobility/warm-up. Modalities: machine, free weight
-circuit, free-weight lifter, or home/bodyweight) can build their whole
+   (barbell/dumbbell), bodyweight/floor. A cell needs an exercise only if
-program from the picker. Write the filled matrix into SYSTEM.md (or a
+   real programs train that pattern that way.
-COVERAGE.md beside it) so future additions are judged the same way.
+2. **Equipment — a gym-floor census.** Walk a typical commercial gym
+   (Planet Fitness / Golds tier): every common machine and free-weight
+   station should have at least one library entry, because users log by
+   station name, not by pattern — the matrix calls horizontal push "covered"
+   by Chest Press, but Bench Press, Dumbbell Bench Press, and Pec Deck are
+   distinct stations people expect to find in the picker. Inclusion test:
+   "found in most gyms," not "exists somewhere."
+
+The test for "done": a typical gym-goer — machine circuit, free-weight
+lifter, or home/bodyweight — can build their whole program from the picker
+without a missing pattern *or* a missing station. Write both filled tables
+into SYSTEM.md (or a COVERAGE.md beside it) so future additions are judged
+the same way.
 
 ## What a rough audit already shows (verify, then prioritize)
 
@@ -41,14 +53,23 @@ COVERAGE.md beside it) so future additions are judged the same way.
   by a motion; its first real use may shake out bugs.
 - **Shoulder raise**: no Lateral Raise (machine Shoulder Press only).
 - **Core flexion**: no plain Crunch (machine Abdominal only).
+- **Census gaps** — the current 14 machines are the standard selectorized
+  circuit (good coverage there), but common stations are absent: bench
+  press / incline bench (barbell + dumbbell), squat rack / Smith machine,
+  pec deck (+ rear-delt fly), the cable station's staples (triceps
+  pushdown, cable curl, cable crossover, face pull), assisted dip /
+  pull-up, hack squat, back extension (roman chair), hip thrust, and the
+  whole dumbbell rack (rows, shoulder press, flys, lateral raises, curls,
+  RDLs, lunges, goblet squat).
 - Memory notes a desired "morning wake-up" mobility set (Cat-Cow exists;
   neck rolls, arm circles, etc.) — decide whether it's this session or the
   next phase.
 
-Filling these modestly lands around 40–46 total (currently 22) — "double the
+The pattern matrix alone lands around 40–46 total (currently 22); the union
-library" is the outcome, but the matrix decides which ones and in what order:
+with the gym-floor census pushes it to roughly 50–60. The tables decide
-hinge first, then lunge + bodyweight canon, then free weights, then
+which ones and in what order: hinge first, then the bench/rack/dumbbell
-isolation/mobility.
+free-weight canon and bodyweight staples, then the remaining stations
+(cables, pec deck, assisted machines), then isolation/mobility.
 
 ## Authoring workflow, per exercise
 
@@ -102,8 +123,10 @@ delete this file in the final commit.
 
 ## Judgment calls you're empowered to make
 
-The final matrix rows and which cells count as "required"; the exact
+The final matrix rows and which cells count as "required"; where the census
-exercise picks per gap and their names; whether the mobility/"morning
+draws its "most gyms" line (kettlebells, T-bar row, pullover machine, and
-wake-up" set is in scope or explicitly deferred to the next phase; per-
+cardio equipment are likely out; Smith machine is borderline); whether the
-exercise camera yaw and prop minimalism (schematic silhouettes, never scale
+cable station gets one entry per exercise or per pattern; the exact
-models).
+exercise picks and their names; whether the mobility/"morning wake-up" set
+is in scope or explicitly deferred to the next phase; per-exercise camera
+yaw and prop minimalism (schematic silhouettes, never scale models).