@hozu/validator 0.7.0 → 0.8.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@hozu/validator",
-  "version": "0.7.0",
+  "version": "0.8.0",
   "description": "Hozu validator: structured diagnostics with fixes, contract runner and behaviour lock",
   "keywords": [
     "hozu",
@@ -39,8 +39,8 @@
     "access": "public"
   },
   "dependencies": {
-    "@hozu/core": "0.7.0",
-    "@hozu/compiler": "0.7.0"
+    "@hozu/core": "0.8.0",
+    "@hozu/compiler": "0.8.0"
   },
   "sideEffects": false
 }

package/dist/truthiness-rule.d.ts

@@ -1,3 +0,0 @@
-import { type Diagnostic } from '@hozu/core/ir';
-export declare function truthinessDiagnostics(files: Record<string, string>): Diagnostic[];
-//# sourceMappingURL=truthiness-rule.d.ts.map

package/dist/truthiness-rule.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"truthiness-rule.d.ts","sourceRoot":"","sources":["../src/truthiness-rule.ts"],"names":[],"mappings":"AAAA,OAAO,EAAS,KAAK,UAAU,EAAE,MAAM,eAAe,CAAA;AAGtD,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,UAAU,EAAE,CAkBjF"}

package/dist/truthiness-rule.js

@@ -1,21 +0,0 @@
-import { codes } from '@hozu/core/ir';
-import { scanTruthiness } from './truthiness.js';
-export function truthinessDiagnostics(files) {
-    const out = [];
-    for (const [file, text] of Object.entries(files))
-        for (const f of scanTruthiness(text))
-            out.push({
-                code: 'HZ044',
-                severity: codes.HZ044.severity,
-                message: `${f.expression} is a recorded reference used as ${f.use}`,
-                location: { feature: null, pointer: '', source: { file, line: f.line, column: f.column } },
-                cause: 'References are recorded, not evaluated: as a JavaScript value a reference is always truthy, so this always takes the same branch.',
-                fix: {
-                    summary: `In a view use ui.if(op.neq(${f.expression}, null), […], […]) or op.eq; in a machine use a guard with op.*; to compute a value use fn()`,
-                    snippet: `ui.if(op.neq(${f.expression}, null), [/* then */], [/* else */])`,
-                    patch: null,
-                },
-            });
-    return out;
-}
-//# sourceMappingURL=truthiness-rule.js.map

package/dist/truthiness-rule.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"truthiness-rule.js","sourceRoot":"","sources":["../src/truthiness-rule.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAmB,MAAM,eAAe,CAAA;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAA;AAEhD,MAAM,UAAU,qBAAqB,CAAC,KAA6B;IACjE,MAAM,GAAG,GAAiB,EAAE,CAAA;IAC5B,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;QAC9C,KAAK,MAAM,CAAC,IAAI,cAAc,CAAC,IAAI,CAAC;YAClC,GAAG,CAAC,IAAI,CAAC;gBACP,IAAI,EAAE,OAAO;gBACb,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,QAAQ;gBAC9B,OAAO,EAAE,GAAG,CAAC,CAAC,UAAU,oCAAoC,CAAC,CAAC,GAAG,EAAE;gBACnE,QAAQ,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,EAAE;gBAC1F,KAAK,EACH,mIAAmI;gBACrI,GAAG,EAAE;oBACH,OAAO,EAAE,8BAA8B,CAAC,CAAC,UAAU,8FAA8F;oBACjJ,OAAO,EAAE,gBAAgB,CAAC,CAAC,UAAU,sCAAsC;oBAC3E,KAAK,EAAE,IAAI;iBACZ;aACF,CAAC,CAAA;IACN,OAAO,GAAG,CAAA;AACZ,CAAC"}

package/dist/truthiness.d.ts

@@ -1,8 +0,0 @@
-export interface TruthinessFinding {
-    line: number;
-    column: number;
-    expression: string;
-    use: 'a ?: condition' | 'the left side of &&' | 'the left side of ||' | 'the left side of ??' | 'the operand of !' | 'an if condition' | 'a while condition';
-}
-export declare function scanTruthiness(source: string): TruthinessFinding[];
-//# sourceMappingURL=truthiness.d.ts.map

package/dist/truthiness.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"truthiness.d.ts","sourceRoot":"","sources":["../src/truthiness.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,iBAAiB;IAChC,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,CAAA;IACd,UAAU,EAAE,MAAM,CAAA;IAClB,GAAG,EACC,gBAAgB,GAChB,qBAAqB,GACrB,qBAAqB,GACrB,qBAAqB,GACrB,kBAAkB,GAClB,iBAAiB,GACjB,mBAAmB,CAAA;CACxB;AA+MD,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,iBAAiB,EAAE,CAkDlE"}

package/dist/truthiness.js

@@ -1,268 +0,0 @@
-const PUNCT = ['?.', '??=', '??', '&&=', '||=', '&&', '||', '===', '!==', '==', '!=', '=>', '...', '<=', '>='];
-const REGEX_BEFORE = new Set([
-    '(',
-    ',',
-    '=',
-    ':',
-    '[',
-    '!',
-    '&&',
-    '||',
-    '??',
-    '?',
-    '{',
-    '}',
-    ';',
-    'return',
-    '=>',
-]);
-const LIST_METHODS = new Set([
-    'map',
-    'filter',
-    'forEach',
-    'reduce',
-    'some',
-    'every',
-    'find',
-    'flatMap',
-    'findIndex',
-    'sort',
-]);
-function tokenize(source) {
-    const tokens = [];
-    let i = 0;
-    let line = 1;
-    let lineStart = 0;
-    const push = (text, kind, start) => tokens.push({ text, kind, line, column: start - lineStart + 1 });
-    const advance = (to) => {
-        for (let k = i; k < to; k++)
-            if (source[k] === '\n') {
-                line++;
-                lineStart = k + 1;
-            }
-        i = to;
-    };
-    const skipString = (quote) => {
-        let k = i + 1;
-        while (k < source.length && source[k] !== quote)
-            k += source[k] === '\\' ? 2 : 1;
-        return k + 1;
-    };
-    const skipTemplate = () => {
-        let k = i + 1;
-        let depth = 0;
-        while (k < source.length) {
-            const c = source[k];
-            if (c === '\\')
-                k += 2;
-            else if (depth === 0 && c === '`')
-                return k + 1;
-            else if (c === '$' && source[k + 1] === '{') {
-                depth++;
-                k += 2;
-            }
-            else if (c === '}' && depth > 0) {
-                depth--;
-                k++;
-            }
-            else
-                k++;
-        }
-        return k;
-    };
-    while (i < source.length) {
-        const c = source[i];
-        if (c === '\n' || c === ' ' || c === '\t' || c === '\r')
-            advance(i + 1);
-        else if (c === '/' && source[i + 1] === '/')
-            advance(source.indexOf('\n', i) === -1 ? source.length : source.indexOf('\n', i));
-        else if (c === '/' && source[i + 1] === '*')
-            advance(source.indexOf('*/', i + 2) + 2);
-        else if (c === "'" || c === '"') {
-            const start = i;
-            advance(skipString(c));
-            push('"', 'literal', start);
-        }
-        else if (c === '`') {
-            const start = i;
-            advance(skipTemplate());
-            push('`', 'literal', start);
-        }
-        else if (c === '/' && REGEX_BEFORE.has(tokens.at(-1)?.text ?? '(')) {
-            const start = i;
-            let k = i + 1;
-            let klass = false;
-            while (k < source.length && (klass || source[k] !== '/')) {
-                if (source[k] === '\\')
-                    k++;
-                else if (source[k] === '[')
-                    klass = true;
-                else if (source[k] === ']')
-                    klass = false;
-                k++;
-            }
-            k++;
-            while (/[a-z]/.test(source[k] ?? ''))
-                k++;
-            advance(k);
-            push('/', 'literal', start);
-        }
-        else if (/[A-Za-z_$]/.test(c)) {
-            const start = i;
-            let k = i + 1;
-            while (/[\w$]/.test(source[k] ?? ''))
-                k++;
-            advance(k);
-            push(source.slice(start, k), 'id', start);
-        }
-        else if (/[0-9]/.test(c)) {
-            const start = i;
-            let k = i + 1;
-            while (/[\w.]/.test(source[k] ?? ''))
-                k++;
-            advance(k);
-            push(source.slice(start, k), 'literal', start);
-        }
-        else {
-            const start = i;
-            const p = PUNCT.find((x) => source.startsWith(x, i)) ?? c;
-            advance(i + p.length);
-            push(p, 'punct', start);
-        }
-    }
-    return tokens;
-}
-const OPEN = { '(': ')', '[': ']', '{': '}' };
-const CLOSE = { ')': '(', ']': '[', '}': '{' };
-function matchForward(tokens, at) {
-    let depth = 0;
-    for (let k = at; k < tokens.length; k++) {
-        const t = tokens[k].text;
-        if (OPEN[t])
-            depth++;
-        else if (CLOSE[t] && --depth === 0)
-            return k;
-    }
-    return tokens.length - 1;
-}
-function matchBackward(tokens, at) {
-    let depth = 0;
-    for (let k = at; k >= 0; k--) {
-        const t = tokens[k].text;
-        if (CLOSE[t])
-            depth++;
-        else if (OPEN[t] && --depth === 0)
-            return k;
-    }
-    return 0;
-}
-function bodyEnd(tokens, start) {
-    if (tokens[start]?.text === '{' || tokens[start]?.text === '(')
-        return matchForward(tokens, start);
-    let depth = 0;
-    for (let k = start; k < tokens.length; k++) {
-        const t = tokens[k].text;
-        if (OPEN[t])
-            depth++;
-        else if (CLOSE[t]) {
-            if (depth === 0)
-                return k - 1;
-            depth--;
-        }
-        else if (depth === 0 && (t === ',' || t === ';'))
-            return k - 1;
-    }
-    return tokens.length - 1;
-}
-function arrows(tokens) {
-    const out = [];
-    tokens.forEach((t, k) => {
-        if (t.text !== '=>')
-            return;
-        let first = k - 1;
-        const params = [];
-        if (tokens[k - 1]?.text === ')') {
-            first = matchBackward(tokens, k - 1);
-            for (let j = first + 1; j < k - 1; j++) {
-                const x = tokens[j];
-                const prev = tokens[j - 1].text;
-                if (x.kind === 'id' && prev !== ':' && prev !== '.' && tokens[j + 1]?.text !== ':')
-                    params.push(x.text);
-                if (x.kind === 'id' &&
-                    tokens[j + 1]?.text === ':' &&
-                    (prev === '{' || prev === ',') &&
-                    tokens[j + 2]?.kind === 'id')
-                    params.push(tokens[j + 2].text);
-            }
-        }
-        else if (tokens[k - 1]?.kind === 'id')
-            params.push(tokens[k - 1].text);
-        const before = tokens[first - 1];
-        const callee = before?.text === '(' ? tokens[first - 2] : undefined;
-        const method = callee?.kind === 'id' && tokens[first - 3]?.text === '.' && LIST_METHODS.has(callee.text);
-        const impl = before?.text === ':' && tokens[first - 2]?.text === 'impl';
-        out.push({
-            params: params.filter((p) => p !== 'when'),
-            from: k + 1,
-            to: bodyEnd(tokens, k + 1),
-            real: method || impl,
-        });
-    });
-    return out;
-}
-export function scanTruthiness(source) {
-    const tokens = tokenize(source);
-    const list = arrows(tokens);
-    const refsAt = (k) => {
-        const refs = new Set();
-        const real = new Set();
-        for (const a of list)
-            if (a.from <= k && k <= a.to)
-                for (const p of a.params)
-                    (a.real ? real : refs).add(p);
-        for (const p of real)
-            refs.delete(p);
-        const insideReal = list.some((a) => a.real && a.from <= k && k <= a.to);
-        return insideReal ? new Set() : refs;
-    };
-    const findings = [];
-    for (let k = 0; k < tokens.length; k++) {
-        const t = tokens[k];
-        if (t.kind !== 'id' || tokens[k - 1]?.text === '.' || tokens[k - 1]?.text === '?.')
-            continue;
-        if (!refsAt(k).has(t.text))
-            continue;
-        let end = k;
-        while ((tokens[end + 1]?.text === '.' || tokens[end + 1]?.text === '?.') &&
-            tokens[end + 2]?.kind === 'id')
-            end += 2;
-        if (tokens[end + 1]?.text === '(')
-            continue;
-        const next = tokens[end + 1]?.text;
-        const prev = tokens[k - 1]?.text;
-        const expression = tokens
-            .slice(k, end + 1)
-            .map((x) => x.text)
-            .join('');
-        const use = next === '?'
-            ? 'a ?: condition'
-            : next === '&&'
-                ? 'the left side of &&'
-                : next === '||'
-                    ? 'the left side of ||'
-                    : next === '??'
-                        ? 'the left side of ??'
-                        : prev === '!'
-                            ? 'the operand of !'
-                            : prev === '(' && next === ')' && tokens[k - 2]?.text === 'if'
-                                ? 'an if condition'
-                                : prev === '(' && next === ')' && tokens[k - 2]?.text === 'while'
-                                    ? 'a while condition'
-                                    : null;
-        if (use)
-            findings.push({ line: t.line, column: t.column, expression, use });
-        k = end;
-    }
-    return findings;
-}
-//# sourceMappingURL=truthiness.js.map

package/dist/truthiness.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"truthiness.js","sourceRoot":"","sources":["../src/truthiness.ts"],"names":[],"mappings":"AAqBA,MAAM,KAAK,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,CAAC,CAAA;AAC9G,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC;IAC3B,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,IAAI;IACJ,IAAI;IACJ,IAAI;IACJ,GAAG;IACH,GAAG;IACH,GAAG;IACH,GAAG;IACH,QAAQ;IACR,IAAI;CACL,CAAC,CAAA;AACF,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC;IAC3B,KAAK;IACL,QAAQ;IACR,SAAS;IACT,QAAQ;IACR,MAAM;IACN,OAAO;IACP,MAAM;IACN,SAAS;IACT,WAAW;IACX,MAAM;CACP,CAAC,CAAA;AAEF,SAAS,QAAQ,CAAC,MAAc;IAC9B,MAAM,MAAM,GAAY,EAAE,CAAA;IAC1B,IAAI,CAAC,GAAG,CAAC,CAAA;IACT,IAAI,IAAI,GAAG,CAAC,CAAA;IACZ,IAAI,SAAS,GAAG,CAAC,CAAA;IACjB,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,IAAmB,EAAE,KAAa,EAAE,EAAE,CAChE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,GAAG,SAAS,GAAG,CAAC,EAAE,CAAC,CAAA;IAClE,MAAM,OAAO,GAAG,CAAC,EAAU,EAAE,EAAE;QAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE;YACzB,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;gBACvB,IAAI,EAAE,CAAA;gBACN,SAAS,GAAG,CAAC,GAAG,CAAC,CAAA;YACnB,CAAC;QACH,CAAC,GAAG,EAAE,CAAA;IACR,CAAC,CAAA;IACD,MAAM,UAAU,GAAG,CAAC,KAAa,EAAE,EAAE;QACnC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACb,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,KAAK;YAAE,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;QAChF,OAAO,CAAC,GAAG,CAAC,CAAA;IACd,CAAC,CAAA;IACD,MAAM,YAAY,GAAG,GAAG,EAAE;QACxB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACb,IAAI,KAAK,GAAG,CAAC,CAAA;QACb,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;YACzB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAA;YACnB,IAAI,CAAC,KAAK,IAAI;gBAAE,CAAC,IAAI,CAAC,CAAA;iBACjB,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,KAAK,GAAG;gBAAE,OAAO,CAAC,GAAG,CAAC,CAAA;iBAC1C,IAAI,CAAC,KAAK,GAAG,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBAC5C,KAAK,EAAE,CAAA;gBACP,CAAC,IAAI,CAAC,CAAA;YACR,CAAC;iBAAM,IAAI,CAAC,KAAK,GAAG,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;gBAClC,KAAK,EAAE,CAAA;gBACP,CAAC,EAAE,CAAA;YACL,CAAC;;gBAAM,CAAC,EAAE,CAAA;QACZ,CAAC;QACD,OAAO,CAAC,CAAA;IACV,CAAC,CAAA;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC;QACzB,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAA;QACpB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;aAClE,IAAI,CAAC,KAAK,GAAG,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG;YACzC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;aAC9E,IAAI,CAAC,KAAK,GAAG,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG;YAAE,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;aAChF,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,CAAC,CAAA;YACf,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;YACtB,IAAI,CAAC,GAAG,EAAE,SAAS,EAAE,KAAK,CAAC,CAAA;QAC7B,CAAC;aAAM,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;YACrB,MAAM,KAAK,GAAG,CAAC,CAAA;YACf,OAAO,CAAC,YAAY,EAAE,CAAC,CAAA;YACvB,IAAI,CAAC,GAAG,EAAE,SAAS,EAAE,KAAK,CAAC,CAAA;QAC7B,CAAC;aAAM,IAAI,CAAC,KAAK,GAAG,IAAI,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,GAAG,CAAC,EAAE,CAAC;YACrE,MAAM,KAAK,GAAG,CAAC,CAAA;YACf,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YACb,IAAI,KAAK,GAAG,KAAK,CAAA;YACjB,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,IAAI,CAAC,KAAK,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;gBACzD,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI;oBAAE,CAAC,EAAE,CAAA;qBACtB,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG;oBAAE,KAAK,GAAG,IAAI,CAAA;qBACnC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG;oBAAE,KAAK,GAAG,KAAK,CAAA;gBACzC,CAAC,EAAE,CAAA;YACL,CAAC;YACD,CAAC,EAAE,CAAA;YACH,OAAO,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBAAE,CAAC,EAAE,CAAA;YACzC,OAAO,CAAC,CAAC,CAAC,CAAA;YACV,IAAI,CAAC,GAAG,EAAE,SAAS,EAAE,KAAK,CAAC,CAAA;QAC7B,CAAC;aAAM,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,CAAC,CAAA;YACf,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YACb,OAAO,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBAAE,CAAC,EAAE,CAAA;YACzC,OAAO,CAAC,CAAC,CAAC,CAAA;YACV,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;QAC3C,CAAC;aAAM,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3B,MAAM,KAAK,GAAG,CAAC,CAAA;YACf,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YACb,OAAO,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBAAE,CAAC,EAAE,CAAA;YACzC,OAAO,CAAC,CAAC,CAAC,CAAA;YACV,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,CAAA;QAChD,CAAC;aAAM,CAAC;YACN,MAAM,KAAK,GAAG,CAAC,CAAA;YACf,MAAM,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;YACzD,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAA;YACrB,IAAI,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,CAAA;QACzB,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAED,MAAM,IAAI,GAA2B,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAA;AACrE,MAAM,KAAK,GAA2B,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAA;AAEtE,SAAS,YAAY,CAAC,MAAe,EAAE,EAAU;IAC/C,IAAI,KAAK,GAAG,CAAC,CAAA;IACb,KAAK,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACxC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,CAAA;QACzB,IAAI,IAAI,CAAC,CAAC,CAAC;YAAE,KAAK,EAAE,CAAA;aACf,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,KAAK,CAAC;YAAE,OAAO,CAAC,CAAA;IAC9C,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAA;AAC1B,CAAC;AAED,SAAS,aAAa,CAAC,MAAe,EAAE,EAAU;IAChD,IAAI,KAAK,GAAG,CAAC,CAAA;IACb,KAAK,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7B,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,CAAA;QACzB,IAAI,KAAK,CAAC,CAAC,CAAC;YAAE,KAAK,EAAE,CAAA;aAChB,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,KAAK,CAAC;YAAE,OAAO,CAAC,CAAA;IAC7C,CAAC;IACD,OAAO,CAAC,CAAA;AACV,CAAC;AAED,SAAS,OAAO,CAAC,MAAe,EAAE,KAAa;IAC7C,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,KAAK,GAAG,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,IAAI,KAAK,GAAG;QAAE,OAAO,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IAClG,IAAI,KAAK,GAAG,CAAC,CAAA;IACb,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3C,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC,IAAI,CAAA;QACzB,IAAI,IAAI,CAAC,CAAC,CAAC;YAAE,KAAK,EAAE,CAAA;aACf,IAAI,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;YAClB,IAAI,KAAK,KAAK,CAAC;gBAAE,OAAO,CAAC,GAAG,CAAC,CAAA;YAC7B,KAAK,EAAE,CAAA;QACT,CAAC;aAAM,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,GAAG,CAAC;YAAE,OAAO,CAAC,GAAG,CAAC,CAAA;IAClE,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAA;AAC1B,CAAC;AASD,SAAS,MAAM,CAAC,MAAe;IAC7B,MAAM,GAAG,GAAY,EAAE,CAAA;IACvB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACtB,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;YAAE,OAAM;QAC3B,IAAI,KAAK,GAAG,CAAC,GAAG,CAAC,CAAA;QACjB,MAAM,MAAM,GAAa,EAAE,CAAA;QAC3B,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,GAAG,EAAE,CAAC;YAChC,KAAK,GAAG,aAAa,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAA;YACpC,KAAK,IAAI,CAAC,GAAG,KAAK,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBACvC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAA;gBACpB,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,IAAI,CAAA;gBAChC,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,GAAG;oBAChF,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;gBACrB,IACE,CAAC,CAAC,IAAI,KAAK,IAAI;oBACf,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,GAAG;oBAC3B,CAAC,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,CAAC;oBAC9B,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,IAAI;oBAE5B,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,IAAI,CAAC,CAAA;YACpC,CAAC;QACH,CAAC;aAAM,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,IAAI;YAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC,IAAI,CAAC,CAAA;QACzE,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAA;QAChC,MAAM,MAAM,GAAG,MAAM,EAAE,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;QACnE,MAAM,MAAM,GAAG,MAAM,EAAE,IAAI,KAAK,IAAI,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,GAAG,IAAI,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QACxG,MAAM,IAAI,GAAG,MAAM,EAAE,IAAI,KAAK,GAAG,IAAI,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,MAAM,CAAA;QACvE,GAAG,CAAC,IAAI,CAAC;YACP,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC;YAC1C,IAAI,EAAE,CAAC,GAAG,CAAC;YACX,EAAE,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC;YAC1B,IAAI,EAAE,MAAM,IAAI,IAAI;SACrB,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;IACF,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,MAAc;IAC3C,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAA;IAC/B,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,CAAA;IAC3B,MAAM,MAAM,GAAG,CAAC,CAAS,EAAe,EAAE;QACxC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;QAC9B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;QAC9B,KAAK,MAAM,CAAC,IAAI,IAAI;YAClB,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE;gBAAE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;oBAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAA;QACvF,KAAK,MAAM,CAAC,IAAI,IAAI;YAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;QACpC,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAA;QACvE,OAAO,UAAU,CAAC,CAAC,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAA;IACtC,CAAC,CAAA;IACD,MAAM,QAAQ,GAAwB,EAAE,CAAA;IACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAA;QACpB,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,GAAG,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,IAAI;YAAE,SAAQ;QAC5F,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAAE,SAAQ;QACpC,IAAI,GAAG,GAAG,CAAC,CAAA;QACX,OACE,CAAC,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,GAAG,IAAI,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,IAAI,CAAC;YACjE,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,IAAI;YAE9B,GAAG,IAAI,CAAC,CAAA;QACV,IAAI,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,GAAG;YAAE,SAAQ;QAC3C,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,CAAA;QAClC,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAA;QAChC,MAAM,UAAU,GAAG,MAAM;aACtB,KAAK,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC;aACjB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;aAClB,IAAI,CAAC,EAAE,CAAC,CAAA;QACX,MAAM,GAAG,GACP,IAAI,KAAK,GAAG;YACV,CAAC,CAAC,gBAAgB;YAClB,CAAC,CAAC,IAAI,KAAK,IAAI;gBACb,CAAC,CAAC,qBAAqB;gBACvB,CAAC,CAAC,IAAI,KAAK,IAAI;oBACb,CAAC,CAAC,qBAAqB;oBACvB,CAAC,CAAC,IAAI,KAAK,IAAI;wBACb,CAAC,CAAC,qBAAqB;wBACvB,CAAC,CAAC,IAAI,KAAK,GAAG;4BACZ,CAAC,CAAC,kBAAkB;4BACpB,CAAC,CAAC,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,IAAI;gCAC5D,CAAC,CAAC,iBAAiB;gCACnB,CAAC,CAAC,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,IAAI,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,OAAO;oCAC/D,CAAC,CAAC,mBAAmB;oCACrB,CAAC,CAAC,IAAI,CAAA;QACtB,IAAI,GAAG;YAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAA;QAC3E,CAAC,GAAG,GAAG,CAAA;IACT,CAAC;IACD,OAAO,QAAQ,CAAA;AACjB,CAAC"}