前言¶
DeepSeek Harness（DSH）的会话持久化目前没有通用的删除或留存 API，社区插件往往实现不同的变更策略。这导致验证会话是否真正被删除、以及删除后的状态是否持久存在变得困难。dsh-retention-settlement-proof 是一个辅助层，它通过消耗预先记录的收据，来验证一个不透明的主体在声明的存储投影（如 persistence-list、session-index、workspace-index）中保持缺失，并回答“是否消亡”的问题。
插件介绍¶
这是一个离线、无主体（body-free）的证据生成插件，用于 DeepSeek Harness 的留存结算。它不修改任何数据，仅生成证明。由用户 dongsheng123132 维护，采用 MIT 许可证。
核心功能¶
- 离线无主体留存结算证据：生成离线的留存结算证据，不涉及会话正文。
- 消耗预录收据：读取社区插件或测试工具预先记录的收据。
- 跨表面验证：检查主体在
persistence-list、session-index、workspace-index等表面是否完全缺失。 - CLI 集成：提供
inspect和verify两个命令。 - MCP 支持：作为独立的 stdio MCP 服务器提供证明能力。
- 安全隔离：不删除任何文件，仅做验证；报告不包含会话文本、文件路径、凭证或敏感信息。
- 哈希与判断：输出结果仅包含 SHA-256 哈希和验证结果。
使用方法¶
插件提供了 CLI 和 MCP 两种接入方式。
CLI 命令¶
# 检查当前工作区
dsh-retention-settlement-proof inspect --workspace . --manifest proof.json
# 验证证据
dsh-retention-settlement-proof verify --workspace . --manifest proof.json --artifactDir artifacts
MCP 服务器¶
独立的 stdio MCP 服务器暴露了证明专用的内联等效命令，且从不访问文件系统。
环境与注意事项¶
- 兼容性：DSH 版本需大于等于
0.1.2-alpha.4，Node.js 版本需大于等于22。 - 权限：插件以当前 DSH 进程的权限运行。请确保在安装前检查源码与许可证（MIT）。
- 安全原则：验证过程不会删除任何文件。报告仅包含哈希值和判断结果，不包含会话文本、收据正文、文件路径、凭证或任何敏感信息。
- 失败安全：如果存在后续的
present: true、收据过期、缺少表面、重启前证据、身份不匹配、摘要不匹配、不安全路径或未达到阈值，验证将失败。
总结¶
该插件通过离线验证和严格的证据合约，解决了 DeepSeek Harness 中“删除”状态难以被程序化验证的痛点。更多细节请访问 GitHub 仓库。
