理解、使用和验收上下文交付¶
上下文交付让 Agent 获得当前工作的要求,以及通向其证据的可核验入口。渐进阅读决定 本次判断需要哪些材料;差分交付表达精确版本之间发生了什么变化。二者共用管线, 但回答不同的问题。
未保存机器偏好时,受支持的 POSIX Codex App/SSH 和已声明的 benchmark 心跳入口 默认开启原生路径。保存 off 或显式关闭可禁用;普通 CLI、其他宿主与不支持的平台 继承完整交付。
保存开关不证明宿主已就绪、某次输入用了 delta,或模型已理解材料。完整 C1 消费链迁移和 长程成果/成本资格仍未完成;广泛默认化和旧路径退役须取得下文证据。
Required work context 定义当前语义; Controller/executor RFC 拥有未来收敛设计。本指南解释既有 owner,不另立一套协议。
沿信息链理解,而不只看 prompt¶
flowchart TD
A[当前权威与来源] --> B[不可变 capture]
B --> C[必要视图与详情引用]
C --> D[全量或精确差分]
D --> E[Agent 读取必要事实]
E --> F[实际工作与验证]
F --> G[既有写回与结算]
E -->|需要证据| B
- 既有 Goal、Todo、acceptance、偏好与 capability owner 提供事实。待完成读取和来源 不可用继续可见;展示不能把它们变成已读或执行许可。
- Capture 绑定来源版本和工作身份。当前原生交付保留原始
projection.json,以及 面向模型的必要视图required-context.json。来源历史与评审解释可保存在原 capture, 通过精确详情引用到达。 - TypeScript owner 先组成必要视图,再编码。已知验收要求与当前评审/检查状态保持 可达;判断依赖解释时再展开。完全相同的重复行可引用同一视图中完整的那一份。 未知或不支持的形状保留完整义务。
- Codec 比较兼容版本。原生 Codex 以同一 session/epoch 中校验过的保存文件为基线; 最终输出还计入引用与完整读取的封装成本,再选择 full 或 delta。因此 full 也可能 是更便宜的合法结果。
- Agent 取得下一动作所需事实,执行并验证。准入、新鲜权限检查、验收和一次性效果 仍归既有 owner;读 capture 不执行这些操作。
共享实现由
prepareProgressiveContextDelivery
开始,使用精确 codec,文件、锁和原生
生命周期 IO 留给 Codex adapter。
一次共享准备调用,不证明所有最终消费者已经迁移。
三种复用分别看¶
| 机制 | 复用什么 | 不证明什么 |
|---|---|---|
| 同响应引用 | 当前视图内一份完整、精确的值 | 隐藏或旧版本的值已经被读过 |
| 保存文件差分 | 身份兼容、经过校验的不可变文件版本 | 模型保留、理解或新鲜权限 |
| Provider prompt cache | Provider 自己的输入处理/计费复用 | 来源正确、任务成功或 LoopX 净收益 |
语义摘要是另一种操作,会改变措辞,可能改变含义。精确 codec 不做语义摘要。 Controller 编写 brief 仍是单独提议的工作流,须验收保留要求与实际成果;更短的文字或 provider cache 命中都不能替它通过。
显式确认完整输入的客户端另有 retained-input 契约。不能把它换成原生 Codex 的文件 假设,也不能要求原生 Codex 为建立文件基线先把旧完整包读进模型。
一项任务,四种场景¶
用一个合成任务贯穿:增加 UTF-8 导出,保留原有格式,绝不覆盖已有目标文件。 下列检查和证据是说明例子,不是 benchmark 结果。
| 场景 | Agent 看到或取得什么 | 仍须完成什么 |
|---|---|---|
| 冷启动 | 当前 capture 引用,以及完整任务、Goal 意图、适用要求、权限与停止条件的入口 | 工作前读必要事实与必读来源,按需检查实现/支持证据 |
| 暖态继续 | 新版本的 full 或 delta;未变化事实仍经兼容 capture 保持约束力 | 读新测试结果及所需继承事实;验收实际导出,不能把输入变短当成功 |
| 约束变化 | 当前来源 revision 新增输出命名规则 | 在受影响写入前对齐新要求;旧许可或旧测试不覆盖新要求 |
| 压缩或基线丢失 | 恢复引用仍在,后续工作 Turn 使用新基线 epoch | 从本轮同源 capture 补缺失必要事实,沿原工作/effect 身份继续;不能因丢上下文重复准入或已提交的导出 |
Full 表示完整保存视图可用,不要求判断任何问题前先遍历所有字段。先读适用的 Goal 意图、要求、权限、停止与验证义务,判断需要时展开支持证据。广域重规划或整体验收 相应扩大阅读范围。
原生文件基线可继承未变化字段,包括控制字段。Delta 没列出某条约束,不表示它已 消失,也不证明模型保留了它。不确定时取得必要当前事实。Default-off 与签名 envelope 调用方继续遵守各自读取契约;这个渐进原生例子不放宽它们。
读对对象,再恢复¶
使用当前响应返回的路径、摘要与命令。原生响应的 recovery 指向当前完整必要视图;
context_details 则可指向包含延后证据的原始 capture。不能交换两份文件的 hash。
- 已知 JSON Pointer 直接选择,相关字段用重复
--select批量读取。 - 未知 pointer 先对最近的已知父节点
--list;必要时用--list-depth 2减少发现往返。 列出根节点时省略--select,不要写表示空名称属性的/。 - 未完成的选择沿返回的字节 cursor 继续。EOF 只覆盖该选择,不代表读了其他字段。
- 同时控制 reader 页与宿主工具的合计输出预算。合法 JSON、落盘日志和 EOF 都不能 补上被宿主截掉的字节;缩小批次,从同一 capture 补缺失范围。
- 基线缺失、不支持的 delta 或绑定无效时,恢复当前完整 capture;不要先取旧包给 新基线垫底。
压缩不取消已准入的 Turn。Working brief 帮助找回原身份和进度,不提供新权限或模型 保留证明。已接受操作及其回执,与尚未解决的投递分开;动作 owner 要求新鲜权限时 仍须取得,但单纯传输恢复不构成再次 guard 或扣额的理由。
开启、验证和回退¶
当前原生连续性 adapter 支持 POSIX 下的 Codex App heartbeat、Codex App SSH Goal, 以及显式声明的 Codex benchmark heartbeat worker。声明选择 adapter,不认证宿主。 显式 on 的声明缺失、矛盾或不支持会报错;其他已解析宿主继承这个 Codex 范围偏好时 保持完整交付。
App 中使用 Settings → This machine → Capabilities → Differential context → Codex。 已有的 revision 锁定 preview/apply/readback 事务拥有这项设置;它不初始化当前原生 session,也不证明生命周期 hook 已安装。只读设置页不能保存。
CLI 使用同一个 context_delivery 机器 namespace,详见
机器级默认,无需再建 Goal 配置。
- 显式
--context-delivery on或off:覆盖该次调用继承的机器选择。 - 没有显式选择:已保存机器偏好时使用该偏好。
- 没有机器偏好:受支持原生 Codex 调用方默认开启;其他调用方保持完整交付。
- Worker 显式
LOOPX_CONTEXT_DELIVERY=off:覆盖继承;环境变量 on 本身不开启原生交付。 - 关闭 App 开关:经同一事务保存 off,不撤销任务效果或改写历史 capture。
开启后核对一次真实受支持调用:target 绑定、full/delta 模式、当前恢复引用与宿主 生命周期上下文应一致。冷启动、丢失后或完整交付更便宜时,full 完全合法;保存 on 与看到 full 本身,都不能判断差分是否正确复用。
解析原始 should_run 或结算事实的机器消费者,其内部调用仍须请求 raw 输出。原生
展示封装不是原始权威响应;封装中缺少 should_run 不表示拒绝准入。不能通过改机器
设置改变某个实验冻结的模式、来源或时钟;trial 保留原显式配置与权限。
排障不改写任务历史¶
| 观察 | 下一检查 |
|---|---|
| On 被拒绝 | 实际宿主声明、支持场景与 POSIX 要求,不猜一个不同宿主身份 |
| 每次都是 full | Session/epoch 连续性、文件是否可读及 codec 原因;full 可能就是更便宜的预期形式 |
| Selector 不存在 | 列当前父节点,使用正确 capture/digest,补必要事实而不再次准入 |
| 精确读取时来源变化 | 遵守当前任务/来源新鲜度契约;历史 capture 不是新鲜权限 |
| 效果发生后回复丢失 | 先对齐原 operation 和回执,再决定是否重试效果 |
| 设置已保存却未见原生复用 | 核宿主/session 准备与实际调用;保存偏好只是一个前提 |
Capture/journal 可包含私有任务与证据。原生存储使用私有 runtime 目录和分 session journal,限制权限并拒绝不安全路径。不要把原始 capture、本机路径或 journal 附到 公开 issue,使用获准的脱敏复现。关闭展示不改变保留政策,也不是删除日志的请求。
默认化与退役的验收¶
先保留 RFC 的单会话对照: 同一产品路径中的原 quota packet 与融合契约。可选 controller/executor 分离是之后 的独立比较,不能用双会话结果解释或抵消单会话回归。
未来扩大默认采用范围必须同时有明确版本的 DeepSeek 模型与强模型的可比效果、完整成本 证据。每个模型内部固定条件分别比较,不能合并结果掩盖某一个模型退步。本指南提供 方案,不授予新实验权限,也不宣称任何一个模型系列已经通过。 这些标准约束现有范围化默认的扩展;已交付的默认行为本身不证明双模型对照通过。
最小判别研究¶
- 复用 benchmark-toolkit 的 board、来源/ integrity 契约和已有合格证据。执行前声明 model/provider/version/推理配置、source 与宿主、任务/输入、工具、evaluator/反馈、预算与停止条件;同时冻结重复策略、 验收标准和可获得的计费口径。不编造缺失价格、版本、样本量或数值阈值。
- 先验收工程语义:冷态、暖态、关键约束变化、压缩/中断恢复,并纳入小任务和重复 历史,验证来源保真、必要事实、无效引用、权限边界和一次性效果,再比较模型收益。
- 每个模型用同一单会话负载,对照原 quota/现行控制与组合路径。记录真实最终模型 输入、详情补读与恢复,不只测中间 serializer。需要拆贡献时复用合法的 progressive 或 delta 单因素对照;只补最小获授权消融,不为试验添加生产开关或默认启大矩阵。
- 按下表测量,保留失败、波动与负结果;执行前冻结晋级标准,并用后续验收工作证明 模型实际采用变化要求或反馈。
最小比较保留四格,每格覆盖同一组已声明的冷态/暖态/约束变化/恢复场景:
| 已声明模型 | 控制 | 处理 |
|---|---|---|
| DeepSeek,记录精确 provider/version/配置 | 固定版本的原 quota 路径 | 固定版本的组合路径,同宿主、同条件 |
| 强模型,记录精确 provider/version/配置 | 固定版本的原 quota 路径 | 固定版本的组合路径,同宿主、同条件 |
选案例前先读现有 board,复用合格 run;缺失一格就保持未合格。预登记各处理组的基线 run 绑定及重复/顺序策略,再由获授权 runner 执行不变的任务输入与 evaluator。 每格返回 source/host 绑定、实际最终输入与恢复补读、原生任务成果、完整成本及 integrity 状态,保留失败或截尾尝试。Board 表达 run 资格,本身不证明因果比较,也不 授权启动。
上述原生 adapter 范围是 Codex,不证明 DeepSeek 宿主已支持。DeepSeek 对照需要 获授权且已资格化、能经过同一语义管线的宿主。不支持保持缺口,不能替换成 Codex 结果或修改在跑研究。
| 效果 | 完整适用成本 |
|---|---|
| 独立任务验收/成功率或原生任务指标 | 实际 input/output、cached/uncached tokens,披露压缩/请求覆盖 |
| 约束遗漏、错误动作和证据采用 | 模型/工具请求、详情补读、重试与恢复 |
| 恢复、避免重复效果、可用交付物 | 墙钟、适用尾延迟、快照/hash/IO、搭建与维护 |
| 后续工作实际采用修订 | 人工决策、导航、介入与注意力 |
按原任务排名规则:以历史最佳排名的优化任务,不能拿终点源码分数替换它;适用的 终态产物/保留事实另列。未知成本不记零。评测完成至收集反馈之间可能仍在独立验证, 须测量重叠后再判断空等;更少调用或字节可以与更差的验收成果同时发生。
已有打包来源对照 提供真实 CLI、来源和恢复证据,也保留了更大的冷态/累计输出。复用它已验的范围, 不转写成模型节费。冷启动、小任务、丢基线和某个模型退步,都是广泛默认建议的必要 反例场景。
发布与删除分开决定¶
| 阶段 | 退出证据与 owner |
|---|---|
| 讲清当前行为 | 指南/reference 与真实 caller 一致,文档 owner 保留提案/实现区别 |
| 双模型比较 | Benchmark owner 记录固定条件、验收成果、成本、不确定性与不支持范围 |
| 采用受支持 profile | Runtime/host owner 验实际打包旅程与可回退配置,维护者决定发布范围 |
| 建议扩大默认 | 两模型证据支持该声明范围;混合/退步时保留范围化 opt-in 或明确限制 |
| 退役旧路径 | Caller owner 核替代、历史读取兼容、支持版本/回退覆盖及不再有活跃消费者 |
退役须点名实际 producer、consumer 与替代项。调用方迁移后删除重复判断算法,与删除 历史 decoder 是两件事。完整快照、摘要校验、权限/身份/停止验证和必要恢复应保留。 显式 retained-input 客户端与原生文件基线客户端是不同兼容义务。既不长期保留两套 同义决策 owner,也不因新路径存在就抢先删除仍受支持的 reader。
Roadmap 与 RFC 继续拥有 C1/C2/C9 的负责人和未闭工作。文档可以先于模型实验交付;指南合并 或 packet 变小,都不结清运行时、实际采用与收益要求。