DeepSeek Harness (DSH) 生態奉行“一切皆插件”的理念。在構建智能體或供應鏈驗證流程時,如何在不依賴實時沙盒或在線網絡驗證的情況下,確認構建過程是否嚴格遵循聲明的邊界,是一個關鍵問題。dsh-build-hermeticity-proof 插件旨在提供一種離線、基於哈希的確定性證據層,用於驗證記錄的構建訪問是否嚴格停留在聲明的文件、環境、網絡、時鐘和隨機性閉包內。
該插件由 dongsheng123132 維護,屬於 admin-security 類別。它是一個離線、確定性證據層,專爲 DeepSeek Harness 供應鏈設計。其核心價值在於僅通過哈希值驗證構建訪問收據的內部完整性和策略合規性,無需在驗證階段執行構建或進行網絡請求。
核心功能¶
- 離線哈希證明:僅通過哈希驗證構建訪問範圍,無需在線驗證。
- 全面的邊界檢查:驗證文件讀寫、環境變量讀取、網絡、時鐘和隨機性訪問。
- 確定性內容尋址:生成確定性內容尋址輸出。
- 輕量級驗證器:驗證器無運行時依賴,不生成子進程,不發起網絡請求。
安裝與啓用¶
使用前請確保環境已安裝 Node.js 22 或更高版本。通過以下命令安裝插件:
dsh plugin add github:dongsheng123132/dsh-build-hermeticity-proof#COMMIT
典型用法¶
插件暴露了 dsh_build_hermeticity_inspect 和 dsh_build_hermeticity_verify(來自無頭核心),同時也通過獨立的 MCP stdio 服務器暴露了 build_hermeticity_inspect 和 build_hermeticity_verify。CLI 接受 inspect 或 verify 命令,並需要顯式的 JSON 路徑。
報告僅包含哈希、計數、布爾值、分類和裁決。驗證器會拒絕密鑰形狀的材料、原始日誌以及 body/content 字段。
在使用示例 examples/hermetic 時,驗證器會讀取工作區相對的非符號鏈接清單,並寫入到顯式的工作區相對 artifactDir 中,通過回讀來驗證其完整性。
適用場景與注意事項¶
- 適用場景:適合需要驗證構建證據內部完整性和策略合規性的場景,特別是對離線驗證有要求的場景。
- 侷限性:
- 插件不執行構建,也不強制執行沙盒。它不認證收據,也不證明未記錄的訪問不可能發生。
- 插件不證明可復現性。一個
hermetic裁決僅意味着提供的收據在內部是完整的且符合策略。 - 在 v1 拒絕網絡策略下,觀察到的網絡訪問會失敗。
- 生態說明:DSH 理念是「一切皆插件」,社區目錄是獨立站點,與 DeepSeek / 幻方無官方從屬關係。
該插件通過離線哈希證明爲構建邊界提供了驗證層。如需查看源碼或獲取更多信息,請訪問其 GitHub 倉庫或社區目錄頁面。