@specverse/engines 4.1.0

package/dist/inference/core/context.js

@@ -0,0 +1,292 @@
+/**
+ * Context management for V3.1 Inference Engine
+ * Provides shared context and relationship analysis for inference rules
+ */
+const RELATIONSHIP_ROLES = {
+    'belongsTo': 'parent',
+    'hasMany': 'child',
+    'hasOne': 'child',
+    'manyToMany': 'sibling',
+};
+/** Relationship types that indicate the current model is a parent (owns children) */
+const PARENT_TYPES = new Set(Object.entries(RELATIONSHIP_ROLES).filter(([_, r]) => r === 'child').map(([t]) => t));
+/** Relationship types that indicate the current model is a child (belongs to parent) */
+const CHILD_TYPES = new Set(Object.entries(RELATIONSHIP_ROLES).filter(([_, r]) => r === 'parent').map(([t]) => t));
+/** Relationship types that are bidirectional peers */
+const SIBLING_TYPES = new Set(Object.entries(RELATIONSHIP_ROLES).filter(([_, r]) => r === 'sibling').map(([t]) => t));
+export class InferenceContextManager {
+    debug;
+    constructor(debug = false) {
+        this.debug = debug;
+    }
+    /**
+     * Create inference context for logical inference
+     */
+    createLogicalContext(models, currentModel, metadata = {}) {
+        const relationships = currentModel ? this.analyzeModelRelationships(currentModel, models) : undefined;
+        const context = {
+            version: 'v3.1',
+            models,
+            currentModel,
+            relationships,
+            metadata: {
+                ...metadata,
+                inference_type: 'logical',
+                timestamp: new Date().toISOString()
+            }
+        };
+        if (this.debug && currentModel) {
+            console.log(`Created logical context for model: ${currentModel.name}`);
+            this.logRelationshipAnalysis(relationships);
+        }
+        return context;
+    }
+    /**
+     * Create inference context for deployment inference
+     */
+    createDeploymentContext(models, environment, metadata = {}) {
+        const context = {
+            version: 'v3.1',
+            models,
+            environment,
+            metadata: {
+                ...metadata,
+                inference_type: 'deployment',
+                timestamp: new Date().toISOString()
+            }
+        };
+        if (this.debug) {
+            console.log(`Created deployment context for environment: ${environment.target}`);
+            console.log(`Models: ${models.map(m => m.name).join(', ')}`);
+        }
+        return context;
+    }
+    /**
+     * Analyze relationships for a specific model
+     */
+    analyzeModelRelationships(model, allModels) {
+        const analysis = {
+            parentRelationships: [],
+            childRelationships: [],
+            siblingRelationships: [],
+            manyToManyRelationships: [],
+            cascadeDeleteTargets: []
+        };
+        // Direct relationships from the model — classified by role
+        if (model.relationships) {
+            for (const relationship of model.relationships) {
+                const role = RELATIONSHIP_ROLES[relationship.type];
+                if (role === 'parent') {
+                    analysis.parentRelationships.push(relationship);
+                }
+                else if (role === 'child') {
+                    analysis.childRelationships.push(relationship);
+                    if (relationship.cascadeDelete) {
+                        analysis.cascadeDeleteTargets.push(relationship.targetModel);
+                    }
+                }
+                else if (role === 'sibling') {
+                    analysis.manyToManyRelationships.push(relationship);
+                }
+            }
+        }
+        // Find reverse relationships (other models that reference this model)
+        for (const otherModel of allModels) {
+            if (otherModel.name === model.name || !otherModel.relationships) {
+                continue;
+            }
+            for (const relationship of otherModel.relationships) {
+                if (relationship.targetModel === model.name) {
+                    const role = RELATIONSHIP_ROLES[relationship.type];
+                    if (role === 'parent') {
+                        // Other model belongs to this model → this model has children
+                        analysis.childRelationships.push({
+                            name: otherModel.name,
+                            type: 'hasMany',
+                            targetModel: otherModel.name,
+                            foreignKey: relationship.foreignKey,
+                            cascadeDelete: relationship.cascadeDelete
+                        });
+                        if (relationship.cascadeDelete) {
+                            analysis.cascadeDeleteTargets.push(otherModel.name);
+                        }
+                    }
+                    else if (role === 'child') {
+                        // Other model has this model → this model belongs to other
+                        analysis.parentRelationships.push({
+                            name: otherModel.name,
+                            type: 'belongsTo',
+                            targetModel: otherModel.name,
+                            foreignKey: relationship.foreignKey
+                        });
+                    }
+                    else if (role === 'sibling') {
+                        // Bidirectional many-to-many
+                        if (!analysis.manyToManyRelationships.some(r => r.targetModel === otherModel.name)) {
+                            analysis.manyToManyRelationships.push({
+                                name: otherModel.name,
+                                type: 'manyToMany',
+                                targetModel: otherModel.name
+                            });
+                        }
+                    }
+                }
+            }
+        }
+        // Find sibling relationships (models that share the same parent)
+        const parentModels = analysis.parentRelationships.map(r => r.targetModel);
+        for (const parentModelName of parentModels) {
+            for (const otherModel of allModels) {
+                if (otherModel.name === model.name || !otherModel.relationships) {
+                    continue;
+                }
+                const hasSharedParent = otherModel.relationships.some(r => r.type === 'belongsTo' && r.targetModel === parentModelName);
+                if (hasSharedParent) {
+                    const siblingRelationship = {
+                        name: otherModel.name,
+                        type: 'belongsTo', // Sibling through shared parent
+                        targetModel: otherModel.name
+                    };
+                    analysis.siblingRelationships.push(siblingRelationship);
+                }
+            }
+        }
+        // Remove duplicates
+        analysis.cascadeDeleteTargets = [...new Set(analysis.cascadeDeleteTargets)];
+        return analysis;
+    }
+    /**
+     * Check if a model has specific relationship patterns
+     */
+    hasRelationshipPattern(model, pattern) {
+        if (!model.relationships)
+            return false;
+        // Data-driven pattern detection using relationship role sets
+        switch (pattern) {
+            case 'hasParent':
+                return model.relationships.some(r => CHILD_TYPES.has(r.type));
+            case 'hasChildren':
+                return model.relationships.some(r => PARENT_TYPES.has(r.type));
+            case 'hasManyToMany':
+                return model.relationships.some(r => SIBLING_TYPES.has(r.type));
+            case 'hasCascadeDelete':
+                return model.relationships.some(r => r.cascadeDelete === true);
+            case 'isRootEntity':
+                return !model.relationships.some(r => CHILD_TYPES.has(r.type));
+            case 'isLeafEntity':
+                return !model.relationships.some(r => PARENT_TYPES.has(r.type));
+            default:
+                return false;
+        }
+    }
+    /**
+     * Get related models by relationship type
+     */
+    getRelatedModels(model, relationshipType, allModels) {
+        const analysis = this.analyzeModelRelationships(model, allModels);
+        const relatedModelNames = [];
+        switch (relationshipType) {
+            case 'parent':
+                relatedModelNames.push(...analysis.parentRelationships.map(r => r.targetModel));
+                break;
+            case 'child':
+                relatedModelNames.push(...analysis.childRelationships.map(r => r.targetModel));
+                break;
+            case 'sibling':
+                relatedModelNames.push(...analysis.siblingRelationships.map(r => r.targetModel));
+                break;
+            case 'manyToMany':
+                relatedModelNames.push(...analysis.manyToManyRelationships.map(r => r.targetModel));
+                break;
+        }
+        return allModels.filter(m => relatedModelNames.includes(m.name));
+    }
+    /**
+     * Calculate inference complexity score for a model
+     */
+    calculateComplexityScore(model, allModels) {
+        let score = 1; // Base score
+        // Add points for attributes
+        score += model.attributes.length * 0.5;
+        // Add points for relationships
+        if (model.relationships) {
+            score += model.relationships.length * 2;
+            // Extra points for complex relationships
+            const manyToManyCount = model.relationships.filter(r => r.type === 'manyToMany').length;
+            score += manyToManyCount * 3;
+            const cascadeCount = model.relationships.filter(r => r.cascadeDelete).length;
+            score += cascadeCount * 2;
+        }
+        // Add points for lifecycle
+        if (model.lifecycle) {
+            score += model.lifecycle.states.length * 1.5;
+            score += model.lifecycle.transitions.length * 2;
+        }
+        // Add points for profiles
+        if (model.profiles) {
+            score += model.profiles.length * 1.5;
+        }
+        return Math.round(score);
+    }
+    // ===============================
+    // Private Implementation
+    // ===============================
+    logRelationshipAnalysis(analysis) {
+        if (!analysis)
+            return;
+        console.log('  Relationship Analysis:');
+        console.log(`    Parents: ${analysis.parentRelationships.map(r => r.targetModel).join(', ') || 'none'}`);
+        console.log(`    Children: ${analysis.childRelationships.map(r => r.targetModel).join(', ') || 'none'}`);
+        console.log(`    Many-to-Many: ${analysis.manyToManyRelationships.map(r => r.targetModel).join(', ') || 'none'}`);
+        console.log(`    Cascade Deletes: ${analysis.cascadeDeleteTargets.join(', ') || 'none'}`);
+    }
+}
+/**
+ * Utility functions for common context operations
+ */
+export class ContextUtils {
+    /**
+     * Create a model-specific context from a general context
+     */
+    static withCurrentModel(baseContext, currentModel, contextManager) {
+        const relationships = contextManager.analyzeModelRelationships(currentModel, baseContext.models);
+        return {
+            ...baseContext,
+            currentModel,
+            relationships,
+            metadata: {
+                ...baseContext.metadata,
+                current_model: currentModel.name
+            }
+        };
+    }
+    /**
+     * Extract common naming patterns from context
+     */
+    static extractNames(context) {
+        const modelName = context.currentModel?.name;
+        if (!modelName) {
+            return {};
+        }
+        return {
+            modelName,
+            controllerName: `${modelName}Controller`,
+            serviceName: `${modelName}Service`,
+            pluralModelName: ContextUtils.pluralize(modelName)
+        };
+    }
+    /**
+     * Simple pluralization (could be enhanced with proper library)
+     */
+    static pluralize(str) {
+        if (str.endsWith('y')) {
+            return str.slice(0, -1) + 'ies';
+        }
+        if (str.endsWith('s') || str.endsWith('x') || str.endsWith('z') ||
+            str.endsWith('ch') || str.endsWith('sh')) {
+            return str + 'es';
+        }
+        return str + 's';
+    }
+}
+//# sourceMappingURL=context.js.map

package/dist/inference/core/context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context.js","sourceRoot":"","sources":["../../../src/inference/core/context.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAeH,MAAM,kBAAkB,GAA4B;IAClD,WAAW,EAAG,QAAQ;IACtB,SAAS,EAAK,OAAO;IACrB,QAAQ,EAAM,OAAO;IACrB,YAAY,EAAE,SAAS;CACxB,CAAC;AAEF,qFAAqF;AACrF,MAAM,YAAY,GAAG,IAAI,GAAG,CAC1B,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CACrF,CAAC;AACF,wFAAwF;AACxF,MAAM,WAAW,GAAG,IAAI,GAAG,CACzB,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CACtF,CAAC;AACF,sDAAsD;AACtD,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,MAAM,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CACvF,CAAC;AAEF,MAAM,OAAO,uBAAuB;IACd;IAApB,YAAoB,QAAiB,KAAK;QAAtB,UAAK,GAAL,KAAK,CAAiB;IAAG,CAAC;IAE9C;;OAEG;IACH,oBAAoB,CAClB,MAAyB,EACzB,YAA8B,EAC9B,WAAgC,EAAE;QAElC,MAAM,aAAa,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAEtG,MAAM,OAAO,GAAqB;YAChC,OAAO,EAAE,MAAM;YACf,MAAM;YACN,YAAY;YACZ,aAAa;YACb,QAAQ,EAAE;gBACR,GAAG,QAAQ;gBACX,cAAc,EAAE,SAAS;gBACzB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aACpC;SACF,CAAC;QAEF,IAAI,IAAI,CAAC,KAAK,IAAI,YAAY,EAAE,CAAC;YAC/B,OAAO,CAAC,GAAG,CAAC,sCAAsC,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC;YACvE,IAAI,CAAC,uBAAuB,CAAC,aAAa,CAAC,CAAC;QAC9C,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;OAEG;IACH,uBAAuB,CACrB,MAAyB,EACzB,WAGC,EACD,WAAgC,EAAE;QAElC,MAAM,OAAO,GAAqB;YAChC,OAAO,EAAE,MAAM;YACf,MAAM;YACN,WAAW;YACX,QAAQ,EAAE;gBACR,GAAG,QAAQ;gBACX,cAAc,EAAE,YAAY;gBAC5B,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aACpC;SACF,CAAC;QAEF,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,CAAC,+CAA+C,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC;YACjF,OAAO,CAAC,GAAG,CAAC,WAAW,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/D,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;OAEG;IACH,yBAAyB,CAAC,KAAsB,EAAE,SAA4B;QAC5E,MAAM,QAAQ,GAAyB;YACrC,mBAAmB,EAAE,EAAE;YACvB,kBAAkB,EAAE,EAAE;YACtB,oBAAoB,EAAE,EAAE;YACxB,uBAAuB,EAAE,EAAE;YAC3B,oBAAoB,EAAE,EAAE;SACzB,CAAC;QAEF,2DAA2D;QAC3D,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;YACxB,KAAK,MAAM,YAAY,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;gBAC/C,MAAM,IAAI,GAAG,kBAAkB,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;gBACnD,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;oBACtB,QAAQ,CAAC,mBAAmB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;gBAClD,CAAC;qBAAM,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;oBAC5B,QAAQ,CAAC,kBAAkB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;oBAC/C,IAAI,YAAY,CAAC,aAAa,EAAE,CAAC;wBAC/B,QAAQ,CAAC,oBAAoB,CAAC,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC;oBAC/D,CAAC;gBACH,CAAC;qBAAM,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;oBAC9B,QAAQ,CAAC,uBAAuB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;gBACtD,CAAC;YACH,CAAC;QACH,CAAC;QAED,sEAAsE;QACtE,KAAK,MAAM,UAAU,IAAI,SAAS,EAAE,CAAC;YACnC,IAAI,UAAU,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;gBAChE,SAAS;YACX,CAAC;YAED,KAAK,MAAM,YAAY,IAAI,UAAU,CAAC,aAAa,EAAE,CAAC;gBACpD,IAAI,YAAY,CAAC,WAAW,KAAK,KAAK,CAAC,IAAI,EAAE,CAAC;oBAC5C,MAAM,IAAI,GAAG,kBAAkB,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;oBAEnD,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;wBACtB,8DAA8D;wBAC9D,QAAQ,CAAC,kBAAkB,CAAC,IAAI,CAAC;4BAC/B,IAAI,EAAE,UAAU,CAAC,IAAI;4BACrB,IAAI,EAAE,SAAS;4BACf,WAAW,EAAE,UAAU,CAAC,IAAI;4BAC5B,UAAU,EAAE,YAAY,CAAC,UAAU;4BACnC,aAAa,EAAE,YAAY,CAAC,aAAa;yBAC1C,CAAC,CAAC;wBACH,IAAI,YAAY,CAAC,aAAa,EAAE,CAAC;4BAC/B,QAAQ,CAAC,oBAAoB,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;wBACtD,CAAC;oBACH,CAAC;yBAAM,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;wBAC5B,2DAA2D;wBAC3D,QAAQ,CAAC,mBAAmB,CAAC,IAAI,CAAC;4BAChC,IAAI,EAAE,UAAU,CAAC,IAAI;4BACrB,IAAI,EAAE,WAAW;4BACjB,WAAW,EAAE,UAAU,CAAC,IAAI;4BAC5B,UAAU,EAAE,YAAY,CAAC,UAAU;yBACpC,CAAC,CAAC;oBACL,CAAC;yBAAM,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;wBAC9B,6BAA6B;wBAC7B,IAAI,CAAC,QAAQ,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,KAAK,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;4BACnF,QAAQ,CAAC,uBAAuB,CAAC,IAAI,CAAC;gCACpC,IAAI,EAAE,UAAU,CAAC,IAAI;gCACrB,IAAI,EAAE,YAAY;gCAClB,WAAW,EAAE,UAAU,CAAC,IAAI;6BAC7B,CAAC,CAAC;wBACL,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,iEAAiE;QACjE,MAAM,YAAY,GAAG,QAAQ,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC;QAC1E,KAAK,MAAM,eAAe,IAAI,YAAY,EAAE,CAAC;YAC3C,KAAK,MAAM,UAAU,IAAI,SAAS,EAAE,CAAC;gBACnC,IAAI,UAAU,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;oBAChE,SAAS;gBACX,CAAC;gBAED,MAAM,eAAe,GAAG,UAAU,CAAC,aAAa,CAAC,IAAI,CACnD,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,WAAW,KAAK,eAAe,CACjE,CAAC;gBAEF,IAAI,eAAe,EAAE,CAAC;oBACpB,MAAM,mBAAmB,GAA2B;wBAClD,IAAI,EAAE,UAAU,CAAC,IAAI;wBACrB,IAAI,EAAE,WAAW,EAAE,gCAAgC;wBACnD,WAAW,EAAE,UAAU,CAAC,IAAI;qBAC7B,CAAC;oBACF,QAAQ,CAAC,oBAAoB,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;gBAC1D,CAAC;YACH,CAAC;QACH,CAAC;QAED,oBAAoB;QACpB,QAAQ,CAAC,oBAAoB,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAC,CAAC;QAE5E,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED;;OAEG;IACH,sBAAsB,CAAC,KAAsB,EAAE,OAAe;QAC5D,IAAI,CAAC,KAAK,CAAC,aAAa;YAAE,OAAO,KAAK,CAAC;QAEvC,6DAA6D;QAC7D,QAAQ,OAAO,EAAE,CAAC;YAChB,KAAK,WAAW;gBACd,OAAO,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YAChE,KAAK,aAAa;gBAChB,OAAO,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACjE,KAAK,eAAe;gBAClB,OAAO,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YAClE,KAAK,kBAAkB;gBACrB,OAAO,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,IAAI,CAAC,CAAC;YACjE,KAAK,cAAc;gBACjB,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACjE,KAAK,cAAc;gBACjB,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YAClE;gBACE,OAAO,KAAK,CAAC;QACjB,CAAC;IACH,CAAC;IAED;;OAEG;IACH,gBAAgB,CACd,KAAsB,EACtB,gBAA+D,EAC/D,SAA4B;QAE5B,MAAM,QAAQ,GAAG,IAAI,CAAC,yBAAyB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAClE,MAAM,iBAAiB,GAAa,EAAE,CAAC;QAEvC,QAAQ,gBAAgB,EAAE,CAAC;YACzB,KAAK,QAAQ;gBACX,iBAAiB,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;gBAChF,MAAM;YACR,KAAK,OAAO;gBACV,iBAAiB,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;gBAC/E,MAAM;YACR,KAAK,SAAS;gBACZ,iBAAiB,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;gBACjF,MAAM;YACR,KAAK,YAAY;gBACf,iBAAiB,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,uBAAuB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;gBACpF,MAAM;QACV,CAAC;QAED,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACnE,CAAC;IAED;;OAEG;IACH,wBAAwB,CAAC,KAAsB,EAAE,SAA4B;QAC3E,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,aAAa;QAE5B,4BAA4B;QAC5B,KAAK,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,GAAG,CAAC;QAEvC,+BAA+B;QAC/B,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;YACxB,KAAK,IAAI,KAAK,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC;YAExC,yCAAyC;YACzC,MAAM,eAAe,GAAG,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,MAAM,CAAC;YACxF,KAAK,IAAI,eAAe,GAAG,CAAC,CAAC;YAE7B,MAAM,YAAY,GAAG,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC;YAC7E,KAAK,IAAI,YAAY,GAAG,CAAC,CAAC;QAC5B,CAAC;QAED,2BAA2B;QAC3B,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;YACpB,KAAK,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC;YAC7C,KAAK,IAAI,KAAK,CAAC,SAAS,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC;QAClD,CAAC;QAED,0BAA0B;QAC1B,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YACnB,KAAK,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,GAAG,CAAC;QACvC,CAAC;QAED,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC;IAED,kCAAkC;IAClC,yBAAyB;IACzB,kCAAkC;IAE1B,uBAAuB,CAAC,QAA+B;QAC7D,IAAI,CAAC,QAAQ;YAAE,OAAO;QAEtB,OAAO,CAAC,GAAG,CAAC,0BAA0B,CAAC,CAAC;QACxC,OAAO,CAAC,GAAG,CAAC,gBAAgB,QAAQ,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC;QACzG,OAAO,CAAC,GAAG,CAAC,iBAAiB,QAAQ,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC;QACzG,OAAO,CAAC,GAAG,CAAC,qBAAqB,QAAQ,CAAC,uBAAuB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC;QAClH,OAAO,CAAC,GAAG,CAAC,wBAAwB,QAAQ,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,EAAE,CAAC,CAAC;IAC5F,CAAC;CACF;AAED;;GAEG;AACH,MAAM,OAAO,YAAY;IACvB;;OAEG;IACH,MAAM,CAAC,gBAAgB,CACrB,WAA6B,EAC7B,YAA6B,EAC7B,cAAuC;QAEvC,MAAM,aAAa,GAAG,cAAc,CAAC,yBAAyB,CAAC,YAAY,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;QAEjG,OAAO;YACL,GAAG,WAAW;YACd,YAAY;YACZ,aAAa;YACb,QAAQ,EAAE;gBACR,GAAG,WAAW,CAAC,QAAQ;gBACvB,aAAa,EAAE,YAAY,CAAC,IAAI;aACjC;SACF,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,MAAM,CAAC,YAAY,CAAC,OAAyB;QAM3C,MAAM,SAAS,GAAG,OAAO,CAAC,YAAY,EAAE,IAAI,CAAC;QAE7C,IAAI,CAAC,SAAS,EAAE,CAAC;YACf,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,OAAO;YACL,SAAS;YACT,cAAc,EAAE,GAAG,SAAS,YAAY;YACxC,WAAW,EAAE,GAAG,SAAS,SAAS;YAClC,eAAe,EAAE,YAAY,CAAC,SAAS,CAAC,SAAS,CAAC;SACnD,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,MAAM,CAAC,SAAS,CAAC,GAAW;QAClC,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACtB,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;QAClC,CAAC;QACD,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC;YAC3D,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7C,OAAO,GAAG,GAAG,IAAI,CAAC;QACpB,CAAC;QACD,OAAO,GAAG,GAAG,GAAG,CAAC;IACnB,CAAC;CACF"}

package/dist/inference/core/index.d.ts

@@ -0,0 +1,14 @@
+/**
+ * V3.1 Inference Engine Core - Entry Point
+ * Exports all core functionality for the rule-based inference system
+ */
+export * from './types.js';
+export type { ControllerSpec, ServiceSpec, EventSpec, ViewSpec, ModelSpec } from './types.js';
+export type { RuleFileType, RuleFile, ConfigurationRuleFile, ExpansionTemplateRuleFile, PatternInferenceRuleFile, DeploymentRuleFile, LegacyRuleFile, ComponentMappings, SpecialistViewTemplate, ViewPatternMappings, InferenceRule as RuleFileInferenceRule, AttributeComponentMapping, RelationshipComponentMapping, ComponentTemplate, DeploymentBindingRule, DeploymentCapabilityRule, DeploymentChannelRule, DeploymentInstanceRule, DetailViewPattern, FormViewPattern, ListViewPattern, ViewPattern as RuleFileViewPattern } from './rule-file-types.js';
+export { RuleEngine } from './rule-engine.js';
+export { RuleLoader } from './rule-loader.js';
+export { InferenceContextManager, ContextUtils } from './context.js';
+import { DEFAULT_ENGINE_CONFIG } from './types.js';
+export { DEFAULT_ENGINE_CONFIG };
+export { SpeclyConverter } from './specly-converter.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/inference/core/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/inference/core/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,cAAc,YAAY,CAAC;AAG3B,YAAY,EACV,cAAc,EACd,WAAW,EACX,SAAS,EACT,QAAQ,EACR,SAAS,EACV,MAAM,YAAY,CAAC;AAGpB,YAAY,EACV,YAAY,EACZ,QAAQ,EACR,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EACxB,kBAAkB,EAClB,cAAc,EACd,iBAAiB,EACjB,sBAAsB,EACtB,mBAAmB,EACnB,aAAa,IAAI,qBAAqB,EACtC,yBAAyB,EACzB,4BAA4B,EAC5B,iBAAiB,EACjB,qBAAqB,EACrB,wBAAwB,EACxB,qBAAqB,EACrB,sBAAsB,EACtB,iBAAiB,EACjB,eAAe,EACf,eAAe,EACf,WAAW,IAAI,mBAAmB,EACnC,MAAM,sBAAsB,CAAC;AAG9B,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAG9C,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAG9C,OAAO,EAAE,uBAAuB,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAGrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AACnD,OAAO,EAAE,qBAAqB,EAAE,CAAC;AAGjC,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC"}

package/dist/inference/core/index.js

@@ -0,0 +1,18 @@
+/**
+ * V3.1 Inference Engine Core - Entry Point
+ * Exports all core functionality for the rule-based inference system
+ */
+// Core types
+export * from './types.js';
+// Core engine
+export { RuleEngine } from './rule-engine.js';
+// Rule loading
+export { RuleLoader } from './rule-loader.js';
+// Context management
+export { InferenceContextManager, ContextUtils } from './context.js';
+// Default configuration
+import { DEFAULT_ENGINE_CONFIG } from './types.js';
+export { DEFAULT_ENGINE_CONFIG };
+// Specly converter
+export { SpeclyConverter } from './specly-converter.js';
+//# sourceMappingURL=index.js.map

package/dist/inference/core/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/inference/core/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,aAAa;AACb,cAAc,YAAY,CAAC;AAqC3B,cAAc;AACd,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,eAAe;AACf,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE9C,qBAAqB;AACrB,OAAO,EAAE,uBAAuB,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAErE,wBAAwB;AACxB,OAAO,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AACnD,OAAO,EAAE,qBAAqB,EAAE,CAAC;AAEjC,mBAAmB;AACnB,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC"}

package/dist/inference/core/rule-engine.d.ts

@@ -0,0 +1,52 @@
+/**
+ * Core Rule Engine for V3.1 Inference System
+ * Provides pattern matching and rule application for both logical and deployment inference
+ */
+import { InferenceRule, InferenceContext, ValidationResult } from './types.js';
+export declare class RuleEngine<TInput, TOutput> {
+    private debug;
+    private rules;
+    private conditionCache;
+    constructor(debug?: boolean);
+    /**
+     * Load rules for a specific category (e.g., 'controllers', 'services')
+     */
+    loadRules(category: string, rules: InferenceRule<TInput, TOutput>[]): ValidationResult;
+    /**
+     * Find all matching rules for input in a category
+     */
+    findMatches(category: string, input: TInput, context: InferenceContext): InferenceRule<TInput, TOutput>[];
+    /**
+     * Apply a rule to generate output
+     */
+    apply(rule: InferenceRule<TInput, TOutput>, input: TInput, context: InferenceContext): TOutput;
+    /**
+     * Get all loaded rules for debugging
+     */
+    getAllRules(): Map<string, InferenceRule<TInput, TOutput>[]>;
+    /**
+     * Clear all loaded rules
+     */
+    clearRules(): void;
+    private validateRule;
+    private evaluateCondition;
+    private buildTemplateContext;
+    private applyHandlebarsTemplate;
+    private applyJsonTemplate;
+    private applyYamlTemplate;
+    private applySpeclyTemplate;
+    private generateCuredControllerSpec;
+    private generateProcessingServiceSpec;
+    private generateValidationServiceSpec;
+    private generateStandardEventsSpec;
+    private generateViewSpec;
+    private processSpeclyHandlebars;
+    private processHandlebarsInJson;
+    private processHandlebarsConditionals;
+    private convertJsonToSpecly;
+    private generateIntegrationServiceSpec;
+    private generateLifecycleServiceSpec;
+    private generateRelationshipServiceSpec;
+    private generateRelationshipEventsSpec;
+}
+//# sourceMappingURL=rule-engine.d.ts.map

package/dist/inference/core/rule-engine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rule-engine.d.ts","sourceRoot":"","sources":["../../../src/inference/core/rule-engine.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,aAAa,EACb,gBAAgB,EAChB,gBAAgB,EAGjB,MAAM,YAAY,CAAC;AAGpB,qBAAa,UAAU,CAAC,MAAM,EAAE,OAAO;IAIzB,OAAO,CAAC,KAAK;IAHzB,OAAO,CAAC,KAAK,CAA4D;IACzE,OAAO,CAAC,cAAc,CAAmC;gBAErC,KAAK,GAAE,OAAe;IAE1C;;OAEG;IACH,SAAS,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,aAAa,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,GAAG,gBAAgB;IAgCtF;;OAEG;IACH,WAAW,CACT,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,gBAAgB,GACxB,aAAa,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE;IAiBnC;;OAEG;IACH,KAAK,CACH,IAAI,EAAE,aAAa,CAAC,MAAM,EAAE,OAAO,CAAC,EACpC,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,gBAAgB,GACxB,OAAO;IAuBV;;OAEG;IACH,WAAW,IAAI,GAAG,CAAC,MAAM,EAAE,aAAa,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;IAI5D;;OAEG;IACH,UAAU,IAAI,IAAI;IASlB,OAAO,CAAC,YAAY;IAsFpB,OAAO,CAAC,iBAAiB;IAwEzB,OAAO,CAAC,oBAAoB;IA8D5B,OAAO,CAAC,uBAAuB;IAoC/B,OAAO,CAAC,iBAAiB;IAiBzB,OAAO,CAAC,iBAAiB;IAqEzB,OAAO,CAAC,mBAAmB;IA0D3B,OAAO,CAAC,2BAA2B;IA0HnC,OAAO,CAAC,6BAA6B;IAmFrC,OAAO,CAAC,6BAA6B;IAyErC,OAAO,CAAC,0BAA0B;IA4DlC,OAAO,CAAC,gBAAgB;IAuFxB,OAAO,CAAC,uBAAuB;IA4E/B,OAAO,CAAC,uBAAuB;IAuB/B,OAAO,CAAC,6BAA6B;IAsBrC,OAAO,CAAC,mBAAmB;IAuD3B,OAAO,CAAC,8BAA8B;IA6EtC,OAAO,CAAC,4BAA4B;IAmFpC,OAAO,CAAC,+BAA+B;IAoGvC,OAAO,CAAC,8BAA8B;CAmHvC"}