在 DeepSeek Harness (DSH) 環境中處理部署回滾時，開發者往往需要驗證所有目標是否確實停止服務失敗版本，並恢復到上一個已知良好的狀態。這通常涉及檢查實時基礎設施或執行回滾操作。爲了避免依賴實時觀測帶來的不確定性，或執行實際回滾帶來的副作用，可以使用 dsh-deployment-rollback-proof 插件。
是什麼¶
該插件由 dongsheng123132 維護，旨在生成離線、確定性的證據。它不執行回滾，也不觀察實時基礎設施，而是通過驗證一個明確、僅包含哈希的 manifest，證明每個聲明的部署目標都停止服務了一個失敗的工件，並在 RTO（恢復時間目標）內收斂到相同的最後一個已知良好摘要。
核心功能¶
該插件專注於對 manifest 的驗證，主要功能包括：
- 驗證明確、僅哈希的 manifest。
- 檢查精確目標覆蓋率和連續觀測序列。
- 檢查最小不同觀察者。
- 檢查環境綁定和所有目標間的最後一個已知良好摘要。
- 驗證零活動失敗工件副本和精確已知良好副本收斂。
- 檢查事件/計劃綁定、時間順序、RTO 和證據新鮮度。
- 拒絕包含敏感鍵的報告。
- 生成機器可讀的結算裁決。
安裝與啓用¶
DSH 會從 cordis.patch.yml 安裝該包。使用前需確保環境滿足以下條件：
- Node.js 22 或更高版本。
- DSH 版本大於等於 0.1.2-alpha.4。
典型用法¶
插件提供命令行工具和 DSH 集成接口。
命令行使用示例：
# 使用 inspect 進行檢查
node bin/dsh-deployment-rollback-proof.mjs inspect examples/rolled-back.
# 使用 verify 進行驗證
node bin/dsh-deployment-rollback-proof.mjs verify examples/rolled-back.
DSH 集成方式：
插件會暴露 dsh_deployment_rollback_inspect 和 dsh_deployment_rollback_verify 兩個接口。
MCP 服務器方式：
插件還提供了一個獨立的 stdio MCP 服務器，暴露 deployment_rollback_inspect 和 deployment_rollback_verify 接口。
適用場景與注意¶
- 離線運行：插件僅離線工作，不執行回滾、不認證收據、不授予授權、不觀察實時基礎設施、不證明應用正確性。
- 僅驗證 manifest：它僅驗證明確、僅哈希的 manifest。
- 安全性：拒絕路徑轉義和符號鏈接，創建內容尋址的報告，並拒絕包含敏感鍵的報告（如名爲
secret、authorization、raw、body、content、log、prompt或chat的鍵）。 - 許可證：MIT 許可證。
