前言¶
在 DeepSeek Harness (DSH) 的開發中，智能體偶爾需要臨時豁免某些策略限制。爲了確保合規性，不能僅依賴運行時的執行結果，還需要在事後（離線）證明這些豁免確實被嚴格控制在批准的範圍內。dsh-policy-waiver-proof 插件提供了一種離線的、確定性的證據層，用於驗證已發佈的臨時策略例外是否越界。
插件定位¶
這是一個由開發者 dongsheng123132 維護的插件。它的核心價值在於生成離線證據，證明臨時策略豁免是否保持在批准的邊界內。它不負責授予豁免、更改策略、批准工具調用或執行外部命令，而是專注於驗證已發出臨時例外（包括撤銷或關閉）的邊界生命週期。
核心功能¶
該插件具備以下能力：
* 離線驗證：驗證器不使用運行時依賴或網絡訪問。
* 邊界證明：證明記錄的使用是否保持在批准的主體、修訂版、範圍、操作白名單、時間窗口、使用限制和補償控制之內。
* 生命週期管理：驗證豁免的連續性、生效時間、撤銷/關閉狀態以及補償控制的有效性。
* 輸出格式：報告僅包含哈希、計數、布爾值、公共有界 ID 轉換爲哈希以及機器可讀裁決，拒絕原始業務主體和類似祕密的材料。
安裝與啓用¶
使用官方安裝命令添加插件：
dsh plugin add github:dongsheng123132/dsh-policy-waiver-proof#COMMIT
典型用法¶
插件發佈了兩套工具：
1. CLI 工具：從 DSH bundle 發佈，名稱爲 dsh_policy_waiver_inspect 和 dsh_policy_waiver_verify。
2. MCP stdio 服務器：獨立的 MCP stdio 服務器發佈 policy_waiver_inspect 和 policy_waiver_verify。
CLI 接受 inspect 或 verify 後跟一個明確的 JSON 清單路徑。清單文件示例位於 examples/contained.json。DSH 驗證工具僅讀取工作區相對的非符號鏈接清單，並將輸出寫入一個明確的工作區相對 artifactDir。
驗證邏輯¶
插件對豁免使用的驗證遵循嚴格規則：
1. 連續性：已應用的使用必須是連續的。
2. 時間與順序：必須發生在評估之前且在豁免窗口內，發生在撤銷/關閉之前。
3. 約束匹配：必須匹配所有綁定，且數量低於 maxUses。
4. 補償控制：必須具有新鮮的有效補償控制。
5. 拒絕處理：被拒絕的嘗試會被披露，但不會消耗批准的使用限制。
6. 證據推斷：缺失或陳舊證據永遠不會被靜默推斷。
注意事項¶
- 運行環境：需要 Node.js 22 或更高版本。
- 清單要求：DSH 驗證工具只讀取工作區相對的非符號鏈接清單，確保文件路徑正確且未被篡改。
- 權限與安全：插件以當前 DSH 進程權限運行，安裝前應檢查源碼與許可證。
總結¶
dsh-policy-waiver-proof 爲 DSH 提供了策略合規性的離線審計能力。通過哈希地址和機器可讀裁決，它確保了臨時策略例外在批准的邊界內被嚴格控制，適用於需要嚴格審計和合規的場景。更多詳情請訪問 插件目錄 或查看 GitHub 倉庫。
