diff --git a/progress.md b/progress.md
index a3cdea3..d50934c 100644
--- a/progress.md
+++ b/progress.md
@@ -77,6 +77,14 @@ Quota/standup scheduling now treats `QuotaReported` and `StandupAdvisory` as glo
 
 Harness adapters now expose optional `pane.rotation_signal` support for milestone/thrash triggers. The coordinator records the returned trigger reason in the handoff release and still requires a safe turn boundary before releasing.
 
+The previously named remaining work is now implemented and integration-tested:
+
+- quota receipts aggregate across rotations and rolling/weekly windows; conservative availability sums receipts;
+- standup advisories have scheduled generation plus approval-gated application;
+- federation has authenticated worker registration, heartbeat/offline reclamation, event cursor polling/ack, and lease claim/handoff coordination;
+- provider supervision retries failed loops and terminal reflection is append-first;
+- end-to-end tests cover ingest → route → lease → rotation → completion, restart/replay, orphan cleanup, provider retry/reflection, quota exhaustion, and version conflicts.
+
 Recommended order:
 
 1. Add the orchestration coordinator: lease → worktree → harness session → bootstrap → lifecycle events.