这一页会出现三个初学者常卡住的语法。先花 3 分钟建立直觉，后面读真实代码就不懵了。

复习 Day 03 的三层，今天钻进前两层的真实代码：

打开 src/QueryEngine.ts，类定义前有一段官方注释，直接点明设计（QueryEngine.ts:183）：

/**
 * One QueryEngine per conversation. Each submitMessage() call starts a new
 * turn within the same conversation. State (messages, file cache, usage, etc.)
 * persists across turns.
 */
export class QueryEngine {
  private config: QueryEngineConfig
  private mutableMessages: Message[]        // 跨 turn 持久的完整消息历史
  private abortController: AbortController   // 中断器：按 Esc 就 abort()
  private permissionDenials: SDKPermissionDenial[]  // 记录被拒的工具
  private totalUsage: NonNullableUsage      // 累计 token 用量（算钱用）
  private readFileState: FileStateCache     // 读过哪些文件（去重用，Day 08）
  private discoveredSkillNames = new Set<string>()  // 本轮发现的技能
  // ...

构造时（:208）这些字段被初始化——注意 mutableMessages 用传入的初始消息（--continue 恢复会话时，Day 16，就是从这灌进来的）：

constructor(config: QueryEngineConfig) {
  this.config = config
  this.mutableMessages = config.initialMessages ?? []   // 没有就空数组
  this.abortController = config.abortController ?? createAbortController()
  this.totalUsage = EMPTY_USAGE
  // ...
}

核心方法 async *submitMessage(...)（QueryEngine.ts:217）。注意签名里的 *——它是 L01 说的异步生成器，所以 UI 能 for await 实时拿到它吐出的每条消息。开头先取配置、清理本轮状态：

async *submitMessage(
  prompt: string | ContentBlockParam[],
  options?: { uuid?: string; isMeta?: boolean },
): AsyncGenerator<SDKMessage, void, unknown> {
  const { cwd, commands, tools, mcpClients, maxTurns, maxBudgetUsd,
          taskBudget, canUseTool, ... } = this.config   // 取出这次要用的配置

  this.discoveredSkillNames.clear()   // 清空"本轮发现的技能"（防跨 turn 累积）
  this.permissionDenials = []         // 清空"被拒工具"记录
  setCwd(cwd)                         // 设当前工作目录
  // ...

做完准备，submitMessage 的心脏是这个 for await（QueryEngine.ts:688把循环层 query() 吐出的每一条消息接过来处理：

for await (const message of query({
  messages,                    // 当前完整消息历史
  systemPrompt,                // 系统提示（告诉模型它是谁、有什么工具）
  canUseTool: wrappedCanUseTool,  // 权限回调（Day 09）
  toolUseContext,
  maxTurns,                    // 最大回合数上限
  taskBudget,                  // token 预算
})) {
  switch (message.type) {      // ← 见 L06：按消息类型分类处理
    case 'assistant': ...
    case 'stream_event': ...
    // ...
  }
}

注意传进去的 wrappedCanUseTool（:253）——它包了一层权限回调，顺手把"被拒绝的工具"记进 permissionDenials，最后进结果。这就是权限系统（Day 09）接进循环的接口。

for await 的循环体是一个大 switch(message.type)。循环层吐出的消息有好几种类型，各自处理（QueryEngine.ts:772 起）：

现在从会话层进到循环层 src/query.ts。真正的循环是 queryLoop（:393）。它开头定义一个可变的 State，并有一段极好的注释解释设计（query.ts:418）：

// Mutable cross-iteration state. The loop body destructures this at the top
// of each iteration so reads stay bare-name (`messages`, `toolUseContext`).
// Continue sites write `state = { ... }` instead of 9 separate assignments.
let state: State = {
  messages: params.messages,
  toolUseContext: params.toolUseContext,
  turnCount: 1,
  maxOutputTokensRecoveryCount: 0,
  hasAttemptedReactiveCompact: false,
  stopHookActive: undefined,
  // ... 共约 9 个字段
}
// ...
while (true) {                          // ← 这就是 agent 循环的心脏
  let { toolUseContext } = state        // 每轮开头把 state 解构出来
  const { messages, turnCount, ... } = state
  // ... 一轮的全部逻辑
}

Day 03 讲过判据。这是真实代码（query.ts:1079）——每收到一条 assistant 消息，看它里面有没有 tool_use 块：

if (message.type === 'assistant') {
  const assistantMessage = message as AssistantMessage
  assistantMessages.push(assistantMessage)

  // 从这条回复的 content 里，筛出所有 type === 'tool_use' 的块
  const msgToolUseBlocks = (
    Array.isArray(assistantMessage.message?.content)
      ? assistantMessage.message.content : []
  ).filter(content => content.type === 'tool_use') as ToolUseBlock[]

  if (msgToolUseBlocks.length > 0) {   // 只要有工具调用块
    toolUseBlocks.push(...msgToolUseBlocks)
    needsFollowUp = true               // ← 唯一的"必须再来一轮"信号
  }
}

① 依赖注入：为什么能不联网测试

queryLoop 开头有一行（query.ts:416）：

const deps = params.deps ?? productionDeps()   // 没传 deps 就用生产实现

② 拼回下一轮：循环怎么"转起来"

一轮结束、准备进下一轮时，把三样东西拼成新的消息列表（query.ts:2043，真实代码）：

const next: State = {
  messages: messagesForQuery.concat(assistantMessages, toolResults),
  //         历史消息          + 模型这轮的回复  + 工具执行结果
  toolUseContext: toolUseContextWithQueryTracking,
  turnCount: nextTurnCount,
  // ... 其余字段一次性给全（L07 讲的"整体替换"）
  transition: { reason: 'next_turn' },
}
state = next   // 整体替换 → while 回到顶，下一轮 callModel 就带着工具结果再问模型

✋ 动手：对着真实代码读一遍

# 1. 读类定义 + 设计注释（本页 L03）
sed -n '183,215p' src/QueryEngine.ts

# 2. 读 submitMessage 开头（L04）
sed -n '217,250p' src/QueryEngine.ts

# 3. 读循环层 State 与 while（L07，注意那段注释）
sed -n '418,472p' src/query.ts

# 4. 读检测 tool_use（L08，核心判据）
sed -n '1079,1093p' src/query.ts

# 5. 读拼回下一轮（L09）
sed -n '2042,2056p' src/query.ts

# 6. 亲手验：dev 模式发一句"读 package.json 告诉我版本"
bun run dev   # 观察它 ● Read(package.json) → 回答，就是循环转了一圈