radar: A1 conformance driver — datalog adopted (4 shims); lua excluded (different harness)

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

plans/abstractions.md

@@ -12,12 +12,16 @@ Anything short → _Watching_ (what's missing) or _Rejected_ (why).
 
 ## Last scan
 
-- **Date:** 2026-06-06 (seed, by hand at radar setup)
+- **Date:** 2026-06-06 (radar loop, pass 2)
-- **Subsystem set discovered:** loop worktrees `acl, feed, flow, mod, search,
+- **Subsystem set discovered:** loop worktrees `acl, erlang, fed-prims, fed-sx-m1,
-  persist, fed-prims, fed-sx-m, erlang, go, ruby, sx-vm-extensions, radar`; main-repo
+  feed, flow, go, kernel, mod, ocaml, persist, radar, ruby, search,
-  subsystems incl. merged `feed` + language substrates (`apl, haskell, prolog,
+  sx-vm-extensions`; main-repo `lib/*` incl. merged `feed` + substrates (`apl,
-  datalog, lua, …`). Actively looping (tmux): `acl, feed, flow, mod, search,
+  common-lisp, datalog, erlang, forth, go, haskell, hyperscript, js, lua, minikanren,
-  persist, fed-sx-m1` (+ radar).
+  ocaml, prolog, scheme, smalltalk, tcl`) + `lib/guest`.
+  Actively looping (tmux): `acl, fed-sx-m1, feed, flow, mod, persist, search`
+  (+ radar).
+- **New since pass 1:** worktrees `kernel` (empty/unset — not yet a repo) and `ocaml`
+  (`lib/ocaml/baseline` only). Both early-stage, pre–Phase 2 → out of proposal scope.
 - Re-enumerate every pass; new loops (e.g. a future `commerce`/`identity`) auto-join.
 
 ---
@@ -34,11 +38,20 @@ Anything short → _Watching_ (what's missing) or _Rejected_ (why).
 - **Home:** `lib/guest` — the one legitimate exception (the shared driver
   `lib/guest/conformance.sh` + `lib/guest/conformance.sx` already exist; modes
   `dict` and `counters`).
-- **Status: IN PROGRESS.** Existing adopters: `prolog` (dict), `haskell` (counters).
+- **Status: IN PROGRESS — 4 adopters.** `prolog` (dict), `haskell` (counters),
-  **`apl` migrated 2026-06-06** (commit on architecture) — and the migration
+  `apl` (dict), and **`datalog` (dict), newly migrated this pass** — all now 3-line
-  *surfaced a latent bug*: the old awk extractor under-counted `pipeline` (40 vs the
+  exec shims into `lib/guest/conformance.sh` with a `conformance.conf`
-  real 152 assertions); true apl total is **562**, not 450. Evidence that adopting
+  (`lib/datalog/conformance.conf`: 11 PRELOADS + 11 SUITES).
-  the driver also improves correctness.
+  The `apl` migration earlier *surfaced a latent bug*: the old awk extractor
+  under-counted `pipeline` (40 vs the real 152 assertions); true apl total is **562**,
+  not 450 — evidence that adopting the driver also improves correctness.
+- **Not a target (different harness shape):** `lua/conformance.sh` is a Python runner
+  (`lib/lua/conformance.py`) that walks real `*.lua` source files via `lua-eval-ast`
+  and classifies pass/fail/timeout — it does not run SX `deftest` suites with a
+  counter/dict scoreboard, so the shared driver does not fit. Excluded, not pending.
+- **Remaining hand-rolled candidates (~120–220 lines each):** `common-lisp, erlang,
+  feed, forth, go, js, ocaml, smalltalk, tcl` — each its OWN loop's migration when
+  quiescent.
 - **Action:** each remaining subsystem's OWN loop migrates when quiescent — add a
   `conformance.conf` (+ a `test-harness.sx` preload defining its counters) and
   replace `conformance.sh` with the 1-line exec shim