@specverse/engines 4.1.0

package/dist/inference/deployment/deployment-generator.js

@@ -0,0 +1,343 @@
+/**
+ * V3.1 Deployment Generator
+ * Generates minimal deployment specifications from logical components
+ */
+export class DeploymentInferenceGenerator {
+    rules = [];
+    debug;
+    constructor(debug = false) {
+        this.debug = debug;
+    }
+    /**
+     * Load deployment inference rules
+     */
+    async loadRules(rules) {
+        const validation = {
+            valid: true,
+            errors: [],
+            warnings: []
+        };
+        try {
+            this.rules = [...rules].sort((a, b) => b.priority - a.priority);
+            if (this.debug) {
+                console.log(`🚀 Loaded ${this.rules.length} deployment rules`);
+                this.rules.forEach(rule => {
+                    console.log(`   - ${rule.name} (priority: ${rule.priority})`);
+                });
+            }
+        }
+        catch (error) {
+            validation.errors.push({
+                code: 'RULE_LOADING_ERROR',
+                message: `Failed to load deployment rules: ${error instanceof Error ? error.message : String(error)}`,
+                location: 'DeploymentGenerator.loadRules'
+            });
+            validation.valid = false;
+        }
+        return validation;
+    }
+    /**
+     * Generate deployment specifications from logical component
+     */
+    async generate(component, context) {
+        const startTime = Date.now();
+        const deployments = {};
+        let rulesUsed = 0;
+        const validation = {
+            valid: true,
+            errors: [],
+            warnings: []
+        };
+        try {
+            // Generate instances first
+            const instances = await this.generateInstances(component, context);
+            rulesUsed += instances.rulesUsed;
+            // Generate communication channels
+            const channels = await this.generateChannels(component, context);
+            // Generate complete deployment
+            const targetEnvironment = context.environment?.target || 'development';
+            const deploymentName = `${this.toKebabCase(component.name)}Deployment`;
+            deployments[deploymentName] = {
+                version: '3.1.0',
+                environment: targetEnvironment,
+                description: `Auto-generated minimal deployment for ${component.name}`,
+                instances: {
+                    controllers: instances.controllers,
+                    services: instances.services,
+                    views: instances.views,
+                    communications: channels
+                }
+            };
+            const processingTime = Date.now() - startTime;
+            if (this.debug) {
+                console.log(`🏗️  Generated deployment in ${processingTime}ms`);
+                console.log(`   Instances: ${Object.keys(instances.controllers).length + Object.keys(instances.services).length + Object.keys(instances.views).length}`);
+                console.log(`   Channels: ${Object.keys(channels).length}`);
+                console.log(`   Rules applied: ${rulesUsed}`);
+            }
+        }
+        catch (error) {
+            validation.errors.push({
+                code: 'DEPLOYMENT_GENERATION_ERROR',
+                message: `Failed to generate deployment: ${error instanceof Error ? error.message : String(error)}`,
+                location: 'DeploymentGenerator.generate'
+            });
+            validation.valid = false;
+        }
+        return {
+            deployments,
+            rulesUsed,
+            validation
+        };
+    }
+    /**
+     * Generate instances from component logical elements
+     */
+    async generateInstances(component, context) {
+        const instances = {
+            controllers: {},
+            services: {},
+            views: {},
+            communications: {},
+            rulesUsed: 0
+        };
+        // Generate controller instances
+        Object.entries(component.controllers).forEach(([name, controller]) => {
+            const namespace = controller.model ? this.toKebabCase(controller.model) : this.toKebabCase(name);
+            const uses = this.inferControllerDependencies(controller, component);
+            instances.controllers[this.toValidInstanceName(`${name}Instance`)] = {
+                component: this.toKebabCase(component.name),
+                namespace,
+                advertises: "*",
+                uses,
+                scale: this.calculateControllerScale(controller, component)
+            };
+            instances.rulesUsed++;
+        });
+        // Generate service instances  
+        Object.entries(component.services).forEach(([name, service]) => {
+            const namespace = this.toKebabCase(name);
+            const uses = this.inferServiceDependencies(service, component);
+            instances.services[this.toValidInstanceName(`${name}Instance`)] = {
+                component: this.toKebabCase(component.name),
+                namespace,
+                advertises: ["operations.*"],
+                uses,
+                scale: this.calculateServiceScale(service, component)
+            };
+            instances.rulesUsed++;
+        });
+        // Generate view instances (grouped by interface type)
+        const viewGroups = this.groupViewsByInterface(component.views);
+        Object.entries(viewGroups).forEach(([interfaceType, views]) => {
+            const uses = this.inferViewDependencies(views, component);
+            instances.views[this.toValidInstanceName(`${interfaceType}Interface`)] = {
+                component: this.toKebabCase(component.name),
+                namespace: interfaceType,
+                uses,
+                scale: this.calculateViewScale(interfaceType, views)
+            };
+            instances.rulesUsed++;
+        });
+        return instances;
+    }
+    /**
+     * Generate communication channels
+     */
+    async generateChannels(component, context) {
+        const channels = {};
+        // Always generate main bus
+        channels.mainBus = {
+            namespace: "global",
+            capabilities: this.extractAllCapabilities(component),
+            type: "pubsub"
+        };
+        // Generate domain buses for complex components (>2 models)
+        const modelCount = Object.keys(component.models || {}).length;
+        if (modelCount > 2) {
+            const domains = this.groupModelsByDomain(component.models || {});
+            Object.entries(domains).forEach(([domain, models]) => {
+                channels[`${domain}Bus`] = {
+                    namespace: domain,
+                    capabilities: models.map(model => `${model}.*`),
+                    type: this.chooseBusType(domain)
+                };
+            });
+        }
+        return channels;
+    }
+    // ===============================
+    // Helper Methods
+    // ===============================
+    inferControllerDependencies(controller, component) {
+        const dependencies = [];
+        if (controller.model) {
+            dependencies.push(`${controller.model.toLowerCase()}.*`);
+        }
+        // Add service dependencies
+        Object.keys(component.services || {}).forEach(serviceName => {
+            dependencies.push(`${serviceName.toLowerCase()}.*`);
+        });
+        return dependencies;
+    }
+    inferServiceDependencies(service, component) {
+        const dependencies = [];
+        // Infer from operations and subscriptions
+        if (service.operations) {
+            Object.keys(service.operations).forEach(opName => {
+                dependencies.push(`${opName.toLowerCase()}.*`);
+            });
+        }
+        return dependencies;
+    }
+    inferViewDependencies(views, component) {
+        const dependencies = ["models.*"];
+        // Add model-specific dependencies
+        views.forEach(view => {
+            if (view.model) {
+                dependencies.push(`${view.model.toLowerCase()}.*`);
+            }
+            if (view.models) {
+                view.models.forEach((model) => {
+                    dependencies.push(`${model.toLowerCase()}.*`);
+                });
+            }
+        });
+        return [...new Set(dependencies)]; // Remove duplicates
+    }
+    calculateControllerScale(controller, component) {
+        let scale = 1;
+        // +1 for each model managed
+        if (controller.model)
+            scale += 1;
+        // +2 if has many CURED operations
+        if (controller.cured && Object.keys(controller.cured).length > 4)
+            scale += 2;
+        // +1 if has custom actions
+        if (controller.customActions && Object.keys(controller.customActions).length > 0)
+            scale += 1;
+        return Math.min(scale, 8); // Cap at 8
+    }
+    calculateServiceScale(service, component) {
+        let scale = 1;
+        // +1 for each operation
+        if (service.operations) {
+            scale += Math.min(Object.keys(service.operations).length, 3);
+        }
+        // +1 if subscribes to events
+        if (service.subscribes_to && Object.keys(service.subscribes_to).length > 0)
+            scale += 1;
+        return Math.min(scale, 6); // Cap at 6
+    }
+    calculateViewScale(interfaceType, views) {
+        const baseScales = {
+            web: 4,
+            admin: 2,
+            mobile: 3,
+            api: 2
+        };
+        const baseScale = baseScales[interfaceType] || 2;
+        const viewCount = views.length;
+        return Math.min(baseScale + Math.floor(viewCount / 2), 10);
+    }
+    groupViewsByInterface(views) {
+        const groups = {
+            web: [],
+            admin: [],
+            mobile: [],
+            api: []
+        };
+        Object.entries(views).forEach(([name, view]) => {
+            // Determine interface type from view name or type
+            const lowerName = name.toLowerCase();
+            if (lowerName.includes('admin')) {
+                groups.admin.push({ name, ...view });
+            }
+            else if (lowerName.includes('mobile') || lowerName.includes('app')) {
+                groups.mobile.push({ name, ...view });
+            }
+            else if (lowerName.includes('api') || view.type === 'api') {
+                groups.api.push({ name, ...view });
+            }
+            else {
+                groups.web.push({ name, ...view });
+            }
+        });
+        // Remove empty groups
+        return Object.fromEntries(Object.entries(groups).filter(([_, views]) => views.length > 0));
+    }
+    extractAllCapabilities(component) {
+        const capabilities = [];
+        // Add model capabilities
+        Object.keys(component.models || {}).forEach(modelName => {
+            capabilities.push(`${modelName.toLowerCase()}.create`, `${modelName.toLowerCase()}.read`, `${modelName.toLowerCase()}.update`, `${modelName.toLowerCase()}.delete`);
+        });
+        // Add service capabilities
+        Object.entries(component.services || {}).forEach(([serviceName, service]) => {
+            if (service.operations) {
+                Object.keys(service.operations).forEach(opName => {
+                    capabilities.push(`${serviceName.toLowerCase()}.${opName}`);
+                });
+            }
+        });
+        return capabilities;
+    }
+    groupModelsByDomain(models) {
+        const domains = {};
+        Object.keys(models).forEach(modelName => {
+            // Simple domain inference based on model name patterns
+            let domain = 'general';
+            const lowerName = modelName.toLowerCase();
+            if (lowerName.includes('user') || lowerName.includes('account') || lowerName.includes('profile')) {
+                domain = 'identity';
+            }
+            else if (lowerName.includes('order') || lowerName.includes('payment') || lowerName.includes('transaction')) {
+                domain = 'commerce';
+            }
+            else if (lowerName.includes('product') || lowerName.includes('catalog') || lowerName.includes('inventory')) {
+                domain = 'catalog';
+            }
+            else if (lowerName.includes('notification') || lowerName.includes('message') || lowerName.includes('email')) {
+                domain = 'communication';
+            }
+            if (!domains[domain])
+                domains[domain] = [];
+            domains[domain].push(modelName);
+        });
+        return domains;
+    }
+    chooseBusType(domain) {
+        // Choose bus type based on domain characteristics
+        switch (domain) {
+            case 'identity':
+            case 'commerce':
+                return 'rpc'; // Synchronous operations
+            case 'communication':
+            case 'notification':
+                return 'pubsub'; // Asynchronous messaging
+            default:
+                return 'rpc';
+        }
+    }
+    toKebabCase(str) {
+        return str
+            .replace(/([a-z0-9])([A-Z])/g, '$1-$2')
+            .toLowerCase()
+            .replace(/[^a-z0-9-]/g, '-')
+            .replace(/-+/g, '-')
+            .replace(/^-|-$/g, '');
+    }
+    /**
+     * Convert instance name to valid format (must start with lowercase)
+     * Schema pattern: ^[a-z][a-zA-Z0-9_]*$
+     */
+    toValidInstanceName(str) {
+        // Convert to camelCase but ensure starts with lowercase
+        const camelCase = str
+            .replace(/[^a-zA-Z0-9]/g, '') // Remove special chars
+            .replace(/([A-Z])/g, (match, char, index) => index === 0 ? char.toLowerCase() : char);
+        // Ensure starts with lowercase letter
+        return camelCase.charAt(0).toLowerCase() + camelCase.slice(1);
+    }
+}
+//# sourceMappingURL=deployment-generator.js.map

package/dist/inference/deployment/deployment-generator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"deployment-generator.js","sourceRoot":"","sources":["../../../src/inference/deployment/deployment-generator.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAgBH,MAAM,OAAO,4BAA4B;IAC/B,KAAK,GAAiE,EAAE,CAAC;IACzE,KAAK,CAAU;IAEvB,YAAY,QAAiB,KAAK;QAChC,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;IACrB,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,SAAS,CAAC,KAAmE;QACjF,MAAM,UAAU,GAAqB;YACnC,KAAK,EAAE,IAAI;YACX,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE,EAAE;SACb,CAAC;QAEF,IAAI,CAAC;YACH,IAAI,CAAC,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC;YAEhE,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACf,OAAO,CAAC,GAAG,CAAC,aAAa,IAAI,CAAC,KAAK,CAAC,MAAM,mBAAmB,CAAC,CAAC;gBAC/D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;oBACxB,OAAO,CAAC,GAAG,CAAC,QAAQ,IAAI,CAAC,IAAI,eAAe,IAAI,CAAC,QAAQ,GAAG,CAAC,CAAC;gBAChE,CAAC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC;gBACrB,IAAI,EAAE,oBAAoB;gBAC1B,OAAO,EAAE,oCAAoC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;gBACrG,QAAQ,EAAE,+BAA+B;aAC1C,CAAC,CAAC;YACH,UAAU,CAAC,KAAK,GAAG,KAAK,CAAC;QAC3B,CAAC;QAED,OAAO,UAAU,CAAC;IACpB,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,QAAQ,CACZ,SAA+B,EAC/B,OAAyB;QAEzB,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC7B,MAAM,WAAW,GAA0C,EAAE,CAAC;QAC9D,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;YACH,2BAA2B;YAC3B,MAAM,SAAS,GAAG,MAAM,IAAI,CAAC,iBAAiB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;YACnE,SAAS,IAAI,SAAS,CAAC,SAAS,CAAC;YAEjC,kCAAkC;YAClC,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,gBAAgB,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;YAEjE,+BAA+B;YAC/B,MAAM,iBAAiB,GAAG,OAAO,CAAC,WAAW,EAAE,MAAM,IAAI,aAAa,CAAC;YACvE,MAAM,cAAc,GAAG,GAAG,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC;YAEvE,WAAW,CAAC,cAAc,CAAC,GAAG;gBAC5B,OAAO,EAAE,OAAO;gBAChB,WAAW,EAAE,iBAAiB;gBAC9B,WAAW,EAAE,yCAAyC,SAAS,CAAC,IAAI,EAAE;gBACtE,SAAS,EAAE;oBACT,WAAW,EAAE,SAAS,CAAC,WAAW;oBAClC,QAAQ,EAAE,SAAS,CAAC,QAAQ;oBAC5B,KAAK,EAAE,SAAS,CAAC,KAAK;oBACtB,cAAc,EAAE,QAAQ;iBACzB;aACF,CAAC;YAEF,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;YAE9C,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACf,OAAO,CAAC,GAAG,CAAC,gCAAgC,cAAc,IAAI,CAAC,CAAC;gBAChE,OAAO,CAAC,GAAG,CAAC,iBAAiB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;gBACzJ,OAAO,CAAC,GAAG,CAAC,gBAAgB,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;gBAC5D,OAAO,CAAC,GAAG,CAAC,qBAAqB,SAAS,EAAE,CAAC,CAAC;YAChD,CAAC;QAEH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC;gBACrB,IAAI,EAAE,6BAA6B;gBACnC,OAAO,EAAE,kCAAkC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;gBACnG,QAAQ,EAAE,8BAA8B;aACzC,CAAC,CAAC;YACH,UAAU,CAAC,KAAK,GAAG,KAAK,CAAC;QAC3B,CAAC;QAED,OAAO;YACL,WAAW;YACX,SAAS;YACT,UAAU;SACX,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,iBAAiB,CAC7B,SAA+B,EAC/B,OAAyB;QAQzB,MAAM,SAAS,GAAG;YAChB,WAAW,EAAE,EAAE;YACf,QAAQ,EAAE,EAAE;YACZ,KAAK,EAAE,EAAE;YACT,cAAc,EAAE,EAAE;YAClB,SAAS,EAAE,CAAC;SACb,CAAC;QAEF,gCAAgC;QAChC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,EAAE;YACnE,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YACjG,MAAM,IAAI,GAAG,IAAI,CAAC,2BAA2B,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;YAEpE,SAAS,CAAC,WAAmB,CAAC,IAAI,CAAC,mBAAmB,CAAC,GAAG,IAAI,UAAU,CAAC,CAAC,GAAG;gBAC5E,SAAS,EAAE,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC;gBAC3C,SAAS;gBACT,UAAU,EAAE,GAAG;gBACf,IAAI;gBACJ,KAAK,EAAE,IAAI,CAAC,wBAAwB,CAAC,UAAU,EAAE,SAAS,CAAC;aAC5D,CAAC;YACF,SAAS,CAAC,SAAS,EAAE,CAAC;QACxB,CAAC,CAAC,CAAC;QAEH,+BAA+B;QAC/B,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,EAAE;YAC7D,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;YACzC,MAAM,IAAI,GAAG,IAAI,CAAC,wBAAwB,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;YAE9D,SAAS,CAAC,QAAgB,CAAC,IAAI,CAAC,mBAAmB,CAAC,GAAG,IAAI,UAAU,CAAC,CAAC,GAAG;gBACzE,SAAS,EAAE,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC;gBAC3C,SAAS;gBACT,UAAU,EAAE,CAAC,cAAc,CAAC;gBAC5B,IAAI;gBACJ,KAAK,EAAE,IAAI,CAAC,qBAAqB,CAAC,OAAO,EAAE,SAAS,CAAC;aACtD,CAAC;YACF,SAAS,CAAC,SAAS,EAAE,CAAC;QACxB,CAAC,CAAC,CAAC;QAEH,sDAAsD;QACtD,MAAM,UAAU,GAAG,IAAI,CAAC,qBAAqB,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC/D,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,EAAE,KAAK,CAAC,EAAE,EAAE;YAC5D,MAAM,IAAI,GAAG,IAAI,CAAC,qBAAqB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;YAEzD,SAAS,CAAC,KAAa,CAAC,IAAI,CAAC,mBAAmB,CAAC,GAAG,aAAa,WAAW,CAAC,CAAC,GAAG;gBAChF,SAAS,EAAE,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC;gBAC3C,SAAS,EAAE,aAAa;gBACxB,IAAI;gBACJ,KAAK,EAAE,IAAI,CAAC,kBAAkB,CAAC,aAAa,EAAE,KAAK,CAAC;aACrD,CAAC;YACF,SAAS,CAAC,SAAS,EAAE,CAAC;QACxB,CAAC,CAAC,CAAC;QAEH,OAAO,SAAS,CAAC;IACnB,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,gBAAgB,CAC5B,SAA+B,EAC/B,OAAyB;QAEzB,MAAM,QAAQ,GAAwB,EAAE,CAAC;QAEzC,2BAA2B;QAC3B,QAAQ,CAAC,OAAO,GAAG;YACjB,SAAS,EAAE,QAAQ;YACnB,YAAY,EAAE,IAAI,CAAC,sBAAsB,CAAC,SAAS,CAAC;YACpD,IAAI,EAAE,QAAQ;SACf,CAAC;QAEF,2DAA2D;QAC3D,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QAC9D,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;YACnB,MAAM,OAAO,GAAG,IAAI,CAAC,mBAAmB,CAAC,SAAS,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;YACjE,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE;gBACnD,QAAQ,CAAC,GAAG,MAAM,KAAK,CAAC,GAAG;oBACzB,SAAS,EAAE,MAAM;oBACjB,YAAY,EAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,KAAK,IAAI,CAAC;oBAC/C,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC;iBACjC,CAAC;YACJ,CAAC,CAAC,CAAC;QACL,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,kCAAkC;IAClC,iBAAiB;IACjB,kCAAkC;IAE1B,2BAA2B,CAAC,UAAe,EAAE,SAA+B;QAClF,MAAM,YAAY,GAAa,EAAE,CAAC;QAElC,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;YACrB,YAAY,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QAC3D,CAAC;QAED,2BAA2B;QAC3B,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE;YAC1D,YAAY,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;QACtD,CAAC,CAAC,CAAC;QAEH,OAAO,YAAY,CAAC;IACtB,CAAC;IAEO,wBAAwB,CAAC,OAAY,EAAE,SAA+B;QAC5E,MAAM,YAAY,GAAa,EAAE,CAAC;QAElC,0CAA0C;QAC1C,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;YACvB,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;gBAC/C,YAAY,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;YACjD,CAAC,CAAC,CAAC;QACL,CAAC;QAED,OAAO,YAAY,CAAC;IACtB,CAAC;IAEO,qBAAqB,CAAC,KAAY,EAAE,SAA+B;QACzE,MAAM,YAAY,GAAG,CAAC,UAAU,CAAC,CAAC;QAElC,kCAAkC;QAClC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE;YACnB,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACf,YAAY,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;YACrD,CAAC;YACD,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChB,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAa,EAAE,EAAE;oBACpC,YAAY,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;gBAChD,CAAC,CAAC,CAAC;YACL,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,oBAAoB;IACzD,CAAC;IAEO,wBAAwB,CAAC,UAAe,EAAE,SAA+B;QAC/E,IAAI,KAAK,GAAG,CAAC,CAAC;QAEd,4BAA4B;QAC5B,IAAI,UAAU,CAAC,KAAK;YAAE,KAAK,IAAI,CAAC,CAAC;QAEjC,kCAAkC;QAClC,IAAI,UAAU,CAAC,KAAK,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,CAAC;YAAE,KAAK,IAAI,CAAC,CAAC;QAE7E,2BAA2B;QAC3B,IAAI,UAAU,CAAC,aAAa,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC,MAAM,GAAG,CAAC;YAAE,KAAK,IAAI,CAAC,CAAC;QAE7F,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW;IACxC,CAAC;IAEO,qBAAqB,CAAC,OAAY,EAAE,SAA+B;QACzE,IAAI,KAAK,GAAG,CAAC,CAAC;QAEd,wBAAwB;QACxB,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;YACvB,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QAC/D,CAAC;QAED,6BAA6B;QAC7B,IAAI,OAAO,CAAC,aAAa,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,MAAM,GAAG,CAAC;YAAE,KAAK,IAAI,CAAC,CAAC;QAEvF,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,WAAW;IACxC,CAAC;IAEO,kBAAkB,CAAC,aAAqB,EAAE,KAAY;QAC5D,MAAM,UAAU,GAAG;YACjB,GAAG,EAAE,CAAC;YACN,KAAK,EAAE,CAAC;YACR,MAAM,EAAE,CAAC;YACT,GAAG,EAAE,CAAC;SACP,CAAC;QAEF,MAAM,SAAS,GAAG,UAAU,CAAC,aAAwC,CAAC,IAAI,CAAC,CAAC;QAC5E,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC;QAE/B,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC7D,CAAC;IAEO,qBAAqB,CAAC,KAA0B;QACtD,MAAM,MAAM,GAA0B;YACpC,GAAG,EAAE,EAAE;YACP,KAAK,EAAE,EAAE;YACT,MAAM,EAAE,EAAE;YACV,GAAG,EAAE,EAAE;SACR,CAAC;QAEF,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE;YAC7C,kDAAkD;YAClD,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;YACrC,IAAI,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBAChC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,EAAC,IAAI,EAAE,GAAG,IAAI,EAAC,CAAC,CAAC;YACrC,CAAC;iBAAM,IAAI,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBACrE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAC,IAAI,EAAE,GAAG,IAAI,EAAC,CAAC,CAAC;YACtC,CAAC;iBAAM,IAAI,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBAC5D,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAC,IAAI,EAAE,GAAG,IAAI,EAAC,CAAC,CAAC;YACnC,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAC,IAAI,EAAE,GAAG,IAAI,EAAC,CAAC,CAAC;YACnC,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,sBAAsB;QACtB,OAAO,MAAM,CAAC,WAAW,CACvB,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAChE,CAAC;IACJ,CAAC;IAEO,sBAAsB,CAAC,SAA+B;QAC5D,MAAM,YAAY,GAAa,EAAE,CAAC;QAElC,yBAAyB;QACzB,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE;YACtD,YAAY,CAAC,IAAI,CACf,GAAG,SAAS,CAAC,WAAW,EAAE,SAAS,EACnC,GAAG,SAAS,CAAC,WAAW,EAAE,OAAO,EACjC,GAAG,SAAS,CAAC,WAAW,EAAE,SAAS,EACnC,GAAG,SAAS,CAAC,WAAW,EAAE,SAAS,CACpC,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,2BAA2B;QAC3B,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,EAAE,OAAO,CAAC,EAAE,EAAE;YAC1E,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;gBACvB,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE;oBAC/C,YAAY,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,WAAW,EAAE,IAAI,MAAM,EAAE,CAAC,CAAC;gBAC9D,CAAC,CAAC,CAAC;YACL,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,OAAO,YAAY,CAAC;IACtB,CAAC;IAEO,mBAAmB,CAAC,MAA2B;QACrD,MAAM,OAAO,GAA6B,EAAE,CAAC;QAE7C,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE;YACtC,uDAAuD;YACvD,IAAI,MAAM,GAAG,SAAS,CAAC;YAEvB,MAAM,SAAS,GAAG,SAAS,CAAC,WAAW,EAAE,CAAC;YAC1C,IAAI,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;gBACjG,MAAM,GAAG,UAAU,CAAC;YACtB,CAAC;iBAAM,IAAI,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;gBAC7G,MAAM,GAAG,UAAU,CAAC;YACtB,CAAC;iBAAM,IAAI,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;gBAC7G,MAAM,GAAG,SAAS,CAAC;YACrB,CAAC;iBAAM,IAAI,SAAS,CAAC,QAAQ,CAAC,cAAc,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC9G,MAAM,GAAG,eAAe,CAAC;YAC3B,CAAC;YAED,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;gBAAE,OAAO,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC;YAC3C,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;QAEH,OAAO,OAAO,CAAC;IACjB,CAAC;IAEO,aAAa,CAAC,MAAc;QAClC,kDAAkD;QAClD,QAAQ,MAAM,EAAE,CAAC;YACf,KAAK,UAAU,CAAC;YAChB,KAAK,UAAU;gBACb,OAAO,KAAK,CAAC,CAAC,yBAAyB;YACzC,KAAK,eAAe,CAAC;YACrB,KAAK,cAAc;gBACjB,OAAO,QAAQ,CAAC,CAAC,yBAAyB;YAC5C;gBACE,OAAO,KAAK,CAAC;QACjB,CAAC;IACH,CAAC;IAEO,WAAW,CAAC,GAAW;QAC7B,OAAO,GAAG;aACP,OAAO,CAAC,oBAAoB,EAAE,OAAO,CAAC;aACtC,WAAW,EAAE;aACb,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC;aAC3B,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC;aACnB,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;IAC3B,CAAC;IAED;;;OAGG;IACK,mBAAmB,CAAC,GAAW;QACrC,wDAAwD;QACxD,MAAM,SAAS,GAAG,GAAG;aAClB,OAAO,CAAC,eAAe,EAAE,EAAE,CAAC,CAAE,uBAAuB;aACrD,OAAO,CAAC,UAAU,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAExF,sCAAsC;QACtC,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAChE,CAAC;CACF"}

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

@@ -0,0 +1,6 @@
+/**
+ * Deployment inference module exports
+ */
+export { DeploymentInferenceGenerator } from './deployment-generator.js';
+export type { DeploymentGenerationResult } from './deployment-generator.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/inference/deployment/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,4BAA4B,EAAE,MAAM,2BAA2B,CAAC;AACzE,YAAY,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAC"}

package/dist/inference/deployment/index.js

@@ -0,0 +1,5 @@
+/**
+ * Deployment inference module exports
+ */
+export { DeploymentInferenceGenerator } from './deployment-generator.js';
+//# sourceMappingURL=index.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/inference/deployment/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,4BAA4B,EAAE,MAAM,2BAA2B,CAAC"}

package/dist/inference/dev-specly-generator.d.ts

@@ -0,0 +1,19 @@
+/**
+ * Dev Specly Generator
+ *
+ * Generates a dev.specly file from an inferred specification.
+ * The dev.specly describes the development GUI:
+ * - Per-model views (list, detail, form)
+ * - Specialist views (board for lifecycle models, timeline for date models, dashboard)
+ * - Sidebar navigation structure grouped by domain
+ *
+ * This is consumed by @specverse/runtime's DevShell component at runtime.
+ */
+/**
+ * Generate dev.specly YAML from an inferred component.
+ *
+ * The dev spec is a standalone .specly file that the DevShell loads
+ * at runtime to render dev views for all models.
+ */
+export declare function generateDevSpecly(component: any, componentName?: string): string;
+//# sourceMappingURL=dev-specly-generator.d.ts.map

package/dist/inference/dev-specly-generator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"dev-specly-generator.d.ts","sourceRoot":"","sources":["../../src/inference/dev-specly-generator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,GAAG,EAAE,aAAa,CAAC,EAAE,MAAM,GAAG,MAAM,CA4HhF"}

package/dist/inference/dev-specly-generator.js

@@ -0,0 +1,127 @@
+/**
+ * Dev Specly Generator
+ *
+ * Generates a dev.specly file from an inferred specification.
+ * The dev.specly describes the development GUI:
+ * - Per-model views (list, detail, form)
+ * - Specialist views (board for lifecycle models, timeline for date models, dashboard)
+ * - Sidebar navigation structure grouped by domain
+ *
+ * This is consumed by @specverse/runtime's DevShell component at runtime.
+ */
+/**
+ * Generate dev.specly YAML from an inferred component.
+ *
+ * The dev spec is a standalone .specly file that the DevShell loads
+ * at runtime to render dev views for all models.
+ */
+export function generateDevSpecly(component, componentName) {
+    const models = component.models || {};
+    const modelNames = Object.keys(models);
+    if (modelNames.length === 0) {
+        return '# No models found — nothing to generate\n';
+    }
+    const name = componentName || component.name || 'DevViews';
+    const views = {};
+    const sidebarGroups = {};
+    for (const modelName of modelNames) {
+        const model = models[modelName];
+        const attributes = model.attributes || {};
+        const relationships = model.relationships || {};
+        const lifecycles = model.lifecycles || {};
+        // Group models by first relationship parent (or 'General')
+        let group = 'General';
+        if (relationships) {
+            for (const rel of Object.values(relationships)) {
+                if (rel.type === 'belongsTo' && modelNames.includes(rel.targetModel || rel.target)) {
+                    group = rel.targetModel || rel.target;
+                    break;
+                }
+            }
+        }
+        if (!sidebarGroups[group])
+            sidebarGroups[group] = [];
+        sidebarGroups[group].push(modelName);
+        // Standard views for every model
+        views[`${modelName}List`] = {
+            type: 'list',
+            model: modelName,
+            description: `Browse all ${modelName} records`,
+        };
+        views[`${modelName}Detail`] = {
+            type: 'detail',
+            model: modelName,
+            description: `View ${modelName} details`,
+        };
+        views[`${modelName}Form`] = {
+            type: 'form',
+            model: modelName,
+            description: `Create or edit ${modelName}`,
+        };
+        // Specialist views based on model characteristics
+        // Dashboard for models with numeric fields or many relationships
+        const attrEntries = Object.entries(attributes);
+        const hasNumericFields = attrEntries.some(([_, def]) => {
+            const typeStr = typeof def === 'string' ? def : def?.type || '';
+            return /int|number|float|decimal|count|amount|total|price|quantity/i.test(typeStr);
+        });
+        const hasMany = Object.values(relationships).filter((r) => r.type === 'hasMany');
+        if (hasNumericFields || hasMany.length >= 2) {
+            views[`${modelName}Dashboard`] = {
+                type: 'dashboard',
+                model: modelName,
+                description: `${modelName} metrics and overview`,
+            };
+        }
+        // Board view for models with lifecycle
+        const lifecycleNames = Object.keys(lifecycles);
+        if (lifecycleNames.length > 0) {
+            views[`${modelName}Board`] = {
+                type: 'board',
+                model: modelName,
+                description: `${modelName} kanban board by lifecycle state`,
+            };
+        }
+        // Timeline for models with date fields
+        const hasDateFields = attrEntries.some(([name, def]) => {
+            const typeStr = typeof def === 'string' ? def : def?.type || '';
+            return /datetime|date|timestamp/i.test(typeStr) && !['createdAt', 'updatedAt'].includes(name);
+        });
+        if (hasDateFields) {
+            views[`${modelName}Timeline`] = {
+                type: 'timeline',
+                model: modelName,
+                description: `${modelName} timeline`,
+            };
+        }
+    }
+    // Build YAML
+    let yaml = `# Dev GUI specification — auto-generated by inference\n`;
+    yaml += `# Consumed by @specverse/runtime DevShell at runtime\n`;
+    yaml += `# To promote a dev view to a spec view, copy it to your main.specly\n\n`;
+    yaml += `metadata:\n`;
+    yaml += `  name: ${name}-dev\n`;
+    yaml += `  type: development\n`;
+    yaml += `  generated: true\n\n`;
+    // Sidebar navigation structure
+    yaml += `navigation:\n`;
+    yaml += `  sidebar:\n`;
+    for (const [group, groupModels] of Object.entries(sidebarGroups)) {
+        yaml += `    ${group}:\n`;
+        for (const modelName of groupModels) {
+            yaml += `      - ${modelName}\n`;
+        }
+    }
+    yaml += `\n`;
+    // Views
+    yaml += `views:\n`;
+    for (const [viewName, viewDef] of Object.entries(views)) {
+        yaml += `  ${viewName}:\n`;
+        for (const [key, value] of Object.entries(viewDef)) {
+            yaml += `    ${key}: ${value}\n`;
+        }
+        yaml += `\n`;
+    }
+    return yaml.trimEnd() + '\n';
+}
+//# sourceMappingURL=dev-specly-generator.js.map

package/dist/inference/dev-specly-generator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dev-specly-generator.js","sourceRoot":"","sources":["../../src/inference/dev-specly-generator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAAC,SAAc,EAAE,aAAsB;IACtE,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,IAAI,EAAE,CAAC;IACtC,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAEvC,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,OAAO,2CAA2C,CAAC;IACrD,CAAC;IAED,MAAM,IAAI,GAAG,aAAa,IAAI,SAAS,CAAC,IAAI,IAAI,UAAU,CAAC;IAC3D,MAAM,KAAK,GAAwB,EAAE,CAAC;IACtC,MAAM,aAAa,GAA6B,EAAE,CAAC;IAEnD,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC;QAChC,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC;QAC1C,MAAM,aAAa,GAAG,KAAK,CAAC,aAAa,IAAI,EAAE,CAAC;QAChD,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC;QAE1C,2DAA2D;QAC3D,IAAI,KAAK,GAAG,SAAS,CAAC;QACtB,IAAI,aAAa,EAAE,CAAC;YAClB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,MAAM,CAAC,aAAa,CAAU,EAAE,CAAC;gBACxD,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW,IAAI,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC;oBACnF,KAAK,GAAG,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,MAAM,CAAC;oBACtC,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC;YAAE,aAAa,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;QACrD,aAAa,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAErC,iCAAiC;QACjC,KAAK,CAAC,GAAG,SAAS,MAAM,CAAC,GAAG;YAC1B,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,SAAS;YAChB,WAAW,EAAE,cAAc,SAAS,UAAU;SAC/C,CAAC;QAEF,KAAK,CAAC,GAAG,SAAS,QAAQ,CAAC,GAAG;YAC5B,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,SAAS;YAChB,WAAW,EAAE,QAAQ,SAAS,UAAU;SACzC,CAAC;QAEF,KAAK,CAAC,GAAG,SAAS,MAAM,CAAC,GAAG;YAC1B,IAAI,EAAE,MAAM;YACZ,KAAK,EAAE,SAAS;YAChB,WAAW,EAAE,kBAAkB,SAAS,EAAE;SAC3C,CAAC;QAEF,kDAAkD;QAElD,iEAAiE;QACjE,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAC/C,MAAM,gBAAgB,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAgB,EAAE,EAAE;YACpE,MAAM,OAAO,GAAG,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,EAAE,CAAC;YAChE,OAAO,6DAA6D,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACrF,CAAC,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;QAEtF,IAAI,gBAAgB,IAAI,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YAC5C,KAAK,CAAC,GAAG,SAAS,WAAW,CAAC,GAAG;gBAC/B,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,SAAS;gBAChB,WAAW,EAAE,GAAG,SAAS,uBAAuB;aACjD,CAAC;QACJ,CAAC;QAED,uCAAuC;QACvC,MAAM,cAAc,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC/C,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,KAAK,CAAC,GAAG,SAAS,OAAO,CAAC,GAAG;gBAC3B,IAAI,EAAE,OAAO;gBACb,KAAK,EAAE,SAAS;gBAChB,WAAW,EAAE,GAAG,SAAS,kCAAkC;aAC5D,CAAC;QACJ,CAAC;QAED,uCAAuC;QACvC,MAAM,aAAa,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAgB,EAAE,EAAE;YACpE,MAAM,OAAO,GAAG,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,IAAI,EAAE,CAAC;YAChE,OAAO,0BAA0B,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QAChG,CAAC,CAAC,CAAC;QAEH,IAAI,aAAa,EAAE,CAAC;YAClB,KAAK,CAAC,GAAG,SAAS,UAAU,CAAC,GAAG;gBAC9B,IAAI,EAAE,UAAU;gBAChB,KAAK,EAAE,SAAS;gBAChB,WAAW,EAAE,GAAG,SAAS,WAAW;aACrC,CAAC;QACJ,CAAC;IACH,CAAC;IAED,aAAa;IACb,IAAI,IAAI,GAAG,yDAAyD,CAAC;IACrE,IAAI,IAAI,wDAAwD,CAAC;IACjE,IAAI,IAAI,yEAAyE,CAAC;IAClF,IAAI,IAAI,aAAa,CAAC;IACtB,IAAI,IAAI,WAAW,IAAI,QAAQ,CAAC;IAChC,IAAI,IAAI,uBAAuB,CAAC;IAChC,IAAI,IAAI,uBAAuB,CAAC;IAEhC,+BAA+B;IAC/B,IAAI,IAAI,eAAe,CAAC;IACxB,IAAI,IAAI,cAAc,CAAC;IACvB,KAAK,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC;QACjE,IAAI,IAAI,OAAO,KAAK,KAAK,CAAC;QAC1B,KAAK,MAAM,SAAS,IAAI,WAAW,EAAE,CAAC;YACpC,IAAI,IAAI,WAAW,SAAS,IAAI,CAAC;QACnC,CAAC;IACH,CAAC;IACD,IAAI,IAAI,IAAI,CAAC;IAEb,QAAQ;IACR,IAAI,IAAI,UAAU,CAAC;IACnB,KAAK,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxD,IAAI,IAAI,KAAK,QAAQ,KAAK,CAAC;QAC3B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAA8B,CAAC,EAAE,CAAC;YAC1E,IAAI,IAAI,OAAO,GAAG,KAAK,KAAK,IAAI,CAAC;QACnC,CAAC;QACD,IAAI,IAAI,IAAI,CAAC;IACf,CAAC;IAED,OAAO,IAAI,CAAC,OAAO,EAAE,GAAG,IAAI,CAAC;AAC/B,CAAC"}

package/dist/inference/index.d.ts

@@ -0,0 +1,29 @@
+/**
+ * V3.1 Inference Engine - Entry Point
+ * Exports complete inference engine functionality
+ */
+export * from './core/index.js';
+export * from './logical/index.js';
+export * from './deployment/index.js';
+export { ComprehensiveInferenceEngine } from './comprehensive-engine.js';
+export type { ComprehensiveInferenceResult } from './comprehensive-engine.js';
+export { generateDevSpecly } from './dev-specly-generator.js';
+export { transpileEntityGuards, transpileQuintFile, generateGuardsModule, type TranspiledGuard } from './quint-transpiler.js';
+export { transpileActions, generateActionsModule, type TranspiledAction } from './quint-transpiler.js';
+import type { InferenceEngine, EngineInfo, ValidationResult, InferenceOptions, InferenceResult } from '@specverse/types';
+declare class SpecVerseInferenceEngine implements InferenceEngine {
+    name: string;
+    version: string;
+    capabilities: string[];
+    private _engine;
+    initialize(config?: {
+        options?: any;
+        debug?: boolean;
+    }): Promise<void>;
+    getInfo(): EngineInfo;
+    loadRules(): Promise<ValidationResult>;
+    infer(ast: any, options?: InferenceOptions): Promise<InferenceResult>;
+}
+export declare const engine: SpecVerseInferenceEngine;
+export default engine;
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/inference/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,cAAc,iBAAiB,CAAC;AAGhC,cAAc,oBAAoB,CAAC;AAGnC,cAAc,uBAAuB,CAAC;AAGtC,OAAO,EAAE,4BAA4B,EAAE,MAAM,2BAA2B,CAAC;AACzE,YAAY,EAAE,4BAA4B,EAAE,MAAM,2BAA2B,CAAC;AAG9E,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAS9D,OAAO,EAAE,qBAAqB,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,KAAK,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAC9H,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,KAAK,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAMvG,OAAO,KAAK,EAAE,eAAe,EAAE,UAAU,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAGzH,cAAM,wBAAyB,YAAW,eAAe;IACvD,IAAI,SAAe;IACnB,OAAO,SAAW;IAClB,YAAY,WAAyE;IAErF,OAAO,CAAC,OAAO,CAA6C;IAEtD,UAAU,CAAC,MAAM,CAAC,EAAE;QAAE,OAAO,CAAC,EAAE,GAAG,CAAC;QAAC,KAAK,CAAC,EAAE,OAAO,CAAA;KAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAI5E,OAAO,IAAI,UAAU;IAIf,SAAS,IAAI,OAAO,CAAC,gBAAgB,CAAC;IAKtC,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,CAAC,EAAE,gBAAgB,GAAG,OAAO,CAAC,eAAe,CAAC;CAwI5E;AAED,eAAO,MAAM,MAAM,0BAAiC,CAAC;AACrD,eAAe,MAAM,CAAC"}