[prithvimk]

Finishes Phase 4 with its last two checklist items, one commit each.

Workout detail screen; edit or delete a past workout

• Tapping a History card opens history/{workoutId}: date, duration · sets · volume, the records the workout set, its notes, and each exercise's done sets with PR badges (plus "N sets not done" where some were left unticked).
• Edit switches to the logger's own editor (keypad, set types, add/remove/reorder exercises, notes). "Last" comes from the session before this one (new getSetsBefore query), and rest times are hidden. Edits save as they're made and recompute that exercise's records from its whole history, as the logger already does.
• Delete asks first, then the screen closes; records the workout held pass back to the sets they beat.
• A set ticked in a finished workout gets completedAt = the workout's end instead of now, so any record it sets is dated to that session.
• The logger's editing logic (keypad, exercise picker, remove confirmation, set/exercise/note edits) moves from WorkoutViewModel into SessionEditor, shared by both screens; ActiveContent is split into a reusable SessionEditorContent with header/footer slots. No behaviour change intended in the logger.

Month calendar with trained days highlighted

• History gets a List / Calendar switch. The calendar follows the locale's first day of the week; trained days are filled, today is ringed, and the arrows move between months up to the current one.
• Below it, the month's workouts and totals; tapping a trained day narrows the list to that day (tap again to clear). Cards open the workout detail.

Not included

• Editing a past workout's start/end time.
• Opening an exercise's own screen from the workout detail (it would switch the bottom bar to Exercises over History's back stack).

Testing

• ./gradlew testDebugUnitTest ktlintCheck lintDebug assembleDebug passes locally (193 unit tests; lint has no new warnings).
• New tests: ticking a set in a finished workout, editing a past set recomputing later records, setsBefore, observeWorkout after delete, doneExercises, and the calendar grid / by-day grouping / month bounds.
• Screens checked with local Roborazzi renders (not committed): workout detail view and edit, the active logger after the refactor, History list, calendar and a picked day.

---

Generated by Claude Code