前言¶
在 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
