01 上下文源代数与统一组合

01 上下文源代数与统一组合

本节摘要:大多数 AI 应用给模型的「系统提示」就是一段写死的字符串。OpenCode 不这么干——它把喂给模型的初始指令做成一套结构化的事实集合(System Context),由许多个独立、可观测、有稳定标识的「上下文源(Context Source)」组合而成。本节讲清这个最小构建单元:一个上下文源长什么样(稳定 key、编解码、loader、纯渲染器)、如何用统一接口组合不同类型的源、有哪些内置源。理解了「上下文源」这个代数,你才能理解后续的纪元、快照、中途消息——它们全建立在这个最小单元之上。

一、为什么不是「一段字符串」

先想清楚传统做法的问题。如果把系统提示写成一段字符串:

• 改一处要全文重拼:想加一条「今天是周三」?得重新拼整段。
• 模型缓存失效:任何一处变了,整段前缀就变,模型缓存(第 6 章 Prompt Caching)全废。
• 不可观测:你不知道模型实际看到的系统提示是怎么组装出来的,出了问题难查。
• 不可演化:对话进行中环境变了(比如你切换了 Git 分支),怎么安全地告诉模型?改字符串非常粗暴。

OpenCode 的解法是把系统提示拆成「上下文源(Context Source)」——每个源是一个独立的、可观测的事实单元,有自己的标识、自己的加载逻辑、自己的渲染逻辑。组合它们,就得到完整的 System Context。

二、一个上下文源长什么样

每个上下文源有这几个必备部分:

上下文源 = {
  key: "core/environment",
  codec: ...,
  loader: () => 当前环境信息,        // 不可失败
  render: { baseline, update, removed }  // 纯函数
}
​

几个关键点:

• 稳定 key:这个源有唯一标识,方便引用、diff、治理。
• loader 不可失败:加载事实不该抛错(抛错了整个系统提示都建不起来)。如果事实取不到,就渲染成「未知」。
• 纯渲染器:渲染是纯函数(输入值,输出文本),无副作用,方便测试与重放。

💡 「纯」的价值:loader 和渲染器都是纯的,意味着同一个源在同一个事实下永远渲染出同一段文本。这种「可重现性」是后续纪元、缓存的基础——只有纯,才能稳定。

三、统一接口与「代数」

不同上下文源的「值类型」可能不同(环境信息是对象、日期是字符串、指令是文本......),但 OpenCode 用一套统一接口把它们包起来,使不同类型的源能被一致地组合:

源A(环境,值类型=对象) ─┐
源B(日期,值类型=字符串) ─┼─► SystemContext.combine([A, B, C]) ──► 统一的 System Context
源C(指令,值类型=文本)  ─┘
​

这种「把不同类型的东西用统一接口包装、然后用代数运算组合」的设计,就是本节标题里的「代数」。它带来的好处:

• 类型被隐藏:组合时不用关心每个源值的具体类型,统一接口搞定。
• 可任意增减:加一个源、删一个源,不影响其他源。
• 可复用:同一套组合运算适用于任何源的集合。

四、内置上下文源

OpenCode 自带一批上下文源,覆盖最常见的环境事实:

每个都是独立、可观测、有稳定 key 的源。你可以把它们想象成「模型的环境感知器官」——模型通过这些源知道自己在哪、什么时候、该遵循什么规则、有哪些技能可用。

⚠️ 注意:这些源不是一成不变的——对话进行中它们可能变化(你切了 Git 分支,环境源就变了)。怎么安全地把变化告诉模型,是第 03 节「对话中途系统消息」的主题,也是整个 Epoch 机制要解决的核心问题。

五、从源到 System Context

把多个源组合起来,就得到完整的 System Context——也就是「这一回合模型看到的初始事实集合」。注意,它不是字符串,而是结构化的、由源组合而成的事实集合;只有在最后喂给模型时,才会被渲染成文本。

组合(System Context)
   │
   ├─ 结构化事实集合(内部表示)
   │
   ▼ 渲染
给模型的初始文本(含各源的 baseline)
​

这种「结构化优先、渲染在后」的设计,是后续所有高级机制(纪元、快照、中途消息、协调状态机)的地基。没有它,那些机制都无从谈起。

本节要点回顾

1. System Context 不是字符串,而是由多个「上下文源」组合的结构化事实集合。
2. 一个上下文源有稳定 key、编解码、不可失败 loader、纯渲染器(baseline/update/removed)。
3. loader 不可失败、渲染器是纯函数——这种「纯」是后续纪元与缓存的基础。
4. 统一接口 + 代数组合:不同类型源用统一接口包装,可一致地组合、增减。
5. 内置源:环境、日期、指令、技能指引等,是模型的「环境感知器官」。
6. 结构化优先、渲染在后:这是纪元、快照、中途消息所有高级机制的地基。

知道了源怎么组合,下一步问题来了:组合出来的 System Context 怎么保持稳定(让模型缓存不失效)?这就是「纪元三件套」——下一节。