dream: core types — request/response/route records + 41 tests

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

plans/dream-on-sx.md

@@ -44,7 +44,7 @@ The user-facing story: rose-ash users who'd never touch s-expressions might writ
 
 The five types: `request`, `response`, `handler = request -> response`, `middleware = handler -> handler`, `route`. Everything else is a function over these.
 
-- [ ] **Core types** in `lib/dream/types.sx`: request/response records, route record.
+- [x] **Core types** in `lib/dream/types.sx`: request/response records, route record.
 - [ ] **Router** in `lib/dream/router.sx`:
       - `dream-get path handler`, `dream-post path handler`, etc. for all HTTP methods.
       - `dream-scope prefix middlewares routes` — prefix mount with middleware chain.
@@ -104,8 +104,15 @@ Confirm scope before starting; some of these may be addable as Dream-internal he
 
 ## Progress log
 
-_(awaiting activation conditions)_
+- **2026-06-07 — Core types** (`lib/dream/types.sx`, 41 tests). OCaml gate verified
+  green (scoreboard 480/480, Phases 1–5 + Phase 6 stdlib). Dream is implemented in
+  plain SX over the CEK — keywords are strings, so headers are dicts with lowercased
+  string keys (`:content-type` == `"content-type"`). request (method/target/path/
+  query/headers/body/params), response (status/headers/body), route records with
+  constructors + accessors; smart response constructors (html/text/json/empty/
+  not-found/redirect); `dream-coerce-response` wraps bare strings; query-string
+  parsing. Conformance runner `lib/dream/conformance.sh` modelled on flow's.
 
 ## Blockers
 
-_(none yet — plan is cold)_
+_(none — gate green, loop active)_