Skip to content

docs: guide progressive context and whole-task validation - #7595

Merged
huangruiteng merged 1 commit into
mainfrom
codex/progressive-context-development
Oct 28, 2026
Merged

huangruiteng merged 1 commit into
mainfrom
codex/progressive-context-development

Conversation

@loopx-agent

Copy link
Copy Markdown
Collaborator

Treat durable source completeness and model input requirements separately. Add a short entry rule in AGENTS.md, with the detailed bilingual development procedure and qualification in their existing owners: current goals/constraints/criteria first, evidence and history on demand, visible failure/unknown signals, and exact source/detail lineage.

The procedure distinguishes suggested work from an actual bound continuation and requires producer, consumer, detail and recovery semantics to move together. It does not waive the required reads of existing captures. Verification covers meaningful alternatives, tail constraints, contrary/shared evidence, interrupted detail reads and useful post-recovery work; compare whole-segment costs rather than page counts. This supports the ongoing progressive-context implementation alongside #7591 and the acceptance/recovery work; it does not claim that those runtime changes have shipped.

Validation: all six repository instruction-delivery checks passed, root AGENTS.md is 31,885 bytes under its existing 32 KiB check, whitespace/bilingual checks passed, local links and public boundary reviewed. Existing sessions/model compliance are untested. No runtime, installation, permission or state changes. The documentation owner is reused; no new policy framework or telemetry system.

@loopx-agent loopx-agent left a comment

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewer: model_agent; model=gpt-6.1-sol; provider=OpenAI; reasoning_effort=max; declaration_source=runtime_reported.

Approval conclusion (author-owned PR; GitHub blocks formal self-approval)

动机 / Motivation

需要继续工程任务或核验成果的 Agent,以及维护上下文交付的开发者。同一工程任务在继续执行时可能反复加载完整历史;若直接删掉正文,又可能遗漏尾部停止条件。新指导区分当前决定所需信息和持久证据,并要求现有捕获继续按原合同完整读取。在现有开发和测试指南中给出可执行的渐进读取方法与资格边界,避免把首屏缩短或分页成功误报为有效工作收益。本 PR 不修改运行时、当前必读项、默认开关、权限或结算,也不声称已有会话加载、模型遵从和费用收益。实际分阶段 producer/consumer 切换、同 capture 详情与恢复集成,以及真实后继成果和完整成本,仍由现有上下文实现工作验收。

改动思路 / Approach

复用现有入口与文档 owner:AGENTS/CLAUDE 共享核心政策,开发指南说明如何定位和展开,测试指南负责如何判断是否真正获益。完整材料仍持久保存;当前目标、约束、停止条件和验收标准先可用,相关失败、未知覆盖、共享要求与反面证据不能因被收起而消失。selected_todo 只是建议时,不能据此认定已经选择工作。这个边界比单纯增大预算或手工裁剪调用方输出更完整,也没有引入新的相关性分类器或遥测系统。

具体改动 / Changes

规范依据是 immutable base e19d94ca04ead2bb919aaa438e61bf229a6cfad1 的指令加载与维护、同文件 scope-fit,以及现有 Budget Failure Decisions。下面的 criterion 名是对未编号条文的审阅标签:instruction-obligation-parity、consumer-owned-detail、same-workload-full-cost 在此 head 均 implemented;运行时分阶段交付与真实成本收益 deferred,不能据此验收。

关键内容讲解

  • AGENTS 入口只增加四行路由。旧正文逐字保留,Codex 根文件由 31,644 增至 31,885 bytes,仍低于已有 32 KiB 检查;CLAUDE 仍显式导入同一文件。
  • 开发流程区分标准与证据、真实选择与已绑定接续。它明确禁止在 full-required 接口外裁剪,并要求 typed scope、必读指引、详情、实际输入与恢复一起替换;未交付正文不能加入 baseline,丢失后恢复原决定。联合交付前旧合同继续生效。
  • 资格验证要求真实备选、尾部约束、跨 owner/反面证据、过期详情和中断恢复,比较整段输入、补读、往返、重放及恢复后有效工作。未知费用和采用不能补造。中英文均保留这些边界。

对主干的风险 / Risks

最强反例是:Agent 看到“按需读取”便跳过旧 capture,或者只读索引后声称完整 baseline。新增文字明确禁止两者;其他 owner 的共享约束和未知相关性也要求在依赖决定前展开。PASS:六项现有 instruction-delivery 检查验证根文件完整加载边界、共享 import、local routes 与既有 anchor;完整三文件 diff 和双语条款已逐项审阅。标准 premerge 的4项直接检查、13项选中检查全部 PASS,失败/skip/manual hold 均为0。没有查询或等待远端 CI。

这不是一个 default-off 功能被文案暗中开启:本次改变的是默认开发建议,运行时 flag、schema、source、journal、quota 和权限没有变化,旧必读/恢复义务也保留。UNVERIFIED:既有会话是否重新加载、模型是否遵从、分阶段运行时及整轮 token/时间收益。链接检查通过不能替代这些证据。可整体回退新增路由和段落,不需状态迁移。

我的整体评价 / Verdict

这是有用且范围合适的指导增量:long-horizon 的原要求、原身份恢复和完整成本标准得到保留;user experience 没有增加设置、问询或审批步骤,实际理解收益仍未知。未来向前重构已采用“短入口+现有详细 owner”的有界做法,当前无需再添框架。它复用已有语义,不创建状态或授权协议;没有发现需要修复的阻塞问题。批准仅针对 b4888a8f769e32cd62f6b0fbbef8f1874fd93e27 的这三份指导文件,余下运行时和成果资格保持开放。

English verdict: APPROVE.

Signed-off-by: LoopX Agent <337587101+loopx-agent@users.noreply.github.com>
@loopx-agent
loopx-agent force-pushed the codex/progressive-context-development branch from b4888a8 to 1a57621 Compare October 28, 2026 17:47

@loopx-agent loopx-agent left a comment

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewer: model_agent; model=gpt-6.1-sol; provider=OpenAI; reasoning_effort=max; declaration_source=runtime_reported.

Approval conclusion (author-owned PR; GitHub blocks formal self-approval)

动机 / Motivation

需要继续工程任务或核验成果的 Agent,以及维护上下文交付的开发者。同一工程任务在继续执行时可能反复加载完整历史;若直接删掉正文,又可能遗漏尾部停止条件。新指导区分当前决定所需信息和持久证据,并要求现有捕获继续按原合同完整读取。在现有开发和测试指南中给出可执行的渐进读取方法与资格边界,避免把首屏缩短或分页成功误报为有效工作收益。本 PR 不修改运行时、当前必读项、默认开关、权限或结算,也不声称已有会话加载、模型遵从和费用收益。实际分阶段 producer/consumer 切换、同 capture 详情与恢复集成,以及真实后继成果和完整成本,仍由现有上下文实现工作验收。

改动思路 / Approach

复用现有入口与文档 owner:AGENTS/CLAUDE 共享核心政策,开发指南说明如何定位和展开,测试指南负责如何判断是否真正获益。完整材料仍持久保存;当前目标、约束、停止条件和验收标准先可用,相关失败、未知覆盖、共享要求与反面证据不能因被收起而消失。selected_todo 只是建议时,不能据此认定已经选择工作。这个边界比单纯增大预算或手工裁剪调用方输出更完整,也没有引入新的相关性分类器或遥测系统。

具体改动 / Changes

规范依据是 immutable base fb331f45c355152a4c1658af1e097f60a5840154 的指令加载与维护、同文件 scope-fit,以及现有 Budget Failure Decisions。下面的 criterion 名是对未编号条文的审阅标签:instruction-obligation-parity、consumer-owned-detail、same-workload-full-cost 在此 head 均 implemented;运行时分阶段交付与真实成本收益 deferred,不能据此验收。

本次对 rebased head 重新核验:git range-diff 显示原提交 patch 完全等价;根指令、开发 README 与测试 blobs 相同。testing guide 多出的31行来自新 base 已合入的压力夹具归因,已单独阅读,不是本 PR 新增或遗漏的改动。当前 head/base 的六项 instruction checks 都通过,当前 head 的4 direct/13 selected premerge 全通过;这份结论绑定新 head,不沿用旧批准。

关键内容讲解

  • AGENTS 入口只增加四行路由。旧正文逐字保留,Codex 根文件由 31,644 增至 31,885 bytes,仍低于已有 32 KiB 检查;CLAUDE 仍显式导入同一文件。
  • 开发流程区分标准与证据、真实选择与已绑定接续。它明确禁止在 full-required 接口外裁剪,并要求 typed scope、必读指引、详情、实际输入与恢复一起替换;未交付正文不能加入 baseline,丢失后恢复原决定。联合交付前旧合同继续生效。
  • 资格验证要求真实备选、尾部约束、跨 owner/反面证据、过期详情和中断恢复,比较整段输入、补读、往返、重放及恢复后有效工作。未知费用和采用不能补造。中英文均保留这些边界。

对主干的风险 / Risks

最强反例是:Agent 看到“按需读取”便跳过旧 capture,或者只读索引后声称完整 baseline。新增文字明确禁止两者;其他 owner 的共享约束和未知相关性也要求在依赖决定前展开。PASS:六项现有 instruction-delivery 检查验证根文件完整加载边界、共享 import、local routes 与既有 anchor;完整三文件 diff 和双语条款已逐项审阅。标准 premerge 的4项直接检查、13项选中检查全部 PASS,失败/skip/manual hold 均为0。没有查询或等待远端 CI。

这不是一个 default-off 功能被文案暗中开启:本次改变的是默认开发建议,运行时 flag、schema、source、journal、quota 和权限没有变化,旧必读/恢复义务也保留。UNVERIFIED:既有会话是否重新加载、模型是否遵从、分阶段运行时及整轮 token/时间收益。链接检查通过不能替代这些证据。可整体回退新增路由和段落,不需状态迁移。

我的整体评价 / Verdict

这是有用且范围合适的指导增量:long-horizon 的原要求、原身份恢复和完整成本标准得到保留;user experience 没有增加设置、问询或审批步骤,实际理解收益仍未知。未来向前重构已采用“短入口+现有详细 owner”的有界做法,当前无需再添框架。它复用已有语义,不创建状态或授权协议;没有发现需要修复的阻塞问题。批准仅针对 1a57621060a4be1b262363107d17f0b9bb386e4d 的这三份指导文件,余下运行时和成果资格保持开放。

English verdict: APPROVE.

@huangruiteng
huangruiteng merged commit f07872b into main Oct 28, 2026
5 of 6 checks passed
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