diff --git a/plans/abstractions.md b/plans/abstractions.md index 07112cc6..80ea2207 100644 --- a/plans/abstractions.md +++ b/plans/abstractions.md @@ -12,6 +12,20 @@ Anything short → _Watching_ (what's missing) or _Rejected_ (why). ## Last scan +- **Date:** 2026-06-07 (radar loop, pass 33) +- **Pass 33 — host-layer story clarified (refines the migration strategy).** `dream` = + **Dream-on-SX**: OCaml's Dream web framework on the SX CEK, and the project owner's + **confirmed decision to move rose-ash OFF Quart onto Dream** as the ergonomic HTTP front + door over the native SX server (router/session/middleware/cors/csrf/auth/ws/html/json — + 16 modules). So the host layer is: **host-on-sx native server (Phases 1-3, carries it + now) → Dream-on-SX framework front door (gated on ocaml-on-sx Phases 1-5) + host-persist + (done) + fed-sx (AP transport).** The migration PLANNING loop (new, tmux `migration`, + commit-only) is now the owner of refining this — it already shipped `host-readiness.md` + pinning the near-term gate to **`lib/host` (unbuilt) + a multi-`Set-Cookie` primitive + fix** (`sx_server.ml:735`). NOTE: `plans/rose-ash-on-sx-migration.md` under-specified the + framework layer (said "host-on-sx HTTP host"); the Dream-over-Quart decision + the + native→Dream sequence is the correction — the planning loop will fold it into its specs. + `maude` at Phase 5 (rewriting-logic substrate). Radar tracks; planning loop details. - **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 →