@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.
Files changed (61) hide show
  1. package/dist/EnhancedPBESynthesizer.d.ts +182 -0
  2. package/dist/EnhancedPBESynthesizer.d.ts.map +1 -0
  3. package/dist/EnhancedPBESynthesizer.js +266 -0
  4. package/dist/EnhancedPBESynthesizer.js.map +1 -0
  5. package/dist/analysis/ExampleAnalyzer.d.ts +81 -0
  6. package/dist/analysis/ExampleAnalyzer.d.ts.map +1 -0
  7. package/dist/analysis/ExampleAnalyzer.js +358 -0
  8. package/dist/analysis/ExampleAnalyzer.js.map +1 -0
  9. package/dist/analysis/index.d.ts +9 -0
  10. package/dist/analysis/index.d.ts.map +1 -0
  11. package/dist/analysis/index.js +8 -0
  12. package/dist/analysis/index.js.map +1 -0
  13. package/dist/dsl/DSLExtender.d.ts +79 -0
  14. package/dist/dsl/DSLExtender.d.ts.map +1 -0
  15. package/dist/dsl/DSLExtender.js +312 -0
  16. package/dist/dsl/DSLExtender.js.map +1 -0
  17. package/dist/dsl/index.d.ts +2 -0
  18. package/dist/dsl/index.d.ts.map +1 -1
  19. package/dist/dsl/index.js +2 -0
  20. package/dist/dsl/index.js.map +1 -1
  21. package/dist/explain/ExplanationGenerator.d.ts +91 -0
  22. package/dist/explain/ExplanationGenerator.d.ts.map +1 -0
  23. package/dist/explain/ExplanationGenerator.js +236 -0
  24. package/dist/explain/ExplanationGenerator.js.map +1 -0
  25. package/dist/explain/index.d.ts +7 -0
  26. package/dist/explain/index.d.ts.map +1 -0
  27. package/dist/explain/index.js +7 -0
  28. package/dist/explain/index.js.map +1 -0
  29. package/dist/index.d.ts +14 -1
  30. package/dist/index.d.ts.map +1 -1
  31. package/dist/index.js +13 -1
  32. package/dist/index.js.map +1 -1
  33. package/dist/meta/MetaLearningEngine.d.ts +106 -0
  34. package/dist/meta/MetaLearningEngine.d.ts.map +1 -0
  35. package/dist/meta/MetaLearningEngine.js +196 -0
  36. package/dist/meta/MetaLearningEngine.js.map +1 -0
  37. package/dist/meta/__tests__/MetaLearningEngine.test.d.ts +8 -0
  38. package/dist/meta/__tests__/MetaLearningEngine.test.d.ts.map +1 -0
  39. package/dist/meta/__tests__/MetaLearningEngine.test.js +244 -0
  40. package/dist/meta/__tests__/MetaLearningEngine.test.js.map +1 -0
  41. package/dist/meta/index.d.ts +9 -0
  42. package/dist/meta/index.d.ts.map +1 -0
  43. package/dist/meta/index.js +8 -0
  44. package/dist/meta/index.js.map +1 -0
  45. package/dist/versionspace/EnhancedVersionSpace.d.ts +170 -0
  46. package/dist/versionspace/EnhancedVersionSpace.d.ts.map +1 -0
  47. package/dist/versionspace/EnhancedVersionSpace.js +265 -0
  48. package/dist/versionspace/EnhancedVersionSpace.js.map +1 -0
  49. package/dist/versionspace/index.d.ts +7 -0
  50. package/dist/versionspace/index.d.ts.map +1 -0
  51. package/dist/versionspace/index.js +6 -0
  52. package/dist/versionspace/index.js.map +1 -0
  53. package/dist/witness/EnhancedWitnessEngine.d.ts +108 -0
  54. package/dist/witness/EnhancedWitnessEngine.d.ts.map +1 -0
  55. package/dist/witness/EnhancedWitnessEngine.js +555 -0
  56. package/dist/witness/EnhancedWitnessEngine.js.map +1 -0
  57. package/dist/witness/index.d.ts +6 -0
  58. package/dist/witness/index.d.ts.map +1 -0
  59. package/dist/witness/index.js +6 -0
  60. package/dist/witness/index.js.map +1 -0
  61. 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"}