diff --git a/WORK-RECORDS.md b/WORK-RECORDS.md
index 9e664dc..0ddb2e6 100644
--- a/WORK-RECORDS.md
+++ b/WORK-RECORDS.md
@@ -12,7 +12,7 @@
 | workplan | CB-WP-0002 | done | — | workplans/CB-WP-0002-cost-accounting.md |
 | workplan | CB-WP-0003 | done | — | workplans/CB-WP-0003-loop-hardening.md |
 | workplan | CB-WP-0004 | done | — | workplans/CB-WP-0004-mechanical-work.md |
-| workplan | CB-WP-0005 | proposed | — | workplans/CB-WP-0005-assertion-coverage.md |
+| workplan | CB-WP-0005 | done | — | workplans/CB-WP-0005-assertion-coverage.md |
 | workplan | CB-WP-0006 | proposed | — | workplans/CB-WP-0006-instrument-the-table.md |
 | task | CB-WP-0001-T01 | done | — | workplans/CB-WP-0001-inner-loop.md |
 | task | CB-WP-0001-T02 | done | — | workplans/CB-WP-0001-inner-loop.md |
@@ -53,8 +53,8 @@
 | task | CB-WP-0005-T04 | cancel | — | workplans/CB-WP-0005-assertion-coverage.md |
 | task | CB-WP-0005-T05 | cancel | — | workplans/CB-WP-0005-assertion-coverage.md |
 | task | CB-WP-0005-T06 | cancel | — | workplans/CB-WP-0005-assertion-coverage.md |
-| task | CB-WP-0005-T07 | todo | — | workplans/CB-WP-0005-assertion-coverage.md |
-| task | CB-WP-0005-T08 | todo | — | workplans/CB-WP-0005-assertion-coverage.md |
+| task | CB-WP-0005-T07 | done | — | workplans/CB-WP-0005-assertion-coverage.md |
+| task | CB-WP-0005-T08 | done | — | workplans/CB-WP-0005-assertion-coverage.md |
 | task | CB-WP-0006-T01 | todo | — | workplans/CB-WP-0006-instrument-the-table.md |
 | task | CB-WP-0006-T02 | todo | — | workplans/CB-WP-0006-instrument-the-table.md |
 | task | CB-WP-0006-T03 | todo | — | workplans/CB-WP-0006-instrument-the-table.md |
diff --git a/workplans/CB-WP-0005-assertion-coverage.md b/workplans/CB-WP-0005-assertion-coverage.md
index ea79552..dc41c7b 100644
--- a/workplans/CB-WP-0005-assertion-coverage.md
+++ b/workplans/CB-WP-0005-assertion-coverage.md
@@ -267,7 +267,7 @@ verbatim from ADR-0005 §6. → **CB-WP-0006 T06**.
 ```task
 id: CB-WP-0005-T06
 status: cancel
-state_hub_task_id: "774b1c8a-3b26-4c4f-a2c8-46cb0b7ba5a7"
+state_hub_task_id: "774b1c8a-71c1-4e0a-91b1-0247a3e397cf"
 ```
 
 `CommitWindow` has zero non-test users; the bench never touches