xgrammar 1 The Mask Is the Contract: What Grammar-Constrained Decoding Actually Guarantees Sep 20, 2026