前言¶
DeepSeek Harness (DSH) 採用一切皆插件的架構。在插件加載和工具調用的過程中,往往需要一種方式來驗證加載狀態、注入閉合以及工具 Schema 的結算。dsh-loader-settlement-proof 插件提供了一個離線證據層,用於記錄和驗證這些 DSH Loader 的結算信息。
是什麼¶
該插件由 dongsheng123132 維護,屬於 admin-security 類別。它生成確定性、內容尋址的 JSON,用於驗證 DSH Loader 的修訂版和合同綁定、生命週期狀態以及工具 Schema 收據。
核心功能¶
- 離線證據層:生成確定性、內容尋址的 JSON,支持離線審計。
- 生命週期驗證:驗證
declared → resolved → loaded → activated的生命週期。 - 綁定與收據:驗證 DSH Loader 修訂版和合同綁定、工具名稱及其 schema SHA-256 收據。
- 狀態檢查:驗證請求與已解析注入、啓用/必需的入口激活、分類失敗。
- 碰撞檢測:驗證重複條目、階段、工具以及跨條目工具碰撞。
- 字節驗證:DSH 工具/CLI 可以在顯式
artifactDir下發布並驗證字節。 - MCP 支持:MCP 工具僅支持內聯。
安裝與啓用¶
在 DSH 環境中添加插件,需要指定具體的 commit hash 或 tag:
dsh plugin --profile web add github:dongsheng123132/dsh-loader-settlement-proof#<commit>
典型用法¶
安裝後,可以使用 CLI 命令檢查和驗證結算證據:
dsh-loader-settlement-proof inspect examples/settlement.json
dsh-loader-settlement-proof verify examples/settlement.json artifacts
也可以通過 DSH 工具直接調用:
- dsh_loader_settlement_inspect
- dsh_loader_settlement_verify
對於 MCP 環境,可使用:
- loader_settlement_inspect_inline
- loader_settlement_verify_inline
適用場景與注意¶
- 定位澄清:這不是另一個 Loader。DSH
app-boot已經處理運行時檢查(如assertEntriesLoaded和assertEntriesActivated),此插件僅驗證生產者提供的、與修訂版綁定的結算收據。 - 行爲限制:它不導入、運行、重新加載或切換已記錄的插件,也不接受原始日誌、堆棧跟蹤、輸出、業務體或密鑰。
- 驗證含義:
verified僅表示收據與其顯式策略內部一致,而非安全認證或對生產者誠實性的證明。
短結尾¶
該插件通過提供離線、確定性的證據層,幫助 DSH 開發者審計插件加載和工具 Schema 的狀態。更多細節請查閱插件目錄或GitHub 倉庫。