前言¶
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 仓库。