@zmzai/agent-framework 0.5.2 → 0.9.0

package/dist/core/task/completion.js

@@ -0,0 +1,273 @@
+export const DEFAULT_NO_PROGRESS_POLICY = { blockedAt: 3, switchStrategyAt: 2 };
+/** 单次 Attempt 的硬上限（规格 §10.1 / §16 阶段 D「最大 Attempt 数配置」）。 */
+export const DEFAULT_MAX_ATTEMPTS = 24;
+/** 单次任务的时间预算：累计执行时间的上限（规格 §10.2 / §16 阶段 D
+ *  「最长运行时间」）。默认一小时。
+ *
+ *  【计量口径】累加各 Attempt 的 durationMs，不是 `now - createdAt`。任务阻塞
+ *  期间（等授权、等用户补信息）run 已经结束，那段空白不计入——按墙钟算会让
+ *  「停了一夜的任务第二天点继续立刻超时」，把恢复通路堵死。 */
+export const DEFAULT_MAX_DURATION_MS = 60 * 60 * 1000;
+/** 时间预算的硬上限：24 小时。宿主调不到「永不拦截」。 */
+export const MAX_DURATION_CEILING_MS = 24 * 60 * 60 * 1000;
+/** 归一化宿主传入的时间预算。非正数 / NaN 一律回落默认值，而不是当成
+ *  「不限」——0 和负数在这里最可能的意思是配置写错了。 */
+export function normalizeMaxDurationMs(value) {
+    return typeof value === "number" && Number.isFinite(value) && value > 0
+        ? Math.min(MAX_DURATION_CEILING_MS, Math.floor(value))
+        : DEFAULT_MAX_DURATION_MS;
+}
+/** 时间预算判定：还有余量返回 null，超了给一个 blocked(budget) 的 blocker。
+ *
+ *  与 Attempt 数上限并列，两者防的是不同形态的失控：轮数上限挡「每次都有一点
+ *  进展但永远做不完」，时间预算挡「单轮本身就很慢，轮数不多但总时长失控」。 */
+export function durationBudgetBlocker(task, maxDurationMs) {
+    const spent = task.activeMs ?? 0;
+    if (spent <= maxDurationMs)
+        return null;
+    const minutes = (value) => Math.max(1, Math.round(value / 60_000));
+    return {
+        kind: "budget",
+        message: `任务已累计执行 ${minutes(spent)} 分钟，超过了单次任务的时间预算（${minutes(maxDurationMs)} 分钟）。`,
+        requiredAction: "看一眼执行轨迹，确认目标是否需要收窄或拆成几次；确认后可以继续。",
+        resumable: true,
+    };
+}
+/** 归一化宿主传入的策略：clamp 到 [1, 8]，越界一律回落默认值而不是
+ *  悄悄放行——「把 blockedAt 设成 1e9 就不会被拦」正是要防的。 */
+export function normalizeNoProgressPolicy(policy) {
+    const clamp = (value, fallback) => typeof value === "number" && Number.isFinite(value) ? Math.min(8, Math.max(1, Math.floor(value))) : fallback;
+    return {
+        blockedAt: clamp(policy?.blockedAt, DEFAULT_NO_PROGRESS_POLICY.blockedAt),
+        switchStrategyAt: clamp(policy?.switchStrategyAt, DEFAULT_NO_PROGRESS_POLICY.switchStrategyAt),
+    };
+}
+/** 阻塞类判定：这些条件一旦成立，无论任务看起来多像完成了都**不能**返回
+ *  delivered（规格 §9 条件 4）。顺序即优先级——越靠前的越具体，提示越有用。 */
+function firstBlocker(task, state) {
+    if (state.unknownSideEffect) {
+        return {
+            kind: "unsafe_replay",
+            message: `上一个动作可能已经产生副作用，但没有拿到明确结果：${state.unknownSideEffect}`,
+            // 规格 §10.2：写操作结果未知时先核验外部状态，不许自动重放
+            requiredAction: "先确认外部系统的实际状态（文件、提交、远端页面等），再决定继续或重试。",
+            resumable: true,
+        };
+    }
+    if (state.unsafeReplay) {
+        return {
+            kind: "unsafe_replay",
+            message: `有一个写操作结果不确定，重放可能造成重复提交或覆盖：${state.unsafeReplay}`,
+            requiredAction: "核验该操作在外部系统里的实际结果后，再选择重试或跳过。",
+            resumable: true,
+        };
+    }
+    if (state.budgetExhausted) {
+        return {
+            kind: "budget",
+            message: `已用尽本次任务的执行预算：${state.budgetExhausted}`,
+            requiredAction: "确认是否继续投入（增加预算或缩小目标），然后重新发起。",
+            resumable: false,
+        };
+    }
+    if (state.externalAuthRequired) {
+        return {
+            kind: "external_auth",
+            message: state.externalAuthRequired.message,
+            requiredAction: state.externalAuthRequired.requiredAction,
+            resumable: true,
+        };
+    }
+    if (state.choiceRequired) {
+        return {
+            kind: "choice",
+            message: state.choiceRequired.message,
+            requiredAction: state.choiceRequired.requiredAction,
+            resumable: true,
+        };
+    }
+    if (state.inputRequired) {
+        return {
+            kind: "input",
+            message: state.inputRequired.message,
+            requiredAction: state.inputRequired.requiredAction,
+            resumable: true,
+        };
+    }
+    if (state.pendingPermissions > 0) {
+        return {
+            kind: "permission",
+            message: `有 ${state.pendingPermissions} 个操作在等待授权。`,
+            requiredAction: "处理授权卡片后任务会自动继续。",
+            resumable: true,
+        };
+    }
+    return null;
+}
+/** 未完成的步骤：pending / in_progress / blocked。`cancelled` 不算未完成——
+ *  用户或模型明确放弃的步骤不该拦住交付（规格 §9 条件 2 说的是「必要步骤」）。 */
+function openSteps(task) {
+    return task.steps.filter((step) => step.status === "pending" || step.status === "in_progress" || step.status === "blocked");
+}
+/** §9 条件 1：所有 required 验收条件 passed。 */
+function unmetRequiredCriteria(task) {
+    return task.acceptanceCriteria
+        .filter((criterion) => criterion.required && criterion.status !== "passed")
+        .map((criterion) => ({ id: criterion.id, description: criterion.description, status: criterion.status }));
+}
+/** §9 条件 3：每个关键验收条件至少关联一条有效 evidence。
+ *  「有效」= evidence id 能在 task.evidence 里找到——悬空引用不算数。 */
+function criteriaMissingEvidence(task) {
+    const known = new Set(task.evidence.map((item) => item.id));
+    return task.acceptanceCriteria
+        .filter((criterion) => criterion.required && criterion.status === "passed")
+        .filter((criterion) => !criterion.evidenceIds.some((id) => known.has(id)))
+        .map((criterion) => ({ id: criterion.id, description: criterion.description }));
+}
+/** 无进展时的恢复指令（规格 §10.1 的 1/2 档）。 */
+function noProgressAdvisory(task, count, policy) {
+    if (count <= 0)
+        return undefined;
+    const open = openSteps(task);
+    const remaining = open.length ? open.map((step) => step.title).join("、") : "（未拆解出明确步骤）";
+    if (count >= policy.switchStrategyAt) {
+        return (`[任务未推进] 你已经连续 ${count} 轮没有让任务前进一步。换做同一件事的做法没有用。` +
+            `现在改变策略：先做诊断（读取现场、复现问题、确认假设），或把「${remaining}」缩成更小的可验证一步。` +
+            `不要重复上一轮的动作。`);
+    }
+    return (`[任务未推进] 上一轮结束时任务状态与开始时相同。先重新读取现场（文件、命令输出、外部状态），` +
+        `再说清楚是什么挡住了「${remaining}」。如果前提不成立，直接说明并给出替代路径。`);
+}
+/** 交付相关的恢复指令。
+ *
+ *  这两条 advisory 是「显式交付」能落地的关键：门把交付打回去的时候，必须让模型
+ *  知道**缺的是那一次声明**，否则它看到「验收条件未通过」只会重复做已经做完的事，
+ *  一路空转到 no_progress——把一次本可以一轮解决的问题变成三倍成本。
+ *
+ *  【为什么不能说「输出一段总结就算交付」】那正是被删掉的那条推导。这里的措辞刻意
+ *  指向工具：`task_deliver`。 */
+function deliveryAdvisory(task, unmetIds) {
+    if (task.result === undefined) {
+        return ("[交付未声明] 你还没有提交交付声明，所以任务不能结束——结束本轮、说一句「已完成」、把 todo 标记完成都不算。" +
+            "如果目标已经达成，现在调用 `task_deliver`，按四个问题回答：做成了什么、改了哪些主要内容、怎么验证的、还有哪些没做完" +
+            "（无剩余项也要显式给空数组），并逐条给出验收条件的结论。" +
+            "如果还没达成，继续做，不要调用它。");
+    }
+    if (unmetIds.length) {
+        return (`[验收未完成] 你的交付声明里这些验收条件没有拿到通过结论：${unmetIds.join("、")}。` +
+            "两种可能：工作还没做完（那就继续做，做完再交付一次）；或者你只是漏写了结论" +
+            "（那就补齐 `task_deliver` 的 `criteria`，id 用任务契约里印出的那一个）。" +
+            "注意 required 条件不能用 `not_applicable` 绕过。");
+    }
+    return undefined;
+}
+/** 把阻塞原因映射到任务生命周期状态。
+ *
+ *  `waiting_*` 与 `blocked` 的分界是「谁该动」：等用户做一件明确的事 →
+ *  waiting_*（界面给对应按钮）；系统自己搞不定、需要判断 → blocked。 */
+export function lifecycleForBlocker(kind) {
+    switch (kind) {
+        case "permission":
+            return "waiting_permission";
+        case "input":
+        case "choice":
+            return "waiting_input";
+        case "external_auth":
+            return "waiting_external";
+        // unsafe_replay / budget / no_progress 都属于「不能自动继续」，需要人判断
+        default:
+            return "blocked";
+    }
+}
+/**
+ * 可信完成判定（规格 §9）。纯函数。
+ *
+ * 判定顺序是有讲究的：**先阻塞、后完成**。一个任务即使所有步骤都完成了，
+ * 只要还有一个未回应的授权请求或结果未知的写操作，就不能说自己交付了。
+ * 反过来先判完成，这些悬空状态就会被步骤的完成态掩盖掉——那正是规格
+ * §19「不得把『无法验证』包装成『已完成但建议用户检查』」要禁止的行为。
+ */
+export function evaluateTaskCompletion(task, state, policyInput) {
+    const policy = normalizeNoProgressPolicy(policyInput);
+    if (state.cancelled)
+        return { status: "cancelled", reason: "用户已停止任务。" };
+    // 1) 阻塞优先（§9 条件 4）
+    const blocker = firstBlocker(task, state);
+    if (blocker)
+        return { status: "blocked", blocker };
+    // 2) 确定性失败先于无进展保护：no_progress 是策略性停止（可恢复），
+    //    用它盖住一个「已经没救」的真实原因会误导用户去重试。
+    if (state.fatalError) {
+        return { status: "failed", reason: state.fatalError };
+    }
+    // 3) 无进展保护（§10.1）：先于完成判定，但晚于真实阻塞——
+    //    权限等待会让状态停住，那是「在等」不是「卡住」。
+    if (task.noProgressCount >= policy.blockedAt) {
+        // 上游持续失败是最常见的「无进展」成因，那时「换个做法」是错误的建议——
+        // 模型什么都没做错。把真实错误带上，用户才知道该等一会儿还是该查配置。
+        const causedBy = state.lastError ? `最后一次运行失败：${state.lastError}` : null;
+        return {
+            status: "blocked",
+            blocker: {
+                kind: "no_progress",
+                message: causedBy
+                    ? `连续 ${task.noProgressCount} 轮没有实质进展。${causedBy}`
+                    : `连续 ${task.noProgressCount} 轮没有实质进展，已停止自动续跑。`,
+                requiredAction: causedBy
+                    ? "确认上游可用（网络、额度、模型配置）后继续；任务会从中断处接着做。"
+                    : "查看上面的执行轨迹，确认目标是否需要调整，或直接指出下一步该做什么。",
+                resumable: true,
+            },
+        };
+    }
+    // 4) 一次运行没跑完（上游断流、工具崩溃、进程被杀）不等于任务失败。规格 §10.2
+    // 把这类归为 recovering，只有重试耗尽才升级。这里返回 continue，由任务层
+    // 按 Attempt 上限决定什么时候放弃。
+    if (!state.attemptSettled) {
+        return {
+            status: "continue",
+            reason: "上一轮运行未能正常结束。",
+            advisory: (state.lastError ? `上一轮运行中断了：${state.lastError}\n` : "上一轮运行中断了。") +
+                "先确认工作区当前的实际状态（哪些文件已经改过、外部系统处于什么状态），" +
+                "再从中断的地方继续——不要从头再做一遍，那会产生重复副作用。",
+        };
+    }
+    // 5) 完成判定（§9 五条件）
+    const unmet = unmetRequiredCriteria(task);
+    const open = openSteps(task);
+    const missingEvidence = criteriaMissingEvidence(task);
+    // 6) 显式交付声明（§9 条件 6）。交付是一次动作，不是一个可以被推断出来的语气。
+    //
+    //  【为什么单列一条而不是并进条件 1】任务可能一条 required 验收条件都没有
+    //  （宿主显式添加的条件全为 optional 时），此时条件 1/2/3/5 会**全部平凡通过**，
+    //  交付又退回到「文本非空即完成」。单列之后，「交付必须由模型明确声明」这条
+    //  不变量与条件集无关地成立——它是 §3.1 那条根因（一次运行正常结束 ≠ 目标已实现）
+    //  的最终落点。`task.result` 由 `applyDelivery` 写入，那是它的唯一生产者。
+    const deliveryDeclared = task.result !== undefined;
+    const reasons = [];
+    if (unmet.length)
+        reasons.push(`验收条件未通过：${unmet.map((item) => item.description).join("、")}`);
+    if (open.length)
+        reasons.push(`仍有未完成的步骤：${open.map((step) => step.title).join("、")}`);
+    if (missingEvidence.length)
+        reasons.push(`验收条件缺少验证证据：${missingEvidence.map((item) => item.description).join("、")}`);
+    if (!state.finalTextPresent)
+        reasons.push("尚未生成最终交付说明");
+    if (!deliveryDeclared)
+        reasons.push("尚未提交交付声明");
+    if (reasons.length === 0) {
+        return { status: "delivered", reason: "全部验收条件已通过、留有条目证据，并由模型显式声明交付。" };
+    }
+    // 5) 未完成 → 内部续跑（不创建用户消息）
+    const advisory = noProgressAdvisory(task, task.noProgressCount, policy);
+    const delivery = deliveryAdvisory(task, unmet.map((item) => item.id));
+    const unresolved = state.unresolvedToolErrors.length
+        ? `上一轮有工具调用以失败告终（${state.unresolvedToolErrors.join("；")}），如果它们挡在路上，先换一条路。`
+        : "";
+    return {
+        status: "continue",
+        reason: reasons.join("；"),
+        ...(advisory || delivery || unresolved ? { advisory: [delivery, advisory, unresolved].filter(Boolean).join("\n") } : {}),
+    };
+}
+//# sourceMappingURL=completion.js.map

package/dist/core/task/completion.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"completion.js","sourceRoot":"","sources":["../../../src/core/task/completion.ts"],"names":[],"mappings":"AAyFA,MAAM,CAAC,MAAM,0BAA0B,GAAqB,EAAE,SAAS,EAAE,CAAC,EAAE,gBAAgB,EAAE,CAAC,EAAE,CAAC;AAElG,4DAA4D;AAC5D,MAAM,CAAC,MAAM,oBAAoB,GAAG,EAAE,CAAC;AAEvC;;;;;mCAKmC;AACnC,MAAM,CAAC,MAAM,uBAAuB,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;AAEtD,kCAAkC;AAClC,MAAM,CAAC,MAAM,uBAAuB,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;AAE3D;kCACkC;AAClC,MAAM,UAAU,sBAAsB,CAAC,KAAc;IACnD,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC;QACrE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,uBAAuB,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACtD,CAAC,CAAC,uBAAuB,CAAC;AAC9B,CAAC;AAED;;;2CAG2C;AAC3C,MAAM,UAAU,qBAAqB,CAAC,IAAgB,EAAE,aAAqB;IAC3E,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,IAAI,CAAC,CAAC;IACjC,IAAI,KAAK,IAAI,aAAa;QAAE,OAAO,IAAI,CAAC;IACxC,MAAM,OAAO,GAAG,CAAC,KAAa,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC;IAC3E,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,WAAW,OAAO,CAAC,KAAK,CAAC,oBAAoB,OAAO,CAAC,aAAa,CAAC,OAAO;QACnF,cAAc,EAAE,kCAAkC;QAClD,SAAS,EAAE,IAAI;KAChB,CAAC;AACJ,CAAC;AAED;6CAC6C;AAC7C,MAAM,UAAU,yBAAyB,CAAC,MAAkC;IAC1E,MAAM,KAAK,GAAG,CAAC,KAAyB,EAAE,QAAgB,EAAU,EAAE,CACpE,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;IAC/G,OAAO;QACL,SAAS,EAAE,KAAK,CAAC,MAAM,EAAE,SAAS,EAAE,0BAA0B,CAAC,SAAS,CAAC;QACzE,gBAAgB,EAAE,KAAK,CAAC,MAAM,EAAE,gBAAgB,EAAE,0BAA0B,CAAC,gBAAgB,CAAC;KAC/F,CAAC;AACJ,CAAC;AAED;mDACmD;AACnD,SAAS,YAAY,CAAC,IAAgB,EAAE,KAA6B;IACnE,IAAI,KAAK,CAAC,iBAAiB,EAAE,CAAC;QAC5B,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,OAAO,EAAE,4BAA4B,KAAK,CAAC,iBAAiB,EAAE;YAC9D,kCAAkC;YAClC,cAAc,EAAE,qCAAqC;YACrD,SAAS,EAAE,IAAI;SAChB,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QACvB,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,OAAO,EAAE,6BAA6B,KAAK,CAAC,YAAY,EAAE;YAC1D,cAAc,EAAE,6BAA6B;YAC7C,SAAS,EAAE,IAAI;SAChB,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,eAAe,EAAE,CAAC;QAC1B,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,gBAAgB,KAAK,CAAC,eAAe,EAAE;YAChD,cAAc,EAAE,6BAA6B;YAC7C,SAAS,EAAE,KAAK;SACjB,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,oBAAoB,EAAE,CAAC;QAC/B,OAAO;YACL,IAAI,EAAE,eAAe;YACrB,OAAO,EAAE,KAAK,CAAC,oBAAoB,CAAC,OAAO;YAC3C,cAAc,EAAE,KAAK,CAAC,oBAAoB,CAAC,cAAc;YACzD,SAAS,EAAE,IAAI;SAChB,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;QACzB,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,KAAK,CAAC,cAAc,CAAC,OAAO;YACrC,cAAc,EAAE,KAAK,CAAC,cAAc,CAAC,cAAc;YACnD,SAAS,EAAE,IAAI;SAChB,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;QACxB,OAAO;YACL,IAAI,EAAE,OAAO;YACb,OAAO,EAAE,KAAK,CAAC,aAAa,CAAC,OAAO;YACpC,cAAc,EAAE,KAAK,CAAC,aAAa,CAAC,cAAc;YAClD,SAAS,EAAE,IAAI;SAChB,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,kBAAkB,GAAG,CAAC,EAAE,CAAC;QACjC,OAAO;YACL,IAAI,EAAE,YAAY;YAClB,OAAO,EAAE,KAAK,KAAK,CAAC,kBAAkB,YAAY;YAClD,cAAc,EAAE,iBAAiB;YACjC,SAAS,EAAE,IAAI;SAChB,CAAC;IACJ,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;gDACgD;AAChD,SAAS,SAAS,CAAC,IAAgB;IACjC,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,aAAa,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;AAC9H,CAAC;AAED,uCAAuC;AACvC,SAAS,qBAAqB,CAAC,IAAgB;IAC7C,OAAO,IAAI,CAAC,kBAAkB;SAC3B,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,IAAI,SAAS,CAAC,MAAM,KAAK,QAAQ,CAAC;SAC1E,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,SAAS,CAAC,EAAE,EAAE,WAAW,EAAE,SAAS,CAAC,WAAW,EAAE,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;AAC9G,CAAC;AAED;uDACuD;AACvD,SAAS,uBAAuB,CAAC,IAAgB;IAC/C,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5D,OAAO,IAAI,CAAC,kBAAkB;SAC3B,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,IAAI,SAAS,CAAC,MAAM,KAAK,QAAQ,CAAC;SAC1E,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;SACzE,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,SAAS,CAAC,EAAE,EAAE,WAAW,EAAE,SAAS,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;AACpF,CAAC;AAED,mCAAmC;AACnC,SAAS,kBAAkB,CAAC,IAAgB,EAAE,KAAa,EAAE,MAAwB;IACnF,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACjC,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC;IACxF,IAAI,KAAK,IAAI,MAAM,CAAC,gBAAgB,EAAE,CAAC;QACrC,OAAO,CACL,iBAAiB,KAAK,2BAA2B;YACjD,kCAAkC,SAAS,cAAc;YACzD,aAAa,CACd,CAAC;IACJ,CAAC;IACD,OAAO,CACL,iDAAiD;QACjD,cAAc,SAAS,wBAAwB,CAChD,CAAC;AACJ,CAAC;AAED;;;;;;;2BAO2B;AAC3B,SAAS,gBAAgB,CAAC,IAAgB,EAAE,QAA2B;IACrE,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAC9B,OAAO,CACL,4DAA4D;YAC5D,mEAAmE;YACnE,8BAA8B;YAC9B,mBAAmB,CACpB,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpB,OAAO,CACL,iCAAiC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG;YACtD,uCAAuC;YACvC,qDAAqD;YACrD,wCAAwC,CACzC,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;iDAGiD;AACjD,MAAM,UAAU,mBAAmB,CAAC,IAAyB;IAC3D,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,YAAY;YACf,OAAO,oBAAoB,CAAC;QAC9B,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ;YACX,OAAO,eAAe,CAAC;QACzB,KAAK,eAAe;YAClB,OAAO,kBAAkB,CAAC;QAC5B,yDAAyD;QACzD;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,sBAAsB,CACpC,IAAgB,EAChB,KAA6B,EAC7B,WAAuC;IAEvC,MAAM,MAAM,GAAG,yBAAyB,CAAC,WAAW,CAAC,CAAC;IAEtD,IAAI,KAAK,CAAC,SAAS;QAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC;IAExE,mBAAmB;IACnB,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC1C,IAAI,OAAO;QAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,CAAC;IAEnD,2CAA2C;IAC3C,gCAAgC;IAChC,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACrB,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC;IACxD,CAAC;IAED,mCAAmC;IACnC,8BAA8B;IAC9B,IAAI,IAAI,CAAC,eAAe,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QAC7C,sCAAsC;QACtC,qCAAqC;QACrC,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACxE,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,OAAO,EAAE;gBACP,IAAI,EAAE,aAAa;gBACnB,OAAO,EAAE,QAAQ;oBACf,CAAC,CAAC,MAAM,IAAI,CAAC,eAAe,YAAY,QAAQ,EAAE;oBAClD,CAAC,CAAC,MAAM,IAAI,CAAC,eAAe,mBAAmB;gBACjD,cAAc,EAAE,QAAQ;oBACtB,CAAC,CAAC,mCAAmC;oBACrC,CAAC,CAAC,oCAAoC;gBACxC,SAAS,EAAE,IAAI;aAChB;SACF,CAAC;IACJ,CAAC;IAED,6CAA6C;IAC7C,gDAAgD;IAChD,wBAAwB;IACxB,IAAI,CAAC,KAAK,CAAC,cAAc,EAAE,CAAC;QAC1B,OAAO;YACL,MAAM,EAAE,UAAU;YAClB,MAAM,EAAE,cAAc;YACtB,QAAQ,EACN,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,KAAK,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC;gBACjE,qCAAqC;gBACrC,gCAAgC;SACnC,CAAC;IACJ,CAAC;IAED,kBAAkB;IAClB,MAAM,KAAK,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC;IAC1C,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC7B,MAAM,eAAe,GAAG,uBAAuB,CAAC,IAAI,CAAC,CAAC;IACtD,6CAA6C;IAC7C,EAAE;IACF,6CAA6C;IAC7C,sDAAsD;IACtD,wCAAwC;IACxC,gDAAgD;IAChD,uDAAuD;IACvD,MAAM,gBAAgB,GAAG,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC;IACnD,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,IAAI,KAAK,CAAC,MAAM;QAAE,OAAO,CAAC,IAAI,CAAC,WAAW,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC7F,IAAI,IAAI,CAAC,MAAM;QAAE,OAAO,CAAC,IAAI,CAAC,YAAY,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACtF,IAAI,eAAe,CAAC,MAAM;QAAE,OAAO,CAAC,IAAI,CAAC,cAAc,eAAe,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACpH,IAAI,CAAC,KAAK,CAAC,gBAAgB;QAAE,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACxD,IAAI,CAAC,gBAAgB;QAAE,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAEhD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,8BAA8B,EAAE,CAAC;IACzE,CAAC;IAED,yBAAyB;IACzB,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC;IACxE,MAAM,QAAQ,GAAG,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IACtE,MAAM,UAAU,GAAG,KAAK,CAAC,oBAAoB,CAAC,MAAM;QAClD,CAAC,CAAC,iBAAiB,KAAK,CAAC,oBAAoB,CAAC,IAAI,CAAC,GAAG,CAAC,mBAAmB;QAC1E,CAAC,CAAC,EAAE,CAAC;IACP,OAAO;QACL,MAAM,EAAE,UAAU;QAClB,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC;QACzB,GAAG,CAAC,QAAQ,IAAI,QAAQ,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACzH,CAAC;AACJ,CAAC"}

package/dist/core/task/contract.d.ts

@@ -0,0 +1,26 @@
+import type { TaskRecord, TaskResult, TaskStep } from "./types.js";
+/** 剩余步骤（非终态的）。cancelled/completed 不进「剩余」。 */
+export declare function remainingSteps(task: TaskRecord): TaskStep[];
+/** 渲染任务契约。`advisory` 传入时追加在末尾——续跑指令与契约同源，
+ *  避免出现两处互相矛盾的指示。 */
+export declare function taskContractText(task: TaskRecord, advisory?: string): string;
+/** 首次 Attempt 的任务契约（无 advisory）。 */
+export declare function initialTaskContract(task: TaskRecord): string;
+/** 交付摘要的兜底文本。
+ *
+ *  【2026-09-19 起它基本不可达】`task_deliver` 是 `TaskRecord.result` 的唯一生产者，
+ *  而 Completion Gate 的条件 6 要求没有 `result` 就不能交付——所以走到交付那一步时
+ *  `result` 一定在。保留它是为了两种残留：升级前就已 delivered 的旧记录（读回来渲染
+ *  历史卡片），以及宿主自己写入 result 的极端情况。
+ *
+ *  措辞刻意**不含任何完成性描述**：规格 §18.7 要求交付信息包含结果/改动/验证/剩余项，
+ *  而一段编出来的「已全部完成」比一段朴实的统计更糟——旧版本那句「完成了 0 个步骤、
+ *  0 次工具调用。」正是被用户当场抓到的那一行。 */
+export declare function fallbackResult(input: {
+    task: TaskRecord;
+    filesEdited: readonly string[];
+    toolCalls: number;
+}): TaskResult;
+/** 把结构化交付信息渲染成给用户看的文本（规格 §21 最终交付示例）。 */
+export declare function renderResult(result: TaskResult): string;
+//# sourceMappingURL=contract.d.ts.map

package/dist/core/task/contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract.d.ts","sourceRoot":"","sources":["../../../src/core/task/contract.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAkBnE,6CAA6C;AAC7C,wBAAgB,cAAc,CAAC,IAAI,EAAE,UAAU,GAAG,QAAQ,EAAE,CAE3D;AAED;qBACqB;AACrB,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,UAAU,EAAE,QAAQ,CAAC,EAAE,MAAM,GAAG,MAAM,CA8C5E;AAED,oCAAoC;AACpC,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAE5D;AAED;;;;;;;;;8BAS8B;AAC9B,wBAAgB,cAAc,CAAC,KAAK,EAAE;IACpC,IAAI,EAAE,UAAU,CAAC;IACjB,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,SAAS,EAAE,MAAM,CAAC;CACnB,GAAG,UAAU,CAUb;AAED,yCAAyC;AACzC,wBAAgB,YAAY,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,CAMvD"}

package/dist/core/task/contract.js

@@ -0,0 +1,103 @@
+/** 任务契约的上下文表达（规格 3 §8.2 / §6）。
+ *
+ * 【为什么放进 systemPrompt 而不是一条 user 消息】规格 §19 明文禁止「用新增
+ * 一条伪用户消息作为内部 continuation」。除了「不许伪造用户说过的话」这条
+ * 原则，还有三个实际后果：伪用户消息会落库、会出现在聊天记录里（用户看到
+ * 自己没发过的话）、会被计入 token 与消息序号、rewind 时会跟着一起被截断。
+ * 作为系统指令注入则完全不碰消息流。
+ *
+ * 每个 Attempt 重新注入一次，因此上下文被压缩掉也不影响任务契约的存续
+ * （规格 §6「必须进入上下文压缩后的恢复上下文」）。 */
+function stepLine(step) {
+    const mark = step.status === "completed" ? "[x]" : step.status === "in_progress" ? "[~]" : step.status === "cancelled" ? "[-]" : "[ ]";
+    return `${mark} ${step.title}`;
+}
+/** 剩余步骤（非终态的）。cancelled/completed 不进「剩余」。 */
+export function remainingSteps(task) {
+    return task.steps.filter((step) => step.status === "pending" || step.status === "in_progress" || step.status === "blocked");
+}
+/** 渲染任务契约。`advisory` 传入时追加在末尾——续跑指令与契约同源，
+ *  避免出现两处互相矛盾的指示。 */
+export function taskContractText(task, advisory) {
+    const lines = [];
+    lines.push("<task-contract>");
+    lines.push(`目标：${task.goal}`);
+    if (task.constraints.length) {
+        lines.push("用户追加的约束：");
+        for (const constraint of task.constraints)
+            lines.push(`- ${constraint}`);
+    }
+    const required = task.acceptanceCriteria.filter((criterion) => criterion.required);
+    if (required.length) {
+        // id 印出来是**功能必需**的：`task_deliver` 的 `criteria[].id` 要引用它。
+        // 不印 id 的话模型只能猜，而猜错的后果是那条条件的结论落不到契约上、
+        // 任务被门无限打回。方括号的形式与 steps 的 checkbox 区分开。
+        lines.push("验收条件（逐条给出结论才算完成；方括号里是交付时要引用的 id）：");
+        for (const criterion of required) {
+            lines.push(`- [${criterion.id}] ${criterion.description}${criterion.status === "passed" ? "（已通过）" : ""}`);
+        }
+    }
+    if (task.steps.length) {
+        lines.push("任务计划：");
+        for (const step of task.steps)
+            lines.push(stepLine(step));
+    }
+    const remaining = remainingSteps(task);
+    if (remaining.length) {
+        lines.push(`剩余步骤：${remaining.map((step) => step.title).join("、")}`);
+    }
+    if (task.evidence.length) {
+        lines.push("已有验证证据：");
+        for (const item of task.evidence.slice(-8))
+            lines.push(`- [${item.kind}] ${item.summary}`);
+    }
+    if (task.blocker) {
+        lines.push(`当前阻塞（${task.blocker.kind}）：${task.blocker.message}`);
+        lines.push(`需要做的事：${task.blocker.requiredAction}`);
+    }
+    lines.push("继续执行这件事，直到验收条件全部满足并留下证据。不要在中途把控制权交回用户——", "只有确实需要用户授权、补充信息或处理外部状态（登录、验证码、付款）时才停下（用 `task_block`），并说明卡在哪里、需要用户做什么。", 
+    // 显式交付的指示必须每次 Attempt 都出现：它是交付的唯一入口，模型忘了它，
+    // 任务会一路空转到 no_progress，用户看到的是一个「什么都没做就卡住」的任务。
+    "做完之后**必须调用 `task_deliver`** 提交交付信息（做成了什么 / 改了哪些内容 / 怎么验证的 / 还有哪些没做完，"
+        + "并逐条给出上面每个验收条件的结论）。结束一轮、说一句「已完成」、把 todo 勾完都**不能**让任务结束——", "没有这次声明，任务不会交付。如果你发现还有没做完的，先别调用它，继续做。");
+    if (advisory)
+        lines.push("", advisory);
+    lines.push("</task-contract>");
+    return lines.join("\n");
+}
+/** 首次 Attempt 的任务契约（无 advisory）。 */
+export function initialTaskContract(task) {
+    return taskContractText(task);
+}
+/** 交付摘要的兜底文本。
+ *
+ *  【2026-09-19 起它基本不可达】`task_deliver` 是 `TaskRecord.result` 的唯一生产者，
+ *  而 Completion Gate 的条件 6 要求没有 `result` 就不能交付——所以走到交付那一步时
+ *  `result` 一定在。保留它是为了两种残留：升级前就已 delivered 的旧记录（读回来渲染
+ *  历史卡片），以及宿主自己写入 result 的极端情况。
+ *
+ *  措辞刻意**不含任何完成性描述**：规格 §18.7 要求交付信息包含结果/改动/验证/剩余项，
+ *  而一段编出来的「已全部完成」比一段朴实的统计更糟——旧版本那句「完成了 0 个步骤、
+ *  0 次工具调用。」正是被用户当场抓到的那一行。 */
+export function fallbackResult(input) {
+    const { task, filesEdited, toolCalls } = input;
+    const completed = task.steps.filter((step) => step.status === "completed");
+    const remaining = remainingSteps(task).map((step) => step.title);
+    return {
+        outcome: `这条任务没有留下交付说明（记录到 ${completed.length} 个已完成步骤、${toolCalls} 次工具调用）。`,
+        changes: [...filesEdited],
+        verification: task.evidence.slice(-6).map((item) => item.summary),
+        remaining,
+    };
+}
+/** 把结构化交付信息渲染成给用户看的文本（规格 §21 最终交付示例）。 */
+export function renderResult(result) {
+    const lines = [result.outcome];
+    if (result.changes.length)
+        lines.push(`改动：${result.changes.join("、")}`);
+    if (result.verification.length)
+        lines.push(`验证：${result.verification.join("；")}`);
+    lines.push(`剩余项：${result.remaining.length ? result.remaining.join("、") : "无"}`);
+    return lines.join("\n");
+}
+//# sourceMappingURL=contract.js.map

package/dist/core/task/contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract.js","sourceRoot":"","sources":["../../../src/core/task/contract.ts"],"names":[],"mappings":"AAEA;;;;;;;;;gCASgC;AAEhC,SAAS,QAAQ,CAAC,IAAc;IAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;IACvI,OAAO,GAAG,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;AACjC,CAAC;AAED,6CAA6C;AAC7C,MAAM,UAAU,cAAc,CAAC,IAAgB;IAC7C,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,aAAa,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;AAC9H,CAAC;AAED;qBACqB;AACrB,MAAM,UAAU,gBAAgB,CAAC,IAAgB,EAAE,QAAiB;IAClE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAC9B,KAAK,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IAC9B,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvB,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,WAAW;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,UAAU,EAAE,CAAC,CAAC;IAC3E,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACnF,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QACpB,0DAA0D;QAC1D,sCAAsC;QACtC,yCAAyC;QACzC,KAAK,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;QAChD,KAAK,MAAM,SAAS,IAAI,QAAQ,EAAE,CAAC;YACjC,KAAK,CAAC,IAAI,CAAC,MAAM,SAAS,CAAC,EAAE,KAAK,SAAS,CAAC,WAAW,GAAG,SAAS,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC5G,CAAC;IACH,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK;YAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5D,CAAC;IACD,MAAM,SAAS,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACvC,IAAI,SAAS,CAAC,MAAM,EAAE,CAAC;QACrB,KAAK,CAAC,IAAI,CAAC,QAAQ,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACtE,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACtB,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;IAC7F,CAAC;IACD,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,KAAK,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;QACjE,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC,CAAC;IACrD,CAAC;IACD,KAAK,CAAC,IAAI,CACR,yCAAyC,EACzC,wEAAwE;IACxE,2CAA2C;IAC3C,8CAA8C;IAC9C,sEAAsE;UACpE,yDAAyD,EAC3D,sCAAsC,CACvC,CAAC;IACF,IAAI,QAAQ;QAAE,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;IACvC,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAC/B,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,oCAAoC;AACpC,MAAM,UAAU,mBAAmB,CAAC,IAAgB;IAClD,OAAO,gBAAgB,CAAC,IAAI,CAAC,CAAC;AAChC,CAAC;AAED;;;;;;;;;8BAS8B;AAC9B,MAAM,UAAU,cAAc,CAAC,KAI9B;IACC,MAAM,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,GAAG,KAAK,CAAC;IAC/C,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,WAAW,CAAC,CAAC;IAC3E,MAAM,SAAS,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjE,OAAO;QACL,OAAO,EAAE,oBAAoB,SAAS,CAAC,MAAM,WAAW,SAAS,UAAU;QAC3E,OAAO,EAAE,CAAC,GAAG,WAAW,CAAC;QACzB,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC;QACjE,SAAS;KACV,CAAC;AACJ,CAAC;AAED,yCAAyC;AACzC,MAAM,UAAU,YAAY,CAAC,MAAkB;IAC7C,MAAM,KAAK,GAAa,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACzC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACxE,IAAI,MAAM,CAAC,YAAY,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,MAAM,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAClF,KAAK,CAAC,IAAI,CAAC,OAAO,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;IAChF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/core/task/index.d.ts

@@ -0,0 +1,20 @@
+/** 持续任务执行（规格 3）的公开面。
+ *
+ * 模块划分：
+ * - `types`    领域模型与状态枚举——唯一的真源
+ * - `plan`     运行时事实（todo / 工具结果）→ 任务契约的投影
+ * - `completion` Completion Gate：可信完成判定（纯函数）
+ * - `progress` 跨 Attempt 的进度指纹与空转检测
+ * - `contract` 任务契约的上下文表达与交付文本
+ * - `store`    TaskStore 接口 + CAS 不变量 + 内存参考实现 */
+export type { TaskLifecycleStatus, TaskStepStatus, AcceptanceCriterionStatus, AcceptanceCriterion, TaskStep, TaskEvidence, TaskEvidenceKind, TaskBlocker, TaskBlockerKind, TaskRecord, TaskResult, TaskDeliveryDeclaration, TaskPatch, CreateTaskInput, } from "./types.js";
+export { newTaskId, newTaskStepId, newCriterionId, newEvidenceId, isTerminalStatus, isWaitingStatus, isActiveStatus, } from "./types.js";
+export type { TaskStore } from "./store.js";
+export { createMemoryTaskStore, createTaskRecord, applyTaskPatch, TASK_REVISION_CONFLICT } from "./store.js";
+export { IMPLICIT_CRITERION_ID, MAX_EVIDENCE, defaultCriteriaFor, stepIdForContent, projectTodos, applyDelivery, evidenceKindForTool, appendEvidence, pruneEvidenceRefs, newTaskRecord, fallbackStep, } from "./plan.js";
+export type { CompletionRuntimeState, CompletionVerdict, NoProgressPolicy } from "./completion.js";
+export { evaluateTaskCompletion, lifecycleForBlocker, normalizeNoProgressPolicy, normalizeMaxDurationMs, durationBudgetBlocker, DEFAULT_NO_PROGRESS_POLICY, DEFAULT_MAX_ATTEMPTS, DEFAULT_MAX_DURATION_MS, MAX_DURATION_CEILING_MS, } from "./completion.js";
+export type { ProgressFingerprintInput, ProgressAdvance } from "./progress.js";
+export { taskFingerprint, advanceProgress } from "./progress.js";
+export { taskContractText, initialTaskContract, fallbackResult, renderResult, remainingSteps } from "./contract.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/core/task/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/core/task/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;kDAQkD;AAElD,YAAY,EACV,mBAAmB,EACnB,cAAc,EACd,yBAAyB,EACzB,mBAAmB,EACnB,QAAQ,EACR,YAAY,EACZ,gBAAgB,EAChB,WAAW,EACX,eAAe,EACf,UAAU,EACV,UAAU,EACV,uBAAuB,EACvB,SAAS,EACT,eAAe,GAChB,MAAM,YAAY,CAAC;AACpB,OAAO,EACL,SAAS,EACT,aAAa,EACb,cAAc,EACd,aAAa,EACb,gBAAgB,EAChB,eAAe,EACf,cAAc,GACf,MAAM,YAAY,CAAC;AAEpB,YAAY,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,cAAc,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AAE7G,OAAO,EACL,qBAAqB,EACrB,YAAY,EACZ,kBAAkB,EAClB,gBAAgB,EAChB,YAAY,EACZ,aAAa,EACb,mBAAmB,EACnB,cAAc,EACd,iBAAiB,EACjB,aAAa,EACb,YAAY,GACb,MAAM,WAAW,CAAC;AAEnB,YAAY,EAAE,sBAAsB,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AACnG,OAAO,EACL,sBAAsB,EACtB,mBAAmB,EACnB,yBAAyB,EACzB,sBAAsB,EACtB,qBAAqB,EACrB,0BAA0B,EAC1B,oBAAoB,EACpB,uBAAuB,EACvB,uBAAuB,GACxB,MAAM,iBAAiB,CAAC;AAEzB,YAAY,EAAE,wBAAwB,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAC/E,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAEjE,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,cAAc,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC"}

package/dist/core/task/index.js

@@ -0,0 +1,16 @@
+/** 持续任务执行（规格 3）的公开面。
+ *
+ * 模块划分：
+ * - `types`    领域模型与状态枚举——唯一的真源
+ * - `plan`     运行时事实（todo / 工具结果）→ 任务契约的投影
+ * - `completion` Completion Gate：可信完成判定（纯函数）
+ * - `progress` 跨 Attempt 的进度指纹与空转检测
+ * - `contract` 任务契约的上下文表达与交付文本
+ * - `store`    TaskStore 接口 + CAS 不变量 + 内存参考实现 */
+export { newTaskId, newTaskStepId, newCriterionId, newEvidenceId, isTerminalStatus, isWaitingStatus, isActiveStatus, } from "./types.js";
+export { createMemoryTaskStore, createTaskRecord, applyTaskPatch, TASK_REVISION_CONFLICT } from "./store.js";
+export { IMPLICIT_CRITERION_ID, MAX_EVIDENCE, defaultCriteriaFor, stepIdForContent, projectTodos, applyDelivery, evidenceKindForTool, appendEvidence, pruneEvidenceRefs, newTaskRecord, fallbackStep, } from "./plan.js";
+export { evaluateTaskCompletion, lifecycleForBlocker, normalizeNoProgressPolicy, normalizeMaxDurationMs, durationBudgetBlocker, DEFAULT_NO_PROGRESS_POLICY, DEFAULT_MAX_ATTEMPTS, DEFAULT_MAX_DURATION_MS, MAX_DURATION_CEILING_MS, } from "./completion.js";
+export { taskFingerprint, advanceProgress } from "./progress.js";
+export { taskContractText, initialTaskContract, fallbackResult, renderResult, remainingSteps } from "./contract.js";
+//# sourceMappingURL=index.js.map

package/dist/core/task/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/core/task/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;kDAQkD;AAkBlD,OAAO,EACL,SAAS,EACT,aAAa,EACb,cAAc,EACd,aAAa,EACb,gBAAgB,EAChB,eAAe,EACf,cAAc,GACf,MAAM,YAAY,CAAC;AAGpB,OAAO,EAAE,qBAAqB,EAAE,gBAAgB,EAAE,cAAc,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AAE7G,OAAO,EACL,qBAAqB,EACrB,YAAY,EACZ,kBAAkB,EAClB,gBAAgB,EAChB,YAAY,EACZ,aAAa,EACb,mBAAmB,EACnB,cAAc,EACd,iBAAiB,EACjB,aAAa,EACb,YAAY,GACb,MAAM,WAAW,CAAC;AAGnB,OAAO,EACL,sBAAsB,EACtB,mBAAmB,EACnB,yBAAyB,EACzB,sBAAsB,EACtB,qBAAqB,EACrB,0BAA0B,EAC1B,oBAAoB,EACpB,uBAAuB,EACvB,uBAAuB,GACxB,MAAM,iBAAiB,CAAC;AAGzB,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAEjE,OAAO,EAAE,gBAAgB,EAAE,mBAAmB,EAAE,cAAc,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC"}

package/dist/core/task/plan.d.ts

@@ -0,0 +1,121 @@
+import { type AcceptanceCriterion, type TaskDeliveryDeclaration, type TaskEvidence, type TaskEvidenceKind, type TaskRecord, type TaskResult, type TaskStep, type TaskStepStatus } from "./types.js";
+/** 运行时事实 → 任务契约的投影（规格 3 §6「`todo.updated` 可暂时作为步骤投影，
+ *  但不能继续作为唯一的任务来源」）。
+ *
+ * 分工：
+ * - 模型通过 `todo` 工具表达**计划**；这里把它投影成 `TaskRecord.steps`，
+ *   但 TaskRecord 是权威——todo 事件没了、乱序了、被压缩掉了，任务仍完整。
+ * - 工具调用结果由运行时（runner）观测后投影成 `TaskEvidence`。**模型不能
+ *   自己声明证据**，这也是「可信完成」里「可信」二字的落点。
+ *
+ * 本模块同样是纯函数，便于单测。 */
+/** 隐式验收条件的固定 id。简单问答不强制拆计划（规格 §4.2），它只有这
+ *  一条条件：用户的目标本身。id 固定是为了让「步骤全部完成 → 目标达成」
+ *  这条推导能在任意一次投影里被识别出来。 */
+export declare const IMPLICIT_CRITERION_ID = "crit_implicit";
+/** 任务没有显式验收条件时的隐式条件（规格 §6「简单问答可以只有一个隐式
+ *  验收条件，不强制生成复杂计划」）。 */
+export declare function defaultCriteriaFor(goal: string): AcceptanceCriterion[];
+/** 步骤 id 由 (taskId, todo 内容) 决定而不是随机生成：模型每轮重发整份
+ *  todo 列表是常态，随机 id 会让同一个步骤在每轮里「变成新步骤」，步骤数
+ *  无限膨胀、已完成的又对不上号。 */
+export declare function stepIdForContent(taskId: string, content: string): string;
+type TodoLike = {
+    content: string;
+    status: TaskStepStatus | "pending" | "in_progress" | "completed" | "cancelled";
+};
+/** 把一份 todo 列表投影到步骤数组上。
+ *
+ * 【为什么消失的步骤标 cancelled 而不是删除】规格 §10.3 要求重启恢复时
+ * 「保留 TaskRecord 和已完成步骤」。已完成的必须留（那是交付依据）；没完成
+ * 但模型不再提及的，说明它被重新规划掉了——留成 pending 会让任务永远无法
+ * 通过 Completion Gate 的条件 2，删掉又丢掉了「曾经计划过」的信息。
+ * 标 cancelled 两者兼顾。 */
+export declare function projectTodos(input: {
+    taskId: string;
+    steps: readonly TaskStep[];
+    todos: readonly TodoLike[];
+    now: string;
+}): TaskStep[];
+/** 让隐式条件跟随步骤推进。
+ *
+ * 【2026-09-19 已删除】这里原来有一个 `projectImplicitCriterion`：看「本轮有没有
+ * 输出文本」/「步骤是否都做完了」，据此把隐式条件判 passed。它是一条从**可观测
+ * 的弱事实**到**只有当事人知道的结论**之间的跳跃，而且跳得没有依据——
+ *
+ * 事故：用户发「继续执行」，模型回「继续。跑自检验证前面改动的正确性：」，一句话
+ * 停在冒号上、零工具调用、28 个输出 token；`answerPresent` 为真，隐式条件判 passed，
+ * Completion Gate 五条件全过，`task.delivered` 照发，交付卡写着「完成了 0 个步骤、
+ * 0 次工具调用」「剩余项：无」。任务进终态，用户那句「继续执行」被吞掉。
+ *
+ * 规格 §3.1 的根因就是「一次运行正常结束 ≠ 用户目标已实现」，而这条推导犯的是同一个
+ * 错，只是把「运行结束」换成了「文本非空」。替代方案是 `applyDelivery`：验收条件的
+ * 结论只有一个来源——模型在 `task_deliver` 里的**显式声明**；框架不再从任何东西推导
+ * 它。这与 `task_block` 注释里那条判断（不猜最终文本，让模型显式声明）是同一条原则
+ * 在交付侧的应用。 */
+export type DeliveryProjection = {
+    criteria: AcceptanceCriterion[];
+    result: TaskResult;
+    /** 声明里提到、但任务契约里不存在的条件 id（模型写错了）。 */
+    unknownCriterionIds: string[];
+    /** 仍没有拿到 passed 结论的 required 条件 id——门会据此打回续跑并点名。 */
+    unfulfilledRequiredIds: string[];
+};
+/** 把一次交付声明投影进任务契约（规格 §9 条件 1/3、§14.1 四问）。
+ *
+ * 【为什么证据是「整份任务集合」而不是按条件挑】工具调用与验收条件之间没有可靠
+ * 映射：框架不知道第 3 次 `pnpm build` 服务的是哪一条条件。后果只有两种：全都挂
+ * 上，或都不挂。都不挂会让条件 3 永远不满足（每个 passed 条件至少要一条有效证据），
+ * 完成判定直接失效；全都挂是保守的那一侧——它不会让**不该通过**的条件通过，只会
+ * 让「有证据」这条判定比理想情况宽一点。而真正会骗人的那一步（把模型自己的话当
+ * 证据）另有约束：只有任务里**一条别的证据都没有**时，才用声明本身顶上。 */
+export declare function applyDelivery(input: {
+    criteria: readonly AcceptanceCriterion[];
+    delivery: TaskDeliveryDeclaration;
+    evidence: readonly TaskEvidence[];
+    /** 交付声明自身被记成的证据 id（仅当任务没有任何工具证据时存在）。 */
+    declarationEvidenceId?: string;
+    /** 本轮实际编辑过的文件。模型没给 `changes` 时用它兜底。 */
+    observedChanges: readonly string[];
+}): DeliveryProjection;
+export declare function evidenceKindForTool(tool: string): TaskEvidenceKind | null;
+/** 证据上限。超出后淘汰最老的，并同步清掉一切指向它的引用（否则
+ *  Completion Gate 的条件 3 会因为悬空引用而永远不满足）。 */
+export declare const MAX_EVIDENCE = 96;
+export type EvidenceAppend = {
+    evidence: TaskEvidence[];
+    /** 被淘汰的证据 id，调用方需要从 criteria/steps 的 evidenceIds 里剔除。 */
+    dropped: string[];
+};
+export declare function appendEvidence(input: {
+    evidence: readonly TaskEvidence[];
+    kind: TaskEvidenceKind;
+    summary: string;
+    ref?: string;
+    now: string;
+}): EvidenceAppend;
+/** 从 evidenceIds 里剔除被淘汰的证据 id。 */
+export declare function pruneEvidenceRefs<T extends {
+    evidenceIds: string[];
+}>(items: readonly T[], dropped: readonly string[]): T[];
+/** 新建一个空任务。`status` 从 `queued` 起——`running` 由 runner 认领时置位，
+ *  这样「任务已创建但还没被任何 runner 接管」是个可观测的中间态。 */
+export declare function newTaskRecord(input: {
+    id: string;
+    sessionId: string;
+    rootRequestId: string;
+    rootUserMessageId: string;
+    goal: string;
+    now: string;
+}): Omit<TaskRecord, "revision"> & {
+    revision: number;
+};
+/** 由目标文本推导一个后备步骤（模型没有调 todo 工具时）。
+ *
+ *  必要性：Completion Gate 的条件 2 在有步骤时要求全部完成。若模型从不拆解
+ *  步骤，`steps` 恒为空，条件 2 自动通过——这没问题；但这样一来「任务做到
+ *  哪了」在 UI 上没有任何可展示的进度。给一条与目标同名的单步，让进度条至少
+ *  有一个真实的锚点。 */
+export declare function fallbackStep(taskId: string, goal: string): TaskStep;
+export {};
+//# sourceMappingURL=plan.d.ts.map

package/dist/core/task/plan.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"plan.d.ts","sourceRoot":"","sources":["../../../src/core/task/plan.ts"],"names":[],"mappings":"AAEA,OAAO,EAIL,KAAK,mBAAmB,EACxB,KAAK,uBAAuB,EAC5B,KAAK,YAAY,EACjB,KAAK,gBAAgB,EAErB,KAAK,UAAU,EACf,KAAK,UAAU,EACf,KAAK,QAAQ,EACb,KAAK,cAAc,EACpB,MAAM,YAAY,CAAC;AAEpB;;;;;;;;;qBASqB;AAErB;;0BAE0B;AAC1B,eAAO,MAAM,qBAAqB,kBAAkB,CAAC;AAErD;wBACwB;AACxB,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,mBAAmB,EAAE,CAEtE;AAED;;sBAEsB;AACtB,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAExE;AAED,KAAK,QAAQ,GAAG;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,cAAc,GAAG,SAAS,GAAG,aAAa,GAAG,WAAW,GAAG,WAAW,CAAA;CAAE,CAAC;AAEpH;;;;;;uBAMuB;AACvB,wBAAgB,YAAY,CAAC,KAAK,EAAE;IAClC,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,SAAS,QAAQ,EAAE,CAAC;IAC3B,KAAK,EAAE,SAAS,QAAQ,EAAE,CAAC;IAC3B,GAAG,EAAE,MAAM,CAAC;CACb,GAAG,QAAQ,EAAE,CAsCb;AAED;;;;;;;;;;;;;;;cAec;AACd,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,EAAE,mBAAmB,EAAE,CAAC;IAChC,MAAM,EAAE,UAAU,CAAC;IACnB,oCAAoC;IACpC,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,oDAAoD;IACpD,sBAAsB,EAAE,MAAM,EAAE,CAAC;CAClC,CAAC;AAEF;;;;;;;2CAO2C;AAC3C,wBAAgB,aAAa,CAAC,KAAK,EAAE;IACnC,QAAQ,EAAE,SAAS,mBAAmB,EAAE,CAAC;IACzC,QAAQ,EAAE,uBAAuB,CAAC;IAClC,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAC;IAClC,wCAAwC;IACxC,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAC/B,uCAAuC;IACvC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;CACpC,GAAG,kBAAkB,CAoDrB;AAiBD,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,GAAG,gBAAgB,GAAG,IAAI,CAEzE;AAED;4CAC4C;AAC5C,eAAO,MAAM,YAAY,KAAK,CAAC;AAE/B,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,EAAE,YAAY,EAAE,CAAC;IACzB,yDAAyD;IACzD,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB,CAAC;AAEF,wBAAgB,cAAc,CAAC,KAAK,EAAE;IACpC,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAC;IAClC,IAAI,EAAE,gBAAgB,CAAC;IACvB,OAAO,EAAE,MAAM,CAAC;IAChB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;CACb,GAAG,cAAc,CAqBjB;AAED,kCAAkC;AAClC,wBAAgB,iBAAiB,CAAC,CAAC,SAAS;IAAE,WAAW,EAAE,MAAM,EAAE,CAAA;CAAE,EAAE,KAAK,EAAE,SAAS,CAAC,EAAE,EAAE,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,CAAC,EAAE,CAM3H;AAED;0CAC0C;AAC1C,wBAAgB,aAAa,CAAC,KAAK,EAAE;IACnC,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;IAClB,aAAa,EAAE,MAAM,CAAC;IACtB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;CACb,GAAG,IAAI,CAAC,UAAU,EAAE,UAAU,CAAC,GAAG;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,CAmBtD;AAED;;;;;gBAKgB;AAChB,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,QAAQ,CAEnE"}