diff --git a/plans/abstractions.md b/plans/abstractions.md
index dd42c272..07112cc6 100644
--- a/plans/abstractions.md
+++ b/plans/abstractions.md
@@ -12,6 +12,12 @@ Anything short → _Watching_ (what's missing) or _Rejected_ (why).
 
 ## Last scan
 
+- **Date:** 2026-06-07 (radar loop, pass 32)
+- **Pass 32 — A1 DONE.** `loops/conformance` merged to architecture (`db76cc8c`); 13 adopters
+  now on the shared driver; radar spot-checked common-lisp = 487/487 green post-merge →
+  coordination flag CLEARED. A1 moved to a new **Done** section. New nascent subsystems
+  `dream` + `maude` (0 files), `fed-prims` resumed (mutex-deadlock fix). The idle
+  `a1-conformance` loop can be retired (worklist complete).
 - **Date:** 2026-06-07 (radar loop, pass 31)
 - **Pass 31 — A1 conformance loop WORKLIST COMPLETE.** tcl excluded (foreign `*.tcl`); final:
   4 migrated (common-lisp/erlang/feed/go) + 5 excluded (forth/js/ocaml/smalltalk/tcl). A1 =
@@ -227,8 +233,26 @@ one merged file copied N times. Correct one-liner:
 
 ---
 
+## Done
+
+### A1 · Shared conformance driver — ✅ COMPLETE (merged `db76cc8c`, pass 32)
+Full closed loop: radar detected it → dedicated `conformance` loop implemented it
+(classify-then-migrate-or-exclude, hard parity gate) → **merged to architecture**
+(`db76cc8c Merge loops/conformance into architecture: A1 conformance-driver migration`)
+→ radar spot-verified post-merge (**common-lisp 487/487 green** on architecture — exercises
+the new per-suite-counters/preloads driver feature, the riskiest change). Final state:
+- **13 on the shared driver:** acl, apl, common-lisp, datalog, erlang, events, feed, go,
+  haskell, mod, prolog, relations, search.
+- **6 correctly excluded** (foreign-program runners — a legitimately different harness):
+  forth, js, ocaml, smalltalk, tcl, lua.
+- The shared driver gained per-suite counters + per-suite preloads (backward-compatible);
+  spot-check confirms existing adopters unaffected. Coordination flag CLEARED.
+Detail of the migration arc retained under the original entry below.
+
 ## Proposed (cleared the gate)
 
+_(empty — A1 graduated to Done, pass 32.)_
+
 ### A1 · Adopt the shared conformance driver across subsystems
 - **Pattern:** every subsystem hand-rolls a near-identical `conformance.sh`
   (epoch-load → eval → scoreboard emit) and an inline `<x>-test name got expected`
@@ -478,6 +502,7 @@ one merged file copied N times. Correct one-liner:
   local impl is currently domain-specific (different keys/semantics). Do NOT propose yet.
   Re-check when relations is past Phase 2 AND ≥3 subsystems' relationship logic could
   genuinely delegate to it. `artdag` also just spawned (nascent, 0 files) — tracking only.
+  (pass 32: `dream` + `maude` also spawned, nascent 0-files; `fed-prims` resumed.)
 - **Update pass 29:** relations rocketed to **Phase 4** (one gate — past Phase 2 — now met),
   but it's building ITSELF out (schema/federation), **not yet being consumed** by anyone.
   The blocker is the other gate: 0 subsystems currently *delegate* their parent/child logic