soloforge 1.4.16 → 2.0.0

package/dist/engine/contracts/enforcement_guard.js

@@ -0,0 +1,473 @@
+/**
+ * 强制护栏注册表 — 问题十一 (Enforcement Guard)。
+ *
+ * 覆盖七类护栏: write、state、knowledge_injection、execution、
+ * external_side_effect、prompt、delivery。
+ * 护栏 finding 必须绑定 contract_id + diagnostic_code。
+ * 只有 contract state=enforced 且 hard_fail_allowed=true 时才能 hard fail。
+ */
+import { getDiagnosticByCode, createDiagnosticEvent } from "../audit/diagnostic_registry.js";
+import { canContractHardFail } from "./contract_registry.js";
+import { evaluateCoreExperiencePrinciple, recordCepIntegration } from "../audit/core_experience_principle.js";
+import { isPathInScope } from "../core/path_scope_utils.js";
+const BUILTIN_GUARDS = [
+    {
+        guard_id: "guard-write-readonly",
+        guard_type: "write",
+        enforced: true,
+        trigger_description: "只读工作流写入业务源码",
+        block_condition: "route=skip_chat/direct_answer/read_only_analysis 且写入目标为业务源码",
+        allow_condition: "route 允许写入",
+        failure_behavior: "block",
+        contract_id: "command_execution_contract",
+        diagnostic_code: "SF-GUARD-0001",
+        required_context: ["route", "target_path"],
+    },
+    {
+        guard_id: "guard-write-scope",
+        guard_type: "write",
+        enforced: true,
+        trigger_description: "超出 output artifact 范围写入",
+        block_condition: "source_extraction 写入非 output artifact 路径",
+        allow_condition: "写入路径在 output artifact 范围内",
+        failure_behavior: "block",
+        contract_id: "artifact_contract",
+        diagnostic_code: "SF-GUARD-0002",
+        required_context: ["route", "target_path", "output_artifact_paths"],
+    },
+    {
+        guard_id: "guard-state-pseudo-promotion",
+        guard_type: "state",
+        enforced: true,
+        trigger_description: "非法状态转移: 终态/阻断态 → completed",
+        block_condition: "failed/blocked/requires_human → completed",
+        allow_condition: "合法状态转移路径",
+        failure_behavior: "block",
+        contract_id: "task_context_contract",
+        diagnostic_code: "SF-STATE-0001",
+        required_context: ["current_status", "target_status"],
+    },
+    {
+        guard_id: "guard-delivery-explicit",
+        guard_type: "delivery",
+        enforced: true,
+        trigger_description: "交付未显式触发",
+        block_condition: "delivery_readiness 自动触发 commit/push/PR/deploy",
+        allow_condition: "交付动作由 sf_stage_advance 显式触发",
+        failure_behavior: "block",
+        contract_id: "artifact_contract",
+        diagnostic_code: "SF-VERIFY-0002",
+        required_context: ["delivery_trigger"],
+    },
+    {
+        guard_id: "guard-knowledge-injectable",
+        guard_type: "knowledge_injection",
+        enforced: true,
+        trigger_description: "非 injectable 知识进入 prompt",
+        block_condition: "draft/quarantine/deprecated 知识被注入",
+        allow_condition: "知识状态为 active 且 injectable",
+        failure_behavior: "block",
+        contract_id: "knowledge_injection_contract",
+        diagnostic_code: "SF-GUARD-0004",
+        required_context: ["knowledge_state", "knowledge_lifecycle"],
+    },
+    {
+        guard_id: "guard-execution-destructive",
+        guard_type: "execution",
+        enforced: true,
+        trigger_description: "破坏性命令未确认",
+        block_condition: "destructive 命令无人工确认",
+        allow_condition: "命令经人工确认或有明确策略",
+        failure_behavior: "require_human",
+        contract_id: "command_execution_contract",
+        diagnostic_code: "SF-GUARD-0003",
+        required_context: ["command", "risk_level"],
+    },
+    {
+        guard_id: "guard-external-side-effect",
+        guard_type: "external_side_effect",
+        enforced: true,
+        trigger_description: "外部副作用未记录",
+        block_condition: "git push/PR/deploy/数据库迁移 无 evidence",
+        allow_condition: "副作用有完整 evidence 记录",
+        failure_behavior: "block",
+        contract_id: "delivery_readiness_contract",
+        diagnostic_code: "SF-GUARD-0006",
+        required_context: ["action_type", "evidence"],
+    },
+    {
+        guard_id: "guard-prompt-auth",
+        guard_type: "prompt",
+        enforced: true,
+        trigger_description: "Prompt 授权超过 workflow contract",
+        block_condition: "prompt 包含超出 workflow 的权限",
+        allow_condition: "prompt 权限在 workflow 范围内",
+        failure_behavior: "block",
+        contract_id: "workflow_contract",
+        diagnostic_code: "SF-GUARD-0005",
+        required_context: ["workflow_id", "prompt_permissions"],
+    },
+];
+let runtimeGuards = null;
+function getRegistry() {
+    if (!runtimeGuards) {
+        runtimeGuards = new Map();
+        for (const entry of BUILTIN_GUARDS) {
+            runtimeGuards.set(entry.guard_id, { ...entry });
+        }
+    }
+    return runtimeGuards;
+}
+/** 列出所有护栏 */
+export function listAllGuards() {
+    return [...getRegistry().values()];
+}
+/** 按类型列出护栏 */
+export function listGuardsByType(type) {
+    return [...getRegistry().values()].filter((g) => g.guard_type === type);
+}
+/** 注册新护栏（运行时） */
+export function registerGuard(entry) {
+    const registry = getRegistry();
+    if (registry.has(entry.guard_id)) {
+        return { success: false, error: `护栏 ${entry.guard_id} 已存在` };
+    }
+    if (!getDiagnosticByCode(entry.diagnostic_code)) {
+        return { success: false, error: `诊断码 ${entry.diagnostic_code} 不存在` };
+    }
+    registry.set(entry.guard_id, { ...entry });
+    return { success: true };
+}
+/**
+ * 评估写入护栏。
+ * 检查 route 和 target_path 是否违反写入规则。
+ */
+export function evaluateWriteGuard(route, targetPath, outputArtifactPaths, contractId) {
+    const findings = [];
+    const read_only_routes = ["skip_chat", "direct_answer", "read_only_analysis"];
+    // 只读工作流写入检查
+    if (read_only_routes.some((r) => route.includes(r))) {
+        const guard = getRegistry().get("guard-write-readonly");
+        if (guard && guard.enforced) {
+            const canHardFail = canContractHardFail(guard.contract_id);
+            findings.push({
+                guard_id: guard.guard_id,
+                contract_id: guard.contract_id,
+                diagnostic_code: guard.diagnostic_code,
+                severity: canHardFail ? "hard_fail" : "warning",
+                action: guard.failure_behavior,
+                reason_zh: `只读路由 ${route} 不允许写入 ${targetPath}`,
+                blocked: canHardFail,
+                diagnostic_event: createDiagnosticEvent(guard.diagnostic_code, { route, targetPath }, contractId),
+            });
+        }
+    }
+    // scope 检查（source_extraction 超范围）
+    if (route.includes("source_extraction") && outputArtifactPaths.length > 0) {
+        if (!outputArtifactPaths.some((p) => isPathInScope(targetPath, p, { caseSensitive: true }))) {
+            const guard = getRegistry().get("guard-write-scope");
+            if (guard && guard.enforced) {
+                const canHardFail = canContractHardFail(guard.contract_id);
+                findings.push({
+                    guard_id: guard.guard_id,
+                    contract_id: guard.contract_id,
+                    diagnostic_code: guard.diagnostic_code,
+                    severity: canHardFail ? "hard_fail" : "warning",
+                    action: guard.failure_behavior,
+                    reason_zh: `source_extraction 只能写入 output artifact 路径，不能写入 ${targetPath}`,
+                    blocked: canHardFail,
+                    diagnostic_event: createDiagnosticEvent(guard.diagnostic_code, { route, targetPath }, contractId),
+                });
+            }
+        }
+    }
+    // CEP: 护栏评估后核心体验检查
+    const guardBlocked = findings.some(f => f.blocked);
+    const cepGuardResult = evaluateCoreExperiencePrinciple({
+        task_id: "", workflow_id: "guard_evaluation",
+        has_mainline_hooks: true, has_owner_contracts: true,
+        natural_language_entry: true, requires_internal_contract_knowledge: false,
+        user_path_steps: 3, has_failures: guardBlocked, hard_fail_downgraded: false,
+        forced_heavy_process: false, has_sufficient_evidence: !guardBlocked,
+        output_too_long_no_summary: false, report_only_no_repair: false,
+        failed_but_marked_done: false, auto_repair_overreach: false,
+        repair_reverified: false, outputs_raw_noise: false,
+    });
+    recordCepIntegration("guard_evaluation", cepGuardResult);
+    return findings;
+}
+/**
+ * 评估状态护栏。
+ * 检查状态转移是否合法。
+ */
+export function evaluateStateGuard(currentStatus, targetStatus, contractId) {
+    const findings = [];
+    const BLOCKED_FROM = ["failed", "blocked", "requires_human"];
+    const BLOCKED_TO = "completed";
+    if (BLOCKED_FROM.includes(currentStatus) && targetStatus === BLOCKED_TO) {
+        const guard = getRegistry().get("guard-state-pseudo-promotion");
+        if (guard && guard.enforced) {
+            const canHardFail = canContractHardFail(guard.contract_id);
+            findings.push({
+                guard_id: guard.guard_id,
+                contract_id: guard.contract_id,
+                diagnostic_code: guard.diagnostic_code,
+                severity: canHardFail ? "hard_fail" : "warning",
+                action: guard.failure_behavior,
+                reason_zh: `非法状态转移: ${currentStatus} → completed`,
+                blocked: canHardFail,
+                diagnostic_event: createDiagnosticEvent(guard.diagnostic_code, { currentStatus, targetStatus }, contractId),
+            });
+        }
+    }
+    return findings;
+}
+/**
+ * 生成完整护栏评估报告。
+ */
+export function generateGuardEvaluationReport(workflowId, route, mutationAllowed, guardIds) {
+    const allowed = [];
+    const blocked = [];
+    const warnings = [];
+    const humanRequired = [];
+    for (const guardId of guardIds) {
+        const guard = getRegistry().get(guardId);
+        if (!guard)
+            continue;
+        if (!guard.enforced) {
+            allowed.push(guardId);
+            continue;
+        }
+        // 简化评估: 如果 mutation 不允许且 guard 是写入类型，则阻断
+        if (!mutationAllowed && guard.guard_type === "write") {
+            const canHardFail = canContractHardFail(guard.contract_id);
+            const finding = {
+                guard_id: guard.guard_id,
+                contract_id: guard.contract_id,
+                diagnostic_code: guard.diagnostic_code,
+                severity: canHardFail ? "hard_fail" : "warning",
+                action: guard.failure_behavior,
+                reason_zh: guard.trigger_description,
+                blocked: canHardFail,
+                diagnostic_event: createDiagnosticEvent(guard.diagnostic_code, { workflowId, route }),
+            };
+            blocked.push(finding);
+        }
+        else {
+            allowed.push(guardId);
+        }
+    }
+    return {
+        evaluated_at: new Date().toISOString(),
+        workflow_id: workflowId,
+        route,
+        mutation_allowed: mutationAllowed,
+        evaluated_guards: guardIds,
+        allowed,
+        blocked,
+        warnings,
+        human_required: humanRequired,
+    };
+}
+/**
+ * 校验所有 guard 的 contract_id 是否存在于 Contract Registry。
+ */
+export function validateGuardContractIds(contractExistsFn) {
+    const findings = [];
+    for (const guard of getRegistry().values()) {
+        if (!contractExistsFn(guard.contract_id)) {
+            findings.push({
+                guard_id: guard.guard_id,
+                contract_id: guard.contract_id,
+                severity: "hard_fail",
+            });
+        }
+    }
+    return findings;
+}
+/**
+ * 评估交付就绪护栏。
+ * 检查交付是否由 sf_stage_advance 显式触发，验证结果是否满足交付条件。
+ */
+export function evaluateDeliveryReadinessGuard(verificationResult, _verificationPlan) {
+    const findings = [];
+    // guard-delivery-explicit: 交付必须由 sf_stage_advance 显式触发
+    const guard = getRegistry().get("guard-delivery-explicit");
+    if (guard && guard.enforced) {
+        // 如果验证结果不存在或是 plan_only，给出警告
+        if (!verificationResult || verificationResult.status === "not_executed") {
+            const canHardFail = canContractHardFail(guard.contract_id);
+            findings.push({
+                guard_id: guard.guard_id,
+                contract_id: guard.contract_id,
+                diagnostic_code: guard.diagnostic_code,
+                severity: canHardFail ? "hard_fail" : "warning",
+                action: guard.failure_behavior,
+                reason_zh: verificationResult
+                    ? `验证结果状态为 ${verificationResult.status}，未通过真实执行验证`
+                    : "无验证结果，不得交付",
+                blocked: canHardFail,
+                diagnostic_event: createDiagnosticEvent(guard.diagnostic_code, { verification_status: verificationResult?.status ?? "missing" }, guard.contract_id),
+            });
+        }
+    }
+    return findings;
+}
+/**
+ * 破坏性命令模式库 — 匹配已知的高风险命令模式。
+ * 每个条目包含正则和中文描述，用于生成诊断信息。
+ */
+const DESTRUCTIVE_COMMAND_PATTERNS = [
+    { pattern: /\brm\s+(-[a-zA-Z]*r[a-zA-Z]*f[a-zA-Z]*|-rf)\b/, label_zh: "递归强制删除" },
+    { pattern: /\brm\s+-[a-zA-Z]*r/, label_zh: "递归删除" },
+    { pattern: /\bgit\s+push\s+.*--force(?:-with-lease)?\b/, label_zh: "强制推送" },
+    { pattern: /\bgit\s+push\s+(\S+\s+)*-f\b/, label_zh: "强制推送" },
+    { pattern: /\bDROP\s+(TABLE|DATABASE|SCHEMA)\b/i, label_zh: "SQL 删除表/数据库" },
+    { pattern: /\bTRUNCATE\s+(TABLE\s+)?[\w.]+/i, label_zh: "SQL 清空表" },
+    { pattern: /\bDELETE\s+FROM\b(?![^;]*\bWHERE\b)/i, label_zh: "SQL 无 WHERE 删除" },
+    { pattern: /\bchmod\s+(-R\s+)?777\b/, label_zh: "全权限修改" },
+    { pattern: /\bdocker\s+system\s+prune\b/, label_zh: "Docker 系统清理" },
+    { pattern: /\bdocker\s+rm\s+(-f|--force)\b/, label_zh: "Docker 强制删除容器" },
+    { pattern: /\bnpm\s+publish\b/, label_zh: "npm 发布（不可撤回）" },
+];
+/**
+ * 评估破坏性命令护栏。
+ * 结合 riskLevel 和命令模式双重判定，人工确认后可放行。
+ *
+ * 判定逻辑:
+ * - riskLevel === "destructive" 且匹配破坏性模式 → hard_fail（不可确认放行）
+ * - riskLevel === "destructive" 或匹配破坏性模式 → 需确认
+ *   - humanConfirmed=true → 放行（清空 findings）
+ *   - humanConfirmed=false → 阻断
+ * - 仅模式匹配（riskLevel !== "destructive"） → warning
+ * - 均不匹配 → 放行（空 findings）
+ */
+export function evaluateExecutionDestructiveGuard(command, riskLevel, humanConfirmed) {
+    const findings = [];
+    const guard = getRegistry().get("guard-execution-destructive");
+    if (!guard || !guard.enforced) {
+        return findings;
+    }
+    const canHardFail = canContractHardFail(guard.contract_id);
+    // 匹配破坏性命令模式
+    const matchedPatterns = DESTRUCTIVE_COMMAND_PATTERNS.filter((p) => p.pattern.test(command));
+    const matchesDestructivePattern = matchedPatterns.length > 0;
+    const isDestructiveRisk = riskLevel === "destructive";
+    // 双重确认: riskLevel=destructive 且匹配模式 → 不可确认放行的硬阻断
+    if (isDestructiveRisk && matchesDestructivePattern) {
+        findings.push({
+            guard_id: guard.guard_id,
+            contract_id: guard.contract_id,
+            diagnostic_code: guard.diagnostic_code,
+            severity: "hard_fail",
+            action: "block",
+            reason_zh: `高风险破坏性命令 "${command.slice(0, 80)}" 匹配破坏性模式（${matchedPatterns.map((p) => p.label_zh).join("、")}），即使人工确认也不允许执行`,
+            blocked: true,
+            diagnostic_event: createDiagnosticEvent(guard.diagnostic_code, { command, riskLevel, matched_patterns: matchedPatterns.map((p) => p.label_zh), dual_block: true }, guard.contract_id),
+        });
+        return findings;
+    }
+    // 单一条件触发: riskLevel=destructive 或匹配模式 → 需人工确认
+    if (isDestructiveRisk || matchesDestructivePattern) {
+        if (humanConfirmed) {
+            // 人工已确认 → 放行
+            return findings;
+        }
+        // 未确认 → 阻断/警告
+        const patternLabel = matchesDestructivePattern
+            ? matchedPatterns.map((p) => p.label_zh).join("、")
+            : "";
+        findings.push({
+            guard_id: guard.guard_id,
+            contract_id: guard.contract_id,
+            diagnostic_code: guard.diagnostic_code,
+            severity: canHardFail ? "hard_fail" : "warning",
+            action: guard.failure_behavior,
+            reason_zh: matchesDestructivePattern
+                ? `命令 "${command.slice(0, 80)}" 匹配破坏性模式（${patternLabel}），需要人工确认`
+                : `破坏性命令 "${command.slice(0, 80)}" 需要人工确认`,
+            blocked: canHardFail,
+            diagnostic_event: createDiagnosticEvent(guard.diagnostic_code, { command, riskLevel, matched_patterns: matchedPatterns.map((p) => p.label_zh) }, guard.contract_id),
+        });
+        return findings;
+    }
+    // 均不匹配 → 放行
+    return findings;
+}
+const EXTERNAL_SIDE_EFFECT_TYPES = {
+    deploy: "critical",
+    migration: "critical",
+    database_change: "critical",
+    git_push: "standard",
+    pr_create: "standard",
+    release: "standard",
+};
+/**
+ * 评估外部副作用护栏。
+ * 检查外部副作用操作是否有 evidence 记录，根据操作类型区分严重度。
+ *
+ * 判定逻辑:
+ * - hasEvidence=true → 放行（空 findings）
+ * - hasEvidence=false:
+ *   - critical 类型（deploy/migration/database_change）→ hard_fail
+ *   - standard 类型（git_push/pr_create/release）→ warning
+ *   - 未知类型 → warning（保守降级）
+ */
+export function evaluateExternalSideEffectGuard(actionType, hasEvidence) {
+    const findings = [];
+    const guard = getRegistry().get("guard-external-side-effect");
+    if (!guard || !guard.enforced) {
+        return findings;
+    }
+    // 有 evidence → 放行
+    if (hasEvidence) {
+        return findings;
+    }
+    const canHardFail = canContractHardFail(guard.contract_id);
+    const criticality = EXTERNAL_SIDE_EFFECT_TYPES[actionType];
+    if (criticality === "critical") {
+        // 关键操作无 evidence → 硬阻断
+        findings.push({
+            guard_id: guard.guard_id,
+            contract_id: guard.contract_id,
+            diagnostic_code: guard.diagnostic_code,
+            severity: canHardFail ? "hard_fail" : "warning",
+            action: guard.failure_behavior,
+            reason_zh: `关键外部副作用操作 "${actionType}" 缺少 evidence 记录，操作已阻断`,
+            blocked: canHardFail,
+            diagnostic_event: createDiagnosticEvent(guard.diagnostic_code, { actionType, criticality: "critical" }, guard.contract_id),
+        });
+    }
+    else if (criticality === "standard") {
+        // 标准操作无 evidence → 警告
+        findings.push({
+            guard_id: guard.guard_id,
+            contract_id: guard.contract_id,
+            diagnostic_code: guard.diagnostic_code,
+            severity: "warning",
+            action: "warn",
+            reason_zh: `外部副作用操作 "${actionType}" 缺少 evidence 记录，建议补充`,
+            blocked: false,
+            diagnostic_event: createDiagnosticEvent(guard.diagnostic_code, { actionType, criticality: "standard" }, guard.contract_id),
+        });
+    }
+    else {
+        // 未知类型 → 保守降级为警告
+        findings.push({
+            guard_id: guard.guard_id,
+            contract_id: guard.contract_id,
+            diagnostic_code: guard.diagnostic_code,
+            severity: "warning",
+            action: "warn",
+            reason_zh: `未知外部副作用操作 "${actionType}" 缺少 evidence 记录，建议补充`,
+            blocked: false,
+            diagnostic_event: createDiagnosticEvent(guard.diagnostic_code, { actionType, criticality: "unknown" }, guard.contract_id),
+        });
+    }
+    return findings;
+}
+/** 重置注册表（测试用） */
+export function resetGuardRegistry() {
+    runtimeGuards = null;
+}
+//# sourceMappingURL=enforcement_guard.js.map

package/dist/engine/contracts/enforcement_guard.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"enforcement_guard.js","sourceRoot":"","sources":["../../../src/engine/contracts/enforcement_guard.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,mBAAmB,EAAE,qBAAqB,EAAwB,MAAM,iCAAiC,CAAC;AACnH,OAAO,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAC7D,OAAO,EAAE,+BAA+B,EAAE,oBAAoB,EAAE,MAAM,uCAAuC,CAAC;AAC9G,OAAO,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AAmD5D,MAAM,cAAc,GAAqC;IACvD;QACE,QAAQ,EAAE,sBAAsB;QAChC,UAAU,EAAE,OAAO;QACnB,QAAQ,EAAE,IAAI;QACd,mBAAmB,EAAE,aAAa;QAClC,eAAe,EAAE,6DAA6D;QAC9E,eAAe,EAAE,YAAY;QAC7B,gBAAgB,EAAE,OAAO;QACzB,WAAW,EAAE,4BAA4B;QACzC,eAAe,EAAE,eAAe;QAChC,gBAAgB,EAAE,CAAC,OAAO,EAAE,aAAa,CAAC;KAC3C;IACD;QACE,QAAQ,EAAE,mBAAmB;QAC7B,UAAU,EAAE,OAAO;QACnB,QAAQ,EAAE,IAAI;QACd,mBAAmB,EAAE,yBAAyB;QAC9C,eAAe,EAAE,0CAA0C;QAC3D,eAAe,EAAE,2BAA2B;QAC5C,gBAAgB,EAAE,OAAO;QACzB,WAAW,EAAE,mBAAmB;QAChC,eAAe,EAAE,eAAe;QAChC,gBAAgB,EAAE,CAAC,OAAO,EAAE,aAAa,EAAE,uBAAuB,CAAC;KACpE;IACD;QACE,QAAQ,EAAE,8BAA8B;QACxC,UAAU,EAAE,OAAO;QACnB,QAAQ,EAAE,IAAI;QACd,mBAAmB,EAAE,4BAA4B;QACjD,eAAe,EAAE,2CAA2C;QAC5D,eAAe,EAAE,UAAU;QAC3B,gBAAgB,EAAE,OAAO;QACzB,WAAW,EAAE,uBAAuB;QACpC,eAAe,EAAE,eAAe;QAChC,gBAAgB,EAAE,CAAC,gBAAgB,EAAE,eAAe,CAAC;KACtD;IACD;QACE,QAAQ,EAAE,yBAAyB;QACnC,UAAU,EAAE,UAAU;QACtB,QAAQ,EAAE,IAAI;QACd,mBAAmB,EAAE,SAAS;QAC9B,eAAe,EAAE,+CAA+C;QAChE,eAAe,EAAE,6BAA6B;QAC9C,gBAAgB,EAAE,OAAO;QACzB,WAAW,EAAE,mBAAmB;QAChC,eAAe,EAAE,gBAAgB;QACjC,gBAAgB,EAAE,CAAC,kBAAkB,CAAC;KACvC;IACD;QACE,QAAQ,EAAE,4BAA4B;QACtC,UAAU,EAAE,qBAAqB;QACjC,QAAQ,EAAE,IAAI;QACd,mBAAmB,EAAE,0BAA0B;QAC/C,eAAe,EAAE,mCAAmC;QACpD,eAAe,EAAE,2BAA2B;QAC5C,gBAAgB,EAAE,OAAO;QACzB,WAAW,EAAE,8BAA8B;QAC3C,eAAe,EAAE,eAAe;QAChC,gBAAgB,EAAE,CAAC,iBAAiB,EAAE,qBAAqB,CAAC;KAC7D;IACD;QACE,QAAQ,EAAE,6BAA6B;QACvC,UAAU,EAAE,WAAW;QACvB,QAAQ,EAAE,IAAI;QACd,mBAAmB,EAAE,UAAU;QAC/B,eAAe,EAAE,qBAAqB;QACtC,eAAe,EAAE,eAAe;QAChC,gBAAgB,EAAE,eAAe;QACjC,WAAW,EAAE,4BAA4B;QACzC,eAAe,EAAE,eAAe;QAChC,gBAAgB,EAAE,CAAC,SAAS,EAAE,YAAY,CAAC;KAC5C;IACD;QACE,QAAQ,EAAE,4BAA4B;QACtC,UAAU,EAAE,sBAAsB;QAClC,QAAQ,EAAE,IAAI;QACd,mBAAmB,EAAE,UAAU;QAC/B,eAAe,EAAE,qCAAqC;QACtD,eAAe,EAAE,oBAAoB;QACrC,gBAAgB,EAAE,OAAO;QACzB,WAAW,EAAE,6BAA6B;QAC1C,eAAe,EAAE,eAAe;QAChC,gBAAgB,EAAE,CAAC,aAAa,EAAE,UAAU,CAAC;KAC9C;IACD;QACE,QAAQ,EAAE,mBAAmB;QAC7B,UAAU,EAAE,QAAQ;QACpB,QAAQ,EAAE,IAAI;QACd,mBAAmB,EAAE,+BAA+B;QACpD,eAAe,EAAE,0BAA0B;QAC3C,eAAe,EAAE,yBAAyB;QAC1C,gBAAgB,EAAE,OAAO;QACzB,WAAW,EAAE,mBAAmB;QAChC,eAAe,EAAE,eAAe;QAChC,gBAAgB,EAAE,CAAC,aAAa,EAAE,oBAAoB,CAAC;KACxD;CACF,CAAC;AAEF,IAAI,aAAa,GAA8C,IAAI,CAAC;AAEpE,SAAS,WAAW;IAClB,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,aAAa,GAAG,IAAI,GAAG,EAAE,CAAC;QAC1B,KAAK,MAAM,KAAK,IAAI,cAAc,EAAE,CAAC;YACnC,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;IACD,OAAO,aAAa,CAAC;AACvB,CAAC;AAED,aAAa;AACb,MAAM,UAAU,aAAa;IAC3B,OAAO,CAAC,GAAG,WAAW,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC;AACrC,CAAC;AAED,cAAc;AACd,MAAM,UAAU,gBAAgB,CAAC,IAAe;IAC9C,OAAO,CAAC,GAAG,WAAW,EAAE,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC;AAC1E,CAAC;AAED,iBAAiB;AACjB,MAAM,UAAU,aAAa,CAAC,KAA4B;IACxD,MAAM,QAAQ,GAAG,WAAW,EAAE,CAAC;IAC/B,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,KAAK,CAAC,QAAQ,MAAM,EAAE,CAAC;IAC/D,CAAC;IACD,IAAI,CAAC,mBAAmB,CAAC,KAAK,CAAC,eAAe,CAAC,EAAE,CAAC;QAChD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,KAAK,CAAC,eAAe,MAAM,EAAE,CAAC;IACvE,CAAC;IACD,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;IAC3C,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AAC3B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAChC,KAAa,EACb,UAAkB,EAClB,mBAA6B,EAC7B,UAAkB;IAElB,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,MAAM,gBAAgB,GAAG,CAAC,WAAW,EAAE,eAAe,EAAE,oBAAoB,CAAC,CAAC;IAE9E,YAAY;IACZ,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACpD,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;QACxD,IAAI,KAAK,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YAC5B,MAAM,WAAW,GAAG,mBAAmB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;YAC3D,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,WAAW,EAAE,KAAK,CAAC,WAAW;gBAC9B,eAAe,EAAE,KAAK,CAAC,eAAe;gBACtC,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS;gBAC/C,MAAM,EAAE,KAAK,CAAC,gBAAgB;gBAC9B,SAAS,EAAE,QAAQ,KAAK,UAAU,UAAU,EAAE;gBAC9C,OAAO,EAAE,WAAW;gBACpB,gBAAgB,EAAE,qBAAqB,CAAC,KAAK,CAAC,eAAe,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,UAAU,CAAC;aAClG,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,kCAAkC;IAClC,IAAI,KAAK,CAAC,QAAQ,CAAC,mBAAmB,CAAC,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1E,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;YAC5F,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC;YACrD,IAAI,KAAK,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;gBAC5B,MAAM,WAAW,GAAG,mBAAmB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;gBAC3D,QAAQ,CAAC,IAAI,CAAC;oBACZ,QAAQ,EAAE,KAAK,CAAC,QAAQ;oBACxB,WAAW,EAAE,KAAK,CAAC,WAAW;oBAC9B,eAAe,EAAE,KAAK,CAAC,eAAe;oBACtC,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS;oBAC/C,MAAM,EAAE,KAAK,CAAC,gBAAgB;oBAC9B,SAAS,EAAE,kDAAkD,UAAU,EAAE;oBACzE,OAAO,EAAE,WAAW;oBACpB,gBAAgB,EAAE,qBAAqB,CAAC,KAAK,CAAC,eAAe,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,EAAE,UAAU,CAAC;iBAClG,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,mBAAmB;IACnB,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;IACnD,MAAM,cAAc,GAAG,+BAA+B,CAAC;QACrD,OAAO,EAAE,EAAE,EAAE,WAAW,EAAE,kBAAkB;QAC5C,kBAAkB,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI;QACnD,sBAAsB,EAAE,IAAI,EAAE,oCAAoC,EAAE,KAAK;QACzE,eAAe,EAAE,CAAC,EAAE,YAAY,EAAE,YAAY,EAAE,oBAAoB,EAAE,KAAK;QAC3E,oBAAoB,EAAE,KAAK,EAAE,uBAAuB,EAAE,CAAC,YAAY;QACnE,0BAA0B,EAAE,KAAK,EAAE,qBAAqB,EAAE,KAAK;QAC/D,sBAAsB,EAAE,KAAK,EAAE,qBAAqB,EAAE,KAAK;QAC3D,iBAAiB,EAAE,KAAK,EAAE,iBAAiB,EAAE,KAAK;KACnD,CAAC,CAAC;IACH,oBAAoB,CAAC,kBAAkB,EAAE,cAAc,CAAC,CAAC;IAEzD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAChC,aAAqB,EACrB,YAAoB,EACpB,UAAkB;IAElB,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,MAAM,YAAY,GAAa,CAAC,QAAQ,EAAE,SAAS,EAAE,gBAAgB,CAAC,CAAC;IACvE,MAAM,UAAU,GAAG,WAAW,CAAC;IAE/B,IAAI,YAAY,CAAC,QAAQ,CAAC,aAAa,CAAC,IAAI,YAAY,KAAK,UAAU,EAAE,CAAC;QACxE,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC,GAAG,CAAC,8BAA8B,CAAC,CAAC;QAChE,IAAI,KAAK,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YAC5B,MAAM,WAAW,GAAG,mBAAmB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;YAC3D,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,WAAW,EAAE,KAAK,CAAC,WAAW;gBAC9B,eAAe,EAAE,KAAK,CAAC,eAAe;gBACtC,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS;gBAC/C,MAAM,EAAE,KAAK,CAAC,gBAAgB;gBAC9B,SAAS,EAAE,WAAW,aAAa,cAAc;gBACjD,OAAO,EAAE,WAAW;gBACpB,gBAAgB,EAAE,qBAAqB,CAAC,KAAK,CAAC,eAAe,EAAE,EAAE,aAAa,EAAE,YAAY,EAAE,EAAE,UAAU,CAAC;aAC5G,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,6BAA6B,CAC3C,UAAkB,EAClB,KAAa,EACb,eAAwB,EACxB,QAAkB;IAElB,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,OAAO,GAAmB,EAAE,CAAC;IACnC,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,MAAM,aAAa,GAAmB,EAAE,CAAC;IAEzC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACzC,IAAI,CAAC,KAAK;YAAE,SAAS;QAErB,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;YACpB,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACtB,SAAS;QACX,CAAC;QAED,yCAAyC;QACzC,IAAI,CAAC,eAAe,IAAI,KAAK,CAAC,UAAU,KAAK,OAAO,EAAE,CAAC;YACrD,MAAM,WAAW,GAAG,mBAAmB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;YAC3D,MAAM,OAAO,GAAiB;gBAC5B,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,WAAW,EAAE,KAAK,CAAC,WAAW;gBAC9B,eAAe,EAAE,KAAK,CAAC,eAAe;gBACtC,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS;gBAC/C,MAAM,EAAE,KAAK,CAAC,gBAAgB;gBAC9B,SAAS,EAAE,KAAK,CAAC,mBAAmB;gBACpC,OAAO,EAAE,WAAW;gBACpB,gBAAgB,EAAE,qBAAqB,CAAC,KAAK,CAAC,eAAe,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;aACtF,CAAC;YACF,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACxB,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACxB,CAAC;IACH,CAAC;IAED,OAAO;QACL,YAAY,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACtC,WAAW,EAAE,UAAU;QACvB,KAAK;QACL,gBAAgB,EAAE,eAAe;QACjC,gBAAgB,EAAE,QAAQ;QAC1B,OAAO;QACP,OAAO;QACP,QAAQ;QACR,cAAc,EAAE,aAAa;KAC9B,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,wBAAwB,CACtC,gBAAyC;IAEzC,MAAM,QAAQ,GAA4E,EAAE,CAAC;IAC7F,KAAK,MAAM,KAAK,IAAI,WAAW,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC;QAC3C,IAAI,CAAC,gBAAgB,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;YACzC,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,WAAW,EAAE,KAAK,CAAC,WAAW;gBAC9B,QAAQ,EAAE,WAAW;aACtB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,8BAA8B,CAC5C,kBAAkD,EAClD,iBAA+C;IAE/C,MAAM,QAAQ,GAAmB,EAAE,CAAC;IAEpC,uDAAuD;IACvD,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC,GAAG,CAAC,yBAAyB,CAAC,CAAC;IAC3D,IAAI,KAAK,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QAC5B,6BAA6B;QAC7B,IAAI,CAAC,kBAAkB,IAAI,kBAAkB,CAAC,MAAM,KAAK,cAAc,EAAE,CAAC;YACxE,MAAM,WAAW,GAAG,mBAAmB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;YAC3D,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBACxB,WAAW,EAAE,KAAK,CAAC,WAAW;gBAC9B,eAAe,EAAE,KAAK,CAAC,eAAe;gBACtC,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS;gBAC/C,MAAM,EAAE,KAAK,CAAC,gBAAgB;gBAC9B,SAAS,EAAE,kBAAkB;oBAC3B,CAAC,CAAC,WAAW,kBAAkB,CAAC,MAAM,YAAY;oBAClD,CAAC,CAAC,YAAY;gBAChB,OAAO,EAAE,WAAW;gBACpB,gBAAgB,EAAE,qBAAqB,CACrC,KAAK,CAAC,eAAe,EACrB,EAAE,mBAAmB,EAAE,kBAAkB,EAAE,MAAM,IAAI,SAAS,EAAE,EAChE,KAAK,CAAC,WAAW,CAClB;aACF,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;GAGG;AACH,MAAM,4BAA4B,GAAqD;IACrF,EAAE,OAAO,EAAE,+CAA+C,EAAE,QAAQ,EAAE,QAAQ,EAAE;IAChF,EAAE,OAAO,EAAE,oBAAoB,EAAE,QAAQ,EAAE,MAAM,EAAE;IACnD,EAAE,OAAO,EAAE,4CAA4C,EAAE,QAAQ,EAAE,MAAM,EAAE;IAC3E,EAAE,OAAO,EAAE,8BAA8B,EAAE,QAAQ,EAAE,MAAM,EAAE;IAC7D,EAAE,OAAO,EAAE,qCAAqC,EAAE,QAAQ,EAAE,aAAa,EAAE;IAC3E,EAAE,OAAO,EAAE,iCAAiC,EAAE,QAAQ,EAAE,SAAS,EAAE;IACnE,EAAE,OAAO,EAAE,sCAAsC,EAAE,QAAQ,EAAE,gBAAgB,EAAE;IAC/E,EAAE,OAAO,EAAE,yBAAyB,EAAE,QAAQ,EAAE,OAAO,EAAE;IACzD,EAAE,OAAO,EAAE,6BAA6B,EAAE,QAAQ,EAAE,aAAa,EAAE;IACnE,EAAE,OAAO,EAAE,gCAAgC,EAAE,QAAQ,EAAE,eAAe,EAAE;IACxE,EAAE,OAAO,EAAE,mBAAmB,EAAE,QAAQ,EAAE,cAAc,EAAE;CAC3D,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,iCAAiC,CAC/C,OAAe,EACf,SAAiB,EACjB,cAAuB;IAEvB,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC,GAAG,CAAC,6BAA6B,CAAC,CAAC;IAC/D,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;QAC9B,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,MAAM,WAAW,GAAG,mBAAmB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAE3D,YAAY;IACZ,MAAM,eAAe,GAAG,4BAA4B,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IAC5F,MAAM,yBAAyB,GAAG,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC;IAC7D,MAAM,iBAAiB,GAAG,SAAS,KAAK,aAAa,CAAC;IAEtD,iDAAiD;IACjD,IAAI,iBAAiB,IAAI,yBAAyB,EAAE,CAAC;QACnD,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,eAAe,EAAE,KAAK,CAAC,eAAe;YACtC,QAAQ,EAAE,WAAW;YACrB,MAAM,EAAE,OAAO;YACf,SAAS,EAAE,aAAa,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,gBAAgB;YACzH,OAAO,EAAE,IAAI;YACb,gBAAgB,EAAE,qBAAqB,CACrC,KAAK,CAAC,eAAe,EACrB,EAAE,OAAO,EAAE,SAAS,EAAE,gBAAgB,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,EAClG,KAAK,CAAC,WAAW,CAClB;SACF,CAAC,CAAC;QACH,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,8CAA8C;IAC9C,IAAI,iBAAiB,IAAI,yBAAyB,EAAE,CAAC;QACnD,IAAI,cAAc,EAAE,CAAC;YACnB,aAAa;YACb,OAAO,QAAQ,CAAC;QAClB,CAAC;QACD,cAAc;QACd,MAAM,YAAY,GAAG,yBAAyB;YAC5C,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;YAClD,CAAC,CAAC,EAAE,CAAC;QACP,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,eAAe,EAAE,KAAK,CAAC,eAAe;YACtC,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS;YAC/C,MAAM,EAAE,KAAK,CAAC,gBAAgB;YAC9B,SAAS,EAAE,yBAAyB;gBAClC,CAAC,CAAC,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,YAAY,UAAU;gBAChE,CAAC,CAAC,UAAU,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU;YAC5C,OAAO,EAAE,WAAW;YACpB,gBAAgB,EAAE,qBAAqB,CACrC,KAAK,CAAC,eAAe,EACrB,EAAE,OAAO,EAAE,SAAS,EAAE,gBAAgB,EAAE,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,EAChF,KAAK,CAAC,WAAW,CAClB;SACF,CAAC,CAAC;QACH,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,YAAY;IACZ,OAAO,QAAQ,CAAC;AAClB,CAAC;AAUD,MAAM,0BAA0B,GAAkD;IAChF,MAAM,EAAE,UAAU;IAClB,SAAS,EAAE,UAAU;IACrB,eAAe,EAAE,UAAU;IAC3B,QAAQ,EAAE,UAAU;IACpB,SAAS,EAAE,UAAU;IACrB,OAAO,EAAE,UAAU;CACpB,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,UAAU,+BAA+B,CAC7C,UAAkB,EAClB,WAAoB;IAEpB,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC,GAAG,CAAC,4BAA4B,CAAC,CAAC;IAC9D,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;QAC9B,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,kBAAkB;IAClB,IAAI,WAAW,EAAE,CAAC;QAChB,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,MAAM,WAAW,GAAG,mBAAmB,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;IAC3D,MAAM,WAAW,GAAG,0BAA0B,CAAC,UAAU,CAAC,CAAC;IAE3D,IAAI,WAAW,KAAK,UAAU,EAAE,CAAC;QAC/B,uBAAuB;QACvB,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,eAAe,EAAE,KAAK,CAAC,eAAe;YACtC,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS;YAC/C,MAAM,EAAE,KAAK,CAAC,gBAAgB;YAC9B,SAAS,EAAE,cAAc,UAAU,wBAAwB;YAC3D,OAAO,EAAE,WAAW;YACpB,gBAAgB,EAAE,qBAAqB,CACrC,KAAK,CAAC,eAAe,EACrB,EAAE,UAAU,EAAE,WAAW,EAAE,UAAU,EAAE,EACvC,KAAK,CAAC,WAAW,CAClB;SACF,CAAC,CAAC;IACL,CAAC;SAAM,IAAI,WAAW,KAAK,UAAU,EAAE,CAAC;QACtC,sBAAsB;QACtB,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,eAAe,EAAE,KAAK,CAAC,eAAe;YACtC,QAAQ,EAAE,SAAS;YACnB,MAAM,EAAE,MAAM;YACd,SAAS,EAAE,YAAY,UAAU,uBAAuB;YACxD,OAAO,EAAE,KAAK;YACd,gBAAgB,EAAE,qBAAqB,CACrC,KAAK,CAAC,eAAe,EACrB,EAAE,UAAU,EAAE,WAAW,EAAE,UAAU,EAAE,EACvC,KAAK,CAAC,WAAW,CAClB;SACF,CAAC,CAAC;IACL,CAAC;SAAM,CAAC;QACN,iBAAiB;QACjB,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,eAAe,EAAE,KAAK,CAAC,eAAe;YACtC,QAAQ,EAAE,SAAS;YACnB,MAAM,EAAE,MAAM;YACd,SAAS,EAAE,cAAc,UAAU,uBAAuB;YAC1D,OAAO,EAAE,KAAK;YACd,gBAAgB,EAAE,qBAAqB,CACrC,KAAK,CAAC,eAAe,EACrB,EAAE,UAAU,EAAE,WAAW,EAAE,SAAS,EAAE,EACtC,KAAK,CAAC,WAAW,CAClB;SACF,CAAC,CAAC;IACL,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,iBAAiB;AACjB,MAAM,UAAU,kBAAkB;IAChC,aAAa,GAAG,IAAI,CAAC;AACvB,CAAC"}

package/dist/engine/contracts/error_path_verifier.d.ts

@@ -0,0 +1,36 @@
+/**
+ * 错误处理路径验证器 — 检测 .ts 文件中的错误处理遗漏。
+ *
+ * 职责：
+ * - 检测未处理的 await 调用（不在 try/catch 中）
+ * - 检测 .then() 无 .catch() 的 Promise 链
+ * - 检测空 error handler（与 lazy_pattern_detector 联合）
+ * - 检测声明 throws 的函数调用方未处理
+ *
+ * 设计决策：
+ * - 所有检测基于纯正则，无 AST 依赖
+ * - warning 级别为主（不阻断），仅空 error handler 为 hard_fail
+ * - 优雅降级：非 .ts 文件返回空数组，不抛异常
+ */
+/** 错误处理路径发现项 */
+export interface ErrorPathFinding {
+    /** 关联的函数名或上下文 */
+    function_name: string;
+    /** 发现位置行号（1-based） */
+    line_number: number;
+    /** 问题类型 */
+    issue: "unhandled_await" | "unhandled_promise" | "empty_error_handler" | "missing_error_branch";
+    /** 严重级别 */
+    severity: "hard_fail" | "warning";
+    /** 中文描述 */
+    message: string;
+}
+/**
+ * 对 .ts 文件内容执行错误处理路径验证。
+ *
+ * @param content 文件内容
+ * @param filePath 文件路径（用于文件类型判断）
+ * @returns 错误处理路径发现项数组
+ */
+export declare function verifyErrorHandlingPaths(content: string, filePath: string): ErrorPathFinding[];
+//# sourceMappingURL=error_path_verifier.d.ts.map

package/dist/engine/contracts/error_path_verifier.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"error_path_verifier.d.ts","sourceRoot":"","sources":["../../../src/engine/contracts/error_path_verifier.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAIH,gBAAgB;AAChB,MAAM,WAAW,gBAAgB;IAC/B,iBAAiB;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,sBAAsB;IACtB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW;IACX,KAAK,EAAE,iBAAiB,GAAG,mBAAmB,GAAG,qBAAqB,GAAG,sBAAsB,CAAC;IAChG,WAAW;IACX,QAAQ,EAAE,WAAW,GAAG,SAAS,CAAC;IAClC,WAAW;IACX,OAAO,EAAE,MAAM,CAAC;CACjB;AAID;;;;;;GAMG;AACH,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,gBAAgB,EAAE,CA4F9F"}

package/dist/engine/contracts/error_path_verifier.js

@@ -0,0 +1,131 @@
+/**
+ * 错误处理路径验证器 — 检测 .ts 文件中的错误处理遗漏。
+ *
+ * 职责：
+ * - 检测未处理的 await 调用（不在 try/catch 中）
+ * - 检测 .then() 无 .catch() 的 Promise 链
+ * - 检测空 error handler（与 lazy_pattern_detector 联合）
+ * - 检测声明 throws 的函数调用方未处理
+ *
+ * 设计决策：
+ * - 所有检测基于纯正则，无 AST 依赖
+ * - warning 级别为主（不阻断），仅空 error handler 为 hard_fail
+ * - 优雅降级：非 .ts 文件返回空数组，不抛异常
+ */
+// ── 核心检测函数 ──
+/**
+ * 对 .ts 文件内容执行错误处理路径验证。
+ *
+ * @param content 文件内容
+ * @param filePath 文件路径（用于文件类型判断）
+ * @returns 错误处理路径发现项数组
+ */
+export function verifyErrorHandlingPaths(content, filePath) {
+    // 优雅降级：非 .ts 文件返回空数组
+    if (!filePath.endsWith(".ts") || filePath.endsWith(".d.ts")) {
+        return [];
+    }
+    const findings = [];
+    const lines = content.split("\n");
+    // 跟踪 try/catch 嵌套深度（简化版：基于括号计数）
+    let tryCatchDepth = 0;
+    for (let i = 0; i < lines.length; i++) {
+        const line = lines[i];
+        const trimmed = line.trim();
+        // 跳过纯注释行和空行
+        if (!trimmed || /^\s*(?:\/\/|\/\*|\*(?:\/|$))/.test(trimmed))
+            continue;
+        // 跳过 eslint-disable 行
+        if (/eslint-disable/.test(trimmed))
+            continue;
+        // 跟踪 try/catch 深度
+        if (/\btry\s*\{/.test(trimmed))
+            tryCatchDepth++;
+        if (/\bcatch\s*\(/.test(trimmed))
+            tryCatchDepth = Math.max(0, tryCatchDepth - 1);
+        // ── 检测 1: 未处理的 await 调用 ──
+        const awaitMatch = /^\s*(?:const|let|var)?\s*(?:\w+(?:\.\w+)*\s*=)?\s*await\s+/.exec(trimmed);
+        if (awaitMatch && tryCatchDepth === 0) {
+            // 排除：顶层 await（模块级）和已有 .catch() 链式调用
+            if (!trimmed.includes(".catch(") && !trimmed.includes(").catch(")) {
+                const fnName = extractFunctionName(trimmed) || "匿名";
+                findings.push({
+                    function_name: fnName,
+                    line_number: i + 1,
+                    issue: "unhandled_await",
+                    severity: "warning",
+                    message: `await 调用未在 try/catch 中：第 ${i + 1} 行的异步操作缺少错误处理路径`,
+                });
+            }
+            continue; // 同行不重复检测
+        }
+        // ── 检测 2: .then() 无 .catch() ──
+        const thenMatch = /\.then\s*\(/.exec(trimmed);
+        if (thenMatch && !trimmed.includes(".catch(") && !trimmed.includes(").catch(")) {
+            // 检查下一行是否有 .catch（链式调用可能跨行）
+            const nextLine = i + 1 < lines.length ? lines[i + 1].trim() : "";
+            if (!nextLine.includes(".catch(")) {
+                const fnName = extractFunctionName(trimmed) || "匿名";
+                findings.push({
+                    function_name: fnName,
+                    line_number: i + 1,
+                    issue: "unhandled_promise",
+                    severity: "warning",
+                    message: `.then() 链缺少 .catch()：第 ${i + 1} 行的 Promise 链未处理拒绝情况`,
+                });
+            }
+            continue;
+        }
+        // ── 检测 3: 空 error handler ──
+        const emptyCatchMatch = /catch\s*\(\s*\w+\s*(?::\s*\w+)?\s*\)\s*\{\s*(?:\/\/.*|\/\*.*?\*\/)?\s*\}/.exec(trimmed);
+        if (emptyCatchMatch) {
+            // 排除有 eslint-disable 注释的行
+            if (!/eslint-disable/.test(trimmed)) {
+                findings.push({
+                    function_name: extractFunctionName(trimmed) || "匿名",
+                    line_number: i + 1,
+                    issue: "empty_error_handler",
+                    severity: "hard_fail",
+                    message: `空 catch 块：第 ${i + 1} 行捕获了异常但未做任何处理`,
+                });
+            }
+            continue;
+        }
+        // ── 检测 4: @throws 声明但调用方未处理 ──
+        // 仅做简化检测：查找 @throws 标注的函数名，检查后续调用是否有 try/catch
+        const throwsMatch = /@throws\s+(?:\{[^}]+\}\s+)?(?:\w+(?:<[^>]+>)?)\s*[\s-]*(?:当|if|If|如果)?/.exec(trimmed);
+        if (throwsMatch) {
+            // 提取函数签名中的函数名
+            const prevLine = i > 0 ? lines[i - 1].trim() : "";
+            const funcNameMatch = /(?:function|const|let)\s+(\w+)/.exec(prevLine);
+            if (funcNameMatch) {
+                // 标记为需要关注，但不直接报 warning（调用方可能在不同文件）
+                // 这里只做注释记录，不生成 finding
+            }
+        }
+    }
+    return findings;
+}
+/**
+ * 从代码行中提取函数名（简化版）。
+ */
+function extractFunctionName(line) {
+    // 匹配 const/let/var 变量声明模式
+    const constMatch = /(?:const|let|var)\s+(\w+)/.exec(line);
+    if (constMatch)
+        return constMatch[1];
+    // 匹配 function 函数声明模式
+    const funcMatch = /function\s+(\w+)/.exec(line);
+    if (funcMatch)
+        return funcMatch[1];
+    // xxx.yyy(...)
+    const methodMatch = /(\w+)\.(\w+)\s*\(/.exec(line);
+    if (methodMatch)
+        return `${methodMatch[1]}.${methodMatch[2]}`;
+    // xxx(...)
+    const callMatch = /(\w+)\s*\(/.exec(line);
+    if (callMatch)
+        return callMatch[1];
+    return "";
+}
+//# sourceMappingURL=error_path_verifier.js.map