@nahisaho/musubix-pattern-mcp 1.0.0

package/dist/compression/index.d.ts

@@ -0,0 +1,7 @@
+/**
+ * @fileoverview Compression module exports
+ * @traceability TSK-PATTERN-002
+ */
+export { PatternCompressor, type MDLConfig, type MDLScore, type LibraryEntry } from './pattern-compressor.js';
+export { PatternQualityEvaluator, type PatternQuality, type QualityConfig } from './quality-evaluator.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/compression/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,iBAAiB,EAAE,KAAK,SAAS,EAAE,KAAK,QAAQ,EAAE,KAAK,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAC9G,OAAO,EAAE,uBAAuB,EAAE,KAAK,cAAc,EAAE,KAAK,aAAa,EAAE,MAAM,wBAAwB,CAAC"}

package/dist/compression/index.js

@@ -0,0 +1,7 @@
+/**
+ * @fileoverview Compression module exports
+ * @traceability TSK-PATTERN-002
+ */
+export { PatternCompressor } from './pattern-compressor.js';
+export { PatternQualityEvaluator } from './quality-evaluator.js';
+//# sourceMappingURL=index.js.map

package/dist/compression/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/compression/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,iBAAiB,EAAoD,MAAM,yBAAyB,CAAC;AAC9G,OAAO,EAAE,uBAAuB,EAA2C,MAAM,wBAAwB,CAAC"}

package/dist/compression/pattern-compressor.d.ts

@@ -0,0 +1,111 @@
+/**
+ * @fileoverview Pattern compression using MDL (Minimum Description Length)
+ * @traceability TSK-PATTERN-002, REQ-PATTERN-001-F002
+ */
+import type { ASTNode, Pattern } from '../types.js';
+/**
+ * MDL scoring configuration
+ */
+export interface MDLConfig {
+    /** Weight for library size */
+    libraryWeight: number;
+    /** Weight for encoding cost */
+    encodingWeight: number;
+    /** Minimum compression ratio to accept abstraction */
+    minCompressionRatio: number;
+}
+/**
+ * MDL score result
+ */
+export interface MDLScore {
+    /** Total MDL score (lower is better) */
+    total: number;
+    /** Library description length */
+    libraryLength: number;
+    /** Data encoding length given library */
+    encodingLength: number;
+    /** Compression ratio vs raw */
+    compressionRatio: number;
+}
+/**
+ * Pattern library entry
+ */
+export interface LibraryEntry {
+    pattern: Pattern;
+    usageCount: number;
+    compressionGain: number;
+}
+/**
+ * Pattern compression using MDL principle
+ *
+ * @description
+ * Implements DreamCoder-style compression using MDL:
+ * - Library = set of reusable patterns
+ * - Goal: minimize |Library| + |Data given Library|
+ */
+export declare class PatternCompressor {
+    private config;
+    private library;
+    constructor(config?: Partial<MDLConfig>);
+    /**
+     * Calculate MDL score for a set of patterns
+     */
+    calculateMDL(patterns: Pattern[], data: ASTNode[]): MDLScore;
+    /**
+     * Calculate library description length
+     */
+    private calculateLibraryLength;
+    /**
+     * Calculate encoding length given library
+     */
+    private calculateEncodingLength;
+    /**
+     * Calculate raw description length (no library)
+     */
+    private calculateRawLength;
+    /**
+     * Calculate AST complexity (node count + depth penalty)
+     */
+    private astComplexity;
+    /**
+     * Find patterns that match an AST
+     */
+    private findMatches;
+    /**
+     * Match pattern against AST
+     */
+    private matchPattern;
+    /**
+     * Compress library by merging similar patterns
+     */
+    compressLibrary(patterns: Pattern[]): Pattern[];
+    /**
+     * Try to merge two patterns
+     */
+    private tryMerge;
+    /**
+     * Merge two ASTs, creating holes for differences
+     */
+    private mergeAsts;
+    /**
+     * Extract holes from merged AST
+     */
+    private extractHolesFromMerged;
+    /**
+     * Add pattern to library
+     */
+    addToLibrary(pattern: Pattern): void;
+    /**
+     * Get library entries sorted by usage
+     */
+    getLibrary(): LibraryEntry[];
+    /**
+     * Clear library
+     */
+    clearLibrary(): void;
+    /**
+     * Get library size
+     */
+    get librarySize(): number;
+}
+//# sourceMappingURL=pattern-compressor.d.ts.map

package/dist/compression/pattern-compressor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pattern-compressor.d.ts","sourceRoot":"","sources":["../../src/compression/pattern-compressor.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAEpD;;GAEG;AACH,MAAM,WAAW,SAAS;IACxB,8BAA8B;IAC9B,aAAa,EAAE,MAAM,CAAC;IACtB,+BAA+B;IAC/B,cAAc,EAAE,MAAM,CAAC;IACvB,sDAAsD;IACtD,mBAAmB,EAAE,MAAM,CAAC;CAC7B;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB,wCAAwC;IACxC,KAAK,EAAE,MAAM,CAAC;IACd,iCAAiC;IACjC,aAAa,EAAE,MAAM,CAAC;IACtB,yCAAyC;IACzC,cAAc,EAAE,MAAM,CAAC;IACvB,+BAA+B;IAC/B,gBAAgB,EAAE,MAAM,CAAC;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,OAAO,EAAE,OAAO,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,eAAe,EAAE,MAAM,CAAC;CACzB;AAED;;;;;;;GAOG;AACH,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,MAAM,CAAY;IAC1B,OAAO,CAAC,OAAO,CAAwC;gBAE3C,MAAM,GAAE,OAAO,CAAC,SAAS,CAAM;IAQ3C;;OAEG;IACH,YAAY,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,QAAQ;IAwB5D;;OAEG;IACH,OAAO,CAAC,sBAAsB;IAc9B;;OAEG;IACH,OAAO,CAAC,uBAAuB;IAqB/B;;OAEG;IACH,OAAO,CAAC,kBAAkB;IAI1B;;OAEG;IACH,OAAO,CAAC,aAAa;IAmBrB;;OAEG;IACH,OAAO,CAAC,WAAW;IA0BnB;;OAEG;IACH,OAAO,CAAC,YAAY;IA6CpB;;OAEG;IACH,eAAe,CAAC,QAAQ,EAAE,OAAO,EAAE,GAAG,OAAO,EAAE;IAsC/C;;OAEG;IACH,OAAO,CAAC,QAAQ;IAuBhB;;OAEG;IACH,OAAO,CAAC,SAAS;IAgDjB;;OAEG;IACH,OAAO,CAAC,sBAAsB;IAmB9B;;OAEG;IACH,YAAY,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI;IAQpC;;OAEG;IACH,UAAU,IAAI,YAAY,EAAE;IAK5B;;OAEG;IACH,YAAY,IAAI,IAAI;IAIpB;;OAEG;IACH,IAAI,WAAW,IAAI,MAAM,CAExB;CACF"}

package/dist/compression/pattern-compressor.js

@@ -0,0 +1,307 @@
+/**
+ * @fileoverview Pattern compression using MDL (Minimum Description Length)
+ * @traceability TSK-PATTERN-002, REQ-PATTERN-001-F002
+ */
+/**
+ * Pattern compression using MDL principle
+ *
+ * @description
+ * Implements DreamCoder-style compression using MDL:
+ * - Library = set of reusable patterns
+ * - Goal: minimize |Library| + |Data given Library|
+ */
+export class PatternCompressor {
+    config;
+    library = new Map();
+    constructor(config = {}) {
+        this.config = {
+            libraryWeight: config.libraryWeight ?? 1.0,
+            encodingWeight: config.encodingWeight ?? 1.0,
+            minCompressionRatio: config.minCompressionRatio ?? 1.1,
+        };
+    }
+    /**
+     * Calculate MDL score for a set of patterns
+     */
+    calculateMDL(patterns, data) {
+        // Library description length: sum of pattern complexities
+        const libraryLength = this.calculateLibraryLength(patterns);
+        // Encoding length: cost to describe data using library
+        const encodingLength = this.calculateEncodingLength(patterns, data);
+        // Raw description length (without library)
+        const rawLength = this.calculateRawLength(data);
+        const total = this.config.libraryWeight * libraryLength +
+            this.config.encodingWeight * encodingLength;
+        const compressionRatio = rawLength / (libraryLength + encodingLength);
+        return {
+            total,
+            libraryLength,
+            encodingLength,
+            compressionRatio,
+        };
+    }
+    /**
+     * Calculate library description length
+     */
+    calculateLibraryLength(patterns) {
+        let length = 0;
+        for (const pattern of patterns) {
+            // Cost of pattern structure
+            length += this.astComplexity(pattern.ast);
+            // Cost of holes (each hole adds to description)
+            length += pattern.holes.length * 2;
+        }
+        return length;
+    }
+    /**
+     * Calculate encoding length given library
+     */
+    calculateEncodingLength(patterns, data) {
+        let totalLength = 0;
+        for (const ast of data) {
+            // Find best matching pattern
+            const matches = this.findMatches(patterns, ast);
+            if (matches.length > 0) {
+                // Cost = log(pattern index) + cost of hole bindings
+                const bestMatch = matches[0];
+                totalLength += Math.log2(patterns.length + 1); // Pattern selection
+                totalLength += bestMatch.bindingCost; // Hole binding cost
+            }
+            else {
+                // No pattern matches - use raw encoding
+                totalLength += this.astComplexity(ast);
+            }
+        }
+        return totalLength;
+    }
+    /**
+     * Calculate raw description length (no library)
+     */
+    calculateRawLength(data) {
+        return data.reduce((sum, ast) => sum + this.astComplexity(ast), 0);
+    }
+    /**
+     * Calculate AST complexity (node count + depth penalty)
+     */
+    astComplexity(ast, depth = 0) {
+        let complexity = 1 + depth * 0.1; // Base + depth penalty
+        // Type complexity
+        complexity += ast.type.length * 0.1;
+        // Value complexity
+        if (ast.value !== undefined) {
+            complexity += String(ast.value).length * 0.05;
+        }
+        // Recursive children
+        for (const child of ast.children) {
+            complexity += this.astComplexity(child, depth + 1);
+        }
+        return complexity;
+    }
+    /**
+     * Find patterns that match an AST
+     */
+    findMatches(patterns, ast) {
+        const matches = [];
+        for (const pattern of patterns) {
+            const result = this.matchPattern(pattern.ast, ast);
+            if (result.matches) {
+                matches.push({
+                    patternId: pattern.id,
+                    bindingCost: result.bindingCost,
+                    bindings: result.bindings,
+                });
+            }
+        }
+        // Sort by binding cost (lower is better)
+        return matches.sort((a, b) => a.bindingCost - b.bindingCost);
+    }
+    /**
+     * Match pattern against AST
+     */
+    matchPattern(pattern, target) {
+        const bindings = new Map();
+        let bindingCost = 0;
+        const match = (p, t) => {
+            // Hole matches anything
+            if (p.type === 'Hole') {
+                const holeId = p.value;
+                bindings.set(holeId, t);
+                bindingCost += this.astComplexity(t);
+                return true;
+            }
+            // Type must match
+            if (p.type !== t.type) {
+                return false;
+            }
+            // Value must match if present
+            if (p.value !== undefined && p.value !== t.value) {
+                return false;
+            }
+            // Children must match
+            if (p.children.length !== t.children.length) {
+                return false;
+            }
+            for (let i = 0; i < p.children.length; i++) {
+                if (!match(p.children[i], t.children[i])) {
+                    return false;
+                }
+            }
+            return true;
+        };
+        const matches = match(pattern, target);
+        return { matches, bindingCost, bindings };
+    }
+    /**
+     * Compress library by merging similar patterns
+     */
+    compressLibrary(patterns) {
+        if (patterns.length < 2)
+            return patterns;
+        const compressed = [];
+        const merged = new Set();
+        for (let i = 0; i < patterns.length; i++) {
+            if (merged.has(patterns[i].id))
+                continue;
+            let bestMerge = null;
+            let bestScore = Infinity;
+            for (let j = i + 1; j < patterns.length; j++) {
+                if (merged.has(patterns[j].id))
+                    continue;
+                // Try merging i and j
+                const mergedPattern = this.tryMerge(patterns[i], patterns[j]);
+                if (mergedPattern) {
+                    const beforeMDL = this.calculateMDL([patterns[i], patterns[j]], []);
+                    const afterMDL = this.calculateMDL([mergedPattern], []);
+                    if (afterMDL.total < beforeMDL.total && afterMDL.compressionRatio >= this.config.minCompressionRatio) {
+                        if (afterMDL.total < bestScore) {
+                            bestScore = afterMDL.total;
+                            bestMerge = mergedPattern;
+                            merged.add(patterns[j].id);
+                        }
+                    }
+                }
+            }
+            compressed.push(bestMerge ?? patterns[i]);
+            merged.add(patterns[i].id);
+        }
+        return compressed;
+    }
+    /**
+     * Try to merge two patterns
+     */
+    tryMerge(a, b) {
+        // Simple structural merge - if same type, create pattern with holes for differences
+        if (a.ast.type !== b.ast.type) {
+            return null;
+        }
+        const mergedAst = this.mergeAsts(a.ast, b.ast);
+        if (!mergedAst)
+            return null;
+        const holes = this.extractHolesFromMerged(mergedAst);
+        return {
+            id: `merged-${Date.now()}`,
+            name: `merged_${a.name}_${b.name}`,
+            language: a.language,
+            ast: mergedAst,
+            holes,
+            frequency: a.frequency + b.frequency,
+            createdAt: new Date().toISOString(),
+            updatedAt: new Date().toISOString(),
+        };
+    }
+    /**
+     * Merge two ASTs, creating holes for differences
+     */
+    mergeAsts(a, b) {
+        const defaultPos = { row: 0, column: 0 };
+        // Different types - create hole
+        if (a.type !== b.type) {
+            return {
+                type: 'Hole',
+                value: `H${Date.now()}`,
+                children: [],
+                startPosition: defaultPos,
+                endPosition: defaultPos,
+            };
+        }
+        // Same type - check children
+        const children = [];
+        const maxChildren = Math.max(a.children.length, b.children.length);
+        for (let i = 0; i < maxChildren; i++) {
+            const childA = a.children[i];
+            const childB = b.children[i];
+            if (!childA || !childB) {
+                // Optional child - create hole
+                children.push({
+                    type: 'Hole',
+                    value: `H${Date.now()}_${i}`,
+                    children: [],
+                    startPosition: defaultPos,
+                    endPosition: defaultPos,
+                });
+            }
+            else {
+                const merged = this.mergeAsts(childA, childB);
+                if (merged) {
+                    children.push(merged);
+                }
+            }
+        }
+        return {
+            type: a.type,
+            value: a.value === b.value ? a.value : undefined,
+            children,
+            startPosition: a.startPosition,
+            endPosition: b.endPosition,
+        };
+    }
+    /**
+     * Extract holes from merged AST
+     */
+    extractHolesFromMerged(ast) {
+        const holes = [];
+        const traverse = (node) => {
+            if (node.type === 'Hole' && node.value) {
+                holes.push({
+                    id: String(node.value),
+                    type: 'any',
+                });
+            }
+            for (const child of node.children) {
+                traverse(child);
+            }
+        };
+        traverse(ast);
+        return holes;
+    }
+    /**
+     * Add pattern to library
+     */
+    addToLibrary(pattern) {
+        this.library.set(pattern.id, {
+            pattern,
+            usageCount: pattern.frequency,
+            compressionGain: 0,
+        });
+    }
+    /**
+     * Get library entries sorted by usage
+     */
+    getLibrary() {
+        return Array.from(this.library.values())
+            .sort((a, b) => b.usageCount - a.usageCount);
+    }
+    /**
+     * Clear library
+     */
+    clearLibrary() {
+        this.library.clear();
+    }
+    /**
+     * Get library size
+     */
+    get librarySize() {
+        return this.library.size;
+    }
+}
+//# sourceMappingURL=pattern-compressor.js.map

package/dist/compression/pattern-compressor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pattern-compressor.js","sourceRoot":"","sources":["../../src/compression/pattern-compressor.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAuCH;;;;;;;GAOG;AACH,MAAM,OAAO,iBAAiB;IACpB,MAAM,CAAY;IAClB,OAAO,GAA8B,IAAI,GAAG,EAAE,CAAC;IAEvD,YAAY,SAA6B,EAAE;QACzC,IAAI,CAAC,MAAM,GAAG;YACZ,aAAa,EAAE,MAAM,CAAC,aAAa,IAAI,GAAG;YAC1C,cAAc,EAAE,MAAM,CAAC,cAAc,IAAI,GAAG;YAC5C,mBAAmB,EAAE,MAAM,CAAC,mBAAmB,IAAI,GAAG;SACvD,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,YAAY,CAAC,QAAmB,EAAE,IAAe;QAC/C,0DAA0D;QAC1D,MAAM,aAAa,GAAG,IAAI,CAAC,sBAAsB,CAAC,QAAQ,CAAC,CAAC;QAE5D,uDAAuD;QACvD,MAAM,cAAc,GAAG,IAAI,CAAC,uBAAuB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;QAEpE,2CAA2C;QAC3C,MAAM,SAAS,GAAG,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;QAEhD,MAAM,KAAK,GACT,IAAI,CAAC,MAAM,CAAC,aAAa,GAAG,aAAa;YACzC,IAAI,CAAC,MAAM,CAAC,cAAc,GAAG,cAAc,CAAC;QAE9C,MAAM,gBAAgB,GAAG,SAAS,GAAG,CAAC,aAAa,GAAG,cAAc,CAAC,CAAC;QAEtE,OAAO;YACL,KAAK;YACL,aAAa;YACb,cAAc;YACd,gBAAgB;SACjB,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,sBAAsB,CAAC,QAAmB;QAChD,IAAI,MAAM,GAAG,CAAC,CAAC;QAEf,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,4BAA4B;YAC5B,MAAM,IAAI,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YAE1C,gDAAgD;YAChD,MAAM,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC;QACrC,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACK,uBAAuB,CAAC,QAAmB,EAAE,IAAe;QAClE,IAAI,WAAW,GAAG,CAAC,CAAC;QAEpB,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,6BAA6B;YAC7B,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YAEhD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvB,oDAAoD;gBACpD,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;gBAC7B,WAAW,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,oBAAoB;gBACnE,WAAW,IAAI,SAAS,CAAC,WAAW,CAAC,CAAC,oBAAoB;YAC5D,CAAC;iBAAM,CAAC;gBACN,wCAAwC;gBACxC,WAAW,IAAI,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;QAED,OAAO,WAAW,CAAC;IACrB,CAAC;IAED;;OAEG;IACK,kBAAkB,CAAC,IAAe;QACxC,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACrE,CAAC;IAED;;OAEG;IACK,aAAa,CAAC,GAAY,EAAE,KAAK,GAAG,CAAC;QAC3C,IAAI,UAAU,GAAG,CAAC,GAAG,KAAK,GAAG,GAAG,CAAC,CAAC,uBAAuB;QAEzD,kBAAkB;QAClB,UAAU,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,GAAG,GAAG,CAAC;QAEpC,mBAAmB;QACnB,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC5B,UAAU,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,MAAM,GAAG,IAAI,CAAC;QAChD,CAAC;QAED,qBAAqB;QACrB,KAAK,MAAM,KAAK,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;YACjC,UAAU,IAAI,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QACrD,CAAC;QAED,OAAO,UAAU,CAAC;IACpB,CAAC;IAED;;OAEG;IACK,WAAW,CAAC,QAAmB,EAAE,GAAY;QAKnD,MAAM,OAAO,GAIR,EAAE,CAAC;QAER,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACnD,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;gBACnB,OAAO,CAAC,IAAI,CAAC;oBACX,SAAS,EAAE,OAAO,CAAC,EAAE;oBACrB,WAAW,EAAE,MAAM,CAAC,WAAW;oBAC/B,QAAQ,EAAE,MAAM,CAAC,QAAQ;iBAC1B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,yCAAyC;QACzC,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,WAAW,CAAC,CAAC;IAC/D,CAAC;IAED;;OAEG;IACK,YAAY,CAAC,OAAgB,EAAE,MAAe;QAKpD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAmB,CAAC;QAC5C,IAAI,WAAW,GAAG,CAAC,CAAC;QAEpB,MAAM,KAAK,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE;YAChD,wBAAwB;YACxB,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBACtB,MAAM,MAAM,GAAG,CAAC,CAAC,KAAe,CAAC;gBACjC,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;gBACxB,WAAW,IAAI,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;gBACrC,OAAO,IAAI,CAAC;YACd,CAAC;YAED,kBAAkB;YAClB,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;gBACtB,OAAO,KAAK,CAAC;YACf,CAAC;YAED,8BAA8B;YAC9B,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,EAAE,CAAC;gBACjD,OAAO,KAAK,CAAC;YACf,CAAC;YAED,sBAAsB;YACtB,IAAI,CAAC,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;gBAC5C,OAAO,KAAK,CAAC;YACf,CAAC;YAED,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3C,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBACzC,OAAO,KAAK,CAAC;gBACf,CAAC;YACH,CAAC;YAED,OAAO,IAAI,CAAC;QACd,CAAC,CAAC;QAEF,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QACvC,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC;IAC5C,CAAC;IAED;;OAEG;IACH,eAAe,CAAC,QAAmB;QACjC,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,QAAQ,CAAC;QAEzC,MAAM,UAAU,GAAc,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;QAEjC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACzC,IAAI,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAAE,SAAS;YAEzC,IAAI,SAAS,GAAmB,IAAI,CAAC;YACrC,IAAI,SAAS,GAAG,QAAQ,CAAC;YAEzB,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC7C,IAAI,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;oBAAE,SAAS;gBAEzC,sBAAsB;gBACtB,MAAM,aAAa,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC9D,IAAI,aAAa,EAAE,CAAC;oBAClB,MAAM,SAAS,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBACpE,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,aAAa,CAAC,EAAE,EAAE,CAAC,CAAC;oBAExD,IAAI,QAAQ,CAAC,KAAK,GAAG,SAAS,CAAC,KAAK,IAAI,QAAQ,CAAC,gBAAgB,IAAI,IAAI,CAAC,MAAM,CAAC,mBAAmB,EAAE,CAAC;wBACrG,IAAI,QAAQ,CAAC,KAAK,GAAG,SAAS,EAAE,CAAC;4BAC/B,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC;4BAC3B,SAAS,GAAG,aAAa,CAAC;4BAC1B,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;wBAC7B,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YAED,UAAU,CAAC,IAAI,CAAC,SAAS,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;YAC1C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC7B,CAAC;QAED,OAAO,UAAU,CAAC;IACpB,CAAC;IAED;;OAEG;IACK,QAAQ,CAAC,CAAU,EAAE,CAAU;QACrC,oFAAoF;QACpF,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;YAC9B,OAAO,IAAI,CAAC;QACd,CAAC;QAED,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QAC/C,IAAI,CAAC,SAAS;YAAE,OAAO,IAAI,CAAC;QAE5B,MAAM,KAAK,GAAG,IAAI,CAAC,sBAAsB,CAAC,SAAS,CAAC,CAAC;QAErD,OAAO;YACL,EAAE,EAAE,UAAU,IAAI,CAAC,GAAG,EAAE,EAAE;YAC1B,IAAI,EAAE,UAAU,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE;YAClC,QAAQ,EAAE,CAAC,CAAC,QAAQ;YACpB,GAAG,EAAE,SAAS;YACd,KAAK;YACL,SAAS,EAAE,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS;YACpC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;YACnC,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;SACpC,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,SAAS,CAAC,CAAU,EAAE,CAAU;QACtC,MAAM,UAAU,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;QAEzC,gCAAgC;QAChC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;YACtB,OAAO;gBACL,IAAI,EAAE,MAAM;gBACZ,KAAK,EAAE,IAAI,IAAI,CAAC,GAAG,EAAE,EAAE;gBACvB,QAAQ,EAAE,EAAE;gBACZ,aAAa,EAAE,UAAU;gBACzB,WAAW,EAAE,UAAU;aACxB,CAAC;QACJ,CAAC;QAED,6BAA6B;QAC7B,MAAM,QAAQ,GAAc,EAAE,CAAC;QAC/B,MAAM,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAEnE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,EAAE,CAAC,EAAE,EAAE,CAAC;YACrC,MAAM,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC7B,MAAM,MAAM,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;YAE7B,IAAI,CAAC,MAAM,IAAI,CAAC,MAAM,EAAE,CAAC;gBACvB,+BAA+B;gBAC/B,QAAQ,CAAC,IAAI,CAAC;oBACZ,IAAI,EAAE,MAAM;oBACZ,KAAK,EAAE,IAAI,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE;oBAC5B,QAAQ,EAAE,EAAE;oBACZ,aAAa,EAAE,UAAU;oBACzB,WAAW,EAAE,UAAU;iBACxB,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;gBAC9C,IAAI,MAAM,EAAE,CAAC;oBACX,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACxB,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO;YACL,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,KAAK,EAAE,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS;YAChD,QAAQ;YACR,aAAa,EAAE,CAAC,CAAC,aAAa;YAC9B,WAAW,EAAE,CAAC,CAAC,WAAW;SAC3B,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,sBAAsB,CAAC,GAAY;QACzC,MAAM,KAAK,GAAqB,EAAE,CAAC;QAEnC,MAAM,QAAQ,GAAG,CAAC,IAAa,EAAQ,EAAE;YACvC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBACvC,KAAK,CAAC,IAAI,CAAC;oBACT,EAAE,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;oBACtB,IAAI,EAAE,KAAK;iBACZ,CAAC,CAAC;YACL,CAAC;YACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAClC,QAAQ,CAAC,KAAK,CAAC,CAAC;YAClB,CAAC;QACH,CAAC,CAAC;QAEF,QAAQ,CAAC,GAAG,CAAC,CAAC;QACd,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;OAEG;IACH,YAAY,CAAC,OAAgB;QAC3B,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE;YAC3B,OAAO;YACP,UAAU,EAAE,OAAO,CAAC,SAAS;YAC7B,eAAe,EAAE,CAAC;SACnB,CAAC,CAAC;IACL,CAAC;IAED;;OAEG;IACH,UAAU;QACR,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;aACrC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC;IACjD,CAAC;IAED;;OAEG;IACH,YAAY;QACV,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;IACvB,CAAC;IAED;;OAEG;IACH,IAAI,WAAW;QACb,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;IAC3B,CAAC;CACF"}

package/dist/compression/quality-evaluator.d.ts

@@ -0,0 +1,97 @@
+/**
+ * @fileoverview Pattern quality evaluator
+ * @traceability TSK-PATTERN-002, REQ-PATTERN-001-F002
+ */
+import type { Pattern } from '../types.js';
+/**
+ * Quality metrics for a pattern
+ */
+export interface PatternQuality {
+    /** Overall quality score 0-1 */
+    score: number;
+    /** Generality: how abstractable is the pattern */
+    generality: number;
+    /** Specificity: how precisely does it match */
+    specificity: number;
+    /** Utility: how useful for code generation */
+    utility: number;
+    /** Stability: how consistent across codebases */
+    stability: number;
+}
+/**
+ * Quality evaluation configuration
+ */
+export interface QualityConfig {
+    /** Minimum frequency for high utility */
+    minFrequency: number;
+    /** Maximum holes for high specificity */
+    maxHoles: number;
+    /** Ideal depth range for quality patterns */
+    idealDepthRange: [number, number];
+}
+/**
+ * Pattern quality evaluator
+ *
+ * @description
+ * Evaluates pattern quality based on:
+ * - Generality: abstractness level (holes vs concrete)
+ * - Specificity: how precise the pattern is
+ * - Utility: usefulness based on frequency and coverage
+ * - Stability: consistency of the pattern
+ */
+export declare class PatternQualityEvaluator {
+    private config;
+    constructor(config?: Partial<QualityConfig>);
+    /**
+     * Evaluate overall pattern quality
+     */
+    evaluate(pattern: Pattern): PatternQuality;
+    /**
+     * Evaluate pattern generality (abstractness)
+     */
+    private evaluateGenerality;
+    /**
+     * Evaluate pattern specificity
+     */
+    private evaluateSpecificity;
+    /**
+     * Evaluate pattern utility
+     */
+    private evaluateUtility;
+    /**
+     * Evaluate pattern stability
+     */
+    private evaluateStability;
+    /**
+     * Count total nodes in AST
+     */
+    private countNodes;
+    /**
+     * Calculate AST depth
+     */
+    private calculateDepth;
+    /**
+     * Get utility score for AST node type
+     */
+    private getTypeUtility;
+    /**
+     * Check if children have consistent types
+     */
+    private hasConsistentChildTypes;
+    /**
+     * Check if pattern has ambiguous holes
+     */
+    private hasAmbiguousHoles;
+    /**
+     * Rank patterns by quality
+     */
+    rankPatterns(patterns: Pattern[]): Array<{
+        pattern: Pattern;
+        quality: PatternQuality;
+    }>;
+    /**
+     * Filter patterns by minimum quality
+     */
+    filterByQuality(patterns: Pattern[], minScore: number): Pattern[];
+}
+//# sourceMappingURL=quality-evaluator.d.ts.map

package/dist/compression/quality-evaluator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"quality-evaluator.d.ts","sourceRoot":"","sources":["../../src/compression/quality-evaluator.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAW,OAAO,EAAE,MAAM,aAAa,CAAC;AAEpD;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,gCAAgC;IAChC,KAAK,EAAE,MAAM,CAAC;IACd,kDAAkD;IAClD,UAAU,EAAE,MAAM,CAAC;IACnB,+CAA+C;IAC/C,WAAW,EAAE,MAAM,CAAC;IACpB,8CAA8C;IAC9C,OAAO,EAAE,MAAM,CAAC;IAChB,iDAAiD;IACjD,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,yCAAyC;IACzC,YAAY,EAAE,MAAM,CAAC;IACrB,yCAAyC;IACzC,QAAQ,EAAE,MAAM,CAAC;IACjB,6CAA6C;IAC7C,eAAe,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACnC;AAED;;;;;;;;;GASG;AACH,qBAAa,uBAAuB;IAClC,OAAO,CAAC,MAAM,CAAgB;gBAElB,MAAM,GAAE,OAAO,CAAC,aAAa,CAAM;IAQ/C;;OAEG;IACH,QAAQ,CAAC,OAAO,EAAE,OAAO,GAAG,cAAc;IAuB1C;;OAEG;IACH,OAAO,CAAC,kBAAkB;IAmB1B;;OAEG;IACH,OAAO,CAAC,mBAAmB;IAyB3B;;OAEG;IACH,OAAO,CAAC,eAAe;IAevB;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAkBzB;;OAEG;IACH,OAAO,CAAC,UAAU;IAQlB;;OAEG;IACH,OAAO,CAAC,cAAc;IAKtB;;OAEG;IACH,OAAO,CAAC,cAAc;IA0BtB;;OAEG;IACH,OAAO,CAAC,uBAAuB;IAc/B;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAMzB;;OAEG;IACH,YAAY,CAAC,QAAQ,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,OAAO,EAAE,cAAc,CAAA;KAAE,CAAC;IASvF;;OAEG;IACH,eAAe,CAAC,QAAQ,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,EAAE;CAGlE"}