dsh-loader-settlement-proof

一个用于记录 DeepSeek Harness Loader 结算的离线证据层。它验证一个固定的、无正文的收据，用于：

• 主题 DSH 修订版与 Loader 合约绑定；

• 有序的 declared → resolved → loaded → activated 生命周期；

• 启用/必需的条目激活和分类失败；

• 请求的与解析的注入；

• 必需的工具名称及其 schema SHA-256 收据；

• 重复条目、阶段、工具和跨条目工具冲突。

它生成确定性的、内容寻址的 JSON。DSH 工具/CLI 只能在显式的 artifactDir 下发布，并在发布后验证字节。MCP 仅限内联。

明确的边界

这不是另一个 Loader。DSH app-boot 已经强制执行实时的 assertEntriesLoaded 和 assertEntriesActivated；dsh-reloader 重启一个表面，dsh-builtin-toggles 更改一个允许列表中的 UI 子集，dsh-profile-lock-proof 证明已安装的组合，而 Awesome 运行时矩阵执行真实的跨平台启动。此插件验证一个由生产者提供的、绑定修订版的结算收据，以供后续审计。它从不导入、运行、重新加载或切换已记录的插件，也从不接受原始日志、堆栈跟踪、输出、业务正文或机密。

Related MCP server: ShipReceipt MCP Server

用法

dsh plugin --profile web add github:dongsheng123132/dsh-loader-settlement-proof#<commit>
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。

验证

npm test
npm run check
npm run smoke:plugin
npm run smoke:mcp
python C:/Users/ZhuanZ/.codex/skills/.system/plugin-creator/scripts/validate_plugin.py .

verified 意味着收据与其显式策略在内部一致。它不是安全认证，也不能证明收据生产者诚实地观察了实时 Loader。