@specverse/engines 4.1.0

package/dist/inference/index.js

@@ -0,0 +1,170 @@
+/**
+ * V3.1 Inference Engine - Entry Point
+ * Exports complete inference engine functionality
+ */
+// Core inference engine
+export * from './core/index.js';
+// Logical inference capabilities
+export * from './logical/index.js';
+// Deployment inference capabilities
+export * from './deployment/index.js';
+// Comprehensive inference engine
+export { ComprehensiveInferenceEngine } from './comprehensive-engine.js';
+// Dev specly generator
+export { generateDevSpecly } from './dev-specly-generator.js';
+// Specly format converter
+import { SpeclyConverter } from './core/specly-converter.js';
+// Dev specly generator
+import { generateDevSpecly } from './dev-specly-generator.js';
+// Quint → TypeScript transpiler
+export { transpileEntityGuards, transpileQuintFile, generateGuardsModule } from './quint-transpiler.js';
+export { transpileActions, generateActionsModule } from './quint-transpiler.js';
+import { ComprehensiveInferenceEngine } from './comprehensive-engine.js';
+class SpecVerseInferenceEngine {
+    name = 'inference';
+    version = '3.5.2';
+    capabilities = ['infer', 'logical-inference', 'deployment-inference', 'rule-engine'];
+    _engine = null;
+    async initialize(config) {
+        this._engine = new ComprehensiveInferenceEngine(config?.options || {}, config?.debug || false);
+    }
+    getInfo() {
+        return { name: this.name, version: this.version, capabilities: this.capabilities };
+    }
+    async loadRules() {
+        if (!this._engine)
+            throw new Error('Inference engine not initialized.');
+        return this._engine.loadRules();
+    }
+    async infer(ast, options) {
+        if (!this._engine)
+            throw new Error('Inference engine not initialized.');
+        await this._engine.loadRules();
+        const components = ast.components || [];
+        // Find the first component that has models — that's what we run inference on
+        const inferTargetIndex = components.findIndex((c) => c.models && c.models.length > 0);
+        let inferredComponent = null;
+        let result = null;
+        if (inferTargetIndex >= 0) {
+            const targetComp = components[inferTargetIndex];
+            // Convert AST ModelSpec[] to inference ModelDefinition[]
+            const models = (targetComp.models || []).map((model) => ({
+                name: model.name,
+                attributes: (model.attributes || []).map((attr) => ({
+                    name: attr.name,
+                    type: attr.type || 'String',
+                    required: attr.required || false,
+                    unique: attr.unique || false,
+                    default: attr.default,
+                    auto: attr.auto,
+                })),
+                relationships: (model.relationships || []).map((rel) => ({
+                    name: rel.name,
+                    type: rel.type,
+                    targetModel: rel.target,
+                    cascadeDelete: rel.cascade || false,
+                })),
+                lifecycle: model.lifecycles?.[0] ? {
+                    name: model.lifecycles[0].name,
+                    states: model.lifecycles[0].states || [],
+                    transitions: Object.entries(model.lifecycles[0].transitions || {}).map(([name, trans]) => ({
+                        name, from: trans.from, to: trans.to, conditions: trans.condition ? [trans.condition] : [],
+                    })),
+                } : undefined,
+                behaviors: model.behaviors ? Object.entries(model.behaviors).map(([name, b]) => ({
+                    name, description: b.description, parameters: b.parameters, returns: b.returns,
+                    requires: b.requires, ensures: b.ensures, publishes: b.publishes,
+                })) : [],
+                profiles: [],
+                metadata: model.metadata || {},
+            }));
+            // Collect extension entity data
+            const extensionData = {};
+            if (targetComp.promotions)
+                extensionData.promotions = targetComp.promotions;
+            const compName = targetComp.name || 'Generated';
+            result = await this._engine.inferCompleteSpecification(models, compName, options?.targetEnvironment || 'development', extensionData);
+            // Merge inferred result with original component metadata and passthrough sections
+            inferredComponent = { ...result.component, name: compName };
+            if (targetComp.version)
+                inferredComponent.version = String(targetComp.version);
+            if (targetComp.description)
+                inferredComponent.description = targetComp.description;
+            // Copy sections that inference doesn't generate from the original component
+            for (const [key, value] of Object.entries(targetComp)) {
+                if (key === 'name' || key === 'models' || value == null)
+                    continue;
+                if (!inferredComponent[key]) {
+                    inferredComponent[key] = value;
+                }
+            }
+        }
+        // Build YAML output: components header written once, each component appended
+        let yamlOutput = 'components:\n';
+        for (let i = 0; i < components.length; i++) {
+            const comp = components[i];
+            const compName = comp.name || `Component${i}`;
+            if (i === inferTargetIndex && inferredComponent) {
+                // This is the inferred component — serialize via SpeclyConverter
+                // SpeclyConverter.toSpecly() outputs "components:\n  Name:\n  ..." so we strip the header
+                const fullSpecly = SpeclyConverter.toSpecly(inferredComponent, compName);
+                const withoutHeader = fullSpecly.replace(/^components:\n/, '');
+                yamlOutput += withoutHeader + '\n';
+            }
+            else {
+                // Passthrough component — serialize all its sections via SpeclyConverter
+                const passComp = {};
+                for (const [key, value] of Object.entries(comp)) {
+                    if (key !== 'name' && value != null) {
+                        passComp[key] = value;
+                    }
+                }
+                const fullSpecly = SpeclyConverter.toSpecly(passComp, compName);
+                const withoutHeader = fullSpecly.replace(/^components:\n/, '');
+                yamlOutput += withoutHeader + '\n';
+            }
+        }
+        // Append deployments
+        if (result?.deployments && Object.keys(result.deployments).length > 0) {
+            const yaml = await import('js-yaml');
+            yamlOutput += '\ndeployments:\n';
+            yamlOutput += yaml.dump(result.deployments, { indent: 2, lineWidth: -1, noRefs: true })
+                .split('\n').map((l) => l ? '  ' + l : '').join('\n');
+        }
+        else if (ast.deployments && ast.deployments.length > 0) {
+            // Preserve original deployments
+            const yaml = await import('js-yaml');
+            const deploymentsObj = {};
+            for (const dep of ast.deployments) {
+                const { name, ...rest } = dep;
+                if (name)
+                    deploymentsObj[name] = rest;
+            }
+            yamlOutput += '\ndeployments:\n';
+            yamlOutput += yaml.dump(deploymentsObj, { indent: 2, lineWidth: -1, noRefs: true })
+                .split('\n').map((l) => l ? '  ' + l : '').join('\n');
+        }
+        else if (ast.deployments !== undefined) {
+            // Preserve empty deployments
+            yamlOutput += '\ndeployments: {}\n';
+        }
+        // Generate dev.specly for runtime DevShell
+        const devYaml = inferredComponent
+            ? generateDevSpecly(inferredComponent, inferredComponent.name)
+            : undefined;
+        return {
+            component: inferredComponent || {},
+            deployments: result?.deployments || {},
+            yaml: yamlOutput.trim(),
+            devYaml,
+            validation: result?.validation || { valid: true, errors: [], warnings: [] },
+            statistics: {
+                ...(result?.statistics || {}),
+                rulesApplied: result?.statistics?.totalRulesApplied || 0,
+            },
+        };
+    }
+}
+export const engine = new SpecVerseInferenceEngine();
+export default engine;
+//# sourceMappingURL=index.js.map

package/dist/inference/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/inference/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,wBAAwB;AACxB,cAAc,iBAAiB,CAAC;AAEhC,iCAAiC;AACjC,cAAc,oBAAoB,CAAC;AAEnC,oCAAoC;AACpC,cAAc,uBAAuB,CAAC;AAEtC,iCAAiC;AACjC,OAAO,EAAE,4BAA4B,EAAE,MAAM,2BAA2B,CAAC;AAGzE,uBAAuB;AACvB,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAE9D,0BAA0B;AAC1B,OAAO,EAAE,eAAe,EAAE,MAAM,4BAA4B,CAAC;AAE7D,uBAAuB;AACvB,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAE9D,gCAAgC;AAChC,OAAO,EAAE,qBAAqB,EAAE,kBAAkB,EAAE,oBAAoB,EAAwB,MAAM,uBAAuB,CAAC;AAC9H,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAyB,MAAM,uBAAuB,CAAC;AAOvG,OAAO,EAAE,4BAA4B,EAAE,MAAM,2BAA2B,CAAC;AAEzE,MAAM,wBAAwB;IAC5B,IAAI,GAAG,WAAW,CAAC;IACnB,OAAO,GAAG,OAAO,CAAC;IAClB,YAAY,GAAG,CAAC,OAAO,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,aAAa,CAAC,CAAC;IAE7E,OAAO,GAAwC,IAAI,CAAC;IAE5D,KAAK,CAAC,UAAU,CAAC,MAA2C;QAC1D,IAAI,CAAC,OAAO,GAAG,IAAI,4BAA4B,CAAC,MAAM,EAAE,OAAO,IAAI,EAAE,EAAE,MAAM,EAAE,KAAK,IAAI,KAAK,CAAC,CAAC;IACjG,CAAC;IAED,OAAO;QACL,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,CAAC;IACrF,CAAC;IAED,KAAK,CAAC,SAAS;QACb,IAAI,CAAC,IAAI,CAAC,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;QACxE,OAAO,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;IAClC,CAAC;IAED,KAAK,CAAC,KAAK,CAAC,GAAQ,EAAE,OAA0B;QAC9C,IAAI,CAAC,IAAI,CAAC,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;QACxE,MAAM,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,CAAC;QAE/B,MAAM,UAAU,GAAG,GAAG,CAAC,UAAU,IAAI,EAAE,CAAC;QAExC,6EAA6E;QAC7E,MAAM,gBAAgB,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAE3F,IAAI,iBAAiB,GAAQ,IAAI,CAAC;QAClC,IAAI,MAAM,GAAQ,IAAI,CAAC;QAEvB,IAAI,gBAAgB,IAAI,CAAC,EAAE,CAAC;YAC1B,MAAM,UAAU,GAAG,UAAU,CAAC,gBAAgB,CAAC,CAAC;YAEhD,yDAAyD;YACzD,MAAM,MAAM,GAAG,CAAC,UAAU,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAU,EAAE,EAAE,CAAC,CAAC;gBAC5D,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,UAAU,EAAE,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAS,EAAE,EAAE,CAAC,CAAC;oBACvD,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,QAAQ;oBAC3B,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,KAAK;oBAChC,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,KAAK;oBAC5B,OAAO,EAAE,IAAI,CAAC,OAAO;oBACrB,IAAI,EAAE,IAAI,CAAC,IAAI;iBAChB,CAAC,CAAC;gBACH,aAAa,EAAE,CAAC,KAAK,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAQ,EAAE,EAAE,CAAC,CAAC;oBAC5D,IAAI,EAAE,GAAG,CAAC,IAAI;oBACd,IAAI,EAAE,GAAG,CAAC,IAAI;oBACd,WAAW,EAAE,GAAG,CAAC,MAAM;oBACvB,aAAa,EAAE,GAAG,CAAC,OAAO,IAAI,KAAK;iBACpC,CAAC,CAAC;gBACH,SAAS,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;oBACjC,IAAI,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI;oBAC9B,MAAM,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE;oBACxC,WAAW,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAgB,EAAE,EAAE,CAAC,CAAC;wBACxG,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,EAAE,EAAE,UAAU,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE;qBAC3F,CAAC,CAAC;iBACJ,CAAC,CAAC,CAAC,SAAS;gBACb,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAgB,EAAE,EAAE,CAAC,CAAC;oBAC9F,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO;oBAC9E,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS;iBACjE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;gBACR,QAAQ,EAAE,EAAE;gBACZ,QAAQ,EAAE,KAAK,CAAC,QAAQ,IAAI,EAAE;aAC/B,CAAC,CAAC,CAAC;YAEJ,gCAAgC;YAChC,MAAM,aAAa,GAAwB,EAAE,CAAC;YAC9C,IAAI,UAAU,CAAC,UAAU;gBAAE,aAAa,CAAC,UAAU,GAAG,UAAU,CAAC,UAAU,CAAC;YAE5E,MAAM,QAAQ,GAAG,UAAU,CAAC,IAAI,IAAI,WAAW,CAAC;YAChD,MAAM,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,0BAA0B,CACpD,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,iBAAiB,IAAI,aAAa,EAAE,aAAa,CAC7E,CAAC;YAEF,kFAAkF;YAClF,iBAAiB,GAAG,EAAE,GAAG,MAAM,CAAC,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;YAC5D,IAAI,UAAU,CAAC,OAAO;gBAAE,iBAAiB,CAAC,OAAO,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;YAC/E,IAAI,UAAU,CAAC,WAAW;gBAAE,iBAAiB,CAAC,WAAW,GAAG,UAAU,CAAC,WAAW,CAAC;YAEnF,4EAA4E;YAC5E,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;gBACtD,IAAI,GAAG,KAAK,MAAM,IAAI,GAAG,KAAK,QAAQ,IAAI,KAAK,IAAI,IAAI;oBAAE,SAAS;gBAClE,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC;oBAC5B,iBAAiB,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;gBACjC,CAAC;YACH,CAAC;QACH,CAAC;QAED,6EAA6E;QAC7E,IAAI,UAAU,GAAG,eAAe,CAAC;QAEjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAC3B,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,IAAI,YAAY,CAAC,EAAE,CAAC;YAE9C,IAAI,CAAC,KAAK,gBAAgB,IAAI,iBAAiB,EAAE,CAAC;gBAChD,iEAAiE;gBACjE,0FAA0F;gBAC1F,MAAM,UAAU,GAAG,eAAe,CAAC,QAAQ,CAAC,iBAAiB,EAAE,QAAQ,CAAC,CAAC;gBACzE,MAAM,aAAa,GAAG,UAAU,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;gBAC/D,UAAU,IAAI,aAAa,GAAG,IAAI,CAAC;YACrC,CAAC;iBAAM,CAAC;gBACN,yEAAyE;gBACzE,MAAM,QAAQ,GAAQ,EAAE,CAAC;gBACzB,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;oBAChD,IAAI,GAAG,KAAK,MAAM,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;wBACpC,QAAQ,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;oBACxB,CAAC;gBACH,CAAC;gBACD,MAAM,UAAU,GAAG,eAAe,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;gBAChE,MAAM,aAAa,GAAG,UAAU,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;gBAC/D,UAAU,IAAI,aAAa,GAAG,IAAI,CAAC;YACrC,CAAC;QACH,CAAC;QAED,qBAAqB;QACrB,IAAI,MAAM,EAAE,WAAW,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtE,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,SAAS,CAAC,CAAC;YACrC,UAAU,IAAI,kBAAkB,CAAC;YACjC,UAAU,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;iBACpF,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClE,CAAC;aAAM,IAAI,GAAG,CAAC,WAAW,IAAI,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACzD,gCAAgC;YAChC,MAAM,IAAI,GAAG,MAAM,MAAM,CAAC,SAAS,CAAC,CAAC;YACrC,MAAM,cAAc,GAAwB,EAAE,CAAC;YAC/C,KAAK,MAAM,GAAG,IAAI,GAAG,CAAC,WAAW,EAAE,CAAC;gBAClC,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,GAAG,GAAG,CAAC;gBAC9B,IAAI,IAAI;oBAAE,cAAc,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC;YACxC,CAAC;YACD,UAAU,IAAI,kBAAkB,CAAC;YACjC,UAAU,IAAI,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;iBAChF,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClE,CAAC;aAAM,IAAI,GAAG,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;YACzC,6BAA6B;YAC7B,UAAU,IAAI,qBAAqB,CAAC;QACtC,CAAC;QAED,2CAA2C;QAC3C,MAAM,OAAO,GAAG,iBAAiB;YAC/B,CAAC,CAAC,iBAAiB,CAAC,iBAAiB,EAAE,iBAAiB,CAAC,IAAI,CAAC;YAC9D,CAAC,CAAC,SAAS,CAAC;QAEd,OAAO;YACL,SAAS,EAAE,iBAAiB,IAAI,EAAE;YAClC,WAAW,EAAE,MAAM,EAAE,WAAW,IAAI,EAAE;YACtC,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE;YACvB,OAAO;YACP,UAAU,EAAE,MAAM,EAAE,UAAU,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE;YAC3E,UAAU,EAAE;gBACV,GAAG,CAAC,MAAM,EAAE,UAAU,IAAI,EAAE,CAAC;gBAC7B,YAAY,EAAE,MAAM,EAAE,UAAU,EAAE,iBAAiB,IAAI,CAAC;aACzD;SACF,CAAC;IACJ,CAAC;CACF;AAED,MAAM,CAAC,MAAM,MAAM,GAAG,IAAI,wBAAwB,EAAE,CAAC;AACrD,eAAe,MAAM,CAAC"}

package/dist/inference/logical/generators/component-type-resolver.d.ts

@@ -0,0 +1,82 @@
+/**
+ * Component Type Resolver for v3.4.0
+ *
+ * Dynamically resolves component types based on v3.4 inference rules
+ * instead of hardcoded switch statements.
+ *
+ * Updated for Phase 2: Uses domain-specific ConfigurationRuleFile format directly
+ */
+import { ConfigurationRuleFile, AttributeComponentMapping, RelationshipComponentMapping } from '../../core/rule-file-types.js';
+export type AttributeRule = AttributeComponentMapping;
+export type RelationshipRule = RelationshipComponentMapping;
+export interface ViewPattern {
+    pattern: string;
+    priority: number;
+    components: Record<string, {
+        type: string;
+        [key: string]: any;
+    }>;
+}
+export interface ComponentMappingRules {
+    version: string;
+    description: string;
+    logical_inference: {
+        component_type_mapping: {
+            description: string;
+            attribute_rules: AttributeComponentMapping[];
+            relationship_mapping: RelationshipComponentMapping[];
+        };
+        automatic_crud_views?: {
+            description: string;
+            list_view?: ViewPattern;
+            detail_view?: ViewPattern;
+            form_view?: ViewPattern;
+        };
+    };
+}
+export declare class ComponentTypeResolver {
+    private mappings;
+    private version;
+    /**
+     * Load component mappings from domain-specific format
+     */
+    loadRulesFromDomainSpecific(ruleFile: ConfigurationRuleFile): void;
+    /**
+     * Load component mapping rules from legacy JSON format (backward compatibility)
+     */
+    loadRules(rules: ComponentMappingRules): void;
+    /**
+     * Resolve component type for an attribute
+     */
+    resolveAttributeComponentType(attribute: any): {
+        type: string;
+        properties?: Record<string, any>;
+    };
+    /**
+     * Resolve component type for a relationship
+     */
+    resolveRelationshipComponentType(relationship: any): {
+        type: string;
+        properties?: Record<string, any>;
+    };
+    /**
+     * Get CRUD view pattern components
+     * TODO: Update to use domain-specific format view patterns
+     */
+    getListViewPattern(): Record<string, any> | null;
+    getDetailViewPattern(): Record<string, any> | null;
+    getFormViewPattern(): Record<string, any> | null;
+    /**
+     * Check if attribute matches a rule
+     */
+    private matchesAttributeRule;
+    /**
+     * Check if rules are loaded
+     */
+    isLoaded(): boolean;
+    /**
+     * Get loaded rules version
+     */
+    getVersion(): string | null;
+}
+//# sourceMappingURL=component-type-resolver.d.ts.map

package/dist/inference/logical/generators/component-type-resolver.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"component-type-resolver.d.ts","sourceRoot":"","sources":["../../../../src/inference/logical/generators/component-type-resolver.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EACL,qBAAqB,EAErB,yBAAyB,EACzB,4BAA4B,EAC7B,MAAM,+BAA+B,CAAC;AAGvC,MAAM,MAAM,aAAa,GAAG,yBAAyB,CAAC;AACtD,MAAM,MAAM,gBAAgB,GAAG,4BAA4B,CAAC;AAE5D,MAAM,WAAW,WAAW;IAC1B,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE;QACzB,IAAI,EAAE,MAAM,CAAC;QACb,CAAC,GAAG,EAAE,MAAM,GAAG,GAAG,CAAC;KACpB,CAAC,CAAC;CACJ;AAGD,MAAM,WAAW,qBAAqB;IACpC,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,EAAE;QACjB,sBAAsB,EAAE;YACtB,WAAW,EAAE,MAAM,CAAC;YACpB,eAAe,EAAE,yBAAyB,EAAE,CAAC;YAC7C,oBAAoB,EAAE,4BAA4B,EAAE,CAAC;SACtD,CAAC;QACF,oBAAoB,CAAC,EAAE;YACrB,WAAW,EAAE,MAAM,CAAC;YACpB,SAAS,CAAC,EAAE,WAAW,CAAC;YACxB,WAAW,CAAC,EAAE,WAAW,CAAC;YAC1B,SAAS,CAAC,EAAE,WAAW,CAAC;SACzB,CAAC;KACH,CAAC;CACH;AAED,qBAAa,qBAAqB;IAChC,OAAO,CAAC,QAAQ,CAAkC;IAClD,OAAO,CAAC,OAAO,CAAc;IAE7B;;OAEG;IACH,2BAA2B,CAAC,QAAQ,EAAE,qBAAqB,GAAG,IAAI;IAWlE;;OAEG;IACH,SAAS,CAAC,KAAK,EAAE,qBAAqB,GAAG,IAAI;IAS7C;;OAEG;IACH,6BAA6B,CAAC,SAAS,EAAE,GAAG,GAAG;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAA;KAAE;IAqBjG;;OAEG;IACH,gCAAgC,CAAC,YAAY,EAAE,GAAG,GAAG;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAA;KAAE;IAqBvG;;;OAGG;IACH,kBAAkB,IAAI,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,IAAI;IAOhD,oBAAoB,IAAI,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,IAAI;IAOlD,kBAAkB,IAAI,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,IAAI;IAOhD;;OAEG;IACH,OAAO,CAAC,oBAAoB;IA4C5B;;OAEG;IACH,QAAQ,IAAI,OAAO;IAInB;;OAEG;IACH,UAAU,IAAI,MAAM,GAAG,IAAI;CAG5B"}

package/dist/inference/logical/generators/component-type-resolver.js

@@ -0,0 +1,151 @@
+/**
+ * Component Type Resolver for v3.4.0
+ *
+ * Dynamically resolves component types based on v3.4 inference rules
+ * instead of hardcoded switch statements.
+ *
+ * Updated for Phase 2: Uses domain-specific ConfigurationRuleFile format directly
+ */
+export class ComponentTypeResolver {
+    mappings = null;
+    version = '';
+    /**
+     * Load component mappings from domain-specific format
+     */
+    loadRulesFromDomainSpecific(ruleFile) {
+        if (ruleFile.ruleFileType !== 'configuration') {
+            throw new Error('Invalid rule file type - expected configuration');
+        }
+        if (ruleFile.category !== 'component-mappings') {
+            throw new Error('Invalid category - expected component-mappings');
+        }
+        this.mappings = ruleFile.mappings;
+        this.version = ruleFile.version;
+    }
+    /**
+     * Load component mapping rules from legacy JSON format (backward compatibility)
+     */
+    loadRules(rules) {
+        this.mappings = {
+            description: rules.logical_inference.component_type_mapping.description,
+            attributes: rules.logical_inference.component_type_mapping.attribute_rules,
+            relationships: rules.logical_inference.component_type_mapping.relationship_mapping
+        };
+        this.version = rules.version;
+    }
+    /**
+     * Resolve component type for an attribute
+     */
+    resolveAttributeComponentType(attribute) {
+        if (!this.mappings) {
+            throw new Error('Component mapping rules not loaded');
+        }
+        const attributeRules = this.mappings.attributes;
+        // Try to find matching rule
+        for (const rule of attributeRules) {
+            if (this.matchesAttributeRule(attribute, rule)) {
+                return {
+                    type: rule.componentType,
+                    properties: rule.properties
+                };
+            }
+        }
+        // Default fallback
+        return { type: 'input' };
+    }
+    /**
+     * Resolve component type for a relationship
+     */
+    resolveRelationshipComponentType(relationship) {
+        if (!this.mappings) {
+            throw new Error('Component mapping rules not loaded');
+        }
+        const relationshipRules = this.mappings.relationships;
+        // Find matching rule
+        for (const rule of relationshipRules) {
+            if (relationship.type === rule.relationshipType || relationship.relationshipType === rule.relationshipType) {
+                return {
+                    type: rule.componentType,
+                    properties: rule.properties
+                };
+            }
+        }
+        // Default fallback
+        return { type: 'list' };
+    }
+    /**
+     * Get CRUD view pattern components
+     * TODO: Update to use domain-specific format view patterns
+     */
+    getListViewPattern() {
+        if (!this.mappings?.listViewPattern) {
+            return null;
+        }
+        return this.mappings.listViewPattern;
+    }
+    getDetailViewPattern() {
+        if (!this.mappings?.detailViewPattern) {
+            return null;
+        }
+        return this.mappings.detailViewPattern;
+    }
+    getFormViewPattern() {
+        if (!this.mappings?.formViewPattern) {
+            return null;
+        }
+        return this.mappings.formViewPattern;
+    }
+    /**
+     * Check if attribute matches a rule
+     */
+    matchesAttributeRule(attribute, rule) {
+        // Check attribute type
+        const attrType = attribute.type.toLowerCase();
+        const ruleType = rule.attributeType.toLowerCase();
+        if (attrType !== ruleType) {
+            return false;
+        }
+        // If rule has constraints, check them
+        if (rule.constraints) {
+            // Check for enum values (has: "values")
+            if (rule.constraints.has === 'values') {
+                if (!attribute.values && !attribute.enum) {
+                    return false;
+                }
+            }
+            // Check for minLength constraint
+            if (rule.constraints.minLength) {
+                const minLength = parseInt(rule.constraints.minLength.replace('>', ''));
+                if (!attribute.minLength || attribute.minLength <= minLength) {
+                    return false;
+                }
+            }
+        }
+        // If this is a default rule, only match if no constraints on attribute
+        if (rule.default) {
+            if (attribute.values || attribute.enum || attribute.minLength > 100) {
+                return false;
+            }
+            return true;
+        }
+        // If we got here and rule has constraints, we matched them
+        if (rule.constraints) {
+            return true;
+        }
+        // Simple type match without constraints
+        return true;
+    }
+    /**
+     * Check if rules are loaded
+     */
+    isLoaded() {
+        return this.mappings !== null;
+    }
+    /**
+     * Get loaded rules version
+     */
+    getVersion() {
+        return this.version || null;
+    }
+}
+//# sourceMappingURL=component-type-resolver.js.map

package/dist/inference/logical/generators/component-type-resolver.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"component-type-resolver.js","sourceRoot":"","sources":["../../../../src/inference/logical/generators/component-type-resolver.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAyCH,MAAM,OAAO,qBAAqB;IACxB,QAAQ,GAA6B,IAAI,CAAC;IAC1C,OAAO,GAAW,EAAE,CAAC;IAE7B;;OAEG;IACH,2BAA2B,CAAC,QAA+B;QACzD,IAAI,QAAQ,CAAC,YAAY,KAAK,eAAe,EAAE,CAAC;YAC9C,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;QACrE,CAAC;QACD,IAAI,QAAQ,CAAC,QAAQ,KAAK,oBAAoB,EAAE,CAAC;YAC/C,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;QACpE,CAAC;QACD,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC,QAA6B,CAAC;QACvD,IAAI,CAAC,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC;IAClC,CAAC;IAED;;OAEG;IACH,SAAS,CAAC,KAA4B;QACpC,IAAI,CAAC,QAAQ,GAAG;YACd,WAAW,EAAE,KAAK,CAAC,iBAAiB,CAAC,sBAAsB,CAAC,WAAW;YACvE,UAAU,EAAE,KAAK,CAAC,iBAAiB,CAAC,sBAAsB,CAAC,eAAe;YAC1E,aAAa,EAAE,KAAK,CAAC,iBAAiB,CAAC,sBAAsB,CAAC,oBAAoB;SACnF,CAAC;QACF,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;IAC/B,CAAC;IAED;;OAEG;IACH,6BAA6B,CAAC,SAAc;QAC1C,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACnB,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;QACxD,CAAC;QAED,MAAM,cAAc,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;QAEhD,4BAA4B;QAC5B,KAAK,MAAM,IAAI,IAAI,cAAc,EAAE,CAAC;YAClC,IAAI,IAAI,CAAC,oBAAoB,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC;gBAC/C,OAAO;oBACL,IAAI,EAAE,IAAI,CAAC,aAAa;oBACxB,UAAU,EAAE,IAAI,CAAC,UAAU;iBAC5B,CAAC;YACJ,CAAC;QACH,CAAC;QAED,mBAAmB;QACnB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IAC3B,CAAC;IAED;;OAEG;IACH,gCAAgC,CAAC,YAAiB;QAChD,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;YACnB,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;QACxD,CAAC;QAED,MAAM,iBAAiB,GAAG,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC;QAEtD,qBAAqB;QACrB,KAAK,MAAM,IAAI,IAAI,iBAAiB,EAAE,CAAC;YACrC,IAAI,YAAY,CAAC,IAAI,KAAK,IAAI,CAAC,gBAAgB,IAAI,YAAY,CAAC,gBAAgB,KAAK,IAAI,CAAC,gBAAgB,EAAE,CAAC;gBAC3G,OAAO;oBACL,IAAI,EAAE,IAAI,CAAC,aAAa;oBACxB,UAAU,EAAE,IAAI,CAAC,UAAU;iBAC5B,CAAC;YACJ,CAAC;QACH,CAAC;QAED,mBAAmB;QACnB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IAC1B,CAAC;IAED;;;OAGG;IACH,kBAAkB;QAChB,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,eAAe,EAAE,CAAC;YACpC,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,IAAI,CAAC,QAAQ,CAAC,eAAsC,CAAC;IAC9D,CAAC;IAED,oBAAoB;QAClB,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,iBAAiB,EAAE,CAAC;YACtC,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,IAAI,CAAC,QAAQ,CAAC,iBAAwC,CAAC;IAChE,CAAC;IAED,kBAAkB;QAChB,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,eAAe,EAAE,CAAC;YACpC,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,IAAI,CAAC,QAAQ,CAAC,eAAsC,CAAC;IAC9D,CAAC;IAED;;OAEG;IACK,oBAAoB,CAAC,SAAc,EAAE,IAA+B;QAC1E,uBAAuB;QACvB,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;QAC9C,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC,WAAW,EAAE,CAAC;QAElD,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;YAC1B,OAAO,KAAK,CAAC;QACf,CAAC;QAED,sCAAsC;QACtC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACrB,wCAAwC;YACxC,IAAI,IAAI,CAAC,WAAW,CAAC,GAAG,KAAK,QAAQ,EAAE,CAAC;gBACtC,IAAI,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC;oBACzC,OAAO,KAAK,CAAC;gBACf,CAAC;YACH,CAAC;YAED,iCAAiC;YACjC,IAAI,IAAI,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC;gBAC/B,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;gBACxE,IAAI,CAAC,SAAS,CAAC,SAAS,IAAI,SAAS,CAAC,SAAS,IAAI,SAAS,EAAE,CAAC;oBAC7D,OAAO,KAAK,CAAC;gBACf,CAAC;YACH,CAAC;QACH,CAAC;QAED,uEAAuE;QACvE,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,IAAI,SAAS,CAAC,MAAM,IAAI,SAAS,CAAC,IAAI,IAAI,SAAS,CAAC,SAAS,GAAG,GAAG,EAAE,CAAC;gBACpE,OAAO,KAAK,CAAC;YACf,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,2DAA2D;QAC3D,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACrB,OAAO,IAAI,CAAC;QACd,CAAC;QAED,wCAAwC;QACxC,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACH,QAAQ;QACN,OAAO,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC;IAChC,CAAC;IAED;;OAEG;IACH,UAAU;QACR,OAAO,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC;IAC9B,CAAC;CACF"}

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

@@ -0,0 +1,43 @@
+/**
+ * Controller Generator for V3.1 Logical Inference
+ * Generates CURED controllers with relationship-aware operations
+ */
+import { ModelDefinition, ControllerSpec, InferenceContext, InferenceRule, ValidationResult, LogicalGenerator } from '../../core/types.js';
+export interface ControllerGenerationResult {
+    controllers: Record<string, ControllerSpec>;
+    rulesUsed: number;
+    validation: ValidationResult;
+}
+export declare class ControllerGenerator implements LogicalGenerator<ModelDefinition, ControllerSpec> {
+    private debug;
+    name: string;
+    private ruleEngine;
+    private contextManager;
+    private rulesLoaded;
+    constructor(debug?: boolean);
+    /**
+     * Load controller inference rules
+     */
+    loadRules(rules: InferenceRule<ModelDefinition, ControllerSpec>[]): Promise<ValidationResult>;
+    /**
+     * Check if this generator supports the given input
+     */
+    supports(input: ModelDefinition, context: InferenceContext): boolean;
+    /**
+     * Generate controllers for all models
+     */
+    generate(models: ModelDefinition[], baseContext: InferenceContext): Promise<ControllerGenerationResult>;
+    /**
+     * Generate custom actions from model behaviors
+     */
+    private generateActionsFromBehaviors;
+    /**
+     * Merge multiple controller specs together
+     */
+    private mergeControllerSpecs;
+    /**
+     * Validate generated controller specification
+     */
+    private validateControllerSpec;
+}
+//# sourceMappingURL=controller-generator.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"controller-generator.d.ts","sourceRoot":"","sources":["../../../../src/inference/logical/generators/controller-generator.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,eAAe,EACf,cAAc,EACd,gBAAgB,EAChB,aAAa,EACb,gBAAgB,EAEhB,gBAAgB,EACjB,MAAM,qBAAqB,CAAC;AAI7B,MAAM,WAAW,0BAA0B;IACzC,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IAC5C,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,gBAAgB,CAAC;CAC9B;AAED,qBAAa,mBAAoB,YAAW,gBAAgB,CAAC,eAAe,EAAE,cAAc,CAAC;IAO/E,OAAO,CAAC,KAAK;IANzB,IAAI,SAAyB;IAE7B,OAAO,CAAC,UAAU,CAA8C;IAChE,OAAO,CAAC,cAAc,CAA0B;IAChD,OAAO,CAAC,WAAW,CAAS;gBAER,KAAK,GAAE,OAAe;IAK1C;;OAEG;IACG,SAAS,CAAC,KAAK,EAAE,aAAa,CAAC,eAAe,EAAE,cAAc,CAAC,EAAE,GAAG,OAAO,CAAC,gBAAgB,CAAC;IAuBnG;;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,0BAA0B,CAAC;IA8HtC;;OAEG;IACH,OAAO,CAAC,4BAA4B;IAqDpC;;OAEG;IACH,OAAO,CAAC,oBAAoB;IA+B5B;;OAEG;IACH,OAAO,CAAC,sBAAsB;CAoE/B"}