@nahisaho/musubix-library-learner 2.1.1 → 2.2.0

package/dist/domain/__tests__/DomainAwareAbstractor.test.js

@@ -0,0 +1,217 @@
+/**
+ * DomainAwareAbstractor Tests
+ * @module @nahisaho/musubix-library-learner
+ * @see TSK-LL-106
+ * @see DES-LL-106
+ * @see REQ-LL-106 Domain-aware pattern abstraction
+ */
+import { describe, it, expect, beforeEach } from 'vitest';
+import { createDomainAwareAbstractor, } from '../DomainAwareAbstractor.js';
+describe('DomainAwareAbstractor', () => {
+    let abstractor;
+    // Helper to create mock patterns
+    const createPattern = (id, name) => ({
+        id,
+        name,
+        level: 1,
+        content: {
+            id,
+            ast: { type: 'Expression', value: name },
+            occurrenceCount: 5,
+            locations: [],
+        },
+        usageCount: 10,
+        confidence: 0.8,
+        createdAt: new Date(),
+        lastUsedAt: new Date(),
+        tags: [],
+    });
+    // Mock domain ontology
+    const mockOntology = {
+        name: 'E-Commerce Domain',
+        version: '1.0.0',
+        concepts: [
+            {
+                id: 'ORDER',
+                name: 'Order',
+                description: 'Customer order',
+                properties: ['orderId', 'customerId', 'items', 'total'],
+                relations: [
+                    { type: 'hasMany', target: 'ORDER_ITEM' },
+                    { type: 'belongsTo', target: 'CUSTOMER' },
+                ],
+            },
+            {
+                id: 'ORDER_ITEM',
+                name: 'OrderItem',
+                description: 'Item in an order',
+                properties: ['productId', 'quantity', 'price'],
+                relations: [{ type: 'belongsTo', target: 'ORDER' }],
+            },
+            {
+                id: 'CUSTOMER',
+                name: 'Customer',
+                description: 'Customer entity',
+                properties: ['customerId', 'name', 'email'],
+                relations: [{ type: 'hasMany', target: 'ORDER' }],
+            },
+        ],
+        constraints: [
+            { type: 'required', concept: 'ORDER', property: 'orderId' },
+            { type: 'positive', concept: 'ORDER_ITEM', property: 'quantity' },
+        ],
+    };
+    beforeEach(() => {
+        abstractor = createDomainAwareAbstractor();
+    });
+    describe('Factory Function', () => {
+        it('should create a DomainAwareAbstractor instance', () => {
+            const instance = createDomainAwareAbstractor();
+            expect(instance).toBeDefined();
+            expect(typeof instance.loadOntology).toBe('function');
+        });
+        it('should create with custom config', () => {
+            const instance = createDomainAwareAbstractor({
+                strictMode: true,
+                maxAbstractionDepth: 5,
+            });
+            expect(instance).toBeDefined();
+        });
+    });
+    describe('loadOntology', () => {
+        it('should load domain ontology', () => {
+            expect(() => abstractor.loadOntology(mockOntology)).not.toThrow();
+        });
+        it('should validate ontology structure', () => {
+            const invalidOntology = {
+                name: 'Invalid',
+                concepts: [], // Empty concepts
+            };
+            // Should not throw, but return validation result
+            const result = abstractor.loadOntology(invalidOntology);
+            expect(result.success).toBe(true); // Empty is valid
+        });
+        it('should replace existing ontology', () => {
+            abstractor.loadOntology(mockOntology);
+            const newOntology = {
+                name: 'New Domain',
+                version: '2.0.0',
+                concepts: [],
+                constraints: [],
+            };
+            abstractor.loadOntology(newOntology);
+            const loaded = abstractor.getLoadedOntology();
+            expect(loaded?.name).toBe('New Domain');
+        });
+    });
+    describe('abstractWithDomain', () => {
+        beforeEach(() => {
+            abstractor.loadOntology(mockOntology);
+        });
+        it('should abstract pattern with domain context', async () => {
+            const pattern = createPattern('PAT-001', 'CreateOrder');
+            const abstracted = await abstractor.abstractWithDomain(pattern);
+            expect(abstracted).toBeDefined();
+            expect(abstracted.domainConcepts).toBeDefined();
+        });
+        it('should identify related domain concepts', async () => {
+            const pattern = createPattern('PAT-001', 'UpdateOrderItem');
+            const abstracted = await abstractor.abstractWithDomain(pattern);
+            // Should identify ORDER_ITEM concept
+            expect(abstracted.domainConcepts).toContain('ORDER_ITEM');
+        });
+        it('should apply domain constraints', async () => {
+            const pattern = createPattern('PAT-001', 'ValidateOrderTotal');
+            const abstracted = await abstractor.abstractWithDomain(pattern);
+            expect(abstracted.constraints).toBeDefined();
+        });
+        it('should handle patterns without domain match', async () => {
+            const pattern = createPattern('PAT-001', 'CalculateTax');
+            const abstracted = await abstractor.abstractWithDomain(pattern);
+            // Should still return result, but with empty domain concepts
+            expect(abstracted).toBeDefined();
+            expect(abstracted.domainConcepts.length).toBe(0);
+        });
+    });
+    describe('findRelatedConcepts', () => {
+        beforeEach(() => {
+            abstractor.loadOntology(mockOntology);
+        });
+        it('should find concepts by name', () => {
+            const concepts = abstractor.findRelatedConcepts('Order');
+            expect(concepts.length).toBeGreaterThan(0);
+            expect(concepts.some((c) => c.id === 'ORDER')).toBe(true);
+        });
+        it('should find concepts by property', () => {
+            const concepts = abstractor.findRelatedConcepts('customerId');
+            expect(concepts.length).toBeGreaterThan(0);
+        });
+        it('should return empty for unknown terms', () => {
+            const concepts = abstractor.findRelatedConcepts('XyzUnknown');
+            expect(concepts).toEqual([]);
+        });
+    });
+    describe('getConceptHierarchy', () => {
+        beforeEach(() => {
+            abstractor.loadOntology(mockOntology);
+        });
+        it('should return concept hierarchy', () => {
+            const hierarchy = abstractor.getConceptHierarchy('ORDER');
+            expect(hierarchy).toBeDefined();
+            expect(hierarchy.concept.id).toBe('ORDER');
+        });
+        it('should include related concepts', () => {
+            const hierarchy = abstractor.getConceptHierarchy('ORDER');
+            expect(hierarchy.related.length).toBeGreaterThan(0);
+        });
+    });
+    describe('Batch Operations', () => {
+        beforeEach(() => {
+            abstractor.loadOntology(mockOntology);
+        });
+        it('should abstract multiple patterns', async () => {
+            const patterns = [
+                createPattern('PAT-001', 'CreateOrder'),
+                createPattern('PAT-002', 'UpdateCustomer'),
+                createPattern('PAT-003', 'DeleteOrderItem'),
+            ];
+            const results = await abstractor.abstractBatch(patterns);
+            expect(results).toHaveLength(3);
+        });
+    });
+    describe('Statistics', () => {
+        it('should track abstraction statistics', async () => {
+            abstractor.loadOntology(mockOntology);
+            const pattern = createPattern('PAT-001', 'CreateOrder');
+            await abstractor.abstractWithDomain(pattern);
+            const stats = abstractor.getStatistics();
+            expect(stats.totalAbstractions).toBeGreaterThanOrEqual(1);
+            expect(stats.ontologiesLoaded).toBe(1);
+        });
+        it('should reset statistics', () => {
+            abstractor.loadOntology(mockOntology);
+            abstractor.resetStatistics();
+            const stats = abstractor.getStatistics();
+            expect(stats.totalAbstractions).toBe(0);
+        });
+    });
+    describe('Serialization', () => {
+        it('should serialize to JSON', () => {
+            abstractor.loadOntology(mockOntology);
+            const json = abstractor.toJSON();
+            expect(typeof json).toBe('string');
+            const parsed = JSON.parse(json);
+            expect(parsed.ontology).toBeDefined();
+        });
+        it('should deserialize from JSON', () => {
+            const json = JSON.stringify({
+                ontology: mockOntology,
+                config: { strictMode: true },
+            });
+            expect(() => abstractor.fromJSON(json)).not.toThrow();
+            const loaded = abstractor.getLoadedOntology();
+            expect(loaded?.name).toBe('E-Commerce Domain');
+        });
+    });
+});
+//# sourceMappingURL=DomainAwareAbstractor.test.js.map

package/dist/domain/__tests__/DomainAwareAbstractor.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"DomainAwareAbstractor.test.js","sourceRoot":"","sources":["../../../src/domain/__tests__/DomainAwareAbstractor.test.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AAC1D,OAAO,EACL,2BAA2B,GAG5B,MAAM,6BAA6B,CAAC;AAGrC,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,IAAI,UAAiC,CAAC;IAEtC,iCAAiC;IACjC,MAAM,aAAa,GAAG,CAAC,EAAU,EAAE,IAAY,EAAkB,EAAE,CAAC,CAAC;QACnE,EAAE;QACF,IAAI;QACJ,KAAK,EAAE,CAAC;QACR,OAAO,EAAE;YACP,EAAE;YACF,GAAG,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,IAAI,EAAE;YACxC,eAAe,EAAE,CAAC;YAClB,SAAS,EAAE,EAAE;SACK;QACpB,UAAU,EAAE,EAAE;QACd,UAAU,EAAE,GAAG;QACf,SAAS,EAAE,IAAI,IAAI,EAAE;QACrB,UAAU,EAAE,IAAI,IAAI,EAAE;QACtB,IAAI,EAAE,EAAE;KACT,CAAC,CAAC;IAEH,uBAAuB;IACvB,MAAM,YAAY,GAAmB;QACnC,IAAI,EAAE,mBAAmB;QACzB,OAAO,EAAE,OAAO;QAChB,QAAQ,EAAE;YACR;gBACE,EAAE,EAAE,OAAO;gBACX,IAAI,EAAE,OAAO;gBACb,WAAW,EAAE,gBAAgB;gBAC7B,UAAU,EAAE,CAAC,SAAS,EAAE,YAAY,EAAE,OAAO,EAAE,OAAO,CAAC;gBACvD,SAAS,EAAE;oBACT,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,EAAE;oBACzC,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,UAAU,EAAE;iBAC1C;aACF;YACD;gBACE,EAAE,EAAE,YAAY;gBAChB,IAAI,EAAE,WAAW;gBACjB,WAAW,EAAE,kBAAkB;gBAC/B,UAAU,EAAE,CAAC,WAAW,EAAE,UAAU,EAAE,OAAO,CAAC;gBAC9C,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;aACpD;YACD;gBACE,EAAE,EAAE,UAAU;gBACd,IAAI,EAAE,UAAU;gBAChB,WAAW,EAAE,iBAAiB;gBAC9B,UAAU,EAAE,CAAC,YAAY,EAAE,MAAM,EAAE,OAAO,CAAC;gBAC3C,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;aAClD;SACF;QACD,WAAW,EAAE;YACX,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE;YAC3D,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,UAAU,EAAE;SAClE;KACF,CAAC;IAEF,UAAU,CAAC,GAAG,EAAE;QACd,UAAU,GAAG,2BAA2B,EAAE,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAChC,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;YACxD,MAAM,QAAQ,GAAG,2BAA2B,EAAE,CAAC;YAC/C,MAAM,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;YAC/B,MAAM,CAAC,OAAO,QAAQ,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC1C,MAAM,QAAQ,GAAG,2BAA2B,CAAC;gBAC3C,UAAU,EAAE,IAAI;gBAChB,mBAAmB,EAAE,CAAC;aACvB,CAAC,CAAC;YACH,MAAM,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;QACjC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,cAAc,EAAE,GAAG,EAAE;QAC5B,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;YACrC,MAAM,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;QACpE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;YAC5C,MAAM,eAAe,GAAG;gBACtB,IAAI,EAAE,SAAS;gBACf,QAAQ,EAAE,EAAE,EAAE,iBAAiB;aACH,CAAC;YAE/B,iDAAiD;YACjD,MAAM,MAAM,GAAG,UAAU,CAAC,YAAY,CAAC,eAAe,CAAC,CAAC;YACxD,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB;QACtD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC1C,UAAU,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC;YACtC,MAAM,WAAW,GAAmB;gBAClC,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,OAAO;gBAChB,QAAQ,EAAE,EAAE;gBACZ,WAAW,EAAE,EAAE;aAChB,CAAC;YAEF,UAAU,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC;YACrC,MAAM,MAAM,GAAG,UAAU,CAAC,iBAAiB,EAAE,CAAC;YAE9C,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAClC,UAAU,CAAC,GAAG,EAAE;YACd,UAAU,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6CAA6C,EAAE,KAAK,IAAI,EAAE;YAC3D,MAAM,OAAO,GAAG,aAAa,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;YAExD,MAAM,UAAU,GAAG,MAAM,UAAU,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC;YAEhE,MAAM,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,CAAC;YACjC,MAAM,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,WAAW,EAAE,CAAC;QAClD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yCAAyC,EAAE,KAAK,IAAI,EAAE;YACvD,MAAM,OAAO,GAAG,aAAa,CAAC,SAAS,EAAE,iBAAiB,CAAC,CAAC;YAE5D,MAAM,UAAU,GAAG,MAAM,UAAU,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC;YAEhE,qCAAqC;YACrC,MAAM,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QAC5D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iCAAiC,EAAE,KAAK,IAAI,EAAE;YAC/C,MAAM,OAAO,GAAG,aAAa,CAAC,SAAS,EAAE,oBAAoB,CAAC,CAAC;YAE/D,MAAM,UAAU,GAAG,MAAM,UAAU,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC;YAEhE,MAAM,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,CAAC;QAC/C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6CAA6C,EAAE,KAAK,IAAI,EAAE;YAC3D,MAAM,OAAO,GAAG,aAAa,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;YAEzD,MAAM,UAAU,GAAG,MAAM,UAAU,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC;YAEhE,6DAA6D;YAC7D,MAAM,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,CAAC;YACjC,MAAM,CAAC,UAAU,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;QACnC,UAAU,CAAC,GAAG,EAAE;YACd,UAAU,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;YACtC,MAAM,QAAQ,GAAG,UAAU,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC;YAEzD,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YAC3C,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC1C,MAAM,QAAQ,GAAG,UAAU,CAAC,mBAAmB,CAAC,YAAY,CAAC,CAAC;YAE9D,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC7C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uCAAuC,EAAE,GAAG,EAAE;YAC/C,MAAM,QAAQ,GAAG,UAAU,CAAC,mBAAmB,CAAC,YAAY,CAAC,CAAC;YAE9D,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC/B,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;QACnC,UAAU,CAAC,GAAG,EAAE;YACd,UAAU,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;YACzC,MAAM,SAAS,GAAG,UAAU,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC;YAE1D,MAAM,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;YAChC,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC7C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;YACzC,MAAM,SAAS,GAAG,UAAU,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC;YAE1D,MAAM,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACtD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAChC,UAAU,CAAC,GAAG,EAAE;YACd,UAAU,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mCAAmC,EAAE,KAAK,IAAI,EAAE;YACjD,MAAM,QAAQ,GAAG;gBACf,aAAa,CAAC,SAAS,EAAE,aAAa,CAAC;gBACvC,aAAa,CAAC,SAAS,EAAE,gBAAgB,CAAC;gBAC1C,aAAa,CAAC,SAAS,EAAE,iBAAiB,CAAC;aAC5C,CAAC;YAEF,MAAM,OAAO,GAAG,MAAM,UAAU,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;YAEzD,MAAM,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAClC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;QAC1B,EAAE,CAAC,qCAAqC,EAAE,KAAK,IAAI,EAAE;YACnD,UAAU,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC;YACtC,MAAM,OAAO,GAAG,aAAa,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;YAExD,MAAM,UAAU,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC;YAC7C,MAAM,KAAK,GAAG,UAAU,CAAC,aAAa,EAAE,CAAC;YAEzC,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;YAC1D,MAAM,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yBAAyB,EAAE,GAAG,EAAE;YACjC,UAAU,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC;YACtC,UAAU,CAAC,eAAe,EAAE,CAAC;YAE7B,MAAM,KAAK,GAAG,UAAU,CAAC,aAAa,EAAE,CAAC;YACzC,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;QAC7B,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;YAClC,UAAU,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC;YAEtC,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC;YACjC,MAAM,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAEnC,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAChC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;QACxC,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;YACtC,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC;gBAC1B,QAAQ,EAAE,YAAY;gBACtB,MAAM,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE;aAC7B,CAAC,CAAC;YAEH,MAAM,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;YAEtD,MAAM,MAAM,GAAG,UAAU,CAAC,iBAAiB,EAAE,CAAC;YAC9C,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QACjD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/domain/index.d.ts

@@ -0,0 +1,7 @@
+/**
+ * Domain Module - Domain-Aware Abstraction
+ * @module @nahisaho/musubix-library-learner/domain
+ */
+export { createDomainAwareAbstractor, DefaultDomainAwareAbstractor, } from './DomainAwareAbstractor.js';
+export type { DomainAwareAbstractor, DomainAwareAbstractorConfig, DomainOntology, DomainConcept, ConceptRelation, DomainConstraint, DomainAbstractionResult, ConceptHierarchy, OntologyLoadResult, AbstractionStatistics, } from './DomainAwareAbstractor.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/domain/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,2BAA2B,EAC3B,4BAA4B,GAC7B,MAAM,4BAA4B,CAAC;AACpC,YAAY,EACV,qBAAqB,EACrB,2BAA2B,EAC3B,cAAc,EACd,aAAa,EACb,eAAe,EACf,gBAAgB,EAChB,uBAAuB,EACvB,gBAAgB,EAChB,kBAAkB,EAClB,qBAAqB,GACtB,MAAM,4BAA4B,CAAC"}

package/dist/domain/index.js

@@ -0,0 +1,6 @@
+/**
+ * Domain Module - Domain-Aware Abstraction
+ * @module @nahisaho/musubix-library-learner/domain
+ */
+export { createDomainAwareAbstractor, DefaultDomainAwareAbstractor, } from './DomainAwareAbstractor.js';
+//# sourceMappingURL=index.js.map

package/dist/domain/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/domain/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,2BAA2B,EAC3B,4BAA4B,GAC7B,MAAM,4BAA4B,CAAC"}

package/dist/hierarchy/HierarchyManager.d.ts

@@ -0,0 +1,227 @@
+/**
+ * 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`);
+ * ```
+ */
+import type { CodeCorpus, PatternId, ASTNode, PatternOccurrence } from '../types.js';
+import type { PatternMiner } from '../abstraction/PatternMiner.js';
+import type { Abstractor } from '../abstraction/Abstractor.js';
+/**
+ * Internal pattern representation for hierarchy extraction.
+ * Different from library's HierarchyPattern as this is used during extraction.
+ */
+export interface HierarchyPattern {
+    /** Unique pattern identifier */
+    id: PatternId;
+    /** Abstraction level (1=concrete, 2=parameterized, 3=abstract, 4+=composite) */
+    level: number;
+    /** Number of occurrences in corpus */
+    occurrenceCount: number;
+    /** Confidence score (0-1) */
+    confidence: number;
+    /** Abstract syntax tree representation */
+    ast: ASTNode;
+    /** Source locations where pattern was found */
+    sourceLocations: PatternOccurrence[];
+}
+/**
+ * Abstraction level definition
+ */
+export interface AbstractionLevel {
+    /** Unique level identifier (1-based) */
+    id: number;
+    /** Human-readable name */
+    name: string;
+    /** Description of this abstraction level */
+    description: string;
+    /** Minimum occurrences to be considered at this level */
+    minOccurrences?: number;
+}
+/**
+ * Record of a pattern promotion between levels
+ */
+export interface PromotionRecord {
+    /** Pattern that was promoted */
+    patternId: PatternId;
+    /** Source level */
+    fromLevel: number;
+    /** Target level */
+    toLevel: number;
+    /** Timestamp of promotion */
+    timestamp: Date;
+    /** Confidence score at promotion */
+    confidence: number;
+}
+/**
+ * Metrics for hierarchy extraction
+ */
+export interface HierarchyMetrics {
+    /** Time taken for extraction in milliseconds */
+    extractionTimeMs: number;
+    /** Number of patterns per level */
+    patternsPerLevel: number[];
+    /** Compression ratio achieved */
+    compressionRatio: number;
+    /** Total patterns before abstraction */
+    totalPatternsRaw: number;
+    /** Total patterns after abstraction */
+    totalPatternsAbstracted: number;
+}
+/**
+ * Result of hierarchy extraction
+ */
+export interface HierarchyResult {
+    /** Patterns organized by level */
+    levels: Map<number, HierarchyPattern[]>;
+    /** Records of pattern promotions */
+    promotions: PromotionRecord[];
+    /** Extraction metrics */
+    metrics: HierarchyMetrics;
+}
+/**
+ * Configuration for HierarchyManager
+ */
+export interface HierarchyManagerConfig {
+    /** Maximum number of abstraction levels */
+    maxLevels?: number;
+    /** Threshold for pattern promotion */
+    promotionThreshold?: number;
+    /** Minimum occurrences for promotion */
+    minOccurrences?: number;
+    /** External PatternMiner (optional, for DI) */
+    patternMiner?: PatternMiner;
+    /** External Abstractor (optional, for DI) */
+    abstractor?: Abstractor;
+}
+/**
+ * HierarchyManager interface
+ *
+ * Manages hierarchical pattern abstraction at multiple levels:
+ * - Level 1: ConcretePattern (token-level)
+ * - Level 2: ParameterizedTemplate (expression-level)
+ * - Level 3: AbstractConcept (function-level)
+ * - Level 4+: CompositeAbstraction (composite patterns)
+ */
+export interface HierarchyManager {
+    /** Add a new abstraction level */
+    addLevel(level: AbstractionLevel): void;
+    /** Extract hierarchical abstractions from a code corpus */
+    extractHierarchy(corpus: CodeCorpus): Promise<HierarchyResult>;
+    /** Determine if a pattern should be promoted to a higher level */
+    shouldPromote(pattern: HierarchyPattern): boolean;
+    /** Get the current depth (number of levels) */
+    getDepth(): number;
+    /** Get all registered abstraction levels */
+    getLevels(): AbstractionLevel[];
+}
+/**
+ * Default HierarchyManager implementation
+ */
+export declare class DefaultHierarchyManager implements HierarchyManager {
+    private levels;
+    private patterns;
+    private promotions;
+    private config;
+    constructor(config?: HierarchyManagerConfig);
+    /**
+     * Add a new abstraction level
+     * @throws Error if level ID already exists
+     */
+    addLevel(level: AbstractionLevel): void;
+    /**
+     * 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+)
+     */
+    extractHierarchy(corpus: CodeCorpus): Promise<HierarchyResult>;
+    /**
+     * Determine if a pattern should be promoted to a higher level
+     */
+    shouldPromote(pattern: HierarchyPattern): boolean;
+    /**
+     * Get the current depth (number of levels)
+     */
+    getDepth(): number;
+    /**
+     * Get all registered abstraction levels
+     */
+    getLevels(): AbstractionLevel[];
+    /**
+     * Mine concrete patterns from corpus (Level 1)
+     */
+    private mineConcretePatterns;
+    /**
+     * Abstract concrete patterns to parameterized templates (Level 2)
+     */
+    private abstractToTemplates;
+    /**
+     * Extract function-level concepts (Level 3)
+     */
+    private extractAbstractConcepts;
+    /**
+     * Compose higher-level patterns (Level 4+)
+     */
+    private composeHigherLevel;
+    /**
+     * Convert pattern candidates to learned patterns
+     */
+    private candidatesToHierarchyPatterns;
+    /**
+     * Normalize a statement for comparison
+     */
+    private normalizeStatement;
+    /**
+     * Group similar patterns by normalized form
+     */
+    private groupSimilarPatterns;
+    /**
+     * Group by structural pattern
+     */
+    private groupByStructure;
+    /**
+     * Get a signature for pattern similarity grouping
+     */
+    private getPatternSignature;
+    /**
+     * Get a structural signature for concept extraction
+     */
+    private getStructuralSignature;
+}
+/**
+ * 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 declare function createHierarchyManager(config?: HierarchyManagerConfig): HierarchyManager;
+//# sourceMappingURL=HierarchyManager.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"HierarchyManager.d.ts","sourceRoot":"","sources":["../../src/hierarchy/HierarchyManager.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AAEH,OAAO,KAAK,EACV,UAAU,EAEV,SAAS,EACT,OAAO,EACP,iBAAiB,EAClB,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AAM/D;;;GAGG;AACH,MAAM,WAAW,gBAAgB;IAC/B,gCAAgC;IAChC,EAAE,EAAE,SAAS,CAAC;IACd,gFAAgF;IAChF,KAAK,EAAE,MAAM,CAAC;IACd,sCAAsC;IACtC,eAAe,EAAE,MAAM,CAAC;IACxB,6BAA6B;IAC7B,UAAU,EAAE,MAAM,CAAC;IACnB,0CAA0C;IAC1C,GAAG,EAAE,OAAO,CAAC;IACb,+CAA+C;IAC/C,eAAe,EAAE,iBAAiB,EAAE,CAAC;CACtC;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,wCAAwC;IACxC,EAAE,EAAE,MAAM,CAAC;IACX,0BAA0B;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,4CAA4C;IAC5C,WAAW,EAAE,MAAM,CAAC;IACpB,yDAAyD;IACzD,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,gCAAgC;IAChC,SAAS,EAAE,SAAS,CAAC;IACrB,mBAAmB;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,mBAAmB;IACnB,OAAO,EAAE,MAAM,CAAC;IAChB,6BAA6B;IAC7B,SAAS,EAAE,IAAI,CAAC;IAChB,oCAAoC;IACpC,UAAU,EAAE,MAAM,CAAC;CACpB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,gDAAgD;IAChD,gBAAgB,EAAE,MAAM,CAAC;IACzB,mCAAmC;IACnC,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,iCAAiC;IACjC,gBAAgB,EAAE,MAAM,CAAC;IACzB,wCAAwC;IACxC,gBAAgB,EAAE,MAAM,CAAC;IACzB,uCAAuC;IACvC,uBAAuB,EAAE,MAAM,CAAC;CACjC;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,kCAAkC;IAClC,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,gBAAgB,EAAE,CAAC,CAAC;IACxC,oCAAoC;IACpC,UAAU,EAAE,eAAe,EAAE,CAAC;IAC9B,yBAAyB;IACzB,OAAO,EAAE,gBAAgB,CAAC;CAC3B;AAED;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC,2CAA2C;IAC3C,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,sCAAsC;IACtC,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,wCAAwC;IACxC,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,+CAA+C;IAC/C,YAAY,CAAC,EAAE,YAAY,CAAC;IAC5B,6CAA6C;IAC7C,UAAU,CAAC,EAAE,UAAU,CAAC;CACzB;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,gBAAgB;IAC/B,kCAAkC;IAClC,QAAQ,CAAC,KAAK,EAAE,gBAAgB,GAAG,IAAI,CAAC;IAExC,2DAA2D;IAC3D,gBAAgB,CAAC,MAAM,EAAE,UAAU,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC;IAE/D,kEAAkE;IAClE,aAAa,CAAC,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAAC;IAElD,+CAA+C;IAC/C,QAAQ,IAAI,MAAM,CAAC;IAEnB,4CAA4C;IAC5C,SAAS,IAAI,gBAAgB,EAAE,CAAC;CACjC;AAgBD;;GAEG;AACH,qBAAa,uBAAwB,YAAW,gBAAgB;IAC9D,OAAO,CAAC,MAAM,CAA4C;IAC1D,OAAO,CAAC,QAAQ,CAA8C;IAC9D,OAAO,CAAC,UAAU,CAAyB;IAC3C,OAAO,CAAC,MAAM,CAAmC;gBAErC,MAAM,GAAE,sBAA2B;IAU/C;;;OAGG;IACH,QAAQ,CAAC,KAAK,EAAE,gBAAgB,GAAG,IAAI;IAOvC;;;;;;;;OAQG;IACG,gBAAgB,CAAC,MAAM,EAAE,UAAU,GAAG,OAAO,CAAC,eAAe,CAAC;IAoDpE;;OAEG;IACH,aAAa,CAAC,OAAO,EAAE,gBAAgB,GAAG,OAAO;IAMjD;;OAEG;IACH,QAAQ,IAAI,MAAM;IAIlB;;OAEG;IACH,SAAS,IAAI,gBAAgB,EAAE;IAQ/B;;OAEG;YACW,oBAAoB;IAsClC;;OAEG;YACW,mBAAmB;IAwCjC;;OAEG;YACW,uBAAuB;IA4BrC;;OAEG;YACW,kBAAkB;IAwBhC;;OAEG;IACH,OAAO,CAAC,6BAA6B;IAcrC;;OAEG;IACH,OAAO,CAAC,kBAAkB;IAa1B;;OAEG;IACH,OAAO,CAAC,oBAAoB;IAa5B;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAaxB;;OAEG;IACH,OAAO,CAAC,mBAAmB;IAK3B;;OAEG;IACH,OAAO,CAAC,sBAAsB;CAI/B;AAMD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,GAAE,sBAA2B,GAAG,gBAAgB,CAE5F"}