@zmzai/agent-framework 0.5.1 → 0.8.0

package/dist/core/task/completion.js

@@ -0,0 +1,239 @@
+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}」。如果前提不成立，直接说明并给出替代路径。`);
+}
+/** 把阻塞原因映射到任务生命周期状态。
+ *
+ *  `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);
+    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 (reasons.length === 0) {
+        return { status: "delivered", reason: "全部验收条件已通过并留有证据。" };
+    }
+    // 5) 未完成 → 内部续跑（不创建用户消息）
+    const advisory = noProgressAdvisory(task, task.noProgressCount, policy);
+    const unresolved = state.unresolvedToolErrors.length
+        ? `上一轮有工具调用以失败告终（${state.unresolvedToolErrors.join("；")}），如果它们挡在路上，先换一条路。`
+        : "";
+    return {
+        status: "continue",
+        reason: reasons.join("；"),
+        ...(advisory || unresolved ? { advisory: [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":"AAkFA,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;;;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,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;IAExD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAC;IAC5D,CAAC;IAED,yBAAyB;IACzB,MAAM,QAAQ,GAAG,kBAAkB,CAAC,IAAI,EAAE,IAAI,CAAC,eAAe,EAAE,MAAM,CAAC,CAAC;IACxE,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,UAAU,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KACnG,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,20 @@
+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;
+/** 交付摘要的兜底文本：模型没产出结构化交付信息时，由任务记录本身生成
+ *  「做了什么」。此时**不使用任何完成性措辞**——规格 §18.7 要求交付信息
+ *  必须包含结果/改动/验证/剩余项，一段编出来的「已全部完成」比一段朴实的
+ *  统计更糟。 */
+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,CAoC5E;AAED,oCAAoC;AACpC,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAE5D;AAED;;;YAGY;AACZ,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,89 @@
+/** 任务契约的上下文表达（规格 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) {
+        lines.push("验收条件（全部满足才算完成）：");
+        for (const criterion of required)
+            lines.push(`- ${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("继续执行这件事，直到验收条件全部满足并留下证据。不要在中途把控制权交回用户——", "只有确实需要用户授权、补充信息或处理外部状态（登录、验证码、付款）时才停下，并说明卡在哪里、需要用户做什么。");
+    if (advisory)
+        lines.push("", advisory);
+    lines.push("</task-contract>");
+    return lines.join("\n");
+}
+/** 首次 Attempt 的任务契约（无 advisory）。 */
+export function initialTaskContract(task) {
+    return taskContractText(task);
+}
+/** 交付摘要的兜底文本：模型没产出结构化交付信息时，由任务记录本身生成
+ *  「做了什么」。此时**不使用任何完成性措辞**——规格 §18.7 要求交付信息
+ *  必须包含结果/改动/验证/剩余项，一段编出来的「已全部完成」比一段朴实的
+ *  统计更糟。 */
+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,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAC9B,KAAK,MAAM,SAAS,IAAI,QAAQ;YAAE,KAAK,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,WAAW,GAAG,SAAS,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC5H,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,wDAAwD,CACzD,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;;;YAGY;AACZ,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,OAAO,SAAS,CAAC,MAAM,QAAQ,SAAS,SAAS;QAC1D,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, 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, projectImplicitCriterion, 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,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,wBAAwB,EACxB,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, projectImplicitCriterion, 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;AAiBlD,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,wBAAwB,EACxB,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,91 @@
+import { type AcceptanceCriterion, type TaskEvidence, type TaskEvidenceKind, type TaskRecord, 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[];
+/** 让隐式条件跟随步骤推进。
+ *
+ * 为什么需要这一条：隐式条件没有模型显式声明「我达成了」，它的达成只能从
+ * 「模型自己拆的步骤都做完了」推导。显式声明的条件（如果将来引入）不受影响。 */
+export declare function projectImplicitCriterion(input: {
+    criteria: readonly AcceptanceCriterion[];
+    steps: readonly TaskStep[];
+    evidenceIds: readonly string[];
+    /** 本轮是否产出了最终答复（交付文本）。 */
+    answerPresent: boolean;
+}): AcceptanceCriterion[];
+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,YAAY,EACjB,KAAK,gBAAgB,EAErB,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;;;2CAG2C;AAC3C,wBAAgB,wBAAwB,CAAC,KAAK,EAAE;IAC9C,QAAQ,EAAE,SAAS,mBAAmB,EAAE,CAAC;IACzC,KAAK,EAAE,SAAS,QAAQ,EAAE,CAAC;IAC3B,WAAW,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/B,yBAAyB;IACzB,aAAa,EAAE,OAAO,CAAC;CACxB,GAAG,mBAAmB,EAAE,CAsBxB;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"}