[loopx-agent]

Goal And Delivered Outcome

当前 RFC 把完整文件落盘、模型已读覆盖和会话 retention 混在同一个差分前置里，也未说明无 Session Hooks 的调用方如何使用 Progressive、warm Delta 如何发现前轮未读材料。本次更新双语设计、C1 schema 盘点和 C1/C2/C9 演进顺序，明确跨 Host 的 Progressive 默认目标，以及仅在连续性已资格化 Host 上自动使用的独立 Delta。

• Outcome basis / source: controller-executor-unified-contract-v0 §5、§8、§11；现有 required-work-context 交付契约。
• Observable before → after: 原先笼统要求完整交付/retention，改为区分文件产物证明、模型可见覆盖、retention 和语义采用；当前 capture 已有选读能力，新增设计负责未读发现。
• Intended base: main@8a9e116283df2796926ea153241f48c9c8fc3dbb。现有 C1/C2 运行时工作继续，本 PR 不关闭整个切换计划。

Author Declaration

• Written by: model_agent — OpenAI GPT-6 / Codex family.

Implemented against

• Specification and revision: 上述 RFC 和 docs/reference/required-work-context.md，以 base 8a9e116283df2796926ea153241f48c9c8fc3dbb 为现状；本 PR 是设计修订提案。

Criterion	Disposition	Path	Validation
§5：Progressive 与 Delta 正交	implemented (design)	双语 RFC §5	条款逐项互审、双语检查；七行配置/迁移矩阵覆盖显式 off、持久 off、unsupported on、raw machine 与四种分层组合
§5：未读可达性及证据边界	implemented (design)	双语 RFC §5	七项验收案例涵盖未变未读约束、截断/丢失、epoch、撤权与 full 回退；不把文件存在、选读调用、EOF、自我 ACK 记作已读/retention
§8 / §11：既有 owner 与演进顺序	implemented (design)	双语 RFC、roadmap、当前行为参考	盘点 capture/派生视图/覆盖/retention/未读索引；沿 C1/C2/C9 实施，不新增 reader、authority 或平行台账

• Self-check: 核对现有 TypeScript codec、native session/capture、generic reader 的证据边界；保留 captured_file 不依赖模型全量读取的行为。字段名称仍是提议，尚未宣布新 schema 可用。

Scope And Continuation

设计修订在本范围内完成：正文缩减率主指标固定为同次 capture 的 1 - V/F，wire/索引开销单列；净收益仍须计入后续读取、恢复、双会话成本、人工注意力及验收成果。当前 context_delivery 默认值、runtime/schema、实验和部署均未改变。

后续沿既有 C1/C2 完成 typed 字段/配置映射、无 Hook 与原生真实 caller 采用和完整成本验收，再由 C9 退役旧假设与 reader。扩大默认值是待验证的行为变更，显式 off 和冻结配置受保护；本 PR 不修改冻结实验 treatment。文档提案可独立审查和回退。

Validation

• Tested revision: 4d71def8764d1b4782e7c3dc948ba953ee949243
• Run state: finished
• Input classes: public_fixture (repository documentation/source)

Check kind	Result	Evidence / limitation
static	passed	uv run --extra test python scripts/check_rfc_bilingual.py --base origin/main --staged 及 --base origin/main --head HEAD
static	passed	git diff --check；397 个本地 Markdown 链接目标存在，新增锚点指向现有/新增节标题
static	passed	loopx check --scan-path 检查五份文档及最终公开 PR 正文；无公开边界命中
manual	passed	English/中文条款比对：两层、七行迁移矩阵、七项决定性案例、既有 C1/C2/C9 归属一致
integration	not_applicable	纯文档设计，未执行 runtime/installed/model 实验；不主张已取得行为或净收益资格

• Coverage and gaps: 检查覆盖变更的文档与引用；真实 caller/off 路径、可信 Host 覆盖观察和 outcome/full-cost 是后续实现验收，不能以本次文档检查代替。未新增 smoke 或实现框架。

Frontend / Visual Evidence

• UI impact: none；只改设计/参考正文，未改文档 chrome 或产品界面。
• Before / After / First viewport and preview / States and viewports: N/A。
• Source data: none。
• Attention / Craft review: N/A，未改视觉呈现。

Type of Change

• Documentation update

LoopX Area

• Public docs or presentation surface

Technical Direction

• Architecture and research incubator；既有 S2/S4/S6/S7/S11 与 C1/C2/C9。

Shared-authority RFC fixture impact

N/A：未修改 authority store、provider、runtime routing 或兼容投影。

Boundary Checklist

• Diff 与公开正文不包含私有状态、凭据、原始轨迹、内部链接或本机路径。
• 未重复 benchmark 工作或改写冻结 treatment。
• 仅修改本次设计及引用；未开启新模型/实验、安装、发布或合并。
• 两组 English/中文 RFC 成对变更，staged/head 双语检查通过。
• UI impact 标为 none。
• 唯一提交包含 DCO Signed-off-by。

[loopx-agent]

Reviewer: model_agent; gpt-6.1-sol; OpenAI; runtime_reported; reasoning_effort=max

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

APPROVE：未发现阻止这份独立设计提案交付的问题。审阅 head 4d71def8764d1b4782e7c3dc948ba953ee949243；这不是对未来实现、默认值扩大或整个 C1 交付的批准。

动机 / Motivation

需要在跨 Turn 工作中找到必要原文、判断哪些内容确实已送达的 Agent、Host 集成者和维护者。例如上一 Turn 没有展开的一条约束在下一 Turn 决定任务选择：文件已保存且字节未变，不能据此把正文当成模型已读；新设计要求从当前完整 capture 发现并读取它，再核验后续工作是否遵守。

这份提案把两层交付、未读发现、旧配置迁移和决定性反例写成同一组可实施、可独立评审的边界。本次不修改 runtime、schema 或默认配置，不启动实验，也不证明模型理解、实际采用、token 节省或长程净收益。

改动思路 / Approach

最有价值的调整是解除两个不必要的绑定：Progressive 决定如何呈现必要信息及重材料的读取路线，Delta 只决定怎样精确编码当前实例。没有 Session Hooks 的调用方仍可以逐步读取；没有可信 reader 时必须完整内联，无法满足 Host 硬限制时明确停止依赖工作。

组合	设计要求
Progressive + full	保留当前必要事实，详情从当前完整 capture 读取
Progressive + Delta	同样的读取义务，加已资格化的精确编码
完整内联 + Delta	分层独立，不能借关闭 Progressive 关闭合格 Delta
二者都关闭	保留原 full/raw、显式 off 和历史版本义务

上表是对当前 head 的设计解释，不是四种组合已实现的测试结果。文件重建、模型可见覆盖、retention 和语义采用分属不同证据边界。复用现有 TypeScript composition/codec、capture/readback 与配置 owner，比增加第二个 reader、配置存储或台账更合适；confirmed_read_sections、派生 consumed_pointers、unread_context_index 都仍是待映射的提议名称。

具体改动 / Changes

关键内容讲解

核对了全部五个文件，合计 +317/-42，均为文档。

1. 双语 RFC §5 明确 captured_file 不要求模型通读旧文件或到达 EOF；保留精确重建、未知字段、必要事实、权限和恢复约束。压缩只影响后续基线 epoch，不重放现有 Turn 的准入、effect 或扣额。
2. 未读发现必须指向当前完整 projection.json；required-context.json 是派生视图，根路径和 digest 不能互换。变化、数组重排、缺失观察和撤权都要保守处理。前轮材料仍必要时，由原 owner 带入或提供当前授权来源；不能用历史别名补出陈旧事实。
3. 七行迁移矩阵保留显式调用/环境 off、已保存 off、受支持 on、不受支持显式 on 的原错误，以及内部 raw machine 路径。扩大默认值要经过版本化 caller、回退和成本验收；当前 reference 明确这些设计尚未交付。
4. §8、§11 与两份 roadmap 同步沿 C1/C2/C9 演进；不增加独立 roadmap 或第二个语义 producer。正文文件指标固定为同次 capture 的 1 - V/F，wire/index 另列，不能拿文件缩小代替完整成本和成果。

规范依据：docs/architecture/rfcs/controller-executor-unified-contract-v0.md，版本 8a9e116283df2796926ea153241f48c9c8fc3dbb，另对照同版本 docs/reference/required-work-context.md。逐项判断：§2 Invariants 的原要求、权限与一次结算保持；§5 Differential context 的文件证明/模型证明混同有明确设计修订，必要语义与恢复保留。C1 的统一切换及原 quota 单会话成果/完整成本、C2 的真实跨 Host/未读约束采用、C9 的 reader 退役与默认推广仍为 deferred，不能从本提案的检查结果推导完成。

对主干的风险 / Risks

最强反例是“未变但未读的末尾约束在下一 Turn 成为关键”。已有 codec 测试即使全部通过，也可能没有证明模型见过它。新设计要求保守索引、读取当前完整来源，再验证实际选择和后续工作；文件存在、CLI 调用、EOF、自我 ACK 或索引可见均不能替代这些观察。来源撤权或必需材料丢失时停止依赖工作，不泄露旧数据，也不新增全量 ACK 门。

独立验证：

• PASS：完整 EN/中文语义对照、两组 RFC 成对检查、diff hygiene；391 个相对文件链接目标存在，新增双语锚点匹配标题。
• PASS：test_progressive_native_context.py 与 test_codex_context_lifecycle.py 共 195 passed、0 skipped，覆盖当前生产 capture/codec/reader 的隔离路径。五个相关生产模块在 base、此 head 和已获取的 main 2f099b8a1295b12dad7e2367cad6c20b80bad10f 完全相同。
• PASS（恢复后）：native premerge 的四个 direct、十一个 selected 技术命令已覆盖。首次 semantic-vocabulary 检查因新评审工作区缺少 TypeScript 依赖失败；核对依赖清单一致并复用已有依赖后，只重跑该失败命令并通过。原始失败保留，未把首次聚合结果改写成通过。
• HOLD：本 Goal 的精确范围质量门仍为 quality_receipt_missing，聚合 premerge 不通过；这项独立合并资格没有被文档批准豁免。CI 未查询、轮询或等待，未知状态不单独阻止本次批准。

我的整体评价 / Verdict

这份设计修订完成了自身有用、可回退的边界：修正文件与模型证据的混同，为未读材料和旧配置给出完整演进要求。long_horizon 与 user_experience 在本次文档边界为 preserved；未来收益需要实际验证。已采用所给仓库经验中的首个有用任务、失败恢复和采用判断方式，没有把设计审查扩大为要求整个 runtime 先完成。

本次检查的 RFC、roadmap 与 reference 只修改工程设计和行为说明，没有产品页面、组件、文档站布局或视觉实现变更。未验证部署文档站、安装版 Host、真实模型可见观察或未来跨 Host 产品流程。可信 Host 覆盖观察、跨 Host caller、双层配置映射及原 C1 单会话成果/完整成本资格仍待既有 C1/C2/C9 实现与验收。保留所有历史失败和不利成本；没有合并、安装或实验行为。

English verdict: APPROVE 4d71def8764d1b4782e7c3dc948ba953ee949243 as a bounded design amendment; current primitives pass independent checks, while runtime adoption, full-cost benefit and merge qualification remain open.