@specverse/engines 4.1.0

package/dist/inference/test-harness.js

@@ -0,0 +1,357 @@
+#!/usr/bin/env node
+/**
+ * Inference Engine Test Harness
+ *
+ * Validates all inference engine rules and exercises rule application
+ * to ensure templates compile correctly and rules apply without errors.
+ */
+import { readFileSync, readdirSync } from 'fs';
+import { join } from 'path';
+import { fileURLToPath } from 'url';
+import { dirname } from 'path';
+const __filename = fileURLToPath(import.meta.url);
+const __dirname = dirname(__filename);
+// Test model for rule validation
+const testModel = {
+    name: 'TestModel',
+    attributes: [
+        { name: 'id', type: 'UUID', required: true },
+        { name: 'name', type: 'String', required: true },
+        { name: 'email', type: 'Email', required: false }
+    ],
+    relationships: {
+        parentRelationships: [
+            { targetModel: 'ParentModel', type: 'belongsTo' }
+        ],
+        childRelationships: [
+            { targetModel: 'ChildModel', type: 'hasMany' }
+        ],
+        manyToManyRelationships: [
+            { targetModel: 'RelatedModel', type: 'manyToMany' }
+        ]
+    },
+    lifecycle: {
+        type: 'shorthand',
+        states: ['draft', 'active', 'inactive']
+    },
+    profiles: ['UserProfile', 'AdminProfile']
+};
+// Mock context for rule condition evaluation
+const testContext = {
+    model: testModel,
+    modelName: 'TestModel',
+    relationships: testModel.relationships,
+    hasParentRelationship: () => true,
+    hasChildRelationship: () => true,
+    hasManyToManyRelationship: () => true
+};
+class InferenceEngineTestHarness {
+    rulesDir;
+    errors = [];
+    warnings = [];
+    successes = [];
+    quiet = false;
+    constructor() {
+        // Rules are composed from entity modules into dist/ at build time
+        this.rulesDir = join(__dirname, '..', '..', 'dist', 'inference-engine', 'rules', 'logical');
+        this.quiet = process.env.NODE_ENV === 'test' || process.argv.includes('--quiet');
+    }
+    /**
+     * Run comprehensive test suite
+     */
+    async runTests() {
+        if (!this.quiet) {
+            console.log('🧪 Inference Engine Test Harness Starting...\n');
+        }
+        try {
+            await this.validateRuleFiles();
+            await this.validateRuleTemplates();
+            await this.testRuleConditions();
+            await this.testTemplateCompilation();
+            this.printResults();
+        }
+        catch (error) {
+            console.error('❌ Test harness failed:', error);
+            process.exit(1);
+        }
+    }
+    /**
+     * Validate all rule files are properly formatted JSON
+     */
+    async validateRuleFiles() {
+        if (!this.quiet) {
+            console.log('📁 Validating Rule Files...');
+        }
+        try {
+            const files = readdirSync(this.rulesDir).filter(f => f.endsWith('.json'));
+            for (const file of files) {
+                try {
+                    const content = readFileSync(join(this.rulesDir, file), 'utf8');
+                    const parsed = JSON.parse(content);
+                    // Validate structure
+                    if (!parsed.version) {
+                        this.errors.push(`${file}: Missing version field`);
+                        continue;
+                    }
+                    // Check if this is a domain-specific file (has ruleFileType)
+                    if (parsed.ruleFileType) {
+                        // Domain-specific files are valid - count their contents
+                        let ruleCount = 0;
+                        if (parsed.ruleFileType === 'pattern-inference' && parsed.rules) {
+                            ruleCount = parsed.rules.length;
+                        }
+                        else if (parsed.ruleFileType === 'configuration' && parsed.mappings) {
+                            ruleCount = 1; // Mappings count as 1 rule set
+                        }
+                        else if (parsed.ruleFileType === 'expansion-template' && parsed.templates) {
+                            ruleCount = Object.keys(parsed.templates).length;
+                        }
+                        this.successes.push(`${file}: ✅ Valid JSON (domain-specific: ${parsed.ruleFileType}) with ${ruleCount} rules`);
+                        continue;
+                    }
+                    // Handle legacy format (logical_inference wrapper)
+                    const ruleFile = parsed;
+                    if (!ruleFile.logical_inference) {
+                        this.errors.push(`${file}: Missing logical_inference or ruleFileType field`);
+                        continue;
+                    }
+                    // Count rules (v3.1 format has arrays, v3.4 has objects/mappings)
+                    let ruleCount = 0;
+                    for (const category in ruleFile.logical_inference) {
+                        const categoryData = ruleFile.logical_inference[category];
+                        if (Array.isArray(categoryData)) {
+                            ruleCount += categoryData.length;
+                        }
+                        // v3.4 files have object structures - count as 1 rule set
+                        else if (typeof categoryData === 'object') {
+                            ruleCount += 1;
+                        }
+                    }
+                    this.successes.push(`${file}: ✅ Valid JSON with ${ruleCount} rules`);
+                }
+                catch (parseError) {
+                    this.errors.push(`${file}: JSON parse error - ${parseError}`);
+                }
+            }
+        }
+        catch (error) {
+            this.errors.push(`Failed to read rules directory: ${error}`);
+        }
+    }
+    /**
+     * Validate rule template syntax
+     */
+    async validateRuleTemplates() {
+        if (!this.quiet) {
+            console.log('📝 Validating Rule Templates...');
+        }
+        const files = readdirSync(this.rulesDir).filter(f => f.endsWith('.json'));
+        for (const file of files) {
+            try {
+                const content = readFileSync(join(this.rulesDir, file), 'utf8');
+                const parsed = JSON.parse(content);
+                // Skip domain-specific files - they have their own validation
+                if (parsed.ruleFileType) {
+                    continue;
+                }
+                const ruleFile = parsed;
+                for (const category in ruleFile.logical_inference) {
+                    const categoryData = ruleFile.logical_inference[category];
+                    // Skip v3.4 files - they have object structures, not rule arrays
+                    if (!Array.isArray(categoryData)) {
+                        continue;
+                    }
+                    for (const rule of categoryData) {
+                        try {
+                            // Basic template validation
+                            if (!rule.template.type) {
+                                this.errors.push(`${file}::${rule.name}: Missing template type`);
+                                continue;
+                            }
+                            if (!rule.template.content) {
+                                this.errors.push(`${file}::${rule.name}: Missing template content`);
+                                continue;
+                            }
+                            // Template type validation
+                            if (!['yaml', 'specly'].includes(rule.template.type)) {
+                                this.warnings.push(`${file}::${rule.name}: Unknown template type '${rule.template.type}'`);
+                            }
+                            // Check for basic Handlebars syntax
+                            const content = rule.template.content;
+                            const contentString = Array.isArray(content) ? content.join('\n') : content;
+                            const handlebarsRegex = /\{\{[^}]+\}\}/g;
+                            const matches = contentString.match(handlebarsRegex);
+                            if (matches) {
+                                this.successes.push(`${file}::${rule.name}: ✅ Template with ${matches.length} variables`);
+                            }
+                            else {
+                                this.warnings.push(`${file}::${rule.name}: No Handlebars variables found`);
+                            }
+                        }
+                        catch (error) {
+                            this.errors.push(`${file}::${rule.name}: Template validation error - ${error}`);
+                        }
+                    }
+                }
+            }
+            catch (error) {
+                this.errors.push(`${file}: Template validation failed - ${error}`);
+            }
+        }
+    }
+    /**
+     * Test rule condition evaluation
+     */
+    async testRuleConditions() {
+        if (!this.quiet) {
+            console.log('🔍 Testing Rule Conditions...');
+        }
+        const files = readdirSync(this.rulesDir).filter(f => f.endsWith('.json'));
+        for (const file of files) {
+            try {
+                const content = readFileSync(join(this.rulesDir, file), 'utf8');
+                const parsed = JSON.parse(content);
+                // Skip domain-specific files - they have their own validation
+                if (parsed.ruleFileType) {
+                    continue;
+                }
+                const ruleFile = parsed;
+                for (const category in ruleFile.logical_inference) {
+                    const categoryData = ruleFile.logical_inference[category];
+                    // Skip v3.4 files - they have object structures, not rule arrays
+                    if (!Array.isArray(categoryData)) {
+                        continue;
+                    }
+                    for (const rule of categoryData) {
+                        try {
+                            // Basic condition syntax check
+                            const condition = rule.condition;
+                            if (condition === 'true') {
+                                this.successes.push(`${file}::${rule.name}: ✅ Universal rule (always applies)`);
+                                continue;
+                            }
+                            if (condition === 'false') {
+                                this.successes.push(`${file}::${rule.name}: ✅ Disabled rule (intentionally inactive)`);
+                                continue;
+                            }
+                            // Check for common patterns
+                            if (condition.includes('relationships') ||
+                                condition.includes('hasParentRelationship') ||
+                                condition.includes('model.')) {
+                                this.successes.push(`${file}::${rule.name}: ✅ Valid condition pattern`);
+                            }
+                            else {
+                                this.warnings.push(`${file}::${rule.name}: Condition may need validation: ${condition}`);
+                            }
+                        }
+                        catch (error) {
+                            this.errors.push(`${file}::${rule.name}: Condition test error - ${error}`);
+                        }
+                    }
+                }
+            }
+            catch (error) {
+                this.errors.push(`${file}: Condition testing failed - ${error}`);
+            }
+        }
+    }
+    /**
+     * Test template compilation with sample data
+     */
+    async testTemplateCompilation() {
+        if (!this.quiet) {
+            console.log('🛠️  Testing Template Compilation...');
+        }
+        const files = readdirSync(this.rulesDir).filter(f => f.endsWith('.json'));
+        for (const file of files) {
+            try {
+                const content = readFileSync(join(this.rulesDir, file), 'utf8');
+                const parsed = JSON.parse(content);
+                // Skip domain-specific files - they have their own validation
+                if (parsed.ruleFileType) {
+                    continue;
+                }
+                const ruleFile = parsed;
+                for (const category in ruleFile.logical_inference) {
+                    const categoryData = ruleFile.logical_inference[category];
+                    // Skip v3.4 files - they have object structures, not rule arrays
+                    if (!Array.isArray(categoryData)) {
+                        continue;
+                    }
+                    for (const rule of categoryData) {
+                        try {
+                            // Simple template compilation test
+                            let template = Array.isArray(rule.template.content)
+                                ? rule.template.content.join('\n')
+                                : rule.template.content;
+                            // Replace simple variables
+                            template = template.replace(/\{\{modelName\}\}/g, testContext.modelName);
+                            template = template.replace(/\{\{\.\.\/modelName\}\}/g, testContext.modelName);
+                            // Check for template syntax errors that would prevent compilation
+                            if (template.includes('{{#each') && !template.includes('{{/each}}')) {
+                                this.errors.push(`${file}::${rule.name}: Unclosed {{#each}} block`);
+                                continue;
+                            }
+                            if (template.includes('{{#if') && !template.includes('{{/if}}')) {
+                                this.errors.push(`${file}::${rule.name}: Unclosed {{#if}} block`);
+                                continue;
+                            }
+                            this.successes.push(`${file}::${rule.name}: ✅ Template syntax appears valid`);
+                        }
+                        catch (error) {
+                            this.errors.push(`${file}::${rule.name}: Template compilation error - ${error}`);
+                        }
+                    }
+                }
+            }
+            catch (error) {
+                this.errors.push(`${file}: Template compilation testing failed - ${error}`);
+            }
+        }
+    }
+    /**
+     * Print test results
+     */
+    printResults() {
+        const total = this.successes.length + this.warnings.length + this.errors.length;
+        if (this.quiet) {
+            // In quiet mode, only show summary
+            console.log(`Inference Engine Rules: ${this.successes.length}/${total} passed`);
+            if (this.errors.length > 0) {
+                console.log(`❌ ${this.errors.length} errors - run without --quiet for details`);
+            }
+            return;
+        }
+        console.log('\n📊 Test Results Summary\n');
+        if (this.successes.length > 0) {
+            console.log(`✅ Successes (${this.successes.length}):`);
+            this.successes.forEach(success => console.log(`   ${success}`));
+            console.log();
+        }
+        if (this.warnings.length > 0) {
+            console.log(`⚠️  Warnings (${this.warnings.length}):`);
+            this.warnings.forEach(warning => console.log(`   ${warning}`));
+            console.log();
+        }
+        if (this.errors.length > 0) {
+            console.log(`❌ Errors (${this.errors.length}):`);
+            this.errors.forEach(error => console.log(`   ${error}`));
+            console.log();
+        }
+        console.log(`📈 Overall: ${this.successes.length}/${total} tests passed`);
+        if (this.errors.length === 0) {
+            console.log('🎉 All inference engine rules validated successfully!');
+        }
+        else {
+            console.log('💥 Inference engine has validation errors that need fixing.');
+            process.exit(1);
+        }
+    }
+}
+// Run if called directly
+if (import.meta.url === `file://${process.argv[1]}`) {
+    const harness = new InferenceEngineTestHarness();
+    harness.runTests();
+}
+export { InferenceEngineTestHarness };
+//# sourceMappingURL=test-harness.js.map

package/dist/inference/test-harness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-harness.js","sourceRoot":"","sources":["../../src/inference/test-harness.ts"],"names":[],"mappings":";AAEA;;;;;GAKG;AAEH,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,IAAI,CAAC;AAC/C,OAAO,EAAE,IAAI,EAAE,MAAM,MAAM,CAAC;AAC5B,OAAO,EAAE,aAAa,EAAE,MAAM,KAAK,CAAC;AACpC,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAE/B,MAAM,UAAU,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAClD,MAAM,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;AAqBtC,iCAAiC;AACjC,MAAM,SAAS,GAAG;IAChB,IAAI,EAAE,WAAW;IACjB,UAAU,EAAE;QACV,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE;QAC5C,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;QAChD,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE;KAClD;IACD,aAAa,EAAE;QACb,mBAAmB,EAAE;YACnB,EAAE,WAAW,EAAE,aAAa,EAAE,IAAI,EAAE,WAAW,EAAE;SAClD;QACD,kBAAkB,EAAE;YAClB,EAAE,WAAW,EAAE,YAAY,EAAE,IAAI,EAAE,SAAS,EAAE;SAC/C;QACD,uBAAuB,EAAE;YACvB,EAAE,WAAW,EAAE,cAAc,EAAE,IAAI,EAAE,YAAY,EAAE;SACpD;KACF;IACD,SAAS,EAAE;QACT,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC;KACxC;IACD,QAAQ,EAAE,CAAC,aAAa,EAAE,cAAc,CAAC;CAC1C,CAAC;AAEF,6CAA6C;AAC7C,MAAM,WAAW,GAAG;IAClB,KAAK,EAAE,SAAS;IAChB,SAAS,EAAE,WAAW;IACtB,aAAa,EAAE,SAAS,CAAC,aAAa;IACtC,qBAAqB,EAAE,GAAG,EAAE,CAAC,IAAI;IACjC,oBAAoB,EAAE,GAAG,EAAE,CAAC,IAAI;IAChC,yBAAyB,EAAE,GAAG,EAAE,CAAC,IAAI;CACtC,CAAC;AAEF,MAAM,0BAA0B;IACtB,QAAQ,CAAS;IACjB,MAAM,GAAa,EAAE,CAAC;IACtB,QAAQ,GAAa,EAAE,CAAC;IACxB,SAAS,GAAa,EAAE,CAAC;IACzB,KAAK,GAAY,KAAK,CAAC;IAE/B;QACE,kEAAkE;QAClE,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,kBAAkB,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;QAC5F,IAAI,CAAC,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,KAAK,MAAM,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IACnF,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,QAAQ;QACZ,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YAChB,OAAO,CAAC,GAAG,CAAC,gDAAgD,CAAC,CAAC;QAChE,CAAC;QAED,IAAI,CAAC;YACH,MAAM,IAAI,CAAC,iBAAiB,EAAE,CAAC;YAC/B,MAAM,IAAI,CAAC,qBAAqB,EAAE,CAAC;YACnC,MAAM,IAAI,CAAC,kBAAkB,EAAE,CAAC;YAChC,MAAM,IAAI,CAAC,uBAAuB,EAAE,CAAC;YAErC,IAAI,CAAC,YAAY,EAAE,CAAC;QACtB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,KAAK,CAAC,wBAAwB,EAAE,KAAK,CAAC,CAAC;YAC/C,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,iBAAiB;QAC7B,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YAChB,OAAO,CAAC,GAAG,CAAC,6BAA6B,CAAC,CAAC;QAC7C,CAAC;QAED,IAAI,CAAC;YACH,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;YAE1E,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,IAAI,CAAC;oBACH,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;oBAChE,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;oBAEnC,qBAAqB;oBACrB,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;wBACpB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,yBAAyB,CAAC,CAAC;wBACnD,SAAS;oBACX,CAAC;oBAED,6DAA6D;oBAC7D,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;wBACxB,yDAAyD;wBACzD,IAAI,SAAS,GAAG,CAAC,CAAC;wBAClB,IAAI,MAAM,CAAC,YAAY,KAAK,mBAAmB,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;4BAChE,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC;wBAClC,CAAC;6BAAM,IAAI,MAAM,CAAC,YAAY,KAAK,eAAe,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;4BACtE,SAAS,GAAG,CAAC,CAAC,CAAC,+BAA+B;wBAChD,CAAC;6BAAM,IAAI,MAAM,CAAC,YAAY,KAAK,oBAAoB,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;4BAC5E,SAAS,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC;wBACnD,CAAC;wBACD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,IAAI,oCAAoC,MAAM,CAAC,YAAY,UAAU,SAAS,QAAQ,CAAC,CAAC;wBAC/G,SAAS;oBACX,CAAC;oBAED,mDAAmD;oBACnD,MAAM,QAAQ,GAAG,MAAkB,CAAC;oBAEpC,IAAI,CAAC,QAAQ,CAAC,iBAAiB,EAAE,CAAC;wBAChC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,mDAAmD,CAAC,CAAC;wBAC7E,SAAS;oBACX,CAAC;oBAED,kEAAkE;oBAClE,IAAI,SAAS,GAAG,CAAC,CAAC;oBAClB,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,iBAAiB,EAAE,CAAC;wBAClD,MAAM,YAAY,GAAG,QAAQ,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;wBAC1D,IAAI,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;4BAChC,SAAS,IAAI,YAAY,CAAC,MAAM,CAAC;wBACnC,CAAC;wBACD,0DAA0D;6BACrD,IAAI,OAAO,YAAY,KAAK,QAAQ,EAAE,CAAC;4BAC1C,SAAS,IAAI,CAAC,CAAC;wBACjB,CAAC;oBACH,CAAC;oBAED,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,IAAI,uBAAuB,SAAS,QAAQ,CAAC,CAAC;gBACvE,CAAC;gBAAC,OAAO,UAAU,EAAE,CAAC;oBACpB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,wBAAwB,UAAU,EAAE,CAAC,CAAC;gBAChE,CAAC;YACH,CAAC;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,mCAAmC,KAAK,EAAE,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,qBAAqB;QACjC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YAChB,OAAO,CAAC,GAAG,CAAC,iCAAiC,CAAC,CAAC;QACjD,CAAC;QAED,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;QAE1E,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,CAAC;gBACH,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;gBAChE,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;gBAEnC,8DAA8D;gBAC9D,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;oBACxB,SAAS;gBACX,CAAC;gBAED,MAAM,QAAQ,GAAG,MAAkB,CAAC;gBAEpC,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,iBAAiB,EAAE,CAAC;oBAClD,MAAM,YAAY,GAAG,QAAQ,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;oBAC1D,iEAAiE;oBACjE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;wBACjC,SAAS;oBACX,CAAC;oBAED,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;wBAChC,IAAI,CAAC;4BACH,4BAA4B;4BAC5B,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;gCACxB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,IAAI,CAAC,IAAI,yBAAyB,CAAC,CAAC;gCACjE,SAAS;4BACX,CAAC;4BAED,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;gCAC3B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,IAAI,CAAC,IAAI,4BAA4B,CAAC,CAAC;gCACpE,SAAS;4BACX,CAAC;4BAED,2BAA2B;4BAC3B,IAAI,CAAC,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gCACrD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,IAAI,CAAC,IAAI,4BAA4B,IAAI,CAAC,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC;4BAC7F,CAAC;4BAED,oCAAoC;4BACpC,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;4BACtC,MAAM,aAAa,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;4BAC5E,MAAM,eAAe,GAAG,gBAAgB,CAAC;4BACzC,MAAM,OAAO,GAAG,aAAa,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;4BAErD,IAAI,OAAO,EAAE,CAAC;gCACZ,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,IAAI,CAAC,IAAI,qBAAqB,OAAO,CAAC,MAAM,YAAY,CAAC,CAAC;4BAC5F,CAAC;iCAAM,CAAC;gCACN,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,IAAI,CAAC,IAAI,iCAAiC,CAAC,CAAC;4BAC7E,CAAC;wBAEH,CAAC;wBAAC,OAAO,KAAK,EAAE,CAAC;4BACf,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,IAAI,CAAC,IAAI,iCAAiC,KAAK,EAAE,CAAC,CAAC;wBAClF,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,kCAAkC,KAAK,EAAE,CAAC,CAAC;YACrE,CAAC;QACH,CAAC;IACH,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,kBAAkB;QAC9B,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YAChB,OAAO,CAAC,GAAG,CAAC,+BAA+B,CAAC,CAAC;QAC/C,CAAC;QAED,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;QAE1E,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,CAAC;gBACH,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;gBAChE,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;gBAEnC,8DAA8D;gBAC9D,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;oBACxB,SAAS;gBACX,CAAC;gBAED,MAAM,QAAQ,GAAG,MAAkB,CAAC;gBAEpC,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,iBAAiB,EAAE,CAAC;oBAClD,MAAM,YAAY,GAAG,QAAQ,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;oBAC1D,iEAAiE;oBACjE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;wBACjC,SAAS;oBACX,CAAC;oBAED,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;wBAChC,IAAI,CAAC;4BACH,+BAA+B;4BAC/B,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC;4BAEjC,IAAI,SAAS,KAAK,MAAM,EAAE,CAAC;gCACzB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,IAAI,CAAC,IAAI,qCAAqC,CAAC,CAAC;gCAChF,SAAS;4BACX,CAAC;4BAED,IAAI,SAAS,KAAK,OAAO,EAAE,CAAC;gCAC1B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,IAAI,CAAC,IAAI,4CAA4C,CAAC,CAAC;gCACvF,SAAS;4BACX,CAAC;4BAED,4BAA4B;4BAC5B,IAAI,SAAS,CAAC,QAAQ,CAAC,eAAe,CAAC;gCACnC,SAAS,CAAC,QAAQ,CAAC,uBAAuB,CAAC;gCAC3C,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;gCACjC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,IAAI,CAAC,IAAI,6BAA6B,CAAC,CAAC;4BAC1E,CAAC;iCAAM,CAAC;gCACN,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,IAAI,CAAC,IAAI,oCAAoC,SAAS,EAAE,CAAC,CAAC;4BAC3F,CAAC;wBAEH,CAAC;wBAAC,OAAO,KAAK,EAAE,CAAC;4BACf,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,IAAI,CAAC,IAAI,4BAA4B,KAAK,EAAE,CAAC,CAAC;wBAC7E,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,gCAAgC,KAAK,EAAE,CAAC,CAAC;YACnE,CAAC;QACH,CAAC;IACH,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,uBAAuB;QACnC,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;YAChB,OAAO,CAAC,GAAG,CAAC,sCAAsC,CAAC,CAAC;QACtD,CAAC;QAED,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;QAE1E,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,CAAC;gBACH,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;gBAChE,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;gBAEnC,8DAA8D;gBAC9D,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;oBACxB,SAAS;gBACX,CAAC;gBAED,MAAM,QAAQ,GAAG,MAAkB,CAAC;gBAEpC,KAAK,MAAM,QAAQ,IAAI,QAAQ,CAAC,iBAAiB,EAAE,CAAC;oBAClD,MAAM,YAAY,GAAG,QAAQ,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC;oBAC1D,iEAAiE;oBACjE,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;wBACjC,SAAS;oBACX,CAAC;oBAED,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;wBAChC,IAAI,CAAC;4BACH,mCAAmC;4BACnC,IAAI,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;gCACjD,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;gCAClC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;4BAE1B,2BAA2B;4BAC3B,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,oBAAoB,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC;4BACzE,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,0BAA0B,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC;4BAE/E,kEAAkE;4BAClE,IAAI,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;gCACpE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,IAAI,CAAC,IAAI,4BAA4B,CAAC,CAAC;gCACpE,SAAS;4BACX,CAAC;4BAED,IAAI,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;gCAChE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,IAAI,CAAC,IAAI,0BAA0B,CAAC,CAAC;gCAClE,SAAS;4BACX,CAAC;4BAED,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,IAAI,CAAC,IAAI,mCAAmC,CAAC,CAAC;wBAEhF,CAAC;wBAAC,OAAO,KAAK,EAAE,CAAC;4BACf,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,KAAK,IAAI,CAAC,IAAI,kCAAkC,KAAK,EAAE,CAAC,CAAC;wBACnF,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,2CAA2C,KAAK,EAAE,CAAC,CAAC;YAC9E,CAAC;QACH,CAAC;IACH,CAAC;IAED;;OAEG;IACK,YAAY;QAClB,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;QAEhF,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,mCAAmC;YACnC,OAAO,CAAC,GAAG,CAAC,2BAA2B,IAAI,CAAC,SAAS,CAAC,MAAM,IAAI,KAAK,SAAS,CAAC,CAAC;YAChF,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC3B,OAAO,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,MAAM,CAAC,MAAM,2CAA2C,CAAC,CAAC;YAClF,CAAC;YACD,OAAO;QACT,CAAC;QAED,OAAO,CAAC,GAAG,CAAC,6BAA6B,CAAC,CAAC;QAE3C,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,OAAO,CAAC,GAAG,CAAC,gBAAgB,IAAI,CAAC,SAAS,CAAC,MAAM,IAAI,CAAC,CAAC;YACvD,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,OAAO,EAAE,CAAC,CAAC,CAAC;YAChE,OAAO,CAAC,GAAG,EAAE,CAAC;QAChB,CAAC;QAED,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7B,OAAO,CAAC,GAAG,CAAC,iBAAiB,IAAI,CAAC,QAAQ,CAAC,MAAM,IAAI,CAAC,CAAC;YACvD,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,OAAO,EAAE,CAAC,CAAC,CAAC;YAC/D,OAAO,CAAC,GAAG,EAAE,CAAC;QAChB,CAAC;QAED,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,OAAO,CAAC,GAAG,CAAC,aAAa,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC,CAAC;YACjD,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC;YACzD,OAAO,CAAC,GAAG,EAAE,CAAC;QAChB,CAAC;QAED,OAAO,CAAC,GAAG,CAAC,eAAe,IAAI,CAAC,SAAS,CAAC,MAAM,IAAI,KAAK,eAAe,CAAC,CAAC;QAE1E,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC7B,OAAO,CAAC,GAAG,CAAC,uDAAuD,CAAC,CAAC;QACvE,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,GAAG,CAAC,6DAA6D,CAAC,CAAC;YAC3E,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;CACF;AAED,yBAAyB;AACzB,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,UAAU,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IACpD,MAAM,OAAO,GAAG,IAAI,0BAA0B,EAAE,CAAC;IACjD,OAAO,CAAC,QAAQ,EAAE,CAAC;AACrB,CAAC;AAED,OAAO,EAAE,0BAA0B,EAAE,CAAC"}

package/dist/parser/convention-processor.d.ts

@@ -0,0 +1,66 @@
+/**
+ * SpecVerse Convention Processor
+ *
+ * Processes YAML + conventions into structured AST
+ * Handles v3.1 container format with namespaces and "name: Type modifiers" patterns
+ *
+ * Convention processors are discovered from entity modules via the entity registry.
+ * Each entity module provides its own processor; this class orchestrates them.
+ */
+import { SpecVerseAST } from './types/ast.js';
+import { ProcessorContext } from '@specverse/types';
+export declare class ConventionProcessor implements ProcessorContext {
+    warnings: string[];
+    private entityProcessors;
+    private behaviouralProcessor;
+    private componentEntityTypes;
+    constructor();
+    /**
+     * Get accumulated warnings
+     */
+    getWarnings(): string[];
+    /**
+     * Clear accumulated warnings
+     */
+    clearWarnings(): void;
+    /**
+     * Add a warning
+     */
+    addWarning(message: string): void;
+    /**
+     * Main processing entry point for v3.1 container format
+     */
+    process(yamlData: any): SpecVerseAST;
+    /**
+     * Process a single component
+     */
+    private processComponent;
+    /**
+     * Process a single manifest
+     */
+    private processManifest;
+    /**
+     * Process types section with convention expansion
+     * "ProductCode: String pattern='^[A-Z]{3}-\\d{4}$'" -> Full type model
+     */
+    private processPrimitives;
+    /**
+     * Parse type convention string
+     * "String pattern='^[A-Z]{3}-\\d{4}$' required description='Product code'"
+     */
+    private parsePrimitiveConvention;
+    /**
+     * Smart split that respects brackets and quotes
+     * "String values=['a', 'b', 'c'] required" -> ["String", "values=['a', 'b', 'c']", "required"]
+     */
+    private smartSplit;
+    /**
+     * Parse quoted value from modifier: pattern="value" -> "value"
+     */
+    private parseQuotedValue;
+    /**
+     * Parse array value from modifier: values=["a","b","c"] -> ["a","b","c"]
+     */
+    private parseArrayValue;
+}
+//# sourceMappingURL=convention-processor.d.ts.map

package/dist/parser/convention-processor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"convention-processor.d.ts","sourceRoot":"","sources":["../../src/parser/convention-processor.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAIL,YAAY,EAEb,MAAM,gBAAgB,CAAC;AAExB,OAAO,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AAQpD,qBAAa,mBAAoB,YAAW,gBAAgB;IACnD,QAAQ,EAAE,MAAM,EAAE,CAAM;IAE/B,OAAO,CAAC,gBAAgB,CAAyC;IACjE,OAAO,CAAC,oBAAoB,CAAiC;IAE7D,OAAO,CAAC,oBAAoB,CAAW;;IAwCvC;;OAEG;IACH,WAAW,IAAI,MAAM,EAAE;IAIvB;;OAEG;IACH,aAAa,IAAI,IAAI;IAIrB;;OAEG;IACH,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI;IAIjC;;OAEG;IACH,OAAO,CAAC,QAAQ,EAAE,GAAG,GAAG,YAAY;IAiCpC;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAyExB;;OAEG;IACH,OAAO,CAAC,eAAe;IASvB;;;OAGG;IACH,OAAO,CAAC,iBAAiB;IAyBzB;;;OAGG;IACH,OAAO,CAAC,wBAAwB;IAwDhC;;;OAGG;IACH,OAAO,CAAC,UAAU;IA+ClB;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAiBxB;;OAEG;IACH,OAAO,CAAC,eAAe;CAYxB"}