dsh-decision-effect-proof：DSH 授權決策與效果信封一致性證明

前言¶

DSH 理念是“一切皆插件”。在智能體開發中，記錄的授權決策與其對應的效果信封是否一致，是驗證系統狀態的關鍵邊界。該插件提供離線、確定性證明，用於覈驗兩者是否匹配。

插件簡介¶

該插件由 dongsheng123132 維護，旨在檢查授權/效果信封的一致性。它檢測拒絕動作的效果、從未結算的授權動作、請求/狀態/策略不匹配、缺失確認、重複冪等性摘要、重複以及證據亂序等情況。

核心能力¶

1. 一致性檢查：檢查授權/效果信封的一致性。
2. 異常檢測：
   - 檢測拒絕動作的效果。
   - 檢測從未結算的授權動作。
   - 檢測請求/狀態/策略不匹配。
   - 檢測缺失確認。
   - 檢測重複冪等性摘要。
   - 檢測重複。
   - 檢測證據亂序。
3. 報告機制：報告基於內容尋址，發佈後通過回讀進行驗證。

工具支持¶

插件提供多種工具用於檢查與驗證：

CLI 工具¶

• dsh_decision_effect_inspect
• dsh_decision_effect_verify

MCP 工具¶

• decision_effect_inspect_inline：接受內聯 JSON，無法選擇文件系統路徑。
• decision_effect_verify_inline：接受內聯 JSON。

文件工具特性¶

文件工具接受工作區相對路徑，拒絕遍歷和符號鏈接，限制輸入大小，僅寫入指定 artifact 目錄下，原子發佈，並通過回讀驗證。

安裝¶

通過 DSH 插件管理器安裝：

dsh plugin --profile web add github:dongsheng123132/dsh-decision-effect-proof#COMMIT

典型用法¶

檢查證據¶

dsh-decision-effect-proof inspect examples/decision-effects.

驗證一致性¶

dsh-decision-effect-proof verify examples/decision-effects. artifacts

適用場景與注意事項¶

該插件旨在檢查明確的“無體證據”，以驗證其他層無法暗示的更窄邊界。它不證明效果發生，只證明收據內部一致。

重要說明：
- 該插件不是審批引擎、策略評估器、動作運行時、簽名格式或提示包裝器。
- 決定或強制執行訪問的插件是 dsh-user-approval、dsh-auto-approval、dsh-tiered-approval 和 dsh-permission-rules。
- 安全邊界在 SECURITY.md 中記錄。

總結¶

該插件爲 DSH 開發者提供了一種嚴謹的方法來驗證授權決策與效果信封的一致性，確保系統狀態的可靠性。

GitHub 倉庫