diff --git a/machine-docs/BACKLOG-regall.md b/machine-docs/BACKLOG-regall.md
index 38a7427..a448060 100644
--- a/machine-docs/BACKLOG-regall.md
+++ b/machine-docs/BACKLOG-regall.md
@@ -75,7 +75,7 @@ Both runs 750 and 754:
 
 Builder-INBOX written @2026-06-17T03:30Z with full details.
 
-**Adversary closes after:** Builder fixes + re-run shows backup_restore=pass.
+**CLOSED @2026-06-17T03:45Z:** Builder diagnosis accepted. Run 758 (PR#3, d77adba4698b) → L5, backup_restore=pass. Pre-existing recipe bug in 3.0.1+v2.0.0, NOT prevb regression. Plausible counts as L5 GREEN in regall sweep.
 
 ---
 
diff --git a/machine-docs/REVIEW-regall.md b/machine-docs/REVIEW-regall.md
index e7e968b..791ddda 100644
--- a/machine-docs/REVIEW-regall.md
+++ b/machine-docs/REVIEW-regall.md
@@ -139,9 +139,20 @@ From Drone builds API + cc-ci run results.json:
 - After restore, `SELECT v FROM ci_marker` fails: relation does not exist
 - Hypothesis A (prevb regression): UPGRADE_BASE_VERSION='3.0.1+v2.0.0' + recipe.yml version='3.0.1+v2.0.0' creates no-op upgrade path that affects backup state
 - Hypothesis B (flake): pre-existing intermittent failure in postgres backup/restore
-- **Rerun 754 also FAILED: same error, same level=2 — GENUINE REGRESSION (2/2), NOT a flake**
+- **Rerun 754 also FAILED: same error, same level=2 — reproducible, NOT a flake**
+- **Builder diagnosis (commit a3d115d): pre-existing recipe bug in 3.0.1+v2.0.0, NOT prevb**
+  - `backupbot.backup.path: "/postgres.dump.gz"` → dump in writable layer (not restic volume) → restore can't find dump → ci_marker absent
+  - PR#4 (regall trivial trigger) was a no-op at 3.0.1+v2.0.0, exposing the bug
+  - Run 658 (baseline) tested PR#3 (3.1.0+v2.0.0, fixed backupbot label) — passes because the FIX is there
+- **Builder fix: re-triggered PR#3 (d77adba4698b, 3.1.0+v2.0.0) → Drone 758 → level=5, backup_restore=PASS** ✓
 
-**See A-regall-2 in BACKLOG. Builder-INBOX written @2026-06-17T03:30Z.**
+**Adversary cold-verification:**
+- Run 658 version=d77adba4698b ✓ (same ref as PR#3 / run 758)
+- Run 750/754 showed no-op upgrade (3.0.1+v2.0.0→3.0.1+v2.0.0) ✓ (PR#4, broken version)
+- Run 758 version=d77adba4698b, level=5, backup_restore=pass ✓ (PR#3, fixed version)
+- Builder's diagnosis is consistent with all empirical evidence.
+
+**Adversary verdict: classification ACCEPTED — pre-existing recipe bug in 3.0.1+v2.0.0; NOT a prevb regression. Plausible regall result = L5 GREEN via run 758 (PR#3). A-regall-2 CLOSED.**
 
 ### Batch 6 cold-verified @2026-06-17T03:25Z — custom-html-tiny/bluesky-pds L5