Harness Engineering as Categorical Architecture
来源：https://arxiv.org/abs/2605.12239 作者：Bogdan Banu 发表：2026-05-12 收录时间：2026-05-18
概述
用范畴论（Category Theory）为 Harness Engineering 建立形式化理论。这是目前看到的最理论化的一篇——用数学语言定义 Harness 的组合性、属性保持、跨框架比较。
核心框架：Architecture Triple (G, Know, Φ)
来自 ArchAgents 框架，将 Agent 外部化的四大支柱映射到范畴论结构：
| 外部化支柱 | 范畴论映射 | 含义 | |-----------|-----------|------| | Memory | Coalgebraic State | 余代数状态 — 状态的动态演化 | | Skills | Operad-composed Objects | 算子组合 — 技能的可组合性 | | Protocols | Syntactic Wiring G | 语法连接 — 协议即线路图 | | Harness | Architecture (G, Know, Φ) | 整体三元组 — Harness 就是 Architecture |
结构保证
- Integrity Gates — 完整性门控
- Quality-based Escalation — 基于质量的升级
- Supported Convergence Checks — 收敛性检查
这些保证是 Know-level certificates，其保持通过结构性重放（structural replay）验证：
- 编译器检查身份和验证器重放，而非输出层正确性或模型行为
- 不依赖模型表现，是纯结构性的保证
编译器验证
实现了参考编译器，可编译到 5 个主流框架：
- Swarms ✅
- DeerFlow ✅
- Ralph ✅
- Scion ✅
- LangGraph ✅
四种配置编译器通过身份或重放保持三种命名证书类型。LangGraph 编译器每个 stage 创建一个节点，提供 LangGraph 原生可观测性而无需重新实现 harness 逻辑。
端到端验证
- 使用真实 LLM Agent 的升级实验
- 质量升级控制路径在两模型一任务实验中是模型无关的（model-parametric）
意义
- Harness Engineering 终于有了形式化理论 — 不再只是经验总结，有数学基础
- 跨框架可编译 — 同一 Harness 规范可以编译到不同 Agent 框架（Swarms/Ralph/LangGraph 等）
- 结构保证 > 行为保证 — 不需要测试"模型做对没有"，而是验证"结构是否保持"
- 模型无关性 — Harness 的质量保证不依赖特定模型
- 与 Externalization 论文的互补 — Externalization 给了"为什么外部化"的理论，这篇给了"外部化后如何保证正确性"的形式化