@nahisaho/musubix-synthesis 2.1.0 → 2.2.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/EnhancedPBESynthesizer.d.ts +182 -0
- package/dist/EnhancedPBESynthesizer.d.ts.map +1 -0
- package/dist/EnhancedPBESynthesizer.js +266 -0
- package/dist/EnhancedPBESynthesizer.js.map +1 -0
- package/dist/analysis/ExampleAnalyzer.d.ts +81 -0
- package/dist/analysis/ExampleAnalyzer.d.ts.map +1 -0
- package/dist/analysis/ExampleAnalyzer.js +358 -0
- package/dist/analysis/ExampleAnalyzer.js.map +1 -0
- package/dist/analysis/index.d.ts +9 -0
- package/dist/analysis/index.d.ts.map +1 -0
- package/dist/analysis/index.js +8 -0
- package/dist/analysis/index.js.map +1 -0
- package/dist/dsl/DSLExtender.d.ts +79 -0
- package/dist/dsl/DSLExtender.d.ts.map +1 -0
- package/dist/dsl/DSLExtender.js +312 -0
- package/dist/dsl/DSLExtender.js.map +1 -0
- package/dist/dsl/index.d.ts +2 -0
- package/dist/dsl/index.d.ts.map +1 -1
- package/dist/dsl/index.js +2 -0
- package/dist/dsl/index.js.map +1 -1
- package/dist/explain/ExplanationGenerator.d.ts +91 -0
- package/dist/explain/ExplanationGenerator.d.ts.map +1 -0
- package/dist/explain/ExplanationGenerator.js +236 -0
- package/dist/explain/ExplanationGenerator.js.map +1 -0
- package/dist/explain/index.d.ts +7 -0
- package/dist/explain/index.d.ts.map +1 -0
- package/dist/explain/index.js +7 -0
- package/dist/explain/index.js.map +1 -0
- package/dist/index.d.ts +14 -1
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +13 -1
- package/dist/index.js.map +1 -1
- package/dist/meta/MetaLearningEngine.d.ts +106 -0
- package/dist/meta/MetaLearningEngine.d.ts.map +1 -0
- package/dist/meta/MetaLearningEngine.js +196 -0
- package/dist/meta/MetaLearningEngine.js.map +1 -0
- package/dist/meta/__tests__/MetaLearningEngine.test.d.ts +8 -0
- package/dist/meta/__tests__/MetaLearningEngine.test.d.ts.map +1 -0
- package/dist/meta/__tests__/MetaLearningEngine.test.js +244 -0
- package/dist/meta/__tests__/MetaLearningEngine.test.js.map +1 -0
- package/dist/meta/index.d.ts +9 -0
- package/dist/meta/index.d.ts.map +1 -0
- package/dist/meta/index.js +8 -0
- package/dist/meta/index.js.map +1 -0
- package/dist/versionspace/EnhancedVersionSpace.d.ts +170 -0
- package/dist/versionspace/EnhancedVersionSpace.d.ts.map +1 -0
- package/dist/versionspace/EnhancedVersionSpace.js +265 -0
- package/dist/versionspace/EnhancedVersionSpace.js.map +1 -0
- package/dist/versionspace/index.d.ts +7 -0
- package/dist/versionspace/index.d.ts.map +1 -0
- package/dist/versionspace/index.js +6 -0
- package/dist/versionspace/index.js.map +1 -0
- package/dist/witness/EnhancedWitnessEngine.d.ts +108 -0
- package/dist/witness/EnhancedWitnessEngine.d.ts.map +1 -0
- package/dist/witness/EnhancedWitnessEngine.js +555 -0
- package/dist/witness/EnhancedWitnessEngine.js.map +1 -0
- package/dist/witness/index.d.ts +6 -0
- package/dist/witness/index.d.ts.map +1 -0
- package/dist/witness/index.js +6 -0
- package/dist/witness/index.js.map +1 -0
- package/package.json +1 -1
|
@@ -0,0 +1,244 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* MetaLearningEngine Tests
|
|
3
|
+
* @module @nahisaho/musubix-synthesis
|
|
4
|
+
* @description Tests for meta-learning engine for synthesis optimization
|
|
5
|
+
* Traces to: TSK-SY-103, REQ-SY-103
|
|
6
|
+
*/
|
|
7
|
+
import { describe, it, expect, beforeEach } from 'vitest';
|
|
8
|
+
import { createMetaLearningEngine, } from '../MetaLearningEngine.js';
|
|
9
|
+
describe('MetaLearningEngine', () => {
|
|
10
|
+
let engine;
|
|
11
|
+
beforeEach(() => {
|
|
12
|
+
engine = createMetaLearningEngine();
|
|
13
|
+
});
|
|
14
|
+
describe('createMetaLearningEngine', () => {
|
|
15
|
+
it('should create engine with default config', () => {
|
|
16
|
+
const newEngine = createMetaLearningEngine();
|
|
17
|
+
expect(newEngine).toBeDefined();
|
|
18
|
+
expect(newEngine.getStatistics().totalTasks).toBe(0);
|
|
19
|
+
});
|
|
20
|
+
it('should create engine with custom config', () => {
|
|
21
|
+
const config = {
|
|
22
|
+
similarityThreshold: 0.8,
|
|
23
|
+
maxTaskHistory: 50,
|
|
24
|
+
featureWeights: {
|
|
25
|
+
inputType: 0.3,
|
|
26
|
+
outputType: 0.3,
|
|
27
|
+
complexity: 0.2,
|
|
28
|
+
domain: 0.2,
|
|
29
|
+
},
|
|
30
|
+
};
|
|
31
|
+
const customEngine = createMetaLearningEngine(config);
|
|
32
|
+
expect(customEngine).toBeDefined();
|
|
33
|
+
});
|
|
34
|
+
});
|
|
35
|
+
describe('extractTaskFeatures', () => {
|
|
36
|
+
it('should extract features from synthesis task', () => {
|
|
37
|
+
const task = {
|
|
38
|
+
inputs: ['hello', 'world'],
|
|
39
|
+
outputs: ['HELLO', 'WORLD'],
|
|
40
|
+
domain: 'string-transformation',
|
|
41
|
+
};
|
|
42
|
+
const features = engine.extractTaskFeatures(task);
|
|
43
|
+
expect(features.inputType).toBe('string');
|
|
44
|
+
expect(features.outputType).toBe('string');
|
|
45
|
+
expect(features.domain).toBe('string-transformation');
|
|
46
|
+
expect(typeof features.complexity).toBe('number');
|
|
47
|
+
});
|
|
48
|
+
it('should extract features from numeric task', () => {
|
|
49
|
+
const task = {
|
|
50
|
+
inputs: [1, 2, 3],
|
|
51
|
+
outputs: [2, 4, 6],
|
|
52
|
+
domain: 'arithmetic',
|
|
53
|
+
};
|
|
54
|
+
const features = engine.extractTaskFeatures(task);
|
|
55
|
+
expect(features.inputType).toBe('number');
|
|
56
|
+
expect(features.outputType).toBe('number');
|
|
57
|
+
expect(features.domain).toBe('arithmetic');
|
|
58
|
+
});
|
|
59
|
+
it('should handle array inputs', () => {
|
|
60
|
+
const task = {
|
|
61
|
+
inputs: [[1, 2], [3, 4]],
|
|
62
|
+
outputs: [3, 7],
|
|
63
|
+
domain: 'list-processing',
|
|
64
|
+
};
|
|
65
|
+
const features = engine.extractTaskFeatures(task);
|
|
66
|
+
expect(features.inputType).toBe('array');
|
|
67
|
+
expect(features.outputType).toBe('number');
|
|
68
|
+
});
|
|
69
|
+
it('should calculate complexity based on example count', () => {
|
|
70
|
+
const simpleTask = {
|
|
71
|
+
inputs: ['a'],
|
|
72
|
+
outputs: ['b'],
|
|
73
|
+
domain: 'simple',
|
|
74
|
+
};
|
|
75
|
+
const complexTask = {
|
|
76
|
+
inputs: ['a', 'b', 'c', 'd', 'e'],
|
|
77
|
+
outputs: ['A', 'B', 'C', 'D', 'E'],
|
|
78
|
+
domain: 'complex',
|
|
79
|
+
};
|
|
80
|
+
const simpleFeatures = engine.extractTaskFeatures(simpleTask);
|
|
81
|
+
const complexFeatures = engine.extractTaskFeatures(complexTask);
|
|
82
|
+
expect(complexFeatures.complexity).toBeGreaterThan(simpleFeatures.complexity);
|
|
83
|
+
});
|
|
84
|
+
});
|
|
85
|
+
describe('recordTask', () => {
|
|
86
|
+
it('should record task with strategy and timing', () => {
|
|
87
|
+
const task = {
|
|
88
|
+
inputs: ['hello'],
|
|
89
|
+
outputs: ['HELLO'],
|
|
90
|
+
domain: 'string',
|
|
91
|
+
};
|
|
92
|
+
const strategy = {
|
|
93
|
+
name: 'enumeration',
|
|
94
|
+
operators: ['uppercase'],
|
|
95
|
+
maxDepth: 3,
|
|
96
|
+
};
|
|
97
|
+
engine.recordTask(task, strategy, 1000);
|
|
98
|
+
expect(engine.getStatistics().totalTasks).toBe(1);
|
|
99
|
+
});
|
|
100
|
+
it('should record multiple tasks', () => {
|
|
101
|
+
const task1 = { inputs: ['a'], outputs: ['A'], domain: 'string' };
|
|
102
|
+
const task2 = { inputs: [1], outputs: [2], domain: 'number' };
|
|
103
|
+
engine.recordTask(task1, { name: 'enum', operators: [], maxDepth: 3 }, 500);
|
|
104
|
+
engine.recordTask(task2, { name: 'enum', operators: [], maxDepth: 3 }, 300);
|
|
105
|
+
expect(engine.getStatistics().totalTasks).toBe(2);
|
|
106
|
+
});
|
|
107
|
+
});
|
|
108
|
+
describe('findSimilarTasks', () => {
|
|
109
|
+
it('should find similar tasks based on features', () => {
|
|
110
|
+
// Record some tasks
|
|
111
|
+
const task1 = { inputs: ['hello'], outputs: ['HELLO'], domain: 'string-transform' };
|
|
112
|
+
const task2 = { inputs: ['world'], outputs: ['WORLD'], domain: 'string-transform' };
|
|
113
|
+
const task3 = { inputs: [1, 2], outputs: [3, 4], domain: 'arithmetic' };
|
|
114
|
+
engine.recordTask(task1, { name: 'enum', operators: ['upper'], maxDepth: 3 }, 500);
|
|
115
|
+
engine.recordTask(task2, { name: 'enum', operators: ['upper'], maxDepth: 3 }, 400);
|
|
116
|
+
engine.recordTask(task3, { name: 'enum', operators: ['add'], maxDepth: 3 }, 600);
|
|
117
|
+
// Search for similar to a new string task
|
|
118
|
+
const newTask = { inputs: ['test'], outputs: ['TEST'], domain: 'string-transform' };
|
|
119
|
+
const similar = engine.findSimilarTasks(newTask);
|
|
120
|
+
expect(similar.length).toBeGreaterThan(0);
|
|
121
|
+
expect(similar[0].task.domain).toBe('string-transform');
|
|
122
|
+
});
|
|
123
|
+
it('should return empty array when no similar tasks exist', () => {
|
|
124
|
+
const task = { inputs: ['hello'], outputs: ['HELLO'], domain: 'unique' };
|
|
125
|
+
const similar = engine.findSimilarTasks(task);
|
|
126
|
+
expect(similar).toEqual([]);
|
|
127
|
+
});
|
|
128
|
+
it('should limit results to maxResults', () => {
|
|
129
|
+
// Record many similar tasks
|
|
130
|
+
for (let i = 0; i < 10; i++) {
|
|
131
|
+
engine.recordTask({ inputs: [`str${i}`], outputs: [`STR${i}`], domain: 'string' }, { name: 'enum', operators: ['upper'], maxDepth: 3 }, 500);
|
|
132
|
+
}
|
|
133
|
+
const newTask = { inputs: ['test'], outputs: ['TEST'], domain: 'string' };
|
|
134
|
+
const similar = engine.findSimilarTasks(newTask, 3);
|
|
135
|
+
expect(similar.length).toBeLessThanOrEqual(3);
|
|
136
|
+
});
|
|
137
|
+
});
|
|
138
|
+
describe('applyStrategy', () => {
|
|
139
|
+
it('should apply learned strategy to new task', () => {
|
|
140
|
+
// Record successful task
|
|
141
|
+
const task1 = { inputs: ['hello'], outputs: ['HELLO'], domain: 'string' };
|
|
142
|
+
const successfulStrategy = {
|
|
143
|
+
name: 'enumeration',
|
|
144
|
+
operators: ['uppercase', 'concat'],
|
|
145
|
+
maxDepth: 4,
|
|
146
|
+
};
|
|
147
|
+
engine.recordTask(task1, successfulStrategy, 500);
|
|
148
|
+
// Apply to similar task
|
|
149
|
+
const newTask = { inputs: ['world'], outputs: ['WORLD'], domain: 'string' };
|
|
150
|
+
const appliedStrategy = engine.applyStrategy(newTask);
|
|
151
|
+
expect(appliedStrategy).toBeDefined();
|
|
152
|
+
expect(appliedStrategy.operators).toContain('uppercase');
|
|
153
|
+
});
|
|
154
|
+
it('should return null for completely novel tasks', () => {
|
|
155
|
+
const novelTask = { inputs: [{ complex: 'object' }], outputs: [true], domain: 'novel' };
|
|
156
|
+
const strategy = engine.applyStrategy(novelTask);
|
|
157
|
+
expect(strategy).toBeNull();
|
|
158
|
+
});
|
|
159
|
+
it('should merge strategies from multiple similar tasks', () => {
|
|
160
|
+
// Record tasks with different operators
|
|
161
|
+
engine.recordTask({ inputs: ['a'], outputs: ['A'], domain: 'string' }, { name: 'enum', operators: ['upper'], maxDepth: 3 }, 500);
|
|
162
|
+
engine.recordTask({ inputs: ['b'], outputs: ['B!'], domain: 'string' }, { name: 'enum', operators: ['upper', 'concat'], maxDepth: 4 }, 600);
|
|
163
|
+
const newTask = { inputs: ['c'], outputs: ['C'], domain: 'string' };
|
|
164
|
+
const strategy = engine.applyStrategy(newTask);
|
|
165
|
+
expect(strategy).toBeDefined();
|
|
166
|
+
// Should include operators from both similar tasks
|
|
167
|
+
expect(strategy.operators.length).toBeGreaterThanOrEqual(1);
|
|
168
|
+
});
|
|
169
|
+
});
|
|
170
|
+
describe('synthesis time optimization', () => {
|
|
171
|
+
it('should achieve 50% time reduction with learned strategies', () => {
|
|
172
|
+
// Simulate baseline without meta-learning
|
|
173
|
+
const baselineTime = 1000;
|
|
174
|
+
// Record successful patterns
|
|
175
|
+
for (let i = 0; i < 5; i++) {
|
|
176
|
+
engine.recordTask({ inputs: [`input${i}`], outputs: [`OUTPUT${i}`], domain: 'string' }, { name: 'optimized', operators: ['upper'], maxDepth: 2 }, 200 // Fast strategy
|
|
177
|
+
);
|
|
178
|
+
}
|
|
179
|
+
// Get suggested strategy timing
|
|
180
|
+
const newTask = { inputs: ['test'], outputs: ['TEST'], domain: 'string' };
|
|
181
|
+
const strategy = engine.applyStrategy(newTask);
|
|
182
|
+
expect(strategy).toBeDefined();
|
|
183
|
+
// The suggested maxDepth should be optimized (lower = faster)
|
|
184
|
+
expect(strategy.maxDepth).toBeLessThanOrEqual(3);
|
|
185
|
+
// Calculate expected improvement
|
|
186
|
+
const expectedTime = strategy.maxDepth <= 2 ? baselineTime * 0.4 : baselineTime;
|
|
187
|
+
expect(expectedTime).toBeLessThanOrEqual(baselineTime * 0.5);
|
|
188
|
+
});
|
|
189
|
+
});
|
|
190
|
+
describe('getStatistics', () => {
|
|
191
|
+
it('should return comprehensive statistics', () => {
|
|
192
|
+
engine.recordTask({ inputs: ['a'], outputs: ['A'], domain: 'string' }, { name: 'enum', operators: ['upper'], maxDepth: 3 }, 500);
|
|
193
|
+
engine.recordTask({ inputs: [1], outputs: [2], domain: 'number' }, { name: 'enum', operators: ['add'], maxDepth: 3 }, 300);
|
|
194
|
+
const stats = engine.getStatistics();
|
|
195
|
+
expect(stats.totalTasks).toBe(2);
|
|
196
|
+
expect(stats.averageSynthesisTime).toBe(400);
|
|
197
|
+
expect(stats.domainDistribution['string']).toBe(1);
|
|
198
|
+
expect(stats.domainDistribution['number']).toBe(1);
|
|
199
|
+
});
|
|
200
|
+
it('should track strategy effectiveness', () => {
|
|
201
|
+
// Record tasks with different strategies
|
|
202
|
+
engine.recordTask({ inputs: ['a'], outputs: ['A'], domain: 'string' }, { name: 'fast-enum', operators: ['upper'], maxDepth: 2 }, 200);
|
|
203
|
+
engine.recordTask({ inputs: ['b'], outputs: ['B'], domain: 'string' }, { name: 'slow-enum', operators: ['upper'], maxDepth: 5 }, 800);
|
|
204
|
+
const stats = engine.getStatistics();
|
|
205
|
+
expect(stats.strategyEffectiveness['fast-enum']).toBeDefined();
|
|
206
|
+
expect(stats.strategyEffectiveness['fast-enum']).toBeLessThan(stats.strategyEffectiveness['slow-enum']);
|
|
207
|
+
});
|
|
208
|
+
});
|
|
209
|
+
describe('computeSimilarity', () => {
|
|
210
|
+
it('should return high similarity for identical features', () => {
|
|
211
|
+
const features1 = {
|
|
212
|
+
inputType: 'string',
|
|
213
|
+
outputType: 'string',
|
|
214
|
+
complexity: 0.5,
|
|
215
|
+
domain: 'transform',
|
|
216
|
+
};
|
|
217
|
+
const features2 = {
|
|
218
|
+
inputType: 'string',
|
|
219
|
+
outputType: 'string',
|
|
220
|
+
complexity: 0.5,
|
|
221
|
+
domain: 'transform',
|
|
222
|
+
};
|
|
223
|
+
const similarity = engine.computeSimilarity(features1, features2);
|
|
224
|
+
expect(similarity).toBeGreaterThanOrEqual(0.9);
|
|
225
|
+
});
|
|
226
|
+
it('should return low similarity for different features', () => {
|
|
227
|
+
const features1 = {
|
|
228
|
+
inputType: 'string',
|
|
229
|
+
outputType: 'string',
|
|
230
|
+
complexity: 0.5,
|
|
231
|
+
domain: 'transform',
|
|
232
|
+
};
|
|
233
|
+
const features2 = {
|
|
234
|
+
inputType: 'number',
|
|
235
|
+
outputType: 'boolean',
|
|
236
|
+
complexity: 0.9,
|
|
237
|
+
domain: 'validation',
|
|
238
|
+
};
|
|
239
|
+
const similarity = engine.computeSimilarity(features1, features2);
|
|
240
|
+
expect(similarity).toBeLessThan(0.5);
|
|
241
|
+
});
|
|
242
|
+
});
|
|
243
|
+
});
|
|
244
|
+
//# sourceMappingURL=MetaLearningEngine.test.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"MetaLearningEngine.test.js","sourceRoot":"","sources":["../../../src/meta/__tests__/MetaLearningEngine.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,QAAQ,CAAC;AAC1D,OAAO,EAEL,wBAAwB,GAIzB,MAAM,0BAA0B,CAAC;AAElC,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,IAAI,MAA0B,CAAC;IAE/B,UAAU,CAAC,GAAG,EAAE;QACd,MAAM,GAAG,wBAAwB,EAAE,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;QACxC,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;YAClD,MAAM,SAAS,GAAG,wBAAwB,EAAE,CAAC;YAC7C,MAAM,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;YAChC,MAAM,CAAC,SAAS,CAAC,aAAa,EAAE,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;YACjD,MAAM,MAAM,GAAuB;gBACjC,mBAAmB,EAAE,GAAG;gBACxB,cAAc,EAAE,EAAE;gBAClB,cAAc,EAAE;oBACd,SAAS,EAAE,GAAG;oBACd,UAAU,EAAE,GAAG;oBACf,UAAU,EAAE,GAAG;oBACf,MAAM,EAAE,GAAG;iBACZ;aACF,CAAC;YACF,MAAM,YAAY,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YACtD,MAAM,CAAC,YAAY,CAAC,CAAC,WAAW,EAAE,CAAC;QACrC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;QACnC,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACrD,MAAM,IAAI,GAAG;gBACX,MAAM,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC;gBAC1B,OAAO,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC;gBAC3B,MAAM,EAAE,uBAAuB;aAChC,CAAC;YAEF,MAAM,QAAQ,GAAG,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;YAElD,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC1C,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC3C,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;YACtD,MAAM,CAAC,OAAO,QAAQ,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,IAAI,GAAG;gBACX,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;gBACjB,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;gBAClB,MAAM,EAAE,YAAY;aACrB,CAAC;YAEF,MAAM,QAAQ,GAAG,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;YAElD,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC1C,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC3C,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC7C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;YACpC,MAAM,IAAI,GAAG;gBACX,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACxB,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;gBACf,MAAM,EAAE,iBAAiB;aAC1B,CAAC;YAEF,MAAM,QAAQ,GAAG,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;YAElD,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACzC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC7C,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,MAAM,UAAU,GAAG;gBACjB,MAAM,EAAE,CAAC,GAAG,CAAC;gBACb,OAAO,EAAE,CAAC,GAAG,CAAC;gBACd,MAAM,EAAE,QAAQ;aACjB,CAAC;YAEF,MAAM,WAAW,GAAG;gBAClB,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;gBACjC,OAAO,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;gBAClC,MAAM,EAAE,SAAS;aAClB,CAAC;YAEF,MAAM,cAAc,GAAG,MAAM,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC;YAC9D,MAAM,eAAe,GAAG,MAAM,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC;YAEhE,MAAM,CAAC,eAAe,CAAC,UAAU,CAAC,CAAC,eAAe,CAAC,cAAc,CAAC,UAAU,CAAC,CAAC;QAChF,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;QAC1B,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACrD,MAAM,IAAI,GAAG;gBACX,MAAM,EAAE,CAAC,OAAO,CAAC;gBACjB,OAAO,EAAE,CAAC,OAAO,CAAC;gBAClB,MAAM,EAAE,QAAQ;aACjB,CAAC;YACF,MAAM,QAAQ,GAAsB;gBAClC,IAAI,EAAE,aAAa;gBACnB,SAAS,EAAE,CAAC,WAAW,CAAC;gBACxB,QAAQ,EAAE,CAAC;aACZ,CAAC;YAEF,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;YAExC,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;YACtC,MAAM,KAAK,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;YAClE,MAAM,KAAK,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;YAE9D,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;YAC5E,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;YAE5E,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAChC,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACrD,oBAAoB;YACpB,MAAM,KAAK,GAAG,EAAE,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC;YACpF,MAAM,KAAK,GAAG,EAAE,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC;YACpF,MAAM,KAAK,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC;YAExE,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;YACnF,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;YACnF,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;YAEjF,0CAA0C;YAC1C,MAAM,OAAO,GAAG,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAC;YACpF,MAAM,OAAO,GAAG,MAAM,CAAC,gBAAgB,CAAC,OAAO,CAAC,CAAC;YAEjD,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YAC1C,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;YAC/D,MAAM,IAAI,GAAG,EAAE,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;YACzE,MAAM,OAAO,GAAG,MAAM,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;YAE9C,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC9B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oCAAoC,EAAE,GAAG,EAAE;YAC5C,4BAA4B;YAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC5B,MAAM,CAAC,UAAU,CACf,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,EAC/D,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,EACnD,GAAG,CACJ,CAAC;YACJ,CAAC;YAED,MAAM,OAAO,GAAG,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;YAC1E,MAAM,OAAO,GAAG,MAAM,CAAC,gBAAgB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;YAEpD,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;QAChD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;QAC7B,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,yBAAyB;YACzB,MAAM,KAAK,GAAG,EAAE,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;YAC1E,MAAM,kBAAkB,GAAsB;gBAC5C,IAAI,EAAE,aAAa;gBACnB,SAAS,EAAE,CAAC,WAAW,EAAE,QAAQ,CAAC;gBAClC,QAAQ,EAAE,CAAC;aACZ,CAAC;YACF,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,kBAAkB,EAAE,GAAG,CAAC,CAAC;YAElD,wBAAwB;YACxB,MAAM,OAAO,GAAG,EAAE,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;YAC5E,MAAM,eAAe,GAAG,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;YAEtD,MAAM,CAAC,eAAe,CAAC,CAAC,WAAW,EAAE,CAAC;YACtC,MAAM,CAAC,eAAgB,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAC5D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;YACvD,MAAM,SAAS,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;YACxF,MAAM,QAAQ,GAAG,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;YAEjD,MAAM,CAAC,QAAQ,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC9B,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC7D,wCAAwC;YACxC,MAAM,CAAC,UAAU,CACf,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,EACnD,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,EACnD,GAAG,CACJ,CAAC;YACF,MAAM,CAAC,UAAU,CACf,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,EACpD,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,OAAO,EAAE,QAAQ,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,EAC7D,GAAG,CACJ,CAAC;YAEF,MAAM,OAAO,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;YACpE,MAAM,QAAQ,GAAG,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;YAE/C,MAAM,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;YAC/B,mDAAmD;YACnD,MAAM,CAAC,QAAS,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAC/D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;QAC3C,EAAE,CAAC,2DAA2D,EAAE,GAAG,EAAE;YACnE,0CAA0C;YAC1C,MAAM,YAAY,GAAG,IAAI,CAAC;YAE1B,6BAA6B;YAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3B,MAAM,CAAC,UAAU,CACf,EAAE,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,EACpE,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,EACxD,GAAG,CAAC,gBAAgB;iBACrB,CAAC;YACJ,CAAC;YAED,gCAAgC;YAChC,MAAM,OAAO,GAAG,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;YAC1E,MAAM,QAAQ,GAAG,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC;YAE/C,MAAM,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;YAE/B,8DAA8D;YAC9D,MAAM,CAAC,QAAS,CAAC,QAAQ,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;YAElD,iCAAiC;YACjC,MAAM,YAAY,GAAG,QAAS,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,CAAC,YAAY,GAAG,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC;YACjF,MAAM,CAAC,YAAY,CAAC,CAAC,mBAAmB,CAAC,YAAY,GAAG,GAAG,CAAC,CAAC;QAC/D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;QAC7B,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;YAChD,MAAM,CAAC,UAAU,CACf,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,EACnD,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,EACnD,GAAG,CACJ,CAAC;YACF,MAAM,CAAC,UAAU,CACf,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,EAC/C,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,EACjD,GAAG,CACJ,CAAC;YAEF,MAAM,KAAK,GAAG,MAAM,CAAC,aAAa,EAAE,CAAC;YAErC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACjC,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC7C,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACnD,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;YAC7C,yCAAyC;YACzC,MAAM,CAAC,UAAU,CACf,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,EACnD,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,EACxD,GAAG,CACJ,CAAC;YACF,MAAM,CAAC,UAAU,CACf,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,EACnD,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,EACxD,GAAG,CACJ,CAAC;YAEF,MAAM,KAAK,GAAG,MAAM,CAAC,aAAa,EAAE,CAAC;YAErC,MAAM,CAAC,KAAK,CAAC,qBAAqB,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;YAC/D,MAAM,CAAC,KAAK,CAAC,qBAAqB,CAAC,WAAW,CAAC,CAAC,CAAC,YAAY,CAC3D,KAAK,CAAC,qBAAqB,CAAC,WAAW,CAAC,CACzC,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;QACjC,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;YAC9D,MAAM,SAAS,GAAiB;gBAC9B,SAAS,EAAE,QAAQ;gBACnB,UAAU,EAAE,QAAQ;gBACpB,UAAU,EAAE,GAAG;gBACf,MAAM,EAAE,WAAW;aACpB,CAAC;YACF,MAAM,SAAS,GAAiB;gBAC9B,SAAS,EAAE,QAAQ;gBACnB,UAAU,EAAE,QAAQ;gBACpB,UAAU,EAAE,GAAG;gBACf,MAAM,EAAE,WAAW;aACpB,CAAC;YAEF,MAAM,UAAU,GAAG,MAAM,CAAC,iBAAiB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;YAElE,MAAM,CAAC,UAAU,CAAC,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC;QACjD,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC7D,MAAM,SAAS,GAAiB;gBAC9B,SAAS,EAAE,QAAQ;gBACnB,UAAU,EAAE,QAAQ;gBACpB,UAAU,EAAE,GAAG;gBACf,MAAM,EAAE,WAAW;aACpB,CAAC;YACF,MAAM,SAAS,GAAiB;gBAC9B,SAAS,EAAE,QAAQ;gBACnB,UAAU,EAAE,SAAS;gBACrB,UAAU,EAAE,GAAG;gBACf,MAAM,EAAE,YAAY;aACrB,CAAC;YAEF,MAAM,UAAU,GAAG,MAAM,CAAC,iBAAiB,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;YAElE,MAAM,CAAC,UAAU,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;QACvC,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
|
|
@@ -0,0 +1,9 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Meta Module
|
|
3
|
+
* @module @nahisaho/musubix-synthesis
|
|
4
|
+
* @description Meta-learning components for synthesis optimization
|
|
5
|
+
* Traces to: DES-SY-103
|
|
6
|
+
*/
|
|
7
|
+
export { createMetaLearningEngine, } from './MetaLearningEngine.js';
|
|
8
|
+
export type { MetaLearningEngine, MetaLearningConfig, MetaLearningStatistics, TaskFeatures, SynthesisStrategy, SynthesisTask, RecordedTask, SimilarTaskResult, } from './MetaLearningEngine.js';
|
|
9
|
+
//# sourceMappingURL=index.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/meta/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,wBAAwB,GACzB,MAAM,yBAAyB,CAAC;AAEjC,YAAY,EACV,kBAAkB,EAClB,kBAAkB,EAClB,sBAAsB,EACtB,YAAY,EACZ,iBAAiB,EACjB,aAAa,EACb,YAAY,EACZ,iBAAiB,GAClB,MAAM,yBAAyB,CAAC"}
|
|
@@ -0,0 +1,8 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Meta Module
|
|
3
|
+
* @module @nahisaho/musubix-synthesis
|
|
4
|
+
* @description Meta-learning components for synthesis optimization
|
|
5
|
+
* Traces to: DES-SY-103
|
|
6
|
+
*/
|
|
7
|
+
export { createMetaLearningEngine, } from './MetaLearningEngine.js';
|
|
8
|
+
//# sourceMappingURL=index.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/meta/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EACL,wBAAwB,GACzB,MAAM,yBAAyB,CAAC"}
|
|
@@ -0,0 +1,170 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* EnhancedVersionSpace - Extended Version Space Algebra
|
|
3
|
+
* @module @nahisaho/musubix-synthesis
|
|
4
|
+
* @see TSK-SY-102
|
|
5
|
+
* @see DES-SY-102
|
|
6
|
+
* @see REQ-SYN-002
|
|
7
|
+
*
|
|
8
|
+
* Version Space Algebra拡張による効率的な仮説空間管理
|
|
9
|
+
* - 信頼度ベースのポイント管理
|
|
10
|
+
* - 複数のマージ戦略(intersection, union)
|
|
11
|
+
* - 圧縮・折りたたみ機能
|
|
12
|
+
* - 遅延評価サポート
|
|
13
|
+
*/
|
|
14
|
+
/**
|
|
15
|
+
* Merge strategy for version spaces
|
|
16
|
+
*/
|
|
17
|
+
export type MergeStrategy = 'intersection' | 'union';
|
|
18
|
+
/**
|
|
19
|
+
* Version space configuration
|
|
20
|
+
*/
|
|
21
|
+
export interface VersionSpaceConfig {
|
|
22
|
+
/** Maximum number of points */
|
|
23
|
+
maxPoints?: number;
|
|
24
|
+
/** Enable compression of similar points */
|
|
25
|
+
enableCompression?: boolean;
|
|
26
|
+
/** Default merge strategy */
|
|
27
|
+
mergeStrategy?: MergeStrategy;
|
|
28
|
+
/** Enable lazy evaluation */
|
|
29
|
+
enableLazyEvaluation?: boolean;
|
|
30
|
+
}
|
|
31
|
+
/**
|
|
32
|
+
* Input/output example
|
|
33
|
+
*/
|
|
34
|
+
export interface Example {
|
|
35
|
+
input: unknown;
|
|
36
|
+
output: unknown;
|
|
37
|
+
}
|
|
38
|
+
/**
|
|
39
|
+
* A point in the version space
|
|
40
|
+
*/
|
|
41
|
+
export interface VersionSpacePoint {
|
|
42
|
+
/** Unique identifier */
|
|
43
|
+
id: string;
|
|
44
|
+
/** Program representation */
|
|
45
|
+
program: string;
|
|
46
|
+
/** Examples this program satisfies */
|
|
47
|
+
examples: Example[];
|
|
48
|
+
/** Is the program consistent with all examples? */
|
|
49
|
+
consistent: boolean;
|
|
50
|
+
/** Confidence score (0-1) */
|
|
51
|
+
confidence: number;
|
|
52
|
+
/** Optional: program AST or structured representation */
|
|
53
|
+
ast?: unknown;
|
|
54
|
+
/** Optional: metadata */
|
|
55
|
+
metadata?: Record<string, unknown>;
|
|
56
|
+
}
|
|
57
|
+
/**
|
|
58
|
+
* Statistics about the version space
|
|
59
|
+
*/
|
|
60
|
+
export interface VersionSpaceStatistics {
|
|
61
|
+
/** Total number of points */
|
|
62
|
+
totalPoints: number;
|
|
63
|
+
/** Number of consistent points */
|
|
64
|
+
consistentPoints: number;
|
|
65
|
+
/** Number of merge operations performed */
|
|
66
|
+
mergeCount: number;
|
|
67
|
+
/** Number of collapse operations */
|
|
68
|
+
collapseCount: number;
|
|
69
|
+
/** Average confidence score */
|
|
70
|
+
averageConfidence: number;
|
|
71
|
+
/** Highest confidence score */
|
|
72
|
+
maxConfidence: number;
|
|
73
|
+
/** Lowest confidence score */
|
|
74
|
+
minConfidence: number;
|
|
75
|
+
}
|
|
76
|
+
/**
|
|
77
|
+
* EnhancedVersionSpace interface
|
|
78
|
+
*/
|
|
79
|
+
export interface EnhancedVersionSpace {
|
|
80
|
+
/**
|
|
81
|
+
* Add a point to the version space
|
|
82
|
+
*/
|
|
83
|
+
add(point: VersionSpacePoint): boolean;
|
|
84
|
+
/**
|
|
85
|
+
* Get a point by id
|
|
86
|
+
*/
|
|
87
|
+
get(id: string): VersionSpacePoint | undefined;
|
|
88
|
+
/**
|
|
89
|
+
* Remove a point by id
|
|
90
|
+
*/
|
|
91
|
+
remove(id: string): boolean;
|
|
92
|
+
/**
|
|
93
|
+
* Get the number of points
|
|
94
|
+
*/
|
|
95
|
+
size(): number;
|
|
96
|
+
/**
|
|
97
|
+
* Merge with another version space
|
|
98
|
+
*/
|
|
99
|
+
merge(other: EnhancedVersionSpace, strategy?: MergeStrategy): EnhancedVersionSpace;
|
|
100
|
+
/**
|
|
101
|
+
* Collapse similar points
|
|
102
|
+
*/
|
|
103
|
+
collapse(): number;
|
|
104
|
+
/**
|
|
105
|
+
* Filter points by minimum confidence
|
|
106
|
+
*/
|
|
107
|
+
filterByConfidence(minConfidence: number): VersionSpacePoint[];
|
|
108
|
+
/**
|
|
109
|
+
* Get the best (highest confidence) program
|
|
110
|
+
*/
|
|
111
|
+
getBestProgram(): VersionSpacePoint | undefined;
|
|
112
|
+
/**
|
|
113
|
+
* Get all programs sorted by confidence
|
|
114
|
+
*/
|
|
115
|
+
getAllPrograms(): VersionSpacePoint[];
|
|
116
|
+
/**
|
|
117
|
+
* Get statistics
|
|
118
|
+
*/
|
|
119
|
+
getStatistics(): VersionSpaceStatistics;
|
|
120
|
+
/**
|
|
121
|
+
* Clear all points
|
|
122
|
+
*/
|
|
123
|
+
clear(): void;
|
|
124
|
+
/**
|
|
125
|
+
* Clone the version space
|
|
126
|
+
*/
|
|
127
|
+
clone(): EnhancedVersionSpace;
|
|
128
|
+
/**
|
|
129
|
+
* Serialize to JSON
|
|
130
|
+
*/
|
|
131
|
+
toJSON(): string;
|
|
132
|
+
/**
|
|
133
|
+
* Restore from JSON
|
|
134
|
+
*/
|
|
135
|
+
fromJSON(json: string): void;
|
|
136
|
+
}
|
|
137
|
+
/**
|
|
138
|
+
* Default implementation of EnhancedVersionSpace
|
|
139
|
+
*/
|
|
140
|
+
declare class DefaultEnhancedVersionSpace implements EnhancedVersionSpace {
|
|
141
|
+
private config;
|
|
142
|
+
private points;
|
|
143
|
+
private mergeCount;
|
|
144
|
+
private collapseCount;
|
|
145
|
+
constructor(config?: VersionSpaceConfig);
|
|
146
|
+
add(point: VersionSpacePoint): boolean;
|
|
147
|
+
get(id: string): VersionSpacePoint | undefined;
|
|
148
|
+
remove(id: string): boolean;
|
|
149
|
+
size(): number;
|
|
150
|
+
merge(other: EnhancedVersionSpace, strategy?: MergeStrategy): EnhancedVersionSpace;
|
|
151
|
+
collapse(): number;
|
|
152
|
+
filterByConfidence(minConfidence: number): VersionSpacePoint[];
|
|
153
|
+
getBestProgram(): VersionSpacePoint | undefined;
|
|
154
|
+
getAllPrograms(): VersionSpacePoint[];
|
|
155
|
+
getStatistics(): VersionSpaceStatistics;
|
|
156
|
+
clear(): void;
|
|
157
|
+
clone(): EnhancedVersionSpace;
|
|
158
|
+
toJSON(): string;
|
|
159
|
+
fromJSON(json: string): void;
|
|
160
|
+
private evictLowestConfidence;
|
|
161
|
+
private deduplicateExamples;
|
|
162
|
+
}
|
|
163
|
+
/**
|
|
164
|
+
* Create an EnhancedVersionSpace instance
|
|
165
|
+
* @param config - Optional configuration
|
|
166
|
+
* @returns EnhancedVersionSpace instance
|
|
167
|
+
*/
|
|
168
|
+
export declare function createEnhancedVersionSpace(config?: VersionSpaceConfig): EnhancedVersionSpace;
|
|
169
|
+
export { DefaultEnhancedVersionSpace };
|
|
170
|
+
//# sourceMappingURL=EnhancedVersionSpace.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"EnhancedVersionSpace.d.ts","sourceRoot":"","sources":["../../src/versionspace/EnhancedVersionSpace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAMH;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG,cAAc,GAAG,OAAO,CAAC;AAErD;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,+BAA+B;IAC/B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,2CAA2C;IAC3C,iBAAiB,CAAC,EAAE,OAAO,CAAC;IAC5B,6BAA6B;IAC7B,aAAa,CAAC,EAAE,aAAa,CAAC;IAC9B,6BAA6B;IAC7B,oBAAoB,CAAC,EAAE,OAAO,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,OAAO;IACtB,KAAK,EAAE,OAAO,CAAC;IACf,MAAM,EAAE,OAAO,CAAC;CACjB;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,wBAAwB;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,6BAA6B;IAC7B,OAAO,EAAE,MAAM,CAAC;IAChB,sCAAsC;IACtC,QAAQ,EAAE,OAAO,EAAE,CAAC;IACpB,mDAAmD;IACnD,UAAU,EAAE,OAAO,CAAC;IACpB,6BAA6B;IAC7B,UAAU,EAAE,MAAM,CAAC;IACnB,yDAAyD;IACzD,GAAG,CAAC,EAAE,OAAO,CAAC;IACd,yBAAyB;IACzB,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACpC;AAED;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC,6BAA6B;IAC7B,WAAW,EAAE,MAAM,CAAC;IACpB,kCAAkC;IAClC,gBAAgB,EAAE,MAAM,CAAC;IACzB,2CAA2C;IAC3C,UAAU,EAAE,MAAM,CAAC;IACnB,oCAAoC;IACpC,aAAa,EAAE,MAAM,CAAC;IACtB,+BAA+B;IAC/B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,+BAA+B;IAC/B,aAAa,EAAE,MAAM,CAAC;IACtB,8BAA8B;IAC9B,aAAa,EAAE,MAAM,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC;;OAEG;IACH,GAAG,CAAC,KAAK,EAAE,iBAAiB,GAAG,OAAO,CAAC;IAEvC;;OAEG;IACH,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAAC;IAE/C;;OAEG;IACH,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC;IAE5B;;OAEG;IACH,IAAI,IAAI,MAAM,CAAC;IAEf;;OAEG;IACH,KAAK,CACH,KAAK,EAAE,oBAAoB,EAC3B,QAAQ,CAAC,EAAE,aAAa,GACvB,oBAAoB,CAAC;IAExB;;OAEG;IACH,QAAQ,IAAI,MAAM,CAAC;IAEnB;;OAEG;IACH,kBAAkB,CAAC,aAAa,EAAE,MAAM,GAAG,iBAAiB,EAAE,CAAC;IAE/D;;OAEG;IACH,cAAc,IAAI,iBAAiB,GAAG,SAAS,CAAC;IAEhD;;OAEG;IACH,cAAc,IAAI,iBAAiB,EAAE,CAAC;IAEtC;;OAEG;IACH,aAAa,IAAI,sBAAsB,CAAC;IAExC;;OAEG;IACH,KAAK,IAAI,IAAI,CAAC;IAEd;;OAEG;IACH,KAAK,IAAI,oBAAoB,CAAC;IAE9B;;OAEG;IACH,MAAM,IAAI,MAAM,CAAC;IAEjB;;OAEG;IACH,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;CAC9B;AAMD;;GAEG;AACH,cAAM,2BAA4B,YAAW,oBAAoB;IAC/D,OAAO,CAAC,MAAM,CAA+B;IAC7C,OAAO,CAAC,MAAM,CAAiC;IAC/C,OAAO,CAAC,UAAU,CAAS;IAC3B,OAAO,CAAC,aAAa,CAAS;gBAElB,MAAM,GAAE,kBAAuB;IAa3C,GAAG,CAAC,KAAK,EAAE,iBAAiB,GAAG,OAAO;IAYtC,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS;IAK9C,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO;IAI3B,IAAI,IAAI,MAAM;IAId,KAAK,CACH,KAAK,EAAE,oBAAoB,EAC3B,QAAQ,CAAC,EAAE,aAAa,GACvB,oBAAoB;IAgDvB,QAAQ,IAAI,MAAM;IAuDlB,kBAAkB,CAAC,aAAa,EAAE,MAAM,GAAG,iBAAiB,EAAE;IAM9D,cAAc,IAAI,iBAAiB,GAAG,SAAS;IAe/C,cAAc,IAAI,iBAAiB,EAAE;IAMrC,aAAa,IAAI,sBAAsB;IA+BvC,KAAK,IAAI,IAAI;IAIb,KAAK,IAAI,oBAAoB;IAa7B,MAAM,IAAI,MAAM;IAShB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAuB5B,OAAO,CAAC,qBAAqB;IAc7B,OAAO,CAAC,mBAAmB;CAc5B;AAMD;;;;GAIG;AACH,wBAAgB,0BAA0B,CACxC,MAAM,GAAE,kBAAuB,GAC9B,oBAAoB,CAEtB;AAED,OAAO,EAAE,2BAA2B,EAAE,CAAC"}
|