From 6fa12e1922e6298240ee26a7b53aad076c84f23a Mon Sep 17 00:00:00 2001 From: giles Date: Sun, 7 Jun 2026 10:07:41 +0000 Subject: [PATCH] =?UTF-8?q?radar:=20pass=2025=20=E2=80=94=20A1=208=20adopt?= =?UTF-8?q?ers=20(events)=20+=20common-lisp=20487/487;=20conformance=20loo?= =?UTF-8?q?p=20extended=20shared=20lib/guest=20driver=20=E2=80=94=20flag?= =?UTF-8?q?=20merge-time=20adopter-parity=20verification?= 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 | 30 ++++++++++++++++++++++-------- 1 file changed, 22 insertions(+), 8 deletions(-) diff --git a/plans/abstractions.md b/plans/abstractions.md index d60fb281..e3ca0e31 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 25) +- **Pass 25:** A1 → **8 adopters** (events via its own loop) + common-lisp 487/487 on the + conformance branch. The conformance loop **extended the shared `lib/guest` driver** + (per-suite counters/preloads) to do it → raised a **coordination flag in A1**: verify the + branch is non-regressive against all 8 adopters before merging to architecture. commerce + drafting Phase 5 provider-neutral payment envelope. No new candidate; A1 advancing fast. - **Date:** 2026-06-07 (radar loop, pass 24) - **Pass 24 — three real updates.** (1) **A1 → 7 adopters** (search migrated, counters mode — corrects the earlier exclusion). (2) The dedicated `conformance` loop ran its 1st @@ -228,9 +234,10 @@ one merged file copied N times. Correct one-liner: `lib/haskell/conformance.conf` (counters) or `lib/prolog/conformance.conf` (dict). Keep the `bash lib/X/conformance.sh` entry point so no loop is disrupted. - **Priority: HIGH** (15 consumers, low risk, interface-preserving, additive). -- **7 adopters now** (pass 24): acl, apl, datalog, haskell, mod, prolog, **+ search** - (3-line shim, `MODE=counters`). *Corrects the earlier "search excluded" note* — search - assembles Haskell source but its suites emit pass/fail counters, so counters mode fits. +- **8 adopters on architecture** (pass 25): acl, apl, datalog, **events**, haskell, mod, + prolog, search — `events` migrated via its OWN loop; `search` via counters mode (which + corrects the earlier "search excluded" note). **+1 on the `loops/conformance` branch: + `common-lisp` migrated 487/487** (pending merge to architecture). - **NOW IN PROGRESS — dedicated loop (2026-06-07).** A human-triggered `conformance` loop (worktree `/root/rose-ash-loops/conformance`, branch `loops/conformance`, tmux session `a1-conformance`, briefing `plans/agent-briefings/conformance-loop.md`) is working the @@ -242,11 +249,18 @@ one merged file copied N times. Correct one-liner: reproduce it: `MODE=counters` supports only ONE global pass/fail counter pair + ONE fixed preload set, but common-lisp needs **per-suite counter names** (8 distinct pairs) and **per-suite preload chains**. It logged a precise blocker + unblock path (extend the - `SUITES` entry format with optional per-suite counters/preloads) and moved on. So A1 - splits: **simple single-counter/single-preload suites migrate now; complex multi-suite - ones are gated on a `lib/guest/conformance` driver enhancement** — that enhancement is - itself consumer-gated work owned by `lib/guest`'s loop, NOT something the migration loop - changes unilaterally. The parity gate working as intended (refused a coverage-losing migration). + `SUITES` entry format with optional per-suite counters/preloads) and moved on. +- **Driver gap RESOLVED next iteration (pass 25) — but it touched the shared driver.** The + loop extended `lib/guest/conformance.sh` (+38 lines: optional per-suite counters + per-suite + preloads in the `SUITES` format, backward-compatible) and then migrated common-lisp at + **487/487** (above the 305 baseline — likely another extractor under-count correction, à la + apl's `pipeline`). The parity gate held throughout. +- **⚠ COORDINATION FLAG (radar): the `loops/conformance` branch now carries a change to the + SHARED `lib/guest` driver** used by all 8 adopters. It's additive by design, but **before + this branch merges to `architecture`, re-run the existing adopters' suites under the new + driver to confirm zero regression** (acl/apl/datalog/events/haskell/mod/prolog/search). + This is the one cross-cutting risk in an otherwise per-subsystem-isolated effort — surfaced + here so the merge is gated on adopter-parity, not assumed. ---