SpecCompact借鉴推测解码思想，将推测单元从token扩展到语义槽位，验证标准从概率接受变为语义合理性判断，因此不保证与串行生成完全等价。