论文提出由确定性执行器持有信念、LLM只提交提案的自验证代理工具。
推荐理由：把长程Agent可信性拆成结构约束问题：LLM不直接改信念，只提交可验证提案；这比事后日志审计更接近可控代理系统设计。
阅读原文