在 DeepSeek Harness (DSH) 环境中处理部署回滚时，开发者往往需要验证所有目标是否确实停止服务失败版本，并恢复到上一个已知良好的状态。这通常涉及检查实时基础设施或执行回滚操作。为了避免依赖实时观测带来的不确定性，或执行实际回滚带来的副作用，可以使用 dsh-deployment-rollback-proof 插件。
是什么¶
该插件由 dongsheng123132 维护，旨在生成离线、确定性的证据。它不执行回滚，也不观察实时基础设施，而是通过验证一个明确、仅包含哈希的 manifest，证明每个声明的部署目标都停止服务了一个失败的工件，并在 RTO（恢复时间目标）内收敛到相同的最后一个已知良好摘要。
核心功能¶
该插件专注于对 manifest 的验证，主要功能包括：
- 验证明确、仅哈希的 manifest。
- 检查精确目标覆盖率和连续观测序列。
- 检查最小不同观察者。
- 检查环境绑定和所有目标间的最后一个已知良好摘要。
- 验证零活动失败工件副本和精确已知良好副本收敛。
- 检查事件/计划绑定、时间顺序、RTO 和证据新鲜度。
- 拒绝包含敏感键的报告。
- 生成机器可读的结算裁决。
安装与启用¶
DSH 会从 cordis.patch.yml 安装该包。使用前需确保环境满足以下条件：
- Node.js 22 或更高版本。
- DSH 版本大于等于 0.1.2-alpha.4。
典型用法¶
插件提供命令行工具和 DSH 集成接口。
命令行使用示例：
# 使用 inspect 进行检查
node bin/dsh-deployment-rollback-proof.mjs inspect examples/rolled-back.
# 使用 verify 进行验证
node bin/dsh-deployment-rollback-proof.mjs verify examples/rolled-back.
DSH 集成方式：
插件会暴露 dsh_deployment_rollback_inspect 和 dsh_deployment_rollback_verify 两个接口。
MCP 服务器方式：
插件还提供了一个独立的 stdio MCP 服务器，暴露 deployment_rollback_inspect 和 deployment_rollback_verify 接口。
适用场景与注意¶
- 离线运行：插件仅离线工作，不执行回滚、不认证收据、不授予授权、不观察实时基础设施、不证明应用正确性。
- 仅验证 manifest：它仅验证明确、仅哈希的 manifest。
- 安全性：拒绝路径转义和符号链接，创建内容寻址的报告，并拒绝包含敏感键的报告（如名为
secret、authorization、raw、body、content、log、prompt或chat的键）。 - 许可证：MIT 许可证。
