From c78a6afc32bd01f01ddb0354d15eca796f7e730a Mon Sep 17 00:00:00 2001 From: Yogthos Date: Mon, 8 Jun 2026 12:40:12 -0400 Subject: [PATCH] phase-5.md: update done criteria with post-Phase-6 verification data MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 22/22 lazy-infinite, 229x3 conformance, 32/32 specs — all green. clojure-test-suite: 849 pass (regression from 3926). Top failing files: lazy_seq, mapcat, map, group-by, keys, vals, subs. Root cause is the 40-lazy.clj overlay tier — moving distinct/keep/map-indexed/ cycle/repeat/iterate/repeatedly/partition-all to the overlay broke suite file loading. All individual smoke tests and the 229 conformance cases pass; the issue is in the clojure.test shim + .cljc loading path. core-bench: TOTAL 2471 ms (fib 128, seq-pipe 93, reduce 404, into-vec 212, map-build 728, map-read 6, str-join 255, hof 644). No Phase-4 baseline exists for comparison. §6.3 laziness counters + representation decision deferred. --- phase-5.md | 14 ++++++-------- 1 file changed, 6 insertions(+), 8 deletions(-) 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