intrange

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

the question

Does llama.cpp's JSON-Schema to GBNF integer-range emitter accept exactly the integers in [minimum, maximum]?

what came out

Over 58,179 canonical checks the emitted grammar accepts an integer string iff its value is in range: zero soundness and zero completeness violations. One minor lexical edge remains -- acceptance of -0 tracks whether the range has a negative branch rather than whether 0 is in range.

method & receipts

Result: mixed
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/intrange