DeepSeek Harness (DSH) 中的架構遷移（Schema Migration）通常記錄在測試套件中。驗證遷移是否可冪等、可回滾以及是否遵守不變量是工程化的關鍵環節。傳統的驗證方式可能難以直接校驗證據的完整性和確定性。dsh-schema-migration-proof 插件旨在解決這一問題，通過離線方式生成並校驗遷移證據。
定位與功能¶
dsh-schema-migration-proof 是一個 DeepSeek Harness 插件，由 dongsheng123132 維護，分類爲 admin-security。它不執行遷移或返回數據體，而是專注於爲已記錄的 DeepSeek Harness 架構遷移生成離線、內容尋址（Content-addressed）的證據。其核心作用是驗證固定固定件信封的輸出確定性、冪等重跑能力、可逆回滾性、必需不變量以及顯式聲明的數據丟失字段。
主要功能包括：
- 離線內容尋址證據：爲已記錄的 DSH 架構遷移生成離線證據，不依賴網絡或外部執行。
- 輸出確定性驗證：檢查固定件信封，確保輸出是確定性的。
- 冪等重跑與可逆回滾：支持遷移的冪等重跑以及可逆的回滾驗證。
- 不變量檢查：驗證必需的不變量，缺失或失敗時採用失敗關閉（fail closed）策略。
- 顯式丟失披露：對於有損遷移，必須枚舉所有被披露的丟失字段。
安裝與啓用¶
使用官方 CLI 進行安裝。執行以下命令將插件添加到當前配置文件中：
dsh plugin --profile web add github:dongsheng123132/dsh-schema-migration-proof
典型用法¶
- CLI 使用：在終端中運行驗證命令，指定工作區根目錄、遷移文件和產物目錄。
dsh-schema-migration-proof verify --workspace-root examples --migration migration.json --artifact-dir artifacts
- MCP 使用：通過 Model Context Protocol (MCP) 調用內聯檢查和驗證功能。
適用場景與注意¶
- 適用場景：適合需要嚴格驗證架構遷移證據完整性和安全性的場景。
- 注意點：
- 本插件不是遷移運行器、數據庫工具、恢復系統或第二層契約驗證器。
- 插件會拒絕包含 Body、Data、Payload、Secret、Credential、Prompt 和 Message 形狀字段的輸入。
- 當必需的不變量缺失、失敗或未被觀察時，驗證將失敗（fail closed）。
- 運行環境要求：DSH 版本需 >= 0.1.2-alpha.4，Node.js 版本需 >= 22。
總結¶
該插件爲 DSH 的架構遷移測試提供了嚴謹的證據生成和校驗手段。對於追求遷移安全性和確定性的工程實踐，這是一個必要的輔助工具。
