如何用确定性的约束驯服不确定的基础设施
一本逐能力的源码级参考书 —— 主流 coding agent harness 在每个能力点上各家怎么做、谁做得好、为什么
作者：手工川（LovStudio.AI 创始人 · yoda 作者）
LLM 是一座不确定的基础设施；harness 是套在它外面的一层确定性约束。这本书不讲哲学口号，讲源码：每一个能力点都拆开主流 harness 的真实实现——按固定 commit 钉死、给出 path:line、贴代码片段、做差异矩阵、给最小复现、列失效条件。
每章「结论」一句话先行：这个能力各家怎么做、谁做得好、harness（Yoda）该怎么接（确定性边界画在哪、谁兜底）。
源码为证 · 差异优先 · 可复现 · 追踪上游 · 结论先行。每条断言打证据标签 [一手源码] / [一手文档] / [推断]。详见 CHARTER.md，版本钉见 SOURCES.md。
Codex CLI · Goose · OpenCode · Aider · Cline · OpenHands · SWE-agent · LangGraph（+ Claude Code 仅 [一手文档]）。版本见 SOURCES.md。
| 部 | 章 |
|---|---|
| 控制与权限 | 权限模型 · 沙箱与隔离 |
| 工具 | 工具执行模型与 schema 校验 |
| 上下文与可观测 | repo-map 与上下文构建 · 事件流与可重放 · 上下文压缩 |
| 约束 | 配置即约束 · 错误沉淀为约束（自进化） |
| 编辑与验证 | 编辑应用与容错匹配 · 确定性检查与错误回灌 · 自我验证 · 失控检测 |
| 状态与回滚 | 回滚机制 · 检查点/持久化执行/时间旅行 |
| 编排 | 并发架构范式 · 子 agent 与 context firewall |
bash scripts/build-html.sh # mdBook → ./book/index.html
bash scripts/build-pdf.sh # Pandoc → ./通往Harness之路.pdf（需 xelatex）