@stevenvo780/st-lang 4.2.0 → 4.3.0

package/dist/tests/term-rewriting/rewrite.test.js

@@ -0,0 +1,56 @@
+"use strict";
+// ============================================================
+// Tests — Reescritura básica + normalización
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const term_rewriting_1 = require("../../runtime/term-rewriting");
+(0, vitest_1.describe)('rewriteStep', () => {
+    (0, vitest_1.it)('rewriteStep(f(a), [f(x) -> g(x)]) = g(a)', () => {
+        const out = (0, term_rewriting_1.rewriteStep)((0, term_rewriting_1.f)('f', (0, term_rewriting_1.c)('a')), [{ lhs: (0, term_rewriting_1.f)('f', (0, term_rewriting_1.v)('x')), rhs: (0, term_rewriting_1.f)('g', (0, term_rewriting_1.v)('x')) }]);
+        (0, vitest_1.expect)(out).not.toBeNull();
+        (0, vitest_1.expect)((0, term_rewriting_1.termEquals)(out, (0, term_rewriting_1.f)('g', (0, term_rewriting_1.c)('a')))).toBe(true);
+    });
+    (0, vitest_1.it)('rewriteStep devuelve null si no hay redex', () => {
+        const out = (0, term_rewriting_1.rewriteStep)((0, term_rewriting_1.c)('a'), [{ lhs: (0, term_rewriting_1.f)('f', (0, term_rewriting_1.v)('x')), rhs: (0, term_rewriting_1.v)('x') }]);
+        (0, vitest_1.expect)(out).toBeNull();
+    });
+    (0, vitest_1.it)('rewriteStep aplica reglas a subtérminos (leftmost-outermost)', () => {
+        // 0 + 0  →  0  con regla 0 + x → x
+        const t = (0, term_rewriting_1.f)('plus', (0, term_rewriting_1.c)('0'), (0, term_rewriting_1.c)('0'));
+        const rules = [{ lhs: (0, term_rewriting_1.f)('plus', (0, term_rewriting_1.c)('0'), (0, term_rewriting_1.v)('x')), rhs: (0, term_rewriting_1.v)('x') }];
+        const out = (0, term_rewriting_1.rewriteStep)(t, rules);
+        (0, vitest_1.expect)(out).not.toBeNull();
+        (0, vitest_1.expect)((0, term_rewriting_1.termEquals)(out, (0, term_rewriting_1.c)('0'))).toBe(true);
+    });
+    (0, vitest_1.it)('normalize(f(f(a)), [f(x) -> x]) = a', () => {
+        const out = (0, term_rewriting_1.normalize)((0, term_rewriting_1.f)('f', (0, term_rewriting_1.f)('f', (0, term_rewriting_1.c)('a'))), [{ lhs: (0, term_rewriting_1.f)('f', (0, term_rewriting_1.v)('x')), rhs: (0, term_rewriting_1.v)('x') }]);
+        (0, vitest_1.expect)((0, term_rewriting_1.termEquals)(out, (0, term_rewriting_1.c)('a'))).toBe(true);
+    });
+    (0, vitest_1.it)('normalize respeta maxSteps en sistemas no terminantes', () => {
+        // f(x) → f(x) loop trivial: la cota debe disparar.
+        const out = (0, term_rewriting_1.normalize)((0, term_rewriting_1.c)('a'), [{ lhs: (0, term_rewriting_1.c)('a'), rhs: (0, term_rewriting_1.f)('f', (0, term_rewriting_1.c)('a')) }], 5);
+        // Después de 5 aplicaciones tenemos f(f(f(f(f(a)))))
+        (0, vitest_1.expect)((0, term_rewriting_1.termEquals)(out, (0, term_rewriting_1.f)('f', (0, term_rewriting_1.f)('f', (0, term_rewriting_1.f)('f', (0, term_rewriting_1.f)('f', (0, term_rewriting_1.f)('f', (0, term_rewriting_1.c)('a')))))))).toBe(true);
+    });
+});
+(0, vitest_1.describe)('positions y replaceAt', () => {
+    (0, vitest_1.it)('allPositions enumera posiciones', () => {
+        const t = (0, term_rewriting_1.f)('g', (0, term_rewriting_1.c)('a'), (0, term_rewriting_1.f)('h', (0, term_rewriting_1.c)('b')));
+        const positions = (0, term_rewriting_1.allPositions)(t);
+        // raíz [], [0]=a, [1]=h(b), [1,0]=b
+        (0, vitest_1.expect)(positions).toHaveLength(4);
+    });
+    (0, vitest_1.it)('subtermAt y replaceAt son inversas para posiciones válidas', () => {
+        const t = (0, term_rewriting_1.f)('g', (0, term_rewriting_1.c)('a'), (0, term_rewriting_1.f)('h', (0, term_rewriting_1.c)('b')));
+        const sub = (0, term_rewriting_1.subtermAt)(t, [1, 0]);
+        (0, vitest_1.expect)((0, term_rewriting_1.termEquals)(sub, (0, term_rewriting_1.c)('b'))).toBe(true);
+        const replaced = (0, term_rewriting_1.replaceAt)(t, [1, 0], (0, term_rewriting_1.c)('z'));
+        (0, vitest_1.expect)((0, term_rewriting_1.termEquals)(replaced, (0, term_rewriting_1.f)('g', (0, term_rewriting_1.c)('a'), (0, term_rewriting_1.f)('h', (0, term_rewriting_1.c)('z'))))).toBe(true);
+    });
+    (0, vitest_1.it)('replaceAt con posición vacía devuelve replacement', () => {
+        const out = (0, term_rewriting_1.replaceAt)((0, term_rewriting_1.c)('a'), [], (0, term_rewriting_1.c)('b'));
+        (0, vitest_1.expect)((0, term_rewriting_1.termEquals)(out, (0, term_rewriting_1.c)('b'))).toBe(true);
+    });
+});
+//# sourceMappingURL=rewrite.test.js.map

package/dist/tests/term-rewriting/rewrite.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rewrite.test.js","sourceRoot":"","sources":["../../../src/tests/term-rewriting/rewrite.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,6CAA6C;AAC7C,+DAA+D;;AAE/D,mCAA8C;AAC9C,iEAUsC;AAEtC,IAAA,iBAAQ,EAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,GAAG,GAAG,IAAA,4BAAW,EAAC,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACxF,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAA,2BAAU,EAAC,GAAI,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,GAAG,GAAG,IAAA,4BAAW,EAAC,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,mCAAmC;QACnC,MAAM,CAAC,GAAG,IAAA,kBAAC,EAAC,MAAM,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QACpC,MAAM,KAAK,GAAG,CAAC,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,MAAM,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAChE,MAAM,GAAG,GAAG,IAAA,4BAAW,EAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAA,2BAAU,EAAC,GAAI,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,GAAG,GAAG,IAAA,0BAAS,EAAC,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QACtF,IAAA,eAAM,EAAC,IAAA,2BAAU,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,mDAAmD;QACnD,MAAM,GAAG,GAAG,IAAA,0BAAS,EAAC,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACzE,qDAAqD;QACrD,IAAA,eAAM,EAAC,IAAA,2BAAU,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,SAAS,GAAG,IAAA,6BAAY,EAAC,CAAC,CAAC,CAAC;QAClC,oCAAoC;QACpC,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,CAAC,GAAG,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,GAAG,GAAG,IAAA,0BAAS,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,2BAAU,EAAC,GAAI,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,MAAM,QAAQ,GAAG,IAAA,0BAAS,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,2BAAU,EAAC,QAAQ,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,GAAG,GAAG,IAAA,0BAAS,EAAC,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,EAAE,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,2BAAU,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/term-rewriting/term-utils.test.d.ts

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

package/dist/tests/term-rewriting/term-utils.test.d.ts.map

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

package/dist/tests/term-rewriting/term-utils.test.js

@@ -0,0 +1,58 @@
+"use strict";
+// ============================================================
+// Tests — Utilidades de términos (match, unify, subst)
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const term_rewriting_1 = require("../../runtime/term-rewriting");
+(0, vitest_1.describe)('term-utils', () => {
+    (0, vitest_1.it)('termEquals reconoce términos estructuralmente iguales', () => {
+        (0, vitest_1.expect)((0, term_rewriting_1.termEquals)((0, term_rewriting_1.f)('g', (0, term_rewriting_1.v)('x'), (0, term_rewriting_1.c)('a')), (0, term_rewriting_1.f)('g', (0, term_rewriting_1.v)('x'), (0, term_rewriting_1.c)('a')))).toBe(true);
+        (0, vitest_1.expect)((0, term_rewriting_1.termEquals)((0, term_rewriting_1.f)('g', (0, term_rewriting_1.v)('x')), (0, term_rewriting_1.f)('g', (0, term_rewriting_1.v)('y')))).toBe(false);
+        (0, vitest_1.expect)((0, term_rewriting_1.termEquals)((0, term_rewriting_1.c)('a'), (0, term_rewriting_1.c)('b'))).toBe(false);
+    });
+    (0, vitest_1.it)('match: pattern f(x) contra f(a) liga x ↦ a', () => {
+        const subst = (0, term_rewriting_1.match)((0, term_rewriting_1.f)('f', (0, term_rewriting_1.v)('x')), (0, term_rewriting_1.f)('f', (0, term_rewriting_1.c)('a')));
+        (0, vitest_1.expect)(subst).not.toBeNull();
+        (0, vitest_1.expect)((0, term_rewriting_1.termEquals)(subst.get('x'), (0, term_rewriting_1.c)('a'))).toBe(true);
+    });
+    (0, vitest_1.it)('match: variable repetida exige consistencia', () => {
+        // f(x, x) NO matchea f(a, b)
+        const fail = (0, term_rewriting_1.match)((0, term_rewriting_1.f)('f', (0, term_rewriting_1.v)('x'), (0, term_rewriting_1.v)('x')), (0, term_rewriting_1.f)('f', (0, term_rewriting_1.c)('a'), (0, term_rewriting_1.c)('b')));
+        (0, vitest_1.expect)(fail).toBeNull();
+        // f(x, x) sí matchea f(a, a)
+        const ok = (0, term_rewriting_1.match)((0, term_rewriting_1.f)('f', (0, term_rewriting_1.v)('x'), (0, term_rewriting_1.v)('x')), (0, term_rewriting_1.f)('f', (0, term_rewriting_1.c)('a'), (0, term_rewriting_1.c)('a')));
+        (0, vitest_1.expect)(ok).not.toBeNull();
+        (0, vitest_1.expect)((0, term_rewriting_1.termEquals)(ok.get('x'), (0, term_rewriting_1.c)('a'))).toBe(true);
+    });
+    (0, vitest_1.it)('unify: variables disjuntas se unifican', () => {
+        const u = (0, term_rewriting_1.unify)((0, term_rewriting_1.f)('f', (0, term_rewriting_1.v)('x'), (0, term_rewriting_1.c)('a')), (0, term_rewriting_1.f)('f', (0, term_rewriting_1.c)('b'), (0, term_rewriting_1.v)('y')));
+        (0, vitest_1.expect)(u).not.toBeNull();
+        (0, vitest_1.expect)((0, term_rewriting_1.termEquals)((0, term_rewriting_1.applySubst)((0, term_rewriting_1.v)('x'), u), (0, term_rewriting_1.c)('b'))).toBe(true);
+        (0, vitest_1.expect)((0, term_rewriting_1.termEquals)((0, term_rewriting_1.applySubst)((0, term_rewriting_1.v)('y'), u), (0, term_rewriting_1.c)('a'))).toBe(true);
+    });
+    (0, vitest_1.it)('unify: occurs check rechaza x con f(x)', () => {
+        const u = (0, term_rewriting_1.unify)((0, term_rewriting_1.v)('x'), (0, term_rewriting_1.f)('f', (0, term_rewriting_1.v)('x')));
+        (0, vitest_1.expect)(u).toBeNull();
+    });
+    (0, vitest_1.it)('applySubst sustituye recursivamente', () => {
+        const subst = new Map([['x', (0, term_rewriting_1.c)('a')]]);
+        const out = (0, term_rewriting_1.applySubst)((0, term_rewriting_1.f)('g', (0, term_rewriting_1.v)('x'), (0, term_rewriting_1.f)('h', (0, term_rewriting_1.v)('x'))), subst);
+        (0, vitest_1.expect)((0, term_rewriting_1.termEquals)(out, (0, term_rewriting_1.f)('g', (0, term_rewriting_1.c)('a'), (0, term_rewriting_1.f)('h', (0, term_rewriting_1.c)('a'))))).toBe(true);
+    });
+    (0, vitest_1.it)('occursIn detecta variables', () => {
+        (0, vitest_1.expect)((0, term_rewriting_1.occursIn)('x', (0, term_rewriting_1.f)('f', (0, term_rewriting_1.v)('x')))).toBe(true);
+        (0, vitest_1.expect)((0, term_rewriting_1.occursIn)('y', (0, term_rewriting_1.f)('f', (0, term_rewriting_1.v)('x')))).toBe(false);
+    });
+    (0, vitest_1.it)('varsOf colecta nombres de variables', () => {
+        const vs = (0, term_rewriting_1.varsOf)((0, term_rewriting_1.f)('g', (0, term_rewriting_1.v)('x'), (0, term_rewriting_1.f)('h', (0, term_rewriting_1.v)('y'), (0, term_rewriting_1.v)('x'))));
+        (0, vitest_1.expect)(vs).toEqual(new Set(['x', 'y']));
+    });
+    (0, vitest_1.it)('termSize cuenta nodos', () => {
+        (0, vitest_1.expect)((0, term_rewriting_1.termSize)((0, term_rewriting_1.c)('a'))).toBe(1);
+        (0, vitest_1.expect)((0, term_rewriting_1.termSize)((0, term_rewriting_1.v)('x'))).toBe(1);
+        (0, vitest_1.expect)((0, term_rewriting_1.termSize)((0, term_rewriting_1.f)('f', (0, term_rewriting_1.v)('x'), (0, term_rewriting_1.v)('y')))).toBe(3);
+        (0, vitest_1.expect)((0, term_rewriting_1.termSize)((0, term_rewriting_1.f)('g', (0, term_rewriting_1.f)('h', (0, term_rewriting_1.c)('a'))))).toBe(3);
+    });
+});
+//# sourceMappingURL=term-utils.test.js.map

package/dist/tests/term-rewriting/term-utils.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"term-utils.test.js","sourceRoot":"","sources":["../../../src/tests/term-rewriting/term-utils.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,uDAAuD;AACvD,+DAA+D;;AAE/D,mCAA8C;AAC9C,iEAWsC;AAEtC,IAAA,iBAAQ,EAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,IAAA,eAAM,EAAC,IAAA,2BAAU,EAAC,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9E,IAAA,eAAM,EAAC,IAAA,2BAAU,EAAC,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,IAAA,2BAAU,EAAC,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,KAAK,GAAG,IAAA,sBAAK,EAAC,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,2BAAU,EAAC,KAAM,CAAC,GAAG,CAAC,GAAG,CAAE,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,6BAA6B;QAC7B,MAAM,IAAI,GAAG,IAAA,sBAAK,EAAC,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;QACxB,6BAA6B;QAC7B,MAAM,EAAE,GAAG,IAAA,sBAAK,EAAC,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAA,2BAAU,EAAC,EAAG,CAAC,GAAG,CAAC,GAAG,CAAE,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,GAAG,IAAA,sBAAK,EAAC,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,IAAA,2BAAU,EAAC,IAAA,2BAAU,EAAC,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,CAAE,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,IAAA,2BAAU,EAAC,IAAA,2BAAU,EAAC,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,CAAE,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,GAAG,IAAA,sBAAK,EAAC,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,GAAG,GAAG,IAAA,2BAAU,EAAC,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,IAAA,2BAAU,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,IAAA,eAAM,EAAC,IAAA,yBAAQ,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,IAAA,yBAAQ,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,EAAE,GAAG,IAAA,uBAAM,EAAC,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,IAAA,eAAM,EAAC,IAAA,yBAAQ,EAAC,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,yBAAQ,EAAC,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,yBAAQ,EAAC,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,IAAA,yBAAQ,EAAC,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@stevenvo780/st-lang",
-  "version": "4.2.0",
+  "version": "4.3.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",