dryz

confirmedcertificateC++ · llama.cppInference & servingJuly 13, 2026

the question

Is the DRY sampler's hand-rolled reverse Z-algorithm suffix-match length exact?

what came out

Yes. Inverting the penalty to the integer match length and comparing against two independent suffix-repeat oracles, the shipped DRY length matches on all 2,391,471 differential cases (base, window-cap, single-token-breaker) over histories up to length 11, plus 1,048,560 cases on a 4-symbol alphabet, with 0 mismatches. Ships as a certificate.

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/dryz