源码索引

阅读契约： 把本页当作审计索引，而不是预习材料。先读正文把 claim 理清，再打开链接按 pinned commit 核对 owner、函数和行级证据。

所有链接都固定到公开 Codex 源码 commit 569ff6a1c400bd514ff79f5f1050a684dc3afde3。本页用于审计；正文应当可以独立阅读。

把本页当作证据边界使用：固定源码行可以证明可见的 type、function、注释、call site 或 record shape；正文中的 owner、lifetime、projection 图，是对这些可见契约的有界工程解释，不是对 provider 内部状态或未公开服务行为的断言。

上下文边界

• Context manager fields and ledger: codex-rs/core/src/context_manager/history.rs
• Turn envelope: codex-rs/core/src/session/turn_context.rs
• Turn loop: codex-rs/core/src/session/turn.rs

历史与投影

• Recording model-visible history: record_items
• Preparing prompt input: for_prompt
• Paired removal: remove_first_item
• Rollback-aware dropping: drop_last_n_user_turns

类型化上下文

• Context fragment trait: context/fragment.rs
• Fragment catalog: context/mod.rs
• Settings updates: context_manager/updates.rs
• Realtime updates: build_realtime_update_item

可选上下文

• Skill rendering and budgets: core-skills/src/render.rs
• Skill and plugin injection: session/turn.rs
• Memory read prompt injection: memories/read/src/prompts.rs
• Memory write truncation: memories/write/src/prompts.rs
• Image modality projection: for_prompt
• Tool image replacement: replace_last_turn_images

Compaction

• Initial context placement modes: InitialContextInjection
• Local compaction: compact.rs
• Replacement history construction: build_compacted_history
• Remote compaction: compact_remote.rs

Replay 与客户端表面

• Rollout reconstruction: session/rollout_reconstruction.rs
• Rollout truncation: thread_rollout_truncation.rs
• TUI token usage: tui/src/token_usage.rs
• App-server token replay: token_usage_replay.rs