@stevenvo780/st-lang 4.6.0 → 4.8.0

package/dist/tests/reasoning/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("../../../reasoning/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/reasoning/constructive-reals/constructive-reals.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"constructive-reals.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/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,8EAsB+C;AAE/C,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/reasoning/fca/fca.test.d.ts.map

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