@specverse/engines 4.1.0

package/dist/inference/logical/logical-engine.js

@@ -0,0 +1,484 @@
+/**
+ * V3.1 Logical Inference Engine
+ * Orchestrates the generation of complete logical specifications from minimal models
+ */
+import { DEFAULT_ENGINE_CONFIG } from '../core/types.js';
+import { RuleLoader } from '../core/rule-loader.js';
+import { InferenceContextManager } from '../core/context.js';
+import { ControllerGenerator } from './generators/controller-generator.js';
+import { ServiceGenerator } from './generators/service-generator.js';
+import { EventGenerator } from './generators/event-generator.js';
+import { ViewGenerator } from './generators/view-generator.js';
+import * as fs from 'fs';
+export class LogicalInferenceEngine {
+    ruleLoader;
+    contextManager;
+    // Registry of generators keyed by category name (replaces hardcoded fields)
+    generators = new Map();
+    config;
+    constructor(config = {}, debug = false) {
+        this.config = { ...DEFAULT_ENGINE_CONFIG, ...config };
+        const debugMode = debug || process.env.NODE_ENV === 'development';
+        // Initialize core components
+        this.ruleLoader = new RuleLoader(debugMode);
+        this.contextManager = new InferenceContextManager(debugMode);
+        // Register generators — data-driven, extensible via this map
+        this.generators.set('controllers', { generator: new ControllerGenerator(debugMode), configKey: 'generateControllers' });
+        this.generators.set('services', { generator: new ServiceGenerator(debugMode), configKey: 'generateServices' });
+        this.generators.set('events', { generator: new EventGenerator(debugMode), configKey: 'generateEvents' });
+        this.generators.set('views', { generator: new ViewGenerator(debugMode), configKey: 'generateViews' });
+        // Extension entity generators — auto-discovered at runtime
+        // Call discoverExtensionGenerators() after construction to load them
+        this.discoverExtensionGenerators(debugMode);
+        if (debugMode) {
+            console.log('🚀 Logical Inference Engine initialized');
+            console.log(`   Configuration: ${JSON.stringify(this.config.logical, null, 2)}`);
+        }
+    }
+    /**
+     * Register an additional generator for extension entity types.
+     */
+    registerGenerator(category, generator, configKey) {
+        this.generators.set(category, { generator, configKey });
+    }
+    /**
+     * Auto-discover extension entity generators from the generators/ directory.
+     * Scans for files matching *-generator.js that aren't core generators.
+     */
+    discoverExtensionGenerators(debugMode) {
+        try {
+            const generatorsDir = new URL('./generators/', import.meta.url);
+            const generatorsDirPath = generatorsDir.pathname;
+            if (!fs.existsSync(generatorsDirPath))
+                return;
+            const coreGenerators = new Set(['controller-generator', 'service-generator', 'event-generator', 'view-generator',
+                'component-type-resolver', 'specialist-view-expander']);
+            for (const file of fs.readdirSync(generatorsDirPath)) {
+                if (!file.endsWith('-generator.js'))
+                    continue;
+                const baseName = file.replace('.js', '');
+                if (coreGenerators.has(baseName))
+                    continue;
+                const category = baseName.replace(/-generator$/, '') + 's';
+                const configKey = `generate${category.charAt(0).toUpperCase() + category.slice(1)}`;
+                // Queue async discovery — will be resolved before first generate() call
+                this._pendingExtGenerators.push({ file, category, configKey, debugMode });
+            }
+        }
+        catch {
+            // Discovery not available in all contexts
+        }
+    }
+    _pendingExtGenerators = [];
+    /**
+     * Load any pending extension generators (async, called before first inference run)
+     */
+    async loadPendingExtGenerators() {
+        if (this._pendingExtGenerators.length === 0)
+            return;
+        const pending = this._pendingExtGenerators;
+        this._pendingExtGenerators = [];
+        for (const { file, category, configKey, debugMode } of pending) {
+            try {
+                const mod = await import(new URL(`./generators/${file}`, import.meta.url).href);
+                const GeneratorClass = mod.PromotionGenerator || mod.default ||
+                    Object.values(mod).find((v) => typeof v === 'function' && v.prototype?.generate);
+                if (GeneratorClass && typeof GeneratorClass === 'function') {
+                    const generator = new GeneratorClass(debugMode);
+                    this.generators.set(`_ext_${category}`, { generator, configKey });
+                    if (debugMode)
+                        console.log(`   Discovered extension generator: ${category}`);
+                }
+            }
+            catch {
+                // Generator not loadable — skip
+            }
+        }
+    }
+    /**
+     * Load inference rules from configuration
+     */
+    async loadRules() {
+        const startTime = Date.now();
+        const validation = {
+            valid: true,
+            errors: [],
+            warnings: []
+        };
+        try {
+            // Try loading from configured directory first (build-time composed files).
+            // Fall back to entity registry if directory doesn't exist (runtime approach).
+            let loadedFromDir = false;
+            if (fs.existsSync(this.config.rules.logicalRulesPath)) {
+                const { ruleSets, validation: loadValidation } = await this.ruleLoader.loadRulesFromDirectory(this.config.rules.logicalRulesPath);
+                validation.errors.push(...loadValidation.errors);
+                validation.warnings.push(...loadValidation.warnings);
+                if (!loadValidation.valid) {
+                    validation.valid = false;
+                    return validation;
+                }
+                loadedFromDir = true;
+            }
+            if (!loadedFromDir) {
+                // Directory not available — try entity registry (runtime approach)
+                const registryResult = await this.ruleLoader.loadRulesFromRegistry();
+                if (!registryResult.loaded) {
+                    validation.errors.push({
+                        code: 'NO_RULES_SOURCE',
+                        message: `Rules directory not found (${this.config.rules.logicalRulesPath}) and entity registry not available`,
+                        location: 'loadRules'
+                    });
+                    validation.valid = false;
+                    return validation;
+                }
+                validation.errors.push(...registryResult.validation.errors);
+                validation.warnings.push(...registryResult.validation.warnings);
+            }
+            // Extract and load rules into generators
+            const logicalRules = this.ruleLoader.getLogicalRules();
+            // Load rules into each registered generator
+            for (const [category, { generator, configKey }] of this.generators) {
+                const rules = logicalRules[category];
+                if (this.config.logical[configKey] !== false && rules && rules.length > 0) {
+                    const ruleValidation = await generator.loadRules(rules);
+                    validation.errors.push(...ruleValidation.errors);
+                    validation.warnings.push(...ruleValidation.warnings);
+                    if (!ruleValidation.valid)
+                        validation.valid = false;
+                }
+            }
+            // NOTE: Component mapping rules loading moved below specialist view rules
+            // to use the smart loading pattern (domain-specific first, then legacy fallback)
+            // Load specialist view rules and component mappings (v3.4.0)
+            // Resolve from: 1) configured logicalRulesPath, 2) @specverse/entities views module
+            try {
+                const { readFileSync, existsSync } = await import('fs');
+                const { join, dirname } = await import('path');
+                const { isExpansionTemplateFile } = await import('../core/rule-file-types.js');
+                const { isConfigurationFile } = await import('../core/rule-file-types.js');
+                // Build candidate directories: configured path + entity module path
+                const candidateDirs = [this.config.rules.logicalRulesPath];
+                try {
+                    const { createRequire } = await import('module');
+                    const req = createRequire(import.meta.url);
+                    const entitiesPkg = req.resolve('@specverse/entities/package.json');
+                    candidateDirs.push(join(dirname(entitiesPkg), 'src', 'core', 'views', 'inference'));
+                }
+                catch { /* entities not installed */ }
+                // Find first directory that has the specialist rules
+                const findRule = (filename) => {
+                    for (const dir of candidateDirs) {
+                        const p = join(dir, filename);
+                        if (existsSync(p))
+                            return p;
+                    }
+                    return null;
+                };
+                // Load specialist view rules
+                const specialistPath = findRule('v3.4-specialist-views.json') || findRule('v3.4-specialist-view-rules.json');
+                if (specialistPath) {
+                    const content = JSON.parse(readFileSync(specialistPath, 'utf8'));
+                    if (isExpansionTemplateFile(content)) {
+                        this.generators.get('views').generator.loadSpecialistViewRulesFromDomainSpecific(content);
+                    }
+                    else {
+                        this.generators.get('views').generator.loadSpecialistViewRules(content);
+                    }
+                }
+                // Load component mappings
+                const mappingsPath = findRule('v3.4-component-mappings.json') || findRule('v3.4-view-component-inference.json');
+                if (mappingsPath) {
+                    const content = JSON.parse(readFileSync(mappingsPath, 'utf8'));
+                    if (isConfigurationFile(content)) {
+                        this.generators.get('views').generator.loadComponentMappingsFromDomainSpecific(content);
+                    }
+                    else {
+                        this.generators.get('views').generator.loadComponentMappings(content);
+                    }
+                }
+            }
+            catch {
+                // Specialist rules and component mappings are optional
+            }
+            const loadTime = Date.now() - startTime;
+            console.log(`📋 Rules loaded in ${loadTime}ms`);
+            console.log(`   Controllers: ${logicalRules.controllers.length} rules`);
+            console.log(`   Services: ${logicalRules.services.length} rules`);
+            console.log(`   Events: ${logicalRules.events.length} rules`);
+            console.log(`   Views: ${logicalRules.views.length} rules`);
+        }
+        catch (error) {
+            validation.errors.push({
+                code: 'RULE_LOADING_ERROR',
+                message: `Failed to load rules: ${error instanceof Error ? error.message : String(error)}`,
+                location: this.config.rules.logicalRulesPath
+            });
+            validation.valid = false;
+        }
+        return validation;
+    }
+    /**
+     * Generate complete logical specification from models
+     */
+    async inferLogicalSpecification(models, componentName = 'GeneratedComponent', metadata = {}) {
+        // Load any auto-discovered extension generators (async one-time)
+        await this.loadPendingExtGenerators();
+        const startTime = Date.now();
+        let rulesApplied = 0;
+        const validation = {
+            valid: true,
+            errors: [],
+            warnings: []
+        };
+        try {
+            // Create base specification
+            const specification = {
+                name: componentName,
+                version: '3.1.0',
+                description: `Auto-generated component with ${models.length} models`,
+                controllers: {},
+                services: {},
+                events: {},
+                views: {},
+                models: {},
+                commonDefinitions: {}
+            };
+            // Create base context
+            const baseContext = this.contextManager.createLogicalContext(models, undefined, {
+                componentName,
+                ...metadata
+            });
+            // Generate all registered categories (controllers, services, events, views, etc.)
+            for (const [category, { generator, configKey }] of this.generators) {
+                if (this.config.logical[configKey] !== false) {
+                    const result = await generator.generate(models, baseContext);
+                    if (category.startsWith('_ext_')) {
+                        // Extension generators return multiple categories — merge into existing
+                        for (const [key, value] of Object.entries(result)) {
+                            if (key === 'rulesUsed' || key === 'validation')
+                                continue;
+                            const existing = specification[key] || {};
+                            specification[key] = { ...existing, ...value };
+                        }
+                    }
+                    else {
+                        // Core generators return { [category]: Record<string, Spec>, ... }
+                        specification[category] = result[category];
+                    }
+                    rulesApplied += result.rulesUsed;
+                    validation.errors.push(...result.validation.errors);
+                    validation.warnings.push(...result.validation.warnings);
+                    if (!result.validation.valid)
+                        validation.valid = false;
+                }
+            }
+            // Generate model specifications from input models
+            for (const model of models) {
+                specification.models[model.name] = {
+                    description: `Auto-generated model specification for ${model.name}`,
+                    attributes: this.convertAttributesToSpecs(model.attributes),
+                    relationships: model.relationships ? this.convertRelationshipsToSpecs(model.relationships) : undefined,
+                    lifecycles: model.lifecycle ? { [model.lifecycle.name]: this.convertLifecycleToSpec(model.lifecycle) } : undefined,
+                    behaviors: model.behaviors ? this.convertBehaviorsToSpecs(model.behaviors) : undefined
+                };
+            }
+            // Generate common type definitions if enabled
+            if (this.config.logical.generateTypes) {
+                specification.commonDefinitions = await this.generateCommonDefinitions(models, specification);
+            }
+            const processingTime = Date.now() - startTime;
+            return {
+                specification,
+                validation,
+                statistics: {
+                    modelsProcessed: models.length,
+                    controllersGenerated: Object.keys(specification.controllers).length,
+                    servicesGenerated: Object.keys(specification.services).length,
+                    eventsGenerated: Object.keys(specification.events).length,
+                    viewsGenerated: Object.keys(specification.views).length,
+                    rulesApplied,
+                    processingTimeMs: processingTime
+                }
+            };
+        }
+        catch (error) {
+            validation.errors.push({
+                code: 'INFERENCE_ERROR',
+                message: `Inference failed: ${error instanceof Error ? error.message : String(error)}`,
+                location: 'LogicalInferenceEngine.inferLogicalSpecification'
+            });
+            validation.valid = false;
+            return {
+                specification: {
+                    name: componentName,
+                    version: '3.1.0',
+                    controllers: {},
+                    services: {},
+                    events: {},
+                    views: {},
+                    models: {}
+                },
+                validation,
+                statistics: {
+                    modelsProcessed: 0,
+                    controllersGenerated: 0,
+                    servicesGenerated: 0,
+                    eventsGenerated: 0,
+                    viewsGenerated: 0,
+                    rulesApplied,
+                    processingTimeMs: Date.now() - startTime
+                }
+            };
+        }
+    }
+    /**
+     * Get inference statistics and health information
+     */
+    getEngineInfo() {
+        const logicalRules = this.ruleLoader.getLogicalRules();
+        return {
+            version: '3.1.0',
+            config: this.config,
+            loadedRules: {
+                controllers: logicalRules.controllers.length,
+                services: logicalRules.services.length,
+                events: logicalRules.events.length,
+                views: logicalRules.views.length
+            },
+            generators: [
+                'ControllerGenerator',
+                'ServiceGenerator',
+                'EventGenerator',
+                'ViewGenerator'
+            ]
+        };
+    }
+    // ===============================
+    // Private Implementation
+    // ===============================
+    convertAttributesToSpecs(attributes) {
+        const specs = {};
+        for (const attr of attributes) {
+            const typeModifiers = [];
+            if (attr.required)
+                typeModifiers.push('required');
+            if (attr.unique)
+                typeModifiers.push('unique');
+            if (attr.auto) {
+                typeModifiers.push(`auto=${attr.auto}`);
+            }
+            if (attr.default !== undefined) {
+                typeModifiers.push(`default=${attr.default}`);
+            }
+            specs[attr.name] = `${attr.type}${typeModifiers.length > 0 ? ' ' + typeModifiers.join(' ') : ''}`;
+        }
+        return specs;
+    }
+    convertRelationshipsToSpecs(relationships) {
+        const specs = {};
+        for (const rel of relationships) {
+            specs[rel.name] = {
+                name: rel.name,
+                type: rel.type,
+                target: rel.targetModel,
+                cascade: rel.cascadeDelete || false
+            };
+        }
+        return specs;
+    }
+    convertLifecycleToSpec(lifecycle) {
+        return {
+            states: lifecycle.states,
+            transitions: lifecycle.transitions.reduce((acc, transition) => {
+                acc[transition.name] = {
+                    from: transition.from,
+                    to: transition.to
+                };
+                return acc;
+            }, {})
+        };
+    }
+    convertBehaviorsToSpecs(behaviors) {
+        const specs = {};
+        for (const behavior of behaviors) {
+            const behaviorSpec = {};
+            if (behavior.description) {
+                behaviorSpec.description = behavior.description;
+            }
+            if (behavior.parameters && Object.keys(behavior.parameters).length > 0) {
+                behaviorSpec.parameters = { ...behavior.parameters };
+            }
+            if (behavior.returns) {
+                behaviorSpec.returns = behavior.returns;
+            }
+            if (behavior.requires && behavior.requires.length > 0) {
+                behaviorSpec.requires = [...behavior.requires];
+            }
+            if (behavior.ensures && behavior.ensures.length > 0) {
+                behaviorSpec.ensures = [...behavior.ensures];
+            }
+            if (behavior.publishes && behavior.publishes.length > 0) {
+                behaviorSpec.publishes = [...behavior.publishes];
+            }
+            specs[behavior.name] = behaviorSpec;
+        }
+        return specs;
+    }
+    async generateCommonDefinitions(models, specification) {
+        const definitions = {};
+        // Generate request/response types for each model
+        for (const model of models) {
+            // Create Request type
+            definitions[`${model.name}CreateRequest`] = {
+                type: 'object',
+                description: `Request to create ${model.name}`,
+                properties: this.convertAttributesToSpecs(model.attributes.filter(attr => attr.name !== 'id'))
+            };
+            // Update Request type
+            definitions[`${model.name}UpdateRequest`] = {
+                type: 'object',
+                description: `Request to update ${model.name}`,
+                properties: {
+                    id: 'UUID required',
+                    ...this.convertAttributesToSpecs(model.attributes.filter(attr => attr.name !== 'id')
+                        .map(attr => ({ ...attr, required: false })))
+                }
+            };
+            // Filter type
+            definitions[`${model.name}Filter`] = {
+                type: 'object',
+                description: `Filter criteria for ${model.name} listings`,
+                properties: this.generateFilterProperties(model)
+            };
+        }
+        return definitions;
+    }
+    generateFilterProperties(model) {
+        const properties = {};
+        for (const attr of model.attributes) {
+            switch (attr.type.toLowerCase()) {
+                case 'string':
+                case 'text':
+                    properties[`${attr.name}Contains`] = 'String optional';
+                    break;
+                case 'number':
+                case 'integer':
+                case 'money':
+                    properties[`${attr.name}Min`] = `${attr.type} optional`;
+                    properties[`${attr.name}Max`] = `${attr.type} optional`;
+                    break;
+                case 'boolean':
+                    properties[attr.name] = 'Boolean optional';
+                    break;
+                case 'datetime':
+                    properties[`${attr.name}From`] = 'DateTime optional';
+                    properties[`${attr.name}To`] = 'DateTime optional';
+                    break;
+                default:
+                    properties[attr.name] = `${attr.type} optional`;
+            }
+        }
+        return properties;
+    }
+}
+//# sourceMappingURL=logical-engine.js.map

package/dist/inference/logical/logical-engine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"logical-engine.js","sourceRoot":"","sources":["../../../src/inference/logical/logical-engine.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAML,qBAAqB,EACtB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,uBAAuB,EAAE,MAAM,oBAAoB,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,sCAAsC,CAAC;AAC3E,OAAO,EAAE,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,MAAM,iCAAiC,CAAC;AACjE,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAC/D,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AAgBzB,MAAM,OAAO,sBAAsB;IACzB,UAAU,CAAa;IACvB,cAAc,CAA0B;IAChD,4EAA4E;IACpE,UAAU,GAAuD,IAAI,GAAG,EAAE,CAAC;IAC3E,MAAM,CAAwB;IAEtC,YACE,SAAyC,EAAE,EAC3C,QAAiB,KAAK;QAEtB,IAAI,CAAC,MAAM,GAAG,EAAE,GAAG,qBAAqB,EAAE,GAAG,MAAM,EAAE,CAAC;QACtD,MAAM,SAAS,GAAG,KAAK,IAAI,OAAO,CAAC,GAAG,CAAC,QAAQ,KAAK,aAAa,CAAC;QAElE,6BAA6B;QAC7B,IAAI,CAAC,UAAU,GAAG,IAAI,UAAU,CAAC,SAAS,CAAC,CAAC;QAC5C,IAAI,CAAC,cAAc,GAAG,IAAI,uBAAuB,CAAC,SAAS,CAAC,CAAC;QAE7D,6DAA6D;QAC7D,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,aAAa,EAAE,EAAE,SAAS,EAAE,IAAI,mBAAmB,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,qBAAqB,EAAE,CAAC,CAAC;QACxH,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,UAAU,EAAE,EAAE,SAAS,EAAE,IAAI,gBAAgB,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,kBAAkB,EAAE,CAAC,CAAC;QAC/G,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,cAAc,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,gBAAgB,EAAE,CAAC,CAAC;QACzG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,aAAa,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,eAAe,EAAE,CAAC,CAAC;QAEtG,2DAA2D;QAC3D,qEAAqE;QACrE,IAAI,CAAC,2BAA2B,CAAC,SAAS,CAAC,CAAC;QAE5C,IAAI,SAAS,EAAE,CAAC;YACd,OAAO,CAAC,GAAG,CAAC,yCAAyC,CAAC,CAAC;YACvD,OAAO,CAAC,GAAG,CAAC,qBAAqB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACnF,CAAC;IACH,CAAC;IAED;;OAEG;IACH,iBAAiB,CAAC,QAAgB,EAAE,SAAc,EAAE,SAAiB;QACnE,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC;IAC1D,CAAC;IAED;;;OAGG;IACK,2BAA2B,CAAC,SAAkB;QACpD,IAAI,CAAC;YACH,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,eAAe,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAChE,MAAM,iBAAiB,GAAG,aAAa,CAAC,QAAQ,CAAC;YAEjD,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,iBAAiB,CAAC;gBAAE,OAAO;YAE9C,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,CAAC,sBAAsB,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,gBAAgB;gBAC/E,yBAAyB,EAAE,0BAA0B,CAAC,CAAC,CAAC;YAEzF,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,WAAW,CAAC,iBAAiB,CAAC,EAAE,CAAC;gBACrD,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC;oBAAE,SAAS;gBAC9C,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;gBACzC,IAAI,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC;oBAAE,SAAS;gBAE3C,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC;gBAC3D,MAAM,SAAS,GAAG,WAAW,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;gBAEpF,wEAAwE;gBACxE,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC;YAC5E,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,0CAA0C;QAC5C,CAAC;IACH,CAAC;IAEO,qBAAqB,GAAqF,EAAE,CAAC;IAErH;;OAEG;IACK,KAAK,CAAC,wBAAwB;QACpC,IAAI,IAAI,CAAC,qBAAqB,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO;QAEpD,MAAM,OAAO,GAAG,IAAI,CAAC,qBAAqB,CAAC;QAC3C,IAAI,CAAC,qBAAqB,GAAG,EAAE,CAAC;QAEhC,KAAK,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,IAAI,OAAO,EAAE,CAAC;YAC/D,IAAI,CAAC;gBACH,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,IAAI,GAAG,CAAC,gBAAgB,IAAI,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;gBAChF,MAAM,cAAc,GAAG,GAAG,CAAC,kBAAkB,IAAI,GAAG,CAAC,OAAO;oBAC1D,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,UAAU,IAAI,CAAC,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;gBACxF,IAAI,cAAc,IAAI,OAAO,cAAc,KAAK,UAAU,EAAE,CAAC;oBAC3D,MAAM,SAAS,GAAG,IAAK,cAAsB,CAAC,SAAS,CAAC,CAAC;oBACzD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,QAAQ,EAAE,EAAE,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC;oBAClE,IAAI,SAAS;wBAAE,OAAO,CAAC,GAAG,CAAC,sCAAsC,QAAQ,EAAE,CAAC,CAAC;gBAC/E,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,gCAAgC;YAClC,CAAC;QACH,CAAC;IACH,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,SAAS;QACb,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC7B,MAAM,UAAU,GAAqB;YACnC,KAAK,EAAE,IAAI;YACX,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE,EAAE;SACb,CAAC;QAEF,IAAI,CAAC;YACH,2EAA2E;YAC3E,8EAA8E;YAC9E,IAAI,aAAa,GAAG,KAAK,CAAC;YAC1B,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,EAAE,CAAC;gBACtD,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,cAAc,EAAE,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,sBAAsB,CAC3F,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,gBAAgB,CACnC,CAAC;gBAEF,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;gBACjD,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;gBAErD,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC;oBAC1B,UAAU,CAAC,KAAK,GAAG,KAAK,CAAC;oBACzB,OAAO,UAAU,CAAC;gBACpB,CAAC;gBACD,aAAa,GAAG,IAAI,CAAC;YACvB,CAAC;YAED,IAAI,CAAC,aAAa,EAAE,CAAC;gBACnB,mEAAmE;gBACnE,MAAM,cAAc,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,qBAAqB,EAAE,CAAC;gBACrE,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC;oBAC3B,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC;wBACrB,IAAI,EAAE,iBAAiB;wBACvB,OAAO,EAAE,8BAA8B,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,gBAAgB,qCAAqC;wBAC9G,QAAQ,EAAE,WAAW;qBACtB,CAAC,CAAC;oBACH,UAAU,CAAC,KAAK,GAAG,KAAK,CAAC;oBACzB,OAAO,UAAU,CAAC;gBACpB,CAAC;gBACD,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;gBAC5D,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;YAClE,CAAC;YAED,yCAAyC;YACzC,MAAM,YAAY,GAAG,IAAI,CAAC,UAAU,CAAC,eAAe,EAAE,CAAC;YAEvD,4CAA4C;YAC5C,KAAK,MAAM,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACnE,MAAM,KAAK,GAAI,YAAoB,CAAC,QAAQ,CAAC,CAAC;gBAC9C,IAAK,IAAI,CAAC,MAAM,CAAC,OAAe,CAAC,SAAS,CAAC,KAAK,KAAK,IAAI,KAAK,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACnF,MAAM,cAAc,GAAG,MAAM,SAAS,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;oBACxD,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;oBACjD,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC;oBACrD,IAAI,CAAC,cAAc,CAAC,KAAK;wBAAE,UAAU,CAAC,KAAK,GAAG,KAAK,CAAC;gBACtD,CAAC;YACH,CAAC;YAED,0EAA0E;YAC1E,iFAAiF;YAEjF,6DAA6D;YAC7D,oFAAoF;YACpF,IAAI,CAAC;gBACH,MAAM,EAAE,YAAY,EAAE,UAAU,EAAE,GAAG,MAAM,MAAM,CAAC,IAAI,CAAC,CAAC;gBACxD,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,MAAM,MAAM,CAAC,MAAM,CAAC,CAAC;gBAC/C,MAAM,EAAE,uBAAuB,EAAE,GAAG,MAAM,MAAM,CAAC,4BAA4B,CAAC,CAAC;gBAC/E,MAAM,EAAE,mBAAmB,EAAE,GAAG,MAAM,MAAM,CAAC,4BAA4B,CAAC,CAAC;gBAE3E,oEAAoE;gBACpE,MAAM,aAAa,GAAa,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;gBACrE,IAAI,CAAC;oBACH,MAAM,EAAE,aAAa,EAAE,GAAG,MAAM,MAAM,CAAC,QAAQ,CAAC,CAAC;oBACjD,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBAC3C,MAAM,WAAW,GAAG,GAAG,CAAC,OAAO,CAAC,kCAAkC,CAAC,CAAC;oBACpE,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC;gBACtF,CAAC;gBAAC,MAAM,CAAC,CAAC,4BAA4B,CAAC,CAAC;gBAExC,qDAAqD;gBACrD,MAAM,QAAQ,GAAG,CAAC,QAAgB,EAAiB,EAAE;oBACnD,KAAK,MAAM,GAAG,IAAI,aAAa,EAAE,CAAC;wBAChC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;wBAC9B,IAAI,UAAU,CAAC,CAAC,CAAC;4BAAE,OAAO,CAAC,CAAC;oBAC9B,CAAC;oBACD,OAAO,IAAI,CAAC;gBACd,CAAC,CAAC;gBAEF,6BAA6B;gBAC7B,MAAM,cAAc,GAAG,QAAQ,CAAC,4BAA4B,CAAC,IAAI,QAAQ,CAAC,iCAAiC,CAAC,CAAC;gBAC7G,IAAI,cAAc,EAAE,CAAC;oBACnB,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,cAAc,EAAE,MAAM,CAAC,CAAC,CAAC;oBACjE,IAAI,uBAAuB,CAAC,OAAO,CAAC,EAAE,CAAC;wBACpC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAE,CAAC,SAA2B,CAAC,yCAAyC,CAAC,OAAO,CAAC,CAAC;oBAChH,CAAC;yBAAM,CAAC;wBACL,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAE,CAAC,SAA2B,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC;oBAC9F,CAAC;gBACH,CAAC;gBAED,0BAA0B;gBAC1B,MAAM,YAAY,GAAG,QAAQ,CAAC,8BAA8B,CAAC,IAAI,QAAQ,CAAC,oCAAoC,CAAC,CAAC;gBAChH,IAAI,YAAY,EAAE,CAAC;oBACjB,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC,CAAC;oBAC/D,IAAI,mBAAmB,CAAC,OAAO,CAAC,EAAE,CAAC;wBAChC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAE,CAAC,SAA2B,CAAC,uCAAuC,CAAC,OAAO,CAAC,CAAC;oBAC9G,CAAC;yBAAM,CAAC;wBACL,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAE,CAAC,SAA2B,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC;oBAC5F,CAAC;gBACH,CAAC;YACH,CAAC;YAAC,MAAM,CAAC;gBACP,uDAAuD;YACzD,CAAC;YAED,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;YACxC,OAAO,CAAC,GAAG,CAAC,sBAAsB,QAAQ,IAAI,CAAC,CAAC;YAChD,OAAO,CAAC,GAAG,CAAC,mBAAmB,YAAY,CAAC,WAAW,CAAC,MAAM,QAAQ,CAAC,CAAC;YACxE,OAAO,CAAC,GAAG,CAAC,gBAAgB,YAAY,CAAC,QAAQ,CAAC,MAAM,QAAQ,CAAC,CAAC;YAClE,OAAO,CAAC,GAAG,CAAC,cAAc,YAAY,CAAC,MAAM,CAAC,MAAM,QAAQ,CAAC,CAAC;YAC9D,OAAO,CAAC,GAAG,CAAC,aAAa,YAAY,CAAC,KAAK,CAAC,MAAM,QAAQ,CAAC,CAAC;QAE9D,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC;gBACrB,IAAI,EAAE,oBAAoB;gBAC1B,OAAO,EAAE,yBAAyB,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;gBAC1F,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,gBAAgB;aAC7C,CAAC,CAAC;YACH,UAAU,CAAC,KAAK,GAAG,KAAK,CAAC;QAC3B,CAAC;QAED,OAAO,UAAU,CAAC;IACpB,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,yBAAyB,CAC7B,MAAyB,EACzB,gBAAwB,oBAAoB,EAC5C,WAAgC,EAAE;QAElC,iEAAiE;QACjE,MAAM,IAAI,CAAC,wBAAwB,EAAE,CAAC;QAEtC,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC7B,IAAI,YAAY,GAAG,CAAC,CAAC;QAErB,MAAM,UAAU,GAAqB;YACnC,KAAK,EAAE,IAAI;YACX,MAAM,EAAE,EAAE;YACV,QAAQ,EAAE,EAAE;SACb,CAAC;QAEF,IAAI,CAAC;YACH,4BAA4B;YAC5B,MAAM,aAAa,GAAyB;gBAC1C,IAAI,EAAE,aAAa;gBACnB,OAAO,EAAE,OAAO;gBAChB,WAAW,EAAE,iCAAiC,MAAM,CAAC,MAAM,SAAS;gBACpE,WAAW,EAAE,EAAE;gBACf,QAAQ,EAAE,EAAE;gBACZ,MAAM,EAAE,EAAE;gBACV,KAAK,EAAE,EAAE;gBACT,MAAM,EAAE,EAAE;gBACV,iBAAiB,EAAE,EAAE;aACtB,CAAC;YAEF,sBAAsB;YACtB,MAAM,WAAW,GAAG,IAAI,CAAC,cAAc,CAAC,oBAAoB,CAAC,MAAM,EAAE,SAAS,EAAE;gBAC9E,aAAa;gBACb,GAAG,QAAQ;aACZ,CAAC,CAAC;YAEH,kFAAkF;YAClF,KAAK,MAAM,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBACnE,IAAK,IAAI,CAAC,MAAM,CAAC,OAAe,CAAC,SAAS,CAAC,KAAK,KAAK,EAAE,CAAC;oBACtD,MAAM,MAAM,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;oBAE7D,IAAI,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;wBACjC,wEAAwE;wBACxE,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;4BAClD,IAAI,GAAG,KAAK,WAAW,IAAI,GAAG,KAAK,YAAY;gCAAE,SAAS;4BAC1D,MAAM,QAAQ,GAAI,aAAqB,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;4BAClD,aAAqB,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,QAAQ,EAAE,GAAI,KAAa,EAAE,CAAC;wBACnE,CAAC;oBACH,CAAC;yBAAM,CAAC;wBACN,mEAAmE;wBAClE,aAAqB,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;oBACtD,CAAC;oBACD,YAAY,IAAI,MAAM,CAAC,SAAS,CAAC;oBACjC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;oBACpD,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;oBACxD,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK;wBAAE,UAAU,CAAC,KAAK,GAAG,KAAK,CAAC;gBACzD,CAAC;YACH,CAAC;YAED,kDAAkD;YAClD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;gBAC3B,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG;oBACjC,WAAW,EAAE,0CAA0C,KAAK,CAAC,IAAI,EAAE;oBACnE,UAAU,EAAE,IAAI,CAAC,wBAAwB,CAAC,KAAK,CAAC,UAAU,CAAC;oBAC3D,aAAa,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,2BAA2B,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,SAAS;oBACtG,UAAU,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,sBAAsB,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS;oBAClH,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,uBAAuB,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS;iBACvF,CAAC;YACJ,CAAC;YAED,8CAA8C;YAC9C,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,aAAa,EAAE,CAAC;gBACtC,aAAa,CAAC,iBAAiB,GAAG,MAAM,IAAI,CAAC,yBAAyB,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;YAChG,CAAC;YAED,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;YAE9C,OAAO;gBACL,aAAa;gBACb,UAAU;gBACV,UAAU,EAAE;oBACV,eAAe,EAAE,MAAM,CAAC,MAAM;oBAC9B,oBAAoB,EAAE,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC,MAAM;oBACnE,iBAAiB,EAAE,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,MAAM;oBAC7D,eAAe,EAAE,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,MAAM;oBACzD,cAAc,EAAE,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,MAAM;oBACvD,YAAY;oBACZ,gBAAgB,EAAE,cAAc;iBACjC;aACF,CAAC;QAEJ,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC;gBACrB,IAAI,EAAE,iBAAiB;gBACvB,OAAO,EAAE,qBAAqB,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;gBACtF,QAAQ,EAAE,kDAAkD;aAC7D,CAAC,CAAC;YACH,UAAU,CAAC,KAAK,GAAG,KAAK,CAAC;YAEzB,OAAO;gBACL,aAAa,EAAE;oBACb,IAAI,EAAE,aAAa;oBACnB,OAAO,EAAE,OAAO;oBAChB,WAAW,EAAE,EAAE;oBACf,QAAQ,EAAE,EAAE;oBACZ,MAAM,EAAE,EAAE;oBACV,KAAK,EAAE,EAAE;oBACT,MAAM,EAAE,EAAE;iBACX;gBACD,UAAU;gBACV,UAAU,EAAE;oBACV,eAAe,EAAE,CAAC;oBAClB,oBAAoB,EAAE,CAAC;oBACvB,iBAAiB,EAAE,CAAC;oBACpB,eAAe,EAAE,CAAC;oBAClB,cAAc,EAAE,CAAC;oBACjB,YAAY;oBACZ,gBAAgB,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;iBACzC;aACF,CAAC;QACJ,CAAC;IACH,CAAC;IAED;;OAEG;IACH,aAAa;QAWX,MAAM,YAAY,GAAG,IAAI,CAAC,UAAU,CAAC,eAAe,EAAE,CAAC;QAEvD,OAAO;YACL,OAAO,EAAE,OAAO;YAChB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,WAAW,EAAE;gBACX,WAAW,EAAE,YAAY,CAAC,WAAW,CAAC,MAAM;gBAC5C,QAAQ,EAAE,YAAY,CAAC,QAAQ,CAAC,MAAM;gBACtC,MAAM,EAAE,YAAY,CAAC,MAAM,CAAC,MAAM;gBAClC,KAAK,EAAE,YAAY,CAAC,KAAK,CAAC,MAAM;aACjC;YACD,UAAU,EAAE;gBACV,qBAAqB;gBACrB,kBAAkB;gBAClB,gBAAgB;gBAChB,eAAe;aAChB;SACF,CAAC;IACJ,CAAC;IAED,kCAAkC;IAClC,yBAAyB;IACzB,kCAAkC;IAE1B,wBAAwB,CAAC,UAAiB;QAChD,MAAM,KAAK,GAA2B,EAAE,CAAC;QAEzC,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;YAC9B,MAAM,aAAa,GAAG,EAAE,CAAC;YACzB,IAAI,IAAI,CAAC,QAAQ;gBAAE,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YAClD,IAAI,IAAI,CAAC,MAAM;gBAAE,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC9C,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBACd,aAAa,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YAC1C,CAAC;YACD,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC/B,aAAa,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;YAChD,CAAC;YAED,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,GAAG,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QACpG,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,2BAA2B,CAAC,aAAoB;QACtD,MAAM,KAAK,GAAwB,EAAE,CAAC;QAEtC,KAAK,MAAM,GAAG,IAAI,aAAa,EAAE,CAAC;YAChC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG;gBAChB,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,MAAM,EAAE,GAAG,CAAC,WAAW;gBACvB,OAAO,EAAE,GAAG,CAAC,aAAa,IAAI,KAAK;aACpC,CAAC;QACJ,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,sBAAsB,CAAC,SAAc;QAC3C,OAAO;YACL,MAAM,EAAE,SAAS,CAAC,MAAM;YACxB,WAAW,EAAE,SAAS,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,GAAQ,EAAE,UAAe,EAAE,EAAE;gBACtE,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG;oBACrB,IAAI,EAAE,UAAU,CAAC,IAAI;oBACrB,EAAE,EAAE,UAAU,CAAC,EAAE;iBAClB,CAAC;gBACF,OAAO,GAAG,CAAC;YACb,CAAC,EAAE,EAAE,CAAC;SACP,CAAC;IACJ,CAAC;IAEO,uBAAuB,CAAC,SAAgB;QAC9C,MAAM,KAAK,GAAwB,EAAE,CAAC;QAEtC,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;YACjC,MAAM,YAAY,GAAQ,EAAE,CAAC;YAE7B,IAAI,QAAQ,CAAC,WAAW,EAAE,CAAC;gBACzB,YAAY,CAAC,WAAW,GAAG,QAAQ,CAAC,WAAW,CAAC;YAClD,CAAC;YAED,IAAI,QAAQ,CAAC,UAAU,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvE,YAAY,CAAC,UAAU,GAAG,EAAE,GAAG,QAAQ,CAAC,UAAU,EAAE,CAAC;YACvD,CAAC;YAED,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;gBACrB,YAAY,CAAC,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAC;YAC1C,CAAC;YAED,IAAI,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACtD,YAAY,CAAC,QAAQ,GAAG,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;YACjD,CAAC;YAED,IAAI,QAAQ,CAAC,OAAO,IAAI,QAAQ,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpD,YAAY,CAAC,OAAO,GAAG,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;YAC/C,CAAC;YAED,IAAI,QAAQ,CAAC,SAAS,IAAI,QAAQ,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACxD,YAAY,CAAC,SAAS,GAAG,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC;YACnD,CAAC;YAED,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC;QACtC,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,KAAK,CAAC,yBAAyB,CACrC,MAAyB,EACzB,aAAmC;QAEnC,MAAM,WAAW,GAAwB,EAAE,CAAC;QAE5C,iDAAiD;QACjD,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,sBAAsB;YACtB,WAAW,CAAC,GAAG,KAAK,CAAC,IAAI,eAAe,CAAC,GAAG;gBAC1C,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,qBAAqB,KAAK,CAAC,IAAI,EAAE;gBAC9C,UAAU,EAAE,IAAI,CAAC,wBAAwB,CACvC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,CACpD;aACF,CAAC;YAEF,sBAAsB;YACtB,WAAW,CAAC,GAAG,KAAK,CAAC,IAAI,eAAe,CAAC,GAAG;gBAC1C,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,qBAAqB,KAAK,CAAC,IAAI,EAAE;gBAC9C,UAAU,EAAE;oBACV,EAAE,EAAE,eAAe;oBACnB,GAAG,IAAI,CAAC,wBAAwB,CAC9B,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC;yBAChD,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,CAC/C;iBACF;aACF,CAAC;YAEF,cAAc;YACd,WAAW,CAAC,GAAG,KAAK,CAAC,IAAI,QAAQ,CAAC,GAAG;gBACnC,IAAI,EAAE,QAAQ;gBACd,WAAW,EAAE,uBAAuB,KAAK,CAAC,IAAI,WAAW;gBACzD,UAAU,EAAE,IAAI,CAAC,wBAAwB,CAAC,KAAK,CAAC;aACjD,CAAC;QACJ,CAAC;QAED,OAAO,WAAW,CAAC;IACrB,CAAC;IAEO,wBAAwB,CAAC,KAAsB;QACrD,MAAM,UAAU,GAA2B,EAAE,CAAC;QAE9C,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;YACpC,QAAQ,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;gBAChC,KAAK,QAAQ,CAAC;gBACd,KAAK,MAAM;oBACT,UAAU,CAAC,GAAG,IAAI,CAAC,IAAI,UAAU,CAAC,GAAG,iBAAiB,CAAC;oBACvD,MAAM;gBACR,KAAK,QAAQ,CAAC;gBACd,KAAK,SAAS,CAAC;gBACf,KAAK,OAAO;oBACV,UAAU,CAAC,GAAG,IAAI,CAAC,IAAI,KAAK,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,WAAW,CAAC;oBACxD,UAAU,CAAC,GAAG,IAAI,CAAC,IAAI,KAAK,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,WAAW,CAAC;oBACxD,MAAM;gBACR,KAAK,SAAS;oBACZ,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC;oBAC3C,MAAM;gBACR,KAAK,UAAU;oBACb,UAAU,CAAC,GAAG,IAAI,CAAC,IAAI,MAAM,CAAC,GAAG,mBAAmB,CAAC;oBACrD,UAAU,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG,mBAAmB,CAAC;oBACnD,MAAM;gBACR;oBACE,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,GAAG,IAAI,CAAC,IAAI,WAAW,CAAC;YACpD,CAAC;QACH,CAAC;QAED,OAAO,UAAU,CAAC;IACpB,CAAC;CACF"}

package/dist/inference/quint-transpiler.d.ts

@@ -0,0 +1,64 @@
+/**
+ * Quint → TypeScript Transpiler
+ *
+ * Transpiles Quint `pure def` functions and `val` invariants into
+ * TypeScript guard functions for runtime validation.
+ *
+ * Handles a subset of Quint syntax:
+ * - pure def name(params): type = { body }
+ * - val name: bool = expression
+ * - if/else expressions
+ * - and/or/not/implies operators
+ * - comparison operators (==, !=, >=, <=, >, <)
+ * - arithmetic (+, -, *, /, %)
+ * - forall/exists quantifiers (transpiled to .every/.some)
+ * - set operations (.contains, .size, .filter, .map, .union)
+ */
+export interface TranspiledGuard {
+    name: string;
+    kind: 'function' | 'invariant';
+    quint: string;
+    typescript: string;
+    module: string;
+    entity: string;
+}
+/**
+ * Transpile all Quint files from entity modules into TypeScript guards.
+ */
+export declare function transpileEntityGuards(entitiesDir: string): TranspiledGuard[];
+/**
+ * Transpile a single Quint file into TypeScript guards.
+ */
+export declare function transpileQuintFile(content: string, entity: string, filename: string): TranspiledGuard[];
+/**
+ * Generate a TypeScript guards module from transpiled guards.
+ */
+export declare function generateGuardsModule(guards: TranspiledGuard[]): string;
+export interface TranspiledAction {
+    name: string;
+    params: string;
+    guards: string[];
+    effects: string[];
+    events: string[];
+    quint: string;
+    typescript: string;
+    module: string;
+    entity: string;
+}
+/**
+ * Transpile Quint action definitions into async TypeScript methods.
+ *
+ * Quint actions follow the pattern:
+ *   action name(params): bool = all {
+ *     guard1,                          // → precondition check
+ *     guard2,                          // → precondition check
+ *     model' = { ...model, field: x }, // → prisma update
+ *     emit(EventName, payload),        // → event emission
+ *   }
+ */
+export declare function transpileActions(content: string, entity: string, filename: string): TranspiledAction[];
+/**
+ * Generate a TypeScript module from transpiled actions.
+ */
+export declare function generateActionsModule(actions: TranspiledAction[]): string;
+//# sourceMappingURL=quint-transpiler.d.ts.map

package/dist/inference/quint-transpiler.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"quint-transpiler.d.ts","sourceRoot":"","sources":["../../src/inference/quint-transpiler.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAKH,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,UAAU,GAAG,WAAW,CAAC;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,wBAAgB,qBAAqB,CAAC,WAAW,EAAE,MAAM,GAAG,eAAe,EAAE,CAqB5E;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,eAAe,EAAE,CAuEvG;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,eAAe,EAAE,GAAG,MAAM,CAyCtE;AAID,MAAM,WAAW,gBAAgB;IAC/B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,MAAM,EAAE,MAAM,EAAE,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,gBAAgB,EAAE,CA8BtG;AA+HD;;GAEG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,gBAAgB,EAAE,GAAG,MAAM,CAiBzE"}