Skip to content

fix(context): coalesce complete branches in initial reads - #7914

Merged
huangruiteng merged 2 commits into
mainfrom
codex/full-context-20261102
Nov 3, 2026
Merged

huangruiteng merged 2 commits into
mainfrom
codex/full-context-20261102

Conversation

@songoow

@songoow songoow commented Nov 2, 2026 •

Copy link
Copy Markdown
Collaborator

Initial context reads repeat pointer wrappers even when they select every child of a branch. Coalesce those fully covered branches while retaining the exact selected facts and original navigation priority. Explicit selectors avoid the new traversal; unknown or unselected children prevent coalescing. Root discovery uses validated, deduplicated selectors, preserving navigation for repeated root selections.

Validation: real File/SQLite native-reader replay over the same immutable synthetic captures preserves every selected fact. At a 4.5 KB output limit, replay uses five pages instead of six; at 64 KB both use one page. This is a reader-component improvement, with no claim about model cost or task outcomes.

Initial Python context/delegation coverage: 199 passed; 24 native-binary opt-in cases were not enabled. Final follow-up: 50 relevant TypeScript cases and 40 real-reader Python cases passed, including a regression that fails on the earlier implementation. Type checking, lint, public-boundary checks and standard risk-based premerge validation passed; paging, explicit reads, version binding and recovery remain covered.

Signed-off-by: song <liusongstep@gmail.com>
@chatgpt-codex-connector

chatgpt-codex-connector Bot commented Nov 2, 2026 •

Copy link
Copy Markdown

Codex Review Summary

This comment shows the latest Codex review activity on this pull request.

Review Status Commit Review trigger
📝 Code Review ✅ Completed 2026-11-02T15:27:34.217370Z f700177 PR opened
ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review" or "@codex security review".

Codex reacts with 👀 while any review is running, comments if it has suggestions, and reacts with 👍 once all reviews finish with no findings.

Signed-off-by: song <liusongstep@gmail.com>

@loopx-agent loopx-agent left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewer: model_agent; gpt-6.1-sol; OpenAI; runtime_reported; reasoning_effort=max.

动机 / Motivation

通过原生上下文引用读取当前任务、完整约束及结算义务的 Agent。同一份不可变捕获的完整必读分支,旧版为每个子项重复输出长地址;新版可共享完整父级。本轮独立用例在相同 4.5KB 页预算下从六页减少到五页,必读事实相同。完整事实分支减少重复包装,部分覆盖不扩大读取;显式选读、非根索引、未知 schema 拒绝及原捕获完整性保持。本 PR 不修改 admission、结算和原捕获,不宣称模型已经保留上下文,也不以分页减少推断总 token、费用或长程收益。

改动思路 / Approach

同一 RFC 6901 选择 owner 内的完整覆盖归并足够解决重复包装;保留 Python 精确值序列化,避免新增摘要、缓存或第二份义务模型。当前 PR 边界是已启用首读的等义包装优化,保留显式读取及泛化发现的原契约。既有入口、权威来源和失败 owner 继续保留,当前结果由原数据派生,无需人工同步声明。先检查不发布和较小修复:保留现状会保留已复现问题;另建状态或摘要反而增加兼容和同步负担。这里直接扩展最近的既有 owner,正向读回和负向恢复一起验证。

同一不可变捕获、相同 4.5KB 上限的真实 CLI 对照:

输入 base 页数 head 页数 必读事实
完整分支 6 5 35 个叶值全部相同
含未选中子项与可选材料 6 6 38 个叶值全部相同

具体改动 / Changes

本次全量 diff 为 214 行增加、8 行删除,覆盖 docs/reference/required-work-context.md、loopx/control_plane/quota/context_selection.ts、tests/control_plane/codex_checkpoint_fixture.py、tests/control_plane/test_context_first_read.py、tests/control_plane_ts/context_selection.test.ts、tests/test_delegation_turn_context.py。测试和说明各自服务当前行为,无生成产物或迁移状态。

关键代码讲解

  • coalescedInitialPointers:只合并子项全部已选择的完整分支;未知、未选择子项阻止向父级扩大。异常覆盖关系回到原指针验证。输入来自原公开入口,返回给既有消费者;失败和重试不转交新服务。

  • capturedContextSelection:仅 initial_read 选择使用合并指针;显式选择及索引保留原值、原地址和失败诊断,重复根指针先去重。输入来自原公开入口,返回给既有消费者;失败和重试不转交新服务。

  • capturedDecisionSelection:现有首读策略仍决定必读事实和可延后材料;本 PR 不新增业务选择策略或第二份 authority。输入来自原公开入口,返回给既有消费者;失败和重试不转交新服务。

  • selected_context_values:测试辅助支持父级对象展开,防止断言把父级分组误作必读字段丢失;生产序列化仍由原 Python 文件适配器保留精确数值。输入来自原公开入口,返回给既有消费者;失败和重试不转交新服务。

修改前契约映射

依据 docs/reference/required-work-context.md,不可变版本 867615e2c3aa2a32516a71d46f11a20d6fcb3289。以下是原文已有字段/节名,未把本 PR 新写的说明当作独立验收依据:

  • first_read_command:完整当前任务、来源状态和停止事实保留,历史仍按需可达。 implemented;见 loopx/control_plane/quota/turn_envelope.ts 及真实 CLI 正负对照。

  • --initial-read:未知 schema 拒绝首读;只读且不混入显式选择或索引选项。 implemented;见 loopx/control_plane/quota/context_selection.ts 及真实 CLI 正负对照。

  • --select:RFC 6901 精确值、转义键、大整数和 null 保留;缺失路径拒绝整批。 implemented;见 loopx/control_plane/quota/context_selection.ts 及真实 CLI 正负对照。

  • --list:发现接口保留显式地址和类型,不返回正文作为已读证据。 implemented;见 loopx/control_plane/quota/context_selection.ts 及真实 CLI 正负对照。

  • required=false:只有显式可选附件延后指导;未知步骤义务及未知附件控制仍可见。 implemented;见 loopx/control_plane/quota/turn_envelope.ts 及真实 CLI 正负对照。

  • selection_sha256:分页固定原捕获及选读摘要;EOF 只说明选读结束,不能证明完整上下文保留。 implemented;见 loopx/cli_commands/quota_capture.py 及真实 CLI 正负对照。

新增说明披露当前行为。状态值、选择协议和原错误分类复用既有语义,没有按自然语言子串推断状态;也未让只读 guidance 取得执行或结算权限。

对主干的风险 / Risks

未发现阻塞问题。最强负向场景是:部分覆盖不暴露未来字段;未知 schema 用同样完整 reason/recovery 拒绝;缺失指针和错误 digest 均拒绝且源字节不变。原拒绝原因、恢复方式和权威来源保留,来源字节未变。完整/部分/未知 schema 三组均经 base/head 真正 CLI 及连续分页;精确大整数、1.0、-0.0、转义键和未知结算义务保留。显式值和非根索引内容与 base 逐字节相同。独立源副本故意删除 unknown_obligation 后,公共读取仍成功但义务 oracle 正确失败;当前未改 head 对同一捕获通过,避免测试只镜像新实现。聚焦 Python 49 PASS、TS 13 PASS,TypeScript typecheck、Ruff 和标准 premerge PASS。完整 TypeScript control-plane 套件为 5872 PASS / 77 SKIP / 0 FAIL;跳过项是未配置 PostgreSQL 的可选集成分支,本 PR 不改变 authority-store/provider 语义,不能把它们称作已验证的 PostgreSQL 实测。保留该限制和隔离 backend 身份。初次独立 fixture 缺少 registry domain、观察时钟与未知 schema 的测试预期错误已单独保留并纠正;这些是 harness 问题,未作为 PR 回归。回滚可退回本 PR;恢复继续使用原 provider 或同一 capture 的显式路径。当前 wait_for_ci=false,未获取、轮询或等待远端 CI,也没有把 CI 状态当作本地实证。安装、真实模型理解和完整成本未测;这些限制不被局部分页或状态正确性冒充。

我的整体评价 / Verdict

APPROVE:未发现阻塞项。 本次 named slice 的 source-checkout 行为目标已达成,不把这个结论扩展到父目标完成。同一 RFC 6901 选择 owner 内的完整覆盖归并足够解决重复包装;保留 Python 精确值序列化,避免新增摘要、缓存或第二份义务模型。当前 PR 边界是已启用首读的等义包装优化,保留显式读取及泛化发现的原契约。long_horizon 保持、现有用户读取体验改善;使用已有上下文和授权,新增人工准备、确认轮次均为零。采纳 repository experience 的真实任务与有用读回建议,同时排除其恢复 RFC 专属场景;没有继承旧案评价或声称记忆带来净收益。未改动渲染页面;已检查原生引用、命令行 reader 和现有捕获适配器,修改的是选读包装。视觉未验证范围:无适用的布局变更;本轮证据边界为精确 head 的 source-checkout CLI。最强未验证范围是安装后运行与实际模型/完整费用,本 PR 未作这些承诺。评审结论、change-quality 及合并 readiness 分别保留;没有合并授权或合并动作。

English verdict: APPROVE — head 0605a5585d024b8a2508a3f83ebea20413157e0b; no blocking findings. Real digest-bound CLI preserves required facts, explicit reads and failure semantics; complete branches reduce wrapper pages. Focused tests and standard premerge pass.

@huangruiteng
huangruiteng merged commit 371ebc8 into main Nov 3, 2026
34 of 41 checks passed
@huangruiteng
huangruiteng deleted the codex/full-context-20261102 branch November 3, 2026 00:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants