@stevenvo780/st-lang 4.5.0 → 4.5.2

package/dist/smt-lib/tokenizer.js

@@ -0,0 +1,234 @@
+"use strict";
+// ============================================================
+// SMT-LIB v2 — Tokenizer
+// ============================================================
+//
+// Genera una secuencia plana de tokens a partir de un script SMT-LIB v2.
+// Soporta:
+//   - paréntesis `(` `)`
+//   - comentarios de línea `; ...`
+//   - símbolos simples (`x`, `+`, `<=`, `+foo!`)
+//   - símbolos pipe-quoted `|x con espacios|`
+//   - keywords `:keyword`
+//   - numerales `123`
+//   - decimales `1.5`
+//   - hex `#xAB12`
+//   - binary `#b1010`
+//   - strings `"..."` con escape de comilla `""`
+//
+// El tokenizer no decide semántica: distingue numerales y decimales, pero
+// `+ 1 2` queda como tres tokens-symbol y dos numerales — el parser decide.
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.SmtTokenizerError = void 0;
+exports.tokenize = tokenize;
+class SmtTokenizerError extends Error {
+    line;
+    col;
+    constructor(message, line, col) {
+        super(`SMT-LIB tokenizer ${line}:${col}: ${message}`);
+        this.line = line;
+        this.col = col;
+        this.name = 'SmtTokenizerError';
+    }
+}
+exports.SmtTokenizerError = SmtTokenizerError;
+// SMT-LIB v2.6 §3.1: simple symbol = (letra | dígito | uno de los siguientes
+// caracteres especiales) salvo que un símbolo no puede empezar por dígito.
+// Caracteres permitidos extra: ~ ! @ $ % ^ & * _ - + = < > . ? /
+const SIMPLE_SYMBOL_START = /[A-Za-z~!@$%^&*_\-+=<>.?/]/;
+const SIMPLE_SYMBOL_REST = /[A-Za-z0-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++;
+        }
+    };
+    while (i < len) {
+        const ch = input[i] ?? '';
+        // whitespace
+        if (ch === ' ' || ch === '\t' || ch === '\r' || ch === '\n') {
+            advance();
+            continue;
+        }
+        // comentario de línea
+        if (ch === ';') {
+            while (i < len && input[i] !== '\n')
+                advance();
+            continue;
+        }
+        if (ch === '(') {
+            tokens.push({ kind: 'lparen', value: '(', line, col });
+            advance();
+            continue;
+        }
+        if (ch === ')') {
+            tokens.push({ kind: 'rparen', value: ')', line, col });
+            advance();
+            continue;
+        }
+        // pipe-quoted symbol
+        if (ch === '|') {
+            const startLine = line;
+            const startCol = col;
+            advance(); // consume `|`
+            let buf = '';
+            while (i < len && input[i] !== '|') {
+                if (input[i] === '\\') {
+                    throw new SmtTokenizerError('backslash no permitido dentro de | ... |', line, col);
+                }
+                buf += input[i];
+                advance();
+            }
+            if (i >= len) {
+                throw new SmtTokenizerError('símbolo |...| sin cerrar', startLine, startCol);
+            }
+            advance(); // consume closing `|`
+            tokens.push({ kind: 'symbol', value: buf, line: startLine, col: startCol });
+            continue;
+        }
+        // keyword `:foo`
+        if (ch === ':') {
+            const startLine = line;
+            const startCol = col;
+            advance();
+            let buf = '';
+            while (i < len) {
+                const c = input[i] ?? '';
+                if (SIMPLE_SYMBOL_REST.test(c)) {
+                    buf += c;
+                    advance();
+                }
+                else {
+                    break;
+                }
+            }
+            if (buf.length === 0) {
+                throw new SmtTokenizerError('keyword `:` sin nombre', startLine, startCol);
+            }
+            tokens.push({ kind: 'keyword', value: buf, line: startLine, col: startCol });
+            continue;
+        }
+        // string literal "..."  (SMT-LIB v2.6 doblamos comilla para escape)
+        if (ch === '"') {
+            const startLine = line;
+            const startCol = col;
+            advance();
+            let buf = '';
+            let closed = false;
+            while (i < len) {
+                const c = input[i] ?? '';
+                if (c === '"') {
+                    // posible escape "" o cierre
+                    if (input[i + 1] === '"') {
+                        buf += '"';
+                        advance(2);
+                    }
+                    else {
+                        advance();
+                        tokens.push({ kind: 'string', value: buf, line: startLine, col: startCol });
+                        closed = true;
+                        break;
+                    }
+                }
+                else {
+                    buf += c;
+                    advance();
+                }
+            }
+            if (!closed) {
+                throw new SmtTokenizerError('string sin cerrar', startLine, startCol);
+            }
+            continue;
+        }
+        // #xHEX / #bBIN
+        if (ch === '#') {
+            const startLine = line;
+            const startCol = col;
+            const next = input[i + 1];
+            if (next === 'x') {
+                advance(2);
+                let buf = '';
+                while (i < len && /[0-9A-Fa-f]/.test(input[i] ?? '')) {
+                    buf += input[i];
+                    advance();
+                }
+                if (buf.length === 0) {
+                    throw new SmtTokenizerError('hex sin dígitos', startLine, startCol);
+                }
+                tokens.push({ kind: 'hex', value: buf, line: startLine, col: startCol });
+                continue;
+            }
+            if (next === 'b') {
+                advance(2);
+                let buf = '';
+                while (i < len && /[01]/.test(input[i] ?? '')) {
+                    buf += input[i];
+                    advance();
+                }
+                if (buf.length === 0) {
+                    throw new SmtTokenizerError('binary sin dígitos', startLine, startCol);
+                }
+                tokens.push({ kind: 'binary', value: buf, line: startLine, col: startCol });
+                continue;
+            }
+            throw new SmtTokenizerError(`literal con # inválido: #${next ?? ''}`, startLine, startCol);
+        }
+        // numeral / decimal
+        if (ch >= '0' && ch <= '9') {
+            const startLine = line;
+            const startCol = col;
+            let buf = '';
+            while (i < len && /[0-9]/.test(input[i] ?? '')) {
+                buf += input[i];
+                advance();
+            }
+            if (input[i] === '.') {
+                buf += '.';
+                advance();
+                while (i < len && /[0-9]/.test(input[i] ?? '')) {
+                    buf += input[i];
+                    advance();
+                }
+                tokens.push({ kind: 'decimal', value: buf, line: startLine, col: startCol });
+            }
+            else {
+                tokens.push({ kind: 'numeral', value: buf, line: startLine, col: startCol });
+            }
+            continue;
+        }
+        // símbolo simple
+        if (SIMPLE_SYMBOL_START.test(ch)) {
+            const startLine = line;
+            const startCol = col;
+            let buf = '';
+            while (i < len) {
+                const c = input[i] ?? '';
+                if (SIMPLE_SYMBOL_REST.test(c)) {
+                    buf += c;
+                    advance();
+                }
+                else {
+                    break;
+                }
+            }
+            tokens.push({ kind: 'symbol', value: buf, line: startLine, col: startCol });
+            continue;
+        }
+        throw new SmtTokenizerError(`carácter inesperado: ${JSON.stringify(ch)}`, line, col);
+    }
+    return tokens;
+}
+//# sourceMappingURL=tokenizer.js.map

package/dist/smt-lib/tokenizer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tokenizer.js","sourceRoot":"","sources":["../../src/smt-lib/tokenizer.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,yBAAyB;AACzB,+DAA+D;AAC/D,EAAE;AACF,yEAAyE;AACzE,WAAW;AACX,yBAAyB;AACzB,mCAAmC;AACnC,iDAAiD;AACjD,8CAA8C;AAC9C,0BAA0B;AAC1B,sBAAsB;AACtB,sBAAsB;AACtB,mBAAmB;AACnB,sBAAsB;AACtB,iDAAiD;AACjD,EAAE;AACF,0EAA0E;AAC1E,4EAA4E;;;AAuC5E,4BA4LC;AA7MD,MAAa,iBAAkB,SAAQ,KAAK;IAGxB;IACA;IAHlB,YACE,OAAe,EACC,IAAY,EACZ,GAAW;QAE3B,KAAK,CAAC,qBAAqB,IAAI,IAAI,GAAG,KAAK,OAAO,EAAE,CAAC,CAAC;QAHtC,SAAI,GAAJ,IAAI,CAAQ;QACZ,QAAG,GAAH,GAAG,CAAQ;QAG3B,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAC;IAClC,CAAC;CACF;AATD,8CASC;AAED,6EAA6E;AAC7E,2EAA2E;AAC3E,iEAAiE;AACjE,MAAM,mBAAmB,GAAG,4BAA4B,CAAC;AACzD,MAAM,kBAAkB,GAAG,+BAA+B,CAAC;AAE3D,SAAgB,QAAQ,CAAC,KAAa;IACpC,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,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,OAAO,CAAC,GAAG,GAAG,EAAE,CAAC;QACf,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAC1B,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;QACD,sBAAsB;QACtB,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI;gBAAE,OAAO,EAAE,CAAC;YAC/C,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,GAAG,EAAE,CAAC,CAAC;YACvD,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,GAAG,EAAE,CAAC,CAAC;YACvD,OAAO,EAAE,CAAC;YACV,SAAS;QACX,CAAC;QACD,qBAAqB;QACrB,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,SAAS,GAAG,IAAI,CAAC;YACvB,MAAM,QAAQ,GAAG,GAAG,CAAC;YACrB,OAAO,EAAE,CAAC,CAAC,cAAc;YACzB,IAAI,GAAG,GAAG,EAAE,CAAC;YACb,OAAO,CAAC,GAAG,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBACnC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;oBACtB,MAAM,IAAI,iBAAiB,CAAC,0CAA0C,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;gBACrF,CAAC;gBACD,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;gBAChB,OAAO,EAAE,CAAC;YACZ,CAAC;YACD,IAAI,CAAC,IAAI,GAAG,EAAE,CAAC;gBACb,MAAM,IAAI,iBAAiB,CAAC,0BAA0B,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;YAC/E,CAAC;YACD,OAAO,EAAE,CAAC,CAAC,sBAAsB;YACjC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC;YAC5E,SAAS;QACX,CAAC;QACD,iBAAiB;QACjB,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,SAAS,GAAG,IAAI,CAAC;YACvB,MAAM,QAAQ,GAAG,GAAG,CAAC;YACrB,OAAO,EAAE,CAAC;YACV,IAAI,GAAG,GAAG,EAAE,CAAC;YACb,OAAO,CAAC,GAAG,GAAG,EAAE,CAAC;gBACf,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBACzB,IAAI,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC/B,GAAG,IAAI,CAAC,CAAC;oBACT,OAAO,EAAE,CAAC;gBACZ,CAAC;qBAAM,CAAC;oBACN,MAAM;gBACR,CAAC;YACH,CAAC;YACD,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACrB,MAAM,IAAI,iBAAiB,CAAC,wBAAwB,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;YAC7E,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC;YAC7E,SAAS;QACX,CAAC;QACD,oEAAoE;QACpE,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,SAAS,GAAG,IAAI,CAAC;YACvB,MAAM,QAAQ,GAAG,GAAG,CAAC;YACrB,OAAO,EAAE,CAAC;YACV,IAAI,GAAG,GAAG,EAAE,CAAC;YACb,IAAI,MAAM,GAAG,KAAK,CAAC;YACnB,OAAO,CAAC,GAAG,GAAG,EAAE,CAAC;gBACf,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBACzB,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC;oBACd,6BAA6B;oBAC7B,IAAI,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;wBACzB,GAAG,IAAI,GAAG,CAAC;wBACX,OAAO,CAAC,CAAC,CAAC,CAAC;oBACb,CAAC;yBAAM,CAAC;wBACN,OAAO,EAAE,CAAC;wBACV,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC;wBAC5E,MAAM,GAAG,IAAI,CAAC;wBACd,MAAM;oBACR,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,GAAG,IAAI,CAAC,CAAC;oBACT,OAAO,EAAE,CAAC;gBACZ,CAAC;YACH,CAAC;YACD,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,MAAM,IAAI,iBAAiB,CAAC,mBAAmB,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;YACxE,CAAC;YACD,SAAS;QACX,CAAC;QACD,gBAAgB;QAChB,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,MAAM,SAAS,GAAG,IAAI,CAAC;YACvB,MAAM,QAAQ,GAAG,GAAG,CAAC;YACrB,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC1B,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;gBACjB,OAAO,CAAC,CAAC,CAAC,CAAC;gBACX,IAAI,GAAG,GAAG,EAAE,CAAC;gBACb,OAAO,CAAC,GAAG,GAAG,IAAI,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;oBACrD,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;oBAChB,OAAO,EAAE,CAAC;gBACZ,CAAC;gBACD,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACrB,MAAM,IAAI,iBAAiB,CAAC,iBAAiB,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;gBACtE,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC;gBACzE,SAAS;YACX,CAAC;YACD,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;gBACjB,OAAO,CAAC,CAAC,CAAC,CAAC;gBACX,IAAI,GAAG,GAAG,EAAE,CAAC;gBACb,OAAO,CAAC,GAAG,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;oBAC9C,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;oBAChB,OAAO,EAAE,CAAC;gBACZ,CAAC;gBACD,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACrB,MAAM,IAAI,iBAAiB,CAAC,oBAAoB,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;gBACzE,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC;gBAC5E,SAAS;YACX,CAAC;YACD,MAAM,IAAI,iBAAiB,CAAC,4BAA4B,IAAI,IAAI,EAAE,EAAE,EAAE,SAAS,EAAE,QAAQ,CAAC,CAAC;QAC7F,CAAC;QACD,oBAAoB;QACpB,IAAI,EAAE,IAAI,GAAG,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC;YAC3B,MAAM,SAAS,GAAG,IAAI,CAAC;YACvB,MAAM,QAAQ,GAAG,GAAG,CAAC;YACrB,IAAI,GAAG,GAAG,EAAE,CAAC;YACb,OAAO,CAAC,GAAG,GAAG,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;gBAC/C,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;gBAChB,OAAO,EAAE,CAAC;YACZ,CAAC;YACD,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;gBACrB,GAAG,IAAI,GAAG,CAAC;gBACX,OAAO,EAAE,CAAC;gBACV,OAAO,CAAC,GAAG,GAAG,IAAI,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;oBAC/C,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;oBAChB,OAAO,EAAE,CAAC;gBACZ,CAAC;gBACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC;YAC/E,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC;YAC/E,CAAC;YACD,SAAS;QACX,CAAC;QACD,iBAAiB;QACjB,IAAI,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YACjC,MAAM,SAAS,GAAG,IAAI,CAAC;YACvB,MAAM,QAAQ,GAAG,GAAG,CAAC;YACrB,IAAI,GAAG,GAAG,EAAE,CAAC;YACb,OAAO,CAAC,GAAG,GAAG,EAAE,CAAC;gBACf,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;gBACzB,IAAI,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC/B,GAAG,IAAI,CAAC,CAAC;oBACT,OAAO,EAAE,CAAC;gBACZ,CAAC;qBAAM,CAAC;oBACN,MAAM;gBACR,CAAC;YACH,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC;YAC5E,SAAS;QACX,CAAC;QACD,MAAM,IAAI,iBAAiB,CAAC,wBAAwB,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IACvF,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/tests/api/namespaces.test.d.ts

@@ -0,0 +1,9 @@
+/**
+ * Public API namespaces — paridad backward-compatible.
+ *
+ * Verifica que los namespaces semánticos (Logic, ProofSystems, TypeTheory,
+ * Solvers, Reasoning, Semantics) expongan los mismos símbolos que los flat
+ * exports existentes, sin colisiones y con identidad referencial preservada.
+ */
+export {};
+//# sourceMappingURL=namespaces.test.d.ts.map

package/dist/tests/api/namespaces.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"namespaces.test.d.ts","sourceRoot":"","sources":["../../../src/tests/api/namespaces.test.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG"}

package/dist/tests/api/namespaces.test.js

@@ -0,0 +1,218 @@
+"use strict";
+/**
+ * Public API namespaces — paridad backward-compatible.
+ *
+ * Verifica que los namespaces semánticos (Logic, ProofSystems, TypeTheory,
+ * Solvers, Reasoning, Semantics) expongan los mismos símbolos que los flat
+ * exports existentes, sin colisiones y con identidad referencial preservada.
+ */
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const ST = __importStar(require("../../index"));
+(0, vitest_1.describe)('public API — namespaces semánticos', () => {
+    // ── existencia básica ───────────────────────────────────────────────────
+    (0, vitest_1.it)('expone los 6 namespaces a nivel raíz', () => {
+        (0, vitest_1.expect)(ST.Logic).toBeDefined();
+        (0, vitest_1.expect)(ST.ProofSystems).toBeDefined();
+        (0, vitest_1.expect)(ST.TypeTheory).toBeDefined();
+        (0, vitest_1.expect)(ST.Solvers).toBeDefined();
+        (0, vitest_1.expect)(ST.Reasoning).toBeDefined();
+        (0, vitest_1.expect)(ST.Semantics).toBeDefined();
+    });
+    // ── Logic ───────────────────────────────────────────────────────────────
+    (0, vitest_1.it)('Logic incluye sub-namespaces para perfiles con barrel propio', () => {
+        (0, vitest_1.expect)(ST.Logic.ctl).toBeDefined();
+        (0, vitest_1.expect)(ST.Logic.ltl).toBeDefined();
+        (0, vitest_1.expect)(ST.Logic.muCalculus).toBeDefined();
+        (0, vitest_1.expect)(ST.Logic.hybrid).toBeDefined();
+        (0, vitest_1.expect)(ST.Logic.descriptionLogic).toBeDefined();
+        (0, vitest_1.expect)(ST.Logic.modalAxioms).toBeDefined();
+        (0, vitest_1.expect)(ST.Logic.sequentG3).toBeDefined();
+        (0, vitest_1.expect)(ST.Logic.sequentLK).toBeDefined();
+        (0, vitest_1.expect)(ST.Logic.intuitNJ).toBeDefined();
+        (0, vitest_1.expect)(ST.Logic.defaultLogic).toBeDefined();
+        (0, vitest_1.expect)(ST.Logic.manyValued).toBeDefined();
+        (0, vitest_1.expect)(ST.Logic.substructural).toBeDefined();
+        (0, vitest_1.expect)(ST.Logic.arithmetic).toBeDefined();
+    });
+    (0, vitest_1.it)('Logic.ctl.modelCheckCTL es la misma función que el modelo CTL flat', () => {
+        (0, vitest_1.expect)(typeof ST.Logic.ctl.modelCheckCTL).toBe('function');
+        (0, vitest_1.expect)(typeof ST.Logic.ctl.satisfiesCTL).toBe('function');
+    });
+    (0, vitest_1.it)('Logic re-exporta clases de perfiles single-file', () => {
+        (0, vitest_1.expect)(ST.Logic.ClassicalPropositional).toBe(ST.ClassicalPropositional);
+        (0, vitest_1.expect)(ST.Logic.ModalK).toBe(ST.ModalK);
+        (0, vitest_1.expect)(ST.Logic.ParaconsistentBelnap).toBe(ST.ParaconsistentBelnap);
+    });
+    (0, vitest_1.it)('Logic re-exporta SAT helpers (cdcl, dpll)', () => {
+        (0, vitest_1.expect)(ST.Logic.cdcl).toBe(ST.cdcl);
+        (0, vitest_1.expect)(ST.Logic.dpll).toBe(ST.dpll);
+        (0, vitest_1.expect)(ST.Logic.PARALLEL_THRESHOLD).toBe(ST.PARALLEL_THRESHOLD);
+    });
+    // ── ProofSystems ────────────────────────────────────────────────────────
+    (0, vitest_1.it)('ProofSystems agrupa probadores y herramientas de prueba', () => {
+        (0, vitest_1.expect)(ST.ProofSystems.folProver).toBeDefined();
+        (0, vitest_1.expect)(ST.ProofSystems.folProverEquality).toBeDefined();
+        (0, vitest_1.expect)(ST.ProofSystems.proofExchange).toBeDefined();
+        (0, vitest_1.expect)(ST.ProofSystems.proofMinify).toBeDefined();
+        (0, vitest_1.expect)(ST.ProofSystems.tableauFramework).toBeDefined();
+        (0, vitest_1.expect)(ST.ProofSystems.proofNets).toBeDefined();
+    });
+    (0, vitest_1.it)('ProofSystems.folProver.proveFOL coincide con el flat', () => {
+        (0, vitest_1.expect)(ST.ProofSystems.folProver.proveFOL).toBe(ST.proveFOL);
+        (0, vitest_1.expect)(ST.ProofSystems.folProver.unify).toBe(ST.unify);
+        (0, vitest_1.expect)(ST.ProofSystems.folProver.skolemize).toBe(ST.skolemize);
+    });
+    (0, vitest_1.it)('ProofSystems.proofExchange expone canonicalize y signProof', () => {
+        (0, vitest_1.expect)(ST.ProofSystems.proofExchange.canonicalize).toBe(ST.canonicalize);
+        (0, vitest_1.expect)(ST.ProofSystems.proofExchange.signProof).toBe(ST.signProof);
+        (0, vitest_1.expect)(ST.ProofSystems.proofExchange.verifyProof).toBe(ST.verifyProof);
+    });
+    (0, vitest_1.it)('ProofSystems.tableauFramework expone TableauProver', () => {
+        (0, vitest_1.expect)(ST.ProofSystems.tableauFramework.TableauProver).toBe(ST.TableauProver);
+    });
+    // ── TypeTheory ──────────────────────────────────────────────────────────
+    (0, vitest_1.it)('TypeTheory agrupa Curry-Howard, System F, MLTT y λ-calc', () => {
+        (0, vitest_1.expect)(ST.TypeTheory.curryHoward).toBeDefined();
+        (0, vitest_1.expect)(ST.TypeTheory.systemF).toBeDefined();
+        (0, vitest_1.expect)(ST.TypeTheory.mltt).toBeDefined();
+        (0, vitest_1.expect)(ST.TypeTheory.lambdaCalc).toBeDefined();
+        (0, vitest_1.expect)(ST.TypeTheory.combinatorsSKI).toBeDefined();
+        (0, vitest_1.expect)(ST.TypeTheory.nbe).toBeDefined();
+        (0, vitest_1.expect)(ST.TypeTheory.refinementTypes).toBeDefined();
+        (0, vitest_1.expect)(ST.TypeTheory.higherOrderUnify).toBeDefined();
+    });
+    (0, vitest_1.it)('TypeTheory.systemF.typeOf produce el mismo resultado que el flat', () => {
+        const sf = ST.TypeTheory.systemF;
+        // Identidad polimórfica: Λ X. λ x:X. x  ⊢  ∀X. X → X
+        const idTerm = sf.fTAbs('X', sf.fAbs('x', sf.fAtom('X'), sf.fVar('x')));
+        const result = sf.typeOf(idTerm);
+        (0, vitest_1.expect)(sf.isTypeError(result)).toBe(false);
+        if (!sf.isTypeError(result)) {
+            // ∀X. X → X
+            (0, vitest_1.expect)(result.kind).toBe('forall');
+            (0, vitest_1.expect)(sf.fTypeToString(result)).toBe('∀X. X → X');
+        }
+    });
+    (0, vitest_1.it)('TypeTheory.curryHoward.inferType coincide con flat inferType', () => {
+        const ch = ST.TypeTheory.curryHoward;
+        // λx:P. x — debería tipar a P → P
+        const id = ch.abs('x', ch.atom('P'), ch.vr('x'));
+        const inferred = ch.inferType(id);
+        (0, vitest_1.expect)(ch.isInferError(inferred)).toBe(false);
+        // Llamada directa a flat
+        (0, vitest_1.expect)(ST.inferType).toBe(ch.inferType);
+    });
+    (0, vitest_1.it)('TypeTheory.mltt expone constructores y normalize', () => {
+        const m = ST.TypeTheory.mltt;
+        (0, vitest_1.expect)(typeof m.mVar).toBe('function');
+        (0, vitest_1.expect)(typeof m.mLam).toBe('function');
+        (0, vitest_1.expect)(typeof m.normalize).toBe('function');
+        // Identidad referencial con flat (con alias mlttX).
+        (0, vitest_1.expect)(m.normalize).toBe(ST.mlttNormalize);
+    });
+    (0, vitest_1.it)('TypeTheory.lambdaCalc expone constructores y normalize', () => {
+        const lc = ST.TypeTheory.lambdaCalc;
+        (0, vitest_1.expect)(typeof lc.v).toBe('function');
+        (0, vitest_1.expect)(typeof lc.lam).toBe('function');
+        (0, vitest_1.expect)(lc.normalize).toBe(ST.lcNormalize);
+    });
+    // ── Solvers ─────────────────────────────────────────────────────────────
+    (0, vitest_1.it)('Solvers expone CDCL v2, CSP, MUS, SMT', () => {
+        (0, vitest_1.expect)(ST.Solvers.cdclV2).toBeDefined();
+        (0, vitest_1.expect)(ST.Solvers.cdclV2Incremental).toBeDefined();
+        (0, vitest_1.expect)(ST.Solvers.csp).toBeDefined();
+        (0, vitest_1.expect)(ST.Solvers.mus).toBeDefined();
+        (0, vitest_1.expect)(ST.Solvers.smt).toBeDefined();
+        (0, vitest_1.expect)(ST.Solvers.parallel).toBeDefined();
+    });
+    (0, vitest_1.it)('Solvers.solveCDCLv2 coincide con flat solveCDCLv2', () => {
+        (0, vitest_1.expect)(ST.Solvers.solveCDCLv2).toBe(ST.solveCDCLv2);
+    });
+    // ── Reasoning ───────────────────────────────────────────────────────────
+    (0, vitest_1.it)('Reasoning agrupa argumentation, belief-revision, abduction, etc.', () => {
+        (0, vitest_1.expect)(ST.Reasoning.argumentation).toBeDefined();
+        (0, vitest_1.expect)(ST.Reasoning.beliefRevision).toBeDefined();
+        (0, vitest_1.expect)(ST.Reasoning.abduction).toBeDefined();
+        (0, vitest_1.expect)(ST.Reasoning.markovLogic).toBeDefined();
+        (0, vitest_1.expect)(ST.Reasoning.bayesian).toBeDefined();
+        (0, vitest_1.expect)(ST.Reasoning.citationReasoning).toBeDefined();
+        (0, vitest_1.expect)(ST.Reasoning.hyperreal).toBeDefined();
+        (0, vitest_1.expect)(ST.Reasoning.antiUnification).toBeDefined();
+        (0, vitest_1.expect)(ST.Reasoning.termRewriting).toBeDefined();
+    });
+    (0, vitest_1.it)('Reasoning.argumentation.computeExtensions coincide con flat', () => {
+        (0, vitest_1.expect)(ST.Reasoning.argumentation.computeExtensions).toBe(ST.computeExtensions);
+    });
+    (0, vitest_1.it)('Reasoning.citationReasoning.deriveWithCitations coincide con flat', () => {
+        (0, vitest_1.expect)(ST.Reasoning.citationReasoning.deriveWithCitations).toBe(ST.deriveWithCitations);
+    });
+    (0, vitest_1.it)('Reasoning.TheoremCache coincide con flat TheoremCache', () => {
+        (0, vitest_1.expect)(ST.Reasoning.TheoremCache).toBe(ST.TheoremCache);
+        (0, vitest_1.expect)(ST.Reasoning.tryReuseProof).toBe(ST.tryReuseProof);
+    });
+    // ── Semantics ───────────────────────────────────────────────────────────
+    (0, vitest_1.it)('Semantics agrupa text-layer, game-semantics, profile-bridge, coinduction', () => {
+        (0, vitest_1.expect)(ST.Semantics.textLayer).toBeDefined();
+        (0, vitest_1.expect)(ST.Semantics.textLayerCompiler).toBeDefined();
+        (0, vitest_1.expect)(ST.Semantics.textLayerV2).toBeDefined();
+        (0, vitest_1.expect)(ST.Semantics.gameSemantics).toBeDefined();
+        (0, vitest_1.expect)(ST.Semantics.profileBridge).toBeDefined();
+        (0, vitest_1.expect)(ST.Semantics.coinduction).toBeDefined();
+    });
+    (0, vitest_1.it)('Semantics.gameSemantics.winningStrategy coincide con flat', () => {
+        (0, vitest_1.expect)(ST.Semantics.gameSemantics.winningStrategy).toBe(ST.winningStrategy);
+    });
+    (0, vitest_1.it)('Semantics.profileBridge re-exporta translateFormula', () => {
+        (0, vitest_1.expect)(ST.Semantics.profileBridge.translateFormula).toBe(ST.translateFormula);
+        (0, vitest_1.expect)(ST.Semantics.profileBridge.glivenkoTranslation).toBe(ST.glivenkoTranslation);
+    });
+    (0, vitest_1.it)('Semantics.textLayer expone createTextLayerState', () => {
+        (0, vitest_1.expect)(ST.Semantics.textLayer.createTextLayerState).toBe(ST.createTextLayerState);
+    });
+    // ── backward-compat global ──────────────────────────────────────────────
+    (0, vitest_1.it)('los flat exports históricos siguen vivos (no breaking change)', () => {
+        (0, vitest_1.expect)(typeof ST.evaluate).toBe('function');
+        (0, vitest_1.expect)(typeof ST.parse).toBe('function');
+        (0, vitest_1.expect)(typeof ST.check).toBe('function');
+        (0, vitest_1.expect)(typeof ST.typeCheck).toBe('function');
+        (0, vitest_1.expect)(typeof ST.proveFOL).toBe('function');
+        (0, vitest_1.expect)(typeof ST.solveCDCLv2).toBe('function');
+        (0, vitest_1.expect)(typeof ST.computeExtensions).toBe('function');
+        (0, vitest_1.expect)(typeof ST.createTextLayerState).toBe('function');
+    });
+});
+//# sourceMappingURL=namespaces.test.js.map

package/dist/tests/api/namespaces.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"namespaces.test.js","sourceRoot":"","sources":["../../../src/tests/api/namespaces.test.ts"],"names":[],"mappings":";AAAA;;;;;;GAMG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAEH,mCAA8C;AAC9C,gDAAkC;AAElC,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,2EAA2E;IAE3E,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC/B,IAAA,eAAM,EAAC,EAAE,CAAC,YAAY,CAAC,CAAC,WAAW,EAAE,CAAC;QACtC,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,CAAC;QACpC,IAAA,eAAM,EAAC,EAAE,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;QACjC,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;QACnC,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,2EAA2E;IAE3E,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QACnC,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QACnC,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1C,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;QACtC,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,WAAW,EAAE,CAAC;QAChD,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,CAAC;QAC3C,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;QACzC,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;QACzC,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;QACxC,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5C,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1C,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,WAAW,EAAE,CAAC;QAC7C,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,IAAA,eAAM,EAAC,OAAO,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,OAAO,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,kBAAkB,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,2EAA2E;IAE3E,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,IAAA,eAAM,EAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;QAChD,IAAA,eAAM,EAAC,EAAE,CAAC,YAAY,CAAC,iBAAiB,CAAC,CAAC,WAAW,EAAE,CAAC;QACxD,IAAA,eAAM,EAAC,EAAE,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC,WAAW,EAAE,CAAC;QACpD,IAAA,eAAM,EAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,CAAC;QAClD,IAAA,eAAM,EAAC,EAAE,CAAC,YAAY,CAAC,gBAAgB,CAAC,CAAC,WAAW,EAAE,CAAC;QACvD,IAAA,eAAM,EAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,IAAA,eAAM,EAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,IAAA,eAAM,EAAC,EAAE,CAAC,YAAY,CAAC,aAAa,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,EAAE,CAAC,YAAY,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,EAAE,CAAC,YAAY,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,IAAA,eAAM,EAAC,EAAE,CAAC,YAAY,CAAC,gBAAgB,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,2EAA2E;IAE3E,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,CAAC;QAChD,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5C,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;QACzC,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,CAAC;QAC/C,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC,WAAW,EAAE,CAAC;QACnD,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QACxC,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,CAAC,eAAe,CAAC,CAAC,WAAW,EAAE,CAAC;QACpD,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC,WAAW,EAAE,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC;QACjC,qDAAqD;QACrD,MAAM,MAAM,GAAG,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxE,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3C,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC;YAC5B,YAAY;YACZ,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACnC,IAAA,eAAM,EAAC,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACrD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,WAAW,CAAC;QACrC,kCAAkC;QAClC,MAAM,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,QAAQ,GAAG,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9C,yBAAyB;QACzB,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;QAC7B,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC5C,oDAAoD;QACpD,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC;QACpC,IAAA,eAAM,EAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,2EAA2E;IAE3E,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,IAAA,eAAM,EAAC,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;QACxC,IAAA,eAAM,EAAC,EAAE,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC,WAAW,EAAE,CAAC;QACnD,IAAA,eAAM,EAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QACrC,IAAA,eAAM,EAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QACrC,IAAA,eAAM,EAAC,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QACrC,IAAA,eAAM,EAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,IAAA,eAAM,EAAC,EAAE,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,2EAA2E;IAE3E,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,WAAW,EAAE,CAAC;QACjD,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC,WAAW,EAAE,CAAC;QAClD,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;QAC7C,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,CAAC;QAC/C,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5C,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC,WAAW,EAAE,CAAC;QACrD,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;QAC7C,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC,WAAW,EAAE,CAAC;QACnD,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,WAAW,EAAE,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,iBAAiB,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,2EAA2E;IAE3E,IAAA,WAAE,EAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;QAC7C,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC,WAAW,EAAE,CAAC;QACrD,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,CAAC;QAC/C,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,WAAW,EAAE,CAAC;QACjD,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC,WAAW,EAAE,CAAC;QACjD,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,CAAC;QAC9E,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,CAAC;IACtF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;IAEH,2EAA2E;IAE3E,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,IAAA,eAAM,EAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,OAAO,EAAE,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,OAAO,EAAE,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,OAAO,EAAE,CAAC,oBAAoB,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/bdd/manager.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=manager.test.d.ts.map

package/dist/tests/bdd/manager.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"manager.test.d.ts","sourceRoot":"","sources":["../../../src/tests/bdd/manager.test.ts"],"names":[],"mappings":""}