@stevenvo780/st-lang 3.2.2 → 4.0.0

package/dist/parser/formulas.js

@@ -0,0 +1,511 @@
+"use strict";
+// ============================================================
+// ST Parser — Parsing de formulas con precedencia
+// ============================================================
+//
+// Precedencia (de menor a mayor):
+//   1. <-> (bicondicional)
+//   2. -> (implicacion, asocia a la derecha)
+//   3. | / xor / nor (disyuncion)
+//   4. U (until temporal, entre disyuncion y conjuncion)
+//   5. & / nand (conjuncion)
+//   6. comparacion (<, >, <=, >=)
+//   7. aditiva (+ -)
+//   8. multiplicativa (* / %)
+//   9. unario (! -unario [] <> forall exists X)
+//  10. postfix (indexacion [...])
+//  11. primary (atomos, parens, predicados, fn calls)
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.MODAL_ALIASES = void 0;
+exports.parseFormula = parseFormula;
+exports.formulaToString = formulaToString;
+exports.parseIdList = parseIdList;
+const tokens_1 = require("../lexer/tokens");
+// Modal aliases por perfil: mapea nombres de identifier a tipos modales
+exports.MODAL_ALIASES = {
+    'deontic.standard': { O: 'box', P: 'diamond', F: 'box_not' },
+    'epistemic.s5': { K: 'box', B: 'diamond' },
+    'temporal.ltl': { G: 'box', F: 'diamond' },
+    'modal.k': { Box: 'box', Dia: 'diamond' },
+    'modal.s4': { Box: 'box', Dia: 'diamond' },
+    'modal.s5': { Box: 'box', Dia: 'diamond' },
+    'modal.t': { Box: 'box', Dia: 'diamond' },
+};
+function parseFormula(s) {
+    return parseBiconditional(s);
+}
+function parseBiconditional(s) {
+    let left = parseImplication(s);
+    while (s.match(tokens_1.TokenType.BICONDITIONAL)) {
+        const right = parseImplication(s);
+        left = { kind: 'biconditional', args: [left, right], source: s.loc() };
+    }
+    return left;
+}
+function parseImplication(s) {
+    const left = parseDisjunction(s);
+    if (s.match(tokens_1.TokenType.ARROW)) {
+        // Asociatividad a la derecha
+        const right = parseImplication(s);
+        return { kind: 'implies', args: [left, right], source: s.loc() };
+    }
+    return left;
+}
+function parseDisjunction(s) {
+    let left = parseUntil(s);
+    let firstKind = null;
+    while (s.match(tokens_1.TokenType.OR) || s.match(tokens_1.TokenType.XOR) || s.match(tokens_1.TokenType.NOR)) {
+        const type = s.previous().type;
+        const currentKind = type === tokens_1.TokenType.OR ? 'or' : type === tokens_1.TokenType.XOR ? 'xor' : 'nor';
+        if (firstKind !== null && firstKind !== currentKind) {
+            const tok = s.previous();
+            s.diagnostics.push({
+                severity: 'warning',
+                message: `Mezcla de conectivos ${firstKind}/${currentKind} al mismo nivel de precedencia; asociación izquierda aplicada — usar paréntesis para desambiguar`,
+                file: s.file,
+                line: tok.line,
+                column: tok.column,
+            });
+        }
+        firstKind = firstKind ?? currentKind;
+        const right = parseUntil(s);
+        left = { kind: currentKind, args: [left, right], source: s.loc() };
+    }
+    return left;
+}
+function parseUntil(s) {
+    let left = parseConjunction(s);
+    while (s.match(tokens_1.TokenType.UNTIL)) {
+        const right = parseConjunction(s);
+        left = { kind: 'temporal_until', args: [left, right], source: s.loc() };
+    }
+    return left;
+}
+function parseConjunction(s) {
+    let left = parseComparison(s);
+    let firstKind = null;
+    while (s.match(tokens_1.TokenType.AND) || s.match(tokens_1.TokenType.NAND)) {
+        const type = s.previous().type;
+        const currentKind = type === tokens_1.TokenType.AND ? 'and' : 'nand';
+        if (firstKind !== null && firstKind !== currentKind) {
+            const tok = s.previous();
+            s.diagnostics.push({
+                severity: 'warning',
+                message: `Mezcla de conectivos ${firstKind}/${currentKind} al mismo nivel de precedencia; asociación izquierda aplicada — usar paréntesis para desambiguar`,
+                file: s.file,
+                line: tok.line,
+                column: tok.column,
+            });
+        }
+        firstKind = firstKind ?? currentKind;
+        const right = parseComparison(s);
+        left = { kind: currentKind, args: [left, right], source: s.loc() };
+    }
+    return left;
+}
+// --- Arithmetic precedence ---
+function parseComparison(s) {
+    let left = parseAdditive(s);
+    while (s.checkType(tokens_1.TokenType.LT) ||
+        s.checkType(tokens_1.TokenType.GT) ||
+        s.checkType(tokens_1.TokenType.LTE) ||
+        s.checkType(tokens_1.TokenType.GTE)) {
+        if (s.match(tokens_1.TokenType.LT)) {
+            const right = parseAdditive(s);
+            left = { kind: 'less', args: [left, right], source: s.loc() };
+        }
+        else if (s.match(tokens_1.TokenType.GT)) {
+            const right = parseAdditive(s);
+            left = { kind: 'greater', args: [left, right], source: s.loc() };
+        }
+        else if (s.match(tokens_1.TokenType.LTE)) {
+            const right = parseAdditive(s);
+            left = { kind: 'less_eq', args: [left, right], source: s.loc() };
+        }
+        else if (s.match(tokens_1.TokenType.GTE)) {
+            const right = parseAdditive(s);
+            left = { kind: 'greater_eq', args: [left, right], source: s.loc() };
+        }
+    }
+    return left;
+}
+function parseAdditive(s) {
+    let left = parseMultiplicative(s);
+    while (s.checkType(tokens_1.TokenType.PLUS) || s.checkType(tokens_1.TokenType.MINUS)) {
+        if (s.match(tokens_1.TokenType.PLUS)) {
+            const right = parseMultiplicative(s);
+            left = { kind: 'add', args: [left, right], source: s.loc() };
+        }
+        else if (s.match(tokens_1.TokenType.MINUS)) {
+            const right = parseMultiplicative(s);
+            left = { kind: 'subtract', args: [left, right], source: s.loc() };
+        }
+    }
+    return left;
+}
+function parseMultiplicative(s) {
+    let left = parseUnary(s);
+    while (s.checkType(tokens_1.TokenType.STAR) ||
+        s.checkType(tokens_1.TokenType.SLASH) ||
+        s.checkType(tokens_1.TokenType.PERCENT)) {
+        if (s.match(tokens_1.TokenType.STAR)) {
+            const right = parseUnary(s);
+            left = { kind: 'multiply', args: [left, right], source: s.loc() };
+        }
+        else if (s.match(tokens_1.TokenType.SLASH)) {
+            const right = parseUnary(s);
+            left = { kind: 'divide', args: [left, right], source: s.loc() };
+        }
+        else if (s.match(tokens_1.TokenType.PERCENT)) {
+            const right = parseUnary(s);
+            left = { kind: 'modulo', args: [left, right], source: s.loc() };
+        }
+    }
+    return left;
+}
+function parseUnary(s) {
+    const wrappers = [];
+    while (true) {
+        if (s.match(tokens_1.TokenType.MINUS)) {
+            const src = s.loc();
+            wrappers.push((operand) => ({
+                kind: 'subtract',
+                args: [{ kind: 'number', value: 0, source: src }, operand],
+                source: src,
+            }));
+            continue;
+        }
+        if (s.match(tokens_1.TokenType.NOT)) {
+            const src = s.loc();
+            wrappers.push((operand) => ({ kind: 'not', args: [operand], source: src }));
+            continue;
+        }
+        if (s.match(tokens_1.TokenType.BOX)) {
+            const src = s.loc();
+            wrappers.push((operand) => ({ kind: 'modal_necessity', args: [operand], source: src }));
+            continue;
+        }
+        if (s.match(tokens_1.TokenType.DIAMOND)) {
+            const src = s.loc();
+            wrappers.push((operand) => ({ kind: 'modal_possibility', args: [operand], source: src }));
+            continue;
+        }
+        if (s.match(tokens_1.TokenType.FORALL)) {
+            const variable = s.expectIdent();
+            const src = s.loc();
+            wrappers.push((operand) => ({ kind: 'forall', variable, args: [operand], source: src }));
+            continue;
+        }
+        if (s.match(tokens_1.TokenType.EXISTS)) {
+            const variable = s.expectIdent();
+            const src = s.loc();
+            wrappers.push((operand) => ({ kind: 'exists', variable, args: [operand], source: src }));
+            continue;
+        }
+        if (s.match(tokens_1.TokenType.NEXT)) {
+            const src = s.loc();
+            wrappers.push((operand) => ({ kind: 'temporal_next', args: [operand], source: src }));
+            continue;
+        }
+        break;
+    }
+    let result = parsePostfix(s);
+    // Aplica wrappers de adentro hacia afuera (orden inverso al de adquisicion)
+    for (let i = wrappers.length - 1; i >= 0; i--) {
+        result = wrappers[i](result);
+    }
+    return result;
+}
+function parsePostfix(s) {
+    let expr = parsePrimary(s);
+    while (s.match(tokens_1.TokenType.LBRACKET)) {
+        const index = parseFormula(s);
+        s.expect(tokens_1.TokenType.RBRACKET);
+        expr = {
+            kind: 'fn_call',
+            name: 'at',
+            args: [expr, index],
+            source: expr.source ?? index.source ?? s.loc(),
+        };
+    }
+    return expr;
+}
+function parsePrimary(s) {
+    // Constantes lógicas ⊤/⊥ (true/false/verdadero/falso)
+    if (s.checkType(tokens_1.TokenType.TRUE_CONST)) {
+        const tok = s.current();
+        s.advance();
+        return { kind: 'true', source: { line: tok.line, column: tok.column } };
+    }
+    if (s.checkType(tokens_1.TokenType.FALSE_CONST)) {
+        const tok = s.current();
+        s.advance();
+        return { kind: 'false', source: { line: tok.line, column: tok.column } };
+    }
+    // Literal numérico
+    if (s.checkType(tokens_1.TokenType.NUMBER)) {
+        const tok = s.current();
+        s.advance();
+        return {
+            kind: 'number',
+            value: parseFloat(tok.value),
+            source: { line: tok.line, column: tok.column },
+        };
+    }
+    if (s.match(tokens_1.TokenType.LBRACKET)) {
+        const items = [];
+        if (!s.checkType(tokens_1.TokenType.RBRACKET)) {
+            items.push(parseFormula(s));
+            while (s.match(tokens_1.TokenType.COMMA)) {
+                items.push(parseFormula(s));
+            }
+        }
+        s.expect(tokens_1.TokenType.RBRACKET);
+        return {
+            kind: 'list',
+            args: items,
+            source: s.loc(),
+        };
+    }
+    // Literal de texto (String)
+    if (s.checkType(tokens_1.TokenType.STRING)) {
+        const tok = s.current();
+        s.advance();
+        return {
+            kind: 'atom',
+            name: `"${tok.value}"`,
+            source: { line: tok.line, column: tok.column },
+        };
+    }
+    // Paréntesis
+    if (s.match(tokens_1.TokenType.LPAREN)) {
+        const inner = parseFormula(s);
+        s.expect(tokens_1.TokenType.RPAREN);
+        return inner;
+    }
+    // Dot notation con keyword como prefijo: Logic.mp, Theory.axiom, etc.
+    if (s.checkType(tokens_1.TokenType.DOT) === false &&
+        s.current().type !== tokens_1.TokenType.IDENTIFIER &&
+        s.current().type !== tokens_1.TokenType.NEWLINE &&
+        s.current().type !== tokens_1.TokenType.EOF &&
+        s.peek(1) === tokens_1.TokenType.DOT &&
+        s.peek(2) === tokens_1.TokenType.IDENTIFIER) {
+        const tok = s.current();
+        s.advance(); // consumir keyword
+        s.advance(); // consumir DOT
+        const memberTok = s.current();
+        s.advance(); // consumir IDENTIFIER
+        return {
+            kind: 'atom',
+            name: `${tok.value}.${memberTok.value}`,
+            source: { line: tok.line, column: tok.column },
+        };
+    }
+    // Predicado o Atomo proposicional
+    if (s.checkType(tokens_1.TokenType.IDENTIFIER)) {
+        const tok = s.current();
+        s.advance();
+        // Notación con punto: Theory.member (acceso calificado)
+        if (s.checkType(tokens_1.TokenType.DOT) && s.peek(1) === tokens_1.TokenType.IDENTIFIER) {
+            s.advance(); // consumir DOT
+            const memberTok = s.current();
+            s.advance(); // consumir IDENTIFIER
+            return {
+                kind: 'atom',
+                name: `${tok.value}.${memberTok.value}`,
+                source: { line: tok.line, column: tok.column },
+            };
+        }
+        if (s.match(tokens_1.TokenType.LPAREN)) {
+            // Modal alias check: e.g. K(P) in epistemic, O(P) in deontic
+            const profileAliases = exports.MODAL_ALIASES[s.currentProfile];
+            const aliasType = profileAliases?.[tok.value];
+            if (aliasType) {
+                const inner = parseFormula(s);
+                s.expect(tokens_1.TokenType.RPAREN);
+                if (aliasType === 'box') {
+                    return {
+                        kind: 'modal_necessity',
+                        args: [inner],
+                        source: { line: tok.line, column: tok.column },
+                    };
+                }
+                else if (aliasType === 'diamond') {
+                    return {
+                        kind: 'modal_possibility',
+                        args: [inner],
+                        source: { line: tok.line, column: tok.column },
+                    };
+                }
+                else {
+                    // box_not: e.g. deontic F(φ) = □(¬φ)
+                    return {
+                        kind: 'modal_necessity',
+                        args: [{ kind: 'not', args: [inner], source: { line: tok.line, column: tok.column } }],
+                        source: { line: tok.line, column: tok.column },
+                    };
+                }
+            }
+            // Podría ser un predicado P(x, y) o una llamada a función fn(arg1, arg2)
+            if (s.knownFunctionNames.has(tok.value) || s.knownTheoryNames.has(tok.value)) {
+                const args = [];
+                if (!s.checkType(tokens_1.TokenType.RPAREN)) {
+                    args.push(parseFormula(s));
+                    while (s.match(tokens_1.TokenType.COMMA)) {
+                        args.push(parseFormula(s));
+                    }
+                }
+                s.expect(tokens_1.TokenType.RPAREN);
+                return {
+                    kind: 'fn_call',
+                    name: tok.value,
+                    args,
+                    source: { line: tok.line, column: tok.column },
+                };
+            }
+            // Predicado: P(x, y, ...)
+            const args = [];
+            if (!s.checkType(tokens_1.TokenType.RPAREN)) {
+                args.push(parseFormula(s));
+                while (s.match(tokens_1.TokenType.COMMA)) {
+                    args.push(parseFormula(s));
+                }
+            }
+            s.expect(tokens_1.TokenType.RPAREN);
+            const paramStrings = args.map((a) => formulaToString(a));
+            const predFormula = {
+                kind: 'predicate',
+                name: tok.value,
+                params: paramStrings,
+                source: { line: tok.line, column: tok.column },
+            };
+            // FOL igualdad: P(x) = Q(y)
+            if (s.checkType(tokens_1.TokenType.EQUALS)) {
+                s.advance();
+                const right = parsePrimary(s);
+                return {
+                    kind: 'equals',
+                    args: [predFormula, right],
+                    source: { line: tok.line, column: tok.column },
+                };
+            }
+            return predFormula;
+        }
+        // FOL igualdad: x = y
+        if (s.checkType(tokens_1.TokenType.EQUALS)) {
+            s.advance();
+            const rightTok = s.current();
+            if (s.checkType(tokens_1.TokenType.IDENTIFIER)) {
+                s.advance();
+                const left = {
+                    kind: 'atom',
+                    name: tok.value,
+                    source: { line: tok.line, column: tok.column },
+                };
+                const right = {
+                    kind: 'atom',
+                    name: rightTok.value,
+                    source: { line: rightTok.line, column: rightTok.column },
+                };
+                return {
+                    kind: 'equals',
+                    args: [left, right],
+                    source: { line: tok.line, column: tok.column },
+                };
+            }
+            // Si no es un identificador, backtrack — el = pertenece al statement
+            s.pos--;
+        }
+        return { kind: 'atom', name: tok.value, source: { line: tok.line, column: tok.column } };
+    }
+    throw new Error(`Se esperaba formula en linea ${s.current().line}, columna ${s.current().column}, ` +
+        `encontrado: '${s.current().value}' (${s.current().type})`);
+}
+// --- Helpers de presentacion de formula ---
+function collectAssociativeArgs(f, kind) {
+    if (f.kind !== kind || !f.args?.length)
+        return [f];
+    const items = [];
+    for (const arg of f.args) {
+        if (!arg)
+            continue;
+        items.push(...collectAssociativeArgs(arg, kind));
+    }
+    return items;
+}
+function formulaToString(f) {
+    const arg0 = f.args?.[0];
+    const arg1 = f.args?.[1];
+    switch (f.kind) {
+        case 'atom':
+            return f.name || '?';
+        case 'list':
+            return `[${(f.args ?? []).map((a) => formulaToString(a)).join(', ')}]`;
+        case 'number':
+            return f.value !== undefined ? String(f.value) : '?';
+        case 'not':
+            return arg0 ? `!${formulaToString(arg0)}` : '!?';
+        case 'modal_necessity':
+            return arg0 ? `[]${formulaToString(arg0)}` : '[]?';
+        case 'modal_possibility':
+            return arg0 ? `<>${formulaToString(arg0)}` : '<>?';
+        case 'forall':
+            return arg0 ? `forall ${f.variable} ${formulaToString(arg0)}` : `forall ${f.variable} ?`;
+        case 'exists':
+            return arg0 ? `exists ${f.variable} ${formulaToString(arg0)}` : `exists ${f.variable} ?`;
+        case 'predicate': {
+            const params = f.params || [];
+            return `${f.name || '?'}(${params.join(', ')})`;
+        }
+        case 'and':
+            return arg0 && arg1
+                ? `(${collectAssociativeArgs(f, 'and')
+                    .map((a) => formulaToString(a))
+                    .join(' & ')})`
+                : '(? & ?)';
+        case 'or':
+            return arg0 && arg1
+                ? `(${collectAssociativeArgs(f, 'or')
+                    .map((a) => formulaToString(a))
+                    .join(' | ')})`
+                : '(? | ?)';
+        case 'nand':
+            return arg0 && arg1 ? `(${formulaToString(arg0)} ↑ ${formulaToString(arg1)})` : '(? ↑ ?)';
+        case 'nor':
+            return arg0 && arg1 ? `(${formulaToString(arg0)} ↓ ${formulaToString(arg1)})` : '(? ↓ ?)';
+        case 'xor':
+            return arg0 && arg1
+                ? `(${collectAssociativeArgs(f, 'xor')
+                    .map((a) => formulaToString(a))
+                    .join(' ⊕ ')})`
+                : '(? ⊕ ?)';
+        case 'implies':
+            return arg0 && arg1 ? `(${formulaToString(arg0)} -> ${formulaToString(arg1)})` : '(? -> ?)';
+        case 'biconditional':
+            return arg0 && arg1 ? `(${formulaToString(arg0)} <-> ${formulaToString(arg1)})` : '(? <-> ?)';
+        case 'equals':
+            return arg0 && arg1 ? `(${formulaToString(arg0)} = ${formulaToString(arg1)})` : '(? = ?)';
+        case 'temporal_next':
+            return arg0 ? `X(${formulaToString(arg0)})` : 'X(?)';
+        case 'temporal_until':
+            return arg0 && arg1 ? `(${formulaToString(arg0)} U ${formulaToString(arg1)})` : '(? U ?)';
+        case 'fn_call':
+            return `${f.name || '?'}(${(f.args ?? []).map((a) => formulaToString(a)).join(', ')})`;
+        default:
+            return '?';
+    }
+}
+// --- Helper expuesto: parseIdList (usado por derive/prove y futuras) ---
+function parseIdList(s) {
+    s.expect(tokens_1.TokenType.LBRACE);
+    const ids = [];
+    if (!s.checkType(tokens_1.TokenType.RBRACE)) {
+        ids.push(s.expectIdent());
+        while (s.match(tokens_1.TokenType.COMMA)) {
+            ids.push(s.expectIdent());
+        }
+    }
+    s.expect(tokens_1.TokenType.RBRACE);
+    return ids;
+}
+//# sourceMappingURL=formulas.js.map

package/dist/parser/formulas.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formulas.js","sourceRoot":"","sources":["../../src/parser/formulas.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,kDAAkD;AAClD,+DAA+D;AAC/D,EAAE;AACF,kCAAkC;AAClC,2BAA2B;AAC3B,6CAA6C;AAC7C,kCAAkC;AAClC,yDAAyD;AACzD,6BAA6B;AAC7B,kCAAkC;AAClC,qBAAqB;AACrB,8BAA8B;AAC9B,gDAAgD;AAChD,kCAAkC;AAClC,sDAAsD;;;AAiBtD,oCAEC;AAobD,0CA8DC;AAID,kCAWC;AAlhBD,4CAA4C;AAI5C,wEAAwE;AAC3D,QAAA,aAAa,GAAkE;IAC1F,kBAAkB,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE;IAC5D,cAAc,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE;IAC1C,cAAc,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,SAAS,EAAE;IAC1C,SAAS,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE;IACzC,UAAU,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE;IAC1C,UAAU,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE;IAC1C,SAAS,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,SAAS,EAAE;CAC1C,CAAC;AAEF,SAAgB,YAAY,CAAC,CAAc;IACzC,OAAO,kBAAkB,CAAC,CAAC,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,kBAAkB,CAAC,CAAc;IACxC,IAAI,IAAI,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;IAC/B,OAAO,CAAC,CAAC,KAAK,CAAC,kBAAS,CAAC,aAAa,CAAC,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QAClC,IAAI,GAAG,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC;IACzE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,gBAAgB,CAAC,CAAc;IACtC,MAAM,IAAI,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;IACjC,IAAI,CAAC,CAAC,KAAK,CAAC,kBAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,6BAA6B;QAC7B,MAAM,KAAK,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QAClC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC;IACnE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,gBAAgB,CAAC,CAAc;IACtC,IAAI,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;IACzB,IAAI,SAAS,GAAgC,IAAI,CAAC;IAClD,OAAO,CAAC,CAAC,KAAK,CAAC,kBAAS,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,kBAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,kBAAS,CAAC,GAAG,CAAC,EAAE,CAAC;QACjF,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC;QAC/B,MAAM,WAAW,GACf,IAAI,KAAK,kBAAS,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,kBAAS,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;QACxE,IAAI,SAAS,KAAK,IAAI,IAAI,SAAS,KAAK,WAAW,EAAE,CAAC;YACpD,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;YACzB,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC;gBACjB,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,wBAAwB,SAAS,IAAI,WAAW,kGAAkG;gBAC3J,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,MAAM,EAAE,GAAG,CAAC,MAAM;aACnB,CAAC,CAAC;QACL,CAAC;QACD,SAAS,GAAG,SAAS,IAAI,WAAW,CAAC;QACrC,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAI,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC;IACrE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,UAAU,CAAC,CAAc;IAChC,IAAI,IAAI,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;IAC/B,OAAO,CAAC,CAAC,KAAK,CAAC,kBAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QAChC,MAAM,KAAK,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QAClC,IAAI,GAAG,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC;IAC1E,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,gBAAgB,CAAC,CAAc;IACtC,IAAI,IAAI,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAI,SAAS,GAA0B,IAAI,CAAC;IAC5C,OAAO,CAAC,CAAC,KAAK,CAAC,kBAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,kBAAS,CAAC,IAAI,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC;QAC/B,MAAM,WAAW,GAAmB,IAAI,KAAK,kBAAS,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;QAC5E,IAAI,SAAS,KAAK,IAAI,IAAI,SAAS,KAAK,WAAW,EAAE,CAAC;YACpD,MAAM,GAAG,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;YACzB,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC;gBACjB,QAAQ,EAAE,SAAS;gBACnB,OAAO,EAAE,wBAAwB,SAAS,IAAI,WAAW,kGAAkG;gBAC3J,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,MAAM,EAAE,GAAG,CAAC,MAAM;aACnB,CAAC,CAAC;QACL,CAAC;QACD,SAAS,GAAG,SAAS,IAAI,WAAW,CAAC;QACrC,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,CAAC,CAAC;QACjC,IAAI,GAAG,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC;IACrE,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,gCAAgC;AAEhC,SAAS,eAAe,CAAC,CAAc;IACrC,IAAI,IAAI,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;IAC5B,OACE,CAAC,CAAC,SAAS,CAAC,kBAAS,CAAC,EAAE,CAAC;QACzB,CAAC,CAAC,SAAS,CAAC,kBAAS,CAAC,EAAE,CAAC;QACzB,CAAC,CAAC,SAAS,CAAC,kBAAS,CAAC,GAAG,CAAC;QAC1B,CAAC,CAAC,SAAS,CAAC,kBAAS,CAAC,GAAG,CAAC,EAC1B,CAAC;QACD,IAAI,CAAC,CAAC,KAAK,CAAC,kBAAS,CAAC,EAAE,CAAC,EAAE,CAAC;YAC1B,MAAM,KAAK,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;YAC/B,IAAI,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC;QAChE,CAAC;aAAM,IAAI,CAAC,CAAC,KAAK,CAAC,kBAAS,CAAC,EAAE,CAAC,EAAE,CAAC;YACjC,MAAM,KAAK,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;YAC/B,IAAI,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC;QACnE,CAAC;aAAM,IAAI,CAAC,CAAC,KAAK,CAAC,kBAAS,CAAC,GAAG,CAAC,EAAE,CAAC;YAClC,MAAM,KAAK,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;YAC/B,IAAI,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC;QACnE,CAAC;aAAM,IAAI,CAAC,CAAC,KAAK,CAAC,kBAAS,CAAC,GAAG,CAAC,EAAE,CAAC;YAClC,MAAM,KAAK,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;YAC/B,IAAI,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC;QACtE,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,aAAa,CAAC,CAAc;IACnC,IAAI,IAAI,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAAC;IAClC,OAAO,CAAC,CAAC,SAAS,CAAC,kBAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,kBAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QACnE,IAAI,CAAC,CAAC,KAAK,CAAC,kBAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,MAAM,KAAK,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAAC;YACrC,IAAI,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC;QAC/D,CAAC;aAAM,IAAI,CAAC,CAAC,KAAK,CAAC,kBAAS,CAAC,KAAK,CAAC,EAAE,CAAC;YACpC,MAAM,KAAK,GAAG,mBAAmB,CAAC,CAAC,CAAC,CAAC;YACrC,IAAI,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC;QACpE,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,mBAAmB,CAAC,CAAc;IACzC,IAAI,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;IACzB,OACE,CAAC,CAAC,SAAS,CAAC,kBAAS,CAAC,IAAI,CAAC;QAC3B,CAAC,CAAC,SAAS,CAAC,kBAAS,CAAC,KAAK,CAAC;QAC5B,CAAC,CAAC,SAAS,CAAC,kBAAS,CAAC,OAAO,CAAC,EAC9B,CAAC;QACD,IAAI,CAAC,CAAC,KAAK,CAAC,kBAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAC5B,IAAI,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC;QACpE,CAAC;aAAM,IAAI,CAAC,CAAC,KAAK,CAAC,kBAAS,CAAC,KAAK,CAAC,EAAE,CAAC;YACpC,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAC5B,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC;QAClE,CAAC;aAAM,IAAI,CAAC,CAAC,KAAK,CAAC,kBAAS,CAAC,OAAO,CAAC,EAAE,CAAC;YACtC,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;YAC5B,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC;QAClE,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,UAAU,CAAC,CAAc;IAKhC,MAAM,QAAQ,GAAmB,EAAE,CAAC;IAEpC,OAAO,IAAI,EAAE,CAAC;QACZ,IAAI,CAAC,CAAC,KAAK,CAAC,kBAAS,CAAC,KAAK,CAAC,EAAE,CAAC;YAC7B,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACpB,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;gBAC1B,IAAI,EAAE,UAAU;gBAChB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,OAAO,CAAC;gBAC1D,MAAM,EAAE,GAAG;aACZ,CAAC,CAAC,CAAC;YACJ,SAAS;QACX,CAAC;QACD,IAAI,CAAC,CAAC,KAAK,CAAC,kBAAS,CAAC,GAAG,CAAC,EAAE,CAAC;YAC3B,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACpB,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;YAC5E,SAAS;QACX,CAAC;QACD,IAAI,CAAC,CAAC,KAAK,CAAC,kBAAS,CAAC,GAAG,CAAC,EAAE,CAAC;YAC3B,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACpB,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;YACxF,SAAS;QACX,CAAC;QACD,IAAI,CAAC,CAAC,KAAK,CAAC,kBAAS,CAAC,OAAO,CAAC,EAAE,CAAC;YAC/B,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACpB,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;YAC1F,SAAS;QACX,CAAC;QACD,IAAI,CAAC,CAAC,KAAK,CAAC,kBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9B,MAAM,QAAQ,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;YACjC,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACpB,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;YACzF,SAAS;QACX,CAAC;QACD,IAAI,CAAC,CAAC,KAAK,CAAC,kBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9B,MAAM,QAAQ,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;YACjC,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACpB,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;YACzF,SAAS;QACX,CAAC;QACD,IAAI,CAAC,CAAC,KAAK,CAAC,kBAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,EAAE,CAAC;YACpB,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;YACtF,SAAS;QACX,CAAC;QACD,MAAM;IACR,CAAC;IAED,IAAI,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IAC7B,4EAA4E;IAC5E,KAAK,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC9C,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAC/B,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,YAAY,CAAC,CAAc;IAClC,IAAI,IAAI,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;IAE3B,OAAO,CAAC,CAAC,KAAK,CAAC,kBAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;QACnC,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,CAAC,CAAC,MAAM,CAAC,kBAAS,CAAC,QAAQ,CAAC,CAAC;QAC7B,IAAI,GAAG;YACL,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC;YACnB,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,EAAE;SAC/C,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,YAAY,CAAC,CAAc;IAClC,sDAAsD;IACtD,IAAI,CAAC,CAAC,SAAS,CAAC,kBAAS,CAAC,UAAU,CAAC,EAAE,CAAC;QACtC,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC;QACxB,CAAC,CAAC,OAAO,EAAE,CAAC;QACZ,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC;IAC1E,CAAC;IACD,IAAI,CAAC,CAAC,SAAS,CAAC,kBAAS,CAAC,WAAW,CAAC,EAAE,CAAC;QACvC,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC;QACxB,CAAC,CAAC,OAAO,EAAE,CAAC;QACZ,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC;IAC3E,CAAC;IAED,mBAAmB;IACnB,IAAI,CAAC,CAAC,SAAS,CAAC,kBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QAClC,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC;QACxB,CAAC,CAAC,OAAO,EAAE,CAAC;QACZ,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC;YAC5B,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE;SAC/C,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,CAAC,KAAK,CAAC,kBAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;QAChC,MAAM,KAAK,GAAc,EAAE,CAAC;QAC5B,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,kBAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;YACrC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5B,OAAO,CAAC,CAAC,KAAK,CAAC,kBAAS,CAAC,KAAK,CAAC,EAAE,CAAC;gBAChC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;YAC9B,CAAC;QACH,CAAC;QACD,CAAC,CAAC,MAAM,CAAC,kBAAS,CAAC,QAAQ,CAAC,CAAC;QAC7B,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,KAAK;YACX,MAAM,EAAE,CAAC,CAAC,GAAG,EAAE;SAChB,CAAC;IACJ,CAAC;IAED,4BAA4B;IAC5B,IAAI,CAAC,CAAC,SAAS,CAAC,kBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QAClC,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC;QACxB,CAAC,CAAC,OAAO,EAAE,CAAC;QACZ,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,IAAI,GAAG,CAAC,KAAK,GAAG;YACtB,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE;SAC/C,CAAC;IACJ,CAAC;IAED,aAAa;IACb,IAAI,CAAC,CAAC,KAAK,CAAC,kBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9B,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,CAAC,CAAC,MAAM,CAAC,kBAAS,CAAC,MAAM,CAAC,CAAC;QAC3B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,sEAAsE;IACtE,IACE,CAAC,CAAC,SAAS,CAAC,kBAAS,CAAC,GAAG,CAAC,KAAK,KAAK;QACpC,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,KAAK,kBAAS,CAAC,UAAU;QACzC,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,KAAK,kBAAS,CAAC,OAAO;QACtC,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,KAAK,kBAAS,CAAC,GAAG;QAClC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,kBAAS,CAAC,GAAG;QAC3B,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,kBAAS,CAAC,UAAU,EAClC,CAAC;QACD,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC;QACxB,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,mBAAmB;QAChC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,eAAe;QAC5B,MAAM,SAAS,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC;QAC9B,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,sBAAsB;QACnC,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,GAAG,GAAG,CAAC,KAAK,IAAI,SAAS,CAAC,KAAK,EAAE;YACvC,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE;SAC/C,CAAC;IACJ,CAAC;IAED,kCAAkC;IAClC,IAAI,CAAC,CAAC,SAAS,CAAC,kBAAS,CAAC,UAAU,CAAC,EAAE,CAAC;QACtC,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC;QACxB,CAAC,CAAC,OAAO,EAAE,CAAC;QAEZ,wDAAwD;QACxD,IAAI,CAAC,CAAC,SAAS,CAAC,kBAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,kBAAS,CAAC,UAAU,EAAE,CAAC;YACrE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,eAAe;YAC5B,MAAM,SAAS,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC;YAC9B,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,sBAAsB;YACnC,OAAO;gBACL,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE,GAAG,GAAG,CAAC,KAAK,IAAI,SAAS,CAAC,KAAK,EAAE;gBACvC,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE;aAC/C,CAAC;QACJ,CAAC;QAED,IAAI,CAAC,CAAC,KAAK,CAAC,kBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9B,6DAA6D;YAC7D,MAAM,cAAc,GAAG,qBAAa,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC;YACvD,MAAM,SAAS,GAAG,cAAc,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAC9C,IAAI,SAAS,EAAE,CAAC;gBACd,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;gBAC9B,CAAC,CAAC,MAAM,CAAC,kBAAS,CAAC,MAAM,CAAC,CAAC;gBAC3B,IAAI,SAAS,KAAK,KAAK,EAAE,CAAC;oBACxB,OAAO;wBACL,IAAI,EAAE,iBAAiB;wBACvB,IAAI,EAAE,CAAC,KAAK,CAAC;wBACb,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE;qBAC/C,CAAC;gBACJ,CAAC;qBAAM,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;oBACnC,OAAO;wBACL,IAAI,EAAE,mBAAmB;wBACzB,IAAI,EAAE,CAAC,KAAK,CAAC;wBACb,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE;qBAC/C,CAAC;gBACJ,CAAC;qBAAM,CAAC;oBACN,qCAAqC;oBACrC,OAAO;wBACL,IAAI,EAAE,iBAAiB;wBACvB,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC;wBACtF,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE;qBAC/C,CAAC;gBACJ,CAAC;YACH,CAAC;YAED,yEAAyE;YACzE,IAAI,CAAC,CAAC,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC7E,MAAM,IAAI,GAAc,EAAE,CAAC;gBAC3B,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,kBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;oBACnC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;oBAC3B,OAAO,CAAC,CAAC,KAAK,CAAC,kBAAS,CAAC,KAAK,CAAC,EAAE,CAAC;wBAChC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;oBAC7B,CAAC;gBACH,CAAC;gBACD,CAAC,CAAC,MAAM,CAAC,kBAAS,CAAC,MAAM,CAAC,CAAC;gBAC3B,OAAO;oBACL,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,GAAG,CAAC,KAAK;oBACf,IAAI;oBACJ,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE;iBAC/C,CAAC;YACJ,CAAC;YAED,0BAA0B;YAC1B,MAAM,IAAI,GAAc,EAAE,CAAC;YAC3B,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,kBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;gBACnC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC3B,OAAO,CAAC,CAAC,KAAK,CAAC,kBAAS,CAAC,KAAK,CAAC,EAAE,CAAC;oBAChC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC7B,CAAC;YACH,CAAC;YACD,CAAC,CAAC,MAAM,CAAC,kBAAS,CAAC,MAAM,CAAC,CAAC;YAE3B,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC;YACzD,MAAM,WAAW,GAAY;gBAC3B,IAAI,EAAE,WAAW;gBACjB,IAAI,EAAE,GAAG,CAAC,KAAK;gBACf,MAAM,EAAE,YAAY;gBACpB,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE;aAC/C,CAAC;YAEF,4BAA4B;YAC5B,IAAI,CAAC,CAAC,SAAS,CAAC,kBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;gBAClC,CAAC,CAAC,OAAO,EAAE,CAAC;gBACZ,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC,CAAC;gBAC9B,OAAO;oBACL,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,CAAC,WAAW,EAAE,KAAK,CAAC;oBAC1B,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE;iBAC/C,CAAC;YACJ,CAAC;YACD,OAAO,WAAW,CAAC;QACrB,CAAC;QAED,sBAAsB;QACtB,IAAI,CAAC,CAAC,SAAS,CAAC,kBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;YAClC,CAAC,CAAC,OAAO,EAAE,CAAC;YACZ,MAAM,QAAQ,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC;YAC7B,IAAI,CAAC,CAAC,SAAS,CAAC,kBAAS,CAAC,UAAU,CAAC,EAAE,CAAC;gBACtC,CAAC,CAAC,OAAO,EAAE,CAAC;gBACZ,MAAM,IAAI,GAAY;oBACpB,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,GAAG,CAAC,KAAK;oBACf,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE;iBAC/C,CAAC;gBACF,MAAM,KAAK,GAAY;oBACrB,IAAI,EAAE,MAAM;oBACZ,IAAI,EAAE,QAAQ,CAAC,KAAK;oBACpB,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE;iBACzD,CAAC;gBACF,OAAO;oBACL,IAAI,EAAE,QAAQ;oBACd,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC;oBACnB,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE;iBAC/C,CAAC;YACJ,CAAC;YACD,qEAAqE;YACrE,CAAC,CAAC,GAAG,EAAE,CAAC;QACV,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC;IAC3F,CAAC;IAED,MAAM,IAAI,KAAK,CACb,gCAAgC,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,aAAa,CAAC,CAAC,OAAO,EAAE,CAAC,MAAM,IAAI;QACjF,gBAAgB,CAAC,CAAC,OAAO,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,GAAG,CAC7D,CAAC;AACJ,CAAC;AAED,6CAA6C;AAE7C,SAAS,sBAAsB,CAAC,CAAU,EAAE,IAA0B;IACpE,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM;QAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IACnD,MAAM,KAAK,GAAc,EAAE,CAAC;IAC5B,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;QACzB,IAAI,CAAC,GAAG;YAAE,SAAS;QACnB,KAAK,CAAC,IAAI,CAAC,GAAG,sBAAsB,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAgB,eAAe,CAAC,CAAU;IACxC,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACzB,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAEzB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,MAAM;YACT,OAAO,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC;QACvB,KAAK,MAAM;YACT,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACzE,KAAK,QAAQ;YACX,OAAO,CAAC,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;QACvD,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;QACnD,KAAK,iBAAiB;YACpB,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;QACrD,KAAK,mBAAmB;YACtB,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;QACrD,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,QAAQ,IAAI,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,QAAQ,IAAI,CAAC;QAC3F,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,QAAQ,IAAI,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,QAAQ,IAAI,CAAC;QAC3F,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC;YAC9B,OAAO,GAAG,CAAC,CAAC,IAAI,IAAI,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QAClD,CAAC;QACD,KAAK,KAAK;YACR,OAAO,IAAI,IAAI,IAAI;gBACjB,CAAC,CAAC,IAAI,sBAAsB,CAAC,CAAC,EAAE,KAAK,CAAC;qBACjC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;qBAC9B,IAAI,CAAC,KAAK,CAAC,GAAG;gBACnB,CAAC,CAAC,SAAS,CAAC;QAChB,KAAK,IAAI;YACP,OAAO,IAAI,IAAI,IAAI;gBACjB,CAAC,CAAC,IAAI,sBAAsB,CAAC,CAAC,EAAE,IAAI,CAAC;qBAChC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;qBAC9B,IAAI,CAAC,KAAK,CAAC,GAAG;gBACnB,CAAC,CAAC,SAAS,CAAC;QAChB,KAAK,MAAM;YACT,OAAO,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,MAAM,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5F,KAAK,KAAK;YACR,OAAO,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,MAAM,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5F,KAAK,KAAK;YACR,OAAO,IAAI,IAAI,IAAI;gBACjB,CAAC,CAAC,IAAI,sBAAsB,CAAC,CAAC,EAAE,KAAK,CAAC;qBACjC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;qBAC9B,IAAI,CAAC,KAAK,CAAC,GAAG;gBACnB,CAAC,CAAC,SAAS,CAAC;QAChB,KAAK,SAAS;YACZ,OAAO,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,OAAO,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC;QAC9F,KAAK,eAAe;YAClB,OAAO,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,QAAQ,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC;QAChG,KAAK,QAAQ;YACX,OAAO,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,MAAM,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5F,KAAK,eAAe;YAClB,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;QACvD,KAAK,gBAAgB;YACnB,OAAO,IAAI,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,eAAe,CAAC,IAAI,CAAC,MAAM,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;QAC5F,KAAK,SAAS;YACZ,OAAO,GAAG,CAAC,CAAC,IAAI,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACzF;YACE,OAAO,GAAG,CAAC;IACf,CAAC;AACH,CAAC;AAED,0EAA0E;AAE1E,SAAgB,WAAW,CAAC,CAAc;IACxC,CAAC,CAAC,MAAM,CAAC,kBAAS,CAAC,MAAM,CAAC,CAAC;IAC3B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,kBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;QACnC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;QAC1B,OAAO,CAAC,CAAC,KAAK,CAAC,kBAAS,CAAC,KAAK,CAAC,EAAE,CAAC;YAChC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IACD,CAAC,CAAC,MAAM,CAAC,kBAAS,CAAC,MAAM,CAAC,CAAC;IAC3B,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/parser/parser.d.ts

@@ -1,19 +1,22 @@
 /**
  * ST Parser — Parser recursivo descendente
+ *
+ * Refactor α2 (V4): el parser monolitico se descompone en modulos.
+ * - ./state.ts        — ParserState: token cursor + diagnostico
+ * - ./formulas.ts     — precedencia de formulas + MODAL_ALIASES + formulaToString
+ *
+ * La clase `Parser` es el facade publico: misma firma de constructor,
+ * mismo `parse(source): Program`, mismo `diagnostics`. Los consumidores
+ * (interpreter, cli, api, protocol/handler) NO cambian.
  */
 import { Diagnostic } from '../types';
 import { Program } from '../ast/nodes';
 export declare class Parser {
-    private tokens;
-    private pos;
-    private file;
-    diagnostics: Diagnostic[];
-    private contextStack;
-    private knownFunctionNames;
-    private knownTheoryNames;
-    private currentProfile;
+    private state;
     private initialProfile;
     constructor(file?: string, profile?: string);
+    get diagnostics(): Diagnostic[];
+    set diagnostics(value: Diagnostic[]);
     parse(source: string): Program;
     private parseStatement;
     private parseLogicDecl;
@@ -58,39 +61,7 @@ export declare class Parser {
     private parseMemberFnCall;
     private parseBlock;
     private parseFormula;
-    private parseBiconditional;
-    private parseImplication;
-    private parseDisjunction;
-    private parseUntil;
-    private parseConjunction;
-    private parseComparison;
-    private parseAdditive;
-    private parseMultiplicative;
-    private parseUnary;
-    private parseAtom;
-    private parseIdList;
-    private collectAssociativeArgs;
-    private formulaToString;
-    private current;
-    private previous;
-    private peek;
-    private advance;
-    private isAtEnd;
-    private checkType;
-    private match;
-    private expect;
-    private expectOneOf;
-    private expectIdent;
-    /**
-     * Acepta un IDENTIFIER o cualquier keyword como nombre
-     * (para soportar nombres como "Logic", "Theory", etc. que colisionan con keywords)
-     */
-    private expectName;
-    private contextualize;
-    private withContext;
     private describeStatementContext;
-    private loc;
-    private skipNewlines;
     private advanceToNextStatement;
 }
 //# sourceMappingURL=parser.d.ts.map

package/dist/parser/parser.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../../src/parser/parser.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAAW,UAAU,EAAkB,MAAM,UAAU,CAAC;AAE/D,OAAO,EACL,OAAO,EA0CR,MAAM,cAAc,CAAC;AAatB,qBAAa,MAAM;IACjB,OAAO,CAAC,MAAM,CAAe;IAC7B,OAAO,CAAC,GAAG,CAAa;IACxB,OAAO,CAAC,IAAI,CAAS;IACd,WAAW,EAAE,UAAU,EAAE,CAAM;IACtC,OAAO,CAAC,YAAY,CAAgB;IACpC,OAAO,CAAC,kBAAkB,CAUvB;IACH,OAAO,CAAC,gBAAgB,CAA0B;IAClD,OAAO,CAAC,cAAc,CAAc;IAEpC,OAAO,CAAC,cAAc,CAAqB;gBAE/B,IAAI,GAAE,MAAkB,EAAE,OAAO,CAAC,EAAE,MAAM;IAKtD,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO;IAqC9B,OAAO,CAAC,cAAc;IAwGtB,OAAO,CAAC,cAAc;IActB,OAAO,CAAC,cAAc;IAUtB,OAAO,CAAC,gBAAgB;IAUxB,OAAO,CAAC,cAAc;IAUtB,OAAO,CAAC,aAAa;IAuBrB,OAAO,CAAC,aAAa;IAarB,OAAO,CAAC,oBAAoB;IAa5B,OAAO,CAAC,kBAAkB;IAS1B,OAAO,CAAC,YAAY;IA0EpB,OAAO,CAAC,cAAc;IA+BtB,OAAO,CAAC,gBAAgB;IAUxB,OAAO,CAAC,mBAAmB;IAU3B,OAAO,CAAC,gBAAgB;IAUxB,OAAO,CAAC,cAAc;IA8BtB,OAAO,CAAC,eAAe;IAkBvB,OAAO,CAAC,eAAe;IAOvB,OAAO,CAAC,kBAAkB;IAY1B,OAAO,CAAC,eAAe;IA4DvB,OAAO,CAAC,eAAe;IA0BvB,OAAO,CAAC,eAAe;IAoDvB,OAAO,CAAC,eAAe;IA+DvB,OAAO,CAAC,aAAa;IAcrB,OAAO,CAAC,WAAW;IAUnB,OAAO,CAAC,WAAW;IAwBnB,OAAO,CAAC,WAAW;IASnB,OAAO,CAAC,oBAAoB;IAO5B,OAAO,CAAC,qBAAqB;IAuB7B,OAAO,CAAC,YAAY;IAmBpB,OAAO,CAAC,cAAc;IAUtB,OAAO,CAAC,WAAW;IAmBnB,OAAO,CAAC,eAAe;IAgBvB,OAAO,CAAC,eAAe;IAuBvB,OAAO,CAAC,eAAe;IA0CvB,OAAO,CAAC,cAAc;IAQtB,OAAO,CAAC,YAAY;IAQpB,OAAO,CAAC,eAAe;IAkCvB,OAAO,CAAC,iBAAiB;IAuBzB,OAAO,CAAC,gBAAgB;IAOxB,OAAO,CAAC,WAAW;IAgBnB,OAAO,CAAC,iBAAiB;IAmBzB,OAAO,CAAC,UAAU;IAmClB,OAAO,CAAC,YAAY;IAIpB,OAAO,CAAC,kBAAkB;IAS1B,OAAO,CAAC,gBAAgB;IAUxB,OAAO,CAAC,gBAAgB;IAwBxB,OAAO,CAAC,UAAU;IASlB,OAAO,CAAC,gBAAgB;IAyBxB,OAAO,CAAC,eAAe;IAyBvB,OAAO,CAAC,aAAa;IAcrB,OAAO,CAAC,mBAAmB;IAqB3B,OAAO,CAAC,UAAU;IAuClB,OAAO,CAAC,SAAS;IAwNjB,OAAO,CAAC,WAAW;IAanB,OAAO,CAAC,sBAAsB;IAU9B,OAAO,CAAC,eAAe;IA0EvB,OAAO,CAAC,OAAO;IAOf,OAAO,CAAC,QAAQ;IAKhB,OAAO,CAAC,IAAI;IAMZ,OAAO,CAAC,OAAO;IAMf,OAAO,CAAC,OAAO;IAIf,OAAO,CAAC,SAAS;IAIjB,OAAO,CAAC,KAAK;IAQb,OAAO,CAAC,MAAM;IAYd,OAAO,CAAC,WAAW;IAcnB,OAAO,CAAC,WAAW;IAKnB;;;OAGG;IACH,OAAO,CAAC,UAAU;IAoClB,OAAO,CAAC,aAAa;IAKrB,OAAO,CAAC,WAAW;IASnB,OAAO,CAAC,wBAAwB;IA0EhC,OAAO,CAAC,GAAG;IAKX,OAAO,CAAC,YAAY;IAMpB,OAAO,CAAC,sBAAsB;CA0E/B"}
+{"version":3,"file":"parser.d.ts","sourceRoot":"","sources":["../../src/parser/parser.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAIH,OAAO,EAAW,UAAU,EAAE,MAAM,UAAU,CAAC;AAE/C,OAAO,EACL,OAAO,EA0CR,MAAM,cAAc,CAAC;AAItB,qBAAa,MAAM;IACjB,OAAO,CAAC,KAAK,CAAc;IAC3B,OAAO,CAAC,cAAc,CAAqB;gBAE/B,IAAI,GAAE,MAAkB,EAAE,OAAO,CAAC,EAAE,MAAM;IAOtD,IAAI,WAAW,IAAI,UAAU,EAAE,CAE9B;IAED,IAAI,WAAW,CAAC,KAAK,EAAE,UAAU,EAAE,EAElC;IAED,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO;IA+B9B,OAAO,CAAC,cAAc;IAyGtB,OAAO,CAAC,cAAc;IActB,OAAO,CAAC,cAAc;IAWtB,OAAO,CAAC,gBAAgB;IAWxB,OAAO,CAAC,cAAc;IAWtB,OAAO,CAAC,aAAa;IAwBrB,OAAO,CAAC,aAAa;IAarB,OAAO,CAAC,oBAAoB;IAa5B,OAAO,CAAC,kBAAkB;IAU1B,OAAO,CAAC,YAAY;IAuEpB,OAAO,CAAC,cAAc;IA4BtB,OAAO,CAAC,gBAAgB;IAWxB,OAAO,CAAC,mBAAmB;IAW3B,OAAO,CAAC,gBAAgB;IAWxB,OAAO,CAAC,cAAc;IA4BtB,OAAO,CAAC,eAAe;IAmBvB,OAAO,CAAC,eAAe;IAQvB,OAAO,CAAC,kBAAkB;IAa1B,OAAO,CAAC,eAAe;IA6DvB,OAAO,CAAC,eAAe;IA0BvB,OAAO,CAAC,eAAe;IA0CvB,OAAO,CAAC,eAAe;IAuDvB,OAAO,CAAC,aAAa;IAcrB,OAAO,CAAC,WAAW;IAWnB,OAAO,CAAC,WAAW;IAsBnB,OAAO,CAAC,WAAW;IAQnB,OAAO,CAAC,oBAAoB;IAO5B,OAAO,CAAC,qBAAqB;IAuB7B,OAAO,CAAC,YAAY;IAoBpB,OAAO,CAAC,cAAc;IAWtB,OAAO,CAAC,WAAW;IAoBnB,OAAO,CAAC,eAAe;IAgBvB,OAAO,CAAC,eAAe;IAuBvB,OAAO,CAAC,eAAe;IAwCvB,OAAO,CAAC,cAAc;IAStB,OAAO,CAAC,YAAY;IASpB,OAAO,CAAC,eAAe;IAiCvB,OAAO,CAAC,iBAAiB;IAuBzB,OAAO,CAAC,gBAAgB;IAQxB,OAAO,CAAC,WAAW;IAiBnB,OAAO,CAAC,iBAAiB;IAoBzB,OAAO,CAAC,UAAU;IAwBlB,OAAO,CAAC,YAAY;IAMpB,OAAO,CAAC,wBAAwB;IA0EhC,OAAO,CAAC,sBAAsB;CA0E/B"}