Spec: Coverage

Appendix A — Coverage Dashboard (generated)

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

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

StatusCountMeaning
implemented+tested590in jolt and exercised by spec/conformance
implemented-untested4in jolt, no direct test — spec entries will add them
resolvable-not-interned0works in code but invisible to ns introspection (conformance finding)
missing-portable0portable semantics, jolt lacks it — implementation gap
special-form16specified in §3, not a library var
dynamic-var11classification needed: portable default vs host-dependent
agents-taps16out of scope pending concurrency design note
stm-refs11out of scope pending concurrency design note
jvm-specific46catalogued, 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

VarStatusClojureDocs examples
*implemented+tested✓
*'implemented+tested✓
*1implemented+tested✓
*2implemented+tested✓
*3implemented+tested✓
*agent*dynamic-var✓
*allow-unresolved-vars*dynamic-var✓
*assert*implemented+tested✓
*clojure-version*implemented+tested✓
*command-line-args*implemented-untested✓
*compile-files*implemented+tested✓
*compile-path*dynamic-var✓
*compiler-options*dynamic-var✓
*data-readers*implemented+tested✓
*default-data-reader-fn*implemented+tested✓
*eimplemented+tested✓
*err*implemented+tested✓
*file*implemented-untested✓
*flush-on-newline*implemented+tested
*fn-loader*dynamic-var
*in*implemented+tested
*math-context*implemented+tested
*ns*implemented+tested✓
*out*implemented+tested✓
*print-dup*implemented+tested✓
*print-length*implemented+tested✓
*print-level*implemented+tested✓
*print-meta*implemented+tested✓
*print-namespace-maps*implemented-untested✓
*print-readably*implemented+tested✓
*read-eval*implemented+tested✓
*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*implemented+tested✓
+implemented+tested✓
+'implemented+tested✓
-implemented+tested✓
-'implemented+tested✓
->implemented+tested✓
->>implemented+tested✓
->ArrayChunkjvm-specific
->Eductionimplemented+tested
->Vecjvm-specific
->VecNodejvm-specific
->VecSeqjvm-specific
-cache-protocol-fnjvm-specific
-reset-methodsjvm-specific
.special-form✓
..implemented+tested✓
/implemented+tested✓
<implemented+tested✓
<=implemented+tested✓
=implemented+tested✓
==implemented+tested✓
>implemented+tested✓
>=implemented+tested✓
EMPTY-NODEjvm-specific
Instjvm-specific
NaN?implemented+tested✓
PrintWriter-onjvm-specific✓
StackTraceElement->vecjvm-specific✓
Throwable->mapjvm-specific✓
absimplemented+tested✓
accessorjvm-specific✓
acloneimplemented+tested✓
add-classpathjvm-specific✓
add-tapagents-taps✓
add-watchimplemented+tested✓
agentimplemented+tested✓
agent-errorimplemented+tested✓
agent-errorsagents-taps
agetimplemented+tested✓
alengthimplemented+tested✓
aliasimplemented+tested✓
all-nsimplemented+tested✓
alterstm-refs✓
alter-meta!implemented+tested✓
alter-var-rootimplemented+tested✓
amapjvm-specific✓
ancestorsimplemented+tested✓
andimplemented+tested✓
any?implemented+tested✓
applyimplemented+tested✓
areducejvm-specific✓
array-mapimplemented+tested✓
as->implemented+tested✓
asetimplemented+tested✓
aset-booleanimplemented+tested✓
aset-byteimplemented+tested✓
aset-charimplemented+tested✓
aset-doubleimplemented+tested✓
aset-floatimplemented+tested✓
aset-intimplemented+tested✓
aset-longimplemented+tested✓
aset-shortimplemented+tested✓
assertimplemented+tested✓
associmplemented+tested✓
assoc!implemented+tested✓
assoc-inimplemented+tested✓
associative?implemented+tested✓
atomimplemented+tested✓
awaitimplemented+tested✓
await-foragents-taps✓
await1agents-taps
basesjvm-specific✓
beanimplemented+tested✓
bigdecimplemented+tested✓
bigintimplemented+tested✓
bigintegerimplemented+tested✓
bindingimplemented+tested✓
bit-andimplemented+tested✓
bit-and-notimplemented+tested✓
bit-clearimplemented+tested✓
bit-flipimplemented+tested✓
bit-notimplemented+tested✓
bit-orimplemented+tested✓
bit-setimplemented+tested✓
bit-shift-leftimplemented+tested✓
bit-shift-rightimplemented+tested✓
bit-testimplemented+tested✓
bit-xorimplemented+tested✓
booleanimplemented+tested✓
boolean-arrayimplemented+tested✓
boolean?implemented+tested✓
booleansimplemented+tested✓
bound-fnimplemented+tested✓
bound-fn*implemented+tested✓
bound?implemented+tested✓
bounded-countimplemented+tested✓
butlastimplemented+tested✓
byteimplemented+tested✓
byte-arrayimplemented+tested✓
bytesimplemented+tested✓
bytes?implemented+tested✓
caseimplemented+tested✓
castjvm-specific✓
catimplemented+tested✓
catchspecial-form✓
charimplemented+tested✓
char-arrayimplemented+tested✓
char-escape-stringimplemented+tested✓
char-name-stringimplemented+tested✓
char?implemented+tested✓
charsimplemented+tested✓
chunkimplemented+tested✓
chunk-appendimplemented+tested✓
chunk-bufferimplemented+tested✓
chunk-consimplemented+tested✓
chunk-firstimplemented+tested✓
chunk-nextimplemented+tested✓
chunk-restimplemented+tested✓
chunked-seq?implemented+tested✓
classimplemented+tested✓
class?implemented+tested✓
clear-agent-errorsagents-taps
clojure-versionimplemented+tested✓
coll?implemented+tested✓
commentimplemented+tested✓
commutestm-refs✓
compimplemented+tested✓
comparatorimplemented+tested✓
compareimplemented+tested✓
compare-and-set!implemented+tested✓
compilejvm-specific✓
complementimplemented+tested✓
completingimplemented+tested✓
concatimplemented+tested✓
condimplemented+tested✓
cond->implemented+tested✓
cond->>implemented+tested✓
condpimplemented+tested✓
conjimplemented+tested✓
conj!implemented+tested✓
consimplemented+tested✓
constantlyimplemented+tested✓
construct-proxyimplemented+tested✓
contains?implemented+tested✓
countimplemented+tested✓
counted?implemented+tested✓
create-nsimplemented+tested✓
create-structjvm-specific✓
cycleimplemented+tested✓
decimplemented+tested✓
dec'implemented+tested✓
decimal?implemented+tested✓
declareimplemented+tested✓
dedupeimplemented+tested✓
defspecial-form✓
default-data-readersimplemented+tested✓
definlinejvm-specific
definterfaceimplemented+tested✓
defmacrospecial-form✓
defmethodimplemented+tested✓
defmultiimplemented+tested✓
defnimplemented+tested✓
defn-implemented+tested✓
defonceimplemented+tested✓
defprotocolimplemented+tested✓
defrecordimplemented+tested✓
defstructjvm-specific✓
deftypeimplemented+tested✓
delayimplemented+tested✓
delay?implemented+tested✓
deliverimplemented+tested✓
denominatorimplemented+tested✓
derefimplemented+tested✓
deriveimplemented+tested✓
descendantsimplemented+tested✓
destructureimplemented+tested✓
disjimplemented+tested✓
disj!implemented+tested✓
dissocimplemented+tested✓
dissoc!implemented+tested✓
distinctimplemented+tested✓
distinct?implemented+tested✓
dospecial-form✓
doallimplemented+tested✓
dorunimplemented+tested✓
doseqimplemented+tested✓
dosyncstm-refs✓
dotimesimplemented+tested✓
dotoimplemented+tested✓
doubleimplemented+tested✓
double-arrayimplemented+tested✓
double?implemented+tested✓
doublesimplemented+tested✓
dropimplemented+tested✓
drop-lastimplemented+tested✓
drop-whileimplemented+tested✓
eductionimplemented+tested✓
emptyimplemented+tested✓
empty?implemented+tested✓
ensurestm-refs✓
ensure-reducedimplemented+tested✓
enumeration-seqimplemented+tested✓
error-handleragents-taps✓
error-modeagents-taps✓
evalimplemented+tested✓
even?implemented+tested✓
every-predimplemented+tested✓
every?implemented+tested✓
ex-causeimplemented+tested✓
ex-dataimplemented+tested✓
ex-infoimplemented+tested✓
ex-messageimplemented+tested✓
extendimplemented+tested✓
extend-protocolimplemented+tested✓
extend-typeimplemented+tested✓
extendersimplemented+tested✓
extends?implemented+tested✓
false?implemented+tested✓
ffirstimplemented+tested✓
file-seqimplemented+tested✓
filterimplemented+tested✓
filtervimplemented+tested✓
finallyspecial-form✓
findimplemented+tested✓
find-keywordimplemented+tested✓
find-nsimplemented+tested✓
find-protocol-impljvm-specific
find-protocol-methodjvm-specific
find-varimplemented+tested✓
firstimplemented+tested✓
flattenimplemented+tested✓
floatimplemented+tested✓
float-arrayimplemented+tested✓
float?implemented+tested✓
floatsimplemented+tested✓
flushimplemented+tested✓
fnimplemented+tested✓
fn?implemented+tested✓
fnextimplemented+tested✓
fnilimplemented+tested✓
forimplemented+tested✓
forceimplemented+tested✓
formatimplemented+tested✓
frequenciesimplemented+tested✓
futureimplemented+tested✓
future-callimplemented+tested✓
future-cancelimplemented+tested✓
future-cancelled?implemented+tested✓
future-done?implemented+tested✓
future?implemented+tested✓
gen-classjvm-specific✓
gen-interfacejvm-specific✓
gensymimplemented+tested✓
getimplemented+tested✓
get-inimplemented+tested✓
get-methodimplemented+tested✓
get-proxy-classimplemented+tested✓
get-thread-bindingsimplemented+tested✓
get-validatorimplemented+tested✓
group-byimplemented+tested✓
halt-whenimplemented+tested✓
hashimplemented+tested✓
hash-combineimplemented+tested✓
hash-mapimplemented+tested✓
hash-ordered-collimplemented+tested✓
hash-setimplemented+tested✓
hash-unordered-collimplemented+tested✓
ident?implemented+tested✓
identical?implemented+tested✓
identityimplemented+tested✓
ifspecial-form✓
if-letimplemented+tested✓
if-notimplemented+tested✓
if-someimplemented+tested✓
ifn?implemented+tested✓
importimplemented+tested✓
in-nsimplemented+tested✓
incimplemented+tested✓
inc'implemented+tested✓
indexed?implemented+tested✓
infinite?implemented+tested✓
init-proxyimplemented+tested✓
inst-msimplemented+tested✓
inst-ms*implemented+tested
inst?implemented+tested✓
instance?implemented+tested✓
intimplemented+tested✓
int-arrayimplemented+tested✓
int?implemented+tested✓
integer?implemented+tested✓
interleaveimplemented+tested✓
internimplemented+tested✓
interposeimplemented+tested✓
intoimplemented+tested✓
into-arrayimplemented+tested✓
intsimplemented+tested✓
io!stm-refs✓
isa?implemented+tested✓
iterateimplemented+tested✓
iterationjvm-specific✓
iterator-seqimplemented+tested✓
juxtimplemented+tested✓
keepimplemented+tested✓
keep-indexedimplemented+tested✓
keyimplemented+tested✓
keysimplemented+tested✓
keywordimplemented+tested✓
keyword?implemented+tested✓
lastimplemented+tested✓
lazy-catimplemented+tested✓
lazy-seqimplemented+tested✓
letimplemented+tested✓
letfnimplemented+tested✓
line-seqimplemented+tested✓
listimplemented+tested✓
list*implemented+tested✓
list?implemented+tested✓
loadimplemented+tested✓
load-fileimplemented-untested✓
load-readerjvm-specific✓
load-stringimplemented+tested✓
loaded-libsjvm-specific✓
lockingimplemented+tested✓
longimplemented+tested✓
long-arrayimplemented+tested✓
longsimplemented+tested✓
loopimplemented+tested✓
macroexpandimplemented+tested✓
macroexpand-1implemented+tested✓
make-arrayimplemented+tested✓
make-hierarchyimplemented+tested✓
mapimplemented+tested✓
map-entry?implemented+tested✓
map-indexedimplemented+tested✓
map?implemented+tested✓
mapcatimplemented+tested✓
mapvimplemented+tested✓
maximplemented+tested✓
max-keyimplemented+tested✓
memfnimplemented+tested✓
memoizeimplemented+tested✓
mergeimplemented+tested✓
merge-withimplemented+tested✓
metaimplemented+tested✓
method-sigjvm-specific✓
methodsimplemented+tested✓
minimplemented+tested✓
min-keyimplemented+tested✓
mix-collection-hashjvm-specific
modimplemented+tested✓
monitor-enterspecial-form
monitor-exitspecial-form
mungeimplemented+tested✓
nameimplemented+tested✓
namespaceimplemented+tested✓
namespace-mungeimplemented+tested✓
nat-int?implemented+tested✓
neg-int?implemented+tested✓
neg?implemented+tested✓
newspecial-form✓
newlineimplemented+tested✓
nextimplemented+tested✓
nfirstimplemented+tested✓
nil?implemented+tested✓
nnextimplemented+tested✓
notimplemented+tested✓
not-any?implemented+tested✓
not-emptyimplemented+tested✓
not-every?implemented+tested✓
not=implemented+tested✓
nsimplemented+tested✓
ns-aliasesimplemented+tested✓
ns-importsimplemented+tested✓
ns-internsimplemented+tested✓
ns-mapimplemented+tested✓
ns-nameimplemented+tested✓
ns-publicsimplemented+tested✓
ns-refersimplemented+tested✓
ns-resolveimplemented+tested✓
ns-unaliasimplemented+tested✓
ns-unmapimplemented+tested✓
nthimplemented+tested✓
nthnextimplemented+tested✓
nthrestimplemented+tested✓
numimplemented+tested✓
number?implemented+tested✓
numeratorimplemented+tested✓
object-arrayimplemented+tested✓
odd?implemented+tested✓
orimplemented+tested✓
parentsimplemented+tested✓
parse-booleanimplemented+tested✓
parse-doubleimplemented+tested✓
parse-longimplemented+tested✓
parse-uuidimplemented+tested✓
partialimplemented+tested✓
partitionimplemented+tested✓
partition-allimplemented+tested✓
partition-byimplemented+tested✓
partitionvimplemented+tested
partitionv-allimplemented+tested
pcallsimplemented+tested✓
peekimplemented+tested✓
persistent!implemented+tested✓
pmapimplemented+tested✓
popimplemented+tested✓
pop!implemented+tested✓
pop-thread-bindingsimplemented+tested
pos-int?implemented+tested✓
pos?implemented+tested✓
primplemented+tested✓
pr-strimplemented+tested✓
prefer-methodimplemented+tested✓
prefersimplemented+tested✓
primitives-classnamesjvm-specific✓
printimplemented+tested✓
print-ctorjvm-specific✓
print-dupimplemented+tested✓
print-methodimplemented+tested✓
print-simplejvm-specific✓
print-strimplemented+tested✓
printfimplemented+tested✓
printlnimplemented+tested✓
println-strimplemented+tested✓
prnimplemented+tested✓
prn-strimplemented+tested✓
promiseimplemented+tested✓
proxyimplemented+tested✓
proxy-call-with-superimplemented+tested
proxy-mappingsimplemented+tested✓
proxy-namejvm-specific
proxy-superimplemented+tested✓
push-thread-bindingsimplemented+tested
pvaluesimplemented+tested✓
qualified-ident?implemented+tested✓
qualified-keyword?implemented+tested✓
qualified-symbol?implemented+tested✓
quotimplemented+tested✓
quotespecial-form✓
randimplemented+tested✓
rand-intimplemented+tested✓
rand-nthimplemented+tested✓
random-sampleimplemented+tested✓
random-uuidimplemented+tested✓
rangeimplemented+tested✓
ratio?implemented+tested✓
rational?implemented+tested✓
rationalizeimplemented+tested✓
re-findimplemented+tested✓
re-groupsimplemented+tested✓
re-matcherimplemented+tested✓
re-matchesimplemented+tested✓
re-patternimplemented+tested✓
re-seqimplemented+tested✓
readimplemented+tested✓
read+stringimplemented+tested✓
read-lineimplemented+tested✓
read-stringimplemented+tested✓
reader-conditionalimplemented+tested✓
reader-conditional?implemented+tested✓
realized?implemented+tested✓
record?implemented+tested✓
recurspecial-form✓
reduceimplemented+tested✓
reduce-kvimplemented+tested✓
reducedimplemented+tested✓
reduced?implemented+tested✓
reductionsimplemented+tested✓
refstm-refs✓
ref-history-countstm-refs✓
ref-max-historystm-refs
ref-min-historystm-refs✓
ref-setstm-refs✓
referimplemented+tested✓
refer-clojureimplemented+tested✓
reifyimplemented+tested✓
release-pending-sendsagents-taps✓
remimplemented+tested✓
removeimplemented+tested✓
remove-all-methodsimplemented+tested✓
remove-methodimplemented+tested✓
remove-nsimplemented+tested✓
remove-tapagents-taps
remove-watchimplemented+tested✓
repeatimplemented+tested✓
repeatedlyimplemented+tested✓
replaceimplemented+tested✓
replicateimplemented+tested✓
requireimplemented+tested✓
requiring-resolvejvm-specific✓
reset!implemented+tested✓
reset-meta!implemented+tested✓
reset-vals!implemented+tested✓
resolveimplemented+tested✓
restimplemented+tested✓
restart-agentimplemented+tested✓
resultset-seqjvm-specific✓
reverseimplemented+tested✓
reversible?implemented+tested✓
rseqimplemented+tested✓
rsubseqimplemented+tested✓
run!implemented+tested✓
satisfies?implemented+tested✓
secondimplemented+tested✓
select-keysimplemented+tested✓
sendimplemented+tested✓
send-offimplemented+tested✓
send-viaagents-taps✓
seqimplemented+tested✓
seq-to-map-for-destructuringimplemented+tested✓
seq?implemented+tested✓
seqable?implemented+tested✓
sequeimplemented+tested✓
sequenceimplemented+tested✓
sequential?implemented+tested✓
setimplemented+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✓
shortimplemented+tested✓
short-arrayimplemented+tested✓
shortsimplemented+tested✓
shuffleimplemented+tested✓
shutdown-agentsagents-taps✓
simple-ident?implemented+tested✓
simple-keyword?implemented+tested✓
simple-symbol?implemented+tested✓
slurpimplemented+tested✓
someimplemented+tested✓
some->implemented+tested✓
some->>implemented+tested✓
some-fnimplemented+tested✓
some?implemented+tested✓
sortimplemented+tested✓
sort-byimplemented+tested✓
sorted-mapimplemented+tested✓
sorted-map-byimplemented+tested✓
sorted-setimplemented+tested✓
sorted-set-byimplemented+tested✓
sorted?implemented+tested✓
special-symbol?implemented+tested✓
spitimplemented+tested✓
split-atimplemented+tested✓
split-withimplemented+tested✓
splitv-atimplemented+tested
strimplemented+tested✓
stream-into!jvm-specific
stream-reduce!jvm-specific
stream-seq!jvm-specific
stream-transduce!jvm-specific
string?implemented+tested✓
structjvm-specific✓
struct-mapjvm-specific✓
subsimplemented+tested✓
subseqimplemented+tested✓
subvecimplemented+tested✓
supersimplemented+tested✓
swap!implemented+tested✓
swap-vals!implemented+tested✓
symbolimplemented+tested✓
symbol?implemented+tested✓
syncstm-refs
tagged-literalimplemented+tested✓
tagged-literal?implemented+tested
takeimplemented+tested✓
take-lastimplemented+tested✓
take-nthimplemented+tested✓
take-whileimplemented+tested✓
tap>agents-taps✓
testimplemented+tested✓
the-nsimplemented+tested✓
thread-bound?implemented+tested✓
throwspecial-form✓
timeimplemented+tested✓
to-arrayimplemented+tested✓
to-array-2dimplemented+tested✓
trampolineimplemented+tested✓
transduceimplemented+tested✓
transientimplemented+tested✓
tree-seqimplemented+tested✓
true?implemented+tested✓
tryspecial-form✓
typeimplemented+tested✓
unchecked-addimplemented+tested✓
unchecked-add-intimplemented+tested✓
unchecked-byteimplemented+tested✓
unchecked-charimplemented+tested
unchecked-decimplemented+tested✓
unchecked-dec-intimplemented+tested✓
unchecked-divide-intimplemented+tested✓
unchecked-doubleimplemented+tested✓
unchecked-floatimplemented+tested✓
unchecked-incimplemented+tested✓
unchecked-inc-intimplemented+tested✓
unchecked-intimplemented+tested✓
unchecked-longimplemented+tested✓
unchecked-multiplyimplemented+tested✓
unchecked-multiply-intimplemented+tested
unchecked-negateimplemented+tested✓
unchecked-negate-intimplemented+tested✓
unchecked-remainder-intimplemented+tested
unchecked-shortimplemented+tested✓
unchecked-subtractimplemented+tested✓
unchecked-subtract-intimplemented+tested✓
underiveimplemented+tested✓
unquotejvm-specific✓
unquote-splicingjvm-specific✓
unreducedimplemented+tested✓
unsigned-bit-shift-rightimplemented+tested✓
updateimplemented+tested✓
update-inimplemented+tested✓
update-keysimplemented+tested✓
update-proxyimplemented+tested✓
update-valsimplemented+tested✓
uri?implemented+tested✓
useimplemented+tested✓
uuid?implemented+tested✓
valimplemented+tested✓
valsimplemented+tested✓
varspecial-form✓
var-getimplemented+tested✓
var-setimplemented+tested✓
var?implemented+tested✓
vary-metaimplemented+tested✓
vecimplemented+tested✓
vectorimplemented+tested✓
vector-ofjvm-specific✓
vector?implemented+tested✓
volatile!implemented+tested✓
volatile?implemented+tested✓
vreset!implemented+tested✓
vswap!implemented+tested✓
whenimplemented+tested✓
when-firstimplemented+tested✓
when-letimplemented+tested✓
when-notimplemented+tested✓
when-someimplemented+tested✓
whileimplemented+tested✓
with-bindingsimplemented+tested✓
with-bindings*implemented+tested✓
with-in-strimplemented+tested✓
with-loading-contextjvm-specific
with-local-varsimplemented+tested✓
with-metaimplemented+tested✓
with-openimplemented+tested✓
with-out-strimplemented+tested✓
with-precisionimplemented+tested✓
with-redefsimplemented+tested✓
with-redefs-fnimplemented+tested✓
xml-seqimplemented+tested✓
zero?implemented+tested✓
zipmapimplemented+tested✓