Skip to content

fix(context): retain nested Stride writeback syntax - #7956

Merged
loopx-agent merged 2 commits into
mainfrom
codex/stride-writeback-shape-20261103
Nov 3, 2026
Merged

loopx-agent merged 2 commits into
mainfrom
codex/stride-writeback-shape-20261103

Conversation

@huangruiteng

@huangruiteng huangruiteng commented Nov 3, 2026 •

Copy link
Copy Markdown
Collaborator

捕获后的 quota replan-view --replan-stage writeback 删除了 Stride owner 的 minimal_example,只留下顶层字段名。启用 Stride 后,调用者因此拿不到 previous_review 和 explore_review 的完整嵌套写入格式,需要回查原始 capture 或逐字段修复。

本 PR 在写回阶段保留该 owner 已生成、绑定当前 context/obligation 的格式示例。决策证据仍由 review/Explore 交付;示例仍明确只表示语法,不能代替判断或证明采用。没有新增字段、策略、配置、状态 owner、准入或结算权限。原有校验和预算保持不变。

验证:

  • 新增的两处回归在基线复现 minimal_example 缺失;当前通过,并通过真实 CLI 验证上次决策/Explore 复盘的嵌套字段、当前引用和 unknown 状态。
  • 同一组不可变合成输入:Stride off 为 1,035→1,035 字节且逐字节相同;启用时 7,019→8,181 字节;带前次决策和 Explore 时 7,140→8,821 字节。16 KiB 写回限额未改变,其余字段逐值相同。
  • 80 项相关 TypeScript 测试与 control-plane typecheck 通过。标准 premerge 通过,保留一项已有 maintainability advisory;不构成 merge 授权。
  • 扩展的同一组 90 项 Python 测试:head 53 通过/37 失败,干净基线 51 通过/39 失败;36 个失败案例相同。其余计数断言的失败参数在两次整套运行间不同,head 唯一未在整套基线失败的案例单独重跑后 base/head 都通过。此验证缺口仍未闭合,不将整套件标为通过,也不把计数差异归因为本修复。

协议说明已同步中英文。此变更复用现有 typed owner,无需另建抽象;只影响既有 Agent CLI 写回视图,没有新增用户操作或设置。模型重试是否减少、决策偏置和任务净收益仍需后续实际轨迹验证。

Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
loopx-agent
loopx-agent previously approved these changes Nov 3, 2026

@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

APPROVE;没有阻塞 finding。一项非阻塞文档问题:[P3] 同步后段中文的示例描述。 313–315行 仍说写回移除 Vision/stride 答案示例,与本 PR 新增的147–149行和实际 Stride格式保留行为不一致。建议改为“只移除通用 Vision 预填示例,保留当前 Stride 嵌套语法”,并人工核对前后两段。它不改变执行义务,新段落和代码已明确语法边界,因此不阻塞当前批准。

动机 / Motivation

执行 Stride 复盘的 Agent,需要把已判断的事实写入正确的嵌套格式。 以前启用 Stride 后,写回视图只列顶层字段,嵌套复盘格式必须回查完整快照或逐字段修复;现在同一次按需写回读取就能拿到当前 owner 的完整格式示例。 相同捕获输入的写回仅新增原 owner 的 minimal_example;前次决策和 Explore 的引用完整、缺失收益仍为 unknown,关闭 Stride 时写回逐字节相同。 本 PR 不改变生产 Stride 默认、decision 校验、Explore 启用或结算权限;不证明模型重试减少、路线选择改善或冻结实验收益。

改动思路 / Approach

复用原有格式生成规则,保留完整嵌套语法,避免另建示例或引用校验规则。本次只恢复现有按需写回的格式,决策规则、生产默认、来源、结算和预算保持原规则,真实模型收益尚未验证。通用 Vision 预填示例仍删除,决策证据继续从 review/Explore 获取。真实用户任务是把已判断的事实写回,既有意图下新增人工选择或确认轮次为0;少一次冷快照语法回查是可见的路径改善,实际模型重试、复制偏置与净收益仍未验证。

具体改动 / Changes

实审 42dfa4130dbeae483c1b4bc806349825e8852b6c,main baseline e263c3a18512316223eff895def6e8dbd46a2a6d;3个既有文件 +30/-10,生产部分 +3/-1。

关键内容讲解

replanView 先验证完整 source hash 与 obligation/context,再在 writeback 分支少删一个字段。示例来自未修改的 strideControlContract,包含适用的 previous_review 和 explore_review;缺少结果依据的三个收益判断仍为 unknown,Explore finding refs 留空,不能当作已采用证据。浅拷贝投影不修改原 capture;读取本身不进入 registry、guard 或回执写入。

独立规范为 docs/reference/protocols/goal-vision-replan-contract-v0.md,spec_revision e263c3a18512316223eff895def6e8dbd46a2a6d。Structured stride control 要求示例只说明语法、实际axis/probe与权限仍由原owner负责;previous_review 必须引用确切前次决定并区分三类收益;explore_review 绑定当前basis,不能把可用、选择、执行和权限混同。本次只改变语法的交付阶段,不降低这些义务。旧 turn-envelope 文档的删示例设计属于有意调整;新增格式仅在已有 Stride control 存在时出现,没有改动生产默认或扩大启用范围。

对主干的风险 / Risks

同一份当前回归在base为1P/2F,两个准确缺口都是 minimal_example;head为3P。不可变三组捕获经真实CLI对照:off写回1169→1169B逐字节相同,启用7157→8319B,前次决定+Explore为7239→8920B,均低于原16KiB。其他字段及读取阶段一致;review广告命令只规范化两个隔离工作区各自的Python路径。错误hash/obligation仍拒绝,source不变。File/SQLite各自的CLI与TurnEnvelope四条原生导航/恢复→同快照review/writeback路径通过,历史index不变。57项相关Python、base/head各110项TS、typecheck、Ruff通过;标准premerge5项直接检查、17项selected无阻塞失败,保留1项ratchet advisory。

没有把红项改写成通过:原staged模块在base/head均13P/10F;十个完整trace与失败函数逐项相同,因果是旧测试读取导航中不存在的inline键或旧path,在触及本次写回字段前失败,另用四条当前原生路径覆盖实际条件。ratchet的完整393B输出逐字节相同,checker和renderer未改。作者更新自述head53P/37F、base51P/39F,36项失败共同;head独有计数断言单独重跑在两端都通过,整套不稳定性仍未闭合。本审阅不据此推定因果或宣称整套通过;本次独立证据覆盖当前格式、来源与读取无副作用等必要不变量。私有probe曾错误假设非null验收和必有可选first_read,原失败保留;修正只沿既有generic recovery处理,并未修改产品。CI未查询,不作为批准前置。

我的整体评价 / Verdict

格式恢复目标已完成,复用原typed owner与当前引用,比另建语法副本更易维护和回滚。long_horizon 的预算/来源/停止/结算语义保留;增加1162/1681B按需上下文是有依据且可回滚的取舍,不证明总成本下降。最强风险是模型照抄 verify/unknown/deferred 示例;现有语法说明和独立结果校验仍在,真实模型偏置与净收益是明确未验证范围。完整差异没有UI渲染变化;已检查现有cadence能力编辑器和CLI读取入口,visual_review不适用,无新增设置或前端操作。非阻塞中文文档建议见首段。此批准不包含main合并、安装、冻结运行或整合资格。

English verdict: APPROVE — 42dfa41; source-bound nested syntax is restored with unchanged off behavior and authority; local changed-invariant evidence is sufficient, with one non-blocking documentation inconsistency and unmeasured model bias retained.

Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.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

APPROVE;没有阻塞 finding。新 head aa48f47e2e4f37f5dafa44df78e55d5ca592f9ca 的追加 commit 只修改文档7行(+4/-3),前次 P3 已修复:后段中文现在明确只移除通用 Vision 预填示例,保留已启用 Stride 的当前嵌套语法,并保留实际复盘证据、权限和停止条件。

本次核对完整树差异,确认所有 runtime、tests、schemas、依赖、配置和既有规范与前次实审 42dfa4130dbeae483c1b4bc806349825e8852b6c 逐字节不变。下述完整矩阵保留其原 source revision,按这个失效检查复用;没有把旧运行计为新 head 的重跑。新文档另跑 whole-PR/delta diff check、RFC双语检查和公共文件扫描,扫描文件无问题;独立空 registry 的 runtime 未创建 warning 如实保留。

动机 / Motivation

执行 Stride 复盘的 Agent,需要把已判断的事实写入正确的嵌套格式。 以前启用 Stride 后,写回视图只列顶层字段,嵌套复盘格式必须回查完整快照或逐字段修复;现在同一次按需写回读取就能拿到当前 owner 的完整格式示例。 相同捕获输入的写回仅新增原 owner 的 minimal_example;前次决策和 Explore 的引用完整、缺失收益仍为 unknown,关闭 Stride 时写回逐字节相同。 本 PR 不改变生产 Stride 默认、decision 校验、Explore 启用或结算权限;不证明模型重试减少、路线选择改善或冻结实验收益。

改动思路 / Approach

复用原有格式生成规则,保留完整嵌套语法,避免另建示例或引用校验规则。本次只恢复现有按需写回的格式,决策规则、生产默认、来源、结算和预算保持原规则,真实模型收益尚未验证。通用 Vision 预填示例仍删除,决策证据继续从 review/Explore 获取。真实用户任务是把已判断的事实写回,既有意图下新增人工选择或确认轮次为0;少一次冷快照语法回查是可见的路径改善,实际模型重试、复制偏置与净收益仍未验证。

具体改动 / Changes

实审 aa48f47e2e4f37f5dafa44df78e55d5ca592f9ca,main baseline e263c3a18512316223eff895def6e8dbd46a2a6d;3个既有文件 +34/-13,生产部分 +3/-1。

关键内容讲解

replanView 先验证完整 source hash 与 obligation/context,再在 writeback 分支少删一个字段。示例来自未修改的 strideControlContract,包含适用的 previous_review 和 explore_review;缺少结果依据的三个收益判断仍为 unknown,Explore finding refs 留空,不能当作已采用证据。浅拷贝投影不修改原 capture;读取本身不进入 registry、guard 或回执写入。

独立规范为 docs/reference/protocols/goal-vision-replan-contract-v0.md,spec_revision e263c3a18512316223eff895def6e8dbd46a2a6d。Structured stride control 要求示例只说明语法、实际axis/probe与权限仍由原owner负责;previous_review 必须引用确切前次决定并区分三类收益;explore_review 绑定当前basis,不能把可用、选择、执行和权限混同。本次只改变语法的交付阶段,不降低这些义务。旧 turn-envelope 文档的删示例设计属于有意调整;新增格式仅在已有 Stride control 存在时出现,没有改动生产默认或扩大启用范围。

对主干的风险 / Risks

同一份当前回归在base为1P/2F,两个准确缺口都是 minimal_example;head为3P。不可变三组捕获经真实CLI对照:off写回1169→1169B逐字节相同,启用7157→8319B,前次决定+Explore为7239→8920B,均低于原16KiB。其他字段及读取阶段一致;review广告命令只规范化两个隔离工作区各自的Python路径。错误hash/obligation仍拒绝,source不变。File/SQLite各自的CLI与TurnEnvelope四条原生导航/恢复→同快照review/writeback路径通过,历史index不变。57项相关Python、base/head各110项TS、typecheck、Ruff通过;标准premerge5项直接检查、17项selected无阻塞失败,保留1项ratchet advisory。

没有把红项改写成通过:原staged模块在base/head均13P/10F;十个完整trace与失败函数逐项相同,因果是旧测试读取导航中不存在的inline键或旧path,在触及本次写回字段前失败,另用四条当前原生路径覆盖实际条件。ratchet的完整393B输出逐字节相同,checker和renderer未改。作者更新自述head53P/37F、base51P/39F,36项失败共同;head独有计数断言单独重跑在两端都通过,整套不稳定性仍未闭合。本审阅不据此推定因果或宣称整套通过;本次独立证据覆盖当前格式、来源与读取无副作用等必要不变量。私有probe曾错误假设非null验收和必有可选first_read,原失败保留;修正只沿既有generic recovery处理,并未修改产品。CI未查询,不作为批准前置。

我的整体评价 / Verdict

格式恢复目标已完成,复用原typed owner与当前引用,比另建语法副本更易维护和回滚。long_horizon 的预算/来源/停止/结算语义保留;增加1162/1681B按需上下文是有依据且可回滚的取舍,不证明总成本下降。最强风险是模型照抄 verify/unknown/deferred 示例;现有语法说明和独立结果校验仍在,真实模型偏置与净收益是明确未验证范围。完整差异没有UI渲染变化;已检查现有cadence能力编辑器和CLI读取入口,visual_review不适用,无新增设置或前端操作。前次P3中文描述已逐句核对修复,当前前后两段一致。此批准不包含main合并、安装、冻结运行或整合资格。

English verdict: APPROVE — aa48f47; source-bound nested syntax is restored with unchanged off behavior and authority; local changed-invariant evidence is sufficient, the documentation inconsistency is resolved; unchanged runtime evidence is reused with an explicit tree check, and model bias remains unmeasured.

@loopx-agent
loopx-agent merged commit 7150779 into main Nov 3, 2026
17 of 35 checks passed
@loopx-agent
loopx-agent deleted the codex/stride-writeback-shape-20261103 branch November 3, 2026 03:39
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