~/llamay $ llamay verify -m qwen2.5:0.5b
check                    result   detail
prefill == decode        pass     max logit difference 0.00e+00
vq8 kv cache             pass     moves 2.5% of the sampler's mass over 64 positions (worst
6.2% at position 14), greedy differs at 2 of 64, max logit shift 0.617 — values quantised, k
eys exact
q8 kv cache              note     moves 16.5% of the sampler's mass over 64 positions (worst
 84.4% at position 1), greedy differs at 8 of 64, max logit shift 15.035 — keys quantised to
o, use vq8 instead
vq8 bound has teeth      pass     a one-bit cache moves 91.1% 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.