@specverse/engines 4.1.0

package/dist/inference/logical/generators/controller-generator.js

@@ -0,0 +1,303 @@
+/**
+ * Controller Generator for V3.1 Logical Inference
+ * Generates CURED controllers with relationship-aware operations
+ */
+import { RuleEngine } from '../../core/rule-engine.js';
+import { InferenceContextManager, ContextUtils } from '../../core/context.js';
+export class ControllerGenerator {
+    debug;
+    name = 'ControllerGenerator';
+    ruleEngine;
+    contextManager;
+    rulesLoaded = false;
+    constructor(debug = false) {
+        this.debug = debug;
+        this.ruleEngine = new RuleEngine(debug);
+        this.contextManager = new InferenceContextManager(debug);
+    }
+    /**
+     * Load controller inference rules
+     */
+    async loadRules(rules) {
+        if (this.debug) {
+            console.log(`📋 Loading ${rules.length} controller rules`);
+        }
+        const validation = this.ruleEngine.loadRules('controllers', rules);
+        if (validation.valid) {
+            this.rulesLoaded = true;
+            if (this.debug) {
+                console.log(`✅ Controller rules loaded successfully`);
+                const loadedRules = this.ruleEngine.getAllRules();
+                const controllerRules = loadedRules.get('controllers') || [];
+                console.log(`   Rules by priority: ${controllerRules.map(r => `${r.name}(${r.priority})`).join(', ')}`);
+            }
+        }
+        else {
+            console.error('❌ Failed to load controller rules:', validation.errors);
+        }
+        return validation;
+    }
+    /**
+     * Check if this generator supports the given input
+     */
+    supports(input, context) {
+        return this.rulesLoaded && input.name !== undefined;
+    }
+    /**
+     * Generate controllers for all models
+     */
+    async generate(models, baseContext) {
+        const controllers = {};
+        let rulesUsed = 0;
+        const validation = {
+            valid: true,
+            errors: [],
+            warnings: []
+        };
+        if (!this.rulesLoaded) {
+            validation.errors.push({
+                code: 'RULES_NOT_LOADED',
+                message: 'Controller rules not loaded. Call loadRules() first.',
+                location: 'ControllerGenerator.generate'
+            });
+            validation.valid = false;
+            return { controllers, rulesUsed, validation };
+        }
+        try {
+            // Generate controller for each model
+            for (const model of models) {
+                if (this.debug) {
+                    console.log(`🎯 Generating controller for model: ${model.name}`);
+                }
+                // Create model-specific context
+                const modelContext = ContextUtils.withCurrentModel(baseContext, model, this.contextManager);
+                // Find matching rules
+                const matchingRules = this.ruleEngine.findMatches('controllers', model, modelContext);
+                if (matchingRules.length === 0) {
+                    validation.warnings.push({
+                        code: 'NO_MATCHING_RULES',
+                        message: `No controller rules matched for model: ${model.name}`,
+                        location: `model:${model.name}`
+                    });
+                    continue;
+                }
+                // Apply rules to build controller spec
+                const controllerName = `${model.name}Controller`;
+                let controllerSpec = {
+                    model: model.name,
+                    description: `Auto-generated controller for ${model.name}`
+                };
+                // Apply each matching rule and merge results
+                for (const rule of matchingRules) {
+                    try {
+                        const ruleResult = this.ruleEngine.apply(rule, model, modelContext);
+                        controllerSpec = this.mergeControllerSpecs(controllerSpec, ruleResult);
+                        rulesUsed++;
+                        if (this.debug) {
+                            console.log(`   ✅ Applied rule: ${rule.name} (${rule.pattern})`);
+                        }
+                    }
+                    catch (error) {
+                        validation.errors.push({
+                            code: 'RULE_APPLICATION_ERROR',
+                            message: `Failed to apply rule '${rule.name}' to model '${model.name}': ${error instanceof Error ? error.message : String(error)}`,
+                            location: `model:${model.name}:rule:${rule.name}`
+                        });
+                        validation.valid = false;
+                    }
+                }
+                // Generate customActions from model behaviors
+                if (model.behaviors && model.behaviors.length > 0) {
+                    const behaviorActions = this.generateActionsFromBehaviors(model);
+                    if (Object.keys(behaviorActions).length > 0) {
+                        controllerSpec.customActions = {
+                            ...controllerSpec.customActions,
+                            ...behaviorActions
+                        };
+                        if (this.debug) {
+                            console.log(`   🎭 Generated ${Object.keys(behaviorActions).length} actions from behaviors`);
+                        }
+                    }
+                }
+                // Validate generated controller
+                const controllerValidation = this.validateControllerSpec(controllerSpec, model);
+                validation.errors.push(...controllerValidation.errors);
+                validation.warnings.push(...controllerValidation.warnings);
+                if (!controllerValidation.valid) {
+                    validation.valid = false;
+                }
+                else {
+                    controllers[controllerName] = controllerSpec;
+                    if (this.debug) {
+                        console.log(`   🎉 Generated controller: ${controllerName}`);
+                        console.log(`      CURED ops: ${controllerSpec.cured ? Object.keys(controllerSpec.cured).length : 0}`);
+                        console.log(`      Custom actions: ${controllerSpec.customActions ? Object.keys(controllerSpec.customActions).length : 0}`);
+                    }
+                }
+            }
+        }
+        catch (error) {
+            validation.errors.push({
+                code: 'GENERATION_ERROR',
+                message: `Controller generation failed: ${error instanceof Error ? error.message : String(error)}`,
+                location: 'ControllerGenerator.generate'
+            });
+            validation.valid = false;
+        }
+        if (this.debug) {
+            console.log(`🎯 Controller generation complete:`);
+            console.log(`   Models processed: ${models.length}`);
+            console.log(`   Controllers generated: ${Object.keys(controllers).length}`);
+            console.log(`   Rules applied: ${rulesUsed}`);
+            console.log(`   Validation: ${validation.valid ? 'PASSED' : 'FAILED'} (${validation.errors.length} errors, ${validation.warnings.length} warnings)`);
+        }
+        return { controllers, rulesUsed, validation };
+    }
+    // ===============================
+    // Private Implementation
+    // ===============================
+    /**
+     * Generate custom actions from model behaviors
+     */
+    generateActionsFromBehaviors(model) {
+        const actions = {};
+        if (!model.behaviors || model.behaviors.length === 0) {
+            return actions;
+        }
+        for (const behavior of model.behaviors) {
+            // Add model ID as first parameter for all behavior-based actions
+            const parameters = {
+                id: `UUID required`
+            };
+            // Add behavior-specific parameters
+            // Handle both string and object parameter formats
+            if (behavior.parameters) {
+                for (const [paramName, paramSpec] of Object.entries(behavior.parameters)) {
+                    // If paramSpec is already a string, use it directly
+                    if (typeof paramSpec === 'string') {
+                        parameters[paramName] = paramSpec;
+                    }
+                    else if (typeof paramSpec === 'object' && paramSpec !== null) {
+                        // If it's an object, reconstruct the string format
+                        // Object format: { type: 'Integer', default: 1 } or { type: 'String', required: true }
+                        const spec = paramSpec;
+                        let paramString = spec.type || 'String';
+                        if (spec.required)
+                            paramString += ' required';
+                        else if (spec.optional)
+                            paramString += ' optional';
+                        if (spec.default !== undefined)
+                            paramString += ` default=${spec.default}`;
+                        parameters[paramName] = paramString;
+                    }
+                    else {
+                        // Fallback to String required
+                        parameters[paramName] = 'String required';
+                    }
+                }
+            }
+            actions[behavior.name] = {
+                description: behavior.description,
+                parameters,
+                returns: behavior.returns || 'Boolean',
+                requires: behavior.requires || [],
+                ensures: behavior.ensures || []
+            };
+            // Add publishes if the behavior defines it
+            if (behavior.publishes && behavior.publishes.length > 0) {
+                actions[behavior.name].publishes = behavior.publishes;
+            }
+        }
+        return actions;
+    }
+    /**
+     * Merge multiple controller specs together
+     */
+    mergeControllerSpecs(base, additional) {
+        const merged = { ...base };
+        // Merge CURED operations
+        if (additional.cured) {
+            merged.cured = { ...merged.cured, ...additional.cured };
+        }
+        // Merge custom actions
+        if (additional.customActions) {
+            merged.customActions = { ...merged.customActions, ...additional.customActions };
+        }
+        // Merge subscriptions
+        if (additional.subscribes_to) {
+            merged.subscribes_to = { ...merged.subscribes_to, ...additional.subscribes_to };
+        }
+        // Use more specific description if available
+        if (additional.description && additional.description.length > (base.description?.length || 0)) {
+            merged.description = additional.description;
+        }
+        // Prefer explicit model specification
+        if (additional.model) {
+            merged.model = additional.model;
+        }
+        return merged;
+    }
+    /**
+     * Validate generated controller specification
+     */
+    validateControllerSpec(spec, model) {
+        const validation = {
+            valid: true,
+            errors: [],
+            warnings: []
+        };
+        // Check if controller has any operations
+        const hasOperations = !!((spec.cured && Object.keys(spec.cured).length > 0) ||
+            (spec.customActions && Object.keys(spec.customActions).length > 0));
+        if (!hasOperations) {
+            validation.warnings.push({
+                code: 'EMPTY_CONTROLLER',
+                message: `Controller for ${model.name} has no operations`,
+                location: `controller:${model.name}Controller`
+            });
+        }
+        // Validate CURED operations
+        if (spec.cured) {
+            for (const [operation, actionSpec] of Object.entries(spec.cured)) {
+                if (!actionSpec.parameters || Object.keys(actionSpec.parameters).length === 0) {
+                    validation.warnings.push({
+                        code: 'NO_PARAMETERS',
+                        message: `CURED operation '${operation}' has no parameters`,
+                        location: `controller:${model.name}Controller:cured:${operation}`
+                    });
+                }
+                if (!actionSpec.returns) {
+                    validation.errors.push({
+                        code: 'MISSING_RETURN_TYPE',
+                        message: `CURED operation '${operation}' missing return type`,
+                        location: `controller:${model.name}Controller:cured:${operation}`
+                    });
+                    validation.valid = false;
+                }
+            }
+        }
+        // Validate custom actions
+        if (spec.customActions) {
+            for (const [actionName, actionSpec] of Object.entries(spec.customActions)) {
+                if (!actionSpec.returns) {
+                    validation.errors.push({
+                        code: 'MISSING_RETURN_TYPE',
+                        message: `Custom action '${actionName}' missing return type`,
+                        location: `controller:${model.name}Controller:customActions:${actionName}`
+                    });
+                    validation.valid = false;
+                }
+            }
+        }
+        // Check for model consistency
+        if (spec.model && spec.model !== model.name) {
+            validation.warnings.push({
+                code: 'MODEL_MISMATCH',
+                message: `Controller model '${spec.model}' doesn't match input model '${model.name}'`,
+                location: `controller:${model.name}Controller:model`
+            });
+        }
+        return validation;
+    }
+}
+//# sourceMappingURL=controller-generator.js.map

package/dist/inference/logical/generators/controller-generator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"controller-generator.js","sourceRoot":"","sources":["../../../../src/inference/logical/generators/controller-generator.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAWH,OAAO,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AACvD,OAAO,EAAE,uBAAuB,EAAE,YAAY,EAAE,MAAM,uBAAuB,CAAC;AAQ9E,MAAM,OAAO,mBAAmB;IAOV;IANpB,IAAI,GAAG,qBAAqB,CAAC;IAErB,UAAU,CAA8C;IACxD,cAAc,CAA0B;IACxC,WAAW,GAAG,KAAK,CAAC;IAE5B,YAAoB,QAAiB,KAAK;QAAtB,UAAK,GAAL,KAAK,CAAiB;QACxC,IAAI,CAAC,UAAU,GAAG,IAAI,UAAU,CAAkC,KAAK,CAAC,CAAC;QACzE,IAAI,CAAC,cAAc,GAAG,IAAI,uBAAuB,CAAC,KAAK,CAAC,CAAC;IAC3D,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,SAAS,CAAC,KAAuD;QACrE,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,CAAC,cAAc,KAAK,CAAC,MAAM,mBAAmB,CAAC,CAAC;QAC7D,CAAC;QAED,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC;QAEnE,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;YACrB,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;YAExB,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACf,OAAO,CAAC,GAAG,CAAC,wCAAwC,CAAC,CAAC;gBACtD,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,CAAC,WAAW,EAAE,CAAC;gBAClD,MAAM,eAAe,GAAG,WAAW,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC;gBAC7D,OAAO,CAAC,GAAG,CAAC,yBAAyB,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC1G,CAAC;QACH,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,KAAK,CAAC,oCAAoC,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;QACzE,CAAC;QAED,OAAO,UAAU,CAAC;IACpB,CAAC;IAED;;OAEG;IACH,QAAQ,CAAC,KAAsB,EAAE,OAAyB;QACxD,OAAO,IAAI,CAAC,WAAW,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,CAAC;IACtD,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,QAAQ,CACZ,MAAyB,EACzB,WAA6B;QAE7B,MAAM,WAAW,GAAmC,EAAE,CAAC;QACvD,IAAI,SAAS,GAAG,CAAC,CAAC;QAElB,MAAM,UAAU,GAAqB;YACnC,KAAK,EAAE,IAAI;YACX,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE,EAAE;SACb,CAAC;QAEF,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YACtB,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC;gBACrB,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EAAE,sDAAsD;gBAC/D,QAAQ,EAAE,8BAA8B;aACzC,CAAC,CAAC;YACH,UAAU,CAAC,KAAK,GAAG,KAAK,CAAC;YACzB,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC;QAChD,CAAC;QAED,IAAI,CAAC;YACH,qCAAqC;YACrC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;gBAC3B,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;oBACf,OAAO,CAAC,GAAG,CAAC,uCAAuC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;gBACnE,CAAC;gBAED,gCAAgC;gBAChC,MAAM,YAAY,GAAG,YAAY,CAAC,gBAAgB,CAAC,WAAW,EAAE,KAAK,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC;gBAE5F,sBAAsB;gBACtB,MAAM,aAAa,GAAG,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,aAAa,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC;gBAEtF,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC/B,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC;wBACvB,IAAI,EAAE,mBAAmB;wBACzB,OAAO,EAAE,0CAA0C,KAAK,CAAC,IAAI,EAAE;wBAC/D,QAAQ,EAAE,SAAS,KAAK,CAAC,IAAI,EAAE;qBAChC,CAAC,CAAC;oBACH,SAAS;gBACX,CAAC;gBAED,uCAAuC;gBACvC,MAAM,cAAc,GAAG,GAAG,KAAK,CAAC,IAAI,YAAY,CAAC;gBACjD,IAAI,cAAc,GAAmB;oBACnC,KAAK,EAAE,KAAK,CAAC,IAAI;oBACjB,WAAW,EAAE,iCAAiC,KAAK,CAAC,IAAI,EAAE;iBAC3D,CAAC;gBAEF,6CAA6C;gBAC7C,KAAK,MAAM,IAAI,IAAI,aAAa,EAAE,CAAC;oBACjC,IAAI,CAAC;wBACH,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC;wBACpE,cAAc,GAAG,IAAI,CAAC,oBAAoB,CAAC,cAAc,EAAE,UAAU,CAAC,CAAC;wBACvE,SAAS,EAAE,CAAC;wBAEZ,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;4BACf,OAAO,CAAC,GAAG,CAAC,sBAAsB,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC;wBACnE,CAAC;oBACH,CAAC;oBAAC,OAAO,KAAK,EAAE,CAAC;wBACf,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC;4BACrB,IAAI,EAAE,wBAAwB;4BAC9B,OAAO,EAAE,yBAAyB,IAAI,CAAC,IAAI,eAAe,KAAK,CAAC,IAAI,MAAM,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;4BAClI,QAAQ,EAAE,SAAS,KAAK,CAAC,IAAI,SAAS,IAAI,CAAC,IAAI,EAAE;yBAClD,CAAC,CAAC;wBACH,UAAU,CAAC,KAAK,GAAG,KAAK,CAAC;oBAC3B,CAAC;gBACH,CAAC;gBAED,8CAA8C;gBAC9C,IAAI,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAClD,MAAM,eAAe,GAAG,IAAI,CAAC,4BAA4B,CAAC,KAAK,CAAC,CAAC;oBACjE,IAAI,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;wBAC5C,cAAc,CAAC,aAAa,GAAG;4BAC7B,GAAG,cAAc,CAAC,aAAa;4BAC/B,GAAG,eAAe;yBACnB,CAAC;wBAEF,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;4BACf,OAAO,CAAC,GAAG,CAAC,mBAAmB,MAAM,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,MAAM,yBAAyB,CAAC,CAAC;wBAC/F,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,gCAAgC;gBAChC,MAAM,oBAAoB,GAAG,IAAI,CAAC,sBAAsB,CAAC,cAAc,EAAE,KAAK,CAAC,CAAC;gBAChF,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;gBACvD,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;gBAE3D,IAAI,CAAC,oBAAoB,CAAC,KAAK,EAAE,CAAC;oBAChC,UAAU,CAAC,KAAK,GAAG,KAAK,CAAC;gBAC3B,CAAC;qBAAM,CAAC;oBACN,WAAW,CAAC,cAAc,CAAC,GAAG,cAAc,CAAC;oBAE7C,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;wBACf,OAAO,CAAC,GAAG,CAAC,+BAA+B,cAAc,EAAE,CAAC,CAAC;wBAC7D,OAAO,CAAC,GAAG,CAAC,oBAAoB,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;wBACvG,OAAO,CAAC,GAAG,CAAC,yBAAyB,cAAc,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;oBAC9H,CAAC;gBACH,CAAC;YACH,CAAC;QAEH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC;gBACrB,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EAAE,iCAAiC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;gBAClG,QAAQ,EAAE,8BAA8B;aACzC,CAAC,CAAC;YACH,UAAU,CAAC,KAAK,GAAG,KAAK,CAAC;QAC3B,CAAC;QAED,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,CAAC,oCAAoC,CAAC,CAAC;YAClD,OAAO,CAAC,GAAG,CAAC,wBAAwB,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;YACrD,OAAO,CAAC,GAAG,CAAC,6BAA6B,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;YAC5E,OAAO,CAAC,GAAG,CAAC,qBAAqB,SAAS,EAAE,CAAC,CAAC;YAC9C,OAAO,CAAC,GAAG,CAAC,kBAAkB,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,KAAK,UAAU,CAAC,MAAM,CAAC,MAAM,YAAY,UAAU,CAAC,QAAQ,CAAC,MAAM,YAAY,CAAC,CAAC;QACvJ,CAAC;QAED,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC;IAChD,CAAC;IAED,kCAAkC;IAClC,yBAAyB;IACzB,kCAAkC;IAElC;;OAEG;IACK,4BAA4B,CAAC,KAAsB;QACzD,MAAM,OAAO,GAAwB,EAAE,CAAC;QAExC,IAAI,CAAC,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACrD,OAAO,OAAO,CAAC;QACjB,CAAC;QAED,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;YACvC,iEAAiE;YACjE,MAAM,UAAU,GAA2B;gBACzC,EAAE,EAAE,eAAe;aACpB,CAAC;YAEF,mCAAmC;YACnC,kDAAkD;YAClD,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;gBACxB,KAAK,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;oBACzE,oDAAoD;oBACpD,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;wBAClC,UAAU,CAAC,SAAS,CAAC,GAAG,SAAS,CAAC;oBACpC,CAAC;yBAAM,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;wBAC/D,mDAAmD;wBACnD,uFAAuF;wBACvF,MAAM,IAAI,GAAG,SAAgB,CAAC;wBAC9B,IAAI,WAAW,GAAG,IAAI,CAAC,IAAI,IAAI,QAAQ,CAAC;wBACxC,IAAI,IAAI,CAAC,QAAQ;4BAAE,WAAW,IAAI,WAAW,CAAC;6BACzC,IAAI,IAAI,CAAC,QAAQ;4BAAE,WAAW,IAAI,WAAW,CAAC;wBACnD,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;4BAAE,WAAW,IAAI,YAAY,IAAI,CAAC,OAAO,EAAE,CAAC;wBAC1E,UAAU,CAAC,SAAS,CAAC,GAAG,WAAW,CAAC;oBACtC,CAAC;yBAAM,CAAC;wBACN,8BAA8B;wBAC9B,UAAU,CAAC,SAAS,CAAC,GAAG,iBAAiB,CAAC;oBAC5C,CAAC;gBACH,CAAC;YACH,CAAC;YAED,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG;gBACvB,WAAW,EAAE,QAAQ,CAAC,WAAW;gBACjC,UAAU;gBACV,OAAO,EAAE,QAAQ,CAAC,OAAO,IAAI,SAAS;gBACtC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,IAAI,EAAE;gBACjC,OAAO,EAAE,QAAQ,CAAC,OAAO,IAAI,EAAE;aAChC,CAAC;YAEF,2CAA2C;YAC3C,IAAI,QAAQ,CAAC,SAAS,IAAI,QAAQ,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxD,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,SAAS,GAAG,QAAQ,CAAC,SAAS,CAAC;YACxD,CAAC;QACH,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;OAEG;IACK,oBAAoB,CAAC,IAAoB,EAAE,UAA0B;QAC3E,MAAM,MAAM,GAAmB,EAAE,GAAG,IAAI,EAAE,CAAC;QAE3C,yBAAyB;QACzB,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;YACrB,MAAM,CAAC,KAAK,GAAG,EAAE,GAAG,MAAM,CAAC,KAAK,EAAE,GAAG,UAAU,CAAC,KAAK,EAAE,CAAC;QAC1D,CAAC;QAED,uBAAuB;QACvB,IAAI,UAAU,CAAC,aAAa,EAAE,CAAC;YAC7B,MAAM,CAAC,aAAa,GAAG,EAAE,GAAG,MAAM,CAAC,aAAa,EAAE,GAAG,UAAU,CAAC,aAAa,EAAE,CAAC;QAClF,CAAC;QAED,sBAAsB;QACtB,IAAI,UAAU,CAAC,aAAa,EAAE,CAAC;YAC7B,MAAM,CAAC,aAAa,GAAG,EAAE,GAAG,MAAM,CAAC,aAAa,EAAE,GAAG,UAAU,CAAC,aAAa,EAAE,CAAC;QAClF,CAAC;QAED,6CAA6C;QAC7C,IAAI,UAAU,CAAC,WAAW,IAAI,UAAU,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,IAAI,CAAC,CAAC,EAAE,CAAC;YAC9F,MAAM,CAAC,WAAW,GAAG,UAAU,CAAC,WAAW,CAAC;QAC9C,CAAC;QAED,sCAAsC;QACtC,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;YACrB,MAAM,CAAC,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC;QAClC,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACK,sBAAsB,CAAC,IAAoB,EAAE,KAAsB;QACzE,MAAM,UAAU,GAAqB;YACnC,KAAK,EAAE,IAAI;YACX,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE,EAAE;SACb,CAAC;QAEF,yCAAyC;QACzC,MAAM,aAAa,GAAG,CAAC,CAAC,CACtB,CAAC,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;YAClD,CAAC,IAAI,CAAC,aAAa,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CACnE,CAAC;QAEF,IAAI,CAAC,aAAa,EAAE,CAAC;YACnB,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC;gBACvB,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EAAE,kBAAkB,KAAK,CAAC,IAAI,oBAAoB;gBACzD,QAAQ,EAAE,cAAc,KAAK,CAAC,IAAI,YAAY;aAC/C,CAAC,CAAC;QACL,CAAC;QAED,4BAA4B;QAC5B,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,KAAK,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;gBACjE,IAAI,CAAC,UAAU,CAAC,UAAU,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC9E,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC;wBACvB,IAAI,EAAE,eAAe;wBACrB,OAAO,EAAE,oBAAoB,SAAS,qBAAqB;wBAC3D,QAAQ,EAAE,cAAc,KAAK,CAAC,IAAI,oBAAoB,SAAS,EAAE;qBAClE,CAAC,CAAC;gBACL,CAAC;gBAED,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC;oBACxB,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC;wBACrB,IAAI,EAAE,qBAAqB;wBAC3B,OAAO,EAAE,oBAAoB,SAAS,uBAAuB;wBAC7D,QAAQ,EAAE,cAAc,KAAK,CAAC,IAAI,oBAAoB,SAAS,EAAE;qBAClE,CAAC,CAAC;oBACH,UAAU,CAAC,KAAK,GAAG,KAAK,CAAC;gBAC3B,CAAC;YACH,CAAC;QACH,CAAC;QAED,0BAA0B;QAC1B,IAAI,IAAI,CAAC,aAAa,EAAE,CAAC;YACvB,KAAK,MAAM,CAAC,UAAU,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,aAAa,CAAC,EAAE,CAAC;gBAC1E,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC;oBACxB,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC;wBACrB,IAAI,EAAE,qBAAqB;wBAC3B,OAAO,EAAE,kBAAkB,UAAU,uBAAuB;wBAC5D,QAAQ,EAAE,cAAc,KAAK,CAAC,IAAI,4BAA4B,UAAU,EAAE;qBAC3E,CAAC,CAAC;oBACH,UAAU,CAAC,KAAK,GAAG,KAAK,CAAC;gBAC3B,CAAC;YACH,CAAC;QACH,CAAC;QAED,8BAA8B;QAC9B,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC;YAC5C,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC;gBACvB,IAAI,EAAE,gBAAgB;gBACtB,OAAO,EAAE,qBAAqB,IAAI,CAAC,KAAK,gCAAgC,KAAK,CAAC,IAAI,GAAG;gBACrF,QAAQ,EAAE,cAAc,KAAK,CAAC,IAAI,kBAAkB;aACrD,CAAC,CAAC;QACL,CAAC;QAED,OAAO,UAAU,CAAC;IACpB,CAAC;CACF"}

package/dist/inference/logical/generators/event-generator.d.ts

@@ -0,0 +1,67 @@
+/**
+ * Event Generator for V3.1 Logical Inference
+ * Generates events for CURED operations, lifecycle changes, and relationships
+ */
+import { ModelDefinition, EventSpec, InferenceContext, InferenceRule, ValidationResult, LogicalGenerator } from '../../core/types.js';
+export interface EventGenerationResult {
+    events: Record<string, EventSpec>;
+    rulesUsed: number;
+    validation: ValidationResult;
+}
+export declare class EventGenerator implements LogicalGenerator<ModelDefinition, EventSpec> {
+    private debug;
+    name: string;
+    private ruleEngine;
+    private contextManager;
+    private rulesLoaded;
+    constructor(debug?: boolean);
+    /**
+     * Load event inference rules
+     */
+    loadRules(rules: InferenceRule<ModelDefinition, EventSpec>[]): Promise<ValidationResult>;
+    /**
+     * Check if this generator supports the given input
+     */
+    supports(input: ModelDefinition, context: InferenceContext): boolean;
+    /**
+     * Generate events for all models
+     */
+    generate(models: ModelDefinition[], baseContext: InferenceContext): Promise<EventGenerationResult>;
+    /**
+     * Generate standard CURED events for a model
+     */
+    private generateStandardEvents;
+    /**
+     * Generate relationship-specific events
+     */
+    private generateRelationshipEvents;
+    /**
+     * Generate lifecycle events
+     */
+    private generateLifecycleEvents;
+    /**
+     * Generate profile-specific events
+     */
+    private generateProfileEvents;
+    /**
+     * Generate event attributes based on model attributes
+     */
+    private generateEventAttributes;
+    /**
+     * Get display name attribute from model
+     */
+    private getDisplayNameAttribute;
+    /**
+     * Generate event name from model and rule
+     */
+    private generateEventName;
+    /**
+     * Validate generated event specification
+     */
+    private validateEventSpec;
+    /**
+     * Convert string to PascalCase
+     */
+    private pascalCase;
+}
+//# sourceMappingURL=event-generator.d.ts.map

package/dist/inference/logical/generators/event-generator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"event-generator.d.ts","sourceRoot":"","sources":["../../../../src/inference/logical/generators/event-generator.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,eAAe,EACf,SAAS,EACT,gBAAgB,EAChB,aAAa,EACb,gBAAgB,EAChB,gBAAgB,EACjB,MAAM,qBAAqB,CAAC;AAI7B,MAAM,WAAW,qBAAqB;IACpC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAClC,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,gBAAgB,CAAC;CAC9B;AAED,qBAAa,cAAe,YAAW,gBAAgB,CAAC,eAAe,EAAE,SAAS,CAAC;IAOrE,OAAO,CAAC,KAAK;IANzB,IAAI,SAAoB;IAExB,OAAO,CAAC,UAAU,CAAyC;IAC3D,OAAO,CAAC,cAAc,CAA0B;IAChD,OAAO,CAAC,WAAW,CAAS;gBAER,KAAK,GAAE,OAAe;IAK1C;;OAEG;IACG,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,eAAe,EAAE,SAAS,CAAC,EAAE,GAAG,OAAO,CAAC,gBAAgB,CAAC;IAoB9F;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,eAAe,EAAE,OAAO,EAAE,gBAAgB,GAAG,OAAO;IAIpE;;OAEG;IACG,QAAQ,CACZ,MAAM,EAAE,eAAe,EAAE,EACzB,WAAW,EAAE,gBAAgB,GAC5B,OAAO,CAAC,qBAAqB,CAAC;IA6IjC;;OAEG;IACH,OAAO,CAAC,sBAAsB;IA0C9B;;OAEG;IACH,OAAO,CAAC,0BAA0B;IA6ElC;;OAEG;IACH,OAAO,CAAC,uBAAuB;IAuC/B;;OAEG;IACH,OAAO,CAAC,qBAAqB;IA6C7B;;OAEG;IACH,OAAO,CAAC,uBAAuB;IAsB/B;;OAEG;IACH,OAAO,CAAC,uBAAuB;IAe/B;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAazB;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAkDzB;;OAEG;IACH,OAAO,CAAC,UAAU;CAGnB"}