@cogitator-ai/neuro-symbolic 0.1.0

package/dist/knowledge-graph/query-language.js

@@ -0,0 +1,569 @@
+function parsePattern(pattern) {
+    const getVarOrValue = (item) => {
+        if (!item)
+            return { var: null, value: null };
+        if (typeof item === 'string')
+            return { var: null, value: item };
+        return { var: item.name, value: null };
+    };
+    const subject = getVarOrValue(pattern.subject);
+    const predicate = getVarOrValue(pattern.predicate);
+    const object = getVarOrValue(pattern.object);
+    return {
+        subjectVar: subject.var,
+        subjectValue: subject.value,
+        predicateVar: predicate.var,
+        predicateValue: predicate.value,
+        objectVar: object.var,
+        objectValue: object.value,
+        conditions: pattern.conditions || [],
+    };
+}
+function matchesCondition(value, condition) {
+    const target = condition.value;
+    switch (condition.operator) {
+        case 'eq':
+            return value === target;
+        case 'neq':
+            return value !== target;
+        case 'gt':
+            return typeof value === 'number' && typeof target === 'number' && value > target;
+        case 'gte':
+            return typeof value === 'number' && typeof target === 'number' && value >= target;
+        case 'lt':
+            return typeof value === 'number' && typeof target === 'number' && value < target;
+        case 'lte':
+            return typeof value === 'number' && typeof target === 'number' && value <= target;
+        case 'contains':
+            return typeof value === 'string' && typeof target === 'string' && value.includes(target);
+        case 'startsWith':
+            return typeof value === 'string' && typeof target === 'string' && value.startsWith(target);
+        case 'endsWith':
+            return typeof value === 'string' && typeof target === 'string' && value.endsWith(target);
+        case 'regex':
+            if (typeof value !== 'string' || typeof target !== 'string')
+                return false;
+            return new RegExp(target).test(value);
+        case 'in':
+            return Array.isArray(target) && target.includes(value);
+        case 'notIn':
+            return Array.isArray(target) && !target.includes(value);
+        default:
+            return false;
+    }
+}
+function getFieldValue(item, field) {
+    if (field === 'id')
+        return item.id;
+    if (field === 'type')
+        return item.type;
+    if (field === 'confidence')
+        return item.confidence;
+    if (field === 'source')
+        return item.source;
+    if ('name' in item) {
+        const node = item;
+        if (field === 'name')
+            return node.name;
+        if (field === 'description')
+            return node.description;
+        if (field === 'aliases')
+            return node.aliases;
+    }
+    if ('weight' in item) {
+        const edge = item;
+        if (field === 'weight')
+            return edge.weight;
+        if (field === 'label')
+            return edge.label;
+        if (field === 'sourceNodeId')
+            return edge.sourceNodeId;
+        if (field === 'targetNodeId')
+            return edge.targetNodeId;
+    }
+    if (field.startsWith('properties.') && 'properties' in item) {
+        const propPath = field.substring(11);
+        return item.properties?.[propPath];
+    }
+    return undefined;
+}
+async function matchPattern(pattern, ctx, existingBindings) {
+    const results = [];
+    const { adapter, agentId } = ctx;
+    const nodesResult = await adapter.queryNodes({
+        agentId,
+        limit: 1000,
+    });
+    if (!nodesResult.success || !nodesResult.data) {
+        return [];
+    }
+    const nodes = nodesResult.data;
+    const nodeMap = new Map();
+    for (const node of nodes) {
+        nodeMap.set(node.id, node);
+    }
+    const edgesResult = await adapter.queryEdges({
+        agentId,
+        limit: 1000,
+    });
+    if (!edgesResult.success || !edgesResult.data) {
+        return [];
+    }
+    const edges = edgesResult.data;
+    const startBindings = existingBindings.length > 0 ? existingBindings : [{}];
+    for (const binding of startBindings) {
+        for (const edge of edges) {
+            const sourceNode = nodeMap.get(edge.sourceNodeId);
+            const targetNode = nodeMap.get(edge.targetNodeId);
+            if (!sourceNode || !targetNode)
+                continue;
+            const newBinding = { ...binding };
+            let matches = true;
+            if (pattern.subjectValue) {
+                if (sourceNode.name !== pattern.subjectValue && sourceNode.id !== pattern.subjectValue) {
+                    matches = false;
+                }
+            }
+            else if (pattern.subjectVar) {
+                const existingValue = binding[pattern.subjectVar];
+                if (existingValue) {
+                    if (existingValue.id !== sourceNode.id) {
+                        matches = false;
+                    }
+                }
+                else {
+                    newBinding[pattern.subjectVar] = sourceNode;
+                }
+            }
+            if (matches && pattern.predicateValue) {
+                if (edge.type !== pattern.predicateValue && edge.label !== pattern.predicateValue) {
+                    matches = false;
+                }
+            }
+            else if (matches && pattern.predicateVar) {
+                const existingValue = binding[pattern.predicateVar];
+                if (existingValue) {
+                    if (existingValue.id !== edge.id) {
+                        matches = false;
+                    }
+                }
+                else {
+                    newBinding[pattern.predicateVar] = edge;
+                }
+            }
+            if (matches && pattern.objectValue) {
+                if (targetNode.name !== pattern.objectValue && targetNode.id !== pattern.objectValue) {
+                    matches = false;
+                }
+            }
+            else if (matches && pattern.objectVar) {
+                const existingValue = binding[pattern.objectVar];
+                if (existingValue) {
+                    if (existingValue.id !== targetNode.id) {
+                        matches = false;
+                    }
+                }
+                else {
+                    newBinding[pattern.objectVar] = targetNode;
+                }
+            }
+            if (matches) {
+                for (const condition of pattern.conditions) {
+                    const item = condition.field.startsWith('subject')
+                        ? sourceNode
+                        : condition.field.startsWith('object')
+                            ? targetNode
+                            : edge;
+                    const fieldName = condition.field.replace(/^(subject|object|predicate)\./, '');
+                    const value = getFieldValue(item, fieldName);
+                    if (!matchesCondition(value, condition)) {
+                        matches = false;
+                        break;
+                    }
+                }
+            }
+            if (matches) {
+                results.push(newBinding);
+            }
+        }
+    }
+    return results;
+}
+function applyFilters(bindings, filters) {
+    return bindings.filter((binding) => {
+        for (const filter of filters) {
+            const varName = filter.field.split('.')[0];
+            const fieldPath = filter.field.substring(varName.length + 1);
+            const boundValue = binding[varName];
+            if (!boundValue)
+                return false;
+            let value;
+            if (typeof boundValue === 'object' && boundValue !== null) {
+                value = getFieldValue(boundValue, fieldPath || 'name');
+            }
+            else {
+                value = boundValue;
+            }
+            if (!matchesCondition(value, filter)) {
+                return false;
+            }
+        }
+        return true;
+    });
+}
+function applyOrdering(bindings, orderBy) {
+    return [...bindings].sort((a, b) => {
+        for (const order of orderBy) {
+            const varName = order.field.split('.')[0];
+            const fieldPath = order.field.substring(varName.length + 1);
+            const aValue = a[varName];
+            const bValue = b[varName];
+            let aField;
+            let bField;
+            if (typeof aValue === 'object' && aValue !== null) {
+                aField = getFieldValue(aValue, fieldPath || 'name');
+            }
+            else {
+                aField = aValue;
+            }
+            if (typeof bValue === 'object' && bValue !== null) {
+                bField = getFieldValue(bValue, fieldPath || 'name');
+            }
+            else {
+                bField = bValue;
+            }
+            let comparison = 0;
+            if (aField === bField) {
+                comparison = 0;
+            }
+            else if (aField === undefined || aField === null) {
+                comparison = 1;
+            }
+            else if (bField === undefined || bField === null) {
+                comparison = -1;
+            }
+            else if (typeof aField === 'number' && typeof bField === 'number') {
+                comparison = aField - bField;
+            }
+            else {
+                comparison = String(aField).localeCompare(String(bField));
+            }
+            if (comparison !== 0) {
+                return order.direction === 'desc' ? -comparison : comparison;
+            }
+        }
+        return 0;
+    });
+}
+function applyAggregates(bindings, aggregates, groupBy) {
+    if (groupBy && groupBy.length > 0) {
+        const groups = new Map();
+        for (const binding of bindings) {
+            const key = groupBy
+                .map((field) => {
+                const value = binding[field];
+                if (typeof value === 'object' && value !== null && 'id' in value) {
+                    return value.id;
+                }
+                return String(value);
+            })
+                .join('|');
+            if (!groups.has(key)) {
+                groups.set(key, []);
+            }
+            groups.get(key).push(binding);
+        }
+        const results = [];
+        for (const [, groupBindings] of groups) {
+            const result = {};
+            for (const field of groupBy) {
+                result[field] = groupBindings[0][field];
+            }
+            for (const agg of aggregates) {
+                result[agg.alias] = computeAggregate(groupBindings, agg.function, agg.field);
+            }
+            results.push(result);
+        }
+        return results;
+    }
+    if (aggregates.length > 0 && bindings.length > 0) {
+        const result = {};
+        for (const agg of aggregates) {
+            result[agg.alias] = computeAggregate(bindings, agg.function, agg.field);
+        }
+        return [result];
+    }
+    return bindings;
+}
+function computeAggregate(bindings, fn, field) {
+    const varName = field.split('.')[0];
+    const fieldPath = field.substring(varName.length + 1);
+    const values = [];
+    for (const binding of bindings) {
+        const boundValue = binding[varName];
+        if (fn === 'count' && boundValue !== undefined) {
+            values.push(1);
+            continue;
+        }
+        let value;
+        if (typeof boundValue === 'object' && boundValue !== null) {
+            value = getFieldValue(boundValue, fieldPath || 'confidence');
+        }
+        else {
+            value = boundValue;
+        }
+        if (typeof value === 'number') {
+            values.push(value);
+        }
+    }
+    switch (fn) {
+        case 'count':
+            return values.length;
+        case 'sum':
+            return values.reduce((a, b) => a + b, 0);
+        case 'avg':
+            return values.length > 0 ? values.reduce((a, b) => a + b, 0) / values.length : 0;
+        case 'min':
+            return values.length > 0 ? Math.min(...values) : null;
+        case 'max':
+            return values.length > 0 ? Math.max(...values) : null;
+        default:
+            return null;
+    }
+}
+export async function executeQuery(query, ctx) {
+    const startTime = Date.now();
+    let bindings = [];
+    for (const pattern of query.patterns) {
+        const parsed = parsePattern(pattern);
+        bindings = await matchPattern(parsed, ctx, bindings);
+    }
+    if (query.filters && query.filters.length > 0) {
+        bindings = applyFilters(bindings, query.filters);
+    }
+    if (query.orderBy && query.orderBy.length > 0) {
+        bindings = applyOrdering(bindings, query.orderBy);
+    }
+    if (query.aggregates && query.aggregates.length > 0) {
+        bindings = applyAggregates(bindings, query.aggregates, query.groupBy);
+    }
+    if (query.offset && query.offset > 0) {
+        bindings = bindings.slice(query.offset);
+    }
+    if (query.limit && query.limit > 0) {
+        bindings = bindings.slice(0, query.limit);
+    }
+    const executionTime = Date.now() - startTime;
+    return {
+        bindings,
+        count: bindings.length,
+        executionTime,
+    };
+}
+export class GraphQueryBuilder {
+    query;
+    constructor(type = 'select') {
+        this.query = {
+            type,
+            patterns: [],
+        };
+    }
+    static select() {
+        return new GraphQueryBuilder('select');
+    }
+    static ask() {
+        return new GraphQueryBuilder('ask');
+    }
+    static construct() {
+        return new GraphQueryBuilder('construct');
+    }
+    static describe() {
+        return new GraphQueryBuilder('describe');
+    }
+    where(subject, predicate, object) {
+        this.query.patterns.push({ subject, predicate, object });
+        return this;
+    }
+    pattern(pattern) {
+        this.query.patterns.push(pattern);
+        return this;
+    }
+    filter(field, operator, value) {
+        if (!this.query.filters) {
+            this.query.filters = [];
+        }
+        this.query.filters.push({ field, operator, value });
+        return this;
+    }
+    orderBy(field, direction = 'asc') {
+        if (!this.query.orderBy) {
+            this.query.orderBy = [];
+        }
+        this.query.orderBy.push({ field, direction });
+        return this;
+    }
+    limit(n) {
+        this.query.limit = n;
+        return this;
+    }
+    offset(n) {
+        this.query.offset = n;
+        return this;
+    }
+    count(field, alias) {
+        if (!this.query.aggregates) {
+            this.query.aggregates = [];
+        }
+        this.query.aggregates.push({ function: 'count', field, alias });
+        return this;
+    }
+    sum(field, alias) {
+        if (!this.query.aggregates) {
+            this.query.aggregates = [];
+        }
+        this.query.aggregates.push({ function: 'sum', field, alias });
+        return this;
+    }
+    avg(field, alias) {
+        if (!this.query.aggregates) {
+            this.query.aggregates = [];
+        }
+        this.query.aggregates.push({ function: 'avg', field, alias });
+        return this;
+    }
+    min(field, alias) {
+        if (!this.query.aggregates) {
+            this.query.aggregates = [];
+        }
+        this.query.aggregates.push({ function: 'min', field, alias });
+        return this;
+    }
+    max(field, alias) {
+        if (!this.query.aggregates) {
+            this.query.aggregates = [];
+        }
+        this.query.aggregates.push({ function: 'max', field, alias });
+        return this;
+    }
+    groupBy(...fields) {
+        this.query.groupBy = fields;
+        return this;
+    }
+    build() {
+        return { ...this.query };
+    }
+    async execute(ctx) {
+        return executeQuery(this.build(), ctx);
+    }
+}
+export function variable(name, type) {
+    return { name, type };
+}
+export function parseQueryString(queryString) {
+    const lines = queryString
+        .trim()
+        .split('\n')
+        .map((l) => l.trim());
+    const query = { type: 'select', patterns: [] };
+    let currentSection = null;
+    for (const line of lines) {
+        const lower = line.toLowerCase();
+        if (lower.startsWith('select')) {
+            query.type = 'select';
+            currentSection = 'select';
+        }
+        else if (lower.startsWith('ask')) {
+            query.type = 'ask';
+            currentSection = 'select';
+        }
+        else if (lower.startsWith('construct')) {
+            query.type = 'construct';
+            currentSection = 'select';
+        }
+        else if (lower.startsWith('describe')) {
+            query.type = 'describe';
+            currentSection = 'select';
+        }
+        else if (lower.startsWith('where')) {
+            currentSection = 'where';
+        }
+        else if (lower.startsWith('filter')) {
+            currentSection = 'filter';
+        }
+        else if (lower.startsWith('order by')) {
+            currentSection = 'order';
+        }
+        else if (lower.startsWith('limit')) {
+            const match = /limit\s+(\d+)/i.exec(line);
+            if (match) {
+                query.limit = parseInt(match[1], 10);
+            }
+        }
+        else if (lower.startsWith('offset')) {
+            const match = /offset\s+(\d+)/i.exec(line);
+            if (match) {
+                query.offset = parseInt(match[1], 10);
+            }
+        }
+        else if (currentSection === 'where') {
+            const tripleMatch = /\?\s*(\w+)\s+(\w+)\s+(\?\s*\w+|"[^"]+"|[\w]+)/.exec(line);
+            if (tripleMatch) {
+                const subject = { name: tripleMatch[1] };
+                const predicate = tripleMatch[2];
+                const objStr = tripleMatch[3];
+                let object;
+                if (objStr.startsWith('?')) {
+                    object = { name: objStr.substring(1).trim() };
+                }
+                else if (objStr.startsWith('"')) {
+                    object = objStr.slice(1, -1);
+                }
+                else {
+                    object = objStr;
+                }
+                query.patterns.push({ subject, predicate, object });
+            }
+        }
+    }
+    return query;
+}
+export function formatQueryResult(result) {
+    const lines = [];
+    lines.push(`Query completed in ${result.executionTime}ms`);
+    lines.push(`Found ${result.count} result(s)`);
+    lines.push('');
+    if (result.bindings.length === 0) {
+        lines.push('No results.');
+        return lines.join('\n');
+    }
+    const allKeys = new Set();
+    for (const binding of result.bindings) {
+        for (const key of Object.keys(binding)) {
+            allKeys.add(key);
+        }
+    }
+    const keys = Array.from(allKeys);
+    lines.push(keys.join('\t|\t'));
+    lines.push('-'.repeat(keys.length * 16));
+    for (const binding of result.bindings) {
+        const row = [];
+        for (const key of keys) {
+            const value = binding[key];
+            if (value === undefined || value === null) {
+                row.push('-');
+            }
+            else if (typeof value === 'object' && 'name' in value) {
+                row.push(value.name);
+            }
+            else if (typeof value === 'object' && 'label' in value) {
+                row.push(value.label || value.type);
+            }
+            else {
+                row.push(String(value));
+            }
+        }
+        lines.push(row.join('\t|\t'));
+    }
+    return lines.join('\n');
+}
+//# sourceMappingURL=query-language.js.map

package/dist/knowledge-graph/query-language.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"query-language.js","sourceRoot":"","sources":["../../src/knowledge-graph/query-language.ts"],"names":[],"mappings":"AA+BA,SAAS,YAAY,CAAC,OAAqB;IACzC,MAAM,aAAa,GAAG,CACpB,IAAwC,EACM,EAAE;QAChD,IAAI,CAAC,IAAI;YAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAC7C,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAChE,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACzC,CAAC,CAAC;IAEF,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC/C,MAAM,SAAS,GAAG,aAAa,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IACnD,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAE7C,OAAO;QACL,UAAU,EAAE,OAAO,CAAC,GAAG;QACvB,YAAY,EAAE,OAAO,CAAC,KAAK;QAC3B,YAAY,EAAE,SAAS,CAAC,GAAG;QAC3B,cAAc,EAAE,SAAS,CAAC,KAAK;QAC/B,SAAS,EAAE,MAAM,CAAC,GAAG;QACrB,WAAW,EAAE,MAAM,CAAC,KAAK;QACzB,UAAU,EAAE,OAAO,CAAC,UAAU,IAAI,EAAE;KACrC,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAc,EAAE,SAAyB;IACjE,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,CAAC;IAE/B,QAAQ,SAAS,CAAC,QAAQ,EAAE,CAAC;QAC3B,KAAK,IAAI;YACP,OAAO,KAAK,KAAK,MAAM,CAAC;QAC1B,KAAK,KAAK;YACR,OAAO,KAAK,KAAK,MAAM,CAAC;QAC1B,KAAK,IAAI;YACP,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,GAAG,MAAM,CAAC;QACnF,KAAK,KAAK;YACR,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,IAAI,MAAM,CAAC;QACpF,KAAK,IAAI;YACP,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,GAAG,MAAM,CAAC;QACnF,KAAK,KAAK;YACR,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,IAAI,MAAM,CAAC;QACpF,KAAK,UAAU;YACb,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC3F,KAAK,YAAY;YACf,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAC7F,KAAK,UAAU;YACb,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAC3F,KAAK,OAAO;YACV,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,MAAM,KAAK,QAAQ;gBAAE,OAAO,KAAK,CAAC;YAC1E,OAAO,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxC,KAAK,IAAI;YACP,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QACzD,KAAK,OAAO;YACV,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC1D;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,IAA2B,EAAE,KAAa;IAC/D,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC,EAAE,CAAC;IACnC,IAAI,KAAK,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC;IACvC,IAAI,KAAK,KAAK,YAAY;QAAE,OAAO,IAAI,CAAC,UAAU,CAAC;IACnD,IAAI,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,MAAM,CAAC;IAE3C,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;QACnB,MAAM,IAAI,GAAG,IAAiB,CAAC;QAC/B,IAAI,KAAK,KAAK,MAAM;YAAE,OAAO,IAAI,CAAC,IAAI,CAAC;QACvC,IAAI,KAAK,KAAK,aAAa;YAAE,OAAO,IAAI,CAAC,WAAW,CAAC;QACrD,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,OAAO,CAAC;IAC/C,CAAC;IAED,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;QACrB,MAAM,IAAI,GAAG,IAAiB,CAAC;QAC/B,IAAI,KAAK,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC,MAAM,CAAC;QAC3C,IAAI,KAAK,KAAK,OAAO;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC;QACzC,IAAI,KAAK,KAAK,cAAc;YAAE,OAAO,IAAI,CAAC,YAAY,CAAC;QACvD,IAAI,KAAK,KAAK,cAAc;YAAE,OAAO,IAAI,CAAC,YAAY,CAAC;IACzD,CAAC;IAED,IAAI,KAAK,CAAC,UAAU,CAAC,aAAa,CAAC,IAAI,YAAY,IAAI,IAAI,EAAE,CAAC;QAC5D,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACrC,OAAO,IAAI,CAAC,UAAU,EAAE,CAAC,QAAQ,CAAC,CAAC;IACrC,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,KAAK,UAAU,YAAY,CACzB,OAAsB,EACtB,GAA0B,EAC1B,gBAAgC;IAEhC,MAAM,OAAO,GAAmB,EAAE,CAAC;IACnC,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,GAAG,CAAC;IAEjC,MAAM,WAAW,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC;QAC3C,OAAO;QACP,KAAK,EAAE,IAAI;KACZ,CAAC,CAAC;IAEH,IAAI,CAAC,WAAW,CAAC,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;QAC9C,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC;IAC/B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAqB,CAAC;IAC7C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IAC7B,CAAC;IAED,MAAM,WAAW,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC;QAC3C,OAAO;QACP,KAAK,EAAE,IAAI;KACZ,CAAC,CAAC;IAEH,IAAI,CAAC,WAAW,CAAC,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC;QAC9C,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC;IAE/B,MAAM,aAAa,GAAG,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAE5E,KAAK,MAAM,OAAO,IAAI,aAAa,EAAE,CAAC;QACpC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YAClD,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;YAElD,IAAI,CAAC,UAAU,IAAI,CAAC,UAAU;gBAAE,SAAS;YAEzC,MAAM,UAAU,GAAiB,EAAE,GAAG,OAAO,EAAE,CAAC;YAChD,IAAI,OAAO,GAAG,IAAI,CAAC;YAEnB,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;gBACzB,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,CAAC,YAAY,IAAI,UAAU,CAAC,EAAE,KAAK,OAAO,CAAC,YAAY,EAAE,CAAC;oBACvF,OAAO,GAAG,KAAK,CAAC;gBAClB,CAAC;YACH,CAAC;iBAAM,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;gBAC9B,MAAM,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;gBAClD,IAAI,aAAa,EAAE,CAAC;oBAClB,IAAK,aAA2B,CAAC,EAAE,KAAK,UAAU,CAAC,EAAE,EAAE,CAAC;wBACtD,OAAO,GAAG,KAAK,CAAC;oBAClB,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,UAAU,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,UAAU,CAAC;gBAC9C,CAAC;YACH,CAAC;YAED,IAAI,OAAO,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;gBACtC,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,CAAC,cAAc,IAAI,IAAI,CAAC,KAAK,KAAK,OAAO,CAAC,cAAc,EAAE,CAAC;oBAClF,OAAO,GAAG,KAAK,CAAC;gBAClB,CAAC;YACH,CAAC;iBAAM,IAAI,OAAO,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;gBAC3C,MAAM,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;gBACpD,IAAI,aAAa,EAAE,CAAC;oBAClB,IAAK,aAA2B,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,EAAE,CAAC;wBAChD,OAAO,GAAG,KAAK,CAAC;oBAClB,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,UAAU,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,IAAI,CAAC;gBAC1C,CAAC;YACH,CAAC;YAED,IAAI,OAAO,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;gBACnC,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,CAAC,WAAW,IAAI,UAAU,CAAC,EAAE,KAAK,OAAO,CAAC,WAAW,EAAE,CAAC;oBACrF,OAAO,GAAG,KAAK,CAAC;gBAClB,CAAC;YACH,CAAC;iBAAM,IAAI,OAAO,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;gBACxC,MAAM,aAAa,GAAG,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;gBACjD,IAAI,aAAa,EAAE,CAAC;oBAClB,IAAK,aAA2B,CAAC,EAAE,KAAK,UAAU,CAAC,EAAE,EAAE,CAAC;wBACtD,OAAO,GAAG,KAAK,CAAC;oBAClB,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,UAAU,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,UAAU,CAAC;gBAC7C,CAAC;YACH,CAAC;YAED,IAAI,OAAO,EAAE,CAAC;gBACZ,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;oBAC3C,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC;wBAChD,CAAC,CAAC,UAAU;wBACZ,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC;4BACpC,CAAC,CAAC,UAAU;4BACZ,CAAC,CAAC,IAAI,CAAC;oBAEX,MAAM,SAAS,GAAG,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,+BAA+B,EAAE,EAAE,CAAC,CAAC;oBAC/E,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;oBAE7C,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;wBACxC,OAAO,GAAG,KAAK,CAAC;wBAChB,MAAM;oBACR,CAAC;gBACH,CAAC;YACH,CAAC;YAED,IAAI,OAAO,EAAE,CAAC;gBACZ,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAC3B,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,YAAY,CAAC,QAAwB,EAAE,OAAyB;IACvE,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE;QACjC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3C,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YAE7D,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;YACpC,IAAI,CAAC,UAAU;gBAAE,OAAO,KAAK,CAAC;YAE9B,IAAI,KAAc,CAAC;YACnB,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;gBAC1D,KAAK,GAAG,aAAa,CAAC,UAAmC,EAAE,SAAS,IAAI,MAAM,CAAC,CAAC;YAClF,CAAC;iBAAM,CAAC;gBACN,KAAK,GAAG,UAAU,CAAC;YACrB,CAAC;YAED,IAAI,CAAC,gBAAgB,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC;gBACrC,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,aAAa,CACpB,QAAwB,EACxB,OAAuD;IAEvD,OAAO,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACjC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1C,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;YAE5D,MAAM,MAAM,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC;YAC1B,MAAM,MAAM,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC;YAE1B,IAAI,MAAe,CAAC;YACpB,IAAI,MAAe,CAAC;YAEpB,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;gBAClD,MAAM,GAAG,aAAa,CAAC,MAA+B,EAAE,SAAS,IAAI,MAAM,CAAC,CAAC;YAC/E,CAAC;iBAAM,CAAC;gBACN,MAAM,GAAG,MAAM,CAAC;YAClB,CAAC;YAED,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;gBAClD,MAAM,GAAG,aAAa,CAAC,MAA+B,EAAE,SAAS,IAAI,MAAM,CAAC,CAAC;YAC/E,CAAC;iBAAM,CAAC;gBACN,MAAM,GAAG,MAAM,CAAC;YAClB,CAAC;YAED,IAAI,UAAU,GAAG,CAAC,CAAC;YACnB,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;gBACtB,UAAU,GAAG,CAAC,CAAC;YACjB,CAAC;iBAAM,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;gBACnD,UAAU,GAAG,CAAC,CAAC;YACjB,CAAC;iBAAM,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;gBACnD,UAAU,GAAG,CAAC,CAAC,CAAC;YAClB,CAAC;iBAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;gBACpE,UAAU,GAAG,MAAM,GAAG,MAAM,CAAC;YAC/B,CAAC;iBAAM,CAAC;gBACN,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;YAC5D,CAAC;YAED,IAAI,UAAU,KAAK,CAAC,EAAE,CAAC;gBACrB,OAAO,KAAK,CAAC,SAAS,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC;YAC/D,CAAC;QACH,CAAC;QACD,OAAO,CAAC,CAAC;IACX,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CACtB,QAAwB,EACxB,UAA2E,EAC3E,OAAkB;IAElB,IAAI,OAAO,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,IAAI,GAAG,EAA0B,CAAC;QAEjD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,MAAM,GAAG,GAAG,OAAO;iBAChB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;gBACb,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;gBAC7B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,IAAI,IAAI,KAAK,EAAE,CAAC;oBACjE,OAAQ,KAAwB,CAAC,EAAE,CAAC;gBACtC,CAAC;gBACD,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;YACvB,CAAC,CAAC;iBACD,IAAI,CAAC,GAAG,CAAC,CAAC;YAEb,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACrB,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YACtB,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,GAAG,CAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACjC,CAAC;QAED,MAAM,OAAO,GAAmB,EAAE,CAAC;QAEnC,KAAK,MAAM,CAAC,EAAE,aAAa,CAAC,IAAI,MAAM,EAAE,CAAC;YACvC,MAAM,MAAM,GAAiB,EAAE,CAAC;YAEhC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;gBAC5B,MAAM,CAAC,KAAK,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YAC1C,CAAC;YAED,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;gBAC7B,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,gBAAgB,CAAC,aAAa,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;YAC/E,CAAC;YAED,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACvB,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjD,MAAM,MAAM,GAAiB,EAAE,CAAC;QAEhC,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;YAC7B,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,gBAAgB,CAAC,QAAQ,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QAC1E,CAAC;QAED,OAAO,CAAC,MAAM,CAAC,CAAC;IAClB,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,gBAAgB,CAAC,QAAwB,EAAE,EAAqB,EAAE,KAAa;IACtF,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACpC,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAEtD,MAAM,MAAM,GAAa,EAAE,CAAC;IAE5B,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,UAAU,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;QAEpC,IAAI,EAAE,KAAK,OAAO,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC/C,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACf,SAAS;QACX,CAAC;QAED,IAAI,KAAc,CAAC;QACnB,IAAI,OAAO,UAAU,KAAK,QAAQ,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;YAC1D,KAAK,GAAG,aAAa,CAAC,UAAmC,EAAE,SAAS,IAAI,YAAY,CAAC,CAAC;QACxF,CAAC;aAAM,CAAC;YACN,KAAK,GAAG,UAAU,CAAC;QACrB,CAAC;QAED,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrB,CAAC;IACH,CAAC;IAED,QAAQ,EAAE,EAAE,CAAC;QACX,KAAK,OAAO;YACV,OAAO,MAAM,CAAC,MAAM,CAAC;QACvB,KAAK,KAAK;YACR,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3C,KAAK,KAAK;YACR,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACnF,KAAK,KAAK;YACR,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACxD,KAAK,KAAK;YACR,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QACxD;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,KAAiB,EACjB,GAA0B;IAE1B,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAE7B,IAAI,QAAQ,GAAmB,EAAE,CAAC;IAElC,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACrC,MAAM,MAAM,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QACrC,QAAQ,GAAG,MAAM,YAAY,CAAC,MAAM,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;IACvD,CAAC;IAED,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9C,QAAQ,GAAG,YAAY,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;IACnD,CAAC;IAED,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9C,QAAQ,GAAG,aAAa,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;IACpD,CAAC;IAED,IAAI,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpD,QAAQ,GAAG,eAAe,CAAC,QAAQ,EAAE,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;IACxE,CAAC;IAED,IAAI,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrC,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC1C,CAAC;IAED,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;QACnC,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IAC5C,CAAC;IAED,MAAM,aAAa,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;IAE7C,OAAO;QACL,QAAQ;QACR,KAAK,EAAE,QAAQ,CAAC,MAAM;QACtB,aAAa;KACd,CAAC;AACJ,CAAC;AAED,MAAM,OAAO,iBAAiB;IACpB,KAAK,CAAa;IAE1B,YAAY,OAA2B,QAAQ;QAC7C,IAAI,CAAC,KAAK,GAAG;YACX,IAAI;YACJ,QAAQ,EAAE,EAAE;SACb,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,MAAM;QACX,OAAO,IAAI,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IACzC,CAAC;IAED,MAAM,CAAC,GAAG;QACR,OAAO,IAAI,iBAAiB,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC;IAED,MAAM,CAAC,SAAS;QACd,OAAO,IAAI,iBAAiB,CAAC,WAAW,CAAC,CAAC;IAC5C,CAAC;IAED,MAAM,CAAC,QAAQ;QACb,OAAO,IAAI,iBAAiB,CAAC,UAAU,CAAC,CAAC;IAC3C,CAAC;IAED,KAAK,CACH,OAA+B,EAC/B,SAAiC,EACjC,MAA8B;QAE9B,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC;QACzD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,CAAC,OAAqB;QAC3B,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAClC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,CAAC,KAAa,EAAE,QAAuB,EAAE,KAAc;QAC3D,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;YACxB,IAAI,CAAC,KAAK,CAAC,OAAO,GAAG,EAAE,CAAC;QAC1B,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;QACpD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,CAAC,KAAa,EAAE,YAA4B,KAAK;QACtD,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;YACxB,IAAI,CAAC,KAAK,CAAC,OAAO,GAAG,EAAE,CAAC;QAC1B,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;QAC9C,OAAO,IAAI,CAAC;IACd,CAAC;IAED,KAAK,CAAC,CAAS;QACb,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC;QACrB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,CAAC,CAAS;QACd,IAAI,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACtB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,KAAK,CAAC,KAAa,EAAE,KAAa;QAChC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;YAC3B,IAAI,CAAC,KAAK,CAAC,UAAU,GAAG,EAAE,CAAC;QAC7B,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;QAChE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,GAAG,CAAC,KAAa,EAAE,KAAa;QAC9B,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;YAC3B,IAAI,CAAC,KAAK,CAAC,UAAU,GAAG,EAAE,CAAC;QAC7B,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;QAC9D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,GAAG,CAAC,KAAa,EAAE,KAAa;QAC9B,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;YAC3B,IAAI,CAAC,KAAK,CAAC,UAAU,GAAG,EAAE,CAAC;QAC7B,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;QAC9D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,GAAG,CAAC,KAAa,EAAE,KAAa;QAC9B,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;YAC3B,IAAI,CAAC,KAAK,CAAC,UAAU,GAAG,EAAE,CAAC;QAC7B,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;QAC9D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,GAAG,CAAC,KAAa,EAAE,KAAa;QAC9B,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC;YAC3B,IAAI,CAAC,KAAK,CAAC,UAAU,GAAG,EAAE,CAAC;QAC7B,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;QAC9D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,CAAC,GAAG,MAAgB;QACzB,IAAI,CAAC,KAAK,CAAC,OAAO,GAAG,MAAM,CAAC;QAC5B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,KAAK;QACH,OAAO,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC;IAC3B,CAAC;IAED,KAAK,CAAC,OAAO,CAAC,GAA0B;QACtC,OAAO,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,GAAG,CAAC,CAAC;IACzC,CAAC;CACF;AAED,MAAM,UAAU,QAAQ,CAAC,IAAY,EAAE,IAAgC;IACrE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AACxB,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,WAAmB;IAClD,MAAM,KAAK,GAAG,WAAW;SACtB,IAAI,EAAE;SACN,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;IACxB,MAAM,KAAK,GAAe,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAE3D,IAAI,cAAc,GAA6D,IAAI,CAAC;IAEpF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QAEjC,IAAI,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC/B,KAAK,CAAC,IAAI,GAAG,QAAQ,CAAC;YACtB,cAAc,GAAG,QAAQ,CAAC;QAC5B,CAAC;aAAM,IAAI,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;YACnC,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC;YACnB,cAAc,GAAG,QAAQ,CAAC;QAC5B,CAAC;aAAM,IAAI,KAAK,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;YACzC,KAAK,CAAC,IAAI,GAAG,WAAW,CAAC;YACzB,cAAc,GAAG,QAAQ,CAAC;QAC5B,CAAC;aAAM,IAAI,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;YACxC,KAAK,CAAC,IAAI,GAAG,UAAU,CAAC;YACxB,cAAc,GAAG,QAAQ,CAAC;QAC5B,CAAC;aAAM,IAAI,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;YACrC,cAAc,GAAG,OAAO,CAAC;QAC3B,CAAC;aAAM,IAAI,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YACtC,cAAc,GAAG,QAAQ,CAAC;QAC5B,CAAC;aAAM,IAAI,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;YACxC,cAAc,GAAG,OAAO,CAAC;QAC3B,CAAC;aAAM,IAAI,KAAK,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;YACrC,MAAM,KAAK,GAAG,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1C,IAAI,KAAK,EAAE,CAAC;gBACV,KAAK,CAAC,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;aAAM,IAAI,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YACtC,MAAM,KAAK,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC3C,IAAI,KAAK,EAAE,CAAC;gBACV,KAAK,CAAC,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACxC,CAAC;QACH,CAAC;aAAM,IAAI,cAAc,KAAK,OAAO,EAAE,CAAC;YACtC,MAAM,WAAW,GAAG,+CAA+C,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC/E,IAAI,WAAW,EAAE,CAAC;gBAChB,MAAM,OAAO,GAAkB,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;gBACxD,MAAM,SAAS,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;gBACjC,MAAM,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;gBAE9B,IAAI,MAA8B,CAAC;gBACnC,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC3B,MAAM,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;gBAChD,CAAC;qBAAM,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;oBAClC,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBAC/B,CAAC;qBAAM,CAAC;oBACN,MAAM,GAAG,MAAM,CAAC;gBAClB,CAAC;gBAED,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC;YACtD,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,MAAwB;IACxD,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CAAC,sBAAsB,MAAM,CAAC,aAAa,IAAI,CAAC,CAAC;IAC3D,KAAK,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,KAAK,YAAY,CAAC,CAAC;IAC9C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC1B,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACtC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YACvC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACjC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IAC/B,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC,CAAC;IAEzC,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACtC,MAAM,GAAG,GAAa,EAAE,CAAC;QACzB,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;YAC3B,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBAC1C,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAChB,CAAC;iBAAM,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC;gBACxD,GAAG,CAAC,IAAI,CAAE,KAAmB,CAAC,IAAI,CAAC,CAAC;YACtC,CAAC;iBAAM,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,IAAI,KAAK,EAAE,CAAC;gBACzD,GAAG,CAAC,IAAI,CAAE,KAAmB,CAAC,KAAK,IAAK,KAAmB,CAAC,IAAI,CAAC,CAAC;YACpE,CAAC;iBAAM,CAAC;gBACN,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YAC1B,CAAC;QACH,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IAChC,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}

package/dist/knowledge-graph/reasoning-engine.d.ts

@@ -0,0 +1,53 @@
+import type { GraphAdapter, GraphPath, InferredEdge, RelationType } from '@cogitator-ai/types';
+export interface ReasoningConfig {
+    maxHops: number;
+    minConfidence: number;
+    maxInferences: number;
+    enableTransitivity: boolean;
+    enableInverse: boolean;
+    enableComposition: boolean;
+}
+export interface ReasoningContext {
+    adapter: GraphAdapter;
+    agentId: string;
+    config: ReasoningConfig;
+}
+export interface ReasoningResult {
+    paths: GraphPath[];
+    inferences: InferredEdge[];
+    confidence: number;
+    steps: ReasoningStep[];
+}
+export interface ReasoningStep {
+    type: 'traverse' | 'infer' | 'compose' | 'inverse';
+    description: string;
+    fromNode?: string;
+    toNode?: string;
+    relation?: string;
+    confidence: number;
+}
+export declare function findPath(ctx: ReasoningContext, startNodeId: string, endNodeId: string): Promise<ReasoningResult>;
+export declare function multiHopQuery(ctx: ReasoningContext, startNodeId: string, relationPath: RelationType[]): Promise<ReasoningResult>;
+export declare function inferTransitiveRelations(ctx: ReasoningContext): Promise<InferredEdge[]>;
+export declare function inferInverseRelations(ctx: ReasoningContext): Promise<InferredEdge[]>;
+export interface CompositionRule {
+    first: RelationType;
+    second: RelationType;
+    result: RelationType;
+    confidenceMultiplier: number;
+}
+export declare function inferComposedRelations(ctx: ReasoningContext): Promise<InferredEdge[]>;
+export declare function runFullInference(ctx: ReasoningContext): Promise<InferredEdge[]>;
+export declare class ReasoningEngine {
+    private ctx;
+    constructor(adapter: GraphAdapter, agentId: string, config?: Partial<ReasoningConfig>);
+    findPath(startNodeId: string, endNodeId: string): Promise<ReasoningResult>;
+    multiHopQuery(startNodeId: string, relationPath: RelationType[]): Promise<ReasoningResult>;
+    infer(): Promise<InferredEdge[]>;
+    inferTransitive(): Promise<InferredEdge[]>;
+    inferInverse(): Promise<InferredEdge[]>;
+    inferComposed(): Promise<InferredEdge[]>;
+    updateConfig(config: Partial<ReasoningConfig>): void;
+}
+export declare function createReasoningEngine(adapter: GraphAdapter, agentId: string, config?: Partial<ReasoningConfig>): ReasoningEngine;
+//# sourceMappingURL=reasoning-engine.d.ts.map

package/dist/knowledge-graph/reasoning-engine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reasoning-engine.d.ts","sourceRoot":"","sources":["../../src/knowledge-graph/reasoning-engine.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAGV,YAAY,EACZ,SAAS,EACT,YAAY,EACZ,YAAY,EACb,MAAM,qBAAqB,CAAC;AAE7B,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,MAAM,CAAC;IAChB,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,MAAM,CAAC;IACtB,kBAAkB,EAAE,OAAO,CAAC;IAC5B,aAAa,EAAE,OAAO,CAAC;IACvB,iBAAiB,EAAE,OAAO,CAAC;CAC5B;AAWD,MAAM,WAAW,gBAAgB;IAC/B,OAAO,EAAE,YAAY,CAAC;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,eAAe,CAAC;CACzB;AAED,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,SAAS,EAAE,CAAC;IACnB,UAAU,EAAE,YAAY,EAAE,CAAC;IAC3B,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,aAAa,EAAE,CAAC;CACxB;AAED,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,UAAU,GAAG,OAAO,GAAG,SAAS,GAAG,SAAS,CAAC;IACnD,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;CACpB;AAmBD,wBAAsB,QAAQ,CAC5B,GAAG,EAAE,gBAAgB,EACrB,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,MAAM,GAChB,OAAO,CAAC,eAAe,CAAC,CAoC1B;AAaD,wBAAsB,aAAa,CACjC,GAAG,EAAE,gBAAgB,EACrB,WAAW,EAAE,MAAM,EACnB,YAAY,EAAE,YAAY,EAAE,GAC3B,OAAO,CAAC,eAAe,CAAC,CA8E1B;AAED,wBAAsB,wBAAwB,CAAC,GAAG,EAAE,gBAAgB,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC,CAoE7F;AAED,wBAAsB,qBAAqB,CAAC,GAAG,EAAE,gBAAgB,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC,CAqD1F;AAED,MAAM,WAAW,eAAe;IAC9B,KAAK,EAAE,YAAY,CAAC;IACpB,MAAM,EAAE,YAAY,CAAC;IACrB,MAAM,EAAE,YAAY,CAAC;IACrB,oBAAoB,EAAE,MAAM,CAAC;CAC9B;AASD,wBAAsB,sBAAsB,CAAC,GAAG,EAAE,gBAAgB,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC,CAmE3F;AAED,wBAAsB,gBAAgB,CAAC,GAAG,EAAE,gBAAgB,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC,CAqBrF;AAED,qBAAa,eAAe;IAC1B,OAAO,CAAC,GAAG,CAAmB;gBAElB,OAAO,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,GAAE,OAAO,CAAC,eAAe,CAAM;IAQnF,QAAQ,CAAC,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC;IAI1E,aAAa,CAAC,WAAW,EAAE,MAAM,EAAE,YAAY,EAAE,YAAY,EAAE,GAAG,OAAO,CAAC,eAAe,CAAC;IAI1F,KAAK,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;IAIhC,eAAe,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;IAI1C,YAAY,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;IAIvC,aAAa,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;IAI9C,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,eAAe,CAAC,GAAG,IAAI;CAGrD;AAED,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,YAAY,EACrB,OAAO,EAAE,MAAM,EACf,MAAM,CAAC,EAAE,OAAO,CAAC,eAAe,CAAC,GAChC,eAAe,CAEjB"}