radar: pass 33 — dream = Dream-on-SX (off-Quart framework decision); refines migration host layer; planning loop owns the detail (host-readiness shipped)

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

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 →