@nahisaho/musubix-synthesis 2.1.0 → 2.2.0

package/dist/versionspace/EnhancedVersionSpace.js

@@ -0,0 +1,265 @@
+/**
+ * EnhancedVersionSpace - Extended Version Space Algebra
+ * @module @nahisaho/musubix-synthesis
+ * @see TSK-SY-102
+ * @see DES-SY-102
+ * @see REQ-SYN-002
+ *
+ * Version Space Algebra拡張による効率的な仮説空間管理
+ * - 信頼度ベースのポイント管理
+ * - 複数のマージ戦略（intersection, union）
+ * - 圧縮・折りたたみ機能
+ * - 遅延評価サポート
+ */
+// =============================================================================
+// Default Implementation
+// =============================================================================
+/**
+ * Default implementation of EnhancedVersionSpace
+ */
+class DefaultEnhancedVersionSpace {
+    config;
+    points;
+    mergeCount;
+    collapseCount;
+    constructor(config = {}) {
+        this.config = {
+            maxPoints: config.maxPoints ?? 1000,
+            enableCompression: config.enableCompression ?? true,
+            mergeStrategy: config.mergeStrategy ?? 'intersection',
+            enableLazyEvaluation: config.enableLazyEvaluation ?? true,
+        };
+        this.points = new Map();
+        this.mergeCount = 0;
+        this.collapseCount = 0;
+    }
+    add(point) {
+        // Check capacity
+        if (this.points.size >= this.config.maxPoints) {
+            // Evict lowest confidence point
+            this.evictLowestConfidence();
+        }
+        // Add the point
+        this.points.set(point.id, { ...point });
+        return true;
+    }
+    get(id) {
+        const point = this.points.get(id);
+        return point ? { ...point } : undefined;
+    }
+    remove(id) {
+        return this.points.delete(id);
+    }
+    size() {
+        return this.points.size;
+    }
+    merge(other, strategy) {
+        const mergeStrategy = strategy ?? this.config.mergeStrategy;
+        const result = new DefaultEnhancedVersionSpace(this.config);
+        // Get all programs from both spaces
+        const thisPrograms = this.getAllPrograms();
+        const otherPrograms = other.getAllPrograms();
+        if (mergeStrategy === 'union') {
+            // Union: add all points from both spaces
+            for (const point of thisPrograms) {
+                result.add(point);
+            }
+            for (const point of otherPrograms) {
+                if (!result.get(point.id)) {
+                    result.add(point);
+                }
+            }
+        }
+        else {
+            // Intersection: only add points present in both or with matching programs
+            const otherProgramSet = new Set(otherPrograms.map((p) => p.program));
+            const thisProgramSet = new Set(thisPrograms.map((p) => p.program));
+            for (const point of thisPrograms) {
+                if (otherProgramSet.has(point.program)) {
+                    result.add(point);
+                }
+            }
+            for (const point of otherPrograms) {
+                if (thisProgramSet.has(point.program) && !result.get(point.id)) {
+                    result.add(point);
+                }
+            }
+            // If intersection is empty, keep the highest confidence from each
+            if (result.size() === 0) {
+                const best1 = this.getBestProgram();
+                const best2 = other.getBestProgram();
+                if (best1)
+                    result.add(best1);
+                if (best2 && !result.get(best2.id))
+                    result.add(best2);
+            }
+        }
+        this.mergeCount++;
+        return result;
+    }
+    collapse() {
+        if (!this.config.enableCompression) {
+            return 0;
+        }
+        // Group by program text
+        const groups = new Map();
+        for (const point of this.points.values()) {
+            const existing = groups.get(point.program);
+            if (existing) {
+                existing.push(point);
+            }
+            else {
+                groups.set(point.program, [point]);
+            }
+        }
+        // Collapse groups into single points with merged confidence
+        let collapsedCount = 0;
+        for (const [_program, group] of groups) {
+            if (group.length > 1) {
+                // Keep the one with highest confidence, merge examples
+                group.sort((a, b) => b.confidence - a.confidence);
+                const kept = group[0];
+                // Merge examples from all points
+                const allExamples = [];
+                for (const point of group) {
+                    allExamples.push(...point.examples);
+                }
+                kept.examples = this.deduplicateExamples(allExamples);
+                // Update confidence (weighted average)
+                const totalConf = group.reduce((sum, p) => sum + p.confidence, 0);
+                kept.confidence = totalConf / group.length;
+                // Remove duplicates
+                for (let i = 1; i < group.length; i++) {
+                    this.points.delete(group[i].id);
+                    collapsedCount++;
+                }
+                // Update the kept point
+                this.points.set(kept.id, kept);
+            }
+        }
+        if (collapsedCount > 0) {
+            this.collapseCount++;
+        }
+        return collapsedCount;
+    }
+    filterByConfidence(minConfidence) {
+        return Array.from(this.points.values()).filter((p) => p.confidence >= minConfidence);
+    }
+    getBestProgram() {
+        if (this.points.size === 0) {
+            return undefined;
+        }
+        let best;
+        for (const point of this.points.values()) {
+            if (!best || point.confidence > best.confidence) {
+                best = point;
+            }
+        }
+        return best ? { ...best } : undefined;
+    }
+    getAllPrograms() {
+        return Array.from(this.points.values())
+            .sort((a, b) => b.confidence - a.confidence)
+            .map((p) => ({ ...p }));
+    }
+    getStatistics() {
+        const points = Array.from(this.points.values());
+        if (points.length === 0) {
+            return {
+                totalPoints: 0,
+                consistentPoints: 0,
+                mergeCount: this.mergeCount,
+                collapseCount: this.collapseCount,
+                averageConfidence: 0,
+                maxConfidence: 0,
+                minConfidence: 0,
+            };
+        }
+        const consistentPoints = points.filter((p) => p.consistent).length;
+        const confidences = points.map((p) => p.confidence);
+        const avgConfidence = confidences.reduce((a, b) => a + b, 0) / confidences.length;
+        return {
+            totalPoints: points.length,
+            consistentPoints,
+            mergeCount: this.mergeCount,
+            collapseCount: this.collapseCount,
+            averageConfidence: avgConfidence,
+            maxConfidence: Math.max(...confidences),
+            minConfidence: Math.min(...confidences),
+        };
+    }
+    clear() {
+        this.points.clear();
+    }
+    clone() {
+        const cloned = new DefaultEnhancedVersionSpace(this.config);
+        for (const point of this.points.values()) {
+            cloned.add({ ...point, examples: [...point.examples] });
+        }
+        cloned.mergeCount = this.mergeCount;
+        cloned.collapseCount = this.collapseCount;
+        return cloned;
+    }
+    toJSON() {
+        return JSON.stringify({
+            config: this.config,
+            points: Array.from(this.points.entries()),
+            mergeCount: this.mergeCount,
+            collapseCount: this.collapseCount,
+        });
+    }
+    fromJSON(json) {
+        const data = JSON.parse(json);
+        if (data.points) {
+            this.points.clear();
+            for (const [id, point] of data.points) {
+                this.points.set(id, point);
+            }
+        }
+        if (data.mergeCount !== undefined) {
+            this.mergeCount = data.mergeCount;
+        }
+        if (data.collapseCount !== undefined) {
+            this.collapseCount = data.collapseCount;
+        }
+    }
+    // =========================================================================
+    // Private Methods
+    // =========================================================================
+    evictLowestConfidence() {
+        let lowest;
+        for (const [id, point] of this.points.entries()) {
+            if (!lowest || point.confidence < lowest.confidence) {
+                lowest = { id, confidence: point.confidence };
+            }
+        }
+        if (lowest) {
+            this.points.delete(lowest.id);
+        }
+    }
+    deduplicateExamples(examples) {
+        const seen = new Set();
+        const result = [];
+        for (const ex of examples) {
+            const key = JSON.stringify(ex);
+            if (!seen.has(key)) {
+                seen.add(key);
+                result.push(ex);
+            }
+        }
+        return result;
+    }
+}
+// =============================================================================
+// Factory Function
+// =============================================================================
+/**
+ * Create an EnhancedVersionSpace instance
+ * @param config - Optional configuration
+ * @returns EnhancedVersionSpace instance
+ */
+export function createEnhancedVersionSpace(config = {}) {
+    return new DefaultEnhancedVersionSpace(config);
+}
+export { DefaultEnhancedVersionSpace };
+//# sourceMappingURL=EnhancedVersionSpace.js.map

package/dist/versionspace/EnhancedVersionSpace.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"EnhancedVersionSpace.js","sourceRoot":"","sources":["../../src/versionspace/EnhancedVersionSpace.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAuJH,gFAAgF;AAChF,yBAAyB;AACzB,gFAAgF;AAEhF;;GAEG;AACH,MAAM,2BAA2B;IACvB,MAAM,CAA+B;IACrC,MAAM,CAAiC;IACvC,UAAU,CAAS;IACnB,aAAa,CAAS;IAE9B,YAAY,SAA6B,EAAE;QACzC,IAAI,CAAC,MAAM,GAAG;YACZ,SAAS,EAAE,MAAM,CAAC,SAAS,IAAI,IAAI;YACnC,iBAAiB,EAAE,MAAM,CAAC,iBAAiB,IAAI,IAAI;YACnD,aAAa,EAAE,MAAM,CAAC,aAAa,IAAI,cAAc;YACrD,oBAAoB,EAAE,MAAM,CAAC,oBAAoB,IAAI,IAAI;SAC1D,CAAC;QAEF,IAAI,CAAC,MAAM,GAAG,IAAI,GAAG,EAAE,CAAC;QACxB,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC;QACpB,IAAI,CAAC,aAAa,GAAG,CAAC,CAAC;IACzB,CAAC;IAED,GAAG,CAAC,KAAwB;QAC1B,iBAAiB;QACjB,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC;YAC9C,gCAAgC;YAChC,IAAI,CAAC,qBAAqB,EAAE,CAAC;QAC/B,CAAC;QAED,gBAAgB;QAChB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;QACxC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,GAAG,CAAC,EAAU;QACZ,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAClC,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1C,CAAC;IAED,MAAM,CAAC,EAAU;QACf,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAChC,CAAC;IAED,IAAI;QACF,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;IAC1B,CAAC;IAED,KAAK,CACH,KAA2B,EAC3B,QAAwB;QAExB,MAAM,aAAa,GAAG,QAAQ,IAAI,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC;QAC5D,MAAM,MAAM,GAAG,IAAI,2BAA2B,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAE5D,oCAAoC;QACpC,MAAM,YAAY,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;QAC3C,MAAM,aAAa,GAAG,KAAK,CAAC,cAAc,EAAE,CAAC;QAE7C,IAAI,aAAa,KAAK,OAAO,EAAE,CAAC;YAC9B,yCAAyC;YACzC,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;gBACjC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACpB,CAAC;YACD,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;gBAClC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;oBAC1B,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACpB,CAAC;YACH,CAAC;QACH,CAAC;aAAM,CAAC;YACN,0EAA0E;YAC1E,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;YACrE,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;YAEnE,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;gBACjC,IAAI,eAAe,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;oBACvC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACpB,CAAC;YACH,CAAC;YAED,KAAK,MAAM,KAAK,IAAI,aAAa,EAAE,CAAC;gBAClC,IAAI,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;oBAC/D,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBACpB,CAAC;YACH,CAAC;YAED,kEAAkE;YAClE,IAAI,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;gBACxB,MAAM,KAAK,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;gBACpC,MAAM,KAAK,GAAG,KAAK,CAAC,cAAc,EAAE,CAAC;gBACrC,IAAI,KAAK;oBAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;gBAC7B,IAAI,KAAK,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;oBAAE,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACxD,CAAC;QACH,CAAC;QAED,IAAI,CAAC,UAAU,EAAE,CAAC;QAClB,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,QAAQ;QACN,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,iBAAiB,EAAE,CAAC;YACnC,OAAO,CAAC,CAAC;QACX,CAAC;QAED,wBAAwB;QACxB,MAAM,MAAM,GAAG,IAAI,GAAG,EAA+B,CAAC;QAEtD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;YACzC,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC3C,IAAI,QAAQ,EAAE,CAAC;gBACb,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACvB,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;YACrC,CAAC;QACH,CAAC;QAED,4DAA4D;QAC5D,IAAI,cAAc,GAAG,CAAC,CAAC;QAEvB,KAAK,MAAM,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;YACvC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrB,uDAAuD;gBACvD,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC;gBAClD,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;gBAEtB,iCAAiC;gBACjC,MAAM,WAAW,GAAc,EAAE,CAAC;gBAClC,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;oBAC1B,WAAW,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC;gBACtC,CAAC;gBACD,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC;gBAEtD,uCAAuC;gBACvC,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;gBAClE,IAAI,CAAC,UAAU,GAAG,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC;gBAE3C,oBAAoB;gBACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACtC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;oBAChC,cAAc,EAAE,CAAC;gBACnB,CAAC;gBAED,wBAAwB;gBACxB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;YACjC,CAAC;QACH,CAAC;QAED,IAAI,cAAc,GAAG,CAAC,EAAE,CAAC;YACvB,IAAI,CAAC,aAAa,EAAE,CAAC;QACvB,CAAC;QAED,OAAO,cAAc,CAAC;IACxB,CAAC;IAED,kBAAkB,CAAC,aAAqB;QACtC,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAC5C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,IAAI,aAAa,CACrC,CAAC;IACJ,CAAC;IAED,cAAc;QACZ,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YAC3B,OAAO,SAAS,CAAC;QACnB,CAAC;QAED,IAAI,IAAmC,CAAC;QACxC,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;YACzC,IAAI,CAAC,IAAI,IAAI,KAAK,CAAC,UAAU,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChD,IAAI,GAAG,KAAK,CAAC;YACf,CAAC;QACH,CAAC;QAED,OAAO,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IACxC,CAAC;IAED,cAAc;QACZ,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;aACpC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,GAAG,CAAC,CAAC,UAAU,CAAC;aAC3C,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5B,CAAC;IAED,aAAa;QACX,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QAEhD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,OAAO;gBACL,WAAW,EAAE,CAAC;gBACd,gBAAgB,EAAE,CAAC;gBACnB,UAAU,EAAE,IAAI,CAAC,UAAU;gBAC3B,aAAa,EAAE,IAAI,CAAC,aAAa;gBACjC,iBAAiB,EAAE,CAAC;gBACpB,aAAa,EAAE,CAAC;gBAChB,aAAa,EAAE,CAAC;aACjB,CAAC;QACJ,CAAC;QAED,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC;QACnE,MAAM,WAAW,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QACpD,MAAM,aAAa,GACjB,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,MAAM,CAAC;QAE9D,OAAO;YACL,WAAW,EAAE,MAAM,CAAC,MAAM;YAC1B,gBAAgB;YAChB,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,aAAa,EAAE,IAAI,CAAC,aAAa;YACjC,iBAAiB,EAAE,aAAa;YAChC,aAAa,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,WAAW,CAAC;YACvC,aAAa,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,WAAW,CAAC;SACxC,CAAC;IACJ,CAAC;IAED,KAAK;QACH,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;IACtB,CAAC;IAED,KAAK;QACH,MAAM,MAAM,GAAG,IAAI,2BAA2B,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAE5D,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;YACzC,MAAM,CAAC,GAAG,CAAC,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;QAC1D,CAAC;QAED,MAAM,CAAC,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;QACpC,MAAM,CAAC,aAAa,GAAG,IAAI,CAAC,aAAa,CAAC;QAE1C,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM;QACJ,OAAO,IAAI,CAAC,SAAS,CAAC;YACpB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;YACzC,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,aAAa,EAAE,IAAI,CAAC,aAAa;SAClC,CAAC,CAAC;IACL,CAAC;IAED,QAAQ,CAAC,IAAY;QACnB,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAE9B,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChB,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;YACpB,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBACtC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YAC7B,CAAC;QACH,CAAC;QAED,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;YAClC,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC;QACpC,CAAC;QAED,IAAI,IAAI,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;YACrC,IAAI,CAAC,aAAa,GAAG,IAAI,CAAC,aAAa,CAAC;QAC1C,CAAC;IACH,CAAC;IAED,4EAA4E;IAC5E,kBAAkB;IAClB,4EAA4E;IAEpE,qBAAqB;QAC3B,IAAI,MAAsD,CAAC;QAE3D,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,EAAE,CAAC;YAChD,IAAI,CAAC,MAAM,IAAI,KAAK,CAAC,UAAU,GAAG,MAAM,CAAC,UAAU,EAAE,CAAC;gBACpD,MAAM,GAAG,EAAE,EAAE,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC;YAChD,CAAC;QACH,CAAC;QAED,IAAI,MAAM,EAAE,CAAC;YACX,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IAEO,mBAAmB,CAAC,QAAmB;QAC7C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,MAAM,GAAc,EAAE,CAAC;QAE7B,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;YAC1B,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YAC/B,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBACd,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAClB,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;CACF;AAED,gFAAgF;AAChF,mBAAmB;AACnB,gFAAgF;AAEhF;;;;GAIG;AACH,MAAM,UAAU,0BAA0B,CACxC,SAA6B,EAAE;IAE/B,OAAO,IAAI,2BAA2B,CAAC,MAAM,CAAC,CAAC;AACjD,CAAC;AAED,OAAO,EAAE,2BAA2B,EAAE,CAAC"}

package/dist/versionspace/index.d.ts

@@ -0,0 +1,7 @@
+/**
+ * Version Space module
+ * @module @nahisaho/musubix-synthesis/versionspace
+ */
+export { createEnhancedVersionSpace, DefaultEnhancedVersionSpace, } from './EnhancedVersionSpace.js';
+export type { EnhancedVersionSpace, VersionSpaceConfig, VersionSpacePoint, VersionSpaceStatistics, MergeStrategy, Example, } from './EnhancedVersionSpace.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/versionspace/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,0BAA0B,EAC1B,2BAA2B,GAC5B,MAAM,2BAA2B,CAAC;AAEnC,YAAY,EACV,oBAAoB,EACpB,kBAAkB,EAClB,iBAAiB,EACjB,sBAAsB,EACtB,aAAa,EACb,OAAO,GACR,MAAM,2BAA2B,CAAC"}

package/dist/versionspace/index.js

@@ -0,0 +1,6 @@
+/**
+ * Version Space module
+ * @module @nahisaho/musubix-synthesis/versionspace
+ */
+export { createEnhancedVersionSpace, DefaultEnhancedVersionSpace, } from './EnhancedVersionSpace.js';
+//# sourceMappingURL=index.js.map

package/dist/versionspace/index.js.map

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

package/dist/witness/EnhancedWitnessEngine.d.ts

@@ -0,0 +1,108 @@
+/**
+ * EnhancedWitnessEngine - Extended Witness Function Engine
+ *
+ * Extends the base WitnessEngine with 20+ built-in witness functions
+ * for string, list, arithmetic, and conditional operations.
+ *
+ * @module @nahisaho/musubix-synthesis
+ * @see TSK-SY-101
+ * @see DES-SY-101
+ * @see REQ-SY-101
+ *
+ * @example
+ * ```typescript
+ * import { createEnhancedWitnessEngine } from './EnhancedWitnessEngine.js';
+ *
+ * const engine = createEnhancedWitnessEngine(dsl);
+ * const decomp = engine.decompose(spec, 'concat');
+ * ```
+ */
+import type { IDSL, WitnessFunction } from '../types.js';
+import { WitnessEngine } from '../synthesis/WitnessEngine.js';
+/**
+ * Configuration for enhanced witness engine
+ */
+export interface EnhancedWitnessConfig {
+    /** Enable string manipulation witnesses (default: true) */
+    enableStringWitnesses: boolean;
+    /** Enable list operation witnesses (default: true) */
+    enableListWitnesses: boolean;
+    /** Enable arithmetic witnesses (default: true) */
+    enableArithmeticWitnesses: boolean;
+    /** Enable conditional witnesses (default: true) */
+    enableConditionalWitnesses: boolean;
+}
+/**
+ * Witness category
+ */
+export type WitnessCategory = 'string' | 'list' | 'arithmetic' | 'conditional';
+/**
+ * Extended witness function with category
+ */
+export interface ExtendedWitnessFunction extends WitnessFunction {
+    category?: WitnessCategory;
+    description?: string;
+}
+/**
+ * Witness list item
+ */
+export interface WitnessListItem {
+    operator: string;
+    category: WitnessCategory | 'custom';
+    description?: string;
+}
+/**
+ * Built-in witness functions (20+ total)
+ */
+export declare const BUILTIN_WITNESSES: ExtendedWitnessFunction[];
+/**
+ * Enhanced Witness Engine with built-in witnesses
+ */
+export declare class EnhancedWitnessEngine extends WitnessEngine {
+    private readonly config;
+    private readonly customWitnesses;
+    private readonly witnessCategories;
+    constructor(dsl: IDSL, config?: Partial<EnhancedWitnessConfig>);
+    /**
+     * Register all built-in witnesses based on config
+     */
+    private registerBuiltinWitnesses;
+    /**
+     * Check if witness should be registered based on config
+     */
+    private shouldRegisterWitness;
+    /**
+     * Register a custom witness function
+     */
+    registerWitness(witness: WitnessFunction): void;
+    /**
+     * Get total count of registered witnesses
+     */
+    getWitnessCount(): number;
+    /**
+     * Get witnesses by category
+     */
+    getWitnessesByCategory(category: WitnessCategory | 'custom'): WitnessFunction[];
+    /**
+     * List all registered witnesses
+     */
+    listWitnesses(): WitnessListItem[];
+    /**
+     * Serialize engine state to JSON
+     */
+    toJSON(): string;
+    /**
+     * Restore engine state from JSON
+     * Note: Only restores configuration, not actual witness function implementations
+     */
+    fromJSON(_json: string): void;
+}
+/**
+ * Create an EnhancedWitnessEngine instance
+ *
+ * @param dsl - The DSL to use for synthesis
+ * @param config - Optional configuration
+ * @returns EnhancedWitnessEngine instance
+ */
+export declare function createEnhancedWitnessEngine(dsl: IDSL, config?: Partial<EnhancedWitnessConfig>): EnhancedWitnessEngine;
+//# sourceMappingURL=EnhancedWitnessEngine.d.ts.map

package/dist/witness/EnhancedWitnessEngine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"EnhancedWitnessEngine.d.ts","sourceRoot":"","sources":["../../src/witness/EnhancedWitnessEngine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,EACV,IAAI,EAEJ,eAAe,EAChB,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAM9D;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,2DAA2D;IAC3D,qBAAqB,EAAE,OAAO,CAAC;IAC/B,sDAAsD;IACtD,mBAAmB,EAAE,OAAO,CAAC;IAC7B,kDAAkD;IAClD,yBAAyB,EAAE,OAAO,CAAC;IACnC,mDAAmD;IACnD,0BAA0B,EAAE,OAAO,CAAC;CACrC;AAED;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG,QAAQ,GAAG,MAAM,GAAG,YAAY,GAAG,aAAa,CAAC;AAE/E;;GAEG;AACH,MAAM,WAAW,uBAAwB,SAAQ,eAAe;IAC9D,QAAQ,CAAC,EAAE,eAAe,CAAC;IAC3B,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,eAAe,GAAG,QAAQ,CAAC;IACrC,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AA6BD;;GAEG;AACH,eAAO,MAAM,iBAAiB,EAAE,uBAAuB,EAsXtD,CAAC;AAMF;;GAEG;AACH,qBAAa,qBAAsB,SAAQ,aAAa;IACtD,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAwB;IAC/C,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAiC;IACjE,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAsD;gBAE5E,GAAG,EAAE,IAAI,EAAE,MAAM,GAAE,OAAO,CAAC,qBAAqB,CAAM;IAMlE;;OAEG;IACH,OAAO,CAAC,wBAAwB;IAWhC;;OAEG;IACH,OAAO,CAAC,qBAAqB;IAe7B;;OAEG;IACM,eAAe,CAAC,OAAO,EAAE,eAAe,GAAG,IAAI;IAexD;;OAEG;IACH,eAAe,IAAI,MAAM;IAYzB;;OAEG;IACH,sBAAsB,CAAC,QAAQ,EAAE,eAAe,GAAG,QAAQ,GAAG,eAAe,EAAE;IAgB/E;;OAEG;IACH,aAAa,IAAI,eAAe,EAAE;IAwBlC;;OAEG;IACH,MAAM,IAAI,MAAM;IAYhB;;;OAGG;IACH,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;CAI9B;AAMD;;;;;;GAMG;AACH,wBAAgB,2BAA2B,CACzC,GAAG,EAAE,IAAI,EACT,MAAM,GAAE,OAAO,CAAC,qBAAqB,CAAM,GAC1C,qBAAqB,CAEvB"}