jolt/docs/spec/coverage.md
Yogthos e311018d55 core: one alias store (jolt-ark); '.' classified as the special form it is
require-:as wrote the string-keyed :imports table (which resolution reads)
while ns-aliases read the symbol-keyed :aliases table (which nothing wrote)
— so (ns-aliases) was always empty and the alias fn had to write both as a
bridge. :aliases (alias-name string -> ns-name string) is THE store now:
require :as and the alias fn write it, both resolution paths read it first
(falling back to :imports for class imports, which is all that table holds
now), ns-unalias removes one entry, and ns-aliases presents Clojure's
{alias-symbol -> namespace object} shape built from it. ns-resolve's
qualified path goes through the same lookup.

Also: the coverage dashboard's last 'resolvable-not-interned' entry was '.'
— which (resolve '.) returns nil for on the JVM too; the tool now classifies
it as the special form it is, and that category reads ZERO.

7 new unified-alias spec rows (require/alias/ns-unalias round-trips through
both the resolution and introspection views); the white-box namespace test
tracks the accessor rename. Gate exit 0.
2026-06-10 18:37:19 -04:00

29 KiB

Appendix A — Coverage Dashboard (generated)

Generated 2026-06-10 by tools/spec_coverage.py — do not edit by hand.

Surface: 694 clojure.core vars (ClojureDocs export; 648 with community examples). jolt interns 564 of them.

Status Count Meaning
implemented+tested 564 in jolt and exercised by spec/conformance
implemented-untested 0 in jolt, no direct test — spec entries will add them
resolvable-not-interned 0 works in code but invisible to ns introspection (conformance finding)
missing-portable 0 portable semantics, jolt lacks it — implementation gap
special-form 15 specified in §3, not a library var
dynamic-var 29 classification needed: portable default vs host-dependent
agents-taps 22 out of scope pending concurrency design note
stm-refs 11 out of scope pending concurrency design note
jvm-specific 53 catalogued, not specified

Classifications are initial and mechanical — reclassifying is an ordinary spec change. A var is Verified only when its §9 entry exists and carries no UNVERIFIED field; that column will be added as entries land.

Per-var status

Var Status ClojureDocs examples
* implemented+tested
*' implemented+tested
*1 implemented+tested
*2 implemented+tested
*3 implemented+tested
*agent* dynamic-var
*allow-unresolved-vars* dynamic-var
*assert* dynamic-var
*clojure-version* implemented+tested
*command-line-args* dynamic-var
*compile-files* dynamic-var
*compile-path* dynamic-var
*compiler-options* dynamic-var
*data-readers* dynamic-var
*default-data-reader-fn* dynamic-var
*e implemented+tested
*err* dynamic-var
*file* dynamic-var
*flush-on-newline* dynamic-var
*fn-loader* dynamic-var
*in* implemented+tested
*math-context* dynamic-var
*ns* implemented+tested
*out* dynamic-var
*print-dup* dynamic-var
*print-length* dynamic-var
*print-level* dynamic-var
*print-meta* dynamic-var
*print-namespace-maps* dynamic-var
*print-readably* dynamic-var
*read-eval* dynamic-var
*reader-resolver* dynamic-var
*repl* dynamic-var
*source-path* dynamic-var
*suppress-read* dynamic-var
*unchecked-math* implemented+tested
*use-context-classloader* dynamic-var
*verbose-defrecords* dynamic-var
*warn-on-reflection* dynamic-var
+ implemented+tested
+' implemented+tested
- implemented+tested
-' implemented+tested
-> implemented+tested
->> implemented+tested
->ArrayChunk jvm-specific
->Eduction implemented+tested
->Vec jvm-specific
->VecNode jvm-specific
->VecSeq jvm-specific
-cache-protocol-fn jvm-specific
-reset-methods jvm-specific
. implemented+tested
.. implemented+tested
/ implemented+tested
< implemented+tested
<= implemented+tested
= implemented+tested
== implemented+tested
> implemented+tested
>= implemented+tested
EMPTY-NODE jvm-specific
Inst jvm-specific
NaN? implemented+tested
PrintWriter-on jvm-specific
StackTraceElement->vec jvm-specific
Throwable->map jvm-specific
abs implemented+tested
accessor jvm-specific
aclone implemented+tested
add-classpath jvm-specific
add-tap agents-taps
add-watch implemented+tested
agent agents-taps
agent-error agents-taps
agent-errors agents-taps
aget implemented+tested
alength implemented+tested
alias implemented+tested
all-ns implemented+tested
alter stm-refs
alter-meta! implemented+tested
alter-var-root implemented+tested
amap jvm-specific
ancestors implemented+tested
and implemented+tested
any? implemented+tested
apply implemented+tested
areduce jvm-specific
array-map implemented+tested
as-> implemented+tested
aset implemented+tested
aset-boolean implemented+tested
aset-byte implemented+tested
aset-char implemented+tested
aset-double implemented+tested
aset-float implemented+tested
aset-int implemented+tested
aset-long implemented+tested
aset-short implemented+tested
assert implemented+tested
assoc implemented+tested
assoc! implemented+tested
assoc-in implemented+tested
associative? implemented+tested
atom implemented+tested
await agents-taps
await-for agents-taps
await1 agents-taps
bases jvm-specific
bean implemented+tested
bigdec implemented+tested
bigint implemented+tested
biginteger implemented+tested
binding implemented+tested
bit-and implemented+tested
bit-and-not implemented+tested
bit-clear implemented+tested
bit-flip implemented+tested
bit-not implemented+tested
bit-or implemented+tested
bit-set implemented+tested
bit-shift-left implemented+tested
bit-shift-right implemented+tested
bit-test implemented+tested
bit-xor implemented+tested
boolean implemented+tested
boolean-array implemented+tested
boolean? implemented+tested
booleans implemented+tested
bound-fn implemented+tested
bound-fn* implemented+tested
bound? implemented+tested
bounded-count implemented+tested
butlast implemented+tested
byte implemented+tested
byte-array implemented+tested
bytes implemented+tested
bytes? implemented+tested
case implemented+tested
cast jvm-specific
cat implemented+tested
catch special-form
char implemented+tested
char-array implemented+tested
char-escape-string implemented+tested
char-name-string implemented+tested
char? implemented+tested
chars implemented+tested
chunk implemented+tested
chunk-append implemented+tested
chunk-buffer implemented+tested
chunk-cons implemented+tested
chunk-first implemented+tested
chunk-next implemented+tested
chunk-rest implemented+tested
chunked-seq? implemented+tested
class implemented+tested
class? jvm-specific
clear-agent-errors agents-taps
clojure-version implemented+tested
coll? implemented+tested
comment implemented+tested
commute stm-refs
comp implemented+tested
comparator implemented+tested
compare implemented+tested
compare-and-set! implemented+tested
compile jvm-specific
complement implemented+tested
completing implemented+tested
concat implemented+tested
cond implemented+tested
cond-> implemented+tested
cond->> implemented+tested
condp implemented+tested
conj implemented+tested
conj! implemented+tested
cons implemented+tested
constantly implemented+tested
construct-proxy implemented+tested
contains? implemented+tested
count implemented+tested
counted? implemented+tested
create-ns implemented+tested
create-struct jvm-specific
cycle implemented+tested
dec implemented+tested
dec' implemented+tested
decimal? implemented+tested
declare implemented+tested
dedupe implemented+tested
def special-form
default-data-readers jvm-specific
definline jvm-specific
definterface implemented+tested
defmacro special-form
defmethod implemented+tested
defmulti implemented+tested
defn implemented+tested
defn- implemented+tested
defonce implemented+tested
defprotocol implemented+tested
defrecord implemented+tested
defstruct jvm-specific
deftype implemented+tested
delay implemented+tested
delay? implemented+tested
deliver implemented+tested
denominator implemented+tested
deref implemented+tested
derive implemented+tested
descendants implemented+tested
destructure implemented+tested
disj implemented+tested
disj! implemented+tested
dissoc implemented+tested
dissoc! implemented+tested
distinct implemented+tested
distinct? implemented+tested
do special-form
doall implemented+tested
dorun implemented+tested
doseq implemented+tested
dosync stm-refs
dotimes implemented+tested
doto implemented+tested
double implemented+tested
double-array implemented+tested
double? implemented+tested
doubles implemented+tested
drop implemented+tested
drop-last implemented+tested
drop-while implemented+tested
eduction implemented+tested
empty implemented+tested
empty? implemented+tested
ensure stm-refs
ensure-reduced implemented+tested
enumeration-seq implemented+tested
error-handler agents-taps
error-mode agents-taps
eval implemented+tested
even? implemented+tested
every-pred implemented+tested
every? implemented+tested
ex-cause implemented+tested
ex-data implemented+tested
ex-info implemented+tested
ex-message implemented+tested
extend implemented+tested
extend-protocol implemented+tested
extend-type implemented+tested
extenders implemented+tested
extends? implemented+tested
false? implemented+tested
ffirst implemented+tested
file-seq implemented+tested
filter implemented+tested
filterv implemented+tested
finally special-form
find implemented+tested
find-keyword implemented+tested
find-ns implemented+tested
find-protocol-impl jvm-specific
find-protocol-method jvm-specific
find-var implemented+tested
first implemented+tested
flatten implemented+tested
float implemented+tested
float-array implemented+tested
float? implemented+tested
floats implemented+tested
flush implemented+tested
fn implemented+tested
fn? implemented+tested
fnext implemented+tested
fnil implemented+tested
for implemented+tested
force implemented+tested
format implemented+tested
frequencies implemented+tested
future implemented+tested
future-call implemented+tested
future-cancel implemented+tested
future-cancelled? implemented+tested
future-done? implemented+tested
future? implemented+tested
gen-class jvm-specific
gen-interface jvm-specific
gensym implemented+tested
get implemented+tested
get-in implemented+tested
get-method implemented+tested
get-proxy-class implemented+tested
get-thread-bindings implemented+tested
get-validator implemented+tested
group-by implemented+tested
halt-when implemented+tested
hash implemented+tested
hash-combine implemented+tested
hash-map implemented+tested
hash-ordered-coll implemented+tested
hash-set implemented+tested
hash-unordered-coll implemented+tested
ident? implemented+tested
identical? implemented+tested
identity implemented+tested
if special-form
if-let implemented+tested
if-not implemented+tested
if-some implemented+tested
ifn? implemented+tested
import implemented+tested
in-ns implemented+tested
inc implemented+tested
inc' implemented+tested
indexed? implemented+tested
infinite? implemented+tested
init-proxy implemented+tested
inst-ms implemented+tested
inst-ms* implemented+tested
inst? implemented+tested
instance? implemented+tested
int implemented+tested
int-array implemented+tested
int? implemented+tested
integer? implemented+tested
interleave implemented+tested
intern implemented+tested
interpose implemented+tested
into implemented+tested
into-array implemented+tested
ints implemented+tested
io! stm-refs
isa? implemented+tested
iterate implemented+tested
iteration jvm-specific
iterator-seq implemented+tested
juxt implemented+tested
keep implemented+tested
keep-indexed implemented+tested
key implemented+tested
keys implemented+tested
keyword implemented+tested
keyword? implemented+tested
last implemented+tested
lazy-cat implemented+tested
lazy-seq implemented+tested
let implemented+tested
letfn implemented+tested
line-seq implemented+tested
list implemented+tested
list* implemented+tested
list? implemented+tested
load jvm-specific
load-file jvm-specific
load-reader jvm-specific
load-string implemented+tested
loaded-libs jvm-specific
locking implemented+tested
long implemented+tested
long-array implemented+tested
longs implemented+tested
loop implemented+tested
macroexpand implemented+tested
macroexpand-1 implemented+tested
make-array implemented+tested
make-hierarchy implemented+tested
map implemented+tested
map-entry? implemented+tested
map-indexed implemented+tested
map? implemented+tested
mapcat implemented+tested
mapv implemented+tested
max implemented+tested
max-key implemented+tested
memfn implemented+tested
memoize implemented+tested
merge implemented+tested
merge-with implemented+tested
meta implemented+tested
method-sig jvm-specific
methods implemented+tested
min implemented+tested
min-key implemented+tested
mix-collection-hash jvm-specific
mod implemented+tested
monitor-enter special-form
monitor-exit special-form
munge implemented+tested
name implemented+tested
namespace implemented+tested
namespace-munge implemented+tested
nat-int? implemented+tested
neg-int? implemented+tested
neg? implemented+tested
new special-form
newline implemented+tested
next implemented+tested
nfirst implemented+tested
nil? implemented+tested
nnext implemented+tested
not implemented+tested
not-any? implemented+tested
not-empty implemented+tested
not-every? implemented+tested
not= implemented+tested
ns implemented+tested
ns-aliases implemented+tested
ns-imports implemented+tested
ns-interns implemented+tested
ns-map implemented+tested
ns-name implemented+tested
ns-publics implemented+tested
ns-refers implemented+tested
ns-resolve implemented+tested
ns-unalias implemented+tested
ns-unmap implemented+tested
nth implemented+tested
nthnext implemented+tested
nthrest implemented+tested
num implemented+tested
number? implemented+tested
numerator implemented+tested
object-array implemented+tested
odd? implemented+tested
or implemented+tested
parents implemented+tested
parse-boolean implemented+tested
parse-double implemented+tested
parse-long implemented+tested
parse-uuid implemented+tested
partial implemented+tested
partition implemented+tested
partition-all implemented+tested
partition-by implemented+tested
partitionv implemented+tested
partitionv-all implemented+tested
pcalls jvm-specific
peek implemented+tested
persistent! implemented+tested
pmap jvm-specific
pop implemented+tested
pop! implemented+tested
pop-thread-bindings implemented+tested
pos-int? implemented+tested
pos? implemented+tested
pr implemented+tested
pr-str implemented+tested
prefer-method implemented+tested
prefers implemented+tested
primitives-classnames jvm-specific
print implemented+tested
print-ctor jvm-specific
print-dup implemented+tested
print-method implemented+tested
print-simple jvm-specific
print-str implemented+tested
printf implemented+tested
println implemented+tested
println-str implemented+tested
prn implemented+tested
prn-str implemented+tested
promise implemented+tested
proxy implemented+tested
proxy-call-with-super implemented+tested
proxy-mappings implemented+tested
proxy-name jvm-specific
proxy-super implemented+tested
push-thread-bindings implemented+tested
pvalues jvm-specific
qualified-ident? implemented+tested
qualified-keyword? implemented+tested
qualified-symbol? implemented+tested
quot implemented+tested
quote special-form
rand implemented+tested
rand-int implemented+tested
rand-nth implemented+tested
random-sample implemented+tested
random-uuid implemented+tested
range implemented+tested
ratio? implemented+tested
rational? implemented+tested
rationalize implemented+tested
re-find implemented+tested
re-groups implemented+tested
re-matcher implemented+tested
re-matches implemented+tested
re-pattern implemented+tested
re-seq implemented+tested
read implemented+tested
read+string implemented+tested
read-line implemented+tested
read-string implemented+tested
reader-conditional implemented+tested
reader-conditional? implemented+tested
realized? implemented+tested
record? implemented+tested
recur special-form
reduce implemented+tested
reduce-kv implemented+tested
reduced implemented+tested
reduced? implemented+tested
reductions implemented+tested
ref stm-refs
ref-history-count stm-refs
ref-max-history stm-refs
ref-min-history stm-refs
ref-set stm-refs
refer implemented+tested
refer-clojure implemented+tested
reify implemented+tested
release-pending-sends agents-taps
rem implemented+tested
remove implemented+tested
remove-all-methods implemented+tested
remove-method implemented+tested
remove-ns implemented+tested
remove-tap agents-taps
remove-watch implemented+tested
repeat implemented+tested
repeatedly implemented+tested
replace implemented+tested
replicate implemented+tested
require implemented+tested
requiring-resolve jvm-specific
reset! implemented+tested
reset-meta! implemented+tested
reset-vals! implemented+tested
resolve implemented+tested
rest implemented+tested
restart-agent agents-taps
resultset-seq jvm-specific
reverse implemented+tested
reversible? implemented+tested
rseq implemented+tested
rsubseq implemented+tested
run! implemented+tested
satisfies? implemented+tested
second implemented+tested
select-keys implemented+tested
send agents-taps
send-off agents-taps
send-via agents-taps
seq implemented+tested
seq-to-map-for-destructuring implemented+tested
seq? implemented+tested
seqable? implemented+tested
seque implemented+tested
sequence implemented+tested
sequential? implemented+tested
set implemented+tested
set! special-form
set-agent-send-executor! agents-taps
set-agent-send-off-executor! agents-taps
set-error-handler! agents-taps
set-error-mode! agents-taps
set-validator! implemented+tested
set? implemented+tested
short implemented+tested
short-array implemented+tested
shorts implemented+tested
shuffle implemented+tested
shutdown-agents agents-taps
simple-ident? implemented+tested
simple-keyword? implemented+tested
simple-symbol? implemented+tested
slurp implemented+tested
some implemented+tested
some-> implemented+tested
some->> implemented+tested
some-fn implemented+tested
some? implemented+tested
sort implemented+tested
sort-by implemented+tested
sorted-map implemented+tested
sorted-map-by implemented+tested
sorted-set implemented+tested
sorted-set-by implemented+tested
sorted? implemented+tested
special-symbol? implemented+tested
spit implemented+tested
split-at implemented+tested
split-with implemented+tested
splitv-at implemented+tested
str implemented+tested
stream-into! jvm-specific
stream-reduce! jvm-specific
stream-seq! jvm-specific
stream-transduce! jvm-specific
string? implemented+tested
struct jvm-specific
struct-map jvm-specific
subs implemented+tested
subseq implemented+tested
subvec implemented+tested
supers implemented+tested
swap! implemented+tested
swap-vals! implemented+tested
symbol implemented+tested
symbol? implemented+tested
sync stm-refs
tagged-literal implemented+tested
tagged-literal? implemented+tested
take implemented+tested
take-last implemented+tested
take-nth implemented+tested
take-while implemented+tested
tap> agents-taps
test implemented+tested
the-ns implemented+tested
thread-bound? implemented+tested
throw special-form
time implemented+tested
to-array implemented+tested
to-array-2d implemented+tested
trampoline implemented+tested
transduce implemented+tested
transient implemented+tested
tree-seq implemented+tested
true? implemented+tested
try special-form
type implemented+tested
unchecked-add implemented+tested
unchecked-add-int implemented+tested
unchecked-byte implemented+tested
unchecked-char implemented+tested
unchecked-dec implemented+tested
unchecked-dec-int implemented+tested
unchecked-divide-int implemented+tested
unchecked-double implemented+tested
unchecked-float implemented+tested
unchecked-inc implemented+tested
unchecked-inc-int implemented+tested
unchecked-int implemented+tested
unchecked-long implemented+tested
unchecked-multiply implemented+tested
unchecked-multiply-int implemented+tested
unchecked-negate implemented+tested
unchecked-negate-int implemented+tested
unchecked-remainder-int implemented+tested
unchecked-short implemented+tested
unchecked-subtract implemented+tested
unchecked-subtract-int implemented+tested
underive implemented+tested
unquote jvm-specific
unquote-splicing jvm-specific
unreduced implemented+tested
unsigned-bit-shift-right implemented+tested
update implemented+tested
update-in implemented+tested
update-keys implemented+tested
update-proxy implemented+tested
update-vals implemented+tested
uri? implemented+tested
use implemented+tested
uuid? implemented+tested
val implemented+tested
vals implemented+tested
var special-form
var-get implemented+tested
var-set implemented+tested
var? implemented+tested
vary-meta implemented+tested
vec implemented+tested
vector implemented+tested
vector-of jvm-specific
vector? implemented+tested
volatile! implemented+tested
volatile? implemented+tested
vreset! implemented+tested
vswap! implemented+tested
when implemented+tested
when-first implemented+tested
when-let implemented+tested
when-not implemented+tested
when-some implemented+tested
while implemented+tested
with-bindings implemented+tested
with-bindings* implemented+tested
with-in-str implemented+tested
with-loading-context jvm-specific
with-local-vars implemented+tested
with-meta implemented+tested
with-open implemented+tested
with-out-str implemented+tested
with-precision implemented+tested
with-redefs implemented+tested
with-redefs-fn implemented+tested
xml-seq implemented+tested
zero? implemented+tested
zipmap implemented+tested