提示词组装与上下文注入

四条通道都会在 provider dispatch 前获得可重建锚点：稳定 system/tool 状态写入 request-header event，message-shaped context 进入 session surface；Loop invariant 再从日志独立重建两侧。ROOT-MODEL-LOGGEDLOOP-REQUEST-INVARIANT

SystemPrompt 以 effect 注册 section、context、runtime-context suppressor、tool-schema provider 与 variable。注册/释放都会发 system-prompt/change；同一 layer 内重复的具名项被拒绝。order -100 的 identity 与 order 0 的 deployment persona 也是普通 section，并非隐藏的字符串拼接。PROMPT-REGISTRY-CONTRACT

Assembly context 会把 agent 与 scope 同时设为同一 Agent。全局贡献先被最远祖先、再被最近 scope 叠加；同名 section、context 或 variable 由最近 scope 获胜。DESIGN-SCOPED-LAYERSPROMPT-STEP-BOUNDARY

Scoped deployment:persona 只替换对应 scope 的 global persona。更重要的是，被覆盖的 global text provider 完全不会执行——effective map 在 text 求值之前就已形成。PROMPT-SCOPE-SHADOW

assemble() 直接实现上述顺序。Waterfall 前的 registry output 具有确定性；返回值具有权威性，但 complete 与 suppression 约束会在最后再次施加。PROMPT-ASSEMBLY-PIPELINE

Tool-provider membership 先快照，因此 provider 求值期间新注册的 provider 只进入下一次 assembly；variable 使用 live map iteration，因此早期 variable provider 注册的新 variable 可进入同一 generation。每次 assembly 都获得新的 section/context/tool 容器，tool parameters 也会 structural clone。PROMPT-ASSEMBLY-MUTATION-TESTPROMPT-VARIABLE-TEST

一个 effective complete: true section 不会跳过 variable、context、tool 或 waterfall。Waterfall 仍完整运行；随后 registry 把原始已求值 complete section 恢复为唯一 section。两个 effective complete section 会让 assembly 失败。PROMPT-ASSEMBLY-PIPELINEPROMPT-ASSEMBLY-MUTATION-TEST

Section/context provider 返回未插值文本。渲染只接受 name 匹配 [a-z][a-z0-9_]* 的 {{name}}；unknown、undefined 和 malformed reference 都快速失败。Own-property lookup 阻止未注册的 prototype name；替换值不二次扫描；空项被丢弃；section 以双换行连接。PROMPT-STRICT-RENDERPROMPT-VARIABLE-TEST

Assembly 阻塞时 cancel 或 owner disposal，会产生没有 step、chunk、assistant message 或 adapter request 的 aborted Turn。PROMPT-CANCEL-TEST

未显式配置时，schema 按与 locale 无关的 code-unit 字典序排序。显式 toolOrder 必须且只能包含一个 <unlisted-tools> marker，不能重复；未知配置名失败；restriction 前已知的名字可以在当前 scope 缺席；未列出的 visible tool 在 marker 位置内排序。PROMPT-TOOL-ORDER

preStep() 依次 claim inbox、组装 scoped prompt、渲染 dynamic context、提出 snapshot，再进入 agent/pre-step。只有被接纳且非空的 decision 才打开 step/start，并把该 assembly 交给 step()。PROMPT-STEP-BOUNDARY

step() 在 provider-retry loop 之外只渲染一次 system string。Retry 会在同一编号的 Turn/Step 内重新构建 request config、folded header 和 durable messages，但复用该 Step 的 system 与 tool assembly。PROMPT-RETRY-BOUNDARYLOOP-REQUEST-ERROR-TEST

Runtime context 把 named sections 渲染在固定的“supersedes earlier snapshots”声明之后。RuntimeContextProjection 恢复 Session surface 中最新仍 retained 的 owned snapshot；只有完整值变化才提出 sourced user message；context 消失时发明确 clear marker；replacement 从 surface 移除 snapshot 时忘记 retained state。LOOP-RUNTIME-CONTEXT

Header 保存 resolved call config、哪些字段来自 adapter default、渲染后的 system text 和有序 tool schemas。空 system/tool collection 归一为字段缺席；equality 比较 config、adapter-default marker、system bytes 与有序 schema；offline replay fold 最后一份完整 snapshot。PROMPT-HEADER-CANONICAL

第一次 request 写 initial 或 resume；之后只有 canonical equality 失败才写完整 change snapshot。测试证明每 Step 重组装但值不变时不会增加 header，真实 section 变化才会写第二份。LOOP-REQUEST-BUILDPROMPT-HEADER-CHANGE-TEST

直接 DeepSeek adapter 把 system text 序列化为首条 wire message，再追加 derived history；始终请求 streaming usage；该路径没有设置显式 cache-control directive。PROMPT-DEEPSEEK-WIRE

上游 key-gated E2E 要求 tool round trip 与后续 Turn 中，首请求后的每次请求都报告正数 provider cache-read token。本研究未安装依赖或凭据，因此这是已审阅的测试合同，不是本地观察结果。PROMPT-CACHE-E2E