diff --git a/docs/work/_system/_state.json b/docs/work/_system/_state.json
index a76d33e..8541736 100644
--- a/docs/work/_system/_state.json
+++ b/docs/work/_system/_state.json
@@ -1,5 +1,5 @@
 {
-  "updated_at": "2026-07-12T11:56:08.275Z",
+  "updated_at": "2026-07-12T12:13:09.057Z",
   "epics": {
     "binder-wrap-helper": {
       "status": "done",
@@ -554,7 +554,7 @@
           "status": "in-progress",
           "title": "Commit the product spec and design references under docs/product/",
           "ac_total": 3,
-          "ac_completed": 1,
+          "ac_completed": 2,
           "depends_on": [],
           "blocks": [
             "08-rewrite-agent-docs"
diff --git a/docs/work/epics/platform-retrofit/01-commit-product-docs/_story.md b/docs/work/epics/platform-retrofit/01-commit-product-docs/_story.md
index 318369c..d6dc228 100644
--- a/docs/work/epics/platform-retrofit/01-commit-product-docs/_story.md
+++ b/docs/work/epics/platform-retrofit/01-commit-product-docs/_story.md
@@ -8,7 +8,7 @@ feature: docs
 depends-on: []
 blocks: [08-rewrite-agent-docs]
 created: 2026-07-12T10:22:00Z
-updated: 2026-07-12T11:16:19.512Z
+updated: 2026-07-12T12:13:08.775Z
 ---
 
 ## Goal
@@ -45,5 +45,5 @@ Sandcastle implementers run in git worktrees, which contain only committed files
 ## Tasks
 
 - [x] Migrate the spec bundle `.proto/veect-product-docs/` → `docs/product/` (top level, filenames preserved) and delete the stray `veect-product-docs.zip` at the repo root — spec docs committed and greppable; all gates pass on this commit. _(landed 4d1d534, reviewer-approved; zip was already absent — verified no-op; gates green under the epic's baseline waiver)_
-- [ ] Migrate the design references from `.proto/design/` → `docs/product/reference/` (HTML prototypes as-is, `veect-codebase/` prototype, upload PNGs and remaining bundle files), add `docs/product/reference/` to the fallow/lint ignore lists so whole-codebase auditors skip reference material, and delete the emptied `.proto/` — one commit, all gates pass.
+- [x] Migrate the design references from `.proto/design/` → `docs/product/reference/` (HTML prototypes as-is, `veect-codebase/` prototype, upload PNGs and remaining bundle files), add `docs/product/reference/` to the fallow/lint ignore lists so whole-codebase auditors skip reference material, and delete the emptied `.proto/` — one commit, all gates pass. _(landed 1483a45, reviewer-approved: 92/92 files byte-identical, ignore lists + coverage allowlist with test; `.proto/` removed from the main tree post-merge — backup in session scratchpad)_
 - [ ] Amend `docs/product/README.md`: prepend a short "Repo supersessions" section linking ADR-027/028/029 and add the `Veect.dc.html` ground-truth row to the authority table (ADR-029 §5) — one commit, all gates pass.