JP JOURNAL · BOUNDED ZERO-NETWORK LAB
Grammar-constrained decoding mask oracle
Compare a whole-token incremental masker with a separately written exhaustive byte-prefix oracle. Every run binds tokenizer, grammar, prefix, logits, mask, renormalization, terminal state, and mutation evidence.
Reachable parser state
Identity and state
Distribution proof
Candidate token ledger
| Token | Bytes | Production | Oracle | p before | p after |
|---|
Executable mutation tests
Truth boundary
This lab proves membership in one implemented bounded grammar. It cannot prove factuality, safe tool intent, semantic correctness, model quality, or complete JSON Schema support.