diff --git a/phase-5.md b/phase-5.md
index 0fe5cdf..9482cac 100644
--- a/phase-5.md
+++ b/phase-5.md
@@ -410,13 +410,11 @@ target: 0 (or near-0) timeouts and a meaningfully higher baseline.
 
 ## 7. Done criteria
 
-- All §6.2 infinite-seq cases return correct values under the deadline (0 hangs). ✓ 18/18
-  (mapcat infinite deferred — needs Step 4 apply fix)
-- §6.3 laziness counters prove minimal realization for every converted transformer. ⚠ not done
-- Conformance 229+×3, fixpoint, self-host, sci-bootstrap all green. ✓ (interpret+self-host 229×2;
-  compile 228/229 — 1 pre-existing protocol-on-record error, see §3b)
+- All §6.2 infinite-seq cases return correct values under the deadline (0 hangs). ✅ Done — 22/22
+- §6.3 laziness counters prove minimal realization for every converted transformer. ⚠ deferred — tests not written
+- Conformance 229+×3, fixpoint, self-host, sci-bootstrap all green. ✅ Done — 229/229 all three modes
 - clojure-test-suite: the ~9 infinite-seq files no longer time out; `baseline-pass`
-  raised to the new steady-state; no per-file 6 s timeouts introduced. ⚠ not yet re-run
-- Representation decision (§3 Step 6, option A or B) documented and applied consistently. ⚠ deferred
+  raised to the new steady-state; no per-file 6 s timeouts introduced. ⚠ REGRESSION: 849 pass (was 3926), 1 timeout. The 40-lazy.clj overlay tier introduced errors in suite file loading — mapcat, lazy-seq, map, group-by, keys, vals, subs files show increased failures. Needs investigation.
+- Representation decision (§3 Step 6, option A or B) documented and applied consistently. ⚠ deferred — blast-radius measurement not run (suite already regressed, makes measurement unreliable)
 - `core-bench` within noise of the Phase-4 baseline. ⚠ not run
-- `bd close jolt-c09` → closes the `jolt-1j0` epic. ⚠ not done (waiting on remaining items)
+- `bd close jolt-c09` → closes the `jolt-1j0` epic. ⚠ blocked on above