@nahisaho/musubix-library-learner 2.0.0

package/README.md

@@ -0,0 +1,117 @@
+# @nahisaho/musubix-library-learner
+
+DreamCoder-style hierarchical abstraction and library learning for MUSUBIX.
+
+## Overview
+
+This package provides pattern mining, hierarchical abstraction, type-directed search, and E-graph optimization capabilities for the MUSUBIX neuro-symbolic AI integration system.
+
+## Features
+
+- **Pattern Mining**: Extract recurring patterns from code corpora
+- **Hierarchical Abstraction**: Three-level abstraction (concrete → templates → concepts)
+- **Type-Directed Search**: Filter and score patterns by type compatibility
+- **E-Graph Optimization**: Equality saturation for optimal expression extraction
+- **Library Management**: Store, consolidate, and prune learned patterns
+
+## Installation
+
+```bash
+npm install @nahisaho/musubix-library-learner
+```
+
+## Quick Start
+
+```typescript
+import { createLibraryLearner } from '@nahisaho/musubix-library-learner';
+
+// Create a library learner
+const learner = createLibraryLearner({
+  abstractionLevels: 3,
+  minOccurrences: 2,
+});
+
+// Learn from a code corpus
+const corpus = {
+  id: 'my-corpus',
+  files: [
+    { path: 'file1.ts', content: '...', language: 'typescript' },
+    { path: 'file2.ts', content: '...', language: 'typescript' },
+  ],
+};
+
+const result = await learner.learnFromCorpus(corpus);
+console.log(`Extracted ${result.patternsExtracted} patterns`);
+
+// Synthesize using learned patterns
+const synthesis = await learner.synthesize({
+  type: { kind: 'function', paramTypes: [], returnType: { kind: 'primitive', name: 'number' } },
+  description: 'A function that returns a number',
+});
+
+if (synthesis.success) {
+  console.log('Synthesized program:', synthesis.program);
+}
+```
+
+## API
+
+### LibraryLearner
+
+High-level API for library learning.
+
+```typescript
+interface LibraryLearner {
+  learnFromCorpus(corpus: CodeCorpus): Promise<LearnResult>;
+  learnIncremental(code: string): Promise<void>;
+  synthesize(spec: Specification, options?: SynthesizeOptions): Promise<SynthesisResult>;
+  getLibrary(): LibraryStore;
+  getStats(): Promise<LibraryStats>;
+}
+```
+
+### PatternMiner
+
+Extract patterns from code.
+
+```typescript
+interface PatternMiner {
+  mine(corpus: CodeCorpus): Promise<PatternCandidate[]>;
+  setMinOccurrences(count: number): void;
+}
+```
+
+### Abstractor
+
+Hierarchical abstraction of patterns.
+
+```typescript
+interface Abstractor {
+  extractConcretePatterns(candidates: PatternCandidate[]): ConcretePattern[];
+  parameterize(patterns: ConcretePattern[]): ParameterizedTemplate[];
+  generalize(templates: ParameterizedTemplate[]): AbstractConcept[];
+}
+```
+
+### TypeAnalyzer
+
+Type-directed search and analysis.
+
+```typescript
+interface TypeAnalyzer {
+  isCompatible(source: TypeSignature, target: TypeSignature): boolean;
+  filterByType(candidates: PatternCandidate[], expectedType: TypeSignature): PatternCandidate[];
+  scoreByTypeMatch(candidate: PatternCandidate, context: TypeContext): number;
+}
+```
+
+## Requirements
+
+- REQ-LL-001: 階層的抽象化 (3+ levels)
+- REQ-LL-002: ライブラリ成長 (auto-expand)
+- REQ-LL-003: 型指向探索 (type-directed search)
+- REQ-LL-004: E-graph最適化
+
+## License
+
+MIT

package/dist/LibraryLearner.d.ts

@@ -0,0 +1,36 @@
+/**
+ * LibraryLearner - High-level API for library learning
+ *
+ * REQ-LL-001: 階層的抽象化
+ * REQ-LL-002: ライブラリ成長
+ * REQ-LL-003: 型指向探索
+ * REQ-LL-004: E-graph最適化
+ *
+ * DES-PHASE2-001: High-level API
+ */
+import type { CodeCorpus, LearnResult, Specification, SynthesizeOptions, SynthesisResult, LibraryStats, LibraryLearnerConfig, LearnedPattern } from './types.js';
+import { type LibraryStore } from './library/LibraryStore.js';
+/**
+ * LibraryLearner interface
+ */
+export interface LibraryLearner {
+    /** Learn patterns from a code corpus */
+    learnFromCorpus(corpus: CodeCorpus): Promise<LearnResult>;
+    /** Incremental learning from single code snippet */
+    learnIncremental(code: string): Promise<void>;
+    /** Synthesize code using learned library */
+    synthesize(spec: Specification, options?: SynthesizeOptions): Promise<SynthesisResult>;
+    /** Get the pattern library */
+    getLibrary(): LibraryStore;
+    /** Get library statistics */
+    getStats(): Promise<LibraryStats>;
+    /** Export library data */
+    exportLibrary(): Promise<LearnedPattern[]>;
+    /** Import library data */
+    importLibrary(patterns: LearnedPattern[]): Promise<void>;
+}
+/**
+ * Factory function to create a LibraryLearner
+ */
+export declare function createLibraryLearner(config?: LibraryLearnerConfig): LibraryLearner;
+//# sourceMappingURL=LibraryLearner.d.ts.map

package/dist/LibraryLearner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"LibraryLearner.d.ts","sourceRoot":"","sources":["../src/LibraryLearner.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EACV,UAAU,EACV,WAAW,EACX,aAAa,EACb,iBAAiB,EACjB,eAAe,EACf,YAAY,EACZ,oBAAoB,EACpB,cAAc,EAEf,MAAM,YAAY,CAAC;AAKpB,OAAO,EAAsB,KAAK,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAMlF;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,wCAAwC;IACxC,eAAe,CAAC,MAAM,EAAE,UAAU,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;IAE1D,oDAAoD;IACpD,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAE9C,4CAA4C;IAC5C,UAAU,CAAC,IAAI,EAAE,aAAa,EAAE,OAAO,CAAC,EAAE,iBAAiB,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC;IAEvF,8BAA8B;IAC9B,UAAU,IAAI,YAAY,CAAC;IAE3B,6BAA6B;IAC7B,QAAQ,IAAI,OAAO,CAAC,YAAY,CAAC,CAAC;IAElC,0BAA0B;IAC1B,aAAa,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC,CAAC;IAE3C,0BAA0B;IAC1B,aAAa,CAAC,QAAQ,EAAE,cAAc,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CAC1D;AAoOD;;GAEG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,CAAC,EAAE,oBAAoB,GAAG,cAAc,CAElF"}

package/dist/LibraryLearner.js

@@ -0,0 +1,217 @@
+/**
+ * LibraryLearner - High-level API for library learning
+ *
+ * REQ-LL-001: 階層的抽象化
+ * REQ-LL-002: ライブラリ成長
+ * REQ-LL-003: 型指向探索
+ * REQ-LL-004: E-graph最適化
+ *
+ * DES-PHASE2-001: High-level API
+ */
+import { createPatternMiner } from './abstraction/PatternMiner.js';
+import { createAbstractor } from './abstraction/Abstractor.js';
+import { createTypeAnalyzer } from './abstraction/TypeAnalyzer.js';
+import { createLibraryStore } from './library/LibraryStore.js';
+import { createConsolidator } from './library/Consolidator.js';
+import { createPruner } from './library/Pruner.js';
+import { createEGraphBuilder } from './egraph/EGraphBuilder.js';
+import { createExtractor } from './egraph/Extractor.js';
+/**
+ * Default LibraryLearner implementation
+ */
+class LibraryLearnerImpl {
+    config;
+    patternMiner;
+    abstractor;
+    // @ts-expect-error - Will be used in type-directed synthesis
+    typeAnalyzer;
+    libraryStore;
+    consolidator;
+    // @ts-expect-error - Will be used in maintenance operations
+    pruner;
+    egraphBuilder;
+    extractor;
+    constructor(config = {}) {
+        this.config = {
+            abstractionLevels: config.abstractionLevels ?? 3,
+            minOccurrences: config.minOccurrences ?? 2,
+            decayRate: config.decayRate ?? 0.95,
+            pruneThreshold: config.pruneThreshold ?? 0.1,
+            useEGraph: config.useEGraph ?? true,
+            storagePath: config.storagePath ?? '.musubix/library',
+        };
+        // Initialize components
+        this.patternMiner = createPatternMiner({
+            minOccurrences: this.config.minOccurrences,
+        });
+        this.abstractor = createAbstractor();
+        this.typeAnalyzer = createTypeAnalyzer();
+        this.libraryStore = createLibraryStore();
+        this.consolidator = createConsolidator();
+        this.pruner = createPruner();
+        this.egraphBuilder = createEGraphBuilder();
+        this.extractor = createExtractor();
+    }
+    async learnFromCorpus(corpus) {
+        const startTime = Date.now();
+        // Step 1: Mine patterns
+        const candidates = await this.patternMiner.mine(corpus);
+        // Step 2: Hierarchical abstraction
+        const { concrete, templates, concepts } = this.abstractor.abstract(candidates);
+        // Step 3: Store patterns in library
+        let patternsAdded = 0;
+        // Add level 1 patterns (concrete)
+        for (const pattern of concrete) {
+            await this.libraryStore.add(this.createLearnedPattern(pattern, 1));
+            patternsAdded++;
+        }
+        // Add level 2 patterns (templates) if configured
+        if (this.config.abstractionLevels >= 2) {
+            for (const template of templates) {
+                await this.libraryStore.add({
+                    id: template.id,
+                    name: `Template: ${template.id}`,
+                    level: 2,
+                    content: template,
+                    usageCount: 0,
+                    confidence: 0.7,
+                    createdAt: new Date(),
+                    lastUsedAt: new Date(),
+                    tags: ['template'],
+                });
+                patternsAdded++;
+            }
+        }
+        // Add level 3 patterns (concepts) if configured
+        if (this.config.abstractionLevels >= 3) {
+            for (const concept of concepts) {
+                await this.libraryStore.add({
+                    id: concept.id,
+                    name: concept.name,
+                    level: 3,
+                    content: concept,
+                    usageCount: 0,
+                    confidence: 0.6,
+                    createdAt: new Date(),
+                    lastUsedAt: new Date(),
+                    tags: ['concept', concept.category],
+                });
+                patternsAdded++;
+            }
+        }
+        // Step 4: Consolidate similar patterns
+        const consolidationReport = await this.consolidator.consolidateLibrary(this.libraryStore);
+        return {
+            patternsExtracted: candidates.length,
+            patternsAdded,
+            patternsConsolidated: consolidationReport.patternsMerged,
+            duration: Date.now() - startTime,
+        };
+    }
+    async learnIncremental(code) {
+        const corpus = {
+            id: `incremental-${Date.now()}`,
+            files: [
+                {
+                    path: 'incremental.ts',
+                    content: code,
+                    language: 'typescript',
+                },
+            ],
+        };
+        await this.learnFromCorpus(corpus);
+    }
+    async synthesize(spec, options = {}) {
+        const startTime = Date.now();
+        const patternsUsed = [];
+        // Get all patterns from library
+        const patterns = await this.libraryStore.getAll();
+        // Filter patterns by type if specified
+        let candidates = patterns;
+        if (spec.type && options.useTypeDirected !== false) {
+            // Use type analyzer to filter
+            // Note: This is simplified - full implementation would need pattern type inference
+            candidates = patterns.filter((p) => p.confidence > 0.5);
+        }
+        // Build e-graph if enabled
+        if (this.config.useEGraph && options.useEGraph !== false) {
+            const graph = this.egraphBuilder.build(candidates);
+            const optimal = this.extractor.extract(graph, (_node, childCosts) => {
+                // Simple cost function: prefer smaller expressions
+                return 1 + childCosts.reduce((a, b) => a + b, 0);
+            });
+            if (optimal.cost < Infinity) {
+                patternsUsed.push(...candidates.slice(0, 1).map((p) => p.id));
+                return {
+                    success: true,
+                    program: optimal.ast,
+                    candidates: [optimal.ast],
+                    duration: Date.now() - startTime,
+                    searchNodes: candidates.length,
+                    patternsUsed,
+                };
+            }
+        }
+        // Fallback: no synthesis possible
+        return {
+            success: false,
+            duration: Date.now() - startTime,
+            searchNodes: candidates.length,
+            patternsUsed,
+        };
+    }
+    getLibrary() {
+        return this.libraryStore;
+    }
+    async getStats() {
+        const patterns = await this.libraryStore.getAll();
+        const patternsByLevel = { 1: 0, 2: 0, 3: 0 };
+        let totalConfidence = 0;
+        let totalUsageCount = 0;
+        for (const pattern of patterns) {
+            patternsByLevel[pattern.level]++;
+            totalConfidence += pattern.confidence;
+            totalUsageCount += pattern.usageCount;
+        }
+        const sortedByUsage = [...patterns].sort((a, b) => b.usageCount - a.usageCount);
+        return {
+            totalPatterns: patterns.length,
+            patternsByLevel,
+            averageConfidence: patterns.length > 0 ? totalConfidence / patterns.length : 0,
+            averageUsageCount: patterns.length > 0 ? totalUsageCount / patterns.length : 0,
+            mostUsed: sortedByUsage.slice(0, 5).map((p) => p.id),
+            leastUsed: sortedByUsage.slice(-5).map((p) => p.id),
+        };
+    }
+    async exportLibrary() {
+        return this.libraryStore.getAll();
+    }
+    async importLibrary(patterns) {
+        for (const pattern of patterns) {
+            await this.libraryStore.add(pattern);
+        }
+    }
+    // =========================================================================
+    // Private methods
+    // =========================================================================
+    createLearnedPattern(concrete, level) {
+        return {
+            id: concrete.id,
+            name: `Pattern: ${concrete.ast.type}`,
+            level,
+            content: concrete,
+            usageCount: 0,
+            confidence: Math.min(0.5 + concrete.occurrenceCount * 0.1, 1.0),
+            createdAt: new Date(),
+            lastUsedAt: new Date(),
+            tags: [concrete.ast.type.toLowerCase()],
+        };
+    }
+}
+/**
+ * Factory function to create a LibraryLearner
+ */
+export function createLibraryLearner(config) {
+    return new LibraryLearnerImpl(config);
+}
+//# sourceMappingURL=LibraryLearner.js.map

package/dist/LibraryLearner.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"LibraryLearner.js","sourceRoot":"","sources":["../src/LibraryLearner.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAcH,OAAO,EAAE,kBAAkB,EAAqB,MAAM,+BAA+B,CAAC;AACtF,OAAO,EAAE,gBAAgB,EAAmB,MAAM,6BAA6B,CAAC;AAChF,OAAO,EAAE,kBAAkB,EAAqB,MAAM,+BAA+B,CAAC;AACtF,OAAO,EAAE,kBAAkB,EAAqB,MAAM,2BAA2B,CAAC;AAClF,OAAO,EAAE,kBAAkB,EAAqB,MAAM,2BAA2B,CAAC;AAClF,OAAO,EAAE,YAAY,EAAe,MAAM,qBAAqB,CAAC;AAChE,OAAO,EAAE,mBAAmB,EAAsB,MAAM,2BAA2B,CAAC;AACpF,OAAO,EAAE,eAAe,EAAkB,MAAM,uBAAuB,CAAC;AA4BxE;;GAEG;AACH,MAAM,kBAAkB;IACd,MAAM,CAAiC;IACvC,YAAY,CAAe;IAC3B,UAAU,CAAa;IAC/B,6DAA6D;IACrD,YAAY,CAAe;IAC3B,YAAY,CAAe;IAC3B,YAAY,CAAe;IACnC,4DAA4D;IACpD,MAAM,CAAS;IACf,aAAa,CAAgB;IAC7B,SAAS,CAAY;IAE7B,YAAY,SAA+B,EAAE;QAC3C,IAAI,CAAC,MAAM,GAAG;YACZ,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,IAAI,CAAC;YAChD,cAAc,EAAE,MAAM,CAAC,cAAc,IAAI,CAAC;YAC1C,SAAS,EAAE,MAAM,CAAC,SAAS,IAAI,IAAI;YACnC,cAAc,EAAE,MAAM,CAAC,cAAc,IAAI,GAAG;YAC5C,SAAS,EAAE,MAAM,CAAC,SAAS,IAAI,IAAI;YACnC,WAAW,EAAE,MAAM,CAAC,WAAW,IAAI,kBAAkB;SACtD,CAAC;QAEF,wBAAwB;QACxB,IAAI,CAAC,YAAY,GAAG,kBAAkB,CAAC;YACrC,cAAc,EAAE,IAAI,CAAC,MAAM,CAAC,cAAc;SAC3C,CAAC,CAAC;QACH,IAAI,CAAC,UAAU,GAAG,gBAAgB,EAAE,CAAC;QACrC,IAAI,CAAC,YAAY,GAAG,kBAAkB,EAAE,CAAC;QACzC,IAAI,CAAC,YAAY,GAAG,kBAAkB,EAAE,CAAC;QACzC,IAAI,CAAC,YAAY,GAAG,kBAAkB,EAAE,CAAC;QACzC,IAAI,CAAC,MAAM,GAAG,YAAY,EAAE,CAAC;QAC7B,IAAI,CAAC,aAAa,GAAG,mBAAmB,EAAE,CAAC;QAC3C,IAAI,CAAC,SAAS,GAAG,eAAe,EAAE,CAAC;IACrC,CAAC;IAED,KAAK,CAAC,eAAe,CAAC,MAAkB;QACtC,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAE7B,wBAAwB;QACxB,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAExD,mCAAmC;QACnC,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,GAAG,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QAE/E,oCAAoC;QACpC,IAAI,aAAa,GAAG,CAAC,CAAC;QAEtB,kCAAkC;QAClC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,MAAM,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,oBAAoB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;YACnE,aAAa,EAAE,CAAC;QAClB,CAAC;QAED,iDAAiD;QACjD,IAAI,IAAI,CAAC,MAAM,CAAC,iBAAiB,IAAI,CAAC,EAAE,CAAC;YACvC,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;gBACjC,MAAM,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC;oBAC1B,EAAE,EAAE,QAAQ,CAAC,EAAE;oBACf,IAAI,EAAE,aAAa,QAAQ,CAAC,EAAE,EAAE;oBAChC,KAAK,EAAE,CAAC;oBACR,OAAO,EAAE,QAAQ;oBACjB,UAAU,EAAE,CAAC;oBACb,UAAU,EAAE,GAAG;oBACf,SAAS,EAAE,IAAI,IAAI,EAAE;oBACrB,UAAU,EAAE,IAAI,IAAI,EAAE;oBACtB,IAAI,EAAE,CAAC,UAAU,CAAC;iBACnB,CAAC,CAAC;gBACH,aAAa,EAAE,CAAC;YAClB,CAAC;QACH,CAAC;QAED,gDAAgD;QAChD,IAAI,IAAI,CAAC,MAAM,CAAC,iBAAiB,IAAI,CAAC,EAAE,CAAC;YACvC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;gBAC/B,MAAM,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC;oBAC1B,EAAE,EAAE,OAAO,CAAC,EAAE;oBACd,IAAI,EAAE,OAAO,CAAC,IAAI;oBAClB,KAAK,EAAE,CAAC;oBACR,OAAO,EAAE,OAAO;oBAChB,UAAU,EAAE,CAAC;oBACb,UAAU,EAAE,GAAG;oBACf,SAAS,EAAE,IAAI,IAAI,EAAE;oBACrB,UAAU,EAAE,IAAI,IAAI,EAAE;oBACtB,IAAI,EAAE,CAAC,SAAS,EAAE,OAAO,CAAC,QAAQ,CAAC;iBACpC,CAAC,CAAC;gBACH,aAAa,EAAE,CAAC;YAClB,CAAC;QACH,CAAC;QAED,uCAAuC;QACvC,MAAM,mBAAmB,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,kBAAkB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAE1F,OAAO;YACL,iBAAiB,EAAE,UAAU,CAAC,MAAM;YACpC,aAAa;YACb,oBAAoB,EAAE,mBAAmB,CAAC,cAAc;YACxD,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;SACjC,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,gBAAgB,CAAC,IAAY;QACjC,MAAM,MAAM,GAAe;YACzB,EAAE,EAAE,eAAe,IAAI,CAAC,GAAG,EAAE,EAAE;YAC/B,KAAK,EAAE;gBACL;oBACE,IAAI,EAAE,gBAAgB;oBACtB,OAAO,EAAE,IAAI;oBACb,QAAQ,EAAE,YAAY;iBACvB;aACF;SACF,CAAC;QAEF,MAAM,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC;IACrC,CAAC;IAED,KAAK,CAAC,UAAU,CACd,IAAmB,EACnB,UAA6B,EAAE;QAE/B,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC7B,MAAM,YAAY,GAAa,EAAE,CAAC;QAElC,gCAAgC;QAChC,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC;QAElD,uCAAuC;QACvC,IAAI,UAAU,GAAG,QAAQ,CAAC;QAC1B,IAAI,IAAI,CAAC,IAAI,IAAI,OAAO,CAAC,eAAe,KAAK,KAAK,EAAE,CAAC;YACnD,8BAA8B;YAC9B,mFAAmF;YACnF,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC;QAC1D,CAAC;QAED,2BAA2B;QAC3B,IAAI,IAAI,CAAC,MAAM,CAAC,SAAS,IAAI,OAAO,CAAC,SAAS,KAAK,KAAK,EAAE,CAAC;YACzD,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;YACnD,MAAM,OAAO,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC,KAAK,EAAE,UAAU,EAAE,EAAE;gBAClE,mDAAmD;gBACnD,OAAO,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;YACnD,CAAC,CAAC,CAAC;YAEH,IAAI,OAAO,CAAC,IAAI,GAAG,QAAQ,EAAE,CAAC;gBAC5B,YAAY,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBAE9D,OAAO;oBACL,OAAO,EAAE,IAAI;oBACb,OAAO,EAAE,OAAO,CAAC,GAAG;oBACpB,UAAU,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC;oBACzB,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;oBAChC,WAAW,EAAE,UAAU,CAAC,MAAM;oBAC9B,YAAY;iBACb,CAAC;YACJ,CAAC;QACH,CAAC;QAED,kCAAkC;QAClC,OAAO;YACL,OAAO,EAAE,KAAK;YACd,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;YAChC,WAAW,EAAE,UAAU,CAAC,MAAM;YAC9B,YAAY;SACb,CAAC;IACJ,CAAC;IAED,UAAU;QACR,OAAO,IAAI,CAAC,YAAY,CAAC;IAC3B,CAAC;IAED,KAAK,CAAC,QAAQ;QACZ,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC;QAElD,MAAM,eAAe,GAA8B,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;QACxE,IAAI,eAAe,GAAG,CAAC,CAAC;QACxB,IAAI,eAAe,GAAG,CAAC,CAAC;QAExB,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,eAAe,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACjC,eAAe,IAAI,OAAO,CAAC,UAAU,CAAC;YACtC,eAAe,IAAI,OAAO,CAAC,UAAU,CAAC;QACxC,CAAC;QAED,MAAM,aAAa,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC;QAEhF,OAAO;YACL,aAAa,EAAE,QAAQ,CAAC,MAAM;YAC9B,eAAe;YACf,iBAAiB,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,eAAe,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC9E,iBAAiB,EAAE,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,eAAe,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC9E,QAAQ,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACpD,SAAS,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACpD,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,aAAa;QACjB,OAAO,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC;IACpC,CAAC;IAED,KAAK,CAAC,aAAa,CAAC,QAA0B;QAC5C,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,MAAM,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IAED,4EAA4E;IAC5E,kBAAkB;IAClB,4EAA4E;IAEpE,oBAAoB,CAAC,QAAyB,EAAE,KAAgB;QACtE,OAAO;YACL,EAAE,EAAE,QAAQ,CAAC,EAAE;YACf,IAAI,EAAE,YAAY,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE;YACrC,KAAK;YACL,OAAO,EAAE,QAAQ;YACjB,UAAU,EAAE,CAAC;YACb,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,QAAQ,CAAC,eAAe,GAAG,GAAG,EAAE,GAAG,CAAC;YAC/D,SAAS,EAAE,IAAI,IAAI,EAAE;YACrB,UAAU,EAAE,IAAI,IAAI,EAAE;YACtB,IAAI,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;SACxC,CAAC;IACJ,CAAC;CACF;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAAC,MAA6B;IAChE,OAAO,IAAI,kBAAkB,CAAC,MAAM,CAAC,CAAC;AACxC,CAAC"}

package/dist/abstraction/Abstractor.d.ts

@@ -0,0 +1,29 @@
+/**
+ * Abstractor - Hierarchical abstraction of patterns
+ *
+ * REQ-LL-001: 階層的抽象化
+ * DES-PHASE2-001: Abstraction Engine / Abstractor
+ */
+import type { PatternCandidate, ConcretePattern, ParameterizedTemplate, AbstractConcept } from '../types.js';
+/**
+ * Abstractor interface
+ */
+export interface Abstractor {
+    /** Level 1: Extract concrete patterns */
+    extractConcretePatterns(candidates: PatternCandidate[]): ConcretePattern[];
+    /** Level 2: Parameterize patterns into templates */
+    parameterize(patterns: ConcretePattern[]): ParameterizedTemplate[];
+    /** Level 3: Generalize templates into abstract concepts */
+    generalize(templates: ParameterizedTemplate[]): AbstractConcept[];
+    /** Full abstraction pipeline */
+    abstract(candidates: PatternCandidate[]): {
+        concrete: ConcretePattern[];
+        templates: ParameterizedTemplate[];
+        concepts: AbstractConcept[];
+    };
+}
+/**
+ * Factory function to create an Abstractor
+ */
+export declare function createAbstractor(): Abstractor;
+//# sourceMappingURL=Abstractor.d.ts.map

package/dist/abstraction/Abstractor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Abstractor.d.ts","sourceRoot":"","sources":["../../src/abstraction/Abstractor.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EACV,gBAAgB,EAChB,eAAe,EACf,qBAAqB,EACrB,eAAe,EAIhB,MAAM,aAAa,CAAC;AAErB;;GAEG;AACH,MAAM,WAAW,UAAU;IACzB,yCAAyC;IACzC,uBAAuB,CAAC,UAAU,EAAE,gBAAgB,EAAE,GAAG,eAAe,EAAE,CAAC;IAE3E,oDAAoD;IACpD,YAAY,CAAC,QAAQ,EAAE,eAAe,EAAE,GAAG,qBAAqB,EAAE,CAAC;IAEnE,2DAA2D;IAC3D,UAAU,CAAC,SAAS,EAAE,qBAAqB,EAAE,GAAG,eAAe,EAAE,CAAC;IAElE,gCAAgC;IAChC,QAAQ,CAAC,UAAU,EAAE,gBAAgB,EAAE,GAAG;QACxC,QAAQ,EAAE,eAAe,EAAE,CAAC;QAC5B,SAAS,EAAE,qBAAqB,EAAE,CAAC;QACnC,QAAQ,EAAE,eAAe,EAAE,CAAC;KAC7B,CAAC;CACH;AAoVD;;GAEG;AACH,wBAAgB,gBAAgB,IAAI,UAAU,CAE7C"}