@principal-ai/subsystems-core 0.29.0

package/dist/rules/engine.js

@@ -0,0 +1,373 @@
+"use strict";
+/**
+ * Graph Rules Engine
+ * Central orchestrator for configuration validation rules
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.createRulesEngine = exports.GraphRulesEngine = void 0;
+const api_1 = require("@opentelemetry/api");
+const types_1 = require("./types");
+// Get tracer for instrumentation
+const tracer = api_1.trace.getTracer('principal-view-core');
+/**
+ * Graph Rules Engine - validates GraphConfiguration against registered rules
+ */
+class GraphRulesEngine {
+    constructor() {
+        this.rules = new Map();
+        // Rules are registered via registerRule() or registerBuiltinRules()
+    }
+    /**
+     * Register a single rule
+     */
+    registerRule(rule) {
+        if (this.rules.has(rule.id)) {
+            throw new Error(`Rule "${rule.id}" is already registered`);
+        }
+        this.rules.set(rule.id, rule);
+    }
+    /**
+     * Register multiple rules at once
+     */
+    registerRules(rules) {
+        for (const rule of rules) {
+            this.registerRule(rule);
+        }
+    }
+    /**
+     * Unregister a rule by ID
+     */
+    unregisterRule(ruleId) {
+        return this.rules.delete(ruleId);
+    }
+    /**
+     * Get a rule by ID
+     */
+    getRule(ruleId) {
+        return this.rules.get(ruleId);
+    }
+    /**
+     * Get all registered rules
+     */
+    getAllRules() {
+        return new Map(this.rules);
+    }
+    /**
+     * Get rules by category
+     */
+    getRulesByCategory(category) {
+        return Array.from(this.rules.values()).filter((rule) => rule.category === category);
+    }
+    /**
+     * Lint a configuration against all enabled rules
+     */
+    async lint(configuration, options) {
+        const span = tracer.startSpan('rules.lint', {
+            attributes: {
+                'lint.config.path': options?.configPath ?? 'unknown',
+                'lint.rules.total': this.rules.size,
+                'lint.library.provided': !!options?.library,
+            },
+        });
+        try {
+            const violations = [];
+            let rulesExecuted = 0;
+            let rulesSkipped = 0;
+            span.addEvent('lint.started', {
+                'rules.registered': this.rules.size,
+            });
+            for (const [ruleId, rule] of this.rules) {
+                // Check if rule should be skipped
+                if (!this.shouldRunRule(rule, options)) {
+                    rulesSkipped++;
+                    continue;
+                }
+                // Build context for this rule
+                const context = this.buildRuleContext(configuration, rule, options);
+                // Get effective severity
+                const effectiveSeverity = this.getEffectiveSeverity(rule, options);
+                if (effectiveSeverity === 'off') {
+                    rulesSkipped++;
+                    continue;
+                }
+                // Create child span for rule execution
+                // Note: Not using context propagation here to avoid Bun compatibility issues
+                const ruleSpan = tracer.startSpan('rule.execute', {
+                    attributes: {
+                        'rule.id': ruleId,
+                        'rule.category': rule.category,
+                        'rule.severity': effectiveSeverity,
+                        'rule.name': rule.name,
+                        'parent.span.id': span.spanContext().spanId,
+                    },
+                });
+                try {
+                    const ruleStartTime = Date.now();
+                    // Execute rule check
+                    const ruleViolations = await rule.check(context);
+                    const ruleDuration = Date.now() - ruleStartTime;
+                    rulesExecuted++;
+                    // Apply effective severity to all violations
+                    for (const violation of ruleViolations) {
+                        violation.severity = effectiveSeverity;
+                        violations.push(violation);
+                    }
+                    // Record rule completion event
+                    ruleSpan.addEvent('rule.completed', {
+                        'rule.violations.count': ruleViolations.length,
+                        'rule.duration.ms': ruleDuration,
+                    });
+                    // If violations found, add event to parent span
+                    if (ruleViolations.length > 0) {
+                        span.addEvent('violations.detected', {
+                            'rule.id': ruleId,
+                            'rule.category': rule.category,
+                            'violations.count': ruleViolations.length,
+                            'violations.severity': effectiveSeverity,
+                        });
+                    }
+                    ruleSpan.setStatus({ code: api_1.SpanStatusCode.OK });
+                }
+                catch (error) {
+                    // Rule execution error - report as a violation
+                    const errorMessage = error instanceof Error ? error.message : String(error);
+                    violations.push({
+                        ruleId,
+                        severity: 'error',
+                        message: `Rule "${ruleId}" threw an error: ${errorMessage}`,
+                        impact: 'Rule could not complete validation',
+                        fixable: false,
+                    });
+                    ruleSpan.addEvent('rule.error', {
+                        'error.message': errorMessage,
+                        'error.type': error instanceof Error ? error.constructor.name : 'unknown',
+                    });
+                    ruleSpan.setStatus({
+                        code: api_1.SpanStatusCode.ERROR,
+                        message: errorMessage,
+                    });
+                    span.addEvent('rule.execution.error', {
+                        'rule.id': ruleId,
+                        'error.message': errorMessage,
+                    });
+                }
+                finally {
+                    ruleSpan.end();
+                }
+            }
+            const result = this.buildResult(violations);
+            // Record final statistics
+            span.addEvent('lint.completed', {
+                'lint.rules.executed': rulesExecuted,
+                'lint.rules.skipped': rulesSkipped,
+                'lint.violations.total': violations.length,
+                'lint.violations.errors': result.errorCount,
+                'lint.violations.warnings': result.warningCount,
+                'lint.violations.fixable': result.fixableCount,
+            });
+            span.setStatus({ code: api_1.SpanStatusCode.OK });
+            return result;
+        }
+        catch (error) {
+            const errorMessage = error instanceof Error ? error.message : String(error);
+            span.setStatus({
+                code: api_1.SpanStatusCode.ERROR,
+                message: errorMessage,
+            });
+            span.recordException(error instanceof Error ? error : new Error(errorMessage));
+            throw error;
+        }
+        finally {
+            span.end();
+        }
+    }
+    /**
+     * Lint a configuration with VGC config file settings applied
+     */
+    async lintWithConfig(configuration, privuConfig, options) {
+        const span = tracer.startSpan('rules.lintWithConfig', {
+            attributes: {
+                'config.path': options?.configPath ?? 'unknown',
+                'config.has.rules': !!privuConfig.rules,
+                'config.has.library': !!privuConfig.library,
+            },
+        });
+        try {
+            span.addEvent('config.parsing');
+            // Convert VGC config rules to lint options
+            const { ruleOptions, severityOverrides, disabledRules } = this.parsePrivuConfigRules(privuConfig.rules);
+            span.addEvent('config.parsed', {
+                'config.rule.options.count': ruleOptions.size,
+                'config.severity.overrides.count': severityOverrides.size,
+                'config.disabled.rules.count': disabledRules.length,
+            });
+            const result = await this.lint(configuration, {
+                ...options,
+                ruleOptions,
+                severityOverrides,
+                disabledRules: [...(options?.disabledRules ?? []), ...disabledRules],
+            });
+            span.setStatus({ code: api_1.SpanStatusCode.OK });
+            return result;
+        }
+        catch (error) {
+            const errorMessage = error instanceof Error ? error.message : String(error);
+            span.setStatus({
+                code: api_1.SpanStatusCode.ERROR,
+                message: errorMessage,
+            });
+            span.recordException(error instanceof Error ? error : new Error(errorMessage));
+            throw error;
+        }
+        finally {
+            span.end();
+        }
+    }
+    /**
+     * Check if a rule should run based on options
+     */
+    shouldRunRule(rule, options) {
+        // Check disabled rules list
+        if (options?.disabledRules?.includes(rule.id)) {
+            return false;
+        }
+        // Check enabled rules list (if specified, only run those)
+        if (options?.enabledRules && options.enabledRules.length > 0) {
+            return options.enabledRules.includes(rule.id);
+        }
+        // Check rule's default enabled state
+        return rule.enabled;
+    }
+    /**
+     * Get the effective severity for a rule
+     */
+    getEffectiveSeverity(rule, options) {
+        // Check for override
+        if (options?.severityOverrides?.has(rule.id)) {
+            return options.severityOverrides.get(rule.id);
+        }
+        // Use rule's default severity
+        return rule.severity;
+    }
+    /**
+     * Build the context object for a rule
+     */
+    buildRuleContext(configuration, rule, options) {
+        // Merge default options with provided options
+        const ruleSpecificOptions = options?.ruleOptions?.get(rule.id);
+        const mergedOptions = {
+            ...rule.defaultOptions,
+            ...ruleSpecificOptions,
+        };
+        return {
+            configuration,
+            library: options?.library,
+            configPath: options?.configPath,
+            libraryPath: options?.libraryPath,
+            rawContent: options?.rawContent,
+            options: mergedOptions,
+            allRuleOptions: options?.ruleOptions,
+        };
+    }
+    /**
+     * Build the final lint result from violations
+     */
+    buildResult(violations) {
+        const byCategory = {
+            schema: 0,
+            reference: 0,
+            structure: 0,
+            pattern: 0,
+            library: 0,
+        };
+        const byRule = {};
+        let errorCount = 0;
+        let warningCount = 0;
+        let fixableCount = 0;
+        for (const violation of violations) {
+            // Count by severity
+            if (violation.severity === 'error') {
+                errorCount++;
+            }
+            else if (violation.severity === 'warn') {
+                warningCount++;
+            }
+            // Count fixable
+            if (violation.fixable) {
+                fixableCount++;
+            }
+            // Count by rule
+            byRule[violation.ruleId] = (byRule[violation.ruleId] ?? 0) + 1;
+            // Count by category
+            const rule = this.rules.get(violation.ruleId);
+            if (rule) {
+                byCategory[rule.category]++;
+            }
+        }
+        return {
+            violations,
+            errorCount,
+            warningCount,
+            fixableCount,
+            byCategory,
+            byRule,
+        };
+    }
+    /**
+     * Parse VGC config rules into lint options
+     */
+    parsePrivuConfigRules(rules) {
+        const ruleOptions = new Map();
+        const severityOverrides = new Map();
+        const disabledRules = [];
+        if (!rules) {
+            return { ruleOptions, severityOverrides, disabledRules };
+        }
+        for (const [ruleId, config] of Object.entries(rules)) {
+            // Handle false (disabled)
+            if (config === false) {
+                disabledRules.push(ruleId);
+                continue;
+            }
+            // Handle severity shorthand
+            if (typeof config === 'string' || typeof config === 'number') {
+                const severity = (0, types_1.normalizeSeverity)(config);
+                if (severity === 'off') {
+                    disabledRules.push(ruleId);
+                }
+                else {
+                    severityOverrides.set(ruleId, severity);
+                }
+                continue;
+            }
+            // Handle full config object
+            const ruleConfig = config;
+            if (ruleConfig.severity !== undefined) {
+                const severity = (0, types_1.normalizeSeverity)(ruleConfig.severity);
+                if (severity === 'off') {
+                    disabledRules.push(ruleId);
+                }
+                else {
+                    severityOverrides.set(ruleId, severity);
+                }
+            }
+            if (ruleConfig.options) {
+                ruleOptions.set(ruleId, ruleConfig.options);
+            }
+        }
+        return { ruleOptions, severityOverrides, disabledRules };
+    }
+}
+exports.GraphRulesEngine = GraphRulesEngine;
+/**
+ * Create a new rules engine with optional initial rules
+ */
+function createRulesEngine(rules) {
+    const engine = new GraphRulesEngine();
+    if (rules) {
+        engine.registerRules(rules);
+    }
+    return engine;
+}
+exports.createRulesEngine = createRulesEngine;
+//# sourceMappingURL=engine.js.map

package/dist/rules/engine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../src/rules/engine.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAEH,4CAA2D;AAe3D,mCAA4C;AAE5C,iCAAiC;AACjC,MAAM,MAAM,GAAG,WAAK,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;AAEtD;;GAEG;AACH,MAAa,gBAAgB;IAG3B;QAFQ,UAAK,GAA2B,IAAI,GAAG,EAAE,CAAC;QAGhD,oEAAoE;IACtE,CAAC;IAED;;OAEG;IACH,YAAY,CAAC,IAAe;QAC1B,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;YAC3B,MAAM,IAAI,KAAK,CAAC,SAAS,IAAI,CAAC,EAAE,yBAAyB,CAAC,CAAC;SAC5D;QACD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IAChC,CAAC;IAED;;OAEG;IACH,aAAa,CAAC,KAAkB;QAC9B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE;YACxB,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;SACzB;IACH,CAAC;IAED;;OAEG;IACH,cAAc,CAAC,MAAc;QAC3B,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC;IAED;;OAEG;IACH,OAAO,CAAC,MAAc;QACpB,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAChC,CAAC;IAED;;OAEG;IACH,WAAW;QACT,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC;IAED;;OAEG;IACH,kBAAkB,CAAC,QAAsB;QACvC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC;IACtF,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,IAAI,CAAC,aAAiC,EAAE,OAAqB;QACjE,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC,YAAY,EAAE;YAC1C,UAAU,EAAE;gBACV,kBAAkB,EAAE,OAAO,EAAE,UAAU,IAAI,SAAS;gBACpD,kBAAkB,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI;gBACnC,uBAAuB,EAAE,CAAC,CAAC,OAAO,EAAE,OAAO;aAC5C;SACF,CAAC,CAAC;QAEH,IAAI;YACF,MAAM,UAAU,GAAyB,EAAE,CAAC;YAC5C,IAAI,aAAa,GAAG,CAAC,CAAC;YACtB,IAAI,YAAY,GAAG,CAAC,CAAC;YAErB,IAAI,CAAC,QAAQ,CAAC,cAAc,EAAE;gBAC5B,kBAAkB,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI;aACpC,CAAC,CAAC;YAEH,KAAK,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE;gBACvC,kCAAkC;gBAClC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE;oBACtC,YAAY,EAAE,CAAC;oBACf,SAAS;iBACV;gBAED,8BAA8B;gBAC9B,MAAM,OAAO,GAAG,IAAI,CAAC,gBAAgB,CAAC,aAAa,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBAEpE,yBAAyB;gBACzB,MAAM,iBAAiB,GAAG,IAAI,CAAC,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBACnE,IAAI,iBAAiB,KAAK,KAAK,EAAE;oBAC/B,YAAY,EAAE,CAAC;oBACf,SAAS;iBACV;gBAED,uCAAuC;gBACvC,6EAA6E;gBAC7E,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAC,cAAc,EAAE;oBAChD,UAAU,EAAE;wBACV,SAAS,EAAE,MAAM;wBACjB,eAAe,EAAE,IAAI,CAAC,QAAQ;wBAC9B,eAAe,EAAE,iBAAiB;wBAClC,WAAW,EAAE,IAAI,CAAC,IAAI;wBACtB,gBAAgB,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,MAAM;qBAC5C;iBACF,CAAC,CAAC;gBAEH,IAAI;oBACF,MAAM,aAAa,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;oBAEjC,qBAAqB;oBACrB,MAAM,cAAc,GAAG,MAAM,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;oBAEjD,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,aAAa,CAAC;oBAChD,aAAa,EAAE,CAAC;oBAEhB,6CAA6C;oBAC7C,KAAK,MAAM,SAAS,IAAI,cAAc,EAAE;wBACtC,SAAS,CAAC,QAAQ,GAAG,iBAAiB,CAAC;wBACvC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;qBAC5B;oBAED,+BAA+B;oBAC/B,QAAQ,CAAC,QAAQ,CAAC,gBAAgB,EAAE;wBAClC,uBAAuB,EAAE,cAAc,CAAC,MAAM;wBAC9C,kBAAkB,EAAE,YAAY;qBACjC,CAAC,CAAC;oBAEH,gDAAgD;oBAChD,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE;wBAC7B,IAAI,CAAC,QAAQ,CAAC,qBAAqB,EAAE;4BACnC,SAAS,EAAE,MAAM;4BACjB,eAAe,EAAE,IAAI,CAAC,QAAQ;4BAC9B,kBAAkB,EAAE,cAAc,CAAC,MAAM;4BACzC,qBAAqB,EAAE,iBAAiB;yBACzC,CAAC,CAAC;qBACJ;oBAED,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,oBAAc,CAAC,EAAE,EAAE,CAAC,CAAC;iBACjD;gBAAC,OAAO,KAAK,EAAE;oBACd,+CAA+C;oBAC/C,MAAM,YAAY,GAChB,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;oBAEzD,UAAU,CAAC,IAAI,CAAC;wBACd,MAAM;wBACN,QAAQ,EAAE,OAAO;wBACjB,OAAO,EAAE,SAAS,MAAM,qBAAqB,YAAY,EAAE;wBAC3D,MAAM,EAAE,oCAAoC;wBAC5C,OAAO,EAAE,KAAK;qBACf,CAAC,CAAC;oBAEH,QAAQ,CAAC,QAAQ,CAAC,YAAY,EAAE;wBAC9B,eAAe,EAAE,YAAY;wBAC7B,YAAY,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS;qBAC1E,CAAC,CAAC;oBAEH,QAAQ,CAAC,SAAS,CAAC;wBACjB,IAAI,EAAE,oBAAc,CAAC,KAAK;wBAC1B,OAAO,EAAE,YAAY;qBACtB,CAAC,CAAC;oBAEH,IAAI,CAAC,QAAQ,CAAC,sBAAsB,EAAE;wBACpC,SAAS,EAAE,MAAM;wBACjB,eAAe,EAAE,YAAY;qBAC9B,CAAC,CAAC;iBACJ;wBAAS;oBACR,QAAQ,CAAC,GAAG,EAAE,CAAC;iBAChB;aACF;YAED,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;YAE5C,0BAA0B;YAC1B,IAAI,CAAC,QAAQ,CAAC,gBAAgB,EAAE;gBAC9B,qBAAqB,EAAE,aAAa;gBACpC,oBAAoB,EAAE,YAAY;gBAClC,uBAAuB,EAAE,UAAU,CAAC,MAAM;gBAC1C,wBAAwB,EAAE,MAAM,CAAC,UAAU;gBAC3C,0BAA0B,EAAE,MAAM,CAAC,YAAY;gBAC/C,yBAAyB,EAAE,MAAM,CAAC,YAAY;aAC/C,CAAC,CAAC;YAEH,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,oBAAc,CAAC,EAAE,EAAE,CAAC,CAAC;YAC5C,OAAO,MAAM,CAAC;SACf;QAAC,OAAO,KAAK,EAAE;YACd,MAAM,YAAY,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAC5E,IAAI,CAAC,SAAS,CAAC;gBACb,IAAI,EAAE,oBAAc,CAAC,KAAK;gBAC1B,OAAO,EAAE,YAAY;aACtB,CAAC,CAAC;YACH,IAAI,CAAC,eAAe,CAAC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC;YAC/E,MAAM,KAAK,CAAC;SACb;gBAAS;YACR,IAAI,CAAC,GAAG,EAAE,CAAC;SACZ;IACH,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,cAAc,CAClB,aAAiC,EACjC,WAAwB,EACxB,OAAgE;QAEhE,MAAM,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC,sBAAsB,EAAE;YACpD,UAAU,EAAE;gBACV,aAAa,EAAE,OAAO,EAAE,UAAU,IAAI,SAAS;gBAC/C,kBAAkB,EAAE,CAAC,CAAC,WAAW,CAAC,KAAK;gBACvC,oBAAoB,EAAE,CAAC,CAAC,WAAW,CAAC,OAAO;aAC5C;SACF,CAAC,CAAC;QAEH,IAAI;YACF,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC;YAEhC,2CAA2C;YAC3C,MAAM,EAAE,WAAW,EAAE,iBAAiB,EAAE,aAAa,EAAE,GAAG,IAAI,CAAC,qBAAqB,CAClF,WAAW,CAAC,KAAK,CAClB,CAAC;YAEF,IAAI,CAAC,QAAQ,CAAC,eAAe,EAAE;gBAC7B,2BAA2B,EAAE,WAAW,CAAC,IAAI;gBAC7C,iCAAiC,EAAE,iBAAiB,CAAC,IAAI;gBACzD,6BAA6B,EAAE,aAAa,CAAC,MAAM;aACpD,CAAC,CAAC;YAEH,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE;gBAC5C,GAAG,OAAO;gBACV,WAAW;gBACX,iBAAiB;gBACjB,aAAa,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,aAAa,IAAI,EAAE,CAAC,EAAE,GAAG,aAAa,CAAC;aACrE,CAAC,CAAC;YAEH,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,oBAAc,CAAC,EAAE,EAAE,CAAC,CAAC;YAC5C,OAAO,MAAM,CAAC;SACf;QAAC,OAAO,KAAK,EAAE;YACd,MAAM,YAAY,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAC5E,IAAI,CAAC,SAAS,CAAC;gBACb,IAAI,EAAE,oBAAc,CAAC,KAAK;gBAC1B,OAAO,EAAE,YAAY;aACtB,CAAC,CAAC;YACH,IAAI,CAAC,eAAe,CAAC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC;YAC/E,MAAM,KAAK,CAAC;SACb;gBAAS;YACR,IAAI,CAAC,GAAG,EAAE,CAAC;SACZ;IACH,CAAC;IAED;;OAEG;IACK,aAAa,CAAC,IAAe,EAAE,OAAqB;QAC1D,4BAA4B;QAC5B,IAAI,OAAO,EAAE,aAAa,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;YAC7C,OAAO,KAAK,CAAC;SACd;QAED,0DAA0D;QAC1D,IAAI,OAAO,EAAE,YAAY,IAAI,OAAO,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE;YAC5D,OAAO,OAAO,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;SAC/C;QAED,qCAAqC;QACrC,OAAO,IAAI,CAAC,OAAO,CAAC;IACtB,CAAC;IAED;;OAEG;IACK,oBAAoB,CAAC,IAAe,EAAE,OAAqB;QACjE,qBAAqB;QACrB,IAAI,OAAO,EAAE,iBAAiB,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE;YAC5C,OAAO,OAAO,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAE,CAAC;SAChD;QAED,8BAA8B;QAC9B,OAAO,IAAI,CAAC,QAAQ,CAAC;IACvB,CAAC;IAED;;OAEG;IACK,gBAAgB,CACtB,aAAiC,EACjC,IAAyB,EACzB,OAAqB;QAErB,8CAA8C;QAC9C,MAAM,mBAAmB,GAAG,OAAO,EAAE,WAAW,EAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAyB,CAAC;QACvF,MAAM,aAAa,GAAG;YACpB,GAAG,IAAI,CAAC,cAAc;YACtB,GAAG,mBAAmB;SACX,CAAC;QAEd,OAAO;YACL,aAAa;YACb,OAAO,EAAE,OAAO,EAAE,OAAO;YACzB,UAAU,EAAE,OAAO,EAAE,UAAU;YAC/B,WAAW,EAAE,OAAO,EAAE,WAAW;YACjC,UAAU,EAAE,OAAO,EAAE,UAAU;YAC/B,OAAO,EAAE,aAAa;YACtB,cAAc,EAAE,OAAO,EAAE,WAAW;SACrC,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,WAAW,CAAC,UAAgC;QAClD,MAAM,UAAU,GAAiC;YAC/C,MAAM,EAAE,CAAC;YACT,SAAS,EAAE,CAAC;YACZ,SAAS,EAAE,CAAC;YACZ,OAAO,EAAE,CAAC;YACV,OAAO,EAAE,CAAC;SACX,CAAC;QAEF,MAAM,MAAM,GAA2B,EAAE,CAAC;QAE1C,IAAI,UAAU,GAAG,CAAC,CAAC;QACnB,IAAI,YAAY,GAAG,CAAC,CAAC;QACrB,IAAI,YAAY,GAAG,CAAC,CAAC;QAErB,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE;YAClC,oBAAoB;YACpB,IAAI,SAAS,CAAC,QAAQ,KAAK,OAAO,EAAE;gBAClC,UAAU,EAAE,CAAC;aACd;iBAAM,IAAI,SAAS,CAAC,QAAQ,KAAK,MAAM,EAAE;gBACxC,YAAY,EAAE,CAAC;aAChB;YAED,gBAAgB;YAChB,IAAI,SAAS,CAAC,OAAO,EAAE;gBACrB,YAAY,EAAE,CAAC;aAChB;YAED,gBAAgB;YAChB,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YAE/D,oBAAoB;YACpB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;YAC9C,IAAI,IAAI,EAAE;gBACR,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;aAC7B;SACF;QAED,OAAO;YACL,UAAU;YACV,UAAU;YACV,YAAY;YACZ,YAAY;YACZ,UAAU;YACV,MAAM;SACP,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,qBAAqB,CAAC,KAA4B;QAKxD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAuB,CAAC;QACnD,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAA8B,CAAC;QAChE,MAAM,aAAa,GAAa,EAAE,CAAC;QAEnC,IAAI,CAAC,KAAK,EAAE;YACV,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,aAAa,EAAE,CAAC;SAC1D;QAED,KAAK,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE;YACpD,0BAA0B;YAC1B,IAAI,MAAM,KAAK,KAAK,EAAE;gBACpB,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBAC3B,SAAS;aACV;YAED,4BAA4B;YAC5B,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE;gBAC5D,MAAM,QAAQ,GAAG,IAAA,yBAAiB,EAAC,MAAsB,CAAC,CAAC;gBAC3D,IAAI,QAAQ,KAAK,KAAK,EAAE;oBACtB,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;iBAC5B;qBAAM;oBACL,iBAAiB,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;iBACzC;gBACD,SAAS;aACV;YAED,4BAA4B;YAC5B,MAAM,UAAU,GAAG,MAAoB,CAAC;YAExC,IAAI,UAAU,CAAC,QAAQ,KAAK,SAAS,EAAE;gBACrC,MAAM,QAAQ,GAAG,IAAA,yBAAiB,EAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;gBACxD,IAAI,QAAQ,KAAK,KAAK,EAAE;oBACtB,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;iBAC5B;qBAAM;oBACL,iBAAiB,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;iBACzC;aACF;YAED,IAAI,UAAU,CAAC,OAAO,EAAE;gBACtB,WAAW,CAAC,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC;aAC7C;SACF;QAED,OAAO,EAAE,WAAW,EAAE,iBAAiB,EAAE,aAAa,EAAE,CAAC;IAC3D,CAAC;CACF;AAxZD,4CAwZC;AAED;;GAEG;AACH,SAAgB,iBAAiB,CAAC,KAAmB;IACnD,MAAM,MAAM,GAAG,IAAI,gBAAgB,EAAE,CAAC;IACtC,IAAI,KAAK,EAAE;QACT,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC;KAC7B;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAND,8CAMC"}

package/dist/rules/implementations/connection-type-references.d.ts

@@ -0,0 +1,7 @@
+/**
+ * Rule: connection-type-references
+ * Ensures allowedConnections only reference existing nodeTypes and edgeTypes
+ */
+import type { GraphRule } from '../types';
+export declare const connectionTypeReferences: GraphRule;
+//# sourceMappingURL=connection-type-references.d.ts.map

package/dist/rules/implementations/connection-type-references.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"connection-type-references.d.ts","sourceRoot":"","sources":["../../../src/rules/implementations/connection-type-references.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAwC,MAAM,UAAU,CAAC;AAEhF,eAAO,MAAM,wBAAwB,EAAE,SAgFtC,CAAC"}

package/dist/rules/implementations/connection-type-references.js

@@ -0,0 +1,107 @@
+"use strict";
+/**
+ * Rule: connection-type-references
+ * Ensures allowedConnections only reference existing nodeTypes and edgeTypes
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.connectionTypeReferences = void 0;
+exports.connectionTypeReferences = {
+    id: 'connection-type-references',
+    name: 'Connection Type References',
+    description: 'allowedConnections must reference existing nodeTypes and edgeTypes',
+    impact: 'Invalid references will cause connection validation to fail',
+    severity: 'error',
+    category: 'reference',
+    enabled: true,
+    fixable: false,
+    async check(context) {
+        const violations = [];
+        const { configuration, configPath } = context;
+        if (!configuration.allowedConnections || configuration.allowedConnections.length === 0) {
+            return violations;
+        }
+        // Get defined node and edge types
+        const nodeTypeIds = new Set(Object.keys(configuration.nodeTypes ?? {}));
+        const edgeTypeIds = new Set(Object.keys(configuration.edgeTypes ?? {}));
+        for (let i = 0; i < configuration.allowedConnections.length; i++) {
+            const connection = configuration.allowedConnections[i];
+            const basePath = `allowedConnections[${i}]`;
+            // Check 'from' references a valid nodeType
+            if (connection.from && !nodeTypeIds.has(connection.from)) {
+                const suggestion = findSimilar(connection.from, nodeTypeIds);
+                violations.push({
+                    ruleId: 'connection-type-references',
+                    severity: 'error',
+                    file: configPath,
+                    path: `${basePath}.from`,
+                    message: `Connection rule references undefined nodeType "${connection.from}"`,
+                    impact: 'This connection rule will not match any nodes',
+                    suggestion: suggestion
+                        ? `Did you mean "${suggestion}"?`
+                        : `Available nodeTypes: ${[...nodeTypeIds].join(', ') || '(none defined)'}`,
+                    fixable: false,
+                });
+            }
+            // Check 'to' references a valid nodeType
+            if (connection.to && !nodeTypeIds.has(connection.to)) {
+                const suggestion = findSimilar(connection.to, nodeTypeIds);
+                violations.push({
+                    ruleId: 'connection-type-references',
+                    severity: 'error',
+                    file: configPath,
+                    path: `${basePath}.to`,
+                    message: `Connection rule references undefined nodeType "${connection.to}"`,
+                    impact: 'This connection rule will not match any nodes',
+                    suggestion: suggestion
+                        ? `Did you mean "${suggestion}"?`
+                        : `Available nodeTypes: ${[...nodeTypeIds].join(', ') || '(none defined)'}`,
+                    fixable: false,
+                });
+            }
+            // Check 'via' references a valid edgeType
+            if (connection.via && !edgeTypeIds.has(connection.via)) {
+                const suggestion = findSimilar(connection.via, edgeTypeIds);
+                violations.push({
+                    ruleId: 'connection-type-references',
+                    severity: 'error',
+                    file: configPath,
+                    path: `${basePath}.via`,
+                    message: `Connection rule references undefined edgeType "${connection.via}"`,
+                    impact: 'This connection rule will not match any edges',
+                    suggestion: suggestion
+                        ? `Did you mean "${suggestion}"?`
+                        : `Available edgeTypes: ${[...edgeTypeIds].join(', ') || '(none defined)'}`,
+                    fixable: false,
+                });
+            }
+        }
+        return violations;
+    },
+};
+/**
+ * Find a similar string from a set (for "did you mean" suggestions)
+ */
+function findSimilar(input, candidates) {
+    const inputLower = input.toLowerCase();
+    for (const candidate of candidates) {
+        const candidateLower = candidate.toLowerCase();
+        // Exact substring match
+        if (inputLower.includes(candidateLower) || candidateLower.includes(inputLower)) {
+            return candidate;
+        }
+        // Small edit distance
+        if (Math.abs(input.length - candidate.length) <= 2) {
+            let differences = 0;
+            const minLen = Math.min(inputLower.length, candidateLower.length);
+            for (let i = 0; i < minLen; i++) {
+                if (inputLower[i] !== candidateLower[i])
+                    differences++;
+            }
+            differences += Math.abs(input.length - candidate.length);
+            if (differences <= 2)
+                return candidate;
+        }
+    }
+    return null;
+}
+//# sourceMappingURL=connection-type-references.js.map

package/dist/rules/implementations/connection-type-references.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"connection-type-references.js","sourceRoot":"","sources":["../../../src/rules/implementations/connection-type-references.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAIU,QAAA,wBAAwB,GAAc;IACjD,EAAE,EAAE,4BAA4B;IAChC,IAAI,EAAE,4BAA4B;IAClC,WAAW,EAAE,oEAAoE;IACjF,MAAM,EAAE,6DAA6D;IACrE,QAAQ,EAAE,OAAO;IACjB,QAAQ,EAAE,WAAW;IACrB,OAAO,EAAE,IAAI;IACb,OAAO,EAAE,KAAK;IAEd,KAAK,CAAC,KAAK,CAAC,OAAyB;QACnC,MAAM,UAAU,GAAyB,EAAE,CAAC;QAC5C,MAAM,EAAE,aAAa,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC;QAE9C,IAAI,CAAC,aAAa,CAAC,kBAAkB,IAAI,aAAa,CAAC,kBAAkB,CAAC,MAAM,KAAK,CAAC,EAAE;YACtF,OAAO,UAAU,CAAC;SACnB;QAED,kCAAkC;QAClC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,CAAC;QACxE,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,CAAC;QAExE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,aAAa,CAAC,kBAAkB,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;YAChE,MAAM,UAAU,GAAG,aAAa,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC;YACvD,MAAM,QAAQ,GAAG,sBAAsB,CAAC,GAAG,CAAC;YAE5C,2CAA2C;YAC3C,IAAI,UAAU,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE;gBACxD,MAAM,UAAU,GAAG,WAAW,CAAC,UAAU,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;gBAC7D,UAAU,CAAC,IAAI,CAAC;oBACd,MAAM,EAAE,4BAA4B;oBACpC,QAAQ,EAAE,OAAO;oBACjB,IAAI,EAAE,UAAU;oBAChB,IAAI,EAAE,GAAG,QAAQ,OAAO;oBACxB,OAAO,EAAE,kDAAkD,UAAU,CAAC,IAAI,GAAG;oBAC7E,MAAM,EAAE,+CAA+C;oBACvD,UAAU,EAAE,UAAU;wBACpB,CAAC,CAAC,iBAAiB,UAAU,IAAI;wBACjC,CAAC,CAAC,wBAAwB,CAAC,GAAG,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,gBAAgB,EAAE;oBAC7E,OAAO,EAAE,KAAK;iBACf,CAAC,CAAC;aACJ;YAED,yCAAyC;YACzC,IAAI,UAAU,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE;gBACpD,MAAM,UAAU,GAAG,WAAW,CAAC,UAAU,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC;gBAC3D,UAAU,CAAC,IAAI,CAAC;oBACd,MAAM,EAAE,4BAA4B;oBACpC,QAAQ,EAAE,OAAO;oBACjB,IAAI,EAAE,UAAU;oBAChB,IAAI,EAAE,GAAG,QAAQ,KAAK;oBACtB,OAAO,EAAE,kDAAkD,UAAU,CAAC,EAAE,GAAG;oBAC3E,MAAM,EAAE,+CAA+C;oBACvD,UAAU,EAAE,UAAU;wBACpB,CAAC,CAAC,iBAAiB,UAAU,IAAI;wBACjC,CAAC,CAAC,wBAAwB,CAAC,GAAG,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,gBAAgB,EAAE;oBAC7E,OAAO,EAAE,KAAK;iBACf,CAAC,CAAC;aACJ;YAED,0CAA0C;YAC1C,IAAI,UAAU,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE;gBACtD,MAAM,UAAU,GAAG,WAAW,CAAC,UAAU,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;gBAC5D,UAAU,CAAC,IAAI,CAAC;oBACd,MAAM,EAAE,4BAA4B;oBACpC,QAAQ,EAAE,OAAO;oBACjB,IAAI,EAAE,UAAU;oBAChB,IAAI,EAAE,GAAG,QAAQ,MAAM;oBACvB,OAAO,EAAE,kDAAkD,UAAU,CAAC,GAAG,GAAG;oBAC5E,MAAM,EAAE,+CAA+C;oBACvD,UAAU,EAAE,UAAU;wBACpB,CAAC,CAAC,iBAAiB,UAAU,IAAI;wBACjC,CAAC,CAAC,wBAAwB,CAAC,GAAG,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,gBAAgB,EAAE;oBAC7E,OAAO,EAAE,KAAK;iBACf,CAAC,CAAC;aACJ;SACF;QAED,OAAO,UAAU,CAAC;IACpB,CAAC;CACF,CAAC;AAEF;;GAEG;AACH,SAAS,WAAW,CAAC,KAAa,EAAE,UAAuB;IACzD,MAAM,UAAU,GAAG,KAAK,CAAC,WAAW,EAAE,CAAC;IAEvC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE;QAClC,MAAM,cAAc,GAAG,SAAS,CAAC,WAAW,EAAE,CAAC;QAE/C,wBAAwB;QACxB,IAAI,UAAU,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,cAAc,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE;YAC9E,OAAO,SAAS,CAAC;SAClB;QAED,sBAAsB;QACtB,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE;YAClD,IAAI,WAAW,GAAG,CAAC,CAAC;YACpB,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,EAAE,cAAc,CAAC,MAAM,CAAC,CAAC;YAClE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,EAAE,EAAE;gBAC/B,IAAI,UAAU,CAAC,CAAC,CAAC,KAAK,cAAc,CAAC,CAAC,CAAC;oBAAE,WAAW,EAAE,CAAC;aACxD;YACD,WAAW,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC;YACzD,IAAI,WAAW,IAAI,CAAC;gBAAE,OAAO,SAAS,CAAC;SACxC;KACF;IAED,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/rules/implementations/dead-end-states.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Rule: dead-end-states
+ * Warns when states have no exit transitions (except terminal states)
+ */
+import type { GraphRule, RuleOptions } from '../types';
+/**
+ * Options for dead-end-states rule
+ */
+export interface DeadEndStatesOptions extends RuleOptions {
+    /**
+     * States that are intentionally terminal (no exits expected)
+     * @default ["completed", "failed", "terminated", "done", "error", "finished", "end"]
+     */
+    terminalStates: string[];
+}
+export declare const deadEndStates: GraphRule<DeadEndStatesOptions>;
+//# sourceMappingURL=dead-end-states.d.ts.map

package/dist/rules/implementations/dead-end-states.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dead-end-states.d.ts","sourceRoot":"","sources":["../../../src/rules/implementations/dead-end-states.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAwC,WAAW,EAAE,MAAM,UAAU,CAAC;AAE7F;;GAEG;AACH,MAAM,WAAW,oBAAqB,SAAQ,WAAW;IACvD;;;OAGG;IACH,cAAc,EAAE,MAAM,EAAE,CAAC;CAC1B;AAMD,eAAO,MAAM,aAAa,EAAE,SAAS,CAAC,oBAAoB,CA8EzD,CAAC"}

package/dist/rules/implementations/dead-end-states.js

@@ -0,0 +1,75 @@
+"use strict";
+/**
+ * Rule: dead-end-states
+ * Warns when states have no exit transitions (except terminal states)
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.deadEndStates = void 0;
+const DEFAULT_OPTIONS = {
+    terminalStates: ['completed', 'failed', 'terminated', 'done', 'error', 'finished', 'end'],
+};
+exports.deadEndStates = {
+    id: 'dead-end-states',
+    name: 'Dead End States',
+    description: 'States should have exit transitions unless they are terminal states',
+    impact: 'Dead-end states may trap entities unexpectedly',
+    severity: 'error',
+    category: 'structure',
+    enabled: true,
+    fixable: false,
+    defaultOptions: DEFAULT_OPTIONS,
+    async check(context) {
+        const violations = [];
+        const { configuration, configPath, options } = context;
+        const terminalStates = new Set((options.terminalStates ?? DEFAULT_OPTIONS.terminalStates).map((s) => s.toLowerCase()));
+        if (!configuration.nodeTypes) {
+            return violations;
+        }
+        // For each nodeType with states, check if all non-terminal states have exits
+        for (const [typeId, nodeType] of Object.entries(configuration.nodeTypes)) {
+            if (!nodeType.states || Object.keys(nodeType.states).length === 0) {
+                continue;
+            }
+            const stateIds = Object.keys(nodeType.states);
+            // If there's only one state, no transitions expected
+            if (stateIds.length <= 1) {
+                continue;
+            }
+            // Get state transitions for this nodeType
+            const transitions = configuration.validation?.stateTransitions?.[typeId];
+            // Build set of states that have exit transitions
+            const statesWithExits = new Set();
+            if (transitions && Array.isArray(transitions)) {
+                for (const transition of transitions) {
+                    if (transition.from) {
+                        statesWithExits.add(transition.from);
+                    }
+                }
+            }
+            // Check for dead-end states
+            for (const stateId of stateIds) {
+                // Skip if this state has exits
+                if (statesWithExits.has(stateId)) {
+                    continue;
+                }
+                // Skip if this is a known terminal state
+                if (terminalStates.has(stateId.toLowerCase())) {
+                    continue;
+                }
+                // This is a dead-end state
+                violations.push({
+                    ruleId: 'dead-end-states',
+                    severity: 'error',
+                    file: configPath,
+                    path: `nodeTypes.${typeId}.states.${stateId}`,
+                    message: `State "${stateId}" in node type "${typeId}" has no exit transitions`,
+                    impact: 'Entities in this state cannot transition to other states',
+                    suggestion: `Add a transition from "${stateId}" in validation.stateTransitions.${typeId}, or mark it as a terminal state`,
+                    fixable: false,
+                });
+            }
+        }
+        return violations;
+    },
+};
+//# sourceMappingURL=dead-end-states.js.map

package/dist/rules/implementations/dead-end-states.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dead-end-states.js","sourceRoot":"","sources":["../../../src/rules/implementations/dead-end-states.ts"],"names":[],"mappings":";AAAA;;;GAGG;;;AAeH,MAAM,eAAe,GAAyB;IAC5C,cAAc,EAAE,CAAC,WAAW,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,KAAK,CAAC;CAC1F,CAAC;AAEW,QAAA,aAAa,GAAoC;IAC5D,EAAE,EAAE,iBAAiB;IACrB,IAAI,EAAE,iBAAiB;IACvB,WAAW,EAAE,qEAAqE;IAClF,MAAM,EAAE,gDAAgD;IACxD,QAAQ,EAAE,OAAO;IACjB,QAAQ,EAAE,WAAW;IACrB,OAAO,EAAE,IAAI;IACb,OAAO,EAAE,KAAK;IACd,cAAc,EAAE,eAAe;IAE/B,KAAK,CAAC,KAAK,CAAC,OAA+C;QACzD,MAAM,UAAU,GAAyB,EAAE,CAAC;QAC5C,MAAM,EAAE,aAAa,EAAE,UAAU,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC;QAEvD,MAAM,cAAc,GAAG,IAAI,GAAG,CAC5B,CAAC,OAAO,CAAC,cAAc,IAAI,eAAe,CAAC,cAAc,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CACvF,CAAC;QAEF,IAAI,CAAC,aAAa,CAAC,SAAS,EAAE;YAC5B,OAAO,UAAU,CAAC;SACnB;QAED,6EAA6E;QAC7E,KAAK,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,SAAS,CAAC,EAAE;YACxE,IAAI,CAAC,QAAQ,CAAC,MAAM,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE;gBACjE,SAAS;aACV;YAED,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YAE9C,qDAAqD;YACrD,IAAI,QAAQ,CAAC,MAAM,IAAI,CAAC,EAAE;gBACxB,SAAS;aACV;YAED,0CAA0C;YAC1C,MAAM,WAAW,GAAG,aAAa,CAAC,UAAU,EAAE,gBAAgB,EAAE,CAAC,MAAM,CAAC,CAAC;YAEzE,iDAAiD;YACjD,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;YAE1C,IAAI,WAAW,IAAI,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE;gBAC7C,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE;oBACpC,IAAI,UAAU,CAAC,IAAI,EAAE;wBACnB,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;qBACtC;iBACF;aACF;YAED,4BAA4B;YAC5B,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE;gBAC9B,+BAA+B;gBAC/B,IAAI,eAAe,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE;oBAChC,SAAS;iBACV;gBAED,yCAAyC;gBACzC,IAAI,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC,EAAE;oBAC7C,SAAS;iBACV;gBAED,2BAA2B;gBAC3B,UAAU,CAAC,IAAI,CAAC;oBACd,MAAM,EAAE,iBAAiB;oBACzB,QAAQ,EAAE,OAAO;oBACjB,IAAI,EAAE,UAAU;oBAChB,IAAI,EAAE,aAAa,MAAM,WAAW,OAAO,EAAE;oBAC7C,OAAO,EAAE,UAAU,OAAO,mBAAmB,MAAM,2BAA2B;oBAC9E,MAAM,EAAE,0DAA0D;oBAClE,UAAU,EAAE,0BAA0B,OAAO,oCAAoC,MAAM,kCAAkC;oBACzH,OAAO,EAAE,KAAK;iBACf,CAAC,CAAC;aACJ;SACF;QAED,OAAO,UAAU,CAAC;IACpB,CAAC;CACF,CAAC"}

package/dist/rules/implementations/index.d.ts

@@ -0,0 +1,23 @@
+/**
+ * Built-in rule implementations
+ */
+export { requiredMetadata } from './required-metadata';
+export { validNodeTypes } from './valid-node-types';
+export { validEdgeTypes } from './valid-edge-types';
+export { validColorFormat } from './valid-color-format';
+export { noUnknownFields } from './no-unknown-fields';
+export { connectionTypeReferences } from './connection-type-references';
+export { stateTransitionReferences } from './state-transition-references';
+export { minimumNodeSources, type MinimumNodeSourcesOptions } from './minimum-node-sources';
+export { orphanedNodeTypes } from './orphaned-node-types';
+export { orphanedEdgeTypes } from './orphaned-edge-types';
+export { unreachableStates } from './unreachable-states';
+export { deadEndStates, type DeadEndStatesOptions } from './dead-end-states';
+export { validActionPatterns, type ValidActionPatternsOptions } from './valid-action-patterns';
+import type { GraphRule } from '../types';
+/**
+ * All built-in rules
+ * Cast to GraphRule[] since rules with specific options extend the base interface
+ */
+export declare const builtinRules: GraphRule[];
+//# sourceMappingURL=index.d.ts.map

package/dist/rules/implementations/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/rules/implementations/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC;AACvD,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACpD,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AAGtD,OAAO,EAAE,wBAAwB,EAAE,MAAM,8BAA8B,CAAC;AACxE,OAAO,EAAE,yBAAyB,EAAE,MAAM,+BAA+B,CAAC;AAG1E,OAAO,EAAE,kBAAkB,EAAE,KAAK,yBAAyB,EAAE,MAAM,wBAAwB,CAAC;AAC5F,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,MAAM,uBAAuB,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,KAAK,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AAG7E,OAAO,EAAE,mBAAmB,EAAE,KAAK,0BAA0B,EAAE,MAAM,yBAAyB,CAAC;AAE/F,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAe1C;;;GAGG;AACH,eAAO,MAAM,YAAY,EAAE,SAAS,EAqBnC,CAAC"}