soloforge 1.2.8 → 1.2.10

package/dist/engine/workflow_contract_registry.d.ts

@@ -0,0 +1,70 @@
+/**
+ * 工作流契约注册表 — *
+ * 将 8 类基础工作流注册为可执行契约，明确每类的
+ * 路由/执行形态绑定、机制分工、变更权限、降级策略和自治理规则。
+ */
+import type { IntentRoute, ExecutionShape, IntentRouteDecision } from "./intent_router.js";
+export type WorkflowDegradationPolicy = "block_execution" | "advisory_only" | "conservative_output" | "human_confirmation_required";
+export interface WorkflowContract {
+    id: string;
+    routes: IntentRoute[];
+    execution_shapes: ExecutionShape[];
+    mutation_allowed: boolean;
+    required_mechanisms: string[];
+    advisory_mechanisms: string[];
+    required_inputs: string[];
+    produced_outputs: string[];
+    allowed_state_transitions: string[];
+    required_evidence: string[];
+    degradation_policy: WorkflowDegradationPolicy;
+    human_gate: string[];
+    governance_checks: string[];
+    tests: string[];
+    /** expand 必须使用的工作流提示模板 */
+    prompt_template: string;
+    /** 工作流验证策略 */
+    verification_strategy: string;
+}
+export interface WorkflowGovernanceFinding {
+    severity: "hard_fail" | "advisory";
+    workflow_id: string;
+    rule: string;
+    message: string;
+}
+/**
+ * 列出所有已注册的工作流契约。
+ *
+ * @returns 工作流契约数组
+ */
+export declare function listWorkflowContracts(): WorkflowContract[];
+/**
+ * 按 ID 查找工作流契约。
+ *
+ * @param id - 工作流契约 ID
+ * @returns 匹配的工作流契约，未找到则返回 undefined
+ */
+export declare function findWorkflowContractById(id: string): WorkflowContract | undefined;
+/**
+ * 按路由查找工作流契约，可指定执行形态进行精确匹配。
+ *
+ * @param route - 意图路由
+ * @param shape - 可选的执行形态，指定时仅精确匹配
+ * @returns 匹配的工作流契约，未找到则返回 undefined
+ */
+export declare function findWorkflowContractByRoute(route: IntentRoute, shape?: ExecutionShape): WorkflowContract | undefined;
+/**
+ * 根据路由决策解析对应的工作流契约。
+ *
+ * @param routeDecision - 意图路由决策
+ * @returns 匹配的工作流契约，未找到则返回 undefined
+ */
+export declare function resolveWorkflow(routeDecision: IntentRouteDecision): WorkflowContract | undefined;
+/**
+ * 验证工作流契约集的治理合规性。
+ * 检查入口回退、编排回退、权限回退等 14 类治理规则。
+ *
+ * @param contracts - 待验证的工作流契约数组，默认使用内置契约集
+ * @returns 治理发现列表，包含硬性失败和建议性警告
+ */
+export declare function validateWorkflowContracts(contracts?: WorkflowContract[]): WorkflowGovernanceFinding[];
+//# sourceMappingURL=workflow_contract_registry.d.ts.map

package/dist/engine/workflow_contract_registry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow_contract_registry.d.ts","sourceRoot":"","sources":["../../src/engine/workflow_contract_registry.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAI3F,MAAM,MAAM,yBAAyB,GACjC,iBAAiB,GACjB,eAAe,GACf,qBAAqB,GACrB,6BAA6B,CAAC;AAElC,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,WAAW,EAAE,CAAC;IACtB,gBAAgB,EAAE,cAAc,EAAE,CAAC;IACnC,gBAAgB,EAAE,OAAO,CAAC;IAC1B,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,yBAAyB,EAAE,MAAM,EAAE,CAAC;IACpC,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,kBAAkB,EAAE,yBAAyB,CAAC;IAC9C,UAAU,EAAE,MAAM,EAAE,CAAC;IACrB,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,0BAA0B;IAC1B,eAAe,EAAE,MAAM,CAAC;IACxB,cAAc;IACd,qBAAqB,EAAE,MAAM,CAAC;CAC/B;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,EAAE,WAAW,GAAG,UAAU,CAAC;IACnC,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;CACjB;AA4ND;;;;GAIG;AACH,wBAAgB,qBAAqB,IAAI,gBAAgB,EAAE,CAE1D;AAGD;;;;;GAKG;AACH,wBAAgB,wBAAwB,CAAC,EAAE,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS,CAGjF;AAGD;;;;;;GAMG;AACH,wBAAgB,2BAA2B,CACzC,KAAK,EAAE,WAAW,EAClB,KAAK,CAAC,EAAE,cAAc,GACrB,gBAAgB,GAAG,SAAS,CAS9B;AAGD;;;;;GAKG;AACH,wBAAgB,eAAe,CAC7B,aAAa,EAAE,mBAAmB,GACjC,gBAAgB,GAAG,SAAS,CAQ9B;AAKD;;;;;;GAMG;AACH,wBAAgB,yBAAyB,CACvC,SAAS,GAAE,gBAAgB,EAAuB,GACjD,yBAAyB,EAAE,CAuQ7B"}

package/dist/engine/workflow_contract_registry.js

@@ -0,0 +1,501 @@
+/**
+ * 工作流契约注册表 — *
+ * 将 8 类基础工作流注册为可执行契约，明确每类的
+ * 路由/执行形态绑定、机制分工、变更权限、降级策略和自治理规则。
+ */
+// ── 支持的路由（除 skip_chat 外） ──
+const ROUTES_REQUIRING_WORKFLOW = [
+    "direct_answer",
+    "artifact_generation",
+    "source_extraction",
+    "code_change",
+    "analysis",
+    "review",
+    "planning",
+    "operation",
+];
+// ── 必需的路由+执行形态覆盖（来自意图路由器实际输出） ──
+const REQUIRED_ROUTE_SHAPE_COMBOS = [
+    ["direct_answer", "none"],
+    ["artifact_generation", "single_artifact"],
+    ["source_extraction", "single_artifact"],
+    ["code_change", "code_execution"],
+    ["analysis", "read_only_analysis"],
+    ["review", "read_only_analysis"],
+    ["review", "verification_only"],
+    ["planning", "single_artifact"],
+    ["planning", "multi_stage_plan"],
+    ["operation", "verification_only"],
+];
+// ── 8 个工作流契约 ──
+const WORKFLOW_CONTRACTS = [
+    // ── 1. 直接回答 ──
+    {
+        id: "wf-direct-answer",
+        routes: ["direct_answer"],
+        execution_shapes: ["none"],
+        mutation_allowed: false,
+        required_mechanisms: ["mc-intent-router", "mc-knowledge-injection-boundary"],
+        advisory_mechanisms: [],
+        required_inputs: ["intent", "route_decision"],
+        produced_outputs: ["answer_text"],
+        allowed_state_transitions: ["classifying→expanding→executing→verifying→learning→done"],
+        required_evidence: [],
+        degradation_policy: "block_execution",
+        human_gate: [],
+        governance_checks: ["gc-entry-regression", "gc-knowledge-regression"],
+        tests: ["tests/engine/workflow_contract_registry.test.ts"],
+        prompt_template: "direct_answer_prompt",
+        verification_strategy: "text_review",
+    },
+    // ── 2. 单产物（产物生成） ──
+    {
+        id: "wf-single-artifact",
+        routes: ["artifact_generation"],
+        execution_shapes: ["single_artifact"],
+        mutation_allowed: false,
+        required_mechanisms: ["mc-intent-router", "mc-knowledge-injection-boundary", "mc-intent-expander"],
+        advisory_mechanisms: ["mc-verifier"],
+        required_inputs: ["intent", "route_decision", "output_artifact_spec", "matched_knowledge"],
+        produced_outputs: ["artifact_document", "acceptance_checklist"],
+        allowed_state_transitions: ["classifying→expanding→executing→verifying→learning→done"],
+        required_evidence: ["artifact_completeness", "template_match"],
+        degradation_policy: "conservative_output",
+        human_gate: ["template_missing_requires_review"],
+        governance_checks: ["gc-entry-regression", "gc-knowledge-regression", "gc-orchestration-regression"],
+        tests: ["tests/engine/workflow_contract_registry.test.ts"],
+        prompt_template: "single_artifact_prompt",
+        verification_strategy: "template_conformance",
+    },
+    // ── 3. 源码提取 ──
+    {
+        id: "wf-source-extraction",
+        routes: ["source_extraction"],
+        execution_shapes: ["single_artifact"],
+        mutation_allowed: false,
+        required_mechanisms: ["mc-intent-router", "mc-knowledge-injection-boundary", "mc-intent-expander"],
+        advisory_mechanisms: ["mc-verifier"],
+        required_inputs: ["intent", "route_decision", "source_materials", "output_path"],
+        produced_outputs: ["extracted_artifact"],
+        allowed_state_transitions: ["classifying→expanding→executing→verifying→learning→done"],
+        required_evidence: ["source_material_read_only", "output_path_confined"],
+        degradation_policy: "block_execution",
+        human_gate: [],
+        governance_checks: [
+            "gc-entry-regression",
+            "gc-knowledge-regression",
+            "gc-permission-regression",
+            "gc-source-extraction-constraints",
+        ],
+        tests: ["tests/engine/workflow_contract_registry.test.ts"],
+        prompt_template: "source_extraction_prompt",
+        verification_strategy: "source_read_only_confined_output",
+    },
+    // ── 4. 代码变更 ──
+    {
+        id: "wf-code-change",
+        routes: ["code_change"],
+        execution_shapes: ["code_execution"],
+        mutation_allowed: true,
+        required_mechanisms: [
+            "mc-intent-router",
+            "mc-knowledge-injection-boundary",
+            "mc-intent-expander",
+            "mc-verifier",
+            "mc-task-context-lifecycle",
+        ],
+        advisory_mechanisms: ["mc-workspace-resumer"],
+        required_inputs: ["intent", "route_decision", "scope_confirmation", "matched_knowledge", "verification_plan"],
+        produced_outputs: ["code_changes", "diff_attribution", "verification_result"],
+        allowed_state_transitions: [
+            "classifying→expanding→executing→verifying→learning→done",
+            "classifying→expanding→clarifying→expanding→executing→verifying→learning→done",
+            "verifying→retrying→expanding→executing→verifying→learning→done",
+        ],
+        required_evidence: ["scope_confirmation", "verification_plan", "diff_attribution", "rollback_path"],
+        degradation_policy: "block_execution",
+        human_gate: ["scope_uncertain_requires_human_confirm", "delivery_requires_explicit_trigger"],
+        governance_checks: [
+            "gc-entry-regression",
+            "gc-knowledge-regression",
+            "gc-scope-regression",
+            "gc-verification-regression",
+            "gc-rollback-regression",
+            "gc-delivery-regression",
+            "gc-permission-regression",
+        ],
+        tests: ["tests/engine/workflow_contract_registry.test.ts"],
+        prompt_template: "code_execution_prompt",
+        verification_strategy: "build_and_test",
+    },
+    // ── 5. 多阶段计划 ──
+    {
+        id: "wf-multi-stage-plan",
+        routes: ["planning"],
+        execution_shapes: ["multi_stage_plan"],
+        mutation_allowed: false,
+        required_mechanisms: ["mc-intent-router", "mc-knowledge-injection-boundary", "mc-intent-expander"],
+        advisory_mechanisms: ["mc-verifier"],
+        required_inputs: ["intent", "route_decision", "matched_knowledge"],
+        produced_outputs: ["task_breakdown", "execution_order", "acceptance_criteria"],
+        allowed_state_transitions: ["classifying→expanding→executing→verifying→learning→done"],
+        required_evidence: ["plan_completeness"],
+        degradation_policy: "advisory_only",
+        human_gate: [],
+        governance_checks: ["gc-entry-regression", "gc-knowledge-regression"],
+        tests: ["tests/engine/workflow_contract_registry.test.ts"],
+        prompt_template: "single_artifact_prompt",
+        verification_strategy: "plan_review",
+    },
+    // ── 6. 规划+单产物 ──
+    {
+        id: "wf-planning-single-artifact",
+        routes: ["planning"],
+        execution_shapes: ["single_artifact"],
+        mutation_allowed: false,
+        required_mechanisms: ["mc-intent-router", "mc-knowledge-injection-boundary", "mc-intent-expander"],
+        advisory_mechanisms: ["mc-verifier"],
+        required_inputs: ["intent", "route_decision", "output_artifact_spec", "matched_knowledge"],
+        produced_outputs: ["artifact_document", "planning_notes"],
+        allowed_state_transitions: ["classifying→expanding→executing→verifying→learning→done"],
+        required_evidence: ["artifact_completeness"],
+        degradation_policy: "conservative_output",
+        human_gate: [],
+        governance_checks: ["gc-entry-regression", "gc-knowledge-regression"],
+        tests: ["tests/engine/workflow_contract_registry.test.ts"],
+        prompt_template: "single_artifact_prompt",
+        verification_strategy: "template_conformance",
+    },
+    // ── 7. 审查（审查 + 分析，只读分析） ──
+    {
+        id: "wf-review",
+        routes: ["review", "analysis"],
+        execution_shapes: ["read_only_analysis"],
+        mutation_allowed: false,
+        required_mechanisms: ["mc-intent-router", "mc-knowledge-injection-boundary", "mc-intent-expander"],
+        advisory_mechanisms: ["mc-verifier"],
+        required_inputs: ["intent", "route_decision", "target_files_or_diff", "matched_knowledge"],
+        produced_outputs: ["review_report", "findings", "risk_assessment"],
+        allowed_state_transitions: ["classifying→expanding→executing→verifying→learning→done"],
+        required_evidence: [],
+        degradation_policy: "advisory_only",
+        human_gate: [],
+        governance_checks: ["gc-entry-regression", "gc-knowledge-regression", "gc-permission-regression"],
+        tests: ["tests/engine/workflow_contract_registry.test.ts"],
+        prompt_template: "read_only_analysis_prompt",
+        verification_strategy: "manual_review",
+    },
+    // ── 8. 仅验证 ──
+    {
+        id: "wf-verification-only",
+        routes: ["review", "operation"],
+        execution_shapes: ["verification_only"],
+        mutation_allowed: false,
+        required_mechanisms: ["mc-intent-router", "mc-knowledge-injection-boundary", "mc-verifier"],
+        advisory_mechanisms: [],
+        required_inputs: ["intent", "route_decision", "verification_target"],
+        produced_outputs: ["verification_commands", "verification_result"],
+        allowed_state_transitions: ["classifying→expanding→verifying→learning→done"],
+        required_evidence: [],
+        degradation_policy: "human_confirmation_required",
+        human_gate: ["verification_uncertain_requires_human"],
+        governance_checks: ["gc-entry-regression", "gc-knowledge-regression", "gc-verification-regression"],
+        tests: ["tests/engine/workflow_contract_registry.test.ts"],
+        prompt_template: "verification_only_prompt",
+        verification_strategy: "command_execution",
+    },
+];
+// ── 查询函数 ──
+/**
+ * 列出所有已注册的工作流契约。
+ *
+ * @returns 工作流契约数组
+ */
+export function listWorkflowContracts() {
+    return WORKFLOW_CONTRACTS;
+}
+/**
+ * 按 ID 查找工作流契约。
+ *
+ * @param id - 工作流契约 ID
+ * @returns 匹配的工作流契约，未找到则返回 undefined
+ */
+export function findWorkflowContractById(id) {
+    console.error("[soloForge] 工作流契约: findWorkflowContractById() 查找契约, id=%s", id);
+    return WORKFLOW_CONTRACTS.find((c) => c.id === id);
+}
+/**
+ * 按路由查找工作流契约，可指定执行形态进行精确匹配。
+ *
+ * @param route - 意图路由
+ * @param shape - 可选的执行形态，指定时仅精确匹配
+ * @returns 匹配的工作流契约，未找到则返回 undefined
+ */
+export function findWorkflowContractByRoute(route, shape) {
+    console.error("[soloForge] 工作流契约: findWorkflowContractByRoute() 查找契约, route=%s, shape=%s", route, shape ?? "any");
+    if (shape) {
+        // 仅精确匹配 — 不回退到其他执行形态
+        return WORKFLOW_CONTRACTS.find((c) => c.routes.includes(route) && c.execution_shapes.includes(shape));
+    }
+    return WORKFLOW_CONTRACTS.find((c) => c.routes.includes(route));
+}
+/**
+ * 根据路由决策解析对应的工作流契约。
+ *
+ * @param routeDecision - 意图路由决策
+ * @returns 匹配的工作流契约，未找到则返回 undefined
+ */
+export function resolveWorkflow(routeDecision) {
+    const wf = findWorkflowContractByRoute(routeDecision.route, routeDecision.execution_shape);
+    if (wf) {
+        console.error("[soloForge] 工作流契约: 解析工作流 %s, 路由 %s", wf.id, routeDecision.route);
+    }
+    else {
+        console.error("[soloForge] 工作流契约: 未找到匹配的工作流契约, 路由 %s, 形态 %s", routeDecision.route, routeDecision.execution_shape);
+    }
+    return wf;
+}
+// ── 治理验证 ──
+/**
+ * 验证工作流契约集的治理合规性。
+ * 检查入口回退、编排回退、权限回退等 14 类治理规则。
+ *
+ * @param contracts - 待验证的工作流契约数组，默认使用内置契约集
+ * @returns 治理发现列表，包含硬性失败和建议性警告
+ */
+export function validateWorkflowContracts(contracts = WORKFLOW_CONTRACTS) {
+    const findings = [];
+    console.error("[soloForge] 工作流契约: validateWorkflowContracts() 开始治理验证, 待检查契约数=%d", contracts.length);
+    // ── 硬性失败: 8 类回退检查（备忘） ──
+    // 1. 入口回退: 每个支持的路由必须解析到至少一个工作流
+    for (const route of ROUTES_REQUIRING_WORKFLOW) {
+        const matching = contracts.filter((c) => c.routes.includes(route));
+        if (matching.length === 0) {
+            findings.push({
+                severity: "hard_fail",
+                workflow_id: "registry",
+                rule: "gc-entry-regression",
+                message: `Route "${route}" has no workflow contract — entry regression risk`,
+            });
+        }
+    }
+    // 2. 编排回退: 并非所有工作流应有相同的必需机制列表
+    const mechanismSets = contracts.map((c) => [...c.required_mechanisms].sort().join(","));
+    const uniqueSets = new Set(mechanismSets);
+    if (uniqueSets.size === 1 && contracts.length > 1) {
+        findings.push({
+            severity: "hard_fail",
+            workflow_id: "registry",
+            rule: "gc-orchestration-regression",
+            message: "All workflows have identical required_mechanisms — orchestration regression risk",
+        });
+    }
+    // 3. 权限回退: mutation_allowed=false 的工作流不应产出源码变更
+    for (const c of contracts) {
+        if (!c.mutation_allowed &&
+            c.produced_outputs.some((o) => o.includes("source_code") || o.includes("code_mutation"))) {
+            findings.push({
+                severity: "hard_fail",
+                workflow_id: c.id,
+                rule: "gc-permission-regression",
+                message: `Read-only workflow "${c.id}" produces source code mutation output — permission regression`,
+            });
+        }
+    }
+    // 4. 知识回退: 每个工作流必须引用 mc-knowledge-injection-boundary
+    for (const c of contracts) {
+        if (!c.required_mechanisms.includes("mc-knowledge-injection-boundary")) {
+            findings.push({
+                severity: "hard_fail",
+                workflow_id: c.id,
+                rule: "gc-knowledge-regression",
+                message: `Workflow "${c.id}" does not reference mc-knowledge-injection-boundary — knowledge regression risk`,
+            });
+        }
+    }
+    // 5. 范围回退: mutation_allowed=true 的工作流必须有范围相关的必需证据
+    for (const c of contracts) {
+        if (c.mutation_allowed && !c.required_evidence.some((e) => e.includes("scope"))) {
+            findings.push({
+                severity: "hard_fail",
+                workflow_id: c.id,
+                rule: "gc-scope-regression",
+                message: `Mutable workflow "${c.id}" has no scope-related required_evidence — scope regression risk`,
+            });
+        }
+    }
+    // 6. 状态回退: 每个工作流必须定义非空的允许状态转换
+    for (const c of contracts) {
+        if (c.allowed_state_transitions.length === 0) {
+            findings.push({
+                severity: "hard_fail",
+                workflow_id: c.id,
+                rule: "gc-state-regression",
+                message: `Workflow "${c.id}" has no allowed_state_transitions — state regression risk`,
+            });
+        }
+    }
+    // 7. 验证回退: mutation_allowed=true 的工作流必须要求 verification_plan
+    for (const c of contracts) {
+        if (c.mutation_allowed && !c.required_evidence.includes("verification_plan")) {
+            findings.push({
+                severity: "hard_fail",
+                workflow_id: c.id,
+                rule: "gc-verification-regression",
+                message: `Mutable workflow "${c.id}" does not require verification_plan — verification regression risk`,
+            });
+        }
+    }
+    // 8. 交付回退: 任何工作流不得产出 auto_delivery
+    for (const c of contracts) {
+        if (c.produced_outputs.includes("auto_delivery")) {
+            findings.push({
+                severity: "hard_fail",
+                workflow_id: c.id,
+                rule: "gc-delivery-regression",
+                message: `Workflow "${c.id}" produces auto_delivery — delivery regression risk`,
+            });
+        }
+    }
+    // ── 硬性失败: 补充治理检查（备忘） ──
+    // 9. 回滚回退: mutation_allowed=true 的工作流必须有回滚相关证据
+    for (const c of contracts) {
+        if (c.mutation_allowed && !c.required_evidence.some((e) => e.includes("rollback"))) {
+            findings.push({
+                severity: "hard_fail",
+                workflow_id: c.id,
+                rule: "gc-rollback-regression",
+                message: `Mutable workflow "${c.id}" has no rollback-related required_evidence — rollback regression risk`,
+            });
+        }
+    }
+    // 10. 源码提取约束: 必须要求只读输入和受限输出
+    for (const c of contracts) {
+        if (c.routes.includes("source_extraction") &&
+            (!c.required_evidence.includes("source_material_read_only") ||
+                !c.required_evidence.includes("output_path_confined"))) {
+            findings.push({
+                severity: "hard_fail",
+                workflow_id: c.id,
+                rule: "gc-source-extraction-constraints",
+                message: `Source extraction workflow "${c.id}" must require source_material_read_only and output_path_confined evidence`,
+            });
+        }
+    }
+    // 11. 路由+形态唯一性: 每个路由+形态组合最多解析到一个工作流
+    const comboMap = new Map();
+    for (const c of contracts) {
+        for (const r of c.routes) {
+            for (const s of c.execution_shapes) {
+                const key = `${r}+${s}`;
+                if (!comboMap.has(key))
+                    comboMap.set(key, []);
+                comboMap.get(key).push(c.id);
+            }
+        }
+    }
+    for (const [combo, wfIds] of comboMap) {
+        if (wfIds.length > 1) {
+            findings.push({
+                severity: "hard_fail",
+                workflow_id: "registry",
+                rule: "gc-route-shape-uniqueness",
+                message: `Route+shape "${combo}" resolves to multiple workflows: ${wfIds.join(", ")} — must be unique`,
+            });
+        }
+    }
+    // 12. 必需路由+形态覆盖检查
+    for (const [route, shape] of REQUIRED_ROUTE_SHAPE_COMBOS) {
+        const hasMatch = contracts.some((c) => c.routes.includes(route) && c.execution_shapes.includes(shape));
+        if (!hasMatch) {
+            findings.push({
+                severity: "hard_fail",
+                workflow_id: "registry",
+                rule: "gc-route-shape-coverage",
+                message: `Required route+shape "${route}+${shape}" is not covered by any workflow — coverage gap`,
+            });
+        }
+    }
+    // 13. 提示模板多样性: 不同工作流不应共享同一模板
+    const templates = contracts.map((c) => c.prompt_template);
+    if (new Set(templates).size === 1 && contracts.length > 1) {
+        findings.push({
+            severity: "hard_fail",
+            workflow_id: "registry",
+            rule: "gc-prompt-template-diversity",
+            message: "All workflows have identical prompt_template — prompt diversity regression",
+        });
+    }
+    // 14. 关键工作流验证策略多样性
+    const keyStrategies = ["wf-source-extraction", "wf-code-change", "wf-verification-only"]
+        .map((id) => contracts.find((c) => c.id === id)?.verification_strategy)
+        .filter(Boolean);
+    if (keyStrategies.length >= 2 && new Set(keyStrategies).size === 1) {
+        findings.push({
+            severity: "hard_fail",
+            workflow_id: "registry",
+            rule: "gc-verification-strategy-diversity",
+            message: "source_extraction, code_change, and verification_only share identical verification_strategy",
+        });
+    }
+    // ── 建议性规则 ──
+    // 必需/建议机制引用了未知 ID
+    const knownIds = new Set([
+        "mc-intent-router", "mc-classifier", "mc-intent-expander",
+        "mc-knowledge-matching", "mc-knowledge-injection-boundary",
+        "mc-task-context-lifecycle", "mc-verifier", "mc-workspace-resumer",
+    ]);
+    for (const c of contracts) {
+        for (const mId of [...c.required_mechanisms, ...c.advisory_mechanisms]) {
+            if (!knownIds.has(mId)) {
+                findings.push({
+                    severity: "advisory",
+                    workflow_id: c.id,
+                    rule: "gc-mechanism-reference",
+                    message: `Workflow "${c.id}" references unknown mechanism "${mId}"`,
+                });
+            }
+        }
+    }
+    // advisory_mechanisms 为空
+    for (const c of contracts) {
+        if (c.advisory_mechanisms.length === 0) {
+            findings.push({
+                severity: "advisory",
+                workflow_id: c.id,
+                rule: "gc-advisory-mechanisms",
+                message: `Workflow "${c.id}" has no advisory_mechanisms`,
+            });
+        }
+    }
+    // 测试为空
+    for (const c of contracts) {
+        if (c.tests.length === 0) {
+            findings.push({
+                severity: "advisory",
+                workflow_id: c.id,
+                rule: "gc-tests",
+                message: `Workflow "${c.id}" has no test files`,
+            });
+        }
+    }
+    // 两个工作流有相同的必需输入
+    for (let i = 0; i < contracts.length; i++) {
+        for (let j = i + 1; j < contracts.length; j++) {
+            const a = [...contracts[i].required_inputs].sort().join(",");
+            const b = [...contracts[j].required_inputs].sort().join(",");
+            if (a === b) {
+                findings.push({
+                    severity: "advisory",
+                    workflow_id: contracts[i].id,
+                    rule: "gc-inputs-duplication",
+                    message: `Workflow "${contracts[i].id}" and "${contracts[j].id}" have identical required_inputs`,
+                });
+            }
+        }
+    }
+    const hardFails = findings.filter(f => f.severity === "hard_fail").length;
+    console.error("[soloForge] 工作流契约: validateWorkflowContracts() 治理验证完成, %d 个硬性失败, %d 个建议性警告", hardFails, findings.length - hardFails);
+    return findings;
+}
+//# sourceMappingURL=workflow_contract_registry.js.map

package/dist/engine/workflow_contract_registry.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"workflow_contract_registry.js","sourceRoot":"","sources":["../../src/engine/workflow_contract_registry.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAwCH,6BAA6B;AAE7B,MAAM,yBAAyB,GAAkB;IAC/C,eAAe;IACf,qBAAqB;IACrB,mBAAmB;IACnB,aAAa;IACb,UAAU;IACV,QAAQ;IACR,UAAU;IACV,WAAW;CACZ,CAAC;AAEF,kCAAkC;AAElC,MAAM,2BAA2B,GAAyC;IACxE,CAAC,eAAe,EAAE,MAAM,CAAC;IACzB,CAAC,qBAAqB,EAAE,iBAAiB,CAAC;IAC1C,CAAC,mBAAmB,EAAE,iBAAiB,CAAC;IACxC,CAAC,aAAa,EAAE,gBAAgB,CAAC;IACjC,CAAC,UAAU,EAAE,oBAAoB,CAAC;IAClC,CAAC,QAAQ,EAAE,oBAAoB,CAAC;IAChC,CAAC,QAAQ,EAAE,mBAAmB,CAAC;IAC/B,CAAC,UAAU,EAAE,iBAAiB,CAAC;IAC/B,CAAC,UAAU,EAAE,kBAAkB,CAAC;IAChC,CAAC,WAAW,EAAE,mBAAmB,CAAC;CACnC,CAAC;AAEF,iBAAiB;AAEjB,MAAM,kBAAkB,GAAuB;IAC7C,gBAAgB;IAChB;QACE,EAAE,EAAE,kBAAkB;QACtB,MAAM,EAAE,CAAC,eAAe,CAAC;QACzB,gBAAgB,EAAE,CAAC,MAAM,CAAC;QAC1B,gBAAgB,EAAE,KAAK;QACvB,mBAAmB,EAAE,CAAC,kBAAkB,EAAE,iCAAiC,CAAC;QAC5E,mBAAmB,EAAE,EAAE;QACvB,eAAe,EAAE,CAAC,QAAQ,EAAE,gBAAgB,CAAC;QAC7C,gBAAgB,EAAE,CAAC,aAAa,CAAC;QACjC,yBAAyB,EAAE,CAAC,yDAAyD,CAAC;QACtF,iBAAiB,EAAE,EAAE;QACrB,kBAAkB,EAAE,iBAAiB;QACrC,UAAU,EAAE,EAAE;QACd,iBAAiB,EAAE,CAAC,qBAAqB,EAAE,yBAAyB,CAAC;QACrE,KAAK,EAAE,CAAC,iDAAiD,CAAC;QAC1D,eAAe,EAAE,sBAAsB;QACvC,qBAAqB,EAAE,aAAa;KACrC;IAED,qBAAqB;IACrB;QACE,EAAE,EAAE,oBAAoB;QACxB,MAAM,EAAE,CAAC,qBAAqB,CAAC;QAC/B,gBAAgB,EAAE,CAAC,iBAAiB,CAAC;QACrC,gBAAgB,EAAE,KAAK;QACvB,mBAAmB,EAAE,CAAC,kBAAkB,EAAE,iCAAiC,EAAE,oBAAoB,CAAC;QAClG,mBAAmB,EAAE,CAAC,aAAa,CAAC;QACpC,eAAe,EAAE,CAAC,QAAQ,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,mBAAmB,CAAC;QAC1F,gBAAgB,EAAE,CAAC,mBAAmB,EAAE,sBAAsB,CAAC;QAC/D,yBAAyB,EAAE,CAAC,yDAAyD,CAAC;QACtF,iBAAiB,EAAE,CAAC,uBAAuB,EAAE,gBAAgB,CAAC;QAC9D,kBAAkB,EAAE,qBAAqB;QACzC,UAAU,EAAE,CAAC,kCAAkC,CAAC;QAChD,iBAAiB,EAAE,CAAC,qBAAqB,EAAE,yBAAyB,EAAE,6BAA6B,CAAC;QACpG,KAAK,EAAE,CAAC,iDAAiD,CAAC;QAC1D,eAAe,EAAE,wBAAwB;QACzC,qBAAqB,EAAE,sBAAsB;KAC9C;IAED,gBAAgB;IAChB;QACE,EAAE,EAAE,sBAAsB;QAC1B,MAAM,EAAE,CAAC,mBAAmB,CAAC;QAC7B,gBAAgB,EAAE,CAAC,iBAAiB,CAAC;QACrC,gBAAgB,EAAE,KAAK;QACvB,mBAAmB,EAAE,CAAC,kBAAkB,EAAE,iCAAiC,EAAE,oBAAoB,CAAC;QAClG,mBAAmB,EAAE,CAAC,aAAa,CAAC;QACpC,eAAe,EAAE,CAAC,QAAQ,EAAE,gBAAgB,EAAE,kBAAkB,EAAE,aAAa,CAAC;QAChF,gBAAgB,EAAE,CAAC,oBAAoB,CAAC;QACxC,yBAAyB,EAAE,CAAC,yDAAyD,CAAC;QACtF,iBAAiB,EAAE,CAAC,2BAA2B,EAAE,sBAAsB,CAAC;QACxE,kBAAkB,EAAE,iBAAiB;QACrC,UAAU,EAAE,EAAE;QACd,iBAAiB,EAAE;YACjB,qBAAqB;YACrB,yBAAyB;YACzB,0BAA0B;YAC1B,kCAAkC;SACnC;QACD,KAAK,EAAE,CAAC,iDAAiD,CAAC;QAC1D,eAAe,EAAE,0BAA0B;QAC3C,qBAAqB,EAAE,kCAAkC;KAC1D;IAED,gBAAgB;IAChB;QACE,EAAE,EAAE,gBAAgB;QACpB,MAAM,EAAE,CAAC,aAAa,CAAC;QACvB,gBAAgB,EAAE,CAAC,gBAAgB,CAAC;QACpC,gBAAgB,EAAE,IAAI;QACtB,mBAAmB,EAAE;YACnB,kBAAkB;YAClB,iCAAiC;YACjC,oBAAoB;YACpB,aAAa;YACb,2BAA2B;SAC5B;QACD,mBAAmB,EAAE,CAAC,sBAAsB,CAAC;QAC7C,eAAe,EAAE,CAAC,QAAQ,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,mBAAmB,EAAE,mBAAmB,CAAC;QAC7G,gBAAgB,EAAE,CAAC,cAAc,EAAE,kBAAkB,EAAE,qBAAqB,CAAC;QAC7E,yBAAyB,EAAE;YACzB,yDAAyD;YACzD,8EAA8E;YAC9E,gEAAgE;SACjE;QACD,iBAAiB,EAAE,CAAC,oBAAoB,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,eAAe,CAAC;QACnG,kBAAkB,EAAE,iBAAiB;QACrC,UAAU,EAAE,CAAC,wCAAwC,EAAE,oCAAoC,CAAC;QAC5F,iBAAiB,EAAE;YACjB,qBAAqB;YACrB,yBAAyB;YACzB,qBAAqB;YACrB,4BAA4B;YAC5B,wBAAwB;YACxB,wBAAwB;YACxB,0BAA0B;SAC3B;QACD,KAAK,EAAE,CAAC,iDAAiD,CAAC;QAC1D,eAAe,EAAE,uBAAuB;QACxC,qBAAqB,EAAE,gBAAgB;KACxC;IAED,iBAAiB;IACjB;QACE,EAAE,EAAE,qBAAqB;QACzB,MAAM,EAAE,CAAC,UAAU,CAAC;QACpB,gBAAgB,EAAE,CAAC,kBAAkB,CAAC;QACtC,gBAAgB,EAAE,KAAK;QACvB,mBAAmB,EAAE,CAAC,kBAAkB,EAAE,iCAAiC,EAAE,oBAAoB,CAAC;QAClG,mBAAmB,EAAE,CAAC,aAAa,CAAC;QACpC,eAAe,EAAE,CAAC,QAAQ,EAAE,gBAAgB,EAAE,mBAAmB,CAAC;QAClE,gBAAgB,EAAE,CAAC,gBAAgB,EAAE,iBAAiB,EAAE,qBAAqB,CAAC;QAC9E,yBAAyB,EAAE,CAAC,yDAAyD,CAAC;QACtF,iBAAiB,EAAE,CAAC,mBAAmB,CAAC;QACxC,kBAAkB,EAAE,eAAe;QACnC,UAAU,EAAE,EAAE;QACd,iBAAiB,EAAE,CAAC,qBAAqB,EAAE,yBAAyB,CAAC;QACrE,KAAK,EAAE,CAAC,iDAAiD,CAAC;QAC1D,eAAe,EAAE,wBAAwB;QACzC,qBAAqB,EAAE,aAAa;KACrC;IAED,kBAAkB;IAClB;QACE,EAAE,EAAE,6BAA6B;QACjC,MAAM,EAAE,CAAC,UAAU,CAAC;QACpB,gBAAgB,EAAE,CAAC,iBAAiB,CAAC;QACrC,gBAAgB,EAAE,KAAK;QACvB,mBAAmB,EAAE,CAAC,kBAAkB,EAAE,iCAAiC,EAAE,oBAAoB,CAAC;QAClG,mBAAmB,EAAE,CAAC,aAAa,CAAC;QACpC,eAAe,EAAE,CAAC,QAAQ,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,mBAAmB,CAAC;QAC1F,gBAAgB,EAAE,CAAC,mBAAmB,EAAE,gBAAgB,CAAC;QACzD,yBAAyB,EAAE,CAAC,yDAAyD,CAAC;QACtF,iBAAiB,EAAE,CAAC,uBAAuB,CAAC;QAC5C,kBAAkB,EAAE,qBAAqB;QACzC,UAAU,EAAE,EAAE;QACd,iBAAiB,EAAE,CAAC,qBAAqB,EAAE,yBAAyB,CAAC;QACrE,KAAK,EAAE,CAAC,iDAAiD,CAAC;QAC1D,eAAe,EAAE,wBAAwB;QACzC,qBAAqB,EAAE,sBAAsB;KAC9C;IAED,4BAA4B;IAC5B;QACE,EAAE,EAAE,WAAW;QACf,MAAM,EAAE,CAAC,QAAQ,EAAE,UAAU,CAAC;QAC9B,gBAAgB,EAAE,CAAC,oBAAoB,CAAC;QACxC,gBAAgB,EAAE,KAAK;QACvB,mBAAmB,EAAE,CAAC,kBAAkB,EAAE,iCAAiC,EAAE,oBAAoB,CAAC;QAClG,mBAAmB,EAAE,CAAC,aAAa,CAAC;QACpC,eAAe,EAAE,CAAC,QAAQ,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,mBAAmB,CAAC;QAC1F,gBAAgB,EAAE,CAAC,eAAe,EAAE,UAAU,EAAE,iBAAiB,CAAC;QAClE,yBAAyB,EAAE,CAAC,yDAAyD,CAAC;QACtF,iBAAiB,EAAE,EAAE;QACrB,kBAAkB,EAAE,eAAe;QACnC,UAAU,EAAE,EAAE;QACd,iBAAiB,EAAE,CAAC,qBAAqB,EAAE,yBAAyB,EAAE,0BAA0B,CAAC;QACjG,KAAK,EAAE,CAAC,iDAAiD,CAAC;QAC1D,eAAe,EAAE,2BAA2B;QAC5C,qBAAqB,EAAE,eAAe;KACvC;IAED,eAAe;IACf;QACE,EAAE,EAAE,sBAAsB;QAC1B,MAAM,EAAE,CAAC,QAAQ,EAAE,WAAW,CAAC;QAC/B,gBAAgB,EAAE,CAAC,mBAAmB,CAAC;QACvC,gBAAgB,EAAE,KAAK;QACvB,mBAAmB,EAAE,CAAC,kBAAkB,EAAE,iCAAiC,EAAE,aAAa,CAAC;QAC3F,mBAAmB,EAAE,EAAE;QACvB,eAAe,EAAE,CAAC,QAAQ,EAAE,gBAAgB,EAAE,qBAAqB,CAAC;QACpE,gBAAgB,EAAE,CAAC,uBAAuB,EAAE,qBAAqB,CAAC;QAClE,yBAAyB,EAAE,CAAC,+CAA+C,CAAC;QAC5E,iBAAiB,EAAE,EAAE;QACrB,kBAAkB,EAAE,6BAA6B;QACjD,UAAU,EAAE,CAAC,uCAAuC,CAAC;QACrD,iBAAiB,EAAE,CAAC,qBAAqB,EAAE,yBAAyB,EAAE,4BAA4B,CAAC;QACnG,KAAK,EAAE,CAAC,iDAAiD,CAAC;QAC1D,eAAe,EAAE,0BAA0B;QAC3C,qBAAqB,EAAE,mBAAmB;KAC3C;CACF,CAAC;AAEF,aAAa;AAGb;;;;GAIG;AACH,MAAM,UAAU,qBAAqB;IACnC,OAAO,kBAAkB,CAAC;AAC5B,CAAC;AAGD;;;;;GAKG;AACH,MAAM,UAAU,wBAAwB,CAAC,EAAU;IACjD,OAAO,CAAC,KAAK,CAAC,2DAA2D,EAAE,EAAE,CAAC,CAAC;IAC/E,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AACrD,CAAC;AAGD;;;;;;GAMG;AACH,MAAM,UAAU,2BAA2B,CACzC,KAAkB,EAClB,KAAsB;IAEtB,OAAO,CAAC,KAAK,CAAC,2EAA2E,EAAE,KAAK,EAAE,KAAK,IAAI,KAAK,CAAC,CAAC;IAClH,IAAI,KAAK,EAAE,CAAC;QACV,qBAAqB;QACrB,OAAO,kBAAkB,CAAC,IAAI,CAC5B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,gBAAgB,CAAC,QAAQ,CAAC,KAAK,CAAC,CACtE,CAAC;IACJ,CAAC;IACD,OAAO,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;AAClE,CAAC;AAGD;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAC7B,aAAkC;IAElC,MAAM,EAAE,GAAG,2BAA2B,CAAC,aAAa,CAAC,KAAK,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;IAC3F,IAAI,EAAE,EAAE,CAAC;QACP,OAAO,CAAC,KAAK,CAAC,oCAAoC,EAAE,EAAE,CAAC,EAAE,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC;IAClF,CAAC;SAAM,CAAC;QACN,OAAO,CAAC,KAAK,CAAC,8CAA8C,EAAE,aAAa,CAAC,KAAK,EAAE,aAAa,CAAC,eAAe,CAAC,CAAC;IACpH,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,aAAa;AAGb;;;;;;GAMG;AACH,MAAM,UAAU,yBAAyB,CACvC,YAAgC,kBAAkB;IAElD,MAAM,QAAQ,GAAgC,EAAE,CAAC;IACjD,OAAO,CAAC,KAAK,CAAC,kEAAkE,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC;IAEpG,0BAA0B;IAE1B,+BAA+B;IAC/B,KAAK,MAAM,KAAK,IAAI,yBAAyB,EAAE,CAAC;QAC9C,MAAM,QAAQ,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;QACnE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC1B,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,WAAW,EAAE,UAAU;gBACvB,IAAI,EAAE,qBAAqB;gBAC3B,OAAO,EAAE,UAAU,KAAK,oDAAoD;aAC7E,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,8BAA8B;IAC9B,MAAM,aAAa,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACxF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC;IAC1C,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClD,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,WAAW;YACrB,WAAW,EAAE,UAAU;YACvB,IAAI,EAAE,6BAA6B;YACnC,OAAO,EAAE,kFAAkF;SAC5F,CAAC,CAAC;IACL,CAAC;IAED,+CAA+C;IAC/C,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,IACE,CAAC,CAAC,CAAC,gBAAgB;YACnB,CAAC,CAAC,gBAAgB,CAAC,IAAI,CACrB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,QAAQ,CAAC,eAAe,CAAC,CAChE,EACD,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,WAAW,EAAE,CAAC,CAAC,EAAE;gBACjB,IAAI,EAAE,0BAA0B;gBAChC,OAAO,EAAE,uBAAuB,CAAC,CAAC,EAAE,gEAAgE;aACrG,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,qDAAqD;IACrD,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,IAAI,CAAC,CAAC,CAAC,mBAAmB,CAAC,QAAQ,CAAC,iCAAiC,CAAC,EAAE,CAAC;YACvE,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,WAAW,EAAE,CAAC,CAAC,EAAE;gBACjB,IAAI,EAAE,yBAAyB;gBAC/B,OAAO,EAAE,aAAa,CAAC,CAAC,EAAE,kFAAkF;aAC7G,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,kDAAkD;IAClD,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,IAAI,CAAC,CAAC,gBAAgB,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;YAChF,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,WAAW,EAAE,CAAC,CAAC,EAAE;gBACjB,IAAI,EAAE,qBAAqB;gBAC3B,OAAO,EAAE,qBAAqB,CAAC,CAAC,EAAE,kEAAkE;aACrG,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,8BAA8B;IAC9B,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,IAAI,CAAC,CAAC,yBAAyB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7C,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,WAAW,EAAE,CAAC,CAAC,EAAE;gBACjB,IAAI,EAAE,qBAAqB;gBAC3B,OAAO,EAAE,aAAa,CAAC,CAAC,EAAE,4DAA4D;aACvF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,4DAA4D;IAC5D,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,IAAI,CAAC,CAAC,gBAAgB,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,CAAC;YAC7E,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,WAAW,EAAE,CAAC,CAAC,EAAE;gBACjB,IAAI,EAAE,4BAA4B;gBAClC,OAAO,EAAE,qBAAqB,CAAC,CAAC,EAAE,qEAAqE;aACxG,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,mCAAmC;IACnC,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,IAAI,CAAC,CAAC,gBAAgB,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;YACjD,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,WAAW,EAAE,CAAC,CAAC,EAAE;gBACjB,IAAI,EAAE,wBAAwB;gBAC9B,OAAO,EAAE,aAAa,CAAC,CAAC,EAAE,qDAAqD;aAChF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,yBAAyB;IAEzB,+CAA+C;IAC/C,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,IAAI,CAAC,CAAC,gBAAgB,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;YACnF,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,WAAW,EAAE,CAAC,CAAC,EAAE;gBACjB,IAAI,EAAE,wBAAwB;gBAC9B,OAAO,EAAE,qBAAqB,CAAC,CAAC,EAAE,wEAAwE;aAC3G,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,4BAA4B;IAC5B,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,IACE,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,mBAAmB,CAAC;YACtC,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,QAAQ,CAAC,2BAA2B,CAAC;gBACzD,CAAC,CAAC,CAAC,iBAAiB,CAAC,QAAQ,CAAC,sBAAsB,CAAC,CAAC,EACxD,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,WAAW,EAAE,CAAC,CAAC,EAAE;gBACjB,IAAI,EAAE,kCAAkC;gBACxC,OAAO,EAAE,+BAA+B,CAAC,CAAC,EAAE,4EAA4E;aACzH,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,oCAAoC;IACpC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;YACzB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,gBAAgB,EAAE,CAAC;gBACnC,MAAM,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBAC9C,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,QAAQ,EAAE,CAAC;QACtC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrB,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,WAAW,EAAE,UAAU;gBACvB,IAAI,EAAE,2BAA2B;gBACjC,OAAO,EAAE,gBAAgB,KAAK,qCAAqC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,mBAAmB;aACvG,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,kBAAkB;IAClB,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,2BAA2B,EAAE,CAAC;QACzD,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAC7B,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,gBAAgB,CAAC,QAAQ,CAAC,KAAK,CAAC,CACtE,CAAC;QACF,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,WAAW;gBACrB,WAAW,EAAE,UAAU;gBACvB,IAAI,EAAE,yBAAyB;gBAC/B,OAAO,EAAE,yBAAyB,KAAK,IAAI,KAAK,iDAAiD;aAClG,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,6BAA6B;IAC7B,MAAM,SAAS,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;IAC1D,IAAI,IAAI,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1D,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,WAAW;YACrB,WAAW,EAAE,UAAU;YACvB,IAAI,EAAE,8BAA8B;YACpC,OAAO,EAAE,4EAA4E;SACtF,CAAC,CAAC;IACL,CAAC;IAED,mBAAmB;IACnB,MAAM,aAAa,GAAG,CAAC,sBAAsB,EAAE,gBAAgB,EAAE,sBAAsB,CAAC;SACrF,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,qBAAqB,CAAC;SACtE,MAAM,CAAC,OAAO,CAAC,CAAC;IACnB,IAAI,aAAa,CAAC,MAAM,IAAI,CAAC,IAAI,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACnE,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,WAAW;YACrB,WAAW,EAAE,UAAU;YACvB,IAAI,EAAE,oCAAoC;YAC1C,OAAO,EAAE,6FAA6F;SACvG,CAAC,CAAC;IACL,CAAC;IAED,cAAc;IAEd,kBAAkB;IAClB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC;QACvB,kBAAkB,EAAE,eAAe,EAAE,oBAAoB;QACzD,uBAAuB,EAAE,iCAAiC;QAC1D,2BAA2B,EAAE,aAAa,EAAE,sBAAsB;KACnE,CAAC,CAAC;IACH,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,mBAAmB,CAAC,EAAE,CAAC;YACvE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACvB,QAAQ,CAAC,IAAI,CAAC;oBACZ,QAAQ,EAAE,UAAU;oBACpB,WAAW,EAAE,CAAC,CAAC,EAAE;oBACjB,IAAI,EAAE,wBAAwB;oBAC9B,OAAO,EAAE,aAAa,CAAC,CAAC,EAAE,mCAAmC,GAAG,GAAG;iBACpE,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,yBAAyB;IACzB,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,IAAI,CAAC,CAAC,mBAAmB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvC,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,UAAU;gBACpB,WAAW,EAAE,CAAC,CAAC,EAAE;gBACjB,IAAI,EAAE,wBAAwB;gBAC9B,OAAO,EAAE,aAAa,CAAC,CAAC,EAAE,8BAA8B;aACzD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO;IACP,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,UAAU;gBACpB,WAAW,EAAE,CAAC,CAAC,EAAE;gBACjB,IAAI,EAAE,UAAU;gBAChB,OAAO,EAAE,aAAa,CAAC,CAAC,EAAE,qBAAqB;aAChD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,gBAAgB;IAChB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC9C,MAAM,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC7D,MAAM,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC7D,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACZ,QAAQ,CAAC,IAAI,CAAC;oBACZ,QAAQ,EAAE,UAAU;oBACpB,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE;oBAC5B,IAAI,EAAE,uBAAuB;oBAC7B,OAAO,EAAE,aAAa,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,kCAAkC;iBACjG,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,WAAW,CAAC,CAAC,MAAM,CAAC;IAC1E,OAAO,CAAC,KAAK,CAAC,4EAA4E,EAAE,SAAS,EAAE,QAAQ,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;IACpI,OAAO,QAAQ,CAAC;AAClB,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"workspace_resumer.d.ts","sourceRoot":"","sources":["../../src/engine/workspace_resumer.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAG5D;;;;;;;;;;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,CAsIvB;AAED;;;;;GAKG;AACH,wBAAsB,iBAAiB,CACrC,WAAW,EAAE,kBAAkB,EAC/B,QAAQ,SAA0B,GACjC,OAAO,CAAC,aAAa,CAAC,CA2BxB;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"}
+{"version":3,"file":"workspace_resumer.d.ts","sourceRoot":"","sources":["../../src/engine/workspace_resumer.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAG5D;;;;;;;;;;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,CA8BxB;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"}