GRID：面向企业SQL生成的语法轨道解码

大语言模型会写SQL，但企业部署要求超越貌似合理的文本：输出必须句法有效、必须遵守逐角色与逐模式策略、必须携带可证明（而非尽力而为）的保证、不得随生成变长而减速、并须为每个决策留下合规级记录。我们提出GRID（语法轨道解码）：一个语法约束解码引擎——把精确的下一token掩码键定在解析器配置（词法扫描状态×LALR(1)栈）而非token序列上，并把增量推进的LALR(1)解析器本身用作活前缀预言机。LLM token经字节级trie行走桥接到文法终结符，带上下文无关/上下文相关拆分，使缓存键健全性按构造成立。基于角色的访问控制被编译进语言：角色投影子集化文法产生式、模式词库限制标识符终结符——被禁止的动词与标识符在掩码层不可达。四项保证（健全性、完备性、终止性与近常数逐token成本）以显式前置条件陈述并各配测试或基准。Rust内核把逐token掩码带到3.6–6.7微秒中位数：在两个分词器上p50与p90领先llguidance且零误拒；逐token守卫成本在n=16,000时位置平坦。在Spider上：约束解码在0.5B模型上值+13个执行准确率分；对可证明无法掩码强制的残余（列级策略）做一轮检查器引导修复，把7B模型提升到94.5%可执行。哈希链的逐token审计轨迹以100%篡改检测逐位重放。我们坦率陈述掩码做不到的事（分布忠实性、列级RBAC、非LALR(1)语言）与仍存的实测成本。