@nahisaho/musubix-synthesis 2.1.0 → 2.2.0

package/dist/analysis/ExampleAnalyzer.js

@@ -0,0 +1,358 @@
+/**
+ * ExampleAnalyzer
+ * @module @nahisaho/musubix-synthesis
+ * @description Input/output example quality analysis
+ * Traces to: TSK-SY-105, DES-SY-105, REQ-SY-105
+ */
+/**
+ * Default configuration
+ */
+const DEFAULT_CONFIG = {
+    minExamples: 3,
+    ambiguityThreshold: 0.5,
+};
+/**
+ * Edge case definitions
+ */
+const EDGE_CASES = {
+    string: ['empty', 'whitespace', 'special-chars', 'unicode', 'numeric-string'],
+    number: ['zero', 'negative', 'large', 'decimal', 'infinity'],
+    array: ['empty', 'single-element', 'large', 'nested', 'mixed-types'],
+};
+/**
+ * Default example analyzer implementation
+ */
+class DefaultExampleAnalyzer {
+    config;
+    constructor(config = DEFAULT_CONFIG) {
+        this.config = { ...DEFAULT_CONFIG, ...config };
+    }
+    analyzeQuality(examples) {
+        const issues = [];
+        const missingEdgeCases = [];
+        // Check minimum examples
+        if (examples.length < this.config.minExamples) {
+            issues.push('Insufficient examples');
+        }
+        // Check for duplicates
+        const uniqueInputs = new Set(examples.map(e => JSON.stringify(e.input)));
+        if (uniqueInputs.size < examples.length) {
+            issues.push('Contains redundant/duplicate examples');
+        }
+        // Calculate diversity
+        const diversity = this.calculateDiversity(examples);
+        // Calculate consistency
+        const consistency = this.calculateConsistency(examples);
+        // Find missing edge cases
+        const inputType = this.detectType(examples[0]?.input);
+        const coveredEdgeCases = this.detectCoveredEdgeCases(examples);
+        const allEdgeCases = EDGE_CASES[inputType] || [];
+        for (const edgeCase of allEdgeCases) {
+            if (!coveredEdgeCases.has(edgeCase)) {
+                missingEdgeCases.push(edgeCase);
+            }
+        }
+        // Calculate overall score
+        let score = 0.5;
+        // Adjust for number of examples
+        if (examples.length >= this.config.minExamples) {
+            score += 0.2;
+        }
+        else {
+            score -= 0.2;
+        }
+        // Adjust for diversity
+        score += diversity * 0.2;
+        // Adjust for consistency
+        score += consistency * 0.1;
+        // Penalize for issues
+        score -= issues.length * 0.1;
+        // Heavy penalty for duplicates (redundant examples)
+        const duplicateRatio = (examples.length - uniqueInputs.size) / examples.length;
+        if (duplicateRatio > 0.5) {
+            score -= 0.5; // Major penalty for mostly duplicates
+        }
+        else if (duplicateRatio > 0) {
+            score -= 0.2; // Minor penalty for some duplicates
+        }
+        // Clamp score
+        score = Math.max(0, Math.min(1, score));
+        return {
+            score,
+            diversity,
+            consistency,
+            issues,
+            missingEdgeCases,
+        };
+    }
+    suggestAdditionalExamples(examples, maxSuggestions = 5) {
+        const suggestions = [];
+        const inputType = this.detectType(examples[0]?.input);
+        // Check for empty/zero case
+        const hasEmptyCase = examples.some(e => {
+            if (typeof e.input === 'string')
+                return e.input === '';
+            if (Array.isArray(e.input))
+                return e.input.length === 0;
+            if (typeof e.input === 'number')
+                return e.input === 0;
+            return false;
+        });
+        if (!hasEmptyCase) {
+            if (inputType === 'string') {
+                suggestions.push({
+                    input: '',
+                    reason: 'Missing empty string edge case',
+                    priority: 'high',
+                });
+            }
+            else if (inputType === 'array') {
+                suggestions.push({
+                    input: [],
+                    reason: 'Missing empty array edge case',
+                    priority: 'high',
+                });
+            }
+        }
+        // Suggest numeric content for strings
+        if (inputType === 'string') {
+            const hasNumericInput = examples.some(e => typeof e.input === 'string' && /\d/.test(e.input));
+            if (!hasNumericInput) {
+                suggestions.push({
+                    input: 'test123',
+                    reason: 'Missing numeric content in string examples',
+                    priority: 'medium',
+                });
+            }
+        }
+        // Suggest negative numbers
+        if (inputType === 'array') {
+            const hasNegative = examples.some(e => Array.isArray(e.input) && e.input.some(n => n < 0));
+            if (!hasNegative) {
+                suggestions.push({
+                    input: [-1, -2, -3],
+                    reason: 'Missing negative number examples',
+                    priority: 'medium',
+                });
+            }
+        }
+        // Suggest special characters
+        if (inputType === 'string') {
+            const hasSpecialChars = examples.some(e => typeof e.input === 'string' && /[!@#$%^&*]/.test(e.input));
+            if (!hasSpecialChars) {
+                suggestions.push({
+                    input: 'test@example!',
+                    reason: 'Missing special character examples',
+                    priority: 'low',
+                });
+            }
+        }
+        // Suggest whitespace handling
+        if (inputType === 'string') {
+            const hasWhitespace = examples.some(e => typeof e.input === 'string' && /^\s|\s$/.test(e.input));
+            if (!hasWhitespace) {
+                suggestions.push({
+                    input: '  padded  ',
+                    reason: 'Missing whitespace handling examples',
+                    priority: 'low',
+                });
+            }
+        }
+        return suggestions.slice(0, maxSuggestions);
+    }
+    detectAmbiguity(examples) {
+        const ambiguities = [];
+        // Check for type ambiguity (string to number conversion)
+        const hasTypeConversion = examples.some(e => {
+            const inputType = typeof e.input;
+            const outputType = typeof e.output;
+            return inputType !== outputType;
+        });
+        if (hasTypeConversion && examples.length < 3) {
+            ambiguities.push({
+                type: 'type-ambiguity',
+                description: 'Type conversion detected with insufficient examples',
+                possibleInterpretations: [
+                    'Direct type conversion (e.g., parseInt)',
+                    'Custom parsing logic',
+                    'Format-specific conversion',
+                ],
+                suggestedDisambiguation: [
+                    { input: '0', output: 0 },
+                    { input: '-42', output: -42 },
+                    { input: '3.14', output: 3 },
+                ],
+            });
+        }
+        // Check for capitalization ambiguity
+        const stringExamples = examples.filter(e => typeof e.input === 'string' && typeof e.output === 'string');
+        if (stringExamples.length === 1) {
+            const [ex] = stringExamples;
+            const input = ex.input;
+            const output = ex.output;
+            // Check if it's ambiguous capitalization
+            if (output !== input.toUpperCase() &&
+                output !== input.toLowerCase() &&
+                output.charAt(0) === input.charAt(0).toUpperCase()) {
+                ambiguities.push({
+                    type: 'semantic-ambiguity',
+                    description: 'Capitalization pattern unclear',
+                    possibleInterpretations: [
+                        'Title case (capitalize first letter of each word)',
+                        'Sentence case (capitalize first letter only)',
+                        'Custom capitalization rules',
+                    ],
+                    suggestedDisambiguation: [
+                        { input: 'hello world', output: 'Hello World' },
+                        { input: 'test case', output: 'Test Case' },
+                        { input: 'ALL CAPS', output: 'All Caps' },
+                    ],
+                });
+            }
+        }
+        // No ambiguity for clear uppercase transformation
+        if (stringExamples.length >= 3) {
+            const allUppercase = stringExamples.every(e => e.output === e.input.toUpperCase());
+            if (allUppercase) {
+                // Clear transformation, no ambiguity
+                return [];
+            }
+        }
+        return ambiguities;
+    }
+    getExampleCoverage(examples) {
+        const inputTypes = new Set();
+        const edgeCases = [];
+        for (const example of examples) {
+            inputTypes.add(this.detectType(example.input));
+        }
+        // Check covered edge cases
+        const coveredEdgeCases = this.detectCoveredEdgeCases(examples);
+        edgeCases.push(...coveredEdgeCases);
+        // Calculate total coverage
+        const possibleEdgeCases = Array.from(inputTypes)
+            .flatMap(t => EDGE_CASES[t] || []);
+        const totalCoverage = possibleEdgeCases.length > 0
+            ? edgeCases.length / possibleEdgeCases.length
+            : examples.length >= 3 ? 0.5 : 0.2;
+        return {
+            inputTypes: Array.from(inputTypes),
+            edgeCases,
+            totalCoverage: Math.min(1, totalCoverage),
+        };
+    }
+    /**
+     * Detect type of value
+     */
+    detectType(value) {
+        if (value === null)
+            return 'null';
+        if (value === undefined)
+            return 'undefined';
+        if (Array.isArray(value))
+            return 'array';
+        return typeof value;
+    }
+    /**
+     * Calculate diversity score
+     */
+    calculateDiversity(examples) {
+        if (examples.length <= 1)
+            return 0;
+        // Check type diversity
+        const inputTypes = new Set(examples.map(e => this.detectType(e.input)));
+        const typeDiversity = inputTypes.size / Math.max(3, examples.length);
+        // Check value diversity for same types
+        const stringInputs = examples
+            .filter(e => typeof e.input === 'string')
+            .map(e => e.input.length);
+        let lengthDiversity = 0;
+        if (stringInputs.length > 1) {
+            const minLen = Math.min(...stringInputs);
+            const maxLen = Math.max(...stringInputs);
+            lengthDiversity = minLen === maxLen ? 0 : 0.5;
+        }
+        return Math.min(1, typeDiversity + lengthDiversity);
+    }
+    /**
+     * Calculate consistency score
+     */
+    calculateConsistency(examples) {
+        if (examples.length <= 1)
+            return 1;
+        // Check if transformation is consistent
+        const stringExamples = examples.filter(e => typeof e.input === 'string' && typeof e.output === 'string');
+        if (stringExamples.length >= 2) {
+            // Check if all follow same pattern (e.g., all uppercase)
+            const patterns = stringExamples.map(e => {
+                const input = e.input;
+                const output = e.output;
+                if (output === input.toUpperCase())
+                    return 'uppercase';
+                if (output === input.toLowerCase())
+                    return 'lowercase';
+                return 'other';
+            });
+            const uniquePatterns = new Set(patterns);
+            return uniquePatterns.size === 1 ? 1 : 0.5;
+        }
+        return 0.8; // Default for non-string types
+    }
+    /**
+     * Detect which edge cases are covered
+     */
+    detectCoveredEdgeCases(examples) {
+        const covered = new Set();
+        for (const example of examples) {
+            const input = example.input;
+            // String edge cases
+            if (typeof input === 'string') {
+                if (input === '')
+                    covered.add('empty');
+                if (/^\s*$/.test(input) && input !== '')
+                    covered.add('whitespace');
+                if (/[!@#$%^&*]/.test(input))
+                    covered.add('special-chars');
+                if (/[\u0080-\uffff]/.test(input))
+                    covered.add('unicode');
+                if (/\d/.test(input))
+                    covered.add('numeric-string');
+            }
+            // Number edge cases
+            if (typeof input === 'number') {
+                if (input === 0)
+                    covered.add('zero');
+                if (input < 0)
+                    covered.add('negative');
+                if (input > 1000000)
+                    covered.add('large');
+                if (!Number.isInteger(input))
+                    covered.add('decimal');
+                if (!Number.isFinite(input))
+                    covered.add('infinity');
+            }
+            // Array edge cases
+            if (Array.isArray(input)) {
+                if (input.length === 0)
+                    covered.add('empty');
+                if (input.length === 1)
+                    covered.add('single-element');
+                if (input.length > 100)
+                    covered.add('large');
+                if (input.some(Array.isArray))
+                    covered.add('nested');
+                const types = new Set(input.map(i => typeof i));
+                if (types.size > 1)
+                    covered.add('mixed-types');
+            }
+        }
+        return covered;
+    }
+}
+/**
+ * Create example analyzer
+ */
+export function createExampleAnalyzer(config) {
+    return new DefaultExampleAnalyzer(config);
+}
+//# sourceMappingURL=ExampleAnalyzer.js.map

package/dist/analysis/ExampleAnalyzer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ExampleAnalyzer.js","sourceRoot":"","sources":["../../src/analysis/ExampleAnalyzer.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAkFH;;GAEG;AACH,MAAM,cAAc,GAA0B;IAC5C,WAAW,EAAE,CAAC;IACd,kBAAkB,EAAE,GAAG;CACxB,CAAC;AAEF;;GAEG;AACH,MAAM,UAAU,GAAG;IACjB,MAAM,EAAE,CAAC,OAAO,EAAE,YAAY,EAAE,eAAe,EAAE,SAAS,EAAE,gBAAgB,CAAC;IAC7E,MAAM,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,CAAC;IAC5D,KAAK,EAAE,CAAC,OAAO,EAAE,gBAAgB,EAAE,OAAO,EAAE,QAAQ,EAAE,aAAa,CAAC;CACrE,CAAC;AAEF;;GAEG;AACH,MAAM,sBAAsB;IACT,MAAM,CAAwB;IAE/C,YAAY,SAAgC,cAAc;QACxD,IAAI,CAAC,MAAM,GAAG,EAAE,GAAG,cAAc,EAAE,GAAG,MAAM,EAAE,CAAC;IACjD,CAAC;IAED,cAAc,CAAC,QAAmB;QAChC,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,MAAM,gBAAgB,GAAa,EAAE,CAAC;QAEtC,yBAAyB;QACzB,IAAI,QAAQ,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC;YAC9C,MAAM,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;QACvC,CAAC;QAED,uBAAuB;QACvB,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACzE,IAAI,YAAY,CAAC,IAAI,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC;YACxC,MAAM,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAC;QACvD,CAAC;QAED,sBAAsB;QACtB,MAAM,SAAS,GAAG,IAAI,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC;QAEpD,wBAAwB;QACxB,MAAM,WAAW,GAAG,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QAExD,0BAA0B;QAC1B,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QACtD,MAAM,gBAAgB,GAAG,IAAI,CAAC,sBAAsB,CAAC,QAAQ,CAAC,CAAC;QAC/D,MAAM,YAAY,GAAG,UAAU,CAAC,SAAoC,CAAC,IAAI,EAAE,CAAC;QAE5E,KAAK,MAAM,QAAQ,IAAI,YAAY,EAAE,CAAC;YACpC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACpC,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAClC,CAAC;QACH,CAAC;QAED,0BAA0B;QAC1B,IAAI,KAAK,GAAG,GAAG,CAAC;QAEhB,gCAAgC;QAChC,IAAI,QAAQ,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC;YAC/C,KAAK,IAAI,GAAG,CAAC;QACf,CAAC;aAAM,CAAC;YACN,KAAK,IAAI,GAAG,CAAC;QACf,CAAC;QAED,uBAAuB;QACvB,KAAK,IAAI,SAAS,GAAG,GAAG,CAAC;QAEzB,yBAAyB;QACzB,KAAK,IAAI,WAAW,GAAG,GAAG,CAAC;QAE3B,sBAAsB;QACtB,KAAK,IAAI,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC;QAE7B,oDAAoD;QACpD,MAAM,cAAc,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC;QAC/E,IAAI,cAAc,GAAG,GAAG,EAAE,CAAC;YACzB,KAAK,IAAI,GAAG,CAAC,CAAC,sCAAsC;QACtD,CAAC;aAAM,IAAI,cAAc,GAAG,CAAC,EAAE,CAAC;YAC9B,KAAK,IAAI,GAAG,CAAC,CAAC,oCAAoC;QACpD,CAAC;QAED,cAAc;QACd,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;QAExC,OAAO;YACL,KAAK;YACL,SAAS;YACT,WAAW;YACX,MAAM;YACN,gBAAgB;SACjB,CAAC;IACJ,CAAC;IAED,yBAAyB,CAAC,QAAmB,EAAE,cAAc,GAAG,CAAC;QAC/D,MAAM,WAAW,GAAwB,EAAE,CAAC;QAC5C,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAEtD,4BAA4B;QAC5B,MAAM,YAAY,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE;YACrC,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ;gBAAE,OAAO,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;YACvD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC;gBAAE,OAAO,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC;YACxD,IAAI,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ;gBAAE,OAAO,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC;YACtD,OAAO,KAAK,CAAC;QACf,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,IAAI,SAAS,KAAK,QAAQ,EAAE,CAAC;gBAC3B,WAAW,CAAC,IAAI,CAAC;oBACf,KAAK,EAAE,EAAE;oBACT,MAAM,EAAE,gCAAgC;oBACxC,QAAQ,EAAE,MAAM;iBACjB,CAAC,CAAC;YACL,CAAC;iBAAM,IAAI,SAAS,KAAK,OAAO,EAAE,CAAC;gBACjC,WAAW,CAAC,IAAI,CAAC;oBACf,KAAK,EAAE,EAAE;oBACT,MAAM,EAAE,+BAA+B;oBACvC,QAAQ,EAAE,MAAM;iBACjB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,sCAAsC;QACtC,IAAI,SAAS,KAAK,QAAQ,EAAE,CAAC;YAC3B,MAAM,eAAe,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACxC,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAClD,CAAC;YACF,IAAI,CAAC,eAAe,EAAE,CAAC;gBACrB,WAAW,CAAC,IAAI,CAAC;oBACf,KAAK,EAAE,SAAS;oBAChB,MAAM,EAAE,4CAA4C;oBACpD,QAAQ,EAAE,QAAQ;iBACnB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,2BAA2B;QAC3B,IAAI,SAAS,KAAK,OAAO,EAAE,CAAC;YAC1B,MAAM,WAAW,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACpC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,IAAK,CAAC,CAAC,KAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CACjE,CAAC;YACF,IAAI,CAAC,WAAW,EAAE,CAAC;gBACjB,WAAW,CAAC,IAAI,CAAC;oBACf,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;oBACnB,MAAM,EAAE,kCAAkC;oBAC1C,QAAQ,EAAE,QAAQ;iBACnB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,6BAA6B;QAC7B,IAAI,SAAS,KAAK,QAAQ,EAAE,CAAC;YAC3B,MAAM,eAAe,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACxC,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAC1D,CAAC;YACF,IAAI,CAAC,eAAe,EAAE,CAAC;gBACrB,WAAW,CAAC,IAAI,CAAC;oBACf,KAAK,EAAE,eAAe;oBACtB,MAAM,EAAE,oCAAoC;oBAC5C,QAAQ,EAAE,KAAK;iBAChB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,8BAA8B;QAC9B,IAAI,SAAS,KAAK,QAAQ,EAAE,CAAC;YAC3B,MAAM,aAAa,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CACtC,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CACvD,CAAC;YACF,IAAI,CAAC,aAAa,EAAE,CAAC;gBACnB,WAAW,CAAC,IAAI,CAAC;oBACf,KAAK,EAAE,YAAY;oBACnB,MAAM,EAAE,sCAAsC;oBAC9C,QAAQ,EAAE,KAAK;iBAChB,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC;IAC9C,CAAC;IAED,eAAe,CAAC,QAAmB;QACjC,MAAM,WAAW,GAAgB,EAAE,CAAC;QAEpC,yDAAyD;QACzD,MAAM,iBAAiB,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE;YAC1C,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,KAAK,CAAC;YACjC,MAAM,UAAU,GAAG,OAAO,CAAC,CAAC,MAAM,CAAC;YACnC,OAAO,SAAS,KAAK,UAAU,CAAC;QAClC,CAAC,CAAC,CAAC;QAEH,IAAI,iBAAiB,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC7C,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,gBAAgB;gBACtB,WAAW,EAAE,qDAAqD;gBAClE,uBAAuB,EAAE;oBACvB,yCAAyC;oBACzC,sBAAsB;oBACtB,4BAA4B;iBAC7B;gBACD,uBAAuB,EAAE;oBACvB,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE;oBACzB,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE;oBAC7B,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE;iBAC7B;aACF,CAAC,CAAC;QACL,CAAC;QAED,qCAAqC;QACrC,MAAM,cAAc,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CACzC,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,CAC5D,CAAC;QAEF,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAChC,MAAM,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC;YAC5B,MAAM,KAAK,GAAG,EAAE,CAAC,KAAe,CAAC;YACjC,MAAM,MAAM,GAAG,EAAE,CAAC,MAAgB,CAAC;YAEnC,yCAAyC;YACzC,IAAI,MAAM,KAAK,KAAK,CAAC,WAAW,EAAE;gBAC9B,MAAM,KAAK,KAAK,CAAC,WAAW,EAAE;gBAC9B,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,EAAE,CAAC;gBACvD,WAAW,CAAC,IAAI,CAAC;oBACf,IAAI,EAAE,oBAAoB;oBAC1B,WAAW,EAAE,gCAAgC;oBAC7C,uBAAuB,EAAE;wBACvB,mDAAmD;wBACnD,8CAA8C;wBAC9C,6BAA6B;qBAC9B;oBACD,uBAAuB,EAAE;wBACvB,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,EAAE,aAAa,EAAE;wBAC/C,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,EAAE,WAAW,EAAE;wBAC3C,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,UAAU,EAAE;qBAC1C;iBACF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,kDAAkD;QAClD,IAAI,cAAc,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YAC/B,MAAM,YAAY,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAC3C,CAAC,CAAC,MAAiB,KAAM,CAAC,CAAC,KAAgB,CAAC,WAAW,EAAE,CAC3D,CAAC;YACF,IAAI,YAAY,EAAE,CAAC;gBACjB,qCAAqC;gBACrC,OAAO,EAAE,CAAC;YACZ,CAAC;QACH,CAAC;QAED,OAAO,WAAW,CAAC;IACrB,CAAC;IAED,kBAAkB,CAAC,QAAmB;QACpC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;QACrC,MAAM,SAAS,GAAa,EAAE,CAAC;QAE/B,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QACjD,CAAC;QAED,2BAA2B;QAC3B,MAAM,gBAAgB,GAAG,IAAI,CAAC,sBAAsB,CAAC,QAAQ,CAAC,CAAC;QAC/D,SAAS,CAAC,IAAI,CAAC,GAAG,gBAAgB,CAAC,CAAC;QAEpC,2BAA2B;QAC3B,MAAM,iBAAiB,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC;aAC7C,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,CAA4B,CAAC,IAAI,EAAE,CAAC,CAAC;QAEhE,MAAM,aAAa,GAAG,iBAAiB,CAAC,MAAM,GAAG,CAAC;YAChD,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,iBAAiB,CAAC,MAAM;YAC7C,CAAC,CAAC,QAAQ,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;QAErC,OAAO;YACL,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC;YAClC,SAAS;YACT,aAAa,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,aAAa,CAAC;SAC1C,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,UAAU,CAAC,KAAc;QAC/B,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,MAAM,CAAC;QAClC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,WAAW,CAAC;QAC5C,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,OAAO,OAAO,CAAC;QACzC,OAAO,OAAO,KAAK,CAAC;IACtB,CAAC;IAED;;OAEG;IACK,kBAAkB,CAAC,QAAmB;QAC5C,IAAI,QAAQ,CAAC,MAAM,IAAI,CAAC;YAAE,OAAO,CAAC,CAAC;QAEnC,uBAAuB;QACvB,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACxE,MAAM,aAAa,GAAG,UAAU,CAAC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;QAErE,uCAAuC;QACvC,MAAM,YAAY,GAAG,QAAQ;aAC1B,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,CAAC;aACxC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAE,CAAC,CAAC,KAAgB,CAAC,MAAM,CAAC,CAAC;QAExC,IAAI,eAAe,GAAG,CAAC,CAAC;QACxB,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,YAAY,CAAC,CAAC;YACzC,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,YAAY,CAAC,CAAC;YACzC,eAAe,GAAG,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QAChD,CAAC;QAED,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,aAAa,GAAG,eAAe,CAAC,CAAC;IACtD,CAAC;IAED;;OAEG;IACK,oBAAoB,CAAC,QAAmB;QAC9C,IAAI,QAAQ,CAAC,MAAM,IAAI,CAAC;YAAE,OAAO,CAAC,CAAC;QAEnC,wCAAwC;QACxC,MAAM,cAAc,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CACzC,OAAO,CAAC,CAAC,KAAK,KAAK,QAAQ,IAAI,OAAO,CAAC,CAAC,MAAM,KAAK,QAAQ,CAC5D,CAAC;QAEF,IAAI,cAAc,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YAC/B,yDAAyD;YACzD,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE;gBACtC,MAAM,KAAK,GAAG,CAAC,CAAC,KAAe,CAAC;gBAChC,MAAM,MAAM,GAAG,CAAC,CAAC,MAAgB,CAAC;gBAClC,IAAI,MAAM,KAAK,KAAK,CAAC,WAAW,EAAE;oBAAE,OAAO,WAAW,CAAC;gBACvD,IAAI,MAAM,KAAK,KAAK,CAAC,WAAW,EAAE;oBAAE,OAAO,WAAW,CAAC;gBACvD,OAAO,OAAO,CAAC;YACjB,CAAC,CAAC,CAAC;YAEH,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;YACzC,OAAO,cAAc,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QAC7C,CAAC;QAED,OAAO,GAAG,CAAC,CAAC,+BAA+B;IAC7C,CAAC;IAED;;OAEG;IACK,sBAAsB,CAAC,QAAmB;QAChD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAElC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;YAE5B,oBAAoB;YACpB,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC9B,IAAI,KAAK,KAAK,EAAE;oBAAE,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBACvC,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,EAAE;oBAAE,OAAO,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;gBACnE,IAAI,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC;gBAC3D,IAAI,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;gBAC1D,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;YACtD,CAAC;YAED,oBAAoB;YACpB,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC9B,IAAI,KAAK,KAAK,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACrC,IAAI,KAAK,GAAG,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;gBACvC,IAAI,KAAK,GAAG,OAAO;oBAAE,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBAC1C,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;gBACrD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YACvD,CAAC;YAED,mBAAmB;YACnB,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBAC7C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;gBACtD,IAAI,KAAK,CAAC,MAAM,GAAG,GAAG;oBAAE,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBAC7C,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;gBACrD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;gBAChD,IAAI,KAAK,CAAC,IAAI,GAAG,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;YACjD,CAAC;QACH,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;CACF;AAED;;GAEG;AACH,MAAM,UAAU,qBAAqB,CAAC,MAAuC;IAC3E,OAAO,IAAI,sBAAsB,CAAC,MAA+B,CAAC,CAAC;AACrE,CAAC"}

package/dist/analysis/index.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Analysis Module
+ * @module @nahisaho/musubix-synthesis
+ * @description Example analysis components
+ * Traces to: DES-SY-105
+ */
+export { createExampleAnalyzer, } from './ExampleAnalyzer.js';
+export type { ExampleAnalyzer, ExampleAnalyzerConfig, ExampleQuality, Ambiguity, ExampleSuggestion, ExampleCoverage, Example, } from './ExampleAnalyzer.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/analysis/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,qBAAqB,GACtB,MAAM,sBAAsB,CAAC;AAE9B,YAAY,EACV,eAAe,EACf,qBAAqB,EACrB,cAAc,EACd,SAAS,EACT,iBAAiB,EACjB,eAAe,EACf,OAAO,GACR,MAAM,sBAAsB,CAAC"}

package/dist/analysis/index.js

@@ -0,0 +1,8 @@
+/**
+ * Analysis Module
+ * @module @nahisaho/musubix-synthesis
+ * @description Example analysis components
+ * Traces to: DES-SY-105
+ */
+export { createExampleAnalyzer, } from './ExampleAnalyzer.js';
+//# sourceMappingURL=index.js.map

package/dist/analysis/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/analysis/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,qBAAqB,GACtB,MAAM,sBAAsB,CAAC"}

package/dist/dsl/DSLExtender.d.ts

@@ -0,0 +1,79 @@
+/**
+ * DSLExtender
+ * @module @nahisaho/musubix-synthesis
+ * @description DSL grammar extension capabilities
+ * Traces to: TSK-SY-104, DES-SY-104, REQ-SY-104
+ */
+/**
+ * DSL expressiveness gap
+ */
+export interface DSLGap {
+    type: 'missing-operator' | 'type-conversion' | 'composition';
+    severity: 'low' | 'medium' | 'high';
+    description: string;
+    suggestedFix?: string;
+}
+/**
+ * Operator suggestion
+ */
+export interface OperatorSuggestion {
+    name: string;
+    signature: string;
+    confidence: number;
+    description: string;
+}
+/**
+ * Operator validation result
+ */
+export interface OperatorValidationResult {
+    valid: boolean;
+    error?: string;
+}
+/**
+ * Example input/output pair
+ */
+export interface Example {
+    input: unknown;
+    output: unknown;
+}
+/**
+ * Configuration for DSL extender
+ */
+export interface DSLExtenderConfig {
+    maxSuggestions: number;
+    minConfidence: number;
+}
+/**
+ * DSL extender interface
+ */
+export interface DSLExtender {
+    /**
+     * Analyze gap between DSL capabilities and required transformation
+     */
+    analyzeGap(examples: Example[], dslOperators: string[]): DSLGap[];
+    /**
+     * Suggest operators to fill gaps
+     */
+    suggestOperators(examples: Example[]): OperatorSuggestion[];
+    /**
+     * Generate code for suggested operator
+     */
+    generateOperatorCode(suggestion: OperatorSuggestion): string;
+    /**
+     * Get list of known operators
+     */
+    getAvailableOperators(): string[];
+    /**
+     * Get operators grouped by category
+     */
+    getOperatorCategories(): Record<string, string[]>;
+    /**
+     * Validate an operator implementation
+     */
+    validateOperator(name: string, signature: string, implementation: (...args: unknown[]) => unknown): OperatorValidationResult;
+}
+/**
+ * Create DSL extender
+ */
+export declare function createDSLExtender(config?: Partial<DSLExtenderConfig>): DSLExtender;
+//# sourceMappingURL=DSLExtender.d.ts.map

package/dist/dsl/DSLExtender.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"DSLExtender.d.ts","sourceRoot":"","sources":["../../src/dsl/DSLExtender.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH;;GAEG;AACH,MAAM,WAAW,MAAM;IACrB,IAAI,EAAE,kBAAkB,GAAG,iBAAiB,GAAG,aAAa,CAAC;IAC7D,QAAQ,EAAE,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;IACpC,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED;;GAEG;AACH,MAAM,WAAW,wBAAwB;IACvC,KAAK,EAAE,OAAO,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,OAAO;IACtB,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,OAAO,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,cAAc,EAAE,MAAM,CAAC;IACvB,aAAa,EAAE,MAAM,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B;;OAEG;IACH,UAAU,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,YAAY,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;IAElE;;OAEG;IACH,gBAAgB,CAAC,QAAQ,EAAE,OAAO,EAAE,GAAG,kBAAkB,EAAE,CAAC;IAE5D;;OAEG;IACH,oBAAoB,CAAC,UAAU,EAAE,kBAAkB,GAAG,MAAM,CAAC;IAE7D;;OAEG;IACH,qBAAqB,IAAI,MAAM,EAAE,CAAC;IAElC;;OAEG;IACH,qBAAqB,IAAI,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAElD;;OAEG;IACH,gBAAgB,CACd,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,MAAM,EACjB,cAAc,EAAE,CAAC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,OAAO,GAC9C,wBAAwB,CAAC;CAC7B;AAsVD;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,iBAAiB,CAAC,GAAG,WAAW,CAElF"}