@nahisaho/musubix-synthesis 2.0.0

package/dist/rules/MetaLearner.js

@@ -0,0 +1,144 @@
+/**
+ * Meta Learner
+ * @module @nahisaho/musubix-synthesis
+ * @description Continuous rule improvement and suggestions
+ * Traces to: REQ-SYN-004 (Rule Learning)
+ */
+import { RuleExtractor, resetRuleIdCounter } from './RuleExtractor.js';
+/**
+ * Meta learner implementation
+ */
+export class MetaLearner {
+    library;
+    extractor;
+    pendingSuggestions;
+    totalLearned;
+    constructor(library) {
+        this.library = library;
+        this.extractor = new RuleExtractor();
+        this.pendingSuggestions = [];
+        this.totalLearned = 0;
+    }
+    /**
+     * Learn from synthesis result
+     */
+    async learn(result, usedRules) {
+        // Update confidence for used rules
+        for (const rule of usedRules) {
+            await this.library.recordUsage(rule.id, result.success);
+        }
+        // Extract new rules from successful synthesis
+        if (result.success && result.program) {
+            const newRules = this.extractor.extract({ examples: [] }, // Simplified - would need actual spec
+            result.program);
+            for (const rule of newRules) {
+                // Check if similar rule exists
+                const existing = await this.library.getAll();
+                if (!this.hasSimularRule(rule, existing)) {
+                    this.pendingSuggestions.push(rule);
+                }
+            }
+            this.totalLearned++;
+        }
+    }
+    /**
+     * Update confidence for a rule
+     */
+    async updateConfidence(ruleId, success) {
+        await this.library.recordUsage(ruleId, success);
+    }
+    /**
+     * Suggest new rules
+     */
+    async suggestRules() {
+        // Generalize pending suggestions
+        if (this.pendingSuggestions.length > 0) {
+            const generalized = this.extractor.generalize(this.pendingSuggestions);
+            // Filter out low-confidence suggestions
+            const suggestions = generalized.filter((r) => r.confidence >= 0.5);
+            // Clear pending
+            this.pendingSuggestions.length = 0;
+            return suggestions;
+        }
+        // Analyze existing rules for generalization opportunities
+        const allRules = await this.library.getAll();
+        const opportunities = this.findGeneralizationOpportunities(allRules);
+        return opportunities;
+    }
+    /**
+     * Get total learned count
+     */
+    getTotalLearned() {
+        return this.totalLearned;
+    }
+    /**
+     * Reset state (for testing)
+     */
+    reset() {
+        this.pendingSuggestions.length = 0;
+        this.totalLearned = 0;
+        resetRuleIdCounter();
+    }
+    /**
+     * Check if similar rule exists
+     */
+    hasSimularRule(rule, existing) {
+        for (const r of existing) {
+            if (this.rulesAreSimilar(rule, r)) {
+                return true;
+            }
+        }
+        return false;
+    }
+    /**
+     * Check rule similarity
+     */
+    rulesAreSimilar(a, b) {
+        // Compare template structure
+        const aExpr = a.template.expression;
+        const bExpr = b.template.expression;
+        if (aExpr.kind !== bExpr.kind)
+            return false;
+        if (aExpr.kind === 'application' && bExpr.kind === 'application') {
+            if (aExpr.operator !== bExpr.operator)
+                return false;
+            if (aExpr.args.length !== bExpr.args.length)
+                return false;
+            return true;
+        }
+        if (aExpr.kind === 'constant' && bExpr.kind === 'constant') {
+            return aExpr.name === bExpr.name;
+        }
+        return false;
+    }
+    /**
+     * Find generalization opportunities
+     */
+    findGeneralizationOpportunities(rules) {
+        const opportunities = [];
+        // Group by operator
+        const byOperator = new Map();
+        for (const rule of rules) {
+            const expr = rule.template.expression;
+            if (expr.kind === 'application') {
+                const group = byOperator.get(expr.operator) ?? [];
+                group.push(rule);
+                byOperator.set(expr.operator, group);
+            }
+        }
+        // Look for groups with multiple similar rules
+        for (const [_operator, group] of byOperator) {
+            if (group.length >= 2) {
+                // Could potentially merge these
+                const avgConfidence = group.reduce((sum, r) => sum + r.confidence, 0) / group.length;
+                if (avgConfidence >= 0.7) {
+                    // Create a generalized rule
+                    const generalized = this.extractor.generalize(group);
+                    opportunities.push(...generalized);
+                }
+            }
+        }
+        return opportunities;
+    }
+}
+//# sourceMappingURL=MetaLearner.js.map

package/dist/rules/MetaLearner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"MetaLearner.js","sourceRoot":"","sources":["../../src/rules/MetaLearner.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAQH,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAEvE;;GAEG;AACH,MAAM,OAAO,WAAW;IACL,OAAO,CAAe;IACtB,SAAS,CAAgB;IACzB,kBAAkB,CAAkB;IAC7C,YAAY,CAAS;IAE7B,YAAY,OAAqB;QAC/B,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,IAAI,CAAC,SAAS,GAAG,IAAI,aAAa,EAAE,CAAC;QACrC,IAAI,CAAC,kBAAkB,GAAG,EAAE,CAAC;QAC7B,IAAI,CAAC,YAAY,GAAG,CAAC,CAAC;IACxB,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,KAAK,CACT,MAAuB,EACvB,SAA0B;QAE1B,mCAAmC;QACnC,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;YAC7B,MAAM,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC;QAC1D,CAAC;QAED,8CAA8C;QAC9C,IAAI,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;YACrC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CACrC,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,sCAAsC;YACxD,MAAM,CAAC,OAAO,CACf,CAAC;YAEF,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;gBAC5B,+BAA+B;gBAC/B,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;gBAC7C,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;oBACzC,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACrC,CAAC;YACH,CAAC;YAED,IAAI,CAAC,YAAY,EAAE,CAAC;QACtB,CAAC;IACH,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,gBAAgB,CAAC,MAAc,EAAE,OAAgB;QACrD,MAAM,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAClD,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,YAAY;QAChB,iCAAiC;QACjC,IAAI,IAAI,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvC,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;YAEvE,wCAAwC;YACxC,MAAM,WAAW,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,IAAI,GAAG,CAAC,CAAC;YAEnE,gBAAgB;YAChB,IAAI,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAC;YAEnC,OAAO,WAAW,CAAC;QACrB,CAAC;QAED,0DAA0D;QAC1D,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;QAC7C,MAAM,aAAa,GAAG,IAAI,CAAC,+BAA+B,CAAC,QAAQ,CAAC,CAAC;QAErE,OAAO,aAAa,CAAC;IACvB,CAAC;IAED;;OAEG;IACH,eAAe;QACb,OAAO,IAAI,CAAC,YAAY,CAAC;IAC3B,CAAC;IAED;;OAEG;IACH,KAAK;QACH,IAAI,CAAC,kBAAkB,CAAC,MAAM,GAAG,CAAC,CAAC;QACnC,IAAI,CAAC,YAAY,GAAG,CAAC,CAAC;QACtB,kBAAkB,EAAE,CAAC;IACvB,CAAC;IAED;;OAEG;IACK,cAAc,CAAC,IAAmB,EAAE,QAAyB;QACnE,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,IAAI,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;gBAClC,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;OAEG;IACK,eAAe,CAAC,CAAgB,EAAE,CAAgB;QACxD,6BAA6B;QAC7B,MAAM,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC;QACpC,MAAM,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC;QAEpC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QAE5C,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACjE,IAAI,KAAK,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ;gBAAE,OAAO,KAAK,CAAC;YACpD,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,IAAI,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YAC1D,OAAO,IAAI,CAAC;QACd,CAAC;QAED,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC3D,OAAO,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC;QACnC,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;OAEG;IACK,+BAA+B,CACrC,KAAsB;QAEtB,MAAM,aAAa,GAAoB,EAAE,CAAC;QAE1C,oBAAoB;QACpB,MAAM,UAAU,GAAG,IAAI,GAAG,EAA2B,CAAC;QACtD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC;YACtC,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;gBAChC,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;gBAClD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACjB,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;QAED,8CAA8C;QAC9C,KAAK,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,UAAU,EAAE,CAAC;YAC5C,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBACtB,gCAAgC;gBAChC,MAAM,aAAa,GACjB,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;gBAEjE,IAAI,aAAa,IAAI,GAAG,EAAE,CAAC;oBACzB,4BAA4B;oBAC5B,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;oBACrD,aAAa,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC;gBACrC,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,aAAa,CAAC;IACvB,CAAC;CACF"}

package/dist/rules/RuleExtractor.d.ts

@@ -0,0 +1,69 @@
+/**
+ * Rule Extractor
+ * @module @nahisaho/musubix-synthesis
+ * @description Extract synthesis rules from successful synthesis
+ * Traces to: REQ-SYN-004 (Rule Learning)
+ */
+import type { IRuleExtractor, Program, Specification, SynthesisRule } from '../types.js';
+/**
+ * Reset rule ID counter (for testing)
+ */
+export declare function resetRuleIdCounter(): void;
+/**
+ * Rule extractor implementation
+ */
+export declare class RuleExtractor implements IRuleExtractor {
+    /**
+     * Extract rules from successful synthesis
+     */
+    extract(spec: Specification, program: Program): SynthesisRule[];
+    /**
+     * Generalize multiple rules
+     */
+    generalize(rules: SynthesisRule[]): SynthesisRule[];
+    /**
+     * Extract pattern from specification
+     */
+    private extractPattern;
+    /**
+     * Extract template from program
+     */
+    private extractTemplate;
+    /**
+     * Convert expression to template with holes
+     */
+    private templatizeExpression;
+    /**
+     * Extract sub-rules from nested expressions
+     */
+    private extractSubRules;
+    /**
+     * Generate rule name from program
+     */
+    private generateRuleName;
+    /**
+     * Find common pattern in values
+     */
+    private findCommonPattern;
+    /**
+     * Find common prefix of strings
+     */
+    private findCommonPrefix;
+    /**
+     * Find common suffix of strings
+     */
+    private findCommonSuffix;
+    /**
+     * Group similar rules
+     */
+    private groupSimilarRules;
+    /**
+     * Check if two rules are similar
+     */
+    private areRulesSimilar;
+    /**
+     * Merge similar rules
+     */
+    private mergeRules;
+}
+//# sourceMappingURL=RuleExtractor.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"RuleExtractor.d.ts","sourceRoot":"","sources":["../../src/rules/RuleExtractor.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAGV,cAAc,EACd,OAAO,EAGP,aAAa,EACb,aAAa,EACd,MAAM,aAAa,CAAC;AAcrB;;GAEG;AACH,wBAAgB,kBAAkB,IAAI,IAAI,CAEzC;AAED;;GAEG;AACH,qBAAa,aAAc,YAAW,cAAc;IAClD;;OAEG;IACH,OAAO,CAAC,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,OAAO,GAAG,aAAa,EAAE;IA6B/D;;OAEG;IACH,UAAU,CAAC,KAAK,EAAE,aAAa,EAAE,GAAG,aAAa,EAAE;IAkBnD;;OAEG;IACH,OAAO,CAAC,cAAc;IAyBtB;;OAEG;IACH,OAAO,CAAC,eAAe;IAcvB;;OAEG;IACH,OAAO,CAAC,oBAAoB;IAoC5B;;OAEG;IACH,OAAO,CAAC,eAAe;IAmBvB;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAcxB;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAgCzB;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAWxB;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAWxB;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAwBzB;;OAEG;IACH,OAAO,CAAC,eAAe;IAcvB;;OAEG;IACH,OAAO,CAAC,UAAU;CA6BnB"}

package/dist/rules/RuleExtractor.js

@@ -0,0 +1,290 @@
+/**
+ * Rule Extractor
+ * @module @nahisaho/musubix-synthesis
+ * @description Extract synthesis rules from successful synthesis
+ * Traces to: REQ-SYN-004 (Rule Learning)
+ */
+/**
+ * Rule ID counter
+ */
+let ruleIdCounter = 0;
+/**
+ * Generate rule ID
+ */
+function generateRuleId() {
+    return `RULE-${String(++ruleIdCounter).padStart(3, '0')}`;
+}
+/**
+ * Reset rule ID counter (for testing)
+ */
+export function resetRuleIdCounter() {
+    ruleIdCounter = 0;
+}
+/**
+ * Rule extractor implementation
+ */
+export class RuleExtractor {
+    /**
+     * Extract rules from successful synthesis
+     */
+    extract(spec, program) {
+        const rules = [];
+        // Extract pattern from spec
+        const pattern = this.extractPattern(spec);
+        // Extract template from program
+        const template = this.extractTemplate(program);
+        // Create rule
+        const rule = {
+            id: generateRuleId(),
+            name: this.generateRuleName(program),
+            pattern,
+            template,
+            confidence: 0.5, // Initial confidence (prior)
+            usageCount: 0,
+            successCount: 0,
+        };
+        rules.push(rule);
+        // Also extract sub-rules from nested expressions
+        const subRules = this.extractSubRules(program.expression, spec);
+        rules.push(...subRules);
+        return rules;
+    }
+    /**
+     * Generalize multiple rules
+     */
+    generalize(rules) {
+        // Group similar rules
+        const groups = this.groupSimilarRules(rules);
+        const generalized = [];
+        for (const group of groups) {
+            if (group.length === 1) {
+                generalized.push(group[0]);
+            }
+            else {
+                // Merge similar rules
+                const merged = this.mergeRules(group);
+                generalized.push(merged);
+            }
+        }
+        return generalized;
+    }
+    /**
+     * Extract pattern from specification
+     */
+    extractPattern(spec) {
+        const examples = spec.examples;
+        // Try to find common patterns in inputs
+        const inputPattern = this.findCommonPattern(examples.map((e) => e.input));
+        // Try to find common patterns in outputs
+        const outputPattern = this.findCommonPattern(examples.map((e) => e.output));
+        // Count input keys from first example
+        const firstInput = examples[0]?.input;
+        const inputCount = typeof firstInput === 'object' && firstInput !== null
+            ? Object.keys(firstInput).length
+            : undefined;
+        return {
+            inputPattern,
+            outputPattern,
+            typeConstraints: spec.inputType
+                ? [spec.inputType, spec.outputType ?? 'any']
+                : undefined,
+            inputCount,
+        };
+    }
+    /**
+     * Extract template from program
+     */
+    extractTemplate(program) {
+        const holes = [];
+        const expression = this.templatizeExpression(program.expression, holes, []);
+        return {
+            expression,
+            holes,
+        };
+    }
+    /**
+     * Convert expression to template with holes
+     */
+    templatizeExpression(expr, holes, path) {
+        switch (expr.kind) {
+            case 'constant':
+                // Keep constants as-is
+                return expr;
+            case 'variable':
+                // Keep variables as-is
+                return expr;
+            case 'application':
+                // Recursively templatize arguments
+                return {
+                    kind: 'application',
+                    operator: expr.operator,
+                    args: expr.args.map((arg, i) => this.templatizeExpression(arg, holes, [...path, i])),
+                };
+            case 'lambda':
+                // Templatize body
+                return {
+                    ...expr,
+                    body: this.templatizeExpression(expr.body, holes, [...path, 0]),
+                };
+            default:
+                return expr;
+        }
+    }
+    /**
+     * Extract sub-rules from nested expressions
+     */
+    extractSubRules(expr, _spec) {
+        const subRules = [];
+        if (expr.kind === 'application') {
+            // Create a rule for this operator application
+            for (const arg of expr.args) {
+                if (arg.kind === 'application') {
+                    // Recursively extract from nested applications
+                    subRules.push(...this.extractSubRules(arg, _spec));
+                }
+            }
+        }
+        return subRules;
+    }
+    /**
+     * Generate rule name from program
+     */
+    generateRuleName(program) {
+        const expr = program.expression;
+        if (expr.kind === 'application') {
+            return `${expr.operator}-rule`;
+        }
+        if (expr.kind === 'constant') {
+            return `const-${expr.name}-rule`;
+        }
+        if (expr.kind === 'variable') {
+            return `var-${expr.name}-rule`;
+        }
+        return 'anonymous-rule';
+    }
+    /**
+     * Find common pattern in values
+     */
+    findCommonPattern(values) {
+        if (values.length === 0)
+            return undefined;
+        if (values.length === 1)
+            return values[0];
+        // Check if all values are same type
+        const types = values.map((v) => typeof v);
+        if (new Set(types).size > 1) {
+            return { anyOf: values };
+        }
+        // For strings, try to find common structure
+        if (types[0] === 'string') {
+            const strings = values;
+            const commonPrefix = this.findCommonPrefix(strings);
+            const commonSuffix = this.findCommonSuffix(strings);
+            if (commonPrefix || commonSuffix) {
+                return { prefix: commonPrefix, suffix: commonSuffix };
+            }
+        }
+        // For arrays, try to find common structure
+        if (Array.isArray(values[0])) {
+            const arrays = values;
+            if (arrays.every((a) => a.length === arrays[0].length)) {
+                return { arrayLength: arrays[0].length };
+            }
+        }
+        return { type: types[0] };
+    }
+    /**
+     * Find common prefix of strings
+     */
+    findCommonPrefix(strings) {
+        if (strings.length === 0)
+            return '';
+        let prefix = strings[0];
+        for (const s of strings.slice(1)) {
+            while (!s.startsWith(prefix) && prefix.length > 0) {
+                prefix = prefix.slice(0, -1);
+            }
+        }
+        return prefix;
+    }
+    /**
+     * Find common suffix of strings
+     */
+    findCommonSuffix(strings) {
+        if (strings.length === 0)
+            return '';
+        let suffix = strings[0];
+        for (const s of strings.slice(1)) {
+            while (!s.endsWith(suffix) && suffix.length > 0) {
+                suffix = suffix.slice(1);
+            }
+        }
+        return suffix;
+    }
+    /**
+     * Group similar rules
+     */
+    groupSimilarRules(rules) {
+        const groups = [];
+        const assigned = new Set();
+        for (const rule of rules) {
+            if (assigned.has(rule.id))
+                continue;
+            const group = [rule];
+            assigned.add(rule.id);
+            for (const other of rules) {
+                if (assigned.has(other.id))
+                    continue;
+                if (this.areRulesSimilar(rule, other)) {
+                    group.push(other);
+                    assigned.add(other.id);
+                }
+            }
+            groups.push(group);
+        }
+        return groups;
+    }
+    /**
+     * Check if two rules are similar
+     */
+    areRulesSimilar(a, b) {
+        // Check if templates have same structure
+        const aExpr = a.template.expression;
+        const bExpr = b.template.expression;
+        if (aExpr.kind !== bExpr.kind)
+            return false;
+        if (aExpr.kind === 'application' && bExpr.kind === 'application') {
+            return aExpr.operator === bExpr.operator;
+        }
+        return false;
+    }
+    /**
+     * Merge similar rules
+     */
+    mergeRules(rules) {
+        // Use the most common template
+        const templateCounts = new Map();
+        for (const rule of rules) {
+            const key = JSON.stringify(rule.template.expression);
+            templateCounts.set(key, (templateCounts.get(key) ?? 0) + 1);
+        }
+        let bestTemplate = rules[0].template;
+        let bestCount = 0;
+        for (const [key, count] of templateCounts) {
+            if (count > bestCount) {
+                bestCount = count;
+                bestTemplate = rules.find((r) => JSON.stringify(r.template.expression) === key).template;
+            }
+        }
+        return {
+            id: generateRuleId(),
+            name: `merged-${rules[0].name ?? 'rule'}`,
+            pattern: rules[0].pattern, // Use first pattern (could be merged)
+            template: bestTemplate,
+            confidence: rules.reduce((sum, r) => sum + r.confidence, 0) / rules.length,
+            usageCount: rules.reduce((sum, r) => sum + (r.usageCount ?? 0), 0),
+            successCount: rules.reduce((sum, r) => sum + (r.successCount ?? 0), 0),
+        };
+    }
+}
+//# sourceMappingURL=RuleExtractor.js.map

package/dist/rules/RuleExtractor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"RuleExtractor.js","sourceRoot":"","sources":["../../src/rules/RuleExtractor.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAaH;;GAEG;AACH,IAAI,aAAa,GAAG,CAAC,CAAC;AAEtB;;GAEG;AACH,SAAS,cAAc;IACrB,OAAO,QAAQ,MAAM,CAAC,EAAE,aAAa,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;AAC5D,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,kBAAkB;IAChC,aAAa,GAAG,CAAC,CAAC;AACpB,CAAC;AAED;;GAEG;AACH,MAAM,OAAO,aAAa;IACxB;;OAEG;IACH,OAAO,CAAC,IAAmB,EAAE,OAAgB;QAC3C,MAAM,KAAK,GAAoB,EAAE,CAAC;QAElC,4BAA4B;QAC5B,MAAM,OAAO,GAAG,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;QAE1C,gCAAgC;QAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;QAE/C,cAAc;QACd,MAAM,IAAI,GAAkB;YAC1B,EAAE,EAAE,cAAc,EAAE;YACpB,IAAI,EAAE,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC;YACpC,OAAO;YACP,QAAQ;YACR,UAAU,EAAE,GAAG,EAAE,6BAA6B;YAC9C,UAAU,EAAE,CAAC;YACb,YAAY,EAAE,CAAC;SAChB,CAAC;QAEF,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEjB,iDAAiD;QACjD,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;QAChE,KAAK,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,CAAC;QAExB,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;OAEG;IACH,UAAU,CAAC,KAAsB;QAC/B,sBAAsB;QACtB,MAAM,MAAM,GAAG,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;QAC7C,MAAM,WAAW,GAAoB,EAAE,CAAC;QAExC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACvB,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7B,CAAC;iBAAM,CAAC;gBACN,sBAAsB;gBACtB,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;gBACtC,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC3B,CAAC;QACH,CAAC;QAED,OAAO,WAAW,CAAC;IACrB,CAAC;IAED;;OAEG;IACK,cAAc,CAAC,IAAmB;QACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;QAE/B,wCAAwC;QACxC,MAAM,YAAY,GAAG,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QAE1E,yCAAyC;QACzC,MAAM,aAAa,GAAG,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QAE5E,sCAAsC;QACtC,MAAM,UAAU,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC;QACtC,MAAM,UAAU,GAAG,OAAO,UAAU,KAAK,QAAQ,IAAI,UAAU,KAAK,IAAI;YACtE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,UAAqC,CAAC,CAAC,MAAM;YAC3D,CAAC,CAAC,SAAS,CAAC;QAEd,OAAO;YACL,YAAY;YACZ,aAAa;YACb,eAAe,EAAE,IAAI,CAAC,SAAS;gBAC7B,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,UAAU,IAAI,KAAK,CAAC;gBAC5C,CAAC,CAAC,SAAS;YACb,UAAU;SACX,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,eAAe,CAAC,OAAgB;QACtC,MAAM,KAAK,GAAqB,EAAE,CAAC;QACnC,MAAM,UAAU,GAAG,IAAI,CAAC,oBAAoB,CAC1C,OAAO,CAAC,UAAU,EAClB,KAAK,EACL,EAAE,CACH,CAAC;QAEF,OAAO;YACL,UAAU;YACV,KAAK;SACN,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,oBAAoB,CAC1B,IAAgB,EAChB,KAAuB,EACvB,IAAc;QAEd,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YAClB,KAAK,UAAU;gBACb,uBAAuB;gBACvB,OAAO,IAAI,CAAC;YAEd,KAAK,UAAU;gBACb,uBAAuB;gBACvB,OAAO,IAAI,CAAC;YAEd,KAAK,aAAa;gBAChB,mCAAmC;gBACnC,OAAO;oBACL,IAAI,EAAE,aAAa;oBACnB,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAC7B,IAAI,CAAC,oBAAoB,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,CACpD;iBACF,CAAC;YAEJ,KAAK,QAAQ;gBACX,kBAAkB;gBAClB,OAAO;oBACL,GAAG,IAAI;oBACP,IAAI,EAAE,IAAI,CAAC,oBAAoB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC;iBAChE,CAAC;YAEJ;gBACE,OAAO,IAAI,CAAC;QAChB,CAAC;IACH,CAAC;IAED;;OAEG;IACK,eAAe,CACrB,IAAgB,EAChB,KAAoB;QAEpB,MAAM,QAAQ,GAAoB,EAAE,CAAC;QAErC,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAChC,8CAA8C;YAC9C,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC5B,IAAI,GAAG,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;oBAC/B,+CAA+C;oBAC/C,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,eAAe,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC;gBACrD,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED;;OAEG;IACK,gBAAgB,CAAC,OAAgB;QACvC,MAAM,IAAI,GAAG,OAAO,CAAC,UAAU,CAAC;QAChC,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAChC,OAAO,GAAG,IAAI,CAAC,QAAQ,OAAO,CAAC;QACjC,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC7B,OAAO,SAAS,IAAI,CAAC,IAAI,OAAO,CAAC;QACnC,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC7B,OAAO,OAAO,IAAI,CAAC,IAAI,OAAO,CAAC;QACjC,CAAC;QACD,OAAO,gBAAgB,CAAC;IAC1B,CAAC;IAED;;OAEG;IACK,iBAAiB,CAAC,MAAiB;QACzC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,SAAS,CAAC;QAC1C,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;QAE1C,oCAAoC;QACpC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC;QAC1C,IAAI,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YAC5B,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QAC3B,CAAC;QAED,4CAA4C;QAC5C,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC1B,MAAM,OAAO,GAAG,MAAkB,CAAC;YACnC,MAAM,YAAY,GAAG,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;YACpD,MAAM,YAAY,GAAG,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;YAEpD,IAAI,YAAY,IAAI,YAAY,EAAE,CAAC;gBACjC,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;YACxD,CAAC;QACH,CAAC;QAED,2CAA2C;QAC3C,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7B,MAAM,MAAM,GAAG,MAAqB,CAAC;YACrC,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;gBACvD,OAAO,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;YAC3C,CAAC;QACH,CAAC;QAED,OAAO,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5B,CAAC;IAED;;OAEG;IACK,gBAAgB,CAAC,OAAiB;QACxC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QACpC,IAAI,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACxB,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;YACjC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAClD,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YAC/B,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACK,gBAAgB,CAAC,OAAiB;QACxC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAC;QACpC,IAAI,MAAM,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACxB,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;YACjC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAChD,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAC3B,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACK,iBAAiB,CAAC,KAAsB;QAC9C,MAAM,MAAM,GAAsB,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QAEnC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBAAE,SAAS;YAEpC,MAAM,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC;YACrB,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAEtB,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;gBAC1B,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;oBAAE,SAAS;gBACrC,IAAI,IAAI,CAAC,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;oBACtC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;oBAClB,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBACzB,CAAC;YACH,CAAC;YAED,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrB,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACK,eAAe,CAAC,CAAgB,EAAE,CAAgB;QACxD,yCAAyC;QACzC,MAAM,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC;QACpC,MAAM,KAAK,GAAG,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC;QAEpC,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QAE5C,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa,IAAI,KAAK,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACjE,OAAO,KAAK,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,CAAC;QAC3C,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;OAEG;IACK,UAAU,CAAC,KAAsB;QACvC,+BAA+B;QAC/B,MAAM,cAAc,GAAG,IAAI,GAAG,EAAkB,CAAC;QACjD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;YACrD,cAAc,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9D,CAAC;QAED,IAAI,YAAY,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;QACrC,IAAI,SAAS,GAAG,CAAC,CAAC;QAClB,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,cAAc,EAAE,CAAC;YAC1C,IAAI,KAAK,GAAG,SAAS,EAAE,CAAC;gBACtB,SAAS,GAAG,KAAK,CAAC;gBAClB,YAAY,GAAG,KAAK,CAAC,IAAI,CACvB,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,KAAK,GAAG,CACpD,CAAC,QAAQ,CAAC;YACd,CAAC;QACH,CAAC;QAED,OAAO;YACL,EAAE,EAAE,cAAc,EAAE;YACpB,IAAI,EAAE,UAAU,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,MAAM,EAAE;YACzC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,sCAAsC;YACjE,QAAQ,EAAE,YAAY;YACtB,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM;YAC1E,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;YAClE,YAAY,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;SACvE,CAAC;IACJ,CAAC;CACF"}

package/dist/rules/RuleLibrary.d.ts

@@ -0,0 +1,55 @@
+/**
+ * Rule Library
+ * @module @nahisaho/musubix-synthesis
+ * @description Storage and retrieval of synthesis rules
+ * Traces to: REQ-SYN-004 (Rule Learning)
+ */
+import type { IRuleLibrary, Specification, SynthesisRule } from '../types.js';
+/**
+ * Rule library implementation
+ */
+export declare class RuleLibrary implements IRuleLibrary {
+    private rules;
+    constructor();
+    /**
+     * Add a rule to the library
+     */
+    add(rule: SynthesisRule): Promise<void>;
+    /**
+     * Get a rule by ID
+     */
+    get(id: string): Promise<SynthesisRule | null>;
+    /**
+     * Match rules against specification
+     */
+    match(spec: Specification): Promise<SynthesisRule[]>;
+    /**
+     * Record rule usage
+     */
+    recordUsage(ruleId: string, success: boolean): Promise<void>;
+    /**
+     * Calculate confidence from usage statistics
+     */
+    private calculateConfidence;
+    /**
+     * Prune low-confidence rules
+     */
+    prune(threshold: number): Promise<number>;
+    /**
+     * Get all rules
+     */
+    getAll(): Promise<SynthesisRule[]>;
+    /**
+     * Check if rule matches spec
+     */
+    private ruleMatchesSpec;
+    /**
+     * Check if value matches pattern
+     */
+    private valueMatchesPattern;
+    /**
+     * Value equality
+     */
+    private valuesEqual;
+}
+//# sourceMappingURL=RuleLibrary.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"RuleLibrary.d.ts","sourceRoot":"","sources":["../../src/rules/RuleLibrary.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAE9E;;GAEG;AACH,qBAAa,WAAY,YAAW,YAAY;IAC9C,OAAO,CAAC,KAAK,CAA6B;;IAM1C;;OAEG;IACG,GAAG,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC;IAI7C;;OAEG;IACG,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,GAAG,IAAI,CAAC;IAIpD;;OAEG;IACG,KAAK,CAAC,IAAI,EAAE,aAAa,GAAG,OAAO,CAAC,aAAa,EAAE,CAAC;IAe1D;;OAEG;IACG,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC;IAkBlE;;OAEG;IACH,OAAO,CAAC,mBAAmB;IAQ3B;;OAEG;IACG,KAAK,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAsB/C;;OAEG;IACG,MAAM,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC;IAIxC;;OAEG;IACH,OAAO,CAAC,eAAe;IAgDvB;;OAEG;IACH,OAAO,CAAC,mBAAmB;IAmC3B;;OAEG;IACH,OAAO,CAAC,WAAW;CAQpB"}