@zmzai/agent-framework 0.9.0 → 0.13.0

package/dist/core/runtime/task-lifecycle.js

@@ -0,0 +1,424 @@
+import { isSessionAwaitingPermission } from "./active-run-registry.js";
+import { LoopGuard } from "./loop-guard.js";
+import { DEFAULT_MAX_ATTEMPTS, durationBudgetBlocker, evaluateTaskCompletion, lifecycleForBlocker, normalizeMaxDurationMs, } from "../task/completion.js";
+import { advanceProgress } from "../task/progress.js";
+import { appendEvidence, applyDelivery, pruneEvidenceRefs, projectTodos } from "../task/plan.js";
+import { fallbackResult, renderResult } from "../task/contract.js";
+import { isTerminalStatus, isWaitingStatus } from "../task/types.js";
+/** 用户明确放行时重置的三个保护计数（新消息恢复、以及 `resumeTask`）。
+ *
+ *  【为什么必须重置】不重置的话「继续」是个死按钮：因为 no_progress 停下来的任务
+ *  计数仍是 3，下一次判定立刻再停；因为轮数预算停下来的任务第 N+1 轮开头就超过
+ *  上限，一步都不会跑；时间预算同理——已经烧满一小时的 `activeMs` 会让放行后的
+ *  第一轮连起点都过不去。用户点「继续」就是明确授权再做一些，那一刻起保护阈值
+ *  应当重新计时——由人来决定要不要继续，正是这类保护的设计前提（规格 §10.1 的
+ *  三档策略本来就以「用户可以再来一轮」为前提）。
+ *
+ *  这不会让任务无限跑：每一次重置都需要一次显式的人工动作，不存在自触发路径。 */
+export const RESET_GUARDS_ON_RESUME = { noProgressCount: 0, attemptCount: 0, activeMs: 0 };
+/** 上游中断类错误（F6）：模型流偶发终止/连接断开时自动重试，避免偶发中断
+ *  直接结束任务（实测 relay 透传 "terminated"、上游断流
+ *  "upstream_http2_stream_error" 等）。余额/鉴权等确定性错误不重试。
+ *  P1 增强：限流/网关类（429/5xx）也按可重试处理——这类错误本质是上游
+ *  暂时不可用，与 terminated 同属"等等就好"，自动退避重试比直接报错体验好。 */
+export function isRetryableError(message) {
+    const normalized = message.toLowerCase();
+    return (normalized.includes("terminated") ||
+        normalized.includes("econnreset") ||
+        normalized.includes("socket hang up") ||
+        normalized.includes("etimedout") ||
+        normalized.includes("api connection error") ||
+        normalized.includes("overloaded") ||
+        normalized.includes("timeout") ||
+        normalized.includes("upstream") ||
+        normalized.includes("stream failed") ||
+        // 限流 / 网关类（\b 防止误匹配普通数字，如 "1429 tokens"）
+        /\b429\b/.test(normalized) ||
+        /\b50[234]\b/.test(normalized) ||
+        normalized.includes("rate limit") ||
+        normalized.includes("too many requests") ||
+        normalized.includes("bad gateway") ||
+        normalized.includes("service unavailable") ||
+        normalized.includes("internal server error"));
+}
+/** 单次任务 Attempt 数的硬上限（规格 §10.1 的要求：宿主调不到「永不拦截」）。
+ *  64 轮远超任何正常任务，同时挡住 `maxAttempts: 1e9` 这种把保护关掉的写法。 */
+const MAX_ATTEMPT_CEILING = 64;
+/** 任务生命周期（W7 S5 自 SessionRunner 原样搬移，spec §7 TaskLifecycle）：
+ *  沿用 TaskRecord、续跑、阻塞、交付条件。语义零变化。 */
+export class TaskLifecycle {
+    deps;
+    constructor(deps) {
+        this.deps = deps;
+    }
+    async casTask(task, patch) {
+        const store = this.deps.store.task;
+        let latest = task;
+        for (let attempt = 0; attempt < 3; attempt += 1) {
+            try {
+                return await store.updateTask(latest.id, latest.revision, patch);
+            }
+            catch (error) {
+                if (!(error instanceof Error) || error.message !== "TASK_REVISION_CONFLICT")
+                    throw error;
+                const fresh = await store.getTask(latest.id);
+                if (!fresh)
+                    throw error;
+                latest = fresh;
+            }
+        }
+        throw new Error("TASK_REVISION_CONFLICT");
+    }
+    /** 权限等待的进入 / 退出（规格 3 §11.1 / §11.2）。
+     *
+     *  进入时把任务置 `waiting_permission` 并挂 permission blocker；退出（授权通过
+     *  或被拒）时置回 `running` 并清 blocker。
+     *
+     *  【为什么退出后不是 blocked/failed】这次 Attempt 根本没被中断——`engine.ask()`
+     *  只是在 `beforeToolCall` 里挂住，决定一到就接着跑同一个工具循环。所以既不发
+     *  `task.attempt.finished`，也不创建用户消息、不新建 workflow run（§11.2 明文）。
+     *  唯一例外是被拒：拒绝结果会作为工具错误交回模型去试替代方案（§11.3）。
+     *
+     *  【为什么挂在引擎回调上，而不是 beforeToolCall 里】规则表已经允许的调用不会
+     *  弹卡（`ask()` 在 undecided 为空时直接返回），挂在调用点会为这些「秒过」的
+     *  调用也标一次等待再撤回，产生成对的假 blocker 事件。`onAsked` 只在真的抛出
+     *  一张授权卡时触发。
+     *
+     *  【为什么按 taskId 重读而不是接一个快照】`runLoop` 会被子代理嵌套调用
+     *  （`spawnSubagent`），同一个 runner 实例上同时存在两轮运行。用实例字段记
+     *  「当前任务」会被嵌套那轮清掉，父轮的权限等待于是静默丢失。按 id 重读没有
+     *  这个共享状态，代价是一次读，而权限询问本来就不是热路径。 */
+    async markPermissionWait(taskId, permission, patterns, waiting) {
+        const store = this.deps.store.task;
+        if (!taskId || !store)
+            return;
+        const blocker = {
+            kind: "permission",
+            message: `需要你授权才能执行：${permission}${patterns.length ? `（${patterns.join("、")}）` : ""}`,
+            requiredAction: "在授权卡片上选择允许或拒绝；任务会带着你的决定接着跑。",
+            resumable: true,
+        };
+        try {
+            const task = await store.getTask(taskId);
+            if (!task || isTerminalStatus(task.status))
+                return;
+            const updated = await this.casTask(task, waiting ? { status: "waiting_permission", blocker } : { status: "running", blocker: undefined });
+            await this.deps.publish(waiting
+                ? { type: "task.blocked", data: { taskId: updated.id, revision: updated.revision, blocker } }
+                : // 协议里没有 task.resumed；`task.recovery.started` 是唯一表示「任务离开
+                    // 等待、重新开始推进」的事件，用它并让 message 说清是哪一种。
+                    { type: "task.recovery.started", data: { taskId: updated.id, revision: updated.revision, message: "授权已处理，继续执行。", attempt: Math.max(1, updated.attemptCount) } }, updated.sessionId);
+        }
+        catch {
+            // 等待状态的记账失败不该打断一次正在跑的工具调用——权限本身已经问出去了，
+            // 用户点了允许就该让工具跑。任务状态退化成「running」，是保守的那一侧。
+        }
+    }
+    /** 完成判定用的运行时事实。全部来自本轮可观测结果，**不接受模型自述**。
+     *
+     *  权限等待不在此列：`beforeToolCall` 里的 `engine.ask()` 会一直挂到用户回复，
+     *  所以一次 Attempt 收尾时不会有悬空请求（`engine.dispose()` 也会兜底）。
+     *  这里仍读一次实际值，是为了覆盖 abort / 异常路径。
+     *
+     *  【`task_block` 是这条规则的例外吗】不是。它确实由模型发起，但**内容是结构化
+     *  的声明**，不是自述的结论：模型说的是「我缺 X」「请你在 A 和 B 之间选」
+     *  「你需要去登录」，而不是「我已完成」。前者是事实的输入（只有模型知道自己在
+     *  等什么），后者才是不能采信的东西——完成与否始终由 Completion Gate 按步骤、
+     *  验收条件与证据独立判定，模型无法用 task_block 换来一个 delivered。 */
+    completionStateOf(outcome, session) {
+        // 只有「重试已经耗尽、且错误不是上游抖动」才算真的没救（规格 §10.2）。
+        // runLoop 内部已对可重试错误做过 5 次退避重试，能走到这里说明它没救回来。
+        const fatal = outcome.state === "failed" && !!outcome.errorMessage && !isRetryableError(outcome.errorMessage);
+        // `choice` 与 `input` 都落在 waiting_input，但文案与界面动作不同（§14.2），
+        // 所以在这里分派而不是揉成一个字符串。
+        const block = outcome.taskBlock;
+        return {
+            attemptSettled: outcome.settled,
+            fatalError: fatal ? outcome.errorMessage : null,
+            lastError: outcome.errorMessage,
+            unknownSideEffect: outcome.unknownSideEffect ? (outcome.sideEffectDetail ?? "存在结果不确定的操作") : null,
+            pendingPermissions: isSessionAwaitingPermission(session.id) ? 1 : 0,
+            unsafeReplay: null,
+            subagentPending: null, // M3-S22：无协调器时无子代理门禁
+            budgetExhausted: null,
+            externalAuthRequired: block?.kind === "external_auth" ? { message: block.message, requiredAction: block.requiredAction } : null,
+            inputRequired: block?.kind === "input" ? { message: block.message, requiredAction: block.requiredAction } : null,
+            choiceRequired: block?.kind === "choice" ? { message: block.message, requiredAction: block.requiredAction } : null,
+            unresolvedToolErrors: outcome.toolErrors,
+            finalTextPresent: outcome.finalText.trim().length > 0,
+            cancelled: outcome.aborted,
+        };
+    }
+    /** 步骤变化 → 事件。粒度按「状态真的变了」算，重放时不会重复累计。 */
+    async publishStepEvents(previous, next, sessionId) {
+        const before = new Map(previous.map((step) => [step.id, step.status]));
+        const completed = next.steps.filter((step) => step.status === "completed").length;
+        for (const step of next.steps) {
+            if (before.get(step.id) === step.status)
+                continue;
+            const type = step.status === "completed" ? "task.step.completed" : step.status === "in_progress" ? "task.step.started" : null;
+            if (!type)
+                continue;
+            await this.deps.publish({ type, data: { taskId: next.id, revision: next.revision, stepId: step.id, message: step.title, completedSteps: completed, totalSteps: next.steps.length } }, sessionId);
+        }
+        if (before.size !== next.steps.length) {
+            await this.deps.publish({
+                type: "task.plan.updated",
+                data: {
+                    taskId: next.id,
+                    revision: next.revision,
+                    goal: next.goal,
+                    steps: next.steps.map((step) => ({ id: step.id, title: step.title, status: step.status })),
+                    completedSteps: completed,
+                    totalSteps: next.steps.length,
+                },
+            }, sessionId);
+        }
+    }
+    /** 把本轮的可观测事实投影进任务契约：步骤、证据、隐式验收条件、进度指纹。
+     *
+     *  顺序不能换：证据先于验收条件（条件要引用 evidence id），而指纹最后算
+     *  （它是对「投影后的完整状态」取摘要）。 */
+    async syncTaskFromAttempt(task, outcome, sessionId) {
+        const now = new Date().toISOString();
+        // 1) 步骤（来自模型的 todo 拆解）
+        const steps = outcome.todos
+            ? projectTodos({ taskId: task.id, steps: task.steps, todos: outcome.todos, now })
+            : task.steps;
+        // 2) 证据（只收成功的写/执行/外部核对）
+        let evidence = task.evidence;
+        const dropped = [];
+        for (const candidate of outcome.evidenceCandidates) {
+            const appended = appendEvidence({ evidence, kind: candidate.kind, summary: candidate.summary, ...(candidate.ref ? { ref: candidate.ref } : {}), now });
+            evidence = appended.evidence;
+            dropped.push(...appended.dropped);
+        }
+        // 2b) 交付声明必须留下可追溯的证据（规格 §9 条件 3 的口子，§9 末段）。
+        //
+        // 【这里原来是「本轮只要有最终文本就记一条 model_observation」】那条规则把
+        // 「文本非空」直接变成了「有证据」，而证据又是条件 3 的输入——两个弱事实串起来
+        // 就凑出了一次交付。删掉它之后，纯解释 / 写作 / 问答类任务（没有工具可跑，
+        // 最终内容本身是唯一可验证的东西）靠**交付声明**拿到那一条证据：声明里
+        // `verification` 至少一条是 schema 强制的，也就是说模型必须先说清「怎么验证的」，
+        // 才拿得到这个口子——从「说过话」变成「说清了验证方式」，这是那条放宽能成立的下限。
+        //
+        // 【ref 固定为 task_deliver】`appendEvidence` 的去重键是 (kind, ref)，固定 ref
+        // 让重复交付**更新同一条**而不是不断新增。这不是省空间：进度指纹里
+        // `criteria.evidenceIds.length` 参与计算，每次交付都新增一条会让「反复交付」
+        // 看起来像在推进，no-progress 保护就失效了。
+        //
+        // 【只在任务没有任何工具证据时补】有工具证据的任务不该靠模型的自述通过验证，
+        // 那会让「有证据」重新退化成「说过话」。
+        const hasToolEvidence = evidence.some((item) => item.kind !== "model_observation");
+        let declarationEvidenceId;
+        if (outcome.delivery && !hasToolEvidence) {
+            const appended = appendEvidence({
+                evidence,
+                kind: "model_observation",
+                summary: outcome.delivery.verification.join("；").slice(0, 160),
+                ref: "task_deliver",
+                now,
+            });
+            evidence = appended.evidence;
+            dropped.push(...appended.dropped);
+            declarationEvidenceId = evidence.find((item) => item.kind === "model_observation" && item.ref === "task_deliver")?.id;
+        }
+        // 3) 引用清理 + 验收条件。淘汰证据后必须同步清引用，否则条件会因为
+        //    悬空引用永远不满足（Completion Gate 的条件 3 只认能对上号的证据）。
+        const prunedSteps = pruneEvidenceRefs(steps, dropped);
+        const prunedCriteria = pruneEvidenceRefs(task.acceptanceCriteria, dropped);
+        // 验收条件的结论只有一个来源：模型在 `task_deliver` 里的显式声明。此前这里的
+        // `projectImplicitCriterion` 会从「模型这轮有没有输出文本」推导出结论——那次
+        // 推导就是「一句话停在冒号上也能交付」的成因（见 `plan.ts`）。
+        const projection = outcome.delivery
+            ? applyDelivery({
+                criteria: prunedCriteria,
+                delivery: outcome.delivery,
+                evidence,
+                ...(declarationEvidenceId ? { declarationEvidenceId } : {}),
+                observedChanges: outcome.filesEdited,
+            })
+            : null;
+        const acceptanceCriteria = projection?.criteria ?? prunedCriteria;
+        // 4) 进度指纹（含本轮的文件改动）
+        const projected = { ...task, steps: prunedSteps, evidence, acceptanceCriteria };
+        const progress = advanceProgress(projected, { editedFiles: outcome.filesEdited, toolCalls: outcome.toolCalls });
+        const updated = await this.casTask(task, {
+            steps: prunedSteps,
+            evidence,
+            acceptanceCriteria,
+            ...(projection ? { result: projection.result } : {}),
+            lastFingerprint: progress.fingerprint,
+            noProgressCount: progress.noProgressCount,
+            // 时间预算的累计口径：这一轮实际跑了多久（见 `TaskRecord.activeMs`）。
+            // 放在这里而不是 `settleTask`，是因为**每一轮**都要记账——只在结算时记，
+            // 一个连跑 20 轮才停的任务会把整段时间全部漏掉，预算永远不触发。
+            activeMs: (task.activeMs ?? 0) + outcome.durationMs,
+        });
+        await this.publishStepEvents(task.steps, updated, sessionId);
+        return updated;
+    }
+    /** 任务进入终态（或阻塞）：落库 + 发事件，返回这次 run 的 workflow 状态。
+     *
+     *  blocked 返回 `"completed"` 而不是 `"failed"`：这次运行本身正常结束了，
+     *  任务是在等外部动作。返回 failed 会让 workflow 层把它当成运行崩溃处理
+     *  （还会触发 recovery 路径），那是错的。 */
+    async settleTask(task, verdict, session, stats) {
+        const now = new Date().toISOString();
+        const taskId = task.id;
+        if (verdict.status === "delivered") {
+            const result = task.result ?? fallbackResult({ task, filesEdited: stats.filesEdited, toolCalls: stats.toolCalls });
+            const updated = await this.casTask(task, { status: "delivered", deliveredAt: now, result });
+            await this.deps.publish({
+                type: "task.delivered",
+                data: {
+                    taskId,
+                    revision: updated.revision,
+                    // `result` 是渲染好的文本（通知、复制、旧客户端都在用它）；
+                    // `delivery` 是同一份信息的结构化形态，给交付卡按四问分别渲染。
+                    // 【为什么两份都给】把结构化数据塞进一个字符串再让客户端解析，是此前
+                    // 「剩余项」出现两次的原因（`lib/chat-projector.ts` 把整段文本当成
+                    // `outcome`，四问里剩下的位置自然全空）。发两份比让客户端做字符串解析稳。
+                    result: renderResult(result),
+                    delivery: {
+                        outcome: result.outcome,
+                        changes: [...result.changes],
+                        verification: [...result.verification],
+                        remaining: [...result.remaining],
+                    },
+                    // 交付卡上「验收 x/y · 证据 n 条」两个数字的**权威来源**。此前它们
+                    // 只能靠客户端从 task.started（那一刻的条件永远全是 pending）和证据
+                    // 数组（事件流里根本没有）拼出来，于是界面上恒显示「验收 0/1 · 证据
+                    // 0 条」，与实际相反——而这一行恰恰是规格 §18.4 给用户「不必相信这句
+                    // 完成」的核对依据，一个恒错的核对依据比没有更糟。
+                    criteria: updated.acceptanceCriteria.map((criterion) => ({
+                        id: criterion.id,
+                        description: criterion.description,
+                        required: criterion.required,
+                        status: criterion.status,
+                    })),
+                    evidenceCount: updated.evidence.length,
+                    evidenceIds: updated.evidence.map((item) => item.id),
+                    filesEdited: stats.filesEdited.length,
+                    toolCalls: stats.toolCalls,
+                    durationMs: stats.durationMs,
+                },
+            }, session.id);
+            return "completed";
+        }
+        if (verdict.status === "failed") {
+            const updated = await this.casTask(task, { status: "failed" });
+            await this.deps.publish({ type: "task.failed", data: { taskId, revision: updated.revision, reason: verdict.reason } }, session.id);
+            return "failed";
+        }
+        if (verdict.status === "cancelled") {
+            const updated = await this.casTask(task, { status: "cancelled" });
+            await this.deps.publish({ type: "task.cancelled", data: { taskId, revision: updated.revision, reason: verdict.reason } }, session.id);
+            return "cancelled";
+        }
+        // blocked / waiting_*：阻塞种类决定状态，UI 据此给对应按钮（规格 §14.2）
+        const status = lifecycleForBlocker(verdict.blocker.kind);
+        const updated = await this.casTask(task, { status, blocker: verdict.blocker });
+        await this.deps.publish({ type: "task.blocked", data: { taskId, revision: updated.revision, blocker: verdict.blocker } }, session.id);
+        return "completed";
+    }
+    /** 一个持久任务的执行循环（规格 §8.1 总流程）。
+     *
+     *  【为什么续跑在同一次调用内循环，而不是每轮新建一个 workflow run】
+     *  1. lease 与串行队列：任务执行期间必须持有 session 的执行权。每轮重建 run
+     *     意味着每轮都要重新 claim/lease，中间会出现「谁都没持有」的窗口——那
+     *     正是两个 runner 并行改同一工作区的入口。
+     *  2. 规格 §8.2.5 要求「继续使用 session 级串行队列和 lease」，循环是最直接
+     *     的实现。轮次计数落在 `TaskRecord.attemptCount` 上，所以进程重启后恢复
+     *     扫描仍能知道跑到第几轮。
+     *
+     *  出口只有两个：任务进入终态，或需要用户/外部动作。单次模型停止、step 上限、
+     *  本轮没有工具调用，**都不是**出口（规格 §8.3 逐条列出）。 */
+    async runTask(session, input, acceptedUserId) {
+        const taskStore = this.deps.store.task;
+        // 没有 TaskStore：退化为一次性运行。工具、权限、事件全部照常，只是没有
+        // 「跨运行的目标」这层语义——这不是错误路径，而是宿主未启用该能力的降级。
+        if (!taskStore)
+            return (await this.deps.attemptRunner(session, input, acceptedUserId)).state;
+        let task = input.taskId ? await taskStore.getTask(input.taskId) : await taskStore.getActiveTask(session.id);
+        if (!task)
+            return (await this.deps.attemptRunner(session, input, acceptedUserId)).state;
+        // `waiting_*` / `blocked` 意味着「在等用户做一个具体动作」，唯一有权解除它的
+        // 是 `resolveTaskForPrompt`——那条新消息本身就是用户动作。这里再挡一道，是因为
+        // **排队中的补充消息可能在阻塞之后才被 drain 到**：用户写下它的时候还没看到
+        // 阻塞原因，把它当成「已经看过并响应了」会静默清掉用户根本没读到的提示。
+        // （那条消息的正文已经并进了 `constraints`，不会丢，用户真正回应时会被带上。）
+        if (isWaitingStatus(task.status))
+            return "completed";
+        const maxAttempts = Math.min(MAX_ATTEMPT_CEILING, Math.max(1, Math.floor(this.deps.taskPolicy?.maxAttempts ?? DEFAULT_MAX_ATTEMPTS)));
+        const maxDurationMs = normalizeMaxDurationMs(this.deps.taskPolicy?.maxDurationMs);
+        const noProgressPolicy = this.deps.taskPolicy?.noProgress;
+        // 从第二轮起，驱动这台机器的是任务自己（`continuation`），不再是「用户按过
+        // 按钮」那件事。把 `resume` 摘掉，否则 driveText 会一路走放行话术，掩盖了
+        // 真正发生的事（系统在自动续跑）。
+        const { resume: _resume, ...strippedInput } = input;
+        let attemptInput = input;
+        let advisory;
+        let continuation = false;
+        // 整个任务共用一个循环防护实例（规格 §16 阶段 D「loop-guard 扩展为跨 Attempt」）
+        const loopGuard = new LoopGuard();
+        let stats = { filesEdited: [], toolCalls: 0, durationMs: 0 };
+        while (true) {
+            const attemptNumber = task.attemptCount + 1;
+            // 时间预算先于轮数预算：两者的消息都指向「看一眼轨迹、确认目标是否要收窄」，
+            // 但先报出的应该是**已经烧掉多少时间**——那是用户此刻最需要知道的事实，
+            // 而轮数只在所有轮都很快时才成为瓶颈。
+            const overTime = durationBudgetBlocker(task, maxDurationMs);
+            if (overTime)
+                return await this.settleTask(task, { status: "blocked", blocker: overTime }, session, stats);
+            if (attemptNumber > maxAttempts) {
+                return await this.settleTask(task, {
+                    status: "blocked",
+                    blocker: {
+                        kind: "budget",
+                        message: `已达单次任务的最大执行轮数（${maxAttempts} 轮）。`,
+                        requiredAction: "看一眼执行轨迹，确认目标是否需要收窄；确认后可以继续。",
+                        resumable: true,
+                    },
+                }, session, stats);
+            }
+            task = await this.casTask(task, { status: "running", attemptCount: attemptNumber, blocker: undefined });
+            // 续跑时明确告诉用户「系统在自己接着做」，而不是又开了一轮对话
+            if (continuation) {
+                await this.deps.publish({ type: "task.recovery.started", data: { taskId: task.id, revision: task.revision, message: advisory ?? "继续推进任务", attempt: attemptNumber } }, session.id);
+            }
+            const outcome = await this.deps.attemptRunner(session, attemptInput, acceptedUserId, {
+                task,
+                loopGuard,
+                ...(advisory ? { advisory } : {}),
+                ...(continuation ? { continuation: true } : {}),
+            });
+            stats = { filesEdited: outcome.filesEdited, toolCalls: outcome.toolCalls, durationMs: outcome.durationMs };
+            task = await this.syncTaskFromAttempt(task, outcome, session.id);
+            // 一次 Attempt 结束——**不是**任务完成（规格 §8.3）。UI 只能拿它画轨迹。
+            await this.deps.publish({
+                type: "task.attempt.finished",
+                data: {
+                    taskId: task.id,
+                    revision: task.revision,
+                    attempt: attemptNumber,
+                    outcome: outcome.aborted ? "aborted" : outcome.state === "failed" ? "error" : "completed",
+                    toolCalls: outcome.toolCalls,
+                    filesEdited: outcome.filesEdited.length,
+                    durationMs: outcome.durationMs,
+                },
+            }, session.id);
+            const verdict = evaluateTaskCompletion(task, this.completionStateOf(outcome, session), noProgressPolicy);
+            if (verdict.status !== "continue")
+                return await this.settleTask(task, verdict, session, stats);
+            // ---- 内部续跑：不创建用户消息，不新建 workflow run ----
+            advisory = verdict.advisory;
+            continuation = true;
+            attemptInput = { ...strippedInput, continuation: { attempt: attemptNumber + 1, ...(advisory ? { advisory } : {}) } };
+            // 上一轮是上游抖动的话，立刻重打一次没有意义——给它一个短退避
+            if (outcome.state === "failed")
+                await new Promise((resolve) => setTimeout(resolve, 1_000));
+        }
+    }
+}
+//# sourceMappingURL=task-lifecycle.js.map

package/dist/core/runtime/task-lifecycle.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"task-lifecycle.js","sourceRoot":"","sources":["../../../src/core/runtime/task-lifecycle.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,2BAA2B,EAAE,MAAM,0BAA0B,CAAC;AACvE,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,OAAO,EACL,oBAAoB,EACpB,qBAAqB,EACrB,sBAAsB,EACtB,mBAAmB,EACnB,sBAAsB,GAKvB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACtD,OAAO,EAAE,cAAc,EAAE,aAAa,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AACjG,OAAO,EAAE,cAAc,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnE,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAA2F,MAAM,kBAAkB,CAAC;AAmD9J;;;;;;;;;4CAS4C;AAC5C,MAAM,CAAC,MAAM,sBAAsB,GAAG,EAAE,eAAe,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAW,CAAC;AAEpG;;;;kDAIkD;AAClD,MAAM,UAAU,gBAAgB,CAAC,OAAe;IAC9C,MAAM,UAAU,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC;IACzC,OAAO,CACL,UAAU,CAAC,QAAQ,CAAC,YAAY,CAAC;QACjC,UAAU,CAAC,QAAQ,CAAC,YAAY,CAAC;QACjC,UAAU,CAAC,QAAQ,CAAC,gBAAgB,CAAC;QACrC,UAAU,CAAC,QAAQ,CAAC,WAAW,CAAC;QAChC,UAAU,CAAC,QAAQ,CAAC,sBAAsB,CAAC;QAC3C,UAAU,CAAC,QAAQ,CAAC,YAAY,CAAC;QACjC,UAAU,CAAC,QAAQ,CAAC,SAAS,CAAC;QAC9B,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC;QAC/B,UAAU,CAAC,QAAQ,CAAC,eAAe,CAAC;QACpC,yCAAyC;QACzC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC;QAC1B,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC;QAC9B,UAAU,CAAC,QAAQ,CAAC,YAAY,CAAC;QACjC,UAAU,CAAC,QAAQ,CAAC,mBAAmB,CAAC;QACxC,UAAU,CAAC,QAAQ,CAAC,aAAa,CAAC;QAClC,UAAU,CAAC,QAAQ,CAAC,qBAAqB,CAAC;QAC1C,UAAU,CAAC,QAAQ,CAAC,uBAAuB,CAAC,CAC7C,CAAC;AACJ,CAAC;AAED;uDACuD;AACvD,MAAM,mBAAmB,GAAG,EAAE,CAAC;AAkB/B;sCACsC;AACtC,MAAM,OAAO,aAAa;IACK;IAA7B,YAA6B,IAAuB;QAAvB,SAAI,GAAJ,IAAI,CAAmB;IAAG,CAAC;IAExD,KAAK,CAAC,OAAO,CAAC,IAAgB,EAAE,KAAgB;QAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAK,CAAC;QACpC,IAAI,MAAM,GAAG,IAAI,CAAC;QAClB,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,GAAG,CAAC,EAAE,OAAO,IAAI,CAAC,EAAE,CAAC;YAChD,IAAI,CAAC;gBACH,OAAO,MAAM,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YACnE,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,CAAC,CAAC,KAAK,YAAY,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,KAAK,wBAAwB;oBAAE,MAAM,KAAK,CAAC;gBACzF,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;gBAC7C,IAAI,CAAC,KAAK;oBAAE,MAAM,KAAK,CAAC;gBACxB,MAAM,GAAG,KAAK,CAAC;YACjB,CAAC;QACH,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;IAC5C,CAAC;IAED;;;;;;;;;;;;;;;;;;uCAkBmC;IACnC,KAAK,CAAC,kBAAkB,CAAC,MAA0B,EAAE,UAAkB,EAAE,QAA2B,EAAE,OAAgB;QACpH,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;QACnC,IAAI,CAAC,MAAM,IAAI,CAAC,KAAK;YAAE,OAAO;QAC9B,MAAM,OAAO,GAAgB;YAC3B,IAAI,EAAE,YAAY;YAClB,OAAO,EAAE,aAAa,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACrF,cAAc,EAAE,6BAA6B;YAC7C,SAAS,EAAE,IAAI;SAChB,CAAC;QACF,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACzC,IAAI,CAAC,IAAI,IAAI,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC;gBAAE,OAAO;YACnD,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,oBAAoB,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC;YAC1I,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,CACrB,OAAO;gBACL,CAAC,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE;gBAC7F,CAAC,CAAC,wDAAwD;oBACxD,qCAAqC;oBACrC,EAAE,IAAI,EAAE,uBAAuB,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,EAAE,aAAa,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,YAAY,CAAC,EAAE,EAAE,EACnK,OAAO,CAAC,SAAS,CAClB,CAAC;QACJ,CAAC;QAAC,MAAM,CAAC;YACP,uCAAuC;YACvC,yCAAyC;QAC3C,CAAC;IACH,CAAC;IAED;;;;;;;;;;uDAUmD;IACnD,iBAAiB,CAAC,OAAmB,EAAE,OAAoB;QACzD,wCAAwC;QACxC,4CAA4C;QAC5C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,CAAC,OAAO,CAAC,YAAY,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QAC9G,0DAA0D;QAC1D,qBAAqB;QACrB,MAAM,KAAK,GAAG,OAAO,CAAC,SAAS,CAAC;QAChC,OAAO;YACL,cAAc,EAAE,OAAO,CAAC,OAAO;YAC/B,UAAU,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI;YAC/C,SAAS,EAAE,OAAO,CAAC,YAAY;YAC/B,iBAAiB,EAAE,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI;YAChG,kBAAkB,EAAE,2BAA2B,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACnE,YAAY,EAAE,IAAI;YAClB,eAAe,EAAE,IAAI,EAAE,qBAAqB;YAC5C,eAAe,EAAE,IAAI;YACrB,oBAAoB,EAAE,KAAK,EAAE,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,cAAc,EAAE,KAAK,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,IAAI;YAC/H,aAAa,EAAE,KAAK,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,cAAc,EAAE,KAAK,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,IAAI;YAChH,cAAc,EAAE,KAAK,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,cAAc,EAAE,KAAK,CAAC,cAAc,EAAE,CAAC,CAAC,CAAC,IAAI;YAClH,oBAAoB,EAAE,OAAO,CAAC,UAAU;YACxC,gBAAgB,EAAE,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;YACrD,SAAS,EAAE,OAAO,CAAC,OAAO;SAC3B,CAAC;IACJ,CAAC;IAED,wCAAwC;IAChC,KAAK,CAAC,iBAAiB,CAAC,QAA6B,EAAE,IAAgB,EAAE,SAAiB;QAChG,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACvE,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,MAAM,CAAC;QAClF,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC9B,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,MAAM;gBAAE,SAAS;YAClD,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,aAAa,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC;YAC9H,IAAI,CAAC,IAAI;gBAAE,SAAS;YACpB,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,CACrB,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,EAAE,cAAc,EAAE,SAAS,EAAE,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,EAC5J,SAAS,CACV,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;YACtC,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,CACrB;gBACE,IAAI,EAAE,mBAAmB;gBACzB,IAAI,EAAE;oBACJ,MAAM,EAAE,IAAI,CAAC,EAAE;oBACf,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;oBAC1F,cAAc,EAAE,SAAS;oBACzB,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,MAAM;iBAC9B;aACF,EACD,SAAS,CACV,CAAC;QACJ,CAAC;IACH,CAAC;IAED;;;8BAG0B;IAClB,KAAK,CAAC,mBAAmB,CAAC,IAAgB,EAAE,OAAmB,EAAE,SAAiB;QACxF,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QAErC,uBAAuB;QACvB,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK;YACzB,CAAC,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC;YACjF,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC;QAEf,wBAAwB;QACxB,IAAI,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC7B,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,kBAAkB,EAAE,CAAC;YACnD,MAAM,QAAQ,GAAG,cAAc,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;YACvJ,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC;YAC7B,OAAO,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;QACpC,CAAC;QAED,4CAA4C;QAC5C,EAAE;QACF,gDAAgD;QAChD,2CAA2C;QAC3C,0CAA0C;QAC1C,uCAAuC;QACvC,sDAAsD;QACtD,4CAA4C;QAC5C,EAAE;QACF,kEAAkE;QAClE,qCAAqC;QACrC,uDAAuD;QACvD,8BAA8B;QAC9B,EAAE;QACF,wCAAwC;QACxC,sBAAsB;QACtB,MAAM,eAAe,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB,CAAC,CAAC;QACnF,IAAI,qBAAyC,CAAC;QAC9C,IAAI,OAAO,CAAC,QAAQ,IAAI,CAAC,eAAe,EAAE,CAAC;YACzC,MAAM,QAAQ,GAAG,cAAc,CAAC;gBAC9B,QAAQ;gBACR,IAAI,EAAE,mBAAmB;gBACzB,OAAO,EAAE,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC;gBAC9D,GAAG,EAAE,cAAc;gBACnB,GAAG;aACJ,CAAC,CAAC;YACH,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC;YAC7B,OAAO,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;YAClC,qBAAqB,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,mBAAmB,IAAI,IAAI,CAAC,GAAG,KAAK,cAAc,CAAC,EAAE,EAAE,CAAC;QACxH,CAAC;QAED,sCAAsC;QACtC,iDAAiD;QACjD,MAAM,WAAW,GAAG,iBAAiB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACtD,MAAM,cAAc,GAAG,iBAAiB,CAAC,IAAI,CAAC,kBAAkB,EAAE,OAAO,CAAC,CAAC;QAC3E,gDAAgD;QAChD,sDAAsD;QACtD,sCAAsC;QACtC,MAAM,UAAU,GAAG,OAAO,CAAC,QAAQ;YACjC,CAAC,CAAC,aAAa,CAAC;gBACZ,QAAQ,EAAE,cAAc;gBACxB,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,QAAQ;gBACR,GAAG,CAAC,qBAAqB,CAAC,CAAC,CAAC,EAAE,qBAAqB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC3D,eAAe,EAAE,OAAO,CAAC,WAAW;aACrC,CAAC;YACJ,CAAC,CAAC,IAAI,CAAC;QACT,MAAM,kBAAkB,GAAG,UAAU,EAAE,QAAQ,IAAI,cAAc,CAAC;QAElE,oBAAoB;QACpB,MAAM,SAAS,GAAe,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,kBAAkB,EAAE,CAAC;QAC5F,MAAM,QAAQ,GAAG,eAAe,CAAC,SAAS,EAAE,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,CAAC,CAAC;QAEhH,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE;YACvC,KAAK,EAAE,WAAW;YAClB,QAAQ;YACR,kBAAkB;YAClB,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACpD,eAAe,EAAE,QAAQ,CAAC,WAAW;YACrC,eAAe,EAAE,QAAQ,CAAC,eAAe;YACzC,gDAAgD;YAChD,+CAA+C;YAC/C,oCAAoC;YACpC,QAAQ,EAAE,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC,GAAG,OAAO,CAAC,UAAU;SACpD,CAAC,CAAC;QACH,MAAM,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;QAC7D,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;;;mCAI+B;IACvB,KAAK,CAAC,UAAU,CACtB,IAAgB,EAChB,OAAuB,EACvB,OAAoB,EACpB,KAAuE;QAEvE,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC;QAEvB,IAAI,OAAO,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YACnC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,cAAc,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,CAAC,WAAW,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC;YACnH,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC;YAC5F,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,CACrB;gBACE,IAAI,EAAE,gBAAgB;gBACtB,IAAI,EAAE;oBACJ,MAAM;oBACN,QAAQ,EAAE,OAAO,CAAC,QAAQ;oBAC1B,oCAAoC;oBACpC,uCAAuC;oBACvC,oCAAoC;oBACpC,+CAA+C;oBAC/C,2CAA2C;oBAC3C,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC;oBAC5B,QAAQ,EAAE;wBACR,OAAO,EAAE,MAAM,CAAC,OAAO;wBACvB,OAAO,EAAE,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC;wBAC5B,YAAY,EAAE,CAAC,GAAG,MAAM,CAAC,YAAY,CAAC;wBACtC,SAAS,EAAE,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC;qBACjC;oBACD,0CAA0C;oBAC1C,8CAA8C;oBAC9C,uCAAuC;oBACvC,yCAAyC;oBACzC,2BAA2B;oBAC3B,QAAQ,EAAE,OAAO,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;wBACvD,EAAE,EAAE,SAAS,CAAC,EAAE;wBAChB,WAAW,EAAE,SAAS,CAAC,WAAW;wBAClC,QAAQ,EAAE,SAAS,CAAC,QAAQ;wBAC5B,MAAM,EAAE,SAAS,CAAC,MAAM;qBACzB,CAAC,CAAC;oBACH,aAAa,EAAE,OAAO,CAAC,QAAQ,CAAC,MAAM;oBACtC,WAAW,EAAE,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;oBACpD,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC,MAAM;oBACrC,SAAS,EAAE,KAAK,CAAC,SAAS;oBAC1B,UAAU,EAAE,KAAK,CAAC,UAAU;iBAC7B;aACF,EACD,OAAO,CAAC,EAAE,CACX,CAAC;YACF,OAAO,WAAW,CAAC;QACrB,CAAC;QAED,IAAI,OAAO,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YAChC,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;YAC/D,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;YACnI,OAAO,QAAQ,CAAC;QAClB,CAAC;QAED,IAAI,OAAO,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YACnC,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC;YAClE,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;YACtI,OAAO,WAAW,CAAC;QACrB,CAAC;QAED,oDAAoD;QACpD,MAAM,MAAM,GAAG,mBAAmB,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACzD,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;QAC/E,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;QACtI,OAAO,WAAW,CAAC;IACrB,CAAC;IAED;;;;;;;;;;;4CAWwC;IACxC,KAAK,CAAC,OAAO,CAAC,OAAoB,EAAE,KAAkB,EAAE,cAAuB;QAC7E,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;QACvC,0CAA0C;QAC1C,uCAAuC;QACvC,IAAI,CAAC,SAAS;YAAE,OAAO,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC;QAE7F,IAAI,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,SAAS,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC5G,IAAI,CAAC,IAAI;YAAE,OAAO,CAAC,MAAM,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC;QAExF,oDAAoD;QACpD,qDAAqD;QACrD,6CAA6C;QAC7C,sCAAsC;QACtC,gDAAgD;QAChD,IAAI,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC;YAAE,OAAO,WAAW,CAAC;QAErD,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,mBAAmB,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,WAAW,IAAI,oBAAoB,CAAC,CAAC,CAAC,CAAC;QACtI,MAAM,aAAa,GAAG,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;QAClF,MAAM,gBAAgB,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC;QAE1D,8CAA8C;QAC9C,iDAAiD;QACjD,mBAAmB;QACnB,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,aAAa,EAAE,GAAG,KAAK,CAAC;QACpD,IAAI,YAAY,GAAgB,KAAK,CAAC;QACtC,IAAI,QAA4B,CAAC;QACjC,IAAI,YAAY,GAAG,KAAK,CAAC;QACzB,uDAAuD;QACvD,MAAM,SAAS,GAAG,IAAI,SAAS,EAAE,CAAC;QAClC,IAAI,KAAK,GAAG,EAAE,WAAW,EAAE,EAAc,EAAE,SAAS,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;QAEzE,OAAO,IAAI,EAAE,CAAC;YACZ,MAAM,aAAa,GAAG,IAAI,CAAC,YAAY,GAAG,CAAC,CAAC;YAC5C,wCAAwC;YACxC,wCAAwC;YACxC,qBAAqB;YACrB,MAAM,QAAQ,GAAG,qBAAqB,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;YAC5D,IAAI,QAAQ;gBAAE,OAAO,MAAM,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;YAC3G,IAAI,aAAa,GAAG,WAAW,EAAE,CAAC;gBAChC,OAAO,MAAM,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE;oBACjC,MAAM,EAAE,SAAS;oBACjB,OAAO,EAAE;wBACP,IAAI,EAAE,QAAQ;wBACd,OAAO,EAAE,iBAAiB,WAAW,MAAM;wBAC3C,cAAc,EAAE,6BAA6B;wBAC7C,SAAS,EAAE,IAAI;qBAChB;iBACF,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;YACrB,CAAC;YAED,IAAI,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,aAAa,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC;YACxG,iCAAiC;YACjC,IAAI,YAAY,EAAE,CAAC;gBACjB,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,CACrB,EAAE,IAAI,EAAE,uBAAuB,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,OAAO,EAAE,QAAQ,IAAI,QAAQ,EAAE,OAAO,EAAE,aAAa,EAAE,EAAE,EAC5I,OAAO,CAAC,EAAE,CACX,CAAC;YACJ,CAAC;YAED,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE;gBACnF,IAAI;gBACJ,SAAS;gBACT,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACjC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAChD,CAAC,CAAC;YACH,KAAK,GAAG,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE,UAAU,EAAE,OAAO,CAAC,UAAU,EAAE,CAAC;YAE3G,IAAI,GAAG,MAAM,IAAI,CAAC,mBAAmB,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;YAEjE,iDAAiD;YACjD,MAAM,IAAI,CAAC,IAAI,CAAC,OAAO,CACrB;gBACE,IAAI,EAAE,uBAAuB;gBAC7B,IAAI,EAAE;oBACJ,MAAM,EAAE,IAAI,CAAC,EAAE;oBACf,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,OAAO,EAAE,aAAa;oBACtB,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW;oBACzF,SAAS,EAAE,OAAO,CAAC,SAAS;oBAC5B,WAAW,EAAE,OAAO,CAAC,WAAW,CAAC,MAAM;oBACvC,UAAU,EAAE,OAAO,CAAC,UAAU;iBAC/B;aACF,EACD,OAAO,CAAC,EAAE,CACX,CAAC;YAEF,MAAM,OAAO,GAAG,sBAAsB,CAAC,IAAI,EAAE,IAAI,CAAC,iBAAiB,CAAC,OAAO,EAAE,OAAO,CAAC,EAAE,gBAAgB,CAAC,CAAC;YACzG,IAAI,OAAO,CAAC,MAAM,KAAK,UAAU;gBAAE,OAAO,MAAM,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;YAE/F,0CAA0C;YAC1C,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC;YAC5B,YAAY,GAAG,IAAI,CAAC;YACpB,YAAY,GAAG,EAAE,GAAG,aAAa,EAAE,YAAY,EAAE,EAAE,OAAO,EAAE,aAAa,GAAG,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YACrH,iCAAiC;YACjC,IAAI,OAAO,CAAC,KAAK,KAAK,QAAQ;gBAAE,MAAM,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC;QAC7F,CAAC;IACH,CAAC;CACF"}

package/dist/core/session/sqlite-store.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"sqlite-store.d.ts","sourceRoot":"","sources":["../../../src/core/session/sqlite-store.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAG/C;;;;;;;;sDAQsD;AAEtD,KAAK,kBAAkB,GAAG;IACxB,OAAO,EAAE,MAAM,CAAC;IAChB,mCAAmC;IACnC,WAAW,CAAC,EAAE,OAAO,CAAC;CACvB,CAAC;AAEF;;4DAE4D;AAC5D,MAAM,MAAM,kBAAkB,GAAG,YAAY,GAAG;IAC9C,KAAK,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACxE,KAAK,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACxC,iBAAiB,IAAI,OAAO,CAAC;QAAE,SAAS,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC,CAAC;IACtD,mBAAmB,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IACzD;;0BAEsB;IACtB,UAAU,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5B;wBACoB;IACpB,sBAAsB,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CACxD,CAAC;AAEF,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,kBAAkB,GAAG,kBAAkB,CAqkBxF"}
+{"version":3,"file":"sqlite-store.d.ts","sourceRoot":"","sources":["../../../src/core/session/sqlite-store.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAG/C;;;;;;;;sDAQsD;AAEtD,KAAK,kBAAkB,GAAG;IACxB,OAAO,EAAE,MAAM,CAAC;IAChB,mCAAmC;IACnC,WAAW,CAAC,EAAE,OAAO,CAAC;CACvB,CAAC;AAEF;;4DAE4D;AAC5D,MAAM,MAAM,kBAAkB,GAAG,YAAY,GAAG;IAC9C,KAAK,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACxE,KAAK,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACxC,iBAAiB,IAAI,OAAO,CAAC;QAAE,SAAS,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC,CAAC;IACtD,mBAAmB,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IACzD;;0BAEsB;IACtB,UAAU,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5B;wBACoB;IACpB,sBAAsB,IAAI,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CACxD,CAAC;AAEF,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,kBAAkB,GAAG,kBAAkB,CAmqBxF"}

package/dist/core/session/sqlite-store.js

@@ -3,6 +3,7 @@ import path from "node:path";
 import { DatabaseSync } from "node:sqlite";
 import { randomUUID } from "node:crypto";
 import { promptHash } from "./workflow.js";
+import { assertSubagentTransition } from "../subagents/types.js";
 import { frameworkEventSchemas, toPersistedEvent } from "../events/manifest.js";
 import { newEventId } from "./ids.js";
 import { searchablePart, searchSnippet } from "./message-search.js";
@@ -92,7 +93,18 @@ export function createSqliteSessionStore(options) {
         const columns = db.prepare("PRAGMA table_info(messages)").all();
         if (!columns.some(column => column.name === "message_seq"))
             db.exec("ALTER TABLE messages ADD COLUMN message_seq INTEGER");
-        db.exec(`
+        db.exec(`CREATE TABLE IF NOT EXISTS subagents (
+      child_id TEXT PRIMARY KEY, parent_session_id TEXT NOT NULL, root_task_id TEXT NOT NULL,
+      spawn_request_id TEXT NOT NULL, json TEXT NOT NULL, updated_at TEXT NOT NULL
+    );
+    CREATE UNIQUE INDEX IF NOT EXISTS idx_subagents_spawn ON subagents(parent_session_id, spawn_request_id);
+    CREATE INDEX IF NOT EXISTS idx_subagents_root ON subagents(root_task_id);
+    CREATE TABLE IF NOT EXISTS subagent_messages (
+      message_id TEXT NOT NULL, child_id TEXT NOT NULL, created_at TEXT NOT NULL,
+      direction TEXT NOT NULL, json TEXT NOT NULL,
+      PRIMARY KEY (child_id, message_id)
+    );`);
+        db.exec(`CREATE TABLE IF NOT EXISTS compaction_records (session_id TEXT PRIMARY KEY, json TEXT NOT NULL, updated_at TEXT NOT NULL);
       CREATE TABLE IF NOT EXISTS session_history (session_id TEXT PRIMARY KEY, last_seq INTEGER NOT NULL DEFAULT 0, revision INTEGER NOT NULL DEFAULT 1);
       CREATE TABLE IF NOT EXISTS schema_migrations (version INTEGER PRIMARY KEY, applied_at TEXT NOT NULL);
       INSERT INTO session_history(session_id,last_seq) SELECT session_id,COALESCE(MAX(message_seq),0) FROM messages GROUP BY session_id ON CONFLICT(session_id) DO UPDATE SET last_seq=MAX(last_seq,excluded.last_seq);
@@ -351,6 +363,14 @@ export function createSqliteSessionStore(options) {
             async workflowRuns(sessionId) {
                 return db.prepare("SELECT payload,receipt,status,revision FROM workflow_runs WHERE session_id=? ORDER BY ordinal").all(sessionId).map(row => ({ input: JSON.parse(row.payload), receipt: JSON.parse(row.receipt), status: row.status, revision: row.revision }));
             },
+            async rebuildSnapshot(sessionId) {
+                return transaction(() => {
+                    const entries = readMessages(sessionId);
+                    const rows = db.prepare("SELECT receipt,status FROM workflow_runs WHERE session_id=?").all(sessionId);
+                    const excludedUserIds = new Set(rows.filter((row) => row.status !== "completed" && row.status !== "failed").map((row) => JSON.parse(row.receipt).userMessageId));
+                    return { entries, excludedUserIds };
+                });
+            },
             async findPrompt(sessionId, requestId) {
                 const row = db.prepare("SELECT payload,receipt,status,revision FROM workflow_runs WHERE session_id=? AND request_id=?").get(sessionId, requestId);
                 return row ? { input: JSON.parse(row.payload), receipt: JSON.parse(row.receipt), status: row.status, revision: row.revision } : null;
@@ -360,6 +380,95 @@ export function createSqliteSessionStore(options) {
         // CAS 用 UPDATE ... WHERE revision=? 而不是读改写：读改写在同一连接内
         // 也挡不住「另一个进程在我读完之后更新过」——而 lease 过期后的双 runner
         // 竞争正是这条路径最需要防的场景。
+        compaction: {
+            async get(sessionId) {
+                const row = db.prepare("SELECT json FROM compaction_records WHERE session_id=?").get(sessionId);
+                return row ? JSON.parse(row.json) : null;
+            },
+            async put(sessionId, record) {
+                transaction(() => {
+                    db.prepare("INSERT INTO compaction_records(session_id,json,updated_at) VALUES (?,?,?) ON CONFLICT(session_id) DO UPDATE SET json=excluded.json,updated_at=excluded.updated_at").run(sessionId, JSON.stringify(record), record.updatedAt);
+                });
+            },
+        },
+        subagents: {
+            async createSubagent(record) {
+                return transaction(() => {
+                    const prior = db.prepare("SELECT json FROM subagents WHERE parent_session_id=? AND spawn_request_id=?").get(record.parentSessionId, record.spawnRequestId);
+                    if (prior)
+                        return JSON.parse(prior.json);
+                    db.prepare("INSERT INTO subagents(child_id,parent_session_id,root_task_id,spawn_request_id,json,updated_at) VALUES (?,?,?,?,?,?)").run(record.childId, record.parentSessionId, record.rootTaskId, record.spawnRequestId, JSON.stringify(record), record.times.spawnedAt);
+                    return record;
+                });
+            },
+            async getSubagent(childId) {
+                const row = db.prepare("SELECT json FROM subagents WHERE child_id=?").get(childId);
+                return row ? JSON.parse(row.json) : null;
+            },
+            async findSubagentBySpawnRequest(parentSessionId, spawnRequestId) {
+                const row = db.prepare("SELECT json FROM subagents WHERE parent_session_id=? AND spawn_request_id=?").get(parentSessionId, spawnRequestId);
+                return row ? JSON.parse(row.json) : null;
+            },
+            async updateSubagent(childId, expectedRevision, patch) {
+                return transaction(() => {
+                    const row = db.prepare("SELECT json FROM subagents WHERE child_id=?").get(childId);
+                    if (!row)
+                        throw new Error("SUBAGENT_NOT_FOUND");
+                    const current = JSON.parse(row.json);
+                    if (current.revision !== expectedRevision)
+                        throw new Error("SUBAGENT_REVISION_CONFLICT");
+                    if (patch.status)
+                        assertSubagentTransition(current.status, patch.status);
+                    const next = { ...current, ...patch, revision: current.revision + 1 };
+                    db.prepare("UPDATE subagents SET json=?, updated_at=? WHERE child_id=?").run(JSON.stringify(next), new Date().toISOString(), childId);
+                    return next;
+                });
+            },
+            async listSubagents(filter) {
+                let sql = "SELECT json FROM subagents WHERE 1=1";
+                const args = [];
+                if (filter.parentSessionId) {
+                    sql += " AND parent_session_id=?";
+                    args.push(filter.parentSessionId);
+                }
+                if (filter.rootTaskId) {
+                    sql += " AND root_task_id=?";
+                    args.push(filter.rootTaskId);
+                }
+                const rows = db.prepare(sql).all(...args);
+                let list = rows.map((r) => JSON.parse(r.json));
+                if (filter.statuses)
+                    list = list.filter((r) => filter.statuses.includes(r.status));
+                return list.sort((a, b) => a.times.spawnedAt.localeCompare(b.times.spawnedAt));
+            },
+            async appendMessage(message) {
+                transaction(() => {
+                    db.prepare("INSERT OR IGNORE INTO subagent_messages(message_id,child_id,created_at,direction,json) VALUES (?,?,?,?,?)").run(message.messageId, message.childId, message.createdAt, message.direction, JSON.stringify(message));
+                });
+            },
+            async listMessages(childId, options) {
+                let sql = "SELECT json FROM subagent_messages WHERE child_id=?";
+                const args = [childId];
+                if (options?.sinceCreatedAt) {
+                    sql += " AND created_at>?";
+                    args.push(options.sinceCreatedAt);
+                }
+                const rows = db.prepare(sql + " ORDER BY created_at").all(...args);
+                return rows.map((r) => JSON.parse(r.json));
+            },
+            async markMessagesConsumedByParent(childId, upToCreatedAt) {
+                transaction(() => {
+                    const rows = db.prepare("SELECT json FROM subagent_messages WHERE child_id=? AND created_at<=?").all(childId, upToCreatedAt);
+                    for (const row of rows) {
+                        const msg = JSON.parse(row.json);
+                        if (!msg.consumedByParent) {
+                            msg.consumedByParent = true;
+                            db.prepare("UPDATE subagent_messages SET json=? WHERE child_id=? AND message_id=?").run(JSON.stringify(msg), childId, msg.messageId);
+                        }
+                    }
+                });
+            },
+        },
         task: {
             async createTask(input) {
                 return transaction(() => {