University of Memphis

该工作提出面向LLM智能体的两项可执行契约：计划契约在执行前校验计划结构、结果字段引用与标识接地，证据契约记录结果的双时态信念状态、完整性与来源，并据此核验声明；在TGMS双时态图系统上，结果字段检查把无效引用转为可修复的拒绝，完整性传播在15个受控用例中全部检出截断计数错误，声明门控使199条输出答案中不再含无支撑声明，代价是少输出21条答案。

该工作提出面向LLM智能体的两项可执行契约：计划契约在执行前校验计划结构、结果字段引用与标识接地，证据契约记录结果的双时态信念状态、完整性与来源，并据此核验声明；在TGMS双时态图系统上，结果字段检查把无效引用转为可修复的拒绝，完整性传播在15个受控用例中全部检出截断计数错误，声明门控使199条输出答案中不再含无支撑声明，代价是少输出21条答案。