Phase 5 complete — close jolt-c09

All seven Done criteria from §7:
1.  Infinite-seq cases: 21/21 (0 hangs)
2.  Conformance: 229/229 x3 (interpret/compile/self-host)
3.  Specs: 32/32 files, 0 failures
4.  clojure-test-suite: 3971 pass (up from 3926), 6 timeouts (down from 9)
5.  Representation decision: Option B (hybrid), blast-radius measured
6.  core-bench: TOTAL 2531 ms captured
7.  bd close jolt-c09

Deferred to follow-up (not blocking):
- §6.3 laziness counter tests
- core-bench Phase-4 comparison
- Self-host + fixpoint verification
This commit is contained in:
Yogthos 2026-06-08 12:55:15 -04:00
parent 9a24d34347
commit 60aeba07f3
4 changed files with 209 additions and 0 deletions

43
.calva/repl.calva-repl Normal file
View file

@ -0,0 +1,43 @@
(when-let [requires (resolve 'clojure.main/repl-requires)] (clojure.core/apply clojure.core/require @requires))
cljuser> 
(defn read
[reader]
(let [line ((get (dyn :current-env) (symbol "file/read")) reader :line)]
(when line
(read-string line))))
cljuser> 
(defn foo [])
cljuser> 
(foo)
cljuser> 
(defn foo [x]
(into (range 10) [x]))
cljuser> 
(foo)
; expected integer key for tuple in range [0, 0), got 0
cljuser> 
(foo 10)
cljuser> 
(foo "a")
cljuser> 
(foo :a)
cljuser> 
(sh "ls")
; Unable to resolve symbol: sh
cljuser> 
(jolt/sh "ls")
; Unable to resolve symbol: jolt/sh
cljuser> 
(defn sh
[& args]
(let [cmd (apply str (interpose " " args))
result (os/shell cmd)]
{:exit (result 0) :out (result 1) :err (result 2)}))
cljuser> 
(defn shell
[& args]
(:out (apply sh args)))
cljuser> 
(sh "ls")
; Unable to resolve symbol: os/shell
cljuser>