@stevenvo780/st-lang 4.2.0 → 4.4.0

package/dist/tests/symbolic-diff/symbolic-diff.test.d.ts

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

package/dist/tests/symbolic-diff/symbolic-diff.test.d.ts.map

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

package/dist/tests/symbolic-diff/symbolic-diff.test.js

@@ -0,0 +1,278 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const symbolic_diff_1 = require("../../runtime/symbolic-diff");
+/**
+ * Verificación numérica de la derivada: compara differentiate(f,x) con
+ * un cociente diferencial centrado en varios puntos.
+ */
+function numericDerivative(expr, varName, x0, env = {}) {
+    const h = 1e-6;
+    const envPlus = { ...env, [varName]: x0 + h };
+    const envMinus = { ...env, [varName]: x0 - h };
+    return ((0, symbolic_diff_1.evaluate)(expr, envPlus) - (0, symbolic_diff_1.evaluate)(expr, envMinus)) / (2 * h);
+}
+function assertDerivativeMatches(f, varName, points, extraEnv = {}, tol = 1e-4) {
+    const df = (0, symbolic_diff_1.differentiate)(f, varName);
+    for (const x of points) {
+        const env = { ...extraEnv, [varName]: x };
+        const symbolic = (0, symbolic_diff_1.evaluate)(df, env);
+        const numeric = numericDerivative(f, varName, x, extraEnv);
+        (0, vitest_1.expect)(Math.abs(symbolic - numeric)).toBeLessThan(tol);
+    }
+}
+(0, vitest_1.describe)('differentiate — reglas básicas', () => {
+    (0, vitest_1.it)('d/dx(x^2) = 2x', () => {
+        const f = (0, symbolic_diff_1.pow)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.cst)(2));
+        const df = (0, symbolic_diff_1.differentiate)(f, 'x');
+        (0, vitest_1.expect)((0, symbolic_diff_1.evaluate)(df, { x: 0 })).toBe(0);
+        (0, vitest_1.expect)((0, symbolic_diff_1.evaluate)(df, { x: 3 })).toBe(6);
+        (0, vitest_1.expect)((0, symbolic_diff_1.evaluate)(df, { x: -5 })).toBe(-10);
+    });
+    (0, vitest_1.it)('d/dx(sin(x)) = cos(x)', () => {
+        const f = (0, symbolic_diff_1.sin)((0, symbolic_diff_1.v)('x'));
+        const df = (0, symbolic_diff_1.differentiate)(f, 'x');
+        for (const x of [0, 0.5, 1, Math.PI / 4, -1.2]) {
+            (0, vitest_1.expect)(Math.abs((0, symbolic_diff_1.evaluate)(df, { x }) - Math.cos(x))).toBeLessThan(1e-12);
+        }
+    });
+    (0, vitest_1.it)('d/dx(cos(x)) = -sin(x)', () => {
+        const f = (0, symbolic_diff_1.cos)((0, symbolic_diff_1.v)('x'));
+        const df = (0, symbolic_diff_1.differentiate)(f, 'x');
+        for (const x of [0, 0.7, 1.5, -2]) {
+            (0, vitest_1.expect)(Math.abs((0, symbolic_diff_1.evaluate)(df, { x }) - -Math.sin(x))).toBeLessThan(1e-12);
+        }
+    });
+    (0, vitest_1.it)('d/dx(c) = 0 (constante)', () => {
+        const df = (0, symbolic_diff_1.differentiate)((0, symbolic_diff_1.cst)(42), 'x');
+        (0, vitest_1.expect)((0, symbolic_diff_1.evaluate)(df, { x: 7 })).toBe(0);
+    });
+    (0, vitest_1.it)('d/dx(x) = 1, d/dy(x) = 0', () => {
+        (0, vitest_1.expect)((0, symbolic_diff_1.evaluate)((0, symbolic_diff_1.differentiate)((0, symbolic_diff_1.v)('x'), 'x'), { x: 99 })).toBe(1);
+        (0, vitest_1.expect)((0, symbolic_diff_1.evaluate)((0, symbolic_diff_1.differentiate)((0, symbolic_diff_1.v)('x'), 'y'), { x: 99, y: 0 })).toBe(0);
+    });
+});
+(0, vitest_1.describe)('differentiate — regla del producto', () => {
+    (0, vitest_1.it)('d/dx(x*sin(x)) = sin(x) + x*cos(x)', () => {
+        const f = (0, symbolic_diff_1.mul)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.sin)((0, symbolic_diff_1.v)('x')));
+        assertDerivativeMatches(f, 'x', [-1, 0.3, 1.0, 2.5]);
+    });
+    (0, vitest_1.it)('producto de 3 factores: d/dx(x * x * x) = 3x^2', () => {
+        const f = (0, symbolic_diff_1.mul)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.v)('x'));
+        const df = (0, symbolic_diff_1.differentiate)(f, 'x');
+        for (const x of [-2, -0.5, 0, 1, 4]) {
+            (0, vitest_1.expect)(Math.abs((0, symbolic_diff_1.evaluate)(df, { x }) - 3 * x * x)).toBeLessThan(1e-9);
+        }
+    });
+});
+(0, vitest_1.describe)('differentiate — regla del cociente', () => {
+    (0, vitest_1.it)('d/dx(sin(x)/x) coincide con derivada numérica', () => {
+        const f = (0, symbolic_diff_1.div)((0, symbolic_diff_1.sin)((0, symbolic_diff_1.v)('x')), (0, symbolic_diff_1.v)('x'));
+        // Evitamos x=0 (singularidad)
+        assertDerivativeMatches(f, 'x', [0.5, 1.2, 2.0, -1.5]);
+    });
+    (0, vitest_1.it)('d/dx(1/x) = -1/x^2', () => {
+        const f = (0, symbolic_diff_1.div)((0, symbolic_diff_1.cst)(1), (0, symbolic_diff_1.v)('x'));
+        const df = (0, symbolic_diff_1.differentiate)(f, 'x');
+        for (const x of [1, 2, -3, 0.5]) {
+            (0, vitest_1.expect)(Math.abs((0, symbolic_diff_1.evaluate)(df, { x }) - -1 / (x * x))).toBeLessThan(1e-9);
+        }
+    });
+});
+(0, vitest_1.describe)('differentiate — regla de la cadena', () => {
+    (0, vitest_1.it)('d/dx(exp(x^2)) = 2x*exp(x^2)', () => {
+        const f = (0, symbolic_diff_1.exp)((0, symbolic_diff_1.pow)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.cst)(2)));
+        assertDerivativeMatches(f, 'x', [-1, 0, 0.5, 1, 1.5]);
+    });
+    (0, vitest_1.it)('d/dx(sin(2*x)) = 2*cos(2*x)', () => {
+        const f = (0, symbolic_diff_1.sin)((0, symbolic_diff_1.mul)((0, symbolic_diff_1.cst)(2), (0, symbolic_diff_1.v)('x')));
+        const df = (0, symbolic_diff_1.differentiate)(f, 'x');
+        for (const x of [0, 0.3, 1.1, -0.7]) {
+            (0, vitest_1.expect)(Math.abs((0, symbolic_diff_1.evaluate)(df, { x }) - 2 * Math.cos(2 * x))).toBeLessThan(1e-12);
+        }
+    });
+    (0, vitest_1.it)('d/dx(log(x^2 + 1)) coincide con derivada numérica', () => {
+        const f = (0, symbolic_diff_1.log)((0, symbolic_diff_1.add)((0, symbolic_diff_1.pow)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.cst)(2)), (0, symbolic_diff_1.cst)(1)));
+        assertDerivativeMatches(f, 'x', [-2, -0.5, 0, 1, 3]);
+    });
+    (0, vitest_1.it)('d/dx(cos(sin(x))) coincide con derivada numérica', () => {
+        const f = (0, symbolic_diff_1.cos)((0, symbolic_diff_1.sin)((0, symbolic_diff_1.v)('x')));
+        assertDerivativeMatches(f, 'x', [-1, 0, 0.5, 1.2]);
+    });
+});
+(0, vitest_1.describe)('differentiate — potencias y exponenciales', () => {
+    (0, vitest_1.it)('d/dx(2^x) = 2^x * ln(2)', () => {
+        const f = (0, symbolic_diff_1.pow)((0, symbolic_diff_1.cst)(2), (0, symbolic_diff_1.v)('x'));
+        const df = (0, symbolic_diff_1.differentiate)(f, 'x');
+        for (const x of [0, 1, 2, -1]) {
+            const expected = Math.pow(2, x) * Math.log(2);
+            (0, vitest_1.expect)(Math.abs((0, symbolic_diff_1.evaluate)(df, { x }) - expected)).toBeLessThan(1e-9);
+        }
+    });
+    (0, vitest_1.it)('d/dx(x^x) general (base y exponente con x)', () => {
+        const f = (0, symbolic_diff_1.pow)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.v)('x'));
+        assertDerivativeMatches(f, 'x', [0.5, 1, 2, 3]);
+    });
+    (0, vitest_1.it)('d/dx(tan(x)) = 1/cos(x)^2 = sec^2(x)', () => {
+        const f = (0, symbolic_diff_1.tan)((0, symbolic_diff_1.v)('x'));
+        assertDerivativeMatches(f, 'x', [0, 0.3, 0.7, -0.5]);
+    });
+});
+(0, vitest_1.describe)('differentiate — operaciones adicionales', () => {
+    (0, vitest_1.it)('d/dx(-x^3) = -3x^2', () => {
+        const f = (0, symbolic_diff_1.neg)((0, symbolic_diff_1.pow)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.cst)(3)));
+        const df = (0, symbolic_diff_1.differentiate)(f, 'x');
+        for (const x of [-2, -0.5, 0, 1, 4]) {
+            (0, vitest_1.expect)(Math.abs((0, symbolic_diff_1.evaluate)(df, { x }) - -3 * x * x)).toBeLessThan(1e-9);
+        }
+    });
+    (0, vitest_1.it)('d/dx(x^2 - 2*x + 1) = 2x - 2', () => {
+        const f = (0, symbolic_diff_1.add)((0, symbolic_diff_1.sub)((0, symbolic_diff_1.pow)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.cst)(2)), (0, symbolic_diff_1.mul)((0, symbolic_diff_1.cst)(2), (0, symbolic_diff_1.v)('x'))), (0, symbolic_diff_1.cst)(1));
+        const df = (0, symbolic_diff_1.differentiate)(f, 'x');
+        for (const x of [-3, 0, 1, 5]) {
+            (0, vitest_1.expect)(Math.abs((0, symbolic_diff_1.evaluate)(df, { x }) - (2 * x - 2))).toBeLessThan(1e-9);
+        }
+    });
+});
+(0, vitest_1.describe)('simplify', () => {
+    (0, vitest_1.it)('x + 0 + 0 = x', () => {
+        const e = (0, symbolic_diff_1.add)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.cst)(0), (0, symbolic_diff_1.cst)(0));
+        (0, vitest_1.expect)((0, symbolic_diff_1.toString)((0, symbolic_diff_1.simplify)(e))).toBe('x');
+    });
+    (0, vitest_1.it)('x * 1 = x', () => {
+        (0, vitest_1.expect)((0, symbolic_diff_1.toString)((0, symbolic_diff_1.simplify)((0, symbolic_diff_1.mul)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.cst)(1))))).toBe('x');
+    });
+    (0, vitest_1.it)('x * 0 = 0', () => {
+        (0, vitest_1.expect)((0, symbolic_diff_1.toString)((0, symbolic_diff_1.simplify)((0, symbolic_diff_1.mul)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.cst)(0))))).toBe('0');
+    });
+    (0, vitest_1.it)('x^0 = 1', () => {
+        (0, vitest_1.expect)((0, symbolic_diff_1.toString)((0, symbolic_diff_1.simplify)((0, symbolic_diff_1.pow)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.cst)(0))))).toBe('1');
+    });
+    (0, vitest_1.it)('x^1 = x', () => {
+        (0, vitest_1.expect)((0, symbolic_diff_1.toString)((0, symbolic_diff_1.simplify)((0, symbolic_diff_1.pow)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.cst)(1))))).toBe('x');
+    });
+    (0, vitest_1.it)('constant folding aritmético: 2 + 3 * 4 = 14', () => {
+        const e = (0, symbolic_diff_1.add)((0, symbolic_diff_1.cst)(2), (0, symbolic_diff_1.mul)((0, symbolic_diff_1.cst)(3), (0, symbolic_diff_1.cst)(4)));
+        const s = (0, symbolic_diff_1.simplify)(e);
+        (0, vitest_1.expect)(s.kind).toBe('const');
+        if (s.kind === 'const')
+            (0, vitest_1.expect)(s.value).toBe(14);
+    });
+    (0, vitest_1.it)('neg(neg(x)) = x', () => {
+        (0, vitest_1.expect)((0, symbolic_diff_1.toString)((0, symbolic_diff_1.simplify)((0, symbolic_diff_1.neg)((0, symbolic_diff_1.neg)((0, symbolic_diff_1.v)('x')))))).toBe('x');
+    });
+    (0, vitest_1.it)('flatten nested add: (a+b)+(c+d) → suma plana', () => {
+        const e = (0, symbolic_diff_1.add)((0, symbolic_diff_1.add)((0, symbolic_diff_1.v)('a'), (0, symbolic_diff_1.v)('b')), (0, symbolic_diff_1.add)((0, symbolic_diff_1.v)('c'), (0, symbolic_diff_1.v)('d')));
+        const s = (0, symbolic_diff_1.simplify)(e);
+        (0, vitest_1.expect)(s.kind).toBe('add');
+        if (s.kind === 'add')
+            (0, vitest_1.expect)(s.args.length).toBe(4);
+    });
+});
+(0, vitest_1.describe)('evaluate', () => {
+    (0, vitest_1.it)('evalúa expresiones con múltiples variables', () => {
+        const e = (0, symbolic_diff_1.add)((0, symbolic_diff_1.mul)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.v)('y')), (0, symbolic_diff_1.v)('z'));
+        (0, vitest_1.expect)((0, symbolic_diff_1.evaluate)(e, { x: 2, y: 3, z: 7 })).toBe(13);
+    });
+    (0, vitest_1.it)('lanza error si variable no está en env', () => {
+        (0, vitest_1.expect)(() => (0, symbolic_diff_1.evaluate)((0, symbolic_diff_1.v)('w'), {})).toThrow();
+    });
+    (0, vitest_1.it)('evalúa funciones trascendentales', () => {
+        (0, vitest_1.expect)(Math.abs((0, symbolic_diff_1.evaluate)((0, symbolic_diff_1.sin)((0, symbolic_diff_1.cst)(0)), {}) - 0)).toBeLessThan(1e-12);
+        (0, vitest_1.expect)(Math.abs((0, symbolic_diff_1.evaluate)((0, symbolic_diff_1.cos)((0, symbolic_diff_1.cst)(0)), {}) - 1)).toBeLessThan(1e-12);
+        (0, vitest_1.expect)(Math.abs((0, symbolic_diff_1.evaluate)((0, symbolic_diff_1.exp)((0, symbolic_diff_1.cst)(1)), {}) - Math.E)).toBeLessThan(1e-12);
+        (0, vitest_1.expect)(Math.abs((0, symbolic_diff_1.evaluate)((0, symbolic_diff_1.log)((0, symbolic_diff_1.cst)(Math.E)), {}) - 1)).toBeLessThan(1e-12);
+    });
+});
+(0, vitest_1.describe)('gradient', () => {
+    (0, vitest_1.it)('retorna N derivadas parciales', () => {
+        const f = (0, symbolic_diff_1.add)((0, symbolic_diff_1.mul)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.v)('x')), (0, symbolic_diff_1.mul)((0, symbolic_diff_1.v)('y'), (0, symbolic_diff_1.v)('y')));
+        const grad = (0, symbolic_diff_1.gradient)(f, ['x', 'y']);
+        (0, vitest_1.expect)(grad.length).toBe(2);
+        // ∂/∂x = 2x
+        const dfdxX = grad[0];
+        const dfdxY = grad[1];
+        (0, vitest_1.expect)(dfdxX).toBeDefined();
+        (0, vitest_1.expect)(dfdxY).toBeDefined();
+        if (dfdxX) {
+            (0, vitest_1.expect)((0, symbolic_diff_1.evaluate)(dfdxX, { x: 3, y: 99 })).toBe(6);
+        }
+        if (dfdxY) {
+            (0, vitest_1.expect)((0, symbolic_diff_1.evaluate)(dfdxY, { x: 99, y: 4 })).toBe(8);
+        }
+    });
+    (0, vitest_1.it)('gradient de función con 3 variables y término cruzado', () => {
+        // f(x,y,z) = x*y + y*z
+        const f = (0, symbolic_diff_1.add)((0, symbolic_diff_1.mul)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.v)('y')), (0, symbolic_diff_1.mul)((0, symbolic_diff_1.v)('y'), (0, symbolic_diff_1.v)('z')));
+        const grad = (0, symbolic_diff_1.gradient)(f, ['x', 'y', 'z']);
+        (0, vitest_1.expect)(grad.length).toBe(3);
+        const env = { x: 2, y: 5, z: 7 };
+        const g0 = grad[0];
+        const g1 = grad[1];
+        const g2 = grad[2];
+        (0, vitest_1.expect)(g0).toBeDefined();
+        (0, vitest_1.expect)(g1).toBeDefined();
+        (0, vitest_1.expect)(g2).toBeDefined();
+        if (g0 && g1 && g2) {
+            (0, vitest_1.expect)((0, symbolic_diff_1.evaluate)(g0, env)).toBe(5); // ∂/∂x = y
+            (0, vitest_1.expect)((0, symbolic_diff_1.evaluate)(g1, env)).toBe(9); // ∂/∂y = x + z
+            (0, vitest_1.expect)((0, symbolic_diff_1.evaluate)(g2, env)).toBe(5); // ∂/∂z = y
+        }
+    });
+});
+(0, vitest_1.describe)('parse + toString round-trip', () => {
+    (0, vitest_1.it)('parsea polinomio simple', () => {
+        const e = (0, symbolic_diff_1.parse)('x^2 + 3*x + 2');
+        for (const x of [-2, -1, 0, 1, 2]) {
+            (0, vitest_1.expect)((0, symbolic_diff_1.evaluate)(e, { x })).toBe(x * x + 3 * x + 2);
+        }
+    });
+    (0, vitest_1.it)('parsea función trascendental con argumento compuesto', () => {
+        const e = (0, symbolic_diff_1.parse)('sin(2*x + 1)');
+        for (const x of [0, 0.5, 1.2]) {
+            (0, vitest_1.expect)(Math.abs((0, symbolic_diff_1.evaluate)(e, { x }) - Math.sin(2 * x + 1))).toBeLessThan(1e-12);
+        }
+    });
+    (0, vitest_1.it)('parsea potencias right-assoc: 2^3^2 = 2^(3^2) = 512', () => {
+        const e = (0, symbolic_diff_1.parse)('2^3^2');
+        (0, vitest_1.expect)((0, symbolic_diff_1.evaluate)(e, {})).toBe(512);
+    });
+    (0, vitest_1.it)('parse + differentiate end-to-end', () => {
+        const e = (0, symbolic_diff_1.parse)('x^3 - 2*x + 5');
+        const de = (0, symbolic_diff_1.differentiate)(e, 'x');
+        // d/dx = 3x^2 - 2
+        for (const x of [-1, 0, 2]) {
+            (0, vitest_1.expect)(Math.abs((0, symbolic_diff_1.evaluate)(de, { x }) - (3 * x * x - 2))).toBeLessThan(1e-9);
+        }
+    });
+    (0, vitest_1.it)('parse maneja unary minus', () => {
+        const e = (0, symbolic_diff_1.parse)('-x + 5');
+        (0, vitest_1.expect)((0, symbolic_diff_1.evaluate)(e, { x: 3 })).toBe(2);
+    });
+    (0, vitest_1.it)('parse falla con tokens sobrantes', () => {
+        (0, vitest_1.expect)(() => (0, symbolic_diff_1.parse)('x + +')).toThrow();
+    });
+});
+(0, vitest_1.describe)('exprEquals', () => {
+    (0, vitest_1.it)('detecta igualdad estructural', () => {
+        (0, vitest_1.expect)((0, symbolic_diff_1.exprEquals)((0, symbolic_diff_1.add)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.cst)(1)), (0, symbolic_diff_1.add)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.cst)(1)))).toBe(true);
+        (0, vitest_1.expect)((0, symbolic_diff_1.exprEquals)((0, symbolic_diff_1.add)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.cst)(1)), (0, symbolic_diff_1.add)((0, symbolic_diff_1.v)('x'), (0, symbolic_diff_1.cst)(2)))).toBe(false);
+        (0, vitest_1.expect)((0, symbolic_diff_1.exprEquals)((0, symbolic_diff_1.cst)(3), (0, symbolic_diff_1.cst)(3))).toBe(true);
+        (0, vitest_1.expect)((0, symbolic_diff_1.exprEquals)((0, symbolic_diff_1.sin)((0, symbolic_diff_1.v)('x')), (0, symbolic_diff_1.cos)((0, symbolic_diff_1.v)('x')))).toBe(false);
+    });
+});
+(0, vitest_1.describe)('end-to-end: validación numérica de derivadas', () => {
+    (0, vitest_1.it)('expresiones aleatorias derivadas simbólicamente coinciden con derivada numérica', () => {
+        const cases = [
+            { expr: (0, symbolic_diff_1.parse)('x^4 + 2*x^2 - x + 7'), var: 'x', points: [-2, -0.5, 0.5, 2] },
+            { expr: (0, symbolic_diff_1.parse)('sin(x) * cos(x)'), var: 'x', points: [0, 0.5, 1, 2] },
+            { expr: (0, symbolic_diff_1.parse)('exp(x) / (1 + x^2)'), var: 'x', points: [-1, 0, 1, 2] },
+            { expr: (0, symbolic_diff_1.parse)('log(x*x + 1) + sin(x)'), var: 'x', points: [-1, 0, 1, 2.5] },
+            { expr: (0, symbolic_diff_1.parse)('(x + 1)^3'), var: 'x', points: [-2, 0, 2] },
+        ];
+        for (const tc of cases) {
+            assertDerivativeMatches(tc.expr, tc.var, tc.points);
+        }
+    });
+});
+//# sourceMappingURL=symbolic-diff.test.js.map

package/dist/tests/symbolic-diff/symbolic-diff.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"symbolic-diff.test.js","sourceRoot":"","sources":["../../../src/tests/symbolic-diff/symbolic-diff.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,+DAqBqC;AAGrC;;;GAGG;AACH,SAAS,iBAAiB,CACxB,IAAU,EACV,OAAe,EACf,EAAU,EACV,MAA8B,EAAE;IAEhC,MAAM,CAAC,GAAG,IAAI,CAAC;IACf,MAAM,OAAO,GAAG,EAAE,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC;IAC9C,MAAM,QAAQ,GAAG,EAAE,GAAG,GAAG,EAAE,CAAC,OAAO,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC;IAC/C,OAAO,CAAC,IAAA,wBAAQ,EAAC,IAAI,EAAE,OAAO,CAAC,GAAG,IAAA,wBAAQ,EAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AACxE,CAAC;AAED,SAAS,uBAAuB,CAC9B,CAAO,EACP,OAAe,EACf,MAAgB,EAChB,WAAmC,EAAE,EACrC,GAAG,GAAG,IAAI;IAEV,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IACrC,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,EAAE,GAAG,QAAQ,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,CAAC;QAC1C,MAAM,QAAQ,GAAG,IAAA,wBAAQ,EAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,OAAO,GAAG,iBAAiB,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,QAAQ,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,GAAG,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IACzD,CAAC;AACH,CAAC;AAED,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QACtB,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/C,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QACtB,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAClC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,IAAA,mBAAG,EAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,IAAA,6BAAa,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,IAAA,6BAAa,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACnC,uBAAuB,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QACtC,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YACpC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACvE,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QACnC,8BAA8B;QAC9B,uBAAuB,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC;YAChC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnC,uBAAuB,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;YACpC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QAClF,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChD,uBAAuB,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3B,uBAAuB,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9B,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAC9C,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACtE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,uBAAuB,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QACtB,uBAAuB,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YACpC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACxE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QACrE,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAC9B,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACzE,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,UAAU,EAAE,GAAG,EAAE;IACxB,IAAA,WAAE,EAAC,eAAe,EAAE,GAAG,EAAE;QACvB,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,IAAA,wBAAQ,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,WAAW,EAAE,GAAG,EAAE;QACnB,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,IAAA,wBAAQ,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,WAAW,EAAE,GAAG,EAAE;QACnB,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,IAAA,wBAAQ,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,SAAS,EAAE,GAAG,EAAE;QACjB,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,IAAA,wBAAQ,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,SAAS,EAAE,GAAG,EAAE;QACjB,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,IAAA,wBAAQ,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,CAAC,GAAG,IAAA,wBAAQ,EAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;YAAE,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,IAAA,wBAAQ,EAAC,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,CAAC,GAAG,IAAA,wBAAQ,EAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;YAAE,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,UAAU,EAAE,GAAG,EAAE;IACxB,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,wBAAQ,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,UAAU,EAAE,GAAG,EAAE;IACxB,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,IAAI,GAAG,IAAA,wBAAQ,EAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,YAAY;QACZ,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5B,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5B,IAAI,KAAK,EAAE,CAAC;YACV,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnD,CAAC;QACD,IAAI,KAAK,EAAE,CAAC;YACV,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,KAAK,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,uBAAuB;QACvB,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,IAAI,GAAG,IAAA,wBAAQ,EAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,GAAG,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;QACjC,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QACzB,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC;YACnB,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW;YAC9C,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe;YAClD,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW;QAChD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,GAAG,IAAA,qBAAK,EAAC,eAAe,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAClC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QACrD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,IAAA,qBAAK,EAAC,cAAc,CAAC,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;YAC9B,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACjF,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,IAAA,qBAAK,EAAC,OAAO,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,IAAA,qBAAK,EAAC,eAAe,CAAC,CAAC;QACjC,MAAM,EAAE,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,kBAAkB;QAClB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAC3B,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAA,wBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QAC7E,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,IAAA,qBAAK,EAAC,QAAQ,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,qBAAK,EAAC,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,IAAA,eAAM,EAAC,IAAA,0BAAU,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,IAAA,0BAAU,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,IAAA,0BAAU,EAAC,IAAA,mBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,0BAAU,EAAC,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,mBAAG,EAAC,IAAA,iBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,IAAA,WAAE,EAAC,iFAAiF,EAAE,GAAG,EAAE;QACzF,MAAM,KAAK,GAAyD;YAClE,EAAE,IAAI,EAAE,IAAA,qBAAK,EAAC,qBAAqB,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE;YAC5E,EAAE,IAAI,EAAE,IAAA,qBAAK,EAAC,iBAAiB,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;YACpE,EAAE,IAAI,EAAE,IAAA,qBAAK,EAAC,oBAAoB,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;YACtE,EAAE,IAAI,EAAE,IAAA,qBAAK,EAAC,uBAAuB,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE;YAC3E,EAAE,IAAI,EAAE,IAAA,qBAAK,EAAC,WAAW,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE;SAC3D,CAAC;QACF,KAAK,MAAM,EAAE,IAAI,KAAK,EAAE,CAAC;YACvB,uBAAuB,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;QACtD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/system-f/system-f.test.d.ts

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

package/dist/tests/system-f/system-f.test.d.ts.map

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

package/dist/tests/system-f/system-f.test.js

@@ -0,0 +1,217 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const system_f_1 = require("../../system-f");
+// ---------- Helpers ----------
+const X = (0, system_f_1.fAtom)('X');
+const Y = (0, system_f_1.fAtom)('Y');
+const P = (0, system_f_1.fAtom)('P');
+function unwrap(r) {
+    if ((0, system_f_1.isTypeError)(r))
+        throw new Error(`unexpected type error: ${r.error}`);
+    return r;
+}
+function ctxWithType(...names) {
+    const c = (0, system_f_1.emptyContext)();
+    for (const n of names)
+        c.type.add(n);
+    return c;
+}
+// =============================================================
+// 1. Type checking
+// =============================================================
+(0, vitest_1.describe)('System F / typeOf', () => {
+    (0, vitest_1.it)('identidad polimórfica: Λ X. λ x:X. x ⊢ ∀X. X → X', () => {
+        const term = (0, system_f_1.fTAbs)('X', (0, system_f_1.fAbs)('x', X, (0, system_f_1.fVar)('x')));
+        const t = unwrap((0, system_f_1.typeOf)(term));
+        (0, vitest_1.expect)((0, system_f_1.fTypeToString)(t)).toBe('∀X. X → X');
+    });
+    (0, vitest_1.it)('type application: (Λ X. λ x:X. x) [P] ⊢ P → P', () => {
+        const term = (0, system_f_1.fTApp)((0, system_f_1.fTAbs)('X', (0, system_f_1.fAbs)('x', X, (0, system_f_1.fVar)('x'))), P);
+        const t = unwrap((0, system_f_1.typeOf)(term, ctxWithType('P')));
+        (0, vitest_1.expect)((0, system_f_1.fTypeToString)(t)).toBe('P → P');
+    });
+    (0, vitest_1.it)('Church boolean true: Λ X. λ t:X. λ f:X. t ⊢ ∀X. X → X → X', () => {
+        const trueTerm = (0, system_f_1.fTAbs)('X', (0, system_f_1.fAbs)('t', X, (0, system_f_1.fAbs)('f', X, (0, system_f_1.fVar)('t'))));
+        const t = unwrap((0, system_f_1.typeOf)(trueTerm));
+        (0, vitest_1.expect)((0, system_f_1.fTypeToString)(t)).toBe('∀X. X → X → X');
+    });
+    (0, vitest_1.it)('Church boolean false: Λ X. λ t:X. λ f:X. f ⊢ ∀X. X → X → X', () => {
+        const falseTerm = (0, system_f_1.fTAbs)('X', (0, system_f_1.fAbs)('t', X, (0, system_f_1.fAbs)('f', X, (0, system_f_1.fVar)('f'))));
+        const t = unwrap((0, system_f_1.typeOf)(falseTerm));
+        (0, vitest_1.expect)((0, system_f_1.fTypeToString)(t)).toBe('∀X. X → X → X');
+    });
+    (0, vitest_1.it)('composición polimórfica: Λ X. Λ Y. λ f:X→Y. λ x:X. f x ⊢ ∀X. ∀Y. (X→Y) → X → Y', () => {
+        const term = (0, system_f_1.fTAbs)('X', (0, system_f_1.fTAbs)('Y', (0, system_f_1.fAbs)('f', (0, system_f_1.fArrow)(X, Y), (0, system_f_1.fAbs)('x', X, (0, system_f_1.fApp)((0, system_f_1.fVar)('f'), (0, system_f_1.fVar)('x'))))));
+        const t = unwrap((0, system_f_1.typeOf)(term));
+        (0, vitest_1.expect)((0, system_f_1.fTypeToString)(t)).toBe('∀X. ∀Y. (X → Y) → X → Y');
+    });
+    (0, vitest_1.it)('rechaza variable libre sin contexto', () => {
+        const r = (0, system_f_1.typeOf)((0, system_f_1.fVar)('x'));
+        (0, vitest_1.expect)((0, system_f_1.isTypeError)(r)).toBe(true);
+    });
+    (0, vitest_1.it)('rechaza aplicación mal tipada (función no-flecha)', () => {
+        // (λx:P. x) aplicado a sí mismo: λx:P. x : P → P, no aplicable a algo no-P.
+        const ctx = (0, system_f_1.emptyContext)();
+        ctx.type.add('P');
+        ctx.term.set('q', (0, system_f_1.fAtom)('Q'));
+        ctx.type.add('Q');
+        const term = (0, system_f_1.fApp)((0, system_f_1.fAbs)('x', P, (0, system_f_1.fVar)('x')), (0, system_f_1.fVar)('q'));
+        const r = (0, system_f_1.typeOf)(term, ctx);
+        (0, vitest_1.expect)((0, system_f_1.isTypeError)(r)).toBe(true);
+        if ((0, system_f_1.isTypeError)(r))
+            (0, vitest_1.expect)(r.error).toMatch(/no coincide/);
+    });
+    (0, vitest_1.it)('rechaza type-application sobre algo que no es ∀', () => {
+        const ctx = ctxWithType('P');
+        const term = (0, system_f_1.fTApp)((0, system_f_1.fAbs)('x', P, (0, system_f_1.fVar)('x')), P);
+        const r = (0, system_f_1.typeOf)(term, ctx);
+        (0, vitest_1.expect)((0, system_f_1.isTypeError)(r)).toBe(true);
+        if ((0, system_f_1.isTypeError)(r))
+            (0, vitest_1.expect)(r.error).toMatch(/∀/);
+    });
+    (0, vitest_1.it)('rechaza anotación de tipo con var libre no declarada', () => {
+        // λ x:Z. x  donde Z no está en el contexto de tipos.
+        const term = (0, system_f_1.fAbs)('x', (0, system_f_1.fAtom)('Z'), (0, system_f_1.fVar)('x'));
+        const r = (0, system_f_1.typeOf)(term, (0, system_f_1.emptyContext)());
+        (0, vitest_1.expect)((0, system_f_1.isTypeError)(r)).toBe(true);
+        if ((0, system_f_1.isTypeError)(r))
+            (0, vitest_1.expect)(r.error).toMatch(/bien-formada|no declarad/);
+    });
+    (0, vitest_1.it)('Λ con shadowing implícito es rechazado', () => {
+        // En contexto con X ya declarada, Λ X. λ x:X. x falla.
+        const ctx = ctxWithType('X');
+        const term = (0, system_f_1.fTAbs)('X', (0, system_f_1.fAbs)('x', X, (0, system_f_1.fVar)('x')));
+        const r = (0, system_f_1.typeOf)(term, ctx);
+        (0, vitest_1.expect)((0, system_f_1.isTypeError)(r)).toBe(true);
+    });
+});
+// =============================================================
+// 2. β / type-β reduction
+// =============================================================
+(0, vitest_1.describe)('System F / reduceBeta + normalize', () => {
+    (0, vitest_1.it)('type-β: (Λ X. λ x:X. x) [P] → λ x:P. x', () => {
+        const term = (0, system_f_1.fTApp)((0, system_f_1.fTAbs)('X', (0, system_f_1.fAbs)('x', X, (0, system_f_1.fVar)('x'))), P);
+        const r = (0, system_f_1.reduceBeta)(term);
+        (0, vitest_1.expect)((0, system_f_1.fTermToString)(r)).toBe('(λx:P. x)');
+    });
+    (0, vitest_1.it)('type-β con tipo compuesto: (Λ X. λ x:X. x) [P → P] → λ x:P→P. x', () => {
+        const term = (0, system_f_1.fTApp)((0, system_f_1.fTAbs)('X', (0, system_f_1.fAbs)('x', X, (0, system_f_1.fVar)('x'))), (0, system_f_1.fArrow)(P, P));
+        const r = (0, system_f_1.reduceBeta)(term);
+        (0, vitest_1.expect)((0, system_f_1.fTermToString)(r)).toBe('(λx:P → P. x)');
+    });
+    (0, vitest_1.it)('β estándar: (λ x:P. x) y → y', () => {
+        const term = (0, system_f_1.fApp)((0, system_f_1.fAbs)('x', P, (0, system_f_1.fVar)('x')), (0, system_f_1.fVar)('y'));
+        const r = (0, system_f_1.reduceBeta)(term);
+        (0, vitest_1.expect)(r).toEqual((0, system_f_1.fVar)('y'));
+    });
+    (0, vitest_1.it)('normalize: identidad polimórfica aplicada termina en λx:P. x', () => {
+        const term = (0, system_f_1.fTApp)((0, system_f_1.fTAbs)('X', (0, system_f_1.fAbs)('x', X, (0, system_f_1.fVar)('x'))), P);
+        const { result, terminated } = (0, system_f_1.normalize)(term);
+        (0, vitest_1.expect)(terminated).toBe(true);
+        (0, vitest_1.expect)((0, system_f_1.fTermToString)(result)).toBe('(λx:P. x)');
+    });
+    (0, vitest_1.it)('normalize: cuenta los pasos exactos', () => {
+        // ((Λ X. λ x:X. x) [P]) y  → 2 pasos: type-β + β
+        const term = (0, system_f_1.fApp)((0, system_f_1.fTApp)((0, system_f_1.fTAbs)('X', (0, system_f_1.fAbs)('x', X, (0, system_f_1.fVar)('x'))), P), (0, system_f_1.fVar)('y'));
+        const { result, steps, terminated } = (0, system_f_1.normalize)(term);
+        (0, vitest_1.expect)(terminated).toBe(true);
+        (0, vitest_1.expect)(steps).toBe(2);
+        (0, vitest_1.expect)(result).toEqual((0, system_f_1.fVar)('y'));
+    });
+    (0, vitest_1.it)('normalize: forma normal estable es punto fijo', () => {
+        const term = (0, system_f_1.fAbs)('x', P, (0, system_f_1.fVar)('x'));
+        const { result, steps, terminated } = (0, system_f_1.normalize)(term);
+        (0, vitest_1.expect)(terminated).toBe(true);
+        (0, vitest_1.expect)(steps).toBe(0);
+        (0, vitest_1.expect)(result).toEqual(term);
+        (0, vitest_1.expect)((0, system_f_1.isNormal)(term)).toBe(true);
+    });
+});
+// =============================================================
+// 3. Church booleans en System F
+// =============================================================
+(0, vitest_1.describe)('System F / Church booleans encoded', () => {
+    // Bool = ∀X. X → X → X
+    const Bool = (0, system_f_1.fForall)('X', (0, system_f_1.fArrow)(X, (0, system_f_1.fArrow)(X, X)));
+    const TRUE = (0, system_f_1.fTAbs)('X', (0, system_f_1.fAbs)('t', X, (0, system_f_1.fAbs)('f', X, (0, system_f_1.fVar)('t'))));
+    const FALSE = (0, system_f_1.fTAbs)('X', (0, system_f_1.fAbs)('t', X, (0, system_f_1.fAbs)('f', X, (0, system_f_1.fVar)('f'))));
+    (0, vitest_1.it)('Bool = ∀X. X → X → X bien formado', () => {
+        (0, vitest_1.expect)((0, system_f_1.isWellFormed)(Bool)).toBe(true);
+        (0, vitest_1.expect)((0, system_f_1.fTypeToString)(Bool)).toBe('∀X. X → X → X');
+    });
+    (0, vitest_1.it)('true y false tienen ambos tipo Bool (módulo α)', () => {
+        const tT = unwrap((0, system_f_1.typeOf)(TRUE));
+        const tF = unwrap((0, system_f_1.typeOf)(FALSE));
+        (0, vitest_1.expect)((0, system_f_1.alphaEqType)(tT, Bool)).toBe(true);
+        (0, vitest_1.expect)((0, system_f_1.alphaEqType)(tF, Bool)).toBe(true);
+    });
+    (0, vitest_1.it)('true [P] a b se reduce a a (con a, b : P)', () => {
+        // Construimos un contexto con P declarada y a, b : P.
+        const ctx = (0, system_f_1.emptyContext)();
+        ctx.type.add('P');
+        ctx.term.set('a', P);
+        ctx.term.set('b', P);
+        const expr = (0, system_f_1.fApp)((0, system_f_1.fApp)((0, system_f_1.fTApp)(TRUE, P), (0, system_f_1.fVar)('a')), (0, system_f_1.fVar)('b'));
+        // Tipa a P:
+        const ty = unwrap((0, system_f_1.typeOf)(expr, ctx));
+        (0, vitest_1.expect)((0, system_f_1.alphaEqType)(ty, P)).toBe(true);
+        // Reduce a a:
+        const { result } = (0, system_f_1.normalize)(expr);
+        (0, vitest_1.expect)(result).toEqual((0, system_f_1.fVar)('a'));
+    });
+    (0, vitest_1.it)('false [P] a b se reduce a b', () => {
+        const expr = (0, system_f_1.fApp)((0, system_f_1.fApp)((0, system_f_1.fTApp)(FALSE, P), (0, system_f_1.fVar)('a')), (0, system_f_1.fVar)('b'));
+        const { result } = (0, system_f_1.normalize)(expr);
+        (0, vitest_1.expect)(result).toEqual((0, system_f_1.fVar)('b'));
+    });
+});
+// =============================================================
+// 4. Well-formedness y α-equivalencia de tipos
+// =============================================================
+(0, vitest_1.describe)('System F / isWellFormed + alphaEqType', () => {
+    (0, vitest_1.it)('∀X. X → X es well-formed sin contexto', () => {
+        (0, vitest_1.expect)((0, system_f_1.isWellFormed)((0, system_f_1.fForall)('X', (0, system_f_1.fArrow)(X, X)))).toBe(true);
+    });
+    (0, vitest_1.it)('X solo (no bajo ∀) NO es well-formed sin contexto', () => {
+        (0, vitest_1.expect)((0, system_f_1.isWellFormed)(X)).toBe(false);
+    });
+    (0, vitest_1.it)('X solo SÍ es well-formed con X declarada', () => {
+        (0, vitest_1.expect)((0, system_f_1.isWellFormed)(X, new Set(['X']))).toBe(true);
+    });
+    (0, vitest_1.it)('alphaEqType: ∀X. X → X ≡ ∀Y. Y → Y', () => {
+        const a = (0, system_f_1.fForall)('X', (0, system_f_1.fArrow)(X, X));
+        const b = (0, system_f_1.fForall)('Y', (0, system_f_1.fArrow)(Y, Y));
+        (0, vitest_1.expect)((0, system_f_1.alphaEqType)(a, b)).toBe(true);
+    });
+    (0, vitest_1.it)('alphaEqType: ∀X. X → Y ≢ ∀Y. Y → Y (var libre Y se confunde)', () => {
+        const a = (0, system_f_1.fForall)('X', (0, system_f_1.fArrow)(X, Y));
+        const b = (0, system_f_1.fForall)('Y', (0, system_f_1.fArrow)(Y, Y));
+        (0, vitest_1.expect)((0, system_f_1.alphaEqType)(a, b)).toBe(false);
+    });
+});
+// =============================================================
+// 5. Capture-avoidance al sustituir tipos
+// =============================================================
+(0, vitest_1.describe)('System F / capture-avoidance', () => {
+    (0, vitest_1.it)('type-β no captura: (Λ X. Λ Y. λ x:X. x) [Y] genera tipo con Y fresco', () => {
+        // Si la sustitución X := Y se hiciera ingenuamente bajo Λ Y, capturaría.
+        // Esperamos que el binder interno se α-renombre.
+        const term = (0, system_f_1.fTApp)((0, system_f_1.fTAbs)('X', (0, system_f_1.fTAbs)('Y', (0, system_f_1.fAbs)('x', X, (0, system_f_1.fVar)('x')))), Y);
+        const r = (0, system_f_1.reduceBeta)(term);
+        // El resultado debe ser Λ Y'. λ x:Y. x, con Y' ≠ Y.
+        (0, vitest_1.expect)(r.kind).toBe('tabs');
+        if (r.kind === 'tabs') {
+            (0, vitest_1.expect)(r.bind).not.toBe('Y');
+            // El cuerpo interno ahora tiene la anotación de x como Y (el tipo sustituido).
+            (0, vitest_1.expect)(r.body.kind).toBe('abs');
+        }
+    });
+    (0, vitest_1.it)('alphaEqType tras type-β preserva semántica', () => {
+        // (Λ X. λ x:X. x) [P]  debe tipar a P → P (módulo α).
+        const term = (0, system_f_1.fTApp)((0, system_f_1.fTAbs)('X', (0, system_f_1.fAbs)('x', X, (0, system_f_1.fVar)('x'))), P);
+        const ty = unwrap((0, system_f_1.typeOf)(term, ctxWithType('P')));
+        (0, vitest_1.expect)((0, system_f_1.alphaEqType)(ty, (0, system_f_1.fArrow)(P, P))).toBe(true);
+    });
+});
+//# sourceMappingURL=system-f.test.js.map

package/dist/tests/system-f/system-f.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"system-f.test.js","sourceRoot":"","sources":["../../../src/tests/system-f/system-f.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,6CAqBwB;AAExB,gCAAgC;AAChC,MAAM,CAAC,GAAG,IAAA,gBAAK,EAAC,GAAG,CAAC,CAAC;AACrB,MAAM,CAAC,GAAG,IAAA,gBAAK,EAAC,GAAG,CAAC,CAAC;AACrB,MAAM,CAAC,GAAG,IAAA,gBAAK,EAAC,GAAG,CAAC,CAAC;AAErB,SAAS,MAAM,CAAC,CAA4B;IAC1C,IAAI,IAAA,sBAAW,EAAC,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IACzE,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,WAAW,CAAC,GAAG,KAAe;IACrC,MAAM,CAAC,GAAG,IAAA,uBAAY,GAAE,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACrC,OAAO,CAAC,CAAC;AACX,CAAC;AAED,gEAAgE;AAChE,mBAAmB;AACnB,gEAAgE;AAChE,IAAA,iBAAQ,EAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,IAAI,GAAG,IAAA,gBAAK,EAAC,GAAG,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,iBAAM,EAAC,IAAI,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,IAAI,GAAG,IAAA,gBAAK,EAAC,IAAA,gBAAK,EAAC,GAAG,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3D,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,iBAAM,EAAC,IAAI,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,QAAQ,GAAG,IAAA,gBAAK,EAAC,GAAG,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACnE,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,iBAAM,EAAC,QAAQ,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,SAAS,GAAG,IAAA,gBAAK,EAAC,GAAG,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACpE,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,iBAAM,EAAC,SAAS,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gFAAgF,EAAE,GAAG,EAAE;QACxF,MAAM,IAAI,GAAG,IAAA,gBAAK,EAChB,GAAG,EACH,IAAA,gBAAK,EAAC,GAAG,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,IAAA,iBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,IAAA,eAAI,EAAC,GAAG,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAC9E,CAAC;QACF,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,iBAAM,EAAC,IAAI,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAG,IAAA,iBAAM,EAAC,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAA,sBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,4EAA4E;QAC5E,MAAM,GAAG,GAAG,IAAA,uBAAY,GAAE,CAAC;QAC3B,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClB,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,IAAA,gBAAK,EAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClB,MAAM,IAAI,GAAG,IAAA,eAAI,EAAC,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QACtD,MAAM,CAAC,GAAG,IAAA,iBAAM,EAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAA,sBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,IAAA,sBAAW,EAAC,CAAC,CAAC;YAAE,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QAC7B,MAAM,IAAI,GAAG,IAAA,gBAAK,EAAC,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/C,MAAM,CAAC,GAAG,IAAA,iBAAM,EAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAA,sBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,IAAA,sBAAW,EAAC,CAAC,CAAC;YAAE,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,qDAAqD;QACrD,MAAM,IAAI,GAAG,IAAA,eAAI,EAAC,GAAG,EAAE,IAAA,gBAAK,EAAC,GAAG,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,GAAG,IAAA,iBAAM,EAAC,IAAI,EAAE,IAAA,uBAAY,GAAE,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,sBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,IAAA,sBAAW,EAAC,CAAC,CAAC;YAAE,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,uDAAuD;QACvD,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QAC7B,MAAM,IAAI,GAAG,IAAA,gBAAK,EAAC,GAAG,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,GAAG,IAAA,iBAAM,EAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAA,sBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAChE,0BAA0B;AAC1B,gEAAgE;AAChE,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,IAAI,GAAG,IAAA,gBAAK,EAAC,IAAA,gBAAK,EAAC,GAAG,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3D,MAAM,CAAC,GAAG,IAAA,qBAAU,EAAC,IAAI,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,IAAI,GAAG,IAAA,gBAAK,EAAC,IAAA,gBAAK,EAAC,GAAG,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAA,iBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtE,MAAM,CAAC,GAAG,IAAA,qBAAU,EAAC,IAAI,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,IAAI,GAAG,IAAA,eAAI,EAAC,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QACtD,MAAM,CAAC,GAAG,IAAA,qBAAU,EAAC,IAAI,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,IAAI,GAAG,IAAA,gBAAK,EAAC,IAAA,gBAAK,EAAC,GAAG,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3D,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,IAAA,oBAAS,EAAC,IAAI,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,iDAAiD;QACjD,MAAM,IAAI,GAAG,IAAA,eAAI,EAAC,IAAA,gBAAK,EAAC,IAAA,gBAAK,EAAC,GAAG,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QAC5E,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,IAAA,oBAAS,EAAC,IAAI,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,IAAI,GAAG,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QACrC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,IAAA,oBAAS,EAAC,IAAI,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,mBAAQ,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAChE,iCAAiC;AACjC,gEAAgE;AAChE,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,uBAAuB;IACvB,MAAM,IAAI,GAAG,IAAA,kBAAO,EAAC,GAAG,EAAE,IAAA,iBAAM,EAAC,CAAC,EAAE,IAAA,iBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACnD,MAAM,IAAI,GAAG,IAAA,gBAAK,EAAC,GAAG,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,MAAM,KAAK,GAAG,IAAA,gBAAK,EAAC,GAAG,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAEhE,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,IAAA,eAAM,EAAC,IAAA,uBAAY,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,EAAE,GAAG,MAAM,CAAC,IAAA,iBAAM,EAAC,IAAI,CAAC,CAAC,CAAC;QAChC,MAAM,EAAE,GAAG,MAAM,CAAC,IAAA,iBAAM,EAAC,KAAK,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,sBAAW,EAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,sBAAW,EAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,sDAAsD;QACtD,MAAM,GAAG,GAAa,IAAA,uBAAY,GAAE,CAAC;QACrC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAClB,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACrB,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACrB,MAAM,IAAI,GAAG,IAAA,eAAI,EAAC,IAAA,eAAI,EAAC,IAAA,gBAAK,EAAC,IAAI,EAAE,CAAC,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QAC9D,YAAY;QACZ,MAAM,EAAE,GAAG,MAAM,CAAC,IAAA,iBAAM,EAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAA,sBAAW,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,cAAc;QACd,MAAM,EAAE,MAAM,EAAE,GAAG,IAAA,oBAAS,EAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,IAAI,GAAG,IAAA,eAAI,EAAC,IAAA,eAAI,EAAC,IAAA,gBAAK,EAAC,KAAK,EAAE,CAAC,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QAC/D,MAAM,EAAE,MAAM,EAAE,GAAG,IAAA,oBAAS,EAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAChE,+CAA+C;AAC/C,gEAAgE;AAChE,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,IAAA,eAAM,EAAC,IAAA,uBAAY,EAAC,IAAA,kBAAO,EAAC,GAAG,EAAE,IAAA,iBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,IAAA,eAAM,EAAC,IAAA,uBAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,IAAA,eAAM,EAAC,IAAA,uBAAY,EAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,IAAA,kBAAO,EAAC,GAAG,EAAE,IAAA,iBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,IAAA,kBAAO,EAAC,GAAG,EAAE,IAAA,iBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAA,sBAAW,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,CAAC,GAAG,IAAA,kBAAO,EAAC,GAAG,EAAE,IAAA,iBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,IAAA,kBAAO,EAAC,GAAG,EAAE,IAAA,iBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAA,sBAAW,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAChE,0CAA0C;AAC1C,gEAAgE;AAChE,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,yEAAyE;QACzE,iDAAiD;QACjD,MAAM,IAAI,GAAG,IAAA,gBAAK,EAAC,IAAA,gBAAK,EAAC,GAAG,EAAE,IAAA,gBAAK,EAAC,GAAG,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACvE,MAAM,CAAC,GAAG,IAAA,qBAAU,EAAC,IAAI,CAAC,CAAC;QAC3B,oDAAoD;QACpD,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC5B,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACtB,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC7B,+EAA+E;YAC/E,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,sDAAsD;QACtD,MAAM,IAAI,GAAG,IAAA,gBAAK,EAAC,IAAA,gBAAK,EAAC,GAAG,EAAE,IAAA,eAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,eAAI,EAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3D,MAAM,EAAE,GAAG,MAAM,CAAC,IAAA,iBAAM,EAAC,IAAI,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,IAAA,sBAAW,EAAC,EAAE,EAAE,IAAA,iBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/term-rewriting/critical-pairs.test.d.ts

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

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

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

package/dist/tests/term-rewriting/critical-pairs.test.js

@@ -0,0 +1,34 @@
+"use strict";
+// ============================================================
+// Tests — Critical pairs + confluencia
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const term_rewriting_1 = require("../../runtime/term-rewriting");
+(0, vitest_1.describe)('critical pairs', () => {
+    (0, vitest_1.it)('TRS sin solapes → cero CPs (módulo trivial)', () => {
+        // f(a) → b  y  g(a) → c: no se pueden overlappear.
+        const rules = [
+            { lhs: (0, term_rewriting_1.f)('f', (0, term_rewriting_1.c)('a')), rhs: (0, term_rewriting_1.c)('b') },
+            { lhs: (0, term_rewriting_1.f)('g', (0, term_rewriting_1.c)('a')), rhs: (0, term_rewriting_1.c)('c') },
+        ];
+        const cps = (0, term_rewriting_1.allCriticalPairs)(rules);
+        (0, vitest_1.expect)(cps.length).toBe(0);
+    });
+    (0, vitest_1.it)('TRS confluente trivial: rule única reflexiva', () => {
+        // f(x) → x ⇒ confluente (sin overlaps de raíz no triviales).
+        const rules = [{ 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.isConfluent)({ rules })).toBe(true);
+    });
+    (0, vitest_1.it)('detecta CP no joinable y reporta no-confluente', () => {
+        // Sistema no confluente: f(a) → b, f(a) → c (orientado del mismo LHS
+        // pero con RHS distintos). El overlap raíz produce CP (b, c) que
+        // no es joinable porque ambos son irreducibles.
+        const rules = [
+            { lhs: (0, term_rewriting_1.f)('f', (0, term_rewriting_1.c)('a')), rhs: (0, term_rewriting_1.c)('b') },
+            { lhs: (0, term_rewriting_1.f)('f', (0, term_rewriting_1.c)('a')), rhs: (0, term_rewriting_1.c)('c') },
+        ];
+        (0, vitest_1.expect)((0, term_rewriting_1.isConfluent)({ rules })).toBe(false);
+    });
+});
+//# sourceMappingURL=critical-pairs.test.js.map

package/dist/tests/term-rewriting/critical-pairs.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"critical-pairs.test.js","sourceRoot":"","sources":["../../../src/tests/term-rewriting/critical-pairs.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,uCAAuC;AACvC,+DAA+D;;AAE/D,mCAA8C;AAC9C,iEAAsF;AAEtF,IAAA,iBAAQ,EAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,mDAAmD;QACnD,MAAM,KAAK,GAAG;YACZ,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE;YACpC,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE;SACrC,CAAC;QACF,MAAM,GAAG,GAAG,IAAA,iCAAgB,EAAC,KAAK,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,6DAA6D;QAC7D,MAAM,KAAK,GAAG,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;QACrD,IAAA,eAAM,EAAC,IAAA,4BAAW,EAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,qEAAqE;QACrE,iEAAiE;QACjE,gDAAgD;QAChD,MAAM,KAAK,GAAG;YACZ,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE;YACpC,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,IAAA,kBAAC,EAAC,GAAG,CAAC,EAAE;SACrC,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,4BAAW,EAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}