ios: deplete the Dynamic Island rest ring instead of a static on/off ring

[willchan]

What

The Dynamic Island's compact/minimal orange ring around the app icon used to just mean "resting: yes" — a static full ring for the whole rest period, whether there were 90 seconds or 5 seconds left. It now depletes clockwise over the rest period: full right as rest starts, empty right as the next set is due.

This matters most in minimal, the one Dynamic Island presentation with no text slot at all (it kicks in once a second Live Activity, e.g. Audible, is also active) — the ring there is the only signal, so making it convey progress instead of a flat yes/no gets more information into the same one glyph.

How

• src/native/liveActivity.ts — added restStartTime alongside restEndTime to WorkoutActivityState/toContentState() (now exported for direct unit testing, matching the rest of this codebase's pure-function testing convention). A depleting ring needs both ends of a fixed date range; restEndTime alone isn't enough.
• src/ui/workout.ts — syncLiveActivity() now takes the TimerState itself (rather than just its end time) so both restStartTime/restEndTime are always derived and set together; also threaded through the mount-time timer-recovery path (browser tab resumed with a rest timer already running).
• LiveActivityWidget.swift — brandedIcon() draws the ring via ProgressView(timerInterval:).progressViewStyle(.circular) instead of a static strokeBorder. This is the same "hand SwiftUI a fixed date range once, let the system animate it continuously" mechanism Text(timerInterval:) already uses for the digits — no extra Live Activity pushes needed once rest starts. Added restStartDate()/restProgressRange() guards against the same "Range requires lowerBound <= upperBound" trap restEndDate() already guards against for the digits.

Notes

• The range-validation logic (restProgressRange) would belong in ios/App/AppLogic per CLAUDE.md's "new Swift logic goes in AppLogic, with a test," but AppLogic isn't currently linked into the LiveActivityWidget extension target (only App is), and adding that link is an Xcode-GUI-only step per ios/MANUAL_SETUP.md — not scriptable from this session. It lives inline next to restEndDate(), which already has the same constraint.
• Went through an adversarial code-review pass (two rounds): the first caught that the ring, drawn via ProgressView in .background, had no explicit frame and could render at the control's intrinsic size instead of hugging the icon — fixed by giving it an explicit .frame() and deduplicating the two now-identical ring branches into one.

Testing

• bun run typecheck / bun run lint clean.
• Full Playwright suite (bunx playwright test --project=chromium): 284 passed, including two new tests for toContentState()'s restStartTime handling.
• Swift changes can't be compiled/tested locally (no Xcode/macOS in this session) — relying on the iOS CI workflow's Simulator build to catch any compile issues.

🤖 Generated with Claude Code

---

Generated by Claude Code