@graph-ir/core 0.2.0

package/dist/validation/ir-validator.js

@@ -0,0 +1,349 @@
+/**
+ * Graph-IR Validator
+ *
+ * Validates Graph-IR against schema and semantic rules:
+ * 1. JSON Schema validation (structure)
+ * 2. ID uniqueness
+ * 3. Reference validity (edges -> nodes, ports)
+ * 4. Cycle detection in hierarchy
+ * 5. Semantic warnings (orphans, self-loops)
+ */
+import { Ajv } from 'ajv';
+// Import schema - will be loaded at runtime
+import graphIRSchema from '../schemas/graph-ir.schema.json' with { type: 'json' };
+// Use draft-07 compatible schema by removing the $schema field at runtime
+const schema = { ...graphIRSchema };
+delete schema['$schema'];
+export class IRValidator {
+    options;
+    ajv;
+    schemaValidator;
+    constructor(options = {}) {
+        this.options = options;
+        this.ajv = new Ajv({ allErrors: true, verbose: true, strict: false });
+        // Add formats manually since ESM import is problematic
+        this.addDateTimeFormat();
+        this.schemaValidator = this.ajv.compile(schema);
+    }
+    addDateTimeFormat() {
+        this.ajv.addFormat('date-time', {
+            type: 'string',
+            validate: (dateTimeString) => {
+                // ISO 8601 date-time format
+                const dateTimeRegex = /^\d{4}-\d{2}-\d{2}T\d{2}:\d{2}:\d{2}(?:\.\d+)?(?:Z|[+-]\d{2}:\d{2})?$/;
+                return dateTimeRegex.test(dateTimeString);
+            },
+        });
+    }
+    /**
+     * Validate from JSON string
+     */
+    validateFromString(jsonString) {
+        // Parse JSON
+        let ir;
+        try {
+            ir = JSON.parse(jsonString);
+        }
+        catch (e) {
+            return {
+                valid: false,
+                errors: [
+                    {
+                        code: 'INVALID_JSON',
+                        path: '$',
+                        message: `Invalid JSON: ${e instanceof Error ? e.message : 'Parse error'}`,
+                        severity: 'error',
+                    },
+                ],
+                warnings: [],
+                stats: { nodes: 0, edges: 0 },
+            };
+        }
+        return this.validate(ir);
+    }
+    /**
+     * Validate a Graph-IR object
+     */
+    validate(ir) {
+        const errors = [];
+        const warnings = [];
+        // 1. Schema validation
+        if (!this.options.skipSchema) {
+            const schemaErrors = this.validateSchema(ir);
+            if (schemaErrors.length > 0) {
+                // Schema errors are fatal - return early
+                return {
+                    valid: false,
+                    errors: schemaErrors,
+                    warnings: [],
+                    stats: { nodes: 0, edges: 0 },
+                };
+            }
+        }
+        // At this point, ir should be a valid GraphIR structure
+        const graphIR = ir;
+        // 2. Collect all nodes (including nested children)
+        const allNodes = this.collectAllNodes(graphIR.nodes);
+        const nodeIds = new Map();
+        // 3. Check node ID uniqueness
+        allNodes.forEach(({ node, path }) => {
+            if (nodeIds.has(node.id)) {
+                errors.push({
+                    code: 'DUPLICATE_NODE_ID',
+                    path: `${path}.id`,
+                    message: `Duplicate node ID: "${node.id}"`,
+                    severity: 'error',
+                });
+            }
+            else {
+                nodeIds.set(node.id, { node, path });
+            }
+        });
+        // 4. Check edge ID uniqueness and references
+        const edgeIds = new Set();
+        graphIR.edges.forEach((edge, index) => {
+            const path = `$.edges[${index}]`;
+            // Check edge ID uniqueness
+            if (edgeIds.has(edge.id)) {
+                errors.push({
+                    code: 'DUPLICATE_EDGE_ID',
+                    path: `${path}.id`,
+                    message: `Duplicate edge ID: "${edge.id}"`,
+                    severity: 'error',
+                });
+            }
+            edgeIds.add(edge.id);
+            // Check source reference
+            if (!nodeIds.has(edge.source)) {
+                const suggestion = this.findSimilarId(edge.source, Array.from(nodeIds.keys()));
+                errors.push({
+                    code: 'INVALID_EDGE_SOURCE',
+                    path: `${path}.source`,
+                    message: `Edge "${edge.id}" references non-existent source node: "${edge.source}"`,
+                    severity: 'error',
+                    suggestion,
+                });
+            }
+            // Check target reference
+            if (!nodeIds.has(edge.target)) {
+                const suggestion = this.findSimilarId(edge.target, Array.from(nodeIds.keys()));
+                errors.push({
+                    code: 'INVALID_EDGE_TARGET',
+                    path: `${path}.target`,
+                    message: `Edge "${edge.id}" references non-existent target node: "${edge.target}"`,
+                    severity: 'error',
+                    suggestion,
+                });
+            }
+            // Check source port reference
+            if (edge.sourcePort && nodeIds.has(edge.source)) {
+                const sourceNode = nodeIds.get(edge.source).node;
+                if (!this.hasPort(sourceNode, edge.sourcePort)) {
+                    errors.push({
+                        code: 'INVALID_PORT_REFERENCE',
+                        path: `${path}.sourcePort`,
+                        message: `Edge "${edge.id}" references non-existent source port: "${edge.sourcePort}" on node "${edge.source}"`,
+                        severity: 'error',
+                    });
+                }
+            }
+            // Check target port reference
+            if (edge.targetPort && nodeIds.has(edge.target)) {
+                const targetNode = nodeIds.get(edge.target).node;
+                if (!this.hasPort(targetNode, edge.targetPort)) {
+                    errors.push({
+                        code: 'INVALID_PORT_REFERENCE',
+                        path: `${path}.targetPort`,
+                        message: `Edge "${edge.id}" references non-existent target port: "${edge.targetPort}" on node "${edge.target}"`,
+                        severity: 'error',
+                    });
+                }
+            }
+        });
+        // 5. Check for cycles in hierarchy
+        if (!this.options.skipSemantic) {
+            const cycleErrors = this.checkHierarchyCycles(graphIR.nodes);
+            errors.push(...cycleErrors);
+        }
+        // 6. Semantic warnings
+        if (!this.options.skipSemantic) {
+            // Check for self-loops
+            graphIR.edges.forEach((edge, index) => {
+                if (edge.source === edge.target) {
+                    warnings.push({
+                        code: 'SELF_LOOP_EDGE',
+                        path: `$.edges[${index}]`,
+                        message: `Edge "${edge.id}" connects node "${edge.source}" to itself`,
+                        severity: 'warning',
+                    });
+                }
+            });
+            // Check for orphan nodes (nodes with no connections)
+            const connectedNodes = new Set();
+            graphIR.edges.forEach((edge) => {
+                connectedNodes.add(edge.source);
+                connectedNodes.add(edge.target);
+            });
+            allNodes.forEach(({ node, path }) => {
+                // Skip nodes that have children (compound nodes)
+                if (!node.children?.length && !connectedNodes.has(node.id)) {
+                    warnings.push({
+                        code: 'ORPHAN_NODE',
+                        path,
+                        message: `Node "${node.id}" has no connections`,
+                        severity: 'warning',
+                    });
+                }
+            });
+            // Check for orphan ports
+            const usedPorts = new Set();
+            graphIR.edges.forEach((edge) => {
+                if (edge.sourcePort)
+                    usedPorts.add(`${edge.source}:${edge.sourcePort}`);
+                if (edge.targetPort)
+                    usedPorts.add(`${edge.target}:${edge.targetPort}`);
+            });
+            allNodes.forEach(({ node, path }) => {
+                node.ports?.forEach((port, portIndex) => {
+                    const portKey = `${node.id}:${port.id}`;
+                    if (!usedPorts.has(portKey)) {
+                        warnings.push({
+                            code: 'ORPHAN_PORT',
+                            path: `${path}.ports[${portIndex}]`,
+                            message: `Port "${port.id}" on node "${node.id}" is never referenced`,
+                            severity: 'warning',
+                        });
+                    }
+                });
+            });
+        }
+        // Apply strict mode
+        const finalErrors = this.options.strict ? [...errors, ...warnings] : errors;
+        const finalWarnings = this.options.strict ? [] : warnings;
+        return {
+            valid: finalErrors.length === 0,
+            errors: finalErrors,
+            warnings: finalWarnings,
+            stats: {
+                nodes: allNodes.length,
+                edges: graphIR.edges.length,
+            },
+        };
+    }
+    /**
+     * Validate against JSON Schema
+     */
+    validateSchema(ir) {
+        const valid = this.schemaValidator(ir);
+        if (valid)
+            return [];
+        const errors = [];
+        for (const error of this.schemaValidator.errors || []) {
+            errors.push({
+                code: 'SCHEMA_VIOLATION',
+                path: error.instancePath || '$',
+                message: error.message || 'Schema validation failed',
+                severity: 'error',
+            });
+        }
+        return errors;
+    }
+    /**
+     * Collect all nodes including nested children
+     */
+    collectAllNodes(nodes, parentPath = '$.nodes') {
+        const result = [];
+        nodes.forEach((node, index) => {
+            const path = `${parentPath}[${index}]`;
+            result.push({ node, path });
+            if (node.children?.length) {
+                result.push(...this.collectAllNodes(node.children, `${path}.children`));
+            }
+        });
+        return result;
+    }
+    /**
+     * Check if a node has a port with the given ID
+     */
+    hasPort(node, portId) {
+        return node.ports?.some((p) => p.id === portId) ?? false;
+    }
+    /**
+     * Check for cycles in the node hierarchy
+     */
+    checkHierarchyCycles(nodes) {
+        const errors = [];
+        const visited = new Set();
+        const recursionStack = new Set();
+        const dfs = (node, path) => {
+            if (recursionStack.has(node.id)) {
+                // Found a cycle
+                const cycleStart = path.indexOf(node.id);
+                const cyclePath = path.slice(cycleStart).concat(node.id);
+                errors.push({
+                    code: 'CYCLIC_HIERARCHY',
+                    path: '$.nodes',
+                    message: `Cyclic hierarchy detected: ${cyclePath.join(' -> ')}`,
+                    severity: 'error',
+                });
+                return true;
+            }
+            if (visited.has(node.id)) {
+                return false;
+            }
+            visited.add(node.id);
+            recursionStack.add(node.id);
+            for (const child of node.children || []) {
+                if (dfs(child, [...path, node.id])) {
+                    return true;
+                }
+            }
+            recursionStack.delete(node.id);
+            return false;
+        };
+        for (const node of nodes) {
+            dfs(node, []);
+        }
+        return errors;
+    }
+    /**
+     * Find a similar ID for suggestions
+     */
+    findSimilarId(target, candidates) {
+        const targetLower = target.toLowerCase();
+        let bestMatch;
+        let bestScore = Infinity;
+        for (const candidate of candidates) {
+            const distance = this.levenshteinDistance(targetLower, candidate.toLowerCase());
+            if (distance < bestScore && distance <= 3) {
+                bestScore = distance;
+                bestMatch = candidate;
+            }
+        }
+        return bestMatch ? `Did you mean "${bestMatch}"?` : undefined;
+    }
+    /**
+     * Calculate Levenshtein distance for similarity
+     */
+    levenshteinDistance(a, b) {
+        const matrix = [];
+        for (let i = 0; i <= b.length; i++) {
+            matrix[i] = [i];
+        }
+        for (let j = 0; j <= a.length; j++) {
+            matrix[0][j] = j;
+        }
+        for (let i = 1; i <= b.length; i++) {
+            for (let j = 1; j <= a.length; j++) {
+                if (b.charAt(i - 1) === a.charAt(j - 1)) {
+                    matrix[i][j] = matrix[i - 1][j - 1];
+                }
+                else {
+                    matrix[i][j] = Math.min(matrix[i - 1][j - 1] + 1, matrix[i][j - 1] + 1, matrix[i - 1][j] + 1);
+                }
+            }
+        }
+        return matrix[b.length][a.length];
+    }
+}
+//# sourceMappingURL=ir-validator.js.map

package/dist/validation/ir-validator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ir-validator.js","sourceRoot":"","sources":["../../src/validation/ir-validator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,EAAE,GAAG,EAAyB,MAAM,KAAK,CAAC;AAUjD,4CAA4C;AAC5C,OAAO,aAAa,MAAM,iCAAiC,CAAC,OAAO,IAAI,EAAE,MAAM,EAAE,CAAC;AAElF,0EAA0E;AAC1E,MAAM,MAAM,GAAG,EAAE,GAAG,aAAa,EAAE,CAAC;AACpC,OAAQ,MAAkC,CAAC,SAAS,CAAC,CAAC;AAEtD,MAAM,OAAO,WAAW;IACd,OAAO,CAAoB;IAC3B,GAAG,CAAM;IACT,eAAe,CAAmB;IAE1C,YAAY,UAA6B,EAAE;QACzC,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,IAAI,CAAC,GAAG,GAAG,IAAI,GAAG,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC;QACtE,uDAAuD;QACvD,IAAI,CAAC,iBAAiB,EAAE,CAAC;QACzB,IAAI,CAAC,eAAe,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAClD,CAAC;IAEO,iBAAiB;QACvB,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,WAAW,EAAE;YAC9B,IAAI,EAAE,QAAQ;YACd,QAAQ,EAAE,CAAC,cAAsB,EAAE,EAAE;gBACnC,4BAA4B;gBAC5B,MAAM,aAAa,GAAG,uEAAuE,CAAC;gBAC9F,OAAO,aAAa,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;YAC5C,CAAC;SACF,CAAC,CAAC;IACL,CAAC;IAED;;OAEG;IACH,kBAAkB,CAAC,UAAkB;QACnC,aAAa;QACb,IAAI,EAAW,CAAC;QAChB,IAAI,CAAC;YACH,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAC9B,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,OAAO;gBACL,KAAK,EAAE,KAAK;gBACZ,MAAM,EAAE;oBACN;wBACE,IAAI,EAAE,cAAc;wBACpB,IAAI,EAAE,GAAG;wBACT,OAAO,EAAE,iBAAiB,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,EAAE;wBAC1E,QAAQ,EAAE,OAAO;qBAClB;iBACF;gBACD,QAAQ,EAAE,EAAE;gBACZ,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;aAC9B,CAAC;QACJ,CAAC;QAED,OAAO,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IAC3B,CAAC;IAED;;OAEG;IACH,QAAQ,CAAC,EAAW;QAClB,MAAM,MAAM,GAAsB,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAsB,EAAE,CAAC;QAEvC,uBAAuB;QACvB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,CAAC;YAC7B,MAAM,YAAY,GAAG,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC;YAC7C,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC5B,yCAAyC;gBACzC,OAAO;oBACL,KAAK,EAAE,KAAK;oBACZ,MAAM,EAAE,YAAY;oBACpB,QAAQ,EAAE,EAAE;oBACZ,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;iBAC9B,CAAC;YACJ,CAAC;QACH,CAAC;QAED,wDAAwD;QACxD,MAAM,OAAO,GAAG,EAAa,CAAC;QAE9B,mDAAmD;QACnD,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACrD,MAAM,OAAO,GAAG,IAAI,GAAG,EAA6C,CAAC;QAErE,8BAA8B;QAC9B,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE;YAClC,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;gBACzB,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,GAAG,IAAI,KAAK;oBAClB,OAAO,EAAE,uBAAuB,IAAI,CAAC,EAAE,GAAG;oBAC1C,QAAQ,EAAE,OAAO;iBAClB,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;YACvC,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,6CAA6C;QAC7C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;YACpC,MAAM,IAAI,GAAG,WAAW,KAAK,GAAG,CAAC;YAEjC,2BAA2B;YAC3B,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;gBACzB,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,mBAAmB;oBACzB,IAAI,EAAE,GAAG,IAAI,KAAK;oBAClB,OAAO,EAAE,uBAAuB,IAAI,CAAC,EAAE,GAAG;oBAC1C,QAAQ,EAAE,OAAO;iBAClB,CAAC,CAAC;YACL,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAErB,yBAAyB;YACzB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC9B,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;gBAC/E,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,GAAG,IAAI,SAAS;oBACtB,OAAO,EAAE,SAAS,IAAI,CAAC,EAAE,2CAA2C,IAAI,CAAC,MAAM,GAAG;oBAClF,QAAQ,EAAE,OAAO;oBACjB,UAAU;iBACX,CAAC,CAAC;YACL,CAAC;YAED,yBAAyB;YACzB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC9B,MAAM,UAAU,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;gBAC/E,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,qBAAqB;oBAC3B,IAAI,EAAE,GAAG,IAAI,SAAS;oBACtB,OAAO,EAAE,SAAS,IAAI,CAAC,EAAE,2CAA2C,IAAI,CAAC,MAAM,GAAG;oBAClF,QAAQ,EAAE,OAAO;oBACjB,UAAU;iBACX,CAAC,CAAC;YACL,CAAC;YAED,8BAA8B;YAC9B,IAAI,IAAI,CAAC,UAAU,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBAChD,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAE,CAAC,IAAI,CAAC;gBAClD,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;oBAC/C,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,wBAAwB;wBAC9B,IAAI,EAAE,GAAG,IAAI,aAAa;wBAC1B,OAAO,EAAE,SAAS,IAAI,CAAC,EAAE,2CAA2C,IAAI,CAAC,UAAU,cAAc,IAAI,CAAC,MAAM,GAAG;wBAC/G,QAAQ,EAAE,OAAO;qBAClB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YAED,8BAA8B;YAC9B,IAAI,IAAI,CAAC,UAAU,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBAChD,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAE,CAAC,IAAI,CAAC;gBAClD,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;oBAC/C,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,wBAAwB;wBAC9B,IAAI,EAAE,GAAG,IAAI,aAAa;wBAC1B,OAAO,EAAE,SAAS,IAAI,CAAC,EAAE,2CAA2C,IAAI,CAAC,UAAU,cAAc,IAAI,CAAC,MAAM,GAAG;wBAC/G,QAAQ,EAAE,OAAO;qBAClB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,mCAAmC;QACnC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC;YAC/B,MAAM,WAAW,GAAG,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YAC7D,MAAM,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC;QAC9B,CAAC;QAED,uBAAuB;QACvB,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE,CAAC;YAC/B,uBAAuB;YACvB,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;gBACpC,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;oBAChC,QAAQ,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,gBAAgB;wBACtB,IAAI,EAAE,WAAW,KAAK,GAAG;wBACzB,OAAO,EAAE,SAAS,IAAI,CAAC,EAAE,oBAAoB,IAAI,CAAC,MAAM,aAAa;wBACrE,QAAQ,EAAE,SAAS;qBACpB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC,CAAC,CAAC;YAEH,qDAAqD;YACrD,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;YACzC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;gBAC7B,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAChC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAClC,CAAC,CAAC,CAAC;YAEH,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE;gBAClC,iDAAiD;gBACjD,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;oBAC3D,QAAQ,CAAC,IAAI,CAAC;wBACZ,IAAI,EAAE,aAAa;wBACnB,IAAI;wBACJ,OAAO,EAAE,SAAS,IAAI,CAAC,EAAE,sBAAsB;wBAC/C,QAAQ,EAAE,SAAS;qBACpB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC,CAAC,CAAC;YAEH,yBAAyB;YACzB,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;YACpC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;gBAC7B,IAAI,IAAI,CAAC,UAAU;oBAAE,SAAS,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;gBACxE,IAAI,IAAI,CAAC,UAAU;oBAAE,SAAS,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC,CAAC;YAC1E,CAAC,CAAC,CAAC;YAEH,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE;gBAClC,IAAI,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,EAAE;oBACtC,MAAM,OAAO,GAAG,GAAG,IAAI,CAAC,EAAE,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;oBACxC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;wBAC5B,QAAQ,CAAC,IAAI,CAAC;4BACZ,IAAI,EAAE,aAAa;4BACnB,IAAI,EAAE,GAAG,IAAI,UAAU,SAAS,GAAG;4BACnC,OAAO,EAAE,SAAS,IAAI,CAAC,EAAE,cAAc,IAAI,CAAC,EAAE,uBAAuB;4BACrE,QAAQ,EAAE,SAAS;yBACpB,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC,CAAC,CAAC;YACL,CAAC,CAAC,CAAC;QACL,CAAC;QAED,oBAAoB;QACpB,MAAM,WAAW,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QAC5E,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;QAE1D,OAAO;YACL,KAAK,EAAE,WAAW,CAAC,MAAM,KAAK,CAAC;YAC/B,MAAM,EAAE,WAAW;YACnB,QAAQ,EAAE,aAAa;YACvB,KAAK,EAAE;gBACL,KAAK,EAAE,QAAQ,CAAC,MAAM;gBACtB,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,MAAM;aAC5B;SACF,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,cAAc,CAAC,EAAW;QAChC,MAAM,KAAK,GAAG,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC;QACvC,IAAI,KAAK;YAAE,OAAO,EAAE,CAAC;QAErB,MAAM,MAAM,GAAsB,EAAE,CAAC;QACrC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,eAAe,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;YACtD,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,kBAAkB;gBACxB,IAAI,EAAE,KAAK,CAAC,YAAY,IAAI,GAAG;gBAC/B,OAAO,EAAE,KAAK,CAAC,OAAO,IAAI,0BAA0B;gBACpD,QAAQ,EAAE,OAAO;aAClB,CAAC,CAAC;QACL,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACK,eAAe,CACrB,KAAkB,EAClB,aAAqB,SAAS;QAE9B,MAAM,MAAM,GAA6C,EAAE,CAAC;QAE5D,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;YAC5B,MAAM,IAAI,GAAG,GAAG,UAAU,IAAI,KAAK,GAAG,CAAC;YACvC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;YAE5B,IAAI,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;gBAC1B,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,IAAI,WAAW,CAAC,CAAC,CAAC;YAC1E,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACK,OAAO,CAAC,IAAe,EAAE,MAAc;QAC7C,OAAO,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC;IAC3D,CAAC;IAED;;OAEG;IACK,oBAAoB,CAAC,KAAkB;QAC7C,MAAM,MAAM,GAAsB,EAAE,CAAC;QACrC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;QAEzC,MAAM,GAAG,GAAG,CAAC,IAAe,EAAE,IAAc,EAAW,EAAE;YACvD,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;gBAChC,gBAAgB;gBAChB,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACzC,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACzD,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,kBAAkB;oBACxB,IAAI,EAAE,SAAS;oBACf,OAAO,EAAE,8BAA8B,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE;oBAC/D,QAAQ,EAAE,OAAO;iBAClB,CAAC,CAAC;gBACH,OAAO,IAAI,CAAC;YACd,CAAC;YAED,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;gBACzB,OAAO,KAAK,CAAC;YACf,CAAC;YAED,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACrB,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAE5B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,IAAI,EAAE,EAAE,CAAC;gBACxC,IAAI,GAAG,CAAC,KAAK,EAAE,CAAC,GAAG,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;oBACnC,OAAO,IAAI,CAAC;gBACd,CAAC;YACH,CAAC;YAED,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC/B,OAAO,KAAK,CAAC;QACf,CAAC,CAAC;QAEF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAChB,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACK,aAAa,CAAC,MAAc,EAAE,UAAoB;QACxD,MAAM,WAAW,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;QACzC,IAAI,SAA6B,CAAC;QAClC,IAAI,SAAS,GAAG,QAAQ,CAAC;QAEzB,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,MAAM,QAAQ,GAAG,IAAI,CAAC,mBAAmB,CAAC,WAAW,EAAE,SAAS,CAAC,WAAW,EAAE,CAAC,CAAC;YAChF,IAAI,QAAQ,GAAG,SAAS,IAAI,QAAQ,IAAI,CAAC,EAAE,CAAC;gBAC1C,SAAS,GAAG,QAAQ,CAAC;gBACrB,SAAS,GAAG,SAAS,CAAC;YACxB,CAAC;QACH,CAAC;QAED,OAAO,SAAS,CAAC,CAAC,CAAC,iBAAiB,SAAS,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IAChE,CAAC;IAED;;OAEG;IACK,mBAAmB,CAAC,CAAS,EAAE,CAAS;QAC9C,MAAM,MAAM,GAAe,EAAE,CAAC;QAE9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACnC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACnC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACnB,CAAC;QAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACnC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;oBACxC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;gBACtC,CAAC;qBAAM,CAAC;oBACN,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CACrB,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,EACxB,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,EACpB,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CACrB,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACpC,CAAC;CACF"}

package/dist/validation/validator.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Main validation entry points
+ */
+import type { ValidationResult, ValidationOptions } from '../types.js';
+/**
+ * Validate a Graph-IR object
+ */
+export declare function validateIR(ir: unknown, options?: ValidationOptions): ValidationResult;
+/**
+ * Validate Graph-IR from a JSON string
+ */
+export declare function validateIRFromString(jsonString: string, options?: ValidationOptions): ValidationResult;
+//# sourceMappingURL=validator.d.ts.map

package/dist/validation/validator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validator.d.ts","sourceRoot":"","sources":["../../src/validation/validator.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,KAAK,EAAW,gBAAgB,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAEhF;;GAEG;AACH,wBAAgB,UAAU,CACxB,EAAE,EAAE,OAAO,EACX,OAAO,GAAE,iBAAsB,GAC9B,gBAAgB,CAGlB;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAClC,UAAU,EAAE,MAAM,EAClB,OAAO,GAAE,iBAAsB,GAC9B,gBAAgB,CAGlB"}

package/dist/validation/validator.js

@@ -0,0 +1,19 @@
+/**
+ * Main validation entry points
+ */
+import { IRValidator } from './ir-validator.js';
+/**
+ * Validate a Graph-IR object
+ */
+export function validateIR(ir, options = {}) {
+    const validator = new IRValidator(options);
+    return validator.validate(ir);
+}
+/**
+ * Validate Graph-IR from a JSON string
+ */
+export function validateIRFromString(jsonString, options = {}) {
+    const validator = new IRValidator(options);
+    return validator.validateFromString(jsonString);
+}
+//# sourceMappingURL=validator.js.map

package/dist/validation/validator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validator.js","sourceRoot":"","sources":["../../src/validation/validator.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAGhD;;GAEG;AACH,MAAM,UAAU,UAAU,CACxB,EAAW,EACX,UAA6B,EAAE;IAE/B,MAAM,SAAS,GAAG,IAAI,WAAW,CAAC,OAAO,CAAC,CAAC;IAC3C,OAAO,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;AAChC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAClC,UAAkB,EAClB,UAA6B,EAAE;IAE/B,MAAM,SAAS,GAAG,IAAI,WAAW,CAAC,OAAO,CAAC,CAAC;IAC3C,OAAO,SAAS,CAAC,kBAAkB,CAAC,UAAU,CAAC,CAAC;AAClD,CAAC"}

package/package.json

@@ -0,0 +1,73 @@
+{
+  "name": "@graph-ir/core",
+  "version": "0.2.0",
+  "description": "Core utilities for Graph-IR validation, generation, and transformation",
+  "type": "module",
+  "main": "dist/index.js",
+  "types": "dist/index.d.ts",
+  "exports": {
+    ".": {
+      "import": "./dist/index.js",
+      "types": "./dist/index.d.ts"
+    },
+    "./validation": {
+      "import": "./dist/validation/index.js",
+      "types": "./dist/validation/index.d.ts"
+    },
+    "./generation": {
+      "import": "./dist/generation/index.js",
+      "types": "./dist/generation/index.d.ts"
+    },
+    "./output": {
+      "import": "./dist/output/index.js",
+      "types": "./dist/output/index.d.ts"
+    },
+    "./testing": {
+      "import": "./dist/testing/index.js",
+      "types": "./dist/testing/index.d.ts"
+    },
+    "./schemas/*": {
+      "import": "./dist/schemas/*"
+    }
+  },
+  "scripts": {
+    "build": "tsc",
+    "dev": "tsc --watch",
+    "test": "vitest",
+    "test:run": "vitest run",
+    "prepack": "npm run build",
+    "lint": "eslint src/"
+  },
+  "keywords": [
+    "graph-ir",
+    "validation",
+    "schema",
+    "graph"
+  ],
+  "author": "",
+  "license": "MIT",
+  "dependencies": {
+    "ajv": "8.20.0"
+  },
+  "devDependencies": {
+    "@types/node": "24.10.1",
+    "typescript": "6.0.3",
+    "vitest": "5.0.0"
+  },
+  "engines": {
+    "node": ">=24.19.0"
+  },
+  "files": [
+    "dist",
+    "README.md",
+    "LICENSE"
+  ],
+  "publishConfig": {
+    "access": "public"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/coreyt/graph-ir-tools.git",
+    "directory": "packages/core"
+  }
+}