Repository navigation
fix(context): replay frozen selections in native read verification - #8060
Merged
Merged
Conversation
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
首次选择读取或按地址顺序冻结的 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 失败。原因尚未限定,两个失败继续阻塞,不作豁免。