soloforge 1.1.2 → 1.1.30

package/dist/engine/contracts/evidence_grounding_contract.js

@@ -0,0 +1,410 @@
+/**
+ * 证据驱动与反幻觉契约 (Evidence-Grounded / Anti-Hallucination Contract)
+ *
+ * 问题六十：约束任务理解、知识注入、方案生成、代码实现、验证交付必须基于证据。
+ * AI 不得无证据声称项目事实、把推测当事实、把验证计划当结果。
+ */
+import crypto from "node:crypto";
+// ── 声明类别→允许证据源映射 ──
+/**
+ * 声明类别对应的允许证据源类型（source_type 级别）。
+ * task_context/classification 只能支撑分类/路由/意图识别，不能支撑项目事实。
+ * 未列入的类别无源类型限制。
+ */
+export const CATEGORY_REQUIRED_SOURCES = {
+    project_fact: ["project_file", "knowledge_asset", "command_output", "user_confirmation"],
+    tech_stack: ["project_file", "knowledge_asset", "command_output", "user_confirmation"],
+    architecture: ["project_file", "knowledge_asset", "command_output", "user_confirmation"],
+    validation_result: ["validation_result", "command_output"],
+    release_status: ["validation_result", "command_output", "project_file", "knowledge_asset"],
+};
+/**
+ * 声明类别对应的允许证据角色（evidence_role 级别）。
+ * template_guidance（默认模板/规则/流程）不得支撑 project_fact/architecture/tech_stack 等事实声明。
+ * 只有真实项目证据（project_source_file/existing_system_analysis/user_confirmation/command_result）才能支撑。
+ */
+export const CATEGORY_REQUIRED_ROLES = {
+    project_fact: ["project_source_file", "existing_system_analysis", "user_confirmation", "command_result"],
+    tech_stack: ["project_source_file", "existing_system_analysis", "user_confirmation", "command_result"],
+    architecture: ["project_source_file", "existing_system_analysis", "user_confirmation", "command_result"],
+    validation_result: ["validation_result", "command_result"],
+    release_status: ["validation_result", "command_result", "project_source_file", "existing_system_analysis"],
+};
+// ── 证据源注册表 ──
+export class EvidenceSourceRegistry {
+    sources = new Map();
+    register(item) {
+        const id = `ev-${crypto.randomUUID().slice(0, 8)}`;
+        const entry = {
+            ...item,
+            id,
+            timestamp: new Date().toISOString(),
+        };
+        this.sources.set(id, entry);
+        return entry;
+    }
+    get(id) {
+        return this.sources.get(id);
+    }
+    query(filter) {
+        return [...this.sources.values()].filter((e) => {
+            if (filter.source_type && e.source_type !== filter.source_type)
+                return false;
+            if (filter.authority && e.authority !== filter.authority)
+                return false;
+            if (filter.freshness && e.freshness !== filter.freshness)
+                return false;
+            if (filter.permission && e.permission !== filter.permission)
+                return false;
+            if (filter.evidence_role && e.evidence_role !== filter.evidence_role)
+                return false;
+            return true;
+        });
+    }
+    clear() {
+        this.sources.clear();
+    }
+    size() {
+        return this.sources.size;
+    }
+}
+// ── 检索契约 ──
+export class RetrievalContract {
+    registry;
+    constructor(registry) {
+        this.registry = registry;
+    }
+    retrieve(plan) {
+        let results = [...this.registry.query({})];
+        if (plan.source_types.length > 0) {
+            results = results.filter((e) => plan.source_types.includes(e.source_type));
+        }
+        if (plan.keywords.length > 0) {
+            const kw = plan.keywords.map((k) => k.toLowerCase());
+            results = results.filter((e) => kw.some((k) => e.description.toLowerCase().includes(k) || (e.source_ref ?? "").toLowerCase().includes(k)));
+        }
+        // 过滤禁止源
+        results = results.filter((e) => e.permission !== "forbidden");
+        // 按 authority 排序
+        const authorityOrder = {
+            authoritative: 0, trusted: 1, supporting: 2, weak: 3, forbidden: 99,
+        };
+        results.sort((a, b) => authorityOrder[a.authority] - authorityOrder[b.authority]);
+        return results.slice(0, plan.max_results);
+    }
+}
+// ── 证据冲突检测器 ──
+export class EvidenceConflictDetector {
+    detect(evidence, claims) {
+        const conflicts = [];
+        for (const claim of claims) {
+            const claimEvidence = evidence.filter((e) => claim.evidence_ids.includes(e.id));
+            // deprecated 证据仍在使用（不要求 >= 2 条证据）
+            const deprecatedEv = claimEvidence.filter((e) => e.freshness === "deprecated");
+            if (deprecatedEv.length > 0) {
+                conflicts.push({
+                    claim_id: claim.id,
+                    conflicting_evidence_ids: deprecatedEv.map((e) => e.id),
+                    description: `声明「${claim.claim_text}」引用了过期证据`,
+                    resolution_status: "unresolved",
+                    recommended_action: "替换为当前证据或标注不确定性",
+                });
+            }
+            if (claimEvidence.length < 2)
+                continue;
+            // 检测冲突：同一 claim 有相互矛盾的证据（不同 authority 下的不同描述）
+            const descriptions = new Map();
+            for (const ev of claimEvidence) {
+                const key = `${ev.source_type}:${ev.source_ref ?? "unknown"}`;
+                if (!descriptions.has(key))
+                    descriptions.set(key, []);
+                descriptions.get(key).push(ev);
+            }
+            // 同一 claim 来自不同 source_type 的 authoritative 证据存在矛盾
+            const authSources = claimEvidence.filter((e) => e.authority === "authoritative");
+            if (authSources.length >= 2) {
+                const refs = new Set(authSources.map((e) => e.source_ref ?? ""));
+                if (refs.size >= 2) {
+                    conflicts.push({
+                        claim_id: claim.id,
+                        conflicting_evidence_ids: authSources.map((e) => e.id),
+                        description: `声明「${claim.claim_text}」有多个权威证据来源互相矛盾`,
+                        resolution_status: "unresolved",
+                        recommended_action: "需要用户确认选择哪个证据源",
+                    });
+                }
+            }
+        }
+        return conflicts;
+    }
+}
+// ── 幻觉风险分类器 ──
+export class HallucinationRiskClassifier {
+    classify(claim, evidence, taskRisk) {
+        const claimEvidence = evidence.filter((e) => claim.evidence_ids.includes(e.id));
+        // 无任何证据
+        if (claimEvidence.length === 0) {
+            return taskRisk === "low" ? "medium" : "critical";
+        }
+        // 只有 generated_inference 且非低风险
+        const onlyInference = claimEvidence.every((e) => e.source_type === "generated_inference");
+        if (onlyInference && taskRisk !== "low") {
+            return "high";
+        }
+        // 有 forbidden 证据
+        if (claimEvidence.some((e) => e.permission === "forbidden")) {
+            return "critical";
+        }
+        // 有 stale/unknown 且高风险
+        const hasWeak = claimEvidence.some((e) => e.freshness === "stale" || e.freshness === "unknown");
+        if (hasWeak && (taskRisk === "high" || taskRisk === "critical")) {
+            return "high";
+        }
+        // 有 deprecated
+        if (claimEvidence.some((e) => e.freshness === "deprecated")) {
+            return "high";
+        }
+        // 有权威证据且 current
+        const hasAuthoritative = claimEvidence.some((e) => e.authority === "authoritative" && e.freshness === "current");
+        if (hasAuthoritative)
+            return "low";
+        return "medium";
+    }
+}
+// ── 事实声明校验器 ──
+export class FactClaimVerifier {
+    registry;
+    classifier;
+    constructor(registry, classifier) {
+        this.registry = registry;
+        this.classifier = classifier;
+    }
+    verify(claims, taskRisk) {
+        const evidence = [...this.registry.query({})];
+        const verified = [];
+        const unsupported = [];
+        const risk_summary = { low: 0, medium: 0, high: 0, critical: 0 };
+        for (const claim of claims) {
+            const risk = this.classifier.classify(claim, evidence, taskRisk);
+            risk_summary[risk]++;
+            // 检测 generated_inference 单独支撑项目事实
+            const claimEvidence = evidence.filter((e) => claim.evidence_ids.includes(e.id));
+            const onlyInference = claimEvidence.length > 0 && claimEvidence.every((e) => e.source_type === "generated_inference");
+            const isFactClaim = ["project_fact", "tech_stack", "file_change", "test_execution", "release_status", "validation_result"].includes(claim.category);
+            if (onlyInference && isFactClaim) {
+                claim.is_uncertain = true;
+                unsupported.push(claim);
+                continue;
+            }
+            // 检测证据源类型与声明类别的适配性
+            const allowedSources = claim.required_source_types ?? CATEGORY_REQUIRED_SOURCES[claim.category];
+            if (allowedSources) {
+                const compatibleEvidence = claimEvidence.filter((e) => allowedSources.includes(e.source_type));
+                if (compatibleEvidence.length === 0) {
+                    claim.is_uncertain = true;
+                    unsupported.push(claim);
+                    continue;
+                }
+            }
+            // 检测证据角色与声明类别的适配性（template_guidance 不得支撑事实声明）
+            const requiredRoles = CATEGORY_REQUIRED_ROLES[claim.category];
+            if (requiredRoles) {
+                const roleCompatible = claimEvidence.filter((e) => e.evidence_role && requiredRoles.includes(e.evidence_role));
+                if (roleCompatible.length === 0) {
+                    claim.is_uncertain = true;
+                    unsupported.push(claim);
+                    continue;
+                }
+            }
+            // 检测 validation_plan 冒充 validation_result
+            if (claim.category === "validation_result") {
+                const hasRealResult = claimEvidence.some((e) => e.source_type === "validation_result" || e.source_type === "command_output");
+                if (!hasRealResult) {
+                    claim.is_uncertain = true;
+                    unsupported.push(claim);
+                    continue;
+                }
+            }
+            // 检测 fake validation / tests-only / gate-only / scenario-only 自证
+            if (this.isSelfAttestation(claim, claimEvidence)) {
+                claim.is_uncertain = true;
+                unsupported.push(claim);
+                continue;
+            }
+            if (risk === "critical" || (risk === "high" && (taskRisk === "high" || taskRisk === "critical"))) {
+                claim.is_uncertain = true;
+                unsupported.push(claim);
+            }
+            else {
+                verified.push(claim);
+            }
+        }
+        return { verified, unsupported, risk_summary };
+    }
+    /** 检测自证模式：只用 tests/scenario/gate 调用证明主链路消费 */
+    isSelfAttestation(claim, evidence) {
+        const selfAttestPatterns = [
+            /only.*test/i, /tests[-_]only/i,
+            /only.*scenario/i, /scenario[-_]only/i,
+            /only.*gate/i, /gate[-_]only/i,
+            /fake.*validation/i, /fake.*metric/i,
+        ];
+        for (const ev of evidence) {
+            for (const pattern of selfAttestPatterns) {
+                if (pattern.test(ev.description) || pattern.test(ev.source_ref ?? "")) {
+                    return true;
+                }
+            }
+        }
+        // 所有证据都是测试文件
+        if (evidence.length > 0 && evidence.every((e) => (e.source_ref ?? "").includes("test") || (e.source_ref ?? "").includes(".test."))) {
+            return true;
+        }
+        return false;
+    }
+}
+// ── 无证据声明门禁 ──
+export class UnsupportedClaimGate {
+    conflictDetector;
+    constructor(conflictDetector) {
+        this.conflictDetector = conflictDetector;
+    }
+    evaluate(matrix, taskRisk) {
+        const unsupported_claims = [];
+        const unresolved_conflicts = [];
+        const missing_evidence = [];
+        const requires_user_confirmation = [];
+        // 1. 无证据声明
+        for (const claim of matrix.unsupported_claims) {
+            unsupported_claims.push(claim);
+        }
+        // 2. 未裁决冲突
+        for (const conflict of matrix.conflicts) {
+            if (conflict.resolution_status === "unresolved" || conflict.resolution_status === "blocked") {
+                unresolved_conflicts.push(conflict.claim_id);
+            }
+        }
+        // 3. 检查高风险 claim 证据缺失
+        for (const claim of matrix.claims) {
+            if (claim.evidence_ids.length === 0 && claim.risk_level !== "low") {
+                missing_evidence.push(claim.id);
+            }
+        }
+        // 计算综合风险
+        const riskSummary = matrix.risk_summary;
+        const overallRisk = (riskSummary.critical ?? 0) > 0 ? "critical"
+            : (riskSummary.high ?? 0) > 0 ? "high"
+                : (riskSummary.medium ?? 0) > 0 ? "medium"
+                    : "low";
+        // 判断是否允许通过
+        let allowed = true;
+        let reason_zh = "证据驱动门禁通过";
+        const diagnostic_code = "SF-EVIDENCE-6000";
+        // 高风险任务不允许无证据声明或未裁决冲突
+        if (taskRisk === "high" || taskRisk === "critical") {
+            if (unsupported_claims.length > 0) {
+                allowed = false;
+                reason_zh = `高风险任务存在 ${unsupported_claims.length} 条无证据声明，不得继续`;
+            }
+            if (unresolved_conflicts.length > 0) {
+                allowed = false;
+                reason_zh += `；存在 ${unresolved_conflicts.length} 条未裁决证据冲突`;
+            }
+            if (missing_evidence.length > 0) {
+                allowed = false;
+                reason_zh += `；${missing_evidence.length} 条高风险声明缺少证据`;
+            }
+        }
+        // 任何风险等级都不允许 forbidden 证据
+        const forbiddenEvidence = matrix.evidence.filter((e) => e.permission === "forbidden");
+        if (forbiddenEvidence.length > 0) {
+            allowed = false;
+            reason_zh += `；发现 ${forbiddenEvidence.length} 条禁止源证据`;
+        }
+        // 不确定项需要用户确认
+        const uncertainClaims = matrix.claims.filter((c) => c.is_uncertain);
+        if (uncertainClaims.length > 0) {
+            for (const c of uncertainClaims) {
+                requires_user_confirmation.push(`声明「${c.claim_text}」证据不足，需要确认`);
+            }
+        }
+        return {
+            allowed,
+            reason_zh,
+            diagnostic_code: allowed ? "SF-EVIDENCE-6000" : "SF-EVIDENCE-6001",
+            unsupported_claims,
+            unresolved_conflicts,
+            missing_evidence,
+            risk_level: overallRisk,
+            requires_user_confirmation,
+        };
+    }
+}
+// ── 接地上下文构建器 ──
+export class GroundedContextBuilder {
+    registry;
+    retrieval;
+    constructor(registry, retrieval) {
+        this.registry = registry;
+        this.retrieval = retrieval;
+    }
+    buildContext(claims, plan) {
+        const evidence = this.retrieval.retrieve(plan);
+        const conflictDetector = new EvidenceConflictDetector();
+        const conflicts = conflictDetector.detect(evidence, claims);
+        const unsupported_claims = [];
+        for (const claim of claims) {
+            if (claim.evidence_ids.length === 0 || claim.is_uncertain) {
+                unsupported_claims.push(claim.id);
+            }
+        }
+        const risk_summary = { low: 0, medium: 0, high: 0, critical: 0 };
+        for (const claim of claims) {
+            risk_summary[claim.risk_level]++;
+        }
+        return {
+            task_id: "",
+            claims,
+            evidence,
+            conflicts,
+            unsupported_claims,
+            risk_summary,
+            created_at: new Date().toISOString(),
+        };
+    }
+}
+// ── 便捷工厂 ──
+export function createEvidenceGroundingSystem() {
+    const registry = new EvidenceSourceRegistry();
+    const retrieval = new RetrievalContract(registry);
+    const classifier = new HallucinationRiskClassifier();
+    const conflictDetector = new EvidenceConflictDetector();
+    const verifier = new FactClaimVerifier(registry, classifier);
+    const gate = new UnsupportedClaimGate(conflictDetector);
+    const builder = new GroundedContextBuilder(registry, retrieval);
+    return { registry, retrieval, classifier, conflictDetector, verifier, gate, builder };
+}
+// ── 高风险任务类型判定 ──
+const HIGH_RISK_CATEGORIES = [
+    "release_status", "architecture", "security", "performance",
+];
+export function isHighRiskClaimCategory(category) {
+    return HIGH_RISK_CATEGORIES.includes(category);
+}
+/** 判断任务风险等级 */
+export function assessTaskRisk(taskType, routeDecision, intentKeywords) {
+    if (!taskType && !routeDecision && !intentKeywords)
+        return "medium";
+    const highRiskKeywords = /发布|release|架构|architecture|安全|security|迁移|migration/i;
+    const criticalKeywords = /发布门禁|validate.release|production|生产/i;
+    if (intentKeywords && criticalKeywords.test(intentKeywords))
+        return "critical";
+    if (intentKeywords && highRiskKeywords.test(intentKeywords))
+        return "high";
+    if (routeDecision === "code_change" || routeDecision === "artifact_generation")
+        return "high";
+    if (taskType === "feature" || taskType === "bugfix")
+        return "medium";
+    return "low";
+}
+//# sourceMappingURL=evidence_grounding_contract.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"evidence_grounding_contract.js","sourceRoot":"","sources":["../../../src/engine/contracts/evidence_grounding_contract.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,MAAM,MAAM,aAAa,CAAC;AAuFjC,qBAAqB;AAErB;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAyD;IAC7F,YAAY,EAAE,CAAC,cAAc,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,mBAAmB,CAAC;IACxF,UAAU,EAAE,CAAC,cAAc,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,mBAAmB,CAAC;IACtF,YAAY,EAAE,CAAC,cAAc,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,mBAAmB,CAAC;IACxF,iBAAiB,EAAE,CAAC,mBAAmB,EAAE,gBAAgB,CAAC;IAC1D,cAAc,EAAE,CAAC,mBAAmB,EAAE,gBAAgB,EAAE,cAAc,EAAE,iBAAiB,CAAC;CAC3F,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAmD;IACrF,YAAY,EAAE,CAAC,qBAAqB,EAAE,0BAA0B,EAAE,mBAAmB,EAAE,gBAAgB,CAAC;IACxG,UAAU,EAAE,CAAC,qBAAqB,EAAE,0BAA0B,EAAE,mBAAmB,EAAE,gBAAgB,CAAC;IACtG,YAAY,EAAE,CAAC,qBAAqB,EAAE,0BAA0B,EAAE,mBAAmB,EAAE,gBAAgB,CAAC;IACxG,iBAAiB,EAAE,CAAC,mBAAmB,EAAE,gBAAgB,CAAC;IAC1D,cAAc,EAAE,CAAC,mBAAmB,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,0BAA0B,CAAC;CAC3G,CAAC;AA8CF,eAAe;AAEf,MAAM,OAAO,sBAAsB;IACzB,OAAO,GAAG,IAAI,GAAG,EAAwB,CAAC;IAElD,QAAQ,CAAC,IAA4C;QACnD,MAAM,EAAE,GAAG,MAAM,MAAM,CAAC,UAAU,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACnD,MAAM,KAAK,GAAiB;YAC1B,GAAG,IAAI;YACP,EAAE;YACF,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACpC,CAAC;QACF,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;QAC5B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,GAAG,CAAC,EAAU;QACZ,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC9B,CAAC;IAED,KAAK,CAAC,MAA+G;QACnH,OAAO,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE;YAC7C,IAAI,MAAM,CAAC,WAAW,IAAI,CAAC,CAAC,WAAW,KAAK,MAAM,CAAC,WAAW;gBAAE,OAAO,KAAK,CAAC;YAC7E,IAAI,MAAM,CAAC,SAAS,IAAI,CAAC,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS;gBAAE,OAAO,KAAK,CAAC;YACvE,IAAI,MAAM,CAAC,SAAS,IAAI,CAAC,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS;gBAAE,OAAO,KAAK,CAAC;YACvE,IAAI,MAAM,CAAC,UAAU,IAAI,CAAC,CAAC,UAAU,KAAK,MAAM,CAAC,UAAU;gBAAE,OAAO,KAAK,CAAC;YAC1E,IAAI,MAAM,CAAC,aAAa,IAAI,CAAC,CAAC,aAAa,KAAK,MAAM,CAAC,aAAa;gBAAE,OAAO,KAAK,CAAC;YACnF,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CAAC;IACL,CAAC;IAED,KAAK;QACH,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;IACvB,CAAC;IAED,IAAI;QACF,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;IAC3B,CAAC;CACF;AAED,aAAa;AAEb,MAAM,OAAO,iBAAiB;IACR;IAApB,YAAoB,QAAgC;QAAhC,aAAQ,GAAR,QAAQ,CAAwB;IAAG,CAAC;IAExD,QAAQ,CAAC,IAAmB;QAC1B,IAAI,OAAO,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;QAE3C,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjC,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;QAC7E,CAAC;QAED,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,MAAM,EAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;YACrD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAC7B,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAC1G,CAAC;QACJ,CAAC;QAED,QAAQ;QACR,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,WAAW,CAAC,CAAC;QAE9D,iBAAiB;QACjB,MAAM,cAAc,GAAsC;YACxD,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE;SACpE,CAAC;QACF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;QAElF,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;IAC5C,CAAC;CACF;AAED,gBAAgB;AAEhB,MAAM,OAAO,wBAAwB;IACnC,MAAM,CAAC,QAAwB,EAAE,MAAmB;QAClD,MAAM,SAAS,GAAuB,EAAE,CAAC;QAEzC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAEhF,kCAAkC;YAClC,MAAM,YAAY,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,YAAY,CAAC,CAAC;YAC/E,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5B,SAAS,CAAC,IAAI,CAAC;oBACb,QAAQ,EAAE,KAAK,CAAC,EAAE;oBAClB,wBAAwB,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;oBACvD,WAAW,EAAE,MAAM,KAAK,CAAC,UAAU,UAAU;oBAC7C,iBAAiB,EAAE,YAAY;oBAC/B,kBAAkB,EAAE,gBAAgB;iBACrC,CAAC,CAAC;YACL,CAAC;YAED,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC;gBAAE,SAAS;YAEvC,8CAA8C;YAC9C,MAAM,YAAY,GAAG,IAAI,GAAG,EAA0B,CAAC;YACvD,KAAK,MAAM,EAAE,IAAI,aAAa,EAAE,CAAC;gBAC/B,MAAM,GAAG,GAAG,GAAG,EAAE,CAAC,WAAW,IAAI,EAAE,CAAC,UAAU,IAAI,SAAS,EAAE,CAAC;gBAC9D,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC;oBAAE,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;gBACtD,YAAY,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAClC,CAAC;YAED,mDAAmD;YACnD,MAAM,WAAW,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,eAAe,CAAC,CAAC;YACjF,IAAI,WAAW,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBAC5B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,CAAC;gBACjE,IAAI,IAAI,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC;oBACnB,SAAS,CAAC,IAAI,CAAC;wBACb,QAAQ,EAAE,KAAK,CAAC,EAAE;wBAClB,wBAAwB,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;wBACtD,WAAW,EAAE,MAAM,KAAK,CAAC,UAAU,gBAAgB;wBACnD,iBAAiB,EAAE,YAAY;wBAC/B,kBAAkB,EAAE,eAAe;qBACpC,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QAEH,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;CACF;AAED,gBAAgB;AAEhB,MAAM,OAAO,2BAA2B;IACtC,QAAQ,CACN,KAAgB,EAChB,QAAwB,EACxB,QAAgD;QAEhD,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAEhF,QAAQ;QACR,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/B,OAAO,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC;QACpD,CAAC;QAED,+BAA+B;QAC/B,MAAM,aAAa,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,qBAAqB,CAAC,CAAC;QAC1F,IAAI,aAAa,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;YACxC,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,iBAAiB;QACjB,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,WAAW,CAAC,EAAE,CAAC;YAC5D,OAAO,UAAU,CAAC;QACpB,CAAC;QAED,uBAAuB;QACvB,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,OAAO,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC;QAChG,IAAI,OAAO,IAAI,CAAC,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,UAAU,CAAC,EAAE,CAAC;YAChE,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,eAAe;QACf,IAAI,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,YAAY,CAAC,EAAE,CAAC;YAC5D,OAAO,MAAM,CAAC;QAChB,CAAC;QAED,iBAAiB;QACjB,MAAM,gBAAgB,GAAG,aAAa,CAAC,IAAI,CACzC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,eAAe,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS,CACpE,CAAC;QACF,IAAI,gBAAgB;YAAE,OAAO,KAAK,CAAC;QAEnC,OAAO,QAAQ,CAAC;IAClB,CAAC;CACF;AAED,gBAAgB;AAEhB,MAAM,OAAO,iBAAiB;IAElB;IACA;IAFV,YACU,QAAgC,EAChC,UAAuC;QADvC,aAAQ,GAAR,QAAQ,CAAwB;QAChC,eAAU,GAAV,UAAU,CAA6B;IAC9C,CAAC;IAEJ,MAAM,CAAC,MAAmB,EAAE,QAAgD;QAK1E,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9C,MAAM,QAAQ,GAAgB,EAAE,CAAC;QACjC,MAAM,WAAW,GAAgB,EAAE,CAAC;QACpC,MAAM,YAAY,GAA2C,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;QAEzG,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;YACjE,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YAErB,kCAAkC;YAClC,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAChF,MAAM,aAAa,GAAG,aAAa,CAAC,MAAM,GAAG,CAAC,IAAI,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,qBAAqB,CAAC,CAAC;YACtH,MAAM,WAAW,GAAG,CAAC,cAAc,EAAE,YAAY,EAAE,aAAa,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,mBAAmB,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YAEpJ,IAAI,aAAa,IAAI,WAAW,EAAE,CAAC;gBACjC,KAAK,CAAC,YAAY,GAAG,IAAI,CAAC;gBAC1B,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACxB,SAAS;YACX,CAAC;YAED,mBAAmB;YACnB,MAAM,cAAc,GAAG,KAAK,CAAC,qBAAqB,IAAI,yBAAyB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YAChG,IAAI,cAAc,EAAE,CAAC;gBACnB,MAAM,kBAAkB,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;gBAC/F,IAAI,kBAAkB,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACpC,KAAK,CAAC,YAAY,GAAG,IAAI,CAAC;oBAC1B,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;oBACxB,SAAS;gBACX,CAAC;YACH,CAAC;YAED,8CAA8C;YAC9C,MAAM,aAAa,GAAG,uBAAuB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;YAC9D,IAAI,aAAa,EAAE,CAAC;gBAClB,MAAM,cAAc,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAChD,CAAC,CAAC,aAAa,IAAI,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,CAAC,CAC3D,CAAC;gBACF,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAChC,KAAK,CAAC,YAAY,GAAG,IAAI,CAAC;oBAC1B,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;oBACxB,SAAS;gBACX,CAAC;YACH,CAAC;YAED,0CAA0C;YAC1C,IAAI,KAAK,CAAC,QAAQ,KAAK,mBAAmB,EAAE,CAAC;gBAC3C,MAAM,aAAa,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAC7C,CAAC,CAAC,WAAW,KAAK,mBAAmB,IAAI,CAAC,CAAC,WAAW,KAAK,gBAAgB,CAC5E,CAAC;gBACF,IAAI,CAAC,aAAa,EAAE,CAAC;oBACnB,KAAK,CAAC,YAAY,GAAG,IAAI,CAAC;oBAC1B,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;oBACxB,SAAS;gBACX,CAAC;YACH,CAAC;YAED,iEAAiE;YACjE,IAAI,IAAI,CAAC,iBAAiB,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,CAAC;gBACjD,KAAK,CAAC,YAAY,GAAG,IAAI,CAAC;gBAC1B,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACxB,SAAS;YACX,CAAC;YAED,IAAI,IAAI,KAAK,UAAU,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC;gBACjG,KAAK,CAAC,YAAY,GAAG,IAAI,CAAC;gBAC1B,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC1B,CAAC;iBAAM,CAAC;gBACN,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACvB,CAAC;QACH,CAAC;QAED,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC;IACjD,CAAC;IAED,8CAA8C;IACtC,iBAAiB,CAAC,KAAgB,EAAE,QAAwB;QAClE,MAAM,kBAAkB,GAAG;YACzB,aAAa,EAAE,gBAAgB;YAC/B,iBAAiB,EAAE,mBAAmB;YACtC,aAAa,EAAE,eAAe;YAC9B,mBAAmB,EAAE,eAAe;SACrC,CAAC;QAEF,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;YAC1B,KAAK,MAAM,OAAO,IAAI,kBAAkB,EAAE,CAAC;gBACzC,IAAI,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,IAAI,EAAE,CAAC,EAAE,CAAC;oBACtE,OAAO,IAAI,CAAC;gBACd,CAAC;YACH,CAAC;QACH,CAAC;QAED,aAAa;QACb,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAC9C,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CACjF,EAAE,CAAC;YACF,OAAO,IAAI,CAAC;QACd,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;CACF;AAED,gBAAgB;AAEhB,MAAM,OAAO,oBAAoB;IAErB;IADV,YACU,gBAA0C;QAA1C,qBAAgB,GAAhB,gBAAgB,CAA0B;IACjD,CAAC;IAEJ,QAAQ,CACN,MAAsB,EACtB,QAAgD;QAEhD,MAAM,kBAAkB,GAAa,EAAE,CAAC;QACxC,MAAM,oBAAoB,GAAa,EAAE,CAAC;QAC1C,MAAM,gBAAgB,GAAa,EAAE,CAAC;QACtC,MAAM,0BAA0B,GAAa,EAAE,CAAC;QAEhD,WAAW;QACX,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,kBAAkB,EAAE,CAAC;YAC9C,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,CAAC;QAED,WAAW;QACX,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;YACxC,IAAI,QAAQ,CAAC,iBAAiB,KAAK,YAAY,IAAI,QAAQ,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;gBAC5F,oBAAoB,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAC/C,CAAC;QACH,CAAC;QAED,sBAAsB;QACtB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;YAClC,IAAI,KAAK,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,UAAU,KAAK,KAAK,EAAE,CAAC;gBAClE,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAClC,CAAC;QACH,CAAC;QAED,SAAS;QACT,MAAM,WAAW,GAAG,MAAM,CAAC,YAAY,CAAC;QACxC,MAAM,WAAW,GACf,CAAC,WAAW,CAAC,QAAQ,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU;YAC5C,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM;gBACtC,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ;oBAC1C,CAAC,CAAC,KAAK,CAAC;QAEV,WAAW;QACX,IAAI,OAAO,GAAG,IAAI,CAAC;QACnB,IAAI,SAAS,GAAG,UAAU,CAAC;QAC3B,MAAM,eAAe,GAAG,kBAAkB,CAAC;QAE3C,sBAAsB;QACtB,IAAI,QAAQ,KAAK,MAAM,IAAI,QAAQ,KAAK,UAAU,EAAE,CAAC;YACnD,IAAI,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAClC,OAAO,GAAG,KAAK,CAAC;gBAChB,SAAS,GAAG,WAAW,kBAAkB,CAAC,MAAM,cAAc,CAAC;YACjE,CAAC;YACD,IAAI,oBAAoB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpC,OAAO,GAAG,KAAK,CAAC;gBAChB,SAAS,IAAI,OAAO,oBAAoB,CAAC,MAAM,WAAW,CAAC;YAC7D,CAAC;YACD,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAChC,OAAO,GAAG,KAAK,CAAC;gBAChB,SAAS,IAAI,IAAI,gBAAgB,CAAC,MAAM,aAAa,CAAC;YACxD,CAAC;QACH,CAAC;QAED,0BAA0B;QAC1B,MAAM,iBAAiB,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,KAAK,WAAW,CAAC,CAAC;QACtF,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACjC,OAAO,GAAG,KAAK,CAAC;YAChB,SAAS,IAAI,OAAO,iBAAiB,CAAC,MAAM,SAAS,CAAC;QACxD,CAAC;QAED,aAAa;QACb,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC;QACpE,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/B,KAAK,MAAM,CAAC,IAAI,eAAe,EAAE,CAAC;gBAChC,0BAA0B,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,UAAU,YAAY,CAAC,CAAC;YAClE,CAAC;QACH,CAAC;QAED,OAAO;YACL,OAAO;YACP,SAAS;YACT,eAAe,EAAE,OAAO,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,kBAAkB;YAClE,kBAAkB;YAClB,oBAAoB;YACpB,gBAAgB;YAChB,UAAU,EAAE,WAAW;YACvB,0BAA0B;SAC3B,CAAC;IACJ,CAAC;CACF;AAED,iBAAiB;AAEjB,MAAM,OAAO,sBAAsB;IAEvB;IACA;IAFV,YACU,QAAgC,EAChC,SAA4B;QAD5B,aAAQ,GAAR,QAAQ,CAAwB;QAChC,cAAS,GAAT,SAAS,CAAmB;IACnC,CAAC;IAEJ,YAAY,CACV,MAAmB,EACnB,IAAmB;QAEnB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC/C,MAAM,gBAAgB,GAAG,IAAI,wBAAwB,EAAE,CAAC;QACxD,MAAM,SAAS,GAAG,gBAAgB,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAE5D,MAAM,kBAAkB,GAAa,EAAE,CAAC;QACxC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,KAAK,CAAC,YAAY,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;gBAC1D,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YACpC,CAAC;QACH,CAAC;QAED,MAAM,YAAY,GAA2C,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC;QACzG,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,YAAY,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;QACnC,CAAC;QAED,OAAO;YACL,OAAO,EAAE,EAAE;YACX,MAAM;YACN,QAAQ;YACR,SAAS;YACT,kBAAkB;YAClB,YAAY;YACZ,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACrC,CAAC;IACJ,CAAC;CACF;AAED,aAAa;AAEb,MAAM,UAAU,6BAA6B;IAC3C,MAAM,QAAQ,GAAG,IAAI,sBAAsB,EAAE,CAAC;IAC9C,MAAM,SAAS,GAAG,IAAI,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IAClD,MAAM,UAAU,GAAG,IAAI,2BAA2B,EAAE,CAAC;IACrD,MAAM,gBAAgB,GAAG,IAAI,wBAAwB,EAAE,CAAC;IACxD,MAAM,QAAQ,GAAG,IAAI,iBAAiB,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC7D,MAAM,IAAI,GAAG,IAAI,oBAAoB,CAAC,gBAAgB,CAAC,CAAC;IACxD,MAAM,OAAO,GAAG,IAAI,sBAAsB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAEhE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,UAAU,EAAE,gBAAgB,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AACxF,CAAC;AAED,kBAAkB;AAElB,MAAM,oBAAoB,GAAoB;IAC5C,gBAAgB,EAAE,cAAc,EAAE,UAAU,EAAE,aAAa;CAC5D,CAAC;AAEF,MAAM,UAAU,uBAAuB,CAAC,QAAuB;IAC7D,OAAO,oBAAoB,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;AACjD,CAAC;AAED,eAAe;AACf,MAAM,UAAU,cAAc,CAC5B,QAAiB,EACjB,aAAsB,EACtB,cAAuB;IAEvB,IAAI,CAAC,QAAQ,IAAI,CAAC,aAAa,IAAI,CAAC,cAAc;QAAE,OAAO,QAAQ,CAAC;IAEpE,MAAM,gBAAgB,GAAG,sDAAsD,CAAC;IAChF,MAAM,gBAAgB,GAAG,sCAAsC,CAAC;IAEhE,IAAI,cAAc,IAAI,gBAAgB,CAAC,IAAI,CAAC,cAAc,CAAC;QAAE,OAAO,UAAU,CAAC;IAC/E,IAAI,cAAc,IAAI,gBAAgB,CAAC,IAAI,CAAC,cAAc,CAAC;QAAE,OAAO,MAAM,CAAC;IAC3E,IAAI,aAAa,KAAK,aAAa,IAAI,aAAa,KAAK,qBAAqB;QAAE,OAAO,MAAM,CAAC;IAC9F,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAErE,OAAO,KAAK,CAAC;AACf,CAAC"}

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

@@ -0,0 +1,42 @@
+/**
+ * 问题五十四: Evolution Regression + Template Evolution Gate — 演进回归与新问题门控。
+ *
+ * 强制执行:
+ * - 新增问题/workflow 必须经过 DuplicateIssueCheck 和 TemplateEvolutionImpact
+ * - 没有 NewIssueRegressionGate 的新增问题不得 accepted
+ */
+import type { NewIssueRegressionGate, DuplicateIssueCheck, ExistingBatchImpactAnalysis, TemplateEvolutionImpact, EvolutionGateStatus } from "./extension_platform_contracts.js";
+export interface EvolutionGateResult {
+    allowed: boolean;
+    gate_status: EvolutionGateStatus;
+    reasons: string[];
+}
+/**
+ * 创建新问题回归门控。
+ */
+export declare function createNewIssueRegressionGate(overrides: Partial<NewIssueRegressionGate> & Pick<NewIssueRegressionGate, "issue_candidate_id" | "candidate_title">): NewIssueRegressionGate;
+/**
+ * 执行重复问题检查。
+ */
+export declare function checkDuplicateIssue(candidateTitle: string, existingIssues: Array<{
+    id: string;
+    title: string;
+    status: string;
+}>): DuplicateIssueCheck;
+/**
+ * 分析现有领域影响。
+ */
+export declare function analyzeExistingBatchImpact(touchedContracts: string[], touchedWorkflows: string[]): ExistingBatchImpactAnalysis;
+/**
+ * 分析模板演进影响。
+ */
+export declare function analyzeTemplateEvolutionImpact(touchedContracts: string[], newWorkflows: string[]): TemplateEvolutionImpact;
+/**
+ * 执行演进门控 — 没有 NewIssueRegressionGate 的新增问题不得 accepted。
+ */
+export declare function performEvolutionGate(gate: NewIssueRegressionGate): EvolutionGateResult;
+/**
+ * 推进演进门控状态。
+ */
+export declare function advanceEvolutionGateStatus(current: EvolutionGateStatus): EvolutionGateStatus[];
+//# sourceMappingURL=evolution_regression_gate.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"evolution_regression_gate.d.ts","sourceRoot":"","sources":["../../../src/engine/contracts/evolution_regression_gate.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EACV,sBAAsB,EACtB,mBAAmB,EACnB,2BAA2B,EAC3B,uBAAuB,EACvB,mBAAmB,EACpB,MAAM,mCAAmC,CAAC;AAE3C,MAAM,WAAW,mBAAmB;IAClC,OAAO,EAAE,OAAO,CAAC;IACjB,WAAW,EAAE,mBAAmB,CAAC;IACjC,OAAO,EAAE,MAAM,EAAE,CAAC;CACnB;AAED;;GAEG;AACH,wBAAgB,4BAA4B,CAC1C,SAAS,EAAE,OAAO,CAAC,sBAAsB,CAAC,GAAG,IAAI,CAAC,sBAAsB,EAAE,oBAAoB,GAAG,iBAAiB,CAAC,GAClH,sBAAsB,CAgCxB;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CACjC,cAAc,EAAE,MAAM,EACtB,cAAc,EAAE,KAAK,CAAC;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,GACnE,mBAAmB,CAkBrB;AAED;;GAEG;AACH,wBAAgB,0BAA0B,CACxC,gBAAgB,EAAE,MAAM,EAAE,EAC1B,gBAAgB,EAAE,MAAM,EAAE,GACzB,2BAA2B,CAmB7B;AAED;;GAEG;AACH,wBAAgB,8BAA8B,CAC5C,gBAAgB,EAAE,MAAM,EAAE,EAC1B,YAAY,EAAE,MAAM,EAAE,GACrB,uBAAuB,CAczB;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,sBAAsB,GAC3B,mBAAmB,CA4CrB;AAED;;GAEG;AACH,wBAAgB,0BAA0B,CACxC,OAAO,EAAE,mBAAmB,GAC3B,mBAAmB,EAAE,CAWvB"}

package/dist/engine/contracts/evolution_regression_gate.js

@@ -0,0 +1,159 @@
+/**
+ * 问题五十四: Evolution Regression + Template Evolution Gate — 演进回归与新问题门控。
+ *
+ * 强制执行:
+ * - 新增问题/workflow 必须经过 DuplicateIssueCheck 和 TemplateEvolutionImpact
+ * - 没有 NewIssueRegressionGate 的新增问题不得 accepted
+ */
+/**
+ * 创建新问题回归门控。
+ */
+export function createNewIssueRegressionGate(overrides) {
+    return {
+        duplicate_check: {
+            possible_duplicates: [],
+            can_merge_into_existing_issue: false,
+        },
+        batch_impact_analysis: {
+            touched_batches: [],
+            touched_contracts: [],
+            touched_workflows: [],
+            touched_templates: [],
+            required_regression_gates: [],
+            release_gate_impact: [],
+        },
+        contract_impact: [],
+        template_evolution_impact: {
+            template_update_required: false,
+            affected_templates: [],
+            new_templates_required: [],
+            workflow_template_update_required: false,
+            adapter_prompt_update_required: false,
+            manifest_update_required: false,
+            sync_migration_required: false,
+            user_project_update_required: false,
+        },
+        scenario_impact: [],
+        migration_impact: [],
+        user_project_impact: [],
+        decision: "create_new_batch",
+        evolution_gate_status: "pending",
+        ...overrides,
+    };
+}
+/**
+ * 执行重复问题检查。
+ */
+export function checkDuplicateIssue(candidateTitle, existingIssues) {
+    const candidateLower = candidateTitle.toLowerCase();
+    const possibleDuplicates = existingIssues.filter(issue => issue.status !== "rejected" && (issue.title.toLowerCase() === candidateLower ||
+        issue.title.toLowerCase().includes(candidateLower) ||
+        candidateLower.includes(issue.title.toLowerCase())));
+    return {
+        possible_duplicates: possibleDuplicates.map(d => d.id),
+        can_merge_into_existing_issue: possibleDuplicates.length > 0,
+        merge_target_issue_id: possibleDuplicates[0]?.id,
+        why_new_issue_required: possibleDuplicates.length === 0
+            ? "无相似问题，需要新建"
+            : undefined,
+    };
+}
+/**
+ * 分析现有领域影响。
+ */
+export function analyzeExistingBatchImpact(touchedContracts, touchedWorkflows) {
+    const batchSet = new Set();
+    // 根据 contract 前缀推断受影响的领域/模块
+    for (const contract of touchedContracts) {
+        if (contract.startsWith("foundation_"))
+            batchSet.add("foundation");
+        else if (contract.startsWith("verification_"))
+            batchSet.add("verification");
+        else if (contract.startsWith("knowledge_"))
+            batchSet.add("knowledge");
+        else if (contract.startsWith("extension_"))
+            batchSet.add("extension");
+    }
+    return {
+        touched_batches: [...batchSet],
+        touched_contracts: touchedContracts,
+        touched_workflows: touchedWorkflows,
+        touched_templates: [],
+        required_regression_gates: [...batchSet].map(b => `${b}_regression_gate`),
+        release_gate_impact: [...batchSet].map(b => `${b}_release_gate 需更新`),
+    };
+}
+/**
+ * 分析模板演进影响。
+ */
+export function analyzeTemplateEvolutionImpact(touchedContracts, newWorkflows) {
+    const needsUpdate = touchedContracts.length > 0 || newWorkflows.length > 0;
+    return {
+        template_update_required: needsUpdate,
+        affected_templates: needsUpdate ? touchedContracts : [],
+        new_templates_required: newWorkflows,
+        workflow_template_update_required: newWorkflows.length > 0,
+        adapter_prompt_update_required: touchedContracts.length > 0,
+        manifest_update_required: needsUpdate,
+        sync_migration_required: false,
+        user_project_update_required: false,
+        not_required_reason: !needsUpdate ? "无模板变更" : undefined,
+    };
+}
+/**
+ * 执行演进门控 — 没有 NewIssueRegressionGate 的新增问题不得 accepted。
+ */
+export function performEvolutionGate(gate) {
+    const reasons = [];
+    // 重复检查
+    if (gate.evolution_gate_status === "pending") {
+        reasons.push("演进门控状态仍为 pending，需要先完成检查");
+    }
+    if (gate.duplicate_check.possible_duplicates.length > 0 && !gate.duplicate_check.why_new_issue_required) {
+        reasons.push(`发现可能重复的问题 (${gate.duplicate_check.possible_duplicates.join(", ")})，需说明为何需要新建`);
+    }
+    // 批次影响
+    if (gate.batch_impact_analysis.required_regression_gates.length > 0) {
+        // 有影响是正常的，不需要阻止，但需要记录
+    }
+    // 模板演进影响
+    if (gate.template_evolution_impact.template_update_required && !gate.template_evolution_impact.manifest_update_required) {
+        reasons.push("模板需要更新但未标记 manifest 更新");
+    }
+    // 最终决策
+    if (gate.decision === "reject") {
+        return {
+            allowed: false,
+            gate_status: "rejected",
+            reasons: ["问题被否决"],
+        };
+    }
+    if (reasons.length > 0) {
+        return {
+            allowed: false,
+            gate_status: "manual_required",
+            reasons,
+        };
+    }
+    return {
+        allowed: true,
+        gate_status: "accepted",
+        reasons: ["演进门控通过"],
+    };
+}
+/**
+ * 推进演进门控状态。
+ */
+export function advanceEvolutionGateStatus(current) {
+    const transitions = {
+        pending: ["duplicate_found", "accepted"],
+        duplicate_found: ["impact_analyzed", "accepted", "rejected"],
+        impact_analyzed: ["template_checked", "accepted", "rejected"],
+        template_checked: ["accepted", "rejected", "manual_required"],
+        accepted: [],
+        rejected: [],
+        manual_required: ["accepted", "rejected"],
+    };
+    return transitions[current] ?? [];
+}
+//# sourceMappingURL=evolution_regression_gate.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"evolution_regression_gate.js","sourceRoot":"","sources":["../../../src/engine/contracts/evolution_regression_gate.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAgBH;;GAEG;AACH,MAAM,UAAU,4BAA4B,CAC1C,SAAmH;IAEnH,OAAO;QACL,eAAe,EAAE;YACf,mBAAmB,EAAE,EAAE;YACvB,6BAA6B,EAAE,KAAK;SACrC;QACD,qBAAqB,EAAE;YACrB,eAAe,EAAE,EAAE;YACnB,iBAAiB,EAAE,EAAE;YACrB,iBAAiB,EAAE,EAAE;YACrB,iBAAiB,EAAE,EAAE;YACrB,yBAAyB,EAAE,EAAE;YAC7B,mBAAmB,EAAE,EAAE;SACxB;QACD,eAAe,EAAE,EAAE;QACnB,yBAAyB,EAAE;YACzB,wBAAwB,EAAE,KAAK;YAC/B,kBAAkB,EAAE,EAAE;YACtB,sBAAsB,EAAE,EAAE;YAC1B,iCAAiC,EAAE,KAAK;YACxC,8BAA8B,EAAE,KAAK;YACrC,wBAAwB,EAAE,KAAK;YAC/B,uBAAuB,EAAE,KAAK;YAC9B,4BAA4B,EAAE,KAAK;SACpC;QACD,eAAe,EAAE,EAAE;QACnB,gBAAgB,EAAE,EAAE;QACpB,mBAAmB,EAAE,EAAE;QACvB,QAAQ,EAAE,kBAAkB;QAC5B,qBAAqB,EAAE,SAAS;QAChC,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,mBAAmB,CACjC,cAAsB,EACtB,cAAoE;IAEpE,MAAM,cAAc,GAAG,cAAc,CAAC,WAAW,EAAE,CAAC;IACpD,MAAM,kBAAkB,GAAG,cAAc,CAAC,MAAM,CAC9C,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,UAAU,IAAI,CACtC,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,cAAc;QAC5C,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,cAAc,CAAC;QAClD,cAAc,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CACnD,CACF,CAAC;IAEF,OAAO;QACL,mBAAmB,EAAE,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACtD,6BAA6B,EAAE,kBAAkB,CAAC,MAAM,GAAG,CAAC;QAC5D,qBAAqB,EAAE,kBAAkB,CAAC,CAAC,CAAC,EAAE,EAAE;QAChD,sBAAsB,EAAE,kBAAkB,CAAC,MAAM,KAAK,CAAC;YACrD,CAAC,CAAC,YAAY;YACd,CAAC,CAAC,SAAS;KACd,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,0BAA0B,CACxC,gBAA0B,EAC1B,gBAA0B;IAE1B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IAEnC,4BAA4B;IAC5B,KAAK,MAAM,QAAQ,IAAI,gBAAgB,EAAE,CAAC;QACxC,IAAI,QAAQ,CAAC,UAAU,CAAC,aAAa,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;aAC9D,IAAI,QAAQ,CAAC,UAAU,CAAC,eAAe,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;aACvE,IAAI,QAAQ,CAAC,UAAU,CAAC,YAAY,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;aACjE,IAAI,QAAQ,CAAC,UAAU,CAAC,YAAY,CAAC;YAAE,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACxE,CAAC;IAED,OAAO;QACL,eAAe,EAAE,CAAC,GAAG,QAAQ,CAAC;QAC9B,iBAAiB,EAAE,gBAAgB;QACnC,iBAAiB,EAAE,gBAAgB;QACnC,iBAAiB,EAAE,EAAE;QACrB,yBAAyB,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,kBAAkB,CAAC;QACzE,mBAAmB,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,mBAAmB,CAAC;KACrE,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,8BAA8B,CAC5C,gBAA0B,EAC1B,YAAsB;IAEtB,MAAM,WAAW,GAAG,gBAAgB,CAAC,MAAM,GAAG,CAAC,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC;IAE3E,OAAO;QACL,wBAAwB,EAAE,WAAW;QACrC,kBAAkB,EAAE,WAAW,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE;QACvD,sBAAsB,EAAE,YAAY;QACpC,iCAAiC,EAAE,YAAY,CAAC,MAAM,GAAG,CAAC;QAC1D,8BAA8B,EAAE,gBAAgB,CAAC,MAAM,GAAG,CAAC;QAC3D,wBAAwB,EAAE,WAAW;QACrC,uBAAuB,EAAE,KAAK;QAC9B,4BAA4B,EAAE,KAAK;QACnC,mBAAmB,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS;KACxD,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAClC,IAA4B;IAE5B,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,OAAO;IACP,IAAI,IAAI,CAAC,qBAAqB,KAAK,SAAS,EAAE,CAAC;QAC7C,OAAO,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;IAC3C,CAAC;IAED,IAAI,IAAI,CAAC,eAAe,CAAC,mBAAmB,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,sBAAsB,EAAE,CAAC;QACxG,OAAO,CAAC,IAAI,CAAC,cAAc,IAAI,CAAC,eAAe,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC/F,CAAC;IAED,OAAO;IACP,IAAI,IAAI,CAAC,qBAAqB,CAAC,yBAAyB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpE,sBAAsB;IACxB,CAAC;IAED,SAAS;IACT,IAAI,IAAI,CAAC,yBAAyB,CAAC,wBAAwB,IAAI,CAAC,IAAI,CAAC,yBAAyB,CAAC,wBAAwB,EAAE,CAAC;QACxH,OAAO,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;IACzC,CAAC;IAED,OAAO;IACP,IAAI,IAAI,CAAC,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC/B,OAAO;YACL,OAAO,EAAE,KAAK;YACd,WAAW,EAAE,UAAU;YACvB,OAAO,EAAE,CAAC,OAAO,CAAC;SACnB,CAAC;IACJ,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO;YACL,OAAO,EAAE,KAAK;YACd,WAAW,EAAE,iBAAiB;YAC9B,OAAO;SACR,CAAC;IACJ,CAAC;IAED,OAAO;QACL,OAAO,EAAE,IAAI;QACb,WAAW,EAAE,UAAU;QACvB,OAAO,EAAE,CAAC,QAAQ,CAAC;KACpB,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,0BAA0B,CACxC,OAA4B;IAE5B,MAAM,WAAW,GAAuD;QACtE,OAAO,EAAE,CAAC,iBAAiB,EAAE,UAAU,CAAC;QACxC,eAAe,EAAE,CAAC,iBAAiB,EAAE,UAAU,EAAE,UAAU,CAAC;QAC5D,eAAe,EAAE,CAAC,kBAAkB,EAAE,UAAU,EAAE,UAAU,CAAC;QAC7D,gBAAgB,EAAE,CAAC,UAAU,EAAE,UAAU,EAAE,iBAAiB,CAAC;QAC7D,QAAQ,EAAE,EAAE;QACZ,QAAQ,EAAE,EAAE;QACZ,eAAe,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;KAC1C,CAAC;IACF,OAAO,WAAW,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;AACpC,CAAC"}