~/llamay $ llamay verify -m testdata/azmx-tiny.gguf
check                    result   detail
prefill == decode        pass     max logit difference 0.00e+00
vq8 kv cache             pass     moves 0.3% of the sampler's mass over 64 positions (worst
0.3% at position 55), greedy agrees at all 64, max logit shift 0.028 — values quantised, key
s exact
q8 kv cache              note     moves 0.3% of the sampler's mass over 64 positions (worst
0.4% at position 30), greedy differs at 1 of 64, max logit shift 0.034 — keys quantised too,
 use vq8 instead
vq8 bound has teeth      pass     a one-bit cache moves 37.2% of the sampler's mass, over th
e 5% bound — so the row above is not vacuous on this file
tokenizer round trip     pass     7 samples exact
fork is exact            pass     difference 0.00e+00 (must be zero)
snapshot resumes         pass     difference 0.00e+00
thread-count invariant   pass     difference 0.00e+00 across 1, 2 and 4 threads

All invariants hold.
~/llamay $ # fork is exact and snapshot resumes: 0.00e+00, which is the only passing value