@stevenvo780/st-lang 2.6.1 → 2.7.0

package/dist/tests/result-bindings.test.js

@@ -0,0 +1,59 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const interpreter_1 = require("../runtime/interpreter");
+const propositional_1 = require("../profiles/classical/propositional");
+(0, vitest_1.describe)('Captured action results', () => {
+    (0, vitest_1.it)('stores derivation results in variables with structured fields', () => {
+        const interp = new interpreter_1.Interpreter();
+        const out = interp.execute(`
+        logic classical.propositional
+        axiom a1 = P -> Q
+        axiom a2 = P
+        let manual = Q
+        let deriv = derive Q from {a1, a2}
+        let same = formula_eq(deriv.formula, manual)
+      `, '<test>');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        const bindings = interp.getLetBindings();
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)(bindings.get('deriv'))).toBe('Q');
+        (0, vitest_1.expect)(bindings.get('deriv.status')?.name).toBe('"provable"');
+        (0, vitest_1.expect)(bindings.get('deriv.command')?.name).toBe('"derive"');
+        (0, vitest_1.expect)(bindings.get('same')?.kind).toBe('number');
+        (0, vitest_1.expect)(bindings.get('same')?.value).toBe(1);
+    });
+    (0, vitest_1.it)('decomposes formulas into list values and supports indexing helpers', () => {
+        const interp = new interpreter_1.Interpreter();
+        const out = interp.execute(`
+        logic classical.propositional
+        let f = (P & Q) -> R
+        let atoms = atoms_of(f)
+        let count = len(atoms)
+        let second = at(atoms, 1)
+      `, '<test>');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        const bindings = interp.getLetBindings();
+        (0, vitest_1.expect)(bindings.get('atoms')?.kind).toBe('list');
+        (0, vitest_1.expect)(bindings.get('count')?.value).toBe(3);
+        (0, vitest_1.expect)(bindings.get('second')?.kind).toBe('atom');
+        (0, vitest_1.expect)(bindings.get('second')?.name).toBe('Q');
+    });
+    (0, vitest_1.it)('captures truth table metadata as structured fields', () => {
+        const interp = new interpreter_1.Interpreter();
+        const out = interp.execute(`
+        logic classical.propositional
+        let tt = truth_table (P & Q)
+        let vars = tt.variables
+        let first = at(vars, 0)
+        let total = len(vars)
+      `, '<test>');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        const bindings = interp.getLetBindings();
+        (0, vitest_1.expect)(bindings.get('tt.status')?.name).toBe('"satisfiable"');
+        (0, vitest_1.expect)(bindings.get('tt.rows_count')?.value).toBe(4);
+        (0, vitest_1.expect)(bindings.get('vars')?.kind).toBe('list');
+        (0, vitest_1.expect)(bindings.get('first')?.name).toBe('P');
+        (0, vitest_1.expect)(bindings.get('total')?.value).toBe(2);
+    });
+});
+//# sourceMappingURL=result-bindings.test.js.map

package/dist/tests/result-bindings.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"result-bindings.test.js","sourceRoot":"","sources":["../../src/tests/result-bindings.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,wDAAqD;AACrD,uEAAsE;AAEtE,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,MAAM,GAAG,IAAI,yBAAW,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CACxB;;;;;;;OAOC,EACD,QAAQ,CACT,CAAC;QAEF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAE7B,MAAM,QAAQ,GAAG,MAAM,CAAC,cAAc,EAAE,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,MAAM,GAAG,IAAI,yBAAW,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CACxB;;;;;;OAMC,EACD,QAAQ,CACT,CAAC;QAEF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAE7B,MAAM,QAAQ,GAAG,MAAM,CAAC,cAAc,EAAE,CAAC;QACzC,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,MAAM,GAAG,IAAI,yBAAW,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,MAAM,CAAC,OAAO,CACxB;;;;;;OAMC,EACD,QAAQ,CACT,CAAC;QAEF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAE7B,MAAM,QAAQ,GAAG,MAAM,CAAC,cAAc,EAAE,CAAC;QACzC,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/stress-hardware.test.d.ts

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

package/dist/tests/stress-hardware.test.d.ts.map

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

package/dist/tests/stress-hardware.test.js

@@ -0,0 +1,516 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+/**
+ * ST Hardware Stress Tests
+ * ========================
+ * Objetivo: que muera el PC antes que el lenguaje.
+ * Cada test valida que ST maneje cargas extremas sin:
+ *   - Stack overflow
+ *   - Infinite loops / hangs
+ *   - OOM sin control (debe fallar con mensaje, no con crash)
+ *   - Resultados incorrectos bajo presión
+ *
+ * Categorías:
+ *   1. Bitset Evaluation (propositional, saturar BigInt)
+ *   2. Hash-Consing / DAG (ataque de fórmulas fractales)
+ *   3. Tableau Engine (explosión de ramas)
+ *   4. FOL (explosión de cuantificadores)
+ *   5. Arithmetic (recursión profunda, loops masivos)
+ *   6. Belnap (4-valued bitset bajo presión)
+ *   7. Multi-profile whiplash (cambios rápidos de perfil)
+ */
+const vitest_1 = require("vitest");
+const interpreter_1 = require("../runtime/interpreter");
+const formula_factory_1 = require("../runtime/formula-factory");
+(0, vitest_1.afterEach)(() => {
+    formula_factory_1.FormulaFactory.clear();
+});
+function run(source) {
+    const interp = new interpreter_1.Interpreter();
+    return interp.execute(source, '<stress>');
+}
+/** Strip diacritics for accent-insensitive comparison */
+function stripAccents(s) {
+    return s.normalize('NFD').replace(/[\u0300-\u036f]/g, '');
+}
+// ============================================================
+// 1. BITSET PROPOSITIONAL — SATURAR EVALUACIÓN VECTORIZADA
+// ============================================================
+(0, vitest_1.describe)('Stress: Bitset Propositional', () => {
+    (0, vitest_1.it)('20 atoms — maximum truth table materialization (1M rows)', () => {
+        const atoms = Array.from({ length: 20 }, (_, i) => `V${i}`);
+        const formula = atoms.join(' & ');
+        const source = `
+      logic classical.propositional
+      truth_table ${formula}
+    `;
+        const out = run(source);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('valuaciones analizadas');
+    }, 30000);
+    (0, vitest_1.it)('20 atoms — tautology check via bitset (instant)', () => {
+        const atoms = Array.from({ length: 20 }, (_, i) => `P${i}`);
+        const tautology = atoms.map((a) => `(${a} | !${a})`).join(' & ');
+        const source = `
+      logic classical.propositional
+      check valid ${tautology}
+    `;
+        const out = run(source);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(stripAccents(out.stdout).toUpperCase()).toContain('VALIDA');
+    }, 10000);
+    (0, vitest_1.it)('26 atoms — validity check without materialization', () => {
+        // 2^26 = 67M combinations — bitset should handle this without creating rows
+        const atoms = Array.from({ length: 26 }, (_, i) => `X${i}`);
+        const tautology = atoms.map((a) => `(${a} | !${a})`).join(' & ');
+        const source = `
+      logic classical.propositional
+      check valid ${tautology}
+    `;
+        const out = run(source);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(stripAccents(out.stdout).toUpperCase()).toContain('VALIDA');
+    }, 15000);
+    (0, vitest_1.it)('26 atoms — satisfiability (instant contradiction detection)', () => {
+        const atoms = Array.from({ length: 26 }, (_, i) => `Z${i}`);
+        const contradiction = atoms.map((a) => `(${a} & !${a})`).join(' | ');
+        const source = `
+      logic classical.propositional
+      check satisfiable ${contradiction}
+    `;
+        const out = run(source);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('INSATISFACIBLE');
+    }, 15000);
+    (0, vitest_1.it)('countermodel for non-tautology with 15 atoms (instant)', () => {
+        const atoms = Array.from({ length: 15 }, (_, i) => `M${i}`);
+        // M0 & M1 & ... & M14 is satisfiable but not a tautology
+        const formula = atoms.join(' & ');
+        const source = `
+      logic classical.propositional
+      countermodel ${formula}
+    `;
+        const out = run(source);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        // Should find a countermodel quickly
+    }, 10000);
+    (0, vitest_1.it)('XOR chain with 14 atoms — complex bitset evaluation', () => {
+        const atoms = Array.from({ length: 14 }, (_, i) => `Q${i}`);
+        let formula = atoms[0];
+        for (let i = 1; i < atoms.length; i++) {
+            formula = `(${formula} ^ ${atoms[i]})`;
+        }
+        const source = `
+      logic classical.propositional
+      check satisfiable ${formula}
+    `;
+        const out = run(source);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    }, 15000);
+    (0, vitest_1.it)('deeply nested implications (20 levels, bitset fast path)', () => {
+        let formula = 'Z';
+        for (let i = 0; i < 20; i++) {
+            formula = `(P${i} -> ${formula})`;
+        }
+        const source = `
+      logic classical.propositional
+      check valid ${formula}
+    `;
+        const out = run(source);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    }, 15000);
+});
+// ============================================================
+// 2. HASH-CONSING / DAG — ATAQUE FRACTAL DE FORMULAS
+// ============================================================
+(0, vitest_1.describe)('Stress: Hash-Consing / Formula Sharing', () => {
+    (0, vitest_1.it)('exponential formula doubling (8 iterations = 4^8 theoretical nodes)', () => {
+        // Each iteration quadruples the formula: f = (f | f) & (f | f)
+        // Tests that the engine handles formula growth gracefully
+        const source = `
+      logic classical.propositional
+      let f = A
+      for i in {1,2,3,4,5,6,7,8} {
+        set f = (f | f) & (f | f)
+      }
+      check satisfiable f
+    `;
+        const out = run(source);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('SATISFACIBLE');
+    }, 10000);
+    (0, vitest_1.it)('100 axioms sharing same subformulas', () => {
+        const axioms = Array.from({ length: 100 }, (_, i) => `axiom a${i} = (P -> Q) & (Q -> R) & (R -> S${i})`).join('\n');
+        const source = `
+      logic classical.propositional
+      ${axioms}
+      check valid (P -> Q)
+    `;
+        const out = run(source);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    }, 10000);
+    (0, vitest_1.it)('deep chain of biconditionals (20 levels, bitset fast path)', () => {
+        const atoms = Array.from({ length: 20 }, (_, i) => `B${i}`);
+        let formula = atoms[0];
+        for (let i = 1; i < atoms.length; i++) {
+            formula = `(${formula} <-> ${atoms[i]})`;
+        }
+        const source = `
+      logic classical.propositional
+      check satisfiable ${formula}
+    `;
+        const out = run(source);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    }, 15000);
+});
+// ============================================================
+// 3. TABLEAU ENGINE — EXPLOSIÓN DE RAMAS
+// ============================================================
+(0, vitest_1.describe)('Stress: Tableau Engine', () => {
+    (0, vitest_1.it)('modal K — 30 levels of diamond nesting', () => {
+        let formula = 'P';
+        for (let i = 0; i < 30; i++) {
+            formula = `<>(${formula})`;
+        }
+        const source = `
+      logic modal.k
+      check satisfiable ${formula}
+    `;
+        const out = run(source);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    }, 20000);
+    (0, vitest_1.it)('modal S5 — validity of axiom 5 with deep nesting', () => {
+        const source = `
+      logic epistemic.s5
+      check valid (<>P -> []<>P)
+    `;
+        const out = run(source);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    }, 10000);
+    (0, vitest_1.it)('deontic — 20 levels of obligation nesting', () => {
+        let formula = 'A';
+        for (let i = 0; i < 20; i++) {
+            formula = `O(${formula})`;
+        }
+        const source = `
+      logic deontic.standard
+      check valid ${formula} -> ${formula}
+    `;
+        const out = run(source);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    }, 15000);
+    (0, vitest_1.it)('temporal — nested G/F/X operators', () => {
+        const source = `
+      logic temporal.ltl
+      check satisfiable G(P -> F(X(Q)))
+    `;
+        const out = run(source);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    }, 15000);
+    (0, vitest_1.it)('intuitionistic — Peirce law is NOT valid', () => {
+        const source = `
+      logic intuitionistic.propositional
+      check valid (((P -> Q) -> P) -> P)
+    `;
+        const out = run(source);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout.toLowerCase()).toContain('no es');
+    }, 10000);
+});
+// ============================================================
+// 4. FOL — EXPLOSIÓN DE CUANTIFICADORES
+// ============================================================
+(0, vitest_1.describe)('Stress: First-Order Logic', () => {
+    (0, vitest_1.it)('valid universal instantiation with 5 constants', () => {
+        const source = `
+      logic classical.first_order
+      check valid (forall x P(x)) -> (P(a) & P(b) & P(c) & P(d) & P(e))
+    `;
+        const out = run(source);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(stripAccents(out.stdout).toUpperCase()).toContain('VALIDA');
+    }, 15000);
+    (0, vitest_1.it)('existential from specific — P(a) -> exists x P(x)', () => {
+        const source = `
+      logic classical.first_order
+      check valid (P(a) -> exists x P(x))
+    `;
+        const out = run(source);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(stripAccents(out.stdout).toUpperCase()).toContain('VALIDA');
+    }, 10000);
+    (0, vitest_1.it)('Barbara syllogism (forall x (P(x)->Q(x))) & P(a) -> Q(a)', () => {
+        const source = `
+      logic classical.first_order
+      check valid ((forall x (P(x) -> Q(x))) -> (P(a) -> Q(a)))
+    `;
+        const out = run(source);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(stripAccents(out.stdout).toUpperCase()).toContain('VALIDA');
+    }, 15000);
+    (0, vitest_1.it)('nested quantifiers — forall x exists y is satisfiable (does not hang)', () => {
+        const source = `
+      logic classical.first_order
+      check satisfiable forall x exists y R(x,y)
+    `;
+        const out = run(source);
+        // Should complete without hanging. May return satisfiable or hit depth limit.
+        (0, vitest_1.expect)([0, 3]).toContain(out.exitCode);
+    }, 20000);
+    (0, vitest_1.it)('invalid formula correctly detected — exists -> forall', () => {
+        const source = `
+      logic classical.first_order
+      check valid (exists x P(x)) -> (forall x P(x))
+    `;
+        const out = run(source);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout.toLowerCase()).toContain('no es');
+    }, 15000);
+    (0, vitest_1.it)('derivation with 10 axioms in FOL', () => {
+        const axioms = Array.from({ length: 9 }, (_, i) => `axiom a${i} = forall x (P${i}(x) -> P${i + 1}(x))`).join('\n');
+        const source = `
+      logic classical.first_order
+      ${axioms}
+      axiom base = P0(a)
+      derive P9(a) from {a0, a1, a2, a3, a4, a5, a6, a7, a8, base}
+    `;
+        const out = run(source);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    }, 20000);
+});
+// ============================================================
+// 5. ARITHMETIC — RECURSIÓN Y LOOPS MASIVOS
+// ============================================================
+(0, vitest_1.describe)('Stress: Arithmetic & Recursion', () => {
+    (0, vitest_1.it)('500 iterations of set x = x + 1', () => {
+        let setLines = '';
+        for (let i = 0; i < 500; i++) {
+            setLines += `  set x = x + 1\n`;
+        }
+        const source = `
+      logic arithmetic
+      let x = 0
+${setLines}
+      print x
+    `;
+        const out = run(source);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('500');
+    }, 15000);
+    (0, vitest_1.it)('recursive function hitting call depth limit gracefully', () => {
+        const source = `
+      logic arithmetic
+      fn infinite(N) {
+        let next = N + 1
+        return infinite(next)
+      }
+      let r = infinite(1)
+    `;
+        const out = run(source);
+        // Should not crash — should report a recursion/call limit error
+        (0, vitest_1.expect)(out.diagnostics.some((d) => d.message.includes('recursión') ||
+            d.message.includes('recursion') ||
+            d.message.includes('Límite') ||
+            d.message.includes('llamadas'))).toBe(true);
+    }, 15000);
+    (0, vitest_1.it)('nested for loops (10x10x10 = 1000 iterations)', () => {
+        const source = `
+      logic arithmetic
+      let count = 0
+      for i in {1,2,3,4,5,6,7,8,9,10} {
+        for j in {1,2,3,4,5,6,7,8,9,10} {
+          for k in {1,2,3,4,5,6,7,8,9,10} {
+            set count = count + 1
+          }
+        }
+      }
+      print count
+    `;
+        const out = run(source);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('1000');
+    }, 30000);
+    (0, vitest_1.it)('factorial(10) via recursion', () => {
+        const source = `
+      logic arithmetic
+      fn factorial(N) {
+        if valid N <= 1 {
+          return 1
+        }
+        let prev = N - 1
+        let res = factorial(prev)
+        return N * res
+      }
+      let f10 = factorial(10)
+      print f10
+    `;
+        const out = run(source);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        // 10! = 3628800
+        (0, vitest_1.expect)(out.stdout).toContain('3628800');
+    }, 10000);
+    (0, vitest_1.it)('fibonacci(12) via recursion', () => {
+        const source = `
+      logic arithmetic
+      fn fib(N) {
+        if valid N <= 0 { return 0 }
+        if valid N <= 1 { return 1 }
+        let a = N - 1
+        let b = N - 2
+        let ra = fib(a)
+        let rb = fib(b)
+        return ra + rb
+      }
+      let f12 = fib(12)
+      print f12
+    `;
+        const out = run(source);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        // fib(12) = 144
+        (0, vitest_1.expect)(out.stdout).toContain('144');
+    }, 30000);
+    (0, vitest_1.it)('division by zero does not crash', () => {
+        const source = `
+      logic arithmetic
+      axiom bad = 10 / 0
+      explain 10 / 0
+    `;
+        const out = run(source);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.diagnostics.some((d) => d.message.includes('División por cero'))).toBe(true);
+    }, 5000);
+});
+// ============================================================
+// 6. BELNAP 4-VALUED — BITSET UNDER PRESSURE
+// ============================================================
+(0, vitest_1.describe)('Stress: Belnap Paraconsistent', () => {
+    (0, vitest_1.it)('8 atoms — Belnap truth table (4^8 = 65K rows via bitset)', () => {
+        const atoms = Array.from({ length: 8 }, (_, i) => `B${i}`);
+        const formula = atoms.join(' & ');
+        const source = `
+      logic paraconsistent.belnap
+      check valid ${formula}
+    `;
+        const out = run(source);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    }, 30000);
+    (0, vitest_1.it)('Belnap EFQ is NOT valid (P & !P) -> Q', () => {
+        const source = `
+      logic paraconsistent.belnap
+      check valid (P & !P) -> Q
+    `;
+        const out = run(source);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(stripAccents(out.stdout).toLowerCase()).toContain('no es valida');
+    }, 10000);
+    (0, vitest_1.it)('8 atoms — Belnap satisfiability', () => {
+        const atoms = Array.from({ length: 8 }, (_, i) => `C${i}`);
+        const formula = atoms.map((a) => `(${a} | !${a})`).join(' & ');
+        const source = `
+      logic paraconsistent.belnap
+      check satisfiable ${formula}
+    `;
+        const out = run(source);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    }, 15000);
+});
+// ============================================================
+// 7. MULTI-PROFILE WHIPLASH — CAMBIOS RÁPIDOS DE PERFIL
+// ============================================================
+(0, vitest_1.describe)('Stress: Multi-Profile Whiplash', () => {
+    (0, vitest_1.it)('rapid profile switching (10 profiles in one program)', () => {
+        const source = `
+      logic classical.propositional
+      check valid (P -> P)
+
+      logic modal.k
+      check valid [](P -> P)
+
+      logic deontic.standard
+      check valid O(P) -> O(P)
+
+      logic temporal.ltl
+      check satisfiable (P U Q)
+
+      logic epistemic.s5
+      check satisfiable K(P) & !P
+
+      logic paraconsistent.belnap
+      check satisfiable P & !P
+
+      logic intuitionistic.propositional
+      check valid (P -> P)
+
+      logic classical.first_order
+      check valid (forall x P(x)) -> P(a)
+
+      logic arithmetic
+      explain 2 + 3
+
+      logic probabilistic.basic
+      check satisfiable Pr(A) = 0.5
+    `;
+        const out = run(source);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.results.length).toBeGreaterThanOrEqual(10);
+    }, 15000);
+    (0, vitest_1.it)('all profiles produce correct results', () => {
+        const source = `
+      logic classical.propositional
+      check valid (P | !P)
+    `;
+        const out1 = run(source);
+        (0, vitest_1.expect)(out1.results[0].status).toBe('valid');
+        const source2 = `
+      logic paraconsistent.belnap
+      check valid (P | !P)
+    `;
+        const out2 = run(source2);
+        // Belnap: P | !P is NOT valid (fails for Both value)
+        (0, vitest_1.expect)(out2.results[0].status).not.toBe('valid');
+    }, 10000);
+});
+// ============================================================
+// 8. COMBINADO — PRUEBA OMEGA FINAL
+// ============================================================
+(0, vitest_1.describe)('Stress: Omega Final', () => {
+    (0, vitest_1.it)('theory with 50 axioms + derivation chain', () => {
+        const axioms = Array.from({ length: 49 }, (_, i) => `axiom a${i} = P${i} -> P${i + 1}`).join('\n');
+        const source = `
+      logic classical.propositional
+      ${axioms}
+      axiom base = P0
+      derive P49 from {${Array.from({ length: 49 }, (_, i) => `a${i}`).join(', ')}, base}
+    `;
+        const out = run(source);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('[derive]');
+    }, 30000);
+    (0, vitest_1.it)('proof block with complex premise set', () => {
+        const source = `
+      logic classical.propositional
+      axiom a1 = P -> Q
+      axiom a2 = Q -> R
+      axiom a3 = R -> S
+      axiom a4 = S -> T
+      axiom base = P
+      prove T from {a1, a2, a3, a4, base}
+    `;
+        const out = run(source);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    }, 10000);
+    (0, vitest_1.it)('massive theory render (50 axioms + 50 theorems)', () => {
+        const decls = Array.from({ length: 50 }, (_, i) => `axiom a${i} = P${i} -> Q${i}`).join('\n') +
+            '\n' +
+            Array.from({ length: 50 }, (_, i) => `theorem t${i} = Q${i} -> R${i}`).join('\n');
+        const source = `
+      logic classical.propositional
+      ${decls}
+      render theory
+    `;
+        const out = run(source);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('render');
+    }, 10000);
+});
+//# sourceMappingURL=stress-hardware.test.js.map

package/dist/tests/stress-hardware.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stress-hardware.test.js","sourceRoot":"","sources":["../../src/tests/stress-hardware.test.ts"],"names":[],"mappings":";;AAAA;;;;;;;;;;;;;;;;;;GAkBG;AACH,mCAAyD;AACzD,wDAAqD;AACrD,gEAA4D;AAE5D,IAAA,kBAAS,EAAC,GAAG,EAAE;IACb,gCAAc,CAAC,KAAK,EAAE,CAAC;AACzB,CAAC,CAAC,CAAC;AAEH,SAAS,GAAG,CAAC,MAAc;IACzB,MAAM,MAAM,GAAG,IAAI,yBAAW,EAAE,CAAC;IACjC,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;AAC5C,CAAC;AAED,yDAAyD;AACzD,SAAS,YAAY,CAAC,CAAS;IAC7B,OAAO,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,kBAAkB,EAAE,EAAE,CAAC,CAAC;AAC5D,CAAC;AAED,+DAA+D;AAC/D,2DAA2D;AAC3D,+DAA+D;AAC/D,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5D,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG;;oBAEC,OAAO;KACtB,CAAC;QACF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,wBAAwB,CAAC,CAAC;IACzD,CAAC,EAAE,KAAK,CAAC,CAAC;IAEV,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5D,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG;;oBAEC,SAAS;KACxB,CAAC;QACF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACrE,CAAC,EAAE,KAAK,CAAC,CAAC;IAEV,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,4EAA4E;QAC5E,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5D,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjE,MAAM,MAAM,GAAG;;oBAEC,SAAS;KACxB,CAAC;QACF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACrE,CAAC,EAAE,KAAK,CAAC,CAAC;IAEV,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5D,MAAM,aAAa,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrE,MAAM,MAAM,GAAG;;0BAEO,aAAa;KAClC,CAAC;QACF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;IACjD,CAAC,EAAE,KAAK,CAAC,CAAC;IAEV,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5D,yDAAyD;QACzD,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG;;qBAEE,OAAO;KACvB,CAAC;QACF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,qCAAqC;IACvC,CAAC,EAAE,KAAK,CAAC,CAAC;IAEV,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5D,IAAI,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,OAAO,GAAG,IAAI,OAAO,MAAM,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC;QACzC,CAAC;QACD,MAAM,MAAM,GAAG;;0BAEO,OAAO;KAC5B,CAAC;QACF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,EAAE,KAAK,CAAC,CAAC;IAEV,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,IAAI,OAAO,GAAG,GAAG,CAAC;QAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,OAAO,GAAG,KAAK,CAAC,OAAO,OAAO,GAAG,CAAC;QACpC,CAAC;QACD,MAAM,MAAM,GAAG;;oBAEC,OAAO;KACtB,CAAC;QACF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,EAAE,KAAK,CAAC,CAAC;AACZ,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,qDAAqD;AACrD,+DAA+D;AAC/D,IAAA,iBAAQ,EAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,IAAA,WAAE,EAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,+DAA+D;QAC/D,0DAA0D;QAC1D,MAAM,MAAM,GAAG;;;;;;;KAOd,CAAC;QACF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAC/C,CAAC,EAAE,KAAK,CAAC,CAAC;IAEV,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CACvB,EAAE,MAAM,EAAE,GAAG,EAAE,EACf,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,mCAAmC,CAAC,GAAG,CAC7D,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,MAAM,MAAM,GAAG;;QAEX,MAAM;;KAET,CAAC;QACF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,EAAE,KAAK,CAAC,CAAC;IAEV,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5D,IAAI,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,OAAO,GAAG,IAAI,OAAO,QAAQ,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC;QAC3C,CAAC;QACD,MAAM,MAAM,GAAG;;0BAEO,OAAO;KAC5B,CAAC;QACF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,EAAE,KAAK,CAAC,CAAC;AACZ,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,yCAAyC;AACzC,+DAA+D;AAC/D,IAAA,iBAAQ,EAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,IAAI,OAAO,GAAG,GAAG,CAAC;QAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,OAAO,GAAG,MAAM,OAAO,GAAG,CAAC;QAC7B,CAAC;QACD,MAAM,MAAM,GAAG;;0BAEO,OAAO;KAC5B,CAAC;QACF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,EAAE,KAAK,CAAC,CAAC;IAEV,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,MAAM,GAAG;;;KAGd,CAAC;QACF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,EAAE,KAAK,CAAC,CAAC;IAEV,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,IAAI,OAAO,GAAG,GAAG,CAAC;QAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,OAAO,GAAG,KAAK,OAAO,GAAG,CAAC;QAC5B,CAAC;QACD,MAAM,MAAM,GAAG;;oBAEC,OAAO,OAAO,OAAO;KACpC,CAAC;QACF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,EAAE,KAAK,CAAC,CAAC;IAEV,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,MAAM,GAAG;;;KAGd,CAAC;QACF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,EAAE,KAAK,CAAC,CAAC;IAEV,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,MAAM,GAAG;;;KAGd,CAAC;QACF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACtD,CAAC,EAAE,KAAK,CAAC,CAAC;AACZ,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,wCAAwC;AACxC,+DAA+D;AAC/D,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,MAAM,GAAG;;;KAGd,CAAC;QACF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACrE,CAAC,EAAE,KAAK,CAAC,CAAC;IAEV,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,MAAM,GAAG;;;KAGd,CAAC;QACF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACrE,CAAC,EAAE,KAAK,CAAC,CAAC;IAEV,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,MAAM,GAAG;;;KAGd,CAAC;QACF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACrE,CAAC,EAAE,KAAK,CAAC,CAAC;IAEV,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,MAAM,GAAG;;;KAGd,CAAC;QACF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,8EAA8E;QAC9E,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IACzC,CAAC,EAAE,KAAK,CAAC,CAAC;IAEV,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,MAAM,GAAG;;;KAGd,CAAC;QACF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACtD,CAAC,EAAE,KAAK,CAAC,CAAC;IAEV,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CACvB,EAAE,MAAM,EAAE,CAAC,EAAE,EACb,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,iBAAiB,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAC9D,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,MAAM,MAAM,GAAG;;QAEX,MAAM;;;KAGT,CAAC;QACF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,EAAE,KAAK,CAAC,CAAC;AACZ,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,4CAA4C;AAC5C,+DAA+D;AAC/D,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,IAAI,QAAQ,GAAG,EAAE,CAAC;QAClB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7B,QAAQ,IAAI,mBAAmB,CAAC;QAClC,CAAC;QACD,MAAM,MAAM,GAAG;;;EAGjB,QAAQ;;KAEL,CAAC;QACF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC,EAAE,KAAK,CAAC,CAAC;IAEV,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,MAAM,GAAG;;;;;;;KAOd,CAAC;QACF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,gEAAgE;QAChE,IAAA,eAAM,EACJ,GAAG,CAAC,WAAW,CAAC,IAAI,CAClB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC;YAC/B,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC;YAC/B,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAC5B,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,CACjC,CACF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC,EAAE,KAAK,CAAC,CAAC;IAEV,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,MAAM,GAAG;;;;;;;;;;;KAWd,CAAC;QACF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACvC,CAAC,EAAE,KAAK,CAAC,CAAC;IAEV,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,MAAM,GAAG;;;;;;;;;;;;KAYd,CAAC;QACF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,gBAAgB;QAChB,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAC1C,CAAC,EAAE,KAAK,CAAC,CAAC;IAEV,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,MAAM,GAAG;;;;;;;;;;;;;KAad,CAAC;QACF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,gBAAgB;QAChB,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC,EAAE,KAAK,CAAC,CAAC;IAEV,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,MAAM,GAAG;;;;KAId,CAAC;QACF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1F,CAAC,EAAE,IAAI,CAAC,CAAC;AACX,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,6CAA6C;AAC7C,+DAA+D;AAC/D,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3D,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG;;oBAEC,OAAO;KACtB,CAAC;QACF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,EAAE,KAAK,CAAC,CAAC;IAEV,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,MAAM,GAAG;;;KAGd,CAAC;QACF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAC3E,CAAC,EAAE,KAAK,CAAC,CAAC;IAEV,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3D,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/D,MAAM,MAAM,GAAG;;0BAEO,OAAO;KAC5B,CAAC;QACF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,EAAE,KAAK,CAAC,CAAC;AACZ,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,wDAAwD;AACxD,+DAA+D;AAC/D,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KA8Bd,CAAC;QACF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC;IACxD,CAAC,EAAE,KAAK,CAAC,CAAC;IAEV,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,MAAM,GAAG;;;KAGd,CAAC;QACF,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAE7C,MAAM,OAAO,GAAG;;;KAGf,CAAC;QACF,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,CAAC;QAC1B,qDAAqD;QACrD,IAAA,eAAM,EAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACnD,CAAC,EAAE,KAAK,CAAC,CAAC;AACZ,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,oCAAoC;AACpC,+DAA+D;AAC/D,IAAA,iBAAQ,EAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,CAC1F,IAAI,CACL,CAAC;QACF,MAAM,MAAM,GAAG;;QAEX,MAAM;;yBAEW,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;KAC5E,CAAC;QACF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC3C,CAAC,EAAE,KAAK,CAAC,CAAC;IAEV,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,MAAM,GAAG;;;;;;;;KAQd,CAAC;QACF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,EAAE,KAAK,CAAC,CAAC;IAEV,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,KAAK,GACT,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YAC/E,IAAI;YACJ,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpF,MAAM,MAAM,GAAG;;QAEX,KAAK;;KAER,CAAC;QACF,MAAM,GAAG,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACzC,CAAC,EAAE,KAAK,CAAC,CAAC;AACZ,CAAC,CAAC,CAAC"}

package/dist/tests/v1-features.test.js

@@ -926,7 +926,7 @@ function parseOk(source) {
       foo(P, Q)
     `);
         (0, vitest_1.expect)(out.exitCode).not.toBe(0);
-        (0, vitest_1.expect)(out.stderr).toContain('argumento');
+        (0, vitest_1.expect)(out.stderr.toLowerCase()).toContain('argumento');
     });
     (0, vitest_1.it)('calling undeclared function throws error', () => {
         const out = run(`