🧩

dsh-verified-progress

admin-security 更新于 2026.10.18

在终端中运行以下命令：

dsh plugin install lion231226/dsh-verified-progress

将以下提示词粘贴到 DeepSeek Harness 对话框中：

在 DeepSeek Harness 中执行 dsh plugin install lion231226/dsh-verified-progress 安装本插件（源码仓库：https://github.com/lion231226/dsh-verified-progress），安装后重启 Harness 以加载插件。

插件介绍

长时间运行的智能体任务里，进度往往靠执行方自报：一句「已完成」进入对话记录，下一轮就在未经核实的断言上继续堆叠，下游无法区分「已验证」与「乐观汇报」，错误会一路放大到看似笃定的错误结论。

dsh-verified-progress 补上这层核对：当代理声称某步完成时，由无对话上下文的独立校验子代理读取真实工作区并给出结构化裁决；只有通过准入规则的干净、一致、完整结论才会写入账本。被拒绝的轮次仍作为证据保留，不会被升格为进度。准入不靠提示词恳求只读，而是在校验前后对工作区做指纹快照（大小、mtime，限额内还有 SHA-256）；若校验期间文件发生变化，该轮记为阻断/违规，报告再漂亮也不能晋级。

账本以 ledger.jsonl 持久化，并用 state.json 做 last-wins 投影，崩溃、压缩上下文或新会话都能回答：哪些已验证、哪些因何被拒、还剩什么。工具 verified_progress_verify、verified_progress_ledger、verified_progress_state 覆盖单步校验与状态回看；verify 需声明 guard_scope，避免把 Harness 自身会话/存储目录的写入误判为校验方篡改。

适合多轮、长链路、需要可恢复「已验证进度」而非自嗨汇报的 DSH 工作流；若任务只是一两轮短对话，额外校验的 token 成本可能不值得。需支持不继承父上下文的子代理提供方；校验子是 Harness 内代理而非独立进程，指纹守卫是正确性工具而非安全沙箱。