基于 OpenAI Codex 源码的逆向解析——探讨如何让 LLM 智能体在数小时乃至数天的时间尺度上连续完成软件工程任务。上下文工程、事件溯源、能力沙箱、多智能体委派：长程能力的可迁移设计坐标系。
《Towards Long-Horizon Agents》前四章阅读笔记：分类框架、任务分级、提示技术与行动权限、Harness。→ 8.21 日报
六节形式化论述，抽离可迁移的长程智能体设计原理
长程任务的问题陈述、Harness 定义、POMDP 建模、核心矛盾四重分解——建立问题的形式化框架。
第2节窗口预算分配、压缩算子形式化、双层压缩架构、事件溯源与可重放、记忆的三个时间尺度。
第3节Turn 控制循环、采样-工具飞轮、中断语义、行动接口经济学、结构化编辑成本、并行调度收益。
第4节能力边界公理、自主-打扰权衡、纵深防御级联过滤、审批决策链、学习式策略与断路器、失败关闭。
第5节委派作为上下文划分、通信成本模型、代理图与可审计性、协作契约、形态复用经济学、无人值守任务。
第6节资源-约束矩阵统一视角、七条设计公理、长程任务的闭环稳态条件、局限与开放问题。
从 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{误拒}) \ll C(\text{误放})$。
子任务的执行上下文相互独立（委派即上下文划分），风险审查者与被审查者目标隔离（独立 Guardian）。注意力隔离、错误隔离与并行化是同一决策的三个收益。
内核唯一，形态是内核的正交投影。TUI、IDE 协议、MCP Server、无头执行共享同一个 $\pi$-$H$ 复合内核；新增形态的边际成本是协议适配层。
39 章配套技术文档，覆盖 Codex 全部子系统
项目全景、工作区拓扑、启动链路、配置系统、模型接入、功能开关——Codex 的骨架与六大部分。
Ch 07–12会话与线程模型、Turn 引擎六态状态机、流式交互、事件系统、中断取消、状态持久化——智能体的心脏。
Ch 13–19上下文管理总论、历史窗口、双层压缩机制、Rollout 持久化、会话前缀、提示词工程——长程设计的核心。
Ch 20–26工具系统总论、Shell 执行引擎、Apply-Patch 编辑、文件搜索、审批流、技能系统、MCP 客户端——行动能力的全部。
Ch 27–32安全总论、Linux/macOS/Windows 沙箱实现、ExecPolicy 引擎、提权与进程加固、安全护栏——自主与安全的平衡。
Ch 33–39多智能体架构、代理委派、AppServer 协议、MCP 服务器形态、非交互执行、TUI 界面、SDK 生态——协作与复用。
根据你的目标选择合适的路径
理解 Codex 长程设计的最短路径：
01 项目全景 → 08 Turn引擎 → 15 本地压缩 → 17 Rollout持久化 → 27 安全总论 → 33 多智能体总论
01→39 顺序阅读，各部分内部有依赖关系（如 15/16 需先读 13，24 需先读 20）。
| 你想搞懂… | 阅读章节 |
|---|---|
| 智能体主循环怎么转 | 07 → 08 → 09 → 10 → 11 |
| 长任务记忆怎么不丢 | 13 → 14 → 15 → 16 → 17 → 18 → 19（核心） |
| 自主与安全怎么平衡 | 20 → 24 → 27 → 30 → 32 |
| 多智能体怎么协作 | 33 → 34 |
| 如何嵌入自己的产品 | 35 → 36 → 39 |
| 我想自己造一个 Agent Harness | 01 → 03 → 08 → 13 → 20 → 27 → 35 |