@nahisaho/yata-local 1.6.6

package/dist/reasoning.js

@@ -0,0 +1,455 @@
+/**
+ * YATA Local - Reasoning Engine
+ *
+ * @packageDocumentation
+ * @module @nahisaho/yata-local/reasoning
+ *
+ * @see REQ-YL-REASON-001 ~ REQ-YL-REASON-004
+ */
+/**
+ * Reasoning engine for inference and constraint validation
+ */
+export class ReasoningEngine {
+    db;
+    queryEngine;
+    rules = new Map();
+    constraints = new Map();
+    constructor(db, queryEngine) {
+        this.db = db;
+        this.queryEngine = queryEngine;
+        this.initializeBuiltInRules();
+        this.initializeBuiltInConstraints();
+    }
+    /**
+     * Initialize built-in inference rules
+     * @see REQ-YL-REASON-001
+     */
+    initializeBuiltInRules() {
+        // Type inheritance rule: if A extends B and B extends C, then A extends C
+        this.rules.set('transitive-extends', {
+            id: 'transitive-extends',
+            name: 'Transitive Inheritance',
+            description: 'If A extends B and B extends C, infer A extends C',
+            pattern: {
+                nodes: [
+                    { variable: 'a', type: 'class' },
+                    { variable: 'b', type: 'class' },
+                    { variable: 'c', type: 'class' },
+                ],
+                edges: [
+                    { sourceVar: 'a', targetVar: 'b', type: 'extends' },
+                    { sourceVar: 'b', targetVar: 'c', type: 'extends' },
+                ],
+            },
+            inference: {
+                sourceVar: 'a',
+                targetVar: 'c',
+                type: 'extends',
+            },
+            confidence: 1.0,
+        });
+        // Implementation implies type compatibility
+        this.rules.set('implements-type', {
+            id: 'implements-type',
+            name: 'Interface Implementation',
+            description: 'If class implements interface, class is type-compatible with interface',
+            pattern: {
+                nodes: [
+                    { variable: 'class', type: 'class' },
+                    { variable: 'interface', type: 'interface' },
+                ],
+                edges: [{ sourceVar: 'class', targetVar: 'interface', type: 'implements' }],
+            },
+            inference: {
+                sourceVar: 'class',
+                targetVar: 'interface',
+                type: 'type-compatible',
+            },
+            confidence: 1.0,
+        });
+        // Dependency chain: if A depends on B and B depends on C, A transitively depends on C
+        this.rules.set('transitive-dependency', {
+            id: 'transitive-dependency',
+            name: 'Transitive Dependency',
+            description: 'If A depends on B and B depends on C, infer A transitively depends on C',
+            pattern: {
+                nodes: [
+                    { variable: 'a' },
+                    { variable: 'b' },
+                    { variable: 'c' },
+                ],
+                edges: [
+                    { sourceVar: 'a', targetVar: 'b', type: 'depends-on' },
+                    { sourceVar: 'b', targetVar: 'c', type: 'depends-on' },
+                ],
+            },
+            inference: {
+                sourceVar: 'a',
+                targetVar: 'c',
+                type: 'transitively-depends-on',
+            },
+            confidence: 0.9,
+        });
+        // Method override: if class extends base and has method with same name
+        this.rules.set('method-override', {
+            id: 'method-override',
+            name: 'Method Override',
+            description: 'If class extends base and both have same-named method, method overrides',
+            pattern: {
+                nodes: [
+                    { variable: 'child', type: 'class' },
+                    { variable: 'parent', type: 'class' },
+                    { variable: 'childMethod', type: 'method' },
+                    { variable: 'parentMethod', type: 'method' },
+                ],
+                edges: [
+                    { sourceVar: 'child', targetVar: 'parent', type: 'extends' },
+                    { sourceVar: 'child', targetVar: 'childMethod', type: 'has-method' },
+                    { sourceVar: 'parent', targetVar: 'parentMethod', type: 'has-method' },
+                ],
+            },
+            inference: {
+                sourceVar: 'childMethod',
+                targetVar: 'parentMethod',
+                type: 'overrides',
+            },
+            confidence: 0.8,
+        });
+    }
+    /**
+     * Initialize built-in constraints
+     * @see REQ-YL-REASON-003
+     */
+    initializeBuiltInConstraints() {
+        // No circular inheritance
+        this.constraints.set('no-circular-inheritance', {
+            id: 'no-circular-inheritance',
+            name: 'No Circular Inheritance',
+            description: 'Classes must not have circular inheritance chains',
+            type: 'graph',
+            check: async (db) => {
+                const violations = [];
+                const { entities } = db.queryEntities({ type: 'class' }, 10000);
+                for (const entity of entities) {
+                    const visited = new Set();
+                    let current = entity.id;
+                    while (current) {
+                        if (visited.has(current)) {
+                            violations.push({
+                                entityId: entity.id,
+                                constraintId: 'no-circular-inheritance',
+                                message: `Circular inheritance detected: ${entity.name}`,
+                                severity: 'error',
+                            });
+                            break;
+                        }
+                        visited.add(current);
+                        const rels = db.getRelationships(current, 'out');
+                        const extendsRel = rels.find(r => r.type === 'extends');
+                        current = extendsRel?.targetId ?? '';
+                    }
+                }
+                return violations;
+            },
+        });
+        // All imports must resolve
+        this.constraints.set('imports-resolve', {
+            id: 'imports-resolve',
+            name: 'Imports Must Resolve',
+            description: 'All import relationships must have valid targets',
+            type: 'referential',
+            check: async (db) => {
+                const violations = [];
+                const { entities } = db.queryEntities({}, 10000);
+                for (const entity of entities) {
+                    const rels = db.getRelationships(entity.id, 'out');
+                    for (const rel of rels) {
+                        if (rel.type === 'imports') {
+                            const target = db.getEntity(rel.targetId);
+                            if (!target) {
+                                violations.push({
+                                    entityId: entity.id,
+                                    relationshipId: rel.id,
+                                    constraintId: 'imports-resolve',
+                                    message: `Unresolved import: ${rel.targetId}`,
+                                    severity: 'error',
+                                });
+                            }
+                        }
+                    }
+                }
+                return violations;
+            },
+        });
+        // Entity must have name
+        this.constraints.set('entity-has-name', {
+            id: 'entity-has-name',
+            name: 'Entity Must Have Name',
+            description: 'All entities must have a non-empty name',
+            type: 'cardinality',
+            check: async (db) => {
+                const violations = [];
+                const { entities } = db.queryEntities({}, 10000);
+                for (const entity of entities) {
+                    if (!entity.name || entity.name.trim() === '') {
+                        violations.push({
+                            entityId: entity.id,
+                            constraintId: 'entity-has-name',
+                            message: `Entity has no name: ${entity.id}`,
+                            severity: 'error',
+                        });
+                    }
+                }
+                return violations;
+            },
+        });
+        // Function should have return type
+        this.constraints.set('function-return-type', {
+            id: 'function-return-type',
+            name: 'Function Return Type',
+            description: 'Functions should have a declared return type',
+            type: 'property',
+            check: async (db) => {
+                const violations = [];
+                const { entities } = db.queryEntities({ type: 'function' }, 10000);
+                for (const entity of entities) {
+                    if (!entity.metadata.returnType) {
+                        violations.push({
+                            entityId: entity.id,
+                            constraintId: 'function-return-type',
+                            message: `Function ${entity.name} has no return type`,
+                            severity: 'warning',
+                        });
+                    }
+                }
+                return violations;
+            },
+        });
+    }
+    /**
+     * Add custom inference rule
+     */
+    addRule(rule) {
+        this.rules.set(rule.id, rule);
+    }
+    /**
+     * Remove inference rule
+     */
+    removeRule(ruleId) {
+        return this.rules.delete(ruleId);
+    }
+    /**
+     * Get all rules
+     */
+    getRules() {
+        return Array.from(this.rules.values());
+    }
+    /**
+     * Add custom constraint
+     */
+    addConstraint(constraint) {
+        this.constraints.set(constraint.id, constraint);
+    }
+    /**
+     * Remove constraint
+     */
+    removeConstraint(constraintId) {
+        return this.constraints.delete(constraintId);
+    }
+    /**
+     * Get all constraints
+     */
+    getConstraints() {
+        return Array.from(this.constraints.values());
+    }
+    /**
+     * Run inference on the graph
+     * @see REQ-YL-REASON-001
+     */
+    infer(options = {}) {
+        const maxIterations = options.maxIterations ?? 10;
+        const rulesToApply = options.rules
+            ? Array.from(this.rules.values()).filter(r => options.rules.includes(r.id))
+            : Array.from(this.rules.values());
+        const result = {
+            inferred: [],
+            appliedRules: [],
+        };
+        // Fixed-point iteration
+        let changed = true;
+        let iteration = 0;
+        while (changed && iteration < maxIterations) {
+            changed = false;
+            iteration++;
+            for (const rule of rulesToApply) {
+                const matches = this.queryEngine.matchPattern(rule.pattern);
+                for (const match of matches) {
+                    const sourceId = match.bindings[rule.inference.sourceVar];
+                    const targetId = match.bindings[rule.inference.targetVar];
+                    if (!sourceId || !targetId)
+                        continue;
+                    // Check if relationship already exists
+                    const existingRels = this.db.getRelationships(sourceId, 'out');
+                    const exists = existingRels.some(r => r.targetId === targetId && r.type === rule.inference.type);
+                    if (!exists) {
+                        result.inferred.push({
+                            sourceId,
+                            targetId,
+                            type: rule.inference.type,
+                            confidence: rule.confidence * match.confidence,
+                            rule: rule.id,
+                        });
+                        changed = true;
+                        if (!result.appliedRules.includes(rule.id)) {
+                            result.appliedRules.push(rule.id);
+                        }
+                    }
+                }
+            }
+        }
+        return result;
+    }
+    /**
+     * Validate graph against constraints
+     * @see REQ-YL-REASON-003
+     */
+    async validate(options = {}) {
+        const constraintsToCheck = options.constraints
+            ? Array.from(this.constraints.values()).filter(c => options.constraints.includes(c.id))
+            : Array.from(this.constraints.values());
+        const allViolations = [];
+        for (const constraint of constraintsToCheck) {
+            const violations = await constraint.check(this.db);
+            allViolations.push(...violations);
+        }
+        const errorCount = allViolations.filter(v => v.severity === 'error').length;
+        const warningCount = allViolations.filter(v => v.severity === 'warning').length;
+        return {
+            valid: errorCount === 0,
+            violations: allViolations,
+            summary: {
+                total: allViolations.length,
+                errors: errorCount,
+                warnings: warningCount,
+                info: allViolations.filter(v => v.severity === 'info').length,
+            },
+        };
+    }
+    /**
+     * Compute confidence score for entity relationship
+     * @see REQ-YL-REASON-004
+     */
+    computeConfidence(sourceId, targetId, relType) {
+        // Direct relationship
+        const directRels = this.db.getRelationships(sourceId, 'out');
+        const directRel = directRels.find(r => r.targetId === targetId && r.type === relType);
+        if (directRel)
+            return directRel.weight;
+        // Inferred relationship
+        const inferred = this.infer();
+        const inferredRel = inferred.inferred.find(i => i.sourceId === sourceId && i.targetId === targetId && i.type === relType);
+        if (inferredRel)
+            return inferredRel.confidence;
+        // Path-based confidence (decays with distance)
+        const path = this.queryEngine.findPath(sourceId, targetId);
+        if (path) {
+            return Math.pow(0.9, path.length);
+        }
+        return 0;
+    }
+    /**
+     * Find potential relationships based on structural similarity
+     * @see REQ-YL-REASON-002
+     */
+    suggestRelationships(entityId, options = {}) {
+        const maxSuggestions = options.maxSuggestions ?? 10;
+        const minConfidence = options.minConfidence ?? 0.5;
+        const suggestions = [];
+        const entity = this.db.getEntity(entityId);
+        if (!entity)
+            return suggestions;
+        // Find similar entities by name pattern
+        const nameParts = entity.name.split(/(?=[A-Z])|_|-/);
+        for (const part of nameParts) {
+            if (part.length < 3)
+                continue;
+            const similar = this.db.searchEntities(part, 20);
+            for (const sim of similar) {
+                if (sim.id === entityId)
+                    continue;
+                // Check if relationship already exists
+                const existingRels = this.db.getRelationships(entityId);
+                const hasRelationship = existingRels.some(r => r.sourceId === sim.id || r.targetId === sim.id);
+                if (!hasRelationship) {
+                    const confidence = this.computeNameSimilarity(entity.name, sim.name);
+                    if (confidence >= minConfidence) {
+                        suggestions.push({
+                            targetId: sim.id,
+                            type: 'related-to',
+                            confidence,
+                            reason: `Similar name pattern: "${part}"`,
+                        });
+                    }
+                }
+            }
+        }
+        // Find related by same file
+        if (entity.filePath) {
+            const { entities: sameFile } = this.db.queryEntities({}, 1000);
+            for (const other of sameFile.filter(e => e.filePath === entity.filePath && e.id !== entityId)) {
+                const existingRels = this.db.getRelationships(entityId);
+                const hasRelationship = existingRels.some(r => r.sourceId === other.id || r.targetId === other.id);
+                if (!hasRelationship) {
+                    suggestions.push({
+                        targetId: other.id,
+                        type: 'defined-in-same-file',
+                        confidence: 0.7,
+                        reason: 'Same source file',
+                    });
+                }
+            }
+        }
+        // Sort by confidence and limit
+        return suggestions
+            .sort((a, b) => b.confidence - a.confidence)
+            .slice(0, maxSuggestions);
+    }
+    /**
+     * Compute name similarity using Levenshtein distance
+     */
+    computeNameSimilarity(name1, name2) {
+        const n1 = name1.toLowerCase();
+        const n2 = name2.toLowerCase();
+        const maxLen = Math.max(n1.length, n2.length);
+        if (maxLen === 0)
+            return 1;
+        const distance = this.levenshteinDistance(n1, n2);
+        return 1 - distance / maxLen;
+    }
+    /**
+     * Levenshtein distance calculation
+     */
+    levenshteinDistance(s1, s2) {
+        const m = s1.length;
+        const n = s2.length;
+        const dp = Array(m + 1)
+            .fill(null)
+            .map(() => Array(n + 1).fill(0));
+        for (let i = 0; i <= m; i++)
+            dp[i][0] = i;
+        for (let j = 0; j <= n; j++)
+            dp[0][j] = j;
+        for (let i = 1; i <= m; i++) {
+            for (let j = 1; j <= n; j++) {
+                if (s1[i - 1] === s2[j - 1]) {
+                    dp[i][j] = dp[i - 1][j - 1];
+                }
+                else {
+                    dp[i][j] = 1 + Math.min(dp[i - 1][j], dp[i][j - 1], dp[i - 1][j - 1]);
+                }
+            }
+        }
+        return dp[m][n];
+    }
+}
+//# sourceMappingURL=reasoning.js.map

package/dist/reasoning.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reasoning.js","sourceRoot":"","sources":["../src/reasoning.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AA4BH;;GAEG;AACH,MAAM,OAAO,eAAe;IAKhB;IACA;IALF,KAAK,GAA+B,IAAI,GAAG,EAAE,CAAC;IAC9C,WAAW,GAA4B,IAAI,GAAG,EAAE,CAAC;IAEzD,YACU,EAAgB,EAChB,WAAwB;QADxB,OAAE,GAAF,EAAE,CAAc;QAChB,gBAAW,GAAX,WAAW,CAAa;QAEhC,IAAI,CAAC,sBAAsB,EAAE,CAAC;QAC9B,IAAI,CAAC,4BAA4B,EAAE,CAAC;IACtC,CAAC;IAED;;;OAGG;IACK,sBAAsB;QAC5B,0EAA0E;QAC1E,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,oBAAoB,EAAE;YACnC,EAAE,EAAE,oBAAoB;YACxB,IAAI,EAAE,wBAAwB;YAC9B,WAAW,EAAE,mDAAmD;YAChE,OAAO,EAAE;gBACP,KAAK,EAAE;oBACL,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE;oBAChC,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE;oBAChC,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE;iBACjC;gBACD,KAAK,EAAE;oBACL,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE;oBACnD,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE;iBACpD;aACF;YACD,SAAS,EAAE;gBACT,SAAS,EAAE,GAAG;gBACd,SAAS,EAAE,GAAG;gBACd,IAAI,EAAE,SAAS;aAChB;YACD,UAAU,EAAE,GAAG;SAChB,CAAC,CAAC;QAEH,4CAA4C;QAC5C,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,iBAAiB,EAAE;YAChC,EAAE,EAAE,iBAAiB;YACrB,IAAI,EAAE,0BAA0B;YAChC,WAAW,EAAE,wEAAwE;YACrF,OAAO,EAAE;gBACP,KAAK,EAAE;oBACL,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE;oBACpC,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,EAAE,WAAW,EAAE;iBAC7C;gBACD,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;aAC5E;YACD,SAAS,EAAE;gBACT,SAAS,EAAE,OAAO;gBAClB,SAAS,EAAE,WAAW;gBACtB,IAAI,EAAE,iBAAiB;aACxB;YACD,UAAU,EAAE,GAAG;SAChB,CAAC,CAAC;QAEH,sFAAsF;QACtF,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,uBAAuB,EAAE;YACtC,EAAE,EAAE,uBAAuB;YAC3B,IAAI,EAAE,uBAAuB;YAC7B,WAAW,EAAE,yEAAyE;YACtF,OAAO,EAAE;gBACP,KAAK,EAAE;oBACL,EAAE,QAAQ,EAAE,GAAG,EAAE;oBACjB,EAAE,QAAQ,EAAE,GAAG,EAAE;oBACjB,EAAE,QAAQ,EAAE,GAAG,EAAE;iBAClB;gBACD,KAAK,EAAE;oBACL,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE;oBACtD,EAAE,SAAS,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE;iBACvD;aACF;YACD,SAAS,EAAE;gBACT,SAAS,EAAE,GAAG;gBACd,SAAS,EAAE,GAAG;gBACd,IAAI,EAAE,yBAAyB;aAChC;YACD,UAAU,EAAE,GAAG;SAChB,CAAC,CAAC;QAEH,uEAAuE;QACvE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,iBAAiB,EAAE;YAChC,EAAE,EAAE,iBAAiB;YACrB,IAAI,EAAE,iBAAiB;YACvB,WAAW,EAAE,yEAAyE;YACtF,OAAO,EAAE;gBACP,KAAK,EAAE;oBACL,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE;oBACpC,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE;oBACrC,EAAE,QAAQ,EAAE,aAAa,EAAE,IAAI,EAAE,QAAQ,EAAE;oBAC3C,EAAE,QAAQ,EAAE,cAAc,EAAE,IAAI,EAAE,QAAQ,EAAE;iBAC7C;gBACD,KAAK,EAAE;oBACL,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,EAAE;oBAC5D,EAAE,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,IAAI,EAAE,YAAY,EAAE;oBACpE,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,cAAc,EAAE,IAAI,EAAE,YAAY,EAAE;iBACvE;aACF;YACD,SAAS,EAAE;gBACT,SAAS,EAAE,aAAa;gBACxB,SAAS,EAAE,cAAc;gBACzB,IAAI,EAAE,WAAW;aAClB;YACD,UAAU,EAAE,GAAG;SAChB,CAAC,CAAC;IACL,CAAC;IAED;;;OAGG;IACK,4BAA4B;QAClC,0BAA0B;QAC1B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,yBAAyB,EAAE;YAC9C,EAAE,EAAE,yBAAyB;YAC7B,IAAI,EAAE,yBAAyB;YAC/B,WAAW,EAAE,mDAAmD;YAChE,IAAI,EAAE,OAAO;YACb,KAAK,EAAE,KAAK,EAAE,EAAgB,EAAE,EAAE;gBAChC,MAAM,UAAU,GAA0B,EAAE,CAAC;gBAC7C,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,KAAK,CAAC,CAAC;gBAEhE,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;oBAC9B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;oBAClC,IAAI,OAAO,GAAG,MAAM,CAAC,EAAE,CAAC;oBAExB,OAAO,OAAO,EAAE,CAAC;wBACf,IAAI,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;4BACzB,UAAU,CAAC,IAAI,CAAC;gCACd,QAAQ,EAAE,MAAM,CAAC,EAAE;gCACnB,YAAY,EAAE,yBAAyB;gCACvC,OAAO,EAAE,kCAAkC,MAAM,CAAC,IAAI,EAAE;gCACxD,QAAQ,EAAE,OAAO;6BAClB,CAAC,CAAC;4BACH,MAAM;wBACR,CAAC;wBACD,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;wBAErB,MAAM,IAAI,GAAG,EAAE,CAAC,gBAAgB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;wBACjD,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;wBACxD,OAAO,GAAG,UAAU,EAAE,QAAQ,IAAI,EAAE,CAAC;oBACvC,CAAC;gBACH,CAAC;gBAED,OAAO,UAAU,CAAC;YACpB,CAAC;SACF,CAAC,CAAC;QAEH,2BAA2B;QAC3B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,iBAAiB,EAAE;YACtC,EAAE,EAAE,iBAAiB;YACrB,IAAI,EAAE,sBAAsB;YAC5B,WAAW,EAAE,kDAAkD;YAC/D,IAAI,EAAE,aAAa;YACnB,KAAK,EAAE,KAAK,EAAE,EAAgB,EAAE,EAAE;gBAChC,MAAM,UAAU,GAA0B,EAAE,CAAC;gBAC7C,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;gBAEjD,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;oBAC9B,MAAM,IAAI,GAAG,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;oBACnD,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;wBACvB,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;4BAC3B,MAAM,MAAM,GAAG,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;4BAC1C,IAAI,CAAC,MAAM,EAAE,CAAC;gCACZ,UAAU,CAAC,IAAI,CAAC;oCACd,QAAQ,EAAE,MAAM,CAAC,EAAE;oCACnB,cAAc,EAAE,GAAG,CAAC,EAAE;oCACtB,YAAY,EAAE,iBAAiB;oCAC/B,OAAO,EAAE,sBAAsB,GAAG,CAAC,QAAQ,EAAE;oCAC7C,QAAQ,EAAE,OAAO;iCAClB,CAAC,CAAC;4BACL,CAAC;wBACH,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,OAAO,UAAU,CAAC;YACpB,CAAC;SACF,CAAC,CAAC;QAEH,wBAAwB;QACxB,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,iBAAiB,EAAE;YACtC,EAAE,EAAE,iBAAiB;YACrB,IAAI,EAAE,uBAAuB;YAC7B,WAAW,EAAE,yCAAyC;YACtD,IAAI,EAAE,aAAa;YACnB,KAAK,EAAE,KAAK,EAAE,EAAgB,EAAE,EAAE;gBAChC,MAAM,UAAU,GAA0B,EAAE,CAAC;gBAC7C,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;gBAEjD,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;oBAC9B,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;wBAC9C,UAAU,CAAC,IAAI,CAAC;4BACd,QAAQ,EAAE,MAAM,CAAC,EAAE;4BACnB,YAAY,EAAE,iBAAiB;4BAC/B,OAAO,EAAE,uBAAuB,MAAM,CAAC,EAAE,EAAE;4BAC3C,QAAQ,EAAE,OAAO;yBAClB,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;gBAED,OAAO,UAAU,CAAC;YACpB,CAAC;SACF,CAAC,CAAC;QAEH,mCAAmC;QACnC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,sBAAsB,EAAE;YAC3C,EAAE,EAAE,sBAAsB;YAC1B,IAAI,EAAE,sBAAsB;YAC5B,WAAW,EAAE,8CAA8C;YAC3D,IAAI,EAAE,UAAU;YAChB,KAAK,EAAE,KAAK,EAAE,EAAgB,EAAE,EAAE;gBAChC,MAAM,UAAU,GAA0B,EAAE,CAAC;gBAC7C,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,KAAK,CAAC,CAAC;gBAEnE,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;oBAC9B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,EAAE,CAAC;wBAChC,UAAU,CAAC,IAAI,CAAC;4BACd,QAAQ,EAAE,MAAM,CAAC,EAAE;4BACnB,YAAY,EAAE,sBAAsB;4BACpC,OAAO,EAAE,YAAY,MAAM,CAAC,IAAI,qBAAqB;4BACrD,QAAQ,EAAE,SAAS;yBACpB,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;gBAED,OAAO,UAAU,CAAC;YACpB,CAAC;SACF,CAAC,CAAC;IACL,CAAC;IAED;;OAEG;IACH,OAAO,CAAC,IAAmB;QACzB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IAChC,CAAC;IAED;;OAEG;IACH,UAAU,CAAC,MAAc;QACvB,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC;IAED;;OAEG;IACH,QAAQ;QACN,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IACzC,CAAC;IAED;;OAEG;IACH,aAAa,CAAC,UAAsB;QAClC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;IAClD,CAAC;IAED;;OAEG;IACH,gBAAgB,CAAC,YAAoB;QACnC,OAAO,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;IAC/C,CAAC;IAED;;OAEG;IACH,cAAc;QACZ,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC;IAC/C,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,UAAwD,EAAE;QAC9D,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,IAAI,EAAE,CAAC;QAClD,MAAM,YAAY,GAAG,OAAO,CAAC,KAAK;YAChC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC5E,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;QAEpC,MAAM,MAAM,GAAoB;YAC9B,QAAQ,EAAE,EAAE;YACZ,YAAY,EAAE,EAAE;SACjB,CAAC;QAEF,wBAAwB;QACxB,IAAI,OAAO,GAAG,IAAI,CAAC;QACnB,IAAI,SAAS,GAAG,CAAC,CAAC;QAElB,OAAO,OAAO,IAAI,SAAS,GAAG,aAAa,EAAE,CAAC;YAC5C,OAAO,GAAG,KAAK,CAAC;YAChB,SAAS,EAAE,CAAC;YAEZ,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;gBAChC,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAE5D,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;oBAC5B,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;oBAC1D,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;oBAE1D,IAAI,CAAC,QAAQ,IAAI,CAAC,QAAQ;wBAAE,SAAS;oBAErC,uCAAuC;oBACvC,MAAM,YAAY,GAAG,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;oBAC/D,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAC9B,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,SAAS,CAAC,IAAI,CAC/D,CAAC;oBAEF,IAAI,CAAC,MAAM,EAAE,CAAC;wBACZ,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;4BACnB,QAAQ;4BACR,QAAQ;4BACR,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI;4BACzB,UAAU,EAAE,IAAI,CAAC,UAAU,GAAG,KAAK,CAAC,UAAU;4BAC9C,IAAI,EAAE,IAAI,CAAC,EAAE;yBACd,CAAC,CAAC;wBACH,OAAO,GAAG,IAAI,CAAC;wBAEf,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;4BAC3C,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;wBACpC,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,QAAQ,CAAC,UAAsC,EAAE;QACrD,MAAM,kBAAkB,GAAG,OAAO,CAAC,WAAW;YAC5C,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,WAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACxF,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC;QAE1C,MAAM,aAAa,GAAmC,EAAE,CAAC;QAEzD,KAAK,MAAM,UAAU,IAAI,kBAAkB,EAAE,CAAC;YAC5C,MAAM,UAAU,GAAG,MAAM,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACnD,aAAa,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC;QACpC,CAAC;QAED,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,MAAM,CAAC;QAC5E,MAAM,YAAY,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,MAAM,CAAC;QAEhF,OAAO;YACL,KAAK,EAAE,UAAU,KAAK,CAAC;YACvB,UAAU,EAAE,aAAa;YACzB,OAAO,EAAE;gBACP,KAAK,EAAE,aAAa,CAAC,MAAM;gBAC3B,MAAM,EAAE,UAAU;gBAClB,QAAQ,EAAE,YAAY;gBACtB,IAAI,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,CAAC,MAAM;aAC9D;SACF,CAAC;IACJ,CAAC;IAED;;;OAGG;IACH,iBAAiB,CAAC,QAAgB,EAAE,QAAgB,EAAE,OAAqB;QACzE,sBAAsB;QACtB,MAAM,UAAU,GAAG,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QAC7D,MAAM,SAAS,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;QACtF,IAAI,SAAS;YAAE,OAAO,SAAS,CAAC,MAAM,CAAC;QAEvC,wBAAwB;QACxB,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;QAC9B,MAAM,WAAW,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,CACxC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,CAAC,QAAQ,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,CAC9E,CAAC;QACF,IAAI,WAAW;YAAE,OAAO,WAAW,CAAC,UAAU,CAAC;QAE/C,+CAA+C;QAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAC3D,IAAI,IAAI,EAAE,CAAC;YACT,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QACpC,CAAC;QAED,OAAO,CAAC,CAAC;IACX,CAAC;IAED;;;OAGG;IACH,oBAAoB,CAClB,QAAgB,EAChB,UAGI,EAAE;QAEN,MAAM,cAAc,GAAG,OAAO,CAAC,cAAc,IAAI,EAAE,CAAC;QACpD,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,IAAI,GAAG,CAAC;QAEnD,MAAM,WAAW,GAKZ,EAAE,CAAC;QAER,MAAM,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAC3C,IAAI,CAAC,MAAM;YAAE,OAAO,WAAW,CAAC;QAEhC,wCAAwC;QACxC,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;QACrD,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;YAC7B,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;gBAAE,SAAS;YAE9B,MAAM,OAAO,GAAG,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACjD,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;gBAC1B,IAAI,GAAG,CAAC,EAAE,KAAK,QAAQ;oBAAE,SAAS;gBAElC,uCAAuC;gBACvC,MAAM,YAAY,GAAG,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC;gBACxD,MAAM,eAAe,GAAG,YAAY,CAAC,IAAI,CACvC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,QAAQ,KAAK,GAAG,CAAC,EAAE,CACpD,CAAC;gBAEF,IAAI,CAAC,eAAe,EAAE,CAAC;oBACrB,MAAM,UAAU,GAAG,IAAI,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;oBACrE,IAAI,UAAU,IAAI,aAAa,EAAE,CAAC;wBAChC,WAAW,CAAC,IAAI,CAAC;4BACf,QAAQ,EAAE,GAAG,CAAC,EAAE;4BAChB,IAAI,EAAE,YAAY;4BAClB,UAAU;4BACV,MAAM,EAAE,0BAA0B,IAAI,GAAG;yBAC1C,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,4BAA4B;QAC5B,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACpB,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YAC/D,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ,IAAI,CAAC,CAAC,EAAE,KAAK,QAAQ,CAAC,EAAE,CAAC;gBAC9F,MAAM,YAAY,GAAG,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC;gBACxD,MAAM,eAAe,GAAG,YAAY,CAAC,IAAI,CACvC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,KAAK,CAAC,EAAE,IAAI,CAAC,CAAC,QAAQ,KAAK,KAAK,CAAC,EAAE,CACxD,CAAC;gBAEF,IAAI,CAAC,eAAe,EAAE,CAAC;oBACrB,WAAW,CAAC,IAAI,CAAC;wBACf,QAAQ,EAAE,KAAK,CAAC,EAAE;wBAClB,IAAI,EAAE,sBAAsB;wBAC5B,UAAU,EAAE,GAAG;wBACf,MAAM,EAAE,kBAAkB;qBAC3B,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,+BAA+B;QAC/B,OAAO,WAAW;aACf,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC;aAC3C,KAAK,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;IAC9B,CAAC;IAED;;OAEG;IACK,qBAAqB,CAAC,KAAa,EAAE,KAAa;QACxD,MAAM,EAAE,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;QAC/B,MAAM,EAAE,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;QAE/B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;QAC9C,IAAI,MAAM,KAAK,CAAC;YAAE,OAAO,CAAC,CAAC;QAE3B,MAAM,QAAQ,GAAG,IAAI,CAAC,mBAAmB,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAClD,OAAO,CAAC,GAAG,QAAQ,GAAG,MAAM,CAAC;IAC/B,CAAC;IAED;;OAEG;IACK,mBAAmB,CAAC,EAAU,EAAE,EAAU;QAChD,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC;QACpB,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC;QACpB,MAAM,EAAE,GAAe,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC;aAChC,IAAI,CAAC,IAAI,CAAC;aACV,GAAG,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAEnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;YAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;YAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAE1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC5B,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;oBAC5B,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC9B,CAAC;qBAAM,CAAC;oBACN,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACxE,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;CACF"}