@stevenvo780/st-lang 4.4.0 → 4.5.1

package/dist/tests/coinduction/coinduction.test.js

@@ -0,0 +1,217 @@
+"use strict";
+// ============================================================
+// ST Coinduction — Tests
+// ============================================================
+// Cubre:
+//   • Constructores corecursivos (repeat, iterate, unfold).
+//   • Streams notables (naturals, fibonacci).
+//   • Functor/aplicativo (map, zipWith, zip, scan).
+//   • Identidades coinductivas vía isBisimilar (acotado).
+//   • Bisimulación up-to vía `prove` con relaciones explícitas.
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const coinduction_1 = require("../../coinduction");
+(0, vitest_1.describe)('Coinduction — constructores básicos', () => {
+    (0, vitest_1.it)('repeat genera un stream constante', () => {
+        const xs = (0, coinduction_1.repeat)(7);
+        (0, vitest_1.expect)((0, coinduction_1.take)(xs, 5)).toEqual([7, 7, 7, 7, 7]);
+    });
+    (0, vitest_1.it)('repeat preserva identidad de cola (punto fijo)', () => {
+        // tail(repeat x) === repeat x (mismo nodo) — propiedad coinductiva
+        // fuerte que sólo se cumple por la implementación con auto-referencia.
+        const xs = (0, coinduction_1.repeat)(0);
+        (0, vitest_1.expect)(xs.tail()).toBe(xs);
+    });
+    (0, vitest_1.it)('iterate aplica f repetidamente', () => {
+        const xs = (0, coinduction_1.iterate)((n) => n * 2, 1);
+        (0, vitest_1.expect)((0, coinduction_1.take)(xs, 6)).toEqual([1, 2, 4, 8, 16, 32]);
+    });
+    (0, vitest_1.it)('cons construye correctamente cabeza y cola', () => {
+        const xs = (0, coinduction_1.cons)(99, () => (0, coinduction_1.repeat)(0));
+        (0, vitest_1.expect)(xs.head).toBe(99);
+        (0, vitest_1.expect)((0, coinduction_1.take)(xs, 4)).toEqual([99, 0, 0, 0]);
+    });
+    (0, vitest_1.it)('unfold anamorfismo: enumera potencias de 2', () => {
+        const powers = (0, coinduction_1.unfold)(1, (s) => [s, s * 2]);
+        (0, vitest_1.expect)((0, coinduction_1.take)(powers, 5)).toEqual([1, 2, 4, 8, 16]);
+    });
+});
+(0, vitest_1.describe)('Coinduction — observaciones', () => {
+    (0, vitest_1.it)('take devuelve los primeros n elementos', () => {
+        (0, vitest_1.expect)((0, coinduction_1.take)(coinduction_1.naturals, 5)).toEqual([0, 1, 2, 3, 4]);
+    });
+    (0, vitest_1.it)('take con n=0 devuelve array vacío', () => {
+        (0, vitest_1.expect)((0, coinduction_1.take)(coinduction_1.naturals, 0)).toEqual([]);
+    });
+    (0, vitest_1.it)('take rechaza n negativo o no entero', () => {
+        (0, vitest_1.expect)(() => (0, coinduction_1.take)(coinduction_1.naturals, -1)).toThrow();
+        (0, vitest_1.expect)(() => (0, coinduction_1.take)(coinduction_1.naturals, 1.5)).toThrow();
+    });
+    (0, vitest_1.it)('drop descarta n elementos', () => {
+        (0, vitest_1.expect)((0, coinduction_1.take)((0, coinduction_1.drop)(coinduction_1.naturals, 3), 4)).toEqual([3, 4, 5, 6]);
+    });
+    (0, vitest_1.it)('nth recupera el i-ésimo elemento', () => {
+        (0, vitest_1.expect)((0, coinduction_1.nth)(coinduction_1.naturals, 0)).toBe(0);
+        (0, vitest_1.expect)((0, coinduction_1.nth)(coinduction_1.naturals, 10)).toBe(10);
+        (0, vitest_1.expect)((0, coinduction_1.nth)(coinduction_1.fibonacci, 9)).toBe(34);
+    });
+});
+(0, vitest_1.describe)('Coinduction — streams notables', () => {
+    (0, vitest_1.it)('naturals = 0, 1, 2, ...', () => {
+        (0, vitest_1.expect)((0, coinduction_1.take)(coinduction_1.naturals, 5)).toEqual([0, 1, 2, 3, 4]);
+    });
+    (0, vitest_1.it)('fibonacci = 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, ...', () => {
+        (0, vitest_1.expect)((0, coinduction_1.take)(coinduction_1.fibonacci, 10)).toEqual([0, 1, 1, 2, 3, 5, 8, 13, 21, 34]);
+    });
+    (0, vitest_1.it)('fibonacci satisface F(n+2) = F(n+1) + F(n)', () => {
+        const fs = (0, coinduction_1.take)(coinduction_1.fibonacci, 20);
+        for (let i = 0; i + 2 < fs.length; i++) {
+            const a = fs[i];
+            const b = fs[i + 1];
+            const c = fs[i + 2];
+            if (a === undefined || b === undefined || c === undefined) {
+                throw new Error('fibonacci sample shorter than expected');
+            }
+            (0, vitest_1.expect)(c).toBe(a + b);
+        }
+    });
+});
+(0, vitest_1.describe)('Coinduction — functor/aplicativos', () => {
+    (0, vitest_1.it)('map respeta identidad observacionalmente: map(id, s) ~ s', () => {
+        (0, vitest_1.expect)((0, coinduction_1.isBisimilar)((0, coinduction_1.map)((x) => x, coinduction_1.naturals), coinduction_1.naturals, 50)).toBe(true);
+    });
+    (0, vitest_1.it)('zipWith combina elemento a elemento', () => {
+        const sumS = (0, coinduction_1.zipWith)((a, b) => a + b, coinduction_1.naturals, coinduction_1.naturals);
+        (0, vitest_1.expect)((0, coinduction_1.take)(sumS, 5)).toEqual([0, 2, 4, 6, 8]);
+    });
+    (0, vitest_1.it)('zip produce pares', () => {
+        const ps = (0, coinduction_1.take)((0, coinduction_1.zip)(coinduction_1.naturals, (0, coinduction_1.repeat)('x')), 3);
+        (0, vitest_1.expect)(ps).toEqual([
+            [0, 'x'],
+            [1, 'x'],
+            [2, 'x'],
+        ]);
+    });
+    (0, vitest_1.it)('filter mantiene sólo elementos que pasan el predicado', () => {
+        const evens = (0, coinduction_1.filter)((n) => n % 2 === 0, coinduction_1.naturals);
+        (0, vitest_1.expect)((0, coinduction_1.take)(evens, 5)).toEqual([0, 2, 4, 6, 8]);
+    });
+    (0, vitest_1.it)('scan acumula prefijos: scan(+, 0, naturals) = 0, 0, 1, 3, 6, 10, ...', () => {
+        const s = (0, coinduction_1.scan)((acc, x) => acc + x, 0, coinduction_1.naturals);
+        (0, vitest_1.expect)((0, coinduction_1.take)(s, 6)).toEqual([0, 0, 1, 3, 6, 10]);
+    });
+    (0, vitest_1.it)('interleave alterna a, b, a, b, ...', () => {
+        const xs = (0, coinduction_1.interleave)((0, coinduction_1.repeat)('a'), (0, coinduction_1.repeat)('b'));
+        (0, vitest_1.expect)((0, coinduction_1.take)(xs, 6)).toEqual(['a', 'b', 'a', 'b', 'a', 'b']);
+    });
+});
+(0, vitest_1.describe)('Coinduction — bisimulación acotada', () => {
+    (0, vitest_1.it)('isBisimilar es reflexivo sobre naturals', () => {
+        (0, vitest_1.expect)((0, coinduction_1.isBisimilar)(coinduction_1.naturals, coinduction_1.naturals, 100)).toBe(true);
+    });
+    (0, vitest_1.it)('isBisimilar detecta divergencia inmediata', () => {
+        const a = (0, coinduction_1.cons)(1, () => (0, coinduction_1.repeat)(0));
+        const b = (0, coinduction_1.cons)(2, () => (0, coinduction_1.repeat)(0));
+        (0, vitest_1.expect)((0, coinduction_1.isBisimilar)(a, b, 10)).toBe(false);
+    });
+    (0, vitest_1.it)('isBisimilar(naturals, map(id, naturals)) — corecursión idempotente', () => {
+        (0, vitest_1.expect)((0, coinduction_1.isBisimilar)(coinduction_1.naturals, (0, coinduction_1.map)((x) => x, coinduction_1.naturals), 100)).toBe(true);
+    });
+    (0, vitest_1.it)('isBisimilar de fibonacci consigo mismo', () => {
+        (0, vitest_1.expect)((0, coinduction_1.isBisimilar)(coinduction_1.fibonacci, coinduction_1.fibonacci, 30)).toBe(true);
+    });
+    (0, vitest_1.it)('isBisimilar detecta divergencia en la cola', () => {
+        // a = 0, 1, 2, 3, 4, ...
+        // b = 0, 1, 2, 99, 4, ...
+        const b = (0, coinduction_1.cons)(0, () => (0, coinduction_1.cons)(1, () => (0, coinduction_1.cons)(2, () => (0, coinduction_1.cons)(99, () => (0, coinduction_1.drop)(coinduction_1.naturals, 4)))));
+        (0, vitest_1.expect)((0, coinduction_1.isBisimilar)(coinduction_1.naturals, b, 10)).toBe(false);
+        (0, vitest_1.expect)((0, coinduction_1.isBisimilar)(coinduction_1.naturals, b, 3)).toBe(true); // primeros 3 sí coinciden
+    });
+    (0, vitest_1.it)('isBisimilar funciona con elementos compuestos (objetos planos)', () => {
+        const a = (0, coinduction_1.iterate)((p) => ({ x: p.x + 1 }), { x: 0 });
+        const b = (0, coinduction_1.map)((n) => ({ x: n }), coinduction_1.naturals);
+        (0, vitest_1.expect)((0, coinduction_1.isBisimilar)(a, b, 20)).toBe(true);
+    });
+    (0, vitest_1.it)('isBisimilar rechaza depth inválido', () => {
+        (0, vitest_1.expect)(() => (0, coinduction_1.isBisimilar)(coinduction_1.naturals, coinduction_1.naturals, -1)).toThrow();
+        (0, vitest_1.expect)(() => (0, coinduction_1.isBisimilar)(coinduction_1.naturals, coinduction_1.naturals, 1.5)).toThrow();
+    });
+});
+(0, vitest_1.describe)('Coinduction — bisimulación up-to (prove)', () => {
+    // Identidad clásica: map f (map g s) ~ map (f ∘ g) s.
+    // La relación que la atestigua: R(a, b) ≡ "a = map f (map g s')
+    // y b = map (f∘g) s' para algún s'". Computacionalmente, una vez
+    // que sabés que las cabezas coinciden, las colas se obtienen
+    // aplicando los destructores; la propiedad se sostiene por
+    // construcción. Para `prove`, basta dar una relación que sea
+    // verdadera para el par inicial y se mantenga bajo tail.
+    (0, vitest_1.it)('map (f ∘ g) s  ~  map f (map g s)', () => {
+        const f = (n) => n + 1;
+        const g = (n) => n * 2;
+        const lhs = (0, coinduction_1.map)(f, (0, coinduction_1.map)(g, coinduction_1.naturals));
+        const rhs = (0, coinduction_1.map)((n) => f(g(n)), coinduction_1.naturals);
+        const ok = (0, coinduction_1.prove)({
+            initial: [lhs, rhs],
+            // Relación: "ambos producen los mismos elementos hasta el inf."
+            // El motor de prove ya chequea head equality + avance, asi que
+            // basta un trivially-true predicate aquí (es la identidad up-to).
+            relation: (_a, _b) => true,
+        }, 50);
+        (0, vitest_1.expect)(ok).toBe(true);
+    });
+    (0, vitest_1.it)('prove falla si la relación es falsa en el par inicial', () => {
+        const ok = (0, coinduction_1.prove)({
+            initial: [coinduction_1.naturals, coinduction_1.naturals],
+            relation: (_a, _b) => false,
+        }, 5);
+        (0, vitest_1.expect)(ok).toBe(false);
+    });
+    (0, vitest_1.it)('prove detecta divergencia incluso con relación trivially-true', () => {
+        const a = coinduction_1.naturals;
+        const b = (0, coinduction_1.cons)(0, () => (0, coinduction_1.cons)(99, () => (0, coinduction_1.drop)(coinduction_1.naturals, 2)));
+        const ok = (0, coinduction_1.prove)({ initial: [a, b], relation: (_a, _b) => true }, 5);
+        (0, vitest_1.expect)(ok).toBe(false); // head del segundo paso difiere (1 vs 99)
+    });
+    (0, vitest_1.it)('prove para repeat: repeat x  ~  cons(x, () => repeat x)', () => {
+        const x = 42;
+        const lhs = (0, coinduction_1.repeat)(x);
+        const rhs = (0, coinduction_1.cons)(x, () => (0, coinduction_1.repeat)(x));
+        // Relación R(a, b): "ambos son streams constantes x"
+        const ok = (0, coinduction_1.prove)({
+            initial: [lhs, rhs],
+            relation: (a, b) => a.head === x && b.head === x,
+        }, 100);
+        (0, vitest_1.expect)(ok).toBe(true);
+    });
+    (0, vitest_1.it)('prove para iterate: tail(iterate f x)  ~  iterate f (f x)', () => {
+        const f = (n) => n + 3;
+        const lhs = (0, coinduction_1.iterate)(f, 0).tail();
+        const rhs = (0, coinduction_1.iterate)(f, f(0));
+        const ok = (0, coinduction_1.prove)({
+            initial: [lhs, rhs],
+            relation: (_a, _b) => true,
+        }, 50);
+        (0, vitest_1.expect)(ok).toBe(true);
+    });
+    (0, vitest_1.it)('prove rechaza depth inválido', () => {
+        (0, vitest_1.expect)(() => (0, coinduction_1.prove)({ initial: [coinduction_1.naturals, coinduction_1.naturals], relation: () => true }, -1)).toThrow();
+    });
+});
+(0, vitest_1.describe)('Coinduction — equality helper', () => {
+    const { equal } = coinduction_1.__internals;
+    (0, vitest_1.it)('equal sobre primitivos usa Object.is (NaN igual a NaN)', () => {
+        (0, vitest_1.expect)(equal(NaN, NaN)).toBe(true);
+        (0, vitest_1.expect)(equal(1, 1)).toBe(true);
+        (0, vitest_1.expect)(equal(1, '1')).toBe(false);
+    });
+    (0, vitest_1.it)('equal sobre arrays', () => {
+        (0, vitest_1.expect)(equal([1, 2, 3], [1, 2, 3])).toBe(true);
+        (0, vitest_1.expect)(equal([1, 2], [1, 2, 3])).toBe(false);
+    });
+    (0, vitest_1.it)('equal sobre objetos planos', () => {
+        (0, vitest_1.expect)(equal({ a: 1, b: 2 }, { a: 1, b: 2 })).toBe(true);
+        (0, vitest_1.expect)(equal({ a: 1 }, { a: 1, b: 2 })).toBe(false);
+    });
+});
+//# sourceMappingURL=coinduction.test.js.map

package/dist/tests/coinduction/coinduction.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coinduction.test.js","sourceRoot":"","sources":["../../../src/tests/coinduction/coinduction.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,yBAAyB;AACzB,+DAA+D;AAC/D,SAAS;AACT,4DAA4D;AAC5D,8CAA8C;AAC9C,oDAAoD;AACpD,0DAA0D;AAC1D,gEAAgE;AAChE,+DAA+D;;AAE/D,mCAA8C;AAC9C,mDAoB2B;AAE3B,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,EAAE,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,IAAA,kBAAI,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,mEAAmE;QACnE,uEAAuE;QACvE,MAAM,EAAE,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,EAAE,GAAG,IAAA,qBAAO,EAAC,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAA,kBAAI,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,EAAE,GAAG,IAAA,kBAAI,EAAC,EAAE,EAAE,GAAG,EAAE,CAAC,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,IAAA,kBAAI,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,MAAM,GAAG,IAAA,oBAAM,EAAC,CAAC,EAAE,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAqB,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,IAAA,kBAAI,EAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,IAAA,eAAM,EAAC,IAAA,kBAAI,EAAC,sBAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,IAAA,eAAM,EAAC,IAAA,kBAAI,EAAC,sBAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,kBAAI,EAAC,sBAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAC3C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,kBAAI,EAAC,sBAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,IAAA,eAAM,EAAC,IAAA,kBAAI,EAAC,IAAA,kBAAI,EAAC,sBAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,IAAA,iBAAG,EAAC,sBAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,iBAAG,EAAC,sBAAQ,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,iBAAG,EAAC,uBAAS,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,IAAA,eAAM,EAAC,IAAA,kBAAI,EAAC,sBAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,IAAA,eAAM,EAAC,IAAA,kBAAI,EAAC,uBAAS,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,EAAE,GAAG,IAAA,kBAAI,EAAC,uBAAS,EAAE,EAAE,CAAC,CAAC;QAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;YAChB,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACpB,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YACpB,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;gBAC1D,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;YAC5D,CAAC;YACD,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACxB,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,IAAA,eAAM,EACJ,IAAA,yBAAW,EACT,IAAA,iBAAG,EAAC,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,EAAE,sBAAQ,CAAC,EAC/B,sBAAQ,EACR,EAAE,CACH,CACF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,IAAI,GAAG,IAAA,qBAAO,EAAC,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,sBAAQ,EAAE,sBAAQ,CAAC,CAAC;QAC1E,IAAA,eAAM,EAAC,IAAA,kBAAI,EAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,EAAE,GAAG,IAAA,kBAAI,EAAC,IAAA,iBAAG,EAAC,sBAAQ,EAAE,IAAA,oBAAM,EAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,OAAO,CAAC;YACjB,CAAC,CAAC,EAAE,GAAG,CAAC;YACR,CAAC,CAAC,EAAE,GAAG,CAAC;YACR,CAAC,CAAC,EAAE,GAAG,CAAC;SACT,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,KAAK,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,sBAAQ,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,IAAA,kBAAI,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,CAAC,GAAG,IAAA,kBAAI,EAAC,CAAC,GAAW,EAAE,CAAS,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC,EAAE,sBAAQ,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,IAAA,kBAAI,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,EAAE,GAAG,IAAA,wBAAU,EAAC,IAAA,oBAAM,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAM,EAAC,GAAG,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,IAAA,kBAAI,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,sBAAQ,EAAE,sBAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,IAAA,kBAAI,EAAC,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,IAAA,kBAAI,EAAC,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,IAAA,eAAM,EACJ,IAAA,yBAAW,EACT,sBAAQ,EACR,IAAA,iBAAG,EAAC,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,EAAE,sBAAQ,CAAC,EAC/B,GAAG,CACJ,CACF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,uBAAS,EAAE,uBAAS,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,yBAAyB;QACzB,0BAA0B;QAC1B,MAAM,CAAC,GAAG,IAAA,kBAAI,EAAC,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,kBAAI,EAAC,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,kBAAI,EAAC,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,kBAAI,EAAC,EAAE,EAAE,GAAG,EAAE,CAAC,IAAA,kBAAI,EAAC,sBAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzF,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,sBAAQ,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,sBAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,0BAA0B;IAC5E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,CAAC,GAAG,IAAA,qBAAO,EAAC,CAAC,CAAgB,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QACpE,MAAM,CAAC,GAAG,IAAA,iBAAG,EAAC,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,sBAAQ,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,yBAAW,EAAC,sBAAQ,EAAE,sBAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAC5D,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,yBAAW,EAAC,sBAAQ,EAAE,sBAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC/D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,sDAAsD;IACtD,gEAAgE;IAChE,iEAAiE;IACjE,6DAA6D;IAC7D,2DAA2D;IAC3D,6DAA6D;IAC7D,yDAAyD;IACzD,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QAC/B,MAAM,CAAC,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QAC/B,MAAM,GAAG,GAAG,IAAA,iBAAG,EAAC,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,EAAE,sBAAQ,CAAC,CAAC,CAAC;QACrC,MAAM,GAAG,GAAG,IAAA,iBAAG,EAAC,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,sBAAQ,CAAC,CAAC;QAElD,MAAM,EAAE,GAAG,IAAA,mBAAK,EACd;YACE,OAAO,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;YACnB,gEAAgE;YAChE,+DAA+D;YAC/D,kEAAkE;YAClE,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,IAAI;SAC3B,EACD,EAAE,CACH,CAAC;QACF,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,EAAE,GAAG,IAAA,mBAAK,EACd;YACE,OAAO,EAAE,CAAC,sBAAQ,EAAE,sBAAQ,CAAC;YAC7B,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,KAAK;SAC5B,EACD,CAAC,CACF,CAAC;QACF,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,CAAC,GAAG,sBAAQ,CAAC;QACnB,MAAM,CAAC,GAAG,IAAA,kBAAI,EAAC,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,kBAAI,EAAC,EAAE,EAAE,GAAG,EAAE,CAAC,IAAA,kBAAI,EAAC,sBAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3D,MAAM,EAAE,GAAG,IAAA,mBAAK,EAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;QACrE,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,0CAA0C;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAG,EAAE,CAAC;QACb,MAAM,GAAG,GAAG,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC;QACtB,MAAM,GAAG,GAAmB,IAAA,kBAAI,EAAC,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,oBAAM,EAAC,CAAC,CAAC,CAAC,CAAC;QACrD,qDAAqD;QACrD,MAAM,EAAE,GAAG,IAAA,mBAAK,EACd;YACE,OAAO,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;YACnB,QAAQ,EAAE,CAAC,CAAiB,EAAE,CAAiB,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC;SACjF,EACD,GAAG,CACJ,CAAC;QACF,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QAC/B,MAAM,GAAG,GAAG,IAAA,qBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,IAAA,qBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,EAAE,GAAG,IAAA,mBAAK,EACd;YACE,OAAO,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;YACnB,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,IAAI;SAC3B,EACD,EAAE,CACH,CAAC;QACF,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,mBAAK,EAAC,EAAE,OAAO,EAAE,CAAC,sBAAQ,EAAE,sBAAQ,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC7F,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,MAAM,EAAE,KAAK,EAAE,GAAG,yBAAW,CAAC;IAE9B,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,IAAA,eAAM,EAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/combinators-ski/combinators-ski.test.d.ts

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

package/dist/tests/combinators-ski/combinators-ski.test.d.ts.map

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

package/dist/tests/combinators-ski/combinators-ski.test.js

@@ -0,0 +1,211 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const combinators_ski_1 = require("../../combinators-ski");
+const lambda_calc_1 = require("../../lambda-calc");
+(0, vitest_1.describe)('combinators-ski / reducción básica', () => {
+    (0, vitest_1.it)('I x reduce a x en un paso', () => {
+        const t = (0, combinators_ski_1.app)((0, combinators_ski_1.I)(), (0, combinators_ski_1.cvar)('x'));
+        const r = (0, combinators_ski_1.reduceStep)(t);
+        (0, vitest_1.expect)(r).not.toBeNull();
+        (0, vitest_1.expect)((0, combinators_ski_1.ctermEq)(r, (0, combinators_ski_1.cvar)('x'))).toBe(true);
+    });
+    (0, vitest_1.it)('K x y reduce a x en un paso', () => {
+        const t = (0, combinators_ski_1.app)((0, combinators_ski_1.K)(), (0, combinators_ski_1.cvar)('x'), (0, combinators_ski_1.cvar)('y'));
+        const r = (0, combinators_ski_1.reduceStep)(t);
+        (0, vitest_1.expect)(r).not.toBeNull();
+        (0, vitest_1.expect)((0, combinators_ski_1.ctermEq)(r, (0, combinators_ski_1.cvar)('x'))).toBe(true);
+    });
+    (0, vitest_1.it)('K x y descarta y aunque y tenga redex', () => {
+        // y = I z; tras K x (I z) debe quedar x — sin reducir el segundo arg.
+        const t = (0, combinators_ski_1.app)((0, combinators_ski_1.K)(), (0, combinators_ski_1.cvar)('x'), (0, combinators_ski_1.app)((0, combinators_ski_1.I)(), (0, combinators_ski_1.cvar)('z')));
+        const norm = (0, combinators_ski_1.normalize)(t);
+        (0, vitest_1.expect)(norm.terminated).toBe(true);
+        (0, vitest_1.expect)((0, combinators_ski_1.ctermEq)(norm.result, (0, combinators_ski_1.cvar)('x'))).toBe(true);
+    });
+    (0, vitest_1.it)('S x y z reduce a x z (y z)', () => {
+        const t = (0, combinators_ski_1.app)((0, combinators_ski_1.S)(), (0, combinators_ski_1.cvar)('x'), (0, combinators_ski_1.cvar)('y'), (0, combinators_ski_1.cvar)('z'));
+        const r = (0, combinators_ski_1.reduceStep)(t);
+        (0, vitest_1.expect)(r).not.toBeNull();
+        const expected = (0, combinators_ski_1.app)((0, combinators_ski_1.app)((0, combinators_ski_1.cvar)('x'), (0, combinators_ski_1.cvar)('z')), (0, combinators_ski_1.app)((0, combinators_ski_1.cvar)('y'), (0, combinators_ski_1.cvar)('z')));
+        (0, vitest_1.expect)((0, combinators_ski_1.ctermEq)(r, expected)).toBe(true);
+    });
+    (0, vitest_1.it)('S K K x reduce a x (= I)', () => {
+        const t = (0, combinators_ski_1.app)((0, combinators_ski_1.S)(), (0, combinators_ski_1.K)(), (0, combinators_ski_1.K)(), (0, combinators_ski_1.cvar)('x'));
+        const norm = (0, combinators_ski_1.normalize)(t);
+        (0, vitest_1.expect)(norm.terminated).toBe(true);
+        (0, vitest_1.expect)((0, combinators_ski_1.ctermEq)(norm.result, (0, combinators_ski_1.cvar)('x'))).toBe(true);
+    });
+    (0, vitest_1.it)('isNormalForm: variable libre sola es forma normal', () => {
+        (0, vitest_1.expect)((0, combinators_ski_1.isNormalForm)((0, combinators_ski_1.cvar)('x'))).toBe(true);
+        (0, vitest_1.expect)((0, combinators_ski_1.isNormalForm)((0, combinators_ski_1.I)())).toBe(true);
+        (0, vitest_1.expect)((0, combinators_ski_1.isNormalForm)((0, combinators_ski_1.K)())).toBe(true);
+        (0, vitest_1.expect)((0, combinators_ski_1.isNormalForm)((0, combinators_ski_1.S)())).toBe(true);
+    });
+    (0, vitest_1.it)('isNormalForm: K x sin segundo arg también es FN (under-applied)', () => {
+        // K x todavía no tiene los 2 args que necesita.
+        (0, vitest_1.expect)((0, combinators_ski_1.isNormalForm)((0, combinators_ski_1.app)((0, combinators_ski_1.K)(), (0, combinators_ski_1.cvar)('x')))).toBe(true);
+        (0, vitest_1.expect)((0, combinators_ski_1.isNormalForm)((0, combinators_ski_1.app)((0, combinators_ski_1.S)(), (0, combinators_ski_1.cvar)('x'), (0, combinators_ski_1.cvar)('y')))).toBe(true);
+    });
+    (0, vitest_1.it)('reduceStep baja por las ramas si no hay redex en cabeza', () => {
+        // (K x) (I y)  — la cabeza está under-applied a 1 arg; igual baja
+        // al subtérmino (I y) para reducirlo.
+        const t = (0, combinators_ski_1.app)((0, combinators_ski_1.app)((0, combinators_ski_1.K)(), (0, combinators_ski_1.cvar)('x')), (0, combinators_ski_1.app)((0, combinators_ski_1.I)(), (0, combinators_ski_1.cvar)('y')));
+        // Primer paso ahora reduce K x (I y) → x (atomic head, well-applied).
+        const r = (0, combinators_ski_1.reduceStep)(t);
+        (0, vitest_1.expect)(r).not.toBeNull();
+        (0, vitest_1.expect)((0, combinators_ski_1.ctermEq)(r, (0, combinators_ski_1.cvar)('x'))).toBe(true);
+    });
+});
+(0, vitest_1.describe)('combinators-ski / divergencia y maxSteps', () => {
+    (0, vitest_1.it)('un término divergente respeta maxSteps con terminated=false', () => {
+        // Omega-equivalente en SKI: SII(SII) — clásico divergente.
+        // x = SII;  x x = (SII)(SII) → I(SII)(I(SII)) → SII (SII) ...
+        const SII = (0, combinators_ski_1.app)((0, combinators_ski_1.S)(), (0, combinators_ski_1.I)(), (0, combinators_ski_1.I)());
+        const omega = (0, combinators_ski_1.app)(SII, SII);
+        const r = (0, combinators_ski_1.normalize)(omega, 50);
+        (0, vitest_1.expect)(r.terminated).toBe(false);
+        (0, vitest_1.expect)(r.steps).toBe(50);
+    });
+});
+(0, vitest_1.describe)('combinators-ski / bracket abstraction (λ → SKI)', () => {
+    (0, vitest_1.it)('abstractFromLambda(λx.x) = I', () => {
+        const t = (0, lambda_calc_1.lam)('x', (0, lambda_calc_1.v)('x'));
+        const c = (0, combinators_ski_1.abstractFromLambda)(t);
+        (0, vitest_1.expect)((0, combinators_ski_1.ctermEq)(c, (0, combinators_ski_1.I)())).toBe(true);
+    });
+    (0, vitest_1.it)('abstractFromLambda(λx.λy.x) es equivalente a K', () => {
+        // [y] x = K x       (x ∉ FV(x)... pero x ≠ y, sí es K x)
+        // [x] (K x) = S (K K) I     (forma canónica, no sintácticamente K)
+        // Aplicado a dos args debe colapsar a x.
+        const t = (0, lambda_calc_1.lam)('x', (0, lambda_calc_1.lam)('y', (0, lambda_calc_1.v)('x')));
+        const c = (0, combinators_ski_1.abstractFromLambda)(t);
+        // Test semántico: aplicado a (a, b) debe normalizar a `a`.
+        const applied = (0, combinators_ski_1.app)(c, (0, combinators_ski_1.cvar)('a'), (0, combinators_ski_1.cvar)('b'));
+        const norm = (0, combinators_ski_1.normalize)(applied);
+        (0, vitest_1.expect)(norm.terminated).toBe(true);
+        (0, vitest_1.expect)((0, combinators_ski_1.ctermEq)(norm.result, (0, combinators_ski_1.cvar)('a'))).toBe(true);
+    });
+    (0, vitest_1.it)('abstractFromLambda(λx.λy.λz. x z (y z)) es equivalente a S', () => {
+        // S = λx.λy.λz. x z (y z)
+        const t = (0, lambda_calc_1.lam)('x', (0, lambda_calc_1.lam)('y', (0, lambda_calc_1.lam)('z', (0, lambda_calc_1.apN)((0, lambda_calc_1.v)('x'), (0, lambda_calc_1.v)('z'), (0, lambda_calc_1.ap)((0, lambda_calc_1.v)('y'), (0, lambda_calc_1.v)('z'))))));
+        const c = (0, combinators_ski_1.abstractFromLambda)(t);
+        // Aplicado a (f, g, h) debe normalizar a f h (g h).
+        const applied = (0, combinators_ski_1.app)(c, (0, combinators_ski_1.cvar)('f'), (0, combinators_ski_1.cvar)('g'), (0, combinators_ski_1.cvar)('h'));
+        const norm = (0, combinators_ski_1.normalize)(applied);
+        (0, vitest_1.expect)(norm.terminated).toBe(true);
+        const expected = (0, combinators_ski_1.app)((0, combinators_ski_1.app)((0, combinators_ski_1.cvar)('f'), (0, combinators_ski_1.cvar)('h')), (0, combinators_ski_1.app)((0, combinators_ski_1.cvar)('g'), (0, combinators_ski_1.cvar)('h')));
+        (0, vitest_1.expect)((0, combinators_ski_1.ctermEq)(norm.result, expected)).toBe(true);
+    });
+    (0, vitest_1.it)('abstractFromLambda(λx.y) = K y (constante respecto a x)', () => {
+        const t = (0, lambda_calc_1.lam)('x', (0, lambda_calc_1.v)('y'));
+        const c = (0, combinators_ski_1.abstractFromLambda)(t);
+        (0, vitest_1.expect)((0, combinators_ski_1.ctermEq)(c, (0, combinators_ski_1.app)((0, combinators_ski_1.K)(), (0, combinators_ski_1.cvar)('y')))).toBe(true);
+    });
+    (0, vitest_1.it)('abstractFromLambda(λx.λy. x y) es equivalente a I aplicado', () => {
+        // λx.λy. x y  ≡  λx. x    bajo η (en λ-cálculo).
+        // SKI bracket genera algo más grande; lo probamos vía aplicación.
+        const t = (0, lambda_calc_1.lam)('x', (0, lambda_calc_1.lam)('y', (0, lambda_calc_1.ap)((0, lambda_calc_1.v)('x'), (0, lambda_calc_1.v)('y'))));
+        const c = (0, combinators_ski_1.abstractFromLambda)(t);
+        const applied = (0, combinators_ski_1.app)(c, (0, combinators_ski_1.cvar)('f'), (0, combinators_ski_1.cvar)('a'));
+        const norm = (0, combinators_ski_1.normalize)(applied);
+        (0, vitest_1.expect)(norm.terminated).toBe(true);
+        (0, vitest_1.expect)((0, combinators_ski_1.ctermEq)(norm.result, (0, combinators_ski_1.app)((0, combinators_ski_1.cvar)('f'), (0, combinators_ski_1.cvar)('a')))).toBe(true);
+    });
+    (0, vitest_1.it)('abstractFromLambda no contiene abstracciones (sólo S/K/I/var/app)', () => {
+        // Cualquier λ-término debe traducirse a una expresión de combinadores pura.
+        const t = (0, lambda_calc_1.lam)('x', (0, lambda_calc_1.lam)('y', (0, lambda_calc_1.lam)('z', (0, lambda_calc_1.apN)((0, lambda_calc_1.v)('x'), (0, lambda_calc_1.v)('z'), (0, lambda_calc_1.ap)((0, lambda_calc_1.v)('y'), (0, lambda_calc_1.v)('z'))))));
+        const c = (0, combinators_ski_1.abstractFromLambda)(t);
+        assertNoBinders(c);
+    });
+});
+(0, vitest_1.describe)('combinators-ski / round-trip semántico', () => {
+    (0, vitest_1.it)('toLambda(I), toLambda(K), toLambda(S) son las definiciones λ canónicas', () => {
+        (0, vitest_1.expect)((0, lambda_calc_1.alphaEq)((0, combinators_ski_1.toLambda)((0, combinators_ski_1.I)()), (0, lambda_calc_1.lam)('x', (0, lambda_calc_1.v)('x')))).toBe(true);
+        (0, vitest_1.expect)((0, lambda_calc_1.alphaEq)((0, combinators_ski_1.toLambda)((0, combinators_ski_1.K)()), (0, lambda_calc_1.lam)('x', (0, lambda_calc_1.lam)('y', (0, lambda_calc_1.v)('x'))))).toBe(true);
+        const Slam = (0, lambda_calc_1.lam)('x', (0, lambda_calc_1.lam)('y', (0, lambda_calc_1.lam)('z', (0, lambda_calc_1.apN)((0, lambda_calc_1.v)('x'), (0, lambda_calc_1.v)('z'), (0, lambda_calc_1.ap)((0, lambda_calc_1.v)('y'), (0, lambda_calc_1.v)('z'))))));
+        (0, vitest_1.expect)((0, lambda_calc_1.alphaEq)((0, combinators_ski_1.toLambda)((0, combinators_ski_1.S)()), Slam)).toBe(true);
+    });
+    (0, vitest_1.it)('round-trip λ → SKI → λ preserva la semántica aplicada (identidad)', () => {
+        // Aplicamos `(λx.x) a` y `(toLambda(abstract(λx.x))) a` y comparamos formas normales.
+        const idLam = (0, lambda_calc_1.lam)('x', (0, lambda_calc_1.v)('x'));
+        const skis = (0, combinators_ski_1.abstractFromLambda)(idLam);
+        const lamBack = (0, combinators_ski_1.toLambda)(skis);
+        const lhs = (0, lambda_calc_1.normalize)((0, lambda_calc_1.ap)(idLam, (0, lambda_calc_1.v)('a')));
+        const rhs = (0, lambda_calc_1.normalize)((0, lambda_calc_1.ap)(lamBack, (0, lambda_calc_1.v)('a')));
+        (0, vitest_1.expect)(lhs.terminated).toBe(true);
+        (0, vitest_1.expect)(rhs.terminated).toBe(true);
+        (0, vitest_1.expect)((0, lambda_calc_1.alphaEq)(lhs.result, rhs.result)).toBe(true);
+    });
+    (0, vitest_1.it)('round-trip preserva semántica de K aplicado a (a, b)', () => {
+        const Klam = (0, lambda_calc_1.lam)('x', (0, lambda_calc_1.lam)('y', (0, lambda_calc_1.v)('x')));
+        const skis = (0, combinators_ski_1.abstractFromLambda)(Klam);
+        const lamBack = (0, combinators_ski_1.toLambda)(skis);
+        const applied = (0, lambda_calc_1.apN)(lamBack, (0, lambda_calc_1.v)('a'), (0, lambda_calc_1.v)('b'));
+        const norm = (0, lambda_calc_1.normalize)(applied);
+        (0, vitest_1.expect)(norm.terminated).toBe(true);
+        (0, vitest_1.expect)((0, lambda_calc_1.alphaEq)(norm.result, (0, lambda_calc_1.v)('a'))).toBe(true);
+    });
+    (0, vitest_1.it)('round-trip preserva semántica de S aplicado a (f, g, h)', () => {
+        const Slam = (0, lambda_calc_1.lam)('x', (0, lambda_calc_1.lam)('y', (0, lambda_calc_1.lam)('z', (0, lambda_calc_1.apN)((0, lambda_calc_1.v)('x'), (0, lambda_calc_1.v)('z'), (0, lambda_calc_1.ap)((0, lambda_calc_1.v)('y'), (0, lambda_calc_1.v)('z'))))));
+        const skis = (0, combinators_ski_1.abstractFromLambda)(Slam);
+        const lamBack = (0, combinators_ski_1.toLambda)(skis);
+        const applied = (0, lambda_calc_1.apN)(lamBack, (0, lambda_calc_1.v)('f'), (0, lambda_calc_1.v)('g'), (0, lambda_calc_1.v)('h'));
+        const norm = (0, lambda_calc_1.normalize)(applied);
+        (0, vitest_1.expect)(norm.terminated).toBe(true);
+        // Forma normal: f h (g h).
+        const expected = (0, lambda_calc_1.apN)((0, lambda_calc_1.v)('f'), (0, lambda_calc_1.v)('h'), (0, lambda_calc_1.ap)((0, lambda_calc_1.v)('g'), (0, lambda_calc_1.v)('h')));
+        (0, vitest_1.expect)((0, lambda_calc_1.alphaEq)(norm.result, expected)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('combinators-ski / utilidades', () => {
+    (0, vitest_1.it)('termToString imprime aplicaciones asociativas a la izquierda', () => {
+        // S K K x  → "S K K x" (sin paréntesis: todo es app-izquierda)
+        const t = (0, combinators_ski_1.app)((0, combinators_ski_1.S)(), (0, combinators_ski_1.K)(), (0, combinators_ski_1.K)(), (0, combinators_ski_1.cvar)('x'));
+        (0, vitest_1.expect)((0, combinators_ski_1.termToString)(t)).toBe('S K K x');
+    });
+    (0, vitest_1.it)('termToString agrupa con paréntesis los args que son aplicaciones', () => {
+        // f (g x)
+        const t = (0, combinators_ski_1.app)((0, combinators_ski_1.cvar)('f'), (0, combinators_ski_1.app)((0, combinators_ski_1.cvar)('g'), (0, combinators_ski_1.cvar)('x')));
+        (0, vitest_1.expect)((0, combinators_ski_1.termToString)(t)).toBe('f (g x)');
+    });
+    (0, vitest_1.it)('freeVars enumera variables libres', () => {
+        // S (K x) y  → libres: {x, y}
+        const t = (0, combinators_ski_1.app)((0, combinators_ski_1.S)(), (0, combinators_ski_1.app)((0, combinators_ski_1.K)(), (0, combinators_ski_1.cvar)('x')), (0, combinators_ski_1.cvar)('y'));
+        const fv = (0, combinators_ski_1.freeVars)(t);
+        (0, vitest_1.expect)(fv.has('x')).toBe(true);
+        (0, vitest_1.expect)(fv.has('y')).toBe(true);
+        (0, vitest_1.expect)(fv.size).toBe(2);
+    });
+    (0, vitest_1.it)('app con un solo argumento devuelve el término tal cual', () => {
+        const t = (0, combinators_ski_1.app)((0, combinators_ski_1.cvar)('x'));
+        (0, vitest_1.expect)((0, combinators_ski_1.ctermEq)(t, (0, combinators_ski_1.cvar)('x'))).toBe(true);
+    });
+    (0, vitest_1.it)('app() sin argumentos lanza', () => {
+        (0, vitest_1.expect)(() => (0, combinators_ski_1.app)()).toThrow();
+    });
+    (0, vitest_1.it)('ctermEq distingue por estructura', () => {
+        (0, vitest_1.expect)((0, combinators_ski_1.ctermEq)((0, combinators_ski_1.I)(), (0, combinators_ski_1.I)())).toBe(true);
+        (0, vitest_1.expect)((0, combinators_ski_1.ctermEq)((0, combinators_ski_1.K)(), (0, combinators_ski_1.S)())).toBe(false);
+        (0, vitest_1.expect)((0, combinators_ski_1.ctermEq)((0, combinators_ski_1.cvar)('x'), (0, combinators_ski_1.cvar)('y'))).toBe(false);
+        (0, vitest_1.expect)((0, combinators_ski_1.ctermEq)((0, combinators_ski_1.app)((0, combinators_ski_1.I)(), (0, combinators_ski_1.cvar)('x')), (0, combinators_ski_1.app)((0, combinators_ski_1.I)(), (0, combinators_ski_1.cvar)('x')))).toBe(true);
+        (0, vitest_1.expect)((0, combinators_ski_1.ctermEq)((0, combinators_ski_1.app)((0, combinators_ski_1.I)(), (0, combinators_ski_1.cvar)('x')), (0, combinators_ski_1.app)((0, combinators_ski_1.I)(), (0, combinators_ski_1.cvar)('y')))).toBe(false);
+    });
+});
+// Helper de test: confirma que un CTerm no contiene nodos de tipo 'abs'
+// (sería estructuralmente imposible en SKI, pero comprueba que el tipo
+// generado por bracket abstraction es realmente puro).
+function assertNoBinders(t) {
+    switch (t.kind) {
+        case 'S':
+        case 'K':
+        case 'I':
+        case 'var':
+            return;
+        case 'app':
+            assertNoBinders(t.fn);
+            assertNoBinders(t.arg);
+            return;
+    }
+}
+//# sourceMappingURL=combinators-ski.test.js.map

package/dist/tests/combinators-ski/combinators-ski.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"combinators-ski.test.js","sourceRoot":"","sources":["../../../src/tests/combinators-ski/combinators-ski.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,2DAc+B;AAE/B,mDAO2B;AAG3B,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,GAAG,IAAA,qBAAG,EAAC,IAAA,mBAAC,GAAE,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,MAAM,CAAC,GAAG,IAAA,4BAAU,EAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,IAAA,yBAAO,EAAC,CAAE,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,IAAA,qBAAG,EAAC,IAAA,mBAAC,GAAE,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QACzC,MAAM,CAAC,GAAG,IAAA,4BAAU,EAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,IAAA,yBAAO,EAAC,CAAE,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,sEAAsE;QACtE,MAAM,CAAC,GAAG,IAAA,qBAAG,EAAC,IAAA,mBAAC,GAAE,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,qBAAG,EAAC,IAAA,mBAAC,GAAE,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACnD,MAAM,IAAI,GAAG,IAAA,2BAAS,EAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,yBAAO,EAAC,IAAI,CAAC,MAAM,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAA,qBAAG,EAAC,IAAA,mBAAC,GAAE,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QACpD,MAAM,CAAC,GAAG,IAAA,4BAAU,EAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,IAAA,qBAAG,EAAC,IAAA,qBAAG,EAAC,IAAA,sBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,qBAAG,EAAC,IAAA,sBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3E,IAAA,eAAM,EAAC,IAAA,yBAAO,EAAC,CAAE,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,IAAA,qBAAG,EAAC,IAAA,mBAAC,GAAE,EAAE,IAAA,mBAAC,GAAE,EAAE,IAAA,mBAAC,GAAE,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QACxC,MAAM,IAAI,GAAG,IAAA,2BAAS,EAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,yBAAO,EAAC,IAAI,CAAC,MAAM,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,IAAA,eAAM,EAAC,IAAA,8BAAY,EAAC,IAAA,sBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,8BAAY,EAAC,IAAA,mBAAC,GAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAA,8BAAY,EAAC,IAAA,mBAAC,GAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAA,8BAAY,EAAC,IAAA,mBAAC,GAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,gDAAgD;QAChD,IAAA,eAAM,EAAC,IAAA,8BAAY,EAAC,IAAA,qBAAG,EAAC,IAAA,mBAAC,GAAE,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,IAAA,8BAAY,EAAC,IAAA,qBAAG,EAAC,IAAA,mBAAC,GAAE,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,kEAAkE;QAClE,sCAAsC;QACtC,MAAM,CAAC,GAAG,IAAA,qBAAG,EAAC,IAAA,qBAAG,EAAC,IAAA,mBAAC,GAAE,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,qBAAG,EAAC,IAAA,mBAAC,GAAE,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxD,sEAAsE;QACtE,MAAM,CAAC,GAAG,IAAA,4BAAU,EAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,IAAA,yBAAO,EAAC,CAAE,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,2DAA2D;QAC3D,8DAA8D;QAC9D,MAAM,GAAG,GAAG,IAAA,qBAAG,EAAC,IAAA,mBAAC,GAAE,EAAE,IAAA,mBAAC,GAAE,EAAE,IAAA,mBAAC,GAAE,CAAC,CAAC;QAC/B,MAAM,KAAK,GAAG,IAAA,qBAAG,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAA,2BAAS,EAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iDAAiD,EAAE,GAAG,EAAE;IAC/D,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,IAAA,iBAAG,EAAC,GAAG,EAAE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,GAAG,IAAA,oCAAkB,EAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,yBAAO,EAAC,CAAC,EAAE,IAAA,mBAAC,GAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,yDAAyD;QACzD,mEAAmE;QACnE,yCAAyC;QACzC,MAAM,CAAC,GAAG,IAAA,iBAAG,EAAC,GAAG,EAAE,IAAA,iBAAG,EAAC,GAAG,EAAE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC1C,MAAM,CAAC,GAAG,IAAA,oCAAkB,EAAC,CAAC,CAAC,CAAC;QAChC,2DAA2D;QAC3D,MAAM,OAAO,GAAG,IAAA,qBAAG,EAAC,CAAC,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,IAAA,2BAAS,EAAC,OAAO,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,yBAAO,EAAC,IAAI,CAAC,MAAM,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,0BAA0B;QAC1B,MAAM,CAAC,GAAG,IAAA,iBAAG,EACX,GAAG,EACH,IAAA,iBAAG,EAAC,GAAG,EAAE,IAAA,iBAAG,EAAC,GAAG,EAAE,IAAA,iBAAM,EAAC,IAAA,eAAM,EAAC,GAAG,CAAC,EAAE,IAAA,eAAM,EAAC,GAAG,CAAC,EAAE,IAAA,gBAAK,EAAC,IAAA,eAAM,EAAC,GAAG,CAAC,EAAE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CACtF,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,oCAAkB,EAAC,CAAC,CAAC,CAAC;QAChC,oDAAoD;QACpD,MAAM,OAAO,GAAG,IAAA,qBAAG,EAAC,CAAC,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QACxD,MAAM,IAAI,GAAG,IAAA,2BAAS,EAAC,OAAO,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,MAAM,QAAQ,GAAG,IAAA,qBAAG,EAAC,IAAA,qBAAG,EAAC,IAAA,sBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,qBAAG,EAAC,IAAA,sBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3E,IAAA,eAAM,EAAC,IAAA,yBAAO,EAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAG,IAAA,iBAAG,EAAC,GAAG,EAAE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,CAAC;QAChC,MAAM,CAAC,GAAG,IAAA,oCAAkB,EAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,yBAAO,EAAC,CAAC,EAAE,IAAA,qBAAG,EAAC,IAAA,mBAAC,GAAE,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,iDAAiD;QACjD,kEAAkE;QAClE,MAAM,CAAC,GAAG,IAAA,iBAAG,EAAC,GAAG,EAAE,IAAA,iBAAG,EAAC,GAAG,EAAE,IAAA,gBAAK,EAAC,IAAA,eAAM,EAAC,GAAG,CAAC,EAAE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9D,MAAM,CAAC,GAAG,IAAA,oCAAkB,EAAC,CAAC,CAAC,CAAC;QAChC,MAAM,OAAO,GAAG,IAAA,qBAAG,EAAC,CAAC,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,IAAA,2BAAS,EAAC,OAAO,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,yBAAO,EAAC,IAAI,CAAC,MAAM,EAAE,IAAA,qBAAG,EAAC,IAAA,sBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,4EAA4E;QAC5E,MAAM,CAAC,GAAG,IAAA,iBAAG,EACX,GAAG,EACH,IAAA,iBAAG,EAAC,GAAG,EAAE,IAAA,iBAAG,EAAC,GAAG,EAAE,IAAA,iBAAM,EAAC,IAAA,eAAM,EAAC,GAAG,CAAC,EAAE,IAAA,eAAM,EAAC,GAAG,CAAC,EAAE,IAAA,gBAAK,EAAC,IAAA,eAAM,EAAC,GAAG,CAAC,EAAE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CACtF,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,oCAAkB,EAAC,CAAC,CAAC,CAAC;QAChC,eAAe,CAAC,CAAC,CAAC,CAAC;IACrB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,IAAA,WAAE,EAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,IAAA,eAAM,EAAC,IAAA,qBAAO,EAAC,IAAA,0BAAQ,EAAC,IAAA,mBAAC,GAAE,CAAC,EAAE,IAAA,iBAAG,EAAC,GAAG,EAAE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,IAAA,qBAAO,EAAC,IAAA,0BAAQ,EAAC,IAAA,mBAAC,GAAE,CAAC,EAAE,IAAA,iBAAG,EAAC,GAAG,EAAE,IAAA,iBAAG,EAAC,GAAG,EAAE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3E,MAAM,IAAI,GAAe,IAAA,iBAAG,EAC1B,GAAG,EACH,IAAA,iBAAG,EAAC,GAAG,EAAE,IAAA,iBAAG,EAAC,GAAG,EAAE,IAAA,iBAAM,EAAC,IAAA,eAAM,EAAC,GAAG,CAAC,EAAE,IAAA,eAAM,EAAC,GAAG,CAAC,EAAE,IAAA,gBAAK,EAAC,IAAA,eAAM,EAAC,GAAG,CAAC,EAAE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CACtF,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,qBAAO,EAAC,IAAA,0BAAQ,EAAC,IAAA,mBAAC,GAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,sFAAsF;QACtF,MAAM,KAAK,GAAe,IAAA,iBAAG,EAAC,GAAG,EAAE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,CAAC;QAChD,MAAM,IAAI,GAAG,IAAA,oCAAkB,EAAC,KAAK,CAAC,CAAC;QACvC,MAAM,OAAO,GAAG,IAAA,0BAAQ,EAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,GAAG,GAAG,IAAA,uBAAY,EAAC,IAAA,gBAAK,EAAC,KAAK,EAAE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACpD,MAAM,GAAG,GAAG,IAAA,uBAAY,EAAC,IAAA,gBAAK,EAAC,OAAO,EAAE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAA,qBAAO,EAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,IAAI,GAAe,IAAA,iBAAG,EAAC,GAAG,EAAE,IAAA,iBAAG,EAAC,GAAG,EAAE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzD,MAAM,IAAI,GAAG,IAAA,oCAAkB,EAAC,IAAI,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,IAAA,0BAAQ,EAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,OAAO,GAAG,IAAA,iBAAM,EAAC,OAAO,EAAE,IAAA,eAAM,EAAC,GAAG,CAAC,EAAE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,CAAC;QAC1D,MAAM,IAAI,GAAG,IAAA,uBAAY,EAAC,OAAO,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,qBAAO,EAAC,IAAI,CAAC,MAAM,EAAE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,IAAI,GAAe,IAAA,iBAAG,EAC1B,GAAG,EACH,IAAA,iBAAG,EAAC,GAAG,EAAE,IAAA,iBAAG,EAAC,GAAG,EAAE,IAAA,iBAAM,EAAC,IAAA,eAAM,EAAC,GAAG,CAAC,EAAE,IAAA,eAAM,EAAC,GAAG,CAAC,EAAE,IAAA,gBAAK,EAAC,IAAA,eAAM,EAAC,GAAG,CAAC,EAAE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CACtF,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,oCAAkB,EAAC,IAAI,CAAC,CAAC;QACtC,MAAM,OAAO,GAAG,IAAA,0BAAQ,EAAC,IAAI,CAAC,CAAC;QAC/B,MAAM,OAAO,GAAG,IAAA,iBAAM,EAAC,OAAO,EAAE,IAAA,eAAM,EAAC,GAAG,CAAC,EAAE,IAAA,eAAM,EAAC,GAAG,CAAC,EAAE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,CAAC;QACvE,MAAM,IAAI,GAAG,IAAA,uBAAY,EAAC,OAAO,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,2BAA2B;QAC3B,MAAM,QAAQ,GAAG,IAAA,iBAAM,EAAC,IAAA,eAAM,EAAC,GAAG,CAAC,EAAE,IAAA,eAAM,EAAC,GAAG,CAAC,EAAE,IAAA,gBAAK,EAAC,IAAA,eAAM,EAAC,GAAG,CAAC,EAAE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACnF,IAAA,eAAM,EAAC,IAAA,qBAAO,EAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,+DAA+D;QAC/D,MAAM,CAAC,GAAG,IAAA,qBAAG,EAAC,IAAA,mBAAC,GAAE,EAAE,IAAA,mBAAC,GAAE,EAAE,IAAA,mBAAC,GAAE,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,8BAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,UAAU;QACV,MAAM,CAAC,GAAG,IAAA,qBAAG,EAAC,IAAA,sBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,qBAAG,EAAC,IAAA,sBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,IAAA,8BAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,8BAA8B;QAC9B,MAAM,CAAC,GAAG,IAAA,qBAAG,EAAC,IAAA,mBAAC,GAAE,EAAE,IAAA,qBAAG,EAAC,IAAA,mBAAC,GAAE,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QACnD,MAAM,EAAE,GAAG,IAAA,0BAAQ,EAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAAG,IAAA,qBAAG,EAAC,IAAA,sBAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,IAAA,yBAAO,EAAC,CAAC,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,qBAAG,GAAE,CAAC,CAAC,OAAO,EAAE,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,IAAA,yBAAO,EAAC,IAAA,mBAAC,GAAE,EAAE,IAAA,mBAAC,GAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAA,yBAAO,EAAC,IAAA,mBAAC,GAAE,EAAE,IAAA,mBAAC,GAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,yBAAO,EAAC,IAAA,sBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,IAAA,yBAAO,EAAC,IAAA,qBAAG,EAAC,IAAA,mBAAC,GAAE,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,qBAAG,EAAC,IAAA,mBAAC,GAAE,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrE,IAAA,eAAM,EAAC,IAAA,yBAAO,EAAC,IAAA,qBAAG,EAAC,IAAA,mBAAC,GAAE,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,qBAAG,EAAC,IAAA,mBAAC,GAAE,EAAE,IAAA,sBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,wEAAwE;AACxE,uEAAuE;AACvE,uDAAuD;AACvD,SAAS,eAAe,CAAC,CAAQ;IAC/B,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,GAAG,CAAC;QACT,KAAK,GAAG,CAAC;QACT,KAAK,GAAG,CAAC;QACT,KAAK,KAAK;YACR,OAAO;QACT,KAAK,KAAK;YACR,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACtB,eAAe,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YACvB,OAAO;IACX,CAAC;AACH,CAAC"}

package/dist/tests/constructive-reals/constructive-reals.test.d.ts

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

package/dist/tests/constructive-reals/constructive-reals.test.d.ts.map

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