智能体输出语义验证

适用场景

在结果交给下一 Agent、工具或写入节点前，对脱敏样例执行字段形状与语义不变量检查，避免干净 JSON 掩盖错误结论。

输入与输出

• - 输入：第一步 contract.json、脱敏 output samples 和语义规则
• 输出：PASS/BLOCKED、缺字段/类型/额外字段/语义不变量发现、downstreamdispatchallowed=false 和 samplevalidationhash

运行

CODEBLOCK0

错误恢复

先确认 schema_ref 可解析；发现缺字段、类型错误或语义证据缺失时保持 BLOCKED，不重写模型输出。

隐私边界

只处理买家有权使用且已经脱敏的本地 JSON，不连接模型、Agent、provider、网络或外部 API，不读取凭据、Cookie、原始提示词或业务数据。

验收

使用 examples/input.json 运行，确认输出包含 status、findings、稳定 hash 和不执行标志；再用缺少 required 字段、语义不变量失败、provider 不支持 strict schema 或人工引用缺失的样例验证 REVIEW/BLOCKED/HOLD 分支。