docs(handover): D-555/556/557 arc closed — resume contract back to the easiest-first drain

Author: chaploud

.dev/handover.md

@@ -14,14 +14,13 @@
   (release.yml/CLAUDE.md "loop never tags" is otherwise intact). Demo repos
   cw-serverless-demo + cw-playground redeployed to fly.io on v1.0.0 and live-verified
   (books+cover-colours / eval+wasm-FFI). ADR-0167 rc.1-readiness campaign CLOSED — 1.0.0 shipped.
-- **First commit on resume MUST be: D-557** — tree_walk lazy-`for`
-  double-consumption value corruption (`-nth on Long`); deterministic repro
-  preserved at `private/d557_repro` (tree_walk build + `cljw -cp src
-  run_direct.clj`; `run_v7.clj` = vec-wrapped for PASSES — the fix hint).
-  Then D-555's remaining pair (vm SourceLocation-fallback vs print.zig's
-  intended caret form + the two e2e expectations) → sweep clean → discharge
-  + wire check_vm_parity.sh into the nightly CI leg. Then easiest-first
-  drain resumes (D-526/D-527/D-528/D-305/D-470/D-554...).
+- **First commit on resume MUST be: the easiest-first drain head** —
+  D-555/556/557 all DISCHARGED 2026-07-07 (GC persist-roots root fix +
+  conservative stack scan + evalRecur reentrancy + vm loc fidelity; the
+  check_vm_parity tree_walk sweep is CLEAN and runs in ci_gate.sh's
+  nightly FULL tier). Resume the drain: D-526 interop statics / D-527
+  parity / D-528 real-deps / D-305 builtin :arglists/:doc / D-470 format
+  %t / D-554 ns attr-map. A correctness floor still PREEMPTS.
 - **Forbidden this session**: bare `zig build test` WITHOUT `-Dwasm`; bare `zig build`
   for a probe (use ReleaseSafe). **The FULL gate MUST run `--serial-e2e`** — the `-P8`
   parallel default flakes the **D-418/D-258 agent load-race** (`agent_conj` →