@stevenvo780/st-lang 4.5.1 → 4.6.0

package/dist/tptp/tokenizer.d.ts

@@ -0,0 +1,14 @@
+export type TptpTokenKind = 'lparen' | 'rparen' | 'lbracket' | 'rbracket' | 'comma' | 'dot' | 'colon' | 'lower_word' | 'upper_word' | 'single_quoted' | 'distinct_object' | 'integer' | 'op_not' | 'op_and' | 'op_or' | 'op_implies' | 'op_iff' | 'op_xor' | 'op_nimplies' | 'op_forall' | 'op_exists' | 'op_eq' | 'op_neq';
+export interface TptpToken {
+    kind: TptpTokenKind;
+    value: string;
+    line: number;
+    col: number;
+}
+export declare class TptpTokenizerError extends Error {
+    readonly line: number;
+    readonly col: number;
+    constructor(message: string, line: number, col: number);
+}
+export declare function tokenize(input: string): TptpToken[];
+//# sourceMappingURL=tokenizer.d.ts.map

package/dist/tptp/tokenizer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tokenizer.d.ts","sourceRoot":"","sources":["../../src/tptp/tokenizer.ts"],"names":[],"mappings":"AAIA,MAAM,MAAM,aAAa,GACrB,QAAQ,GACR,QAAQ,GACR,UAAU,GACV,UAAU,GACV,OAAO,GACP,KAAK,GACL,OAAO,GACP,YAAY,GACZ,YAAY,GACZ,eAAe,GACf,iBAAiB,GACjB,SAAS,GACT,QAAQ,GACR,QAAQ,GACR,OAAO,GACP,YAAY,GACZ,QAAQ,GACR,QAAQ,GACR,aAAa,GACb,WAAW,GACX,WAAW,GACX,OAAO,GACP,QAAQ,CAAC;AAEb,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,aAAa,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;IACd,IAAI,EAAE,MAAM,CAAC;IACb,GAAG,EAAE,MAAM,CAAC;CACb;AAED,qBAAa,kBAAmB,SAAQ,KAAK;aAGzB,IAAI,EAAE,MAAM;aACZ,GAAG,EAAE,MAAM;gBAF3B,OAAO,EAAE,MAAM,EACC,IAAI,EAAE,MAAM,EACZ,GAAG,EAAE,MAAM;CAK9B;AAOD,wBAAgB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,EAAE,CA6PnD"}

package/dist/tptp/tokenizer.js

@@ -0,0 +1,264 @@
+"use strict";
+// ============================================================
+// TPTP — Tokenizer
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.TptpTokenizerError = void 0;
+exports.tokenize = tokenize;
+class TptpTokenizerError extends Error {
+    line;
+    col;
+    constructor(message, line, col) {
+        super(`TPTP tokenizer ${line}:${col}: ${message}`);
+        this.line = line;
+        this.col = col;
+        this.name = 'TptpTokenizerError';
+    }
+}
+exports.TptpTokenizerError = TptpTokenizerError;
+const LOWER_START = /[a-z]/;
+const UPPER_START = /[A-Z_]/;
+const WORD_REST = /[A-Za-z0-9_]/;
+const DIGIT = /[0-9]/;
+function tokenize(input) {
+    const tokens = [];
+    let i = 0;
+    let line = 1;
+    let col = 1;
+    const len = input.length;
+    const advance = (n = 1) => {
+        for (let k = 0; k < n; k++) {
+            const ch = input[i];
+            if (ch === '\n') {
+                line++;
+                col = 1;
+            }
+            else {
+                col++;
+            }
+            i++;
+        }
+    };
+    const peek = (offset = 0) => input[i + offset] ?? '';
+    while (i < len) {
+        const ch = peek();
+        // whitespace
+        if (ch === ' ' || ch === '\t' || ch === '\r' || ch === '\n') {
+            advance();
+            continue;
+        }
+        // line comment: % ...
+        if (ch === '%') {
+            while (i < len && peek() !== '\n')
+                advance();
+            continue;
+        }
+        // block comment: /* ... */
+        if (ch === '/' && peek(1) === '*') {
+            const startLine = line;
+            const startCol = col;
+            advance(2);
+            let closed = false;
+            while (i < len) {
+                if (peek() === '*' && peek(1) === '/') {
+                    advance(2);
+                    closed = true;
+                    break;
+                }
+                advance();
+            }
+            if (!closed) {
+                throw new TptpTokenizerError('comentario de bloque sin cerrar', startLine, startCol);
+            }
+            continue;
+        }
+        const tLine = line;
+        const tCol = col;
+        if (ch === '(') {
+            tokens.push({ kind: 'lparen', value: '(', line: tLine, col: tCol });
+            advance();
+            continue;
+        }
+        if (ch === ')') {
+            tokens.push({ kind: 'rparen', value: ')', line: tLine, col: tCol });
+            advance();
+            continue;
+        }
+        if (ch === '[') {
+            tokens.push({ kind: 'lbracket', value: '[', line: tLine, col: tCol });
+            advance();
+            continue;
+        }
+        if (ch === ']') {
+            tokens.push({ kind: 'rbracket', value: ']', line: tLine, col: tCol });
+            advance();
+            continue;
+        }
+        if (ch === ',') {
+            tokens.push({ kind: 'comma', value: ',', line: tLine, col: tCol });
+            advance();
+            continue;
+        }
+        if (ch === '.') {
+            tokens.push({ kind: 'dot', value: '.', line: tLine, col: tCol });
+            advance();
+            continue;
+        }
+        if (ch === ':') {
+            tokens.push({ kind: 'colon', value: ':', line: tLine, col: tCol });
+            advance();
+            continue;
+        }
+        // operadores multi-char (orden importa: probar largos primero)
+        if (ch === '<' && peek(1) === '=' && peek(2) === '>') {
+            tokens.push({ kind: 'op_iff', value: '<=>', line: tLine, col: tCol });
+            advance(3);
+            continue;
+        }
+        if (ch === '<' && peek(1) === '~' && peek(2) === '>') {
+            tokens.push({ kind: 'op_xor', value: '<~>', line: tLine, col: tCol });
+            advance(3);
+            continue;
+        }
+        if (ch === '=' && peek(1) === '>') {
+            tokens.push({ kind: 'op_implies', value: '=>', line: tLine, col: tCol });
+            advance(2);
+            continue;
+        }
+        if (ch === '<' && peek(1) === '=') {
+            tokens.push({ kind: 'op_nimplies', value: '<=', line: tLine, col: tCol });
+            advance(2);
+            continue;
+        }
+        if (ch === '!' && peek(1) === '=') {
+            tokens.push({ kind: 'op_neq', value: '!=', line: tLine, col: tCol });
+            advance(2);
+            continue;
+        }
+        if (ch === '~') {
+            tokens.push({ kind: 'op_not', value: '~', line: tLine, col: tCol });
+            advance();
+            continue;
+        }
+        if (ch === '&') {
+            tokens.push({ kind: 'op_and', value: '&', line: tLine, col: tCol });
+            advance();
+            continue;
+        }
+        if (ch === '|') {
+            tokens.push({ kind: 'op_or', value: '|', line: tLine, col: tCol });
+            advance();
+            continue;
+        }
+        if (ch === '!') {
+            tokens.push({ kind: 'op_forall', value: '!', line: tLine, col: tCol });
+            advance();
+            continue;
+        }
+        if (ch === '?') {
+            tokens.push({ kind: 'op_exists', value: '?', line: tLine, col: tCol });
+            advance();
+            continue;
+        }
+        if (ch === '=') {
+            tokens.push({ kind: 'op_eq', value: '=', line: tLine, col: tCol });
+            advance();
+            continue;
+        }
+        // single-quoted: 'tptp/SET001.ax'
+        if (ch === "'") {
+            advance();
+            let value = '';
+            while (i < len && peek() !== "'") {
+                if (peek() === '\\' && i + 1 < len) {
+                    value += peek() + peek(1);
+                    advance(2);
+                }
+                else {
+                    value += peek();
+                    advance();
+                }
+            }
+            if (i >= len) {
+                throw new TptpTokenizerError('comilla simple sin cerrar', tLine, tCol);
+            }
+            advance(); // consume closing '
+            tokens.push({ kind: 'single_quoted', value, line: tLine, col: tCol });
+            continue;
+        }
+        // distinct object: "string"
+        if (ch === '"') {
+            advance();
+            let value = '';
+            while (i < len && peek() !== '"') {
+                if (peek() === '\\' && i + 1 < len) {
+                    value += peek() + peek(1);
+                    advance(2);
+                }
+                else {
+                    value += peek();
+                    advance();
+                }
+            }
+            if (i >= len) {
+                throw new TptpTokenizerError('string sin cerrar', tLine, tCol);
+            }
+            advance();
+            tokens.push({ kind: 'distinct_object', value, line: tLine, col: tCol });
+            continue;
+        }
+        // lower_word: empieza minúscula
+        if (LOWER_START.test(ch)) {
+            let value = '';
+            while (i < len && WORD_REST.test(peek())) {
+                value += peek();
+                advance();
+            }
+            tokens.push({ kind: 'lower_word', value, line: tLine, col: tCol });
+            continue;
+        }
+        // defined / system word: $word o $$word (TPTP: $true, $false, $i, $o, ...)
+        if (ch === '$') {
+            let value = '$';
+            advance();
+            if (peek() === '$') {
+                value += '$';
+                advance();
+            }
+            while (i < len && WORD_REST.test(peek())) {
+                value += peek();
+                advance();
+            }
+            tokens.push({ kind: 'lower_word', value, line: tLine, col: tCol });
+            continue;
+        }
+        // upper_word / variable: empieza mayúscula o `_`
+        if (UPPER_START.test(ch)) {
+            let value = '';
+            while (i < len && WORD_REST.test(peek())) {
+                value += peek();
+                advance();
+            }
+            tokens.push({ kind: 'upper_word', value, line: tLine, col: tCol });
+            continue;
+        }
+        // integer (TPTP también permite signo, lo cubrimos como prefijo del lexer
+        // si el contexto lo requiere; aquí solo dígitos)
+        if (DIGIT.test(ch) || (ch === '-' && DIGIT.test(peek(1)))) {
+            let value = '';
+            if (ch === '-') {
+                value += '-';
+                advance();
+            }
+            while (i < len && DIGIT.test(peek())) {
+                value += peek();
+                advance();
+            }
+            tokens.push({ kind: 'integer', value, line: tLine, col: tCol });
+            continue;
+        }
+        throw new TptpTokenizerError(`caracter inesperado: ${JSON.stringify(ch)}`, tLine, tCol);
+    }
+    return tokens;
+}
+//# sourceMappingURL=tokenizer.js.map

package/dist/tptp/tokenizer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tokenizer.js","sourceRoot":"","sources":["../../src/tptp/tokenizer.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,mBAAmB;AACnB,+DAA+D;;;AAkD/D,4BA6PC;AA7QD,MAAa,kBAAmB,SAAQ,KAAK;IAGzB;IACA;IAHlB,YACE,OAAe,EACC,IAAY,EACZ,GAAW;QAE3B,KAAK,CAAC,kBAAkB,IAAI,IAAI,GAAG,KAAK,OAAO,EAAE,CAAC,CAAC;QAHnC,SAAI,GAAJ,IAAI,CAAQ;QACZ,QAAG,GAAH,GAAG,CAAQ;QAG3B,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAC;IACnC,CAAC;CACF;AATD,gDASC;AAED,MAAM,WAAW,GAAG,OAAO,CAAC;AAC5B,MAAM,WAAW,GAAG,QAAQ,CAAC;AAC7B,MAAM,SAAS,GAAG,cAAc,CAAC;AACjC,MAAM,KAAK,GAAG,OAAO,CAAC;AAEtB,SAAgB,QAAQ,CAAC,KAAa;IACpC,MAAM,MAAM,GAAgB,EAAE,CAAC;IAC/B,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,CAAC;IAEzB,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,CAAC,EAAQ,EAAE;QAC9B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACpB,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;gBAChB,IAAI,EAAE,CAAC;gBACP,GAAG,GAAG,CAAC,CAAC;YACV,CAAC;iBAAM,CAAC;gBACN,GAAG,EAAE,CAAC;YACR,CAAC;YACD,CAAC,EAAE,CAAC;QACN,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,EAAU,EAAE,CAAC,KAAK,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC;IAE7D,OAAO,CAAC,GAAG,GAAG,EAAE,CAAC;QACf,MAAM,EAAE,GAAG,IAAI,EAAE,CAAC;QAElB,aAAa;QACb,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAC5D,OAAO,EAAE,CAAC;YACV,SAAS;QACX,CAAC;QAED,sBAAsB;QACtB,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,GAAG,IAAI,IAAI,EAAE,KAAK,IAAI;gBAAE,OAAO,EAAE,CAAC;YAC7C,SAAS;QACX,CAAC;QAED,2BAA2B;QAC3B,IAAI,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAClC,MAAM,SAAS,GAAG,IAAI,CAAC;YACvB,MAAM,QAAQ,GAAG,GAAG,CAAC;YACrB,OAAO,CAAC,CAAC,CAAC,CAAC;YACX,IAAI,MAAM,GAAG,KAAK,CAAC;YACnB,OAAO,CAAC,GAAG,GAAG,EAAE,CAAC;gBACf,IAAI,IAAI,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;oBACtC,OAAO,CAAC,CAAC,CAAC,CAAC;oBACX,MAAM,GAAG,IAAI,CAAC;oBACd,MAAM;gBACR,CAAC;gBACD,OAAO,EAAE,CAAC;YACZ,CAAC;YACD,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,MAAM,IAAI,kBAAkB,CAAC,iCAAiC,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;YACvF,CAAC;YACD,SAAS;QACX,CAAC;QAED,MAAM,KAAK,GAAG,IAAI,CAAC;QACnB,MAAM,IAAI,GAAG,GAAG,CAAC;QAEjB,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;YACpE,OAAO,EAAE,CAAC;YACV,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;YACpE,OAAO,EAAE,CAAC;YACV,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;YACtE,OAAO,EAAE,CAAC;YACV,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;YACtE,OAAO,EAAE,CAAC;YACV,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;YACnE,OAAO,EAAE,CAAC;YACV,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;YACjE,OAAO,EAAE,CAAC;YACV,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;YACnE,OAAO,EAAE,CAAC;YACV,SAAS;QACX,CAAC;QAED,+DAA+D;QAC/D,IAAI,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YACrD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;YACtE,OAAO,CAAC,CAAC,CAAC,CAAC;YACX,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YACrD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;YACtE,OAAO,CAAC,CAAC,CAAC,CAAC;YACX,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAClC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;YACzE,OAAO,CAAC,CAAC,CAAC,CAAC;YACX,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAClC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;YAC1E,OAAO,CAAC,CAAC,CAAC,CAAC;YACX,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAClC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;YACrE,OAAO,CAAC,CAAC,CAAC,CAAC;YACX,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;YACpE,OAAO,EAAE,CAAC;YACV,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;YACpE,OAAO,EAAE,CAAC;YACV,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;YACnE,OAAO,EAAE,CAAC;YACV,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;YACvE,OAAO,EAAE,CAAC;YACV,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;YACvE,OAAO,EAAE,CAAC;YACV,SAAS;QACX,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;YACnE,OAAO,EAAE,CAAC;YACV,SAAS;QACX,CAAC;QAED,kCAAkC;QAClC,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,OAAO,EAAE,CAAC;YACV,IAAI,KAAK,GAAG,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,GAAG,IAAI,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;gBACjC,IAAI,IAAI,EAAE,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,EAAE,CAAC;oBACnC,KAAK,IAAI,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;oBAC1B,OAAO,CAAC,CAAC,CAAC,CAAC;gBACb,CAAC;qBAAM,CAAC;oBACN,KAAK,IAAI,IAAI,EAAE,CAAC;oBAChB,OAAO,EAAE,CAAC;gBACZ,CAAC;YACH,CAAC;YACD,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC;gBACb,MAAM,IAAI,kBAAkB,CAAC,2BAA2B,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YACzE,CAAC;YACD,OAAO,EAAE,CAAC,CAAC,oBAAoB;YAC/B,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;YACtE,SAAS;QACX,CAAC;QAED,4BAA4B;QAC5B,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,OAAO,EAAE,CAAC;YACV,IAAI,KAAK,GAAG,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,GAAG,IAAI,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;gBACjC,IAAI,IAAI,EAAE,KAAK,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,EAAE,CAAC;oBACnC,KAAK,IAAI,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;oBAC1B,OAAO,CAAC,CAAC,CAAC,CAAC;gBACb,CAAC;qBAAM,CAAC;oBACN,KAAK,IAAI,IAAI,EAAE,CAAC;oBAChB,OAAO,EAAE,CAAC;gBACZ,CAAC;YACH,CAAC;YACD,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC;gBACb,MAAM,IAAI,kBAAkB,CAAC,mBAAmB,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;YACjE,CAAC;YACD,OAAO,EAAE,CAAC;YACV,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;YACxE,SAAS;QACX,CAAC;QAED,gCAAgC;QAChC,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YACzB,IAAI,KAAK,GAAG,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,GAAG,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;gBACzC,KAAK,IAAI,IAAI,EAAE,CAAC;gBAChB,OAAO,EAAE,CAAC;YACZ,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;YACnE,SAAS;QACX,CAAC;QAED,2EAA2E;QAC3E,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,IAAI,KAAK,GAAG,GAAG,CAAC;YAChB,OAAO,EAAE,CAAC;YACV,IAAI,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;gBACnB,KAAK,IAAI,GAAG,CAAC;gBACb,OAAO,EAAE,CAAC;YACZ,CAAC;YACD,OAAO,CAAC,GAAG,GAAG,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;gBACzC,KAAK,IAAI,IAAI,EAAE,CAAC;gBAChB,OAAO,EAAE,CAAC;YACZ,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;YACnE,SAAS;QACX,CAAC;QAED,iDAAiD;QACjD,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YACzB,IAAI,KAAK,GAAG,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,GAAG,IAAI,SAAS,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;gBACzC,KAAK,IAAI,IAAI,EAAE,CAAC;gBAChB,OAAO,EAAE,CAAC;YACZ,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;YACnE,SAAS;QACX,CAAC;QAED,0EAA0E;QAC1E,iDAAiD;QACjD,IAAI,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1D,IAAI,KAAK,GAAG,EAAE,CAAC;YACf,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;gBACf,KAAK,IAAI,GAAG,CAAC;gBACb,OAAO,EAAE,CAAC;YACZ,CAAC;YACD,OAAO,CAAC,GAAG,GAAG,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;gBACrC,KAAK,IAAI,IAAI,EAAE,CAAC;gBAChB,OAAO,EAAE,CAAC;YACZ,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC;YAChE,SAAS;QACX,CAAC;QAED,MAAM,IAAI,kBAAkB,CAAC,wBAAwB,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IAC1F,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@stevenvo780/st-lang",
-  "version": "4.5.1",
+  "version": "4.6.0",
   "description": "ST — Lenguaje ejecutable con nucleo logico y capa textual. Motor multi-perfil (11 lógicas), derivaciones, tablas de verdad, contramodelos, aliases modales, Belnap 4-valores y capa textual para formalización de documentos.",
   "main": "dist/index.js",
   "types": "dist/index.d.ts",
@@ -52,6 +52,9 @@
     "bench": "vitest bench --run --config vitest.bench.config.ts",
     "bench:save": "vitest bench --run --config vitest.bench.config.ts && cp benchmarks/results.json benchmarks/baselines.json",
     "bench:compare": "node scripts/bench/compare.mjs",
+    "bench:v5": "vitest bench --run --config vitest.bench.v5.config.ts",
+    "bench:v5:regression": "node scripts/bench/v5-regression.mjs",
+    "bench:v5:update": "node scripts/bench/v5-regression.mjs --update",
     "examples:run": "bash ./scripts/run-all-examples.sh",
     "test:watch": "vitest",
     "test:coverage": "vitest run --coverage",
@@ -95,6 +98,7 @@
     "eslint": "^10.0.3",
     "eslint-config-prettier": "^10.1.8",
     "eslint-plugin-prettier": "^5.5.5",
+    "fast-check": "^4.8.0",
     "prettier": "^3.8.1",
     "semver": "^7.8.0",
     "typescript": "^5.4.0",