# 证据契约

泛血管介入研究开始把“可追溯”写进智能体的输出契约：ScienceBuddy-PV 在公开冠脉造影基准 ARCADE 上固定一个共享卷积模型，只评估证据门控与动作审计，门控在狭窄帧上放行 76.7% 的候选，而纯分数比较器放行 100%。锁定测试集上狭窄分割 Dice 为 0.231、AUROC 为 0.957，但像素阳性率仅 0.00975，且参考病灶候选被接受 44.3%、被拒 55.7%。该结果属于图像级技术验证，递归改进与模型学习循环仍是协议而非已执行实验。

泛血管介入研究开始把“可追溯”写进智能体的输出契约：ScienceBuddy-PV 在公开冠脉造影基准 ARCADE 上固定一个共享卷积模型，只评估证据门控与动作审计，门控在狭窄帧上放行 76.7% 的候选，而纯分数比较器放行 100%。锁定测试集上狭窄分割 Dice 为 0.231、AUROC 为 0.957，但像素阳性率仅 0.00975，且参考病灶候选被接受 44.3%、被拒 55.7%。该结果属于图像级技术验证，递归改进与模型学习循环仍是协议而非已执行实验。

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

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

该工作提出 EIO-Agents 开放规范，用评估智能本体（EIO）定义证据、谓词、声明、见证规则与证明状态，用可移植评估记录（PER）以内容寻址方式保存一次评估的证据到决策链，并给出开源参考实现；在信用承保智能体的参考评估中，243 条声明经投影、验证与解释后导出 BLOCK 决策，而同一分数在另一记录中因代理观察未复现只导出 REVIEW。

该工作提出 EIO-Agents 开放规范，用评估智能本体（EIO）定义证据、谓词、声明、见证规则与证明状态，用可移植评估记录（PER）以内容寻址方式保存一次评估的证据到决策链，并给出开源参考实现；在信用承保智能体的参考评估中，243 条声明经投影、验证与解释后导出 BLOCK 决策，而同一分数在另一记录中因代理观察未复现只导出 REVIEW。