DeepSeek Harness Reliability Governor:DeepSeek Harness 插件

前言

DeepSeek Harness(DSH)在构建智能体时,任务输出往往依赖 LLM 的采样结果,这导致“虚假完成”或“未完成但自我报告完成”的情况难以避免。现有的 DSH 工作流插件通常将独立验证留给了上层架构,留下了运行时的安全缺口。

deepseek-harness-reliability-governor 插件旨在填补这一通用运行时缺口。它不试图让 LLM 变得确定,而是通过“可靠性契约”在契约激活期间,将智能体的行为引导至可观察的检查通过、有界修复耗尽或真实报告认证为止。它将模型的一次性断言转变为一个基于证据的确定性决策过程。

核心能力

该插件提供了一套命令,用于管理证据门控和代码验证流程:

  1. reliability_assess:在评估任务输出之前,预览声明式覆盖范围、独立源计数以及脆弱证据警告。
  2. reliability_draft:在可选的辅助模型模式下,请求一个受限制的仅文本草稿,并记录其来源和回执。
  3. reliability_begin:开启一个显式的完成契约。
  4. reliability_begin_code:开启一个代码契约,该契约自动包含每个部署所需的受信任验证配置文件。
  5. reliability_verify:立即运行确定性检查。
  6. reliability_status:读取持久化契约、尝试次数、终端状态和回执。
  7. reliability_abstain:停止而不伪造证明。
  8. reliability_code_profiles:列出受信任配置文件的元数据,而不暴露模型可重写的命令。
  9. reliability_code_verify:通过 Harness 管理的子进程和沙箱服务执行不可变配置文件。
  10. agent/turn-stopping enforcement:在允许结算前验证活跃契约,然后引导有界修复或真实报告认证/耗尽。

审核机制与意图确认

默认情况下,reliability_begin 在激活前会暂停两次。第一次使用 A2UI v0.9.1 的基础目录界面,展示解释后的目标、约束、假设、非目标和歧义。只有对精确意图的批准才会开启第二个界面,显示声明、检查、作者身份、覆盖警告和修复预算。客户端如果没有自定义渲染器,将通过 Harness 的原生问题 UI 接收这些提案。两个阶段的批准都是回执绑定的;任一阶段失败都不会留下活跃契约。

代码验证与证据管理

插件通过 Harness 的 ctx.subprocess 和 ctx.sandbox 执行代码检查,模型仅提供配置文件 ID。插件从不使用 LLM 作为结果裁判,不启动提供商重试/回退,也不重复业务操作。

受信任验证者的证据会被保守地取消有效性。任何随后的非治理者工具调用(包括嵌套的代码模式调度)以及任何具有 workspace-write 访问权限的后续不同验证配置文件都会取消其有效性。这防止了测试结果验证在代理或其他验证者更改代码后仍被认证。

安装与使用

这是一个非官方社区项目,使用 MIT 许可证。可以通过社区目录或 GitHub 仓库访问:

  • 社区目录: https://www.skillhub.cn/plugins/chenjie1129/deepseek-harness-reliability-governor
  • GitHub 仓库: https://github.com/chenjie1129/deepseek-harness-reliability-governor

插件版本为 0.7.0,需 Node.js 版本 ^22.19.0 || >=24.0.0。

注意事项

  1. 非官方项目:这是一个社区项目,公开招募公测测试员。反馈协议见仓库内的 FEEDBACK.md。
  2. 不替代 LLM 判断:插件不使 LLM 确定性,只对契约下的代理引导做出更窄的承诺。
  3. 保守的证据取消:任何后续的非治理者工具调用都可能使受信任证据失效,需要重新运行验证。

总结

该插件通过显式的契约和证据门控,为 DSH 智能体提供了确定性完成和代码验证的基础设施。适合需要在任务输出上进行严格证据审查和边界测试的开发场景。

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

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

小夜