4b2463b017
DotProgressCard becomes a 3-state completion card (pending/done/missed) with a primary Finish Workout/Finish Anyway action that captures today's workout honestly — regardless of how many sets got ticked, since Health/Watch already confirms the workout independently. Secondary actions: check all sets, mark not completed. Done/missed states show an Undo. Adds WorkoutViewModel.unmarkWorkoutDone/unmarkWorkoutMissed. Removes 'Mark All Complete' from the header '...' menu (superseded by the card); keeps 'Clear All Sets' as a distinct reset utility. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>