From c0a0d29a656ac4dbf4effaccc4fe93bfb7c565fa Mon Sep 17 00:00:00 2001 From: giles Date: Sun, 7 Jun 2026 14:25:11 +0000 Subject: [PATCH] =?UTF-8?q?radar:=20pass=2032=20=E2=80=94=20A1=20DONE=20(m?= =?UTF-8?q?erged=20db76cc8c,=2013=20adopters,=20common-lisp=20487/487=20ve?= =?UTF-8?q?rified=20post-merge);=20new=20subsystems=20dream+maude,=20fed-p?= =?UTF-8?q?rims=20resumed?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-Authored-By: Claude Opus 4.8 (1M context) --- plans/abstractions.md | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) 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 `-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