Concordat：用会话类型在运行时约束 agent 对话规则

Concordat 来自 arXiv 论文 2610.37461v1，将对话协议视为类型签名并在运行时强制执行，在违规工具调用执行前将其拒绝，而非依赖提示词约束。在 tau-bench 航空任务中，标准 agent 在 GPT-4.1 下 50 个任务有 13 次未授权变更、Claude Haiku 5.5 下 128 次运行有 29 次，Concordat agent 为零且任务成功率未下降。

AI推荐理由 介绍 arXiv 论文（2610.37461v1）提出的 Concordat：把对话协议当作类型签名在运行时强制执行，违规工具调用在执行前被拒绝。文中给出 tau-bench 航空任务数据：GPT-4.1 下 50 个任务中 13 次未授权变更，Claude Haiku 5.5 下 128 次运行中 29 次，Concordat 均为零且任务成功率未降。数据具体，但为单篇论文结果，需独立复现。