ICE 约束解码实测：生成时施加约束比事后解析清洗更可靠

Reddit 作者分享 Hindsight（含 ICE 运行时）对比暴力方法的实测体会，认为在生成过程中施加 grammar-guided constrained decoding 比下游 parser 事后清洗更可靠。ICE 通过 JSON Schema、文法引擎、前缀 Trie、Token 兼容性与 Logit 掩码生成合法 JSON；工程挑战在于证明约束引擎不会引入新错误。