Repository navigation
C1: unify work sources and validate recovery - #8266
loopx-agent wants to merge 44 commits into
Conversation
Read the saved work contract and the progressive liveness fields through their current public recovery paths. Retain the original Turn, crash boundaries, semantic checks, corruption rejection, and no-replay oracles. Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
…-reproposal-baseline-20261107 Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Keep the shared producer-bound timestamp fix and the C1 settlement locator and recovery obligations. Preserve the existing long-path and paired transport regression assertions. Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
|
This pull request has merge conflicts with Choose the remote for the base repository, not an out-of-date fork. git fetch upstream
git rebase upstream/main
# Resolve each conflict, git add the resolved files, then git rebase --continue.
git push --force-with-lease origin HEADFor a same-repository clone whose Keep the DCO |
…-reproposal-baseline-20261107 Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
…-reproposal-baseline-20261107 Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
…-reproposal-baseline-20261107 Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
…-reproposal-baseline-20261107 Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
…-reproposal-baseline-20261107 Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
…-reproposal-baseline-20261107 Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
…-reproposal-baseline-20261107 Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com> (cherry picked from commit f7463a2c2ab24d32cb70295e80c5064ff5e1b30f)
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
|
This pull request has merge conflicts with Choose the remote for the base repository, not an out-of-date fork. git fetch upstream
git rebase upstream/main
# Resolve each conflict, git add the resolved files, then git rebase --continue.
git push --force-with-lease origin HEADFor a same-repository clone whose Keep the DCO |
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com> (cherry picked from commit 90864e47767519ff9d2c2540a0d736c824c7abb0)
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com> (cherry picked from commit 2effc18)
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
|
This pull request has merge conflicts with Choose the remote for the base repository, not an out-of-date fork. git fetch upstream
git rebase upstream/main
# Resolve each conflict, git add the resolved files, then git rebase --continue.
git push --force-with-lease origin HEADFor a same-repository clone whose Keep the DCO |
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com> (cherry picked from commit efce6cb)
loopx-agent
left a comment
There was a problem hiding this comment.
Reviewer: model_agent, gpt-6.1-sol, OpenAI, runtime_reported, reasoning_effort=max
Request changes conclusion (author-owned PR; GitHub blocks formal self-review)
[P2] C1 仍可从旧捕获取得新租约。 旧版实际生成原捕获并写入 claim,ready 丢失后释放。当前 C1 读取未改动的同一捕获,在 File 和 SQLite 各取得活跃 epoch 2、不同 operation ID,并给原 Turn 返回 ready。 领取入口
[P2] 默认 Turn 预览越过现有预算。 真实默认 JSON turn plan 同一拥挤夹具,无 Vision 从 21,849 增至 54,074 字符,有 Vision 从 25,312 增至 61,473。既有 26,000 上限不变。base 两例通过,当前两例失败。 预览入口
动机 / Motivation
运行 Codex 原生会话、普通 quota、Turn CLI 和恢复流程的操作者依赖同一可信来源。 用户从旧版留下的 Codex 会话恢复,或者在拥挤 Goal 上先读默认计划。需要拿到完整约束并回到原 Turn,无需重新取得旧租约。 当前 C1 可运行同版本恢复和部分统一入口。真实本地入口复现升级恢复和默认预览各一项问题。 当前评审覆盖提交清单、实际 C1 CLI 路径、恢复、预算与主干组合的决定性阻塞。
改动思路 / Approach
quota 和 Turn compose 共享 work_contract,Host 与 journal 从绑定的 source 读取,authority 继续负责 lease 和结算。预览默认直接返回较大的同一工作来源。当前主干已有可复用的分页入口。 保留共享 TypeScript contract 和既有 authority 的职责分配。独立的上下文去重和读回修复可先复用,再验证当前真实单会话切换。 C1 切换 quota 和 Turn/Host 的来源。当前可审的独立传输切片在 #8285。当前 head 已合入 #8284,主干组合成功。恢复和预览需要分别通过实际入口。
具体改动 / Changes
基线为 32167518b3c2646fd9b6a3a6e0aaf74b258a7b70。C1 的单会话切换要求真实入口、完整义务、原身份与一次效果,加 §9 的原 quota 对照。 基线规范
- 原生来源。 当前 C1 在真实 File 和 SQLite 上各一次同版本对照通过。写入后中断并释放,重放同一捕获仍保留退休 epoch 1。
- 历史恢复。 旧版实际生成原捕获并写入 claim,ready 丢失后释放。当前 C1 读取未改动的同一捕获,在 File 和 SQLite 各取得活跃 epoch 2、不同 operation ID,并给原 Turn 返回 ready。
- 有界普通预览。 真实默认 JSON turn plan 同一拥挤夹具,无 Vision 从 21,849 增至 54,074 字符,有 Vision 从 25,312 增至 61,473。既有 26,000 上限不变。base 两例通过,当前两例失败。
- 完成单会话替换。 对更新后的真实组合补证据。
关键代码讲解
execute_codex_execution_preparation 从当前 capture 派生稳定 operation ID,随后让原 claim owner 和 guard 读回。handle_turn_command 将完整来源交给 build_loopx_turn_plan,默认预览省略 session 和 transaction,仍保留完整 work_contract。恢复已有 journal 时,保存的完整 lineage 与历史 decoder 分开走。 claim plan journal
对主干的风险 / Risks
当前 head 相对主干 32167518b3c2646fd9b6a3a6e0aaf74b258a7b70 的 diff 是 226 个路径。包含 #8284 的无写入主干组合通过。4 项 Anti-Entropy 对照通过,1 项 sparse numeric Effect 失败归因开放。原 capture 兼容反例从旧版真正创建的捕获开始,整个跨版本过程保留原文件。默认 preview 同一实测包含新增的 interaction、replan 与诊断正文。 已落地主干读回 旧 claim 审查
跨版本两例复现,同版本两例通过。默认 plan 的两个固定负载在 base 通过、当前失败。 Quick premerge 的 7 项直接检查和 4 项选中检查通过。当前路径还有 benchmark-sensitive 人工门。 本轮核对了当前 226 路径清单,并聚焦两个可复验的发布阻塞。整套 C1 的逐入口兼容和交付资格仍开放。 远端 CI 未取样。
语义与 CI 对齐
C1 复用了和 #8279 旧审查头相同的 digest 派生代码。旧 Host 写入普通随机 operation ID,当前派生 ID 查不到该操作,于是被既有 managed claim owner 当作新 claim。 通过既有 authority 核验并恢复真正的原 claim。旧捕获无法证明绑定时留作只读,要求使用原 Goal、Agent、Todo 和 Turn 取得新的合格 guard 捕获。保留两种 backend 的跨版本回归。 沿现有有界 preview 和已保存 source reader 分离首读与完整正文,保留所有原约束、可执行 Vision 指导和恢复命令。在 unchanged 上限重跑有无 Vision 的两例。 预算复验用 python -m pytest -q tests/control_plane/test_cli_output_budget.py::test_crowded_turn_plan_budget_preserves_executable_vision_authoring。
我的整体评价 / Verdict
对 fbd4c033e2042786dae637810c1391546ad69fcb 请求修改。先修复旧 capture 和默认预览,再基于包含 #8284 的主干组合复验。当前独立证据支持同版本原租约保护和上述两个反例。 更新后的组合须通过旧捕获恢复、默认预览、同一来源的完整消费和一次结算。全套原 quota 对照、实际安装采用和整题成本仍未验证。
English verdict: REQUEST_CHANGES. C1 still reacquires a released lease from a pre-upgrade capture on File and SQLite. Its default Turn plan also exceeds the existing budget in both matched workloads, while the clean composition with current main resolves the previous conflict.
| raise ValueError("Native execution preparation requires its original capture digest") | ||
| # The same capture can reappear after a lost readiness result. Let the | ||
| # managed claim owner recover the original receipt and current lease. | ||
| claim_operation_id = f"todo-claim:codex-capture:{source_sha256}" |
There was a problem hiding this comment.
[P2] 原租约释放后,旧版捕获仍可领取。 独立对照从旧版真实保存的原捕获和一次已写入的 claim 开始。释放 epoch 1 后,当前 C1 的 hook 取得 epoch 2 并返回原 Turn 的 ready。File 和 SQLite 都复现,同版本控制保留退休状态。请沿原 authority 证明原 operation 关联,或要求新的合格 capture。
| # The current plan has one source, so inspection retains it. | ||
| # Execution still requires its explicit surface, even if a | ||
| # caller restores omitted session/transaction metadata. | ||
| payload = dict(payload) |
There was a problem hiding this comment.
[P2] 默认 JSON 预览超出现有输出预算。 在相同的拥挤 Goal、有无 Vision 两个真实 CLI 用例中,base 为 21,849 和 25,312 字符,当前为 54,074 和 61,473,超过现有 26,000 上限。请保留有界首读和可执行 Vision 指导,把完整工作来源沿原 capture reader 提供,并重新验证两种负载。
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com> (cherry picked from commit 9537687)
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com> (cherry picked from commit d92ab97)
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com> (cherry picked from commit 850025f)
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
|
This pull request has merge conflicts with Choose the remote for the base repository, not an out-of-date fork. git fetch upstream
git rebase upstream/main
# Resolve each conflict, git add the resolved files, then git rebase --continue.
git push --force-with-lease origin HEADFor a same-repository clone whose Keep the DCO |
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
loopx-agent
left a comment
There was a problem hiding this comment.
Reviewer: model_agent, gpt-6.1-sol, OpenAI, runtime_reported, reasoning_effort=max
Request changes conclusion (author-owned PR; GitHub blocks formal self-review)
[P2] 默认 Turn 计划超出既有预算。 同一拥挤 Goal 的默认 JSON 计划,有无既有 Vision 均超 26,000 字符。无 Vision 从 21,849 增至 54,074,有 Vision 从 25,312 增至 61,473。两边使用同一 workload、CLI 参数和字符上限。 当前入口 原线程
[P2] 升级前的捕获仍可重开退休租约。 升级前用真实 Host 从旧捕获领取,ready 中断后释放 epoch 1。当前 head 重放同一未改动捕获,在 File 和 SQLite 都生成不同 claim operation,取得活跃 epoch 2,并为原 Turn 返回 ready。当前 main 同样复现旧捕获问题。 当前入口 原线程
动机 / Motivation
在 Codex 上恢复中断工作的操作者,需要判断原任务能否继续。管理拥挤 Goal 的操作者还会先运行默认计划了解下一步。 同一任务在领取后丢失 ready,随后租约被释放。恢复时应先确认原租约状态。计划读取也应在拥挤 Goal 上保留可执行指导并符合原上限。 当前 head 已保住同版本退休租约,准备阶段可按需读取长范围。升级前的捕获仍会重开租约,默认计划也超过既有上限。 本次判断覆盖当前提交的来源和恢复增量,以及两个真实入口的阻塞。完整单会话切换和安装采用仍需独立验收。
改动思路 / Approach
C1 把 quota 和 Turn 的工作输入收进 work_contract,Host 与 journal 再从绑定来源恢复。现有 claim 和 settlement owner 保持权威。最新增量补上普通准备态范围补读,独立验证通过。 保留统一工作来源与既有 authority 的分工。有界预览及升级恢复可以分别修复,并从真实入口验收。 相对前次审查,完整差异有 233 路径。最后一组提交改 5 路径,并复用现有 progressive reader。当前主干合入 #8285 后在 loopx/control_plane/quota/turn_envelope.py 出现组合冲突。
具体改动 / Changes
基线为 94b91e48aa4a2cdafe9d4d31d918fe84d0112b41。C1 切换单位同时要求普通预览、Host 消费、保存捕获和历史恢复保留原义务与身份。CLI 默认计划仍有固定拥挤预算,完整原 quota 对照由主 RFC §9 管理。 基线规范
- 原生来源。 当前 head 的同版本对照在 File 和 SQLite 都保留退休的 epoch 1,也没有 ready。另测长范围的选择/领取指针可读,就绪时还原完整 220 条。
- 历史恢复。 升级前用真实 Host 从旧捕获领取,ready 中断后释放 epoch 1。当前 head 重放同一未改动捕获,在 File 和 SQLite 都生成不同 claim operation,取得活跃 epoch 2,并为原 Turn 返回 ready。当前 main 同样复现旧捕获问题。
- 有界普通预览。 同一拥挤 Goal 的默认 JSON 计划,有无既有 Vision 均超 26,000 字符。无 Vision 从 21,849 增至 54,074,有 Vision 从 25,312 增至 61,473。两边使用同一 workload、CLI 参数和字符上限。
- 单会话切换。 修复后仍需复验同一来源的逐入口消费、原 Turn 的一次结算、安装宿主和 §9 原 quota 对照。
关键代码讲解
handle_turn_command 给普通预览保留整个工作来源。execute_codex_execution_preparation 从捕获摘要生成 operation。progressivePreparationScope 仅把准备态的大范围放入同源按需读取。 默认计划 领取 准备态首读
对主干的风险 / Risks
本次核对了 233 路径清单。真实入口评审集中在默认预览、原生恢复、最近范围增量和关联回归。旧版生产者固定为 172d80d630f424b0b44dd513863ba02b5f13d55c。基于最新主干 8225c89cea 重跑两个默认预览和 File/SQLite 旧捕获,观察保持一致。组合冲突需作者处理,复验应基于处理后的新提交。 原 quota 对照
聚焦 Python 125 项和 TypeScript 199 项通过。默认计划独立配对在主干两项通过、候选两项失败。退休租约在候选同版本两项通过,候选旧版本两项失败。 Quick premerge 的 7 项直接检查和 4 项选中检查通过。仍有一项 benchmark-sensitive 人工门。 两项既有评审线程在当前提交仍开放。保留原线程方便作者对照本轮复验。 远端 CI 未取样。
默认 plan 的展示分支仅移除 session 和 transaction,仍把完整 v1 work_contract 放进预览。基线使用有界 v0 envelope。拥挤候选保留了新的 interaction、replan、Todo 和诊断正文。 复用现有有界计划和原捕获 reader。保留可执行的 Vision 写回字段和其他当前约束,在既有 26,000 上限复验两个默认预览。 新 Host 用捕获摘要构造稳定 claim ID。同版本可沿原 managed claim 回读;旧版留下的原 operation ID 与新派生值不同,managed claim 因此进入新领取。 先沿原 authority 核验旧捕获对应的原 claim 和状态。不能证明绑定时让旧捕获保持只读,要求新的合格 guard,复验升级与同版本的 File/SQLite 路径。 计划上限 回归夹具
我的整体评价 / Verdict
对 726ab94ccfecad83a8a0b8346e699ec62ca46c62 请求修改。准备态补读和同版本恢复的局部进展已复验,普通计划和升级恢复仍各有一项待修。 修复后仍需复验同一来源的逐入口消费、原 Turn 的一次结算、安装宿主和 §9 原 quota 对照。
English verdict: REQUEST_CHANGES. Both matched default Turn plans exceed the existing 26,000-character ceiling. Pre-upgrade captures still reacquire a retired lease on File and SQLite, while same-version replay is blocked.
Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
Captured replan read reuse · 62cd14b
已集成
main@dee54966327e。C1 复用同一份已解析验收结果的哈希,也复用现有的 Unicode 码点比较器。分阶段读回保留完整捕获校验、不同版本的验收内容和原结算身份。对应的主干切片独立提交为 #8304,包含主干旧路径里重复计算整包哈希的收敛。3b9d4129d27f的完整 Git tree 相等,已在最终头复跑读取拒绝和恢复。源码 274、TypeScript 120、隔离 wheel 9 用例通过,安装后的 TypeScript 与提交逐字匹配,类型检查和 Ruff 通过。Standard 预合并 7 直接 / 19 选择检查机械通过,仍有 benchmark 人工门和独立复审。选择与认领准备按需查看写入范围
726ab94ccfecad83a8a0b8346e699ec62ca46c62与 #8303 复用同一个 Turn 投影。准备阶段只在较长范围清单上给同源回读指针,完整审批与停止规则继续直接交付。普通认领仍原子检查,进入可执行阶段即拿到原回执和完整范围。明确关闭渐进时原保存恢复保持原文。同一合成三段对照,C1 所选正文从 48,065 B 降至 40,607 B,可执行阶段读回一致;选择依赖范围时多一次同源读取。另补回不支持的初读命令的早拒诊断,沿原权限和恢复边界验证。主干 #8298 的诊断与输出预算另有同基线结果。
集成
main@94b91e48aa4a2cdafe9d4d31d918fe84d0112b41。当前提交通过 9 项源码、81 项 TypeScript 和 5 项隔离 wheel 用例。标准预合并 7 项直接检查和 19 项所选检查自动通过,既有 benchmark 人工评审门仍待评审。仅渐进的恢复同返首屏
当前提交
fc1e93f8104f82b29cdde87bb09748562e0dfc12已集成main@94b91e48aa4a2cdafe9d4d31d918fe84d0112b41。保存恢复支持context-project --initial-read --context-delivery on --delta-delivery off。同一响应交付有界首屏和恢复导航,必要时按原分页命令继续。首屏已用同源选择器计算,省去预先生成根索引的第二次请求;按需索引和原文恢复仍可用。 主干 #82988 KiB 上限下,完整首读仍可分页,调用 3 → 2。两份呈现正文合计相同,保留独立原文,防止源被原地改写或移除后丢失恢复材料。小幅导航增加单列。模型 token 和原 quota 的整题成本继续验证。
实际只读
turn plan另行计量。拥挤 Vision 完整计划 61,473 字符,原冻结上限 26,000。同份捕获只取 DeepSwe 诊断需要的路由和调度字段,读回约 1.6 KB;现有 DeepSwe 诊断已在进程内把这部分缩成五个字段,模型上下文仍需单独实测。集成提交通过源代码用例 53 项、TypeScript 112 项、隔离 wheel 7 项。标准预合并检查执行 7 项直接检查和 19 项所选检查,自动检查零失败。既有 benchmark 敏感边界要求人工评审。
仅渐进时的分阶段重规划与 DSH 交付验证
当前提交
f83df730867e8831445cc36e4da6a43551774f25已集成main@32167518b3c2646fd9b6a3a6e0aaf74b258a7b70。已有捕获的 quota 首读和context-project恢复共用分阶段审阅。审阅和写回契约从原签名捕获取得,保持同一轮、同一摘要。主干的保存恢复切片独立审阅。 主干 #8298上一版的八个 DSH 用例使用原始检视夹具,导致业务分派前的完整 Goal 来源尚未交付。现在测试经真实 quota 准入、完整来源交付、DSH 录制宿主和单次结算,覆盖 File 与 SQLite。两项故意保留缺材料的用例继续验证分派拒绝。恢复测试同时验证错源摘要拒绝、捕获不变和无新增权威状态变更。
固定同源对照开启 progressive、关闭 Delta。总输出包括导航、首读、同等审阅和已提供的写回契约。
普通恢复的可选完整呈现由两页减为一页,单次保存恢复的呈现文件增加约 46 KB。这里测的是固定 CLI 字节和文件体积。自然模型 token、采用、内部 I/O 时延与原 quota 任务的完整成本继续验证。
源码组合 263 通过,隔离安装 12 通过。标准预合并的 7 项直接检查、19 项选择检查通过,benchmark 范围仍需人工评审。完整只读
turn plan在拥挤样本中仍为 54,074/61,473 字符,两者均超过 26,000,与同一任务的渐进路径分别计量。 60 项完整输出矩阵的七项绝对上限和一项增长上限与上一版触发结果一致。 原 quota 单会话、独立复审和 #8211 继续跟踪。下方保留历史记录。收窄规划输入与有界组装传输
当前提交
7b737f707fb74a6593196a8c9ae93991c87e4813已集成main@32167518b3c2646fd9b6a3a6e0aaf74b258a7b70。工作上下文规划只传已有 TypeScript 选择器使用的字段,C1 复用同一主干切片。C1 最终组装仍验证完整来源,用有界无损打包减少这一次传输。组装签名、数字原值、捕获格式、选读和原轮结算保持同一实现。混合输入、损坏压缩和超限膨胀均拒绝。渐进读回缺可选命令模板时保留路径和摘要。 主干 #8295相同合成任务、渐进开启、auto 差分,File 和 SQLite 各两次观测,另各三次无探针回放。下表为 SQLite 进程间传输字节,包含请求、响应和快照。
C1 组装请求和响应合计 64,365 → 26,071 B,普通序列比上一版少 15.6%,与同样优化的 main 仍差 1.2%。C1 的普通序列工具 stdout 两版均为 31,928 B,带恢复均为 44,491 B。独立主干切片把两次规划请求 89,059 → 1,306 B,准入总传输少 14.2%。耗时样本有波动,大来源负载、自然模型 token、安装采用和原任务完整成本待验收。
扩展源码组 111 项通过、8 项既有失败。上一版 C1 复现同一组失败,DSH 分派前要求完整 Goal 来源。最终提交 29 项隔离安装、139 项 TypeScript 测试通过。包括精确数字、普通记忆组合、真实重规划、错误来源和原轮单次结算。相同完整来源交替组装 200 次,返回编辑摘要相同。本地标准预合并的超时检查按原时限复跑通过,7 项直接检查和 19 项选定检查通过,benchmark 范围仍需人工评审。最终提交上拥挤计划无 Vision 为 54,074 字符,带 Vision 为 61,473 字符,都超过 26,000 上限。原四项预算、#8211、独立评审和原 quota 单会话验收继续跟踪。双语实验历史保留。
上一版的最终结算记忆绑定与两项主干拆分
当前提交
797bb60840d16e891794ab0f395000ba2e9a6d6a已集成main@32167518b3c2646fd9b6a3a6e0aaf74b258a7b70。普通 quota 和 thin heartbeat 的贡献与最终组合结算共用同一计划投影。真实重规划的贡献仍绑定动作、计划和结算命令,生成读回地址由捕获摘要单独校验。File 和 SQLite 均能读回有效贡献,并拒绝更改结算命令。状态回执没有可交付上下文时,跳过大来源对象的往返。状态回执的校验、预算和禁止复用保留。 主干 #8290 · 主干 #8292相同合成 Todo 的 SQLite 渐进固定回放开启 auto 差分。相对上一版 C1,准入内部传输 617,911 → 558,275 B,均为 136 RPC。含启动和三次读取的普通序列 868,290 → 808,654 B,加错摘要拒绝和同捕获重试 1,003,368 → 943,732 B(−5.9%)。两版 C1 可见工具 stdout 分别等量于 31,928 B 和 44,491 B。带两项传输优化的主干固定回放普通序列为 762,476 B,C1 仍高约 6.1%,主要差在准入组装。固定回放衡量工具输出和内部传输,模型 token、自然采用和原任务完整成本尚待验证。
当前提交 TypeScript 165 通过。隔离安装 wheel 20 通过,覆盖普通路径的 16 种组合、真实重规划和同捕获结算恢复。本地标准预合并 7 项直接检查、19 项选定检查通过,保留 benchmark 路径人工评审门。原四项预览预算仍开,其中拥挤 Vision 仍为 61,473 字符,上限 26,000。当前差异为 231 个文件、+19,923/−2,385。双语实验账本保留,原 quota 单会话、独立评审和 #8211 继续跟踪。
上一版的准入减重、主干分页集成与 C1 记忆绑定
当前作者 head
fbd4c033e2042786dae637810c1391546ad69fcb集成main的32167518b3c2646fd9b6a3a6e0aaf74b258a7b70。已保存上下文优先交付当前页,再附恢复导航。首读、续页、压缩后同捕获重读和错摘要拒绝均覆盖。C1 带入独立主干提案的同一优化,跳过未启用 Anti-Entropy 的两次校验。已启用但无适用目标、活跃和恢复分支继续验证并交付。 主干 #8286隔离 File 和 SQLite 使用相同合成任务,开启渐进,差分设为 auto。SQLite 上 C1 的准入由 138 → 136 RPC,680,726 → 617,911 B,含启动、三读、一次错摘要拒绝和同捕获重试的总传输由 1,066,178 → 1,003,368 B(−5.9%)。模型可见工具 stdout 在 C1 两臂等量。两边都应用优化后,普通序列 C1 仍为 868,290 B,同样优化的 main 为 821,979 B(C1 高 5.6%)。C1 三次读取本身传输更少。差距主要来自准入
compose_complete,单次约 64.4 KB,其中 67 个字段值共约 58 KB 与上一校验相同。当前数据衡量固定 CLI 的内部传输,整题、自然模型和采用仍待验收。评审待解决项。真实 CLI 召回了 Reward Memory,C1 组合最终结算后改变了记忆贡献原先绑定的计划和动作,重新校验拒绝这份贡献。修正测试以读取渐进捕获后,改动前 C1 和当前 C1 均复现四个用例,覆盖 quota 和 thin heartbeat、File 和 SQLite。主干对应场景通过。追加 SQLite 直连对照中,关闭差分时用普通或仅渐进都通过,仅打开差分也能复现。触发点是差分路径选择的组合结算。下一步先把有效贡献绑定到最终结算语义,再测同次准入能否复用相同来源。
源码 160 通过、11 跳过、4 失败。独立安装的 wheel 49 通过、4 失败,失败均为上述同一问题。控制面类型检查通过。标准预合并 7 项直接检查、19 项选择检查通过,保留人工门。原始预览四项超限仍开,拥挤 Vision 复测 61,473 字符,上限 26,000。相对当前基线的差异为 226 个文件、+19,686/−2,346,待独立复审及 #8211 收敛。双语实验账本保留。
上一版的原生上下文传输去重与归档后结算
作者 head
36a9ebe4197274b058ccab55e314464ff5588393集成 main172d80d630f424b0b44dd513863ba02b5f13d55c,包含原 Turn 在 Todo 自动归档后继续结算的 #8264。C1 和独立主干提案共用同一原生呈现修复。完整分支只把投影正文送过进程边界一次,宿主适配器从这份正文还原完整返回。差分继续使用原有编辑,签名捕获和结算身份继续由原有校验负责。 主干 #8285File 和 SQLite 使用相同合成任务和真实 SessionStart 入口。开启渐进,差分为 auto,首读前没有旧正文基线。SQLite 上 C1 的受影响响应 55,158 → 39,162 B,首读至写回契约的 RPC 字节 265,585 → 249,577 B(约 −6.0%)。计入准入、启动钩子、一次错摘要拒绝和同捕获重试后,总 RPC 字节 1,082,187 → 1,066,151 B(约 −1.5%)。模型可见的工具输出量与 RPC 次数相同。这里测的是读取写回契约,实际归档后结算由下列回归单独验证。
普通序列计入准入、启动钩子与三次读取,当前 C1 为 931,081 B,同期未修改 main 为 884,711 B(高约 5.2%),同期带去重修复的 main 为 868,939 B。两边都去重时,C1 三次读取的 RPC 字节略少,差额主要来自 C1 准入时额外的完整契约组装 RPC,单次约 64.4 KB。实测仅涉及该固定 CLI 场景。自然模型输入、整题成本与实际采用待验证。
当前源码回归 116 通过、11 跳过。隔离 wheel 33 通过,含签名来源篡改拒绝、分段读取、压缩恢复和归档后一次结算。控制面类型检查及 110 项 TypeScript 测试通过。标准预合并 7 项直接检查和 19 项选择检查通过,保留人工门。完整原始预览仍有四项超限,拥挤 Vision 复测 61,473 字符,上限 26,000。当前差异 221 个文件、+19,626/−2,313。双语实验账本保留在本 PR,独立复审待完成。
上一版的主干集成、原领取恢复与分段重规划
作者 head
66735716190c12723d9fa4b62aa65d9df8dc9a04集成 main7108b92337949ddcd6c59f773cc2e0ef10c185c5。C1 让已保存的签名捕获使用主干 #8274 的分段呈现。首读交付决策和审阅入口。审阅后按需要读取写回。两条命令仍指向原始签名捕获,并保留原 Turn、权限和结算身份。直接选原始字段、禁用渐进以及仅启用差分的路径保留。Host 在领取成功、就绪检查中断后重试时,复用同一捕获对应的原领取操作 ID,并复核当前租约。File 和 SQLite 的真实领取负例覆盖有效租约读回,以及租约释放后拒绝旧捕获。该修复独立提到主干 #8279。集成时发现的来源 Goal 类型检查错误另见 #8280。
固定合成重规划在 File 和 SQLite 上开启渐进,差分设为 auto。这是没有旧正文基线的冷读。读取同等阶段时,相比集成前的 C1,首读所选正文少约 56.2%,首读至写回三次工具 stdout 合计少约 26.4%。SQLite 三次读取合计 42,709 → 31,444 B。同期 main 已使用分段呈现,为 31,117 B,C1 高 1.05%。差距主要来自 C1 的补读命令模板。这里计入读取到写回契约的输出,实际写回、整题成本和自然模型 token 另待验证。
独立安装的当前 wheel 通过 26 项签名捕获、阶段补读和领取恢复测试。控制面类型检查和相关 76 项 TypeScript 测试通过。来源 Goal 类型修正前的集成版本另通过 165 项相关源码用例。标准预合并 7 个直接检查和 19 个选择检查通过,保留人工门。原始预览仍有四项已知超限,拥挤 Vision 夹具 61,473 字符,上限 26,000。这一路径仍交付完整检查契约。当前差异为 222 个文件、+19,604/−2,312。双语实验账本留在本 PR。独立复审仍待完成。
上一版的主干集成与原会话恢复
本版
16cf9af51e22b66c9efdbe9dbf59b79833600b74已集成 main3e3e3f841fb46c84c59fd31c94c88c15719a4085。两版的隔离 SQLite 恢复对照通过 117 项,均跳过 2 个需要 Docker 的用例。显式恢复在原会话继续;保留原窗口、回执和尝试计数,拒绝错源、迟到的回执和已停止的任务。恢复后的预算耗尽验证在两版均覆盖五种执行模式:一个唤醒回执、零 Host 启动、零新增扣额。共享测试修正提到 #8277;同轮选任务捕获另见 #8275。File/SQLite 的原签名捕获和选择路径通过 21 项测试;隔离 wheel 跑了 50 项签名捕获和恢复验证。最终合并只更新 benchmark 适配器和测试,打包源码与验证过的 wheel 逐字一致,最终 benchmark 恢复测试用实际更新的适配器复跑。可选 DeepSeek SDK 和 EdgeBench SDK 的完整组合未验证。标准预合并 7 个直接检查、19 个选择检查,0 项阻塞失败,1 项人工门。四项已知预览预算仍未通过,保留原上限。当前仍需独立复审。
固定 SQLite 三步任务使用同一独立产物检查、原 quota 和 C1 的实际入口,计入宿主领取、同轮准入和结算子进程。温态一组复验:工具 stdout 225,616 → 181,864 B(-19.39%),所选正文 103,325 → 99,131 B(-4.06%),内部 RPC 860 → 863 次,传输字节 +0.74%。两版的任务和验收正文字段同为 46,722 B,均复用未变验收字段。C1 多省的部分主要来自重复 CLI 行动提示和结算指令。这里不计自然模型输入输出、费用或采用。
相对本次主干差异为 220 files changed, 19526 insertions(+), 2308 deletions(-)。若 #8211 按现有版本入主干,预览中 87 个文件与 C1 逐字相同;组合仍需处理 14 个文件冲突。双语实验账本继续放在本 PR。
历史版本与其各自的验证
原生预检沿用同一份签名捕获
已集成 main
97a34a4b0abb5a03d003cee9eb70e834941d5e23。主干 #8259 的原生预检复用已提交的捕获引用。C1 的完整来源已经包含重规划契约。旧展示投影会改写已签名正文,使 native projector 拒绝它。当前将原路径和摘要交给同一个 native reader。File 和 SQLite 的对照均复现旧失败,修复后保留原摘要、原 Turn 回执和规划指导,每个合成重规划预检少写一份约 33.7 KB 的展示副本。主干较早格式仍可走自己的分阶段读取。共用 quota 修复让原捕获里的选 Todo 命令带上后续捕获位置和原生传输选项。实际执行该命令得到一个新的同轮捕获,原件逐字相同。独立主干提案 #8275。
三步合成验收对照使用同一编号任务、同一独立产物检查和原 quota/C1 真入口。SQLite 三组配对的温态整题工具输出为 225,009 → 181,751 B,所选正文 103,262 → 99,086 B,内部 RPC 860 → 863 次,线路字节约 +0.74%。两版已共享两个未变验收正文的复用。File 和压缩恢复也完成,短路径仍有额外 RPC。该固定实验不计自然模型请求、实际费用或线上采用。
作者 head
9857001c072730a8a9de7cb20911ed3f41b37826的相关真实 CLI 16 项和隔离安装 14 项通过。标准预合并 7 个直接检查和 19 个选择检查通过,保留 benchmark 人工门和独立复审。四项既有输出预算失败保留。扩大测试时发现五个 benchmark scheduler 用例在默认渐进输出中仍直接取原始 JSON 的should_run,在 main 和 C1 同样复现,未把这组算作通过。双语实验记录保留在本 PR。发布前另观察到主干c3dcb92bdb4520d643a57912090252c51a7c0fcf,其合并预览无文本冲突,新增恢复相关路径与 C1 有重叠,仍需在该组合上复验。当前作者头保留已验证的集成基线。C1 thin heartbeat 输出预算
C1 的 thin heartbeat 在完整 scope 和能力组合下有三个超限用例。现压缩原 capture 的按需读取与恢复指引,并去掉重复的等待扣额提醒。普通行动仍先读
work_context和required_reads。需要补读时使用原 capture,显式全文读取义务、原执行或上下文丢失后的完整来源与身份、选任务和同轮修复所需的 flags 都保留。源码和隔离 wheel 复用同样的真实 CLI 夹具。六组配对的归一化正文各少 109 字符。未绑定和已绑定的 Codex App 完整组合分别由 5,208→5,099 和 5,108→4,999,沿用 5,100 上限。通用 320 字符 scope 的完整 JSON 从 5,092→4,981,沿用 5,000 上限。超长路由仍报超限,未绑定的最长合格夹具只有 1 字符余量。
默认
turn plan --format json继续提供完整只读契约。对带 Vision 的拥挤夹具,直接输出 61,473 B。同一不可变 capture 只读路由 1,571 B,补读完整重规划包 15,426 B,全量分两页则 67,079 B。这些是 reader stdout,另有导航和文件开销。该结果支持有明确需求的补读,默认全量预览和权限没有变化。当前作者 head
7ed3de8fd7a38f50ade524f5d1530236a1c16b2a已集成 main10f66ec5e5586453a5579e9943b189bba84698ca,包括保留合并结算失败诊断的主干修复。相关源码 125 通过、4 项既有超限,结算恢复与补读 124 项通过。当前 head 的 File/SQLite 隔离 wheel 都复现预算数据,6 项聚焦测试通过,1,818 个打包源与源码一致。共用 TypeScript 220 项通过,后续主干合并没有改动这些源码和测试。标准预合并 7 个直接检查与 19 个选择检查通过,仍有 benchmark-sensitive 人工审查和当前 head 独立复审。模型 token、整题成本和实际安装采用仍待验证。 主干 #8267上一版的主干集成与结算验证
作者 head
5be1823fe3f86095165bdafbc441475ec9d254bc已集成 main17e614282c83871712614d561373720f3696d2f9,接入主干的按需历史和预览导入、结算读回复用、初次扣额窄读及 Turn 绑定。两处 Turn 绑定重叠已核对生产者指令和相关断言。相对此基线仍有 217 个文件,+19,464/−2,279,较重提时少 29 行变更。双语实验记录保留在本 PR。 #8212 #8218 #8243 #8248 #8254 #8232同一合成任务、同样的渐进读取和自动差分,通过两个精确作者 head 的真实 quota CLI 和隔离 File/SQLite 比较。两版验证同一产物、同一结算身份、一次写回和一次扣额,拒绝错误 workspace/身份,支持重试和缺失回执恢复。
合并写回内部传输少约 8.2%。初次扣额读取使用紧凑回执,扣额后复用完整读回。guard、完整重试的内部传输以及默认 CLI 输出大小相同。两种存储的
turn plan预览都从 661 降到 653 个 Python 模块,执行选择一致。该配对的观测范围是合成 CLI、传输和回执,模型 token、整题成本及新安装态仍待验收。当前源码导入和预览 256 项通过,结算与历史恢复 153 项通过,heartbeat 和输出预算 122 项通过、7 项超限,TypeScript 137 项通过。7 项超限及数值在原 head 和本 head 相同。最大项为带 Vision 的拥挤
turn plan,输出 61,473 字符,上限 26,000。当前基线的标准预合并 7 个直接检查和 19 个选择检查均通过,benchmark-sensitive 人工门和当前 head 独立复审仍开放。#8211 对当前 main 的合并预览中,有 88 个变更文件与 C1 逐字相同,其中 42 个在 Core 下。预览接入当前 C1 还有 13 个文件冲突,实际收敛规模待主干采用后复核。
重提与原有验证
在 #8265 回滚 #7430 后,从实际主干
2659e5f70c8a8ba6c23f7588151ea5c06576ef69重新提交 C1。回滚后主干与 #7430 合入前逐字相同,保留已落地的 #8208 和 #8161。重提时的作者 head
144c7d172ae08a544fea43dc9404cd88042d7ee8。重新应用原 C1,保留双语实验账本,并补两处恢复测试。测试从保存的 journal 工作契约和实际渐进读回命令读取,保留崩溃边界、损坏拒绝、原 capture 和一次结算断言。该次重提的源码树与本地验证树逐字一致。scheduler、历史、capture、结算、中断恢复和 Goal 验收组 582 项通过,隔离 Docker 用例跳过一项。另用真实 quota CLI 和确定性 Host 验证,C1 拒绝篡改决定后保留原恢复阶段,收到有效决定后沿同一会话继续。安装态、模型整题和完整成本继续开放。新提交进入独立复审和合并门禁。
原 C1 范围与既有证据
本提案使 quota、Turn/Host、capture、journal 与恢复消费同一份完整
work_contract,复用既有 TypeScript 决策与结算 owner。progressive 和已验证字段复用沿实际调用链推进,受支持历史保留原版本、身份和一次效果边界。整体 C1 验收继续开放。原 #7430 作者 head
a4b78b424a38a3f877861f4a419296fcdb856b9a已集成实际 main44376963f8adb310f5f96d9407720a447c3b330e。本轮作者补丁把旧偏好测试改接生产 Host 请求构造入口。普通turn plan仍只供检查。File/SQLite 覆盖偏好读回、正文篡改拒绝、差分恢复和独立 scope,保留存储损坏时的缓存丢弃及依赖动作策略。loopx.extensions.process_runtime失败,由 #8218 跟进。快速预合并的 7 项直接检查和 4 项选择检查均通过,仍有quality_receipt_missing、benchmark-sensitive 人工门和当前 head 独立复审。整题成本与安装验收仍待补齐。上一轮作者 head
8e0a4799ce05935fd555e80b30df78f0973f9d1c,已集成实际 main79665b97a0a453380da02e15b1b62eee895147df(#8234,保留已有项目结果供只读复核,避免重放工作)。无冲突合并的三个相关源码模块 229 passed、共享绑定 TypeScript 61 passed;以下渐进首读修复另按准确候选验证。已就绪的 C1 首读只展示有序计划中的一条合并写回命令。仅当备用列表与该原效果的计划逐字相同,才省去重复展示;扣额仍由运行时执行并返回回执。未知版本、另一效果、不同备用命令或意外的手动扣额命令继续展示。原 capture、直接输出、完整前提和精确补读保持。普通 quota 的两条手动命令版本单独提为 #8238。
前一轮作者 head
c4ea4c31cbcbc6a5e22665796dda01876a0a6d2b已包含本次实际 mainac62962255322cd80a5b701a4187c6f47bc17d8c。该轮运行时提交18e2b692868e52c53fd9f890e0565f68f2a66b34同步了独立切片 #8211 的 Host 执行规则:Codex 和 structured Host 在判断验收或提出关闭前读取已声明的审计;允许尝试、等待和交付的条件继续来自原契约,通知不授予执行权限,Core 仍负责外层效果。无审计声明时不增加读取义务。保留 C1 自己的普通 quota 迁移路径。quality_receipt_missing和 benchmark-sensitive 人工复审,未取得合入资格。前一轮
c3c1f86b的修复把已绑定 Turn 的生成职责与模型职责分开:生产者已经写入具体时间戳后,提示不再要求模型换一个新唤醒时间戳。具体赋值、独立 guard、原身份、必读/恢复、传输 flags、停止和结算命令保持,未绑定模板保留原唤醒指引;共用原 binding owner,不增字段、开关或 reader。相同问题也已独立面向 main 提出 PR #8232。193801b322的 855/2、80/2 及 5,519 超预算原失败仍保留各自版本。c3c1f86b的 quick 检查 7 个直接、4 个选择检查机械通过;总体仍因 quality_receipt_missing 和 benchmark_sensitive 人工门而 hold,未声称 ready、独立批准或合并。前一运行时
c0020f47a修复可见 Goal 的额外完整 capture 前置读取和 Host 验收审计触发:普通/off 不新增前提;required_reads、明确完整读取义务、原身份、恢复、flags、停止和结算保持。24 个同条件 builder 输入没有丢失 main 合法配置。完整 Codex/structured Host 只对已声明审计恢复“判断 Goal 验收或提出关闭前读取”的原触发,历史 renderer 十二例保持逐字一致。heartbeat 消费者迁移到完整来源和摘要校验的原 capture reader;refresh fixture 的实际 project cwd 修正保留,生产守卫未放宽。更早
5091fb82a9/ main9d276f6cb9的 native/私聊两模块源码、正确安装可选 provider 后各一次完整 466 passed,首次 459/7 漏可选分发失败保留;da6779c0a的 247 passed、a706379f70的 357 passed、PostgreSQL 和科学成本证据也分别保留其原修订。未把它们重记为当前 head 全面通过。普通 quota v0 writer 和无调用方场景 builder 已删除,明确版本化历史 matrix 及受支持 writer/reader 保留,详见双语账本。本轮只确认渐进首读中的重复命令减少、原计划可读及现有合成入口行为。真实 App/模型采用、原 quota 单会话整题成果和完整成本仍待验收;双会话另列。未启动模型或科学运行,未查询或手触远端 CI,未安装到活动环境、发布或合并。