@nahisaho/musubix-synthesis 2.1.0 → 2.2.0

package/dist/explain/ExplanationGenerator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ExplanationGenerator.js","sourceRoot":"","sources":["../../src/explain/ExplanationGenerator.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAwFH;;GAEG;AACH,MAAM,iBAAiB,GAA6D;IAClF,WAAW,EAAE,EAAE,OAAO,EAAE,mBAAmB,EAAE,WAAW,EAAE,4BAA4B,EAAE;IACxF,WAAW,EAAE,EAAE,OAAO,EAAE,mBAAmB,EAAE,WAAW,EAAE,4BAA4B,EAAE;IACxF,IAAI,EAAE,EAAE,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,yCAAyC,EAAE;IACvF,KAAK,EAAE,EAAE,OAAO,EAAE,kBAAkB,EAAE,WAAW,EAAE,wBAAwB,EAAE;IAC7E,IAAI,EAAE,EAAE,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,uBAAuB,EAAE;IAC1E,GAAG,EAAE,EAAE,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAE,yBAAyB,EAAE;IAC1E,MAAM,EAAE,EAAE,OAAO,EAAE,mBAAmB,EAAE,WAAW,EAAE,qCAAqC,EAAE;IAC5F,MAAM,EAAE,EAAE,OAAO,EAAE,mBAAmB,EAAE,WAAW,EAAE,uCAAuC,EAAE;IAC9F,OAAO,EAAE,EAAE,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,gCAAgC,EAAE;IACpF,MAAM,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,iBAAiB,EAAE;IAC/D,MAAM,EAAE,EAAE,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,kCAAkC,EAAE;IACvF,MAAM,EAAE,EAAE,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,mBAAmB,EAAE;IACxE,IAAI,EAAE,EAAE,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,wBAAwB,EAAE;IACtE,QAAQ,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,wBAAwB,EAAE;IACxE,GAAG,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,eAAe,EAAE;IAC1D,QAAQ,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,oBAAoB,EAAE;CACpE,CAAC;AAEF;;GAEG;AACH,MAAM,2BAA2B;IAC/B;;OAEG;IACH,QAAQ,CAAC,OAA2B;QAClC,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,WAAW,GAAG,IAAI,CAAC,mBAAmB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAC7D,MAAM,kBAAkB,GAAG,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC;QAC7D,MAAM,UAAU,GAAG,IAAI,CAAC,8BAA8B,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAEvE,OAAO;YACL,WAAW;YACX,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,KAAK;YACL,kBAAkB;YAClB,UAAU;SACX,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,aAAa,CAAC,OAA2B;QACvC,QAAQ;QACR,IAAI,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC;QAEpC,eAAe;QACf,MAAM,UAAU,GAAG,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACxD,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;YACnB,UAAU,IAAI,GAAG,CAAC;QACpB,CAAC;QAED,WAAW;QACX,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC;QACnE,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,GAAG,YAAY,EAAE,GAAG,CAAC,CAAC;QAEtD,OAAO,IAAI,CAAC,KAAK,CAAC,UAAU,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC;IAC5C,CAAC;IAED;;OAEG;IACH,OAAO,CAAC,OAA2B;QACjC,MAAM,eAAe,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QAC/C,MAAM,YAAY,GAAG,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC;QACxD,MAAM,SAAS,GAAG,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC;QAClD,MAAM,WAAW,GAAG,IAAI,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC;QAEtD,OAAO;YACL,GAAG,eAAe;YAClB,SAAS;YACT,WAAW;YACX,YAAY;SACb,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,SAAS,CAAC,OAA2B;QACnC,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAE9C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,OAAO,cAAc,OAAO,CAAC,MAAM,kBAAkB,CAAC;QACxD,CAAC;QAED,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,OAAO,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC,CAAC;QAED,qBAAqB;QACrB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAClC,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAE1E,IAAI,OAAO,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;YACxB,OAAO,OAAO,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC;QAC1C,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;OAEG;IACK,YAAY,CAAC,IAAY;QAC/B,MAAM,KAAK,GAAa,EAAE,CAAC;QAE3B,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,OAAO,EAAE,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,iBAAiB,CAAC,EAAE,CAAC;YACpE,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,CAAC;QACH,CAAC;QAED,qBAAqB;QACrB,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;OAEG;IACK,mBAAmB,CAAC,OAA2B,EAAE,KAAe;QACtE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,OAAO,6BAA6B,OAAO,CAAC,MAAM,4CAA4C,CAAC;QACjG,CAAC;QAED,MAAM,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,WAAW,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC1F,OAAO,gBAAgB,UAAU,GAAG,CAAC;IACvC,CAAC;IAED;;OAEG;IACK,mBAAmB,CAAC,OAA2B;QACrD,OAAO,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YACnC,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC;YAC/B,MAAM,EAAE,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,MAAM,CAAC;YACjC,KAAK,EAAE,SAAS,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,oCAAoC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE;SACxG,CAAC,CAAC,CAAC;IACN,CAAC;IAED;;OAEG;IACK,8BAA8B,CAAC,OAA2B,EAAE,KAAe;QACjF,IAAI,UAAU,GAAG,GAAG,CAAC;QAErB,sBAAsB;QACtB,UAAU,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,GAAG,EAAE,GAAG,CAAC,CAAC;QAEhD,cAAc;QACd,UAAU,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,IAAI,EAAE,IAAI,CAAC,CAAC;QAE7D,iBAAiB;QACjB,UAAU,GAAG,UAAU,GAAG,GAAG,GAAG,OAAO,CAAC,UAAU,GAAG,GAAG,CAAC;QAEzD,OAAO,IAAI,CAAC,KAAK,CAAC,UAAU,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC;IAC5C,CAAC;IAED;;OAEG;IACK,iBAAiB,CAAC,IAAY;QACpC,IAAI,UAAU,GAAG,CAAC,CAAC;QAEnB,aAAa;QACb,MAAM,UAAU,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QACpD,UAAU,IAAI,UAAU,GAAG,GAAG,CAAC;QAE/B,aAAa;QACb,MAAM,aAAa,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QACvD,UAAU,IAAI,aAAa,GAAG,GAAG,CAAC;QAElC,eAAe;QACf,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QACrE,UAAU,IAAI,UAAU,GAAG,GAAG,CAAC;QAE/B,OAAO,UAAU,CAAC;IACpB,CAAC;IAED;;OAEG;IACK,oBAAoB,CAAC,OAA2B;QACtD,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClC,OAAO,mDAAmD,CAAC;QAC7D,CAAC;QAED,MAAM,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;QAC7B,MAAM,SAAS,GAAG,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAC3C,MAAM,UAAU,GAAG,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;QAE7C,IAAI,SAAS,KAAK,UAAU,EAAE,CAAC;YAC7B,OAAO,cAAc,SAAS,OAAO,UAAU,wBAAwB,CAAC;QAC1E,CAAC;QAED,OAAO,YAAY,SAAS,OAAO,UAAU,EAAE,CAAC;IAClD,CAAC;IAED;;OAEG;IACK,iBAAiB,CAAC,OAA2B;QACnD,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAE9C,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,OAAO,qEAAqE,CAAC;QAC/E,CAAC;QAED,OAAO,oBAAoB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,kEAAkE,CAAC;IAChH,CAAC;IAED;;OAEG;IACK,mBAAmB,CAAC,OAA2B;QACrD,MAAM,WAAW,GAAa,EAAE,CAAC;QAEjC,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAChC,WAAW,CAAC,IAAI,CAAC,+CAA+C,CAAC,CAAC;QACpE,CAAC;QAED,IAAI,OAAO,CAAC,UAAU,GAAG,GAAG,EAAE,CAAC;YAC7B,WAAW,CAAC,IAAI,CAAC,kDAAkD,CAAC,CAAC;QACvE,CAAC;QAED,MAAM,UAAU,GAAG,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QACxD,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;YACnB,WAAW,CAAC,IAAI,CAAC,qDAAqD,CAAC,CAAC;QAC1E,CAAC;QAED,OAAO,WAAW,CAAC;IACrB,CAAC;IAED;;OAEG;IACK,eAAe,CAAC,IAAY;QAClC,MAAM,YAAY,GAA2B;YAC3C,WAAW,EAAE,uBAAuB;YACpC,WAAW,EAAE,uBAAuB;YACpC,IAAI,EAAE,oBAAoB;YAC1B,KAAK,EAAE,mBAAmB;YAC1B,IAAI,EAAE,sBAAsB;YAC5B,GAAG,EAAE,yBAAyB;YAC9B,MAAM,EAAE,kBAAkB;YAC1B,MAAM,EAAE,mBAAmB;YAC3B,OAAO,EAAE,gBAAgB;YACzB,MAAM,EAAE,iBAAiB;YACzB,MAAM,EAAE,sBAAsB;YAC9B,MAAM,EAAE,mBAAmB;YAC3B,IAAI,EAAE,oBAAoB;YAC1B,QAAQ,EAAE,sBAAsB;YAChC,GAAG,EAAE,mBAAmB;YACxB,QAAQ,EAAE,0BAA0B;SACrC,CAAC;QAEF,OAAO,YAAY,CAAC,IAAI,CAAC,IAAI,WAAW,IAAI,YAAY,CAAC;IAC3D,CAAC;CACF;AAED;;GAEG;AACH,MAAM,UAAU,0BAA0B;IACxC,OAAO,IAAI,2BAA2B,EAAE,CAAC;AAC3C,CAAC"}

package/dist/explain/index.d.ts

@@ -0,0 +1,7 @@
+/**
+ * Explain Module - Program Explanation Generation
+ *
+ * @module @nahisaho/musubix-synthesis/explain
+ */
+export { createExplanationGenerator, type ExplanationGenerator, type SynthesizedProgram, type Explanation, type DetailedExplanation, type Example, type ExampleWalkthrough, } from './ExplanationGenerator.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/explain/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EACL,0BAA0B,EAC1B,KAAK,oBAAoB,EACzB,KAAK,kBAAkB,EACvB,KAAK,WAAW,EAChB,KAAK,mBAAmB,EACxB,KAAK,OAAO,EACZ,KAAK,kBAAkB,GACxB,MAAM,2BAA2B,CAAC"}

package/dist/explain/index.js

@@ -0,0 +1,7 @@
+/**
+ * Explain Module - Program Explanation Generation
+ *
+ * @module @nahisaho/musubix-synthesis/explain
+ */
+export { createExplanationGenerator, } from './ExplanationGenerator.js';
+//# sourceMappingURL=index.js.map

package/dist/explain/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/explain/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EACL,0BAA0B,GAO3B,MAAM,2BAA2B,CAAC"}

package/dist/index.d.ts

@@ -5,7 +5,20 @@
  */
 export * from './types.js';
 export * from './errors.js';
-export { DSLBuilder, DSL, TypeSystem, } from './dsl/index.js';
+export { DSLBuilder, DSL, TypeSystem, createDSLExtender, } from './dsl/index.js';
+export type { DSLExtender, DSLExtenderConfig, DSLGap, OperatorSuggestion, OperatorValidationResult, Example as DSLExample, } from './dsl/index.js';
 export { Enumerator, PBESynthesizer, WitnessEngine, VersionSpace, } from './synthesis/index.js';
 export { RuleExtractor, RuleLibrary, MetaLearner, resetRuleIdCounter, } from './rules/index.js';
+export { EnhancedWitnessEngine, createEnhancedWitnessEngine, BUILTIN_WITNESSES, } from './witness/index.js';
+export type { EnhancedWitnessConfig, WitnessCategory, ExtendedWitnessFunction, WitnessListItem, } from './witness/index.js';
+export { createEnhancedVersionSpace, DefaultEnhancedVersionSpace, } from './versionspace/index.js';
+export type { EnhancedVersionSpace, VersionSpaceConfig, VersionSpacePoint, VersionSpaceStatistics, MergeStrategy, Example, } from './versionspace/index.js';
+export { createEnhancedPBESynthesizer, DefaultEnhancedPBESynthesizer, } from './EnhancedPBESynthesizer.js';
+export type { EnhancedPBESynthesizer, EnhancedPBESynthesizerConfig, SynthesisRequest, TypedSynthesisRequest, SynthesisResponse, CustomWitness, SearchStats, SynthesisHistoryEntry, EnhancedSynthesisStats, } from './EnhancedPBESynthesizer.js';
+export { createMetaLearningEngine, } from './meta/index.js';
+export type { MetaLearningEngine, MetaLearningConfig, MetaLearningStatistics, TaskFeatures, SynthesisStrategy, SynthesisTask, RecordedTask, SimilarTaskResult, } from './meta/index.js';
+export { createExampleAnalyzer, } from './analysis/index.js';
+export type { ExampleAnalyzer, ExampleAnalyzerConfig, ExampleQuality, Ambiguity, ExampleSuggestion, ExampleCoverage, Example as AnalysisExample, } from './analysis/index.js';
+export { createExplanationGenerator, } from './explain/index.js';
+export type { ExplanationGenerator, SynthesizedProgram, Explanation, DetailedExplanation, Example as ExplanationExample, ExampleWalkthrough, } from './explain/index.js';
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,cAAc,YAAY,CAAC;AAG3B,cAAc,aAAa,CAAC;AAG5B,OAAO,EACL,UAAU,EACV,GAAG,EACH,UAAU,GACX,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EACL,UAAU,EACV,cAAc,EACd,aAAa,EACb,YAAY,GACb,MAAM,sBAAsB,CAAC;AAG9B,OAAO,EACL,aAAa,EACb,WAAW,EACX,WAAW,EACX,kBAAkB,GACnB,MAAM,kBAAkB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,cAAc,YAAY,CAAC;AAG3B,cAAc,aAAa,CAAC;AAG5B,OAAO,EACL,UAAU,EACV,GAAG,EACH,UAAU,EACV,iBAAiB,GAClB,MAAM,gBAAgB,CAAC;AACxB,YAAY,EACV,WAAW,EACX,iBAAiB,EACjB,MAAM,EACN,kBAAkB,EAClB,wBAAwB,EACxB,OAAO,IAAI,UAAU,GACtB,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EACL,UAAU,EACV,cAAc,EACd,aAAa,EACb,YAAY,GACb,MAAM,sBAAsB,CAAC;AAG9B,OAAO,EACL,aAAa,EACb,WAAW,EACX,WAAW,EACX,kBAAkB,GACnB,MAAM,kBAAkB,CAAC;AAG1B,OAAO,EACL,qBAAqB,EACrB,2BAA2B,EAC3B,iBAAiB,GAClB,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EACV,qBAAqB,EACrB,eAAe,EACf,uBAAuB,EACvB,eAAe,GAChB,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EACL,0BAA0B,EAC1B,2BAA2B,GAC5B,MAAM,yBAAyB,CAAC;AACjC,YAAY,EACV,oBAAoB,EACpB,kBAAkB,EAClB,iBAAiB,EACjB,sBAAsB,EACtB,aAAa,EACb,OAAO,GACR,MAAM,yBAAyB,CAAC;AAGjC,OAAO,EACL,4BAA4B,EAC5B,6BAA6B,GAC9B,MAAM,6BAA6B,CAAC;AACrC,YAAY,EACV,sBAAsB,EACtB,4BAA4B,EAC5B,gBAAgB,EAChB,qBAAqB,EACrB,iBAAiB,EACjB,aAAa,EACb,WAAW,EACX,qBAAqB,EACrB,sBAAsB,GACvB,MAAM,6BAA6B,CAAC;AAGrC,OAAO,EACL,wBAAwB,GACzB,MAAM,iBAAiB,CAAC;AACzB,YAAY,EACV,kBAAkB,EAClB,kBAAkB,EAClB,sBAAsB,EACtB,YAAY,EACZ,iBAAiB,EACjB,aAAa,EACb,YAAY,EACZ,iBAAiB,GAClB,MAAM,iBAAiB,CAAC;AAGzB,OAAO,EACL,qBAAqB,GACtB,MAAM,qBAAqB,CAAC;AAC7B,YAAY,EACV,eAAe,EACf,qBAAqB,EACrB,cAAc,EACd,SAAS,EACT,iBAAiB,EACjB,eAAe,EACf,OAAO,IAAI,eAAe,GAC3B,MAAM,qBAAqB,CAAC;AAG7B,OAAO,EACL,0BAA0B,GAC3B,MAAM,oBAAoB,CAAC;AAC5B,YAAY,EACV,oBAAoB,EACpB,kBAAkB,EAClB,WAAW,EACX,mBAAmB,EACnB,OAAO,IAAI,kBAAkB,EAC7B,kBAAkB,GACnB,MAAM,oBAAoB,CAAC"}

package/dist/index.js

@@ -8,9 +8,21 @@ export * from './types.js';
 // Errors
 export * from './errors.js';
 // DSL
-export { DSLBuilder, DSL, TypeSystem, } from './dsl/index.js';
+export { DSLBuilder, DSL, TypeSystem, createDSLExtender, } from './dsl/index.js';
 // Synthesis
 export { Enumerator, PBESynthesizer, WitnessEngine, VersionSpace, } from './synthesis/index.js';
 // Rules
 export { RuleExtractor, RuleLibrary, MetaLearner, resetRuleIdCounter, } from './rules/index.js';
+// Witness (v2.2.0 NEW!)
+export { EnhancedWitnessEngine, createEnhancedWitnessEngine, BUILTIN_WITNESSES, } from './witness/index.js';
+// Version Space (v2.2.0 NEW!)
+export { createEnhancedVersionSpace, DefaultEnhancedVersionSpace, } from './versionspace/index.js';
+// Enhanced PBE Synthesizer (v2.2.0 NEW!)
+export { createEnhancedPBESynthesizer, DefaultEnhancedPBESynthesizer, } from './EnhancedPBESynthesizer.js';
+// Meta Learning (v2.2.0 NEW!)
+export { createMetaLearningEngine, } from './meta/index.js';
+// Analysis (v2.2.0 NEW!)
+export { createExampleAnalyzer, } from './analysis/index.js';
+// Explanation (v2.2.0 NEW!)
+export { createExplanationGenerator, } from './explain/index.js';
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,QAAQ;AACR,cAAc,YAAY,CAAC;AAE3B,SAAS;AACT,cAAc,aAAa,CAAC;AAE5B,MAAM;AACN,OAAO,EACL,UAAU,EACV,GAAG,EACH,UAAU,GACX,MAAM,gBAAgB,CAAC;AAExB,YAAY;AACZ,OAAO,EACL,UAAU,EACV,cAAc,EACd,aAAa,EACb,YAAY,GACb,MAAM,sBAAsB,CAAC;AAE9B,QAAQ;AACR,OAAO,EACL,aAAa,EACb,WAAW,EACX,WAAW,EACX,kBAAkB,GACnB,MAAM,kBAAkB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,QAAQ;AACR,cAAc,YAAY,CAAC;AAE3B,SAAS;AACT,cAAc,aAAa,CAAC;AAE5B,MAAM;AACN,OAAO,EACL,UAAU,EACV,GAAG,EACH,UAAU,EACV,iBAAiB,GAClB,MAAM,gBAAgB,CAAC;AAUxB,YAAY;AACZ,OAAO,EACL,UAAU,EACV,cAAc,EACd,aAAa,EACb,YAAY,GACb,MAAM,sBAAsB,CAAC;AAE9B,QAAQ;AACR,OAAO,EACL,aAAa,EACb,WAAW,EACX,WAAW,EACX,kBAAkB,GACnB,MAAM,kBAAkB,CAAC;AAE1B,wBAAwB;AACxB,OAAO,EACL,qBAAqB,EACrB,2BAA2B,EAC3B,iBAAiB,GAClB,MAAM,oBAAoB,CAAC;AAQ5B,8BAA8B;AAC9B,OAAO,EACL,0BAA0B,EAC1B,2BAA2B,GAC5B,MAAM,yBAAyB,CAAC;AAUjC,yCAAyC;AACzC,OAAO,EACL,4BAA4B,EAC5B,6BAA6B,GAC9B,MAAM,6BAA6B,CAAC;AAarC,8BAA8B;AAC9B,OAAO,EACL,wBAAwB,GACzB,MAAM,iBAAiB,CAAC;AAYzB,yBAAyB;AACzB,OAAO,EACL,qBAAqB,GACtB,MAAM,qBAAqB,CAAC;AAW7B,4BAA4B;AAC5B,OAAO,EACL,0BAA0B,GAC3B,MAAM,oBAAoB,CAAC"}

package/dist/meta/MetaLearningEngine.d.ts

@@ -0,0 +1,106 @@
+/**
+ * MetaLearningEngine
+ * @module @nahisaho/musubix-synthesis
+ * @description Meta-learning engine for synthesis optimization
+ * Traces to: TSK-SY-103, DES-SY-103, REQ-SY-103
+ */
+/**
+ * Task features extracted for similarity computation
+ */
+export interface TaskFeatures {
+    inputType: string;
+    outputType: string;
+    complexity: number;
+    domain: string;
+}
+/**
+ * Synthesis strategy configuration
+ */
+export interface SynthesisStrategy {
+    name: string;
+    operators: string[];
+    maxDepth: number;
+}
+/**
+ * Synthesis task specification
+ */
+export interface SynthesisTask {
+    inputs: unknown[];
+    outputs: unknown[];
+    domain: string;
+}
+/**
+ * Recorded task with strategy and timing
+ */
+export interface RecordedTask {
+    task: SynthesisTask;
+    features: TaskFeatures;
+    strategy: SynthesisStrategy;
+    synthesisTime: number;
+    timestamp: number;
+}
+/**
+ * Similar task search result
+ */
+export interface SimilarTaskResult {
+    task: SynthesisTask;
+    similarity: number;
+    strategy: SynthesisStrategy;
+    synthesisTime: number;
+}
+/**
+ * Meta-learning statistics
+ */
+export interface MetaLearningStatistics {
+    totalTasks: number;
+    averageSynthesisTime: number;
+    domainDistribution: Record<string, number>;
+    strategyEffectiveness: Record<string, number>;
+}
+/**
+ * Configuration for meta-learning engine
+ */
+export interface MetaLearningConfig {
+    similarityThreshold: number;
+    maxTaskHistory: number;
+    featureWeights: {
+        inputType: number;
+        outputType: number;
+        complexity: number;
+        domain: number;
+    };
+}
+/**
+ * Meta-learning engine interface
+ */
+export interface MetaLearningEngine {
+    /**
+     * Extract features from synthesis task
+     */
+    extractTaskFeatures(task: SynthesisTask): TaskFeatures;
+    /**
+     * Record completed task with strategy and timing
+     */
+    recordTask(task: SynthesisTask, strategy: SynthesisStrategy, synthesisTime: number): void;
+    /**
+     * Find similar tasks from history
+     */
+    findSimilarTasks(task: SynthesisTask, maxResults?: number): SimilarTaskResult[];
+    /**
+     * Apply learned strategy to new task
+     */
+    applyStrategy(task: SynthesisTask): SynthesisStrategy | null;
+    /**
+     * Compute similarity between two task features
+     */
+    computeSimilarity(features1: TaskFeatures, features2: TaskFeatures): number;
+    /**
+     * Get meta-learning statistics
+     */
+    getStatistics(): MetaLearningStatistics;
+}
+/**
+ * Create meta-learning engine
+ */
+export declare function createMetaLearningEngine(config?: Partial<MetaLearningConfig>): MetaLearningEngine;
+//# sourceMappingURL=MetaLearningEngine.d.ts.map

package/dist/meta/MetaLearningEngine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"MetaLearningEngine.d.ts","sourceRoot":"","sources":["../../src/meta/MetaLearningEngine.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,QAAQ,EAAE,MAAM,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,OAAO,EAAE,CAAC;IAClB,OAAO,EAAE,OAAO,EAAE,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,aAAa,CAAC;IACpB,QAAQ,EAAE,YAAY,CAAC;IACvB,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,aAAa,EAAE,MAAM,CAAC;IACtB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,aAAa,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,aAAa,EAAE,MAAM,CAAC;CACvB;AAED;;GAEG;AACH,MAAM,WAAW,sBAAsB;IACrC,UAAU,EAAE,MAAM,CAAC;IACnB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC3C,qBAAqB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC/C;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,mBAAmB,EAAE,MAAM,CAAC;IAC5B,cAAc,EAAE,MAAM,CAAC;IACvB,cAAc,EAAE;QACd,SAAS,EAAE,MAAM,CAAC;QAClB,UAAU,EAAE,MAAM,CAAC;QACnB,UAAU,EAAE,MAAM,CAAC;QACnB,MAAM,EAAE,MAAM,CAAC;KAChB,CAAC;CACH;AAED;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC;;OAEG;IACH,mBAAmB,CAAC,IAAI,EAAE,aAAa,GAAG,YAAY,CAAC;IAEvD;;OAEG;IACH,UAAU,CACR,IAAI,EAAE,aAAa,EACnB,QAAQ,EAAE,iBAAiB,EAC3B,aAAa,EAAE,MAAM,GACpB,IAAI,CAAC;IAER;;OAEG;IACH,gBAAgB,CAAC,IAAI,EAAE,aAAa,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,iBAAiB,EAAE,CAAC;IAEhF;;OAEG;IACH,aAAa,CAAC,IAAI,EAAE,aAAa,GAAG,iBAAiB,GAAG,IAAI,CAAC;IAE7D;;OAEG;IACH,iBAAiB,CAAC,SAAS,EAAE,YAAY,EAAE,SAAS,EAAE,YAAY,GAAG,MAAM,CAAC;IAE5E;;OAEG;IACH,aAAa,IAAI,sBAAsB,CAAC;CACzC;AA+ND;;GAEG;AACH,wBAAgB,wBAAwB,CACtC,MAAM,CAAC,EAAE,OAAO,CAAC,kBAAkB,CAAC,GACnC,kBAAkB,CAEpB"}

package/dist/meta/MetaLearningEngine.js

@@ -0,0 +1,196 @@
+/**
+ * MetaLearningEngine
+ * @module @nahisaho/musubix-synthesis
+ * @description Meta-learning engine for synthesis optimization
+ * Traces to: TSK-SY-103, DES-SY-103, REQ-SY-103
+ */
+/**
+ * Default configuration
+ */
+const DEFAULT_CONFIG = {
+    similarityThreshold: 0.6,
+    maxTaskHistory: 100,
+    featureWeights: {
+        inputType: 0.25,
+        outputType: 0.25,
+        complexity: 0.2,
+        domain: 0.3,
+    },
+};
+/**
+ * Default meta-learning engine implementation
+ */
+class DefaultMetaLearningEngine {
+    config;
+    taskHistory;
+    constructor(config = DEFAULT_CONFIG) {
+        this.config = { ...DEFAULT_CONFIG, ...config };
+        this.taskHistory = [];
+    }
+    extractTaskFeatures(task) {
+        const inputType = this.detectType(task.inputs[0]);
+        const outputType = this.detectType(task.outputs[0]);
+        const complexity = this.calculateComplexity(task);
+        return {
+            inputType,
+            outputType,
+            complexity,
+            domain: task.domain,
+        };
+    }
+    recordTask(task, strategy, synthesisTime) {
+        const features = this.extractTaskFeatures(task);
+        const recordedTask = {
+            task,
+            features,
+            strategy,
+            synthesisTime,
+            timestamp: Date.now(),
+        };
+        this.taskHistory.push(recordedTask);
+        // Limit history size
+        if (this.taskHistory.length > this.config.maxTaskHistory) {
+            this.taskHistory.shift();
+        }
+    }
+    findSimilarTasks(task, maxResults = 5) {
+        if (this.taskHistory.length === 0) {
+            return [];
+        }
+        const taskFeatures = this.extractTaskFeatures(task);
+        const similarTasks = [];
+        for (const recorded of this.taskHistory) {
+            const similarity = this.computeSimilarity(taskFeatures, recorded.features);
+            if (similarity >= this.config.similarityThreshold) {
+                similarTasks.push({
+                    task: recorded.task,
+                    similarity,
+                    strategy: recorded.strategy,
+                    synthesisTime: recorded.synthesisTime,
+                });
+            }
+        }
+        // Sort by similarity (descending)
+        similarTasks.sort((a, b) => b.similarity - a.similarity);
+        return similarTasks.slice(0, maxResults);
+    }
+    applyStrategy(task) {
+        const similarTasks = this.findSimilarTasks(task);
+        if (similarTasks.length === 0) {
+            return null;
+        }
+        // Merge strategies from similar tasks
+        const operatorSet = new Set();
+        let totalDepth = 0;
+        let minTime = Infinity;
+        let bestStrategy = similarTasks[0].strategy;
+        for (const similar of similarTasks) {
+            for (const op of similar.strategy.operators) {
+                operatorSet.add(op);
+            }
+            totalDepth += similar.strategy.maxDepth;
+            // Track the fastest strategy
+            if (similar.synthesisTime < minTime) {
+                minTime = similar.synthesisTime;
+                bestStrategy = similar.strategy;
+            }
+        }
+        // Create optimized strategy based on fastest similar task
+        return {
+            name: bestStrategy.name,
+            operators: Array.from(operatorSet),
+            maxDepth: Math.min(bestStrategy.maxDepth, Math.ceil(totalDepth / similarTasks.length)),
+        };
+    }
+    computeSimilarity(features1, features2) {
+        const weights = this.config.featureWeights;
+        let similarity = 0;
+        // Input type similarity
+        if (features1.inputType === features2.inputType) {
+            similarity += weights.inputType;
+        }
+        // Output type similarity
+        if (features1.outputType === features2.outputType) {
+            similarity += weights.outputType;
+        }
+        // Complexity similarity (inverse of difference)
+        const complexityDiff = Math.abs(features1.complexity - features2.complexity);
+        const complexitySim = 1 - complexityDiff;
+        similarity += weights.complexity * complexitySim;
+        // Domain similarity
+        if (features1.domain === features2.domain) {
+            similarity += weights.domain;
+        }
+        return similarity;
+    }
+    getStatistics() {
+        if (this.taskHistory.length === 0) {
+            return {
+                totalTasks: 0,
+                averageSynthesisTime: 0,
+                domainDistribution: {},
+                strategyEffectiveness: {},
+            };
+        }
+        // Calculate average synthesis time
+        const totalTime = this.taskHistory.reduce((sum, t) => sum + t.synthesisTime, 0);
+        const averageSynthesisTime = totalTime / this.taskHistory.length;
+        // Calculate domain distribution
+        const domainDistribution = {};
+        for (const recorded of this.taskHistory) {
+            const domain = recorded.features.domain;
+            domainDistribution[domain] = (domainDistribution[domain] || 0) + 1;
+        }
+        // Calculate strategy effectiveness (average time per strategy)
+        const strategyTimes = {};
+        for (const recorded of this.taskHistory) {
+            const strategyName = recorded.strategy.name;
+            if (!strategyTimes[strategyName]) {
+                strategyTimes[strategyName] = [];
+            }
+            strategyTimes[strategyName].push(recorded.synthesisTime);
+        }
+        const strategyEffectiveness = {};
+        for (const [name, times] of Object.entries(strategyTimes)) {
+            strategyEffectiveness[name] = times.reduce((a, b) => a + b, 0) / times.length;
+        }
+        return {
+            totalTasks: this.taskHistory.length,
+            averageSynthesisTime,
+            domainDistribution,
+            strategyEffectiveness,
+        };
+    }
+    /**
+     * Detect type of value
+     */
+    detectType(value) {
+        if (value === null)
+            return 'null';
+        if (value === undefined)
+            return 'undefined';
+        if (Array.isArray(value))
+            return 'array';
+        return typeof value;
+    }
+    /**
+     * Calculate task complexity (0-1 scale)
+     */
+    calculateComplexity(task) {
+        // Base complexity on example count and input diversity
+        const exampleCount = task.inputs.length;
+        // More examples = higher complexity (capped at 1.0)
+        const countComplexity = Math.min(exampleCount / 10, 1.0);
+        // Type diversity
+        const inputTypes = new Set(task.inputs.map(i => this.detectType(i)));
+        const typeComplexity = Math.min(inputTypes.size / 5, 1.0);
+        return (countComplexity + typeComplexity) / 2;
+    }
+}
+/**
+ * Create meta-learning engine
+ */
+export function createMetaLearningEngine(config) {
+    return new DefaultMetaLearningEngine(config);
+}
+//# sourceMappingURL=MetaLearningEngine.js.map

package/dist/meta/MetaLearningEngine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"MetaLearningEngine.js","sourceRoot":"","sources":["../../src/meta/MetaLearningEngine.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAkHH;;GAEG;AACH,MAAM,cAAc,GAAuB;IACzC,mBAAmB,EAAE,GAAG;IACxB,cAAc,EAAE,GAAG;IACnB,cAAc,EAAE;QACd,SAAS,EAAE,IAAI;QACf,UAAU,EAAE,IAAI;QAChB,UAAU,EAAE,GAAG;QACf,MAAM,EAAE,GAAG;KACZ;CACF,CAAC;AAEF;;GAEG;AACH,MAAM,yBAAyB;IACZ,MAAM,CAAqB;IAC3B,WAAW,CAAiB;IAE7C,YAAY,SAA6B,cAAc;QACrD,IAAI,CAAC,MAAM,GAAG,EAAE,GAAG,cAAc,EAAE,GAAG,MAAM,EAAE,CAAC;QAC/C,IAAI,CAAC,WAAW,GAAG,EAAE,CAAC;IACxB,CAAC;IAED,mBAAmB,CAAC,IAAmB;QACrC,MAAM,SAAS,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QAClD,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,MAAM,UAAU,GAAG,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QAElD,OAAO;YACL,SAAS;YACT,UAAU;YACV,UAAU;YACV,MAAM,EAAE,IAAI,CAAC,MAAM;SACpB,CAAC;IACJ,CAAC;IAED,UAAU,CACR,IAAmB,EACnB,QAA2B,EAC3B,aAAqB;QAErB,MAAM,QAAQ,GAAG,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QAChD,MAAM,YAAY,GAAiB;YACjC,IAAI;YACJ,QAAQ;YACR,QAAQ;YACR,aAAa;YACb,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;SACtB,CAAC;QAEF,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAEpC,qBAAqB;QACrB,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,cAAc,EAAE,CAAC;YACzD,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;QAC3B,CAAC;IACH,CAAC;IAED,gBAAgB,CAAC,IAAmB,EAAE,UAAU,GAAG,CAAC;QAClD,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClC,OAAO,EAAE,CAAC;QACZ,CAAC;QAED,MAAM,YAAY,GAAG,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACpD,MAAM,YAAY,GAAwB,EAAE,CAAC;QAE7C,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACxC,MAAM,UAAU,GAAG,IAAI,CAAC,iBAAiB,CAAC,YAAY,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAE3E,IAAI,UAAU,IAAI,IAAI,CAAC,MAAM,CAAC,mBAAmB,EAAE,CAAC;gBAClD,YAAY,CAAC,IAAI,CAAC;oBAChB,IAAI,EAAE,QAAQ,CAAC,IAAI;oBACnB,UAAU;oBACV,QAAQ,EAAE,QAAQ,CAAC,QAAQ;oBAC3B,aAAa,EAAE,QAAQ,CAAC,aAAa;iBACtC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,kCAAkC;QAClC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC;QAEzD,OAAO,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;IAC3C,CAAC;IAED,aAAa,CAAC,IAAmB;QAC/B,MAAM,YAAY,GAAG,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;QAEjD,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC9B,OAAO,IAAI,CAAC;QACd,CAAC;QAED,sCAAsC;QACtC,MAAM,WAAW,GAAG,IAAI,GAAG,EAAU,CAAC;QACtC,IAAI,UAAU,GAAG,CAAC,CAAC;QACnB,IAAI,OAAO,GAAG,QAAQ,CAAC;QACvB,IAAI,YAAY,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;QAE5C,KAAK,MAAM,OAAO,IAAI,YAAY,EAAE,CAAC;YACnC,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC;gBAC5C,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACtB,CAAC;YACD,UAAU,IAAI,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAExC,6BAA6B;YAC7B,IAAI,OAAO,CAAC,aAAa,GAAG,OAAO,EAAE,CAAC;gBACpC,OAAO,GAAG,OAAO,CAAC,aAAa,CAAC;gBAChC,YAAY,GAAG,OAAO,CAAC,QAAQ,CAAC;YAClC,CAAC;QACH,CAAC;QAED,0DAA0D;QAC1D,OAAO;YACL,IAAI,EAAE,YAAY,CAAC,IAAI;YACvB,SAAS,EAAE,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC;YAClC,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,UAAU,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC;SACvF,CAAC;IACJ,CAAC;IAED,iBAAiB,CAAC,SAAuB,EAAE,SAAuB;QAChE,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC;QAC3C,IAAI,UAAU,GAAG,CAAC,CAAC;QAEnB,wBAAwB;QACxB,IAAI,SAAS,CAAC,SAAS,KAAK,SAAS,CAAC,SAAS,EAAE,CAAC;YAChD,UAAU,IAAI,OAAO,CAAC,SAAS,CAAC;QAClC,CAAC;QAED,yBAAyB;QACzB,IAAI,SAAS,CAAC,UAAU,KAAK,SAAS,CAAC,UAAU,EAAE,CAAC;YAClD,UAAU,IAAI,OAAO,CAAC,UAAU,CAAC;QACnC,CAAC;QAED,gDAAgD;QAChD,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;QAC7E,MAAM,aAAa,GAAG,CAAC,GAAG,cAAc,CAAC;QACzC,UAAU,IAAI,OAAO,CAAC,UAAU,GAAG,aAAa,CAAC;QAEjD,oBAAoB;QACpB,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM,EAAE,CAAC;YAC1C,UAAU,IAAI,OAAO,CAAC,MAAM,CAAC;QAC/B,CAAC;QAED,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,aAAa;QACX,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAClC,OAAO;gBACL,UAAU,EAAE,CAAC;gBACb,oBAAoB,EAAE,CAAC;gBACvB,kBAAkB,EAAE,EAAE;gBACtB,qBAAqB,EAAE,EAAE;aAC1B,CAAC;QACJ,CAAC;QAED,mCAAmC;QACnC,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC;QAChF,MAAM,oBAAoB,GAAG,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC;QAEjE,gCAAgC;QAChC,MAAM,kBAAkB,GAA2B,EAAE,CAAC;QACtD,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACxC,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC;YACxC,kBAAkB,CAAC,MAAM,CAAC,GAAG,CAAC,kBAAkB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QACrE,CAAC;QAED,+DAA+D;QAC/D,MAAM,aAAa,GAA6B,EAAE,CAAC;QACnD,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACxC,MAAM,YAAY,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC;YAC5C,IAAI,CAAC,aAAa,CAAC,YAAY,CAAC,EAAE,CAAC;gBACjC,aAAa,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC;YACnC,CAAC;YACD,aAAa,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;QAC3D,CAAC;QAED,MAAM,qBAAqB,GAA2B,EAAE,CAAC;QACzD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC;YAC1D,qBAAqB,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC;QAChF,CAAC;QAED,OAAO;YACL,UAAU,EAAE,IAAI,CAAC,WAAW,CAAC,MAAM;YACnC,oBAAoB;YACpB,kBAAkB;YAClB,qBAAqB;SACtB,CAAC;IACJ,CAAC;IAED;;OAEG;IACK,UAAU,CAAC,KAAc;QAC/B,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,MAAM,CAAC;QAClC,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO,WAAW,CAAC;QAC5C,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,OAAO,OAAO,CAAC;QACzC,OAAO,OAAO,KAAK,CAAC;IACtB,CAAC;IAED;;OAEG;IACK,mBAAmB,CAAC,IAAmB;QAC7C,uDAAuD;QACvD,MAAM,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;QAExC,oDAAoD;QACpD,MAAM,eAAe,GAAG,IAAI,CAAC,GAAG,CAAC,YAAY,GAAG,EAAE,EAAE,GAAG,CAAC,CAAC;QAEzD,iBAAiB;QACjB,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrE,MAAM,cAAc,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;QAE1D,OAAO,CAAC,eAAe,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC;IAChD,CAAC;CACF;AAED;;GAEG;AACH,MAAM,UAAU,wBAAwB,CACtC,MAAoC;IAEpC,OAAO,IAAI,yBAAyB,CAAC,MAA4B,CAAC,CAAC;AACrE,CAAC"}

package/dist/meta/__tests__/MetaLearningEngine.test.d.ts

@@ -0,0 +1,8 @@
+/**
+ * MetaLearningEngine Tests
+ * @module @nahisaho/musubix-synthesis
+ * @description Tests for meta-learning engine for synthesis optimization
+ * Traces to: TSK-SY-103, REQ-SY-103
+ */
+export {};
+//# sourceMappingURL=MetaLearningEngine.test.d.ts.map

package/dist/meta/__tests__/MetaLearningEngine.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"MetaLearningEngine.test.d.ts","sourceRoot":"","sources":["../../../src/meta/__tests__/MetaLearningEngine.test.ts"],"names":[],"mappings":"AAAA;;;;;GAKG"}