@graph-ir/core 0.2.0 → 0.2.2

package/dist/types.d.ts

@@ -1,216 +1,11 @@
 /**
- * Graph-IR Type Definitions
+ * Public GraphIR types.
  *
- * Based on docs/schema-specification.md
+ * Authored contract declarations are vendored in canonical-types.ts from the
+ * graph-ir specification. Runtime validation result types are defined here.
  */
-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 type * from './canonical-types.js';
+export type { GraphIR as GraphIR2 } from './canonical-types-2.js';
 export interface ValidationResult {
     valid: boolean;
     errors: ValidationError[];
@@ -223,18 +18,22 @@ export interface ValidationResult {
 export interface ValidationError {
     code: ErrorCode | WarningCode;
     message: string;
+    /** RFC 6901 JSON Pointer; root is the empty 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 ErrorCode = 'INVALID_JSON' | 'INVALID_VALIDATION_OPTIONS' | 'SCHEMA_VIOLATION' | 'UNSUPPORTED_SCHEMA_VERSION' | 'RETIRED_FIELD' | 'PIN_REQUIRES_POSITION' | 'INVALID_LABEL_PLACEMENT' | 'DUPLICATE_NODE_ID' | 'DUPLICATE_EDGE_ID' | 'DUPLICATE_CONSTRAINT_ID' | 'DUPLICATE_PORT_ID' | 'DUPLICATE_WAYPOINT_ID' | 'INVALID_ARRANGEMENT' | 'INVALID_EDGE_SOURCE' | 'INVALID_EDGE_TARGET' | 'INVALID_PORT_REFERENCE' | 'INVALID_CONSTRAINT_REFERENCE' | 'INVALID_ROUTE_NODE_REFERENCE' | 'INVALID_ROUTE_PORT_REFERENCE' | 'INVALID_PARENT_REFERENCE' | 'INVALID_ROOT_PARENT' | 'INVALID_BOUNDARY_SCOPE' | 'SELF_RELATION' | 'REQUIRED_CONTRADICTION' | 'CYCLIC_HIERARCHY' | 'INVALID_SOURCE_RANGE' | 'DUPLICATE_CLASSIFIER_ID' | 'DUPLICATE_INTERACTION_ID' | 'INVALID_INTERACTION_REFERENCE' | 'WRONG_INTERACTION_REFERENCE_KIND' | 'INTERACTION_EDGE_ENDPOINT_MISMATCH' | 'INCOMPLETE_INTERACTION_ORDER' | 'ACTIVATION_PARTICIPANT_MISMATCH' | 'REVERSED_ACTIVATION_SPAN' | 'DUPLICATE_OPERAND_MEMBERSHIP' | 'INVALID_OPERAND_ORDER' | 'INVALID_NOTE_TARGET' | 'PROFILE_CONTRADICTION' | 'MARKER_MULTIPLICITY_MISMATCH' | 'INVALID_MULTIPLICITY_BOUNDS';
 export type WarningCode = 'SELF_LOOP_EDGE' | 'ORPHAN_NODE' | 'ORPHAN_PORT' | 'STALE_SOURCE_INFO';
+export type ValidationMode = 'full' | 'schema' | 'semantic';
 export interface ValidationOptions {
-    /** Treat warnings as errors */
+    /** Treat warnings as errors. */
     strict?: boolean;
-    /** Skip schema validation (faster, less thorough) */
+    /** Explicit validation mode. Do not combine with legacy skip flags. */
+    mode?: ValidationMode;
+    /** @deprecated Use mode: 'semantic'. */
     skipSchema?: boolean;
-    /** Skip semantic checks (cycles, orphans) */
+    /** @deprecated Use mode: 'schema'. */
     skipSemantic?: boolean;
 }
 //# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -1 +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"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,mBAAmB,sBAAsB,CAAC;AAC1C,YAAY,EAAE,OAAO,IAAI,QAAQ,EAAE,MAAM,wBAAwB,CAAC;AAElE,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,uDAAuD;IACvD,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,4BAA4B,GAC5B,kBAAkB,GAClB,4BAA4B,GAC5B,eAAe,GACf,uBAAuB,GACvB,yBAAyB,GACzB,mBAAmB,GACnB,mBAAmB,GACnB,yBAAyB,GACzB,mBAAmB,GACnB,uBAAuB,GACvB,qBAAqB,GACrB,qBAAqB,GACrB,qBAAqB,GACrB,wBAAwB,GACxB,8BAA8B,GAC9B,8BAA8B,GAC9B,8BAA8B,GAC9B,0BAA0B,GAC1B,qBAAqB,GACrB,wBAAwB,GACxB,eAAe,GACf,wBAAwB,GACxB,kBAAkB,GAClB,sBAAsB,GACtB,yBAAyB,GACzB,0BAA0B,GAC1B,+BAA+B,GAC/B,kCAAkC,GAClC,oCAAoC,GACpC,8BAA8B,GAC9B,iCAAiC,GACjC,0BAA0B,GAC1B,8BAA8B,GAC9B,uBAAuB,GACvB,qBAAqB,GACrB,uBAAuB,GACvB,8BAA8B,GAC9B,6BAA6B,CAAC;AAElC,MAAM,MAAM,WAAW,GACnB,gBAAgB,GAChB,aAAa,GACb,aAAa,GACb,mBAAmB,CAAC;AAExB,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,QAAQ,GAAG,UAAU,CAAC;AAE5D,MAAM,WAAW,iBAAiB;IAChC,gCAAgC;IAChC,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,uEAAuE;IACvE,IAAI,CAAC,EAAE,cAAc,CAAC;IACtB,wCAAwC;IACxC,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,sCAAsC;IACtC,YAAY,CAAC,EAAE,OAAO,CAAC;CACxB"}

package/dist/types.js

@@ -1,7 +1,8 @@
 /**
- * Graph-IR Type Definitions
+ * Public GraphIR types.
  *
- * Based on docs/schema-specification.md
+ * Authored contract declarations are vendored in canonical-types.ts from the
+ * graph-ir specification. Runtime validation result types are defined here.
  */
 export {};
 //# sourceMappingURL=types.js.map

package/dist/types.js.map

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

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

@@ -1,51 +1,42 @@
-/**
- * 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';
+import type { ValidationOptions, ValidationResult } from '../types.js';
 export declare class IRValidator {
-    private options;
-    private ajv;
-    private schemaValidator;
+    private readonly options;
+    private readonly 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
-     */
+    validate(value: unknown): ValidationResult;
+    private resolveMode;
+    private normalizeSchemaErrors;
+    private pathHasPinnedNode;
+    private validateSemantic;
+    private validatePortableSemantics;
+    private validateInteraction;
+    private indexEntities;
+    private validateCompleteOrder;
+    private referenceError;
+    private asRecord;
+    private asArray;
+    private stringArray;
+    private validateEdge;
+    private validateConstraints;
+    private validateDirectionalContradictions;
+    private addRelativeEdge;
+    private addArrangementEdges;
+    private checkPinnedRelation;
+    private checkPinnedPair;
+    private canReach;
+    private addWarnings;
+    private collectNodes;
+    private findHierarchyCycle;
+    private isGraphShape;
     private hasPort;
-    /**
-     * Check for cycles in the node hierarchy
-     */
-    private checkHierarchyCycles;
-    /**
-     * Find a similar ID for suggestions
-     */
+    private portIdentity;
+    private joinPointer;
+    private error;
+    private warning;
+    private result;
+    private dedupe;
     private findSimilarId;
-    /**
-     * Calculate Levenshtein distance for similarity
-     */
-    private levenshteinDistance;
+    private levenshtein;
 }
 //# sourceMappingURL=ir-validator.d.ts.map

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

@@ -1 +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"}
+{"version":3,"file":"ir-validator.d.ts","sourceRoot":"","sources":["../../src/validation/ir-validator.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EASV,iBAAiB,EACjB,gBAAgB,EACjB,MAAM,aAAa,CAAC;AAsBrB,qBAAa,WAAW;IACtB,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAoB;IAC5C,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAmB;gBAEvC,OAAO,GAAE,iBAAsB;IAW3C,kBAAkB,CAAC,UAAU,EAAE,MAAM,GAAG,gBAAgB;IAgBxD,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,gBAAgB;IA6C1C,OAAO,CAAC,WAAW;IAuBnB,OAAO,CAAC,qBAAqB;IAkC7B,OAAO,CAAC,iBAAiB;IAIzB,OAAO,CAAC,gBAAgB;IA0ExB,OAAO,CAAC,yBAAyB;IAoHjC,OAAO,CAAC,mBAAmB;IA+K3B,OAAO,CAAC,aAAa;IAmBrB,OAAO,CAAC,qBAAqB;IAe7B,OAAO,CAAC,cAAc;IAetB,OAAO,CAAC,QAAQ;IAKhB,OAAO,CAAC,OAAO;IAIf,OAAO,CAAC,WAAW;IAInB,OAAO,CAAC,YAAY;IA4DpB,OAAO,CAAC,mBAAmB;IAqE3B,OAAO,CAAC,iCAAiC;IAsCzC,OAAO,CAAC,eAAe;IA0BvB,OAAO,CAAC,mBAAmB;IA8B3B,OAAO,CAAC,mBAAmB;IAgB3B,OAAO,CAAC,eAAe;IAwCvB,OAAO,CAAC,QAAQ;IAmBhB,OAAO,CAAC,WAAW;IA+BnB,OAAO,CAAC,YAAY;IAuBpB,OAAO,CAAC,kBAAkB;IAqB1B,OAAO,CAAC,YAAY;IAMpB,OAAO,CAAC,OAAO;IAOf,OAAO,CAAC,YAAY;IAIpB,OAAO,CAAC,WAAW;IAKnB,OAAO,CAAC,KAAK;IASb,OAAO,CAAC,OAAO;IAQf,OAAO,CAAC,MAAM;IAId,OAAO,CAAC,MAAM;IAUd,OAAO,CAAC,aAAa;IAerB,OAAO,CAAC,WAAW;CAmBpB"}