@nahisaho/musubix-synthesis 2.1.0 → 2.2.0

package/dist/witness/EnhancedWitnessEngine.js

@@ -0,0 +1,555 @@
+/**
+ * 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 { WitnessEngine } from '../synthesis/WitnessEngine.js';
+// =============================================================================
+// Default Configuration
+// =============================================================================
+const DEFAULT_CONFIG = {
+    enableStringWitnesses: true,
+    enableListWitnesses: true,
+    enableArithmeticWitnesses: true,
+    enableConditionalWitnesses: true,
+};
+// =============================================================================
+// Built-in Witnesses
+// =============================================================================
+/**
+ * Built-in witness functions (20+ total)
+ */
+export const BUILTIN_WITNESSES = [
+    // =========================================================================
+    // String Witnesses (8)
+    // =========================================================================
+    {
+        operator: 'concat',
+        argIndex: 0,
+        category: 'string',
+        description: 'Concatenation witness - decomposes output into prefix/suffix',
+        witness: (spec) => {
+            const results = [];
+            for (const ex of spec.examples) {
+                if (typeof ex.output === 'string') {
+                    const output = ex.output;
+                    // Try different split points
+                    for (let i = 0; i <= output.length; i++) {
+                        const prefix = output.substring(0, i);
+                        const suffix = output.substring(i);
+                        results.push({ examples: [{ input: ex.input, output: prefix }] });
+                        results.push({ examples: [{ input: ex.input, output: suffix }] });
+                    }
+                }
+            }
+            return results;
+        },
+    },
+    {
+        operator: 'substring',
+        argIndex: 0,
+        category: 'string',
+        description: 'Substring witness - finds source string and indices',
+        witness: (spec) => {
+            const results = [];
+            for (const ex of spec.examples) {
+                if (typeof ex.output === 'string' && Array.isArray(ex.input)) {
+                    const input = ex.input[0];
+                    if (typeof input === 'string' && input.includes(ex.output)) {
+                        const start = input.indexOf(ex.output);
+                        const end = start + ex.output.length;
+                        results.push({ examples: [{ input: ex.input, output: input }] });
+                        results.push({ examples: [{ input: ex.input, output: start }] });
+                        results.push({ examples: [{ input: ex.input, output: end }] });
+                    }
+                }
+            }
+            return results;
+        },
+    },
+    {
+        operator: 'toUpperCase',
+        argIndex: 0,
+        category: 'string',
+        description: 'ToUpperCase witness - finds lowercase source',
+        witness: (spec) => {
+            const results = [];
+            for (const ex of spec.examples) {
+                if (typeof ex.output === 'string') {
+                    results.push({ examples: [{ input: ex.input, output: ex.output.toLowerCase() }] });
+                }
+            }
+            return results;
+        },
+    },
+    {
+        operator: 'toLowerCase',
+        argIndex: 0,
+        category: 'string',
+        description: 'ToLowerCase witness - finds uppercase source',
+        witness: (spec) => {
+            const results = [];
+            for (const ex of spec.examples) {
+                if (typeof ex.output === 'string') {
+                    results.push({ examples: [{ input: ex.input, output: ex.output.toUpperCase() }] });
+                }
+            }
+            return results;
+        },
+    },
+    {
+        operator: 'replace',
+        argIndex: 0,
+        category: 'string',
+        description: 'Replace witness - finds original string and replacement',
+        witness: (spec) => {
+            const results = [];
+            for (const ex of spec.examples) {
+                if (typeof ex.output === 'string') {
+                    results.push({ examples: [{ input: ex.input, output: ex.output }] });
+                }
+            }
+            return results;
+        },
+    },
+    {
+        operator: 'trim',
+        argIndex: 0,
+        category: 'string',
+        description: 'Trim witness - finds string with whitespace',
+        witness: (spec) => {
+            const results = [];
+            for (const ex of spec.examples) {
+                if (typeof ex.output === 'string') {
+                    results.push({ examples: [{ input: ex.input, output: ' ' + ex.output + ' ' }] });
+                    results.push({ examples: [{ input: ex.input, output: ex.output }] });
+                }
+            }
+            return results;
+        },
+    },
+    {
+        operator: 'split',
+        argIndex: 0,
+        category: 'string',
+        description: 'Split witness - finds original string and delimiter',
+        witness: (spec) => {
+            const results = [];
+            for (const ex of spec.examples) {
+                if (Array.isArray(ex.output)) {
+                    const joined = ex.output.join('');
+                    results.push({ examples: [{ input: ex.input, output: joined }] });
+                }
+            }
+            return results;
+        },
+    },
+    {
+        operator: 'length',
+        argIndex: 0,
+        category: 'string',
+        description: 'Length witness - finds string of given length',
+        witness: (spec) => {
+            const results = [];
+            for (const ex of spec.examples) {
+                if (typeof ex.output === 'number') {
+                    results.push({ examples: [{ input: ex.input, output: 'x'.repeat(ex.output) }] });
+                }
+            }
+            return results;
+        },
+    },
+    // =========================================================================
+    // List Witnesses (6)
+    // =========================================================================
+    {
+        operator: 'map',
+        argIndex: 0,
+        category: 'list',
+        description: 'Map witness - infers transformation function',
+        witness: (spec) => {
+            const results = [];
+            for (const ex of spec.examples) {
+                if (Array.isArray(ex.input) && Array.isArray(ex.output)) {
+                    const inputArr = ex.input[0];
+                    const outputArr = ex.output;
+                    // Infer element-wise transformation
+                    if (inputArr.length === outputArr.length) {
+                        for (let i = 0; i < inputArr.length; i++) {
+                            results.push({
+                                examples: [{ input: inputArr[i], output: outputArr[i] }],
+                            });
+                        }
+                    }
+                }
+            }
+            return results;
+        },
+    },
+    {
+        operator: 'filter',
+        argIndex: 0,
+        category: 'list',
+        description: 'Filter witness - infers predicate function',
+        witness: (spec) => {
+            const results = [];
+            for (const ex of spec.examples) {
+                if (Array.isArray(ex.input) && Array.isArray(ex.output)) {
+                    const inputArr = ex.input[0];
+                    const outputArr = ex.output;
+                    // Create specs for included/excluded elements
+                    for (const item of inputArr) {
+                        const included = outputArr.includes(item);
+                        results.push({
+                            examples: [{ input: item, output: included }],
+                        });
+                    }
+                }
+            }
+            return results;
+        },
+    },
+    {
+        operator: 'reduce',
+        argIndex: 0,
+        category: 'list',
+        description: 'Reduce witness - infers reducer function and initial value',
+        witness: (spec) => {
+            const results = [];
+            for (const ex of spec.examples) {
+                if (Array.isArray(ex.input)) {
+                    results.push({ examples: [{ input: ex.input, output: ex.output }] });
+                }
+            }
+            return results;
+        },
+    },
+    {
+        operator: 'head',
+        argIndex: 0,
+        category: 'list',
+        description: 'Head witness - finds list with given first element',
+        witness: (spec) => {
+            const results = [];
+            for (const ex of spec.examples) {
+                results.push({ examples: [{ input: ex.input, output: [ex.output] }] });
+            }
+            return results;
+        },
+    },
+    {
+        operator: 'tail',
+        argIndex: 0,
+        category: 'list',
+        description: 'Tail witness - finds list with given rest',
+        witness: (spec) => {
+            const results = [];
+            for (const ex of spec.examples) {
+                if (Array.isArray(ex.output)) {
+                    results.push({ examples: [{ input: ex.input, output: [null, ...ex.output] }] });
+                }
+            }
+            return results;
+        },
+    },
+    {
+        operator: 'cons',
+        argIndex: 0,
+        category: 'list',
+        description: 'Cons witness - finds head and tail',
+        witness: (spec) => {
+            const results = [];
+            for (const ex of spec.examples) {
+                if (Array.isArray(ex.output) && ex.output.length > 0) {
+                    results.push({ examples: [{ input: ex.input, output: ex.output[0] }] });
+                    results.push({ examples: [{ input: ex.input, output: ex.output.slice(1) }] });
+                }
+            }
+            return results;
+        },
+    },
+    // =========================================================================
+    // Arithmetic Witnesses (4)
+    // =========================================================================
+    {
+        operator: 'add',
+        argIndex: 0,
+        category: 'arithmetic',
+        description: 'Addition witness - decomposes sum into addends',
+        witness: (spec) => {
+            const results = [];
+            for (const ex of spec.examples) {
+                if (typeof ex.output === 'number') {
+                    const sum = ex.output;
+                    // Try different decompositions
+                    for (let i = 0; i <= sum; i++) {
+                        results.push({ examples: [{ input: ex.input, output: i }] });
+                        results.push({ examples: [{ input: ex.input, output: sum - i }] });
+                    }
+                }
+            }
+            return results;
+        },
+    },
+    {
+        operator: 'subtract',
+        argIndex: 0,
+        category: 'arithmetic',
+        description: 'Subtraction witness - finds minuend and subtrahend',
+        witness: (spec) => {
+            const results = [];
+            for (const ex of spec.examples) {
+                if (typeof ex.output === 'number' && Array.isArray(ex.input)) {
+                    const [a, b] = ex.input;
+                    if (typeof a === 'number' && typeof b === 'number') {
+                        results.push({ examples: [{ input: ex.input, output: a }] });
+                        results.push({ examples: [{ input: ex.input, output: b }] });
+                    }
+                }
+            }
+            return results;
+        },
+    },
+    {
+        operator: 'multiply',
+        argIndex: 0,
+        category: 'arithmetic',
+        description: 'Multiplication witness - decomposes product into factors',
+        witness: (spec) => {
+            const results = [];
+            for (const ex of spec.examples) {
+                if (typeof ex.output === 'number') {
+                    const product = ex.output;
+                    // Find factor pairs
+                    for (let i = 1; i <= Math.sqrt(Math.abs(product)) + 1; i++) {
+                        if (product % i === 0) {
+                            results.push({ examples: [{ input: ex.input, output: i }] });
+                            results.push({ examples: [{ input: ex.input, output: product / i }] });
+                        }
+                    }
+                }
+            }
+            return results;
+        },
+    },
+    {
+        operator: 'divide',
+        argIndex: 0,
+        category: 'arithmetic',
+        description: 'Division witness - finds dividend and divisor',
+        witness: (spec) => {
+            const results = [];
+            for (const ex of spec.examples) {
+                if (typeof ex.output === 'number' && Array.isArray(ex.input)) {
+                    const [a, b] = ex.input;
+                    if (typeof a === 'number' && typeof b === 'number') {
+                        results.push({ examples: [{ input: ex.input, output: a }] });
+                        results.push({ examples: [{ input: ex.input, output: b }] });
+                    }
+                }
+            }
+            return results;
+        },
+    },
+    // =========================================================================
+    // Conditional Witnesses (2)
+    // =========================================================================
+    {
+        operator: 'ite',
+        argIndex: 0,
+        category: 'conditional',
+        description: 'If-then-else witness - infers condition and branches',
+        witness: (spec) => {
+            const results = [];
+            for (const ex of spec.examples) {
+                if (Array.isArray(ex.input) && ex.input.length >= 3) {
+                    const [cond, thenVal, elseVal] = ex.input;
+                    // Condition spec
+                    results.push({ examples: [{ input: ex.input, output: cond }] });
+                    // Then branch spec
+                    results.push({ examples: [{ input: ex.input, output: thenVal }] });
+                    // Else branch spec
+                    results.push({ examples: [{ input: ex.input, output: elseVal }] });
+                }
+            }
+            return results;
+        },
+    },
+    {
+        operator: 'switch',
+        argIndex: 0,
+        category: 'conditional',
+        description: 'Switch witness - infers selector and cases',
+        witness: (spec) => {
+            const results = [];
+            for (const ex of spec.examples) {
+                results.push({ examples: [{ input: ex.input, output: ex.output }] });
+            }
+            return results;
+        },
+    },
+];
+// =============================================================================
+// Implementation
+// =============================================================================
+/**
+ * Enhanced Witness Engine with built-in witnesses
+ */
+export class EnhancedWitnessEngine extends WitnessEngine {
+    config;
+    customWitnesses = [];
+    witnessCategories = new Map();
+    constructor(dsl, config = {}) {
+        super(dsl);
+        this.config = { ...DEFAULT_CONFIG, ...config };
+        this.registerBuiltinWitnesses();
+    }
+    /**
+     * Register all built-in witnesses based on config
+     */
+    registerBuiltinWitnesses() {
+        for (const witness of BUILTIN_WITNESSES) {
+            if (this.shouldRegisterWitness(witness)) {
+                this.registerWitness(witness);
+                if (witness.category) {
+                    this.witnessCategories.set(witness.operator, witness.category);
+                }
+            }
+        }
+    }
+    /**
+     * Check if witness should be registered based on config
+     */
+    shouldRegisterWitness(witness) {
+        switch (witness.category) {
+            case 'string':
+                return this.config.enableStringWitnesses;
+            case 'list':
+                return this.config.enableListWitnesses;
+            case 'arithmetic':
+                return this.config.enableArithmeticWitnesses;
+            case 'conditional':
+                return this.config.enableConditionalWitnesses;
+            default:
+                return true;
+        }
+    }
+    /**
+     * Register a custom witness function
+     */
+    registerWitness(witness) {
+        super.registerWitness(witness);
+        const extended = witness;
+        if (!BUILTIN_WITNESSES.includes(extended)) {
+            this.customWitnesses.push(extended);
+        }
+        if (extended.category) {
+            this.witnessCategories.set(witness.operator, extended.category);
+        }
+        else {
+            this.witnessCategories.set(witness.operator, 'custom');
+        }
+    }
+    /**
+     * Get total count of registered witnesses
+     */
+    getWitnessCount() {
+        let count = 0;
+        // Count across all operators
+        for (const witness of BUILTIN_WITNESSES) {
+            if (this.shouldRegisterWitness(witness)) {
+                count++;
+            }
+        }
+        count += this.customWitnesses.length;
+        return count;
+    }
+    /**
+     * Get witnesses by category
+     */
+    getWitnessesByCategory(category) {
+        const results = [];
+        for (const witness of BUILTIN_WITNESSES) {
+            if (witness.category === category && this.shouldRegisterWitness(witness)) {
+                results.push(witness);
+            }
+        }
+        if (category === 'custom') {
+            results.push(...this.customWitnesses);
+        }
+        return results;
+    }
+    /**
+     * List all registered witnesses
+     */
+    listWitnesses() {
+        const items = [];
+        for (const witness of BUILTIN_WITNESSES) {
+            if (this.shouldRegisterWitness(witness)) {
+                items.push({
+                    operator: witness.operator,
+                    category: witness.category ?? 'custom',
+                    description: witness.description,
+                });
+            }
+        }
+        for (const witness of this.customWitnesses) {
+            items.push({
+                operator: witness.operator,
+                category: witness.category ?? 'custom',
+                description: witness.description,
+            });
+        }
+        return items;
+    }
+    /**
+     * Serialize engine state to JSON
+     */
+    toJSON() {
+        const state = {
+            version: '1.0.0',
+            config: this.config,
+            customWitnesses: this.customWitnesses.map(w => ({
+                operator: w.operator,
+                category: w.category ?? 'custom',
+            })),
+        };
+        return JSON.stringify(state, null, 2);
+    }
+    /**
+     * Restore engine state from JSON
+     * Note: Only restores configuration, not actual witness function implementations
+     */
+    fromJSON(_json) {
+        // Parse but don't fully restore - witness functions can't be serialized
+        // This method exists for API compatibility
+    }
+}
+// =============================================================================
+// Factory Function
+// =============================================================================
+/**
+ * Create an EnhancedWitnessEngine instance
+ *
+ * @param dsl - The DSL to use for synthesis
+ * @param config - Optional configuration
+ * @returns EnhancedWitnessEngine instance
+ */
+export function createEnhancedWitnessEngine(dsl, config = {}) {
+    return new EnhancedWitnessEngine(dsl, config);
+}
+//# sourceMappingURL=EnhancedWitnessEngine.js.map

package/dist/witness/EnhancedWitnessEngine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"EnhancedWitnessEngine.js","sourceRoot":"","sources":["../../src/witness/EnhancedWitnessEngine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAOH,OAAO,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAC;AAsD9D,gFAAgF;AAChF,wBAAwB;AACxB,gFAAgF;AAEhF,MAAM,cAAc,GAA0B;IAC5C,qBAAqB,EAAE,IAAI;IAC3B,mBAAmB,EAAE,IAAI;IACzB,yBAAyB,EAAE,IAAI;IAC/B,0BAA0B,EAAE,IAAI;CACjC,CAAC;AAEF,gFAAgF;AAChF,qBAAqB;AACrB,gFAAgF;AAEhF;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAA8B;IAC1D,4EAA4E;IAC5E,uBAAuB;IACvB,4EAA4E;IAC5E;QACE,QAAQ,EAAE,QAAQ;QAClB,QAAQ,EAAE,CAAC;QACX,QAAQ,EAAE,QAAQ;QAClB,WAAW,EAAE,8DAA8D;QAC3E,OAAO,EAAE,CAAC,IAAmB,EAAmB,EAAE;YAChD,MAAM,OAAO,GAAoB,EAAE,CAAC;YACpC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC/B,IAAI,OAAO,EAAE,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;oBAClC,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC;oBACzB,6BAA6B;oBAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;wBACxC,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;wBACtC,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;wBACnC,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;wBAClE,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;oBACpE,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;KACF;IACD;QACE,QAAQ,EAAE,WAAW;QACrB,QAAQ,EAAE,CAAC;QACX,QAAQ,EAAE,QAAQ;QAClB,WAAW,EAAE,qDAAqD;QAClE,OAAO,EAAE,CAAC,IAAmB,EAAmB,EAAE;YAChD,MAAM,OAAO,GAAoB,EAAE,CAAC;YACpC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC/B,IAAI,OAAO,EAAE,CAAC,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC7D,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;oBAC1B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;wBAC3D,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;wBACvC,MAAM,GAAG,GAAG,KAAK,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC;wBACrC,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;wBACjE,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;wBACjE,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;oBACjE,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;KACF;IACD;QACE,QAAQ,EAAE,aAAa;QACvB,QAAQ,EAAE,CAAC;QACX,QAAQ,EAAE,QAAQ;QAClB,WAAW,EAAE,8CAA8C;QAC3D,OAAO,EAAE,CAAC,IAAmB,EAAmB,EAAE;YAChD,MAAM,OAAO,GAAoB,EAAE,CAAC;YACpC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC/B,IAAI,OAAO,EAAE,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;oBAClC,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;gBACrF,CAAC;YACH,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;KACF;IACD;QACE,QAAQ,EAAE,aAAa;QACvB,QAAQ,EAAE,CAAC;QACX,QAAQ,EAAE,QAAQ;QAClB,WAAW,EAAE,8CAA8C;QAC3D,OAAO,EAAE,CAAC,IAAmB,EAAmB,EAAE;YAChD,MAAM,OAAO,GAAoB,EAAE,CAAC;YACpC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC/B,IAAI,OAAO,EAAE,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;oBAClC,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;gBACrF,CAAC;YACH,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;KACF;IACD;QACE,QAAQ,EAAE,SAAS;QACnB,QAAQ,EAAE,CAAC;QACX,QAAQ,EAAE,QAAQ;QAClB,WAAW,EAAE,yDAAyD;QACtE,OAAO,EAAE,CAAC,IAAmB,EAAmB,EAAE;YAChD,MAAM,OAAO,GAAoB,EAAE,CAAC;YACpC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC/B,IAAI,OAAO,EAAE,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;oBAClC,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;gBACvE,CAAC;YACH,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;KACF;IACD;QACE,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,CAAC;QACX,QAAQ,EAAE,QAAQ;QAClB,WAAW,EAAE,6CAA6C;QAC1D,OAAO,EAAE,CAAC,IAAmB,EAAmB,EAAE;YAChD,MAAM,OAAO,GAAoB,EAAE,CAAC;YACpC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC/B,IAAI,OAAO,EAAE,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;oBAClC,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,GAAG,EAAE,CAAC,MAAM,GAAG,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;oBACjF,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;gBACvE,CAAC;YACH,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;KACF;IACD;QACE,QAAQ,EAAE,OAAO;QACjB,QAAQ,EAAE,CAAC;QACX,QAAQ,EAAE,QAAQ;QAClB,WAAW,EAAE,qDAAqD;QAClE,OAAO,EAAE,CAAC,IAAmB,EAAmB,EAAE;YAChD,MAAM,OAAO,GAAoB,EAAE,CAAC;YACpC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC/B,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;oBAC7B,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;oBAClC,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;gBACpE,CAAC;YACH,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;KACF;IACD;QACE,QAAQ,EAAE,QAAQ;QAClB,QAAQ,EAAE,CAAC;QACX,QAAQ,EAAE,QAAQ;QAClB,WAAW,EAAE,+CAA+C;QAC5D,OAAO,EAAE,CAAC,IAAmB,EAAmB,EAAE;YAChD,MAAM,OAAO,GAAoB,EAAE,CAAC;YACpC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC/B,IAAI,OAAO,EAAE,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;oBAClC,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;gBACnF,CAAC;YACH,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;KACF;IAED,4EAA4E;IAC5E,qBAAqB;IACrB,4EAA4E;IAC5E;QACE,QAAQ,EAAE,KAAK;QACf,QAAQ,EAAE,CAAC;QACX,QAAQ,EAAE,MAAM;QAChB,WAAW,EAAE,8CAA8C;QAC3D,OAAO,EAAE,CAAC,IAAmB,EAAmB,EAAE;YAChD,MAAM,OAAO,GAAoB,EAAE,CAAC;YACpC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC/B,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;oBACxD,MAAM,QAAQ,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAc,CAAC;oBAC1C,MAAM,SAAS,GAAG,EAAE,CAAC,MAAmB,CAAC;oBAEzC,oCAAoC;oBACpC,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,CAAC,MAAM,EAAE,CAAC;wBACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;4BACzC,OAAO,CAAC,IAAI,CAAC;gCACX,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;6BACzD,CAAC,CAAC;wBACL,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;KACF;IACD;QACE,QAAQ,EAAE,QAAQ;QAClB,QAAQ,EAAE,CAAC;QACX,QAAQ,EAAE,MAAM;QAChB,WAAW,EAAE,4CAA4C;QACzD,OAAO,EAAE,CAAC,IAAmB,EAAmB,EAAE;YAChD,MAAM,OAAO,GAAoB,EAAE,CAAC;YACpC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC/B,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;oBACxD,MAAM,QAAQ,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAc,CAAC;oBAC1C,MAAM,SAAS,GAAG,EAAE,CAAC,MAAmB,CAAC;oBAEzC,8CAA8C;oBAC9C,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;wBAC5B,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;wBAC1C,OAAO,CAAC,IAAI,CAAC;4BACX,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;yBAC9C,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;KACF;IACD;QACE,QAAQ,EAAE,QAAQ;QAClB,QAAQ,EAAE,CAAC;QACX,QAAQ,EAAE,MAAM;QAChB,WAAW,EAAE,4DAA4D;QACzE,OAAO,EAAE,CAAC,IAAmB,EAAmB,EAAE;YAChD,MAAM,OAAO,GAAoB,EAAE,CAAC;YACpC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC/B,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC5B,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;gBACvE,CAAC;YACH,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;KACF;IACD;QACE,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,CAAC;QACX,QAAQ,EAAE,MAAM;QAChB,WAAW,EAAE,oDAAoD;QACjE,OAAO,EAAE,CAAC,IAAmB,EAAmB,EAAE;YAChD,MAAM,OAAO,GAAoB,EAAE,CAAC;YACpC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC/B,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACzE,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;KACF;IACD;QACE,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,CAAC;QACX,QAAQ,EAAE,MAAM;QAChB,WAAW,EAAE,2CAA2C;QACxD,OAAO,EAAE,CAAC,IAAmB,EAAmB,EAAE;YAChD,MAAM,OAAO,GAAoB,EAAE,CAAC;YACpC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC/B,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC;oBAC7B,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;gBAClF,CAAC;YACH,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;KACF;IACD;QACE,QAAQ,EAAE,MAAM;QAChB,QAAQ,EAAE,CAAC;QACX,QAAQ,EAAE,MAAM;QAChB,WAAW,EAAE,oCAAoC;QACjD,OAAO,EAAE,CAAC,IAAmB,EAAmB,EAAE;YAChD,MAAM,OAAO,GAAoB,EAAE,CAAC;YACpC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC/B,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACrD,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;oBACxE,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;gBAChF,CAAC;YACH,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;KACF;IAED,4EAA4E;IAC5E,2BAA2B;IAC3B,4EAA4E;IAC5E;QACE,QAAQ,EAAE,KAAK;QACf,QAAQ,EAAE,CAAC;QACX,QAAQ,EAAE,YAAY;QACtB,WAAW,EAAE,gDAAgD;QAC7D,OAAO,EAAE,CAAC,IAAmB,EAAmB,EAAE;YAChD,MAAM,OAAO,GAAoB,EAAE,CAAC;YACpC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC/B,IAAI,OAAO,EAAE,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;oBAClC,MAAM,GAAG,GAAG,EAAE,CAAC,MAAM,CAAC;oBACtB,+BAA+B;oBAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;wBAC9B,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;wBAC7D,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;oBACrE,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;KACF;IACD;QACE,QAAQ,EAAE,UAAU;QACpB,QAAQ,EAAE,CAAC;QACX,QAAQ,EAAE,YAAY;QACtB,WAAW,EAAE,oDAAoD;QACjE,OAAO,EAAE,CAAC,IAAmB,EAAmB,EAAE;YAChD,MAAM,OAAO,GAAoB,EAAE,CAAC;YACpC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC/B,IAAI,OAAO,EAAE,CAAC,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC7D,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,KAAiB,CAAC;oBACpC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;wBACnD,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;wBAC7D,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;oBAC/D,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;KACF;IACD;QACE,QAAQ,EAAE,UAAU;QACpB,QAAQ,EAAE,CAAC;QACX,QAAQ,EAAE,YAAY;QACtB,WAAW,EAAE,0DAA0D;QACvE,OAAO,EAAE,CAAC,IAAmB,EAAmB,EAAE;YAChD,MAAM,OAAO,GAAoB,EAAE,CAAC;YACpC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC/B,IAAI,OAAO,EAAE,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;oBAClC,MAAM,OAAO,GAAG,EAAE,CAAC,MAAM,CAAC;oBAC1B,oBAAoB;oBACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;wBAC3D,IAAI,OAAO,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;4BACtB,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;4BAC7D,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;wBACzE,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;KACF;IACD;QACE,QAAQ,EAAE,QAAQ;QAClB,QAAQ,EAAE,CAAC;QACX,QAAQ,EAAE,YAAY;QACtB,WAAW,EAAE,+CAA+C;QAC5D,OAAO,EAAE,CAAC,IAAmB,EAAmB,EAAE;YAChD,MAAM,OAAO,GAAoB,EAAE,CAAC;YACpC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC/B,IAAI,OAAO,EAAE,CAAC,MAAM,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC7D,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,KAAiB,CAAC;oBACpC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;wBACnD,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;wBAC7D,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;oBAC/D,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;KACF;IAED,4EAA4E;IAC5E,4BAA4B;IAC5B,4EAA4E;IAC5E;QACE,QAAQ,EAAE,KAAK;QACf,QAAQ,EAAE,CAAC;QACX,QAAQ,EAAE,aAAa;QACvB,WAAW,EAAE,sDAAsD;QACnE,OAAO,EAAE,CAAC,IAAmB,EAAmB,EAAE;YAChD,MAAM,OAAO,GAAoB,EAAE,CAAC;YACpC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC/B,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;oBACpD,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC;oBAC1C,iBAAiB;oBACjB,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;oBAChE,mBAAmB;oBACnB,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;oBACnE,mBAAmB;oBACnB,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;gBACrE,CAAC;YACH,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;KACF;IACD;QACE,QAAQ,EAAE,QAAQ;QAClB,QAAQ,EAAE,CAAC;QACX,QAAQ,EAAE,aAAa;QACvB,WAAW,EAAE,4CAA4C;QACzD,OAAO,EAAE,CAAC,IAAmB,EAAmB,EAAE;YAChD,MAAM,OAAO,GAAoB,EAAE,CAAC;YACpC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC/B,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;YACvE,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;KACF;CACF,CAAC;AAEF,gFAAgF;AAChF,iBAAiB;AACjB,gFAAgF;AAEhF;;GAEG;AACH,MAAM,OAAO,qBAAsB,SAAQ,aAAa;IACrC,MAAM,CAAwB;IAC9B,eAAe,GAA8B,EAAE,CAAC;IAChD,iBAAiB,GAA4C,IAAI,GAAG,EAAE,CAAC;IAExF,YAAY,GAAS,EAAE,SAAyC,EAAE;QAChE,KAAK,CAAC,GAAG,CAAC,CAAC;QACX,IAAI,CAAC,MAAM,GAAG,EAAE,GAAG,cAAc,EAAE,GAAG,MAAM,EAAE,CAAC;QAC/C,IAAI,CAAC,wBAAwB,EAAE,CAAC;IAClC,CAAC;IAED;;OAEG;IACK,wBAAwB;QAC9B,KAAK,MAAM,OAAO,IAAI,iBAAiB,EAAE,CAAC;YACxC,IAAI,IAAI,CAAC,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;gBACxC,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;gBAC9B,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;oBACrB,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,CAAC;gBACjE,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED;;OAEG;IACK,qBAAqB,CAAC,OAAgC;QAC5D,QAAQ,OAAO,CAAC,QAAQ,EAAE,CAAC;YACzB,KAAK,QAAQ;gBACX,OAAO,IAAI,CAAC,MAAM,CAAC,qBAAqB,CAAC;YAC3C,KAAK,MAAM;gBACT,OAAO,IAAI,CAAC,MAAM,CAAC,mBAAmB,CAAC;YACzC,KAAK,YAAY;gBACf,OAAO,IAAI,CAAC,MAAM,CAAC,yBAAyB,CAAC;YAC/C,KAAK,aAAa;gBAChB,OAAO,IAAI,CAAC,MAAM,CAAC,0BAA0B,CAAC;YAChD;gBACE,OAAO,IAAI,CAAC;QAChB,CAAC;IACH,CAAC;IAED;;OAEG;IACM,eAAe,CAAC,OAAwB;QAC/C,KAAK,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;QAE/B,MAAM,QAAQ,GAAG,OAAkC,CAAC;QACpD,IAAI,CAAC,iBAAiB,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC1C,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACtC,CAAC;QAED,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;YACtB,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAClE,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACzD,CAAC;IACH,CAAC;IAED;;OAEG;IACH,eAAe;QACb,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,6BAA6B;QAC7B,KAAK,MAAM,OAAO,IAAI,iBAAiB,EAAE,CAAC;YACxC,IAAI,IAAI,CAAC,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;gBACxC,KAAK,EAAE,CAAC;YACV,CAAC;QACH,CAAC;QACD,KAAK,IAAI,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC;QACrC,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;OAEG;IACH,sBAAsB,CAAC,QAAoC;QACzD,MAAM,OAAO,GAAsB,EAAE,CAAC;QAEtC,KAAK,MAAM,OAAO,IAAI,iBAAiB,EAAE,CAAC;YACxC,IAAI,OAAO,CAAC,QAAQ,KAAK,QAAQ,IAAI,IAAI,CAAC,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;gBACzE,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACxB,CAAC;QACH,CAAC;QAED,IAAI,QAAQ,KAAK,QAAQ,EAAE,CAAC;YAC1B,OAAO,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,eAAe,CAAC,CAAC;QACxC,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAED;;OAEG;IACH,aAAa;QACX,MAAM,KAAK,GAAsB,EAAE,CAAC;QAEpC,KAAK,MAAM,OAAO,IAAI,iBAAiB,EAAE,CAAC;YACxC,IAAI,IAAI,CAAC,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;gBACxC,KAAK,CAAC,IAAI,CAAC;oBACT,QAAQ,EAAE,OAAO,CAAC,QAAQ;oBAC1B,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,QAAQ;oBACtC,WAAW,EAAE,OAAO,CAAC,WAAW;iBACjC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,eAAe,EAAE,CAAC;YAC3C,KAAK,CAAC,IAAI,CAAC;gBACT,QAAQ,EAAE,OAAO,CAAC,QAAQ;gBAC1B,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,QAAQ;gBACtC,WAAW,EAAE,OAAO,CAAC,WAAW;aACjC,CAAC,CAAC;QACL,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAED;;OAEG;IACH,MAAM;QACJ,MAAM,KAAK,GAAqB;YAC9B,OAAO,EAAE,OAAO;YAChB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,eAAe,EAAE,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC9C,QAAQ,EAAE,CAAC,CAAC,QAAQ;gBACpB,QAAQ,EAAE,CAAC,CAAC,QAAQ,IAAI,QAAQ;aACjC,CAAC,CAAC;SACJ,CAAC;QACF,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IACxC,CAAC;IAED;;;OAGG;IACH,QAAQ,CAAC,KAAa;QACpB,wEAAwE;QACxE,2CAA2C;IAC7C,CAAC;CACF;AAED,gFAAgF;AAChF,mBAAmB;AACnB,gFAAgF;AAEhF;;;;;;GAMG;AACH,MAAM,UAAU,2BAA2B,CACzC,GAAS,EACT,SAAyC,EAAE;IAE3C,OAAO,IAAI,qBAAqB,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;AAChD,CAAC"}

package/dist/witness/index.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Witness Module Exports
+ * @module @nahisaho/musubix-synthesis/witness
+ */
+export { EnhancedWitnessEngine, createEnhancedWitnessEngine, BUILTIN_WITNESSES, type EnhancedWitnessConfig, type WitnessCategory, type ExtendedWitnessFunction, type WitnessListItem, } from './EnhancedWitnessEngine.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/witness/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EACL,qBAAqB,EACrB,2BAA2B,EAC3B,iBAAiB,EACjB,KAAK,qBAAqB,EAC1B,KAAK,eAAe,EACpB,KAAK,uBAAuB,EAC5B,KAAK,eAAe,GACrB,MAAM,4BAA4B,CAAC"}

package/dist/witness/index.js

@@ -0,0 +1,6 @@
+/**
+ * Witness Module Exports
+ * @module @nahisaho/musubix-synthesis/witness
+ */
+export { EnhancedWitnessEngine, createEnhancedWitnessEngine, BUILTIN_WITNESSES, } from './EnhancedWitnessEngine.js';
+//# sourceMappingURL=index.js.map

package/dist/witness/index.js.map

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

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@nahisaho/musubix-synthesis",
-  "version": "2.1.0",
+  "version": "2.2.0",
   "description": "MUSUBIX synthesis - DSL-based program synthesis with PBE and rule learning",
   "type": "module",
   "main": "dist/index.js",