T3 解剖 OpenAI Codex：把安全观写进类型系统

这一章要读 Rust 源码，不看不影响任何后续内容。Codex 面对的问题和别家一样：模型要读文件、跑命令、改代码，而这些动作没有人逐条审过。它的答案是把约束尽量往前推，能让编译器管的交给类型，类型管不了的写进 code review，运行时管不了的交给沙箱和审批。本章沿源码拆解上下文注入的类型系统、Windows 上的三道关卡、自带测试用例的命令策略、用模型审批模型的 Guardian，以及给模型专门设计的 diff 与代码模式，逐课与 DeepSeek Harness、Claude Code 做证据化对照。