simon/jolt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

phase-5.md: update done criteria with post-Phase-6 verification data

Browse source 
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.
This commit is contained in:
Yogthos 2026-06-08 12:40:12 -04:00
parent a71bddd580
commit c78a6afc32
1 changed files with 6 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

14
phase-5.md
View file

@ -410,13 +410,11 @@ target: 0 (or near-0) timeouts and a meaningfully higher baseline.
## 7. Done criteria ## 7. Done criteria
- All §6.2 infinite-seq cases return correct values under the deadline (0 hangs). ✓ 18/18 - All §6.2 infinite-seq cases return correct values under the deadline (0 hangs). ✅ Done — 22/22
(mapcat infinite deferred — needs Step 4 apply fix) - §6.3 laziness counters prove minimal realization for every converted transformer. ⚠ deferred — tests not written
- §6.3 laziness counters prove minimal realization for every converted transformer. ⚠ not done - Conformance 229+×3, fixpoint, self-host, sci-bootstrap all green. ✅ Done — 229/229 all three modes
- 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)
- clojure-test-suite: the ~9 infinite-seq files no longer time out; `baseline-pass` - 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 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 - 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 - `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