Repository navigation
fix(context): retain nested Stride writeback syntax - #7956
Conversation
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
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
left a comment
There was a problem hiding this comment.
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.
捕获后的
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 状态。协议说明已同步中英文。此变更复用现有 typed owner,无需另建抽象;只影响既有 Agent CLI 写回视图,没有新增用户操作或设置。模型重试是否减少、决策偏置和任务净收益仍需后续实际轨迹验证。