@nahisaho/musubix-library-learner 2.1.1 → 2.2.0

package/dist/hierarchy/HierarchyManager.js

@@ -0,0 +1,342 @@
+/**
+ * HierarchyManager - Hierarchical Abstraction Manager
+ *
+ * DreamCoder-style hierarchical pattern abstraction for library learning.
+ * Manages multiple levels of abstraction from concrete to abstract patterns.
+ *
+ * @module @nahisaho/musubix-library-learner
+ * @see TSK-LL-101
+ * @see DES-LL-101
+ * @see REQ-LL-101
+ *
+ * 既存クラス関係: LibraryLearner.extractPatterns() から委譲される新規コンポーネント
+ * 依存: PatternMiner, Abstractor (既存)
+ *
+ * @example
+ * ```typescript
+ * import { createHierarchyManager } from './HierarchyManager.js';
+ *
+ * const manager = createHierarchyManager({ maxLevels: 4 });
+ * const result = await manager.extractHierarchy(corpus);
+ * console.log(`Extracted ${result.levels.size} levels`);
+ * ```
+ */
+// =============================================================================
+// Default Implementation
+// =============================================================================
+/**
+ * Default built-in abstraction levels
+ */
+const DEFAULT_LEVELS = [
+    { id: 1, name: 'concrete', description: 'Token-level patterns', minOccurrences: 2 },
+    { id: 2, name: 'parameterized', description: 'Expression-level templates', minOccurrences: 3 },
+    { id: 3, name: 'abstract', description: 'Function-level concepts', minOccurrences: 5 },
+    { id: 4, name: 'composite', description: 'Composite patterns', minOccurrences: 10 },
+];
+/**
+ * Default HierarchyManager implementation
+ */
+export class DefaultHierarchyManager {
+    levels = new Map();
+    patterns = new Map();
+    promotions = [];
+    config;
+    constructor(config = {}) {
+        this.config = {
+            maxLevels: config.maxLevels ?? 4,
+            promotionThreshold: config.promotionThreshold ?? 0.7,
+            minOccurrences: config.minOccurrences ?? 3,
+            patternMiner: config.patternMiner ?? null,
+            abstractor: config.abstractor ?? null,
+        };
+    }
+    /**
+     * Add a new abstraction level
+     * @throws Error if level ID already exists
+     */
+    addLevel(level) {
+        if (this.levels.has(level.id)) {
+            throw new Error(`Duplicate level ID: ${level.id}`);
+        }
+        this.levels.set(level.id, level);
+    }
+    /**
+     * Extract hierarchical abstractions from a code corpus
+     *
+     * Process:
+     * 1. Mine concrete patterns (Level 1)
+     * 2. Abstract to parameterized templates (Level 2)
+     * 3. Extract function-level concepts (Level 3)
+     * 4. Compose higher-level patterns (Level 4+)
+     */
+    async extractHierarchy(corpus) {
+        const startTime = Date.now();
+        // Initialize default levels if none added
+        if (this.levels.size === 0) {
+            DEFAULT_LEVELS.forEach((level) => this.addLevel(level));
+        }
+        // Step 1: Mine concrete patterns
+        const concretePatterns = await this.mineConcretePatterns(corpus);
+        this.patterns.set(1, concretePatterns);
+        // Step 2: Abstract to parameterized templates
+        const parameterizedPatterns = await this.abstractToTemplates(concretePatterns);
+        this.patterns.set(2, parameterizedPatterns);
+        // Step 3: Extract function-level concepts
+        const abstractPatterns = await this.extractAbstractConcepts(parameterizedPatterns);
+        this.patterns.set(3, abstractPatterns);
+        // Step 4: Compose higher-level patterns
+        if (this.config.maxLevels >= 4) {
+            const compositePatterns = await this.composeHigherLevel(abstractPatterns);
+            this.patterns.set(4, compositePatterns);
+        }
+        const endTime = Date.now();
+        // Calculate metrics
+        const totalRaw = concretePatterns.length;
+        const totalAbstracted = Array.from(this.patterns.values()).reduce((sum, patterns) => sum + patterns.length, 0);
+        const metrics = {
+            extractionTimeMs: endTime - startTime,
+            patternsPerLevel: Array.from(this.patterns.entries())
+                .sort(([a], [b]) => a - b)
+                .map(([, patterns]) => patterns.length),
+            compressionRatio: totalRaw > 0 ? totalAbstracted / totalRaw : 0,
+            totalPatternsRaw: totalRaw,
+            totalPatternsAbstracted: totalAbstracted,
+        };
+        return {
+            levels: new Map(this.patterns),
+            promotions: [...this.promotions],
+            metrics,
+        };
+    }
+    /**
+     * Determine if a pattern should be promoted to a higher level
+     */
+    shouldPromote(pattern) {
+        const meetsOccurrenceThreshold = pattern.occurrenceCount >= this.config.minOccurrences;
+        const meetsConfidenceThreshold = pattern.confidence >= this.config.promotionThreshold;
+        return meetsOccurrenceThreshold && meetsConfidenceThreshold;
+    }
+    /**
+     * Get the current depth (number of levels)
+     */
+    getDepth() {
+        return this.levels.size;
+    }
+    /**
+     * Get all registered abstraction levels
+     */
+    getLevels() {
+        return Array.from(this.levels.values()).sort((a, b) => a.id - b.id);
+    }
+    // ===========================================================================
+    // Private Methods
+    // ===========================================================================
+    /**
+     * Mine concrete patterns from corpus (Level 1)
+     */
+    async mineConcretePatterns(corpus) {
+        // If external PatternMiner is provided, use it
+        if (this.config.patternMiner) {
+            const candidates = await this.config.patternMiner.mine(corpus);
+            return this.candidatesToHierarchyPatterns(candidates, 1);
+        }
+        // Simple built-in mining for testing
+        const patterns = [];
+        let patternCounter = 0;
+        for (const file of corpus.files) {
+            // Simple AST simulation: split into statements
+            const lines = file.content.split('\n').filter((l) => l.trim());
+            const statementCounts = new Map();
+            for (const line of lines) {
+                const normalized = this.normalizeStatement(line);
+                statementCounts.set(normalized, (statementCounts.get(normalized) || 0) + 1);
+            }
+            for (const [statement, count] of statementCounts) {
+                if (count >= 2) {
+                    patterns.push({
+                        id: `pattern-${++patternCounter}`,
+                        level: 1,
+                        occurrenceCount: count,
+                        confidence: Math.min(0.5 + count * 0.1, 1.0),
+                        ast: { type: 'Statement', value: statement },
+                        sourceLocations: [],
+                    });
+                }
+            }
+        }
+        return patterns;
+    }
+    /**
+     * Abstract concrete patterns to parameterized templates (Level 2)
+     */
+    async abstractToTemplates(patterns) {
+        // Simple abstraction: group similar patterns
+        const templates = [];
+        const groups = this.groupSimilarPatterns(patterns);
+        let templateCounter = 0;
+        for (const group of groups.values()) {
+            if (group.length >= 2) {
+                const combinedOccurrences = group.reduce((sum, p) => sum + p.occurrenceCount, 0);
+                const avgConfidence = group.reduce((sum, p) => sum + p.confidence, 0) / group.length;
+                const template = {
+                    id: `template-${++templateCounter}`,
+                    level: 2,
+                    occurrenceCount: combinedOccurrences,
+                    confidence: avgConfidence,
+                    ast: { type: 'Template', children: group.map((p) => p.ast) },
+                    sourceLocations: group.flatMap((p) => p.sourceLocations),
+                };
+                // Record promotions
+                for (const pattern of group) {
+                    if (this.shouldPromote(pattern)) {
+                        this.promotions.push({
+                            patternId: pattern.id,
+                            fromLevel: 1,
+                            toLevel: 2,
+                            timestamp: new Date(),
+                            confidence: pattern.confidence,
+                        });
+                    }
+                }
+                templates.push(template);
+            }
+        }
+        return templates;
+    }
+    /**
+     * Extract function-level concepts (Level 3)
+     */
+    async extractAbstractConcepts(templates) {
+        const concepts = [];
+        let conceptCounter = 0;
+        // Group templates by structural similarity
+        const conceptGroups = this.groupByStructure(templates);
+        for (const group of conceptGroups.values()) {
+            if (group.length >= 1) {
+                const combinedOccurrences = group.reduce((sum, p) => sum + p.occurrenceCount, 0);
+                const avgConfidence = group.reduce((sum, p) => sum + p.confidence, 0) / group.length;
+                const concept = {
+                    id: `concept-${++conceptCounter}`,
+                    level: 3,
+                    occurrenceCount: combinedOccurrences,
+                    confidence: Math.min(avgConfidence * 1.1, 1.0), // Slight confidence boost
+                    ast: { type: 'Concept', templates: group.map((t) => t.ast) },
+                    sourceLocations: group.flatMap((t) => t.sourceLocations),
+                };
+                concepts.push(concept);
+            }
+        }
+        return concepts;
+    }
+    /**
+     * Compose higher-level patterns (Level 4+)
+     */
+    async composeHigherLevel(concepts) {
+        const composites = [];
+        let compositeCounter = 0;
+        // Combine concepts that often appear together
+        if (concepts.length >= 2) {
+            const combinedOccurrences = concepts.reduce((sum, c) => sum + c.occurrenceCount, 0);
+            const avgConfidence = concepts.reduce((sum, c) => sum + c.confidence, 0) / concepts.length;
+            const composite = {
+                id: `composite-${++compositeCounter}`,
+                level: 4,
+                occurrenceCount: Math.floor(combinedOccurrences / concepts.length),
+                confidence: avgConfidence,
+                ast: { type: 'Composite', concepts: concepts.map((c) => c.ast) },
+                sourceLocations: concepts.flatMap((c) => c.sourceLocations),
+            };
+            composites.push(composite);
+        }
+        return composites;
+    }
+    /**
+     * Convert pattern candidates to learned patterns
+     */
+    candidatesToHierarchyPatterns(candidates, level) {
+        return candidates.map((c) => ({
+            id: c.id,
+            level,
+            occurrenceCount: c.occurrences.length,
+            confidence: c.score,
+            ast: c.ast,
+            sourceLocations: c.occurrences,
+        }));
+    }
+    /**
+     * Normalize a statement for comparison
+     */
+    normalizeStatement(statement) {
+        return statement
+            .trim()
+            .replace(/\s+/g, ' ')
+            .replace(/['"]/g, '"')
+            .replace(/\b\d+\b/g, 'N')
+            .replace(/\b[a-z][a-zA-Z0-9]*\b/g, (match) => {
+            // Keep keywords, normalize identifiers
+            const keywords = ['function', 'const', 'let', 'var', 'return', 'if', 'else', 'for', 'while'];
+            return keywords.includes(match) ? match : 'ID';
+        });
+    }
+    /**
+     * Group similar patterns by normalized form
+     */
+    groupSimilarPatterns(patterns) {
+        const groups = new Map();
+        for (const pattern of patterns) {
+            const key = this.getPatternSignature(pattern);
+            const group = groups.get(key) || [];
+            group.push(pattern);
+            groups.set(key, group);
+        }
+        return groups;
+    }
+    /**
+     * Group by structural pattern
+     */
+    groupByStructure(patterns) {
+        const groups = new Map();
+        for (const pattern of patterns) {
+            const key = this.getStructuralSignature(pattern);
+            const group = groups.get(key) || [];
+            group.push(pattern);
+            groups.set(key, group);
+        }
+        return groups;
+    }
+    /**
+     * Get a signature for pattern similarity grouping
+     */
+    getPatternSignature(pattern) {
+        const ast = pattern.ast;
+        return `${ast.type}:${pattern.level}`;
+    }
+    /**
+     * Get a structural signature for concept extraction
+     */
+    getStructuralSignature(pattern) {
+        const ast = pattern.ast;
+        return `structure:${ast.type}`;
+    }
+}
+// =============================================================================
+// Factory Function
+// =============================================================================
+/**
+ * Create a new HierarchyManager instance
+ *
+ * @param config - Configuration options
+ * @returns A new HierarchyManager instance
+ *
+ * @example
+ * ```typescript
+ * const manager = createHierarchyManager({
+ *   maxLevels: 4,
+ *   promotionThreshold: 0.7,
+ * });
+ * ```
+ */
+export function createHierarchyManager(config = {}) {
+    return new DefaultHierarchyManager(config);
+}
+//# sourceMappingURL=HierarchyManager.js.map

package/dist/hierarchy/HierarchyManager.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"HierarchyManager.js","sourceRoot":"","sources":["../../src/hierarchy/HierarchyManager.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAuIH,gFAAgF;AAChF,yBAAyB;AACzB,gFAAgF;AAEhF;;GAEG;AACH,MAAM,cAAc,GAAuB;IACzC,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,sBAAsB,EAAE,cAAc,EAAE,CAAC,EAAE;IACnF,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,WAAW,EAAE,4BAA4B,EAAE,cAAc,EAAE,CAAC,EAAE;IAC9F,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,yBAAyB,EAAE,cAAc,EAAE,CAAC,EAAE;IACtF,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE,oBAAoB,EAAE,cAAc,EAAE,EAAE,EAAE;CACpF,CAAC;AAEF;;GAEG;AACH,MAAM,OAAO,uBAAuB;IAC1B,MAAM,GAAkC,IAAI,GAAG,EAAE,CAAC;IAClD,QAAQ,GAAoC,IAAI,GAAG,EAAE,CAAC;IACtD,UAAU,GAAsB,EAAE,CAAC;IACnC,MAAM,CAAmC;IAEjD,YAAY,SAAiC,EAAE;QAC7C,IAAI,CAAC,MAAM,GAAG;YACZ,SAAS,EAAE,MAAM,CAAC,SAAS,IAAI,CAAC;YAChC,kBAAkB,EAAE,MAAM,CAAC,kBAAkB,IAAI,GAAG;YACpD,cAAc,EAAE,MAAM,CAAC,cAAc,IAAI,CAAC;YAC1C,YAAY,EAAE,MAAM,CAAC,YAAY,IAAI,IAAK;YAC1C,UAAU,EAAE,MAAM,CAAC,UAAU,IAAI,IAAK;SACvC,CAAC;IACJ,CAAC;IAED;;;OAGG;IACH,QAAQ,CAAC,KAAuB;QAC9B,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,KAAK,CAAC,uBAAuB,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;QACrD,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IACnC,CAAC;IAED;;;;;;;;OAQG;IACH,KAAK,CAAC,gBAAgB,CAAC,MAAkB;QACvC,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAE7B,0CAA0C;QAC1C,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YAC3B,cAAc,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1D,CAAC;QAED,iCAAiC;QACjC,MAAM,gBAAgB,GAAG,MAAM,IAAI,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC;QACjE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC;QAEvC,8CAA8C;QAC9C,MAAM,qBAAqB,GAAG,MAAM,IAAI,CAAC,mBAAmB,CAAC,gBAAgB,CAAC,CAAC;QAC/E,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,qBAAqB,CAAC,CAAC;QAE5C,0CAA0C;QAC1C,MAAM,gBAAgB,GAAG,MAAM,IAAI,CAAC,uBAAuB,CAAC,qBAAqB,CAAC,CAAC;QACnF,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC;QAEvC,wCAAwC;QACxC,IAAI,IAAI,CAAC,MAAM,CAAC,SAAS,IAAI,CAAC,EAAE,CAAC;YAC/B,MAAM,iBAAiB,GAAG,MAAM,IAAI,CAAC,kBAAkB,CAAC,gBAAgB,CAAC,CAAC;YAC1E,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,iBAAiB,CAAC,CAAC;QAC1C,CAAC;QAED,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAE3B,oBAAoB;QACpB,MAAM,QAAQ,GAAG,gBAAgB,CAAC,MAAM,CAAC;QACzC,MAAM,eAAe,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAC/D,CAAC,GAAG,EAAE,QAAQ,EAAE,EAAE,CAAC,GAAG,GAAG,QAAQ,CAAC,MAAM,EACxC,CAAC,CACF,CAAC;QAEF,MAAM,OAAO,GAAqB;YAChC,gBAAgB,EAAE,OAAO,GAAG,SAAS;YACrC,gBAAgB,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;iBAClD,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;iBACzB,GAAG,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC;YACzC,gBAAgB,EAAE,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,eAAe,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;YAC/D,gBAAgB,EAAE,QAAQ;YAC1B,uBAAuB,EAAE,eAAe;SACzC,CAAC;QAEF,OAAO;YACL,MAAM,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC;YAC9B,UAAU,EAAE,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC;YAChC,OAAO;SACR,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,aAAa,CAAC,OAAyB;QACrC,MAAM,wBAAwB,GAAG,OAAO,CAAC,eAAe,IAAI,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC;QACvF,MAAM,wBAAwB,GAAG,OAAO,CAAC,UAAU,IAAI,IAAI,CAAC,MAAM,CAAC,kBAAkB,CAAC;QACtF,OAAO,wBAAwB,IAAI,wBAAwB,CAAC;IAC9D,CAAC;IAED;;OAEG;IACH,QAAQ;QACN,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;IAC1B,CAAC;IAED;;OAEG;IACH,SAAS;QACP,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;IACtE,CAAC;IAED,8EAA8E;IAC9E,kBAAkB;IAClB,8EAA8E;IAE9E;;OAEG;IACK,KAAK,CAAC,oBAAoB,CAAC,MAAkB;QACnD,+CAA+C;QAC/C,IAAI,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC;YAC7B,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC/D,OAAO,IAAI,CAAC,6BAA6B,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;QAC3D,CAAC;QAED,qCAAqC;QACrC,MAAM,QAAQ,GAAuB,EAAE,CAAC;QACxC,IAAI,cAAc,GAAG,CAAC,CAAC;QAEvB,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YAChC,+CAA+C;YAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YAC/D,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAC;YAElD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,UAAU,GAAG,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;gBACjD,eAAe,CAAC,GAAG,CAAC,UAAU,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC9E,CAAC;YAED,KAAK,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,eAAe,EAAE,CAAC;gBACjD,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;oBACf,QAAQ,CAAC,IAAI,CAAC;wBACZ,EAAE,EAAE,WAAW,EAAE,cAAc,EAAe;wBAC9C,KAAK,EAAE,CAAC;wBACR,eAAe,EAAE,KAAK;wBACtB,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,KAAK,GAAG,GAAG,EAAE,GAAG,CAAC;wBAC5C,GAAG,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,SAAS,EAAwB;wBAClE,eAAe,EAAE,EAAE;qBACpB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,mBAAmB,CAAC,QAA4B;QAC5D,6CAA6C;QAC7C,MAAM,SAAS,GAAuB,EAAE,CAAC;QACzC,MAAM,MAAM,GAAG,IAAI,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QACnD,IAAI,eAAe,GAAG,CAAC,CAAC;QAExB,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;YACpC,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBACtB,MAAM,mBAAmB,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC;gBACjF,MAAM,aAAa,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;gBAErF,MAAM,QAAQ,GAAqB;oBACjC,EAAE,EAAE,YAAY,EAAE,eAAe,EAAe;oBAChD,KAAK,EAAE,CAAC;oBACR,eAAe,EAAE,mBAAmB;oBACpC,UAAU,EAAE,aAAa;oBACzB,GAAG,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,QAAQ,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAwB;oBAClF,eAAe,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC;iBACzD,CAAC;gBAEF,oBAAoB;gBACpB,KAAK,MAAM,OAAO,IAAI,KAAK,EAAE,CAAC;oBAC5B,IAAI,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,EAAE,CAAC;wBAChC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;4BACnB,SAAS,EAAE,OAAO,CAAC,EAAE;4BACrB,SAAS,EAAE,CAAC;4BACZ,OAAO,EAAE,CAAC;4BACV,SAAS,EAAE,IAAI,IAAI,EAAE;4BACrB,UAAU,EAAE,OAAO,CAAC,UAAU;yBAC/B,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;gBAED,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC3B,CAAC;QACH,CAAC;QAED,OAAO,SAAS,CAAC;IACnB,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,uBAAuB,CAAC,SAA6B;QACjE,MAAM,QAAQ,GAAuB,EAAE,CAAC;QACxC,IAAI,cAAc,GAAG,CAAC,CAAC;QAEvB,2CAA2C;QAC3C,MAAM,aAAa,GAAG,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC;QAEvD,KAAK,MAAM,KAAK,IAAI,aAAa,CAAC,MAAM,EAAE,EAAE,CAAC;YAC3C,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;gBACtB,MAAM,mBAAmB,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC;gBACjF,MAAM,aAAa,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;gBAErF,MAAM,OAAO,GAAqB;oBAChC,EAAE,EAAE,WAAW,EAAE,cAAc,EAAe;oBAC9C,KAAK,EAAE,CAAC;oBACR,eAAe,EAAE,mBAAmB;oBACpC,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,aAAa,GAAG,GAAG,EAAE,GAAG,CAAC,EAAE,0BAA0B;oBAC1E,GAAG,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,SAAS,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAwB;oBAClF,eAAe,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC;iBACzD,CAAC;gBAEF,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED;;OAEG;IACK,KAAK,CAAC,kBAAkB,CAAC,QAA4B;QAC3D,MAAM,UAAU,GAAuB,EAAE,CAAC;QAC1C,IAAI,gBAAgB,GAAG,CAAC,CAAC;QAEzB,8CAA8C;QAC9C,IAAI,QAAQ,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YACzB,MAAM,mBAAmB,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,eAAe,EAAE,CAAC,CAAC,CAAC;YACpF,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC;YAE3F,MAAM,SAAS,GAAqB;gBAClC,EAAE,EAAE,aAAa,EAAE,gBAAgB,EAAe;gBAClD,KAAK,EAAE,CAAC;gBACR,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,mBAAmB,GAAG,QAAQ,CAAC,MAAM,CAAC;gBAClE,UAAU,EAAE,aAAa;gBACzB,GAAG,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAwB;gBACtF,eAAe,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC;aAC5D,CAAC;YAEF,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC7B,CAAC;QAED,OAAO,UAAU,CAAC;IACpB,CAAC;IAED;;OAEG;IACK,6BAA6B,CACnC,UAA8B,EAC9B,KAAa;QAEb,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC5B,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,KAAK;YACL,eAAe,EAAE,CAAC,CAAC,WAAW,CAAC,MAAM;YACrC,UAAU,EAAE,CAAC,CAAC,KAAK;YACnB,GAAG,EAAE,CAAC,CAAC,GAAG;YACV,eAAe,EAAE,CAAC,CAAC,WAAW;SAC/B,CAAC,CAAC,CAAC;IACN,CAAC;IAED;;OAEG;IACK,kBAAkB,CAAC,SAAiB;QAC1C,OAAO,SAAS;aACb,IAAI,EAAE;aACN,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC;aACpB,OAAO,CAAC,OAAO,EAAE,GAAG,CAAC;aACrB,OAAO,CAAC,UAAU,EAAE,GAAG,CAAC;aACxB,OAAO,CAAC,wBAAwB,EAAE,CAAC,KAAK,EAAE,EAAE;YAC3C,uCAAuC;YACvC,MAAM,QAAQ,GAAG,CAAC,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;YAC7F,OAAO,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;QACjD,CAAC,CAAC,CAAC;IACP,CAAC;IAED;;OAEG;IACK,oBAAoB,CAAC,QAA4B;QACvD,MAAM,MAAM,GAAG,IAAI,GAAG,EAA8B,CAAC;QAErD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC;YAC9C,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACpB,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACzB,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACK,gBAAgB,CAAC,QAA4B;QACnD,MAAM,MAAM,GAAG,IAAI,GAAG,EAA8B,CAAC;QAErD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,MAAM,GAAG,GAAG,IAAI,CAAC,sBAAsB,CAAC,OAAO,CAAC,CAAC;YACjD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACpB,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACzB,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACK,mBAAmB,CAAC,OAAyB;QACnD,MAAM,GAAG,GAAG,OAAO,CAAC,GAAkD,CAAC;QACvE,OAAO,GAAG,GAAG,CAAC,IAAI,IAAI,OAAO,CAAC,KAAK,EAAE,CAAC;IACxC,CAAC;IAED;;OAEG;IACK,sBAAsB,CAAC,OAAyB;QACtD,MAAM,GAAG,GAAG,OAAO,CAAC,GAAkC,CAAC;QACvD,OAAO,aAAa,GAAG,CAAC,IAAI,EAAE,CAAC;IACjC,CAAC;CACF;AAED,gFAAgF;AAChF,mBAAmB;AACnB,gFAAgF;AAEhF;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,sBAAsB,CAAC,SAAiC,EAAE;IACxE,OAAO,IAAI,uBAAuB,CAAC,MAAM,CAAC,CAAC;AAC7C,CAAC"}

package/dist/hierarchy/index.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Hierarchy Module - Hierarchical Pattern Abstraction
+ *
+ * @module @nahisaho/musubix-library-learner/hierarchy
+ * @see TSK-LL-101
+ */
+export type { HierarchyManager, AbstractionLevel, PromotionRecord, HierarchyMetrics, HierarchyResult, HierarchyManagerConfig, HierarchyPattern, } from './HierarchyManager.js';
+export { createHierarchyManager, DefaultHierarchyManager } from './HierarchyManager.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/hierarchy/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,YAAY,EACV,gBAAgB,EAChB,gBAAgB,EAChB,eAAe,EACf,gBAAgB,EAChB,eAAe,EACf,sBAAsB,EACtB,gBAAgB,GACjB,MAAM,uBAAuB,CAAC;AAE/B,OAAO,EAAE,sBAAsB,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC"}

package/dist/hierarchy/index.js

@@ -0,0 +1,8 @@
+/**
+ * Hierarchy Module - Hierarchical Pattern Abstraction
+ *
+ * @module @nahisaho/musubix-library-learner/hierarchy
+ * @see TSK-LL-101
+ */
+export { createHierarchyManager, DefaultHierarchyManager } from './HierarchyManager.js';
+//# sourceMappingURL=index.js.map

package/dist/hierarchy/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/hierarchy/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAYH,OAAO,EAAE,sBAAsB,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAC"}

package/dist/index.d.ts

@@ -43,6 +43,24 @@ export type { EGraphBuilder } from './egraph/EGraphBuilder.js';
 export { createEGraphBuilder } from './egraph/EGraphBuilder.js';
 export type { Extractor } from './egraph/Extractor.js';
 export { createExtractor } from './egraph/Extractor.js';
+export type { HierarchyManager, AbstractionLevel, PromotionRecord, HierarchyMetrics, HierarchyResult, HierarchyManagerConfig, HierarchyPattern, } from './hierarchy/HierarchyManager.js';
+export { createHierarchyManager, DefaultHierarchyManager } from './hierarchy/HierarchyManager.js';
+export type { TypeDirectedPruner, TypeSignature, PruneCandidate, PruneResult, TypeDirectedPrunerConfig, } from './search/TypeDirectedPruner.js';
+export { createTypeDirectedPruner, DefaultTypeDirectedPruner } from './search/TypeDirectedPruner.js';
+export type { RewriteRuleSet, RewriteRule, RewriteResult, RewriteRuleSetConfig, Pattern, } from './rewrite/RewriteRuleSet.js';
+export { createRewriteRuleSet, DefaultRewriteRuleSet } from './rewrite/RewriteRuleSet.js';
+export type { IncrementalUpdater, UpdaterConfig, FileChange, ChangeType, UpdateResult, UpdateStatistics, } from './updater/IncrementalUpdater.js';
+export { createIncrementalUpdater, DefaultIncrementalUpdater } from './updater/IncrementalUpdater.js';
+export { createIterativeCompressor, DefaultIterativeCompressor, } from './library/IterativeCompressor.js';
+export type { IterativeCompressor, IterativeCompressorConfig, CompressionReport, MergedGroup, CompressionStatistics, } from './library/IterativeCompressor.js';
+export { createPatternVersionManager, DefaultPatternVersionManager, } from './library/PatternVersionManager.js';
+export type { PatternVersionManager, PatternVersionManagerConfig, VersionMetadata, VersionEntry, VersionDiff, VersionChange, VersionStatistics, } from './library/PatternVersionManager.js';
+export { createDomainAwareAbstractor, DefaultDomainAwareAbstractor, } from './domain/DomainAwareAbstractor.js';
+export type { DomainAwareAbstractor, DomainAwareAbstractorConfig, DomainOntology, DomainConcept, ConceptRelation, DomainConstraint, DomainAbstractionResult, ConceptHierarchy, OntologyLoadResult, AbstractionStatistics as DomainAbstractionStatistics, } from './domain/DomainAwareAbstractor.js';
+export { createMetricsExporter, DefaultMetricsExporter, } from './metrics/MetricsExporter.js';
+export type { MetricsExporter, LibraryMetrics, FormattedMetrics, MetricsSummary, LibraryState, PatternUsageInfo, ExportFormat, } from './metrics/MetricsExporter.js';
+export type { EnhancedLibraryLearner, EnhancedLibraryLearnerConfig, TypedSpecification, TypedSynthesisResult, OptimizationResult, EnhancedStats, SearchStats, } from './EnhancedLibraryLearner.js';
+export { createEnhancedLibraryLearner, DefaultEnhancedLibraryLearner } from './EnhancedLibraryLearner.js';
 export type { LibraryLearner } from './LibraryLearner.js';
 export { createLibraryLearner } from './LibraryLearner.js';
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAGH,cAAc,YAAY,CAAC;AAG3B,cAAc,aAAa,CAAC;AAG5B,YAAY,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AACnE,YAAY,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAC/D,YAAY,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AAGnE,YAAY,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,YAAY,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,YAAY,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAGnD,YAAY,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,YAAY,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAChE,YAAY,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAGxD,YAAY,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAGH,cAAc,YAAY,CAAC;AAG3B,cAAc,aAAa,CAAC;AAG5B,YAAY,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AACnE,YAAY,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AAC9D,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAC/D,YAAY,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AAGnE,YAAY,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,YAAY,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,YAAY,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAClD,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAGnD,YAAY,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,YAAY,EAAE,aAAa,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAChE,YAAY,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAGxD,YAAY,EACV,gBAAgB,EAChB,gBAAgB,EAChB,eAAe,EACf,gBAAgB,EAChB,eAAe,EACf,sBAAsB,EACtB,gBAAgB,GACjB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,sBAAsB,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAGlG,YAAY,EACV,kBAAkB,EAClB,aAAa,EACb,cAAc,EACd,WAAW,EACX,wBAAwB,GACzB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,wBAAwB,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAGrG,YAAY,EACV,cAAc,EACd,WAAW,EACX,aAAa,EACb,oBAAoB,EACpB,OAAO,GACR,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AAG1F,YAAY,EACV,kBAAkB,EAClB,aAAa,EACb,UAAU,EACV,UAAU,EACV,YAAY,EACZ,gBAAgB,GACjB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EAAE,wBAAwB,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAC;AAGtG,OAAO,EACL,yBAAyB,EACzB,0BAA0B,GAC3B,MAAM,kCAAkC,CAAC;AAC1C,YAAY,EACV,mBAAmB,EACnB,yBAAyB,EACzB,iBAAiB,EACjB,WAAW,EACX,qBAAqB,GACtB,MAAM,kCAAkC,CAAC;AAG1C,OAAO,EACL,2BAA2B,EAC3B,4BAA4B,GAC7B,MAAM,oCAAoC,CAAC;AAC5C,YAAY,EACV,qBAAqB,EACrB,2BAA2B,EAC3B,eAAe,EACf,YAAY,EACZ,WAAW,EACX,aAAa,EACb,iBAAiB,GAClB,MAAM,oCAAoC,CAAC;AAG5C,OAAO,EACL,2BAA2B,EAC3B,4BAA4B,GAC7B,MAAM,mCAAmC,CAAC;AAC3C,YAAY,EACV,qBAAqB,EACrB,2BAA2B,EAC3B,cAAc,EACd,aAAa,EACb,eAAe,EACf,gBAAgB,EAChB,uBAAuB,EACvB,gBAAgB,EAChB,kBAAkB,EAClB,qBAAqB,IAAI,2BAA2B,GACrD,MAAM,mCAAmC,CAAC;AAG3C,OAAO,EACL,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,8BAA8B,CAAC;AACtC,YAAY,EACV,eAAe,EACf,cAAc,EACd,gBAAgB,EAChB,cAAc,EACd,YAAY,EACZ,gBAAgB,EAChB,YAAY,GACb,MAAM,8BAA8B,CAAC;AAGtC,YAAY,EACV,sBAAsB,EACtB,4BAA4B,EAC5B,kBAAkB,EAClB,oBAAoB,EACpB,kBAAkB,EAClB,aAAa,EACb,WAAW,GACZ,MAAM,6BAA6B,CAAC;AACrC,OAAO,EAAE,4BAA4B,EAAE,6BAA6B,EAAE,MAAM,6BAA6B,CAAC;AAG1G,YAAY,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC"}

package/dist/index.js

@@ -36,5 +36,18 @@ export { createPruner } from './library/Pruner.js';
 export { createEGraph } from './egraph/EGraph.js';
 export { createEGraphBuilder } from './egraph/EGraphBuilder.js';
 export { createExtractor } from './egraph/Extractor.js';
+export { createHierarchyManager, DefaultHierarchyManager } from './hierarchy/HierarchyManager.js';
+export { createTypeDirectedPruner, DefaultTypeDirectedPruner } from './search/TypeDirectedPruner.js';
+export { createRewriteRuleSet, DefaultRewriteRuleSet } from './rewrite/RewriteRuleSet.js';
+export { createIncrementalUpdater, DefaultIncrementalUpdater } from './updater/IncrementalUpdater.js';
+// IterativeCompressor (v2.2.0 NEW!)
+export { createIterativeCompressor, DefaultIterativeCompressor, } from './library/IterativeCompressor.js';
+// PatternVersionManager (v2.2.0 NEW!)
+export { createPatternVersionManager, DefaultPatternVersionManager, } from './library/PatternVersionManager.js';
+// DomainAwareAbstractor (v2.2.0 NEW!)
+export { createDomainAwareAbstractor, DefaultDomainAwareAbstractor, } from './domain/DomainAwareAbstractor.js';
+// MetricsExporter (v2.2.0 NEW!)
+export { createMetricsExporter, DefaultMetricsExporter, } from './metrics/MetricsExporter.js';
+export { createEnhancedLibraryLearner, DefaultEnhancedLibraryLearner } from './EnhancedLibraryLearner.js';
 export { createLibraryLearner } from './LibraryLearner.js';
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,QAAQ;AACR,cAAc,YAAY,CAAC;AAE3B,SAAS;AACT,cAAc,aAAa,CAAC;AAI5B,OAAO,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AAEnE,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAE/D,OAAO,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AAInE,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAE/D,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAE/D,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAInD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElD,OAAO,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAEhE,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAIxD,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AAEH,QAAQ;AACR,cAAc,YAAY,CAAC;AAE3B,SAAS;AACT,cAAc,aAAa,CAAC;AAI5B,OAAO,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AAEnE,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAE/D,OAAO,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AAInE,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAE/D,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAE/D,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAInD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElD,OAAO,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAEhE,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAYxD,OAAO,EAAE,sBAAsB,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAUlG,OAAO,EAAE,wBAAwB,EAAE,yBAAyB,EAAE,MAAM,gCAAgC,CAAC;AAUrG,OAAO,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AAW1F,OAAO,EAAE,wBAAwB,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAC;AAEtG,oCAAoC;AACpC,OAAO,EACL,yBAAyB,EACzB,0BAA0B,GAC3B,MAAM,kCAAkC,CAAC;AAS1C,sCAAsC;AACtC,OAAO,EACL,2BAA2B,EAC3B,4BAA4B,GAC7B,MAAM,oCAAoC,CAAC;AAW5C,sCAAsC;AACtC,OAAO,EACL,2BAA2B,EAC3B,4BAA4B,GAC7B,MAAM,mCAAmC,CAAC;AAc3C,gCAAgC;AAChC,OAAO,EACL,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,8BAA8B,CAAC;AAqBtC,OAAO,EAAE,4BAA4B,EAAE,6BAA6B,EAAE,MAAM,6BAA6B,CAAC;AAI1G,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAC"}

package/dist/library/IterativeCompressor.d.ts

@@ -0,0 +1,196 @@
+/**
+ * IterativeCompressor - Iterative Pattern Compression
+ * @module @nahisaho/musubix-library-learner
+ * @see TSK-LL-103
+ * @see DES-LL-103
+ * @see REQ-LL-103 30%+ size reduction, 95% coverage retention
+ */
+import type { LearnedPattern } from '../types.js';
+/**
+ * IterativeCompressor configuration
+ */
+export interface IterativeCompressorConfig {
+    /** Similarity threshold for merging (0-1, default: 0.75) */
+    similarityThreshold: number;
+    /** Minimum patterns to trigger compression (default: 100) */
+    minPatterns: number;
+    /** Target reduction ratio (default: 0.3 = 30%) */
+    targetReduction: number;
+    /** Maximum iterations for convergence */
+    maxIterations: number;
+}
+/**
+ * Compression result report
+ */
+export interface CompressionReport {
+    /** Original pattern count */
+    originalCount: number;
+    /** Compressed pattern count */
+    compressedCount: number;
+    /** Merged groups info */
+    mergedGroups: MergedGroup[];
+    /** Coverage retained (0-1) */
+    coverageRetained: number;
+    /** Compression ratio achieved */
+    compressionRatio: number;
+    /** Compressed patterns */
+    compressedPatterns: LearnedPattern[];
+}
+/**
+ * Information about a merged group
+ */
+export interface MergedGroup {
+    /** Merged pattern ID */
+    mergedId: string;
+    /** Source pattern IDs */
+    sourceIds: string[];
+    /** Similarity score */
+    similarityScore: number;
+}
+/**
+ * Compression statistics
+ */
+export interface CompressionStatistics {
+    /** Total compression operations */
+    totalCompressions: number;
+    /** Average reduction achieved */
+    averageReduction: number;
+    /** Last compression timestamp */
+    lastCompressionTime: Date | null;
+}
+/**
+ * IterativeCompressor interface
+ */
+export interface IterativeCompressor {
+    /**
+     * Check if compression should be triggered
+     */
+    shouldCompress(patterns: LearnedPattern[]): boolean;
+    /**
+     * Compress patterns
+     */
+    compress(patterns: LearnedPattern[]): Promise<CompressionReport>;
+    /**
+     * Calculate similarity between two patterns
+     */
+    calculateSimilarity(p1: LearnedPattern, p2: LearnedPattern): number;
+    /**
+     * Merge similar patterns into one
+     */
+    mergePatterns(patterns: LearnedPattern[]): Promise<LearnedPattern>;
+    /**
+     * Get compression statistics
+     */
+    getStatistics(): CompressionStatistics;
+    /**
+     * Reset statistics
+     */
+    resetStatistics(): void;
+    /**
+     * Get current configuration
+     */
+    getConfig(): IterativeCompressorConfig;
+    /**
+     * Update configuration
+     */
+    updateConfig(config: Partial<IterativeCompressorConfig>): void;
+    /**
+     * Serialize to JSON
+     */
+    toJSON(): string;
+    /**
+     * Deserialize from JSON
+     */
+    fromJSON(json: string): void;
+}
+/**
+ * Default IterativeCompressor implementation
+ */
+export declare class DefaultIterativeCompressor implements IterativeCompressor {
+    private config;
+    private statistics;
+    constructor(config?: Partial<IterativeCompressorConfig>);
+    /**
+     * Check if compression should be triggered
+     */
+    shouldCompress(patterns: LearnedPattern[]): boolean;
+    /**
+     * Compress patterns using iterative merging
+     */
+    compress(patterns: LearnedPattern[]): Promise<CompressionReport>;
+    /**
+     * Single compression iteration
+     */
+    private compressIteration;
+    /**
+     * Find clusters of similar patterns
+     */
+    private findSimilarClusters;
+    /**
+     * Calculate similarity between two patterns
+     */
+    calculateSimilarity(p1: LearnedPattern, p2: LearnedPattern): number;
+    /**
+     * Tokenize pattern name into words
+     */
+    private tokenizeName;
+    /**
+     * Jaccard similarity between two sets
+     */
+    private jaccardSimilarity;
+    /**
+     * Calculate AST structure similarity
+     */
+    private calculateASTSimilarity;
+    /**
+     * Calculate average similarity within a cluster
+     */
+    private calculateClusterSimilarity;
+    /**
+     * Merge similar patterns into one
+     */
+    mergePatterns(patterns: LearnedPattern[]): Promise<LearnedPattern>;
+    /**
+     * Generate a name for merged pattern
+     */
+    private generateMergedName;
+    /**
+     * Find common prefix among strings
+     */
+    private findCommonPrefix;
+    /**
+     * Update statistics after compression
+     */
+    private updateStatistics;
+    /**
+     * Get compression statistics
+     */
+    getStatistics(): CompressionStatistics;
+    /**
+     * Reset statistics
+     */
+    resetStatistics(): void;
+    /**
+     * Get current configuration
+     */
+    getConfig(): IterativeCompressorConfig;
+    /**
+     * Update configuration
+     */
+    updateConfig(config: Partial<IterativeCompressorConfig>): void;
+    /**
+     * Serialize to JSON
+     */
+    toJSON(): string;
+    /**
+     * Deserialize from JSON
+     */
+    fromJSON(json: string): void;
+}
+/**
+ * Create an IterativeCompressor instance
+ * @param config - Optional configuration
+ * @returns IterativeCompressor instance
+ */
+export declare function createIterativeCompressor(config?: Partial<IterativeCompressorConfig>): IterativeCompressor;
+//# sourceMappingURL=IterativeCompressor.d.ts.map

package/dist/library/IterativeCompressor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"IterativeCompressor.d.ts","sourceRoot":"","sources":["../../src/library/IterativeCompressor.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,cAAc,EAAmB,MAAM,aAAa,CAAC;AAMnE;;GAEG;AACH,MAAM,WAAW,yBAAyB;IACxC,4DAA4D;IAC5D,mBAAmB,EAAE,MAAM,CAAC;IAC5B,6DAA6D;IAC7D,WAAW,EAAE,MAAM,CAAC;IACpB,kDAAkD;IAClD,eAAe,EAAE,MAAM,CAAC;IACxB,yCAAyC;IACzC,aAAa,EAAE,MAAM,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,6BAA6B;IAC7B,aAAa,EAAE,MAAM,CAAC;IACtB,+BAA+B;IAC/B,eAAe,EAAE,MAAM,CAAC;IACxB,yBAAyB;IACzB,YAAY,EAAE,WAAW,EAAE,CAAC;IAC5B,8BAA8B;IAC9B,gBAAgB,EAAE,MAAM,CAAC;IACzB,iCAAiC;IACjC,gBAAgB,EAAE,MAAM,CAAC;IACzB,0BAA0B;IAC1B,kBAAkB,EAAE,cAAc,EAAE,CAAC;CACtC;AAED;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,wBAAwB;IACxB,QAAQ,EAAE,MAAM,CAAC;IACjB,yBAAyB;IACzB,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,uBAAuB;IACvB,eAAe,EAAE,MAAM,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,mCAAmC;IACnC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,iCAAiC;IACjC,gBAAgB,EAAE,MAAM,CAAC;IACzB,iCAAiC;IACjC,mBAAmB,EAAE,IAAI,GAAG,IAAI,CAAC;CAClC;AAED;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC;;OAEG;IACH,cAAc,CAAC,QAAQ,EAAE,cAAc,EAAE,GAAG,OAAO,CAAC;IAEpD;;OAEG;IACH,QAAQ,CAAC,QAAQ,EAAE,cAAc,EAAE,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAEjE;;OAEG;IACH,mBAAmB,CAAC,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,cAAc,GAAG,MAAM,CAAC;IAEpE;;OAEG;IACH,aAAa,CAAC,QAAQ,EAAE,cAAc,EAAE,GAAG,OAAO,CAAC,cAAc,CAAC,CAAC;IAEnE;;OAEG;IACH,aAAa,IAAI,qBAAqB,CAAC;IAEvC;;OAEG;IACH,eAAe,IAAI,IAAI,CAAC;IAExB;;OAEG;IACH,SAAS,IAAI,yBAAyB,CAAC;IAEvC;;OAEG;IACH,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,yBAAyB,CAAC,GAAG,IAAI,CAAC;IAE/D;;OAEG;IACH,MAAM,IAAI,MAAM,CAAC;IAEjB;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;CAC9B;AAMD;;GAEG;AACH,qBAAa,0BAA2B,YAAW,mBAAmB;IACpE,OAAO,CAAC,MAAM,CAA4B;IAC1C,OAAO,CAAC,UAAU,CAAwB;gBAE9B,MAAM,CAAC,EAAE,OAAO,CAAC,yBAAyB,CAAC;IAevD;;OAEG;IACH,cAAc,CAAC,QAAQ,EAAE,cAAc,EAAE,GAAG,OAAO;IAInD;;OAEG;IACG,QAAQ,CAAC,QAAQ,EAAE,cAAc,EAAE,GAAG,OAAO,CAAC,iBAAiB,CAAC;IA2DtE;;OAEG;YACW,iBAAiB;IAkC/B;;OAEG;IACH,OAAO,CAAC,mBAAmB;IA4B3B;;OAEG;IACH,mBAAmB,CAAC,EAAE,EAAE,cAAc,EAAE,EAAE,EAAE,cAAc,GAAG,MAAM;IAmCnE;;OAEG;IACH,OAAO,CAAC,YAAY;IAYpB;;OAEG;IACH,OAAO,CAAC,iBAAiB;IAQzB;;OAEG;IACH,OAAO,CAAC,sBAAsB;IAiB9B;;OAEG;IACH,OAAO,CAAC,0BAA0B;IAgBlC;;OAEG;IACG,aAAa,CAAC,QAAQ,EAAE,cAAc,EAAE,GAAG,OAAO,CAAC,cAAc,CAAC;IAsCxE;;OAEG;IACH,OAAO,CAAC,kBAAkB;IAY1B;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAmBxB;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAUxB;;OAEG;IACH,aAAa,IAAI,qBAAqB;IAItC;;OAEG;IACH,eAAe,IAAI,IAAI;IAQvB;;OAEG;IACH,SAAS,IAAI,yBAAyB;IAItC;;OAEG;IACH,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,yBAAyB,CAAC,GAAG,IAAI;IAI9D;;OAEG;IACH,MAAM,IAAI,MAAM;IAUhB;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;CAiB7B;AAMD;;;;GAIG;AACH,wBAAgB,yBAAyB,CACvC,MAAM,CAAC,EAAE,OAAO,CAAC,yBAAyB,CAAC,GAC1C,mBAAmB,CAErB"}