@nahisaho/musubix-synthesis 2.1.0 → 2.2.0

package/dist/dsl/DSLExtender.js

@@ -0,0 +1,312 @@
+/**
+ * DSLExtender
+ * @module @nahisaho/musubix-synthesis
+ * @description DSL grammar extension capabilities
+ * Traces to: TSK-SY-104, DES-SY-104, REQ-SY-104
+ */
+/**
+ * Default configuration
+ */
+const DEFAULT_CONFIG = {
+    maxSuggestions: 5,
+    minConfidence: 0.5,
+};
+/**
+ * Known operator database
+ */
+const KNOWN_OPERATORS = {
+    string: [
+        'uppercase',
+        'lowercase',
+        'concat',
+        'substring',
+        'trim',
+        'split',
+        'join',
+        'replace',
+        'charAt',
+        'length',
+    ],
+    array: [
+        'map',
+        'filter',
+        'reduce',
+        'sum',
+        'length',
+        'head',
+        'tail',
+        'reverse',
+        'sort',
+        'flatten',
+    ],
+    number: [
+        'add',
+        'subtract',
+        'multiply',
+        'divide',
+        'modulo',
+        'abs',
+        'floor',
+        'ceil',
+        'round',
+    ],
+    conversion: [
+        'toString',
+        'toNumber',
+        'toBoolean',
+        'parseFloat',
+        'parseInt',
+    ],
+};
+const TRANSFORMATION_PATTERNS = [
+    {
+        pattern: (i, o) => typeof i === 'string' && typeof o === 'string' &&
+            o === i.toUpperCase(),
+        operator: 'uppercase',
+        signature: 'string -> string',
+        confidence: 0.95,
+    },
+    {
+        pattern: (i, o) => typeof i === 'string' && typeof o === 'string' &&
+            o === i.toLowerCase(),
+        operator: 'lowercase',
+        signature: 'string -> string',
+        confidence: 0.95,
+    },
+    {
+        pattern: (i, o) => typeof i === 'string' && typeof o === 'string' &&
+            isTitleCase(i, o),
+        operator: 'titleCase',
+        signature: 'string -> string',
+        confidence: 0.85,
+    },
+    {
+        pattern: (i, o) => Array.isArray(i) && typeof o === 'number' &&
+            i.reduce((a, b) => a + b, 0) === o,
+        operator: 'sum',
+        signature: 'number[] -> number',
+        confidence: 0.9,
+    },
+    {
+        pattern: (i, o) => typeof i === 'string' && typeof o === 'number' &&
+            Number(i) === o,
+        operator: 'toNumber',
+        signature: 'string -> number',
+        confidence: 0.9,
+    },
+    {
+        pattern: (i, o) => typeof i === 'number' && typeof o === 'string' &&
+            String(i) === o,
+        operator: 'toString',
+        signature: 'number -> string',
+        confidence: 0.9,
+    },
+    {
+        pattern: (i, o) => Array.isArray(i) && Array.isArray(o) &&
+            i.length === o.length,
+        operator: 'map',
+        signature: '(a -> b) -> [a] -> [b]',
+        confidence: 0.7,
+    },
+];
+/**
+ * Check if output is title case of input
+ */
+function isTitleCase(input, output) {
+    const expected = input.split(' ')
+        .map(word => word.charAt(0).toUpperCase() + word.slice(1).toLowerCase())
+        .join(' ');
+    return output === expected;
+}
+/**
+ * Default DSL extender implementation
+ */
+class DefaultDSLExtender {
+    config;
+    constructor(config = DEFAULT_CONFIG) {
+        this.config = { ...DEFAULT_CONFIG, ...config };
+    }
+    analyzeGap(examples, dslOperators) {
+        const gaps = [];
+        const operatorSet = new Set(dslOperators.map(o => o.toLowerCase()));
+        for (const example of examples) {
+            // Analyze type transformations
+            const inputType = this.detectType(example.input);
+            const outputType = this.detectType(example.output);
+            if (inputType !== outputType) {
+                const conversionOp = this.findConversionOperator(inputType, outputType);
+                if (conversionOp && !operatorSet.has(conversionOp.toLowerCase())) {
+                    gaps.push({
+                        type: 'type-conversion',
+                        severity: 'high',
+                        description: `Missing ${inputType} to ${outputType} conversion operator (e.g., ${conversionOp})`,
+                        suggestedFix: `Add ${conversionOp} operator`,
+                    });
+                }
+            }
+            // Analyze required operators
+            const requiredOps = this.detectRequiredOperators(example);
+            for (const op of requiredOps) {
+                if (!operatorSet.has(op.toLowerCase())) {
+                    gaps.push({
+                        type: 'missing-operator',
+                        severity: 'medium',
+                        description: `Missing operator: ${op} (may need ${op} or reduce for this transformation)`,
+                        suggestedFix: `Add ${op} operator`,
+                    });
+                }
+            }
+        }
+        // Deduplicate gaps
+        const seen = new Set();
+        return gaps.filter(g => {
+            const key = `${g.type}:${g.description}`;
+            if (seen.has(key))
+                return false;
+            seen.add(key);
+            return true;
+        });
+    }
+    suggestOperators(examples) {
+        const suggestions = [];
+        for (const pattern of TRANSFORMATION_PATTERNS) {
+            let matchCount = 0;
+            for (const example of examples) {
+                if (pattern.pattern(example.input, example.output)) {
+                    matchCount++;
+                }
+            }
+            if (matchCount > 0) {
+                const confidence = (matchCount / examples.length) * pattern.confidence;
+                if (confidence >= this.config.minConfidence) {
+                    suggestions.push({
+                        name: pattern.operator,
+                        signature: pattern.signature,
+                        confidence,
+                        description: `Transform using ${pattern.operator}`,
+                    });
+                }
+            }
+        }
+        // Sort by confidence and limit
+        suggestions.sort((a, b) => b.confidence - a.confidence);
+        return suggestions.slice(0, this.config.maxSuggestions);
+    }
+    generateOperatorCode(suggestion) {
+        const [inputType, outputType] = suggestion.signature.split('->').map(s => s.trim());
+        // Generate type-safe function template
+        const templates = {
+            titleCase: `function titleCase(input: string): string {
+  return input.split(' ')
+    .map(word => word.charAt(0).toUpperCase() + word.slice(1).toLowerCase())
+    .join(' ');
+}`,
+            sum: `function sum(input: number[]): number {
+  return input.reduce((acc, val) => acc + val, 0);
+}`,
+            toNumber: `function toNumber(input: string): number {
+  return Number(input);
+}`,
+            toString: `function toString(input: number): string {
+  return String(input);
+}`,
+        };
+        if (templates[suggestion.name]) {
+            return templates[suggestion.name];
+        }
+        // Generate generic template
+        return `function ${suggestion.name}(input: ${inputType}): ${outputType} {
+  // TODO: Implement ${suggestion.description}
+  throw new Error('Not implemented');
+}`;
+    }
+    getAvailableOperators() {
+        return Object.values(KNOWN_OPERATORS).flat();
+    }
+    getOperatorCategories() {
+        return { ...KNOWN_OPERATORS };
+    }
+    validateOperator(_name, signature, implementation) {
+        try {
+            // Basic validation - try to call the function
+            const testInputs = this.generateTestInputs(signature);
+            for (const input of testInputs) {
+                implementation(input);
+            }
+            return { valid: true };
+        }
+        catch (error) {
+            return {
+                valid: false,
+                error: error instanceof Error ? error.message : 'Unknown error',
+            };
+        }
+    }
+    /**
+     * 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;
+    }
+    /**
+     * Find conversion operator for type transformation
+     */
+    findConversionOperator(fromType, toType) {
+        const conversionMap = {
+            'string->number': 'toNumber',
+            'number->string': 'toString',
+            'string->boolean': 'toBoolean',
+            'array->number': 'reduce',
+        };
+        return conversionMap[`${fromType}->${toType}`] || null;
+    }
+    /**
+     * Detect required operators for transformation
+     */
+    detectRequiredOperators(example) {
+        const ops = [];
+        // Check for array sum pattern
+        if (Array.isArray(example.input) && typeof example.output === 'number') {
+            const input = example.input;
+            if (input.every(x => typeof x === 'number')) {
+                const sum = input.reduce((a, b) => a + b, 0);
+                if (sum === example.output) {
+                    ops.push('sum', 'reduce');
+                }
+            }
+        }
+        // Check for title case pattern
+        if (typeof example.input === 'string' && typeof example.output === 'string') {
+            if (isTitleCase(example.input, example.output)) {
+                ops.push('capitalize', 'titleCase');
+            }
+        }
+        return ops;
+    }
+    /**
+     * Generate test inputs based on signature
+     */
+    generateTestInputs(signature) {
+        const inputType = signature.split('->')[0].trim();
+        const testInputs = {
+            'string': ['test', 'hello world'],
+            'number': [42, 0, -1],
+            'number[]': [[1, 2, 3], []],
+            'boolean': [true, false],
+        };
+        return testInputs[inputType] || ['test'];
+    }
+}
+/**
+ * Create DSL extender
+ */
+export function createDSLExtender(config) {
+    return new DefaultDSLExtender(config);
+}
+//# sourceMappingURL=DSLExtender.js.map

package/dist/dsl/DSLExtender.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"DSLExtender.js","sourceRoot":"","sources":["../../src/dsl/DSLExtender.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAqFH;;GAEG;AACH,MAAM,cAAc,GAAsB;IACxC,cAAc,EAAE,CAAC;IACjB,aAAa,EAAE,GAAG;CACnB,CAAC;AAEF;;GAEG;AACH,MAAM,eAAe,GAA6B;IAChD,MAAM,EAAE;QACN,WAAW;QACX,WAAW;QACX,QAAQ;QACR,WAAW;QACX,MAAM;QACN,OAAO;QACP,MAAM;QACN,SAAS;QACT,QAAQ;QACR,QAAQ;KACT;IACD,KAAK,EAAE;QACL,KAAK;QACL,QAAQ;QACR,QAAQ;QACR,KAAK;QACL,QAAQ;QACR,MAAM;QACN,MAAM;QACN,SAAS;QACT,MAAM;QACN,SAAS;KACV;IACD,MAAM,EAAE;QACN,KAAK;QACL,UAAU;QACV,UAAU;QACV,QAAQ;QACR,QAAQ;QACR,KAAK;QACL,OAAO;QACP,MAAM;QACN,OAAO;KACR;IACD,UAAU,EAAE;QACV,UAAU;QACV,UAAU;QACV,WAAW;QACX,YAAY;QACZ,UAAU;KACX;CACF,CAAC;AAYF,MAAM,uBAAuB,GAA4B;IACvD;QACE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ;YAC/D,CAAC,KAAM,CAAY,CAAC,WAAW,EAAE;QACnC,QAAQ,EAAE,WAAW;QACrB,SAAS,EAAE,kBAAkB;QAC7B,UAAU,EAAE,IAAI;KACjB;IACD;QACE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ;YAC/D,CAAC,KAAM,CAAY,CAAC,WAAW,EAAE;QACnC,QAAQ,EAAE,WAAW;QACrB,SAAS,EAAE,kBAAkB;QAC7B,UAAU,EAAE,IAAI;KACjB;IACD;QACE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ;YAC/D,WAAW,CAAC,CAAW,EAAE,CAAW,CAAC;QACvC,QAAQ,EAAE,WAAW;QACrB,SAAS,EAAE,kBAAkB;QAC7B,UAAU,EAAE,IAAI;KACjB;IACD;QACE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ;YACzD,CAAc,CAAC,MAAM,CAAC,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC;QAClE,QAAQ,EAAE,KAAK;QACf,SAAS,EAAE,oBAAoB;QAC/B,UAAU,EAAE,GAAG;KAChB;IACD;QACE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ;YAC/D,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;QACjB,QAAQ,EAAE,UAAU;QACpB,SAAS,EAAE,kBAAkB;QAC7B,UAAU,EAAE,GAAG;KAChB;IACD;QACE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ;YAC/D,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;QACjB,QAAQ,EAAE,UAAU;QACpB,SAAS,EAAE,kBAAkB;QAC7B,UAAU,EAAE,GAAG;KAChB;IACD;QACE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YACpD,CAAc,CAAC,MAAM,KAAM,CAAc,CAAC,MAAM;QACnD,QAAQ,EAAE,KAAK;QACf,SAAS,EAAE,wBAAwB;QACnC,UAAU,EAAE,GAAG;KAChB;CACF,CAAC;AAEF;;GAEG;AACH,SAAS,WAAW,CAAC,KAAa,EAAE,MAAc;IAChD,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC;SAC9B,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;SACvE,IAAI,CAAC,GAAG,CAAC,CAAC;IACb,OAAO,MAAM,KAAK,QAAQ,CAAC;AAC7B,CAAC;AAED;;GAEG;AACH,MAAM,kBAAkB;IACL,MAAM,CAAoB;IAE3C,YAAY,SAA4B,cAAc;QACpD,IAAI,CAAC,MAAM,GAAG,EAAE,GAAG,cAAc,EAAE,GAAG,MAAM,EAAE,CAAC;IACjD,CAAC;IAED,UAAU,CAAC,QAAmB,EAAE,YAAsB;QACpD,MAAM,IAAI,GAAa,EAAE,CAAC;QAC1B,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QAEpE,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,+BAA+B;YAC/B,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACjD,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAEnD,IAAI,SAAS,KAAK,UAAU,EAAE,CAAC;gBAC7B,MAAM,YAAY,GAAG,IAAI,CAAC,sBAAsB,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;gBACxE,IAAI,YAAY,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,YAAY,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC;oBACjE,IAAI,CAAC,IAAI,CAAC;wBACR,IAAI,EAAE,iBAAiB;wBACvB,QAAQ,EAAE,MAAM;wBAChB,WAAW,EAAE,WAAW,SAAS,OAAO,UAAU,+BAA+B,YAAY,GAAG;wBAChG,YAAY,EAAE,OAAO,YAAY,WAAW;qBAC7C,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;YAED,6BAA6B;YAC7B,MAAM,WAAW,GAAG,IAAI,CAAC,uBAAuB,CAAC,OAAO,CAAC,CAAC;YAC1D,KAAK,MAAM,EAAE,IAAI,WAAW,EAAE,CAAC;gBAC7B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC;oBACvC,IAAI,CAAC,IAAI,CAAC;wBACR,IAAI,EAAE,kBAAkB;wBACxB,QAAQ,EAAE,QAAQ;wBAClB,WAAW,EAAE,qBAAqB,EAAE,cAAc,EAAE,qCAAqC;wBACzF,YAAY,EAAE,OAAO,EAAE,WAAW;qBACnC,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,mBAAmB;QACnB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE;YACrB,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;YACzC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,OAAO,KAAK,CAAC;YAChC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,OAAO,IAAI,CAAC;QACd,CAAC,CAAC,CAAC;IACL,CAAC;IAED,gBAAgB,CAAC,QAAmB;QAClC,MAAM,WAAW,GAAyB,EAAE,CAAC;QAE7C,KAAK,MAAM,OAAO,IAAI,uBAAuB,EAAE,CAAC;YAC9C,IAAI,UAAU,GAAG,CAAC,CAAC;YACnB,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;gBAC/B,IAAI,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;oBACnD,UAAU,EAAE,CAAC;gBACf,CAAC;YACH,CAAC;YAED,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;gBACnB,MAAM,UAAU,GAAG,CAAC,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC;gBACvE,IAAI,UAAU,IAAI,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC;oBAC5C,WAAW,CAAC,IAAI,CAAC;wBACf,IAAI,EAAE,OAAO,CAAC,QAAQ;wBACtB,SAAS,EAAE,OAAO,CAAC,SAAS;wBAC5B,UAAU;wBACV,WAAW,EAAE,mBAAmB,OAAO,CAAC,QAAQ,EAAE;qBACnD,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,+BAA+B;QAC/B,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC;QACxD,OAAO,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;IAC1D,CAAC;IAED,oBAAoB,CAAC,UAA8B;QACjD,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,UAAU,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;QAEpF,uCAAuC;QACvC,MAAM,SAAS,GAA2B;YACxC,SAAS,EAAE;;;;EAIf;YACI,GAAG,EAAE;;EAET;YACI,QAAQ,EAAE;;EAEd;YACI,QAAQ,EAAE;;EAEd;SACG,CAAC;QAEF,IAAI,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,OAAO,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QACpC,CAAC;QAED,4BAA4B;QAC5B,OAAO,YAAY,UAAU,CAAC,IAAI,WAAW,SAAS,MAAM,UAAU;uBACnD,UAAU,CAAC,WAAW;;EAE3C,CAAC;IACD,CAAC;IAED,qBAAqB;QACnB,OAAO,MAAM,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC,IAAI,EAAE,CAAC;IAC/C,CAAC;IAED,qBAAqB;QACnB,OAAO,EAAE,GAAG,eAAe,EAAE,CAAC;IAChC,CAAC;IAED,gBAAgB,CACd,KAAa,EACb,SAAiB,EACjB,cAA+C;QAE/C,IAAI,CAAC;YACH,8CAA8C;YAC9C,MAAM,UAAU,GAAG,IAAI,CAAC,kBAAkB,CAAC,SAAS,CAAC,CAAC;YACtD,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;gBAC/B,cAAc,CAAC,KAAK,CAAC,CAAC;YACxB,CAAC;YACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QACzB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO;gBACL,KAAK,EAAE,KAAK;gBACZ,KAAK,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe;aAChE,CAAC;QACJ,CAAC;IACH,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,sBAAsB,CAAC,QAAgB,EAAE,MAAc;QAC7D,MAAM,aAAa,GAA2B;YAC5C,gBAAgB,EAAE,UAAU;YAC5B,gBAAgB,EAAE,UAAU;YAC5B,iBAAiB,EAAE,WAAW;YAC9B,eAAe,EAAE,QAAQ;SAC1B,CAAC;QAEF,OAAO,aAAa,CAAC,GAAG,QAAQ,KAAK,MAAM,EAAE,CAAC,IAAI,IAAI,CAAC;IACzD,CAAC;IAED;;OAEG;IACK,uBAAuB,CAAC,OAAgB;QAC9C,MAAM,GAAG,GAAa,EAAE,CAAC;QAEzB,8BAA8B;QAC9B,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,OAAO,OAAO,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACvE,MAAM,KAAK,GAAG,OAAO,CAAC,KAAiB,CAAC;YACxC,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,EAAE,CAAC;gBAC5C,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;gBAC7C,IAAI,GAAG,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;oBAC3B,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;gBAC5B,CAAC;YACH,CAAC;QACH,CAAC;QAED,+BAA+B;QAC/B,IAAI,OAAO,OAAO,CAAC,KAAK,KAAK,QAAQ,IAAI,OAAO,OAAO,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YAC5E,IAAI,WAAW,CAAC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC/C,GAAG,CAAC,IAAI,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;QAED,OAAO,GAAG,CAAC;IACb,CAAC;IAED;;OAEG;IACK,kBAAkB,CAAC,SAAiB;QAC1C,MAAM,SAAS,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAElD,MAAM,UAAU,GAA8B;YAC5C,QAAQ,EAAE,CAAC,MAAM,EAAE,aAAa,CAAC;YACjC,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YACrB,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;YAC3B,SAAS,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC;SACzB,CAAC;QAEF,OAAO,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC3C,CAAC;CACF;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAAC,MAAmC;IACnE,OAAO,IAAI,kBAAkB,CAAC,MAA2B,CAAC,CAAC;AAC7D,CAAC"}

package/dist/dsl/index.d.ts

@@ -5,4 +5,6 @@
 export { DSL } from './DSL.js';
 export { DSLBuilder } from './DSLBuilder.js';
 export { TypeSystem } from './TypeSystem.js';
+export { createDSLExtender } from './DSLExtender.js';
+export type { DSLExtender, DSLExtenderConfig, DSLGap, OperatorSuggestion, OperatorValidationResult, Example, } from './DSLExtender.js';
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/dsl/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC;AAC/B,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/dsl/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC;AAC/B,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAG7C,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,YAAY,EACV,WAAW,EACX,iBAAiB,EACjB,MAAM,EACN,kBAAkB,EAClB,wBAAwB,EACxB,OAAO,GACR,MAAM,kBAAkB,CAAC"}

package/dist/dsl/index.js

@@ -5,4 +5,6 @@
 export { DSL } from './DSL.js';
 export { DSLBuilder } from './DSLBuilder.js';
 export { TypeSystem } from './TypeSystem.js';
+// DSL Extension (v2.2.0 NEW!)
+export { createDSLExtender } from './DSLExtender.js';
 //# sourceMappingURL=index.js.map

package/dist/dsl/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/dsl/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC;AAC/B,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/dsl/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,GAAG,EAAE,MAAM,UAAU,CAAC;AAC/B,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAE7C,8BAA8B;AAC9B,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/explain/ExplanationGenerator.d.ts

@@ -0,0 +1,91 @@
+/**
+ * ExplanationGenerator - Program Synthesis Explanation
+ *
+ * 合成されたプログラムの自然言語説明を生成する。
+ *
+ * @see TSK-SY-106 - ExplanationGenerator実装
+ * @see REQ-SY-106 - 説明生成要件
+ * @module @nahisaho/musubix-synthesis
+ */
+/**
+ * 入出力例
+ */
+export interface Example {
+    input: unknown;
+    output: unknown;
+}
+/**
+ * 合成されたプログラム
+ */
+export interface SynthesizedProgram {
+    /** プログラムID */
+    id: string;
+    /** 合成されたコード */
+    code: string;
+    /** 対象ドメイン */
+    domain: string;
+    /** 入出力例 */
+    examples: Example[];
+    /** 合成信頼度 */
+    confidence: number;
+}
+/**
+ * 説明
+ */
+export interface Explanation {
+    /** 説明文 */
+    description: string;
+    /** 対象ドメイン */
+    domain: string;
+    /** ステップ */
+    steps: string[];
+    /** 例のウォークスルー */
+    exampleWalkthrough: ExampleWalkthrough[];
+    /** 信頼度 */
+    confidence: number;
+}
+/**
+ * 例のウォークスルー
+ */
+export interface ExampleWalkthrough {
+    input: string;
+    output: string;
+    trace: string;
+}
+/**
+ * 詳細説明
+ */
+export interface DetailedExplanation extends Explanation {
+    /** 根拠 */
+    rationale: string;
+    /** 制限事項 */
+    limitations: string[];
+    /** 入出力関係 */
+    relationship: string;
+}
+/**
+ * 説明生成器インターフェース
+ */
+export interface ExplanationGenerator {
+    /**
+     * プログラムの説明を生成
+     */
+    generate(program: SynthesizedProgram): Explanation;
+    /**
+     * 説明の信頼度を取得
+     */
+    getConfidence(program: SynthesizedProgram): number;
+    /**
+     * 詳細説明を生成
+     */
+    explain(program: SynthesizedProgram): DetailedExplanation;
+    /**
+     * 一行サマリーを生成
+     */
+    summarize(program: SynthesizedProgram): string;
+}
+/**
+ * ExplanationGenerator を作成
+ */
+export declare function createExplanationGenerator(): ExplanationGenerator;
+//# sourceMappingURL=ExplanationGenerator.d.ts.map

package/dist/explain/ExplanationGenerator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ExplanationGenerator.d.ts","sourceRoot":"","sources":["../../src/explain/ExplanationGenerator.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH;;GAEG;AACH,MAAM,WAAW,OAAO;IACtB,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,OAAO,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,cAAc;IACd,EAAE,EAAE,MAAM,CAAC;IACX,eAAe;IACf,IAAI,EAAE,MAAM,CAAC;IACb,aAAa;IACb,MAAM,EAAE,MAAM,CAAC;IACf,WAAW;IACX,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,YAAY;IACZ,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,UAAU;IACV,WAAW,EAAE,MAAM,CAAC;IACpB,aAAa;IACb,MAAM,EAAE,MAAM,CAAC;IACf,WAAW;IACX,KAAK,EAAE,MAAM,EAAE,CAAC;IAChB,gBAAgB;IAChB,kBAAkB,EAAE,kBAAkB,EAAE,CAAC;IACzC,UAAU;IACV,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,mBAAoB,SAAQ,WAAW;IACtD,SAAS;IACT,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW;IACX,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,YAAY;IACZ,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC;;OAEG;IACH,QAAQ,CAAC,OAAO,EAAE,kBAAkB,GAAG,WAAW,CAAC;IAEnD;;OAEG;IACH,aAAa,CAAC,OAAO,EAAE,kBAAkB,GAAG,MAAM,CAAC;IAEnD;;OAEG;IACH,OAAO,CAAC,OAAO,EAAE,kBAAkB,GAAG,mBAAmB,CAAC;IAE1D;;OAEG;IACH,SAAS,CAAC,OAAO,EAAE,kBAAkB,GAAG,MAAM,CAAC;CAChD;AA2QD;;GAEG;AACH,wBAAgB,0BAA0B,IAAI,oBAAoB,CAEjE"}

package/dist/explain/ExplanationGenerator.js

@@ -0,0 +1,236 @@
+/**
+ * ExplanationGenerator - Program Synthesis Explanation
+ *
+ * 合成されたプログラムの自然言語説明を生成する。
+ *
+ * @see TSK-SY-106 - ExplanationGenerator実装
+ * @see REQ-SY-106 - 説明生成要件
+ * @module @nahisaho/musubix-synthesis
+ */
+/**
+ * 操作パターンの定義
+ */
+const operationPatterns = {
+    toUpperCase: { pattern: /\.toUpperCase\(\)/, description: 'converts text to uppercase' },
+    toLowerCase: { pattern: /\.toLowerCase\(\)/, description: 'converts text to lowercase' },
+    trim: { pattern: /\.trim\(\)/, description: 'removes leading and trailing whitespace' },
+    split: { pattern: /\.split\([^)]+\)/, description: 'splits text into parts' },
+    join: { pattern: /\.join\([^)]+\)/, description: 'joins parts into text' },
+    map: { pattern: /\.map\([^)]+\)/, description: 'transforms each element' },
+    filter: { pattern: /\.filter\([^)]+\)/, description: 'filters elements based on condition' },
+    reduce: { pattern: /\.reduce\([^)]+\)/, description: 'combines elements into a single value' },
+    reverse: { pattern: /\.reverse\(\)/, description: 'reverses the order of elements' },
+    length: { pattern: /\.length/, description: 'gets the length' },
+    charAt: { pattern: /\.charAt\(\d+\)/, description: 'extracts a character at position' },
+    repeat: { pattern: /\.repeat\(\d+\)/, description: 'repeats the input' },
+    flat: { pattern: /\.flat\(\)/, description: 'flattens nested arrays' },
+    multiply: { pattern: /\*\s*\d+/, description: 'multiplies by a number' },
+    add: { pattern: /\+\s*\d+/, description: 'adds a number' },
+    subtract: { pattern: /-\s*\d+/, description: 'subtracts a number' },
+};
+/**
+ * デフォルト説明生成器
+ */
+class DefaultExplanationGenerator {
+    /**
+     * プログラムの説明を生成
+     */
+    generate(program) {
+        const steps = this.extractSteps(program.code);
+        const description = this.generateDescription(program, steps);
+        const exampleWalkthrough = this.generateWalkthrough(program);
+        const confidence = this.calculateExplanationConfidence(program, steps);
+        return {
+            description,
+            domain: program.domain,
+            steps,
+            exampleWalkthrough,
+            confidence,
+        };
+    }
+    /**
+     * 説明の信頼度を取得
+     */
+    getConfidence(program) {
+        // 基礎信頼度
+        let confidence = program.confidence;
+        // コードの複雑さによる調整
+        const complexity = this.measureComplexity(program.code);
+        if (complexity > 3) {
+            confidence *= 0.8;
+        }
+        // 例の数による調整
+        const exampleBonus = Math.min(program.examples.length * 0.05, 0.2);
+        confidence = Math.min(confidence + exampleBonus, 1.0);
+        return Math.round(confidence * 100) / 100;
+    }
+    /**
+     * 詳細説明を生成
+     */
+    explain(program) {
+        const baseExplanation = this.generate(program);
+        const relationship = this.identifyRelationship(program);
+        const rationale = this.generateRationale(program);
+        const limitations = this.identifyLimitations(program);
+        return {
+            ...baseExplanation,
+            rationale,
+            limitations,
+            relationship,
+        };
+    }
+    /**
+     * 一行サマリーを生成
+     */
+    summarize(program) {
+        const steps = this.extractSteps(program.code);
+        if (steps.length === 0) {
+            return `Transforms ${program.domain} input to output`;
+        }
+        if (steps.length === 1) {
+            return this.toHumanReadable(steps[0]);
+        }
+        // 複数ステップの場合は主要な操作を抽出
+        const mainOps = steps.slice(0, 2);
+        const summary = mainOps.map(s => this.toHumanReadable(s)).join(', then ');
+        if (summary.length > 90) {
+            return summary.substring(0, 87) + '...';
+        }
+        return summary;
+    }
+    /**
+     * コードからステップを抽出
+     */
+    extractSteps(code) {
+        const steps = [];
+        for (const [name, { pattern }] of Object.entries(operationPatterns)) {
+            if (pattern.test(code)) {
+                steps.push(name);
+            }
+        }
+        // チェーンの順序を維持するために正規化
+        return steps;
+    }
+    /**
+     * 説明文を生成
+     */
+    generateDescription(program, steps) {
+        if (steps.length === 0) {
+            return `This program transforms a ${program.domain} input according to the specified pattern.`;
+        }
+        const operations = steps.map(s => operationPatterns[s]?.description || s).join(', then ');
+        return `This program ${operations}.`;
+    }
+    /**
+     * 例のウォークスルーを生成
+     */
+    generateWalkthrough(program) {
+        return program.examples.map((ex) => ({
+            input: JSON.stringify(ex.input),
+            output: JSON.stringify(ex.output),
+            trace: `Input ${JSON.stringify(ex.input)} → Apply transformation → Output ${JSON.stringify(ex.output)}`,
+        }));
+    }
+    /**
+     * 説明の信頼度を計算
+     */
+    calculateExplanationConfidence(program, steps) {
+        let confidence = 0.5;
+        // 認識されたステップが多いほど信頼度UP
+        confidence += Math.min(steps.length * 0.1, 0.3);
+        // 例が多いほど信頼度UP
+        confidence += Math.min(program.examples.length * 0.05, 0.15);
+        // プログラム自体の信頼度を反映
+        confidence = confidence * 0.5 + program.confidence * 0.5;
+        return Math.round(confidence * 100) / 100;
+    }
+    /**
+     * コードの複雑さを計測
+     */
+    measureComplexity(code) {
+        let complexity = 1;
+        // メソッドチェーンの数
+        const chainCount = (code.match(/\./g) || []).length;
+        complexity += chainCount * 0.5;
+        // コールバック関数の数
+        const callbackCount = (code.match(/=>/g) || []).length;
+        complexity += callbackCount * 0.8;
+        // ネストの深さ（括弧の数）
+        const parenDepth = Math.max((code.match(/\(/g) || []).length - 1, 0);
+        complexity += parenDepth * 0.3;
+        return complexity;
+    }
+    /**
+     * 入出力関係を識別
+     */
+    identifyRelationship(program) {
+        if (program.examples.length === 0) {
+            return 'Unable to determine relationship without examples';
+        }
+        const { examples } = program;
+        const inputType = typeof examples[0].input;
+        const outputType = typeof examples[0].output;
+        if (inputType === outputType) {
+            return `Transforms ${inputType} to ${outputType} while preserving type`;
+        }
+        return `Converts ${inputType} to ${outputType}`;
+    }
+    /**
+     * 根拠を生成
+     */
+    generateRationale(program) {
+        const steps = this.extractSteps(program.code);
+        if (steps.length === 0) {
+            return 'The transformation pattern was inferred from the provided examples.';
+        }
+        return `The program uses ${steps.join(', ')} operations to achieve the transformation shown in the examples.`;
+    }
+    /**
+     * 制限事項を識別
+     */
+    identifyLimitations(program) {
+        const limitations = [];
+        if (program.examples.length < 3) {
+            limitations.push('Limited examples may not cover all edge cases');
+        }
+        if (program.confidence < 0.7) {
+            limitations.push('Low confidence suggests uncertain generalization');
+        }
+        const complexity = this.measureComplexity(program.code);
+        if (complexity > 4) {
+            limitations.push('Complex transformation may have unexpected behavior');
+        }
+        return limitations;
+    }
+    /**
+     * 操作名を人間可読な形式に変換
+     */
+    toHumanReadable(step) {
+        const descriptions = {
+            toUpperCase: 'Converts to uppercase',
+            toLowerCase: 'Converts to lowercase',
+            trim: 'Removes whitespace',
+            split: 'Splits into parts',
+            join: 'Joins parts together',
+            map: 'Transforms each element',
+            filter: 'Filters elements',
+            reduce: 'Combines elements',
+            reverse: 'Reverses order',
+            length: 'Gets the length',
+            charAt: 'Extracts a character',
+            repeat: 'Repeats the input',
+            flat: 'Flattens the array',
+            multiply: 'Multiplies the value',
+            add: 'Adds to the value',
+            subtract: 'Subtracts from the value',
+        };
+        return descriptions[step] || `Applies ${step} operation`;
+    }
+}
+/**
+ * ExplanationGenerator を作成
+ */
+export function createExplanationGenerator() {
+    return new DefaultExplanationGenerator();
+}
+//# sourceMappingURL=ExplanationGenerator.js.map