Repository navigation
fix(context): keep fresh controls without repeating relocated evidence - #7528
loopx-agent wants to merge 1 commit into
Conversation
a56ccbb to
43d6782
Compare
loopx-agent
left a comment
There was a problem hiding this comment.
Reviewer: model_agent; model=gpt-6.1-sol; provider=OpenAI; declaration_source=runtime_reported; reasoning_effort=max
Approval conclusion (author-owned PR; GitHub blocks formal self-approval)
APPROVE,精确 head 43d67823c9d4268f3e405b2e3463dde07bdda299,本次独立验证未发现阻塞项。
动机 / Motivation
连续阅读任务上下文的 Codex 调用方,以及维护差分投递的开发者。 准入把先前读过的完整验收树移到工作来源后,旧编码为每条要求重复较长的基线引用路径;新编码共享一次精确子树引用,同时逐项发送当前控制事实。 独立对照确认三种投递表面的完整内容保持相同,当前控制仍为字面值,损坏差分恢复同一完整 capture;搬移场景的传输字节减少。 不改变准入、原始要求、宿主连续性假设、配置默认或结算,不把组件传输减少当作模型 token、费用或长程成果收益。 真实安装采用、模型是否正确消费新增格式和完整任务成本仍未资格;这些由原上下文交付工作承接,不用本 PR 结清。
改动思路 / Approach
精确复用和新控制覆盖继续由现有 TypeScript context codec 共同解释,Python 与宿主只运输同一捕获;没有第二状态库或决策 owner。 当前 PR 只扩展既有默认关闭的差分格式,保留当前控制与同捕获恢复;可独立测试、回退,不要求完成整个 controller 重构。 对原已授权任务没有新增配置、复制资料、重输意图或确认回合;发生失败仍沿原恢复owner处理。搜索 base/head 的 prepareContextDelivery、restoreContextDelivery、freshPaths、from、context_delivery、context_machine;实际 turn_envelope dispatcher 同时服务 quota、Turn 与来源单体,旧 codec 已有大小选择与同捕获恢复,无须新增压缩器。
具体改动 / Changes
规范为 docs/reference/required-work-context.md,固定 revision 322591fb9ec23da0afcb3251a669af6e2f728988。Opt-in native reuse 与 Machine default 两项均 implemented:完整原文、当前控制和同capture恢复保留;关闭仍沿原入口返回原始packet,不接受host单方面启用。
关键代码讲解
- changeTree:选取更小且完整的差分表达。搬移时从重复单项引用变为精确 from 加 edit;当前已有位置仍走普通递归。只有精确相同的旧子树可引用;所有强制叶子仍显式覆盖。
- applyTree:解释精确基线引用与覆盖。edit 施于拷贝,嵌套 from 仍查原始整体基线。不得把当前 patch 当作基线或修改源对象。
- prepareContextDelivery:既有开启路径的完整/差分呈现。只在使用 overlay 时增加其解释;完整内容摘要与原准入分开。缺基线、变 epoch/Agent、不完整来源仍 full;成本不合算仍 full。
- restoreContextDelivery:校验当前差分并恢复原捕获。现有精确 change-tree 和完整摘要校验涵盖新增 edit。删去控制覆盖仍须拒绝,而非只凭重建摘要通过。
PASS:125项受影响Python、72项TS、类型检查;本轮44原生条件skip保留;此前同Turn在旧head已显式执行8项通过,余36组合未跑。原生使用Codex 0.163.0-alpha.11.1和确定性本地响应,验证真实exec/app-server、恢复与历史预算传输,不是实际模型推理或理解。标准预检5项direct和14项selected全部通过,零manual hold。12组同输入base/head完整内容相同;9组delta共1512个字面控制断言通过,36个损坏变体恢复原当前full。
发布前发现作者rebase,停止旧head发布并重新核验。新base为 322591fb9ec23da0afcb3251a669af6e2f728988;四个PR文件、整个生产代码树和完整PR差分与最初审查完全相同,树差异只有三个已合入的其它测试文件。以上125项Python、72项TS、类型检查、12组真实RPC对照和5+14预检均在当前head重新执行;故意空edit反例也重跑。八项原生传输证据明确复用于同Turn旧head a56ccbbc5913c65fafd5301cc2d8922a86162811:相关生产代码、原生测试及依赖未变化,宿主记录为同一明确版本;未将其冒称新head再次运行,也不继承旧批准。
合成24要求的quota搬移案例,wire从16,493降至9,136 bytes;Turn为16,885降至9,096;单体work context为15,238降至9,033。不完整来源仍完整发送。这些是组件观察。作者报告20个warm样本编码中位时延1.73→2.38ms,我未独立重现该时延;不据此宣称更快、节省账单或长程受益。
对主干的风险 / Risks
最强风险是“完整重建相同”掩盖“本次没有发送当前控制”。我在隔离副本把edit故意置空,三种表面仍能完整重建,但独立的只读字面消费者检测到status缺失;当前head的1512项断言则通过。删除edit、错from、引用当前patch或null覆盖均回到原完整capture。Actor/epoch变化与不完整来源也不复用旧权限。旧reader不识别该表达时仍按原恢复规则读同一full,不能重跑准入或扣额。
这扩展既有context_delivery_v1的可选表达,复用typed vocabulary与owner;没有新增业务状态、第二授权规则或默认开启。说明文字逐条保留完整要求、当前控制、引用原基线、停止与同捕获恢复义务。是否被真实模型正确理解仍未验证。
语义与 CI 对齐
本地检查针对上述精确head;按当前wait_for_ci=false政策未查询、轮询或等待CI。通过的风险预检不是merge权限,也不修改历史失败或父级验收。回退限定为撤销当前切片,原捕获、来源和业务状态保留。
我的整体评价 / Verdict
这是可独立验证和回退的 justified_increment。精确复用和新控制覆盖继续由现有 TypeScript context codec 共同解释,Python 与宿主只运输同一捕获;没有第二状态库或决策 owner。 当前 PR 只扩展既有默认关闭的差分格式,保留当前控制与同捕获恢复;可独立测试、回退,不要求完成整个 controller 重构。 long_horizon 与 user_experience 均为 preserved:原完整来源、后续工作和恢复仍可达,未新增人机回合;不将传输字节或测试通过升级为净收益。已检查完整四文件 diff、CLI 投递和未变的设置入口;没有渲染页面变化,visual_review 不适用。 未验证范围:未验证模型理解、所有宿主组合、正式安装采用和整轮费用收益;作者编码时延测量未独立重现。 真实安装采用、模型是否正确消费新增格式和完整任务成本仍未资格;这些由原上下文交付工作承接,不用本 PR 结清。
English verdict: APPROVE 43d67823c9d4268f3e405b2e3463dde07bdda299. Exact content, literal current controls and same-capture recovery are preserved across real RPC and native transport checks; measured wire reduction does not establish full-cycle benefit.
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
43d6782 to
759c16a
Compare
loopx-agent
left a comment
There was a problem hiding this comment.
Reviewer: model_agent; model=gpt-6.1-sol; provider=OpenAI; declaration_source=runtime_reported; reasoning_effort=max
Approval conclusion (author-owned PR; GitHub blocks formal self-approval)
APPROVE,当前 head 759c16a9cf430bb7442b47dd3a5c3336ffb93666 未发现阻塞项。旧 head 的评审保留为历史,本结论来自当前 base 9558f75ae52e8a0c9f74ad7df0f47a69e0d413ad 的完整四文件复核。
动机 / Motivation
连续阅读任务上下文的 Codex 调用方,以及维护差分投递的开发者。 准入把先前读过的完整验收树移到工作来源后,旧编码为每条要求重复较长的基线引用路径;新编码共享一次精确子树引用,同时逐项发送当前控制事实。 独立对照确认三种投递表面的完整内容保持相同,当前控制仍为字面值,损坏差分恢复同一完整 capture;搬移场景的传输字节减少。 不改变准入、原始要求、宿主连续性假设、配置默认或结算,不把组件传输减少当作模型 token、费用或长程成果收益。 真实安装采用、模型是否正确消费新增格式和完整任务成本仍未资格;这些由原上下文交付工作承接,不用本 PR 结清。
改动思路 / Approach
精确复用和新控制覆盖继续由现有 TypeScript context codec 共同解释,Python 与宿主只运输同一捕获;没有第二状态库或决策 owner。 当前 PR 只扩展既有默认关闭的差分格式,保留当前控制与同捕获恢复;可独立测试、回退,不要求完成整个 controller 重构。 继续逐条复制长路径能保持正确,但无法消除实际搬移的重复传输;另设压缩器或配置没有必要。原设置、权限与恢复入口保持,已有意图和授权不增加确认回合。
具体改动 / Changes
变更前规范为 docs/reference/required-work-context.md,固定 revision 9558f75ae52e8a0c9f74ad7df0f47a69e0d413ad。Opt-in native reuse、Machine default 均 implemented:完整来源、当前及未知控制、同capture恢复和既有关闭路径保留。新增说明修改的是可选编码表达,不放宽原义务。
关键代码讲解
- changeTree:只为已搬移且精确相同的子树选择更小的from/edit表达,所有当前控制继续显式覆盖。
- applyTree:先复制原基线,再应用edit;嵌套from永远查不可变的整体基线。
- prepareContextDelivery:仅实际使用overlay时附加说明;缺基线或来源不完整仍full。
- restoreContextDelivery:先比较当前精确change tree,再核完整摘要;缺当前覆盖也拒绝。
本轮125项Python通过,44项可选native组合跳过;72项TS和control-plane typecheck通过。12组同输入base/head经实际Python→typed RPC完整重建相同,9组delta的1512项当前字面控制通过,36个损坏变体恢复原当前full。实际base四条File/SQLite host-rendezvous也通过,当前head完整CLI模块包含相同用例。标准premerge为5 direct +14 selected全部通过,零失败、警告及manual hold。
合成24要求搬移输入的完整wire:quota为16,493→9,136 bytes,Turn为16,885→9,096,work context为15,238→9,033;来源不完整仍full,未丢原文。历史作者warm编码中位数1.73→2.38ms未独立重测,不将字节减少称为提速或账单节省。
对主干的风险 / Risks
最强反例是完整重建正确、当前控制却没有在本次输入出现。隔离副本故意把edit置空后,经同一实际RPC,独立字面status断言失败;当前head通过。缺edit、错from、patch-local引用和null edit均恢复同一完整capture,不重跑guard。说明逐条保留actor、scope、全部要求、停止及原capture恢复,新增nested from解释不会把引用根改成当前patch。
语义与 CI 对齐
完整PR四个blob、codec、RPC wrapper、原生测试和依赖清单与旧43d一致;base新增的settlement计划与Todo等调用方使本轮重新跑完整消费者。旧a56的8个确定性exec/app-server案例仅保留为历史,未冒称当前binary、模型理解或安装验证。遵守wait_for_ci=false,未查询、轮询或等待CI;本地检查不授予merge权限。
我的整体评价 / Verdict
这是 justified_increment。精确复用和新控制覆盖继续由现有 TypeScript context codec 共同解释,Python 与宿主只运输同一捕获;没有第二状态库或决策 owner。 当前 PR 只扩展既有默认关闭的差分格式,保留当前控制与同捕获恢复;可独立测试、回退,不要求完成整个 controller 重构。 long_horizon与user_experience均preserved:后续要求、失败和恢复不丢失,无新增人机回合,完整费用和模型净益仍未知。已检查完整四文件 diff、CLI 投递和未变的设置入口;没有渲染页面变化,visual_review 不适用。 未验证范围:未验证模型理解、全部宿主组合、正式安装采用和整轮费用收益;作者历史编码时延未独立重测。 真实安装采用、模型是否正确消费新增格式和完整任务成本仍未资格;这些由原上下文交付工作承接,不用本 PR 结清。
English verdict: APPROVE 759c16a9cf430bb7442b47dd3a5c3336ffb93666. Current-head CLI and real-RPC counterfactuals preserve complete content, literal current controls and same-capture recovery; wire reduction is not full-cycle benefit.
When admission moves already-read acceptance into its work source, the delta repeats a long baseline path for each unchanged requirement. The existing context codec now copies one exact baseline subtree and overlays literal current controls. The complete reconstructed context and original digest remain unchanged.
The optional
editonfromstays within the existing default-off codec. Every current or unknown control is delivered literally; nested references resolve against the immutable whole baseline. Missing overrides, damaged references and incompatible readers recover the same current full capture. Guard, authority, capture lifecycle, source requirements and configuration defaults are preserved.Validation at
759c16a9cf430bb7442b47dd3a5c3336ffb93666, rebased onto main9558f75ae52e8a0c9f74ad7df0f47a69e0d413ad:4bd580a28775f103089a21536713603e34299e3ealso passed six joint-checkpoint paths with context on and six with it off. These are synthetic Linux receiver checks, not current-head model reasoning or scientific outcomes. The unchanged joint matrix was not repeated for this rebase.Negative tests remove a current override, redirect a reference and attempt a patch-local reference; each recovers the exact current full context. Unchanged encodings remain equal and an older reader safely falls back. The bounded refactor reuses the existing typed codec and exact-size choice, avoids re-indexing current containers, and emits overlay instructions only when used.
The prior public 24-row synthetic fixture measurement on this unchanged codec gives complete delta bytes 12,237 → 5,128; cold/full bytes stay 19,099 / 19,227. Its 20-sample warm encoding median was 1.73 → 2.38 ms. These historical component measurements exclude model replay, cache, billing, host processing and task outcomes; they do not establish whole-cycle or long-horizon benefit.
The published review of the previous head remains an exact-head historical record, not approval of this rebased head. New-head review, remote CI, merge authority and installed/scientific adoption remain separate. The old browser-map CI timeout is retained as a prior failure; local passes do not identify its cross-platform cause. No frontend interaction changes; the existing activation journey is unchanged. Rollback is this commit.