@nahisaho/musubix-library-learner 2.1.1 → 2.2.0

package/dist/rewrite/RewriteRuleSet.d.ts

@@ -0,0 +1,136 @@
+/**
+ * RewriteRuleSet - Equivalence Rewrite Rules for E-Graph
+ *
+ * Provides built-in and custom rewrite rules for AST optimization.
+ * Used by E-Graph for equality saturation.
+ *
+ * @module @nahisaho/musubix-library-learner
+ * @see TSK-LL-104
+ * @see DES-LL-104
+ * @see REQ-LL-104
+ *
+ * @example
+ * ```typescript
+ * import { createRewriteRuleSet } from './RewriteRuleSet.js';
+ *
+ * const ruleSet = createRewriteRuleSet();
+ * const result = ruleSet.rewrite(ast);
+ * console.log(`Applied ${result.rulesApplied.length} rules`);
+ * ```
+ */
+import type { ASTNode } from '../types.js';
+/**
+ * Pattern for matching AST nodes
+ */
+export type Pattern = Record<string, unknown>;
+/**
+ * Rewrite rule definition
+ */
+export interface RewriteRule {
+    /** Unique identifier */
+    id: string;
+    /** Human-readable name */
+    name: string;
+    /** Pattern to match */
+    pattern: Pattern;
+    /** Replacement template */
+    replacement: Pattern;
+    /** Rule description */
+    description?: string;
+    /** Rule category */
+    category?: string;
+    /** Priority (higher = applied first) */
+    priority?: number;
+}
+/**
+ * Result of rewrite operation
+ */
+export interface RewriteResult {
+    /** Rewritten AST */
+    rewritten: ASTNode;
+    /** Rules that were applied */
+    rulesApplied: string[];
+    /** Number of iterations */
+    iterationCount: number;
+    /** Whether any changes were made */
+    changed: boolean;
+}
+/**
+ * Configuration for RewriteRuleSet
+ */
+export interface RewriteRuleSetConfig {
+    /** Maximum rewrite iterations */
+    maxIterations?: number;
+    /** Enable built-in rules */
+    enableBuiltinRules?: boolean;
+}
+/**
+ * RewriteRuleSet interface
+ */
+export interface RewriteRuleSet {
+    /** Add a custom rule */
+    addRule(rule: RewriteRule): void;
+    /** Remove a rule by ID */
+    removeRule(id: string): void;
+    /** Get a rule by ID */
+    getRule(id: string): RewriteRule | undefined;
+    /** List all rules, optionally filtered by category */
+    listRules(category?: string): RewriteRule[];
+    /** Get total rule count */
+    getRuleCount(): number;
+    /** Rewrite an AST using rules */
+    rewrite(ast: ASTNode): RewriteResult;
+}
+/**
+ * Default RewriteRuleSet implementation
+ */
+export declare class DefaultRewriteRuleSet implements RewriteRuleSet {
+    private rules;
+    private config;
+    constructor(config?: RewriteRuleSetConfig);
+    /**
+     * Add a custom rule
+     */
+    addRule(rule: RewriteRule): void;
+    /**
+     * Remove a rule by ID
+     */
+    removeRule(id: string): void;
+    /**
+     * Get a rule by ID
+     */
+    getRule(id: string): RewriteRule | undefined;
+    /**
+     * List all rules, optionally filtered by category
+     */
+    listRules(category?: string): RewriteRule[];
+    /**
+     * Get total rule count
+     */
+    getRuleCount(): number;
+    /**
+     * Rewrite an AST using rules
+     */
+    rewrite(ast: ASTNode): RewriteResult;
+    /**
+     * Apply a single rule to an AST
+     */
+    private applyRule;
+    /**
+     * Match a pattern against an AST node
+     */
+    private matchPattern;
+    /**
+     * Apply a replacement template
+     */
+    private applyReplacement;
+    /**
+     * Deep clone an AST
+     */
+    private cloneAST;
+}
+/**
+ * Create a new RewriteRuleSet instance
+ */
+export declare function createRewriteRuleSet(config?: RewriteRuleSetConfig): RewriteRuleSet;
+//# sourceMappingURL=RewriteRuleSet.d.ts.map

package/dist/rewrite/RewriteRuleSet.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"RewriteRuleSet.d.ts","sourceRoot":"","sources":["../../src/rewrite/RewriteRuleSet.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAM3C;;GAEG;AACH,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAE9C;;GAEG;AACH,MAAM,WAAW,WAAW;IAC1B,wBAAwB;IACxB,EAAE,EAAE,MAAM,CAAC;IACX,0BAA0B;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,uBAAuB;IACvB,OAAO,EAAE,OAAO,CAAC;IACjB,2BAA2B;IAC3B,WAAW,EAAE,OAAO,CAAC;IACrB,uBAAuB;IACvB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,oBAAoB;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,wCAAwC;IACxC,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,oBAAoB;IACpB,SAAS,EAAE,OAAO,CAAC;IACnB,8BAA8B;IAC9B,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,2BAA2B;IAC3B,cAAc,EAAE,MAAM,CAAC;IACvB,oCAAoC;IACpC,OAAO,EAAE,OAAO,CAAC;CAClB;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB;IACnC,iCAAiC;IACjC,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,4BAA4B;IAC5B,kBAAkB,CAAC,EAAE,OAAO,CAAC;CAC9B;AAED;;GAEG;AACH,MAAM,WAAW,cAAc;IAC7B,wBAAwB;IACxB,OAAO,CAAC,IAAI,EAAE,WAAW,GAAG,IAAI,CAAC;IAEjC,0BAA0B;IAC1B,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC;IAE7B,uBAAuB;IACvB,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS,CAAC;IAE7C,sDAAsD;IACtD,SAAS,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,WAAW,EAAE,CAAC;IAE5C,2BAA2B;IAC3B,YAAY,IAAI,MAAM,CAAC;IAEvB,iCAAiC;IACjC,OAAO,CAAC,GAAG,EAAE,OAAO,GAAG,aAAa,CAAC;CACtC;AA6PD;;GAEG;AACH,qBAAa,qBAAsB,YAAW,cAAc;IAC1D,OAAO,CAAC,KAAK,CAAuC;IACpD,OAAO,CAAC,MAAM,CAAiC;gBAEnC,MAAM,GAAE,oBAAyB;IAW7C;;OAEG;IACH,OAAO,CAAC,IAAI,EAAE,WAAW,GAAG,IAAI;IAYhC;;OAEG;IACH,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI;IAI5B;;OAEG;IACH,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS;IAI5C;;OAEG;IACH,SAAS,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,WAAW,EAAE;IAQ3C;;OAEG;IACH,YAAY,IAAI,MAAM;IAItB;;OAEG;IACH,OAAO,CAAC,GAAG,EAAE,OAAO,GAAG,aAAa;IAyCpC;;OAEG;IACH,OAAO,CAAC,SAAS;IAwCjB;;OAEG;IACH,OAAO,CAAC,YAAY;IAsCpB;;OAEG;IACH,OAAO,CAAC,gBAAgB;IAqBxB;;OAEG;IACH,OAAO,CAAC,QAAQ;CAGjB;AAMD;;GAEG;AACH,wBAAgB,oBAAoB,CAAC,MAAM,GAAE,oBAAyB,GAAG,cAAc,CAEtF"}

package/dist/rewrite/RewriteRuleSet.js

@@ -0,0 +1,460 @@
+/**
+ * RewriteRuleSet - Equivalence Rewrite Rules for E-Graph
+ *
+ * Provides built-in and custom rewrite rules for AST optimization.
+ * Used by E-Graph for equality saturation.
+ *
+ * @module @nahisaho/musubix-library-learner
+ * @see TSK-LL-104
+ * @see DES-LL-104
+ * @see REQ-LL-104
+ *
+ * @example
+ * ```typescript
+ * import { createRewriteRuleSet } from './RewriteRuleSet.js';
+ *
+ * const ruleSet = createRewriteRuleSet();
+ * const result = ruleSet.rewrite(ast);
+ * console.log(`Applied ${result.rulesApplied.length} rules`);
+ * ```
+ */
+// =============================================================================
+// Built-in Rules
+// =============================================================================
+const BUILTIN_RULES = [
+    // Arithmetic: Addition with zero
+    {
+        id: 'add-zero-right',
+        name: 'x + 0 = x (right)',
+        pattern: { type: 'BinaryExpression', operator: '+', right: { type: 'Literal', value: 0 } },
+        replacement: { $ref: 'left' },
+        description: 'Adding zero on the right has no effect',
+        category: 'arithmetic',
+        priority: 10,
+    },
+    {
+        id: 'add-zero-left',
+        name: '0 + x = x (left)',
+        pattern: { type: 'BinaryExpression', operator: '+', left: { type: 'Literal', value: 0 } },
+        replacement: { $ref: 'right' },
+        description: 'Adding zero on the left has no effect',
+        category: 'arithmetic',
+        priority: 10,
+    },
+    // Arithmetic: Multiplication with one
+    {
+        id: 'mul-one-right',
+        name: 'x * 1 = x (right)',
+        pattern: { type: 'BinaryExpression', operator: '*', right: { type: 'Literal', value: 1 } },
+        replacement: { $ref: 'left' },
+        description: 'Multiplying by one on the right has no effect',
+        category: 'arithmetic',
+        priority: 10,
+    },
+    {
+        id: 'mul-one-left',
+        name: '1 * x = x (left)',
+        pattern: { type: 'BinaryExpression', operator: '*', left: { type: 'Literal', value: 1 } },
+        replacement: { $ref: 'right' },
+        description: 'Multiplying by one on the left has no effect',
+        category: 'arithmetic',
+        priority: 10,
+    },
+    // Arithmetic: Multiplication with zero
+    {
+        id: 'mul-zero-right',
+        name: 'x * 0 = 0 (right)',
+        pattern: { type: 'BinaryExpression', operator: '*', right: { type: 'Literal', value: 0 } },
+        replacement: { type: 'Literal', value: 0 },
+        description: 'Multiplying by zero results in zero',
+        category: 'arithmetic',
+        priority: 10,
+    },
+    {
+        id: 'mul-zero-left',
+        name: '0 * x = 0 (left)',
+        pattern: { type: 'BinaryExpression', operator: '*', left: { type: 'Literal', value: 0 } },
+        replacement: { type: 'Literal', value: 0 },
+        description: 'Zero multiplied by anything is zero',
+        category: 'arithmetic',
+        priority: 10,
+    },
+    // Arithmetic: Subtraction
+    {
+        id: 'sub-zero',
+        name: 'x - 0 = x',
+        pattern: { type: 'BinaryExpression', operator: '-', right: { type: 'Literal', value: 0 } },
+        replacement: { $ref: 'left' },
+        description: 'Subtracting zero has no effect',
+        category: 'arithmetic',
+        priority: 10,
+    },
+    {
+        id: 'sub-self',
+        name: 'x - x = 0',
+        pattern: { type: 'BinaryExpression', operator: '-', $constraint: 'left === right' },
+        replacement: { type: 'Literal', value: 0 },
+        description: 'Subtracting a value from itself equals zero',
+        category: 'arithmetic',
+        priority: 9,
+    },
+    // Arithmetic: Division
+    {
+        id: 'div-one',
+        name: 'x / 1 = x',
+        pattern: { type: 'BinaryExpression', operator: '/', right: { type: 'Literal', value: 1 } },
+        replacement: { $ref: 'left' },
+        description: 'Dividing by one has no effect',
+        category: 'arithmetic',
+        priority: 10,
+    },
+    {
+        id: 'div-self',
+        name: 'x / x = 1',
+        pattern: { type: 'BinaryExpression', operator: '/', $constraint: 'left === right' },
+        replacement: { type: 'Literal', value: 1 },
+        description: 'Dividing a value by itself equals one',
+        category: 'arithmetic',
+        priority: 9,
+    },
+    // Boolean: Identity
+    {
+        id: 'and-true-right',
+        name: 'x && true = x',
+        pattern: { type: 'LogicalExpression', operator: '&&', right: { type: 'Literal', value: true } },
+        replacement: { $ref: 'left' },
+        description: 'AND with true on right has no effect',
+        category: 'boolean',
+        priority: 10,
+    },
+    {
+        id: 'and-true-left',
+        name: 'true && x = x',
+        pattern: { type: 'LogicalExpression', operator: '&&', left: { type: 'Literal', value: true } },
+        replacement: { $ref: 'right' },
+        description: 'AND with true on left has no effect',
+        category: 'boolean',
+        priority: 10,
+    },
+    {
+        id: 'or-false-right',
+        name: 'x || false = x',
+        pattern: { type: 'LogicalExpression', operator: '||', right: { type: 'Literal', value: false } },
+        replacement: { $ref: 'left' },
+        description: 'OR with false on right has no effect',
+        category: 'boolean',
+        priority: 10,
+    },
+    {
+        id: 'or-false-left',
+        name: 'false || x = x',
+        pattern: { type: 'LogicalExpression', operator: '||', left: { type: 'Literal', value: false } },
+        replacement: { $ref: 'right' },
+        description: 'OR with false on left has no effect',
+        category: 'boolean',
+        priority: 10,
+    },
+    // Boolean: Absorption
+    {
+        id: 'and-false',
+        name: 'x && false = false',
+        pattern: { type: 'LogicalExpression', operator: '&&', right: { type: 'Literal', value: false } },
+        replacement: { type: 'Literal', value: false },
+        description: 'AND with false is always false',
+        category: 'boolean',
+        priority: 10,
+    },
+    {
+        id: 'or-true',
+        name: 'x || true = true',
+        pattern: { type: 'LogicalExpression', operator: '||', right: { type: 'Literal', value: true } },
+        replacement: { type: 'Literal', value: true },
+        description: 'OR with true is always true',
+        category: 'boolean',
+        priority: 10,
+    },
+    // Boolean: Double negation
+    {
+        id: 'double-not',
+        name: '!!x = x',
+        pattern: {
+            type: 'UnaryExpression',
+            operator: '!',
+            argument: { type: 'UnaryExpression', operator: '!', $capture: 'inner' },
+        },
+        replacement: { $ref: 'inner.argument' },
+        description: 'Double negation cancels out',
+        category: 'boolean',
+        priority: 10,
+    },
+    // Conditional
+    {
+        id: 'ternary-true',
+        name: 'true ? a : b = a',
+        pattern: { type: 'ConditionalExpression', test: { type: 'Literal', value: true } },
+        replacement: { $ref: 'consequent' },
+        description: 'Ternary with true condition returns consequent',
+        category: 'conditional',
+        priority: 10,
+    },
+    {
+        id: 'ternary-false',
+        name: 'false ? a : b = b',
+        pattern: { type: 'ConditionalExpression', test: { type: 'Literal', value: false } },
+        replacement: { $ref: 'alternate' },
+        description: 'Ternary with false condition returns alternate',
+        category: 'conditional',
+        priority: 10,
+    },
+    // Commutativity
+    {
+        id: 'add-commute',
+        name: 'a + b = b + a',
+        pattern: { type: 'BinaryExpression', operator: '+', $commutative: true },
+        replacement: { $swap: ['left', 'right'] },
+        description: 'Addition is commutative',
+        category: 'commutativity',
+        priority: 1,
+    },
+    {
+        id: 'mul-commute',
+        name: 'a * b = b * a',
+        pattern: { type: 'BinaryExpression', operator: '*', $commutative: true },
+        replacement: { $swap: ['left', 'right'] },
+        description: 'Multiplication is commutative',
+        category: 'commutativity',
+        priority: 1,
+    },
+    // Associativity
+    {
+        id: 'add-assoc',
+        name: '(a + b) + c = a + (b + c)',
+        pattern: {
+            type: 'BinaryExpression',
+            operator: '+',
+            left: { type: 'BinaryExpression', operator: '+' },
+        },
+        replacement: { $reassociate: true },
+        description: 'Addition is associative',
+        category: 'associativity',
+        priority: 1,
+    },
+    {
+        id: 'mul-assoc',
+        name: '(a * b) * c = a * (b * c)',
+        pattern: {
+            type: 'BinaryExpression',
+            operator: '*',
+            left: { type: 'BinaryExpression', operator: '*' },
+        },
+        replacement: { $reassociate: true },
+        description: 'Multiplication is associative',
+        category: 'associativity',
+        priority: 1,
+    },
+];
+// =============================================================================
+// Default Implementation
+// =============================================================================
+/**
+ * Default RewriteRuleSet implementation
+ */
+export class DefaultRewriteRuleSet {
+    rules = new Map();
+    config;
+    constructor(config = {}) {
+        this.config = {
+            maxIterations: config.maxIterations ?? 100,
+            enableBuiltinRules: config.enableBuiltinRules ?? true,
+        };
+        if (this.config.enableBuiltinRules) {
+            BUILTIN_RULES.forEach((rule) => this.rules.set(rule.id, rule));
+        }
+    }
+    /**
+     * Add a custom rule
+     */
+    addRule(rule) {
+        if (!rule.id || !rule.name || !rule.pattern || !rule.replacement) {
+            throw new Error('Invalid rule: missing required fields (id, name, pattern, replacement)');
+        }
+        if (this.rules.has(rule.id)) {
+            throw new Error(`Duplicate rule ID: ${rule.id}`);
+        }
+        this.rules.set(rule.id, rule);
+    }
+    /**
+     * Remove a rule by ID
+     */
+    removeRule(id) {
+        this.rules.delete(id);
+    }
+    /**
+     * Get a rule by ID
+     */
+    getRule(id) {
+        return this.rules.get(id);
+    }
+    /**
+     * List all rules, optionally filtered by category
+     */
+    listRules(category) {
+        const allRules = Array.from(this.rules.values());
+        if (category) {
+            return allRules.filter((r) => r.category === category);
+        }
+        return allRules;
+    }
+    /**
+     * Get total rule count
+     */
+    getRuleCount() {
+        return this.rules.size;
+    }
+    /**
+     * Rewrite an AST using rules
+     */
+    rewrite(ast) {
+        const rulesApplied = [];
+        let current = this.cloneAST(ast);
+        let changed = false;
+        let iterationCount = 0;
+        // Sort rules by priority (higher first)
+        const sortedRules = this.listRules().sort((a, b) => (b.priority ?? 0) - (a.priority ?? 0));
+        for (let i = 0; i < this.config.maxIterations; i++) {
+            iterationCount++;
+            let iterationChanged = false;
+            for (const rule of sortedRules) {
+                const result = this.applyRule(current, rule);
+                if (result.changed) {
+                    current = result.ast;
+                    rulesApplied.push(rule.id);
+                    iterationChanged = true;
+                    changed = true;
+                    break; // Start over with new AST
+                }
+            }
+            if (!iterationChanged) {
+                break; // No more rules apply
+            }
+        }
+        return {
+            rewritten: current,
+            rulesApplied,
+            iterationCount,
+            changed,
+        };
+    }
+    // ===========================================================================
+    // Private Methods
+    // ===========================================================================
+    /**
+     * Apply a single rule to an AST
+     */
+    applyRule(ast, rule) {
+        const match = this.matchPattern(ast, rule.pattern);
+        if (match.matches) {
+            const replaced = this.applyReplacement(ast, rule.replacement, match.bindings);
+            return { ast: replaced, changed: true };
+        }
+        // Try to apply to children
+        const astObj = ast;
+        if (astObj.left) {
+            const leftResult = this.applyRule(astObj.left, rule);
+            if (leftResult.changed) {
+                return {
+                    ast: { ...ast, left: leftResult.ast },
+                    changed: true,
+                };
+            }
+        }
+        if (astObj.right) {
+            const rightResult = this.applyRule(astObj.right, rule);
+            if (rightResult.changed) {
+                return {
+                    ast: { ...ast, right: rightResult.ast },
+                    changed: true,
+                };
+            }
+        }
+        if (astObj.argument) {
+            const argResult = this.applyRule(astObj.argument, rule);
+            if (argResult.changed) {
+                return {
+                    ast: { ...ast, argument: argResult.ast },
+                    changed: true,
+                };
+            }
+        }
+        return { ast, changed: false };
+    }
+    /**
+     * Match a pattern against an AST node
+     */
+    matchPattern(ast, pattern) {
+        const bindings = {};
+        const astObj = ast;
+        for (const [key, value] of Object.entries(pattern)) {
+            if (key.startsWith('$'))
+                continue; // Skip meta keys
+            if (typeof value === 'object' && value !== null) {
+                // Nested pattern
+                if (!astObj[key]) {
+                    return { matches: false, bindings };
+                }
+                const nested = this.matchPattern(astObj[key], value);
+                if (!nested.matches) {
+                    return { matches: false, bindings };
+                }
+                Object.assign(bindings, nested.bindings);
+            }
+            else {
+                // Direct value comparison
+                if (astObj[key] !== value) {
+                    return { matches: false, bindings };
+                }
+            }
+        }
+        // Capture the matched node parts for replacement
+        bindings['left'] = astObj.left;
+        bindings['right'] = astObj.right;
+        bindings['argument'] = astObj.argument;
+        bindings['consequent'] = astObj.consequent;
+        bindings['alternate'] = astObj.alternate;
+        return { matches: true, bindings };
+    }
+    /**
+     * Apply a replacement template
+     */
+    applyReplacement(_original, replacement, bindings) {
+        // Handle reference to captured binding
+        if ('$ref' in replacement) {
+            const ref = replacement['$ref'];
+            return bindings[ref] ?? _original;
+        }
+        // Handle direct replacement
+        const result = {};
+        for (const [key, value] of Object.entries(replacement)) {
+            if (key.startsWith('$'))
+                continue;
+            result[key] = value;
+        }
+        return result;
+    }
+    /**
+     * Deep clone an AST
+     */
+    cloneAST(ast) {
+        return JSON.parse(JSON.stringify(ast));
+    }
+}
+// =============================================================================
+// Factory Function
+// =============================================================================
+/**
+ * Create a new RewriteRuleSet instance
+ */
+export function createRewriteRuleSet(config = {}) {
+    return new DefaultRewriteRuleSet(config);
+}
+//# sourceMappingURL=RewriteRuleSet.js.map

package/dist/rewrite/RewriteRuleSet.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"RewriteRuleSet.js","sourceRoot":"","sources":["../../src/rewrite/RewriteRuleSet.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAgFH,gFAAgF;AAChF,iBAAiB;AACjB,gFAAgF;AAEhF,MAAM,aAAa,GAAkB;IACnC,iCAAiC;IACjC;QACE,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,mBAAmB;QACzB,OAAO,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;QAC1F,WAAW,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;QAC7B,WAAW,EAAE,wCAAwC;QACrD,QAAQ,EAAE,YAAY;QACtB,QAAQ,EAAE,EAAE;KACb;IACD;QACE,EAAE,EAAE,eAAe;QACnB,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;QACzF,WAAW,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;QAC9B,WAAW,EAAE,uCAAuC;QACpD,QAAQ,EAAE,YAAY;QACtB,QAAQ,EAAE,EAAE;KACb;IAED,sCAAsC;IACtC;QACE,EAAE,EAAE,eAAe;QACnB,IAAI,EAAE,mBAAmB;QACzB,OAAO,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;QAC1F,WAAW,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;QAC7B,WAAW,EAAE,+CAA+C;QAC5D,QAAQ,EAAE,YAAY;QACtB,QAAQ,EAAE,EAAE;KACb;IACD;QACE,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;QACzF,WAAW,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;QAC9B,WAAW,EAAE,8CAA8C;QAC3D,QAAQ,EAAE,YAAY;QACtB,QAAQ,EAAE,EAAE;KACb;IAED,uCAAuC;IACvC;QACE,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,mBAAmB;QACzB,OAAO,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;QAC1F,WAAW,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE;QAC1C,WAAW,EAAE,qCAAqC;QAClD,QAAQ,EAAE,YAAY;QACtB,QAAQ,EAAE,EAAE;KACb;IACD;QACE,EAAE,EAAE,eAAe;QACnB,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;QACzF,WAAW,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE;QAC1C,WAAW,EAAE,qCAAqC;QAClD,QAAQ,EAAE,YAAY;QACtB,QAAQ,EAAE,EAAE;KACb;IAED,0BAA0B;IAC1B;QACE,EAAE,EAAE,UAAU;QACd,IAAI,EAAE,WAAW;QACjB,OAAO,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;QAC1F,WAAW,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;QAC7B,WAAW,EAAE,gCAAgC;QAC7C,QAAQ,EAAE,YAAY;QACtB,QAAQ,EAAE,EAAE;KACb;IACD;QACE,EAAE,EAAE,UAAU;QACd,IAAI,EAAE,WAAW;QACjB,OAAO,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,GAAG,EAAE,WAAW,EAAE,gBAAgB,EAAE;QACnF,WAAW,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE;QAC1C,WAAW,EAAE,6CAA6C;QAC1D,QAAQ,EAAE,YAAY;QACtB,QAAQ,EAAE,CAAC;KACZ;IAED,uBAAuB;IACvB;QACE,EAAE,EAAE,SAAS;QACb,IAAI,EAAE,WAAW;QACjB,OAAO,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;QAC1F,WAAW,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;QAC7B,WAAW,EAAE,+BAA+B;QAC5C,QAAQ,EAAE,YAAY;QACtB,QAAQ,EAAE,EAAE;KACb;IACD;QACE,EAAE,EAAE,UAAU;QACd,IAAI,EAAE,WAAW;QACjB,OAAO,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,GAAG,EAAE,WAAW,EAAE,gBAAgB,EAAE;QACnF,WAAW,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,EAAE;QAC1C,WAAW,EAAE,uCAAuC;QACpD,QAAQ,EAAE,YAAY;QACtB,QAAQ,EAAE,CAAC;KACZ;IAED,oBAAoB;IACpB;QACE,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,eAAe;QACrB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;QAC/F,WAAW,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;QAC7B,WAAW,EAAE,sCAAsC;QACnD,QAAQ,EAAE,SAAS;QACnB,QAAQ,EAAE,EAAE;KACb;IACD;QACE,EAAE,EAAE,eAAe;QACnB,IAAI,EAAE,eAAe;QACrB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;QAC9F,WAAW,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;QAC9B,WAAW,EAAE,qCAAqC;QAClD,QAAQ,EAAE,SAAS;QACnB,QAAQ,EAAE,EAAE;KACb;IACD;QACE,EAAE,EAAE,gBAAgB;QACpB,IAAI,EAAE,gBAAgB;QACtB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE;QAChG,WAAW,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;QAC7B,WAAW,EAAE,sCAAsC;QACnD,QAAQ,EAAE,SAAS;QACnB,QAAQ,EAAE,EAAE;KACb;IACD;QACE,EAAE,EAAE,eAAe;QACnB,IAAI,EAAE,gBAAgB;QACtB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE;QAC/F,WAAW,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE;QAC9B,WAAW,EAAE,qCAAqC;QAClD,QAAQ,EAAE,SAAS;QACnB,QAAQ,EAAE,EAAE;KACb;IAED,sBAAsB;IACtB;QACE,EAAE,EAAE,WAAW;QACf,IAAI,EAAE,oBAAoB;QAC1B,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE;QAChG,WAAW,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE;QAC9C,WAAW,EAAE,gCAAgC;QAC7C,QAAQ,EAAE,SAAS;QACnB,QAAQ,EAAE,EAAE;KACb;IACD;QACE,EAAE,EAAE,SAAS;QACb,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,EAAE,IAAI,EAAE,mBAAmB,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;QAC/F,WAAW,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE;QAC7C,WAAW,EAAE,6BAA6B;QAC1C,QAAQ,EAAE,SAAS;QACnB,QAAQ,EAAE,EAAE;KACb;IAED,2BAA2B;IAC3B;QACE,EAAE,EAAE,YAAY;QAChB,IAAI,EAAE,SAAS;QACf,OAAO,EAAE;YACP,IAAI,EAAE,iBAAiB;YACvB,QAAQ,EAAE,GAAG;YACb,QAAQ,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE;SACxE;QACD,WAAW,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE;QACvC,WAAW,EAAE,6BAA6B;QAC1C,QAAQ,EAAE,SAAS;QACnB,QAAQ,EAAE,EAAE;KACb;IAED,cAAc;IACd;QACE,EAAE,EAAE,cAAc;QAClB,IAAI,EAAE,kBAAkB;QACxB,OAAO,EAAE,EAAE,IAAI,EAAE,uBAAuB,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;QAClF,WAAW,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE;QACnC,WAAW,EAAE,gDAAgD;QAC7D,QAAQ,EAAE,aAAa;QACvB,QAAQ,EAAE,EAAE;KACb;IACD;QACE,EAAE,EAAE,eAAe;QACnB,IAAI,EAAE,mBAAmB;QACzB,OAAO,EAAE,EAAE,IAAI,EAAE,uBAAuB,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE;QACnF,WAAW,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE;QAClC,WAAW,EAAE,gDAAgD;QAC7D,QAAQ,EAAE,aAAa;QACvB,QAAQ,EAAE,EAAE;KACb;IAED,gBAAgB;IAChB;QACE,EAAE,EAAE,aAAa;QACjB,IAAI,EAAE,eAAe;QACrB,OAAO,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE;QACxE,WAAW,EAAE,EAAE,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE;QACzC,WAAW,EAAE,yBAAyB;QACtC,QAAQ,EAAE,eAAe;QACzB,QAAQ,EAAE,CAAC;KACZ;IACD;QACE,EAAE,EAAE,aAAa;QACjB,IAAI,EAAE,eAAe;QACrB,OAAO,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,GAAG,EAAE,YAAY,EAAE,IAAI,EAAE;QACxE,WAAW,EAAE,EAAE,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE;QACzC,WAAW,EAAE,+BAA+B;QAC5C,QAAQ,EAAE,eAAe;QACzB,QAAQ,EAAE,CAAC;KACZ;IAED,gBAAgB;IAChB;QACE,EAAE,EAAE,WAAW;QACf,IAAI,EAAE,2BAA2B;QACjC,OAAO,EAAE;YACP,IAAI,EAAE,kBAAkB;YACxB,QAAQ,EAAE,GAAG;YACb,IAAI,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,GAAG,EAAE;SAClD;QACD,WAAW,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE;QACnC,WAAW,EAAE,yBAAyB;QACtC,QAAQ,EAAE,eAAe;QACzB,QAAQ,EAAE,CAAC;KACZ;IACD;QACE,EAAE,EAAE,WAAW;QACf,IAAI,EAAE,2BAA2B;QACjC,OAAO,EAAE;YACP,IAAI,EAAE,kBAAkB;YACxB,QAAQ,EAAE,GAAG;YACb,IAAI,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,QAAQ,EAAE,GAAG,EAAE;SAClD;QACD,WAAW,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE;QACnC,WAAW,EAAE,+BAA+B;QAC5C,QAAQ,EAAE,eAAe;QACzB,QAAQ,EAAE,CAAC;KACZ;CACF,CAAC;AAEF,gFAAgF;AAChF,yBAAyB;AACzB,gFAAgF;AAEhF;;GAEG;AACH,MAAM,OAAO,qBAAqB;IACxB,KAAK,GAA6B,IAAI,GAAG,EAAE,CAAC;IAC5C,MAAM,CAAiC;IAE/C,YAAY,SAA+B,EAAE;QAC3C,IAAI,CAAC,MAAM,GAAG;YACZ,aAAa,EAAE,MAAM,CAAC,aAAa,IAAI,GAAG;YAC1C,kBAAkB,EAAE,MAAM,CAAC,kBAAkB,IAAI,IAAI;SACtD,CAAC;QAEF,IAAI,IAAI,CAAC,MAAM,CAAC,kBAAkB,EAAE,CAAC;YACnC,aAAa,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IAED;;OAEG;IACH,OAAO,CAAC,IAAiB;QACvB,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC;YACjE,MAAM,IAAI,KAAK,CAAC,wEAAwE,CAAC,CAAC;QAC5F,CAAC;QAED,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,KAAK,CAAC,sBAAsB,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QACnD,CAAC;QAED,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IAChC,CAAC;IAED;;OAEG;IACH,UAAU,CAAC,EAAU;QACnB,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IACxB,CAAC;IAED;;OAEG;IACH,OAAO,CAAC,EAAU;QAChB,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC5B,CAAC;IAED;;OAEG;IACH,SAAS,CAAC,QAAiB;QACzB,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC;QACjD,IAAI,QAAQ,EAAE,CAAC;YACb,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC;QACzD,CAAC;QACD,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED;;OAEG;IACH,YAAY;QACV,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;IACzB,CAAC;IAED;;OAEG;IACH,OAAO,CAAC,GAAY;QAClB,MAAM,YAAY,GAAa,EAAE,CAAC;QAClC,IAAI,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,IAAI,cAAc,GAAG,CAAC,CAAC;QAEvB,wCAAwC;QACxC,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,CAAC;QAE3F,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,aAAa,EAAE,CAAC,EAAE,EAAE,CAAC;YACnD,cAAc,EAAE,CAAC;YACjB,IAAI,gBAAgB,GAAG,KAAK,CAAC;YAE7B,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;gBAC/B,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;gBAC7C,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;oBACnB,OAAO,GAAG,MAAM,CAAC,GAAG,CAAC;oBACrB,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;oBAC3B,gBAAgB,GAAG,IAAI,CAAC;oBACxB,OAAO,GAAG,IAAI,CAAC;oBACf,MAAM,CAAC,0BAA0B;gBACnC,CAAC;YACH,CAAC;YAED,IAAI,CAAC,gBAAgB,EAAE,CAAC;gBACtB,MAAM,CAAC,sBAAsB;YAC/B,CAAC;QACH,CAAC;QAED,OAAO;YACL,SAAS,EAAE,OAAO;YAClB,YAAY;YACZ,cAAc;YACd,OAAO;SACR,CAAC;IACJ,CAAC;IAED,8EAA8E;IAC9E,kBAAkB;IAClB,8EAA8E;IAE9E;;OAEG;IACK,SAAS,CAAC,GAAY,EAAE,IAAiB;QAC/C,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;QACnD,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAClB,MAAM,QAAQ,GAAG,IAAI,CAAC,gBAAgB,CAAC,GAAG,EAAE,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;YAC9E,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;QAC1C,CAAC;QAED,2BAA2B;QAC3B,MAAM,MAAM,GAAG,GAAyC,CAAC;QACzD,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;YAChB,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,IAAe,EAAE,IAAI,CAAC,CAAC;YAChE,IAAI,UAAU,CAAC,OAAO,EAAE,CAAC;gBACvB,OAAO;oBACL,GAAG,EAAE,EAAE,GAAG,GAAG,EAAE,IAAI,EAAE,UAAU,CAAC,GAAG,EAAwB;oBAC3D,OAAO,EAAE,IAAI;iBACd,CAAC;YACJ,CAAC;QACH,CAAC;QACD,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YACjB,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAgB,EAAE,IAAI,CAAC,CAAC;YAClE,IAAI,WAAW,CAAC,OAAO,EAAE,CAAC;gBACxB,OAAO;oBACL,GAAG,EAAE,EAAE,GAAG,GAAG,EAAE,KAAK,EAAE,WAAW,CAAC,GAAG,EAAwB;oBAC7D,OAAO,EAAE,IAAI;iBACd,CAAC;YACJ,CAAC;QACH,CAAC;QACD,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACpB,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,QAAmB,EAAE,IAAI,CAAC,CAAC;YACnE,IAAI,SAAS,CAAC,OAAO,EAAE,CAAC;gBACtB,OAAO;oBACL,GAAG,EAAE,EAAE,GAAG,GAAG,EAAE,QAAQ,EAAE,SAAS,CAAC,GAAG,EAAwB;oBAC9D,OAAO,EAAE,IAAI;iBACd,CAAC;YACJ,CAAC;QACH,CAAC;QAED,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IACjC,CAAC;IAED;;OAEG;IACK,YAAY,CAClB,GAAY,EACZ,OAAgB;QAEhB,MAAM,QAAQ,GAA4B,EAAE,CAAC;QAC7C,MAAM,MAAM,GAAG,GAAyC,CAAC;QAEzD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YACnD,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC;gBAAE,SAAS,CAAC,iBAAiB;YAEpD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBAChD,iBAAiB;gBACjB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;oBACjB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;gBACtC,CAAC;gBACD,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,GAAG,CAAY,EAAE,KAAgB,CAAC,CAAC;gBAC3E,IAAI,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;oBACpB,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;gBACtC,CAAC;gBACD,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC;YAC3C,CAAC;iBAAM,CAAC;gBACN,0BAA0B;gBAC1B,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,KAAK,EAAE,CAAC;oBAC1B,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;gBACtC,CAAC;YACH,CAAC;QACH,CAAC;QAED,iDAAiD;QACjD,QAAQ,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,IAAe,CAAC;QAC1C,QAAQ,CAAC,OAAO,CAAC,GAAG,MAAM,CAAC,KAAgB,CAAC;QAC5C,QAAQ,CAAC,UAAU,CAAC,GAAG,MAAM,CAAC,QAAmB,CAAC;QAClD,QAAQ,CAAC,YAAY,CAAC,GAAG,MAAM,CAAC,UAAqB,CAAC;QACtD,QAAQ,CAAC,WAAW,CAAC,GAAG,MAAM,CAAC,SAAoB,CAAC;QAEpD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACrC,CAAC;IAED;;OAEG;IACK,gBAAgB,CACtB,SAAkB,EAClB,WAAoB,EACpB,QAAiC;QAEjC,uCAAuC;QACvC,IAAI,MAAM,IAAI,WAAW,EAAE,CAAC;YAC1B,MAAM,GAAG,GAAG,WAAW,CAAC,MAAM,CAAW,CAAC;YAC1C,OAAO,QAAQ,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC;QACpC,CAAC;QAED,4BAA4B;QAC5B,MAAM,MAAM,GAA4B,EAAE,CAAC;QAC3C,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;YACvD,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC;gBAAE,SAAS;YAClC,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;QACtB,CAAC;QAED,OAAO,MAA4B,CAAC;IACtC,CAAC;IAED;;OAEG;IACK,QAAQ,CAAC,GAAY;QAC3B,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;IACzC,CAAC;CACF;AAED,gFAAgF;AAChF,mBAAmB;AACnB,gFAAgF;AAEhF;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAAC,SAA+B,EAAE;IACpE,OAAO,IAAI,qBAAqB,CAAC,MAAM,CAAC,CAAC;AAC3C,CAAC"}

package/dist/rewrite/index.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Rewrite Module - Equivalence Rewrite Rules
+ *
+ * @module @nahisaho/musubix-library-learner/rewrite
+ * @see TSK-LL-104
+ */
+export type { RewriteRuleSet, RewriteRule, RewriteResult, RewriteRuleSetConfig, Pattern, } from './RewriteRuleSet.js';
+export { createRewriteRuleSet, DefaultRewriteRuleSet } from './RewriteRuleSet.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/rewrite/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,YAAY,EACV,cAAc,EACd,WAAW,EACX,aAAa,EACb,oBAAoB,EACpB,OAAO,GACR,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC"}

package/dist/rewrite/index.js

@@ -0,0 +1,8 @@
+/**
+ * Rewrite Module - Equivalence Rewrite Rules
+ *
+ * @module @nahisaho/musubix-library-learner/rewrite
+ * @see TSK-LL-104
+ */
+export { createRewriteRuleSet, DefaultRewriteRuleSet } from './RewriteRuleSet.js';
+//# sourceMappingURL=index.js.map

package/dist/rewrite/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/rewrite/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAUH,OAAO,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAC"}