前五节分别形式化了长程智能体 Harness 的五个子系统。把它们放回一起，可以看到一个统一的图景：Harness 的全部设计，是在四个硬约束下对五种稀缺资源的持续分配。
| 硬约束（不可改变） | 对应稀缺资源（可分配） | 分配机制 | 所属节 |
|---|---|---|---|
| 记忆有限性：$\|\mathcal{I}(T)\| \gg W$ | 窗口内 token 席位 | 预算方程 + 压缩算子 $\Gamma$ | 第 2 节 |
| 注意力稀缺性：token 即成本 | 每轮往返的信息密度 | 行动接口选型 + 结果截断 | 第 3 节 |
| 行动风险性：副作用不可撤销 | 风险敞口 $\sum_t p_t$ | 能力边界 + 级联过滤 | 第 4 节 |
| 过程连续性：中断必然发生 | 重放算力与检查点位置 | 事件溯源 $s_t=\mathrm{fold}(e_{1..t})$ | 第 2、3 节 |
| （任务规模性：单窗口装不下意图） | 并行上下文实例 | 委派分解 + 通信预算 | 第 5 节 |
这五行共同构成一个"资源-约束"矩阵。任何一个长程智能体系统的设计决策，原则上都能落在这个矩阵的某个格子中；评估一个 Harness 的成熟度，等价于评估它对这五个格子的覆盖质量。
从 Codex 实现中反复出现的设计不变量，我们提炼出以下公理。它们彼此独立，合起来构成可迁移的设计方法论。
一切状态皆可由事件序列重建：
$$s_t = \mathrm{fold}(e_1, e_2, \dots, e_t)$$
推论：崩溃恢复、会话分支、事后审计、多客户端订阅，是同一机制（事件日志）的四个免费副产品，而非四个需要分别实现的功能。
上下文是预算而非容器。窗口 $W$ 在任何时刻都满足分配不等式（前缀 + 历史 + 工具输出 + 输出预留），且压缩触发是占用率的函数而非事后补救。推论：任何"先把东西塞进窗口再说"的设计在长程下必然失败。
压缩算子 $\Gamma$ 必然损失信息，因此压缩时点的选择是一个最优停点问题，而非固定策略；且必须为压缩失败保留回退链（本地兜底、模型降级）。
自主性由操作系统级能力边界定义，而非由提示词约束定义。动作空间的三分 $\mathcal{A}_{free} / \mathcal{A}_{gated} / \mathcal{A}_{denied}$ 中，$\mathcal{A}_{free}$ 的免审批自由完全来自其不可绕越的沙箱边界。推论：提示词是软约束，沙箱是硬约束；长程安全只能建立在硬约束上。
审批缓存"只缓存批准、不缓存拒绝"；任何不确定情形默认拒绝（失败关闭）。其根源是错误代价不对称：
$$C(\text{误拒}) = \text{一次额外确认} \;\ll\; C(\text{误放}) = \text{不可逆损失}$$
子任务的执行上下文相互独立（委派即上下文划分），风险审查者与被审查者目标隔离（独立 Guardian）。推论：注意力隔离、错误隔离与并行化是同一决策的三个收益。
内核唯一，形态是内核的正交投影。交互界面（TUI）、协议端点（IDE 协议、标准化工具服务器）、无头执行共享同一个 $\pi$-$H$ 复合内核；新增形态的边际成本是协议适配层，而非内核复写。
把五节机制串成单个长任务的生命周期：
$$ \underbrace{\text{意图分解}}_{\text{第5节}} \to \underbrace{\text{Turn 循环}}_{\text{第3节}} \to \begin{cases} \text{采样：}\pi(o_t) \to a_t \\ \text{门控：} a_t \in \mathcal{A}_{free/gated/denied} \; \text{（第4节）} \\ \text{执行与回填：} o_{t+1} \; \text{（第3节）} \end{cases} \to \underbrace{\text{占用率} \ge \theta \Rightarrow \Gamma(h)}_{\text{第2节}} \to \underbrace{e_t \to \log}_{\text{公理1}} $$
该闭环的三个稳态条件：（i）每轮信息增量非负（任务有进展）；（ii）压缩后剩余任务线索足以继续（不迷失目标）；（iii）风险累积 $\Pr(\text{incident}) = 1-\prod_t (1-p_t)$ 被级联过滤压在容忍度内（不失控）。长程能力 = 同时满足三个稳态条件的时间长度。
本报告形式化的对象是单一工程实现，其原理并非全部已最优：
Codex 的实现给出了一份务实的答案：长程智能体不是更大的模型，而是围绕模型的一套精密的资源分配与约束执行装置。窗口装不下的，用压缩与重放补；风险扛不住的，用沙箱与审批挡；单线跑不完的，用委派拆；形态需求多变的，用协议投影复用。这五个答案共同构成的，正是"模型即插即用、Harness 各自精彩"的分层世界——也是本报告希望交付给读者的、可迁移的设计坐标系。