@stevenvo780/st-lang 4.4.0 → 4.5.1

package/dist/tests/constructive-reals/constructive-reals.test.js

@@ -0,0 +1,357 @@
+"use strict";
+// ============================================================
+// ST Constructive Reals — Tests
+// ============================================================
+// Verificamos que cada operación cumple su contrato:
+//   |x - approx(p).numerator / approx(p).denominator| < 2^{-p}
+// y que los resultados coinciden numéricamente con cálculos
+// en `number` (con tolerancia floating-point) donde aplica.
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const constructive_reals_1 = require("../../constructive-reals");
+/** Convierte una aproximación a `number` para comparar con float math. */
+function asNumber(r, prec = 60) {
+    const { numerator, denominator } = r.approx(prec);
+    // Para que no perdamos por desbordar Number, dividimos en bigint primero
+    // si los bits son demasiados.
+    const numBits = numerator.toString(2).length;
+    if (numBits > 80) {
+        const shift = numBits - 60;
+        const small = numerator >> BigInt(shift);
+        const denomShifted = denominator >> BigInt(shift);
+        return Number(small) / Number(denomShifted);
+    }
+    return Number(numerator) / Number(denominator);
+}
+(0, vitest_1.describe)('constructive-reals — fundamentos', () => {
+    (0, vitest_1.it)('fromInt(2).approx(20) representa exactamente 2', () => {
+        const r = (0, constructive_reals_1.fromInt)(2);
+        const { numerator, denominator } = r.approx(20);
+        (0, vitest_1.expect)(denominator).toBe(1n << 20n);
+        // 2 · 2^20 = 2097152.
+        (0, vitest_1.expect)(numerator).toBe(2n << 20n);
+    });
+    (0, vitest_1.it)('fromInt(-5).approx(10) representa exactamente -5', () => {
+        const r = (0, constructive_reals_1.fromInt)(-5);
+        const { numerator, denominator } = r.approx(10);
+        (0, vitest_1.expect)(numerator).toBe(-5n * (1n << 10n));
+        (0, vitest_1.expect)(denominator).toBe(1n << 10n);
+    });
+    (0, vitest_1.it)('fromRational(1, 3) tiene error < 2^{-p} en cada precisión', () => {
+        const oneThird = (0, constructive_reals_1.fromRational)(1, 3);
+        for (const p of [10, 30, 60, 100, 200]) {
+            const { numerator, denominator } = oneThird.approx(p);
+            // Error: |1/3 - num/2^p|. Multiplicamos por 3·2^p para enteros:
+            //   |2^p - 3·num| < 3 (es decir, error < 1 en escala 2^p ⇒ < 2^{-p}).
+            const diff3 = (1n << BigInt(p)) - 3n * numerator;
+            const absDiff = diff3 < 0n ? -diff3 : diff3;
+            // |diff3| < 3, lo cual implica |1/3 - num/denom| < 1/2^p < 2^{-p}.
+            (0, vitest_1.expect)(absDiff).toBeLessThan(3n);
+            (0, vitest_1.expect)(denominator).toBe(1n << BigInt(p));
+        }
+    });
+});
+(0, vitest_1.describe)('constructive-reals — aritmética', () => {
+    (0, vitest_1.it)('add(1, 1) ≈ 2 a alta precisión', () => {
+        const two = (0, constructive_reals_1.add)((0, constructive_reals_1.fromInt)(1), (0, constructive_reals_1.fromInt)(1));
+        (0, vitest_1.expect)(asNumber(two)).toBeCloseTo(2, 14);
+        // Verificamos también que la cota está cerca de 2 a precisión 100.
+        const { numerator, denominator } = two.approx(100);
+        // |2 - num/denom| < 2^{-100}, equivalente a |2·denom - num| < 1.
+        const diff = 2n * denominator - numerator;
+        const absDiff = diff < 0n ? -diff : diff;
+        (0, vitest_1.expect)(absDiff).toBeLessThanOrEqual(1n);
+    });
+    (0, vitest_1.it)('sub(5, 3) ≈ 2', () => {
+        const r = (0, constructive_reals_1.sub)((0, constructive_reals_1.fromInt)(5), (0, constructive_reals_1.fromInt)(3));
+        (0, vitest_1.expect)(asNumber(r)).toBeCloseTo(2, 14);
+    });
+    (0, vitest_1.it)('mul(7, 6) ≈ 42', () => {
+        const r = (0, constructive_reals_1.mul)((0, constructive_reals_1.fromInt)(7), (0, constructive_reals_1.fromInt)(6));
+        (0, vitest_1.expect)(asNumber(r)).toBeCloseTo(42, 12);
+    });
+    (0, vitest_1.it)('neg(neg(x)) = x', () => {
+        const seven = (0, constructive_reals_1.fromInt)(7);
+        const r = (0, constructive_reals_1.neg)((0, constructive_reals_1.neg)(seven));
+        (0, vitest_1.expect)(asNumber(r)).toBeCloseTo(7, 14);
+    });
+    (0, vitest_1.it)('abs(-3.5) ≈ 3.5', () => {
+        const r = (0, constructive_reals_1.abs)((0, constructive_reals_1.fromRational)(-7, 2));
+        (0, vitest_1.expect)(asNumber(r)).toBeCloseTo(3.5, 14);
+    });
+    (0, vitest_1.it)('div(22, 7) ≈ 3.142857… (aprox π)', () => {
+        const r = (0, constructive_reals_1.div)((0, constructive_reals_1.fromInt)(22), (0, constructive_reals_1.fromInt)(7));
+        (0, vitest_1.expect)(asNumber(r)).toBeCloseTo(22 / 7, 12);
+    });
+    (0, vitest_1.it)('div(1, 3) coincide con fromRational(1, 3)', () => {
+        const a = (0, constructive_reals_1.div)((0, constructive_reals_1.fromInt)(1), (0, constructive_reals_1.fromInt)(3));
+        const b = (0, constructive_reals_1.fromRational)(1, 3);
+        // |a - b| debe ser ≤ 2 ulps a precisión 60.
+        const av = a.approx(60).numerator;
+        const bv = b.approx(60).numerator;
+        const diff = av - bv;
+        const absDiff = diff < 0n ? -diff : diff;
+        (0, vitest_1.expect)(absDiff).toBeLessThanOrEqual(2n);
+    });
+    (0, vitest_1.it)('asociatividad aproximada: (a+b)+c ≈ a+(b+c)', () => {
+        const a = (0, constructive_reals_1.fromRational)(7, 11);
+        const b = (0, constructive_reals_1.fromRational)(13, 17);
+        const c = (0, constructive_reals_1.fromRational)(19, 23);
+        const left = (0, constructive_reals_1.add)((0, constructive_reals_1.add)(a, b), c);
+        const right = (0, constructive_reals_1.add)(a, (0, constructive_reals_1.add)(b, c));
+        // A precisión 50, la diferencia debe ser ≤ pocas ulps.
+        (0, vitest_1.expect)((0, constructive_reals_1.compareWithEpsilon)(left, right, 40)).toBe(0);
+    });
+});
+(0, vitest_1.describe)('constructive-reals — sqrt', () => {
+    (0, vitest_1.it)('sqrt(fromInt(4)) ≈ 2', () => {
+        const r = (0, constructive_reals_1.sqrt)((0, constructive_reals_1.fromInt)(4));
+        (0, vitest_1.expect)(asNumber(r)).toBeCloseTo(2, 14);
+        // Verificación más fuerte: (sqrt(4))² ≈ 4.
+        const sq = (0, constructive_reals_1.mul)(r, r);
+        (0, vitest_1.expect)((0, constructive_reals_1.compareWithEpsilon)(sq, (0, constructive_reals_1.fromInt)(4), 30)).toBe(0);
+    });
+    (0, vitest_1.it)('sqrt(fromInt(2))² ≈ 2 a alta precisión', () => {
+        const r = (0, constructive_reals_1.sqrt)((0, constructive_reals_1.fromInt)(2));
+        const sq = (0, constructive_reals_1.mul)(r, r);
+        // Comparamos con fromInt(2) usando epsilon 40.
+        (0, vitest_1.expect)((0, constructive_reals_1.compareWithEpsilon)(sq, (0, constructive_reals_1.fromInt)(2), 40)).toBe(0);
+    });
+    (0, vitest_1.it)('SQRT2.approx(50) elevado al cuadrado ≈ 2', () => {
+        const { numerator, denominator } = constructive_reals_1.SQRT2.approx(50);
+        // (num/denom)² ≈ 2  ⇔  |num² - 2·denom²| pequeño.
+        // Con error en num < 1, |num² - 2·denom²| < 2·num ≈ 2·√2·2^50 ≈ 2^51.5
+        const lhs = numerator * numerator;
+        const rhs = 2n * denominator * denominator;
+        const diff = lhs - rhs;
+        const absDiff = diff < 0n ? -diff : diff;
+        // En escala denom² = 2^100, la diferencia debe ser ≤ ~2^52 (margen amplio).
+        (0, vitest_1.expect)(absDiff).toBeLessThan(1n << 55n);
+    });
+    (0, vitest_1.it)('sqrt(fromInt(9)) ≈ 3', () => {
+        const r = (0, constructive_reals_1.sqrt)((0, constructive_reals_1.fromInt)(9));
+        (0, vitest_1.expect)(asNumber(r)).toBeCloseTo(3, 14);
+    });
+    (0, vitest_1.it)('sqrt(2) coincide con SQRT2', () => {
+        const a = (0, constructive_reals_1.sqrt)((0, constructive_reals_1.fromInt)(2));
+        (0, vitest_1.expect)((0, constructive_reals_1.compareWithEpsilon)(a, constructive_reals_1.SQRT2, 40)).toBe(0);
+    });
+});
+(0, vitest_1.describe)('constructive-reals — constantes', () => {
+    (0, vitest_1.it)('PI.approx(50) coincide con Math.PI', () => {
+        const piApprox = asNumber(constructive_reals_1.PI, 60);
+        (0, vitest_1.expect)(piApprox).toBeCloseTo(Math.PI, 13);
+    });
+    (0, vitest_1.it)('PI primeros 15 dígitos correctos vía toString', () => {
+        // π = 3.14159265358979323846…
+        const s = (0, constructive_reals_1.toString)(constructive_reals_1.PI, 20);
+        (0, vitest_1.expect)(s.startsWith('3.14159265358979323846')).toBe(true);
+    });
+    (0, vitest_1.it)('E.approx(50) coincide con Math.E', () => {
+        const eApprox = asNumber(constructive_reals_1.E, 60);
+        (0, vitest_1.expect)(eApprox).toBeCloseTo(Math.E, 13);
+    });
+    (0, vitest_1.it)('E primeros 15 dígitos correctos', () => {
+        // e = 2.71828182845904523536…
+        const s = (0, constructive_reals_1.toString)(constructive_reals_1.E, 20);
+        (0, vitest_1.expect)(s.startsWith('2.71828182845904523536')).toBe(true);
+    });
+    (0, vitest_1.it)('SQRT2 coincide con Math.SQRT2', () => {
+        (0, vitest_1.expect)(asNumber(constructive_reals_1.SQRT2, 60)).toBeCloseTo(Math.SQRT2, 13);
+    });
+});
+(0, vitest_1.describe)('constructive-reals — compareWithEpsilon', () => {
+    (0, vitest_1.it)('compareWithEpsilon(PI, fromInt(3), 10) = 1', () => {
+        (0, vitest_1.expect)((0, constructive_reals_1.compareWithEpsilon)(constructive_reals_1.PI, (0, constructive_reals_1.fromInt)(3), 10)).toBe(1);
+    });
+    (0, vitest_1.it)('compareWithEpsilon(fromInt(3), PI, 10) = -1', () => {
+        (0, vitest_1.expect)((0, constructive_reals_1.compareWithEpsilon)((0, constructive_reals_1.fromInt)(3), constructive_reals_1.PI, 10)).toBe(-1);
+    });
+    (0, vitest_1.it)('compareWithEpsilon(x, x, p) = 0 (reflexivo)', () => {
+        const x = (0, constructive_reals_1.fromRational)(355, 113);
+        (0, vitest_1.expect)((0, constructive_reals_1.compareWithEpsilon)(x, x, 30)).toBe(0);
+    });
+    (0, vitest_1.it)('compareWithEpsilon distingue valores cercanos a precisión adecuada', () => {
+        // 1/3 vs 1/3 + 2^{-20}: a precisión 30 deben diferir.
+        const a = (0, constructive_reals_1.fromRational)(1, 3);
+        const b = (0, constructive_reals_1.add)(a, (0, constructive_reals_1.fromRational)(1, 1 << 20));
+        (0, vitest_1.expect)((0, constructive_reals_1.compareWithEpsilon)(a, b, 30)).toBe(-1);
+        (0, vitest_1.expect)((0, constructive_reals_1.compareWithEpsilon)(b, a, 30)).toBe(1);
+    });
+    (0, vitest_1.it)('compareWithEpsilon trata como iguales valores dentro de epsilon', () => {
+        // 1/3 vs 1/3 + 2^{-30}: a precisión 10 deben verse iguales.
+        const a = (0, constructive_reals_1.fromRational)(1, 3);
+        const b = (0, constructive_reals_1.add)(a, (0, constructive_reals_1.fromRational)(1, 1 << 30));
+        (0, vitest_1.expect)((0, constructive_reals_1.compareWithEpsilon)(a, b, 10)).toBe(0);
+    });
+});
+(0, vitest_1.describe)('constructive-reals — toString', () => {
+    (0, vitest_1.it)('toString(fromInt(7), 5) = "7.00000"', () => {
+        (0, vitest_1.expect)((0, constructive_reals_1.toString)((0, constructive_reals_1.fromInt)(7), 5)).toBe('7.00000');
+    });
+    (0, vitest_1.it)('toString(fromInt(-3), 0) = "-3"', () => {
+        (0, vitest_1.expect)((0, constructive_reals_1.toString)((0, constructive_reals_1.fromInt)(-3), 0)).toBe('-3');
+    });
+    (0, vitest_1.it)('toString(fromRational(1, 4), 5) = "0.25000"', () => {
+        (0, vitest_1.expect)((0, constructive_reals_1.toString)((0, constructive_reals_1.fromRational)(1, 4), 5)).toBe('0.25000');
+    });
+    (0, vitest_1.it)('toString(SQRT2, 10) coincide con √2 redondeado', () => {
+        // √2 = 1.4142135623730950…  → 1.4142135624 redondeado a 10 dígitos
+        // (el 11º dígito es 7, así que redondea hacia arriba).
+        const s = (0, constructive_reals_1.toString)(constructive_reals_1.SQRT2, 10);
+        (0, vitest_1.expect)(s).toBe('1.4142135624');
+    });
+    (0, vitest_1.it)('toString(SQRT2, 15) coincide con √2 a 15 dígitos', () => {
+        // √2 = 1.414213562373095048…
+        const s = (0, constructive_reals_1.toString)(constructive_reals_1.SQRT2, 15);
+        (0, vitest_1.expect)(s.startsWith('1.41421356237309')).toBe(true);
+    });
+});
+(0, vitest_1.describe)('constructive-reals — propiedades algebraicas', () => {
+    (0, vitest_1.it)('(a + b) - b ≈ a', () => {
+        const a = (0, constructive_reals_1.fromRational)(7, 13);
+        const b = constructive_reals_1.SQRT2;
+        const r = (0, constructive_reals_1.sub)((0, constructive_reals_1.add)(a, b), b);
+        (0, vitest_1.expect)((0, constructive_reals_1.compareWithEpsilon)(r, a, 30)).toBe(0);
+    });
+    (0, vitest_1.it)('a · (1/a) ≈ 1 para a = π', () => {
+        const inv = (0, constructive_reals_1.div)((0, constructive_reals_1.fromInt)(1), constructive_reals_1.PI);
+        const product = (0, constructive_reals_1.mul)(constructive_reals_1.PI, inv);
+        (0, vitest_1.expect)((0, constructive_reals_1.compareWithEpsilon)(product, (0, constructive_reals_1.fromInt)(1), 30)).toBe(0);
+    });
+    (0, vitest_1.it)('mul distribuye sobre add: a·(b+c) ≈ a·b + a·c', () => {
+        const a = (0, constructive_reals_1.fromRational)(3, 7);
+        const b = (0, constructive_reals_1.fromRational)(11, 13);
+        const c = (0, constructive_reals_1.fromRational)(17, 19);
+        const lhs = (0, constructive_reals_1.mul)(a, (0, constructive_reals_1.add)(b, c));
+        const rhs = (0, constructive_reals_1.add)((0, constructive_reals_1.mul)(a, b), (0, constructive_reals_1.mul)(a, c));
+        (0, vitest_1.expect)((0, constructive_reals_1.compareWithEpsilon)(lhs, rhs, 30)).toBe(0);
+    });
+    (0, vitest_1.it)('sqrt(x)² ≈ x para varios x positivos', () => {
+        for (const k of [2, 3, 5, 7, 16, 100, 1000]) {
+            const x = (0, constructive_reals_1.fromInt)(k);
+            const sq = (0, constructive_reals_1.mul)((0, constructive_reals_1.sqrt)(x), (0, constructive_reals_1.sqrt)(x));
+            (0, vitest_1.expect)((0, constructive_reals_1.compareWithEpsilon)(sq, x, 20)).toBe(0);
+        }
+    });
+    (0, vitest_1.it)('error de aproximación está acotado para mul de irracionales', () => {
+        // π · √2 ≈ 4.44288293…
+        const r = (0, constructive_reals_1.mul)(constructive_reals_1.PI, constructive_reals_1.SQRT2);
+        (0, vitest_1.expect)(asNumber(r, 60)).toBeCloseTo(Math.PI * Math.SQRT2, 12);
+    });
+    (0, vitest_1.it)('div maneja divisores negativos', () => {
+        // -10 / -5 = 2.
+        const r = (0, constructive_reals_1.div)((0, constructive_reals_1.fromInt)(-10), (0, constructive_reals_1.fromInt)(-5));
+        (0, vitest_1.expect)(asNumber(r)).toBeCloseTo(2, 14);
+        // 10 / -5 = -2.
+        const r2 = (0, constructive_reals_1.div)((0, constructive_reals_1.fromInt)(10), (0, constructive_reals_1.fromInt)(-5));
+        (0, vitest_1.expect)(asNumber(r2)).toBeCloseTo(-2, 14);
+    });
+});
+(0, vitest_1.describe)('constructive-reals — error handling', () => {
+    (0, vitest_1.it)('fromRational(_, 0) lanza', () => {
+        (0, vitest_1.expect)(() => (0, constructive_reals_1.fromRational)(1, 0)).toThrow();
+    });
+    (0, vitest_1.it)('sqrt(-1) lanza', () => {
+        (0, vitest_1.expect)(() => (0, constructive_reals_1.sqrt)((0, constructive_reals_1.fromInt)(-1)).approx(10)).toThrow();
+    });
+    (0, vitest_1.it)('fromInt(NaN) lanza', () => {
+        (0, vitest_1.expect)(() => (0, constructive_reals_1.fromInt)(NaN)).toThrow();
+    });
+    (0, vitest_1.it)('fromInt(3.14) lanza (no es entero)', () => {
+        (0, vitest_1.expect)(() => (0, constructive_reals_1.fromInt)(3.14)).toThrow();
+    });
+});
+(0, vitest_1.describe)('constructive-reals — transcendentales', () => {
+    (0, vitest_1.it)('exp(0) = 1', () => {
+        (0, vitest_1.expect)(asNumber((0, constructive_reals_1.exp)((0, constructive_reals_1.fromInt)(0)))).toBeCloseTo(1, 12);
+    });
+    (0, vitest_1.it)('exp(1) ≈ E', () => {
+        const r = (0, constructive_reals_1.exp)((0, constructive_reals_1.fromInt)(1));
+        (0, vitest_1.expect)((0, constructive_reals_1.compareWithEpsilon)(r, constructive_reals_1.E, 30)).toBe(0);
+    });
+    (0, vitest_1.it)('exp(2) ≈ e²', () => {
+        (0, vitest_1.expect)(asNumber((0, constructive_reals_1.exp)((0, constructive_reals_1.fromInt)(2)))).toBeCloseTo(Math.E * Math.E, 10);
+    });
+    (0, vitest_1.it)('log(E) ≈ 1', () => {
+        const r = (0, constructive_reals_1.log)(constructive_reals_1.E);
+        (0, vitest_1.expect)(asNumber(r)).toBeCloseTo(1, 10);
+    });
+    (0, vitest_1.it)('log(exp(x)) ≈ x para x = 2', () => {
+        const x = (0, constructive_reals_1.fromInt)(2);
+        const r = (0, constructive_reals_1.log)((0, constructive_reals_1.exp)(x));
+        (0, vitest_1.expect)((0, constructive_reals_1.compareWithEpsilon)(r, x, 20)).toBe(0);
+    });
+    (0, vitest_1.it)('exp(log(x)) ≈ x para x = 5', () => {
+        const x = (0, constructive_reals_1.fromInt)(5);
+        const r = (0, constructive_reals_1.exp)((0, constructive_reals_1.log)(x));
+        (0, vitest_1.expect)((0, constructive_reals_1.compareWithEpsilon)(r, x, 20)).toBe(0);
+    });
+    (0, vitest_1.it)('sin(0) ≈ 0', () => {
+        (0, vitest_1.expect)(asNumber((0, constructive_reals_1.sin)((0, constructive_reals_1.fromInt)(0)))).toBeCloseTo(0, 12);
+    });
+    (0, vitest_1.it)('cos(0) = 1', () => {
+        (0, vitest_1.expect)(asNumber((0, constructive_reals_1.cos)((0, constructive_reals_1.fromInt)(0)))).toBeCloseTo(1, 12);
+    });
+    (0, vitest_1.it)('sin(PI) ≈ 0', () => {
+        const r = (0, constructive_reals_1.sin)(constructive_reals_1.PI);
+        // |sin(π)| < 2^{-20} debería ser cierto a precisión razonable.
+        (0, vitest_1.expect)((0, constructive_reals_1.compareWithEpsilon)(r, (0, constructive_reals_1.fromInt)(0), 20)).toBe(0);
+    });
+    (0, vitest_1.it)('cos(PI) ≈ -1', () => {
+        const r = (0, constructive_reals_1.cos)(constructive_reals_1.PI);
+        (0, vitest_1.expect)((0, constructive_reals_1.compareWithEpsilon)(r, (0, constructive_reals_1.fromInt)(-1), 20)).toBe(0);
+    });
+    (0, vitest_1.it)('sin²(x) + cos²(x) ≈ 1', () => {
+        const x = (0, constructive_reals_1.fromRational)(7, 5); // arbitrario, dentro de [-π, π].
+        const s = (0, constructive_reals_1.sin)(x);
+        const c = (0, constructive_reals_1.cos)(x);
+        const sum = (0, constructive_reals_1.add)((0, constructive_reals_1.mul)(s, s), (0, constructive_reals_1.mul)(c, c));
+        (0, vitest_1.expect)((0, constructive_reals_1.compareWithEpsilon)(sum, (0, constructive_reals_1.fromInt)(1), 20)).toBe(0);
+    });
+    (0, vitest_1.it)('pow(2, 10) = 1024 (entero rápido)', () => {
+        const r = (0, constructive_reals_1.pow)((0, constructive_reals_1.fromInt)(2), 10);
+        (0, vitest_1.expect)(asNumber(r)).toBeCloseTo(1024, 10);
+    });
+    (0, vitest_1.it)('pow(2, -3) = 1/8', () => {
+        const r = (0, constructive_reals_1.pow)((0, constructive_reals_1.fromInt)(2), -3);
+        (0, vitest_1.expect)(asNumber(r)).toBeCloseTo(0.125, 12);
+    });
+    (0, vitest_1.it)('pow(E, fromInt(2)) ≈ e²', () => {
+        const r = (0, constructive_reals_1.pow)(constructive_reals_1.E, (0, constructive_reals_1.fromInt)(2));
+        (0, vitest_1.expect)(asNumber(r)).toBeCloseTo(Math.E * Math.E, 8);
+    });
+});
+(0, vitest_1.describe)('constructive-reals — internals', () => {
+    (0, vitest_1.it)('isqrt redondea correctamente', () => {
+        (0, vitest_1.expect)(constructive_reals_1.__internals.isqrt(0n)).toBe(0n);
+        (0, vitest_1.expect)(constructive_reals_1.__internals.isqrt(1n)).toBe(1n);
+        (0, vitest_1.expect)(constructive_reals_1.__internals.isqrt(2n)).toBe(1n);
+        (0, vitest_1.expect)(constructive_reals_1.__internals.isqrt(3n)).toBe(1n);
+        (0, vitest_1.expect)(constructive_reals_1.__internals.isqrt(4n)).toBe(2n);
+        (0, vitest_1.expect)(constructive_reals_1.__internals.isqrt(15n)).toBe(3n);
+        (0, vitest_1.expect)(constructive_reals_1.__internals.isqrt(16n)).toBe(4n);
+        (0, vitest_1.expect)(constructive_reals_1.__internals.isqrt(10000n)).toBe(100n);
+        (0, vitest_1.expect)(constructive_reals_1.__internals.isqrt(1n << 100n)).toBe(1n << 50n);
+    });
+    (0, vitest_1.it)('shiftRight redondea half-away-from-zero', () => {
+        // 5 / 2 = 2.5 → round half away = 3.
+        (0, vitest_1.expect)(constructive_reals_1.__internals.shiftRight(5n, 1)).toBe(3n);
+        (0, vitest_1.expect)(constructive_reals_1.__internals.shiftRight(-5n, 1)).toBe(-3n);
+        // 4 / 2 = 2.
+        (0, vitest_1.expect)(constructive_reals_1.__internals.shiftRight(4n, 1)).toBe(2n);
+        // shift por 0 = identidad.
+        (0, vitest_1.expect)(constructive_reals_1.__internals.shiftRight(7n, 0)).toBe(7n);
+        // shift negativo = shift left.
+        (0, vitest_1.expect)(constructive_reals_1.__internals.shiftRight(3n, -2)).toBe(12n);
+    });
+    (0, vitest_1.it)('bitLength funciona en bordes', () => {
+        (0, vitest_1.expect)(constructive_reals_1.__internals.bitLength(0n)).toBe(0);
+        (0, vitest_1.expect)(constructive_reals_1.__internals.bitLength(1n)).toBe(1);
+        (0, vitest_1.expect)(constructive_reals_1.__internals.bitLength(2n)).toBe(2);
+        (0, vitest_1.expect)(constructive_reals_1.__internals.bitLength(255n)).toBe(8);
+        (0, vitest_1.expect)(constructive_reals_1.__internals.bitLength(256n)).toBe(9);
+        (0, vitest_1.expect)(constructive_reals_1.__internals.bitLength(-256n)).toBe(9);
+    });
+});
+//# sourceMappingURL=constructive-reals.test.js.map

package/dist/tests/constructive-reals/constructive-reals.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constructive-reals.test.js","sourceRoot":"","sources":["../../../src/tests/constructive-reals/constructive-reals.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,gCAAgC;AAChC,+DAA+D;AAC/D,qDAAqD;AACrD,+DAA+D;AAC/D,4DAA4D;AAC5D,4DAA4D;;AAE5D,mCAA8C;AAC9C,iEAsBkC;AAElC,0EAA0E;AAC1E,SAAS,QAAQ,CAAC,CAAQ,EAAE,OAAe,EAAE;IAC3C,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAClD,yEAAyE;IACzE,8BAA8B;IAC9B,MAAM,OAAO,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAC7C,IAAI,OAAO,GAAG,EAAE,EAAE,CAAC;QACjB,MAAM,KAAK,GAAG,OAAO,GAAG,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,SAAS,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC;QACzC,MAAM,YAAY,GAAG,WAAW,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC;QAClD,OAAO,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,YAAY,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,MAAM,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;AACjD,CAAC;AAED,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC;QACrB,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,WAAW,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC;QACpC,sBAAsB;QACtB,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,WAAW,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,QAAQ,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACpC,KAAK,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;YACvC,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YACtD,gEAAgE;YAChE,sEAAsE;YACtE,MAAM,KAAK,GAAG,CAAC,EAAE,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,SAAS,CAAC;YACjD,MAAM,OAAO,GAAG,KAAK,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;YAC5C,mEAAmE;YACnE,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;YACjC,IAAA,eAAM,EAAC,WAAW,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,GAAG,GAAG,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACzC,mEAAmE;QACnE,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACnD,iEAAiE;QACjE,MAAM,IAAI,GAAG,EAAE,GAAG,WAAW,GAAG,SAAS,CAAC;QAC1C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QACzC,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,eAAe,EAAE,GAAG,EAAE;QACvB,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,KAAK,GAAG,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC;QACzB,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,KAAK,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,IAAA,iCAAY,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,EAAE,CAAC,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,4CAA4C;QAC5C,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC;QAClC,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC;QAClC,MAAM,IAAI,GAAG,EAAE,GAAG,EAAE,CAAC;QACrB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QACzC,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9B,MAAM,CAAC,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAC/B,MAAM,CAAC,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAC/B,MAAM,IAAI,GAAG,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/B,MAAM,KAAK,GAAG,IAAA,wBAAG,EAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAChC,uDAAuD;QACvD,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,CAAC,GAAG,IAAA,yBAAI,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACvC,2CAA2C;QAC3C,MAAM,EAAE,GAAG,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,EAAE,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,GAAG,IAAA,yBAAI,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,EAAE,GAAG,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrB,+CAA+C;QAC/C,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,EAAE,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,EAAE,SAAS,EAAE,WAAW,EAAE,GAAG,0BAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACpD,kDAAkD;QAClD,uEAAuE;QACvE,MAAM,GAAG,GAAG,SAAS,GAAG,SAAS,CAAC;QAClC,MAAM,GAAG,GAAG,EAAE,GAAG,WAAW,GAAG,WAAW,CAAC;QAC3C,MAAM,IAAI,GAAG,GAAG,GAAG,GAAG,CAAC;QACvB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;QACzC,4EAA4E;QAC5E,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,YAAY,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,CAAC,GAAG,IAAA,yBAAI,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAA,yBAAI,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,CAAC,EAAE,0BAAK,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,QAAQ,GAAG,QAAQ,CAAC,uBAAE,EAAE,EAAE,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,8BAA8B;QAC9B,MAAM,CAAC,GAAG,IAAA,6BAAQ,EAAC,uBAAE,EAAE,EAAE,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,wBAAwB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,OAAO,GAAG,QAAQ,CAAC,sBAAC,EAAE,EAAE,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,8BAA8B;QAC9B,MAAM,CAAC,GAAG,IAAA,6BAAQ,EAAC,sBAAC,EAAE,EAAE,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,wBAAwB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,IAAA,eAAM,EAAC,QAAQ,CAAC,0BAAK,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,uBAAE,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,EAAE,uBAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAA,iCAAY,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,sDAAsD;QACtD,MAAM,CAAC,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,CAAC,EAAE,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,4DAA4D;QAC5D,MAAM,CAAC,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,CAAC,EAAE,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,mEAAmE;QACnE,uDAAuD;QACvD,MAAM,CAAC,GAAG,IAAA,6BAAQ,EAAC,0BAAK,EAAE,EAAE,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,6BAA6B;QAC7B,MAAM,CAAC,GAAG,IAAA,6BAAQ,EAAC,0BAAK,EAAE,EAAE,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,IAAA,WAAE,EAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,CAAC,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9B,MAAM,CAAC,GAAG,0BAAK,CAAC;QAChB,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,GAAG,GAAG,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,EAAE,uBAAE,CAAC,CAAC;QAChC,MAAM,OAAO,GAAG,IAAA,wBAAG,EAAC,uBAAE,EAAE,GAAG,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,OAAO,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,CAAC,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAC/B,MAAM,CAAC,GAAG,IAAA,iCAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAC/B,MAAM,GAAG,GAAG,IAAA,wBAAG,EAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9B,MAAM,GAAG,GAAG,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC;YAC5C,MAAM,CAAC,GAAG,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC;YACrB,MAAM,EAAE,GAAG,IAAA,wBAAG,EAAC,IAAA,yBAAI,EAAC,CAAC,CAAC,EAAE,IAAA,yBAAI,EAAC,CAAC,CAAC,CAAC,CAAC;YACjC,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,uBAAuB;QACvB,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,uBAAE,EAAE,0BAAK,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,gBAAgB;QAChB,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,EAAE,CAAC,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACvC,gBAAgB;QAChB,MAAM,EAAE,GAAG,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,EAAE,CAAC,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,yBAAI,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,4BAAO,EAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,4BAAO,EAAC,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,YAAY,EAAE,GAAG,EAAE;QACpB,IAAA,eAAM,EAAC,QAAQ,CAAC,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,YAAY,EAAE,GAAG,EAAE;QACpB,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,CAAC,EAAE,sBAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,aAAa,EAAE,GAAG,EAAE;QACrB,IAAA,eAAM,EAAC,QAAQ,CAAC,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,YAAY,EAAE,GAAG,EAAE;QACpB,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,sBAAC,CAAC,CAAC;QACjB,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC;QACrB,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC;QACrB,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,YAAY,EAAE,GAAG,EAAE;QACpB,IAAA,eAAM,EAAC,QAAQ,CAAC,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,YAAY,EAAE,GAAG,EAAE;QACpB,IAAA,eAAM,EAAC,QAAQ,CAAC,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,aAAa,EAAE,GAAG,EAAE;QACrB,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,uBAAE,CAAC,CAAC;QAClB,+DAA+D;QAC/D,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,CAAC,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,cAAc,EAAE,GAAG,EAAE;QACtB,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,uBAAE,CAAC,CAAC;QAClB,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,CAAC,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAC,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,iCAAiC;QAC/D,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,GAAG,GAAG,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,uCAAkB,EAAC,GAAG,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,IAAA,4BAAO,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,GAAG,IAAA,wBAAG,EAAC,sBAAC,EAAE,IAAA,4BAAO,EAAC,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,IAAA,eAAM,EAAC,gCAAW,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,gCAAW,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,gCAAW,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,gCAAW,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,gCAAW,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,gCAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,gCAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,gCAAW,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,gCAAW,CAAC,KAAK,CAAC,EAAE,IAAI,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,qCAAqC;QACrC,IAAA,eAAM,EAAC,gCAAW,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,gCAAW,CAAC,UAAU,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;QACjD,aAAa;QACb,IAAA,eAAM,EAAC,gCAAW,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/C,2BAA2B;QAC3B,IAAA,eAAM,EAAC,gCAAW,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/C,+BAA+B;QAC/B,IAAA,eAAM,EAAC,gCAAW,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,IAAA,eAAM,EAAC,gCAAW,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,gCAAW,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,gCAAW,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,gCAAW,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,gCAAW,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,gCAAW,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/game-semantics/game-semantics.test.d.ts

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

package/dist/tests/game-semantics/game-semantics.test.d.ts.map

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

package/dist/tests/game-semantics/game-semantics.test.js

@@ -0,0 +1,143 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const game_semantics_1 = require("../../game-semantics");
+const P = (0, game_semantics_1.ipcAtom)('P');
+const Q = (0, game_semantics_1.ipcAtom)('Q');
+const R = (0, game_semantics_1.ipcAtom)('R');
+(0, vitest_1.describe)('Game semantics IPC — winningStrategy', () => {
+    (0, vitest_1.it)('P → P: proponente tiene estrategia ganadora', () => {
+        const result = (0, game_semantics_1.winningStrategy)((0, game_semantics_1.ipcImplies)(P, P));
+        (0, vitest_1.expect)(result.exists).toBe(true);
+        (0, vitest_1.expect)(typeof result.strategy).toBe('function');
+    });
+    (0, vitest_1.it)('P ∨ ¬P: proponente NO tiene estrategia (no es válida en IPC)', () => {
+        const result = (0, game_semantics_1.winningStrategy)((0, game_semantics_1.ipcOr)(P, (0, game_semantics_1.ipcNot)(P)));
+        (0, vitest_1.expect)(result.exists).toBe(false);
+        (0, vitest_1.expect)(result.strategy).toBeUndefined();
+    });
+    (0, vitest_1.it)('(P ∧ Q) → P: proponente gana (proyección)', () => {
+        const result = (0, game_semantics_1.winningStrategy)((0, game_semantics_1.ipcImplies)((0, game_semantics_1.ipcAnd)(P, Q), P));
+        (0, vitest_1.expect)(result.exists).toBe(true);
+    });
+    (0, vitest_1.it)('(P ∧ Q) → Q: proponente gana (proyección derecha)', () => {
+        const result = (0, game_semantics_1.winningStrategy)((0, game_semantics_1.ipcImplies)((0, game_semantics_1.ipcAnd)(P, Q), Q));
+        (0, vitest_1.expect)(result.exists).toBe(true);
+    });
+    (0, vitest_1.it)('P → (Q → P): proponente gana (axioma K débil)', () => {
+        const result = (0, game_semantics_1.winningStrategy)((0, game_semantics_1.ipcImplies)(P, (0, game_semantics_1.ipcImplies)(Q, P)));
+        (0, vitest_1.expect)(result.exists).toBe(true);
+    });
+    (0, vitest_1.it)('(P → Q) → ((Q → R) → (P → R)): transitividad de →', () => {
+        const phi = (0, game_semantics_1.ipcImplies)((0, game_semantics_1.ipcImplies)(P, Q), (0, game_semantics_1.ipcImplies)((0, game_semantics_1.ipcImplies)(Q, R), (0, game_semantics_1.ipcImplies)(P, R)));
+        const result = (0, game_semantics_1.winningStrategy)(phi);
+        (0, vitest_1.expect)(result.exists).toBe(true);
+    });
+    (0, vitest_1.it)('¬¬(P ∨ ¬P): proponente gana (estable en IPC aunque P∨¬P no)', () => {
+        const phi = (0, game_semantics_1.ipcNot)((0, game_semantics_1.ipcNot)((0, game_semantics_1.ipcOr)(P, (0, game_semantics_1.ipcNot)(P))));
+        const result = (0, game_semantics_1.winningStrategy)(phi);
+        (0, vitest_1.expect)(result.exists).toBe(true);
+    });
+    (0, vitest_1.it)('¬¬P → P (DNE): proponente NO tiene estrategia (clásica pero no intuicionista)', () => {
+        const phi = (0, game_semantics_1.ipcImplies)((0, game_semantics_1.ipcNot)((0, game_semantics_1.ipcNot)(P)), P);
+        const result = (0, game_semantics_1.winningStrategy)(phi);
+        (0, vitest_1.expect)(result.exists).toBe(false);
+    });
+    (0, vitest_1.it)('((P → Q) → P) → P (Peirce): proponente NO tiene estrategia', () => {
+        const phi = (0, game_semantics_1.ipcImplies)((0, game_semantics_1.ipcImplies)((0, game_semantics_1.ipcImplies)(P, Q), P), P);
+        const result = (0, game_semantics_1.winningStrategy)(phi);
+        (0, vitest_1.expect)(result.exists).toBe(false);
+    });
+    (0, vitest_1.it)('⊥ → P (ex falso): proponente gana', () => {
+        const phi = (0, game_semantics_1.ipcImplies)((0, game_semantics_1.ipcBottom)(), P);
+        const result = (0, game_semantics_1.winningStrategy)(phi);
+        (0, vitest_1.expect)(result.exists).toBe(true);
+    });
+    (0, vitest_1.it)('P: átomo aislado NO es válido (proponente pierde)', () => {
+        const result = (0, game_semantics_1.winningStrategy)(P);
+        (0, vitest_1.expect)(result.exists).toBe(false);
+    });
+});
+(0, vitest_1.describe)('Game semantics IPC — play (simulación de partida)', () => {
+    (0, vitest_1.it)('P → P contra ataque-implica: P gana', () => {
+        const phi = (0, game_semantics_1.ipcImplies)(P, P);
+        const opp = [{ kind: 'attack-implies' }];
+        const { winner, trace } = (0, game_semantics_1.play)(phi, opp);
+        (0, vitest_1.expect)(winner).toBe('proponent');
+        (0, vitest_1.expect)(trace.length).toBeGreaterThan(1);
+        // El primer estado refleja la tesis original.
+        (0, vitest_1.expect)((0, game_semantics_1.ipcEquals)(trace[0].current, phi)).toBe(true);
+    });
+    (0, vitest_1.it)('(P ∧ Q) → P: O ataca →, luego pide ∧-left, P concluye P', () => {
+        const phi = (0, game_semantics_1.ipcImplies)((0, game_semantics_1.ipcAnd)(P, Q), P);
+        const opp = [{ kind: 'attack-implies' }];
+        const { winner, trace } = (0, game_semantics_1.play)(phi, opp);
+        (0, vitest_1.expect)(winner).toBe('proponent');
+        // El contexto en algún momento contiene P∧Q (concedido por O).
+        const sawConjunction = trace.some((s) => s.context.some((c) => (0, game_semantics_1.ipcEquals)(c, (0, game_semantics_1.ipcAnd)(P, Q))));
+        (0, vitest_1.expect)(sawConjunction).toBe(true);
+    });
+    (0, vitest_1.it)('P (átomo aislado): O no necesita atacar, P pierde inmediatamente', () => {
+        const { winner } = (0, game_semantics_1.play)(P, []);
+        (0, vitest_1.expect)(winner).toBe('opponent');
+    });
+    (0, vitest_1.it)('P ∨ ¬P: P no tiene estrategia → O gana', () => {
+        const phi = (0, game_semantics_1.ipcOr)(P, (0, game_semantics_1.ipcNot)(P));
+        const { winner } = (0, game_semantics_1.play)(phi, []);
+        (0, vitest_1.expect)(winner).toBe('opponent');
+    });
+    (0, vitest_1.it)('history acumula movidas con etiquetas legibles', () => {
+        const phi = (0, game_semantics_1.ipcImplies)(P, P);
+        const opp = [{ kind: 'attack-implies' }];
+        const { trace } = (0, game_semantics_1.play)(phi, opp);
+        const last = trace[trace.length - 1];
+        (0, vitest_1.expect)(last.history.length).toBeGreaterThanOrEqual(2);
+        // Hay al menos una movida del oponente y otra del proponente.
+        const players = new Set(last.history.map((h) => h.player));
+        (0, vitest_1.expect)(players.has('proponent')).toBe(true);
+        (0, vitest_1.expect)(players.has('opponent')).toBe(true);
+    });
+});
+(0, vitest_1.describe)('Game semantics IPC — invariantes y serialización', () => {
+    (0, vitest_1.it)('ipcToString es estable y legible', () => {
+        (0, vitest_1.expect)((0, game_semantics_1.ipcToString)(P)).toBe('P');
+        (0, vitest_1.expect)((0, game_semantics_1.ipcToString)((0, game_semantics_1.ipcBottom)())).toBe('⊥');
+        (0, vitest_1.expect)((0, game_semantics_1.ipcToString)((0, game_semantics_1.ipcImplies)(P, Q))).toBe('(P → Q)');
+        (0, vitest_1.expect)((0, game_semantics_1.ipcToString)((0, game_semantics_1.ipcAnd)(P, Q))).toBe('(P ∧ Q)');
+        (0, vitest_1.expect)((0, game_semantics_1.ipcToString)((0, game_semantics_1.ipcOr)(P, Q))).toBe('(P ∨ Q)');
+        (0, vitest_1.expect)((0, game_semantics_1.ipcToString)((0, game_semantics_1.ipcNot)(P))).toBe('(P → ⊥)');
+    });
+    (0, vitest_1.it)('toIntuit preserva la estructura sintáctica', () => {
+        const phi = (0, game_semantics_1.ipcImplies)((0, game_semantics_1.ipcAnd)(P, Q), (0, game_semantics_1.ipcOr)(P, (0, game_semantics_1.ipcBottom)()));
+        const t = (0, game_semantics_1.toIntuit)(phi);
+        (0, vitest_1.expect)(t.kind).toBe('implies');
+        if (t.kind === 'implies') {
+            (0, vitest_1.expect)(t.left.kind).toBe('and');
+            (0, vitest_1.expect)(t.right.kind).toBe('or');
+        }
+    });
+    (0, vitest_1.it)('winningStrategy es determinista para la misma fórmula', () => {
+        const phi = (0, game_semantics_1.ipcImplies)(P, P);
+        const r1 = (0, game_semantics_1.winningStrategy)(phi);
+        const r2 = (0, game_semantics_1.winningStrategy)(phi);
+        (0, vitest_1.expect)(r1.exists).toBe(r2.exists);
+    });
+    (0, vitest_1.it)('estrategia de P → P produce una movida válida desde el estado inicial', () => {
+        const phi = (0, game_semantics_1.ipcImplies)(P, P);
+        const r = (0, game_semantics_1.winningStrategy)(phi);
+        (0, vitest_1.expect)(r.exists).toBe(true);
+        const move = r.strategy({
+            current: phi,
+            context: [],
+            history: [],
+        });
+        // La movida es alguna de las del ADT (no es null/undefined).
+        (0, vitest_1.expect)(['choose-and', 'choose-or', 'attack-implies', 'defend-bottom']).toContain(move.kind);
+    });
+    (0, vitest_1.it)('play preserva la fórmula original en trace[0].current', () => {
+        const phi = (0, game_semantics_1.ipcImplies)((0, game_semantics_1.ipcAnd)(P, Q), Q);
+        const { trace } = (0, game_semantics_1.play)(phi, [{ kind: 'attack-implies' }]);
+        (0, vitest_1.expect)((0, game_semantics_1.ipcEquals)(trace[0].current, phi)).toBe(true);
+    });
+});
+//# sourceMappingURL=game-semantics.test.js.map

package/dist/tests/game-semantics/game-semantics.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"game-semantics.test.js","sourceRoot":"","sources":["../../../src/tests/game-semantics/game-semantics.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,yDAa8B;AAE9B,MAAM,CAAC,GAAG,IAAA,wBAAO,EAAC,GAAG,CAAC,CAAC;AACvB,MAAM,CAAC,GAAG,IAAA,wBAAO,EAAC,GAAG,CAAC,CAAC;AACvB,MAAM,CAAC,GAAG,IAAA,wBAAO,EAAC,GAAG,CAAC,CAAC;AAEvB,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,MAAM,GAAG,IAAA,gCAAe,EAAC,IAAA,2BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,MAAM,GAAG,IAAA,gCAAe,EAAC,IAAA,sBAAK,EAAC,CAAC,EAAE,IAAA,uBAAM,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,aAAa,EAAE,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,MAAM,GAAG,IAAA,gCAAe,EAAC,IAAA,2BAAU,EAAC,IAAA,uBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,MAAM,GAAG,IAAA,gCAAe,EAAC,IAAA,2BAAU,EAAC,IAAA,uBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,MAAM,GAAG,IAAA,gCAAe,EAAC,IAAA,2BAAU,EAAC,CAAC,EAAE,IAAA,2BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,GAAG,GAAG,IAAA,2BAAU,EAAC,IAAA,2BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,2BAAU,EAAC,IAAA,2BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,2BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACzF,MAAM,MAAM,GAAG,IAAA,gCAAe,EAAC,GAAG,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,GAAG,GAAG,IAAA,uBAAM,EAAC,IAAA,uBAAM,EAAC,IAAA,sBAAK,EAAC,CAAC,EAAE,IAAA,uBAAM,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG,IAAA,gCAAe,EAAC,GAAG,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,GAAG,GAAG,IAAA,2BAAU,EAAC,IAAA,uBAAM,EAAC,IAAA,uBAAM,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7C,MAAM,MAAM,GAAG,IAAA,gCAAe,EAAC,GAAG,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,GAAG,GAAG,IAAA,2BAAU,EAAC,IAAA,2BAAU,EAAC,IAAA,2BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,IAAA,gCAAe,EAAC,GAAG,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,GAAG,GAAG,IAAA,2BAAU,EAAC,IAAA,0BAAS,GAAE,EAAE,CAAC,CAAC,CAAC;QACvC,MAAM,MAAM,GAAG,IAAA,gCAAe,EAAC,GAAG,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,MAAM,GAAG,IAAA,gCAAe,EAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mDAAmD,EAAE,GAAG,EAAE;IACjE,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,GAAG,GAAG,IAAA,2BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,GAAG,GAAW,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC;QACjD,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,qBAAI,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACxC,8CAA8C;QAC9C,IAAA,eAAM,EAAC,IAAA,0BAAS,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,GAAG,GAAG,IAAA,2BAAU,EAAC,IAAA,uBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACxC,MAAM,GAAG,GAAW,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC;QACjD,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,qBAAI,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACjC,+DAA+D;QAC/D,MAAM,cAAc,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,0BAAS,EAAC,CAAC,EAAE,IAAA,uBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5F,IAAA,eAAM,EAAC,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,EAAE,MAAM,EAAE,GAAG,IAAA,qBAAI,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,GAAG,GAAG,IAAA,sBAAK,EAAC,CAAC,EAAE,IAAA,uBAAM,EAAC,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,EAAE,MAAM,EAAE,GAAG,IAAA,qBAAI,EAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,GAAG,GAAG,IAAA,2BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,GAAG,GAAW,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC;QACjD,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,qBAAI,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACjC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACtD,8DAA8D;QAC9D,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kDAAkD,EAAE,GAAG,EAAE;IAChE,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,IAAA,4BAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,4BAAW,EAAC,IAAA,0BAAS,GAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,4BAAW,EAAC,IAAA,2BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,IAAA,4BAAW,EAAC,IAAA,uBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,IAAA,4BAAW,EAAC,IAAA,sBAAK,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,IAAA,4BAAW,EAAC,IAAA,uBAAM,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,GAAG,GAAG,IAAA,2BAAU,EAAC,IAAA,uBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,sBAAK,EAAC,CAAC,EAAE,IAAA,0BAAS,GAAE,CAAC,CAAC,CAAC;QAC5D,MAAM,CAAC,GAAG,IAAA,yBAAQ,EAAC,GAAG,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC/B,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACzB,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAChC,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,GAAG,GAAG,IAAA,2BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,EAAE,GAAG,IAAA,gCAAe,EAAC,GAAG,CAAC,CAAC;QAChC,MAAM,EAAE,GAAG,IAAA,gCAAe,EAAC,GAAG,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,GAAG,GAAG,IAAA,2BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,CAAC,GAAG,IAAA,gCAAe,EAAC,GAAG,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,MAAM,IAAI,GAAG,CAAC,CAAC,QAAS,CAAC;YACvB,OAAO,EAAE,GAAG;YACZ,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE;SACZ,CAAC,CAAC;QACH,6DAA6D;QAC7D,IAAA,eAAM,EAAC,CAAC,YAAY,EAAE,WAAW,EAAE,gBAAgB,EAAE,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9F,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,GAAG,GAAG,IAAA,2BAAU,EAAC,IAAA,uBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACxC,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,qBAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,IAAA,0BAAS,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/higher-order-unify/ho-unify.test.d.ts

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

package/dist/tests/higher-order-unify/ho-unify.test.d.ts.map

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