DeepSeek Harness 插件介绍:dsh-loader-settlement-proof

前言

DeepSeek Harness (DSH) 采用一切皆插件的架构。在插件加载和工具调用的过程中,往往需要一种方式来验证加载状态、注入闭合以及工具 Schema 的结算。dsh-loader-settlement-proof 插件提供了一个离线证据层,用于记录和验证这些 DSH Loader 的结算信息。

是什么

该插件由 dongsheng123132 维护,属于 admin-security 类别。它生成确定性、内容寻址的 JSON,用于验证 DSH Loader 的修订版和合同绑定、生命周期状态以及工具 Schema 收据。

核心功能

  1. 离线证据层:生成确定性、内容寻址的 JSON,支持离线审计。
  2. 生命周期验证:验证 declared → resolved → loaded → activated 的生命周期。
  3. 绑定与收据:验证 DSH Loader 修订版和合同绑定、工具名称及其 schema SHA-256 收据。
  4. 状态检查:验证请求与已解析注入、启用/必需的入口激活、分类失败。
  5. 碰撞检测:验证重复条目、阶段、工具以及跨条目工具碰撞。
  6. 字节验证:DSH 工具/CLI 可以在显式 artifactDir 下发布并验证字节。
  7. 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 仓库。

羽毛球分组比赛记分
小程序二维码

欢迎使用《羽毛球分组比赛记分》微信小程序

小夜