0029's manual check performed: CIDER connects, evals, and nothing hangs

CIDER 2.1.0-snapshot on Emacs 31 connected to bb repl through
cider-connect-clj and drove the live pipe: (+ 1 2) -> 3, (def
cider-x 30) -> #'user/cider-x with (+ cider-x 12) -> 42 in a later
eval, (cfib 20) -> 6765, and trap/out-of-slice outcomes arrived on
err. Degraded without cider-nrepl middleware exactly as 0029 §1
predicted when it chose the default stack over hand-rolled ops: eval
works, unknown ops answer, nothing hangs.

Claude-Session: https://claude.ai/code/session_01XF5Hfq4Ca2N2XYEzWQQuHt

Author: chaploud

doc/design/0029-nrepl-entry.md

@@ -33,9 +33,14 @@ honestly out of scope?
    shape — so session bookkeeping, `describe`, and unknown-op
    semantics come from `nrepl/nrepl` protocol-correct and for free.
    `clj -M:repl` starts it; the `-X` coordinate `0021` called
-   provisional is superseded by this. Verified with the nrepl client;
-   an editor connection is a manual check until someone performs it
-   *(review)*.
+   provisional is superseded by this. Verified with the nrepl client —
+   and then with a real editor *(the manual check, performed
+   2026-07-30)*: CIDER 2.1.0-snapshot on Emacs 31 connected via
+   `cider-connect-clj`, and through the live connection `(+ 1 2)` → 3,
+   `(def cider-x 30)` → `#'user/cider-x` with `(+ cider-x 12)` → 42 in
+   a *later* eval, `(cfib 20)` → 6765, and trap/out-of-slice outcomes
+   arrived on `err` — degraded (no cider-nrepl middleware) but exactly
+   as §1 predicted: eval works, nothing hangs.
 2. **One long-lived node child, `dev/repl_engine.mjs`** — started by
    the server, speaking one JSON line per message on stdio, strict
    request→response alternation. Two framing pins *(review)*: **the

doc/status.md

@@ -91,7 +91,11 @@ _Short by design, and printed at every session start — so findings live in
    classify as errors, out-of-slice stays loud. The dev assembler
    entered `tools.json` and `bb check` materializes it (guarded
    `npm ci`) — `0026`'s promise kept on its named trigger. An editor
-   connection (CIDER/Calva) remains a manual check. **S4 is entered
+   connection is verified for real: **CIDER (2.1.0-snapshot, Emacs 31)
+   connected to `bb repl` and evaluated through the live pipe** —
+   cross-eval vars, `(cfib 20)` → 6765, trap and out-of-slice on
+   `err`; degraded without cider-nrepl middleware exactly as `0029` §1
+   predicted, nothing hangs (2026-07-30). **S4 is entered
    the way `/next`'s stage rule demands — by running what would fail
    if its premise were wrong**: `bb spike-s4` has the project's two
    deliverables meet for the first time — `cljwit` compiles