@nahisaho/musubix-synthesis 2.0.0

package/dist/dsl/TypeSystem.js

@@ -0,0 +1,253 @@
+/**
+ * Type System
+ * @module @nahisaho/musubix-synthesis
+ * @description Type checking and inference for DSL
+ */
+/**
+ * Type system implementation
+ */
+export class TypeSystem {
+    operators;
+    constants;
+    constructor(configOrDsl) {
+        if ('getOperator' in configOrDsl) {
+            // It's an IDSL
+            this.operators = configOrDsl.operators;
+            this.constants = configOrDsl.constants;
+        }
+        else {
+            // It's a DSLConfig
+            this.operators = new Map(configOrDsl.operators.map((op) => [op.name, op]));
+            this.constants = new Map(configOrDsl.constants.map((c) => [c.name, c]));
+        }
+    }
+    /**
+     * Type check a program (returns boolean for simple check)
+     */
+    check(program, env) {
+        const result = this.checkWithDetails(program, env);
+        return result.valid;
+    }
+    /**
+     * Type check a program with full results
+     */
+    checkWithDetails(program, env) {
+        const errors = [];
+        const context = this.normalizeContext(env);
+        const inferredType = this.inferExpression(program.expression, context, errors);
+        return {
+            valid: errors.length === 0,
+            inferredType: inferredType ?? undefined,
+            errors,
+        };
+    }
+    /**
+     * Infer the type of an expression
+     */
+    infer(expression, env) {
+        const errors = [];
+        const context = this.normalizeContext(env);
+        return this.inferExpression(expression, context, errors);
+    }
+    /**
+     * Normalize context from Record or TypeContext
+     */
+    normalizeContext(env) {
+        if (!env) {
+            return { variables: new Map() };
+        }
+        if ('variables' in env && env.variables instanceof Map) {
+            return env;
+        }
+        // It's a Record<string, TypeSignature>
+        const variables = new Map();
+        for (const [key, value] of Object.entries(env)) {
+            variables.set(key, value);
+        }
+        return { variables };
+    }
+    /**
+     * Unify two types
+     */
+    unify(a, b) {
+        // Same type
+        if (this.typeEquals(a, b))
+            return a;
+        // Any unifies with anything
+        if (a === 'any')
+            return b;
+        if (b === 'any')
+            return a;
+        // Numeric subtyping
+        if ((a === 'int' && b === 'float') || (a === 'float' && b === 'int')) {
+            return 'float';
+        }
+        // Function types
+        if (typeof a === 'object' && typeof b === 'object') {
+            if (a.kind === 'function' && b.kind === 'function') {
+                if (a.inputs.length !== b.inputs.length)
+                    return null;
+                const unifiedInputs = [];
+                for (let i = 0; i < a.inputs.length; i++) {
+                    const unified = this.unify(a.inputs[i], b.inputs[i]);
+                    if (!unified)
+                        return null;
+                    unifiedInputs.push(unified);
+                }
+                const unifiedOutput = this.unify(a.output, b.output);
+                if (!unifiedOutput)
+                    return null;
+                return { kind: 'function', inputs: unifiedInputs, output: unifiedOutput };
+            }
+            // Generic types
+            if (a.kind === 'generic' || b.kind === 'generic') {
+                return a.kind === 'generic' ? b : a;
+            }
+        }
+        return null;
+    }
+    /**
+     * Check if sub is a subtype of sup
+     */
+    isSubtype(sub, sup) {
+        // Any is a supertype of everything
+        if (sup === 'any')
+            return true;
+        // Exact match
+        if (this.typeEquals(sub, sup))
+            return true;
+        // Handle function types
+        if (typeof sub === 'object' && typeof sup === 'object') {
+            if (sub.kind === 'function' && sup.kind === 'function') {
+                // Contravariant in inputs, covariant in output
+                if (sub.inputs.length !== sup.inputs.length)
+                    return false;
+                // Check inputs (contravariant)
+                for (let i = 0; i < sub.inputs.length; i++) {
+                    if (!this.isSubtype(sup.inputs[i], sub.inputs[i]))
+                        return false;
+                }
+                // Check output (covariant)
+                return this.isSubtype(sub.output, sup.output);
+            }
+        }
+        // Numeric subtyping: int <: float
+        if (sub === 'int' && sup === 'float')
+            return true;
+        return false;
+    }
+    /**
+     * Check if two types are equal
+     */
+    typeEquals(a, b) {
+        if (typeof a === 'string' && typeof b === 'string') {
+            return a === b;
+        }
+        if (typeof a === 'object' && typeof b === 'object') {
+            if (a.kind !== b.kind)
+                return false;
+            if (a.kind === 'function' && b.kind === 'function') {
+                if (a.inputs.length !== b.inputs.length)
+                    return false;
+                for (let i = 0; i < a.inputs.length; i++) {
+                    if (!this.typeEquals(a.inputs[i], b.inputs[i]))
+                        return false;
+                }
+                return this.typeEquals(a.output, b.output);
+            }
+            if (a.kind === 'generic' && b.kind === 'generic') {
+                return a.name === b.name;
+            }
+        }
+        return false;
+    }
+    /**
+     * Infer expression type with error collection
+     */
+    inferExpression(expr, context, errors) {
+        switch (expr.kind) {
+            case 'constant': {
+                const constant = this.constants.get(expr.name);
+                if (!constant) {
+                    errors.push({ message: `Unknown constant: ${expr.name}` });
+                    return null;
+                }
+                return constant.type;
+            }
+            case 'variable': {
+                if (expr.name === 'input') {
+                    return 'any'; // Input type is typically any or inferred from context
+                }
+                const type = context.variables.get(expr.name);
+                if (!type) {
+                    errors.push({ message: `Unknown variable: ${expr.name}` });
+                    return null;
+                }
+                return type;
+            }
+            case 'application': {
+                const operator = this.operators.get(expr.operator);
+                if (!operator) {
+                    errors.push({ message: `Unknown operator: ${expr.operator}` });
+                    return null;
+                }
+                // Check argument count
+                if (expr.args.length !== operator.inputTypes.length) {
+                    errors.push({
+                        message: `Operator ${expr.operator} expects ${operator.inputTypes.length} arguments, got ${expr.args.length}`,
+                    });
+                    return null;
+                }
+                // Check argument types
+                for (let i = 0; i < expr.args.length; i++) {
+                    const argType = this.inferExpression(expr.args[i], context, errors);
+                    if (argType) {
+                        const expectedType = operator.inputTypes[i];
+                        if (!this.isSubtype(argType, expectedType)) {
+                            errors.push({
+                                message: `Argument ${i} type mismatch`,
+                                expected: this.typeToString(expectedType),
+                                actual: this.typeToString(argType),
+                            });
+                        }
+                    }
+                }
+                return operator.outputType;
+            }
+            case 'lambda': {
+                // Add parameter to context
+                const newContext = {
+                    variables: new Map(context.variables),
+                };
+                newContext.variables.set(expr.parameter, expr.parameterType);
+                // Infer body type
+                const bodyType = this.inferExpression(expr.body, newContext, errors);
+                if (!bodyType)
+                    return null;
+                return {
+                    kind: 'function',
+                    inputs: [expr.parameterType],
+                    output: bodyType,
+                };
+            }
+            default:
+                errors.push({ message: `Unknown expression kind` });
+                return null;
+        }
+    }
+    /**
+     * Convert type to string
+     */
+    typeToString(type) {
+        if (typeof type === 'string')
+            return type;
+        if (type.kind === 'function') {
+            const inputs = type.inputs.map((t) => this.typeToString(t)).join(', ');
+            return `(${inputs}) -> ${this.typeToString(type.output)}`;
+        }
+        if (type.kind === 'generic')
+            return type.name;
+        return JSON.stringify(type);
+    }
+}
+//# sourceMappingURL=TypeSystem.js.map

package/dist/dsl/TypeSystem.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"TypeSystem.js","sourceRoot":"","sources":["../../src/dsl/TypeSystem.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAgBH;;GAEG;AACH,MAAM,OAAO,UAAU;IACJ,SAAS,CAAwB;IACjC,SAAS,CAAwB;IAElD,YAAY,WAA6B;QACvC,IAAI,aAAa,IAAI,WAAW,EAAE,CAAC;YACjC,eAAe;YACf,IAAI,CAAC,SAAS,GAAG,WAAW,CAAC,SAAS,CAAC;YACvC,IAAI,CAAC,SAAS,GAAG,WAAW,CAAC,SAAS,CAAC;QACzC,CAAC;aAAM,CAAC;YACN,mBAAmB;YACnB,IAAI,CAAC,SAAS,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;YAC3E,IAAI,CAAC,SAAS,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,OAAgB,EAAE,GAAiD;QACvE,MAAM,MAAM,GAAG,IAAI,CAAC,gBAAgB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QACnD,OAAO,MAAM,CAAC,KAAK,CAAC;IACtB,CAAC;IAED;;OAEG;IACH,gBAAgB,CAAC,OAAgB,EAAE,GAAiD;QAClF,MAAM,MAAM,GAAqB,EAAE,CAAC;QACpC,MAAM,OAAO,GAAG,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;QAE3C,MAAM,YAAY,GAAG,IAAI,CAAC,eAAe,CACvC,OAAO,CAAC,UAAU,EAClB,OAAO,EACP,MAAM,CACP,CAAC;QAEF,OAAO;YACL,KAAK,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC;YAC1B,YAAY,EAAE,YAAY,IAAI,SAAS;YACvC,MAAM;SACP,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,UAAsB,EAAE,GAAiD;QAC7E,MAAM,MAAM,GAAqB,EAAE,CAAC;QACpC,MAAM,OAAO,GAAG,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC;QAC3C,OAAO,IAAI,CAAC,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;IAC3D,CAAC;IAED;;OAEG;IACK,gBAAgB,CAAC,GAAiD;QACxE,IAAI,CAAC,GAAG,EAAE,CAAC;YACT,OAAO,EAAE,SAAS,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;QAClC,CAAC;QACD,IAAI,WAAW,IAAI,GAAG,IAAI,GAAG,CAAC,SAAS,YAAY,GAAG,EAAE,CAAC;YACvD,OAAO,GAAkB,CAAC;QAC5B,CAAC;QACD,uCAAuC;QACvC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAyB,CAAC;QACnD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/C,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QAC5B,CAAC;QACD,OAAO,EAAE,SAAS,EAAE,CAAC;IACvB,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,CAAgB,EAAE,CAAgB;QACtC,YAAY;QACZ,IAAI,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC;YAAE,OAAO,CAAC,CAAC;QAEpC,4BAA4B;QAC5B,IAAI,CAAC,KAAK,KAAK;YAAE,OAAO,CAAC,CAAC;QAC1B,IAAI,CAAC,KAAK,KAAK;YAAE,OAAO,CAAC,CAAC;QAE1B,oBAAoB;QACpB,IAAI,CAAC,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,OAAO,IAAI,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;YACrE,OAAO,OAAO,CAAC;QACjB,CAAC;QAED,iBAAiB;QACjB,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YACnD,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBACnD,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM;oBAAE,OAAO,IAAI,CAAC;gBAErD,MAAM,aAAa,GAAoB,EAAE,CAAC;gBAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACzC,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;oBACrD,IAAI,CAAC,OAAO;wBAAE,OAAO,IAAI,CAAC;oBAC1B,aAAa,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAC9B,CAAC;gBAED,MAAM,aAAa,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;gBACrD,IAAI,CAAC,aAAa;oBAAE,OAAO,IAAI,CAAC;gBAEhC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,aAAa,EAAE,CAAC;YAC5E,CAAC;YAED,gBAAgB;YAChB,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACjD,OAAO,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACtC,CAAC;QACH,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACH,SAAS,CAAC,GAAkB,EAAE,GAAkB;QAC9C,mCAAmC;QACnC,IAAI,GAAG,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC;QAE/B,cAAc;QACd,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QAE3C,wBAAwB;QACxB,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;YACvD,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,IAAI,GAAG,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBACvD,+CAA+C;gBAC/C,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,MAAM,CAAC,MAAM;oBAAE,OAAO,KAAK,CAAC;gBAE1D,+BAA+B;gBAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC3C,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;wBAAE,OAAO,KAAK,CAAC;gBAClE,CAAC;gBAED,2BAA2B;gBAC3B,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;YAChD,CAAC;QACH,CAAC;QAED,kCAAkC;QAClC,IAAI,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,OAAO;YAAE,OAAO,IAAI,CAAC;QAElD,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;OAEG;IACK,UAAU,CAAC,CAAgB,EAAE,CAAgB;QACnD,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YACnD,OAAO,CAAC,KAAK,CAAC,CAAC;QACjB,CAAC;QAED,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YACnD,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;gBAAE,OAAO,KAAK,CAAC;YAEpC,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBACnD,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM;oBAAE,OAAO,KAAK,CAAC;gBACtD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACzC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;wBAAE,OAAO,KAAK,CAAC;gBAC/D,CAAC;gBACD,OAAO,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;YAC7C,CAAC;YAED,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACjD,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC;YAC3B,CAAC;QACH,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;OAEG;IACK,eAAe,CACrB,IAAgB,EAChB,OAAoB,EACpB,MAAwB;QAExB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,UAAU,CAAC,CAAC,CAAC;gBAChB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC/C,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACd,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,qBAAqB,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;oBAC3D,OAAO,IAAI,CAAC;gBACd,CAAC;gBACD,OAAO,QAAQ,CAAC,IAAI,CAAC;YACvB,CAAC;YAED,KAAK,UAAU,CAAC,CAAC,CAAC;gBAChB,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBAC1B,OAAO,KAAK,CAAC,CAAC,uDAAuD;gBACvE,CAAC;gBACD,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC9C,IAAI,CAAC,IAAI,EAAE,CAAC;oBACV,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,qBAAqB,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;oBAC3D,OAAO,IAAI,CAAC;gBACd,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;YAED,KAAK,aAAa,CAAC,CAAC,CAAC;gBACnB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACnD,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACd,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,qBAAqB,IAAI,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;oBAC/D,OAAO,IAAI,CAAC;gBACd,CAAC;gBAED,uBAAuB;gBACvB,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,QAAQ,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;oBACpD,MAAM,CAAC,IAAI,CAAC;wBACV,OAAO,EAAE,YAAY,IAAI,CAAC,QAAQ,YAAY,QAAQ,CAAC,UAAU,CAAC,MAAM,mBAAmB,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE;qBAC9G,CAAC,CAAC;oBACH,OAAO,IAAI,CAAC;gBACd,CAAC;gBAED,uBAAuB;gBACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC1C,MAAM,OAAO,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;oBACpE,IAAI,OAAO,EAAE,CAAC;wBACZ,MAAM,YAAY,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;wBAC5C,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,YAAY,CAAC,EAAE,CAAC;4BAC3C,MAAM,CAAC,IAAI,CAAC;gCACV,OAAO,EAAE,YAAY,CAAC,gBAAgB;gCACtC,QAAQ,EAAE,IAAI,CAAC,YAAY,CAAC,YAAY,CAAC;gCACzC,MAAM,EAAE,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC;6BACnC,CAAC,CAAC;wBACL,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,OAAO,QAAQ,CAAC,UAAU,CAAC;YAC7B,CAAC;YAED,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,2BAA2B;gBAC3B,MAAM,UAAU,GAAgB;oBAC9B,SAAS,EAAE,IAAI,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC;iBACtC,CAAC;gBACF,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC;gBAE7D,kBAAkB;gBAClB,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;gBACrE,IAAI,CAAC,QAAQ;oBAAE,OAAO,IAAI,CAAC;gBAE3B,OAAO;oBACL,IAAI,EAAE,UAAU;oBAChB,MAAM,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC;oBAC5B,MAAM,EAAE,QAAQ;iBACjB,CAAC;YACJ,CAAC;YAED;gBACE,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,yBAAyB,EAAE,CAAC,CAAC;gBACpD,OAAO,IAAI,CAAC;QAChB,CAAC;IACH,CAAC;IAED;;OAEG;IACK,YAAY,CAAC,IAAmB;QACtC,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAC1C,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC7B,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvE,OAAO,IAAI,MAAM,QAAQ,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5D,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,IAAI,CAAC;QAC9C,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;CACF"}

package/dist/dsl/index.d.ts

@@ -0,0 +1,8 @@
+/**
+ * DSL Module Exports
+ * @module @nahisaho/musubix-synthesis/dsl
+ */
+export { DSL } from './DSL.js';
+export { DSLBuilder } from './DSLBuilder.js';
+export { TypeSystem } from './TypeSystem.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +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"}

package/dist/dsl/index.js

@@ -0,0 +1,8 @@
+/**
+ * DSL Module Exports
+ * @module @nahisaho/musubix-synthesis/dsl
+ */
+export { DSL } from './DSL.js';
+export { DSLBuilder } from './DSLBuilder.js';
+export { TypeSystem } from './TypeSystem.js';
+//# sourceMappingURL=index.js.map

package/dist/dsl/index.js.map

@@ -0,0 +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"}

package/dist/errors.d.ts

@@ -0,0 +1,93 @@
+/**
+ * Errors for MUSUBIX Synthesis
+ * @module @nahisaho/musubix-synthesis
+ */
+/**
+ * Base synthesis error
+ */
+export declare class SynthesisError extends Error {
+    readonly code: string;
+    constructor(message: string, code?: string);
+}
+/**
+ * DSL error
+ */
+export declare class DSLError extends SynthesisError {
+    constructor(message: string);
+}
+/**
+ * DSL operator not found
+ */
+export declare class OperatorNotFoundError extends DSLError {
+    readonly operatorName: string;
+    constructor(operatorName: string);
+}
+/**
+ * Type error
+ */
+export declare class TypeError extends SynthesisError {
+    readonly expected?: string;
+    readonly actual?: string;
+    constructor(message: string, expected?: string, actual?: string);
+}
+/**
+ * Type mismatch error
+ */
+export declare class TypeMismatchError extends TypeError {
+    constructor(expected: string, actual: string);
+}
+/**
+ * Synthesis failure error
+ */
+export declare class SynthesisFailureError extends SynthesisError {
+    readonly reason: string;
+    constructor(reason: string);
+}
+/**
+ * Synthesis timeout error
+ */
+export declare class SynthesisTimeoutError extends SynthesisError {
+    readonly timeout: number;
+    constructor(timeout: number);
+}
+/**
+ * Depth exceeded error
+ */
+export declare class DepthExceededError extends SynthesisError {
+    readonly maxDepth: number;
+    constructor(maxDepth: number);
+}
+/**
+ * No solution error
+ */
+export declare class NoSolutionError extends SynthesisError {
+    constructor(message?: string);
+}
+/**
+ * Invalid example error
+ */
+export declare class InvalidExampleError extends SynthesisError {
+    readonly exampleIndex: number;
+    constructor(exampleIndex: number, reason: string);
+}
+/**
+ * Rule error
+ */
+export declare class RuleError extends SynthesisError {
+    constructor(message: string);
+}
+/**
+ * Rule not found error
+ */
+export declare class RuleNotFoundError extends RuleError {
+    readonly ruleId: string;
+    constructor(ruleId: string);
+}
+/**
+ * Execution error
+ */
+export declare class ExecutionError extends SynthesisError {
+    readonly program?: string;
+    constructor(message: string, program?: string);
+}
+//# sourceMappingURL=errors.d.ts.map

package/dist/errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;GAEG;AACH,qBAAa,cAAe,SAAQ,KAAK;IACvC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;gBAEV,OAAO,EAAE,MAAM,EAAE,IAAI,GAAE,MAA0B;CAK9D;AAED;;GAEG;AACH,qBAAa,QAAS,SAAQ,cAAc;gBAC9B,OAAO,EAAE,MAAM;CAI5B;AAED;;GAEG;AACH,qBAAa,qBAAsB,SAAQ,QAAQ;IACjD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;gBAElB,YAAY,EAAE,MAAM;CAKjC;AAED;;GAEG;AACH,qBAAa,SAAU,SAAQ,cAAc;IAC3C,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;gBAEb,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM;CAMhE;AAED;;GAEG;AACH,qBAAa,iBAAkB,SAAQ,SAAS;gBAClC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM;CAI7C;AAED;;GAEG;AACH,qBAAa,qBAAsB,SAAQ,cAAc;IACvD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;gBAEZ,MAAM,EAAE,MAAM;CAK3B;AAED;;GAEG;AACH,qBAAa,qBAAsB,SAAQ,cAAc;IACvD,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;gBAEb,OAAO,EAAE,MAAM;CAK5B;AAED;;GAEG;AACH,qBAAa,kBAAmB,SAAQ,cAAc;IACpD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;gBAEd,QAAQ,EAAE,MAAM;CAK7B;AAED;;GAEG;AACH,qBAAa,eAAgB,SAAQ,cAAc;gBACrC,OAAO,GAAE,MAA4B;CAIlD;AAED;;GAEG;AACH,qBAAa,mBAAoB,SAAQ,cAAc;IACrD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;gBAElB,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM;CAKjD;AAED;;GAEG;AACH,qBAAa,SAAU,SAAQ,cAAc;gBAC/B,OAAO,EAAE,MAAM;CAI5B;AAED;;GAEG;AACH,qBAAa,iBAAkB,SAAQ,SAAS;IAC9C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;gBAEZ,MAAM,EAAE,MAAM;CAK3B;AAED;;GAEG;AACH,qBAAa,cAAe,SAAQ,cAAc;IAChD,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;gBAEd,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM;CAK9C"}

package/dist/errors.js

@@ -0,0 +1,142 @@
+/**
+ * Errors for MUSUBIX Synthesis
+ * @module @nahisaho/musubix-synthesis
+ */
+/**
+ * Base synthesis error
+ */
+export class SynthesisError extends Error {
+    code;
+    constructor(message, code = 'SYNTHESIS_ERROR') {
+        super(message);
+        this.name = 'SynthesisError';
+        this.code = code;
+    }
+}
+/**
+ * DSL error
+ */
+export class DSLError extends SynthesisError {
+    constructor(message) {
+        super(message, 'DSL_ERROR');
+        this.name = 'DSLError';
+    }
+}
+/**
+ * DSL operator not found
+ */
+export class OperatorNotFoundError extends DSLError {
+    operatorName;
+    constructor(operatorName) {
+        super(`Unknown operator: ${operatorName}`);
+        this.name = 'OperatorNotFoundError';
+        this.operatorName = operatorName;
+    }
+}
+/**
+ * Type error
+ */
+export class TypeError extends SynthesisError {
+    expected;
+    actual;
+    constructor(message, expected, actual) {
+        super(message, 'TYPE_ERROR');
+        this.name = 'TypeError';
+        this.expected = expected;
+        this.actual = actual;
+    }
+}
+/**
+ * Type mismatch error
+ */
+export class TypeMismatchError extends TypeError {
+    constructor(expected, actual) {
+        super(`Type mismatch: expected ${expected}, got ${actual}`, expected, actual);
+        this.name = 'TypeMismatchError';
+    }
+}
+/**
+ * Synthesis failure error
+ */
+export class SynthesisFailureError extends SynthesisError {
+    reason;
+    constructor(reason) {
+        super(`Synthesis failed: ${reason}`, 'SYNTHESIS_FAILURE');
+        this.name = 'SynthesisFailureError';
+        this.reason = reason;
+    }
+}
+/**
+ * Synthesis timeout error
+ */
+export class SynthesisTimeoutError extends SynthesisError {
+    timeout;
+    constructor(timeout) {
+        super(`Synthesis timed out after ${timeout}ms`, 'SYNTHESIS_TIMEOUT');
+        this.name = 'SynthesisTimeoutError';
+        this.timeout = timeout;
+    }
+}
+/**
+ * Depth exceeded error
+ */
+export class DepthExceededError extends SynthesisError {
+    maxDepth;
+    constructor(maxDepth) {
+        super(`Maximum depth ${maxDepth} exceeded`, 'DEPTH_EXCEEDED');
+        this.name = 'DepthExceededError';
+        this.maxDepth = maxDepth;
+    }
+}
+/**
+ * No solution error
+ */
+export class NoSolutionError extends SynthesisError {
+    constructor(message = 'No solution found') {
+        super(message, 'NO_SOLUTION');
+        this.name = 'NoSolutionError';
+    }
+}
+/**
+ * Invalid example error
+ */
+export class InvalidExampleError extends SynthesisError {
+    exampleIndex;
+    constructor(exampleIndex, reason) {
+        super(`Invalid example at index ${exampleIndex}: ${reason}`, 'INVALID_EXAMPLE');
+        this.name = 'InvalidExampleError';
+        this.exampleIndex = exampleIndex;
+    }
+}
+/**
+ * Rule error
+ */
+export class RuleError extends SynthesisError {
+    constructor(message) {
+        super(message, 'RULE_ERROR');
+        this.name = 'RuleError';
+    }
+}
+/**
+ * Rule not found error
+ */
+export class RuleNotFoundError extends RuleError {
+    ruleId;
+    constructor(ruleId) {
+        super(`Rule not found: ${ruleId}`);
+        this.name = 'RuleNotFoundError';
+        this.ruleId = ruleId;
+    }
+}
+/**
+ * Execution error
+ */
+export class ExecutionError extends SynthesisError {
+    program;
+    constructor(message, program) {
+        super(message, 'EXECUTION_ERROR');
+        this.name = 'ExecutionError';
+        this.program = program;
+    }
+}
+//# sourceMappingURL=errors.js.map

package/dist/errors.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.js","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH;;GAEG;AACH,MAAM,OAAO,cAAe,SAAQ,KAAK;IAC9B,IAAI,CAAS;IAEtB,YAAY,OAAe,EAAE,OAAe,iBAAiB;QAC3D,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,gBAAgB,CAAC;QAC7B,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;CACF;AAED;;GAEG;AACH,MAAM,OAAO,QAAS,SAAQ,cAAc;IAC1C,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;QAC5B,IAAI,CAAC,IAAI,GAAG,UAAU,CAAC;IACzB,CAAC;CACF;AAED;;GAEG;AACH,MAAM,OAAO,qBAAsB,SAAQ,QAAQ;IACxC,YAAY,CAAS;IAE9B,YAAY,YAAoB;QAC9B,KAAK,CAAC,qBAAqB,YAAY,EAAE,CAAC,CAAC;QAC3C,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAC;QACpC,IAAI,CAAC,YAAY,GAAG,YAAY,CAAC;IACnC,CAAC;CACF;AAED;;GAEG;AACH,MAAM,OAAO,SAAU,SAAQ,cAAc;IAClC,QAAQ,CAAU;IAClB,MAAM,CAAU;IAEzB,YAAY,OAAe,EAAE,QAAiB,EAAE,MAAe;QAC7D,KAAK,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;QAC7B,IAAI,CAAC,IAAI,GAAG,WAAW,CAAC;QACxB,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;CACF;AAED;;GAEG;AACH,MAAM,OAAO,iBAAkB,SAAQ,SAAS;IAC9C,YAAY,QAAgB,EAAE,MAAc;QAC1C,KAAK,CAAC,2BAA2B,QAAQ,SAAS,MAAM,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC9E,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAC;IAClC,CAAC;CACF;AAED;;GAEG;AACH,MAAM,OAAO,qBAAsB,SAAQ,cAAc;IAC9C,MAAM,CAAS;IAExB,YAAY,MAAc;QACxB,KAAK,CAAC,qBAAqB,MAAM,EAAE,EAAE,mBAAmB,CAAC,CAAC;QAC1D,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAC;QACpC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;CACF;AAED;;GAEG;AACH,MAAM,OAAO,qBAAsB,SAAQ,cAAc;IAC9C,OAAO,CAAS;IAEzB,YAAY,OAAe;QACzB,KAAK,CAAC,6BAA6B,OAAO,IAAI,EAAE,mBAAmB,CAAC,CAAC;QACrE,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAC;QACpC,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;IACzB,CAAC;CACF;AAED;;GAEG;AACH,MAAM,OAAO,kBAAmB,SAAQ,cAAc;IAC3C,QAAQ,CAAS;IAE1B,YAAY,QAAgB;QAC1B,KAAK,CAAC,iBAAiB,QAAQ,WAAW,EAAE,gBAAgB,CAAC,CAAC;QAC9D,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAC;QACjC,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;IAC3B,CAAC;CACF;AAED;;GAEG;AACH,MAAM,OAAO,eAAgB,SAAQ,cAAc;IACjD,YAAY,UAAkB,mBAAmB;QAC/C,KAAK,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC;QAC9B,IAAI,CAAC,IAAI,GAAG,iBAAiB,CAAC;IAChC,CAAC;CACF;AAED;;GAEG;AACH,MAAM,OAAO,mBAAoB,SAAQ,cAAc;IAC5C,YAAY,CAAS;IAE9B,YAAY,YAAoB,EAAE,MAAc;QAC9C,KAAK,CAAC,4BAA4B,YAAY,KAAK,MAAM,EAAE,EAAE,iBAAiB,CAAC,CAAC;QAChF,IAAI,CAAC,IAAI,GAAG,qBAAqB,CAAC;QAClC,IAAI,CAAC,YAAY,GAAG,YAAY,CAAC;IACnC,CAAC;CACF;AAED;;GAEG;AACH,MAAM,OAAO,SAAU,SAAQ,cAAc;IAC3C,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;QAC7B,IAAI,CAAC,IAAI,GAAG,WAAW,CAAC;IAC1B,CAAC;CACF;AAED;;GAEG;AACH,MAAM,OAAO,iBAAkB,SAAQ,SAAS;IACrC,MAAM,CAAS;IAExB,YAAY,MAAc;QACxB,KAAK,CAAC,mBAAmB,MAAM,EAAE,CAAC,CAAC;QACnC,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAC;QAChC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;CACF;AAED;;GAEG;AACH,MAAM,OAAO,cAAe,SAAQ,cAAc;IACvC,OAAO,CAAU;IAE1B,YAAY,OAAe,EAAE,OAAgB;QAC3C,KAAK,CAAC,OAAO,EAAE,iBAAiB,CAAC,CAAC;QAClC,IAAI,CAAC,IAAI,GAAG,gBAAgB,CAAC;QAC7B,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;IACzB,CAAC;CACF"}

package/dist/index.d.ts

@@ -0,0 +1,11 @@
+/**
+ * MUSUBIX Synthesis
+ * @module @nahisaho/musubix-synthesis
+ * @description Program synthesis with DSL and PBE
+ */
+export * from './types.js';
+export * from './errors.js';
+export { DSLBuilder, DSL, TypeSystem, } from './dsl/index.js';
+export { Enumerator, PBESynthesizer, WitnessEngine, VersionSpace, } from './synthesis/index.js';
+export { RuleExtractor, RuleLibrary, MetaLearner, resetRuleIdCounter, } from './rules/index.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,cAAc,YAAY,CAAC;AAG3B,cAAc,aAAa,CAAC;AAG5B,OAAO,EACL,UAAU,EACV,GAAG,EACH,UAAU,GACX,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EACL,UAAU,EACV,cAAc,EACd,aAAa,EACb,YAAY,GACb,MAAM,sBAAsB,CAAC;AAG9B,OAAO,EACL,aAAa,EACb,WAAW,EACX,WAAW,EACX,kBAAkB,GACnB,MAAM,kBAAkB,CAAC"}

package/dist/index.js

@@ -0,0 +1,16 @@
+/**
+ * MUSUBIX Synthesis
+ * @module @nahisaho/musubix-synthesis
+ * @description Program synthesis with DSL and PBE
+ */
+// Types
+export * from './types.js';
+// Errors
+export * from './errors.js';
+// DSL
+export { DSLBuilder, DSL, TypeSystem, } from './dsl/index.js';
+// Synthesis
+export { Enumerator, PBESynthesizer, WitnessEngine, VersionSpace, } from './synthesis/index.js';
+// Rules
+export { RuleExtractor, RuleLibrary, MetaLearner, resetRuleIdCounter, } from './rules/index.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,QAAQ;AACR,cAAc,YAAY,CAAC;AAE3B,SAAS;AACT,cAAc,aAAa,CAAC;AAE5B,MAAM;AACN,OAAO,EACL,UAAU,EACV,GAAG,EACH,UAAU,GACX,MAAM,gBAAgB,CAAC;AAExB,YAAY;AACZ,OAAO,EACL,UAAU,EACV,cAAc,EACd,aAAa,EACb,YAAY,GACb,MAAM,sBAAsB,CAAC;AAE9B,QAAQ;AACR,OAAO,EACL,aAAa,EACb,WAAW,EACX,WAAW,EACX,kBAAkB,GACnB,MAAM,kBAAkB,CAAC"}

package/dist/rules/MetaLearner.d.ts

@@ -0,0 +1,50 @@
+/**
+ * Meta Learner
+ * @module @nahisaho/musubix-synthesis
+ * @description Continuous rule improvement and suggestions
+ * Traces to: REQ-SYN-004 (Rule Learning)
+ */
+import type { IMetaLearner, IRuleLibrary, SynthesisResult, SynthesisRule } from '../types.js';
+/**
+ * Meta learner implementation
+ */
+export declare class MetaLearner implements IMetaLearner {
+    private readonly library;
+    private readonly extractor;
+    private readonly pendingSuggestions;
+    private totalLearned;
+    constructor(library: IRuleLibrary);
+    /**
+     * Learn from synthesis result
+     */
+    learn(result: SynthesisResult, usedRules: SynthesisRule[]): Promise<void>;
+    /**
+     * Update confidence for a rule
+     */
+    updateConfidence(ruleId: string, success: boolean): Promise<void>;
+    /**
+     * Suggest new rules
+     */
+    suggestRules(): Promise<SynthesisRule[]>;
+    /**
+     * Get total learned count
+     */
+    getTotalLearned(): number;
+    /**
+     * Reset state (for testing)
+     */
+    reset(): void;
+    /**
+     * Check if similar rule exists
+     */
+    private hasSimularRule;
+    /**
+     * Check rule similarity
+     */
+    private rulesAreSimilar;
+    /**
+     * Find generalization opportunities
+     */
+    private findGeneralizationOpportunities;
+}
+//# sourceMappingURL=MetaLearner.d.ts.map

package/dist/rules/MetaLearner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"MetaLearner.d.ts","sourceRoot":"","sources":["../../src/rules/MetaLearner.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACV,YAAY,EACZ,YAAY,EACZ,eAAe,EACf,aAAa,EACd,MAAM,aAAa,CAAC;AAGrB;;GAEG;AACH,qBAAa,WAAY,YAAW,YAAY;IAC9C,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAe;IACvC,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAgB;IAC1C,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAAkB;IACrD,OAAO,CAAC,YAAY,CAAS;gBAEjB,OAAO,EAAE,YAAY;IAOjC;;OAEG;IACG,KAAK,CACT,MAAM,EAAE,eAAe,EACvB,SAAS,EAAE,aAAa,EAAE,GACzB,OAAO,CAAC,IAAI,CAAC;IAyBhB;;OAEG;IACG,gBAAgB,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC;IAIvE;;OAEG;IACG,YAAY,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC;IAqB9C;;OAEG;IACH,eAAe,IAAI,MAAM;IAIzB;;OAEG;IACH,KAAK,IAAI,IAAI;IAMb;;OAEG;IACH,OAAO,CAAC,cAAc;IAStB;;OAEG;IACH,OAAO,CAAC,eAAe;IAoBvB;;OAEG;IACH,OAAO,CAAC,+BAA+B;CAiCxC"}