前言¶
在 DeepSeek Harness (DSH) 及其他 Agent harness 中，系统通常只能告诉你 Agent 做了什么，却无法直接证明它是否 做对了。“我完成了”往往只是 Agent 的自我报告，而非客观事实。dsh-proof 旨在将这种自我报告转化为可重新计算的证据链。
该插件是一个开源标准、Proof MCP Server、适配器集合以及 DeepSeek Harness 插件的总称。它通过内容寻址、签名检查点和离线锚点，构建了一个防篡改的信任链，让“完成”变成可验证的事实，将“回归归因”从事后复盘转变为飞行中的实时归因。
核心功能¶
dsh-proof 提供了以下核心能力：
* 证据驱动完成证明：将 Agent 的完成声明转化为可验证的证据。
* 回归归因：在执行过程中实时识别回归，而非仅在事后发现。
* 可重新计算的证据链：所有检查结果以内容寻址方式记录，确保结果在任何机器上可复现。
* 防篡改信任链：通过签名检查点和离线锚点，防止证据被 Agent 自行修改或截断。
* 验证结论：提供 proven / regressed / stale / unproven / no-baseline 等明确结论。
* 运行时执行：在 DSH 运行时进行强制执行与检查。
架构设计¶
插件采用分层架构，核心层（Pure Domain）与宿主解耦，通过端口与外部交互。
* 纯领域核心：包含 21 个模块，完全不依赖 @deepseek-ai/* 任何包，不进行 I/O 操作。这意味着核心逻辑可以在任何环境（如测试套件、纯 MCP 客户端）中运行。
* 适配器层：包含 DSH 插件、MCP Server（13 个工具）、Agent Proof Protocol (APP/1.4) 标准实现，以及 Claude Code 和 OpenCode 的宿主适配器。
依赖与先决条件¶
在安装或使用 dsh-proof 前，请确保环境满足以下要求：
* Node.js：需安装 ^22.19.0 || >=24.0.0。
* Peer Dependencies：
* @deepseek-ai/cordis（>=0.2.0）
* @deepseek-ai/dsh-tools（>=0.2.0）
典型用法¶
在 DSH 插件加载后，Agent 可以通过 proof_* 系列工具与引擎交互。
1. 提交完成声明
使用 proof_claim 工具声明任务完成，系统会自动生成证据并给出结论。
$ proof_claim "fixed the login redirect bug and added a regression test"
✓ PROVEN — fixed the login redirect bug and added a regression test
evidence root: 9f2c1ab47d0e
PROVEN (p≈0.97) — the claim is backed by evidence root 9f2c1ab47d0e:
3 check(s) passing, 0 regression(s), 1 pre-existing failure(s) left untouched.
2. 基线管理
通过 proof_baseline 建立工作开始时的检查点快照，用于后续对比。
3. 运行时验证
在执行过程中，引擎会根据证据链实时计算验证结论，决定是否允许继续或停止。
适用场景¶
- 安全关键型开发：需要严格证明代码变更确实修复了问题且未引入新缺陷。
- 严格回归测试：对变更影响范围有高要求的自动化流程。
- 第三方审计：需要将 Agent 的执行过程作为不可篡改的审计日志。
注意事项¶
- 插件以当前 DSH 进程的权限运行，安装前建议审查源码。
- 该插件基于 MIT 许可证开源。
- 证据存储在本地，需配合签名密钥与离线锚点（Out-of-band anchor）以实现真正的防篡改。
结语¶
dsh-proof 将 Agent 开发从“盲目执行”推向“可验证执行”。通过重构“完成”的定义，它为 DeepSeek Harness 提供了工业级的证据审计能力。
- 目录页: dsh-proof
- GitHub: beijingwahw/dsh-proof
