soloforge 1.1.2 → 1.1.31

package/dist/engine/contracts/project_knowledge_contract.js

@@ -0,0 +1,558 @@
+/**
+ * 用户项目知识合同。
+ *
+ * 内置 templates/** 解决 SoloForge 自带资产的同步与可见性；
+ * 用户项目 .soloforge/knowledge/** 则需要独立承载: 允许用户沉淀项目特有规则，
+ * 同时保证它们能被索引、选中、注入或审计，而不是静态文件。
+ */
+import fs from "node:fs";
+import path from "node:path";
+import crypto from "node:crypto";
+import matter from "gray-matter";
+import YAML from "yaml";
+import { getProjectKnowledgeDir } from "../../knowledge/loader.js";
+import { readSyncManifest, resolveAuthoritativeIdentity, computeAuthoritativeHash, } from "../templates/template_init_sync.js";
+import { getContractDecision } from "../templates/template_asset_contract_registry.js";
+import { extractTraceabilityIds } from "./traceability.js";
+import { getConsumptionTraces } from "../templates/consumption_trace_store.js";
+import { safeMatchIndex } from "../core/helpers.js";
+function listKnowledgeFiles(dir) {
+    if (!fs.existsSync(dir))
+        return [];
+    const out = [];
+    const stack = [dir];
+    while (stack.length > 0) {
+        const current = stack.pop();
+        for (const entry of fs.readdirSync(current, { withFileTypes: true })) {
+            if (["node_modules", ".git", ".DS_Store"].includes(entry.name))
+                continue;
+            const full = path.join(current, entry.name);
+            if (entry.isDirectory())
+                stack.push(full);
+            else if (/\.(md|ya?ml)$/i.test(entry.name))
+                out.push(full);
+        }
+    }
+    return out.sort();
+}
+// eslint-disable-next-line @typescript-eslint/no-explicit-any -- MCP SDK 桥接/动态 JSON 解析，字段由运行时决定
+function parseKnowledgeFile(filePath) {
+    try {
+        const raw = fs.readFileSync(filePath, "utf-8");
+        if (/\.md$/i.test(filePath)) {
+            const parsed = matter(raw);
+            return { data: parsed.data ?? {}, body: parsed.content ?? "", hasFrontmatter: raw.trimStart().startsWith("---") };
+        }
+        const data = YAML.parse(raw) ?? {};
+        return { data, body: raw, hasFrontmatter: Object.keys(data).length > 0 };
+    }
+    catch {
+        return { data: {}, body: "", hasFrontmatter: false };
+    }
+}
+function bodyHash(filePath) {
+    try {
+        const content = fs.readFileSync(filePath, "utf-8");
+        if (filePath.endsWith(".yaml") || filePath.endsWith(".yml")) {
+            const stripped = content.split("\n")
+                .filter((line) => !/^(status|updated_at)\s*:/.test(line.trim()))
+                .join("\n");
+            return crypto.createHash("sha256").update(stripped).digest("hex").substring(0, 16);
+        }
+        const bodyStart = content.indexOf("---", content.indexOf("---") + 3);
+        const body = bodyStart >= 0 ? content.substring(bodyStart + 3).trimStart() : content;
+        return crypto.createHash("sha256").update(body).digest("hex").substring(0, 16);
+    }
+    catch {
+        return null;
+    }
+}
+function normalizeList(value) {
+    if (Array.isArray(value))
+        return value.map(String).filter(Boolean);
+    if (typeof value === "string" && value.trim())
+        return [value.trim()];
+    return [];
+}
+function normalizeLifecycleStages(value) {
+    const allowed = new Set([
+        "requirements_intake",
+        "prototype_extraction",
+        "architecture_design",
+        "detail_design",
+        "slice_planning",
+        "implementation",
+        "testing",
+        "acceptance",
+        "delivery",
+    ]);
+    return normalizeList(value).filter((item) => allowed.has(item));
+}
+// eslint-disable-next-line @typescript-eslint/no-explicit-any -- MCP SDK 桥接/动态 JSON 解析，字段由运行时决定
+function inferConsumption(relPath, data, hardRule) {
+    const kind = String(data.asset_kind ?? data.type ?? "").toLowerCase();
+    const runtimeVisibility = String(data.runtime_visibility ?? "").toLowerCase();
+    const enforcementLevel = String(data.enforcement?.level ?? data.enforcement_level ?? "").toLowerCase();
+    if (kind === "audit_only" || runtimeVisibility === "audit_only" || enforcementLevel === "audit_only")
+        return "audit_only";
+    if (hardRule)
+        return "hard_rule";
+    if (relPath.includes("review_rules/") || kind === "review_rule")
+        return "review_rule";
+    if (relPath.includes("acceptance_templates/") || kind === "acceptance_template")
+        return "acceptance_template";
+    if (runtimeVisibility === "injectable")
+        return "injectable";
+    if (normalizeList(data.routes).length > 0 || normalizeList(data.primary_triggers).length > 0)
+        return "injectable";
+    return "index_only";
+}
+// eslint-disable-next-line @typescript-eslint/no-explicit-any -- MCP SDK 桥接/动态 JSON 解析，字段由运行时决定
+function hasHardRuleMarker(relPath, data, body, hasFrontmatter) {
+    if (!hasFrontmatter)
+        return false;
+    const kind = String(data.asset_kind ?? data.type ?? "").toLowerCase();
+    const priority = String(data.priority ?? "").toUpperCase();
+    const enforcementLevel = String(data.enforcement?.level ?? data.enforcement_level ?? "").toLowerCase();
+    return kind === "hard_rule"
+        || priority === "P0"
+        || priority === "P1"
+        || enforcementLevel === "hard_rule"
+        || (relPath.includes("rules/") && /hard[_ -]?fail|必须|不得|禁止/.test(body));
+}
+function classifyIdentity(projectPath, relPath, filePath) {
+    const manifest = readSyncManifest(projectPath);
+    const syncEntry = manifest?.entries?.[relPath];
+    const authoritative = resolveAuthoritativeIdentity(relPath);
+    if (syncEntry && authoritative) {
+        const authoritativeHash = computeAuthoritativeHash(authoritative.source_contract_path);
+        const currentBodyHash = bodyHash(filePath);
+        if (syncEntry.source_contract_path !== authoritative.source_contract_path)
+            return "conflict";
+        if (authoritativeHash && currentBodyHash && currentBodyHash !== authoritativeHash)
+            return "user_modified_builtin";
+        const decision = getContractDecision(authoritative.source_contract_path);
+        if (decision.contract?.lifecycle_status === "deprecated")
+            return "deprecated_builtin";
+        return "builtin_synced";
+    }
+    if (authoritative) {
+        const decision = getContractDecision(authoritative.source_contract_path);
+        if (decision.decision === "denied")
+            return "conflict";
+        return "user_modified_builtin";
+    }
+    return "user_authored";
+}
+function analyzeAsset(projectPath, knowledgeDir, filePath) {
+    const relPath = path.relative(knowledgeDir, filePath).replace(/\\/g, "/");
+    const parsed = parseKnowledgeFile(filePath);
+    const data = parsed.data;
+    const hardRule = hasHardRuleMarker(relPath, data, parsed.body, parsed.hasFrontmatter);
+    const routes = normalizeList(data.routes);
+    const primaryTriggers = normalizeList(data.primary_triggers);
+    const techStack = normalizeList(data.tech_stack);
+    const domains = normalizeList(data.domains ?? data.scope);
+    const lifecycleStages = normalizeLifecycleStages(data.lifecycle_stages ?? data.lifecycle_stage ?? data.stages);
+    const pathPatterns = normalizeList(data.path_patterns ?? data.paths ?? data.file_patterns);
+    const businessDomains = normalizeList(data.business_domains ?? data.business_domain ?? data.domains);
+    const traceabilityIds = [
+        ...normalizeList(data.traceability_ids),
+        ...extractTraceabilityIds(parsed.body),
+    ].filter((id, index, list) => list.indexOf(id) === index);
+    const verificationCommands = normalizeList(data.verification_commands ?? data.verify_commands);
+    const recoveryCommand = String(data.recovery_command ?? data.recovery ?? "").trim() || undefined;
+    const conflictGroup = String(data.conflict_group ?? data.rule_key ?? "").trim() || undefined;
+    const ruleValue = String(data.rule_value ?? data.decision_value ?? data.format ?? "").trim() || undefined;
+    const conflictsWith = normalizeList(data.conflicts_with);
+    const consumption = inferConsumption(relPath, data, hardRule);
+    const identity = classifyIdentity(projectPath, relPath, filePath);
+    const findings = [];
+    if (!parsed.hasFrontmatter) {
+        findings.push({
+            severity: "warning",
+            code: "PROJECT_KNOWLEDGE_FRONTMATTER_MISSING",
+            message_zh: "用户项目知识缺少 frontmatter，只能作为 index_only 背景资料，不能作为 hard rule 强执行。",
+        });
+    }
+    if (hardRule && routes.length === 0 && normalizeList(data.primary_triggers).length === 0) {
+        findings.push({
+            severity: "hard_fail",
+            code: "PROJECT_KNOWLEDGE_HARD_RULE_UNROUTED",
+            message_zh: "hard rule 缺少 routes 或 primary_triggers，无法被 SoloForge 稳定选中和消费。",
+        });
+    }
+    if (identity === "conflict") {
+        findings.push({
+            severity: "hard_fail",
+            code: "PROJECT_KNOWLEDGE_IDENTITY_CONFLICT",
+            message_zh: "项目知识与内置同步资产身份冲突，必须人工确认保留、合并或迁移。",
+        });
+    }
+    if (identity === "user_modified_builtin") {
+        findings.push({
+            severity: "advisory",
+            code: "PROJECT_KNOWLEDGE_USER_MODIFIED_BUILTIN",
+            message_zh: "用户修改过内置同步资产，sync-templates 不得自动覆盖；升级时应输出合并建议。",
+        });
+    }
+    if (consumption === "index_only" && hardRule) {
+        findings.push({
+            severity: "hard_fail",
+            code: "PROJECT_KNOWLEDGE_HARD_RULE_INDEX_ONLY",
+            message_zh: "hard rule 被判定为 index_only，必须补齐触发条件或降级为 advisory。",
+        });
+    }
+    return {
+        id: String(data.id ?? data.name ?? relPath),
+        name: String(data.name ?? path.basename(filePath, path.extname(filePath))),
+        rel_path: relPath,
+        abs_path: filePath,
+        identity,
+        consumption,
+        routes,
+        primary_triggers: primaryTriggers,
+        tech_stack: techStack,
+        domains,
+        lifecycle_stages: lifecycleStages,
+        path_patterns: pathPatterns,
+        business_domains: businessDomains,
+        traceability_ids: traceabilityIds,
+        verification_commands: verificationCommands,
+        recovery_command: recoveryCommand,
+        conflict_group: conflictGroup,
+        rule_value: ruleValue,
+        conflicts_with: conflictsWith,
+        has_frontmatter: parsed.hasFrontmatter,
+        hard_rule: hardRule,
+        injectable: consumption === "injectable" || consumption === "hard_rule",
+        audit_only: consumption === "audit_only",
+        evidence: {
+            created_by: identity === "user_authored" ? "user_project" : "soloforge_builtin",
+            synced_by: identity === "builtin_synced" ? "sync-templates" : undefined,
+            indexed_by: "audit-project-knowledge",
+        },
+        findings,
+    };
+}
+const SEMANTIC_CONFLICT_GROUPS = [
+    {
+        group: "api_response_format",
+        patterns: [/api|接口|响应|response/i],
+        values: [
+            { value: "ApiResponse", positive_patterns: [/统一(?:响应|返回)[^。\n]{0,24}\bApiResponse\b/i, /(?:必须|统一|采用|使用|标准为)[^。\n]{0,16}\bApiResponse\b/i] },
+            { value: "Result", positive_patterns: [/统一(?:响应|返回)[^。\n]{0,24}\bResult\b/i, /(?:必须|统一|采用|使用|标准为)[^。\n]{0,16}\bResult\b/i] },
+            { value: "ResponseEntity", positive_patterns: [/统一(?:响应|返回)[^。\n]{0,24}\bResponseEntity\b/i, /(?:必须|统一|采用|使用|标准为)[^。\n]{0,16}\bResponseEntity\b/i] },
+        ],
+    },
+    {
+        group: "pagination_format",
+        patterns: [/分页|pagination|page/i],
+        values: [
+            { value: "page_size", positive_patterns: [/分页(?:参数|请求|接口)[^。\n]{0,32}(?:统一|采用|使用|标准为)[^。\n]{0,24}(?:pageSize|page_size|page\/size|page\s*\+\s*size)/i] },
+            { value: "limit_offset", positive_patterns: [/分页(?:参数|请求|接口)[^。\n]{0,32}(?:统一|采用|使用|标准为)[^。\n]{0,24}(?:limit\/offset|limit\s*\+\s*offset)/i] },
+        ],
+    },
+    {
+        group: "logging_fields",
+        patterns: [/日志|log/i],
+        values: [
+            { value: "trace_id", positive_patterns: [/(?:日志|链路|请求)(?:字段|ID)?[^。\n]{0,24}(?:统一|采用|使用|标准为)[^。\n]{0,16}(?:traceId|trace_id)/i] },
+            { value: "request_id", positive_patterns: [/(?:日志|链路|请求)(?:字段|ID)?[^。\n]{0,24}(?:统一|采用|使用|标准为)[^。\n]{0,16}(?:requestId|request_id)/i] },
+        ],
+    },
+    {
+        group: "database_naming",
+        patterns: [/数据库|表名|字段|database|table/i],
+        values: [
+            { value: "snake_case", positive_patterns: [/(?:数据库|表名|字段|table|column)[^。\n]{0,24}(?:统一|采用|使用|标准为)[^。\n]{0,16}(?:snake_case|下划线)/i] },
+            { value: "camelCase", positive_patterns: [/(?:数据库|表名|字段|table|column)[^。\n]{0,24}(?:统一|采用|使用|标准为)[^。\n]{0,16}(?:camelCase|驼峰)/i] },
+        ],
+    },
+    {
+        group: "permission_model",
+        patterns: [/权限|permission|auth|租户/i],
+        values: [
+            { value: "rbac", positive_patterns: [/(?:权限|授权|permission|auth)[^。\n]{0,24}(?:统一|采用|使用|标准为)[^。\n]{0,16}(?:RBAC|角色)/i] },
+            { value: "abac", positive_patterns: [/(?:权限|授权|permission|auth)[^。\n]{0,24}(?:统一|采用|使用|标准为)[^。\n]{0,16}(?:ABAC|属性)/i] },
+        ],
+    },
+];
+function inferSemanticConflict(asset) {
+    const text = `${asset.name} ${asset.rel_path} ${asset.primary_triggers.join(" ")} ${asset.domains.join(" ")}`;
+    for (const candidate of SEMANTIC_CONFLICT_GROUPS) {
+        if (!candidate.patterns.some((pattern) => pattern.test(text)))
+            continue;
+        const body = fs.existsSync(asset.abs_path) ? fs.readFileSync(asset.abs_path, "utf-8") : text;
+        const matchedValue = candidate.values.find((item) => item.positive_patterns.some((pattern) => {
+            for (const match of body.matchAll(new RegExp(pattern.source, pattern.flags.includes("g") ? pattern.flags : `${pattern.flags}g`))) {
+                const context = body.slice(Math.max(0, safeMatchIndex(match) - 16), Math.min(body.length, safeMatchIndex(match) + match[0].length + 16));
+                if (/例如|如\s|比如|示例|不得|不要|禁止|不应|不能|避免/.test(context))
+                    continue;
+                return true;
+            }
+            return false;
+        }));
+        if (matchedValue)
+            return { group: candidate.group, value: matchedValue.value };
+    }
+    return null;
+}
+function detectProjectKnowledgeConflicts(assets) {
+    const byIdOrPath = new Map();
+    for (const asset of assets) {
+        byIdOrPath.set(asset.id, asset);
+        byIdOrPath.set(asset.rel_path, asset);
+    }
+    for (const asset of assets) {
+        for (const target of asset.conflicts_with) {
+            const other = byIdOrPath.get(target);
+            if (!other)
+                continue;
+            asset.findings.push({
+                severity: "hard_fail",
+                code: "PROJECT_KNOWLEDGE_RULE_CONFLICT",
+                message_zh: `项目规则声明与 ${other.rel_path} 冲突，必须由用户确认取舍或合并。`,
+            });
+        }
+    }
+    const grouped = new Map();
+    const explicitAssets = new Set();
+    for (const asset of assets) {
+        const hasExplicitDecision = Boolean(asset.conflict_group && asset.rule_value);
+        const semantic = hasExplicitDecision
+            ? { group: asset.conflict_group, value: asset.rule_value }
+            : inferSemanticConflict(asset);
+        if (!semantic)
+            continue;
+        if (hasExplicitDecision)
+            explicitAssets.add(asset);
+        const list = grouped.get(semantic.group) ?? [];
+        if (!asset.conflict_group)
+            asset.conflict_group = semantic.group;
+        if (!asset.rule_value)
+            asset.rule_value = semantic.value;
+        list.push(asset);
+        grouped.set(semantic.group, list);
+    }
+    for (const [group, list] of grouped) {
+        const values = new Set(list.map((asset) => asset.rule_value));
+        if (values.size <= 1)
+            continue;
+        const allExplicit = list.every((asset) => explicitAssets.has(asset));
+        const inferredUserHardRuleConflict = !allExplicit && list.every((asset) => asset.hard_rule
+            && asset.identity !== "builtin_synced"
+            && asset.identity !== "deprecated_builtin");
+        for (const asset of list) {
+            const shouldHardFail = allExplicit || inferredUserHardRuleConflict;
+            asset.findings.push({
+                severity: shouldHardFail ? "hard_fail" : "warning",
+                code: shouldHardFail ? "PROJECT_KNOWLEDGE_RULE_CONFLICT" : "PROJECT_KNOWLEDGE_INFERRED_RULE_CONFLICT",
+                message_zh: shouldHardFail
+                    ? `项目规则组 ${group} 存在多个互斥取值（${Array.from(values).join(" / ")}），必须由用户确认统一口径。`
+                    : `项目规则组 ${group} 存在推断出的疑似互斥取值（${Array.from(values).join(" / ")}），请用 conflict_group/rule_value 明确项目口径；推断结果不得作为 hard_fail。`,
+            });
+        }
+    }
+}
+export function auditProjectKnowledge(projectPath, config) {
+    const knowledgeDir = config && config._projectPath
+        ? getProjectKnowledgeDir(config)
+        : path.join(projectPath, ".soloforge", "knowledge");
+    const assets = listKnowledgeFiles(knowledgeDir).map((file) => analyzeAsset(projectPath, knowledgeDir, file));
+    detectProjectKnowledgeConflicts(assets);
+    const traces = getConsumptionTraces()
+        .filter((trace) => trace.asset_path || trace.asset_id)
+        .filter((trace) => assets.some((asset) => asset.id === trace.asset_id || asset.rel_path === trace.asset_path))
+        .sort((a, b) => b.consumed_at.localeCompare(a.consumed_at));
+    for (const asset of assets) {
+        const latest = traces.find((trace) => trace.asset_id === asset.id || trace.asset_path === asset.rel_path);
+        if (!latest)
+            continue;
+        asset.evidence.last_consumed_task = latest.task_id_or_route;
+        asset.evidence.last_consumed_at = latest.consumed_at;
+        asset.evidence.last_consumption_action = latest.action;
+        asset.evidence.last_consumption_consumer = latest.consumer;
+        if (latest.action === "selected")
+            asset.evidence.selected_by = latest.consumer;
+        if (latest.action === "injected")
+            asset.evidence.injected_by = latest.consumer;
+        if (latest.action === "reviewed")
+            asset.evidence.reviewed_by = latest.consumer;
+        if (latest.action === "verified")
+            asset.evidence.verified_by = latest.consumer;
+        if (latest.action === "delivery_blocked")
+            asset.evidence.delivery_blocked_by = latest.consumer;
+    }
+    const hardFailCount = assets.reduce((sum, asset) => sum + asset.findings.filter((f) => f.severity === "hard_fail").length, 0);
+    const warningCount = assets.reduce((sum, asset) => sum + asset.findings.filter((f) => f.severity === "warning").length, 0);
+    const unconsumed = assets.filter((asset) => asset.consumption === "index_only" && asset.identity === "user_authored").length;
+    const recommendedNextSteps = [];
+    if (hardFailCount > 0)
+        recommendedNextSteps.push("先修复 hard rule 缺少触发条件或身份冲突的项目知识。");
+    if (unconsumed > 0)
+        recommendedNextSteps.push("为需要参与执行的项目规则补充 routes、primary_triggers 或 enforcement.level。");
+    if (assets.length === 0)
+        recommendedNextSteps.push("当前项目暂无自定义知识；可按需新增 .soloforge/knowledge/rules 或 domain 规则。");
+    return {
+        project_path: projectPath,
+        total: assets.length,
+        user_authored: assets.filter((a) => a.identity === "user_authored").length,
+        builtin_synced: assets.filter((a) => a.identity === "builtin_synced").length,
+        user_modified_builtin: assets.filter((a) => a.identity === "user_modified_builtin").length,
+        deprecated_builtin: assets.filter((a) => a.identity === "deprecated_builtin").length,
+        conflict: assets.filter((a) => a.identity === "conflict").length,
+        hard_rule: assets.filter((a) => a.hard_rule).length,
+        injectable: assets.filter((a) => a.injectable).length,
+        index_only: assets.filter((a) => a.consumption === "index_only").length,
+        unconsumed,
+        hard_fail_count: hardFailCount,
+        warning_count: warningCount,
+        assets,
+        recommended_next_steps: recommendedNextSteps,
+        recent_consumption: traces.slice(0, 20).map((trace) => ({
+            asset_id: trace.asset_id,
+            rel_path: trace.asset_path,
+            consumer: trace.consumer,
+            action: trace.action,
+            lifecycle_stage: trace.lifecycle_stage,
+            task_id_or_route: trace.task_id_or_route,
+            consumed_at: trace.consumed_at,
+            decision: trace.contract_decision,
+        })),
+    };
+}
+/**
+ * @deprecated 仅供旧测试和兼容调用使用。生产入口必须消费 selectProjectKnowledgeForTaskWithReasons
+ * 或 evaluateLifecycleKnowledgeDecision 返回的 SelectionDecision。
+ */
+export function selectProjectKnowledgeForTask(report, input) {
+    return selectProjectKnowledgeForTaskWithReasons(report, input).selected.map((decision) => decision.asset);
+}
+export function selectProjectKnowledgeForTaskWithReasons(report, input) {
+    const haystack = `${input.intent} ${input.route ?? ""}`.toLowerCase();
+    const stack = (input.tech_stack ?? []).map((s) => s.toLowerCase());
+    const changedFiles = (input.changed_files ?? []).map((file) => file.replace(/\\/g, "/").toLowerCase());
+    const businessDomains = (input.business_domains ?? []).map((domain) => domain.toLowerCase());
+    const traceabilityIds = new Set(input.traceability_ids ?? extractTraceabilityIds(input.intent));
+    const decisions = report.assets.map((asset) => {
+        const matchedSignals = [];
+        const excludedReasons = [];
+        let score = 0;
+        if (asset.identity === "conflict")
+            excludedReasons.push("资产身份冲突，需用户确认");
+        if (asset.findings.some((finding) => finding.severity === "hard_fail"))
+            excludedReasons.push("资产存在 hard_fail，需先修复");
+        if (asset.consumption === "index_only")
+            excludedReasons.push("index_only 仅可索引查询，不进入 prompt 或 hard rule 执行");
+        if (asset.consumption === "audit_only")
+            excludedReasons.push("audit_only 仅用于审计，不进入 prompt 注入");
+        const techMatches = asset.tech_stack.length === 0
+            || asset.tech_stack.some((t) => stack.some((s) => s.includes(t.toLowerCase()) || t.toLowerCase().includes(s)));
+        if (techMatches && asset.tech_stack.length > 0) {
+            score += 2;
+            matchedSignals.push(`技术栈匹配: ${asset.tech_stack.join(",")}`);
+        }
+        else if (!techMatches) {
+            excludedReasons.push(`技术栈不匹配: 规则=${asset.tech_stack.join(",")} 任务=${stack.join(",") || "未提供"}`);
+        }
+        const routeMatches = asset.routes.length === 0 || (input.route ? asset.routes.includes(input.route) : false);
+        if (routeMatches && input.route && asset.routes.length > 0) {
+            score += 3;
+            matchedSignals.push(`路由匹配: ${input.route}`);
+        }
+        else if (!routeMatches) {
+            excludedReasons.push(`路由不匹配: 规则=${asset.routes.join(",")} 任务=${input.route ?? "未提供"}`);
+        }
+        if (input.lifecycle_stage && asset.lifecycle_stages.length > 0) {
+            if (asset.lifecycle_stages.includes(input.lifecycle_stage)) {
+                score += 4;
+                matchedSignals.push(`生命周期阶段匹配: ${input.lifecycle_stage}`);
+            }
+            else {
+                excludedReasons.push(`生命周期阶段不匹配: 规则=${asset.lifecycle_stages.join(",")} 任务=${input.lifecycle_stage}`);
+            }
+        }
+        const primaryTriggerMatches = asset.primary_triggers.filter((token) => token && haystack.includes(token.toLowerCase()));
+        if (primaryTriggerMatches.length > 0) {
+            score += primaryTriggerMatches.length * 2;
+            matchedSignals.push(`主触发词匹配: ${primaryTriggerMatches.slice(0, 5).join(",")}`);
+        }
+        const secondaryTriggerTokens = [...asset.domains, ...asset.business_domains, asset.name, asset.rel_path];
+        const secondaryTriggerMatches = secondaryTriggerTokens.filter((token) => token && haystack.includes(token.toLowerCase()));
+        if (secondaryTriggerMatches.length > 0) {
+            score += secondaryTriggerMatches.length;
+            matchedSignals.push(`辅助信号匹配: ${secondaryTriggerMatches.slice(0, 5).join(",")}`);
+        }
+        if (asset.hard_rule && asset.primary_triggers.length > 0 && primaryTriggerMatches.length === 0) {
+            excludedReasons.push(`hard rule 触发词不匹配: 规则=${asset.primary_triggers.join(",")} 任务未命中`);
+        }
+        const fileMatches = asset.path_patterns.filter((pattern) => {
+            const normalized = pattern.toLowerCase().replace(/\*\*/g, "").replace(/\*/g, "");
+            return normalized && changedFiles.some((file) => file.includes(normalized));
+        });
+        if (fileMatches.length > 0) {
+            score += fileMatches.length * 3;
+            matchedSignals.push(`文件路径匹配: ${fileMatches.join(",")}`);
+        }
+        const businessMatches = asset.business_domains.filter((domain) => businessDomains.includes(domain.toLowerCase()) || haystack.includes(domain.toLowerCase()));
+        if (businessMatches.length > 0) {
+            score += businessMatches.length * 2;
+            matchedSignals.push(`业务域匹配: ${businessMatches.join(",")}`);
+        }
+        const traceMatches = asset.traceability_ids.filter((id) => traceabilityIds.has(id));
+        if (traceMatches.length > 0) {
+            score += traceMatches.length * 4;
+            matchedSignals.push(`追踪 ID 匹配: ${traceMatches.join(",")}`);
+        }
+        if (asset.hard_rule)
+            score += 3;
+        if (asset.injectable)
+            score += 1;
+        const blocked = asset.identity === "conflict" || asset.findings.some((finding) => finding.severity === "hard_fail");
+        const eligibleForSelection = !blocked
+            && asset.consumption !== "index_only"
+            && asset.consumption !== "audit_only"
+            && techMatches
+            && routeMatches
+            && (!asset.hard_rule || asset.primary_triggers.length === 0 || primaryTriggerMatches.length > 0)
+            && (!input.lifecycle_stage || asset.lifecycle_stages.length === 0 || asset.lifecycle_stages.includes(input.lifecycle_stage))
+            && (score > 0 || asset.hard_rule);
+        const status = blocked ? "blocked" : eligibleForSelection ? "selected" : "not_selected";
+        const reason = status === "selected"
+            ? `选中原因: ${matchedSignals.join("；") || "hard rule 与当前任务匹配"}`
+            : `未选中原因: ${excludedReasons.join("；") || "未命中当前任务意图、阶段、路径或业务域"}`;
+        return {
+            asset,
+            status,
+            selected: status === "selected",
+            score,
+            reason_zh: reason,
+            matched_signals: matchedSignals,
+            excluded_reasons: excludedReasons,
+            lifecycle_stage: input.lifecycle_stage,
+            enforcement: asset.hard_rule ? "hard_rule" : asset.audit_only ? "audit_only" : asset.injectable ? "injectable" : asset.consumption === "index_only" ? "index_only" : "advisory",
+            user_visible: {
+                must_fix: blocked || asset.hard_rule,
+                why_selected: reason,
+                how_to_fix: asset.recovery_command ? `运行 ${asset.recovery_command}` : blocked ? "运行 soloforge audit-project-knowledge 并按 finding 修复" : undefined,
+                verification_command: asset.verification_commands[0] ?? asset.recovery_command,
+            },
+        };
+    });
+    const selected = decisions
+        .filter((decision) => decision.status === "selected")
+        .sort((a, b) => b.score - a.score)
+        .slice(0, input.limit ?? 8);
+    const selectedIds = new Set(selected.map((decision) => decision.asset.id));
+    const limitedDecisions = decisions.map((decision) => decision.status === "selected" && !selectedIds.has(decision.asset.id)
+        ? { ...decision, status: "not_selected", selected: false, excluded_reasons: [...decision.excluded_reasons, "注入预算裁剪"], reason_zh: "未选中原因: 注入预算裁剪" }
+        : decision);
+    return {
+        selected,
+        decisions: limitedDecisions,
+        blocked: limitedDecisions.filter((decision) => decision.status === "blocked"),
+        not_selected: limitedDecisions.filter((decision) => decision.status === "not_selected"),
+    };
+}
+//# sourceMappingURL=project_knowledge_contract.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"project_knowledge_contract.js","sourceRoot":"","sources":["../../../src/engine/contracts/project_knowledge_contract.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,MAAM,MAAM,aAAa,CAAC;AACjC,OAAO,MAAM,MAAM,aAAa,CAAC;AACjC,OAAO,IAAI,MAAM,MAAM,CAAC;AAExB,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,EACL,gBAAgB,EAChB,4BAA4B,EAC5B,wBAAwB,GACzB,MAAM,oCAAoC,CAAC;AAC5C,OAAO,EAAE,mBAAmB,EAAE,MAAM,kDAAkD,CAAC;AAEvF,OAAO,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,yCAAyC,CAAC;AAC/E,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAkHpD,SAAS,kBAAkB,CAAC,GAAW;IACrC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IACnC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC;IACpB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QAC7B,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;YACrE,IAAI,CAAC,cAAc,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;gBAAE,SAAS;YACzE,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;YAC5C,IAAI,KAAK,CAAC,WAAW,EAAE;gBAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;iBACrC,IAAI,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;gBAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7D,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC,IAAI,EAAE,CAAC;AACpB,CAAC;AAED,gGAAgG;AAChG,SAAS,kBAAkB,CAAC,QAAgB;IAC1C,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAC/C,IAAI,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC5B,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;YAC3B,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,IAAI,EAAE,EAAE,cAAc,EAAE,GAAG,CAAC,SAAS,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QACpH,CAAC;QACD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QACnC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,cAAc,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;IAC3E,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC;IACvD,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,QAAgB;IAChC,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,EAAE,CAAC,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QACnD,IAAI,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5D,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC;iBACjC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,0BAA0B,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;iBAC/D,IAAI,CAAC,IAAI,CAAC,CAAC;YACd,OAAO,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACrF,CAAC;QACD,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;QACrE,MAAM,IAAI,GAAG,SAAS,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;QACrF,OAAO,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACjF,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,KAAc;IACnC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACnE,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE;QAAE,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;IACrE,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,SAAS,wBAAwB,CAAC,KAAc;IAC9C,MAAM,OAAO,GAAG,IAAI,GAAG,CAAyB;QAC9C,qBAAqB;QACrB,sBAAsB;QACtB,qBAAqB;QACrB,eAAe;QACf,gBAAgB;QAChB,gBAAgB;QAChB,SAAS;QACT,YAAY;QACZ,UAAU;KACX,CAAC,CAAC;IACH,OAAO,aAAa,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAkC,EAAE,CAC1E,OAAO,CAAC,GAAG,CAAC,IAA8B,CAAC,CAC5C,CAAC;AACJ,CAAC;AAED,gGAAgG;AAChG,SAAS,gBAAgB,CAAC,OAAe,EAAE,IAAyB,EAAE,QAAiB;IACrF,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IACtE,MAAM,iBAAiB,GAAG,MAAM,CAAC,IAAI,CAAC,kBAAkB,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IAC9E,MAAM,gBAAgB,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,IAAI,IAAI,CAAC,iBAAiB,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IACvG,IAAI,IAAI,KAAK,YAAY,IAAI,iBAAiB,KAAK,YAAY,IAAI,gBAAgB,KAAK,YAAY;QAAE,OAAO,YAAY,CAAC;IAC1H,IAAI,QAAQ;QAAE,OAAO,WAAW,CAAC;IACjC,IAAI,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC,IAAI,IAAI,KAAK,aAAa;QAAE,OAAO,aAAa,CAAC;IACtF,IAAI,OAAO,CAAC,QAAQ,CAAC,uBAAuB,CAAC,IAAI,IAAI,KAAK,qBAAqB;QAAE,OAAO,qBAAqB,CAAC;IAC9G,IAAI,iBAAiB,KAAK,YAAY;QAAE,OAAO,YAAY,CAAC;IAC5D,IAAI,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,YAAY,CAAC;IAClH,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,gGAAgG;AAChG,SAAS,iBAAiB,CAAC,OAAe,EAAE,IAAyB,EAAE,IAAY,EAAE,cAAuB;IAC1G,IAAI,CAAC,cAAc;QAAE,OAAO,KAAK,CAAC;IAClC,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IACtE,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IAC3D,MAAM,gBAAgB,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,IAAI,IAAI,CAAC,iBAAiB,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IACvG,OAAO,IAAI,KAAK,WAAW;WACtB,QAAQ,KAAK,IAAI;WACjB,QAAQ,KAAK,IAAI;WACjB,gBAAgB,KAAK,WAAW;WAChC,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,yBAAyB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;AAC5E,CAAC;AAED,SAAS,gBAAgB,CAAC,WAAmB,EAAE,OAAe,EAAE,QAAgB;IAC9E,MAAM,QAAQ,GAAG,gBAAgB,CAAC,WAAW,CAAC,CAAC;IAC/C,MAAM,SAAS,GAAG,QAAQ,EAAE,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC;IAC/C,MAAM,aAAa,GAAG,4BAA4B,CAAC,OAAO,CAAC,CAAC;IAC5D,IAAI,SAAS,IAAI,aAAa,EAAE,CAAC;QAC/B,MAAM,iBAAiB,GAAG,wBAAwB,CAAC,aAAa,CAAC,oBAAoB,CAAC,CAAC;QACvF,MAAM,eAAe,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC3C,IAAI,SAAS,CAAC,oBAAoB,KAAK,aAAa,CAAC,oBAAoB;YAAE,OAAO,UAAU,CAAC;QAC7F,IAAI,iBAAiB,IAAI,eAAe,IAAI,eAAe,KAAK,iBAAiB;YAAE,OAAO,uBAAuB,CAAC;QAClH,MAAM,QAAQ,GAAG,mBAAmB,CAAC,aAAa,CAAC,oBAAoB,CAAC,CAAC;QACzE,IAAI,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,KAAK,YAAY;YAAE,OAAO,oBAAoB,CAAC;QACtF,OAAO,gBAAgB,CAAC;IAC1B,CAAC;IAED,IAAI,aAAa,EAAE,CAAC;QAClB,MAAM,QAAQ,GAAG,mBAAmB,CAAC,aAAa,CAAC,oBAAoB,CAAC,CAAC;QACzE,IAAI,QAAQ,CAAC,QAAQ,KAAK,QAAQ;YAAE,OAAO,UAAU,CAAC;QACtD,OAAO,uBAAuB,CAAC;IACjC,CAAC;IAED,OAAO,eAAe,CAAC;AACzB,CAAC;AAED,SAAS,YAAY,CAAC,WAAmB,EAAE,YAAoB,EAAE,QAAgB;IAC/E,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,YAAY,EAAE,QAAQ,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC1E,MAAM,MAAM,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;IAC5C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;IACzB,MAAM,QAAQ,GAAG,iBAAiB,CAAC,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,cAAc,CAAC,CAAC;IACtF,MAAM,MAAM,GAAG,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC1C,MAAM,eAAe,GAAG,aAAa,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC7D,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACjD,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1D,MAAM,eAAe,GAAG,wBAAwB,CAAC,IAAI,CAAC,gBAAgB,IAAI,IAAI,CAAC,eAAe,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC;IAC/G,MAAM,YAAY,GAAG,aAAa,CAAC,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,aAAa,CAAC,CAAC;IAC3F,MAAM,eAAe,GAAG,aAAa,CAAC,IAAI,CAAC,gBAAgB,IAAI,IAAI,CAAC,eAAe,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC;IACrG,MAAM,eAAe,GAAG;QACtB,GAAG,aAAa,CAAC,IAAI,CAAC,gBAAgB,CAAC;QACvC,GAAG,sBAAsB,CAAC,MAAM,CAAC,IAAI,CAAC;KACvC,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC;IAC1D,MAAM,oBAAoB,GAAG,aAAa,CAAC,IAAI,CAAC,qBAAqB,IAAI,IAAI,CAAC,eAAe,CAAC,CAAC;IAC/F,MAAM,eAAe,GAAG,MAAM,CAAC,IAAI,CAAC,gBAAgB,IAAI,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,SAAS,CAAC;IACjG,MAAM,aAAa,GAAG,MAAM,CAAC,IAAI,CAAC,cAAc,IAAI,IAAI,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,SAAS,CAAC;IAC7F,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,cAAc,IAAI,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,SAAS,CAAC;IAC1G,MAAM,aAAa,GAAG,aAAa,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACzD,MAAM,WAAW,GAAG,gBAAgB,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC9D,MAAM,QAAQ,GAAG,gBAAgB,CAAC,WAAW,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;IAClE,MAAM,QAAQ,GAAsC,EAAE,CAAC;IAEvD,IAAI,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC;QAC3B,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,SAAS;YACnB,IAAI,EAAE,uCAAuC;YAC7C,UAAU,EAAE,+DAA+D;SAC5E,CAAC,CAAC;IACL,CAAC;IACD,IAAI,QAAQ,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,aAAa,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzF,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,WAAW;YACrB,IAAI,EAAE,sCAAsC;YAC5C,UAAU,EAAE,+DAA+D;SAC5E,CAAC,CAAC;IACL,CAAC;IACD,IAAI,QAAQ,KAAK,UAAU,EAAE,CAAC;QAC5B,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,WAAW;YACrB,IAAI,EAAE,qCAAqC;YAC3C,UAAU,EAAE,iCAAiC;SAC9C,CAAC,CAAC;IACL,CAAC;IACD,IAAI,QAAQ,KAAK,uBAAuB,EAAE,CAAC;QACzC,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,UAAU;YACpB,IAAI,EAAE,yCAAyC;YAC/C,UAAU,EAAE,+CAA+C;SAC5D,CAAC,CAAC;IACL,CAAC;IACD,IAAI,WAAW,KAAK,YAAY,IAAI,QAAQ,EAAE,CAAC;QAC7C,QAAQ,CAAC,IAAI,CAAC;YACZ,QAAQ,EAAE,WAAW;YACrB,IAAI,EAAE,wCAAwC;YAC9C,UAAU,EAAE,kDAAkD;SAC/D,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC,IAAI,IAAI,OAAO,CAAC;QAC3C,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC1E,QAAQ,EAAE,OAAO;QACjB,QAAQ,EAAE,QAAQ;QAClB,QAAQ;QACR,WAAW;QACX,MAAM;QACN,gBAAgB,EAAE,eAAe;QACjC,UAAU,EAAE,SAAS;QACrB,OAAO;QACP,gBAAgB,EAAE,eAAe;QACjC,aAAa,EAAE,YAAY;QAC3B,gBAAgB,EAAE,eAAe;QACjC,gBAAgB,EAAE,eAAe;QACjC,qBAAqB,EAAE,oBAAoB;QAC3C,gBAAgB,EAAE,eAAe;QACjC,cAAc,EAAE,aAAa;QAC7B,UAAU,EAAE,SAAS;QACrB,cAAc,EAAE,aAAa;QAC7B,eAAe,EAAE,MAAM,CAAC,cAAc;QACtC,SAAS,EAAE,QAAQ;QACnB,UAAU,EAAE,WAAW,KAAK,YAAY,IAAI,WAAW,KAAK,WAAW;QACvE,UAAU,EAAE,WAAW,KAAK,YAAY;QACxC,QAAQ,EAAE;YACR,UAAU,EAAE,QAAQ,KAAK,eAAe,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,mBAAmB;YAC/E,SAAS,EAAE,QAAQ,KAAK,gBAAgB,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,SAAS;YACvE,UAAU,EAAE,yBAAyB;SACtC;QACD,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,MAAM,wBAAwB,GAAgH;IAC5I;QACE,KAAK,EAAE,qBAAqB;QAC5B,QAAQ,EAAE,CAAC,qBAAqB,CAAC;QACjC,MAAM,EAAE;YACN,EAAE,KAAK,EAAE,aAAa,EAAE,iBAAiB,EAAE,CAAC,yCAAyC,EAAE,iDAAiD,CAAC,EAAE;YAC3I,EAAE,KAAK,EAAE,QAAQ,EAAE,iBAAiB,EAAE,CAAC,oCAAoC,EAAE,4CAA4C,CAAC,EAAE;YAC5H,EAAE,KAAK,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,CAAC,4CAA4C,EAAE,oDAAoD,CAAC,EAAE;SACrJ;KACF;IACD;QACE,KAAK,EAAE,mBAAmB;QAC1B,QAAQ,EAAE,CAAC,qBAAqB,CAAC;QACjC,MAAM,EAAE;YACN,EAAE,KAAK,EAAE,WAAW,EAAE,iBAAiB,EAAE,CAAC,2GAA2G,CAAC,EAAE;YACxJ,EAAE,KAAK,EAAE,cAAc,EAAE,iBAAiB,EAAE,CAAC,8FAA8F,CAAC,EAAE;SAC/I;KACF;IACD;QACE,KAAK,EAAE,gBAAgB;QACvB,QAAQ,EAAE,CAAC,SAAS,CAAC;QACrB,MAAM,EAAE;YACN,EAAE,KAAK,EAAE,UAAU,EAAE,iBAAiB,EAAE,CAAC,qFAAqF,CAAC,EAAE;YACjI,EAAE,KAAK,EAAE,YAAY,EAAE,iBAAiB,EAAE,CAAC,yFAAyF,CAAC,EAAE;SACxI;KACF;IACD;QACE,KAAK,EAAE,iBAAiB;QACxB,QAAQ,EAAE,CAAC,2BAA2B,CAAC;QACvC,MAAM,EAAE;YACN,EAAE,KAAK,EAAE,YAAY,EAAE,iBAAiB,EAAE,CAAC,uFAAuF,CAAC,EAAE;YACrI,EAAE,KAAK,EAAE,WAAW,EAAE,iBAAiB,EAAE,CAAC,qFAAqF,CAAC,EAAE;SACnI;KACF;IACD;QACE,KAAK,EAAE,kBAAkB;QACzB,QAAQ,EAAE,CAAC,wBAAwB,CAAC;QACpC,MAAM,EAAE;YACN,EAAE,KAAK,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAC,+EAA+E,CAAC,EAAE;YACvH,EAAE,KAAK,EAAE,MAAM,EAAE,iBAAiB,EAAE,CAAC,+EAA+E,CAAC,EAAE;SACxH;KACF;CACF,CAAC;AAEF,SAAS,qBAAqB,CAAC,KAA4B;IACzD,MAAM,IAAI,GAAG,GAAG,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IAC9G,KAAK,MAAM,SAAS,IAAI,wBAAwB,EAAE,CAAC;QACjD,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAAE,SAAS;QACxE,MAAM,IAAI,GAAG,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC7F,MAAM,YAAY,GAAG,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE;YAC3F,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;gBACjI,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,cAAc,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,cAAc,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC;gBACzI,IAAI,gCAAgC,CAAC,IAAI,CAAC,OAAO,CAAC;oBAAE,SAAS;gBAC7D,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC,CAAC,CAAC,CAAC;QACJ,IAAI,YAAY;YAAE,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,KAAK,EAAE,YAAY,CAAC,KAAK,EAAE,CAAC;IACjF,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,+BAA+B,CAAC,MAA+B;IACtE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAiC,CAAC;IAC5D,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAChC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;IACxC,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,cAAc,EAAE,CAAC;YAC1C,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACrC,IAAI,CAAC,KAAK;gBAAE,SAAS;YACrB,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAClB,QAAQ,EAAE,WAAW;gBACrB,IAAI,EAAE,iCAAiC;gBACvC,UAAU,EAAE,WAAW,KAAK,CAAC,QAAQ,mBAAmB;aACzD,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,EAAmC,CAAC;IAC3D,MAAM,cAAc,GAAG,IAAI,GAAG,EAAyB,CAAC;IACxD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,mBAAmB,GAAG,OAAO,CAAC,KAAK,CAAC,cAAc,IAAI,KAAK,CAAC,UAAU,CAAC,CAAC;QAC9E,MAAM,QAAQ,GAAG,mBAAmB;YAClC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,cAAe,EAAE,KAAK,EAAE,KAAK,CAAC,UAAW,EAAE;YAC5D,CAAC,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC;QACjC,IAAI,CAAC,QAAQ;YAAE,SAAS;QACxB,IAAI,mBAAmB;YAAE,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACnD,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAC/C,IAAI,CAAC,KAAK,CAAC,cAAc;YAAE,KAAK,CAAC,cAAc,GAAG,QAAQ,CAAC,KAAK,CAAC;QACjE,IAAI,CAAC,KAAK,CAAC,UAAU;YAAE,KAAK,CAAC,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC;QACzD,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjB,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACpC,CAAC;IAED,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,OAAO,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;QAC9D,IAAI,MAAM,CAAC,IAAI,IAAI,CAAC;YAAE,SAAS;QAC/B,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QACrE,MAAM,4BAA4B,GAAG,CAAC,WAAW,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CACxE,KAAK,CAAC,SAAS;eACZ,KAAK,CAAC,QAAQ,KAAK,gBAAgB;eACnC,KAAK,CAAC,QAAQ,KAAK,oBAAoB,CAC3C,CAAC;QACF,KAAK,MAAM,KAAK,IAAI,IAAI,EAAE,CAAC;YACzB,MAAM,cAAc,GAAG,WAAW,IAAI,4BAA4B,CAAC;YACnE,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAClB,QAAQ,EAAE,cAAc,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS;gBAClD,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,iCAAiC,CAAC,CAAC,CAAC,0CAA0C;gBACrG,UAAU,EAAE,cAAc;oBACxB,CAAC,CAAC,SAAS,KAAK,aAAa,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,gBAAgB;oBAC3E,CAAC,CAAC,SAAS,KAAK,iBAAiB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,2DAA2D;aAC7H,CAAC,CAAC;QACL,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,WAAmB,EAAE,MAAsB;IAC/E,MAAM,YAAY,GAAG,MAAM,IAAI,MAAM,CAAC,YAAY;QAChD,CAAC,CAAC,sBAAsB,CAAC,MAAM,CAAC;QAChC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,YAAY,EAAE,WAAW,CAAC,CAAC;IACtD,MAAM,MAAM,GAAG,kBAAkB,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,WAAW,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC,CAAC;IAC7G,+BAA+B,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,MAAM,GAAG,oBAAoB,EAAE;SAClC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,QAAQ,CAAC;SACrD,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,QAAQ,KAAK,KAAK,CAAC,UAAU,CAAC,CAAC;SAC7G,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;IAC9D,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,KAAK,KAAK,CAAC,EAAE,IAAI,KAAK,CAAC,UAAU,KAAK,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC1G,IAAI,CAAC,MAAM;YAAE,SAAS;QACtB,KAAK,CAAC,QAAQ,CAAC,kBAAkB,GAAG,MAAM,CAAC,gBAAgB,CAAC;QAC5D,KAAK,CAAC,QAAQ,CAAC,gBAAgB,GAAG,MAAM,CAAC,WAAW,CAAC;QACrD,KAAK,CAAC,QAAQ,CAAC,uBAAuB,GAAG,MAAM,CAAC,MAAM,CAAC;QACvD,KAAK,CAAC,QAAQ,CAAC,yBAAyB,GAAG,MAAM,CAAC,QAAQ,CAAC;QAC3D,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU;YAAE,KAAK,CAAC,QAAQ,CAAC,WAAW,GAAG,MAAM,CAAC,QAAQ,CAAC;QAC/E,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU;YAAE,KAAK,CAAC,QAAQ,CAAC,WAAW,GAAG,MAAM,CAAC,QAAQ,CAAC;QAC/E,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU;YAAE,KAAK,CAAC,QAAQ,CAAC,WAAW,GAAG,MAAM,CAAC,QAAQ,CAAC;QAC/E,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU;YAAE,KAAK,CAAC,QAAQ,CAAC,WAAW,GAAG,MAAM,CAAC,QAAQ,CAAC;QAC/E,IAAI,MAAM,CAAC,MAAM,KAAK,kBAAkB;YAAE,KAAK,CAAC,QAAQ,CAAC,mBAAmB,GAAG,MAAM,CAAC,QAAQ,CAAC;IACjG,CAAC;IACD,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,WAAW,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAC9H,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAC3H,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,KAAK,YAAY,IAAI,KAAK,CAAC,QAAQ,KAAK,eAAe,CAAC,CAAC,MAAM,CAAC;IAE7H,MAAM,oBAAoB,GAAa,EAAE,CAAC;IAC1C,IAAI,aAAa,GAAG,CAAC;QAAE,oBAAoB,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;IACpF,IAAI,UAAU,GAAG,CAAC;QAAE,oBAAoB,CAAC,IAAI,CAAC,6DAA6D,CAAC,CAAC;IAC7G,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;QAAE,oBAAoB,CAAC,IAAI,CAAC,2DAA2D,CAAC,CAAC;IAEhH,OAAO;QACL,YAAY,EAAE,WAAW;QACzB,KAAK,EAAE,MAAM,CAAC,MAAM;QACpB,aAAa,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,eAAe,CAAC,CAAC,MAAM;QAC1E,cAAc,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,gBAAgB,CAAC,CAAC,MAAM;QAC5E,qBAAqB,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,uBAAuB,CAAC,CAAC,MAAM;QAC1F,kBAAkB,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,oBAAoB,CAAC,CAAC,MAAM;QACpF,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,UAAU,CAAC,CAAC,MAAM;QAChE,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,MAAM;QACnD,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,MAAM;QACrD,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,YAAY,CAAC,CAAC,MAAM;QACvE,UAAU;QACV,eAAe,EAAE,aAAa;QAC9B,aAAa,EAAE,YAAY;QAC3B,MAAM;QACN,sBAAsB,EAAE,oBAAoB;QAC5C,kBAAkB,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACtD,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,QAAQ,EAAE,KAAK,CAAC,UAAU;YAC1B,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,eAAe,EAAE,KAAK,CAAC,eAAe;YACtC,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;YACxC,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,QAAQ,EAAE,KAAK,CAAC,iBAAiB;SAClC,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,6BAA6B,CAAC,MAAmC,EAAE,KASlF;IACC,OAAO,wCAAwC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AAC5G,CAAC;AAED,MAAM,UAAU,wCAAwC,CAAC,MAAmC,EAAE,KAS7F;IACC,MAAM,QAAQ,GAAG,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC,WAAW,EAAE,CAAC;IACtE,MAAM,KAAK,GAAG,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;IACnE,MAAM,YAAY,GAAG,CAAC,KAAK,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;IACvG,MAAM,eAAe,GAAG,CAAC,KAAK,CAAC,gBAAgB,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;IAC7F,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,gBAAgB,IAAI,sBAAsB,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;IAChG,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAqC,EAAE;QAC/E,MAAM,cAAc,GAAa,EAAE,CAAC;QACpC,MAAM,eAAe,GAAa,EAAE,CAAC;QACrC,IAAI,KAAK,GAAG,CAAC,CAAC;QAEd,IAAI,KAAK,CAAC,QAAQ,KAAK,UAAU;YAAE,eAAe,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACxE,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,KAAK,WAAW,CAAC;YAAE,eAAe,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;QACpH,IAAI,KAAK,CAAC,WAAW,KAAK,YAAY;YAAE,eAAe,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;QAC5G,IAAI,KAAK,CAAC,WAAW,KAAK,YAAY;YAAE,eAAe,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;QAE/F,MAAM,WAAW,GAAG,KAAK,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC;eAC5C,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjH,IAAI,WAAW,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/C,KAAK,IAAI,CAAC,CAAC;YACX,cAAc,CAAC,IAAI,CAAC,UAAU,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC9D,CAAC;aAAM,IAAI,CAAC,WAAW,EAAE,CAAC;YACxB,eAAe,CAAC,IAAI,CAAC,cAAc,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC;QAClG,CAAC;QAED,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC7G,IAAI,YAAY,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3D,KAAK,IAAI,CAAC,CAAC;YACX,cAAc,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;QAC9C,CAAC;aAAM,IAAI,CAAC,YAAY,EAAE,CAAC;YACzB,eAAe,CAAC,IAAI,CAAC,aAAa,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,KAAK,CAAC,KAAK,IAAI,KAAK,EAAE,CAAC,CAAC;QACzF,CAAC;QAED,IAAI,KAAK,CAAC,eAAe,IAAI,KAAK,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/D,IAAI,KAAK,CAAC,gBAAgB,CAAC,QAAQ,CAAC,KAAK,CAAC,eAAe,CAAC,EAAE,CAAC;gBAC3D,KAAK,IAAI,CAAC,CAAC;gBACX,cAAc,CAAC,IAAI,CAAC,aAAa,KAAK,CAAC,eAAe,EAAE,CAAC,CAAC;YAC5D,CAAC;iBAAM,CAAC;gBACN,eAAe,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,KAAK,CAAC,eAAe,EAAE,CAAC,CAAC;YACxG,CAAC;QACH,CAAC;QAED,MAAM,qBAAqB,GAAG,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,IAAI,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QACxH,IAAI,qBAAqB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrC,KAAK,IAAI,qBAAqB,CAAC,MAAM,GAAG,CAAC,CAAC;YAC1C,cAAc,CAAC,IAAI,CAAC,WAAW,qBAAqB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChF,CAAC;QAED,MAAM,sBAAsB,GAAG,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,GAAG,KAAK,CAAC,gBAAgB,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;QACzG,MAAM,uBAAuB,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,IAAI,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QAC1H,IAAI,uBAAuB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvC,KAAK,IAAI,uBAAuB,CAAC,MAAM,CAAC;YACxC,cAAc,CAAC,IAAI,CAAC,WAAW,uBAAuB,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAClF,CAAC;QACD,IAAI,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,IAAI,qBAAqB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/F,eAAe,CAAC,IAAI,CAAC,wBAAwB,KAAK,CAAC,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QACzF,CAAC;QAED,MAAM,WAAW,GAAG,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE;YACzD,MAAM,UAAU,GAAG,OAAO,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACjF,OAAO,UAAU,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;QAC9E,CAAC,CAAC,CAAC;QACH,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,KAAK,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC;YAChC,cAAc,CAAC,IAAI,CAAC,WAAW,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC1D,CAAC;QAED,MAAM,eAAe,GAAG,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAC/D,eAAe,CAAC,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAC1F,CAAC;QACF,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/B,KAAK,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC;YACpC,cAAc,CAAC,IAAI,CAAC,UAAU,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC7D,CAAC;QAED,MAAM,YAAY,GAAG,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QACpF,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,KAAK,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC;YACjC,cAAc,CAAC,IAAI,CAAC,aAAa,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC7D,CAAC;QAED,IAAI,KAAK,CAAC,SAAS;YAAE,KAAK,IAAI,CAAC,CAAC;QAChC,IAAI,KAAK,CAAC,UAAU;YAAE,KAAK,IAAI,CAAC,CAAC;QAEjC,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,KAAK,UAAU,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,KAAK,WAAW,CAAC,CAAC;QACpH,MAAM,oBAAoB,GAAG,CAAC,OAAO;eAChC,KAAK,CAAC,WAAW,KAAK,YAAY;eAClC,KAAK,CAAC,WAAW,KAAK,YAAY;eAClC,WAAW;eACX,YAAY;eACZ,CAAC,CAAC,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,gBAAgB,CAAC,MAAM,KAAK,CAAC,IAAI,qBAAqB,CAAC,MAAM,GAAG,CAAC,CAAC;eAC7F,CAAC,CAAC,KAAK,CAAC,eAAe,IAAI,KAAK,CAAC,gBAAgB,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,gBAAgB,CAAC,QAAQ,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;eACzH,CAAC,KAAK,GAAG,CAAC,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC;QACpC,MAAM,MAAM,GAAoC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,oBAAoB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,cAAc,CAAC;QACzH,MAAM,MAAM,GAAG,MAAM,KAAK,UAAU;YAClC,CAAC,CAAC,SAAS,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,mBAAmB,EAAE;YAC5D,CAAC,CAAC,UAAU,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,qBAAqB,EAAE,CAAC;QACnE,OAAO;YACL,KAAK;YACL,MAAM;YACN,QAAQ,EAAE,MAAM,KAAK,UAAU;YAC/B,KAAK;YACL,SAAS,EAAE,MAAM;YACjB,eAAe,EAAE,cAAc;YAC/B,gBAAgB,EAAE,eAAe;YACjC,eAAe,EAAE,KAAK,CAAC,eAAe;YACtC,WAAW,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,KAAK,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU;YAC/K,YAAY,EAAE;gBACZ,QAAQ,EAAE,OAAO,IAAI,KAAK,CAAC,SAAS;gBACpC,YAAY,EAAE,MAAM;gBACpB,UAAU,EAAE,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,oDAAoD,CAAC,CAAC,CAAC,SAAS;gBAChJ,oBAAoB,EAAE,KAAK,CAAC,qBAAqB,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,gBAAgB;aAC/E;SACF,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,MAAM,QAAQ,GAAG,SAAS;SACvB,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,KAAK,UAAU,CAAC;SACpD,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;SACjC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;IAC9B,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3E,MAAM,gBAAgB,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAClD,QAAQ,CAAC,MAAM,KAAK,UAAU,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACnE,CAAC,CAAC,EAAE,GAAG,QAAQ,EAAE,MAAM,EAAE,cAAuB,EAAE,QAAQ,EAAE,KAAK,EAAE,gBAAgB,EAAE,CAAC,GAAG,QAAQ,CAAC,gBAAgB,EAAE,QAAQ,CAAC,EAAE,SAAS,EAAE,eAAe,EAAE;QAC3J,CAAC,CAAC,QAAQ,CACb,CAAC;IACF,OAAO;QACL,QAAQ;QACR,SAAS,EAAE,gBAAgB;QAC3B,OAAO,EAAE,gBAAgB,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC;QAC7E,YAAY,EAAE,gBAAgB,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,KAAK,cAAc,CAAC;KACxF,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,44 @@
+/**
+ * RouteDecision 合同验证器 — 验证 route_decision 与 workflow_trace 的一致性。
+ *
+ * 被 sf_verify、scenario runner、negative tests 共用。
+ */
+export interface RouteDecisionContractFinding {
+    severity: "hard_fail" | "blocked" | "degraded" | "advisory";
+    rule: string;
+    message: string;
+}
+export interface RouteDecisionContractInput {
+    route_decision?: {
+        route: string;
+        execution_shape: string;
+        mutation_allowed: boolean;
+        input_materials?: Array<{
+            kind: string;
+            path?: string;
+        }>;
+        missing_required_inputs?: string[];
+        scope?: {
+            read_only?: boolean;
+        };
+        constraints?: string[];
+        output_artifact?: {
+            kind?: string;
+            path?: string;
+        } | null;
+    } | null;
+    workflow_trace?: {
+        route?: string;
+        execution_shape?: string;
+    } | null;
+    expansion_input_materials?: Array<{
+        path_or_ref?: string;
+    }>;
+    expansion_output_artifact?: {
+        kind?: string;
+        path?: string;
+    } | null;
+    expansion_constraints?: string[];
+}
+export declare function verifyRouteDecisionContract(input: RouteDecisionContractInput): RouteDecisionContractFinding[];
+//# sourceMappingURL=route_decision_contract_verifier.d.ts.map