@graph-ir/core 0.2.0

package/dist/testing/diff.js

@@ -0,0 +1,400 @@
+/**
+ * Diff Utilities for Graph-IR
+ *
+ * Provides semantic diffing for Graph-IR structures that ignores
+ * ordering differences where appropriate.
+ */
+// ============================================================================
+// Generic Object Diff
+// ============================================================================
+/**
+ * Compute diff between two objects
+ */
+export function diff(a, b, path = '') {
+    const changes = [];
+    diffRecursive(a, b, path, changes);
+    return { changes };
+}
+/**
+ * Recursive diff helper
+ */
+function diffRecursive(a, b, path, changes) {
+    // Handle null/undefined
+    if (a === null && b === null)
+        return;
+    if (a === undefined && b === undefined)
+        return;
+    if (a === null || a === undefined) {
+        changes.push({ type: 'added', path: path || '$', newValue: b });
+        return;
+    }
+    if (b === null || b === undefined) {
+        changes.push({ type: 'removed', path: path || '$', oldValue: a });
+        return;
+    }
+    // Handle primitives
+    if (typeof a !== 'object' || typeof b !== 'object') {
+        if (a !== b) {
+            changes.push({
+                type: 'modified',
+                path: path || '$',
+                oldValue: a,
+                newValue: b,
+            });
+        }
+        return;
+    }
+    // Handle arrays
+    if (Array.isArray(a) && Array.isArray(b)) {
+        // Simple array diff - compare by index
+        const maxLen = Math.max(a.length, b.length);
+        for (let i = 0; i < maxLen; i++) {
+            const itemPath = path ? `${path}[${i}]` : `[${i}]`;
+            if (i >= a.length) {
+                changes.push({ type: 'added', path: itemPath, newValue: b[i] });
+            }
+            else if (i >= b.length) {
+                changes.push({ type: 'removed', path: itemPath, oldValue: a[i] });
+            }
+            else {
+                diffRecursive(a[i], b[i], itemPath, changes);
+            }
+        }
+        return;
+    }
+    // Handle objects
+    const aObj = a;
+    const bObj = b;
+    const allKeys = new Set([...Object.keys(aObj), ...Object.keys(bObj)]);
+    for (const key of allKeys) {
+        const keyPath = path ? `${path}.${key}` : key;
+        const aHas = key in aObj;
+        const bHas = key in bObj;
+        if (aHas && !bHas) {
+            changes.push({ type: 'removed', path: keyPath, oldValue: aObj[key] });
+        }
+        else if (!aHas && bHas) {
+            changes.push({ type: 'added', path: keyPath, newValue: bObj[key] });
+        }
+        else {
+            diffRecursive(aObj[key], bObj[key], keyPath, changes);
+        }
+    }
+}
+// ============================================================================
+// Graph-IR Semantic Diff
+// ============================================================================
+/**
+ * Compute semantic diff between two Graph-IR structures
+ *
+ * This diff ignores:
+ * - Node ordering (compares by ID)
+ * - Edge ordering (compares by ID)
+ */
+export function diffGraphIR(a, b) {
+    const changes = [];
+    // Compare metadata
+    if (a.version !== b.version) {
+        changes.push({
+            type: 'modified',
+            path: 'version',
+            oldValue: a.version,
+            newValue: b.version,
+        });
+    }
+    if (a.id !== b.id) {
+        changes.push({
+            type: 'modified',
+            path: 'id',
+            oldValue: a.id,
+            newValue: b.id,
+        });
+    }
+    if (a.name !== b.name) {
+        if (a.name === undefined) {
+            changes.push({ type: 'added', path: 'name', newValue: b.name });
+        }
+        else if (b.name === undefined) {
+            changes.push({ type: 'removed', path: 'name', oldValue: a.name });
+        }
+        else {
+            changes.push({
+                type: 'modified',
+                path: 'name',
+                oldValue: a.name,
+                newValue: b.name,
+            });
+        }
+    }
+    // Compare nodes by ID (order-independent)
+    const aNodesById = new Map(a.nodes.map((n) => [n.id, n]));
+    const bNodesById = new Map(b.nodes.map((n) => [n.id, n]));
+    // Find added/removed nodes
+    for (const [id, node] of bNodesById) {
+        if (!aNodesById.has(id)) {
+            changes.push({
+                type: 'added',
+                path: `nodes[id=${id}]`,
+                newValue: node,
+            });
+        }
+    }
+    for (const [id, node] of aNodesById) {
+        if (!bNodesById.has(id)) {
+            changes.push({
+                type: 'removed',
+                path: `nodes[id=${id}]`,
+                oldValue: node,
+            });
+        }
+    }
+    // Compare matching nodes
+    for (const [id, aNode] of aNodesById) {
+        const bNode = bNodesById.get(id);
+        if (bNode) {
+            const nodeChanges = diffNode(aNode, bNode, `nodes[id=${id}]`);
+            changes.push(...nodeChanges);
+        }
+    }
+    // Compare edges by ID (order-independent)
+    const aEdgesById = new Map(a.edges.map((e) => [e.id, e]));
+    const bEdgesById = new Map(b.edges.map((e) => [e.id, e]));
+    // Find added/removed edges
+    for (const [id, edge] of bEdgesById) {
+        if (!aEdgesById.has(id)) {
+            changes.push({
+                type: 'added',
+                path: `edges[id=${id}]`,
+                newValue: edge,
+            });
+        }
+    }
+    for (const [id, edge] of aEdgesById) {
+        if (!bEdgesById.has(id)) {
+            changes.push({
+                type: 'removed',
+                path: `edges[id=${id}]`,
+                oldValue: edge,
+            });
+        }
+    }
+    // Compare matching edges
+    for (const [id, aEdge] of aEdgesById) {
+        const bEdge = bEdgesById.get(id);
+        if (bEdge) {
+            const edgeChanges = diffEdge(aEdge, bEdge, `edges[id=${id}]`);
+            changes.push(...edgeChanges);
+        }
+    }
+    return { changes };
+}
+/**
+ * Diff two nodes
+ */
+function diffNode(a, b, basePath) {
+    const changes = [];
+    // Compare simple properties
+    const simpleProps = [
+        'type',
+        'label',
+        'description',
+        'pinned',
+    ];
+    for (const prop of simpleProps) {
+        if (a[prop] !== b[prop]) {
+            const aVal = a[prop];
+            const bVal = b[prop];
+            if (aVal === undefined && bVal !== undefined) {
+                changes.push({
+                    type: 'added',
+                    path: `${basePath}.${prop}`,
+                    newValue: bVal,
+                });
+            }
+            else if (aVal !== undefined && bVal === undefined) {
+                changes.push({
+                    type: 'removed',
+                    path: `${basePath}.${prop}`,
+                    oldValue: aVal,
+                });
+            }
+            else {
+                changes.push({
+                    type: 'modified',
+                    path: `${basePath}.${prop}`,
+                    oldValue: aVal,
+                    newValue: bVal,
+                });
+            }
+        }
+    }
+    // Compare properties object
+    if (JSON.stringify(a.properties) !== JSON.stringify(b.properties)) {
+        changes.push({
+            type: 'modified',
+            path: `${basePath}.properties`,
+            oldValue: a.properties,
+            newValue: b.properties,
+        });
+    }
+    // Compare position
+    if (a.position || b.position) {
+        if (a.position?.x !== b.position?.x ||
+            a.position?.y !== b.position?.y) {
+            changes.push({
+                type: 'modified',
+                path: `${basePath}.position`,
+                oldValue: a.position,
+                newValue: b.position,
+            });
+        }
+    }
+    // Compare dimensions
+    if (a.dimensions || b.dimensions) {
+        if (a.dimensions?.width !== b.dimensions?.width ||
+            a.dimensions?.height !== b.dimensions?.height) {
+            changes.push({
+                type: 'modified',
+                path: `${basePath}.dimensions`,
+                oldValue: a.dimensions,
+                newValue: b.dimensions,
+            });
+        }
+    }
+    // Compare children recursively (by ID)
+    if (a.children || b.children) {
+        const aChildren = a.children || [];
+        const bChildren = b.children || [];
+        const aChildrenById = new Map(aChildren.map((n) => [n.id, n]));
+        const bChildrenById = new Map(bChildren.map((n) => [n.id, n]));
+        for (const [id, child] of bChildrenById) {
+            if (!aChildrenById.has(id)) {
+                changes.push({
+                    type: 'added',
+                    path: `${basePath}.children[id=${id}]`,
+                    newValue: child,
+                });
+            }
+        }
+        for (const [id, child] of aChildrenById) {
+            if (!bChildrenById.has(id)) {
+                changes.push({
+                    type: 'removed',
+                    path: `${basePath}.children[id=${id}]`,
+                    oldValue: child,
+                });
+            }
+            else {
+                const bChild = bChildrenById.get(id);
+                const childChanges = diffNode(child, bChild, `${basePath}.children[id=${id}]`);
+                changes.push(...childChanges);
+            }
+        }
+    }
+    return changes;
+}
+/**
+ * Diff two edges
+ */
+function diffEdge(a, b, basePath) {
+    const changes = [];
+    // Compare simple properties
+    const simpleProps = [
+        'source',
+        'target',
+        'sourcePort',
+        'targetPort',
+        'type',
+        'label',
+    ];
+    for (const prop of simpleProps) {
+        if (a[prop] !== b[prop]) {
+            const aVal = a[prop];
+            const bVal = b[prop];
+            if (aVal === undefined && bVal !== undefined) {
+                changes.push({
+                    type: 'added',
+                    path: `${basePath}.${prop}`,
+                    newValue: bVal,
+                });
+            }
+            else if (aVal !== undefined && bVal === undefined) {
+                changes.push({
+                    type: 'removed',
+                    path: `${basePath}.${prop}`,
+                    oldValue: aVal,
+                });
+            }
+            else {
+                changes.push({
+                    type: 'modified',
+                    path: `${basePath}.${prop}`,
+                    oldValue: aVal,
+                    newValue: bVal,
+                });
+            }
+        }
+    }
+    // Compare properties object
+    if (JSON.stringify(a.properties) !== JSON.stringify(b.properties)) {
+        changes.push({
+            type: 'modified',
+            path: `${basePath}.properties`,
+            oldValue: a.properties,
+            newValue: b.properties,
+        });
+    }
+    return changes;
+}
+// ============================================================================
+// Formatting
+// ============================================================================
+/**
+ * Format a diff result for human-readable output
+ */
+export function formatDiff(result, options = {}) {
+    if (result.changes.length === 0) {
+        return 'No differences found.';
+    }
+    const lines = [];
+    lines.push(`Found ${result.changes.length} difference(s):`);
+    lines.push('');
+    for (const change of result.changes) {
+        let prefix;
+        let valueStr;
+        switch (change.type) {
+            case 'added':
+                prefix = '+';
+                valueStr = formatValue(change.newValue);
+                break;
+            case 'removed':
+                prefix = '-';
+                valueStr = formatValue(change.oldValue);
+                break;
+            case 'modified':
+                prefix = '~';
+                valueStr = `${formatValue(change.oldValue)} → ${formatValue(change.newValue)}`;
+                break;
+        }
+        lines.push(`  ${prefix} ${change.path}: ${valueStr}`);
+    }
+    return lines.join('\n');
+}
+/**
+ * Format a value for display
+ */
+function formatValue(value) {
+    if (value === undefined)
+        return 'undefined';
+    if (value === null)
+        return 'null';
+    if (typeof value === 'object') {
+        const str = JSON.stringify(value);
+        if (str.length > 50) {
+            return str.slice(0, 47) + '...';
+        }
+        return str;
+    }
+    return String(value);
+}
+//# sourceMappingURL=diff.js.map

package/dist/testing/diff.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff.js","sourceRoot":"","sources":["../../src/testing/diff.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAiCH,+EAA+E;AAC/E,sBAAsB;AACtB,+EAA+E;AAE/E;;GAEG;AACH,MAAM,UAAU,IAAI,CAAC,CAAU,EAAE,CAAU,EAAE,OAAe,EAAE;IAC5D,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,aAAa,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;IAEnC,OAAO,EAAE,OAAO,EAAE,CAAC;AACrB,CAAC;AAED;;GAEG;AACH,SAAS,aAAa,CACpB,CAAU,EACV,CAAU,EACV,IAAY,EACZ,OAAiB;IAEjB,wBAAwB;IACxB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO;IACrC,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS;QAAE,OAAO;IAE/C,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QAClC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,IAAI,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QAChE,OAAO;IACT,CAAC;IAED,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QAClC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,IAAI,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;QAClE,OAAO;IACT,CAAC;IAED,oBAAoB;IACpB,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QACnD,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACZ,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,IAAI,IAAI,GAAG;gBACjB,QAAQ,EAAE,CAAC;gBACX,QAAQ,EAAE,CAAC;aACZ,CAAC,CAAC;QACL,CAAC;QACD,OAAO;IACT,CAAC;IAED,gBAAgB;IAChB,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACzC,uCAAuC;QACvC,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;QAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;YACnD,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;gBAClB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAClE,CAAC;iBAAM,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;gBACzB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACpE,CAAC;iBAAM,CAAC;gBACN,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;YAC/C,CAAC;QACH,CAAC;QACD,OAAO;IACT,CAAC;IAED,iBAAiB;IACjB,MAAM,IAAI,GAAG,CAA4B,CAAC;IAC1C,MAAM,IAAI,GAAG,CAA4B,CAAC;IAC1C,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAEtE,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;QAC1B,MAAM,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;QAC9C,MAAM,IAAI,GAAG,GAAG,IAAI,IAAI,CAAC;QACzB,MAAM,IAAI,GAAG,GAAG,IAAI,IAAI,CAAC;QAEzB,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACxE,CAAC;aAAM,IAAI,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC;YACzB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACtE,CAAC;aAAM,CAAC;YACN,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;AACH,CAAC;AAED,+EAA+E;AAC/E,yBAAyB;AACzB,+EAA+E;AAE/E;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CAAC,CAAU,EAAE,CAAU;IAChD,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,mBAAmB;IACnB,IAAI,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;QAC5B,OAAO,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,SAAS;YACf,QAAQ,EAAE,CAAC,CAAC,OAAO;YACnB,QAAQ,EAAE,CAAC,CAAC,OAAO;SACpB,CAAC,CAAC;IACL,CAAC;IAED,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;QAClB,OAAO,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,IAAI;YACV,QAAQ,EAAE,CAAC,CAAC,EAAE;YACd,QAAQ,EAAE,CAAC,CAAC,EAAE;SACf,CAAC,CAAC;IACL,CAAC;IAED,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACzB,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAClE,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAChC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QACpE,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,MAAM;gBACZ,QAAQ,EAAE,CAAC,CAAC,IAAI;gBAChB,QAAQ,EAAE,CAAC,CAAC,IAAI;aACjB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,0CAA0C;IAC1C,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1D,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAE1D,2BAA2B;IAC3B,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,UAAU,EAAE,CAAC;QACpC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACxB,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,YAAY,EAAE,GAAG;gBACvB,QAAQ,EAAE,IAAI;aACf,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,UAAU,EAAE,CAAC;QACpC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACxB,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,YAAY,EAAE,GAAG;gBACvB,QAAQ,EAAE,IAAI;aACf,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,yBAAyB;IACzB,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,UAAU,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjC,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,WAAW,GAAG,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;YAC9D,OAAO,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IAED,0CAA0C;IAC1C,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1D,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAE1D,2BAA2B;IAC3B,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,UAAU,EAAE,CAAC;QACpC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACxB,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,OAAO;gBACb,IAAI,EAAE,YAAY,EAAE,GAAG;gBACvB,QAAQ,EAAE,IAAI;aACf,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,UAAU,EAAE,CAAC;QACpC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YACxB,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,YAAY,EAAE,GAAG;gBACvB,QAAQ,EAAE,IAAI;aACf,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,yBAAyB;IACzB,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,UAAU,EAAE,CAAC;QACrC,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjC,IAAI,KAAK,EAAE,CAAC;YACV,MAAM,WAAW,GAAG,QAAQ,CAAC,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,GAAG,CAAC,CAAC;YAC9D,OAAO,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,CAAC;AACrB,CAAC;AAED;;GAEG;AACH,SAAS,QAAQ,CAAC,CAAY,EAAE,CAAY,EAAE,QAAgB;IAC5D,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,4BAA4B;IAC5B,MAAM,WAAW,GAAwB;QACvC,MAAM;QACN,OAAO;QACP,aAAa;QACb,QAAQ;KACT,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;QAC/B,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;YACrB,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;YAErB,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC7C,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,GAAG,QAAQ,IAAI,IAAI,EAAE;oBAC3B,QAAQ,EAAE,IAAI;iBACf,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACpD,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,GAAG,QAAQ,IAAI,IAAI,EAAE;oBAC3B,QAAQ,EAAE,IAAI;iBACf,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,UAAU;oBAChB,IAAI,EAAE,GAAG,QAAQ,IAAI,IAAI,EAAE;oBAC3B,QAAQ,EAAE,IAAI;oBACd,QAAQ,EAAE,IAAI;iBACf,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,4BAA4B;IAC5B,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC;QAClE,OAAO,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,GAAG,QAAQ,aAAa;YAC9B,QAAQ,EAAE,CAAC,CAAC,UAAU;YACtB,QAAQ,EAAE,CAAC,CAAC,UAAU;SACvB,CAAC,CAAC;IACL,CAAC;IAED,mBAAmB;IACnB,IAAI,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC7B,IACE,CAAC,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC/B,CAAC,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC,EAC/B,CAAC;YACD,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,GAAG,QAAQ,WAAW;gBAC5B,QAAQ,EAAE,CAAC,CAAC,QAAQ;gBACpB,QAAQ,EAAE,CAAC,CAAC,QAAQ;aACrB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,qBAAqB;IACrB,IAAI,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;QACjC,IACE,CAAC,CAAC,UAAU,EAAE,KAAK,KAAK,CAAC,CAAC,UAAU,EAAE,KAAK;YAC3C,CAAC,CAAC,UAAU,EAAE,MAAM,KAAK,CAAC,CAAC,UAAU,EAAE,MAAM,EAC7C,CAAC;YACD,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,GAAG,QAAQ,aAAa;gBAC9B,QAAQ,EAAE,CAAC,CAAC,UAAU;gBACtB,QAAQ,EAAE,CAAC,CAAC,UAAU;aACvB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,uCAAuC;IACvC,IAAI,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC7B,MAAM,SAAS,GAAG,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC;QACnC,MAAM,SAAS,GAAG,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC;QAEnC,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/D,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAE/D,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,aAAa,EAAE,CAAC;YACxC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC3B,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,GAAG,QAAQ,gBAAgB,EAAE,GAAG;oBACtC,QAAQ,EAAE,KAAK;iBAChB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,aAAa,EAAE,CAAC;YACxC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC3B,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,GAAG,QAAQ,gBAAgB,EAAE,GAAG;oBACtC,QAAQ,EAAE,KAAK;iBAChB,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,EAAE,CAAE,CAAC;gBACtC,MAAM,YAAY,GAAG,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,QAAQ,gBAAgB,EAAE,GAAG,CAAC,CAAC;gBAC/E,OAAO,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;GAEG;AACH,SAAS,QAAQ,CAAC,CAAY,EAAE,CAAY,EAAE,QAAgB;IAC5D,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,4BAA4B;IAC5B,MAAM,WAAW,GAAwB;QACvC,QAAQ;QACR,QAAQ;QACR,YAAY;QACZ,YAAY;QACZ,MAAM;QACN,OAAO;KACR,CAAC;IAEF,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;QAC/B,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;YACrB,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;YAErB,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBAC7C,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,OAAO;oBACb,IAAI,EAAE,GAAG,QAAQ,IAAI,IAAI,EAAE;oBAC3B,QAAQ,EAAE,IAAI;iBACf,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;gBACpD,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,GAAG,QAAQ,IAAI,IAAI,EAAE;oBAC3B,QAAQ,EAAE,IAAI;iBACf,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,IAAI,CAAC;oBACX,IAAI,EAAE,UAAU;oBAChB,IAAI,EAAE,GAAG,QAAQ,IAAI,IAAI,EAAE;oBAC3B,QAAQ,EAAE,IAAI;oBACd,QAAQ,EAAE,IAAI;iBACf,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,4BAA4B;IAC5B,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC;QAClE,OAAO,CAAC,IAAI,CAAC;YACX,IAAI,EAAE,UAAU;YAChB,IAAI,EAAE,GAAG,QAAQ,aAAa;YAC9B,QAAQ,EAAE,CAAC,CAAC,UAAU;YACtB,QAAQ,EAAE,CAAC,CAAC,UAAU;SACvB,CAAC,CAAC;IACL,CAAC;IAED,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,+EAA+E;AAC/E,aAAa;AACb,+EAA+E;AAE/E;;GAEG;AACH,MAAM,UAAU,UAAU,CAAC,MAAkB,EAAE,UAAgC,EAAE;IAC/E,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChC,OAAO,uBAAuB,CAAC;IACjC,CAAC;IAED,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,OAAO,CAAC,MAAM,iBAAiB,CAAC,CAAC;IAC5D,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACpC,IAAI,MAAc,CAAC;QACnB,IAAI,QAAgB,CAAC;QAErB,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;YACpB,KAAK,OAAO;gBACV,MAAM,GAAG,GAAG,CAAC;gBACb,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;gBACxC,MAAM;YACR,KAAK,SAAS;gBACZ,MAAM,GAAG,GAAG,CAAC;gBACb,QAAQ,GAAG,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;gBACxC,MAAM;YACR,KAAK,UAAU;gBACb,MAAM,GAAG,GAAG,CAAC;gBACb,QAAQ,GAAG,GAAG,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,WAAW,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC/E,MAAM;QACV,CAAC;QAED,KAAK,CAAC,IAAI,CAAC,KAAK,MAAM,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC,CAAC;IACxD,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;GAEG;AACH,SAAS,WAAW,CAAC,KAAc;IACjC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,WAAW,CAAC;IAC5C,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IAElC,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,GAAG,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;YACpB,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC;QAClC,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC"}

package/dist/testing/index.d.ts

@@ -0,0 +1,10 @@
+/**
+ * Testing module for Graph-IR
+ *
+ * Utilities for snapshot testing and diffing Graph-IR structures.
+ */
+export { SnapshotManager, wrapSnapshot, unwrapSnapshot, } from './snapshot.js';
+export type { Snapshot, SnapshotMatchResult } from './snapshot.js';
+export { diff, diffGraphIR, formatDiff } from './diff.js';
+export type { Change, DiffResult } from './diff.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/testing/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/testing/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,EACL,eAAe,EACf,YAAY,EACZ,cAAc,GACf,MAAM,eAAe,CAAC;AAEvB,YAAY,EAAE,QAAQ,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAGnE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAE1D,YAAY,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC"}

package/dist/testing/index.js

@@ -0,0 +1,10 @@
+/**
+ * Testing module for Graph-IR
+ *
+ * Utilities for snapshot testing and diffing Graph-IR structures.
+ */
+// Snapshot utilities
+export { SnapshotManager, wrapSnapshot, unwrapSnapshot, } from './snapshot.js';
+// Diff utilities
+export { diff, diffGraphIR, formatDiff } from './diff.js';
+//# sourceMappingURL=index.js.map

package/dist/testing/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/testing/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,qBAAqB;AACrB,OAAO,EACL,eAAe,EACf,YAAY,EACZ,cAAc,GACf,MAAM,eAAe,CAAC;AAIvB,iBAAiB;AACjB,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC"}

package/dist/testing/snapshot.d.ts

@@ -0,0 +1,95 @@
+/**
+ * Snapshot Testing Utilities for Graph-IR
+ *
+ * Provides snapshot management for comparing Graph-IR structures
+ * across test runs.
+ */
+/**
+ * Snapshot envelope with metadata
+ */
+export interface Snapshot<T = unknown> {
+    /** Snapshot name/identifier */
+    name: string;
+    /** The actual snapshot data */
+    data: T;
+    /** ISO 8601 timestamp when created */
+    createdAt: string;
+    /** ISO 8601 timestamp when last updated */
+    updatedAt?: string;
+    /** Snapshot format version */
+    version: number;
+}
+/**
+ * Result of a snapshot match operation
+ */
+export interface SnapshotMatchResult {
+    /** Match status */
+    status: 'pass' | 'fail' | 'new';
+    /** Snapshot name */
+    name: string;
+    /** Diff description if failed (human-readable) */
+    diff?: string;
+    /** Expected data (from snapshot) */
+    expected?: unknown;
+    /** Actual data (from test) */
+    actual?: unknown;
+}
+/**
+ * Manages snapshots for testing
+ */
+export declare class SnapshotManager {
+    private snapshotDir;
+    constructor(snapshotDir: string);
+    /**
+     * Match data against a snapshot
+     *
+     * If snapshot doesn't exist, creates it.
+     * If snapshot exists, compares and returns result.
+     */
+    match<T>(name: string, data: T): SnapshotMatchResult;
+    /**
+     * Update a snapshot with new data
+     */
+    update<T>(name: string, data: T): void;
+    /**
+     * Read a snapshot by name
+     */
+    read<T = unknown>(name: string): Snapshot<T> | undefined;
+    /**
+     * Check if a snapshot exists
+     */
+    exists(name: string): boolean;
+    /**
+     * Delete a snapshot
+     */
+    delete(name: string): void;
+    /**
+     * List all snapshot names
+     */
+    list(): string[];
+    /**
+     * Get the file path for a snapshot
+     */
+    private getSnapshotPath;
+    /**
+     * Write a snapshot to disk
+     */
+    private writeSnapshot;
+    /**
+     * Deep equality check
+     */
+    private deepEqual;
+    /**
+     * Format a simple diff for display
+     */
+    private formatDiff;
+}
+/**
+ * Wrap data in a snapshot envelope
+ */
+export declare function wrapSnapshot<T>(data: T, name: string): Snapshot<T>;
+/**
+ * Extract data from a snapshot envelope
+ */
+export declare function unwrapSnapshot<T>(snapshot: Snapshot<T>): T;
+//# sourceMappingURL=snapshot.d.ts.map

package/dist/testing/snapshot.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"snapshot.d.ts","sourceRoot":"","sources":["../../src/testing/snapshot.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AASH;;GAEG;AACH,MAAM,WAAW,QAAQ,CAAC,CAAC,GAAG,OAAO;IACnC,+BAA+B;IAC/B,IAAI,EAAE,MAAM,CAAC;IAEb,+BAA+B;IAC/B,IAAI,EAAE,CAAC,CAAC;IAER,sCAAsC;IACtC,SAAS,EAAE,MAAM,CAAC;IAElB,2CAA2C;IAC3C,SAAS,CAAC,EAAE,MAAM,CAAC;IAEnB,8BAA8B;IAC9B,OAAO,EAAE,MAAM,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC,mBAAmB;IACnB,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,KAAK,CAAC;IAEhC,oBAAoB;IACpB,IAAI,EAAE,MAAM,CAAC;IAEb,kDAAkD;IAClD,IAAI,CAAC,EAAE,MAAM,CAAC;IAEd,oCAAoC;IACpC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAEnB,8BAA8B;IAC9B,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AAMD;;GAEG;AACH,qBAAa,eAAe;IAC1B,OAAO,CAAC,WAAW,CAAS;gBAEhB,WAAW,EAAE,MAAM;IAS/B;;;;;OAKG;IACH,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,mBAAmB;IAuCpD;;OAEG;IACH,MAAM,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI;IAatC;;OAEG;IACH,IAAI,CAAC,CAAC,GAAG,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,SAAS;IAexD;;OAEG;IACH,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO;IAI7B;;OAEG;IACH,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAO1B;;OAEG;IACH,IAAI,IAAI,MAAM,EAAE;IAUhB;;OAEG;IACH,OAAO,CAAC,eAAe;IAIvB;;OAEG;IACH,OAAO,CAAC,aAAa;IAKrB;;OAEG;IACH,OAAO,CAAC,SAAS;IAIjB;;OAEG;IACH,OAAO,CAAC,UAAU;CAYnB;AAMD;;GAEG;AACH,wBAAgB,YAAY,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,CAOlE;AAED;;GAEG;AACH,wBAAgB,cAAc,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAE1D"}