q3kvalue

confirmedcertificateC++Inference & servingJuly 13, 2026

the question

Is ggml's q3_K value bit-plane, with its inverted hmask polarity, decoded bit-exactly by the shipped kernel?

what came out

Three arms -- the shipped kernel, the pinned source, and a clean-room spec -- agree bit-exactly across 26,124,288 lane comparisons with zero mismatches, over the exhaustive per-lane alphabet and 100,000 random blocks. An armed polarity-flipped mutant disagrees on 256 lanes, confirming the inverted hmask decode (set bit subtracts 0, clear subtracts 4).

method & receipts

Result: confirmed
Pre-registered — the prediction was written down and committed before the run.
Reproducible — one script re-runs the whole thing from scratch.
Tested — a correctness/benchmark suite ships alongside the code.

→ read the code and re-run it

github.com/v-code01/q3kvalue