diff --git a/workitems/081KWT9WBPD08QG0R003H94RFE-formalize-self-audit-over-ledger-as-physics-pick-the-load-be.md b/workitems/done/2026/07/081KWT9WBPD08QG0R003H94RFE-formalize-self-audit-over-ledger-as-physics-pick-the-load-be.md
similarity index 98%
rename from workitems/081KWT9WBPD08QG0R003H94RFE-formalize-self-audit-over-ledger-as-physics-pick-the-load-be.md
rename to workitems/done/2026/07/081KWT9WBPD08QG0R003H94RFE-formalize-self-audit-over-ledger-as-physics-pick-the-load-be.md
index d40f9b8019..f9404fed8e 100644
--- a/workitems/081KWT9WBPD08QG0R003H94RFE-formalize-self-audit-over-ledger-as-physics-pick-the-load-be.md
+++ b/workitems/done/2026/07/081KWT9WBPD08QG0R003H94RFE-formalize-self-audit-over-ledger-as-physics-pick-the-load-be.md
@@ -1,11 +1,12 @@
 ---
 id: 081KWT9WBPD08QG0R003H94RFE
 type: task
-state: backlog
+state: done
 priority: P2
 slug: formalize-self-audit-over-ledger-as-physics-pick-the-load-be
 title: "Formalize self-audit-over-ledger as physics: pick the load-bearing rhyme (Lumen maps, Soraya proves)"
 created: 2026-07-05T23:30:09.741Z
+completed: 2026-07-08T21:24:11.537Z
 depends_on: []
 composes_with: []
 ---
diff --git a/workitems/done/index.jsonl b/workitems/done/index.jsonl
index 5c768146dc..5e24ac94c0 100644
--- a/workitems/done/index.jsonl
+++ b/workitems/done/index.jsonl
@@ -12,3 +12,4 @@
 {"id":"081KV6D1B3T08QG0R000QCTMXN","path":"workitems/done/2026/06/081KV6D1B3T08QG0R000QCTMXN-sweep-remaining-stale-upstreams-prior-art-mirror-dir-misnome.md","completed":"2026-06-21T05:07:41.404Z","title":"Sweep remaining stale 'upstreams' -> 'prior-art' mirror-dir misnomer in active docs/backlog (keep legit OSS-upstream usage; leave dated historical snapshots)"}
 {"id":"081KV6BW42K08QG0R003GJM21N","path":"workitems/done/2026/06/081KV6BW42K08QG0R003GJM21N-adopt-cvc5-e-prover-as-decorrelated-atp-smt-cross-checks-in.md","completed":"2026-06-21T06:18:00.000Z","title":"Adopt CVC5 + E prover as decorrelated ATP/SMT cross-checks in Soraya's portfolio (Z3 vs CVC5 agreement = BP-16 cross-check); Coq/Isabelle operator-available, NOT contributor-shared"}
 {"id":"081KWN1X47908QG0R000HTKNWS","path":"workitems/done/2026/07/081KWN1X47908QG0R000HTKNWS-pin-informationvalue-compute-kl-direction-doc-says-p-posteri.md","completed":"2026-07-04T00:32:11.759Z","title":"Pin InformationValue.compute KL direction (doc says P=posterior, code computes KL(prior||posterior)) then land P-IV-1..3 properties"}
+{"id":"081KWT9WBPD08QG0R003H94RFE","path":"workitems/done/2026/07/081KWT9WBPD08QG0R003H94RFE-formalize-self-audit-over-ledger-as-physics-pick-the-load-be.md","completed":"2026-07-08T21:24:11.537Z","title":"Formalize self-audit-over-ledger as physics: pick the load-bearing rhyme (Lumen maps, Soraya proves)"}
diff --git a/workitems/events/2026/07/08/080cfa1cef749811a01300084df5a267.json b/workitems/events/2026/07/08/080cfa1cef749811a01300084df5a267.json
new file mode 100644
index 0000000000..3ce739ba4d
--- /dev/null
+++ b/workitems/events/2026/07/08/080cfa1cef749811a01300084df5a267.json
@@ -0,0 +1,11 @@
+{
+  "id": "080cfa1cef749811a01300084df5a267",
+  "at": "2026-07-08T21:24:11.539Z",
+  "by": "otto-cli",
+  "kind": "state-changed",
+  "payload": {
+    "workItemId": "081KWT9WBPD08QG0R003H94RFE",
+    "from": "backlog",
+    "to": "done"
+  }
+}