God Does Not Play Dice：在智能体内核生成中强制实施批次不变性

研究提出工具，将契约引导的静态依赖分析与跨批次上下文按位一致性的动态验证结合，作为通用内核智能体的插件式组件，在性能基准测试前拒绝结构风险或动态非不变的候选。在真实 LLM 服务任务的三个智能体框架实验中，该工具将批次不变性通过率从 67.6% 提升至 91.9%，同时保留基线几何平均加速比的 91.8%。研究还发现，83 个适用于批次的已发布产物中存在 19 个确认的批次不变性违规。