上下文压缩

以摘要或提供商原生状态降低活跃上下文占用。

压缩解决的是活跃窗口容量，不是把所有历史变成永久事实。常见方式是保留近期原文、将较早内容总结，或使用供应商原生压缩状态。原始事件与产物应仍可回查；摘要是用于下一步推理的视图。金融数值、法律引证和待执行承诺尤其不能只剩一段自由文本概述。

Codex公开源码将后台压缩尝试绑定history_version、model_slug、compaction_hash与授权代次。只有结果仍与当前状态兼容时才可采用。这提示异步压缩存在竞态：用户补充了新限制、切换模型或权限发生变化后，刚完成的旧摘要未必有效。OpenCode研发源码则区分summary、近期原文与provider原生context，显示不同压缩策略需要不同迁移合同。

压缩输入应明确已完成与未完成范围，并保留原目标、用户修订、否定条件、证据指针、审批参数、操作状态和资源版本。当前授权必须从服务端重新获得，摘要里的权限只能作为历史记录。压缩后应检查这些不变量；不能为腾出空间删掉“尚未发送”中的否定词，再把草稿当已交付。

换模型时，opaque reasoning或compaction token可能无法跨供应商解释，应从可移植事件与证据重新构造上下文。压缩本身还会产生模型调用与缓存重建成本。可在自然任务边界执行，避免频繁压缩造成抖动。验证使用同一长任务的压缩前后对照，检查约束、引用和副作用状态，而不是只看摘要长度是否下降。

对关键字段可建立压缩检查表：当前公司和报表期、使用的合同版本、用户禁止动作、尚未完成的批准以及最近一次外部操作状态。检查表从结构化状态生成，再与摘要对照。若不一致，就重新构造输入或回到原事件，不能让模型用措辞更顺的摘要覆盖可验证记录。

实践重点：原始事件保持可回查；摘要带来源范围、模型与版本；换模型先检查兼容性。

验证抓手：比较压缩前后目标、待审批动作、数值与证据指针不变量。

常见误区：把摘要当原始事实，或把过期后台压缩结果用于新历史。

Codex：异步压缩兼容性源码；OpenCode：摘要与近期原文。