Skip to content

fix(context): replay frozen selections in native read verification - #8060

Merged
huangruiteng merged 1 commit into
mainfrom
codex/native-read-qualification-20261104
Nov 4, 2026
Merged

huangruiteng merged 1 commit into
mainfrom
codex/native-read-qualification-20261104

Conversation

@loopx-agent

Copy link
Copy Markdown
Collaborator

首次选择读取或按地址顺序冻结的 reader reference 可以通过 CLI 校验,却在 native observer 按另一顺序重建时被丢弃,无法用于后续投影的已读判断。

现在 CLI 和 observer 共用已有 TS selector、原始字节渲染与 digest 重放逻辑。冻结顺序和历史 canonical 输出都在同一原捕获、同一地址集合内验证;source/path、摘要、范围、EOF 与索引页拒绝保持有效。选择读取仅登记 section coverage,完整输入保留仍由原有独立路径判定。

测试分别验证 page 收集、可信 section observation 和 full-input proof 的拒绝,保留原有精确值、大整数、字节顺序、不可变文件及 reader RPC 次数断言。未修改生产代码的语义回归先复现 2 failed / 77 passed;修复后完整读取与入口回归 107 passed,原生生命周期、恢复、渐进交付与成本回归 306 passed。三个既有 hook 集成场景还验证后续投影实际采用读取记录,不重复计入测试总数。缺前页、伪造内容、其他捕获、仅索引、历史引用与 model-retention 边界均有反例。

验证源提交为 89076f83ce,分支基点为 f2412ff55c;同步前后的受影响源码和测试相同。Ruff、公开边界扫描、diff/双语 RFC 与语义 advisory 通过。原生 journal 使用隔离真实后端和合成 hook 事件;实际宿主安装采用及 token 收益未验收。

必检仍有阻塞:声明的 17-source mypy 在 task_orchestration_admission.py:110 报 no-any-return;完整仓库 pytest 与集成 CI 尚未验证。CQR 按严格失败保存,不作基线豁免;目标 main 后续变化仍须集成验收。
标准 premerge 的 6 项直接检查和 18 项选中 smoke 中的 16 项通过;cli-output-budget-regression 因 JSON 缺少 interaction_contract / scheduler_hint / selected_todo,quota-plan 因缺少 quota 失败。原因尚未限定,两个失败继续阻塞,不作豁免。

Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
@huangruiteng
huangruiteng merged commit 4f6a27e into main Nov 4, 2026
19 of 26 checks passed
@huangruiteng
huangruiteng deleted the codex/native-read-qualification-20261104 branch November 4, 2026 19:06
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.

2 participants