SOURCE READING / 架构与实现
Codex Harness
架构与实现
沿固定版本的调用链,分析请求循环、上下文选择、压缩策略和系统沙箱。重点是状态、转换条件与执行边界。
从架构边界开始 课程目录 ↓整个运行系统怎样连接
先沿编号读完一条请求,再看状态在哪里变化、执行限制在哪里生效。图中保留源码名称,后续各课按这一地图展开。
先看清本课程的范围
本课程依据 openai/codex 公开源码讲解 。面向有工程经验的中文读者。关键结论附函数与行范围,术语仍可就地查询。选择、、、工具暴露、命令规则与网络重试专题可以独立阅读。
这里讲的是固定版本的公开 与相关核心组件。它不是闭源桌面端的完整实现说明,也不涉及权重或服务端推理细节。源码可能继续变化,请始终用固定链接核对。
课程目录
状态 · 协议 · 执行边界01 18 分钟
Harness 的边界
从公开组件的职责和状态生命周期开始,明确后续讨论的范围。
进入课程 02 15 分钟仓库边界与依赖
目录只提供起点。阅读重点是状态由谁持有、哪些接口跨组件、转换在哪里发生。
进入课程 03 20 分钟回合循环
把一次用户回合拆成多次模型请求,追踪继续条件、异步结果与停止路径。
进入课程 04 18 分钟工具计划与调度
工具何时可见、由谁执行,以及异步完成如何与请求历史对应。
进入课程 05 30 分钟工具暴露策略
工具是否注册、模型能否发现、某次操作是否获准,是三个不同的判断。
进入课程 06 35 分钟上下文选择
逐段追踪 Prompt.input 的来源,分开接纳规则、输出截断、状态差量和协议规范化。
进入课程 07 45 分钟上下文压缩
比较本地摘要、Remote V2 和 TokenBudget,读预算公式、保留白名单和失败处理。
进入课程 08 45 分钟沙箱实现
从 PermissionProfile 到最终进程,重点追踪 macOS 与 Linux 的实际限制机制及条件重试。
进入课程 09 30 分钟命令规则
一条 shell 请求可能包含多条程序调用,批准范围必须与实际解析结果对应。
进入课程 10 20 分钟配置与扩展
分析配置来源、指南指令与外部工具怎样进入当前步骤。
进入课程 11 30 分钟请求恢复
区分重试次数、等待时间、连接基线和已经发生的工具副作用。
进入课程 12 25 分钟验证与扩展
把阅读结论转换成可复现用例,覆盖状态转换和失败边界。
进入课程怎样使用这门课
- 按顺序学习,每课先读目标和图,再打开源码定位。
- 点带短释义的术语,随时查看词典;按 / 或使用顶部搜索。
- 小练习以阅读和推理为主,自测答案可展开对照。
- 点击“标记本课完成”记录进度;记录只在当前浏览器。
- 网站可以本地打开;源码外链需要联网。部署说明见交付包 README。