@nahisaho/musubix-synthesis 2.0.0

package/dist/rules/RuleLibrary.js

@@ -0,0 +1,190 @@
+/**
+ * Rule Library
+ * @module @nahisaho/musubix-synthesis
+ * @description Storage and retrieval of synthesis rules
+ * Traces to: REQ-SYN-004 (Rule Learning)
+ */
+/**
+ * Rule library implementation
+ */
+export class RuleLibrary {
+    rules;
+    constructor() {
+        this.rules = new Map();
+    }
+    /**
+     * Add a rule to the library
+     */
+    async add(rule) {
+        this.rules.set(rule.id, rule);
+    }
+    /**
+     * Get a rule by ID
+     */
+    async get(id) {
+        return this.rules.get(id) ?? null;
+    }
+    /**
+     * Match rules against specification
+     */
+    async match(spec) {
+        const matches = [];
+        for (const rule of this.rules.values()) {
+            if (this.ruleMatchesSpec(rule, spec)) {
+                matches.push(rule);
+            }
+        }
+        // Sort by confidence (descending)
+        matches.sort((a, b) => b.confidence - a.confidence);
+        return matches;
+    }
+    /**
+     * Record rule usage
+     */
+    async recordUsage(ruleId, success) {
+        const rule = this.rules.get(ruleId);
+        if (!rule)
+            return;
+        const currentUsage = rule.usageCount ?? 0;
+        const currentSuccess = rule.successCount ?? 0;
+        // Update mutable copy
+        const updated = {
+            ...rule,
+            usageCount: currentUsage + 1,
+            successCount: currentSuccess + (success ? 1 : 0),
+            confidence: this.calculateConfidence(currentUsage + 1, currentSuccess + (success ? 1 : 0)),
+        };
+        this.rules.set(ruleId, updated);
+    }
+    /**
+     * Calculate confidence from usage statistics
+     */
+    calculateConfidence(usageCount, successCount) {
+        // Bayesian update with prior of 0.5
+        // Add smoothing to avoid extreme values
+        const alpha = successCount + 1;
+        const beta = (usageCount - successCount) + 1;
+        return alpha / (alpha + beta);
+    }
+    /**
+     * Prune low-confidence rules
+     */
+    async prune(threshold) {
+        let pruned = 0;
+        const toDelete = [];
+        for (const [id, rule] of this.rules) {
+            // Prune if confidence is below threshold
+            // Only require high usage count if usageCount is defined and > 0
+            const usageCount = rule.usageCount ?? 0;
+            const shouldPrune = rule.confidence < threshold && (usageCount === 0 || usageCount > 10);
+            if (shouldPrune) {
+                toDelete.push(id);
+                pruned++;
+            }
+        }
+        for (const id of toDelete) {
+            this.rules.delete(id);
+        }
+        return pruned;
+    }
+    /**
+     * Get all rules
+     */
+    async getAll() {
+        return Array.from(this.rules.values());
+    }
+    /**
+     * Check if rule matches spec
+     */
+    ruleMatchesSpec(rule, spec) {
+        const pattern = rule.pattern;
+        // Check inputCount if specified
+        if (pattern.inputCount !== undefined) {
+            const firstInput = spec.examples[0]?.input;
+            const specInputCount = typeof firstInput === 'object' && firstInput !== null
+                ? Object.keys(firstInput).length
+                : 0;
+            if (pattern.inputCount !== specInputCount) {
+                return false;
+            }
+        }
+        // Check exampleCount if specified
+        if (pattern.exampleCount !== undefined) {
+            if (pattern.exampleCount !== spec.examples.length) {
+                return false;
+            }
+        }
+        // Check type constraints
+        if (pattern.typeConstraints && spec.inputType) {
+            const [inputType, outputType] = pattern.typeConstraints;
+            if (inputType !== 'any' && inputType !== spec.inputType) {
+                return false;
+            }
+            if (outputType !== 'any' && spec.outputType && outputType !== spec.outputType) {
+                return false;
+            }
+        }
+        // Check input/output patterns
+        if (pattern.inputPattern) {
+            if (!this.valueMatchesPattern(spec.examples[0]?.input, pattern.inputPattern)) {
+                return false;
+            }
+        }
+        if (pattern.outputPattern) {
+            if (!this.valueMatchesPattern(spec.examples[0]?.output, pattern.outputPattern)) {
+                return false;
+            }
+        }
+        return true;
+    }
+    /**
+     * Check if value matches pattern
+     */
+    valueMatchesPattern(value, pattern) {
+        if (pattern === undefined || pattern === null)
+            return true;
+        if (typeof pattern === 'object' && pattern !== null) {
+            const p = pattern;
+            // Type pattern
+            if ('type' in p) {
+                return typeof value === p.type;
+            }
+            // Prefix/suffix pattern for strings
+            if ('prefix' in p || 'suffix' in p) {
+                if (typeof value !== 'string')
+                    return false;
+                if (p.prefix && !value.startsWith(p.prefix))
+                    return false;
+                if (p.suffix && !value.endsWith(p.suffix))
+                    return false;
+                return true;
+            }
+            // Array length pattern
+            if ('arrayLength' in p) {
+                if (!Array.isArray(value))
+                    return false;
+                return value.length === p.arrayLength;
+            }
+            // Any of pattern
+            if ('anyOf' in p) {
+                const anyOf = p.anyOf;
+                return anyOf.some((v) => this.valuesEqual(value, v));
+            }
+        }
+        return this.valuesEqual(value, pattern);
+    }
+    /**
+     * Value equality
+     */
+    valuesEqual(a, b) {
+        if (a === b)
+            return true;
+        if (typeof a !== typeof b)
+            return false;
+        if (typeof a === 'object' && a !== null && b !== null) {
+            return JSON.stringify(a) === JSON.stringify(b);
+        }
+        return false;
+    }
+}
+//# sourceMappingURL=RuleLibrary.js.map

package/dist/rules/RuleLibrary.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"RuleLibrary.js","sourceRoot":"","sources":["../../src/rules/RuleLibrary.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAIH;;GAEG;AACH,MAAM,OAAO,WAAW;IACd,KAAK,CAA6B;IAE1C;QACE,IAAI,CAAC,KAAK,GAAG,IAAI,GAAG,EAAE,CAAC;IACzB,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,GAAG,CAAC,IAAmB;QAC3B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IAChC,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,GAAG,CAAC,EAAU;QAClB,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC;IACpC,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,KAAK,CAAC,IAAmB;QAC7B,MAAM,OAAO,GAAoB,EAAE,CAAC;QAEpC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;YACvC,IAAI,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC;gBACrC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrB,CAAC;QACH,CAAC;QAED,kCAAkC;QAClC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC;QAEpD,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,WAAW,CAAC,MAAc,EAAE,OAAgB;QAChD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACpC,IAAI,CAAC,IAAI;YAAE,OAAO;QAElB,MAAM,YAAY,GAAG,IAAI,CAAC,UAAU,IAAI,CAAC,CAAC;QAC1C,MAAM,cAAc,GAAG,IAAI,CAAC,YAAY,IAAI,CAAC,CAAC;QAE9C,sBAAsB;QACtB,MAAM,OAAO,GAAkB;YAC7B,GAAG,IAAI;YACP,UAAU,EAAE,YAAY,GAAG,CAAC;YAC5B,YAAY,EAAE,cAAc,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAChD,UAAU,EAAE,IAAI,CAAC,mBAAmB,CAAC,YAAY,GAAG,CAAC,EAAE,cAAc,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SAC3F,CAAC;QAEF,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAClC,CAAC;IAED;;OAEG;IACK,mBAAmB,CAAC,UAAkB,EAAE,YAAoB;QAClE,oCAAoC;QACpC,wCAAwC;QACxC,MAAM,KAAK,GAAG,YAAY,GAAG,CAAC,CAAC;QAC/B,MAAM,IAAI,GAAG,CAAC,UAAU,GAAG,YAAY,CAAC,GAAG,CAAC,CAAC;QAC7C,OAAO,KAAK,GAAG,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC;IAChC,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,KAAK,CAAC,SAAiB;QAC3B,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,MAAM,QAAQ,GAAa,EAAE,CAAC;QAE9B,KAAK,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACpC,yCAAyC;YACzC,iEAAiE;YACjE,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,IAAI,CAAC,CAAC;YACxC,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,GAAG,SAAS,IAAI,CAAC,UAAU,KAAK,CAAC,IAAI,UAAU,GAAG,EAAE,CAAC,CAAC;YACzF,IAAI,WAAW,EAAE,CAAC;gBAChB,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBAClB,MAAM,EAAE,CAAC;YACX,CAAC;QACH,CAAC;QAED,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;YAC1B,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACxB,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,MAAM;QACV,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;IACzC,CAAC;IAED;;OAEG;IACK,eAAe,CAAC,IAAmB,EAAE,IAAmB;QAC9D,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;QAE7B,gCAAgC;QAChC,IAAI,OAAO,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YACrC,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC;YAC3C,MAAM,cAAc,GAAG,OAAO,UAAU,KAAK,QAAQ,IAAI,UAAU,KAAK,IAAI;gBAC1E,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,UAAqC,CAAC,CAAC,MAAM;gBAC3D,CAAC,CAAC,CAAC,CAAC;YACN,IAAI,OAAO,CAAC,UAAU,KAAK,cAAc,EAAE,CAAC;gBAC1C,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QAED,kCAAkC;QAClC,IAAI,OAAO,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;YACvC,IAAI,OAAO,CAAC,YAAY,KAAK,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;gBAClD,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QAED,yBAAyB;QACzB,IAAI,OAAO,CAAC,eAAe,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YAC9C,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,OAAO,CAAC,eAAe,CAAC;YACxD,IAAI,SAAS,KAAK,KAAK,IAAI,SAAS,KAAK,IAAI,CAAC,SAAS,EAAE,CAAC;gBACxD,OAAO,KAAK,CAAC;YACf,CAAC;YACD,IAAI,UAAU,KAAK,KAAK,IAAI,IAAI,CAAC,UAAU,IAAI,UAAU,KAAK,IAAI,CAAC,UAAU,EAAE,CAAC;gBAC9E,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QAED,8BAA8B;QAC9B,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC;YACzB,IAAI,CAAC,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;gBAC7E,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QAED,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC;YAC1B,IAAI,CAAC,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC;gBAC/E,OAAO,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAED;;OAEG;IACK,mBAAmB,CAAC,KAAc,EAAE,OAAgB;QAC1D,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAE3D,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACpD,MAAM,CAAC,GAAG,OAAkC,CAAC;YAE7C,eAAe;YACf,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;gBAChB,OAAO,OAAO,KAAK,KAAK,CAAC,CAAC,IAAI,CAAC;YACjC,CAAC;YAED,oCAAoC;YACpC,IAAI,QAAQ,IAAI,CAAC,IAAI,QAAQ,IAAI,CAAC,EAAE,CAAC;gBACnC,IAAI,OAAO,KAAK,KAAK,QAAQ;oBAAE,OAAO,KAAK,CAAC;gBAC5C,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,MAAgB,CAAC;oBAAE,OAAO,KAAK,CAAC;gBACpE,IAAI,CAAC,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAgB,CAAC;oBAAE,OAAO,KAAK,CAAC;gBAClE,OAAO,IAAI,CAAC;YACd,CAAC;YAED,uBAAuB;YACvB,IAAI,aAAa,IAAI,CAAC,EAAE,CAAC;gBACvB,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;oBAAE,OAAO,KAAK,CAAC;gBACxC,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,WAAW,CAAC;YACxC,CAAC;YAED,iBAAiB;YACjB,IAAI,OAAO,IAAI,CAAC,EAAE,CAAC;gBACjB,MAAM,KAAK,GAAG,CAAC,CAAC,KAAkB,CAAC;gBACnC,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;YACvD,CAAC;QACH,CAAC;QAED,OAAO,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IAC1C,CAAC;IAED;;OAEG;IACK,WAAW,CAAC,CAAU,EAAE,CAAU;QACxC,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACzB,IAAI,OAAO,CAAC,KAAK,OAAO,CAAC;YAAE,OAAO,KAAK,CAAC;QACxC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACtD,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACjD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;CACF"}

package/dist/rules/index.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Rules module
+ * @module @nahisaho/musubix-synthesis/rules
+ * @description Rule extraction, storage, and meta-learning
+ */
+export { RuleExtractor, resetRuleIdCounter } from './RuleExtractor.js';
+export { RuleLibrary } from './RuleLibrary.js';
+export { MetaLearner } from './MetaLearner.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/rules/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACvE,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/rules/index.js

@@ -0,0 +1,9 @@
+/**
+ * Rules module
+ * @module @nahisaho/musubix-synthesis/rules
+ * @description Rule extraction, storage, and meta-learning
+ */
+export { RuleExtractor, resetRuleIdCounter } from './RuleExtractor.js';
+export { RuleLibrary } from './RuleLibrary.js';
+export { MetaLearner } from './MetaLearner.js';
+//# sourceMappingURL=index.js.map

package/dist/rules/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/rules/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACvE,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAC/C,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC"}

package/dist/synthesis/Enumerator.d.ts

@@ -0,0 +1,78 @@
+/**
+ * Enumerator
+ * @module @nahisaho/musubix-synthesis
+ * @description Exhaustive program enumeration
+ */
+import type { EnumerationOptions, Expression, IDSL, IEnumerator, Program, Specification, TypeSignature } from '../types.js';
+/**
+ * Reset ID counter (for testing)
+ */
+export declare function resetProgramIdCounter(): void;
+/**
+ * Enumeration options for sync enumerate
+ */
+export interface EnumerateOptions {
+    maxDepth: number;
+    maxPrograms?: number;
+    targetType?: TypeSignature;
+}
+/**
+ * Enumerator implementation
+ */
+export declare class Enumerator implements IEnumerator {
+    private readonly dsl;
+    constructor(dsl: IDSL);
+    /**
+     * Enumerate programs synchronously
+     */
+    enumerate(options: EnumerateOptions): Program[];
+    /**
+     * Enumerate expressions at a given depth
+     */
+    enumerateExpressions(depth: number): Expression[];
+    /**
+     * Get the depth of an expression
+     */
+    getExpressionDepth(expr: Expression): number;
+    /**
+     * Count programs at a given depth
+     */
+    countPrograms(depth: number): number;
+    /**
+     * Enumerate all programs up to given depth/cost (async generator)
+     */
+    enumerateAsync(options: EnumerationOptions): AsyncGenerator<Program, void, unknown>;
+    /**
+     * Enumerate programs that might satisfy the spec
+     */
+    enumerateForSpec(spec: Specification, options: EnumerationOptions): AsyncGenerator<Program, void, unknown>;
+    /**
+     * Enumerate expressions at a specific depth (sync)
+     */
+    private enumerateAtDepthSync;
+    /**
+     * Enumerate arguments at exactly a specific depth (for avoiding duplicates)
+     */
+    private enumerateArgumentsAtDepth;
+    /**
+     * Enumerate all combinations of arguments for an operator
+     */
+    private enumerateArguments;
+    /**
+     * Check if types match
+     */
+    private typeMatches;
+    /**
+     * Compute expression cost
+     */
+    private computeExpressionCost;
+    /**
+     * Quick check if program might satisfy examples
+     */
+    private mightSatisfyExamples;
+    /**
+     * Check value equality
+     */
+    private valuesEqual;
+}
+//# sourceMappingURL=Enumerator.d.ts.map

package/dist/synthesis/Enumerator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Enumerator.d.ts","sourceRoot":"","sources":["../../src/synthesis/Enumerator.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EACV,kBAAkB,EAElB,UAAU,EACV,IAAI,EACJ,WAAW,EACX,OAAO,EACP,aAAa,EACb,aAAa,EACd,MAAM,aAAa,CAAC;AAUrB;;GAEG;AACH,wBAAgB,qBAAqB,IAAI,IAAI,CAE5C;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,aAAa,CAAC;CAC5B;AAED;;GAEG;AACH,qBAAa,UAAW,YAAW,WAAW;IAC5C,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAO;gBAEf,GAAG,EAAE,IAAI;IAIrB;;OAEG;IACH,SAAS,CAAC,OAAO,EAAE,gBAAgB,GAAG,OAAO,EAAE;IA6B/C;;OAEG;IACH,oBAAoB,CAAC,KAAK,EAAE,MAAM,GAAG,UAAU,EAAE;IAIjD;;OAEG;IACH,kBAAkB,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM;IAiB5C;;OAEG;IACH,aAAa,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAUpC;;OAEG;IACI,cAAc,CACnB,OAAO,EAAE,kBAAkB,GAC1B,cAAc,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC;IAiBzC;;OAEG;IACI,gBAAgB,CACrB,IAAI,EAAE,aAAa,EACnB,OAAO,EAAE,kBAAkB,GAC1B,cAAc,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC;IA6BzC;;OAEG;IACH,OAAO,CAAE,oBAAoB;IAgD7B;;OAEG;IACH,OAAO,CAAE,yBAAyB;IA2BlC;;OAEG;IACH,OAAO,CAAE,kBAAkB;IA+B3B;;OAEG;IACH,OAAO,CAAC,WAAW;IAQnB;;OAEG;IACH,OAAO,CAAC,qBAAqB;IAsB7B;;OAEG;IACH,OAAO,CAAC,oBAAoB;IAW5B;;OAEG;IACH,OAAO,CAAC,WAAW;CAYpB"}

package/dist/synthesis/Enumerator.js

@@ -0,0 +1,292 @@
+/**
+ * Enumerator
+ * @module @nahisaho/musubix-synthesis
+ * @description Exhaustive program enumeration
+ */
+/**
+ * Generate unique IDs
+ */
+let programIdCounter = 0;
+function generateProgramId() {
+    return `prog-${++programIdCounter}`;
+}
+/**
+ * Reset ID counter (for testing)
+ */
+export function resetProgramIdCounter() {
+    programIdCounter = 0;
+}
+/**
+ * Enumerator implementation
+ */
+export class Enumerator {
+    dsl;
+    constructor(dsl) {
+        this.dsl = dsl;
+    }
+    /**
+     * Enumerate programs synchronously
+     */
+    enumerate(options) {
+        const { maxDepth, maxPrograms, targetType } = options;
+        const programs = [];
+        const seen = new Set();
+        for (let depth = 0; depth <= maxDepth; depth++) {
+            for (const expr of this.enumerateAtDepthSync(depth, targetType)) {
+                if (maxPrograms && programs.length >= maxPrograms) {
+                    return programs;
+                }
+                // Avoid duplicates
+                const serialized = JSON.stringify(expr);
+                if (seen.has(serialized)) {
+                    continue;
+                }
+                seen.add(serialized);
+                programs.push({
+                    id: generateProgramId(),
+                    expression: expr,
+                    cost: this.computeExpressionCost(expr),
+                });
+            }
+        }
+        return programs;
+    }
+    /**
+     * Enumerate expressions at a given depth
+     */
+    enumerateExpressions(depth) {
+        return Array.from(this.enumerateAtDepthSync(depth));
+    }
+    /**
+     * Get the depth of an expression
+     */
+    getExpressionDepth(expr) {
+        switch (expr.kind) {
+            case 'constant':
+            case 'variable':
+                return 0;
+            case 'application':
+                if (expr.args.length === 0) {
+                    return 1;
+                }
+                return 1 + Math.max(...expr.args.map((a) => this.getExpressionDepth(a)));
+            case 'lambda':
+                return 1 + this.getExpressionDepth(expr.body);
+            default:
+                return 0;
+        }
+    }
+    /**
+     * Count programs at a given depth
+     */
+    countPrograms(depth) {
+        let count = 0;
+        for (let d = 0; d <= depth; d++) {
+            for (const _ of this.enumerateAtDepthSync(d)) {
+                count++;
+            }
+        }
+        return count;
+    }
+    /**
+     * Enumerate all programs up to given depth/cost (async generator)
+     */
+    async *enumerateAsync(options) {
+        const { maxDepth, maxCost = Infinity, targetType } = options;
+        for (let depth = 0; depth <= maxDepth; depth++) {
+            for (const expr of this.enumerateAtDepthSync(depth, targetType)) {
+                const cost = this.computeExpressionCost(expr);
+                if (cost <= maxCost) {
+                    yield {
+                        id: generateProgramId(),
+                        expression: expr,
+                        cost,
+                    };
+                }
+            }
+        }
+    }
+    /**
+     * Enumerate programs that might satisfy the spec
+     */
+    async *enumerateForSpec(spec, options) {
+        const { maxDepth, maxCost = Infinity, yieldInterval = 100 } = options;
+        const targetType = spec.outputType;
+        let count = 0;
+        for (let depth = 0; depth <= maxDepth; depth++) {
+            for (const expr of this.enumerateAtDepthSync(depth, targetType)) {
+                const cost = this.computeExpressionCost(expr);
+                if (cost <= maxCost) {
+                    const program = {
+                        id: generateProgramId(),
+                        expression: expr,
+                        cost,
+                    };
+                    // Check if program satisfies any examples (early filter)
+                    if (this.mightSatisfyExamples(program, spec.examples)) {
+                        yield program;
+                    }
+                    count++;
+                    if (count % yieldInterval === 0) {
+                        await new Promise((r) => setTimeout(r, 0));
+                    }
+                }
+            }
+        }
+    }
+    /**
+     * Enumerate expressions at a specific depth (sync)
+     */
+    *enumerateAtDepthSync(depth, targetType) {
+        if (depth === 0) {
+            // Constants only at depth 0
+            for (const [, constant] of this.dsl.constants) {
+                if (!targetType || this.typeMatches(constant.type, targetType)) {
+                    yield { kind: 'constant', name: constant.name };
+                }
+            }
+        }
+        else if (depth === 1) {
+            // At depth 1: input variables + operator applications with depth-0 args
+            // Input variable is included at depth 1 since it requires one level of complexity
+            yield { kind: 'variable', name: 'input' };
+            // Applications of operators with depth-0 arguments
+            for (const [, operator] of this.dsl.operators) {
+                if (targetType && !this.typeMatches(operator.outputType, targetType)) {
+                    continue;
+                }
+                // Generate all combinations of arguments with depth 0 (constants only)
+                for (const args of this.enumerateArgumentsAtDepth(operator.inputTypes, 0)) {
+                    yield { kind: 'application', operator: operator.name, args };
+                }
+            }
+        }
+        else {
+            // Applications of operators at depth > 1
+            for (const [, operator] of this.dsl.operators) {
+                if (targetType && !this.typeMatches(operator.outputType, targetType)) {
+                    continue;
+                }
+                // Generate all combinations of arguments
+                for (const args of this.enumerateArguments(operator.inputTypes, depth - 1)) {
+                    yield { kind: 'application', operator: operator.name, args };
+                }
+            }
+        }
+    }
+    /**
+     * Enumerate arguments at exactly a specific depth (for avoiding duplicates)
+     */
+    *enumerateArgumentsAtDepth(inputTypes, exactDepth) {
+        if (inputTypes.length === 0) {
+            yield [];
+            return;
+        }
+        if (inputTypes.length === 1) {
+            for (const expr of this.enumerateAtDepthSync(exactDepth, inputTypes[0])) {
+                yield [expr];
+            }
+            return;
+        }
+        // For multiple arguments, enumerate combinations at same depth
+        const firstType = inputTypes[0];
+        const restTypes = inputTypes.slice(1);
+        for (const firstExpr of this.enumerateAtDepthSync(exactDepth, firstType)) {
+            for (const restExprs of this.enumerateArgumentsAtDepth(restTypes, exactDepth)) {
+                yield [firstExpr, ...restExprs];
+            }
+        }
+    }
+    /**
+     * Enumerate all combinations of arguments for an operator
+     */
+    *enumerateArguments(inputTypes, maxArgDepth) {
+        if (inputTypes.length === 0) {
+            yield [];
+            return;
+        }
+        if (inputTypes.length === 1) {
+            for (let d = 0; d <= maxArgDepth; d++) {
+                for (const expr of this.enumerateAtDepthSync(d, inputTypes[0])) {
+                    yield [expr];
+                }
+            }
+            return;
+        }
+        // For multiple arguments, enumerate combinations
+        const firstType = inputTypes[0];
+        const restTypes = inputTypes.slice(1);
+        for (let d = 0; d <= maxArgDepth; d++) {
+            for (const firstExpr of this.enumerateAtDepthSync(d, firstType)) {
+                for (const restExprs of this.enumerateArguments(restTypes, maxArgDepth)) {
+                    yield [firstExpr, ...restExprs];
+                }
+            }
+        }
+    }
+    /**
+     * Check if types match
+     */
+    typeMatches(actual, expected) {
+        if (expected === 'any')
+            return true;
+        if (typeof actual === 'string' && typeof expected === 'string') {
+            return actual === expected;
+        }
+        return false;
+    }
+    /**
+     * Compute expression cost
+     */
+    computeExpressionCost(expr) {
+        switch (expr.kind) {
+            case 'constant':
+                return 1;
+            case 'variable':
+                return 1;
+            case 'application': {
+                const operator = this.dsl.getOperator(expr.operator);
+                const opCost = operator?.cost ?? 1;
+                const argsCost = expr.args.reduce((sum, arg) => sum + this.computeExpressionCost(arg), 0);
+                return opCost + argsCost;
+            }
+            case 'lambda':
+                return 1 + this.computeExpressionCost(expr.body);
+            default:
+                return 1;
+        }
+    }
+    /**
+     * Quick check if program might satisfy examples
+     */
+    mightSatisfyExamples(program, examples) {
+        if (examples.length === 0)
+            return true;
+        try {
+            const result = this.dsl.execute(program, examples[0].input);
+            return this.valuesEqual(result, examples[0].output);
+        }
+        catch {
+            return false;
+        }
+    }
+    /**
+     * Check value equality
+     */
+    valuesEqual(a, b) {
+        if (a === b)
+            return true;
+        if (typeof a !== typeof b)
+            return false;
+        if (Array.isArray(a) && Array.isArray(b)) {
+            if (a.length !== b.length)
+                return false;
+            return a.every((v, i) => this.valuesEqual(v, b[i]));
+        }
+        if (typeof a === 'object' && a !== null && b !== null) {
+            return JSON.stringify(a) === JSON.stringify(b);
+        }
+        return false;
+    }
+}
+//# sourceMappingURL=Enumerator.js.map

package/dist/synthesis/Enumerator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Enumerator.js","sourceRoot":"","sources":["../../src/synthesis/Enumerator.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAaH;;GAEG;AACH,IAAI,gBAAgB,GAAG,CAAC,CAAC;AACzB,SAAS,iBAAiB;IACxB,OAAO,QAAQ,EAAE,gBAAgB,EAAE,CAAC;AACtC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,qBAAqB;IACnC,gBAAgB,GAAG,CAAC,CAAC;AACvB,CAAC;AAWD;;GAEG;AACH,MAAM,OAAO,UAAU;IACJ,GAAG,CAAO;IAE3B,YAAY,GAAS;QACnB,IAAI,CAAC,GAAG,GAAG,GAAG,CAAC;IACjB,CAAC;IAED;;OAEG;IACH,SAAS,CAAC,OAAyB;QACjC,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC;QACtD,MAAM,QAAQ,GAAc,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAE/B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,IAAI,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC;YAC/C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,oBAAoB,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,CAAC;gBAChE,IAAI,WAAW,IAAI,QAAQ,CAAC,MAAM,IAAI,WAAW,EAAE,CAAC;oBAClD,OAAO,QAAQ,CAAC;gBAClB,CAAC;gBAED,mBAAmB;gBACnB,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;gBACxC,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;oBACzB,SAAS;gBACX,CAAC;gBACD,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;gBAErB,QAAQ,CAAC,IAAI,CAAC;oBACZ,EAAE,EAAE,iBAAiB,EAAE;oBACvB,UAAU,EAAE,IAAI;oBAChB,IAAI,EAAE,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC;iBACvC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED;;OAEG;IACH,oBAAoB,CAAC,KAAa;QAChC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,CAAC,CAAC;IACtD,CAAC;IAED;;OAEG;IACH,kBAAkB,CAAC,IAAgB;QACjC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,UAAU,CAAC;YAChB,KAAK,UAAU;gBACb,OAAO,CAAC,CAAC;YACX,KAAK,aAAa;gBAChB,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC3B,OAAO,CAAC,CAAC;gBACX,CAAC;gBACD,OAAO,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3E,KAAK,QAAQ;gBACX,OAAO,CAAC,GAAG,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChD;gBACE,OAAO,CAAC,CAAC;QACb,CAAC;IACH,CAAC;IAED;;OAEG;IACH,aAAa,CAAC,KAAa;QACzB,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;YAChC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC7C,KAAK,EAAE,CAAC;YACV,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,CAAC,cAAc,CACnB,OAA2B;QAE3B,MAAM,EAAE,QAAQ,EAAE,OAAO,GAAG,QAAQ,EAAE,UAAU,EAAE,GAAG,OAAO,CAAC;QAE7D,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,IAAI,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC;YAC/C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,oBAAoB,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,CAAC;gBAChE,MAAM,IAAI,GAAG,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC;gBAC9C,IAAI,IAAI,IAAI,OAAO,EAAE,CAAC;oBACpB,MAAM;wBACJ,EAAE,EAAE,iBAAiB,EAAE;wBACvB,UAAU,EAAE,IAAI;wBAChB,IAAI;qBACL,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,CAAC,gBAAgB,CACrB,IAAmB,EACnB,OAA2B;QAE3B,MAAM,EAAE,QAAQ,EAAE,OAAO,GAAG,QAAQ,EAAE,aAAa,GAAG,GAAG,EAAE,GAAG,OAAO,CAAC;QACtE,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;QAEnC,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,IAAI,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC;YAC/C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,oBAAoB,CAAC,KAAK,EAAE,UAAU,CAAC,EAAE,CAAC;gBAChE,MAAM,IAAI,GAAG,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC;gBAC9C,IAAI,IAAI,IAAI,OAAO,EAAE,CAAC;oBACpB,MAAM,OAAO,GAAY;wBACvB,EAAE,EAAE,iBAAiB,EAAE;wBACvB,UAAU,EAAE,IAAI;wBAChB,IAAI;qBACL,CAAC;oBAEF,yDAAyD;oBACzD,IAAI,IAAI,CAAC,oBAAoB,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;wBACtD,MAAM,OAAO,CAAC;oBAChB,CAAC;oBAED,KAAK,EAAE,CAAC;oBACR,IAAI,KAAK,GAAG,aAAa,KAAK,CAAC,EAAE,CAAC;wBAChC,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;oBAC7C,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED;;OAEG;IACK,CAAC,oBAAoB,CAC3B,KAAa,EACb,UAA0B;QAE1B,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YAChB,4BAA4B;YAC5B,KAAK,MAAM,CAAC,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC;gBAC9C,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,CAAC;oBAC/D,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC;gBAClD,CAAC;YACH,CAAC;QACH,CAAC;aAAM,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;YACvB,wEAAwE;YACxE,kFAAkF;YAClF,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;YAE1C,mDAAmD;YACnD,KAAK,MAAM,CAAC,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC;gBAC9C,IAAI,UAAU,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC;oBACrE,SAAS;gBACX,CAAC;gBAED,uEAAuE;gBACvE,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,yBAAyB,CAC/C,QAAQ,CAAC,UAAU,EACnB,CAAC,CACF,EAAE,CAAC;oBACF,MAAM,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC;gBAC/D,CAAC;YACH,CAAC;QACH,CAAC;aAAM,CAAC;YACN,yCAAyC;YACzC,KAAK,MAAM,CAAC,EAAE,QAAQ,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC;gBAC9C,IAAI,UAAU,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE,CAAC;oBACrE,SAAS;gBACX,CAAC;gBAED,yCAAyC;gBACzC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,kBAAkB,CACxC,QAAQ,CAAC,UAAU,EACnB,KAAK,GAAG,CAAC,CACV,EAAE,CAAC;oBACF,MAAM,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC;gBAC/D,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED;;OAEG;IACK,CAAC,yBAAyB,CAChC,UAA2B,EAC3B,UAAkB;QAElB,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,MAAM,EAAE,CAAC;YACT,OAAO;QACT,CAAC;QAED,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,oBAAoB,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACxE,MAAM,CAAC,IAAI,CAAC,CAAC;YACf,CAAC;YACD,OAAO;QACT,CAAC;QAED,+DAA+D;QAC/D,MAAM,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAEtC,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,oBAAoB,CAAC,UAAU,EAAE,SAAS,CAAC,EAAE,CAAC;YACzE,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,yBAAyB,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,CAAC;gBAC9E,MAAM,CAAC,SAAS,EAAE,GAAG,SAAS,CAAC,CAAC;YAClC,CAAC;QACH,CAAC;IACH,CAAC;IAED;;OAEG;IACK,CAAC,kBAAkB,CACzB,UAA2B,EAC3B,WAAmB;QAEnB,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,MAAM,EAAE,CAAC;YACT,OAAO;QACT,CAAC;QAED,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,WAAW,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,oBAAoB,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC/D,MAAM,CAAC,IAAI,CAAC,CAAC;gBACf,CAAC;YACH,CAAC;YACD,OAAO;QACT,CAAC;QAED,iDAAiD;QACjD,MAAM,SAAS,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAEtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,WAAW,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,oBAAoB,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,CAAC;gBAChE,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,kBAAkB,CAAC,SAAS,EAAE,WAAW,CAAC,EAAE,CAAC;oBACxE,MAAM,CAAC,SAAS,EAAE,GAAG,SAAS,CAAC,CAAC;gBAClC,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED;;OAEG;IACK,WAAW,CAAC,MAAqB,EAAE,QAAuB;QAChE,IAAI,QAAQ,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC;QACpC,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;YAC/D,OAAO,MAAM,KAAK,QAAQ,CAAC;QAC7B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;OAEG;IACK,qBAAqB,CAAC,IAAgB;QAC5C,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,UAAU;gBACb,OAAO,CAAC,CAAC;YACX,KAAK,UAAU;gBACb,OAAO,CAAC,CAAC;YACX,KAAK,aAAa,CAAC,CAAC,CAAC;gBACnB,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACrD,MAAM,MAAM,GAAG,QAAQ,EAAE,IAAI,IAAI,CAAC,CAAC;gBACnC,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAC/B,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,EACnD,CAAC,CACF,CAAC;gBACF,OAAO,MAAM,GAAG,QAAQ,CAAC;YAC3B,CAAC;YACD,KAAK,QAAQ;gBACX,OAAO,CAAC,GAAG,IAAI,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnD;gBACE,OAAO,CAAC,CAAC;QACb,CAAC;IACH,CAAC;IAED;;OAEG;IACK,oBAAoB,CAAC,OAAgB,EAAE,QAAmB;QAChE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAEvC,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAgC,CAAC,CAAC;YACvF,OAAO,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACtD,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED;;OAEG;IACK,WAAW,CAAC,CAAU,EAAE,CAAU;QACxC,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QACzB,IAAI,OAAO,CAAC,KAAK,OAAO,CAAC;YAAE,OAAO,KAAK,CAAC;QACxC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YACzC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YACxC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACtD,CAAC;QACD,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACtD,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACjD,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;CACF"}

package/dist/synthesis/PBESynthesizer.d.ts

@@ -0,0 +1,37 @@
+/**
+ * PBE Synthesizer
+ * @module @nahisaho/musubix-synthesis
+ * @description Programming by Example synthesizer
+ * Traces to: REQ-SYN-003 (PBE Synthesis)
+ */
+import type { Example, IDSL, IPBESynthesizer, Program, Specification, SynthesisOptions, SynthesisResult } from '../types.js';
+/**
+ * PBE Synthesizer implementation
+ */
+export declare class PBESynthesizer implements IPBESynthesizer {
+    private searchNodes;
+    private pruned;
+    private lastDsl;
+    constructor();
+    /**
+     * Synthesize a program from specification
+     */
+    synthesize(spec: Specification, dsl: IDSL, options?: SynthesisOptions): Promise<SynthesisResult>;
+    /**
+     * Get candidates from last synthesis
+     */
+    getCandidates(spec: Specification, dsl: IDSL, limit?: number): Program[];
+    /**
+     * Disambiguate candidates with additional example
+     */
+    disambiguate(candidates: Program[], example: Example): Program[];
+    /**
+     * Check if program satisfies all examples
+     */
+    private satisfiesAllExamples;
+    /**
+     * Check value equality
+     */
+    private valuesEqual;
+}
+//# sourceMappingURL=PBESynthesizer.d.ts.map

package/dist/synthesis/PBESynthesizer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"PBESynthesizer.d.ts","sourceRoot":"","sources":["../../src/synthesis/PBESynthesizer.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACV,OAAO,EACP,IAAI,EACJ,eAAe,EACf,OAAO,EACP,aAAa,EACb,gBAAgB,EAChB,eAAe,EAChB,MAAM,aAAa,CAAC;AAgBrB;;GAEG;AACH,qBAAa,cAAe,YAAW,eAAe;IACpD,OAAO,CAAC,WAAW,CAAS;IAC5B,OAAO,CAAC,MAAM,CAAS;IACvB,OAAO,CAAC,OAAO,CAAc;;IAQ7B;;OAEG;IACG,UAAU,CACd,IAAI,EAAE,aAAa,EACnB,GAAG,EAAE,IAAI,EACT,OAAO,CAAC,EAAE,gBAAgB,GACzB,OAAO,CAAC,eAAe,CAAC;IAyF3B;;OAEG;IACH,aAAa,CAAC,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,OAAO,EAAE;IAkBxE;;OAEG;IACH,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,EAAE;IAahE;;OAEG;IACH,OAAO,CAAC,oBAAoB;IAkB5B;;OAEG;IACH,OAAO,CAAC,WAAW;CAYpB"}