@graph-ir/core 0.2.0

package/dist/testing/snapshot.js

@@ -0,0 +1,172 @@
+/**
+ * Snapshot Testing Utilities for Graph-IR
+ *
+ * Provides snapshot management for comparing Graph-IR structures
+ * across test runs.
+ */
+import { existsSync, mkdirSync, readFileSync, writeFileSync, unlinkSync, readdirSync } from 'fs';
+import { join, basename } from 'path';
+// ============================================================================
+// Snapshot Manager
+// ============================================================================
+/**
+ * Manages snapshots for testing
+ */
+export class SnapshotManager {
+    snapshotDir;
+    constructor(snapshotDir) {
+        this.snapshotDir = snapshotDir;
+        // Ensure directory exists
+        if (!existsSync(snapshotDir)) {
+            mkdirSync(snapshotDir, { recursive: true });
+        }
+    }
+    /**
+     * Match data against a snapshot
+     *
+     * If snapshot doesn't exist, creates it.
+     * If snapshot exists, compares and returns result.
+     */
+    match(name, data) {
+        const filePath = this.getSnapshotPath(name);
+        if (!existsSync(filePath)) {
+            // Create new snapshot
+            const snapshot = wrapSnapshot(data, name);
+            this.writeSnapshot(name, snapshot);
+            return {
+                status: 'new',
+                name,
+            };
+        }
+        // Compare with existing snapshot
+        const existing = this.read(name);
+        if (!existing) {
+            // Shouldn't happen, but handle gracefully
+            const snapshot = wrapSnapshot(data, name);
+            this.writeSnapshot(name, snapshot);
+            return { status: 'new', name };
+        }
+        // Deep compare
+        const isEqual = this.deepEqual(existing.data, data);
+        if (isEqual) {
+            return { status: 'pass', name };
+        }
+        return {
+            status: 'fail',
+            name,
+            expected: existing.data,
+            actual: data,
+            diff: this.formatDiff(existing.data, data),
+        };
+    }
+    /**
+     * Update a snapshot with new data
+     */
+    update(name, data) {
+        const existing = this.read(name);
+        const snapshot = {
+            name,
+            data,
+            createdAt: existing?.createdAt ?? new Date().toISOString(),
+            updatedAt: new Date().toISOString(),
+            version: (existing?.version ?? 0) + 1,
+        };
+        this.writeSnapshot(name, snapshot);
+    }
+    /**
+     * Read a snapshot by name
+     */
+    read(name) {
+        const filePath = this.getSnapshotPath(name);
+        if (!existsSync(filePath)) {
+            return undefined;
+        }
+        try {
+            const content = readFileSync(filePath, 'utf-8');
+            return JSON.parse(content);
+        }
+        catch {
+            return undefined;
+        }
+    }
+    /**
+     * Check if a snapshot exists
+     */
+    exists(name) {
+        return existsSync(this.getSnapshotPath(name));
+    }
+    /**
+     * Delete a snapshot
+     */
+    delete(name) {
+        const filePath = this.getSnapshotPath(name);
+        if (existsSync(filePath)) {
+            unlinkSync(filePath);
+        }
+    }
+    /**
+     * List all snapshot names
+     */
+    list() {
+        if (!existsSync(this.snapshotDir)) {
+            return [];
+        }
+        return readdirSync(this.snapshotDir)
+            .filter((f) => f.endsWith('.snap.json'))
+            .map((f) => basename(f, '.snap.json'));
+    }
+    /**
+     * Get the file path for a snapshot
+     */
+    getSnapshotPath(name) {
+        return join(this.snapshotDir, `${name}.snap.json`);
+    }
+    /**
+     * Write a snapshot to disk
+     */
+    writeSnapshot(name, snapshot) {
+        const filePath = this.getSnapshotPath(name);
+        writeFileSync(filePath, JSON.stringify(snapshot, null, 2), 'utf-8');
+    }
+    /**
+     * Deep equality check
+     */
+    deepEqual(a, b) {
+        return JSON.stringify(a) === JSON.stringify(b);
+    }
+    /**
+     * Format a simple diff for display
+     */
+    formatDiff(expected, actual) {
+        const lines = [];
+        lines.push('Snapshot mismatch:');
+        lines.push('');
+        lines.push('Expected:');
+        lines.push(JSON.stringify(expected, null, 2));
+        lines.push('');
+        lines.push('Actual:');
+        lines.push(JSON.stringify(actual, null, 2));
+        return lines.join('\n');
+    }
+}
+// ============================================================================
+// Helper Functions
+// ============================================================================
+/**
+ * Wrap data in a snapshot envelope
+ */
+export function wrapSnapshot(data, name) {
+    return {
+        name,
+        data,
+        createdAt: new Date().toISOString(),
+        version: 1,
+    };
+}
+/**
+ * Extract data from a snapshot envelope
+ */
+export function unwrapSnapshot(snapshot) {
+    return snapshot.data;
+}
+//# sourceMappingURL=snapshot.js.map

package/dist/testing/snapshot.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"snapshot.js","sourceRoot":"","sources":["../../src/testing/snapshot.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,aAAa,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,IAAI,CAAC;AACjG,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,MAAM,CAAC;AA8CtC,+EAA+E;AAC/E,mBAAmB;AACnB,+EAA+E;AAE/E;;GAEG;AACH,MAAM,OAAO,eAAe;IAClB,WAAW,CAAS;IAE5B,YAAY,WAAmB;QAC7B,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;QAE/B,0BAA0B;QAC1B,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;YAC7B,SAAS,CAAC,WAAW,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC;IAED;;;;;OAKG;IACH,KAAK,CAAI,IAAY,EAAE,IAAO;QAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;QAE5C,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC1B,sBAAsB;YACtB,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC1C,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAEnC,OAAO;gBACL,MAAM,EAAE,KAAK;gBACb,IAAI;aACL,CAAC;QACJ,CAAC;QAED,iCAAiC;QACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,0CAA0C;YAC1C,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC1C,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACnC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QACjC,CAAC;QAED,eAAe;QACf,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAEpD,IAAI,OAAO,EAAE,CAAC;YACZ,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;QAClC,CAAC;QAED,OAAO;YACL,MAAM,EAAE,MAAM;YACd,IAAI;YACJ,QAAQ,EAAE,QAAQ,CAAC,IAAI;YACvB,MAAM,EAAE,IAAI;YACZ,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;SAC3C,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,MAAM,CAAI,IAAY,EAAE,IAAO;QAC7B,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,MAAM,QAAQ,GAAgB;YAC5B,IAAI;YACJ,IAAI;YACJ,SAAS,EAAE,QAAQ,EAAE,SAAS,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YAC1D,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACnC,OAAO,EAAE,CAAC,QAAQ,EAAE,OAAO,IAAI,CAAC,CAAC,GAAG,CAAC;SACtC,CAAC;QAEF,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACrC,CAAC;IAED;;OAEG;IACH,IAAI,CAAc,IAAY;QAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;QAE5C,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC1B,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,YAAY,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;YAChD,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAgB,CAAC;QAC5C,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,SAAS,CAAC;QACnB,CAAC;IACH,CAAC;IAED;;OAEG;IACH,MAAM,CAAC,IAAY;QACjB,OAAO,UAAU,CAAC,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;IAChD,CAAC;IAED;;OAEG;IACH,MAAM,CAAC,IAAY;QACjB,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YACzB,UAAU,CAAC,QAAQ,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;IAED;;OAEG;IACH,IAAI;QACF,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;YAClC,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,OAAO,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC;aACjC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;aACvC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC;IAC3C,CAAC;IAED;;OAEG;IACK,eAAe,CAAC,IAAY;QAClC,OAAO,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,IAAI,YAAY,CAAC,CAAC;IACrD,CAAC;IAED;;OAEG;IACK,aAAa,CAAI,IAAY,EAAE,QAAqB;QAC1D,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;QAC5C,aAAa,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IACtE,CAAC;IAED;;OAEG;IACK,SAAS,CAAC,CAAU,EAAE,CAAU;QACtC,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACjD,CAAC;IAED;;OAEG;IACK,UAAU,CAAC,QAAiB,EAAE,MAAe;QACnD,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACtB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAE5C,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC;CACF;AAED,+EAA+E;AAC/E,mBAAmB;AACnB,+EAA+E;AAE/E;;GAEG;AACH,MAAM,UAAU,YAAY,CAAI,IAAO,EAAE,IAAY;IACnD,OAAO;QACL,IAAI;QACJ,IAAI;QACJ,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACnC,OAAO,EAAE,CAAC;KACX,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,cAAc,CAAI,QAAqB;IACrD,OAAO,QAAQ,CAAC,IAAI,CAAC;AACvB,CAAC"}

package/dist/types.d.ts

@@ -0,0 +1,240 @@
+/**
+ * Graph-IR Type Definitions
+ *
+ * Based on docs/schema-specification.md
+ */
+export interface GraphIR {
+    /** Schema version for migration support */
+    version: string;
+    /** Unique identifier for this graph */
+    id: string;
+    /** Human-readable name */
+    name?: string;
+    /** Top-level nodes (may contain children for hierarchy) */
+    nodes: GraphNode[];
+    /** Connections between nodes */
+    edges: GraphEdge[];
+    /** Graph-level metadata */
+    metadata?: GraphMetadata;
+    /** Default layout options for the entire graph */
+    layoutOptions?: LayoutOptions;
+}
+export interface GraphNode {
+    /** Unique identifier within the graph */
+    id: string;
+    /** Node type (e.g., 'service', 'database', 'user') */
+    type: string;
+    /** Display label */
+    label?: string;
+    /** Optional description or documentation */
+    description?: string;
+    /**
+     * Symbol for visual representation (e.g., 'decision', 'cylinder', 'actor').
+     * References a symbol definition in a symbol registry.
+     * If omitted, renderers use a default shape based on `type` or a rectangle.
+     */
+    symbol?: string;
+    /**
+     * Variant of the symbol (e.g., 'start' vs 'end' for terminal symbols).
+     * Interpretation depends on the symbol definition.
+     */
+    variant?: string;
+    /** Custom properties for this node type */
+    properties?: Record<string, unknown>;
+    /** Child nodes for compound/nested graphs */
+    children?: GraphNode[];
+    /** Reference to parent node ID */
+    parent?: string;
+    /** Connection points on this node */
+    ports?: Port[];
+    /** Visual dimensions (width x height) */
+    dimensions?: Dimensions;
+    /** Position if manually placed or computed */
+    position?: Position;
+    /** Whether position should be preserved during layout */
+    pinned?: boolean;
+    /** Node-specific layout options */
+    layoutOptions?: NodeLayoutOptions;
+    /** Source location for round-tripping */
+    sourceInfo?: SourceInfo;
+}
+export interface Port {
+    /** Unique identifier within the parent node */
+    id: string;
+    /** Which side of the node this port appears on */
+    side: PortSide;
+    /** Optional label */
+    label?: string;
+    /** Position along the side (0.0 to 1.0) */
+    position?: number;
+    /** Port-specific properties */
+    properties?: Record<string, unknown>;
+}
+export type PortSide = 'NORTH' | 'SOUTH' | 'EAST' | 'WEST';
+export interface Dimensions {
+    width: number;
+    height: number;
+}
+export interface Position {
+    x: number;
+    y: number;
+}
+export interface GraphEdge {
+    /** Unique identifier within the graph */
+    id: string;
+    /** Source node ID */
+    source: string;
+    /** Target node ID */
+    target: string;
+    /** Optional source port ID */
+    sourcePort?: string;
+    /** Optional target port ID */
+    targetPort?: string;
+    /** Edge type (e.g., 'dependency', 'dataflow', 'http') */
+    type?: string;
+    /** Display label */
+    label?: string;
+    /** Custom properties */
+    properties?: Record<string, unknown>;
+    /** Intermediate points for edge routing */
+    routingPoints?: Position[];
+    /** Visual style hints */
+    style?: EdgeStyle;
+    /** Source location for round-tripping */
+    sourceInfo?: SourceInfo;
+}
+export interface EdgeStyle {
+    /** Line pattern */
+    lineStyle?: 'solid' | 'dashed' | 'dotted';
+    /** Arrow at target */
+    targetArrow?: 'arrow' | 'diamond' | 'circle' | 'none';
+    /** Arrow at source */
+    sourceArrow?: 'arrow' | 'diamond' | 'circle' | 'none';
+    /** Routing algorithm hint */
+    routing?: 'orthogonal' | 'polyline' | 'spline';
+}
+export interface LayoutOptions {
+    /** Layout algorithm to use */
+    algorithm?: 'layered' | 'force' | 'radial' | 'tree' | 'fixed';
+    /** Primary direction for hierarchical layouts */
+    direction?: 'DOWN' | 'UP' | 'LEFT' | 'RIGHT';
+    /** Spacing configuration */
+    spacing?: SpacingOptions;
+    /** Edge routing style */
+    edgeRouting?: 'orthogonal' | 'polyline' | 'spline';
+    /** How to handle compound nodes */
+    hierarchyHandling?: 'INCLUDE_CHILDREN' | 'SEPARATE_CHILDREN';
+    /** Additional algorithm-specific options */
+    algorithmOptions?: Record<string, string | number | boolean>;
+}
+export interface SpacingOptions {
+    /** Minimum space between nodes */
+    nodeNode?: number;
+    /** Minimum space between node and edge */
+    nodeEdge?: number;
+    /** Minimum space between edges */
+    edgeEdge?: number;
+    /** Space between layers (for layered algorithm) */
+    layerSpacing?: number;
+}
+export interface NodeLayoutOptions {
+    /** Port constraint level */
+    portConstraints?: 'FREE' | 'FIXED_SIDE' | 'FIXED_ORDER' | 'FIXED_POS';
+    /** How to order ports on each side */
+    portAlignment?: 'BEGIN' | 'CENTER' | 'END' | 'JUSTIFIED';
+    /** Node size constraints */
+    sizeConstraints?: ('MINIMUM_SIZE' | 'NODE_LABELS' | 'PORTS')[];
+    /** Minimum dimensions */
+    minimumSize?: Dimensions;
+    /** Padding inside compound nodes */
+    padding?: {
+        top?: number;
+        right?: number;
+        bottom?: number;
+        left?: number;
+    };
+}
+export interface SourceInfo {
+    /** Byte range in the original source file */
+    range: SourceRange;
+    /** Comments associated with this element */
+    leadingComments?: Comment[];
+    trailingComment?: Comment;
+    /** Whitespace before this element */
+    leadingWhitespace?: string;
+    /** Has this element been modified since parsing? */
+    modified?: boolean;
+    /** Original raw text (for fallback) */
+    originalText?: string;
+}
+export interface SourceRange {
+    /** Start byte offset (0-indexed) */
+    start: number;
+    /** End byte offset (exclusive) */
+    end: number;
+    /** Start line and column (for error messages) */
+    startPosition?: {
+        line: number;
+        column: number;
+    };
+    /** End line and column */
+    endPosition?: {
+        line: number;
+        column: number;
+    };
+}
+export interface Comment {
+    /** Comment text (without delimiters) */
+    text: string;
+    /** Comment style */
+    style: 'line' | 'block';
+    /** Position relative to associated element */
+    range?: SourceRange;
+}
+export interface GraphMetadata {
+    /** Author or owner */
+    author?: string;
+    /** Creation timestamp (ISO 8601) */
+    created?: string;
+    /** Last modification timestamp (ISO 8601) */
+    modified?: string;
+    /** Human-readable description */
+    description?: string;
+    /** Tags for categorization */
+    tags?: string[];
+    /**
+     * Notation this graph follows (e.g., 'flowchart', 'erd', 'bpmn').
+     * Used for validation and to select appropriate symbol libraries.
+     * If omitted, no notation-specific validation is applied.
+     */
+    notation?: string;
+    /** Custom domain-specific data */
+    custom?: Record<string, unknown>;
+}
+export interface ValidationResult {
+    valid: boolean;
+    errors: ValidationError[];
+    warnings: ValidationError[];
+    stats?: {
+        nodes: number;
+        edges: number;
+    };
+}
+export interface ValidationError {
+    code: ErrorCode | WarningCode;
+    message: string;
+    path: string;
+    severity: 'error' | 'warning';
+    suggestion?: string;
+}
+export type ErrorCode = 'INVALID_JSON' | 'SCHEMA_VIOLATION' | 'DUPLICATE_NODE_ID' | 'DUPLICATE_EDGE_ID' | 'INVALID_EDGE_SOURCE' | 'INVALID_EDGE_TARGET' | 'INVALID_PORT_REFERENCE' | 'CYCLIC_HIERARCHY' | 'INVALID_SOURCE_RANGE';
+export type WarningCode = 'SELF_LOOP_EDGE' | 'ORPHAN_NODE' | 'ORPHAN_PORT' | 'STALE_SOURCE_INFO';
+export interface ValidationOptions {
+    /** Treat warnings as errors */
+    strict?: boolean;
+    /** Skip schema validation (faster, less thorough) */
+    skipSchema?: boolean;
+    /** Skip semantic checks (cycles, orphans) */
+    skipSemantic?: boolean;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAMH,MAAM,WAAW,OAAO;IACtB,2CAA2C;IAC3C,OAAO,EAAE,MAAM,CAAC;IAEhB,uCAAuC;IACvC,EAAE,EAAE,MAAM,CAAC;IAEX,0BAA0B;IAC1B,IAAI,CAAC,EAAE,MAAM,CAAC;IAEd,2DAA2D;IAC3D,KAAK,EAAE,SAAS,EAAE,CAAC;IAEnB,gCAAgC;IAChC,KAAK,EAAE,SAAS,EAAE,CAAC;IAEnB,2BAA2B;IAC3B,QAAQ,CAAC,EAAE,aAAa,CAAC;IAEzB,kDAAkD;IAClD,aAAa,CAAC,EAAE,aAAa,CAAC;CAC/B;AAMD,MAAM,WAAW,SAAS;IACxB,yCAAyC;IACzC,EAAE,EAAE,MAAM,CAAC;IAEX,sDAAsD;IACtD,IAAI,EAAE,MAAM,CAAC;IAEb,oBAAoB;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;IAEf,4CAA4C;IAC5C,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB;;;;OAIG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;IAEhB;;;OAGG;IACH,OAAO,CAAC,EAAE,MAAM,CAAC;IAEjB,2CAA2C;IAC3C,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAErC,6CAA6C;IAC7C,QAAQ,CAAC,EAAE,SAAS,EAAE,CAAC;IAEvB,kCAAkC;IAClC,MAAM,CAAC,EAAE,MAAM,CAAC;IAEhB,qCAAqC;IACrC,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC;IAEf,yCAAyC;IACzC,UAAU,CAAC,EAAE,UAAU,CAAC;IAExB,8CAA8C;IAC9C,QAAQ,CAAC,EAAE,QAAQ,CAAC;IAEpB,yDAAyD;IACzD,MAAM,CAAC,EAAE,OAAO,CAAC;IAEjB,mCAAmC;IACnC,aAAa,CAAC,EAAE,iBAAiB,CAAC;IAElC,yCAAyC;IACzC,UAAU,CAAC,EAAE,UAAU,CAAC;CACzB;AAED,MAAM,WAAW,IAAI;IACnB,+CAA+C;IAC/C,EAAE,EAAE,MAAM,CAAC;IAEX,kDAAkD;IAClD,IAAI,EAAE,QAAQ,CAAC;IAEf,qBAAqB;IACrB,KAAK,CAAC,EAAE,MAAM,CAAC;IAEf,2CAA2C;IAC3C,QAAQ,CAAC,EAAE,MAAM,CAAC;IAElB,+BAA+B;IAC/B,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACtC;AAED,MAAM,MAAM,QAAQ,GAAG,OAAO,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,CAAC;AAE3D,MAAM,WAAW,UAAU;IACzB,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,QAAQ;IACvB,CAAC,EAAE,MAAM,CAAC;IACV,CAAC,EAAE,MAAM,CAAC;CACX;AAMD,MAAM,WAAW,SAAS;IACxB,yCAAyC;IACzC,EAAE,EAAE,MAAM,CAAC;IAEX,qBAAqB;IACrB,MAAM,EAAE,MAAM,CAAC;IAEf,qBAAqB;IACrB,MAAM,EAAE,MAAM,CAAC;IAEf,8BAA8B;IAC9B,UAAU,CAAC,EAAE,MAAM,CAAC;IAEpB,8BAA8B;IAC9B,UAAU,CAAC,EAAE,MAAM,CAAC;IAEpB,yDAAyD;IACzD,IAAI,CAAC,EAAE,MAAM,CAAC;IAEd,oBAAoB;IACpB,KAAK,CAAC,EAAE,MAAM,CAAC;IAEf,wBAAwB;IACxB,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAErC,2CAA2C;IAC3C,aAAa,CAAC,EAAE,QAAQ,EAAE,CAAC;IAE3B,yBAAyB;IACzB,KAAK,CAAC,EAAE,SAAS,CAAC;IAElB,yCAAyC;IACzC,UAAU,CAAC,EAAE,UAAU,CAAC;CACzB;AAED,MAAM,WAAW,SAAS;IACxB,mBAAmB;IACnB,SAAS,CAAC,EAAE,OAAO,GAAG,QAAQ,GAAG,QAAQ,CAAC;IAE1C,sBAAsB;IACtB,WAAW,CAAC,EAAE,OAAO,GAAG,SAAS,GAAG,QAAQ,GAAG,MAAM,CAAC;IAEtD,sBAAsB;IACtB,WAAW,CAAC,EAAE,OAAO,GAAG,SAAS,GAAG,QAAQ,GAAG,MAAM,CAAC;IAEtD,6BAA6B;IAC7B,OAAO,CAAC,EAAE,YAAY,GAAG,UAAU,GAAG,QAAQ,CAAC;CAChD;AAMD,MAAM,WAAW,aAAa;IAC5B,8BAA8B;IAC9B,SAAS,CAAC,EAAE,SAAS,GAAG,OAAO,GAAG,QAAQ,GAAG,MAAM,GAAG,OAAO,CAAC;IAE9D,iDAAiD;IACjD,SAAS,CAAC,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM,GAAG,OAAO,CAAC;IAE7C,4BAA4B;IAC5B,OAAO,CAAC,EAAE,cAAc,CAAC;IAEzB,yBAAyB;IACzB,WAAW,CAAC,EAAE,YAAY,GAAG,UAAU,GAAG,QAAQ,CAAC;IAEnD,mCAAmC;IACnC,iBAAiB,CAAC,EAAE,kBAAkB,GAAG,mBAAmB,CAAC;IAE7D,4CAA4C;IAC5C,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,CAAC;CAC9D;AAED,MAAM,WAAW,cAAc;IAC7B,kCAAkC;IAClC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAElB,0CAA0C;IAC1C,QAAQ,CAAC,EAAE,MAAM,CAAC;IAElB,kCAAkC;IAClC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAElB,mDAAmD;IACnD,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,iBAAiB;IAChC,4BAA4B;IAC5B,eAAe,CAAC,EAAE,MAAM,GAAG,YAAY,GAAG,aAAa,GAAG,WAAW,CAAC;IAEtE,sCAAsC;IACtC,aAAa,CAAC,EAAE,OAAO,GAAG,QAAQ,GAAG,KAAK,GAAG,WAAW,CAAC;IAEzD,4BAA4B;IAC5B,eAAe,CAAC,EAAE,CAAC,cAAc,GAAG,aAAa,GAAG,OAAO,CAAC,EAAE,CAAC;IAE/D,yBAAyB;IACzB,WAAW,CAAC,EAAE,UAAU,CAAC;IAEzB,oCAAoC;IACpC,OAAO,CAAC,EAAE;QACR,GAAG,CAAC,EAAE,MAAM,CAAC;QACb,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,MAAM,CAAC,EAAE,MAAM,CAAC;QAChB,IAAI,CAAC,EAAE,MAAM,CAAC;KACf,CAAC;CACH;AAMD,MAAM,WAAW,UAAU;IACzB,6CAA6C;IAC7C,KAAK,EAAE,WAAW,CAAC;IAEnB,4CAA4C;IAC5C,eAAe,CAAC,EAAE,OAAO,EAAE,CAAC;IAC5B,eAAe,CAAC,EAAE,OAAO,CAAC;IAE1B,qCAAqC;IACrC,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAE3B,oDAAoD;IACpD,QAAQ,CAAC,EAAE,OAAO,CAAC;IAEnB,uCAAuC;IACvC,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,WAAW;IAC1B,oCAAoC;IACpC,KAAK,EAAE,MAAM,CAAC;IAEd,kCAAkC;IAClC,GAAG,EAAE,MAAM,CAAC;IAEZ,iDAAiD;IACjD,aAAa,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IAEjD,0BAA0B;IAC1B,WAAW,CAAC,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;CAChD;AAED,MAAM,WAAW,OAAO;IACtB,wCAAwC;IACxC,IAAI,EAAE,MAAM,CAAC;IAEb,oBAAoB;IACpB,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC;IAExB,8CAA8C;IAC9C,KAAK,CAAC,EAAE,WAAW,CAAC;CACrB;AAMD,MAAM,WAAW,aAAa;IAC5B,sBAAsB;IACtB,MAAM,CAAC,EAAE,MAAM,CAAC;IAEhB,oCAAoC;IACpC,OAAO,CAAC,EAAE,MAAM,CAAC;IAEjB,6CAA6C;IAC7C,QAAQ,CAAC,EAAE,MAAM,CAAC;IAElB,iCAAiC;IACjC,WAAW,CAAC,EAAE,MAAM,CAAC;IAErB,8BAA8B;IAC9B,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAEhB;;;;OAIG;IACH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAElB,kCAAkC;IAClC,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CAClC;AAMD,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,eAAe,EAAE,CAAC;IAC1B,QAAQ,EAAE,eAAe,EAAE,CAAC;IAC5B,KAAK,CAAC,EAAE;QACN,KAAK,EAAE,MAAM,CAAC;QACd,KAAK,EAAE,MAAM,CAAC;KACf,CAAC;CACH;AAED,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,SAAS,GAAG,WAAW,CAAC;IAC9B,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAC;IAC9B,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,MAAM,SAAS,GACjB,cAAc,GACd,kBAAkB,GAClB,mBAAmB,GACnB,mBAAmB,GACnB,qBAAqB,GACrB,qBAAqB,GACrB,wBAAwB,GACxB,kBAAkB,GAClB,sBAAsB,CAAC;AAE3B,MAAM,MAAM,WAAW,GACnB,gBAAgB,GAChB,aAAa,GACb,aAAa,GACb,mBAAmB,CAAC;AAMxB,MAAM,WAAW,iBAAiB;IAChC,+BAA+B;IAC/B,MAAM,CAAC,EAAE,OAAO,CAAC;IAEjB,qDAAqD;IACrD,UAAU,CAAC,EAAE,OAAO,CAAC;IAErB,6CAA6C;IAC7C,YAAY,CAAC,EAAE,OAAO,CAAC;CACxB"}

package/dist/types.js

@@ -0,0 +1,7 @@
+/**
+ * Graph-IR Type Definitions
+ *
+ * Based on docs/schema-specification.md
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;GAIG"}

package/dist/validation/index.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Graph-IR Validation Module
+ *
+ * Validates Graph-IR JSON against schema and semantic rules.
+ */
+export { validateIR, validateIRFromString } from './validator.js';
+export { IRValidator } from './ir-validator.js';
+export type { ValidationOptions } from '../types.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/validation/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,UAAU,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAClE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,YAAY,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC"}

package/dist/validation/index.js

@@ -0,0 +1,8 @@
+/**
+ * Graph-IR Validation Module
+ *
+ * Validates Graph-IR JSON against schema and semantic rules.
+ */
+export { validateIR, validateIRFromString } from './validator.js';
+export { IRValidator } from './ir-validator.js';
+//# sourceMappingURL=index.js.map

package/dist/validation/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/validation/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,UAAU,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAClE,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC"}

package/dist/validation/ir-validator.d.ts

@@ -0,0 +1,51 @@
+/**
+ * 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 type { ValidationResult, ValidationOptions } from '../types.js';
+export declare class IRValidator {
+    private options;
+    private ajv;
+    private schemaValidator;
+    constructor(options?: ValidationOptions);
+    private addDateTimeFormat;
+    /**
+     * Validate from JSON string
+     */
+    validateFromString(jsonString: string): ValidationResult;
+    /**
+     * Validate a Graph-IR object
+     */
+    validate(ir: unknown): ValidationResult;
+    /**
+     * Validate against JSON Schema
+     */
+    private validateSchema;
+    /**
+     * Collect all nodes including nested children
+     */
+    private collectAllNodes;
+    /**
+     * Check if a node has a port with the given ID
+     */
+    private hasPort;
+    /**
+     * Check for cycles in the node hierarchy
+     */
+    private checkHierarchyCycles;
+    /**
+     * Find a similar ID for suggestions
+     */
+    private findSimilarId;
+    /**
+     * Calculate Levenshtein distance for similarity
+     */
+    private levenshteinDistance;
+}
+//# sourceMappingURL=ir-validator.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"ir-validator.d.ts","sourceRoot":"","sources":["../../src/validation/ir-validator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAGH,OAAO,KAAK,EAIV,gBAAgB,EAEhB,iBAAiB,EAClB,MAAM,aAAa,CAAC;AASrB,qBAAa,WAAW;IACtB,OAAO,CAAC,OAAO,CAAoB;IACnC,OAAO,CAAC,GAAG,CAAM;IACjB,OAAO,CAAC,eAAe,CAAmB;gBAE9B,OAAO,GAAE,iBAAsB;IAQ3C,OAAO,CAAC,iBAAiB;IAWzB;;OAEG;IACH,kBAAkB,CAAC,UAAU,EAAE,MAAM,GAAG,gBAAgB;IAwBxD;;OAEG;IACH,QAAQ,CAAC,EAAE,EAAE,OAAO,GAAG,gBAAgB;IAsLvC;;OAEG;IACH,OAAO,CAAC,cAAc;IAgBtB;;OAEG;IACH,OAAO,CAAC,eAAe;IAkBvB;;OAEG;IACH,OAAO,CAAC,OAAO;IAIf;;OAEG;IACH,OAAO,CAAC,oBAAoB;IA2C5B;;OAEG;IACH,OAAO,CAAC,aAAa;IAgBrB;;OAEG;IACH,OAAO,CAAC,mBAAmB;CA0B5B"}