@higher.archi/boe 1.0.0

package/dist/engines/fuzzy/fuzzy.membership.js

@@ -0,0 +1,492 @@
+"use strict";
+/**
+ * Fuzzy Engine Membership Functions
+ *
+ * Membership function implementations, compilation, and evaluation.
+ * Self-contained within the fuzzy engine.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.triangleMembership = triangleMembership;
+exports.trapezoidMembership = trapezoidMembership;
+exports.gaussianMembership = gaussianMembership;
+exports.shoulderMembership = shoulderMembership;
+exports.blockMembership = blockMembership;
+exports.evaluateMembership = evaluateMembership;
+exports.compileSemanticTerm = compileSemanticTerm;
+exports.compileExplicitTerm = compileExplicitTerm;
+exports.compileFuzzyTerm = compileFuzzyTerm;
+exports.compileFuzzyVariable = compileFuzzyVariable;
+exports.parseTermRef = parseTermRef;
+exports.getMembershipDegree = getMembershipDegree;
+exports.fuzzifyValue = fuzzifyValue;
+exports.analyzeCoverage = analyzeCoverage;
+exports.autoAdjustCoverage = autoAdjustCoverage;
+exports.compileFuzzyVariableWithCoverage = compileFuzzyVariableWithCoverage;
+const fuzzy_types_1 = require("./fuzzy.types");
+// ========================================
+// Membership Function Implementations
+// ========================================
+/**
+ * Triangle membership function
+ * params: [left, center, right]
+ *
+ *        1 ┤    /\
+ *          │   /  \
+ *          │  /    \
+ *        0 ┼─/──────\──
+ *           left center right
+ */
+function triangleMembership(x, params) {
+    const [left, center, right] = params;
+    if (x <= left || x >= right)
+        return 0;
+    if (x === center)
+        return 1;
+    if (x < center)
+        return (x - left) / (center - left);
+    return (right - x) / (right - center);
+}
+/**
+ * Trapezoid membership function
+ * params: [left, leftTop, rightTop, right]
+ *
+ *        1 ┤   ┌────┐
+ *          │  /      \
+ *          │ /        \
+ *        0 ┼/──────────\─
+ *          left      right
+ */
+function trapezoidMembership(x, params) {
+    const [left, leftTop, rightTop, right] = params;
+    if (x <= left || x >= right)
+        return 0;
+    if (x >= leftTop && x <= rightTop)
+        return 1;
+    if (x < leftTop)
+        return (x - left) / (leftTop - left);
+    return (right - x) / (right - rightTop);
+}
+/**
+ * Gaussian membership function
+ * params: [center, sigma]
+ *
+ *        1 ┤    ∩
+ *          │   / \
+ *          │  /   \
+ *        0 ┼─/─────\─
+ *             center
+ */
+function gaussianMembership(x, params) {
+    const [center, sigma] = params;
+    const exponent = -0.5 * Math.pow((x - center) / sigma, 2);
+    return Math.exp(exponent);
+}
+/**
+ * Shoulder membership function (left or right open)
+ * params: [inflectionStart, inflectionEnd]
+ *
+ * Left shoulder (open-left):     Right shoulder (open-right):
+ *        1 ┤────┐                       1 ┤      ┌────
+ *          │    \                         │     /
+ *          │     \                        │    /
+ *        0 ┼──────\──                   0 ┼───/─────
+ *
+ * For open-left: full membership from -∞ to inflectionStart, ramps down to 0 at inflectionEnd
+ * For open-right: 0 until inflectionStart, ramps up to full at inflectionEnd, stays 1 to +∞
+ */
+function shoulderMembership(x, params, edge) {
+    const [inflectionStart, inflectionEnd] = params;
+    if (edge === 'open-left') {
+        // Full membership up to inflectionStart, ramps down to inflectionEnd
+        if (x <= inflectionStart)
+            return 1;
+        if (x >= inflectionEnd)
+            return 0;
+        return (inflectionEnd - x) / (inflectionEnd - inflectionStart);
+    }
+    else {
+        // Zero until inflectionStart, ramps up to inflectionEnd, full after
+        if (x <= inflectionStart)
+            return 0;
+        if (x >= inflectionEnd)
+            return 1;
+        return (x - inflectionStart) / (inflectionEnd - inflectionStart);
+    }
+}
+/**
+ * Block (crisp/rectangular) membership function
+ * params: [left, right]
+ *
+ *        1 ┤  ┌────┐
+ *          │  │    │
+ *          │  │    │
+ *        0 ┼──┘────└──
+ *           left right
+ */
+function blockMembership(x, params) {
+    const [left, right] = params;
+    return (x >= left && x <= right) ? 1 : 0;
+}
+// ========================================
+// Membership Evaluation
+// ========================================
+/**
+ * Evaluate membership for a compiled membership function
+ */
+function evaluateMembership(x, membership, edge) {
+    switch (membership.shape) {
+        case 'triangle':
+            return triangleMembership(x, membership.params);
+        case 'trapezoid':
+            return trapezoidMembership(x, membership.params);
+        case 'gaussian':
+            return gaussianMembership(x, membership.params);
+        case 'shoulder':
+            if (!edge)
+                throw new Error('Shoulder membership requires edge parameter');
+            return shoulderMembership(x, membership.params, edge);
+        case 'block':
+            return blockMembership(x, membership.params);
+        default:
+            throw new Error(`Unknown membership shape: ${membership.shape}`);
+    }
+}
+// ========================================
+// Semantic Term Compilation
+// ========================================
+/**
+ * Compile a semantic fuzzy term to explicit numeric parameters
+ */
+function compileSemanticTerm(term, domain) {
+    const [min, max] = domain;
+    const range = max - min;
+    // Get position center point
+    const centerRatio = fuzzy_types_1.POSITION_VALUES[term.position];
+    const center = min + (range * centerRatio);
+    // Get width spread
+    const widthRatio = fuzzy_types_1.WIDTH_VALUES[term.width];
+    const spread = range * widthRatio;
+    switch (term.shape) {
+        case 'triangle':
+            return {
+                shape: 'triangle',
+                params: [center - spread, center, center + spread]
+            };
+        case 'trapezoid': {
+            // Plateau is 40% of total width
+            const plateau = spread * 0.4;
+            return {
+                shape: 'trapezoid',
+                params: [center - spread, center - plateau, center + plateau, center + spread]
+            };
+        }
+        case 'gaussian':
+            return {
+                shape: 'gaussian',
+                params: [center, spread / 2] // sigma = half the spread
+            };
+        case 'shoulder': {
+            const edge = term.edge || 'open-left';
+            if (edge === 'open-left') {
+                // Ramps down from center to center + spread
+                return {
+                    shape: 'shoulder',
+                    params: [center, center + spread]
+                };
+            }
+            else {
+                // Ramps up from center - spread to center
+                return {
+                    shape: 'shoulder',
+                    params: [center - spread, center]
+                };
+            }
+        }
+        case 'block':
+            return {
+                shape: 'block',
+                params: [center - spread, center + spread]
+            };
+        default:
+            throw new Error(`Unknown shape: ${term.shape}`);
+    }
+}
+/**
+ * Compile an explicit term (just validate and pass through)
+ */
+function compileExplicitTerm(term) {
+    // Validate params count for shape
+    const expectedParams = {
+        'triangle': 3,
+        'trapezoid': 4,
+        'gaussian': 2,
+        'shoulder': 2,
+        'block': 2
+    };
+    const expected = expectedParams[term.shape];
+    if (term.params.length !== expected) {
+        throw new Error(`${term.shape} membership requires ${expected} params, got ${term.params.length}`);
+    }
+    return {
+        shape: term.shape,
+        params: term.params
+    };
+}
+/**
+ * Compile any fuzzy term (semantic or explicit)
+ */
+function compileFuzzyTerm(term, domain) {
+    const membership = (0, fuzzy_types_1.isSemanticTerm)(term)
+        ? compileSemanticTerm(term, domain)
+        : compileExplicitTerm(term);
+    return {
+        name: term.name,
+        membership
+    };
+}
+/**
+ * Compile a fuzzy variable with all its terms
+ */
+function compileFuzzyVariable(variable) {
+    const terms = variable.terms.map(term => compileFuzzyTerm(term, variable.domain));
+    // Build term index for fast lookup
+    const termIndex = new Map();
+    for (const term of terms) {
+        termIndex.set(term.name, term);
+    }
+    return {
+        name: variable.name,
+        domain: variable.domain,
+        terms,
+        termIndex
+    };
+}
+// ========================================
+// Variable Lookup Helpers
+// ========================================
+/**
+ * Parse a term reference like 'temperature.hot' into [variable, term]
+ */
+function parseTermRef(ref) {
+    const parts = ref.split('.');
+    if (parts.length !== 2) {
+        throw new Error(`Invalid term reference '${ref}', expected 'variable.term' format`);
+    }
+    return [parts[0], parts[1]];
+}
+/**
+ * Get membership degree for a value against a specific term
+ */
+function getMembershipDegree(value, variable, termName) {
+    const term = variable.termIndex.get(termName);
+    if (!term) {
+        throw new Error(`Term '${termName}' not found in variable '${variable.name}'`);
+    }
+    // For shoulder shapes, we need to determine edge from the term definition
+    // This info is lost in compilation, so we infer from params
+    if (term.membership.shape === 'shoulder') {
+        const [start, end] = term.membership.params;
+        const mid = (variable.domain[0] + variable.domain[1]) / 2;
+        const termCenter = (start + end) / 2;
+        const edge = termCenter < mid ? 'open-left' : 'open-right';
+        return evaluateMembership(value, term.membership, edge);
+    }
+    return evaluateMembership(value, term.membership);
+}
+/**
+ * Get all membership degrees for a value across all terms of a variable
+ */
+function fuzzifyValue(value, variable) {
+    const result = {};
+    for (const term of variable.terms) {
+        result[term.name] = getMembershipDegree(value, variable, term.name);
+    }
+    return result;
+}
+/**
+ * Analyze coverage of a compiled fuzzy variable
+ * Returns statistics about how well the terms cover the domain
+ *
+ * @param variable - Compiled fuzzy variable to analyze
+ * @param resolution - Number of sample points (default 100)
+ * @param threshold - Coverage below this is considered a gap (default 0.1)
+ */
+function analyzeCoverage(variable, resolution = 100, threshold = 0.1) {
+    const [min, max] = variable.domain;
+    const step = (max - min) / resolution;
+    const samples = [];
+    const gaps = [];
+    let minCoverage = Infinity;
+    let maxCoverage = 0;
+    let totalCoverage = 0;
+    for (let i = 0; i <= resolution; i++) {
+        const position = min + (i * step);
+        const memberships = fuzzifyValue(position, variable);
+        const coverage = Object.values(memberships).reduce((sum, v) => sum + v, 0);
+        samples.push({ position, coverage });
+        if (coverage < minCoverage)
+            minCoverage = coverage;
+        if (coverage > maxCoverage)
+            maxCoverage = coverage;
+        totalCoverage += coverage;
+        if (coverage < threshold) {
+            gaps.push({ position, coverage });
+        }
+    }
+    return {
+        minCoverage,
+        maxCoverage,
+        avgCoverage: totalCoverage / (resolution + 1),
+        gaps,
+        samples
+    };
+}
+/**
+ * Auto-adjust semantic term widths to ensure minimum coverage
+ * Returns a new variable definition with adjusted widths
+ *
+ * This works by:
+ * 1. Analyzing current coverage
+ * 2. Finding gaps where coverage < target
+ * 3. Expanding widths of terms to fill gaps
+ * 4. Repeating until coverage is adequate or terms can't expand further
+ *
+ * @param variable - Original fuzzy variable definition
+ * @param options - Adjustment options
+ * @returns Adjusted variable with expanded widths, or original if no adjustment needed
+ */
+function autoAdjustCoverage(variable, options = {}) {
+    const { targetMinCoverage = 0.3, resolution = 100 } = options;
+    let currentVariable = variable;
+    const maxIterations = 5; // Enough to go tight -> narrow -> medium -> wide -> very-wide
+    for (let iteration = 0; iteration < maxIterations; iteration++) {
+        // Compile and analyze current coverage
+        const compiled = compileFuzzyVariable(currentVariable);
+        const analysis = analyzeCoverage(compiled, resolution, targetMinCoverage);
+        // If coverage is adequate, we're done
+        if (analysis.minCoverage >= targetMinCoverage) {
+            return currentVariable;
+        }
+        // Check if all semantic terms are already at max width
+        const allMaxed = currentVariable.terms.every(term => {
+            if ((0, fuzzy_types_1.isSemanticTerm)(term)) {
+                return term.width === 'very-wide';
+            }
+            return false; // Explicit terms can keep expanding
+        });
+        if (allMaxed) {
+            return currentVariable; // Can't expand further
+        }
+        // Expand each term by one level
+        const adjustedTerms = currentVariable.terms.map(term => {
+            if ((0, fuzzy_types_1.isSemanticTerm)(term)) {
+                // Always jump one semantic level per iteration
+                const expandedWidth = expandWidthByOne(term.width);
+                return { ...term, width: expandedWidth };
+            }
+            // For explicit terms, multiply params
+            return expandExplicitTerm(term, 1.5, currentVariable.domain);
+        });
+        currentVariable = {
+            ...currentVariable,
+            terms: adjustedTerms
+        };
+    }
+    return currentVariable;
+}
+/**
+ * Expand a semantic width by exactly one level
+ */
+function expandWidthByOne(width) {
+    const widthOrder = ['tight', 'narrow', 'medium', 'wide', 'very-wide'];
+    const currentIndex = widthOrder.indexOf(width);
+    const newIndex = Math.min(widthOrder.length - 1, currentIndex + 1);
+    return widthOrder[newIndex];
+}
+/**
+ * Expand an explicit term's parameters
+ */
+function expandExplicitTerm(term, multiplier, domain) {
+    const [min, max] = domain;
+    switch (term.shape) {
+        case 'triangle': {
+            // params: [left, center, right]
+            const [left, center, right] = term.params;
+            const leftSpread = (center - left) * multiplier;
+            const rightSpread = (right - center) * multiplier;
+            return {
+                ...term,
+                params: [
+                    Math.max(min, center - leftSpread),
+                    center,
+                    Math.min(max, center + rightSpread)
+                ]
+            };
+        }
+        case 'trapezoid': {
+            // params: [left, leftTop, rightTop, right]
+            const [left, leftTop, rightTop, right] = term.params;
+            const leftSpread = (leftTop - left) * multiplier;
+            const rightSpread = (right - rightTop) * multiplier;
+            return {
+                ...term,
+                params: [
+                    Math.max(min, leftTop - leftSpread),
+                    leftTop,
+                    rightTop,
+                    Math.min(max, rightTop + rightSpread)
+                ]
+            };
+        }
+        case 'gaussian': {
+            // params: [center, sigma]
+            const [center, sigma] = term.params;
+            return {
+                ...term,
+                params: [center, sigma * multiplier]
+            };
+        }
+        case 'shoulder': {
+            // params: [inflectionStart, inflectionEnd]
+            const [start, end] = term.params;
+            const spread = Math.abs(end - start) * multiplier;
+            if (start < end) {
+                // open-left: expand end
+                return { ...term, params: [start, Math.min(max, start + spread)] };
+            }
+            else {
+                // open-right: expand start
+                return { ...term, params: [Math.max(min, end - spread), end] };
+            }
+        }
+        case 'block': {
+            // params: [left, right]
+            const [left, right] = term.params;
+            const center = (left + right) / 2;
+            const halfWidth = ((right - left) / 2) * multiplier;
+            return {
+                ...term,
+                params: [
+                    Math.max(min, center - halfWidth),
+                    Math.min(max, center + halfWidth)
+                ]
+            };
+        }
+        default:
+            return term;
+    }
+}
+/**
+ * Compile a fuzzy variable with automatic coverage adjustment
+ *
+ * @param variable - Fuzzy variable definition
+ * @param options - Auto-adjust options (or false to disable)
+ * @returns Compiled variable with guaranteed minimum coverage
+ */
+function compileFuzzyVariableWithCoverage(variable, options = {}) {
+    const adjusted = options === false
+        ? variable
+        : autoAdjustCoverage(variable, options);
+    return compileFuzzyVariable(adjusted);
+}
+//# sourceMappingURL=fuzzy.membership.js.map

package/dist/engines/fuzzy/fuzzy.membership.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fuzzy.membership.js","sourceRoot":"","sources":["../../../src/engines/fuzzy/fuzzy.membership.ts"],"names":[],"mappings":";AAAA;;;;;GAKG;;AA+BH,gDAOC;AAYD,kDAOC;AAYD,gDAIC;AAeD,gDAcC;AAYD,0CAGC;AASD,gDAoBC;AASD,kDA+DC;AAKD,kDAqBC;AAKD,4CAYC;AAKD,oDAeC;AASD,oCAMC;AAKD,kDAqBC;AAKD,oCAWC;AA8BD,0CAsCC;AA4BD,gDAoDC;AAuGD,4EASC;AAplBD,+CAauB;AAEvB,2CAA2C;AAC3C,sCAAsC;AACtC,2CAA2C;AAE3C;;;;;;;;;GASG;AACH,SAAgB,kBAAkB,CAAC,CAAS,EAAE,MAAgB;IAC5D,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,MAAM,CAAC;IAErC,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK;QAAE,OAAO,CAAC,CAAC;IACtC,IAAI,CAAC,KAAK,MAAM;QAAE,OAAO,CAAC,CAAC;IAC3B,IAAI,CAAC,GAAG,MAAM;QAAE,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC;IACpD,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,GAAG,MAAM,CAAC,CAAC;AACxC,CAAC;AAED;;;;;;;;;GASG;AACH,SAAgB,mBAAmB,CAAC,CAAS,EAAE,MAAgB;IAC7D,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,GAAG,MAAM,CAAC;IAEhD,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK;QAAE,OAAO,CAAC,CAAC;IACtC,IAAI,CAAC,IAAI,OAAO,IAAI,CAAC,IAAI,QAAQ;QAAE,OAAO,CAAC,CAAC;IAC5C,IAAI,CAAC,GAAG,OAAO;QAAE,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,IAAI,CAAC,CAAC;IACtD,OAAO,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,GAAG,QAAQ,CAAC,CAAC;AAC1C,CAAC;AAED;;;;;;;;;GASG;AACH,SAAgB,kBAAkB,CAAC,CAAS,EAAE,MAAgB;IAC5D,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,MAAM,CAAC;IAC/B,MAAM,QAAQ,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC;IAC1D,OAAO,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;AAC5B,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,SAAgB,kBAAkB,CAAC,CAAS,EAAE,MAAgB,EAAE,IAAgC;IAC9F,MAAM,CAAC,eAAe,EAAE,aAAa,CAAC,GAAG,MAAM,CAAC;IAEhD,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;QACzB,qEAAqE;QACrE,IAAI,CAAC,IAAI,eAAe;YAAE,OAAO,CAAC,CAAC;QACnC,IAAI,CAAC,IAAI,aAAa;YAAE,OAAO,CAAC,CAAC;QACjC,OAAO,CAAC,aAAa,GAAG,CAAC,CAAC,GAAG,CAAC,aAAa,GAAG,eAAe,CAAC,CAAC;IACjE,CAAC;SAAM,CAAC;QACN,oEAAoE;QACpE,IAAI,CAAC,IAAI,eAAe;YAAE,OAAO,CAAC,CAAC;QACnC,IAAI,CAAC,IAAI,aAAa;YAAE,OAAO,CAAC,CAAC;QACjC,OAAO,CAAC,CAAC,GAAG,eAAe,CAAC,GAAG,CAAC,aAAa,GAAG,eAAe,CAAC,CAAC;IACnE,CAAC;AACH,CAAC;AAED;;;;;;;;;GASG;AACH,SAAgB,eAAe,CAAC,CAAS,EAAE,MAAgB;IACzD,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,MAAM,CAAC;IAC7B,OAAO,CAAC,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3C,CAAC;AAED,2CAA2C;AAC3C,wBAAwB;AACxB,2CAA2C;AAE3C;;GAEG;AACH,SAAgB,kBAAkB,CAChC,CAAS,EACT,UAAsC,EACtC,IAAiC;IAEjC,QAAQ,UAAU,CAAC,KAAK,EAAE,CAAC;QACzB,KAAK,UAAU;YACb,OAAO,kBAAkB,CAAC,CAAC,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;QAClD,KAAK,WAAW;YACd,OAAO,mBAAmB,CAAC,CAAC,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;QACnD,KAAK,UAAU;YACb,OAAO,kBAAkB,CAAC,CAAC,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;QAClD,KAAK,UAAU;YACb,IAAI,CAAC,IAAI;gBAAE,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;YAC1E,OAAO,kBAAkB,CAAC,CAAC,EAAE,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACxD,KAAK,OAAO;YACV,OAAO,eAAe,CAAC,CAAC,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;QAC/C;YACE,MAAM,IAAI,KAAK,CAAC,6BAA6B,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC;IACrE,CAAC;AACH,CAAC;AAED,2CAA2C;AAC3C,4BAA4B;AAC5B,2CAA2C;AAE3C;;GAEG;AACH,SAAgB,mBAAmB,CACjC,IAAuB,EACvB,MAAwB;IAExB,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,MAAM,CAAC;IAC1B,MAAM,KAAK,GAAG,GAAG,GAAG,GAAG,CAAC;IAExB,4BAA4B;IAC5B,MAAM,WAAW,GAAG,6BAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACnD,MAAM,MAAM,GAAG,GAAG,GAAG,CAAC,KAAK,GAAG,WAAW,CAAC,CAAC;IAE3C,mBAAmB;IACnB,MAAM,UAAU,GAAG,0BAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAG,KAAK,GAAG,UAAU,CAAC;IAElC,QAAQ,IAAI,CAAC,KAAK,EAAE,CAAC;QACnB,KAAK,UAAU;YACb,OAAO;gBACL,KAAK,EAAE,UAAU;gBACjB,MAAM,EAAE,CAAC,MAAM,GAAG,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;aACnD,CAAC;QAEJ,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,gCAAgC;YAChC,MAAM,OAAO,GAAG,MAAM,GAAG,GAAG,CAAC;YAC7B,OAAO;gBACL,KAAK,EAAE,WAAW;gBAClB,MAAM,EAAE,CAAC,MAAM,GAAG,MAAM,EAAE,MAAM,GAAG,OAAO,EAAE,MAAM,GAAG,OAAO,EAAE,MAAM,GAAG,MAAM,CAAC;aAC/E,CAAC;QACJ,CAAC;QAED,KAAK,UAAU;YACb,OAAO;gBACL,KAAK,EAAE,UAAU;gBACjB,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,GAAG,CAAC,CAAC,CAAE,0BAA0B;aACzD,CAAC;QAEJ,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,IAAI,WAAW,CAAC;YACtC,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;gBACzB,4CAA4C;gBAC5C,OAAO;oBACL,KAAK,EAAE,UAAU;oBACjB,MAAM,EAAE,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;iBAClC,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,0CAA0C;gBAC1C,OAAO;oBACL,KAAK,EAAE,UAAU;oBACjB,MAAM,EAAE,CAAC,MAAM,GAAG,MAAM,EAAE,MAAM,CAAC;iBAClC,CAAC;YACJ,CAAC;QACH,CAAC;QAED,KAAK,OAAO;YACV,OAAO;gBACL,KAAK,EAAE,OAAO;gBACd,MAAM,EAAE,CAAC,MAAM,GAAG,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;aAC3C,CAAC;QAEJ;YACE,MAAM,IAAI,KAAK,CAAC,kBAAkB,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC;IACpD,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAgB,mBAAmB,CAAC,IAAuB;IACzD,kCAAkC;IAClC,MAAM,cAAc,GAAoC;QACtD,UAAU,EAAE,CAAC;QACb,WAAW,EAAE,CAAC;QACd,UAAU,EAAE,CAAC;QACb,UAAU,EAAE,CAAC;QACb,OAAO,EAAE,CAAC;KACX,CAAC;IAEF,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5C,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CACb,GAAG,IAAI,CAAC,KAAK,wBAAwB,QAAQ,gBAAgB,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAClF,CAAC;IACJ,CAAC;IAED,OAAO;QACL,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,MAAM,EAAE,IAAI,CAAC,MAAM;KACpB,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAgB,gBAAgB,CAC9B,IAAe,EACf,MAAwB;IAExB,MAAM,UAAU,GAAG,IAAA,4BAAc,EAAC,IAAI,CAAC;QACrC,CAAC,CAAC,mBAAmB,CAAC,IAAI,EAAE,MAAM,CAAC;QACnC,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAE9B,OAAO;QACL,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,UAAU;KACX,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAgB,oBAAoB,CAAC,QAAuB;IAC1D,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;IAElF,mCAAmC;IACnC,MAAM,SAAS,GAAG,IAAI,GAAG,EAA6B,CAAC;IACvD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACjC,CAAC;IAED,OAAO;QACL,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,KAAK;QACL,SAAS;KACV,CAAC;AACJ,CAAC;AAED,2CAA2C;AAC3C,0BAA0B;AAC1B,2CAA2C;AAE3C;;GAEG;AACH,SAAgB,YAAY,CAAC,GAAW;IACtC,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IAC7B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,2BAA2B,GAAG,oCAAoC,CAAC,CAAC;IACtF,CAAC;IACD,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;AAC9B,CAAC;AAED;;GAEG;AACH,SAAgB,mBAAmB,CACjC,KAAa,EACb,QAA+B,EAC/B,QAAgB;IAEhB,MAAM,IAAI,GAAG,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC9C,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,IAAI,KAAK,CAAC,SAAS,QAAQ,4BAA4B,QAAQ,CAAC,IAAI,GAAG,CAAC,CAAC;IACjF,CAAC;IAED,0EAA0E;IAC1E,4DAA4D;IAC5D,IAAI,IAAI,CAAC,UAAU,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;QACzC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;QAC5C,MAAM,GAAG,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAC1D,MAAM,UAAU,GAAG,CAAC,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;QACrC,MAAM,IAAI,GAAG,UAAU,GAAG,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,YAAY,CAAC;QAC3D,OAAO,kBAAkB,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IAC1D,CAAC;IAED,OAAO,kBAAkB,CAAC,KAAK,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;AACpD,CAAC;AAED;;GAEG;AACH,SAAgB,YAAY,CAC1B,KAAa,EACb,QAA+B;IAE/B,MAAM,MAAM,GAA2B,EAAE,CAAC;IAE1C,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,KAAK,EAAE,CAAC;QAClC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,mBAAmB,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAsBD;;;;;;;GAOG;AACH,SAAgB,eAAe,CAC7B,QAA+B,EAC/B,aAAqB,GAAG,EACxB,YAAoB,GAAG;IAEvB,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC;IACnC,MAAM,IAAI,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,UAAU,CAAC;IAEtC,MAAM,OAAO,GAAkD,EAAE,CAAC;IAClE,MAAM,IAAI,GAAkD,EAAE,CAAC;IAE/D,IAAI,WAAW,GAAG,QAAQ,CAAC;IAC3B,IAAI,WAAW,GAAG,CAAC,CAAC;IACpB,IAAI,aAAa,GAAG,CAAC,CAAC;IAEtB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAG,GAAG,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;QAClC,MAAM,WAAW,GAAG,YAAY,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACrD,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAE3E,OAAO,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;QAErC,IAAI,QAAQ,GAAG,WAAW;YAAE,WAAW,GAAG,QAAQ,CAAC;QACnD,IAAI,QAAQ,GAAG,WAAW;YAAE,WAAW,GAAG,QAAQ,CAAC;QACnD,aAAa,IAAI,QAAQ,CAAC;QAE1B,IAAI,QAAQ,GAAG,SAAS,EAAE,CAAC;YACzB,IAAI,CAAC,IAAI,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;QACpC,CAAC;IACH,CAAC;IAED,OAAO;QACL,WAAW;QACX,WAAW;QACX,WAAW,EAAE,aAAa,GAAG,CAAC,UAAU,GAAG,CAAC,CAAC;QAC7C,IAAI;QACJ,OAAO;KACR,CAAC;AACJ,CAAC;AAcD;;;;;;;;;;;;;GAaG;AACH,SAAgB,kBAAkB,CAChC,QAAuB,EACvB,UAA6B,EAAE;IAE/B,MAAM,EACJ,iBAAiB,GAAG,GAAG,EACvB,UAAU,GAAG,GAAG,EACjB,GAAG,OAAO,CAAC;IAEZ,IAAI,eAAe,GAAG,QAAQ,CAAC;IAC/B,MAAM,aAAa,GAAG,CAAC,CAAC,CAAE,8DAA8D;IAExF,KAAK,IAAI,SAAS,GAAG,CAAC,EAAE,SAAS,GAAG,aAAa,EAAE,SAAS,EAAE,EAAE,CAAC;QAC/D,uCAAuC;QACvC,MAAM,QAAQ,GAAG,oBAAoB,CAAC,eAAe,CAAC,CAAC;QACvD,MAAM,QAAQ,GAAG,eAAe,CAAC,QAAQ,EAAE,UAAU,EAAE,iBAAiB,CAAC,CAAC;QAE1E,sCAAsC;QACtC,IAAI,QAAQ,CAAC,WAAW,IAAI,iBAAiB,EAAE,CAAC;YAC9C,OAAO,eAAe,CAAC;QACzB,CAAC;QAED,uDAAuD;QACvD,MAAM,QAAQ,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE;YAClD,IAAI,IAAA,4BAAc,EAAC,IAAI,CAAC,EAAE,CAAC;gBACzB,OAAO,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC;YACpC,CAAC;YACD,OAAO,KAAK,CAAC,CAAE,oCAAoC;QACrD,CAAC,CAAC,CAAC;QAEH,IAAI,QAAQ,EAAE,CAAC;YACb,OAAO,eAAe,CAAC,CAAE,uBAAuB;QAClD,CAAC;QAED,gCAAgC;QAChC,MAAM,aAAa,GAAG,eAAe,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;YACrD,IAAI,IAAA,4BAAc,EAAC,IAAI,CAAC,EAAE,CAAC;gBACzB,+CAA+C;gBAC/C,MAAM,aAAa,GAAG,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACnD,OAAO,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC;YAC3C,CAAC;YACD,sCAAsC;YACtC,OAAO,kBAAkB,CAAC,IAAI,EAAE,GAAG,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC;QAC/D,CAAC,CAAC,CAAC;QAEH,eAAe,GAAG;YAChB,GAAG,eAAe;YAClB,KAAK,EAAE,aAAa;SACrB,CAAC;IACJ,CAAC;IAED,OAAO,eAAe,CAAC;AACzB,CAAC;AAED;;GAEG;AACH,SAAS,gBAAgB,CAAC,KAAoB;IAC5C,MAAM,UAAU,GAAoB,CAAC,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;IACvF,MAAM,YAAY,GAAG,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC/C,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,YAAY,GAAG,CAAC,CAAC,CAAC;IACnE,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC;AAC9B,CAAC;AAGD;;GAEG;AACH,SAAS,kBAAkB,CACzB,IAAuB,EACvB,UAAkB,EAClB,MAAwB;IAExB,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,GAAG,MAAM,CAAC;IAE1B,QAAQ,IAAI,CAAC,KAAK,EAAE,CAAC;QACnB,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,gCAAgC;YAChC,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;YAC1C,MAAM,UAAU,GAAG,CAAC,MAAM,GAAG,IAAI,CAAC,GAAG,UAAU,CAAC;YAChD,MAAM,WAAW,GAAG,CAAC,KAAK,GAAG,MAAM,CAAC,GAAG,UAAU,CAAC;YAClD,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE;oBACN,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,GAAG,UAAU,CAAC;oBAClC,MAAM;oBACN,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,GAAG,WAAW,CAAC;iBACpC;aACF,CAAC;QACJ,CAAC;QAED,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,2CAA2C;YAC3C,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;YACrD,MAAM,UAAU,GAAG,CAAC,OAAO,GAAG,IAAI,CAAC,GAAG,UAAU,CAAC;YACjD,MAAM,WAAW,GAAG,CAAC,KAAK,GAAG,QAAQ,CAAC,GAAG,UAAU,CAAC;YACpD,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE;oBACN,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,GAAG,UAAU,CAAC;oBACnC,OAAO;oBACP,QAAQ;oBACR,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,QAAQ,GAAG,WAAW,CAAC;iBACtC;aACF,CAAC;QACJ,CAAC;QAED,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,0BAA0B;YAC1B,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;YACpC,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE,CAAC,MAAM,EAAE,KAAK,GAAG,UAAU,CAAC;aACrC,CAAC;QACJ,CAAC;QAED,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,2CAA2C;YAC3C,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;YACjC,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,UAAU,CAAC;YAClD,IAAI,KAAK,GAAG,GAAG,EAAE,CAAC;gBAChB,wBAAwB;gBACxB,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC;YACrE,CAAC;iBAAM,CAAC;gBACN,2BAA2B;gBAC3B,OAAO,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,GAAG,MAAM,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;YACjE,CAAC;QACH,CAAC;QAED,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,wBAAwB;YACxB,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC;YAClC,MAAM,MAAM,GAAG,CAAC,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;YAClC,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC;YACpD,OAAO;gBACL,GAAG,IAAI;gBACP,MAAM,EAAE;oBACN,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC;oBACjC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC;iBAClC;aACF,CAAC;QACJ,CAAC;QAED;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,gCAAgC,CAC9C,QAAuB,EACvB,UAAqC,EAAE;IAEvC,MAAM,QAAQ,GAAG,OAAO,KAAK,KAAK;QAChC,CAAC,CAAC,QAAQ;QACV,CAAC,CAAC,kBAAkB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAE1C,OAAO,oBAAoB,CAAC,QAAQ,CAAC,CAAC;AACxC,CAAC"}