@stevenvo780/st-lang 0.3.0

package/dist/parser/parser.js

@@ -0,0 +1,415 @@
+"use strict";
+// ============================================================
+// ST Parser — Parser recursivo descendente
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.Parser = void 0;
+const tokens_1 = require("../lexer/tokens");
+const lexer_1 = require("../lexer/lexer");
+class Parser {
+    tokens = [];
+    pos = 0;
+    file;
+    diagnostics = [];
+    constructor(file = '<stdin>') {
+        this.file = file;
+    }
+    parse(source) {
+        const lexer = new lexer_1.Lexer(source, this.file);
+        this.tokens = lexer.tokenize();
+        this.diagnostics.push(...lexer.diagnostics);
+        this.pos = 0;
+        const statements = [];
+        while (!this.isAtEnd()) {
+            this.skipNewlines();
+            if (this.isAtEnd())
+                break;
+            try {
+                const stmt = this.parseStatement();
+                if (stmt) {
+                    statements.push(stmt);
+                }
+            }
+            catch (e) {
+                this.diagnostics.push({
+                    severity: 'error',
+                    message: e.message || 'Error de parseo inesperado',
+                    file: this.file,
+                    line: this.current().line,
+                    column: this.current().column,
+                });
+                this.advanceToNextStatement();
+            }
+        }
+        return { statements, file: this.file };
+    }
+    // --- Parsing de statements ---
+    parseStatement() {
+        const tok = this.current();
+        switch (tok.type) {
+            case tokens_1.TokenType.LOGIC:
+                return this.parseLogicDecl();
+            case tokens_1.TokenType.AXIOM:
+                return this.parseAxiomDecl();
+            case tokens_1.TokenType.THEOREM:
+                return this.parseTheoremDecl();
+            case tokens_1.TokenType.DERIVE:
+                return this.parseDeriveCmd();
+            case tokens_1.TokenType.CHECK:
+                return this.parseCheckCmd();
+            case tokens_1.TokenType.PROVE:
+                return this.parseProveCmd();
+            case tokens_1.TokenType.COUNTERMODEL:
+                return this.parseCountermodelCmd();
+            case tokens_1.TokenType.TRUTH_TABLE:
+                return this.parseTruthTableCmd();
+            case tokens_1.TokenType.LET:
+                return this.parseLetDecl();
+            case tokens_1.TokenType.CLAIM:
+                return this.parseClaimDecl();
+            case tokens_1.TokenType.SUPPORT:
+                return this.parseSupportDecl();
+            case tokens_1.TokenType.CONFIDENCE:
+                return this.parseConfidenceDecl();
+            case tokens_1.TokenType.CONTEXT:
+                return this.parseContextDecl();
+            case tokens_1.TokenType.RENDER:
+                return this.parseRenderCmd();
+            case tokens_1.TokenType.NEWLINE:
+                this.advance();
+                return null;
+            case tokens_1.TokenType.EOF:
+                return null;
+            default:
+                throw new Error(`Statement inesperado: '${tok.value}' (${tok.type})`);
+        }
+    }
+    // logic classical.propositional
+    parseLogicDecl() {
+        const src = this.loc();
+        this.expect(tokens_1.TokenType.LOGIC);
+        let profile = '';
+        // Leer perfil como secuencia de ID.ID
+        profile = this.expectIdent();
+        while (this.match(tokens_1.TokenType.DOT)) {
+            profile += '.';
+            profile += this.expectIdent();
+        }
+        return { kind: 'logic_decl', profile, source: src };
+    }
+    // axiom name = FORMULA  o  axiom name : FORMULA
+    parseAxiomDecl() {
+        const src = this.loc();
+        this.expect(tokens_1.TokenType.AXIOM);
+        const name = this.expectIdent();
+        this.expectOneOf(tokens_1.TokenType.EQUALS, tokens_1.TokenType.COLON);
+        const formula = this.parseFormula();
+        return { kind: 'axiom_decl', name, formula, source: src };
+    }
+    // theorem name = FORMULA  o  theorem name : FORMULA
+    parseTheoremDecl() {
+        const src = this.loc();
+        this.expect(tokens_1.TokenType.THEOREM);
+        const name = this.expectIdent();
+        this.expectOneOf(tokens_1.TokenType.EQUALS, tokens_1.TokenType.COLON);
+        const formula = this.parseFormula();
+        return { kind: 'theorem_decl', name, formula, source: src };
+    }
+    // derive FORMULA from {a1, a2, ...}
+    parseDeriveCmd() {
+        const src = this.loc();
+        this.expect(tokens_1.TokenType.DERIVE);
+        const goal = this.parseFormula();
+        this.expect(tokens_1.TokenType.FROM);
+        const premises = this.parseIdList();
+        return { kind: 'derive_cmd', goal, premises, source: src };
+    }
+    // check valid FORMULA | check satisfiable FORMULA | check equivalent F, F
+    parseCheckCmd() {
+        const src = this.loc();
+        this.expect(tokens_1.TokenType.CHECK);
+        if (this.match(tokens_1.TokenType.VALID)) {
+            const formula = this.parseFormula();
+            return { kind: 'check_valid_cmd', formula, source: src };
+        }
+        if (this.match(tokens_1.TokenType.SATISFIABLE)) {
+            const formula = this.parseFormula();
+            return { kind: 'check_satisfiable_cmd', formula, source: src };
+        }
+        if (this.match(tokens_1.TokenType.EQUIVALENT)) {
+            const left = this.parseFormula();
+            this.expect(tokens_1.TokenType.COMMA);
+            const right = this.parseFormula();
+            return { kind: 'check_equivalent_cmd', left, right, source: src };
+        }
+        throw new Error(`Se esperaba 'valid', 'satisfiable' o 'equivalent' despues de 'check'`);
+    }
+    // prove FORMULA from {a1, a2}
+    parseProveCmd() {
+        const src = this.loc();
+        this.expect(tokens_1.TokenType.PROVE);
+        const goal = this.parseFormula();
+        this.expect(tokens_1.TokenType.FROM);
+        const premises = this.parseIdList();
+        return { kind: 'prove_cmd', goal, premises, source: src };
+    }
+    // countermodel FORMULA
+    parseCountermodelCmd() {
+        const src = this.loc();
+        this.expect(tokens_1.TokenType.COUNTERMODEL);
+        const formula = this.parseFormula();
+        return { kind: 'countermodel_cmd', formula, source: src };
+    }
+    // truth_table FORMULA
+    parseTruthTableCmd() {
+        const src = this.loc();
+        this.expect(tokens_1.TokenType.TRUTH_TABLE);
+        const formula = this.parseFormula();
+        return { kind: 'truth_table_cmd', formula, source: src };
+    }
+    // let name = passage([[path#anchor]])
+    // let name = formalize passageName as FORMULA
+    parseLetDecl() {
+        const src = this.loc();
+        this.expect(tokens_1.TokenType.LET);
+        const name = this.expectIdent();
+        this.expect(tokens_1.TokenType.EQUALS);
+        if (this.match(tokens_1.TokenType.PASSAGE)) {
+            this.expect(tokens_1.TokenType.LPAREN);
+            this.expect(tokens_1.TokenType.LBRACKET_DOUBLE);
+            // El lexer ya leyó el contenido como STRING entre [[ y ]]
+            let anchorPath = '';
+            if (this.checkType(tokens_1.TokenType.STRING)) {
+                anchorPath = this.current().value;
+                this.advance();
+            }
+            else {
+                // Fallback: leer tokens hasta ]]
+                while (!this.checkType(tokens_1.TokenType.RBRACKET_DOUBLE) && !this.isAtEnd()) {
+                    anchorPath += this.current().value;
+                    this.advance();
+                }
+            }
+            this.expect(tokens_1.TokenType.RBRACKET_DOUBLE);
+            this.expect(tokens_1.TokenType.RPAREN);
+            return { kind: 'let_decl', name, letType: 'passage', anchorPath, source: src };
+        }
+        if (this.match(tokens_1.TokenType.FORMALIZE)) {
+            const passageName = this.expectIdent();
+            this.expect(tokens_1.TokenType.AS);
+            const formula = this.parseFormula();
+            return { kind: 'let_decl', name, letType: 'formalize', passageName, formula, source: src };
+        }
+        throw new Error(`Se esperaba 'passage' o 'formalize' despues de '='`);
+    }
+    // claim name = ID_OR_FORMULA
+    parseClaimDecl() {
+        const src = this.loc();
+        this.expect(tokens_1.TokenType.CLAIM);
+        const name = this.expectIdent();
+        this.expect(tokens_1.TokenType.EQUALS);
+        // Intentar parsear como fórmula; si es solo un ID simple, guardarlo como value
+        const saved = this.pos;
+        try {
+            const formula = this.parseFormula();
+            return { kind: 'claim_decl', name, value: this.formulaToString(formula), formula, source: src };
+        }
+        catch {
+            this.pos = saved;
+            const value = this.expectIdent();
+            return { kind: 'claim_decl', name, value, source: src };
+        }
+    }
+    // support claimName <- sourceName
+    parseSupportDecl() {
+        const src = this.loc();
+        this.expect(tokens_1.TokenType.SUPPORT);
+        const claimName = this.expectIdent();
+        this.expect(tokens_1.TokenType.BACK_ARROW);
+        const sourceName = this.expectIdent();
+        return { kind: 'support_decl', claimName, sourceName, source: src };
+    }
+    // confidence claimName = NUMBER
+    parseConfidenceDecl() {
+        const src = this.loc();
+        this.expect(tokens_1.TokenType.CONFIDENCE);
+        const claimName = this.expectIdent();
+        this.expect(tokens_1.TokenType.EQUALS);
+        const tok = this.expect(tokens_1.TokenType.NUMBER);
+        return { kind: 'confidence_decl', claimName, value: parseFloat(tok.value), source: src };
+    }
+    // context claimName = "text"
+    parseContextDecl() {
+        const src = this.loc();
+        this.expect(tokens_1.TokenType.CONTEXT);
+        const claimName = this.expectIdent();
+        this.expect(tokens_1.TokenType.EQUALS);
+        const tok = this.expect(tokens_1.TokenType.STRING);
+        return { kind: 'context_decl', claimName, text: tok.value, source: src };
+    }
+    // render target --format FORMAT
+    parseRenderCmd() {
+        const src = this.loc();
+        this.expect(tokens_1.TokenType.RENDER);
+        const target = this.expectIdent();
+        let format = 'markdown';
+        // Opcionalmente leer --format
+        // Simplificado: si hay un ident 'markdown' o 'json' o 'text' después, lo tomamos
+        if (this.checkType(tokens_1.TokenType.IDENTIFIER)) {
+            format = this.current().value;
+            this.advance();
+        }
+        return { kind: 'render_cmd', target, format, source: src };
+    }
+    // --- Parsing de fórmulas (precedencia) ---
+    // Precedencia (de menor a mayor):
+    // 1. <-> (bicondicional)
+    // 2. -> (implicación, asocia a la derecha)
+    // 3. | (disyunción)
+    // 4. & (conjunción)
+    // 5. ! (negación) y átomos
+    parseFormula() {
+        return this.parseBiconditional();
+    }
+    parseBiconditional() {
+        let left = this.parseImplication();
+        while (this.match(tokens_1.TokenType.BICONDITIONAL)) {
+            const right = this.parseImplication();
+            left = { kind: 'biconditional', args: [left, right], source: this.loc() };
+        }
+        return left;
+    }
+    parseImplication() {
+        const left = this.parseDisjunction();
+        if (this.match(tokens_1.TokenType.ARROW)) {
+            // Asociatividad a la derecha
+            const right = this.parseImplication();
+            return { kind: 'implies', args: [left, right], source: this.loc() };
+        }
+        return left;
+    }
+    parseDisjunction() {
+        let left = this.parseConjunction();
+        while (this.match(tokens_1.TokenType.OR)) {
+            const right = this.parseConjunction();
+            left = { kind: 'or', args: [left, right], source: this.loc() };
+        }
+        return left;
+    }
+    parseConjunction() {
+        let left = this.parseUnary();
+        while (this.match(tokens_1.TokenType.AND)) {
+            const right = this.parseUnary();
+            left = { kind: 'and', args: [left, right], source: this.loc() };
+        }
+        return left;
+    }
+    parseUnary() {
+        if (this.match(tokens_1.TokenType.NOT)) {
+            const operand = this.parseUnary();
+            return { kind: 'not', args: [operand], source: this.loc() };
+        }
+        return this.parseAtom();
+    }
+    parseAtom() {
+        // Paréntesis
+        if (this.match(tokens_1.TokenType.LPAREN)) {
+            const inner = this.parseFormula();
+            this.expect(tokens_1.TokenType.RPAREN);
+            return inner;
+        }
+        // Átomo proposicional
+        if (this.checkType(tokens_1.TokenType.IDENTIFIER)) {
+            const tok = this.current();
+            this.advance();
+            return { kind: 'atom', name: tok.value, source: { line: tok.line, column: tok.column } };
+        }
+        throw new Error(`Se esperaba formula en linea ${this.current().line}, columna ${this.current().column}, ` +
+            `encontrado: '${this.current().value}' (${this.current().type})`);
+    }
+    // --- Helpers ---
+    parseIdList() {
+        this.expect(tokens_1.TokenType.LBRACE);
+        const ids = [];
+        if (!this.checkType(tokens_1.TokenType.RBRACE)) {
+            ids.push(this.expectIdent());
+            while (this.match(tokens_1.TokenType.COMMA)) {
+                ids.push(this.expectIdent());
+            }
+        }
+        this.expect(tokens_1.TokenType.RBRACE);
+        return ids;
+    }
+    formulaToString(f) {
+        switch (f.kind) {
+            case 'atom': return f.name || '?';
+            case 'not': return `!${this.formulaToString(f.args[0])}`;
+            case 'and': return `(${this.formulaToString(f.args[0])} & ${this.formulaToString(f.args[1])})`;
+            case 'or': return `(${this.formulaToString(f.args[0])} | ${this.formulaToString(f.args[1])})`;
+            case 'implies': return `(${this.formulaToString(f.args[0])} -> ${this.formulaToString(f.args[1])})`;
+            case 'biconditional': return `(${this.formulaToString(f.args[0])} <-> ${this.formulaToString(f.args[1])})`;
+            default: return '?';
+        }
+    }
+    current() {
+        if (this.pos >= this.tokens.length) {
+            return { type: tokens_1.TokenType.EOF, value: '', line: 0, column: 0 };
+        }
+        return this.tokens[this.pos];
+    }
+    advance() {
+        const tok = this.current();
+        this.pos++;
+        return tok;
+    }
+    isAtEnd() {
+        return this.current().type === tokens_1.TokenType.EOF;
+    }
+    checkType(type) {
+        return this.current().type === type;
+    }
+    match(type) {
+        if (this.checkType(type)) {
+            this.advance();
+            return true;
+        }
+        return false;
+    }
+    expect(type) {
+        if (this.checkType(type)) {
+            return this.advance();
+        }
+        throw new Error(`Se esperaba ${type}, encontrado '${this.current().value}' (${this.current().type}) ` +
+            `en linea ${this.current().line}, columna ${this.current().column}`);
+    }
+    expectOneOf(...types) {
+        for (const type of types) {
+            if (this.checkType(type)) {
+                return this.advance();
+            }
+        }
+        throw new Error(`Se esperaba ${types.join(' o ')}, encontrado '${this.current().value}' (${this.current().type}) ` +
+            `en linea ${this.current().line}, columna ${this.current().column}`);
+    }
+    expectIdent() {
+        const tok = this.expect(tokens_1.TokenType.IDENTIFIER);
+        return tok.value;
+    }
+    loc() {
+        const tok = this.current();
+        return { line: tok.line, column: tok.column, file: this.file };
+    }
+    skipNewlines() {
+        while (this.checkType(tokens_1.TokenType.NEWLINE)) {
+            this.advance();
+        }
+    }
+    advanceToNextStatement() {
+        while (!this.isAtEnd() && !this.checkType(tokens_1.TokenType.NEWLINE)) {
+            this.advance();
+        }
+        this.skipNewlines();
+    }
+}
+exports.Parser = Parser;
+//# sourceMappingURL=parser.js.map

package/dist/parser/parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.js","sourceRoot":"","sources":["../../src/parser/parser.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,2CAA2C;AAC3C,+DAA+D;;;AAE/D,4CAAmD;AACnD,0CAAuC;AAUvC,MAAa,MAAM;IACT,MAAM,GAAY,EAAE,CAAC;IACrB,GAAG,GAAW,CAAC,CAAC;IAChB,IAAI,CAAS;IACd,WAAW,GAAiB,EAAE,CAAC;IAEtC,YAAY,OAAe,SAAS;QAClC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;IAED,KAAK,CAAC,MAAc;QAClB,MAAM,KAAK,GAAG,IAAI,aAAK,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,QAAQ,EAAE,CAAC;QAC/B,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,WAAW,CAAC,CAAC;QAC5C,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC;QAEb,MAAM,UAAU,GAAgB,EAAE,CAAC;QAEnC,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;YACvB,IAAI,CAAC,YAAY,EAAE,CAAC;YACpB,IAAI,IAAI,CAAC,OAAO,EAAE;gBAAE,MAAM;YAE1B,IAAI,CAAC;gBACH,MAAM,IAAI,GAAG,IAAI,CAAC,cAAc,EAAE,CAAC;gBACnC,IAAI,IAAI,EAAE,CAAC;oBACT,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACxB,CAAC;YACH,CAAC;YAAC,OAAO,CAAM,EAAE,CAAC;gBAChB,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;oBACpB,QAAQ,EAAE,OAAO;oBACjB,OAAO,EAAE,CAAC,CAAC,OAAO,IAAI,4BAA4B;oBAClD,IAAI,EAAE,IAAI,CAAC,IAAI;oBACf,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,IAAI;oBACzB,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,MAAM;iBAC9B,CAAC,CAAC;gBACH,IAAI,CAAC,sBAAsB,EAAE,CAAC;YAChC,CAAC;QACH,CAAC;QAED,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;IACzC,CAAC;IAED,gCAAgC;IAExB,cAAc;QACpB,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAE3B,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;YACjB,KAAK,kBAAS,CAAC,KAAK;gBAClB,OAAO,IAAI,CAAC,cAAc,EAAE,CAAC;YAC/B,KAAK,kBAAS,CAAC,KAAK;gBAClB,OAAO,IAAI,CAAC,cAAc,EAAE,CAAC;YAC/B,KAAK,kBAAS,CAAC,OAAO;gBACpB,OAAO,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACjC,KAAK,kBAAS,CAAC,MAAM;gBACnB,OAAO,IAAI,CAAC,cAAc,EAAE,CAAC;YAC/B,KAAK,kBAAS,CAAC,KAAK;gBAClB,OAAO,IAAI,CAAC,aAAa,EAAE,CAAC;YAC9B,KAAK,kBAAS,CAAC,KAAK;gBAClB,OAAO,IAAI,CAAC,aAAa,EAAE,CAAC;YAC9B,KAAK,kBAAS,CAAC,YAAY;gBACzB,OAAO,IAAI,CAAC,oBAAoB,EAAE,CAAC;YACrC,KAAK,kBAAS,CAAC,WAAW;gBACxB,OAAO,IAAI,CAAC,kBAAkB,EAAE,CAAC;YACnC,KAAK,kBAAS,CAAC,GAAG;gBAChB,OAAO,IAAI,CAAC,YAAY,EAAE,CAAC;YAC7B,KAAK,kBAAS,CAAC,KAAK;gBAClB,OAAO,IAAI,CAAC,cAAc,EAAE,CAAC;YAC/B,KAAK,kBAAS,CAAC,OAAO;gBACpB,OAAO,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACjC,KAAK,kBAAS,CAAC,UAAU;gBACvB,OAAO,IAAI,CAAC,mBAAmB,EAAE,CAAC;YACpC,KAAK,kBAAS,CAAC,OAAO;gBACpB,OAAO,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACjC,KAAK,kBAAS,CAAC,MAAM;gBACnB,OAAO,IAAI,CAAC,cAAc,EAAE,CAAC;YAC/B,KAAK,kBAAS,CAAC,OAAO;gBACpB,IAAI,CAAC,OAAO,EAAE,CAAC;gBACf,OAAO,IAAI,CAAC;YACd,KAAK,kBAAS,CAAC,GAAG;gBAChB,OAAO,IAAI,CAAC;YACd;gBACE,MAAM,IAAI,KAAK,CAAC,0BAA0B,GAAG,CAAC,KAAK,MAAM,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC;IAED,gCAAgC;IACxB,cAAc;QACpB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACvB,IAAI,CAAC,MAAM,CAAC,kBAAS,CAAC,KAAK,CAAC,CAAC;QAC7B,IAAI,OAAO,GAAG,EAAE,CAAC;QACjB,sCAAsC;QACtC,OAAO,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC,KAAK,CAAC,kBAAS,CAAC,GAAG,CAAC,EAAE,CAAC;YACjC,OAAO,IAAI,GAAG,CAAC;YACf,OAAO,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;QAChC,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IACtD,CAAC;IAED,gDAAgD;IACxC,cAAc;QACpB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACvB,IAAI,CAAC,MAAM,CAAC,kBAAS,CAAC,KAAK,CAAC,CAAC;QAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QAChC,IAAI,CAAC,WAAW,CAAC,kBAAS,CAAC,MAAM,EAAE,kBAAS,CAAC,KAAK,CAAC,CAAC;QACpD,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;QACpC,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC5D,CAAC;IAED,oDAAoD;IAC5C,gBAAgB;QACtB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACvB,IAAI,CAAC,MAAM,CAAC,kBAAS,CAAC,OAAO,CAAC,CAAC;QAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QAChC,IAAI,CAAC,WAAW,CAAC,kBAAS,CAAC,MAAM,EAAE,kBAAS,CAAC,KAAK,CAAC,CAAC;QACpD,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;QACpC,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC9D,CAAC;IAED,oCAAoC;IAC5B,cAAc;QACpB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACvB,IAAI,CAAC,MAAM,CAAC,kBAAS,CAAC,MAAM,CAAC,CAAC;QAC9B,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;QACjC,IAAI,CAAC,MAAM,CAAC,kBAAS,CAAC,IAAI,CAAC,CAAC;QAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QACpC,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC7D,CAAC;IAED,0EAA0E;IAClE,aAAa;QACnB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACvB,IAAI,CAAC,MAAM,CAAC,kBAAS,CAAC,KAAK,CAAC,CAAC;QAE7B,IAAI,IAAI,CAAC,KAAK,CAAC,kBAAS,CAAC,KAAK,CAAC,EAAE,CAAC;YAChC,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;YACpC,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAuB,CAAC;QAChF,CAAC;QACD,IAAI,IAAI,CAAC,KAAK,CAAC,kBAAS,CAAC,WAAW,CAAC,EAAE,CAAC;YACtC,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;YACpC,OAAO,EAAE,IAAI,EAAE,uBAAuB,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAA6B,CAAC;QAC5F,CAAC;QACD,IAAI,IAAI,CAAC,KAAK,CAAC,kBAAS,CAAC,UAAU,CAAC,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;YACjC,IAAI,CAAC,MAAM,CAAC,kBAAS,CAAC,KAAK,CAAC,CAAC;YAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;YAClC,OAAO,EAAE,IAAI,EAAE,sBAAsB,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAA4B,CAAC;QAC9F,CAAC;QAED,MAAM,IAAI,KAAK,CAAC,sEAAsE,CAAC,CAAC;IAC1F,CAAC;IAED,8BAA8B;IACtB,aAAa;QACnB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACvB,IAAI,CAAC,MAAM,CAAC,kBAAS,CAAC,KAAK,CAAC,CAAC;QAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;QACjC,IAAI,CAAC,MAAM,CAAC,kBAAS,CAAC,IAAI,CAAC,CAAC;QAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QACpC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC5D,CAAC;IAED,uBAAuB;IACf,oBAAoB;QAC1B,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACvB,IAAI,CAAC,MAAM,CAAC,kBAAS,CAAC,YAAY,CAAC,CAAC;QACpC,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;QACpC,OAAO,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC5D,CAAC;IAED,sBAAsB;IACd,kBAAkB;QACxB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACvB,IAAI,CAAC,MAAM,CAAC,kBAAS,CAAC,WAAW,CAAC,CAAC;QACnC,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;QACpC,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC3D,CAAC;IAED,sCAAsC;IACtC,8CAA8C;IACtC,YAAY;QAClB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACvB,IAAI,CAAC,MAAM,CAAC,kBAAS,CAAC,GAAG,CAAC,CAAC;QAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QAChC,IAAI,CAAC,MAAM,CAAC,kBAAS,CAAC,MAAM,CAAC,CAAC;QAE9B,IAAI,IAAI,CAAC,KAAK,CAAC,kBAAS,CAAC,OAAO,CAAC,EAAE,CAAC;YAClC,IAAI,CAAC,MAAM,CAAC,kBAAS,CAAC,MAAM,CAAC,CAAC;YAC9B,IAAI,CAAC,MAAM,CAAC,kBAAS,CAAC,eAAe,CAAC,CAAC;YACvC,0DAA0D;YAC1D,IAAI,UAAU,GAAG,EAAE,CAAC;YACpB,IAAI,IAAI,CAAC,SAAS,CAAC,kBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;gBACrC,UAAU,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC;gBAClC,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,CAAC;iBAAM,CAAC;gBACN,iCAAiC;gBACjC,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,kBAAS,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;oBACrE,UAAU,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC;oBACnC,IAAI,CAAC,OAAO,EAAE,CAAC;gBACjB,CAAC;YACH,CAAC;YACD,IAAI,CAAC,MAAM,CAAC,kBAAS,CAAC,eAAe,CAAC,CAAC;YACvC,IAAI,CAAC,MAAM,CAAC,kBAAS,CAAC,MAAM,CAAC,CAAC;YAC9B,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;QACjF,CAAC;QAED,IAAI,IAAI,CAAC,KAAK,CAAC,kBAAS,CAAC,SAAS,CAAC,EAAE,CAAC;YACpC,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;YACvC,IAAI,CAAC,MAAM,CAAC,kBAAS,CAAC,EAAE,CAAC,CAAC;YAC1B,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;YACpC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;QAC7F,CAAC;QAED,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;IACxE,CAAC;IAED,6BAA6B;IACrB,cAAc;QACpB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACvB,IAAI,CAAC,MAAM,CAAC,kBAAS,CAAC,KAAK,CAAC,CAAC;QAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QAChC,IAAI,CAAC,MAAM,CAAC,kBAAS,CAAC,MAAM,CAAC,CAAC;QAE9B,+EAA+E;QAC/E,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC;QACvB,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;YACpC,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;QAClG,CAAC;QAAC,MAAM,CAAC;YACP,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC;YACjB,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;YACjC,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;QAC1D,CAAC;IACH,CAAC;IAED,kCAAkC;IAC1B,gBAAgB;QACtB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACvB,IAAI,CAAC,MAAM,CAAC,kBAAS,CAAC,OAAO,CAAC,CAAC;QAC/B,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QACrC,IAAI,CAAC,MAAM,CAAC,kBAAS,CAAC,UAAU,CAAC,CAAC;QAClC,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QACtC,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IACtE,CAAC;IAED,gCAAgC;IACxB,mBAAmB;QACzB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACvB,IAAI,CAAC,MAAM,CAAC,kBAAS,CAAC,UAAU,CAAC,CAAC;QAClC,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QACrC,IAAI,CAAC,MAAM,CAAC,kBAAS,CAAC,MAAM,CAAC,CAAC;QAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,kBAAS,CAAC,MAAM,CAAC,CAAC;QAC1C,OAAO,EAAE,IAAI,EAAE,iBAAiB,EAAE,SAAS,EAAE,KAAK,EAAE,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC3F,CAAC;IAED,6BAA6B;IACrB,gBAAgB;QACtB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACvB,IAAI,CAAC,MAAM,CAAC,kBAAS,CAAC,OAAO,CAAC,CAAC;QAC/B,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QACrC,IAAI,CAAC,MAAM,CAAC,kBAAS,CAAC,MAAM,CAAC,CAAC;QAC9B,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,kBAAS,CAAC,MAAM,CAAC,CAAC;QAC1C,OAAO,EAAE,IAAI,EAAE,cAAc,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC3E,CAAC;IAED,gCAAgC;IACxB,cAAc;QACpB,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACvB,IAAI,CAAC,MAAM,CAAC,kBAAS,CAAC,MAAM,CAAC,CAAC;QAC9B,MAAM,MAAM,GAAG,IAAI,CAAC,WAAW,EAAE,CAAC;QAClC,IAAI,MAAM,GAAG,UAAU,CAAC;QACxB,8BAA8B;QAC9B,iFAAiF;QACjF,IAAI,IAAI,CAAC,SAAS,CAAC,kBAAS,CAAC,UAAU,CAAC,EAAE,CAAC;YACzC,MAAM,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC;YAC9B,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC7D,CAAC;IAED,4CAA4C;IAC5C,kCAAkC;IAClC,yBAAyB;IACzB,2CAA2C;IAC3C,oBAAoB;IACpB,oBAAoB;IACpB,2BAA2B;IAEnB,YAAY;QAClB,OAAO,IAAI,CAAC,kBAAkB,EAAE,CAAC;IACnC,CAAC;IAEO,kBAAkB;QACxB,IAAI,IAAI,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACnC,OAAO,IAAI,CAAC,KAAK,CAAC,kBAAS,CAAC,aAAa,CAAC,EAAE,CAAC;YAC3C,MAAM,KAAK,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACtC,IAAI,GAAG,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC;QAC5E,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,gBAAgB;QACtB,MAAM,IAAI,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,KAAK,CAAC,kBAAS,CAAC,KAAK,CAAC,EAAE,CAAC;YAChC,6BAA6B;YAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACtC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC;QACtE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,gBAAgB;QACtB,IAAI,IAAI,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACnC,OAAO,IAAI,CAAC,KAAK,CAAC,kBAAS,CAAC,EAAE,CAAC,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACtC,IAAI,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC;QACjE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,gBAAgB;QACtB,IAAI,IAAI,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC,KAAK,CAAC,kBAAS,CAAC,GAAG,CAAC,EAAE,CAAC;YACjC,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;YAChC,IAAI,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC;QAClE,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,UAAU;QAChB,IAAI,IAAI,CAAC,KAAK,CAAC,kBAAS,CAAC,GAAG,CAAC,EAAE,CAAC;YAC9B,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,EAAE,CAAC;YAClC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC;QAC9D,CAAC;QACD,OAAO,IAAI,CAAC,SAAS,EAAE,CAAC;IAC1B,CAAC;IAEO,SAAS;QACf,aAAa;QACb,IAAI,IAAI,CAAC,KAAK,CAAC,kBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;YACjC,MAAM,KAAK,GAAG,IAAI,CAAC,YAAY,EAAE,CAAC;YAClC,IAAI,CAAC,MAAM,CAAC,kBAAS,CAAC,MAAM,CAAC,CAAC;YAC9B,OAAO,KAAK,CAAC;QACf,CAAC;QAED,sBAAsB;QACtB,IAAI,IAAI,CAAC,SAAS,CAAC,kBAAS,CAAC,UAAU,CAAC,EAAE,CAAC;YACzC,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;YAC3B,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,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;QAC3F,CAAC;QAED,MAAM,IAAI,KAAK,CACb,gCAAgC,IAAI,CAAC,OAAO,EAAE,CAAC,IAAI,aAAa,IAAI,CAAC,OAAO,EAAE,CAAC,MAAM,IAAI;YACzF,gBAAgB,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC,IAAI,GAAG,CACjE,CAAC;IACJ,CAAC;IAED,kBAAkB;IAEV,WAAW;QACjB,IAAI,CAAC,MAAM,CAAC,kBAAS,CAAC,MAAM,CAAC,CAAC;QAC9B,MAAM,GAAG,GAAa,EAAE,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,kBAAS,CAAC,MAAM,CAAC,EAAE,CAAC;YACtC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;YAC7B,OAAO,IAAI,CAAC,KAAK,CAAC,kBAAS,CAAC,KAAK,CAAC,EAAE,CAAC;gBACnC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;YAC/B,CAAC;QACH,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,kBAAS,CAAC,MAAM,CAAC,CAAC;QAC9B,OAAO,GAAG,CAAC;IACb,CAAC;IAEO,eAAe,CAAC,CAAU;QAChC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC;YAClC,KAAK,KAAK,CAAC,CAAC,OAAO,IAAI,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1D,KAAK,KAAK,CAAC,CAAC,OAAO,IAAI,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;YACjG,KAAK,IAAI,CAAC,CAAC,OAAO,IAAI,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;YAChG,KAAK,SAAS,CAAC,CAAC,OAAO,IAAI,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;YACtG,KAAK,eAAe,CAAC,CAAC,OAAO,IAAI,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;YAC7G,OAAO,CAAC,CAAC,OAAO,GAAG,CAAC;QACtB,CAAC;IACH,CAAC;IAEO,OAAO;QACb,IAAI,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC;YACnC,OAAO,EAAE,IAAI,EAAE,kBAAS,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;QAChE,CAAC;QACD,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/B,CAAC;IAEO,OAAO;QACb,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC3B,IAAI,CAAC,GAAG,EAAE,CAAC;QACX,OAAO,GAAG,CAAC;IACb,CAAC;IAEO,OAAO;QACb,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC,IAAI,KAAK,kBAAS,CAAC,GAAG,CAAC;IAC/C,CAAC;IAEO,SAAS,CAAC,IAAe;QAC/B,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC,IAAI,KAAK,IAAI,CAAC;IACtC,CAAC;IAEO,KAAK,CAAC,IAAe;QAC3B,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,IAAI,CAAC,OAAO,EAAE,CAAC;YACf,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,MAAM,CAAC,IAAe;QAC5B,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC;QACxB,CAAC;QACD,MAAM,IAAI,KAAK,CACb,eAAe,IAAI,iBAAiB,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC,IAAI,IAAI;YACrF,YAAY,IAAI,CAAC,OAAO,EAAE,CAAC,IAAI,aAAa,IAAI,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,CACpE,CAAC;IACJ,CAAC;IAEO,WAAW,CAAC,GAAG,KAAkB;QACvC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzB,OAAO,IAAI,CAAC,OAAO,EAAE,CAAC;YACxB,CAAC;QACH,CAAC;QACD,MAAM,IAAI,KAAK,CACb,eAAe,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,iBAAiB,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,MAAM,IAAI,CAAC,OAAO,EAAE,CAAC,IAAI,IAAI;YAClG,YAAY,IAAI,CAAC,OAAO,EAAE,CAAC,IAAI,aAAa,IAAI,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,CACpE,CAAC;IACJ,CAAC;IAEO,WAAW;QACjB,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,kBAAS,CAAC,UAAU,CAAC,CAAC;QAC9C,OAAO,GAAG,CAAC,KAAK,CAAC;IACnB,CAAC;IAEO,GAAG;QACT,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC;QAC3B,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;IACjE,CAAC;IAEO,YAAY;QAClB,OAAO,IAAI,CAAC,SAAS,CAAC,kBAAS,CAAC,OAAO,CAAC,EAAE,CAAC;YACzC,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,CAAC;IACH,CAAC;IAEO,sBAAsB;QAC5B,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,kBAAS,CAAC,OAAO,CAAC,EAAE,CAAC;YAC7D,IAAI,CAAC,OAAO,EAAE,CAAC;QACjB,CAAC;QACD,IAAI,CAAC,YAAY,EAAE,CAAC;IACtB,CAAC;CACF;AA3cD,wBA2cC"}

package/dist/profiles/classical/first-order.d.ts

@@ -0,0 +1,13 @@
+import { Formula, Diagnostic, RunResult, Theory, LogicProfile } from '../../types';
+export declare class ClassicalFirstOrder implements LogicProfile {
+    name: string;
+    description: string;
+    checkWellFormed(formula: Formula): Diagnostic[];
+    checkValid(formula: Formula): RunResult;
+    checkSatisfiable(formula: Formula): RunResult;
+    prove(goal: Formula, theory: Theory): RunResult;
+    derive(goal: Formula, premises: string[], theory: Theory): RunResult;
+    countermodel(formula: Formula): RunResult;
+    explain(formula: Formula): RunResult;
+}
+//# sourceMappingURL=first-order.d.ts.map

package/dist/profiles/classical/first-order.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"first-order.d.ts","sourceRoot":"","sources":["../../../src/profiles/classical/first-order.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,EACrD,MAAM,aAAa,CAAC;AAGrB,qBAAa,mBAAoB,YAAW,YAAY;IACtD,IAAI,SAA2B;IAC/B,WAAW,SAA6F;IAExG,eAAe,CAAC,OAAO,EAAE,OAAO,GAAG,UAAU,EAAE;IAI/C,UAAU,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS;IAYvC,gBAAgB,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS;IAS7C,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,SAAS;IAS/C,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,GAAG,SAAS;IASpE,YAAY,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS;IASzC,OAAO,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS;CAQrC"}

package/dist/profiles/classical/first-order.js

@@ -0,0 +1,67 @@
+"use strict";
+// ============================================================
+// ST Classical First-Order — Stub (contrato definido)
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ClassicalFirstOrder = void 0;
+const propositional_1 = require("./propositional");
+class ClassicalFirstOrder {
+    name = 'classical.first_order';
+    description = 'Logica clasica de primer orden con igualdad (stub — contrato definido, motor pendiente)';
+    checkWellFormed(formula) {
+        return [];
+    }
+    checkValid(formula) {
+        return {
+            status: 'unknown',
+            output: `[classical.first_order] Motor no implementado aun. Formula: ${(0, propositional_1.formulaToString)(formula)}`,
+            diagnostics: [{
+                    severity: 'warning',
+                    message: 'Perfil classical.first_order aun no tiene motor completo',
+                }],
+            formula,
+        };
+    }
+    checkSatisfiable(formula) {
+        return {
+            status: 'unknown',
+            output: `[classical.first_order] Motor no implementado aun`,
+            diagnostics: [{ severity: 'warning', message: 'Motor no implementado' }],
+            formula,
+        };
+    }
+    prove(goal, theory) {
+        return {
+            status: 'unknown',
+            output: `[classical.first_order] prove no implementado aun`,
+            diagnostics: [{ severity: 'warning', message: 'Motor no implementado' }],
+            formula: goal,
+        };
+    }
+    derive(goal, premises, theory) {
+        return {
+            status: 'unknown',
+            output: `[classical.first_order] derive no implementado aun`,
+            diagnostics: [{ severity: 'warning', message: 'Motor no implementado' }],
+            formula: goal,
+        };
+    }
+    countermodel(formula) {
+        return {
+            status: 'unknown',
+            output: `[classical.first_order] countermodel no implementado aun`,
+            diagnostics: [{ severity: 'warning', message: 'Motor no implementado' }],
+            formula,
+        };
+    }
+    explain(formula) {
+        return {
+            status: 'unknown',
+            output: `[classical.first_order] explain no implementado aun`,
+            diagnostics: [{ severity: 'warning', message: 'Motor no implementado' }],
+            formula,
+        };
+    }
+}
+exports.ClassicalFirstOrder = ClassicalFirstOrder;
+//# sourceMappingURL=first-order.js.map

package/dist/profiles/classical/first-order.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"first-order.js","sourceRoot":"","sources":["../../../src/profiles/classical/first-order.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,sDAAsD;AACtD,+DAA+D;;;AAK/D,mDAAkD;AAElD,MAAa,mBAAmB;IAC9B,IAAI,GAAG,uBAAuB,CAAC;IAC/B,WAAW,GAAG,yFAAyF,CAAC;IAExG,eAAe,CAAC,OAAgB;QAC9B,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,UAAU,CAAC,OAAgB;QACzB,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,+DAA+D,IAAA,+BAAe,EAAC,OAAO,CAAC,EAAE;YACjG,WAAW,EAAE,CAAC;oBACZ,QAAQ,EAAE,SAAS;oBACnB,OAAO,EAAE,0DAA0D;iBACpE,CAAC;YACF,OAAO;SACR,CAAC;IACJ,CAAC;IAED,gBAAgB,CAAC,OAAgB;QAC/B,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,mDAAmD;YAC3D,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,uBAAuB,EAAE,CAAC;YACxE,OAAO;SACR,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,IAAa,EAAE,MAAc;QACjC,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,mDAAmD;YAC3D,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,uBAAuB,EAAE,CAAC;YACxE,OAAO,EAAE,IAAI;SACd,CAAC;IACJ,CAAC;IAED,MAAM,CAAC,IAAa,EAAE,QAAkB,EAAE,MAAc;QACtD,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,oDAAoD;YAC5D,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,uBAAuB,EAAE,CAAC;YACxE,OAAO,EAAE,IAAI;SACd,CAAC;IACJ,CAAC;IAED,YAAY,CAAC,OAAgB;QAC3B,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,0DAA0D;YAClE,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,uBAAuB,EAAE,CAAC;YACxE,OAAO;SACR,CAAC;IACJ,CAAC;IAED,OAAO,CAAC,OAAgB;QACtB,OAAO;YACL,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,qDAAqD;YAC7D,WAAW,EAAE,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,OAAO,EAAE,uBAAuB,EAAE,CAAC;YACxE,OAAO;SACR,CAAC;IACJ,CAAC;CACF;AAhED,kDAgEC"}

package/dist/profiles/classical/propositional.d.ts

@@ -0,0 +1,16 @@
+import { Formula, Diagnostic, RunResult, Theory, LogicProfile, TruthTableResult } from '../../types';
+export declare function formulaToString(f: Formula): string;
+export declare class ClassicalPropositional implements LogicProfile {
+    name: string;
+    description: string;
+    checkWellFormed(formula: Formula): Diagnostic[];
+    checkValid(formula: Formula): RunResult;
+    checkSatisfiable(formula: Formula): RunResult;
+    prove(goal: Formula, theory: Theory): RunResult;
+    derive(goal: Formula, premises: string[], theory: Theory): RunResult;
+    countermodel(formula: Formula): RunResult;
+    explain(formula: Formula): RunResult;
+    truthTable(formula: Formula): TruthTableResult;
+    checkEquivalent(a: Formula, b: Formula): RunResult;
+}
+//# sourceMappingURL=propositional.d.ts.map

package/dist/profiles/classical/propositional.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"propositional.d.ts","sourceRoot":"","sources":["../../../src/profiles/classical/propositional.ts"],"names":[],"mappings":"AAIA,OAAO,EACL,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,EACpD,gBAAgB,EACjB,MAAM,aAAa,CAAC;AA4DrB,wBAAgB,eAAe,CAAC,CAAC,EAAE,OAAO,GAAG,MAAM,CAclD;AAwTD,qBAAa,sBAAuB,YAAW,YAAY;IACzD,IAAI,SAA6B;IACjC,WAAW,SAA4G;IAEvH,eAAe,CAAC,OAAO,EAAE,OAAO,GAAG,UAAU,EAAE;IA4C/C,UAAU,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS;IA6BvC,gBAAgB,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS;IA4B7C,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,SAAS;IA2B/C,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,GAAG,SAAS;IA0BpE,YAAY,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS;IA6BzC,OAAO,CAAC,OAAO,EAAE,OAAO,GAAG,SAAS;IAyBpC,UAAU,CAAC,OAAO,EAAE,OAAO,GAAG,gBAAgB;IAkB9C,eAAe,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,GAAG,SAAS;CA2BnD"}