soloforge 1.1.2 → 1.1.30

package/dist/engine/pipeline/workspace_lease.js

@@ -0,0 +1,154 @@
+/**
+ * 工作区隔离 — 问题二十八 (Workspace Isolation / Concurrency Contract)。
+ *
+ * 核心规则:
+ * - 同 scope code_write 冲突必须 blocked 或 require_human
+ * - delivery 必须互斥
+ * - lease active/conflicted 不得交付
+ * - out-of-scope write 必须 blocked
+ */
+import { createDiagnosticEvent } from "../audit/diagnostic_registry.js";
+import { isPathInScope } from "../core/path_scope_utils.js";
+/** 内存存储 */
+const leaseStore = new Map();
+/** 获取 lease */
+export function getLease(leaseId) {
+    return leaseStore.get(leaseId);
+}
+/** 列出所有活跃 lease */
+export function listActiveLeases() {
+    return [...leaseStore.values()].filter((l) => l.status === "active");
+}
+/**
+ * 尝试获取 lease。
+ * 如果同 scope 有冲突，返回冲突信息。
+ */
+export function acquireLease(taskId, leaseType, scopePaths) {
+    const conflicts = [];
+    const leaseId = `wl-${taskId}-${Date.now()}`;
+    // 检查冲突
+    const activeLeases = listActiveLeases();
+    for (const existing of activeLeases) {
+        if (existing.task_id === taskId)
+            continue;
+        // 同 scope 重叠检查
+        const overlap = existing.scope_paths.some((p) => scopePaths.some((sp) => isPathInScope(p, sp, { caseSensitive: true }) || isPathInScope(sp, p, { caseSensitive: true })));
+        if (overlap) {
+            if (leaseType === "delivery" || existing.lease_type === "delivery") {
+                // delivery 必须互斥
+                conflicts.push({
+                    lease_a_id: existing.lease_id,
+                    lease_b_id: leaseId,
+                    conflict_path: existing.scope_paths.find((p) => scopePaths.some((sp) => isPathInScope(p, sp, { caseSensitive: true }))) ?? "unknown",
+                    conflict_type: "delivery_overlap",
+                    resolved: false,
+                });
+            }
+            else if (leaseType === "code_write" && existing.lease_type === "code_write") {
+                // code_write 同文件冲突
+                conflicts.push({
+                    lease_a_id: existing.lease_id,
+                    lease_b_id: leaseId,
+                    conflict_path: existing.scope_paths.find((p) => scopePaths.some((sp) => isPathInScope(p, sp, { caseSensitive: true }))) ?? "unknown",
+                    conflict_type: "scope_overlap",
+                    resolved: false,
+                });
+            }
+        }
+    }
+    if (conflicts.length > 0) {
+        // 创建冲突 lease
+        const diagEvent = createDiagnosticEvent("SF-WORKSPACE-0001", { taskId, leaseType });
+        const lease = {
+            lease_id: leaseId,
+            task_id: taskId,
+            lease_type: leaseType,
+            scope_paths: scopePaths,
+            status: "conflicted",
+            acquired_at: new Date().toISOString(),
+            diagnostic_event: diagEvent,
+        };
+        leaseStore.set(leaseId, lease);
+        return { lease, conflicts };
+    }
+    // 无冲突，创建活跃 lease
+    const lease = {
+        lease_id: leaseId,
+        task_id: taskId,
+        lease_type: leaseType,
+        scope_paths: scopePaths,
+        status: "active",
+        acquired_at: new Date().toISOString(),
+        diagnostic_event: null,
+    };
+    leaseStore.set(leaseId, lease);
+    return { lease, conflicts: [] };
+}
+/** 释放 lease */
+export function releaseLease(leaseId) {
+    const lease = leaseStore.get(leaseId);
+    if (!lease)
+        return false;
+    if (lease.status === "conflicted") {
+        // conflicted lease 不得标记 released
+        return false;
+    }
+    lease.status = "released";
+    return true;
+}
+/**
+ * 检查是否超出 scope 写入。
+ */
+export function checkOutOfScopeWrite(taskId, targetPath, allowedPaths) {
+    const inScope = allowedPaths.some((p) => isPathInScope(targetPath, p, { caseSensitive: true }));
+    if (!inScope) {
+        return {
+            allowed: false,
+            reason: `写入 ${targetPath} 超出允许范围`,
+        };
+    }
+    return { allowed: true };
+}
+/**
+ * 生成工作区隔离报告。
+ */
+export function generateIsolationReport(taskId) {
+    const activeLeases = listActiveLeases();
+    const conflicts = [];
+    // 检测冲突
+    for (let i = 0; i < activeLeases.length; i++) {
+        for (let j = i + 1; j < activeLeases.length; j++) {
+            const a = activeLeases[i];
+            const b = activeLeases[j];
+            if (a.task_id === b.task_id)
+                continue;
+            const overlap = a.scope_paths.some((p) => b.scope_paths.some((bp) => isPathInScope(p, bp, { caseSensitive: true }) || isPathInScope(bp, p, { caseSensitive: true })));
+            if (overlap) {
+                conflicts.push({
+                    lease_a_id: a.lease_id,
+                    lease_b_id: b.lease_id,
+                    conflict_path: a.scope_paths[0],
+                    conflict_type: "scope_overlap",
+                    resolved: false,
+                });
+            }
+        }
+    }
+    const taskLeases = activeLeases.filter((l) => l.task_id === taskId);
+    const hasDeliveryLease = taskLeases.some((l) => l.lease_type === "delivery" && l.status === "active");
+    const hasConflict = conflicts.some((c) => taskLeases.some((l) => l.lease_id === c.lease_a_id || l.lease_id === c.lease_b_id));
+    return {
+        report_id: `wir-${taskId}-${Date.now()}`,
+        task_id: taskId,
+        active_leases: taskLeases,
+        conflicts,
+        out_of_scope_writes: [],
+        delivery_blocked: hasConflict || !hasDeliveryLease,
+        evaluated_at: new Date().toISOString(),
+    };
+}
+/** 重置 lease 存储（测试用） */
+export function resetLeaseStore() {
+    leaseStore.clear();
+}
+//# sourceMappingURL=workspace_lease.js.map

package/dist/engine/pipeline/workspace_lease.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workspace_lease.js","sourceRoot":"","sources":["../../../src/engine/pipeline/workspace_lease.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,qBAAqB,EAAwB,MAAM,iCAAiC,CAAC;AAC9F,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAkC5D,WAAW;AACX,MAAM,UAAU,GAAG,IAAI,GAAG,EAA0B,CAAC;AAErD,eAAe;AACf,MAAM,UAAU,QAAQ,CAAC,OAAe;IACtC,OAAO,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;AACjC,CAAC;AAED,mBAAmB;AACnB,MAAM,UAAU,gBAAgB;IAC9B,OAAO,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;AACvE,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,YAAY,CAC1B,MAAc,EACd,SAAoB,EACpB,UAAoB;IAEpB,MAAM,SAAS,GAAoB,EAAE,CAAC;IACtC,MAAM,OAAO,GAAG,MAAM,MAAM,IAAI,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC;IAE7C,OAAO;IACP,MAAM,YAAY,GAAG,gBAAgB,EAAE,CAAC;IACxC,KAAK,MAAM,QAAQ,IAAI,YAAY,EAAE,CAAC;QACpC,IAAI,QAAQ,CAAC,OAAO,KAAK,MAAM;YAAE,SAAS;QAE1C,eAAe;QACf,MAAM,OAAO,GAAG,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAC9C,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC,CACxH,CAAC;QAEF,IAAI,OAAO,EAAE,CAAC;YACZ,IAAI,SAAS,KAAK,UAAU,IAAI,QAAQ,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;gBACnE,gBAAgB;gBAChB,SAAS,CAAC,IAAI,CAAC;oBACb,UAAU,EAAE,QAAQ,CAAC,QAAQ;oBAC7B,UAAU,EAAE,OAAO;oBACnB,aAAa,EAAE,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAC7C,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC,CACvE,IAAI,SAAS;oBACd,aAAa,EAAE,kBAAkB;oBACjC,QAAQ,EAAE,KAAK;iBAChB,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,SAAS,KAAK,YAAY,IAAI,QAAQ,CAAC,UAAU,KAAK,YAAY,EAAE,CAAC;gBAC9E,mBAAmB;gBACnB,SAAS,CAAC,IAAI,CAAC;oBACb,UAAU,EAAE,QAAQ,CAAC,QAAQ;oBAC7B,UAAU,EAAE,OAAO;oBACnB,aAAa,EAAE,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAC7C,UAAU,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC,CACvE,IAAI,SAAS;oBACd,aAAa,EAAE,eAAe;oBAC9B,QAAQ,EAAE,KAAK;iBAChB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,aAAa;QACb,MAAM,SAAS,GAAG,qBAAqB,CAAC,mBAAmB,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;QACpF,MAAM,KAAK,GAAmB;YAC5B,QAAQ,EAAE,OAAO;YACjB,OAAO,EAAE,MAAM;YACf,UAAU,EAAE,SAAS;YACrB,WAAW,EAAE,UAAU;YACvB,MAAM,EAAE,YAAY;YACpB,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACrC,gBAAgB,EAAE,SAAS;SAC5B,CAAC;QACF,UAAU,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAC/B,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;IAC9B,CAAC;IAED,iBAAiB;IACjB,MAAM,KAAK,GAAmB;QAC5B,QAAQ,EAAE,OAAO;QACjB,OAAO,EAAE,MAAM;QACf,UAAU,EAAE,SAAS;QACrB,WAAW,EAAE,UAAU;QACvB,MAAM,EAAE,QAAQ;QAChB,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACrC,gBAAgB,EAAE,IAAI;KACvB,CAAC;IACF,UAAU,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAC/B,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;AAClC,CAAC;AAED,eAAe;AACf,MAAM,UAAU,YAAY,CAAC,OAAe;IAC1C,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IACtC,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACzB,IAAI,KAAK,CAAC,MAAM,KAAK,YAAY,EAAE,CAAC;QAClC,iCAAiC;QACjC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,KAAK,CAAC,MAAM,GAAG,UAAU,CAAC;IAC1B,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAClC,MAAc,EACd,UAAkB,EAClB,YAAsB;IAEtB,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAChG,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO;YACL,OAAO,EAAE,KAAK;YACd,MAAM,EAAE,MAAM,UAAU,SAAS;SAClC,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AAC3B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,uBAAuB,CAAC,MAAc;IACpD,MAAM,YAAY,GAAG,gBAAgB,EAAE,CAAC;IACxC,MAAM,SAAS,GAAoB,EAAE,CAAC;IAEtC,OAAO;IACP,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACjD,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;YAC1B,MAAM,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;YAC1B,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO;gBAAE,SAAS;YAEtC,MAAM,OAAO,GAAG,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CACvC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,IAAI,aAAa,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC,CAC3H,CAAC;YACF,IAAI,OAAO,EAAE,CAAC;gBACZ,SAAS,CAAC,IAAI,CAAC;oBACb,UAAU,EAAE,CAAC,CAAC,QAAQ;oBACtB,UAAU,EAAE,CAAC,CAAC,QAAQ;oBACtB,aAAa,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;oBAC/B,aAAa,EAAE,eAAe;oBAC9B,QAAQ,EAAE,KAAK;iBAChB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC;IACpE,MAAM,gBAAgB,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,UAAU,IAAI,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC;IACtG,MAAM,WAAW,GAAG,SAAS,CAAC,IAAI,CAChC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,UAAU,CAAC,CAC1F,CAAC;IAEF,OAAO;QACL,SAAS,EAAE,OAAO,MAAM,IAAI,IAAI,CAAC,GAAG,EAAE,EAAE;QACxC,OAAO,EAAE,MAAM;QACf,aAAa,EAAE,UAAU;QACzB,SAAS;QACT,mBAAmB,EAAE,EAAE;QACvB,gBAAgB,EAAE,WAAW,IAAI,CAAC,gBAAgB;QAClD,YAAY,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;KACvC,CAAC;AACJ,CAAC;AAED,uBAAuB;AACvB,MAAM,UAAU,eAAe;IAC7B,UAAU,CAAC,KAAK,EAAE,CAAC;AACrB,CAAC"}

package/dist/engine/pipeline/workspace_resumer.d.ts

@@ -0,0 +1,80 @@
+import type { TaskContextManager } from "./task_context.js";
+/**
+ * 工作区状态唤醒 — 解决前端对话窗口刷新导致 UUID 内存丢失的问题。
+ *
+ * 核心能力:
+ * 1. 扫描 .soloforge/state/ 目录，找到最后处于 In Progress 的工单
+ * 2. 反序列化工单上下文，重新加载到内存
+ * 3. 向用户播报当前进度，实现上下文断点续传
+ * 4. 检测可恢复性、清理孤儿租约、多工单时提示人工选择
+ *
+ * 强制前置: 系统启动或建立新会话时必须调用 scanAndResume()
+ */
+/** 不可恢复原因 */
+export type UnrecoverableReason = "classifying" | "corrupt_json" | "missing_file";
+/** 唤醒结果 */
+export interface ResumeResult {
+    /** 是否发现可恢复的工单 */
+    resumed: boolean;
+    /** 恢复的工单信息 */
+    task?: {
+        task_id: string;
+        intent: string;
+        status: string;
+        created_at: string;
+        phase_hint: string;
+        recoverable: boolean;
+        unrecoverable_reason?: UnrecoverableReason;
+    };
+    /** 播报消息（向用户展示） */
+    broadcast: string;
+    /** state 目录中的工单总数 */
+    total_tasks: number;
+    /** 处于活跃状态的工单数 */
+    active_tasks: number;
+    /** 多个活跃工单时需要人工选择 */
+    needs_human_confirm: boolean;
+    /** 所有活跃工单摘要（needs_human_confirm=true 时有值） */
+    active_candidates?: Array<{
+        task_id: string;
+        intent: string;
+        status: string;
+        created_at: string;
+        phase_hint: string;
+    }>;
+    /** 清理的孤儿租约数量 */
+    orphan_leases_cleaned: number;
+}
+/**
+ * 扫描工作区状态目录，恢复最后活跃的工单。
+ *
+ * 增强能力:
+ * - recoverable: 标识任务是否实际可恢复（classifying / corrupt → 不可恢复）
+ * - needs_human_confirm: 多个活跃工单时返回 true，附带候选列表
+ * - orphan_leases_cleaned: 清理无对应任务文件的孤儿租约
+ *
+ * @param taskContext - 任务上下文管理器
+ * @returns 唤醒结果
+ */
+export declare function scanAndResume(taskContext: TaskContextManager): Promise<ResumeResult>;
+/**
+ * 清理超期活跃任务 — advisory 报告，不自动 fail。
+ * @param taskContext - 任务上下文管理器
+ * @param maxAgeMs - 最大存活时间（毫秒），默认 7 天
+ * @returns 清理报告（不执行任何状态变更）
+ */
+export declare function cleanupStaleTasks(taskContext: TaskContextManager, maxAgeMs?: number): Promise<CleanupReport>;
+export interface StaleTaskInfo {
+    task_id: string;
+    intent: string;
+    status: string;
+    created_at: string;
+    age_ms: number;
+    advisory: string;
+}
+export interface CleanupReport {
+    stale_tasks: StaleTaskInfo[];
+    stale_count: number;
+    recommendation: string;
+}
+//# sourceMappingURL=workspace_resumer.d.ts.map

package/dist/engine/pipeline/workspace_resumer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workspace_resumer.d.ts","sourceRoot":"","sources":["../../../src/engine/pipeline/workspace_resumer.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAI5D;;;;;;;;;;GAUG;AAEH,aAAa;AACb,MAAM,MAAM,mBAAmB,GAAG,aAAa,GAAG,cAAc,GAAG,cAAc,CAAC;AAElF,WAAW;AACX,MAAM,WAAW,YAAY;IAC3B,iBAAiB;IACjB,OAAO,EAAE,OAAO,CAAC;IACjB,cAAc;IACd,IAAI,CAAC,EAAE;QACL,OAAO,EAAE,MAAM,CAAC;QAChB,MAAM,EAAE,MAAM,CAAC;QACf,MAAM,EAAE,MAAM,CAAC;QACf,UAAU,EAAE,MAAM,CAAC;QACnB,UAAU,EAAE,MAAM,CAAC;QACnB,WAAW,EAAE,OAAO,CAAC;QACrB,oBAAoB,CAAC,EAAE,mBAAmB,CAAC;KAC5C,CAAC;IACF,kBAAkB;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,qBAAqB;IACrB,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB;IACjB,YAAY,EAAE,MAAM,CAAC;IACrB,oBAAoB;IACpB,mBAAmB,EAAE,OAAO,CAAC;IAC7B,6CAA6C;IAC7C,iBAAiB,CAAC,EAAE,KAAK,CAAC;QACxB,OAAO,EAAE,MAAM,CAAC;QAChB,MAAM,EAAE,MAAM,CAAC;QACf,MAAM,EAAE,MAAM,CAAC;QACf,UAAU,EAAE,MAAM,CAAC;QACnB,UAAU,EAAE,MAAM,CAAC;KACpB,CAAC,CAAC;IACH,gBAAgB;IAChB,qBAAqB,EAAE,MAAM,CAAC;CAC/B;AAaD;;;;;;;;;;GAUG;AACH,wBAAsB,aAAa,CACjC,WAAW,EAAE,kBAAkB,GAC9B,OAAO,CAAC,YAAY,CAAC,CA6IvB;AAED;;;;;GAKG;AACH,wBAAsB,iBAAiB,CACrC,WAAW,EAAE,kBAAkB,EAC/B,QAAQ,SAA0B,GACjC,OAAO,CAAC,aAAa,CAAC,CA+BxB;AAED,MAAM,WAAW,aAAa;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,aAAa;IAC5B,WAAW,EAAE,aAAa,EAAE,CAAC;IAC7B,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,MAAM,CAAC;CACxB"}

package/dist/engine/pipeline/workspace_resumer.js

@@ -0,0 +1,207 @@
+import fs from "node:fs/promises";
+import fss from "node:fs";
+import path from "node:path";
+import { debug } from "../core/logger.js";
+/** 活跃状态集合（classifying 纳入扫描但标记为不可恢复） */
+const ACTIVE_STATUSES = [
+    "classifying",
+    "expanding",
+    "executing",
+    "verifying",
+    "retrying",
+    "learning",
+    "reworking",
+];
+/**
+ * 扫描工作区状态目录，恢复最后活跃的工单。
+ *
+ * 增强能力:
+ * - recoverable: 标识任务是否实际可恢复（classifying / corrupt → 不可恢复）
+ * - needs_human_confirm: 多个活跃工单时返回 true，附带候选列表
+ * - orphan_leases_cleaned: 清理无对应任务文件的孤儿租约
+ *
+ * @param taskContext - 任务上下文管理器
+ * @returns 唤醒结果
+ */
+export async function scanAndResume(taskContext) {
+    debug("工作区恢复", "scanAndResume() 开始执行");
+    // 清理孤儿租约
+    const orphanCleaned = cleanupOrphanLeases(taskContext);
+    const recent = await taskContext.listRecent(100);
+    const activeTasks = recent.filter((t) => ACTIVE_STATUSES.includes(t.status));
+    if (activeTasks.length === 0) {
+        debug("工作区恢复", "无活跃工单, total=${recent.length}");
+        return {
+            resumed: false,
+            broadcast: "工作区干净，无中断工单。可以开始新任务",
+            total_tasks: recent.length,
+            active_tasks: 0,
+            needs_human_confirm: false,
+            orphan_leases_cleaned: orphanCleaned,
+        };
+    }
+    // 多个活跃工单 → 需要人工选择
+    if (activeTasks.length > 1) {
+        debug("工作区恢复", "发现 ${activeTasks.length} 个活跃工单，需人工选择");
+        const candidates = [];
+        for (const t of activeTasks) {
+            const ctx = await taskContext.load(t.task_id);
+            const phaseHint = ctx ? taskContext.getResumeHint(ctx) : "未知状态";
+            candidates.push({
+                task_id: t.task_id,
+                intent: t.intent,
+                status: t.status,
+                created_at: t.created_at,
+                phase_hint: phaseHint,
+            });
+        }
+        return {
+            resumed: false,
+            broadcast: `发现 ${activeTasks.length} 个活跃工单，请选择要恢复的工单:\n` +
+                candidates.map((c, i) => `  ${i + 1}. [${c.task_id}] ${c.intent} (${c.status})`).join("\n"),
+            total_tasks: recent.length,
+            active_tasks: activeTasks.length,
+            needs_human_confirm: true,
+            active_candidates: candidates,
+            orphan_leases_cleaned: orphanCleaned,
+        };
+    }
+    // 单个活跃工单 → 自动恢复
+    const latestActive = activeTasks[0];
+    const ctx = await taskContext.load(latestActive.task_id);
+    if (!ctx) {
+        debug("工作区恢复", "工单 ${latestActive.task_id} 无法加载上下文");
+        return {
+            resumed: false,
+            broadcast: `发现活跃工单 ${latestActive.task_id}，但无法加载（可能文件损坏）`,
+            total_tasks: recent.length,
+            active_tasks: activeTasks.length,
+            needs_human_confirm: false,
+            orphan_leases_cleaned: orphanCleaned,
+        };
+    }
+    // 检查可恢复性
+    const { recoverable, reason } = checkRecoverable(ctx);
+    const phaseHint = taskContext.getResumeHint(ctx);
+    if (!recoverable) {
+        debug("工作区恢复", "工单 ${ctx.task_id} 不可恢复, reason=${reason}");
+        return {
+            resumed: false,
+            task: {
+                task_id: ctx.task_id,
+                intent: ctx.intent,
+                status: ctx.status,
+                created_at: ctx.created_at,
+                phase_hint: phaseHint,
+                recoverable: false,
+                unrecoverable_reason: reason,
+            },
+            broadcast: `工单 ${ctx.task_id} (${ctx.intent}) 状态为 ${ctx.status}，不可自动恢复 (${reason})。建议取消后重新创建。`,
+            total_tasks: recent.length,
+            active_tasks: activeTasks.length,
+            needs_human_confirm: false,
+            orphan_leases_cleaned: orphanCleaned,
+        };
+    }
+    debug("工作区恢复", "工单 ${ctx.task_id} (${ctx.intent}) 可恢复, status=${ctx.status}");
+    // 构造播报消息
+    const changedFiles = ctx.execution?.changed_files?.length ?? 0;
+    const attemptCount = ctx.execution?.attempt_count ?? 0;
+    let progressDetail = "";
+    if (ctx.classification) {
+        progressDetail += `任务类型: ${ctx.classification.task_type}，风险: ${ctx.classification.risk}，策略: ${ctx.classification.strategy}`;
+    }
+    if (changedFiles > 0) {
+        progressDetail += ` | 已修改 ${changedFiles} 个文件`;
+    }
+    if (attemptCount > 0) {
+        progressDetail += ` | 第 ${attemptCount} 次尝试`;
+    }
+    const broadcast = [
+        `⚡ 检测到 ${activeTasks.length} 个中断工单，已自动恢复最新的:`,
+        ``,
+        `工单: ${ctx.intent}`,
+        `状态: ${ctx.status} → ${phaseHint}`,
+        `创建时间: ${ctx.created_at}`,
+        progressDetail ? `进度: ${progressDetail}` : "",
+        ``,
+        `请继续执行上述操作，或输入 "sf_status action=cancel task_id=${ctx.task_id}" 取消此工单`,
+    ].filter(Boolean).join("\n");
+    // 将此工单设为当前活跃
+    const stateDir = taskContext.getStateDir();
+    const pointerPath = path.join(stateDir, "current-task.json");
+    await fs.writeFile(pointerPath, JSON.stringify({ task_id: ctx.task_id }));
+    return {
+        resumed: true,
+        task: {
+            task_id: ctx.task_id,
+            intent: ctx.intent,
+            status: ctx.status,
+            created_at: ctx.created_at,
+            phase_hint: phaseHint,
+            recoverable: true,
+        },
+        broadcast,
+        total_tasks: recent.length,
+        active_tasks: activeTasks.length,
+        needs_human_confirm: false,
+        orphan_leases_cleaned: orphanCleaned,
+    };
+}
+/**
+ * 清理超期活跃任务 — advisory 报告，不自动 fail。
+ * @param taskContext - 任务上下文管理器
+ * @param maxAgeMs - 最大存活时间（毫秒），默认 7 天
+ * @returns 清理报告（不执行任何状态变更）
+ */
+export async function cleanupStaleTasks(taskContext, maxAgeMs = 7 * 24 * 60 * 60 * 1000) {
+    debug("工作区恢复", "cleanupStaleTasks() 开始, maxAge=${Math.round(maxAgeMs / 3600000)}h");
+    const recent = await taskContext.listRecent(100);
+    const now = Date.now();
+    const stale = [];
+    for (const t of recent) {
+        if (!ACTIVE_STATUSES.includes(t.status))
+            continue;
+        const updatedAt = t.updated_at ?? t.created_at;
+        const age = now - new Date(updatedAt).getTime();
+        if (age > maxAgeMs) {
+            stale.push({
+                task_id: t.task_id,
+                intent: t.intent,
+                status: t.status,
+                created_at: t.created_at,
+                age_ms: age,
+                advisory: `task ${t.task_id} (${t.intent}) has been active for ${Math.round(age / 3600000)}h, exceeds threshold ${Math.round(maxAgeMs / 3600000)}h`,
+            });
+        }
+    }
+    debug("工作区恢复", "cleanupStaleTasks 完成, stale=${stale.length}");
+    return {
+        stale_tasks: stale,
+        stale_count: stale.length,
+        recommendation: stale.length > 0
+            ? `发现 ${stale.length} 个超期活跃工单，建议人工审查后取消或完成。不自动执行任何状态变更。`
+            : "无超期活跃工单",
+    };
+}
+function checkRecoverable(ctx) {
+    if (ctx.status === "classifying") {
+        return { recoverable: false, reason: "classifying" };
+    }
+    return { recoverable: true };
+}
+function cleanupOrphanLeases(taskContext) {
+    const stateDir = taskContext.getStateDir();
+    const leaseStore = taskContext.getScopeLease();
+    const activeLeases = leaseStore.getActiveLeases();
+    let cleaned = 0;
+    for (const lease of activeLeases) {
+        const taskFile = path.join(stateDir, `${lease.task_id}.json`);
+        if (!fss.existsSync(taskFile)) {
+            leaseStore.release(lease.task_id);
+            cleaned++;
+        }
+    }
+    return cleaned;
+}
+//# sourceMappingURL=workspace_resumer.js.map

package/dist/engine/pipeline/workspace_resumer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workspace_resumer.js","sourceRoot":"","sources":["../../../src/engine/pipeline/workspace_resumer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAC;AAClC,OAAO,GAAG,MAAM,SAAS,CAAC;AAC1B,OAAO,IAAI,MAAM,WAAW,CAAC;AAG7B,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAmD1C,uCAAuC;AACvC,MAAM,eAAe,GAA4B;IAC/C,aAAa;IACb,WAAW;IACX,WAAW;IACX,WAAW;IACX,UAAU;IACV,UAAU;IACV,WAAW;CACZ,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CACjC,WAA+B;IAE7B,KAAK,CAAC,OAAO,EAAE,sBAAsB,CAAC,CAAC;IACzC,SAAS;IACT,MAAM,aAAa,GAAG,mBAAmB,CAAC,WAAW,CAAC,CAAC;IAEvD,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IACjD,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CACtC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,MAA+B,CAAC,CAC5D,CAAC;IAEF,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,KAAK,CAAC,OAAO,EAAE,+BAA+B,CAAC,CAAC;QAChD,OAAO;YACL,OAAO,EAAE,KAAK;YACd,SAAS,EAAE,qBAAqB;YAChC,WAAW,EAAE,MAAM,CAAC,MAAM;YAC1B,YAAY,EAAE,CAAC;YACf,mBAAmB,EAAE,KAAK;YAC1B,qBAAqB,EAAE,aAAa;SACrC,CAAC;IACJ,CAAC;IAED,kBAAkB;IAClB,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,KAAK,CAAC,OAAO,EAAE,sCAAsC,CAAC,CAAC;QACvD,MAAM,UAAU,GAAG,EAAE,CAAC;QACtB,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;YAC5B,MAAM,GAAG,GAAG,MAAM,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAC9C,MAAM,SAAS,GAAG,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;YAChE,UAAU,CAAC,IAAI,CAAC;gBACd,OAAO,EAAE,CAAC,CAAC,OAAO;gBAClB,MAAM,EAAE,CAAC,CAAC,MAAM;gBAChB,MAAM,EAAE,CAAC,CAAC,MAAM;gBAChB,UAAU,EAAE,CAAC,CAAC,UAAU;gBACxB,UAAU,EAAE,SAAS;aACtB,CAAC,CAAC;QACL,CAAC;QAED,OAAO;YACL,OAAO,EAAE,KAAK;YACd,SAAS,EAAE,MAAM,WAAW,CAAC,MAAM,qBAAqB;gBACtD,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YAC7F,WAAW,EAAE,MAAM,CAAC,MAAM;YAC1B,YAAY,EAAE,WAAW,CAAC,MAAM;YAChC,mBAAmB,EAAE,IAAI;YACzB,iBAAiB,EAAE,UAAU;YAC7B,qBAAqB,EAAE,aAAa;SACrC,CAAC;IACJ,CAAC;IAED,gBAAgB;IAChB,MAAM,YAAY,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IACpC,MAAM,GAAG,GAAG,MAAM,WAAW,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;IAEzD,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,KAAK,CAAC,OAAO,EAAE,oCAAoC,CAAC,CAAC;QACrD,OAAO;YACL,OAAO,EAAE,KAAK;YACd,SAAS,EAAE,UAAU,YAAY,CAAC,OAAO,gBAAgB;YACzD,WAAW,EAAE,MAAM,CAAC,MAAM;YAC1B,YAAY,EAAE,WAAW,CAAC,MAAM;YAChC,mBAAmB,EAAE,KAAK;YAC1B,qBAAqB,EAAE,aAAa;SACrC,CAAC;IACJ,CAAC;IAED,SAAS;IACT,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC;IAEtD,MAAM,SAAS,GAAG,WAAW,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;IAEjD,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,KAAK,CAAC,OAAO,EAAE,0CAA0C,CAAC,CAAC;QAC3D,OAAO;YACL,OAAO,EAAE,KAAK;YACd,IAAI,EAAE;gBACJ,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,UAAU,EAAE,GAAG,CAAC,UAAU;gBAC1B,UAAU,EAAE,SAAS;gBACrB,WAAW,EAAE,KAAK;gBAClB,oBAAoB,EAAE,MAAM;aAC7B;YACD,SAAS,EAAE,MAAM,GAAG,CAAC,OAAO,KAAK,GAAG,CAAC,MAAM,SAAS,GAAG,CAAC,MAAM,YAAY,MAAM,cAAc;YAC9F,WAAW,EAAE,MAAM,CAAC,MAAM;YAC1B,YAAY,EAAE,WAAW,CAAC,MAAM;YAChC,mBAAmB,EAAE,KAAK;YAC1B,qBAAqB,EAAE,aAAa;SACrC,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,OAAO,EAAE,6DAA6D,CAAC,CAAC;IAE9E,SAAS;IACT,MAAM,YAAY,GAAG,GAAG,CAAC,SAAS,EAAE,aAAa,EAAE,MAAM,IAAI,CAAC,CAAC;IAC/D,MAAM,YAAY,GAAG,GAAG,CAAC,SAAS,EAAE,aAAa,IAAI,CAAC,CAAC;IAEvD,IAAI,cAAc,GAAG,EAAE,CAAC;IACxB,IAAI,GAAG,CAAC,cAAc,EAAE,CAAC;QACvB,cAAc,IAAI,SAAS,GAAG,CAAC,cAAc,CAAC,SAAS,QAAQ,GAAG,CAAC,cAAc,CAAC,IAAI,QAAQ,GAAG,CAAC,cAAc,CAAC,QAAQ,EAAE,CAAC;IAC9H,CAAC;IACD,IAAI,YAAY,GAAG,CAAC,EAAE,CAAC;QACrB,cAAc,IAAI,UAAU,YAAY,MAAM,CAAC;IACjD,CAAC;IACD,IAAI,YAAY,GAAG,CAAC,EAAE,CAAC;QACrB,cAAc,IAAI,QAAQ,YAAY,MAAM,CAAC;IAC/C,CAAC;IAED,MAAM,SAAS,GAAG;QAChB,SAAS,WAAW,CAAC,MAAM,kBAAkB;QAC7C,EAAE;QACF,OAAO,GAAG,CAAC,MAAM,EAAE;QACnB,OAAO,GAAG,CAAC,MAAM,MAAM,SAAS,EAAE;QAClC,SAAS,GAAG,CAAC,UAAU,EAAE;QACzB,cAAc,CAAC,CAAC,CAAC,OAAO,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE;QAC7C,EAAE;QACF,kDAAkD,GAAG,CAAC,OAAO,SAAS;KACvE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAE7B,aAAa;IACb,MAAM,QAAQ,GAAG,WAAW,CAAC,WAAW,EAAE,CAAC;IAC3C,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAC;IAC7D,MAAM,EAAE,CAAC,SAAS,CAAC,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IAE1E,OAAO;QACL,OAAO,EAAE,IAAI;QACb,IAAI,EAAE;YACJ,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,UAAU,EAAE,GAAG,CAAC,UAAU;YAC1B,UAAU,EAAE,SAAS;YACrB,WAAW,EAAE,IAAI;SAClB;QACD,SAAS;QACT,WAAW,EAAE,MAAM,CAAC,MAAM;QAC1B,YAAY,EAAE,WAAW,CAAC,MAAM;QAChC,mBAAmB,EAAE,KAAK;QAC1B,qBAAqB,EAAE,aAAa;KACrC,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,WAA+B,EAC/B,QAAQ,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI;IAEhC,KAAK,CAAC,OAAO,EAAE,mEAAmE,CAAC,CAAC;IACtF,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IACjD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IACvB,MAAM,KAAK,GAAoB,EAAE,CAAC;IAElC,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,MAA+B,CAAC;YAAE,SAAS;QAC3E,MAAM,SAAS,GAAI,CAAiB,CAAC,UAAU,IAAI,CAAC,CAAC,UAAU,CAAC;QAChE,MAAM,GAAG,GAAG,GAAG,GAAG,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE,CAAC;QAChD,IAAI,GAAG,GAAG,QAAQ,EAAE,CAAC;YACnB,KAAK,CAAC,IAAI,CAAC;gBACT,OAAO,EAAE,CAAC,CAAC,OAAO;gBAClB,MAAM,EAAE,CAAC,CAAC,MAAM;gBAChB,MAAM,EAAE,CAAC,CAAC,MAAM;gBAChB,UAAU,EAAE,CAAC,CAAC,UAAU;gBACxB,MAAM,EAAE,GAAG;gBACX,QAAQ,EAAE,QAAQ,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,MAAM,yBAAyB,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,OAAO,CAAC,wBAAwB,IAAI,CAAC,KAAK,CAAC,QAAQ,GAAG,OAAO,CAAC,GAAG;aACpJ,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,KAAK,CAAC,OAAO,EAAE,6CAA6C,CAAC,CAAC;IAE9D,OAAO;QACL,WAAW,EAAE,KAAK;QAClB,WAAW,EAAE,KAAK,CAAC,MAAM;QACzB,cAAc,EAAE,KAAK,CAAC,MAAM,GAAG,CAAC;YAC9B,CAAC,CAAC,MAAM,KAAK,CAAC,MAAM,oCAAoC;YACxD,CAAC,CAAC,SAAS;KACd,CAAC;AACJ,CAAC;AAiBD,SAAS,gBAAgB,CAAC,GAAgB;IACxC,IAAI,GAAG,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;QACjC,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;IACvD,CAAC;IACD,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;AAC/B,CAAC;AAED,SAAS,mBAAmB,CAAC,WAA+B;IAC1D,MAAM,QAAQ,GAAG,WAAW,CAAC,WAAW,EAAE,CAAC;IAC3C,MAAM,UAAU,GAAG,WAAW,CAAC,aAAa,EAAE,CAAC;IAC/C,MAAM,YAAY,GAAG,UAAU,CAAC,eAAe,EAAE,CAAC;IAElD,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;QACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,KAAK,CAAC,OAAO,OAAO,CAAC,CAAC;QAC9D,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9B,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAClC,OAAO,EAAE,CAAC;QACZ,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/engine/release/foundation_scenario_registry.d.ts

@@ -0,0 +1,44 @@
+/**
+ * 基础场景矩阵注册表 — 发布门禁
+ *
+ * 七个场景 (A-G) 覆盖 基础集成路径。
+ * 发布门禁通过 validate-release 验证每个就绪的场景。
+ */
+import { type ScenarioRuleResult } from "./foundation_scenario_runners.js";
+/** 场景 fixture 状态 */
+export type ScenarioFixtureStatus = "ready" | "pending";
+/** 批量场景用例 */
+export interface BatchScenarioCase {
+    scenario_id: string;
+    scenario_name: string;
+    description: string;
+    fixture_status: ScenarioFixtureStatus;
+    command_or_entry: string;
+    expected_evidence: string[];
+    pass_fail_rules: string[];
+}
+/** 基础场景矩阵 */
+export declare const FOUNDATION_SCENARIOS: BatchScenarioCase[];
+/** 校验场景验证结果是否覆盖所有必需场景 ID，返回缺失列表 */
+export declare function validateRequiredScenarioCoverage(results: Array<{
+    scenario_id: string;
+}>, requiredIds: readonly string[]): {
+    pass: boolean;
+    missing: string[];
+};
+/** 列出所有 基础场景 */
+export declare function listFoundationScenarios(): BatchScenarioCase[];
+/** 按场景 ID 查找场景 */
+export declare function getScenarioById(id: string): BatchScenarioCase | undefined;
+/** 场景验证结果 */
+export interface ScenarioValidationResult {
+    scenario_id: string;
+    scenario_name: string;
+    fixture_status: ScenarioFixtureStatus;
+    status: "PASS" | "FAIL";
+    evidence: string;
+    rules: ScenarioRuleResult[];
+}
+/** 验证所有 基础场景并返回逐场景验证结果 */
+export declare function validateFoundationScenarios(mechanismsPass: boolean, auditPass: boolean, ownershipPass: boolean): Promise<ScenarioValidationResult[]>;
+//# sourceMappingURL=foundation_scenario_registry.d.ts.map

package/dist/engine/release/foundation_scenario_registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"foundation_scenario_registry.d.ts","sourceRoot":"","sources":["../../../src/engine/release/foundation_scenario_registry.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAOL,KAAK,kBAAkB,EACxB,MAAM,kCAAkC,CAAC;AAE1C,oBAAoB;AACpB,MAAM,MAAM,qBAAqB,GAAG,OAAO,GAAG,SAAS,CAAC;AAExD,aAAa;AACb,MAAM,WAAW,iBAAiB;IAChC,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,qBAAqB,CAAC;IACtC,gBAAgB,EAAE,MAAM,CAAC;IACzB,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,eAAe,EAAE,MAAM,EAAE,CAAC;CAC3B;AAED,aAAa;AACb,eAAO,MAAM,oBAAoB,EAAE,iBAAiB,EAkMnD,CAAC;AAIF,mCAAmC;AACnC,wBAAgB,gCAAgC,CAC9C,OAAO,EAAE,KAAK,CAAC;IAAE,WAAW,EAAE,MAAM,CAAA;CAAE,CAAC,EACvC,WAAW,EAAE,SAAS,MAAM,EAAE,GAC7B;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,CAAA;CAAE,CAItC;AAED,gBAAgB;AAChB,wBAAgB,uBAAuB,IAAI,iBAAiB,EAAE,CAE7D;AAED,kBAAkB;AAClB,wBAAgB,eAAe,CAAC,EAAE,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAEzE;AAED,aAAa;AACb,MAAM,WAAW,wBAAwB;IACvC,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa,EAAE,MAAM,CAAC;IACtB,cAAc,EAAE,qBAAqB,CAAC;IACtC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,kBAAkB,EAAE,CAAC;CAC7B;AAED,0BAA0B;AAC1B,wBAAsB,2BAA2B,CAC/C,cAAc,EAAE,OAAO,EACvB,SAAS,EAAE,OAAO,EAClB,aAAa,EAAE,OAAO,GACrB,OAAO,CAAC,wBAAwB,EAAE,CAAC,CAiErC"}