dsh-reproducible-build-proof: 離線構建一致性驗證

`dsh-reproducible-build-proof` 是 DeepSeek Harness (DSH) 的一個插件,旨在解決獨立構建者確認輸出字節級一致性的問題。該工具提供離線內容尋址證明,通過驗證源修訂、配方、參數及依賴集等輸入的一致性,來確保獨立構建的收斂性。它支持 CLI、MCP stdio 等多種調用方式,生成確定性輸出且無運行時依賴。需注意,該插件僅驗證哈希匹配,不執行構建或來源認證。

閱讀全文
DeepSeek Harness 插件:dsh-policy-waiver-proof

`dsh-policy-waiver-proof` 插件旨在爲 DeepSeek Harness (DSH) 提供離線、確定性的證據層,以驗證臨時策略豁免是否嚴格控制在批准範圍內。該插件專注於生成邊界證明和生命週期管理,確保豁免在主體、範圍、操作白名單及時間窗口內有效。它提供 CLI 和 MCP stdio 工具,支持對豁免連續性、約束匹配及補償控制進行嚴格驗證。插件需 Node.js 22+ 環境,輸出僅包含哈希和機器可讀裁決,不包含敏感原始數據,適合需要嚴格合規審計的場景。

閱讀全文
dsh-deployment-rollback-proof:離線驗證部署回滾收斂

DeepSeek Harness (DSH) 部署回滾證明插件由 dongsheng123132 維護,旨在生成離線、確定性的證據,以證明部署目標已停止服務失敗版本並收斂至已知良好狀態,無需依賴實時觀測或執行實際回滾。 該插件通過驗證包含哈希的 manifest,檢查覆蓋率、連續觀測、RTO 及零活動失敗副本等條件,生成機器可讀的裁決。它支持命令行、DSH 集成及 MCP 服務器三種使用方式,需 Node.js 22+ 環境,並拒絕包含敏感鍵的報告。

閱讀全文
dsh-canary-decision-proof:離線驗證 Canary 決策的證據生成器

`dsh-canary-decision-proof` 是一個控制器無關的離線證據驗證工具,旨在證明漸進式交付中的決策依據。它通過檢查證據完整性、使用正固定點整數進行確定性指標計算,並遵循“證據無效→暫停,指標失敗→中止,否則→發佈”的優先級邏輯,生成內容尋址報告。該插件不執行 rollout,僅提供審計層面的確定性驗證,適合需要嚴格合規和複覈的場景。

閱讀全文
dsh-attestation-proof:DeepSeek Harness 的離線確定性發佈證明

dsh-attestation-proof 是 DeepSeek Harness(DSH)的一款插件,用於生成離線、確定性的發佈證明。該插件通過驗證 manifest 與本地主體及固定密鑰的一致性,填補了供應鏈安全驗證的空白。其核心功能包括離線驗證、支持 DSSE/in-toto 語句、安全報告生成以及嚴格的文件系統限制。它提供 inspect 和 verify 兩個命令,僅輸出包含內容的 JSON 判決,不包含敏感信息,適合在無網環境下進行安全審計和構建隔離場景。

閱讀全文
DSH Artifact Promotion Proof 插件

`dsh-artifact-promotion-proof` 是 DeepSeek Harness (DSH) 的一個管理安全類插件,旨在提供離線、確定性的證據層,驗證工件哈希在構建、預發、生產推廣鏈中的連續性。該插件不依賴網絡或運行時健康檢查,僅通過哈希記錄進行合規性驗證,支持零重建推廣和環境綁定檢查。它通過 CLI 和 MCP stdio 接口暴露 `inspect` 和 `verify` 功能,適用於安全合規審計。安裝需通過 DSH profile 機制,且要求 Node.js 22+ 版本。插件以只讀模式運行,專注於結構化哈希記錄的完整性,拒絕處理機密或原始日誌內容。

閱讀全文
dsh-access-review-proof:訪問審查證據的離線確定性驗證

`dsh-access-review-proof` 是一個由 dongsheng123132 維護的離線確定性證據插件。它通過一系列嚴格檢查(如時間線完整性、權利覆蓋、風險決策、審查者獨立性等),驗證 Microsoft Entra 訪問審查證據是否滿足合規性與一致性要求。該工具旨在解決自動化流程難以追溯 UI 狀態的問題,確保審查過程在數據層面符合特定邏輯與安全規則,支持通過 DSH 或 MCP 進行安裝與使用。

閱讀全文
dsh-schema-migration-proof: 離線內容尋址的架構遷移證據生成器

dsh-schema-migration-proof 是 DeepSeek Harness 的一個安全插件,用於離線生成並校驗架構遷移的確定性證據。它支持驗證輸出確定性、冪等重跑、可逆回滾及顯式數據丟失披露,不執行實際遷移。該插件通過 CLI 或 MCP 提供 fail closed 策略,適用於需嚴格驗證遷移證據完整性與安全性的場景,要求 DSH 版本 >= 0.1.2-alpha.4。

閱讀全文