VERIFY WHAT THE EVIDENCE SUPPORTS
验证与证据边界
验证器离线检查证据。可核验的内容由证据是否完整、披露层级和实际裁决共同决定。
七项检查分别回答什么
| 检查 | 所核对的内容 |
|---|---|
| 1. 签名有效 | 签名与已知密钥历史是否一致 |
| 2. 序号连续 | 证据范围内的序号是否连续 |
| 3. 哈希链连续 | 回执哈希链接是否自洽 |
| 4. Merkle 包含 | 回执是否被对应 Merkle 承诺包含 |
| 5. RFC 3161 时间戳 | RFC 3161 时间戳令牌是否有效 |
| 6. 成本确定性重算 | 按披露的表达式与变量能否重算成本 |
| 7. 零售明细核算 | 已披露客户零售明细是否自洽 |
第 5 项是 TSA 时间戳校验。链上锚定需要按锚定规范单独核验，不能将时间戳通过写成已核查公链。
按角色查看 不追求强行七项通过
交互示意，不执行真实验证。具体裁决取决于实际证据包。
匿名验证者
DISCLOSURE 0101签名有效可核验
02序号连续可核验
03哈希链连续可核验
04Merkle 包含可核验
05RFC 3161 时间戳可核验
06成本确定性重算未披露
07零售明细核算未披露
供应商与审计方
DISCLOSURE 0201签名有效可核验
02序号连续可核验
03哈希链连续可核验
04Merkle 包含可核验
05RFC 3161 时间戳可核验
06成本确定性重算可核验
07零售明细核算未披露
下游客户
DISCLOSURE 0301签名有效可核验
02序号连续可核验
03哈希链连续可核验
04Merkle 包含可核验
05RFC 3161 时间戳可核验
06成本确定性重算未披露
07零售明细核算可核验
匿名、供应侧、客户侧的检查范围不同。示例中某些检查跳过，是未授权披露的正常结果，不应为追求 7/7 泄露对方数据。运营健康接口也不是七项验证报告。
读懂裁决与退出码
| Verdict | 含义 |
|---|---|
| PASS | 该检查在给定证据下通过 |
| FAIL | 发现不一致或校验失败 |
| SKIPPED | 因未披露或缺少证据而未完成检查 |
验证失败退出 1，输入或配置错误退出 2；普通模式无 FAIL 可退出 0，不能据此认为全部检查通过。严格模式存在 SKIPPED 时退出 3。期间抽样也不能表述为全量证明。
明确证据边界
- 不证明调用的是某个真实上游模型，模型名仍是输入声明。
- 不证明原始计量绝对真实或合同价格合理，需要外部对账。
- 不证明所有真实事件都被捕获，也不消除未导出事件的遗漏。
- 不把未来的 TEE 或模型真实性能力列为现有功能。