floorbound

confirmedupstream bugC++ · CPUInference & servingJuly 13, 2026

the question

Does json_schema_to_grammar convert number-valued fractional integer bounds into the correct integer grammar?

what came out

Confirmed bug. The emitter reads bounds with a truncating get<int64_t>() cast and a blanket +1/-1, no floor/ceil, so minimum:5.5 becomes minimum:5 and accepts the out-of-range 5. Over 208 cases all four bound keywords diverge by one integer on their fractional side (2 over-generation, 2 under-generation); 104 integer-bound controls agree exactly.

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