为语言模型智能体保障组织轨迹证据：片段、方法与残差

研究提出用逻辑、信息片段与保障账本统一组织语言模型智能体的轨迹证据，把规则检查器、技能覆盖分析、支持检查器、前缀监控、执行门与稀有事件估计器等方法的结论纳入同一框架。需求被写成两层逻辑公式：外层是对已记录事件的有限轨迹时序逻辑，内层是持续状态逻辑。该框架旨在说明这些不同强度的断言如何组合，以及它们共同留下了哪些未被检查的部分。