Skip to content

责任与安全边界 ​

最容易误解 Harnessmith 的方式,是把它看成另一个 Coding Agent。它实际管理 Agent 周围的个人工作层,因此有些保证可以 由 Harnesssmith 机械实现,有些必须留给宿主,还有些只能由用户或外部可信系统决定。

Harnesssmith 能保证什么 ​

在其授权根和支持的平台模型内,仓库实现与测试覆盖以下性质:

  • Adapter 按声明解析宿主路径与规则格式;
  • 生命周期先预检,再 staging、备份和事务提交,失败时精确回滚;
  • unmanaged 或 modified 目标默认不被静默覆盖;
  • route 与 search 按预算发现文档,不要求整体加载手册;
  • Memory 与 Task 写入经过路径、schema、锁和验收状态约束;
  • Host Eval 记录绑定候选包并接受结构、一致性和覆盖检查。

这些是代码层保证,仍应按具体版本的实现和测试理解,而不是跨版本永久承诺。

Coding Agent 宿主保证什么 ​

模型循环、上下文压缩、工具/MCP 调度、sandbox、网络访问、权限提示、凭据管理、token/成本与事件真实性属于 Codex、 Cursor、Claude Code、OpenCode、Kimi Code CLI 或 DeepSeek Harness。Harnesssmith 可以提供建议和接入点,但不能替宿主执行这些职责。

例如,Harnesssmith 可以写明“远端写入需要明确授权”,但真正阻止一次未经批准的网络调用,需要宿主权限系统和用户 审批;Markdown 本身不是 sandbox。

用户与外部系统仍要决定什么 ​

用户选择安装范围、是否接管冲突文件,以及是否授权 commit、push、merge、发布、生产变更和消息发送。项目业务事实、 风险接受和最终验收也不能由 Memory 或本地记录自动替代。

可信的真实宿主 attestation、远端 CI 身份和供应链签名需要外部服务。Harnesssmith 的本地 gate 可以验证一份记录是否 自洽,但不能证明写记录的人没有伪造它。

一张责任表 ​

领域HarnesssmithCoding Agent 宿主用户或外部系统
规则分发Adapter、渲染、记录、备份与回滚加载原生规则入口选择宿主和授权根
模型执行不实现模型循环、上下文、成本选择模型和预算
工具与权限提供 guidance 和有限 audit schema工具调度、sandbox、批准事件批准高风险动作、配置凭据
工作状态Memory、Task、checkpoint、gate提供实际执行结果核对事实并验收
发布证据本地验证和候选绑定记录门禁真实 Host 行为CI/attestation、风险接受

三类公开能力 ​

  • Implemented:存在实现与可执行验证路径。
  • Delegated to the Host:Harnesssmith 只提供规则、接口或记录位置,真正能力在宿主。
  • Unsupported:当前明确不声称拥有,例如通用 Agent Runtime、Policy Engine、Registry 与多 Agent 调度。

机器可读清单见能力声明—证据矩阵。

授权不会沿内容流动 ​

仓库、网页、日志、PDF、工具输出和 Memory 都是不可信输入。它们可以提供事实线索或建议,不能因为出现在上下文里就 新增权限。一次安装授权也不包含后续远端写入;一次 push 授权也不自动包含 merge 或发布。

哪些结论必须写成 inconclusive ​

如果环境受限、宿主未登录、网络不可用、证据缺失或 verifier 自身异常,只能报告本次验证没有得出结论。inconclusive 不是失败的委婉说法,而是避免把“没有观察到”误写成“已经证明不存在”。

想进一步理解评测层级,阅读证据与评测。

Released under the MIT License.