@cogitator-ai/neuro-symbolic 9.0.0 → 9.1.0

package/dist/index.d.ts

@@ -1,4 +1,6 @@
 export { NeuroSymbolic, createNeuroSymbolic, type NeuroSymbolicOptions } from './orchestrator';
+export { createNeuroSymbolicTools, createLogicTools, createConstraintTools, createPlanningTools, createGraphTools, type NeuroSymbolicTools, type NeuroSymbolicToolsOptions, } from './tools';
+export { MemoryGraphAdapter, createMemoryGraphAdapter, } from './knowledge-graph/adapters/memory-adapter';
 export * from './logic';
 export { executeQuery, GraphQueryBuilder, variable as graphVariable, parseQueryString, formatQueryResult, analyzeNLQuery, buildQueryFromAnalysis, executeNLQuery, createNLToGraphQueryPrompt, parseNLQueryResponse, suggestQuestions, generateClarifications, ReasoningEngine, createReasoningEngine, findPath, multiHopQuery, inferTransitiveRelations, inferInverseRelations, inferComposedRelations, runFullInference, createGraphContextPrompt, createQueryExplanationPrompt, createPathExplanationPrompt, createEntityExtractionPrompt, createReasoningExplanationPrompt, createGraphSummaryPrompt, parseEntityExtractionResponse, formatNodeForPrompt, formatEdgeForPrompt, formatPathForPrompt, type QueryExecutionContext, type ParsedPattern, type NLQueryContext, type NLQueryAnalysis, type NLQueryPromptContext, type QueryClarification, type ReasoningConfig, type ReasoningContext, type ReasoningResult, type ReasoningStep, type CompositionRule, type GraphContextForPrompt, type QueryToNLContext, type PathExplanationContext, type EntityExtractionContext, type ReasoningExplanationContext, type GraphSummaryContext, } from './knowledge-graph';
 export { Expr, ConstraintBuilder, variable as constraintVariable, constant, and, or, not, implies, iff, ite, sum, product, allDifferent, atMost, atLeast, exactly, expressionToString, constraintToString, problemToString, SimpleSATSolver, createSimpleSATSolver, solveSAT, Z3WASMSolver, createZ3Solver, solveWithZ3, isZ3Available, createNLToConstraintsPrompt, createConstraintExplanationPrompt, createUnsatAnalysisPrompt, createConstraintSuggestionPrompt, parseNLConstraintsResponse, formatSolverResultForLLM, formatProblemSummary, solve, type SimpleSATConfig, type Z3SolverConfig, type NLToConstraintsContext, type ConstraintExplanationContext, type UnsatAnalysisContext, type ConstraintSuggestionContext, type ParseNLConstraintsResult, } from './constraints';

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,KAAK,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAE/F,cAAc,SAAS,CAAC;AAExB,OAAO,EACL,YAAY,EACZ,iBAAiB,EACjB,QAAQ,IAAI,aAAa,EACzB,gBAAgB,EAChB,iBAAiB,EACjB,cAAc,EACd,sBAAsB,EACtB,cAAc,EACd,0BAA0B,EAC1B,oBAAoB,EACpB,gBAAgB,EAChB,sBAAsB,EACtB,eAAe,EACf,qBAAqB,EACrB,QAAQ,EACR,aAAa,EACb,wBAAwB,EACxB,qBAAqB,EACrB,sBAAsB,EACtB,gBAAgB,EAChB,wBAAwB,EACxB,4BAA4B,EAC5B,2BAA2B,EAC3B,4BAA4B,EAC5B,gCAAgC,EAChC,wBAAwB,EACxB,6BAA6B,EAC7B,mBAAmB,EACnB,mBAAmB,EACnB,mBAAmB,EACnB,KAAK,qBAAqB,EAC1B,KAAK,aAAa,EAClB,KAAK,cAAc,EACnB,KAAK,eAAe,EACpB,KAAK,oBAAoB,EACzB,KAAK,kBAAkB,EACvB,KAAK,eAAe,EACpB,KAAK,gBAAgB,EACrB,KAAK,eAAe,EACpB,KAAK,aAAa,EAClB,KAAK,eAAe,EACpB,KAAK,qBAAqB,EAC1B,KAAK,gBAAgB,EACrB,KAAK,sBAAsB,EAC3B,KAAK,uBAAuB,EAC5B,KAAK,2BAA2B,EAChC,KAAK,mBAAmB,GACzB,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EACL,IAAI,EACJ,iBAAiB,EACjB,QAAQ,IAAI,kBAAkB,EAC9B,QAAQ,EACR,GAAG,EACH,EAAE,EACF,GAAG,EACH,OAAO,EACP,GAAG,EACH,GAAG,EACH,GAAG,EACH,OAAO,EACP,YAAY,EACZ,MAAM,EACN,OAAO,EACP,OAAO,EACP,kBAAkB,EAClB,kBAAkB,EAClB,eAAe,EACf,eAAe,EACf,qBAAqB,EACrB,QAAQ,EACR,YAAY,EACZ,cAAc,EACd,WAAW,EACX,aAAa,EACb,2BAA2B,EAC3B,iCAAiC,EACjC,yBAAyB,EACzB,gCAAgC,EAChC,0BAA0B,EAC1B,wBAAwB,EACxB,oBAAoB,EACpB,KAAK,EACL,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,KAAK,sBAAsB,EAC3B,KAAK,4BAA4B,EACjC,KAAK,oBAAoB,EACzB,KAAK,2BAA2B,EAChC,KAAK,wBAAwB,GAC9B,MAAM,eAAe,CAAC;AAEvB,cAAc,YAAY,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,KAAK,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAE/F,OAAO,EACL,wBAAwB,EACxB,gBAAgB,EAChB,qBAAqB,EACrB,mBAAmB,EACnB,gBAAgB,EAChB,KAAK,kBAAkB,EACvB,KAAK,yBAAyB,GAC/B,MAAM,SAAS,CAAC;AAEjB,OAAO,EACL,kBAAkB,EAClB,wBAAwB,GACzB,MAAM,2CAA2C,CAAC;AAEnD,cAAc,SAAS,CAAC;AAExB,OAAO,EACL,YAAY,EACZ,iBAAiB,EACjB,QAAQ,IAAI,aAAa,EACzB,gBAAgB,EAChB,iBAAiB,EACjB,cAAc,EACd,sBAAsB,EACtB,cAAc,EACd,0BAA0B,EAC1B,oBAAoB,EACpB,gBAAgB,EAChB,sBAAsB,EACtB,eAAe,EACf,qBAAqB,EACrB,QAAQ,EACR,aAAa,EACb,wBAAwB,EACxB,qBAAqB,EACrB,sBAAsB,EACtB,gBAAgB,EAChB,wBAAwB,EACxB,4BAA4B,EAC5B,2BAA2B,EAC3B,4BAA4B,EAC5B,gCAAgC,EAChC,wBAAwB,EACxB,6BAA6B,EAC7B,mBAAmB,EACnB,mBAAmB,EACnB,mBAAmB,EACnB,KAAK,qBAAqB,EAC1B,KAAK,aAAa,EAClB,KAAK,cAAc,EACnB,KAAK,eAAe,EACpB,KAAK,oBAAoB,EACzB,KAAK,kBAAkB,EACvB,KAAK,eAAe,EACpB,KAAK,gBAAgB,EACrB,KAAK,eAAe,EACpB,KAAK,aAAa,EAClB,KAAK,eAAe,EACpB,KAAK,qBAAqB,EAC1B,KAAK,gBAAgB,EACrB,KAAK,sBAAsB,EAC3B,KAAK,uBAAuB,EAC5B,KAAK,2BAA2B,EAChC,KAAK,mBAAmB,GACzB,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EACL,IAAI,EACJ,iBAAiB,EACjB,QAAQ,IAAI,kBAAkB,EAC9B,QAAQ,EACR,GAAG,EACH,EAAE,EACF,GAAG,EACH,OAAO,EACP,GAAG,EACH,GAAG,EACH,GAAG,EACH,OAAO,EACP,YAAY,EACZ,MAAM,EACN,OAAO,EACP,OAAO,EACP,kBAAkB,EAClB,kBAAkB,EAClB,eAAe,EACf,eAAe,EACf,qBAAqB,EACrB,QAAQ,EACR,YAAY,EACZ,cAAc,EACd,WAAW,EACX,aAAa,EACb,2BAA2B,EAC3B,iCAAiC,EACjC,yBAAyB,EACzB,gCAAgC,EAChC,0BAA0B,EAC1B,wBAAwB,EACxB,oBAAoB,EACpB,KAAK,EACL,KAAK,eAAe,EACpB,KAAK,cAAc,EACnB,KAAK,sBAAsB,EAC3B,KAAK,4BAA4B,EACjC,KAAK,oBAAoB,EACzB,KAAK,2BAA2B,EAChC,KAAK,wBAAwB,GAC9B,MAAM,eAAe,CAAC;AAEvB,cAAc,YAAY,CAAC"}

package/dist/index.js

@@ -1,4 +1,6 @@
 export { NeuroSymbolic, createNeuroSymbolic } from './orchestrator';
+export { createNeuroSymbolicTools, createLogicTools, createConstraintTools, createPlanningTools, createGraphTools, } from './tools';
+export { MemoryGraphAdapter, createMemoryGraphAdapter, } from './knowledge-graph/adapters/memory-adapter';
 export * from './logic';
 export { executeQuery, GraphQueryBuilder, variable as graphVariable, parseQueryString, formatQueryResult, analyzeNLQuery, buildQueryFromAnalysis, executeNLQuery, createNLToGraphQueryPrompt, parseNLQueryResponse, suggestQuestions, generateClarifications, ReasoningEngine, createReasoningEngine, findPath, multiHopQuery, inferTransitiveRelations, inferInverseRelations, inferComposedRelations, runFullInference, createGraphContextPrompt, createQueryExplanationPrompt, createPathExplanationPrompt, createEntityExtractionPrompt, createReasoningExplanationPrompt, createGraphSummaryPrompt, parseEntityExtractionResponse, formatNodeForPrompt, formatEdgeForPrompt, formatPathForPrompt, } from './knowledge-graph';
 export { Expr, ConstraintBuilder, variable as constraintVariable, constant, and, or, not, implies, iff, ite, sum, product, allDifferent, atMost, atLeast, exactly, expressionToString, constraintToString, problemToString, SimpleSATSolver, createSimpleSATSolver, solveSAT, Z3WASMSolver, createZ3Solver, solveWithZ3, isZ3Available, createNLToConstraintsPrompt, createConstraintExplanationPrompt, createUnsatAnalysisPrompt, createConstraintSuggestionPrompt, parseNLConstraintsResponse, formatSolverResultForLLM, formatProblemSummary, solve, } from './constraints';

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAA6B,MAAM,gBAAgB,CAAC;AAE/F,cAAc,SAAS,CAAC;AAExB,OAAO,EACL,YAAY,EACZ,iBAAiB,EACjB,QAAQ,IAAI,aAAa,EACzB,gBAAgB,EAChB,iBAAiB,EACjB,cAAc,EACd,sBAAsB,EACtB,cAAc,EACd,0BAA0B,EAC1B,oBAAoB,EACpB,gBAAgB,EAChB,sBAAsB,EACtB,eAAe,EACf,qBAAqB,EACrB,QAAQ,EACR,aAAa,EACb,wBAAwB,EACxB,qBAAqB,EACrB,sBAAsB,EACtB,gBAAgB,EAChB,wBAAwB,EACxB,4BAA4B,EAC5B,2BAA2B,EAC3B,4BAA4B,EAC5B,gCAAgC,EAChC,wBAAwB,EACxB,6BAA6B,EAC7B,mBAAmB,EACnB,mBAAmB,EACnB,mBAAmB,GAkBpB,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EACL,IAAI,EACJ,iBAAiB,EACjB,QAAQ,IAAI,kBAAkB,EAC9B,QAAQ,EACR,GAAG,EACH,EAAE,EACF,GAAG,EACH,OAAO,EACP,GAAG,EACH,GAAG,EACH,GAAG,EACH,OAAO,EACP,YAAY,EACZ,MAAM,EACN,OAAO,EACP,OAAO,EACP,kBAAkB,EAClB,kBAAkB,EAClB,eAAe,EACf,eAAe,EACf,qBAAqB,EACrB,QAAQ,EACR,YAAY,EACZ,cAAc,EACd,WAAW,EACX,aAAa,EACb,2BAA2B,EAC3B,iCAAiC,EACjC,yBAAyB,EACzB,gCAAgC,EAChC,0BAA0B,EAC1B,wBAAwB,EACxB,oBAAoB,EACpB,KAAK,GAQN,MAAM,eAAe,CAAC;AAEvB,cAAc,YAAY,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAA6B,MAAM,gBAAgB,CAAC;AAE/F,OAAO,EACL,wBAAwB,EACxB,gBAAgB,EAChB,qBAAqB,EACrB,mBAAmB,EACnB,gBAAgB,GAGjB,MAAM,SAAS,CAAC;AAEjB,OAAO,EACL,kBAAkB,EAClB,wBAAwB,GACzB,MAAM,2CAA2C,CAAC;AAEnD,cAAc,SAAS,CAAC;AAExB,OAAO,EACL,YAAY,EACZ,iBAAiB,EACjB,QAAQ,IAAI,aAAa,EACzB,gBAAgB,EAChB,iBAAiB,EACjB,cAAc,EACd,sBAAsB,EACtB,cAAc,EACd,0BAA0B,EAC1B,oBAAoB,EACpB,gBAAgB,EAChB,sBAAsB,EACtB,eAAe,EACf,qBAAqB,EACrB,QAAQ,EACR,aAAa,EACb,wBAAwB,EACxB,qBAAqB,EACrB,sBAAsB,EACtB,gBAAgB,EAChB,wBAAwB,EACxB,4BAA4B,EAC5B,2BAA2B,EAC3B,4BAA4B,EAC5B,gCAAgC,EAChC,wBAAwB,EACxB,6BAA6B,EAC7B,mBAAmB,EACnB,mBAAmB,EACnB,mBAAmB,GAkBpB,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EACL,IAAI,EACJ,iBAAiB,EACjB,QAAQ,IAAI,kBAAkB,EAC9B,QAAQ,EACR,GAAG,EACH,EAAE,EACF,GAAG,EACH,OAAO,EACP,GAAG,EACH,GAAG,EACH,GAAG,EACH,OAAO,EACP,YAAY,EACZ,MAAM,EACN,OAAO,EACP,OAAO,EACP,kBAAkB,EAClB,kBAAkB,EAClB,eAAe,EACf,eAAe,EACf,qBAAqB,EACrB,QAAQ,EACR,YAAY,EACZ,cAAc,EACd,WAAW,EACX,aAAa,EACb,2BAA2B,EAC3B,iCAAiC,EACjC,yBAAyB,EACzB,gCAAgC,EAChC,0BAA0B,EAC1B,wBAAwB,EACxB,oBAAoB,EACpB,KAAK,GAQN,MAAM,eAAe,CAAC;AAEvB,cAAc,YAAY,CAAC"}

package/dist/knowledge-graph/adapters/memory-adapter.d.ts

@@ -0,0 +1,34 @@
+import type { GraphAdapter, GraphNode, GraphEdge, NodeQuery, EdgeQuery, TraversalOptions, TraversalResult, GraphPath, GraphSemanticSearchOptions, GraphStats, TraversalDirection, MemoryResult } from '@cogitator-ai/types';
+export declare class MemoryGraphAdapter implements GraphAdapter {
+    private nodes;
+    private edges;
+    private nodesByAgent;
+    private edgesBySource;
+    private edgesByTarget;
+    addNode(node: Omit<GraphNode, 'id' | 'createdAt' | 'updatedAt' | 'lastAccessedAt' | 'accessCount'>): Promise<MemoryResult<GraphNode>>;
+    getNode(nodeId: string): Promise<MemoryResult<GraphNode | null>>;
+    getNodeByName(agentId: string, name: string): Promise<MemoryResult<GraphNode | null>>;
+    updateNode(nodeId: string, updates: Partial<Pick<GraphNode, 'name' | 'aliases' | 'description' | 'properties' | 'confidence' | 'metadata' | 'embedding'>>): Promise<MemoryResult<GraphNode>>;
+    deleteNode(nodeId: string): Promise<MemoryResult<void>>;
+    queryNodes(query: NodeQuery): Promise<MemoryResult<GraphNode[]>>;
+    searchNodesSemantic(options: GraphSemanticSearchOptions): Promise<MemoryResult<(GraphNode & {
+        score: number;
+    })[]>>;
+    addEdge(edge: Omit<GraphEdge, 'id' | 'createdAt' | 'updatedAt'>): Promise<MemoryResult<GraphEdge>>;
+    getEdge(edgeId: string): Promise<MemoryResult<GraphEdge | null>>;
+    getEdgesBetween(sourceNodeId: string, targetNodeId: string): Promise<MemoryResult<GraphEdge[]>>;
+    updateEdge(edgeId: string, updates: Partial<Pick<GraphEdge, 'weight' | 'label' | 'properties' | 'confidence' | 'validFrom' | 'validUntil' | 'metadata'>>): Promise<MemoryResult<GraphEdge>>;
+    deleteEdge(edgeId: string): Promise<MemoryResult<void>>;
+    queryEdges(query: EdgeQuery): Promise<MemoryResult<GraphEdge[]>>;
+    traverse(options: TraversalOptions): Promise<MemoryResult<TraversalResult>>;
+    findShortestPath(_agentId: string, startNodeId: string, endNodeId: string, maxDepth?: number): Promise<MemoryResult<GraphPath | null>>;
+    getNeighbors(nodeId: string, direction?: TraversalDirection): Promise<MemoryResult<{
+        node: GraphNode;
+        edge: GraphEdge;
+    }[]>>;
+    mergeNodes(targetNodeId: string, sourceNodeIds: string[]): Promise<MemoryResult<GraphNode>>;
+    clearGraph(agentId: string): Promise<MemoryResult<void>>;
+    getGraphStats(agentId: string): Promise<MemoryResult<GraphStats>>;
+}
+export declare function createMemoryGraphAdapter(): MemoryGraphAdapter;
+//# sourceMappingURL=memory-adapter.d.ts.map

package/dist/knowledge-graph/adapters/memory-adapter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"memory-adapter.d.ts","sourceRoot":"","sources":["../../../src/knowledge-graph/adapters/memory-adapter.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,YAAY,EACZ,SAAS,EACT,SAAS,EACT,SAAS,EACT,SAAS,EACT,gBAAgB,EAChB,eAAe,EACf,SAAS,EACT,0BAA0B,EAC1B,UAAU,EACV,kBAAkB,EAGlB,YAAY,EACb,MAAM,qBAAqB,CAAC;AAG7B,qBAAa,kBAAmB,YAAW,YAAY;IACrD,OAAO,CAAC,KAAK,CAAgC;IAC7C,OAAO,CAAC,KAAK,CAAgC;IAC7C,OAAO,CAAC,YAAY,CAAkC;IACtD,OAAO,CAAC,aAAa,CAAkC;IACvD,OAAO,CAAC,aAAa,CAAkC;IAEjD,OAAO,CACX,IAAI,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,GAAG,WAAW,GAAG,WAAW,GAAG,gBAAgB,GAAG,aAAa,CAAC,GACzF,OAAO,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;IAuB7B,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,SAAS,GAAG,IAAI,CAAC,CAAC;IAShE,aAAa,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,SAAS,GAAG,IAAI,CAAC,CAAC;IAkBrF,UAAU,CACd,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,OAAO,CACd,IAAI,CACF,SAAS,EACT,MAAM,GAAG,SAAS,GAAG,aAAa,GAAG,YAAY,GAAG,YAAY,GAAG,UAAU,GAAG,WAAW,CAC5F,CACF,GACA,OAAO,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;IAgB7B,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IAmBvD,UAAU,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO,CAAC,YAAY,CAAC,SAAS,EAAE,CAAC,CAAC;IA8BhE,mBAAmB,CACvB,OAAO,EAAE,0BAA0B,GAClC,OAAO,CAAC,YAAY,CAAC,CAAC,SAAS,GAAG;QAAE,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,EAAE,CAAC,CAAC;IA4BrD,OAAO,CACX,IAAI,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,GAAG,WAAW,GAAG,WAAW,CAAC,GACtD,OAAO,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;IA0B7B,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,SAAS,GAAG,IAAI,CAAC,CAAC;IAIhE,eAAe,CACnB,YAAY,EAAE,MAAM,EACpB,YAAY,EAAE,MAAM,GACnB,OAAO,CAAC,YAAY,CAAC,SAAS,EAAE,CAAC,CAAC;IAc/B,UAAU,CACd,MAAM,EAAE,MAAM,EACd,OAAO,EAAE,OAAO,CACd,IAAI,CACF,SAAS,EACT,QAAQ,GAAG,OAAO,GAAG,YAAY,GAAG,YAAY,GAAG,WAAW,GAAG,YAAY,GAAG,UAAU,CAC3F,CACF,GACA,OAAO,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;IAgB7B,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IAavD,UAAU,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO,CAAC,YAAY,CAAC,SAAS,EAAE,CAAC,CAAC;IAmBhE,QAAQ,CAAC,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAAC,YAAY,CAAC,eAAe,CAAC,CAAC;IA2E3E,gBAAgB,CACpB,QAAQ,EAAE,MAAM,EAChB,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,MAAM,EACjB,QAAQ,SAAK,GACZ,OAAO,CAAC,YAAY,CAAC,SAAS,GAAG,IAAI,CAAC,CAAC;IAoDpC,YAAY,CAChB,MAAM,EAAE,MAAM,EACd,SAAS,GAAE,kBAA2B,GACrC,OAAO,CAAC,YAAY,CAAC;QAAE,IAAI,EAAE,SAAS,CAAC;QAAC,IAAI,EAAE,SAAS,CAAA;KAAE,EAAE,CAAC,CAAC;IAgC1D,UAAU,CAAC,YAAY,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;IAqD3F,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IAUxD,aAAa,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC;CAwDxE;AAiBD,wBAAgB,wBAAwB,IAAI,kBAAkB,CAE7D"}

package/dist/knowledge-graph/adapters/memory-adapter.js

@@ -0,0 +1,468 @@
+import { nanoid } from 'nanoid';
+export class MemoryGraphAdapter {
+    nodes = new Map();
+    edges = new Map();
+    nodesByAgent = new Map();
+    edgesBySource = new Map();
+    edgesByTarget = new Map();
+    async addNode(node) {
+        const id = nanoid();
+        const now = new Date();
+        const newNode = {
+            ...node,
+            id,
+            createdAt: now,
+            updatedAt: now,
+            lastAccessedAt: now,
+            accessCount: 0,
+        };
+        this.nodes.set(id, newNode);
+        if (!this.nodesByAgent.has(node.agentId)) {
+            this.nodesByAgent.set(node.agentId, new Set());
+        }
+        this.nodesByAgent.get(node.agentId).add(id);
+        return { success: true, data: newNode };
+    }
+    async getNode(nodeId) {
+        const node = this.nodes.get(nodeId);
+        if (node) {
+            node.lastAccessedAt = new Date();
+            node.accessCount++;
+        }
+        return { success: true, data: node ?? null };
+    }
+    async getNodeByName(agentId, name) {
+        const agentNodes = this.nodesByAgent.get(agentId);
+        if (!agentNodes) {
+            return { success: true, data: null };
+        }
+        for (const nodeId of agentNodes) {
+            const node = this.nodes.get(nodeId);
+            if (node && (node.name === name || node.aliases.includes(name))) {
+                node.lastAccessedAt = new Date();
+                node.accessCount++;
+                return { success: true, data: node };
+            }
+        }
+        return { success: true, data: null };
+    }
+    async updateNode(nodeId, updates) {
+        const node = this.nodes.get(nodeId);
+        if (!node) {
+            return { success: false, error: `Node ${nodeId} not found` };
+        }
+        const updatedNode = {
+            ...node,
+            ...updates,
+            updatedAt: new Date(),
+        };
+        this.nodes.set(nodeId, updatedNode);
+        return { success: true, data: updatedNode };
+    }
+    async deleteNode(nodeId) {
+        const node = this.nodes.get(nodeId);
+        if (!node) {
+            return { success: false, error: `Node ${nodeId} not found` };
+        }
+        const sourceEdges = this.edgesBySource.get(nodeId) ?? new Set();
+        const targetEdges = this.edgesByTarget.get(nodeId) ?? new Set();
+        for (const edgeId of [...sourceEdges, ...targetEdges]) {
+            await this.deleteEdge(edgeId);
+        }
+        this.nodes.delete(nodeId);
+        this.nodesByAgent.get(node.agentId)?.delete(nodeId);
+        return { success: true, data: undefined };
+    }
+    async queryNodes(query) {
+        const results = [];
+        const agentNodes = this.nodesByAgent.get(query.agentId);
+        if (!agentNodes) {
+            return { success: true, data: [] };
+        }
+        for (const nodeId of agentNodes) {
+            const node = this.nodes.get(nodeId);
+            if (!node)
+                continue;
+            if (query.types && !query.types.includes(node.type))
+                continue;
+            if (query.minConfidence && node.confidence < query.minConfidence)
+                continue;
+            if (query.namePattern) {
+                const pattern = new RegExp(query.namePattern, 'i');
+                if (!pattern.test(node.name) && !node.aliases.some((a) => pattern.test(a))) {
+                    continue;
+                }
+            }
+            const resultNode = query.includeEmbedding ? node : { ...node, embedding: undefined };
+            results.push(resultNode);
+            if (query.limit && results.length >= query.limit)
+                break;
+        }
+        return { success: true, data: results };
+    }
+    async searchNodesSemantic(options) {
+        if (!options.vector) {
+            return { success: true, data: [] };
+        }
+        const nodesResult = await this.queryNodes({
+            agentId: options.agentId,
+            types: options.entityTypes,
+            includeEmbedding: true,
+        });
+        if (!nodesResult.success) {
+            return { success: false, error: nodesResult.error };
+        }
+        const scored = nodesResult.data
+            .filter((n) => n.embedding && n.embedding.length === options.vector.length)
+            .map((node) => ({
+            ...node,
+            score: cosineSimilarity(node.embedding, options.vector),
+        }))
+            .filter((n) => !options.threshold || n.score >= options.threshold)
+            .sort((a, b) => b.score - a.score)
+            .slice(0, options.limit ?? 10);
+        return { success: true, data: scored };
+    }
+    async addEdge(edge) {
+        const id = nanoid();
+        const now = new Date();
+        const newEdge = {
+            ...edge,
+            id,
+            createdAt: now,
+            updatedAt: now,
+        };
+        this.edges.set(id, newEdge);
+        if (!this.edgesBySource.has(edge.sourceNodeId)) {
+            this.edgesBySource.set(edge.sourceNodeId, new Set());
+        }
+        this.edgesBySource.get(edge.sourceNodeId).add(id);
+        if (!this.edgesByTarget.has(edge.targetNodeId)) {
+            this.edgesByTarget.set(edge.targetNodeId, new Set());
+        }
+        this.edgesByTarget.get(edge.targetNodeId).add(id);
+        return { success: true, data: newEdge };
+    }
+    async getEdge(edgeId) {
+        return { success: true, data: this.edges.get(edgeId) ?? null };
+    }
+    async getEdgesBetween(sourceNodeId, targetNodeId) {
+        const sourceEdges = this.edgesBySource.get(sourceNodeId) ?? new Set();
+        const results = [];
+        for (const edgeId of sourceEdges) {
+            const edge = this.edges.get(edgeId);
+            if (edge && edge.targetNodeId === targetNodeId) {
+                results.push(edge);
+            }
+        }
+        return { success: true, data: results };
+    }
+    async updateEdge(edgeId, updates) {
+        const edge = this.edges.get(edgeId);
+        if (!edge) {
+            return { success: false, error: `Edge ${edgeId} not found` };
+        }
+        const updatedEdge = {
+            ...edge,
+            ...updates,
+            updatedAt: new Date(),
+        };
+        this.edges.set(edgeId, updatedEdge);
+        return { success: true, data: updatedEdge };
+    }
+    async deleteEdge(edgeId) {
+        const edge = this.edges.get(edgeId);
+        if (!edge) {
+            return { success: false, error: `Edge ${edgeId} not found` };
+        }
+        this.edges.delete(edgeId);
+        this.edgesBySource.get(edge.sourceNodeId)?.delete(edgeId);
+        this.edgesByTarget.get(edge.targetNodeId)?.delete(edgeId);
+        return { success: true, data: undefined };
+    }
+    async queryEdges(query) {
+        const results = [];
+        for (const edge of this.edges.values()) {
+            if (edge.agentId !== query.agentId)
+                continue;
+            if (query.sourceNodeId && edge.sourceNodeId !== query.sourceNodeId)
+                continue;
+            if (query.targetNodeId && edge.targetNodeId !== query.targetNodeId)
+                continue;
+            if (query.types && !query.types.includes(edge.type))
+                continue;
+            if (query.minWeight && edge.weight < query.minWeight)
+                continue;
+            if (query.minConfidence && edge.confidence < query.minConfidence)
+                continue;
+            if (query.bidirectionalOnly && !edge.bidirectional)
+                continue;
+            results.push(edge);
+            if (query.limit && results.length >= query.limit)
+                break;
+        }
+        return { success: true, data: results };
+    }
+    async traverse(options) {
+        const visitedNodes = new Map();
+        const visitedEdges = new Map();
+        const paths = [];
+        const startNodeResult = await this.getNode(options.startNodeId);
+        if (!startNodeResult.success || !startNodeResult.data) {
+            return { success: false, error: 'Start node not found' };
+        }
+        const queue = [
+            {
+                nodeId: options.startNodeId,
+                path: {
+                    nodes: [startNodeResult.data],
+                    edges: [],
+                    totalWeight: 0,
+                    length: 0,
+                },
+                depth: 0,
+            },
+        ];
+        while (queue.length > 0) {
+            const current = queue.shift();
+            if (current.depth >= options.maxDepth) {
+                paths.push(current.path);
+                continue;
+            }
+            const neighbors = await this.getNeighbors(current.nodeId, options.direction);
+            if (!neighbors.success)
+                continue;
+            let hasChildren = false;
+            for (const { node, edge } of neighbors.data) {
+                if (visitedNodes.has(node.id))
+                    continue;
+                if (options.edgeTypes && !options.edgeTypes.includes(edge.type))
+                    continue;
+                if (options.minEdgeWeight && edge.weight < options.minEdgeWeight)
+                    continue;
+                if (options.minConfidence && edge.confidence < options.minConfidence)
+                    continue;
+                visitedNodes.set(node.id, node);
+                visitedEdges.set(edge.id, edge);
+                hasChildren = true;
+                queue.push({
+                    nodeId: node.id,
+                    path: {
+                        nodes: [...current.path.nodes, node],
+                        edges: [...current.path.edges, edge],
+                        totalWeight: current.path.totalWeight + edge.weight,
+                        length: current.path.length + 1,
+                    },
+                    depth: current.depth + 1,
+                });
+                if (options.limit && paths.length >= options.limit)
+                    break;
+            }
+            if (!hasChildren) {
+                paths.push(current.path);
+            }
+        }
+        return {
+            success: true,
+            data: {
+                paths,
+                visitedNodes: Array.from(visitedNodes.values()),
+                visitedEdges: Array.from(visitedEdges.values()),
+                depth: options.maxDepth,
+            },
+        };
+    }
+    async findShortestPath(_agentId, startNodeId, endNodeId, maxDepth = 10) {
+        const visited = new Set();
+        const queue = [];
+        const startNodeResult = await this.getNode(startNodeId);
+        if (!startNodeResult.success || !startNodeResult.data) {
+            return { success: false, error: 'Start node not found' };
+        }
+        queue.push({
+            nodeId: startNodeId,
+            path: {
+                nodes: [startNodeResult.data],
+                edges: [],
+                totalWeight: 0,
+                length: 0,
+            },
+        });
+        visited.add(startNodeId);
+        while (queue.length > 0) {
+            const current = queue.shift();
+            if (current.nodeId === endNodeId) {
+                return { success: true, data: current.path };
+            }
+            if (current.path.length >= maxDepth)
+                continue;
+            const neighbors = await this.getNeighbors(current.nodeId, 'both');
+            if (!neighbors.success)
+                continue;
+            for (const { node, edge } of neighbors.data) {
+                if (visited.has(node.id))
+                    continue;
+                visited.add(node.id);
+                queue.push({
+                    nodeId: node.id,
+                    path: {
+                        nodes: [...current.path.nodes, node],
+                        edges: [...current.path.edges, edge],
+                        totalWeight: current.path.totalWeight + edge.weight,
+                        length: current.path.length + 1,
+                    },
+                });
+            }
+        }
+        return { success: true, data: null };
+    }
+    async getNeighbors(nodeId, direction = 'both') {
+        const results = [];
+        if (direction === 'outgoing' || direction === 'both') {
+            const outEdges = this.edgesBySource.get(nodeId) ?? new Set();
+            for (const edgeId of outEdges) {
+                const edge = this.edges.get(edgeId);
+                if (edge) {
+                    const node = this.nodes.get(edge.targetNodeId);
+                    if (node) {
+                        results.push({ node, edge });
+                    }
+                }
+            }
+        }
+        if (direction === 'incoming' || direction === 'both') {
+            const inEdges = this.edgesByTarget.get(nodeId) ?? new Set();
+            for (const edgeId of inEdges) {
+                const edge = this.edges.get(edgeId);
+                if (edge) {
+                    const node = this.nodes.get(edge.sourceNodeId);
+                    if (node) {
+                        results.push({ node, edge });
+                    }
+                }
+            }
+        }
+        return { success: true, data: results };
+    }
+    async mergeNodes(targetNodeId, sourceNodeIds) {
+        const targetNode = this.nodes.get(targetNodeId);
+        if (!targetNode) {
+            return { success: false, error: `Target node ${targetNodeId} not found` };
+        }
+        const allAliases = new Set(targetNode.aliases);
+        const allProperties = { ...targetNode.properties };
+        for (const sourceId of sourceNodeIds) {
+            const sourceNode = this.nodes.get(sourceId);
+            if (!sourceNode)
+                continue;
+            allAliases.add(sourceNode.name);
+            sourceNode.aliases.forEach((a) => allAliases.add(a));
+            Object.assign(allProperties, sourceNode.properties);
+            const sourceEdges = this.edgesBySource.get(sourceId) ?? new Set();
+            for (const edgeId of sourceEdges) {
+                const edge = this.edges.get(edgeId);
+                if (edge && edge.targetNodeId !== targetNodeId) {
+                    await this.addEdge({
+                        ...edge,
+                        sourceNodeId: targetNodeId,
+                    });
+                }
+            }
+            const targetEdges = this.edgesByTarget.get(sourceId) ?? new Set();
+            for (const edgeId of targetEdges) {
+                const edge = this.edges.get(edgeId);
+                if (edge && edge.sourceNodeId !== targetNodeId) {
+                    await this.addEdge({
+                        ...edge,
+                        targetNodeId: targetNodeId,
+                    });
+                }
+            }
+            await this.deleteNode(sourceId);
+        }
+        const updatedNode = {
+            ...targetNode,
+            aliases: Array.from(allAliases),
+            properties: allProperties,
+            updatedAt: new Date(),
+        };
+        this.nodes.set(targetNodeId, updatedNode);
+        return { success: true, data: updatedNode };
+    }
+    async clearGraph(agentId) {
+        const agentNodes = this.nodesByAgent.get(agentId);
+        if (agentNodes) {
+            for (const nodeId of [...agentNodes]) {
+                await this.deleteNode(nodeId);
+            }
+        }
+        return { success: true, data: undefined };
+    }
+    async getGraphStats(agentId) {
+        const nodesByType = {
+            person: 0,
+            organization: 0,
+            location: 0,
+            concept: 0,
+            event: 0,
+            object: 0,
+            custom: 0,
+        };
+        const edgesByType = {
+            knows: 0,
+            works_at: 0,
+            located_in: 0,
+            part_of: 0,
+            related_to: 0,
+            created_by: 0,
+            belongs_to: 0,
+            associated_with: 0,
+            causes: 0,
+            precedes: 0,
+            custom: 0,
+        };
+        let nodeCount = 0;
+        let edgeCount = 0;
+        const agentNodes = this.nodesByAgent.get(agentId) ?? new Set();
+        for (const nodeId of agentNodes) {
+            const node = this.nodes.get(nodeId);
+            if (node) {
+                nodeCount++;
+                nodesByType[node.type]++;
+            }
+        }
+        for (const edge of this.edges.values()) {
+            if (edge.agentId === agentId) {
+                edgeCount++;
+                edgesByType[edge.type]++;
+            }
+        }
+        return {
+            success: true,
+            data: {
+                nodeCount,
+                edgeCount,
+                nodesByType,
+                edgesByType,
+                averageEdgesPerNode: nodeCount > 0 ? edgeCount / nodeCount : 0,
+                maxDepth: 0,
+            },
+        };
+    }
+}
+function cosineSimilarity(a, b) {
+    let dotProduct = 0;
+    let normA = 0;
+    let normB = 0;
+    for (let i = 0; i < a.length; i++) {
+        dotProduct += a[i] * b[i];
+        normA += a[i] * a[i];
+        normB += b[i] * b[i];
+    }
+    const magnitude = Math.sqrt(normA) * Math.sqrt(normB);
+    return magnitude === 0 ? 0 : dotProduct / magnitude;
+}
+export function createMemoryGraphAdapter() {
+    return new MemoryGraphAdapter();
+}
+//# sourceMappingURL=memory-adapter.js.map

package/dist/knowledge-graph/adapters/memory-adapter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"memory-adapter.js","sourceRoot":"","sources":["../../../src/knowledge-graph/adapters/memory-adapter.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,MAAM,OAAO,kBAAkB;IACrB,KAAK,GAAG,IAAI,GAAG,EAAqB,CAAC;IACrC,KAAK,GAAG,IAAI,GAAG,EAAqB,CAAC;IACrC,YAAY,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC9C,aAAa,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC/C,aAAa,GAAG,IAAI,GAAG,EAAuB,CAAC;IAEvD,KAAK,CAAC,OAAO,CACX,IAA0F;QAE1F,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;QACpB,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC;QAEvB,MAAM,OAAO,GAAc;YACzB,GAAG,IAAI;YACP,EAAE;YACF,SAAS,EAAE,GAAG;YACd,SAAS,EAAE,GAAG;YACd,cAAc,EAAE,GAAG;YACnB,WAAW,EAAE,CAAC;SACf,CAAC;QAEF,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;QAE5B,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YACzC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QACjD,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAE7C,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAC1C,CAAC;IAED,KAAK,CAAC,OAAO,CAAC,MAAc;QAC1B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACpC,IAAI,IAAI,EAAE,CAAC;YACT,IAAI,CAAC,cAAc,GAAG,IAAI,IAAI,EAAE,CAAC;YACjC,IAAI,CAAC,WAAW,EAAE,CAAC;QACrB,CAAC;QACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,IAAI,IAAI,EAAE,CAAC;IAC/C,CAAC;IAED,KAAK,CAAC,aAAa,CAAC,OAAe,EAAE,IAAY;QAC/C,MAAM,UAAU,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAClD,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACvC,CAAC;QAED,KAAK,MAAM,MAAM,IAAI,UAAU,EAAE,CAAC;YAChC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACpC,IAAI,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;gBAChE,IAAI,CAAC,cAAc,GAAG,IAAI,IAAI,EAAE,CAAC;gBACjC,IAAI,CAAC,WAAW,EAAE,CAAC;gBACnB,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;YACvC,CAAC;QACH,CAAC;QAED,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACvC,CAAC;IAED,KAAK,CAAC,UAAU,CACd,MAAc,EACd,OAKC;QAED,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACpC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,MAAM,YAAY,EAAE,CAAC;QAC/D,CAAC;QAED,MAAM,WAAW,GAAc;YAC7B,GAAG,IAAI;YACP,GAAG,OAAO;YACV,SAAS,EAAE,IAAI,IAAI,EAAE;SACtB,CAAC;QAEF,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QACpC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IAC9C,CAAC;IAED,KAAK,CAAC,UAAU,CAAC,MAAc;QAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACpC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,MAAM,YAAY,EAAE,CAAC;QAC/D,CAAC;QAED,MAAM,WAAW,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC;QAChE,MAAM,WAAW,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC;QAEhE,KAAK,MAAM,MAAM,IAAI,CAAC,GAAG,WAAW,EAAE,GAAG,WAAW,CAAC,EAAE,CAAC;YACtD,MAAM,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAChC,CAAC;QAED,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC1B,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;QAEpD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IAC5C,CAAC;IAED,KAAK,CAAC,UAAU,CAAC,KAAgB;QAC/B,MAAM,OAAO,GAAgB,EAAE,CAAC;QAChC,MAAM,UAAU,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAExD,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QACrC,CAAC;QAED,KAAK,MAAM,MAAM,IAAI,UAAU,EAAE,CAAC;YAChC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACpC,IAAI,CAAC,IAAI;gBAAE,SAAS;YAEpB,IAAI,KAAK,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC9D,IAAI,KAAK,CAAC,aAAa,IAAI,IAAI,CAAC,UAAU,GAAG,KAAK,CAAC,aAAa;gBAAE,SAAS;YAC3E,IAAI,KAAK,CAAC,WAAW,EAAE,CAAC;gBACtB,MAAM,OAAO,GAAG,IAAI,MAAM,CAAC,KAAK,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;gBACnD,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC3E,SAAS;gBACX,CAAC;YACH,CAAC;YAED,MAAM,UAAU,GAAG,KAAK,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC;YACrF,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAEzB,IAAI,KAAK,CAAC,KAAK,IAAI,OAAO,CAAC,MAAM,IAAI,KAAK,CAAC,KAAK;gBAAE,MAAM;QAC1D,CAAC;QAED,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAC1C,CAAC;IAED,KAAK,CAAC,mBAAmB,CACvB,OAAmC;QAEnC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;YACpB,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QACrC,CAAC;QAED,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC;YACxC,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,KAAK,EAAE,OAAO,CAAC,WAAW;YAC1B,gBAAgB,EAAE,IAAI;SACvB,CAAC,CAAC;QAEH,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC;YACzB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,CAAC;QACtD,CAAC;QAED,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI;aAC5B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,KAAK,OAAO,CAAC,MAAO,CAAC,MAAM,CAAC;aAC3E,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACd,GAAG,IAAI;YACP,KAAK,EAAE,gBAAgB,CAAC,IAAI,CAAC,SAAU,EAAE,OAAO,CAAC,MAAO,CAAC;SAC1D,CAAC,CAAC;aACF,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,KAAK,IAAI,OAAO,CAAC,SAAS,CAAC;aACjE,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;aACjC,KAAK,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;QAEjC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACzC,CAAC;IAED,KAAK,CAAC,OAAO,CACX,IAAuD;QAEvD,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;QACpB,MAAM,GAAG,GAAG,IAAI,IAAI,EAAE,CAAC;QAEvB,MAAM,OAAO,GAAc;YACzB,GAAG,IAAI;YACP,EAAE;YACF,SAAS,EAAE,GAAG;YACd,SAAS,EAAE,GAAG;SACf,CAAC;QAEF,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;QAE5B,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC;YAC/C,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QACvD,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAEnD,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC;YAC/C,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;QACvD,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAEnD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAC1C,CAAC;IAED,KAAK,CAAC,OAAO,CAAC,MAAc;QAC1B,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;IACjE,CAAC;IAED,KAAK,CAAC,eAAe,CACnB,YAAoB,EACpB,YAAoB;QAEpB,MAAM,WAAW,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC;QACtE,MAAM,OAAO,GAAgB,EAAE,CAAC;QAEhC,KAAK,MAAM,MAAM,IAAI,WAAW,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACpC,IAAI,IAAI,IAAI,IAAI,CAAC,YAAY,KAAK,YAAY,EAAE,CAAC;gBAC/C,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrB,CAAC;QACH,CAAC;QAED,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAC1C,CAAC;IAED,KAAK,CAAC,UAAU,CACd,MAAc,EACd,OAKC;QAED,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACpC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,MAAM,YAAY,EAAE,CAAC;QAC/D,CAAC;QAED,MAAM,WAAW,GAAc;YAC7B,GAAG,IAAI;YACP,GAAG,OAAO;YACV,SAAS,EAAE,IAAI,IAAI,EAAE;SACtB,CAAC;QAEF,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QACpC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IAC9C,CAAC;IAED,KAAK,CAAC,UAAU,CAAC,MAAc;QAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACpC,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,MAAM,YAAY,EAAE,CAAC;QAC/D,CAAC;QAED,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC1B,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;QAC1D,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;QAE1D,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IAC5C,CAAC;IAED,KAAK,CAAC,UAAU,CAAC,KAAgB;QAC/B,MAAM,OAAO,GAAgB,EAAE,CAAC;QAEhC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;YACvC,IAAI,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO;gBAAE,SAAS;YAC7C,IAAI,KAAK,CAAC,YAAY,IAAI,IAAI,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY;gBAAE,SAAS;YAC7E,IAAI,KAAK,CAAC,YAAY,IAAI,IAAI,CAAC,YAAY,KAAK,KAAK,CAAC,YAAY;gBAAE,SAAS;YAC7E,IAAI,KAAK,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC9D,IAAI,KAAK,CAAC,SAAS,IAAI,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,SAAS;gBAAE,SAAS;YAC/D,IAAI,KAAK,CAAC,aAAa,IAAI,IAAI,CAAC,UAAU,GAAG,KAAK,CAAC,aAAa;gBAAE,SAAS;YAC3E,IAAI,KAAK,CAAC,iBAAiB,IAAI,CAAC,IAAI,CAAC,aAAa;gBAAE,SAAS;YAE7D,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,IAAI,KAAK,CAAC,KAAK,IAAI,OAAO,CAAC,MAAM,IAAI,KAAK,CAAC,KAAK;gBAAE,MAAM;QAC1D,CAAC;QAED,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAC1C,CAAC;IAED,KAAK,CAAC,QAAQ,CAAC,OAAyB;QACtC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAqB,CAAC;QAClD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAqB,CAAC;QAClD,MAAM,KAAK,GAAgB,EAAE,CAAC;QAE9B,MAAM,eAAe,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAChE,IAAI,CAAC,eAAe,CAAC,OAAO,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC;YACtD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,sBAAsB,EAAE,CAAC;QAC3D,CAAC;QAED,MAAM,KAAK,GAAyD;YAClE;gBACE,MAAM,EAAE,OAAO,CAAC,WAAW;gBAC3B,IAAI,EAAE;oBACJ,KAAK,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;oBAC7B,KAAK,EAAE,EAAE;oBACT,WAAW,EAAE,CAAC;oBACd,MAAM,EAAE,CAAC;iBACV;gBACD,KAAK,EAAE,CAAC;aACT;SACF,CAAC;QAEF,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;YAE/B,IAAI,OAAO,CAAC,KAAK,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;gBACtC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;gBACzB,SAAS;YACX,CAAC;YAED,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;YAC7E,IAAI,CAAC,SAAS,CAAC,OAAO;gBAAE,SAAS;YAEjC,IAAI,WAAW,GAAG,KAAK,CAAC;YACxB,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;gBAC5C,IAAI,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAAE,SAAS;gBACxC,IAAI,OAAO,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;oBAAE,SAAS;gBAC1E,IAAI,OAAO,CAAC,aAAa,IAAI,IAAI,CAAC,MAAM,GAAG,OAAO,CAAC,aAAa;oBAAE,SAAS;gBAC3E,IAAI,OAAO,CAAC,aAAa,IAAI,IAAI,CAAC,UAAU,GAAG,OAAO,CAAC,aAAa;oBAAE,SAAS;gBAE/E,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;gBAChC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;gBAChC,WAAW,GAAG,IAAI,CAAC;gBAEnB,KAAK,CAAC,IAAI,CAAC;oBACT,MAAM,EAAE,IAAI,CAAC,EAAE;oBACf,IAAI,EAAE;wBACJ,KAAK,EAAE,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC;wBACpC,KAAK,EAAE,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC;wBACpC,WAAW,EAAE,OAAO,CAAC,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,MAAM;wBACnD,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;qBAChC;oBACD,KAAK,EAAE,OAAO,CAAC,KAAK,GAAG,CAAC;iBACzB,CAAC,CAAC;gBAEH,IAAI,OAAO,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,IAAI,OAAO,CAAC,KAAK;oBAAE,MAAM;YAC5D,CAAC;YAED,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjB,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC3B,CAAC;QACH,CAAC;QAED,OAAO;YACL,OAAO,EAAE,IAAI;YACb,IAAI,EAAE;gBACJ,KAAK;gBACL,YAAY,EAAE,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC;gBAC/C,YAAY,EAAE,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC;gBAC/C,KAAK,EAAE,OAAO,CAAC,QAAQ;aACxB;SACF,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,gBAAgB,CACpB,QAAgB,EAChB,WAAmB,EACnB,SAAiB,EACjB,QAAQ,GAAG,EAAE;QAEb,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,MAAM,KAAK,GAA0C,EAAE,CAAC;QAExD,MAAM,eAAe,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QACxD,IAAI,CAAC,eAAe,CAAC,OAAO,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC;YACtD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,sBAAsB,EAAE,CAAC;QAC3D,CAAC;QAED,KAAK,CAAC,IAAI,CAAC;YACT,MAAM,EAAE,WAAW;YACnB,IAAI,EAAE;gBACJ,KAAK,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;gBAC7B,KAAK,EAAE,EAAE;gBACT,WAAW,EAAE,CAAC;gBACd,MAAM,EAAE,CAAC;aACV;SACF,CAAC,CAAC;QAEH,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAEzB,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;YAE/B,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBACjC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC;YAC/C,CAAC;YAED,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,IAAI,QAAQ;gBAAE,SAAS;YAE9C,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YAClE,IAAI,CAAC,SAAS,CAAC,OAAO;gBAAE,SAAS;YAEjC,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,SAAS,CAAC,IAAI,EAAE,CAAC;gBAC5C,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAAE,SAAS;gBAEnC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACrB,KAAK,CAAC,IAAI,CAAC;oBACT,MAAM,EAAE,IAAI,CAAC,EAAE;oBACf,IAAI,EAAE;wBACJ,KAAK,EAAE,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC;wBACpC,KAAK,EAAE,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC;wBACpC,WAAW,EAAE,OAAO,CAAC,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,MAAM;wBACnD,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;qBAChC;iBACF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IACvC,CAAC;IAED,KAAK,CAAC,YAAY,CAChB,MAAc,EACd,YAAgC,MAAM;QAEtC,MAAM,OAAO,GAA2C,EAAE,CAAC;QAE3D,IAAI,SAAS,KAAK,UAAU,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;YACrD,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC;YAC7D,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;gBAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACpC,IAAI,IAAI,EAAE,CAAC;oBACT,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;oBAC/C,IAAI,IAAI,EAAE,CAAC;wBACT,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;oBAC/B,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,SAAS,KAAK,UAAU,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;YACrD,MAAM,OAAO,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC;YAC5D,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;gBAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACpC,IAAI,IAAI,EAAE,CAAC;oBACT,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;oBAC/C,IAAI,IAAI,EAAE,CAAC;wBACT,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;oBAC/B,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAC1C,CAAC;IAED,KAAK,CAAC,UAAU,CAAC,YAAoB,EAAE,aAAuB;QAC5D,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;QAChD,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,eAAe,YAAY,YAAY,EAAE,CAAC;QAC5E,CAAC;QAED,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QAC/C,MAAM,aAAa,GAAG,EAAE,GAAG,UAAU,CAAC,UAAU,EAAE,CAAC;QAEnD,KAAK,MAAM,QAAQ,IAAI,aAAa,EAAE,CAAC;YACrC,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAC5C,IAAI,CAAC,UAAU;gBAAE,SAAS;YAE1B,UAAU,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YAChC,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACrD,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC;YAEpD,MAAM,WAAW,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC;YAClE,KAAK,MAAM,MAAM,IAAI,WAAW,EAAE,CAAC;gBACjC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACpC,IAAI,IAAI,IAAI,IAAI,CAAC,YAAY,KAAK,YAAY,EAAE,CAAC;oBAC/C,MAAM,IAAI,CAAC,OAAO,CAAC;wBACjB,GAAG,IAAI;wBACP,YAAY,EAAE,YAAY;qBAC3B,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YAED,MAAM,WAAW,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC;YAClE,KAAK,MAAM,MAAM,IAAI,WAAW,EAAE,CAAC;gBACjC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACpC,IAAI,IAAI,IAAI,IAAI,CAAC,YAAY,KAAK,YAAY,EAAE,CAAC;oBAC/C,MAAM,IAAI,CAAC,OAAO,CAAC;wBACjB,GAAG,IAAI;wBACP,YAAY,EAAE,YAAY;qBAC3B,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YAED,MAAM,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QAClC,CAAC;QAED,MAAM,WAAW,GAAc;YAC7B,GAAG,UAAU;YACb,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC;YAC/B,UAAU,EAAE,aAAa;YACzB,SAAS,EAAE,IAAI,IAAI,EAAE;SACtB,CAAC;QAEF,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;QAC1C,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IAC9C,CAAC;IAED,KAAK,CAAC,UAAU,CAAC,OAAe;QAC9B,MAAM,UAAU,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAClD,IAAI,UAAU,EAAE,CAAC;YACf,KAAK,MAAM,MAAM,IAAI,CAAC,GAAG,UAAU,CAAC,EAAE,CAAC;gBACrC,MAAM,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;QACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IAC5C,CAAC;IAED,KAAK,CAAC,aAAa,CAAC,OAAe;QACjC,MAAM,WAAW,GAA+B;YAC9C,MAAM,EAAE,CAAC;YACT,YAAY,EAAE,CAAC;YACf,QAAQ,EAAE,CAAC;YACX,OAAO,EAAE,CAAC;YACV,KAAK,EAAE,CAAC;YACR,MAAM,EAAE,CAAC;YACT,MAAM,EAAE,CAAC;SACV,CAAC;QAEF,MAAM,WAAW,GAAiC;YAChD,KAAK,EAAE,CAAC;YACR,QAAQ,EAAE,CAAC;YACX,UAAU,EAAE,CAAC;YACb,OAAO,EAAE,CAAC;YACV,UAAU,EAAE,CAAC;YACb,UAAU,EAAE,CAAC;YACb,UAAU,EAAE,CAAC;YACb,eAAe,EAAE,CAAC;YAClB,MAAM,EAAE,CAAC;YACT,QAAQ,EAAE,CAAC;YACX,MAAM,EAAE,CAAC;SACV,CAAC;QAEF,IAAI,SAAS,GAAG,CAAC,CAAC;QAClB,IAAI,SAAS,GAAG,CAAC,CAAC;QAElB,MAAM,UAAU,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,IAAI,GAAG,EAAE,CAAC;QAC/D,KAAK,MAAM,MAAM,IAAI,UAAU,EAAE,CAAC;YAChC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACpC,IAAI,IAAI,EAAE,CAAC;gBACT,SAAS,EAAE,CAAC;gBACZ,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,CAAC;QACH,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;YACvC,IAAI,IAAI,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;gBAC7B,SAAS,EAAE,CAAC;gBACZ,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,CAAC;QACH,CAAC;QAED,OAAO;YACL,OAAO,EAAE,IAAI;YACb,IAAI,EAAE;gBACJ,SAAS;gBACT,SAAS;gBACT,WAAW;gBACX,WAAW;gBACX,mBAAmB,EAAE,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;gBAC9D,QAAQ,EAAE,CAAC;aACZ;SACF,CAAC;IACJ,CAAC;CACF;AAED,SAAS,gBAAgB,CAAC,CAAW,EAAE,CAAW;IAChD,IAAI,UAAU,GAAG,CAAC,CAAC;IACnB,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,KAAK,GAAG,CAAC,CAAC;IAEd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAClC,UAAU,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1B,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACrB,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACvB,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtD,OAAO,SAAS,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,GAAG,SAAS,CAAC;AACtD,CAAC;AAED,MAAM,UAAU,wBAAwB;IACtC,OAAO,IAAI,kBAAkB,EAAE,CAAC;AAClC,CAAC"}

package/dist/tools/constraint-tools.d.ts

@@ -0,0 +1,82 @@
+import type { NeuroSymbolic } from '../orchestrator';
+export declare function createConstraintTools(ns: NeuroSymbolic): {
+    solveConstraints: import("@cogitator-ai/types").Tool<{
+        constraints: {
+            left: string;
+            right: string;
+            op: "gt" | "gte" | "lt" | "lte" | "eq" | "neq" | "and" | "or" | "implies";
+        }[];
+        variables: {
+            name: string;
+            type: "bool" | "int" | "real";
+            min?: number | undefined;
+            max?: number | undefined;
+        }[];
+        problemName?: string | undefined;
+        objective?: {
+            variable: string;
+            type: "minimize" | "maximize";
+        } | undefined;
+    }, {
+        status: string;
+        error: string;
+        z3Available: boolean;
+        satisfiable?: undefined;
+        model?: undefined;
+        objectiveValue?: undefined;
+        duration?: undefined;
+        unsatCore?: undefined;
+        reason?: undefined;
+    } | {
+        status: string;
+        satisfiable: boolean;
+        model: Record<string, number | boolean>;
+        objectiveValue: number | undefined;
+        duration: number;
+        z3Available: boolean;
+        error?: undefined;
+        unsatCore?: undefined;
+        reason?: undefined;
+    } | {
+        status: string;
+        satisfiable: boolean;
+        unsatCore: string[] | undefined;
+        duration: number;
+        z3Available: boolean;
+        error?: undefined;
+        model?: undefined;
+        objectiveValue?: undefined;
+        reason?: undefined;
+    } | {
+        status: string;
+        satisfiable: null;
+        duration: number;
+        z3Available: boolean;
+        error?: undefined;
+        model?: undefined;
+        objectiveValue?: undefined;
+        unsatCore?: undefined;
+        reason?: undefined;
+    } | {
+        status: string;
+        satisfiable: null;
+        reason: string;
+        duration: number;
+        z3Available: boolean;
+        error?: undefined;
+        model?: undefined;
+        objectiveValue?: undefined;
+        unsatCore?: undefined;
+    } | {
+        status: string;
+        error: string;
+        duration: number;
+        z3Available: boolean;
+        satisfiable?: undefined;
+        model?: undefined;
+        objectiveValue?: undefined;
+        unsatCore?: undefined;
+        reason?: undefined;
+    }>;
+};
+//# sourceMappingURL=constraint-tools.d.ts.map