🧩 上下文工程

// compaction 模块的核心方法
interface Interface {
  isOverflow(input: { tokens; model }): Effect<boolean>   // 检测是否溢出
  create(input: { sessionID; agent; model; auto }): ...    // 创建压缩任务
  process(input: { messages; sessionID; ... }): ...        // 执行压缩
  prune(input: { sessionID }): ...                         // 清理旧压缩记录
}

export const PRUNE_MINIMUM = 20_000   // 触发清理的最小 token
export const PRUNE_PROTECT = 40_000   // 保护阈值

// runLoop 内（prompt.ts:1149-1168）：

// 显式压缩任务
if (task?.type === "compaction") {
  const result = yield* compaction.process({ messages: msgs, ... })
  if (result === "stop") break
  continue
}

// 自动检测溢出 → 触发压缩
if (lastFinished && lastFinished.summary !== true
    && (yield* compaction.isOverflow({ tokens: lastFinished.tokens, model }))) {
  yield* compaction.create({ sessionID, agent, model, auto: true })
  continue    // 压缩后继续循环
}

// handle.process 返回 "compact" 时也触发
if (result === "compact") {
  yield* compaction.create({ sessionID, ..., overflow: !handle.message.finish })
}

// task 工具：派生子 agent 执行独立子任务
export const TaskTool = Tool.define("task", Effect.gen(function* () {
  return {
    description: DESCRIPTION,   // task.txt：告诉模型何时派生子任务
    parameters: Schema.Struct({
      description: Schema.String,  // 子任务描述
      agent: Schema.String,        // 用哪个子 agent（explore/general...）
      prompt: Schema.String,       // 给子 agent 的指令
    }),
    execute: (params, ctx) => Effect.gen(function* () {
      // ① 创建子会话
      const childSession = yield* sessions.create({
        parentID: ctx.sessionID,
        agent: params.agent,
        ...
      })
      // ② 派生子 agent 权限（OC4：继承 deny + 禁止递归）
      const childPermission = deriveSubagentSessionPermission(session.permission)
      // ③ 子 agent 独立跑（有自己的上下文，不污染主会话！）
      const result = yield* prompt.loop({
        sessionID: childSession.id,
        ...
      })
      // ④ 只把【结果摘要】回传主 agent（不是完整历史）
      return { output: result.summary }
    }),
  }
}))

export function provider(model: Provider.Model) {
  if (model.api.id.includes("gpt-4") || ...o1...o3) return [PROMPT_BEAST]  // GPT-4/o系列
  if (model.api.id.includes("gpt")) {
    if (model.api.id.includes("codex")) return [PROMPT_CODEX]               // Codex
    return [PROMPT_GPT]                                                     // 其他 GPT
  }
  if (model.api.id.includes("gemini-")) return [PROMPT_GEMINI]              // Gemini
  if (model.api.id.includes("claude")) return [PROMPT_ANTHROPIC]            // Claude
  if (...kimi...) return [PROMPT_KIMI]
  return [PROMPT_DEFAULT]                                                   // 兜底
}

// 并发获取四部分（Effect.all）
const [skills, env, instructions, mcpInstructions, modelMsgs] = yield* Effect.all([
  sys.skills(agent),          // ① 可用 skill 列表
  sys.environment(model),     // ② 环境信息（工作目录/git/平台/日期）
  instruction.system(),       // ③ AGENTS.md/CLAUDE.md 等指令文件
  sys.mcp(agent, ...),        // ④ MCP server 指令
  MessageV2.toModelMessagesEffect(msgs, model),
])
const system = [
  ...env,                     // 环境信息
  ...instructions,            // 项目指令
  ...(mcpInstructions ? [mcpInstructions] : []),  // MCP
  ...(skills ? [skills] : []),                     // skills
]
// 外层还会加 provider(model) 选的模型专属提示