@stevenvo780/st-lang 3.2.3 → 4.0.0

package/dist/runtime/typecheck/checker.js

@@ -0,0 +1,462 @@
+"use strict";
+// ============================================================
+// ST TypeChecker — Validación estática con sugerencias humanas
+// ============================================================
+//
+// TypeChecker implementa BaseASTVisitor<TypeError[]> y recorre
+// el AST emitiendo errores antes de evaluar. El caller decide
+// si abortar o continuar (no bloquea evaluate por defecto).
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TypeChecker = void 0;
+exports.typeCheck = typeCheck;
+const visitor_1 = require("../../ast/visitor");
+const types_1 = require("./types");
+const levenshtein_1 = require("./levenshtein");
+function mkScope(parent) {
+    return {
+        declared: new Map(parent?.declared),
+        predicates: new Map(parent?.predicates),
+        functions: new Map(parent?.functions),
+        insideFn: parent?.insideFn ?? false,
+        imports: parent ? [...parent.imports] : [],
+    };
+}
+// ── Helper: location robusta ──────────────────────────────────
+function loc(node) {
+    return node.source ?? { line: 0, column: 0 };
+}
+// ── TypeChecker ───────────────────────────────────────────────
+class TypeChecker extends visitor_1.BaseASTVisitor {
+    profile;
+    scope;
+    /** Axioms y teoremas declarados (nombres) — para duplicados */
+    axiomNames = new Map();
+    theoremNames = new Map();
+    /** Imports vistos en este programa (para TC007) */
+    importsSeen = [];
+    /** Nombre del archivo actual */
+    file;
+    constructor(profile = '', file = '<unknown>') {
+        super();
+        this.profile = profile;
+        this.file = file;
+        this.scope = mkScope();
+    }
+    defaultResult(_node) {
+        return [];
+    }
+    // ── Utilidades privadas ───────────────────────────────────
+    err(code, severity, message, location, suggestion) {
+        return { code, severity, message, location, suggestion };
+    }
+    /** Todos los nombres declarados en el scope actual (para sugerencias) */
+    allDeclaredNames() {
+        return this.scope.declared.keys();
+    }
+    /** Comprueba si el perfil actual es modal */
+    isModalProfile() {
+        if (!this.profile)
+            return false;
+        return types_1.MODAL_PROFILES.has(this.profile);
+    }
+    /** Comprueba si el perfil actual es temporal */
+    isTemporalProfile() {
+        if (!this.profile)
+            return false;
+        return types_1.TEMPORAL_PROFILES.has(this.profile);
+    }
+    /** Comprueba si el perfil actual soporta FO (cuantificadores) */
+    isFirstOrderProfile() {
+        if (!this.profile)
+            return false;
+        return types_1.FIRST_ORDER_PROFILES.has(this.profile);
+    }
+    /**
+     * Recorre una Formula recursivamente buscando errores.
+     * Devuelve lista de errores encontrados.
+     */
+    checkFormula(f, location) {
+        const errors = [];
+        switch (f.kind) {
+            // TC004: Modalidades en perfil no-modal
+            case 'modal_necessity':
+            case 'modal_possibility': {
+                if (!this.isModalProfile() && this.profile !== '') {
+                    const sym = f.kind === 'modal_necessity' ? '□' : '◇';
+                    errors.push(this.err('TC004', 'error', `Modalidad '${sym}' usada en perfil no-modal '${this.profile}'. ` +
+                        `Los operadores modales solo están disponibles en perfiles como modal.k, epistemic.s5, deontic.standard.`, f.source ?? location, `Cambia el perfil a 'modal.k' o elimina el operador '${sym}'.`));
+                }
+                break;
+            }
+            // TC004b: Temporales en perfil no-temporal
+            case 'temporal_next':
+            case 'temporal_until': {
+                if (!this.isTemporalProfile() && this.profile !== '') {
+                    const sym = f.kind === 'temporal_next' ? 'X' : 'U';
+                    errors.push(this.err('TC004', 'error', `Operador temporal '${sym}' usado en perfil no-temporal '${this.profile}'. ` +
+                        `Los operadores temporales solo están disponibles en 'temporal.ltl'.`, f.source ?? location, `Cambia el perfil a 'temporal.ltl' o elimina el operador.`));
+                }
+                break;
+            }
+            // TC001 + TC002: Predicados — identidad y aridad
+            case 'predicate': {
+                if (f.name) {
+                    const arity = (f.params ?? f.terms ?? []).length;
+                    const knownArity = this.scope.predicates.get(f.name);
+                    if (knownArity !== undefined && knownArity !== arity) {
+                        // TC002: arity mismatch
+                        errors.push(this.err('TC002', 'error', `Aridad incorrecta para predicado '${f.name}': se esperaban ${knownArity} argumentos, se recibieron ${arity}.`, f.source ?? location));
+                    }
+                    // TC001 no aplica a nivel de predicado atómico (depende de dominio FO),
+                    // pero si tenemos define_decl con ese nombre lo registramos.
+                }
+                break;
+            }
+            // TC005: Operaciones numéricas en contexto no-aritmético
+            case 'add':
+            case 'subtract':
+            case 'multiply':
+            case 'divide':
+            case 'modulo': {
+                // Solo advertir si el perfil es explícitamente no-aritmético
+                if (this.profile &&
+                    !this.profile.startsWith('arithmetic') &&
+                    !this.profile.startsWith('classical.first')) {
+                    errors.push(this.err('TC005', 'warning', `Operación aritmética '${f.kind}' usada en perfil '${this.profile}'. ` +
+                        `La aritmética puede no estar soportada en este perfil.`, f.source ?? location));
+                }
+                break;
+            }
+            // TC008: fn_call en fórmula — verifica aridad de funciones
+            case 'fn_call': {
+                if (f.name) {
+                    const declaredArity = this.scope.functions.get(f.name);
+                    const callArity = (f.args ?? []).length;
+                    if (declaredArity !== undefined && declaredArity !== callArity) {
+                        errors.push(this.err('TC002', 'error', `Aridad incorrecta para función '${f.name}': se esperaban ${declaredArity} argumentos, se recibieron ${callArity}.`, f.source ?? location, undefined));
+                    }
+                    else if (declaredArity === undefined && this.scope.functions.size > 0) {
+                        // Función no declarada con sugerencia
+                        const suggestion = (0, levenshtein_1.findClosest)(f.name, this.scope.functions.keys());
+                        errors.push(this.err('TC001', 'warning', `Función '${f.name}' no está declarada.`, f.source ?? location, suggestion ? `¿Quisiste decir '${suggestion}'?` : undefined));
+                    }
+                }
+                break;
+            }
+        }
+        // Recurrir en sub-fórmulas
+        if (f.args) {
+            for (const sub of f.args) {
+                errors.push(...this.checkFormula(sub, location));
+            }
+        }
+        return errors;
+    }
+    /**
+     * Visita recursivamente una lista de statements en un scope dado.
+     */
+    visitStatements(stmts, scope) {
+        const savedScope = this.scope;
+        if (scope)
+            this.scope = scope;
+        const errors = [];
+        for (const stmt of stmts) {
+            errors.push(...(0, visitor_1.visit)(stmt, this));
+        }
+        this.scope = savedScope;
+        return errors;
+    }
+    // ── Visitors ──────────────────────────────────────────────
+    visitLogicDecl(node) {
+        this.profile = node.profile;
+        return [];
+    }
+    visitAxiomDecl(node) {
+        const errors = [];
+        const location = loc(node);
+        // TC006: Duplicado
+        if (this.axiomNames.has(node.name)) {
+            const prev = this.axiomNames.get(node.name);
+            errors.push(this.err('TC006', 'error', `Axioma '${node.name}' ya fue declarado (primera declaración en línea ${prev.line}).`, location));
+        }
+        else {
+            this.axiomNames.set(node.name, location);
+            this.scope.declared.set(node.name, 'axiom');
+        }
+        // Chequear la fórmula
+        errors.push(...this.checkFormula(node.formula, location));
+        return errors;
+    }
+    visitTheoremDecl(node) {
+        const errors = [];
+        const location = loc(node);
+        // TC006: Duplicado
+        if (this.theoremNames.has(node.name)) {
+            const prev = this.theoremNames.get(node.name);
+            errors.push(this.err('TC006', 'error', `Teorema '${node.name}' ya fue declarado (primera declaración en línea ${prev.line}).`, location));
+        }
+        else {
+            this.theoremNames.set(node.name, location);
+            this.scope.declared.set(node.name, 'theorem');
+        }
+        errors.push(...this.checkFormula(node.formula, location));
+        return errors;
+    }
+    visitDeriveCmd(node) {
+        const errors = [];
+        const location = loc(node);
+        errors.push(...this.checkFormula(node.goal, location));
+        // TC001: Premisas no declaradas
+        for (const premise of node.premises) {
+            if (!this.scope.declared.has(premise)) {
+                const suggestion = (0, levenshtein_1.findClosest)(premise, this.allDeclaredNames());
+                errors.push(this.err('TC001', 'error', `Premisa '${premise}' usada en 'derive' no está declarada.`, location, suggestion ? `¿Quisiste decir '${suggestion}'?` : undefined));
+            }
+        }
+        return errors;
+    }
+    visitCheckValidCmd(node) {
+        return this.checkFormula(node.formula, loc(node));
+    }
+    visitCheckSatisfiableCmd(node) {
+        return this.checkFormula(node.formula, loc(node));
+    }
+    visitCheckEquivalentCmd(node) {
+        return [
+            ...this.checkFormula(node.left, loc(node)),
+            ...this.checkFormula(node.right, loc(node)),
+        ];
+    }
+    visitProveCmd(node) {
+        const errors = [];
+        const location = loc(node);
+        errors.push(...this.checkFormula(node.goal, location));
+        // TC001: Premisas no declaradas
+        for (const premise of node.premises) {
+            if (!this.scope.declared.has(premise)) {
+                const suggestion = (0, levenshtein_1.findClosest)(premise, this.allDeclaredNames());
+                errors.push(this.err('TC001', 'error', `Premisa '${premise}' usada en 'prove' no está declarada.`, location, suggestion ? `¿Quisiste decir '${suggestion}'?` : undefined));
+            }
+        }
+        return errors;
+    }
+    visitCountermodelCmd(node) {
+        return this.checkFormula(node.formula, loc(node));
+    }
+    visitTruthTableCmd(node) {
+        return this.checkFormula(node.formula, loc(node));
+    }
+    visitLetDecl(node) {
+        const errors = [];
+        const location = loc(node);
+        // TC003: Registrar el binding (antes de chequear la fórmula para evitar
+        // falso positivo en definiciones recursivas — aceptamos forward-ref)
+        this.scope.declared.set(node.name, 'let');
+        if (node.letType === 'formula' || node.letType === 'formalize') {
+            const formula = node.letType === 'formula' ? node.formula : node.formula;
+            if (formula) {
+                errors.push(...this.checkFormula(formula, location));
+            }
+        }
+        return errors;
+    }
+    visitAnalyzeCmd(node) {
+        const errors = [];
+        const location = loc(node);
+        for (const p of node.premises) {
+            errors.push(...this.checkFormula(p, location));
+        }
+        errors.push(...this.checkFormula(node.conclusion, location));
+        return errors;
+    }
+    visitExplainCmd(node) {
+        return this.checkFormula(node.formula, loc(node));
+    }
+    visitImportDecl(node) {
+        const errors = [];
+        const location = loc(node);
+        const path = node.path;
+        // TC007: Circular import (detección básica — mismo archivo)
+        if (path === this.file) {
+            errors.push(this.err('TC007', 'error', `Importación circular detectada: '${path}' se importa a sí mismo.`, location));
+        }
+        else if (this.importsSeen.includes(path)) {
+            errors.push(this.err('TC007', 'error', `Importación duplicada: '${path}' ya fue importado en este programa.`, location));
+        }
+        else {
+            this.importsSeen.push(path);
+        }
+        return errors;
+    }
+    visitProofBlock(node) {
+        const errors = [];
+        const location = loc(node);
+        const innerScope = mkScope(this.scope);
+        // Registrar suposiciones en el scope del bloque
+        for (const assumption of node.assumptions) {
+            innerScope.declared.set(assumption.name, 'axiom');
+            errors.push(...this.checkFormula(assumption.formula, location));
+        }
+        errors.push(...this.checkFormula(node.goal, location));
+        errors.push(...this.visitStatements(node.body, innerScope));
+        return errors;
+    }
+    visitTheoryDecl(node) {
+        const errors = [];
+        const theoryScope = mkScope(this.scope);
+        // Registrar la teoría en el scope externo
+        this.scope.declared.set(node.name, 'let');
+        // Parámetros de la teoría en el scope interno
+        if (node.params) {
+            for (const param of node.params) {
+                theoryScope.declared.set(param, 'param');
+            }
+        }
+        // TC006: nombre duplicado de teoría (ya se manejará con el declared map)
+        const savedAxioms = new Map(this.axiomNames);
+        const savedTheorems = new Map(this.theoremNames);
+        const savedScope = this.scope;
+        this.scope = theoryScope;
+        for (const member of node.members) {
+            errors.push(...(0, visitor_1.visit)(member.statement, this));
+        }
+        this.scope = savedScope;
+        // Restaurar nombre maps globales (las teorías tienen su propio espacio)
+        this.axiomNames = savedAxioms;
+        this.theoremNames = savedTheorems;
+        return errors;
+    }
+    visitIfStmt(node) {
+        const errors = [];
+        for (const branch of node.branches) {
+            errors.push(...this.checkFormula(branch.formula, loc(node)));
+            errors.push(...this.visitStatements(branch.body));
+        }
+        if (node.elseBranch) {
+            errors.push(...this.visitStatements(node.elseBranch));
+        }
+        return errors;
+    }
+    visitForStmt(node) {
+        const errors = [];
+        const location = loc(node);
+        const innerScope = mkScope(this.scope);
+        innerScope.declared.set(node.variable, 'let');
+        for (const item of node.items) {
+            errors.push(...this.checkFormula(item, location));
+        }
+        errors.push(...this.visitStatements(node.body, innerScope));
+        return errors;
+    }
+    visitWhileStmt(node) {
+        const errors = [];
+        errors.push(...this.checkFormula(node.formula, loc(node)));
+        errors.push(...this.visitStatements(node.body));
+        return errors;
+    }
+    visitFnDecl(node) {
+        const errors = [];
+        // Registrar la función en el scope externo con su aridad
+        this.scope.declared.set(node.name, 'fn');
+        this.scope.functions.set(node.name, node.params.length);
+        // Scope interno: parámetros como let
+        const innerScope = mkScope(this.scope);
+        innerScope.insideFn = true;
+        for (const param of node.params) {
+            innerScope.declared.set(param, 'param');
+        }
+        errors.push(...this.visitStatements(node.body, innerScope));
+        return errors;
+    }
+    visitReturnStmt(node) {
+        const errors = [];
+        const location = loc(node);
+        // TC008: return fuera de fn
+        if (!this.scope.insideFn) {
+            errors.push(this.err('TC008', 'error', `'return' usado fuera de una declaración 'fn'. Solo se puede usar 'return' dentro de una función.`, location));
+        }
+        if (node.formula) {
+            errors.push(...this.checkFormula(node.formula, location));
+        }
+        return errors;
+    }
+    visitFnCall(node) {
+        const errors = [];
+        const location = loc(node);
+        // TC001: función no declarada
+        if (!this.scope.declared.has(node.name)) {
+            const suggestion = (0, levenshtein_1.findClosest)(node.name, this.allDeclaredNames());
+            errors.push(this.err('TC001', 'error', `Función '${node.name}' llamada pero no declarada.`, location, suggestion ? `¿Quisiste decir '${suggestion}'?` : undefined));
+        }
+        else {
+            // TC002: aridad
+            const declaredArity = this.scope.functions.get(node.name);
+            if (declaredArity !== undefined && declaredArity !== node.args.length) {
+                errors.push(this.err('TC002', 'error', `Aridad incorrecta para '${node.name}': se esperaban ${declaredArity} argumentos, se recibieron ${node.args.length}.`, location));
+            }
+        }
+        for (const arg of node.args) {
+            errors.push(...this.checkFormula(arg, location));
+        }
+        return errors;
+    }
+    visitExportDecl(node) {
+        return (0, visitor_1.visit)(node.statement, this);
+    }
+    visitDefineDecl(node) {
+        const errors = [];
+        const location = loc(node);
+        // TC006: define duplicado
+        if (this.scope.declared.has(node.name)) {
+            errors.push(this.err('TC006', 'warning', `Definición '${node.name}' ya existe en el scope actual.`, location));
+        }
+        else {
+            this.scope.declared.set(node.name, 'define');
+            // Registrar como predicado si tiene params (aridad conocida)
+            if (node.params !== undefined) {
+                this.scope.predicates.set(node.name, node.params.length);
+            }
+        }
+        // Scope interno con parámetros
+        const innerScope = mkScope(this.scope);
+        if (node.params) {
+            for (const param of node.params) {
+                innerScope.declared.set(param, 'param');
+            }
+        }
+        const savedScope = this.scope;
+        this.scope = innerScope;
+        errors.push(...this.checkFormula(node.body, location));
+        this.scope = savedScope;
+        return errors;
+    }
+    visitUnfoldCmd(node) {
+        return this.checkFormula(node.formula, loc(node));
+    }
+    visitFoldCmd(node) {
+        return this.checkFormula(node.formula, loc(node));
+    }
+    visitInterpretCmd(node) {
+        return this.checkFormula(node.formula, loc(node));
+    }
+}
+exports.TypeChecker = TypeChecker;
+// ── Función principal de API ──────────────────────────────────
+/**
+ * Ejecuta el type-checker estático sobre un Program ya parseado.
+ *
+ * @param program AST del programa ST
+ * @param profile Nombre del perfil activo (puede estar en el AST como logic_decl)
+ * @param file    Nombre del archivo (para TC007)
+ * @returns Lista de TypeError[]  — vacía si no hay errores
+ */
+function typeCheck(program, profile = '', file) {
+    const checker = new TypeChecker(profile, file ?? program.file ?? '<unknown>');
+    const errors = [];
+    for (const stmt of program.statements) {
+        errors.push(...(0, visitor_1.visit)(stmt, checker));
+    }
+    return errors;
+}
+//# sourceMappingURL=checker.js.map

package/dist/runtime/typecheck/checker.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"checker.js","sourceRoot":"","sources":["../../../src/runtime/typecheck/checker.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,+DAA+D;AAC/D,+DAA+D;AAC/D,EAAE;AACF,+DAA+D;AAC/D,8DAA8D;AAC9D,4DAA4D;AAC5D,+DAA+D;;;AAsrB/D,8BASC;AA7rBD,+CAA0D;AAiC1D,mCAAkF;AAClF,+CAA4C;AAiB5C,SAAS,OAAO,CAAC,MAAc;IAC7B,OAAO;QACL,QAAQ,EAAE,IAAI,GAAG,CAAC,MAAM,EAAE,QAAQ,CAAC;QACnC,UAAU,EAAE,IAAI,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC;QACvC,SAAS,EAAE,IAAI,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC;QACrC,QAAQ,EAAE,MAAM,EAAE,QAAQ,IAAI,KAAK;QACnC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE;KAC3C,CAAC;AACJ,CAAC;AAED,iEAAiE;AAEjE,SAAS,GAAG,CAAC,IAAiC;IAC5C,OAAO,IAAI,CAAC,MAAM,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;AAC/C,CAAC;AAED,iEAAiE;AAEjE,MAAa,WAAY,SAAQ,wBAA2B;IAClD,OAAO,CAAc;IACrB,KAAK,CAAQ;IACrB,+DAA+D;IACvD,UAAU,GAAG,IAAI,GAAG,EAA0B,CAAC;IAC/C,YAAY,GAAG,IAAI,GAAG,EAA0B,CAAC;IACzD,mDAAmD;IAC3C,WAAW,GAAa,EAAE,CAAC;IACnC,gCAAgC;IACxB,IAAI,CAAS;IAErB,YAAY,UAAuB,EAAE,EAAE,IAAI,GAAG,WAAW;QACvD,KAAK,EAAE,CAAC;QACR,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC;QACvB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,KAAK,GAAG,OAAO,EAAE,CAAC;IACzB,CAAC;IAES,aAAa,CAAC,KAAgB;QACtC,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,6DAA6D;IAErD,GAAG,CACT,IAAY,EACZ,QAA6B,EAC7B,OAAe,EACf,QAAwB,EACxB,UAAmB;QAEnB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC;IAC3D,CAAC;IAED,yEAAyE;IACjE,gBAAgB;QACtB,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;IACpC,CAAC;IAED,6CAA6C;IACrC,cAAc;QACpB,IAAI,CAAC,IAAI,CAAC,OAAO;YAAE,OAAO,KAAK,CAAC;QAChC,OAAO,sBAAc,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC1C,CAAC;IAED,gDAAgD;IACxC,iBAAiB;QACvB,IAAI,CAAC,IAAI,CAAC,OAAO;YAAE,OAAO,KAAK,CAAC;QAChC,OAAO,yBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7C,CAAC;IAED,iEAAiE;IACzD,mBAAmB;QACzB,IAAI,CAAC,IAAI,CAAC,OAAO;YAAE,OAAO,KAAK,CAAC;QAChC,OAAO,4BAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAChD,CAAC;IAED;;;OAGG;IACK,YAAY,CAAC,CAAU,EAAE,QAAwB;QACvD,MAAM,MAAM,GAAgB,EAAE,CAAC;QAE/B,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,wCAAwC;YACxC,KAAK,iBAAiB,CAAC;YACvB,KAAK,mBAAmB,CAAC,CAAC,CAAC;gBACzB,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,IAAI,IAAI,CAAC,OAAO,KAAK,EAAE,EAAE,CAAC;oBAClD,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;oBACrD,MAAM,CAAC,IAAI,CACT,IAAI,CAAC,GAAG,CACN,OAAO,EACP,OAAO,EACP,cAAc,GAAG,+BAA+B,IAAI,CAAC,OAAO,KAAK;wBAC/D,yGAAyG,EAC3G,CAAC,CAAC,MAAM,IAAI,QAAQ,EACpB,uDAAuD,GAAG,IAAI,CAC/D,CACF,CAAC;gBACJ,CAAC;gBACD,MAAM;YACR,CAAC;YAED,2CAA2C;YAC3C,KAAK,eAAe,CAAC;YACrB,KAAK,gBAAgB,CAAC,CAAC,CAAC;gBACtB,IAAI,CAAC,IAAI,CAAC,iBAAiB,EAAE,IAAI,IAAI,CAAC,OAAO,KAAK,EAAE,EAAE,CAAC;oBACrD,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;oBACnD,MAAM,CAAC,IAAI,CACT,IAAI,CAAC,GAAG,CACN,OAAO,EACP,OAAO,EACP,sBAAsB,GAAG,kCAAkC,IAAI,CAAC,OAAO,KAAK;wBAC1E,qEAAqE,EACvE,CAAC,CAAC,MAAM,IAAI,QAAQ,EACpB,0DAA0D,CAC3D,CACF,CAAC;gBACJ,CAAC;gBACD,MAAM;YACR,CAAC;YAED,iDAAiD;YACjD,KAAK,WAAW,CAAC,CAAC,CAAC;gBACjB,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;oBACX,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;oBACjD,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBACrD,IAAI,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,KAAK,EAAE,CAAC;wBACrD,wBAAwB;wBACxB,MAAM,CAAC,IAAI,CACT,IAAI,CAAC,GAAG,CACN,OAAO,EACP,OAAO,EACP,qCAAqC,CAAC,CAAC,IAAI,mBAAmB,UAAU,8BAA8B,KAAK,GAAG,EAC9G,CAAC,CAAC,MAAM,IAAI,QAAQ,CACrB,CACF,CAAC;oBACJ,CAAC;oBACD,wEAAwE;oBACxE,6DAA6D;gBAC/D,CAAC;gBACD,MAAM;YACR,CAAC;YAED,yDAAyD;YACzD,KAAK,KAAK,CAAC;YACX,KAAK,UAAU,CAAC;YAChB,KAAK,UAAU,CAAC;YAChB,KAAK,QAAQ,CAAC;YACd,KAAK,QAAQ,CAAC,CAAC,CAAC;gBACd,6DAA6D;gBAC7D,IACE,IAAI,CAAC,OAAO;oBACZ,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,YAAY,CAAC;oBACtC,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,iBAAiB,CAAC,EAC3C,CAAC;oBACD,MAAM,CAAC,IAAI,CACT,IAAI,CAAC,GAAG,CACN,OAAO,EACP,SAAS,EACT,yBAAyB,CAAC,CAAC,IAAI,sBAAsB,IAAI,CAAC,OAAO,KAAK;wBACpE,wDAAwD,EAC1D,CAAC,CAAC,MAAM,IAAI,QAAQ,CACrB,CACF,CAAC;gBACJ,CAAC;gBACD,MAAM;YACR,CAAC;YAED,2DAA2D;YAC3D,KAAK,SAAS,CAAC,CAAC,CAAC;gBACf,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;oBACX,MAAM,aAAa,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;oBACvD,MAAM,SAAS,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;oBACxC,IAAI,aAAa,KAAK,SAAS,IAAI,aAAa,KAAK,SAAS,EAAE,CAAC;wBAC/D,MAAM,CAAC,IAAI,CACT,IAAI,CAAC,GAAG,CACN,OAAO,EACP,OAAO,EACP,mCAAmC,CAAC,CAAC,IAAI,mBAAmB,aAAa,8BAA8B,SAAS,GAAG,EACnH,CAAC,CAAC,MAAM,IAAI,QAAQ,EACpB,SAAS,CACV,CACF,CAAC;oBACJ,CAAC;yBAAM,IAAI,aAAa,KAAK,SAAS,IAAI,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;wBACxE,sCAAsC;wBACtC,MAAM,UAAU,GAAG,IAAA,yBAAW,EAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,CAAC,CAAC;wBACpE,MAAM,CAAC,IAAI,CACT,IAAI,CAAC,GAAG,CACN,OAAO,EACP,SAAS,EACT,YAAY,CAAC,CAAC,IAAI,sBAAsB,EACxC,CAAC,CAAC,MAAM,IAAI,QAAQ,EACpB,UAAU,CAAC,CAAC,CAAC,oBAAoB,UAAU,IAAI,CAAC,CAAC,CAAC,SAAS,CAC5D,CACF,CAAC;oBACJ,CAAC;gBACH,CAAC;gBACD,MAAM;YACR,CAAC;QACH,CAAC;QAED,2BAA2B;QAC3B,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;YACX,KAAK,MAAM,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;gBACzB,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;YACnD,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED;;OAEG;IACK,eAAe,CAAC,KAAkB,EAAE,KAAa;QACvD,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC;QAC9B,IAAI,KAAK;YAAE,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC;QAC9B,MAAM,MAAM,GAAgB,EAAE,CAAC;QAC/B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,MAAM,CAAC,IAAI,CAAC,GAAG,IAAA,eAAK,EAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QACpC,CAAC;QACD,IAAI,CAAC,KAAK,GAAG,UAAU,CAAC;QACxB,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,6DAA6D;IAEpD,cAAc,CAAC,IAAmB;QACzC,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC;QAC5B,OAAO,EAAE,CAAC;IACZ,CAAC;IAEQ,cAAc,CAAC,IAAmB;QACzC,MAAM,MAAM,GAAgB,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;QAE3B,mBAAmB;QACnB,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC;YAC7C,MAAM,CAAC,IAAI,CACT,IAAI,CAAC,GAAG,CACN,OAAO,EACP,OAAO,EACP,WAAW,IAAI,CAAC,IAAI,oDAAoD,IAAI,CAAC,IAAI,IAAI,EACrF,QAAQ,CACT,CACF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YACzC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC9C,CAAC;QAED,sBAAsB;QACtB,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;QAE1D,OAAO,MAAM,CAAC;IAChB,CAAC;IAEQ,gBAAgB,CAAC,IAAqB;QAC7C,MAAM,MAAM,GAAgB,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;QAE3B,mBAAmB;QACnB,IAAI,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC;YAC/C,MAAM,CAAC,IAAI,CACT,IAAI,CAAC,GAAG,CACN,OAAO,EACP,OAAO,EACP,YAAY,IAAI,CAAC,IAAI,oDAAoD,IAAI,CAAC,IAAI,IAAI,EACtF,QAAQ,CACT,CACF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC3C,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;QAChD,CAAC;QAED,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC1D,OAAO,MAAM,CAAC;IAChB,CAAC;IAEQ,cAAc,CAAC,IAAmB;QACzC,MAAM,MAAM,GAAgB,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;QAC3B,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;QAEvD,gCAAgC;QAChC,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACpC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBACtC,MAAM,UAAU,GAAG,IAAA,yBAAW,EAAC,OAAO,EAAE,IAAI,CAAC,gBAAgB,EAAE,CAAC,CAAC;gBACjE,MAAM,CAAC,IAAI,CACT,IAAI,CAAC,GAAG,CACN,OAAO,EACP,OAAO,EACP,YAAY,OAAO,wCAAwC,EAC3D,QAAQ,EACR,UAAU,CAAC,CAAC,CAAC,oBAAoB,UAAU,IAAI,CAAC,CAAC,CAAC,SAAS,CAC5D,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAEQ,kBAAkB,CAAC,IAAuB;QACjD,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACpD,CAAC;IAEQ,wBAAwB,CAAC,IAA6B;QAC7D,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACpD,CAAC;IAEQ,uBAAuB,CAAC,IAA4B;QAC3D,OAAO;YACL,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;YAC1C,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;SAC5C,CAAC;IACJ,CAAC;IAEQ,aAAa,CAAC,IAAkB;QACvC,MAAM,MAAM,GAAgB,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;QAC3B,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;QAEvD,gCAAgC;QAChC,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACpC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBACtC,MAAM,UAAU,GAAG,IAAA,yBAAW,EAAC,OAAO,EAAE,IAAI,CAAC,gBAAgB,EAAE,CAAC,CAAC;gBACjE,MAAM,CAAC,IAAI,CACT,IAAI,CAAC,GAAG,CACN,OAAO,EACP,OAAO,EACP,YAAY,OAAO,uCAAuC,EAC1D,QAAQ,EACR,UAAU,CAAC,CAAC,CAAC,oBAAoB,UAAU,IAAI,CAAC,CAAC,CAAC,SAAS,CAC5D,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAEQ,oBAAoB,CAAC,IAAyB;QACrD,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACpD,CAAC;IAEQ,kBAAkB,CAAC,IAAuB;QACjD,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACpD,CAAC;IAEQ,YAAY,CAAC,IAAiB;QACrC,MAAM,MAAM,GAAgB,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;QAE3B,wEAAwE;QACxE,qEAAqE;QACrE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAE1C,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,IAAI,CAAC,OAAO,KAAK,WAAW,EAAE,CAAC;YAC/D,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC;YACzE,IAAI,OAAO,EAAE,CAAC;gBACZ,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;YACvD,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAEQ,eAAe,CAAC,IAAoB;QAC3C,MAAM,MAAM,GAAgB,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;QAC3B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;QACjD,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC7D,OAAO,MAAM,CAAC;IAChB,CAAC;IAEQ,eAAe,CAAC,IAAoB;QAC3C,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACpD,CAAC;IAEQ,eAAe,CAAC,IAAoB;QAC3C,MAAM,MAAM,GAAgB,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;QAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC;QAEvB,4DAA4D;QAC5D,IAAI,IAAI,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;YACvB,MAAM,CAAC,IAAI,CACT,IAAI,CAAC,GAAG,CACN,OAAO,EACP,OAAO,EACP,oCAAoC,IAAI,0BAA0B,EAClE,QAAQ,CACT,CACF,CAAC;QACJ,CAAC;aAAM,IAAI,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3C,MAAM,CAAC,IAAI,CACT,IAAI,CAAC,GAAG,CACN,OAAO,EACP,OAAO,EACP,2BAA2B,IAAI,sCAAsC,EACrE,QAAQ,CACT,CACF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAEQ,eAAe,CAAC,IAAoB;QAC3C,MAAM,MAAM,GAAgB,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;QAC3B,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAEvC,gDAAgD;QAChD,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YAC1C,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAClD,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;QAClE,CAAC;QAED,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;QACvD,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC;QAC5D,OAAO,MAAM,CAAC;IAChB,CAAC;IAEQ,eAAe,CAAC,IAAoB;QAC3C,MAAM,MAAM,GAAgB,EAAE,CAAC;QAC/B,MAAM,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAExC,0CAA0C;QAC1C,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAE1C,8CAA8C;QAC9C,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChC,WAAW,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YAC3C,CAAC;QACH,CAAC;QAED,yEAAyE;QACzE,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC7C,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAEjD,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC;QAC9B,IAAI,CAAC,KAAK,GAAG,WAAW,CAAC;QAEzB,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YAClC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAA,eAAK,EAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC;QAChD,CAAC;QAED,IAAI,CAAC,KAAK,GAAG,UAAU,CAAC;QACxB,wEAAwE;QACxE,IAAI,CAAC,UAAU,GAAG,WAAW,CAAC;QAC9B,IAAI,CAAC,YAAY,GAAG,aAAa,CAAC;QAElC,OAAO,MAAM,CAAC;IAChB,CAAC;IAEQ,WAAW,CAAC,IAAgB;QACnC,MAAM,MAAM,GAAgB,EAAE,CAAC;QAC/B,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACnC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC7D,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QACpD,CAAC;QACD,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACpB,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;QACxD,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAEQ,YAAY,CAAC,IAAiB;QACrC,MAAM,MAAM,GAAgB,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;QAC3B,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QAE9C,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC9B,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;QACpD,CAAC;QACD,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC;QAC5D,OAAO,MAAM,CAAC;IAChB,CAAC;IAEQ,cAAc,CAAC,IAAmB;QACzC,MAAM,MAAM,GAAgB,EAAE,CAAC;QAC/B,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3D,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;QAChD,OAAO,MAAM,CAAC;IAChB,CAAC;IAEQ,WAAW,CAAC,IAAgB;QACnC,MAAM,MAAM,GAAgB,EAAE,CAAC;QAE/B,yDAAyD;QACzD,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACzC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAExD,qCAAqC;QACrC,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvC,UAAU,CAAC,QAAQ,GAAG,IAAI,CAAC;QAC3B,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAC1C,CAAC;QAED,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC;QAC5D,OAAO,MAAM,CAAC;IAChB,CAAC;IAEQ,eAAe,CAAC,IAAoB;QAC3C,MAAM,MAAM,GAAgB,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;QAE3B,4BAA4B;QAC5B,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;YACzB,MAAM,CAAC,IAAI,CACT,IAAI,CAAC,GAAG,CACN,OAAO,EACP,OAAO,EACP,kGAAkG,EAClG,QAAQ,CACT,CACF,CAAC;QACJ,CAAC;QAED,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;YACjB,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC5D,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAEQ,WAAW,CAAC,IAAgB;QACnC,MAAM,MAAM,GAAgB,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;QAE3B,8BAA8B;QAC9B,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,MAAM,UAAU,GAAG,IAAA,yBAAW,EAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,gBAAgB,EAAE,CAAC,CAAC;YACnE,MAAM,CAAC,IAAI,CACT,IAAI,CAAC,GAAG,CACN,OAAO,EACP,OAAO,EACP,YAAY,IAAI,CAAC,IAAI,8BAA8B,EACnD,QAAQ,EACR,UAAU,CAAC,CAAC,CAAC,oBAAoB,UAAU,IAAI,CAAC,CAAC,CAAC,SAAS,CAC5D,CACF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,gBAAgB;YAChB,MAAM,aAAa,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1D,IAAI,aAAa,KAAK,SAAS,IAAI,aAAa,KAAK,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;gBACtE,MAAM,CAAC,IAAI,CACT,IAAI,CAAC,GAAG,CACN,OAAO,EACP,OAAO,EACP,2BAA2B,IAAI,CAAC,IAAI,mBAAmB,aAAa,8BAA8B,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,EACrH,QAAQ,CACT,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC5B,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;QACnD,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAEQ,eAAe,CAAC,IAAoB;QAC3C,OAAO,IAAA,eAAK,EAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;IACrC,CAAC;IAEQ,eAAe,CAAC,IAAoB;QAC3C,MAAM,MAAM,GAAgB,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;QAE3B,0BAA0B;QAC1B,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,MAAM,CAAC,IAAI,CACT,IAAI,CAAC,GAAG,CACN,OAAO,EACP,SAAS,EACT,eAAe,IAAI,CAAC,IAAI,iCAAiC,EACzD,QAAQ,CACT,CACF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;YAC7C,6DAA6D;YAC7D,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBAC9B,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YAC3D,CAAC;QACH,CAAC;QAED,+BAA+B;QAC/B,MAAM,UAAU,GAAG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChB,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YAC1C,CAAC;QACH,CAAC;QAED,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC;QAC9B,IAAI,CAAC,KAAK,GAAG,UAAU,CAAC;QACxB,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;QACvD,IAAI,CAAC,KAAK,GAAG,UAAU,CAAC;QAExB,OAAO,MAAM,CAAC;IAChB,CAAC;IAEQ,cAAc,CAAC,IAAmB;QACzC,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACpD,CAAC;IAEQ,YAAY,CAAC,IAAiB;QACrC,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACpD,CAAC;IAEQ,iBAAiB,CAAC,IAAsB;QAC/C,OAAO,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACpD,CAAC;CACF;AAnmBD,kCAmmBC;AAED,iEAAiE;AAEjE;;;;;;;GAOG;AACH,SAAgB,SAAS,CAAC,OAAgB,EAAE,UAAuB,EAAE,EAAE,IAAa;IAClF,MAAM,OAAO,GAAG,IAAI,WAAW,CAAC,OAAO,EAAE,IAAI,IAAI,OAAO,CAAC,IAAI,IAAI,WAAW,CAAC,CAAC;IAC9E,MAAM,MAAM,GAAgB,EAAE,CAAC;IAE/B,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC,GAAG,IAAA,eAAK,EAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC;IACvC,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/runtime/typecheck/index.d.ts

@@ -0,0 +1,4 @@
+export { TypeChecker, typeCheck } from './checker';
+export type { TypeError, ProfileName } from './types';
+export { levenshtein, findClosest } from './levenshtein';
+//# sourceMappingURL=index.d.ts.map

package/dist/runtime/typecheck/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/runtime/typecheck/index.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AACnD,YAAY,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,SAAS,CAAC;AACtD,OAAO,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC"}

package/dist/runtime/typecheck/index.js

@@ -0,0 +1,13 @@
+"use strict";
+// ============================================================
+// ST TypeChecker — Barrel export
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.findClosest = exports.levenshtein = exports.typeCheck = exports.TypeChecker = void 0;
+var checker_1 = require("./checker");
+Object.defineProperty(exports, "TypeChecker", { enumerable: true, get: function () { return checker_1.TypeChecker; } });
+Object.defineProperty(exports, "typeCheck", { enumerable: true, get: function () { return checker_1.typeCheck; } });
+var levenshtein_1 = require("./levenshtein");
+Object.defineProperty(exports, "levenshtein", { enumerable: true, get: function () { return levenshtein_1.levenshtein; } });
+Object.defineProperty(exports, "findClosest", { enumerable: true, get: function () { return levenshtein_1.findClosest; } });
+//# sourceMappingURL=index.js.map

package/dist/runtime/typecheck/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/runtime/typecheck/index.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,iCAAiC;AACjC,+DAA+D;;;AAE/D,qCAAmD;AAA1C,sGAAA,WAAW,OAAA;AAAE,oGAAA,SAAS,OAAA;AAE/B,6CAAyD;AAAhD,0GAAA,WAAW,OAAA;AAAE,0GAAA,WAAW,OAAA"}

package/dist/runtime/typecheck/levenshtein.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Calcula la distancia de edición (Levenshtein) entre dos strings.
+ * Complejidad: O(|a| * |b|) en tiempo y espacio.
+ */
+export declare function levenshtein(a: string, b: string): number;
+/**
+ * Dado un identificador no reconocido y un set de candidatos declarados,
+ * devuelve el más cercano si su distancia ≤ maxDistance, o undefined.
+ */
+export declare function findClosest(unknown: string, candidates: Iterable<string>, maxDistance?: number): string | undefined;
+//# sourceMappingURL=levenshtein.d.ts.map

package/dist/runtime/typecheck/levenshtein.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"levenshtein.d.ts","sourceRoot":"","sources":["../../../src/runtime/typecheck/levenshtein.ts"],"names":[],"mappings":"AAIA;;;GAGG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CA0BxD;AAED;;;GAGG;AACH,wBAAgB,WAAW,CACzB,OAAO,EAAE,MAAM,EACf,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,EAC5B,WAAW,SAAI,GACd,MAAM,GAAG,SAAS,CAapB"}

package/dist/runtime/typecheck/levenshtein.js

@@ -0,0 +1,49 @@
+"use strict";
+// ============================================================
+// ST TypeChecker — Levenshtein distance + sugerencia automática
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.levenshtein = levenshtein;
+exports.findClosest = findClosest;
+/**
+ * Calcula la distancia de edición (Levenshtein) entre dos strings.
+ * Complejidad: O(|a| * |b|) en tiempo y espacio.
+ */
+function levenshtein(a, b) {
+    const m = a.length;
+    const n = b.length;
+    // Matriz dp: dp[i][j] = distancia entre a[0..i-1] y b[0..j-1]
+    const dp = Array.from({ length: m + 1 }, (_, i) => Array.from({ length: n + 1 }, (_, j) => (i === 0 ? j : j === 0 ? i : 0)));
+    for (let i = 1; i <= m; i++) {
+        for (let j = 1; j <= n; j++) {
+            if (a[i - 1] === b[j - 1]) {
+                dp[i][j] = dp[i - 1][j - 1];
+            }
+            else {
+                dp[i][j] =
+                    1 +
+                        Math.min(dp[i - 1][j], // delete
+                        dp[i][j - 1], // insert
+                        dp[i - 1][j - 1]);
+            }
+        }
+    }
+    return dp[m][n];
+}
+/**
+ * Dado un identificador no reconocido y un set de candidatos declarados,
+ * devuelve el más cercano si su distancia ≤ maxDistance, o undefined.
+ */
+function findClosest(unknown, candidates, maxDistance = 2) {
+    let best;
+    let bestDist = maxDistance + 1;
+    for (const candidate of candidates) {
+        const d = levenshtein(unknown, candidate);
+        if (d < bestDist) {
+            bestDist = d;
+            best = candidate;
+        }
+    }
+    return bestDist <= maxDistance ? best : undefined;
+}
+//# sourceMappingURL=levenshtein.js.map

package/dist/runtime/typecheck/levenshtein.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"levenshtein.js","sourceRoot":"","sources":["../../../src/runtime/typecheck/levenshtein.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,gEAAgE;AAChE,+DAA+D;;AAM/D,kCA0BC;AAMD,kCAiBC;AArDD;;;GAGG;AACH,SAAgB,WAAW,CAAC,CAAS,EAAE,CAAS;IAC9C,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;IACnB,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;IAEnB,8DAA8D;IAC9D,MAAM,EAAE,GAAe,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAC5D,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACzE,CAAC;IAEF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;gBAC1B,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAE,CAAC;YAC/B,CAAC;iBAAM,CAAC;gBACN,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;oBACN,CAAC;wBACD,IAAI,CAAC,GAAG,CACN,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS;wBACvB,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,SAAS;wBACvB,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CACjB,CAAC;YACN,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAClB,CAAC;AAED;;;GAGG;AACH,SAAgB,WAAW,CACzB,OAAe,EACf,UAA4B,EAC5B,WAAW,GAAG,CAAC;IAEf,IAAI,IAAwB,CAAC;IAC7B,IAAI,QAAQ,GAAG,WAAW,GAAG,CAAC,CAAC;IAE/B,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,CAAC,GAAG,WAAW,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC;QAC1C,IAAI,CAAC,GAAG,QAAQ,EAAE,CAAC;YACjB,QAAQ,GAAG,CAAC,CAAC;YACb,IAAI,GAAG,SAAS,CAAC;QACnB,CAAC;IACH,CAAC;IAED,OAAO,QAAQ,IAAI,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;AACpD,CAAC"}

package/dist/runtime/typecheck/types.d.ts

@@ -0,0 +1,14 @@
+import type { SourceLocation } from '../../types';
+export interface TypeError {
+    code: string;
+    severity: 'error' | 'warning';
+    message: string;
+    suggestion?: string;
+    location: SourceLocation;
+}
+export declare const MODAL_PROFILES: Set<string>;
+export declare const TEMPORAL_PROFILES: Set<string>;
+export declare const FIRST_ORDER_PROFILES: Set<string>;
+export declare const ARITHMETIC_PROFILES: Set<string>;
+export type ProfileName = string;
+//# sourceMappingURL=types.d.ts.map

package/dist/runtime/typecheck/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/runtime/typecheck/types.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAElD,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAC;IAC9B,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,cAAc,CAAC;CAC1B;AAGD,eAAO,MAAM,cAAc,aAOzB,CAAC;AAGH,eAAO,MAAM,iBAAiB,aAAoC,CAAC;AAGnE,eAAO,MAAM,oBAAoB,aAI/B,CAAC;AAGH,eAAO,MAAM,mBAAmB,aAAkC,CAAC;AAGnE,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC"}

package/dist/runtime/typecheck/types.js

@@ -0,0 +1,26 @@
+"use strict";
+// ============================================================
+// ST TypeChecker — Tipos de error tipado
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.ARITHMETIC_PROFILES = exports.FIRST_ORDER_PROFILES = exports.TEMPORAL_PROFILES = exports.MODAL_PROFILES = void 0;
+// Perfil considerado "modal" (permite □ ◇)
+exports.MODAL_PROFILES = new Set([
+    'modal.k',
+    'modal.t',
+    'modal.s4',
+    'modal.s5',
+    'epistemic.s5',
+    'deontic.standard',
+]);
+// Perfil considerado "temporal" (permite temporal_next, temporal_until)
+exports.TEMPORAL_PROFILES = new Set(['temporal.ltl']);
+// Perfil considerado "first-order" (permite forall, exists, predicate)
+exports.FIRST_ORDER_PROFILES = new Set([
+    'classical.first_order',
+    'classical.first-order',
+    'aristotelian.syllogistic',
+]);
+// Perfil con soporte aritmético
+exports.ARITHMETIC_PROFILES = new Set(['arithmetic']);
+//# sourceMappingURL=types.js.map

package/dist/runtime/typecheck/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/runtime/typecheck/types.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,yCAAyC;AACzC,+DAA+D;;;AAY/D,2CAA2C;AAC9B,QAAA,cAAc,GAAG,IAAI,GAAG,CAAS;IAC5C,SAAS;IACT,SAAS;IACT,UAAU;IACV,UAAU;IACV,cAAc;IACd,kBAAkB;CACnB,CAAC,CAAC;AAEH,wEAAwE;AAC3D,QAAA,iBAAiB,GAAG,IAAI,GAAG,CAAS,CAAC,cAAc,CAAC,CAAC,CAAC;AAEnE,uEAAuE;AAC1D,QAAA,oBAAoB,GAAG,IAAI,GAAG,CAAS;IAClD,uBAAuB;IACvB,uBAAuB;IACvB,0BAA0B;CAC3B,CAAC,CAAC;AAEH,gCAAgC;AACnB,QAAA,mBAAmB,GAAG,IAAI,GAAG,CAAS,CAAC,YAAY,CAAC,CAAC,CAAC"}