@stevenvo780/st-lang 4.8.0 → 4.10.0

package/dist/tests/tooling/mathlib/mathlib.test.js

@@ -0,0 +1,214 @@
+"use strict";
+// ============================================================
+// Tests: ST Mathlib — order theory, group theory, ring theory,
+// instancias estándar y lemas.
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const mathlib_1 = require("../../../tooling/mathlib");
+// ============================================================
+// Order theory
+// ============================================================
+(0, vitest_1.describe)('order theory — divisibility poset on {1,2,3,6}', () => {
+    const divides = { leq: (a, b) => b % a === 0 };
+    const elements = [1, 2, 3, 6];
+    (0, vitest_1.it)('isReflexive: todo n divide a n', () => {
+        (0, vitest_1.expect)((0, mathlib_1.isReflexive)(divides, elements)).toBe(true);
+    });
+    (0, vitest_1.it)('isAntisymmetric: a|b ∧ b|a ⇒ a=b sobre naturales positivos', () => {
+        (0, vitest_1.expect)((0, mathlib_1.isAntisymmetric)(divides, elements)).toBe(true);
+    });
+    (0, vitest_1.it)('isTransitive: a|b ∧ b|c ⇒ a|c', () => {
+        (0, vitest_1.expect)((0, mathlib_1.isTransitive)(divides, elements)).toBe(true);
+    });
+    (0, vitest_1.it)('verifyPartialOrder: divisibilidad es poset válido', () => {
+        const result = (0, mathlib_1.verifyPartialOrder)(divides, elements);
+        (0, vitest_1.expect)(result.valid).toBe(true);
+        (0, vitest_1.expect)(result.failures).toEqual([]);
+    });
+    (0, vitest_1.it)('isLattice: {1,2,3,6} con divisibilidad es lattice (mcm=6, mcd=1)', () => {
+        (0, vitest_1.expect)((0, mathlib_1.isLattice)(divides, elements)).toBe(true);
+    });
+    (0, vitest_1.it)('isLattice: {2,3} sin 1 ni 6 NO es lattice (no hay join ni meet)', () => {
+        (0, vitest_1.expect)((0, mathlib_1.isLattice)(divides, [2, 3])).toBe(false);
+    });
+    (0, vitest_1.it)('detecta no-transitividad en relación cooked-up', () => {
+        // a R b si |a-b| ≤ 1 — no transitiva: 1 R 2, 2 R 3, pero 1 ¬R 3.
+        const closeRel = { leq: (a, b) => Math.abs(a - b) <= 1 };
+        (0, vitest_1.expect)((0, mathlib_1.isTransitive)(closeRel, [1, 2, 3])).toBe(false);
+    });
+});
+// ============================================================
+// Group theory
+// ============================================================
+(0, vitest_1.describe)('group theory — Z aditivo', () => {
+    const sample = [-2n, -1n, 0n, 1n, 2n];
+    (0, vitest_1.it)('intAdditiveGroup: asociatividad', () => {
+        (0, vitest_1.expect)((0, mathlib_1.isAssociative)(mathlib_1.intAdditiveGroup, sample)).toBe(true);
+    });
+    (0, vitest_1.it)('intAdditiveGroup: conmutatividad', () => {
+        (0, vitest_1.expect)((0, mathlib_1.isCommutative)(mathlib_1.intAdditiveGroup, sample)).toBe(true);
+    });
+    (0, vitest_1.it)('intAdditiveGroup: 0 es identidad aditiva', () => {
+        (0, vitest_1.expect)((0, mathlib_1.hasIdentity)(mathlib_1.intAdditiveGroup, sample, mathlib_1.intAdditiveGroup.identity)).toBe(true);
+    });
+    (0, vitest_1.it)('intAdditiveGroup: cada n tiene inverso -n', () => {
+        (0, vitest_1.expect)((0, mathlib_1.hasInverses)(mathlib_1.intAdditiveGroup, sample)).toBe(true);
+    });
+    (0, vitest_1.it)('verifyGroup(Z, +) pasa todos los axiomas', () => {
+        const result = (0, mathlib_1.verifyGroup)(mathlib_1.intAdditiveGroup, sample);
+        (0, vitest_1.expect)(result.valid).toBe(true);
+        (0, vitest_1.expect)(result.failures).toEqual([]);
+    });
+    (0, vitest_1.it)('verifyAbelianGroup(Z, +) incluye conmutatividad y pasa', () => {
+        const result = (0, mathlib_1.verifyAbelianGroup)(mathlib_1.intAdditiveGroup, sample);
+        (0, vitest_1.expect)(result.valid).toBe(true);
+    });
+});
+(0, vitest_1.describe)('group theory — S_3 simétrico', () => {
+    (0, vitest_1.it)('sym3: es grupo (asociativo + identidad + inversos)', () => {
+        const result = (0, mathlib_1.verifyGroup)(mathlib_1.sym3, mathlib_1.sym3Elements, mathlib_1.perm3Eq);
+        (0, vitest_1.expect)(result.valid).toBe(true);
+        (0, vitest_1.expect)(result.failures).toEqual([]);
+    });
+    (0, vitest_1.it)('sym3: NO es abeliano — (0 1) ∘ (0 2) ≠ (0 2) ∘ (0 1)', () => {
+        (0, vitest_1.expect)((0, mathlib_1.isCommutative)(mathlib_1.sym3, mathlib_1.sym3Elements, mathlib_1.perm3Eq)).toBe(false);
+    });
+    (0, vitest_1.it)('sym3: verifyAbelianGroup falla en conmutatividad', () => {
+        const result = (0, mathlib_1.verifyAbelianGroup)(mathlib_1.sym3, mathlib_1.sym3Elements, mathlib_1.perm3Eq);
+        (0, vitest_1.expect)(result.valid).toBe(false);
+        (0, vitest_1.expect)(result.failures).toContain('conmutatividad');
+    });
+    (0, vitest_1.it)('sym3: el inverso de un elemento aplicado dos veces es el original', () => {
+        for (const p of mathlib_1.sym3Elements) {
+            const inv = mathlib_1.sym3.inverse(p);
+            const reconstructed = mathlib_1.sym3.inverse(inv);
+            (0, vitest_1.expect)((0, mathlib_1.perm3Eq)(reconstructed, p)).toBe(true);
+        }
+    });
+});
+// ============================================================
+// Ring theory
+// ============================================================
+(0, vitest_1.describe)('ring theory — Z anillo', () => {
+    const sample = [-2n, -1n, 0n, 1n, 2n];
+    (0, vitest_1.it)('verifyRing(Z): pasa todos los axiomas', () => {
+        const result = (0, mathlib_1.verifyRing)(mathlib_1.intRing, sample);
+        (0, vitest_1.expect)(result.valid).toBe(true);
+        (0, vitest_1.expect)(result.failures).toEqual([]);
+    });
+    (0, vitest_1.it)('intRing: zero=0, one=1', () => {
+        (0, vitest_1.expect)(mathlib_1.intRing.zero).toBe(0n);
+        (0, vitest_1.expect)(mathlib_1.intRing.one).toBe(1n);
+    });
+    (0, vitest_1.it)('intRing: distributividad explícita 2*(3+4)=2*3+2*4', () => {
+        const left = mathlib_1.intRing.mul(2n, mathlib_1.intRing.add(3n, 4n));
+        const right = mathlib_1.intRing.add(mathlib_1.intRing.mul(2n, 3n), mathlib_1.intRing.mul(2n, 4n));
+        (0, vitest_1.expect)(left).toBe(right);
+    });
+    (0, vitest_1.it)('intRing NO es campo (2 no tiene inverso multiplicativo en Z)', () => {
+        // div definida solo cuando divide exacta — usamos undefined si no divisible.
+        const intDiv = (a, b) => b !== 0n && a % b === 0n ? a / b : undefined;
+        (0, vitest_1.expect)((0, mathlib_1.isField)(mathlib_1.intRing, sample, intDiv)).toBe(false);
+    });
+});
+(0, vitest_1.describe)('ring theory — Z/nZ', () => {
+    (0, vitest_1.it)('zModN(5): es anillo válido', () => {
+        const r = (0, mathlib_1.zModN)(5n);
+        const result = (0, mathlib_1.verifyRing)(r, (0, mathlib_1.zModNElements)(5n));
+        (0, vitest_1.expect)(result.valid).toBe(true);
+    });
+    (0, vitest_1.it)('zModN(5): es campo (5 es primo)', () => {
+        const r = (0, mathlib_1.zModN)(5n);
+        (0, vitest_1.expect)((0, mathlib_1.isField)(r, (0, mathlib_1.zModNElements)(5n), (0, mathlib_1.zModNDiv)(5n))).toBe(true);
+    });
+    (0, vitest_1.it)('zModN(7): es campo (7 es primo)', () => {
+        const r = (0, mathlib_1.zModN)(7n);
+        (0, vitest_1.expect)((0, mathlib_1.isField)(r, (0, mathlib_1.zModNElements)(7n), (0, mathlib_1.zModNDiv)(7n))).toBe(true);
+    });
+    (0, vitest_1.it)('zModN(4): NO es campo (4 no es primo, 2 no tiene inverso)', () => {
+        const r = (0, mathlib_1.zModN)(4n);
+        (0, vitest_1.expect)((0, mathlib_1.isField)(r, (0, mathlib_1.zModNElements)(4n), (0, mathlib_1.zModNDiv)(4n))).toBe(false);
+    });
+    (0, vitest_1.it)('zModN(6): NO es campo', () => {
+        const r = (0, mathlib_1.zModN)(6n);
+        (0, vitest_1.expect)((0, mathlib_1.isField)(r, (0, mathlib_1.zModNElements)(6n), (0, mathlib_1.zModNDiv)(6n))).toBe(false);
+    });
+    (0, vitest_1.it)('zModN(5): 3 + 4 = 2 (mod 5)', () => {
+        const r = (0, mathlib_1.zModN)(5n);
+        (0, vitest_1.expect)(r.add(3n, 4n)).toBe(2n);
+    });
+    (0, vitest_1.it)('zModN(5): 3 * 4 = 2 (mod 5)', () => {
+        const r = (0, mathlib_1.zModN)(5n);
+        (0, vitest_1.expect)(r.mul(3n, 4n)).toBe(2n);
+    });
+});
+(0, vitest_1.describe)('ring theory — racionales como campo', () => {
+    const sample = [
+        (0, mathlib_1.rational)(0n, 1n),
+        (0, mathlib_1.rational)(1n, 1n),
+        (0, mathlib_1.rational)(-1n, 1n),
+        (0, mathlib_1.rational)(1n, 2n),
+        (0, mathlib_1.rational)(2n, 3n),
+    ];
+    (0, vitest_1.it)('rationalsField: anillo válido sobre muestreo', () => {
+        const result = (0, mathlib_1.verifyRing)(mathlib_1.rationalsField, sample, mathlib_1.rationalEq);
+        (0, vitest_1.expect)(result.valid).toBe(true);
+    });
+    (0, vitest_1.it)('rationalsField: es campo (todo no-cero invertible)', () => {
+        (0, vitest_1.expect)((0, mathlib_1.isField)(mathlib_1.rationalsField, sample, mathlib_1.rationalDiv, mathlib_1.rationalEq)).toBe(true);
+    });
+    (0, vitest_1.it)('rational: 2/4 se reduce a 1/2', () => {
+        const r = (0, mathlib_1.rational)(2n, 4n);
+        (0, vitest_1.expect)(r.num).toBe(1n);
+        (0, vitest_1.expect)(r.den).toBe(2n);
+    });
+    (0, vitest_1.it)('rationalDiv: división por cero devuelve undefined', () => {
+        (0, vitest_1.expect)((0, mathlib_1.rationalDiv)((0, mathlib_1.rational)(1n, 1n), (0, mathlib_1.rational)(0n, 1n))).toBeUndefined();
+    });
+    (0, vitest_1.it)('rational: normaliza signos (1/-2 → -1/2)', () => {
+        const r = (0, mathlib_1.rational)(1n, -2n);
+        (0, vitest_1.expect)(r.num).toBe(-1n);
+        (0, vitest_1.expect)(r.den).toBe(2n);
+    });
+    (0, vitest_1.it)('rational: error si denominador es 0', () => {
+        (0, vitest_1.expect)(() => (0, mathlib_1.rational)(1n, 0n)).toThrow();
+    });
+});
+// ============================================================
+// Lemmas
+// ============================================================
+(0, vitest_1.describe)('standard lemmas', () => {
+    (0, vitest_1.it)('STANDARD_LEMMAS contiene al menos 8 lemas', () => {
+        (0, vitest_1.expect)(mathlib_1.STANDARD_LEMMAS.length).toBeGreaterThanOrEqual(8);
+    });
+    (0, vitest_1.it)('cada lemma tiene name y statement no vacíos', () => {
+        for (const l of mathlib_1.STANDARD_LEMMAS) {
+            (0, vitest_1.expect)(l.name).toBeTruthy();
+            (0, vitest_1.expect)(l.statement.length).toBeGreaterThan(0);
+        }
+    });
+    (0, vitest_1.it)('group.inverse_unique es aplicable a estructura con op', () => {
+        const lemma = mathlib_1.STANDARD_LEMMAS.find((l) => l.name === 'group.inverse_unique');
+        (0, vitest_1.expect)(lemma).toBeDefined();
+        const struct = {
+            name: 'test',
+            elements: [],
+            operations: new Map([['op', (a, b) => [a, b]]]),
+            axioms: [],
+        };
+        (0, vitest_1.expect)(lemma.applicableTo(struct)).toBe(true);
+    });
+    (0, vitest_1.it)('ring.zero_times_anything requiere ops add y mul', () => {
+        const lemma = mathlib_1.STANDARD_LEMMAS.find((l) => l.name === 'ring.zero_times_anything');
+        (0, vitest_1.expect)(lemma).toBeDefined();
+        const onlyAdd = {
+            name: 'test',
+            elements: [],
+            operations: new Map([['add', (a, b) => [a, b]]]),
+            axioms: [],
+        };
+        (0, vitest_1.expect)(lemma.applicableTo(onlyAdd)).toBe(false);
+    });
+});
+//# sourceMappingURL=mathlib.test.js.map

package/dist/tests/tooling/mathlib/mathlib.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mathlib.test.js","sourceRoot":"","sources":["../../../../src/tests/tooling/mathlib/mathlib.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,+DAA+D;AAC/D,+BAA+B;AAC/B,+DAA+D;;AAE/D,mCAA8C;AAC9C,sDAgCkC;AAElC,+DAA+D;AAC/D,eAAe;AACf,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,gDAAgD,EAAE,GAAG,EAAE;IAC9D,MAAM,OAAO,GAAG,EAAE,GAAG,EAAE,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;IAC/D,MAAM,QAAQ,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAE9B,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,IAAA,eAAM,EAAC,IAAA,qBAAW,EAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,IAAA,eAAM,EAAC,IAAA,yBAAe,EAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,IAAA,eAAM,EAAC,IAAA,sBAAY,EAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,MAAM,GAAG,IAAA,4BAAkB,EAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,IAAA,eAAM,EAAC,IAAA,mBAAS,EAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,IAAA,eAAM,EAAC,IAAA,mBAAS,EAAC,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,iEAAiE;QACjE,MAAM,QAAQ,GAAG,EAAE,GAAG,EAAE,CAAC,CAAS,EAAE,CAAS,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QACzE,IAAA,eAAM,EAAC,IAAA,sBAAY,EAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,eAAe;AACf,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,MAAM,MAAM,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;IAEtC,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,IAAA,eAAM,EAAC,IAAA,uBAAa,EAAC,0BAAgB,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,IAAA,uBAAa,EAAC,0BAAgB,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,IAAA,eAAM,EAAC,IAAA,qBAAW,EAAC,0BAAgB,EAAE,MAAM,EAAE,0BAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,IAAA,eAAM,EAAC,IAAA,qBAAW,EAAC,0BAAgB,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,MAAM,GAAG,IAAA,qBAAW,EAAC,0BAAgB,EAAE,MAAM,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,MAAM,GAAG,IAAA,4BAAkB,EAAC,0BAAgB,EAAE,MAAM,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,MAAM,GAAG,IAAA,qBAAW,EAAC,cAAI,EAAE,sBAAY,EAAE,iBAAO,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,IAAA,eAAM,EAAC,IAAA,uBAAa,EAAC,cAAI,EAAE,sBAAY,EAAE,iBAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,MAAM,GAAG,IAAA,4BAAkB,EAAC,cAAI,EAAE,sBAAY,EAAE,iBAAO,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,KAAK,MAAM,CAAC,IAAI,sBAAY,EAAE,CAAC;YAC7B,MAAM,GAAG,GAAG,cAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;YAC5B,MAAM,aAAa,GAAG,cAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACxC,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,cAAc;AACd,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,MAAM,MAAM,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;IAEtC,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,MAAM,GAAG,IAAA,oBAAU,EAAC,iBAAO,EAAE,MAAM,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,IAAA,eAAM,EAAC,iBAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,iBAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,IAAI,GAAG,iBAAO,CAAC,GAAG,CAAC,EAAE,EAAE,iBAAO,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAClD,MAAM,KAAK,GAAG,iBAAO,CAAC,GAAG,CAAC,iBAAO,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,iBAAO,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,6EAA6E;QAC7E,MAAM,MAAM,GAAG,CAAC,CAAS,EAAE,CAAS,EAAsB,EAAE,CAC1D,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,iBAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAA,eAAK,EAAC,EAAE,CAAC,CAAC;QACpB,MAAM,MAAM,GAAG,IAAA,oBAAU,EAAC,CAAC,EAAE,IAAA,uBAAa,EAAC,EAAE,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,IAAA,eAAK,EAAC,EAAE,CAAC,CAAC;QACpB,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,CAAC,EAAE,IAAA,uBAAa,EAAC,EAAE,CAAC,EAAE,IAAA,kBAAQ,EAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,IAAA,eAAK,EAAC,EAAE,CAAC,CAAC;QACpB,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,CAAC,EAAE,IAAA,uBAAa,EAAC,EAAE,CAAC,EAAE,IAAA,kBAAQ,EAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,GAAG,IAAA,eAAK,EAAC,EAAE,CAAC,CAAC;QACpB,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,CAAC,EAAE,IAAA,uBAAa,EAAC,EAAE,CAAC,EAAE,IAAA,kBAAQ,EAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAC,GAAG,IAAA,eAAK,EAAC,EAAE,CAAC,CAAC;QACpB,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,CAAC,EAAE,IAAA,uBAAa,EAAC,EAAE,CAAC,EAAE,IAAA,kBAAQ,EAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,IAAA,eAAK,EAAC,EAAE,CAAC,CAAC;QACpB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,IAAA,eAAK,EAAC,EAAE,CAAC,CAAC;QACpB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,MAAM,MAAM,GAAG;QACb,IAAA,kBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC;QAChB,IAAA,kBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC;QAChB,IAAA,kBAAQ,EAAC,CAAC,EAAE,EAAE,EAAE,CAAC;QACjB,IAAA,kBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC;QAChB,IAAA,kBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC;KACjB,CAAC;IAEF,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,MAAM,GAAG,IAAA,oBAAU,EAAC,wBAAc,EAAE,MAAM,EAAE,oBAAU,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,wBAAc,EAAE,MAAM,EAAE,qBAAW,EAAE,oBAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,IAAA,kBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,IAAA,eAAM,EAAC,IAAA,qBAAW,EAAC,IAAA,kBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,EAAE,IAAA,kBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,IAAA,kBAAQ,EAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,kBAAQ,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,SAAS;AACT,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,IAAA,eAAM,EAAC,yBAAe,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,KAAK,MAAM,CAAC,IAAI,yBAAe,EAAE,CAAC;YAChC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;YAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAChD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,KAAK,GAAG,yBAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,sBAAsB,CAAC,CAAC;QAC7E,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG;YACb,IAAI,EAAE,MAAM;YACZ,QAAQ,EAAE,EAAE;YACZ,UAAU,EAAE,IAAI,GAAG,CAA0C,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACxF,MAAM,EAAE,EAAE;SACX,CAAC;QACF,IAAA,eAAM,EAAC,KAAM,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,KAAK,GAAG,yBAAe,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,0BAA0B,CAAC,CAAC;QACjF,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5B,MAAM,OAAO,GAAG;YACd,IAAI,EAAE,MAAM;YACZ,QAAQ,EAAE,EAAE;YACZ,UAAU,EAAE,IAAI,GAAG,CAA0C,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACzF,MAAM,EAAE,EAAE;SACX,CAAC;QACF,IAAA,eAAM,EAAC,KAAM,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/type-theory/effects/effects.test.d.ts

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

package/dist/tests/type-theory/effects/effects.test.d.ts.map

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

package/dist/tests/type-theory/effects/effects.test.js

@@ -0,0 +1,242 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const effects_1 = require("../../../type-theory/effects");
+(0, vitest_1.describe)('effects / núcleo', () => {
+    (0, vitest_1.it)('pure(42) ejecutado con run devuelve 42', () => {
+        const eff = (0, effects_1.pure)(42);
+        (0, vitest_1.expect)((0, effects_1.run)(eff)).toBe(42);
+    });
+    (0, vitest_1.it)('bind(pure(1), x => pure(x+1)) ↦ 2', () => {
+        const eff = (0, effects_1.bind)((0, effects_1.pure)(1), (x) => (0, effects_1.pure)(x + 1));
+        (0, vitest_1.expect)((0, effects_1.run)(eff)).toBe(2);
+    });
+    (0, vitest_1.it)('map aplica función pura al resultado', () => {
+        const eff = (0, effects_1.map)((0, effects_1.pure)(10), (x) => x * 3);
+        (0, vitest_1.expect)((0, effects_1.run)(eff)).toBe(30);
+    });
+    (0, vitest_1.it)('sequence colecta resultados en orden', () => {
+        const effs = [(0, effects_1.pure)(1), (0, effects_1.pure)(2), (0, effects_1.pure)(3), (0, effects_1.pure)(4)];
+        (0, vitest_1.expect)((0, effects_1.run)((0, effects_1.sequence)(effs))).toEqual([1, 2, 3, 4]);
+    });
+    (0, vitest_1.it)('bind respeta la ley de identidad izquierda: pure(a) >>= f ≡ f(a)', () => {
+        const f = (x) => (0, effects_1.pure)(x * 2);
+        const lhs = (0, effects_1.bind)((0, effects_1.pure)(5), f);
+        const rhs = f(5);
+        (0, vitest_1.expect)((0, effects_1.run)(lhs)).toBe((0, effects_1.run)(rhs));
+    });
+    (0, vitest_1.it)('bind respeta la ley de identidad derecha: m >>= pure ≡ m', () => {
+        const m = (0, effects_1.pure)(7);
+        const lhs = (0, effects_1.bind)(m, (a) => (0, effects_1.pure)(a));
+        (0, vitest_1.expect)((0, effects_1.run)(lhs)).toBe((0, effects_1.run)(m));
+    });
+    (0, vitest_1.it)('bind respeta asociatividad: (m >>= f) >>= g ≡ m >>= (x => f(x) >>= g)', () => {
+        const m = (0, effects_1.pure)(3);
+        const f = (x) => (0, effects_1.pure)(x + 1);
+        const g = (x) => (0, effects_1.pure)(x * 10);
+        const lhs = (0, effects_1.bind)((0, effects_1.bind)(m, f), g);
+        const rhs = (0, effects_1.bind)(m, (x) => (0, effects_1.bind)(f(x), g));
+        (0, vitest_1.expect)((0, effects_1.run)(lhs)).toBe((0, effects_1.run)(rhs));
+    });
+});
+(0, vitest_1.describe)('effects / State', () => {
+    (0, vitest_1.it)('getState devuelve el estado inicial', () => {
+        const { result, state } = (0, effects_1.runState)((0, effects_1.getState)(), 100);
+        (0, vitest_1.expect)(result).toBe(100);
+        (0, vitest_1.expect)(state).toBe(100);
+    });
+    (0, vitest_1.it)('putState sobrescribe el estado y devuelve undefined', () => {
+        const { result, state } = (0, effects_1.runState)((0, effects_1.putState)(99), 0);
+        (0, vitest_1.expect)(result).toBeUndefined();
+        (0, vitest_1.expect)(state).toBe(99);
+    });
+    (0, vitest_1.it)('getState luego putState modifica estado', () => {
+        const prog = (0, effects_1.bind)((0, effects_1.getState)(), (s) => (0, effects_1.putState)(s + 1));
+        const { state } = (0, effects_1.runState)(prog, 41);
+        (0, vitest_1.expect)(state).toBe(42);
+    });
+    (0, vitest_1.it)('counter: incrementa N veces y devuelve el final', () => {
+        function counterLoop(n) {
+            if (n === 0)
+                return (0, effects_1.getState)();
+            return (0, effects_1.bind)((0, effects_1.modify)((s) => s + 1), () => counterLoop(n - 1));
+        }
+        const { result, state } = (0, effects_1.runState)(counterLoop(5), 0);
+        (0, vitest_1.expect)(state).toBe(5);
+        (0, vitest_1.expect)(result).toBe(5);
+    });
+    (0, vitest_1.it)('modify ≡ get >>= (s -> put (fn s))', () => {
+        const fn = (s) => s * 2 + 1;
+        const viaModify = (0, effects_1.runState)((0, effects_1.modify)(fn), 4);
+        const viaGetPut = (0, effects_1.runState)((0, effects_1.bind)((0, effects_1.getState)(), (s) => (0, effects_1.putState)(fn(s))), 4);
+        (0, vitest_1.expect)(viaModify.state).toBe(viaGetPut.state);
+        (0, vitest_1.expect)(viaModify.state).toBe(9);
+    });
+    (0, vitest_1.it)('runState propaga estado a través de un cómputo no trivial', () => {
+        // prog: lee, multiplica por 3, escribe; lee, suma 1, escribe; lee
+        const prog = (0, effects_1.bind)((0, effects_1.getState)(), (s1) => (0, effects_1.bind)((0, effects_1.putState)(s1 * 3), () => (0, effects_1.bind)((0, effects_1.getState)(), (s2) => (0, effects_1.bind)((0, effects_1.putState)(s2 + 1), () => (0, effects_1.getState)()))));
+        const { result, state } = (0, effects_1.runState)(prog, 10);
+        (0, vitest_1.expect)(result).toBe(31);
+        (0, vitest_1.expect)(state).toBe(31);
+    });
+});
+(0, vitest_1.describe)('effects / Reader', () => {
+    (0, vitest_1.it)('ask devuelve el ambiente', () => {
+        (0, vitest_1.expect)((0, effects_1.runReader)((0, effects_1.ask)(), 'hola')).toBe('hola');
+    });
+    (0, vitest_1.it)('asks proyecta el ambiente', () => {
+        const prog = (0, effects_1.asks)((r) => r.name.toUpperCase());
+        (0, vitest_1.expect)((0, effects_1.runReader)(prog, { name: 'alice', age: 30 })).toBe('ALICE');
+    });
+    (0, vitest_1.it)('runReader provee el mismo env a múltiples ask', () => {
+        const prog = (0, effects_1.bind)((0, effects_1.ask)(), (a) => (0, effects_1.bind)((0, effects_1.ask)(), (b) => (0, effects_1.pure)(a + b)));
+        (0, vitest_1.expect)((0, effects_1.runReader)(prog, 21)).toBe(42);
+    });
+});
+(0, vitest_1.describe)('effects / Writer', () => {
+    (0, vitest_1.it)('tell + tell + return: log es lista de tells', () => {
+        const prog = (0, effects_1.bind)((0, effects_1.tell)('a'), () => (0, effects_1.bind)((0, effects_1.tell)('b'), () => (0, effects_1.bind)((0, effects_1.tell)('c'), () => (0, effects_1.pure)(42))));
+        const { result, log } = (0, effects_1.runWriter)(prog, effects_1.stringMonoid);
+        (0, vitest_1.expect)(result).toBe(42);
+        (0, vitest_1.expect)(log).toBe('abc');
+    });
+    (0, vitest_1.it)('Writer con monoide de listas concatena en orden', () => {
+        const prog = (0, effects_1.bind)((0, effects_1.tell)([1, 2]), () => (0, effects_1.bind)((0, effects_1.tell)([3]), () => (0, effects_1.bind)((0, effects_1.tell)([4, 5]), () => (0, effects_1.pure)('done'))));
+        const { result, log } = (0, effects_1.runWriter)(prog, (0, effects_1.listMonoid)());
+        (0, vitest_1.expect)(result).toBe('done');
+        (0, vitest_1.expect)(log).toEqual([1, 2, 3, 4, 5]);
+    });
+    (0, vitest_1.it)('Writer con monoide aditivo suma los tells', () => {
+        const prog = (0, effects_1.bind)((0, effects_1.tell)(10), () => (0, effects_1.bind)((0, effects_1.tell)(20), () => (0, effects_1.bind)((0, effects_1.tell)(30), () => (0, effects_1.pure)('ok'))));
+        const { result, log } = (0, effects_1.runWriter)(prog, effects_1.sumMonoid);
+        (0, vitest_1.expect)(result).toBe('ok');
+        (0, vitest_1.expect)(log).toBe(60);
+    });
+});
+(0, vitest_1.describe)('effects / Exception', () => {
+    (0, vitest_1.it)('throw aborta el cómputo (la cont nunca corre)', () => {
+        const prog = (0, effects_1.bind)((0, effects_1.throw_)('boom'), (_unused) => {
+            // Esto NO debe ejecutarse: la continuación tras throw es inalcanzable.
+            throw new Error('continuación no debería invocarse');
+        });
+        const r = (0, effects_1.runException)(prog);
+        (0, vitest_1.expect)(r).toEqual({ kind: 'error', error: 'boom' });
+    });
+    (0, vitest_1.it)('runException captura throw y devuelve error', () => {
+        const prog = (0, effects_1.bind)((0, effects_1.pure)(1), () => (0, effects_1.throw_)({ code: 404 }));
+        const r = (0, effects_1.runException)(prog);
+        (0, vitest_1.expect)(r.kind).toBe('error');
+        if (r.kind === 'error')
+            (0, vitest_1.expect)(r.error.code).toBe(404);
+    });
+    (0, vitest_1.it)('runException sobre cómputo puro devuelve ok', () => {
+        const prog = (0, effects_1.bind)((0, effects_1.pure)(1), (x) => (0, effects_1.pure)(x + 1));
+        const r = (0, effects_1.runException)(prog);
+        (0, vitest_1.expect)(r).toEqual({ kind: 'ok', value: 2 });
+    });
+});
+(0, vitest_1.describe)('effects / composición de efectos', () => {
+    (0, vitest_1.it)('State + Reader: cuenta por env, lee estado final', () => {
+        // Programa: inc el estado por `env.amount`; devuelve estado final.
+        const prog = (0, effects_1.bind)((0, effects_1.ask)(), (env) => (0, effects_1.bind)((0, effects_1.modify)((s) => s + env.amount), () => (0, effects_1.getState)()));
+        // Aplicamos primero Reader (peel) y luego State (terminal).
+        const afterReader = (0, effects_1.handleReader)(prog, { amount: 7 });
+        const { result, state } = (0, effects_1.runState)(afterReader, 100);
+        (0, vitest_1.expect)(result).toBe(107);
+        (0, vitest_1.expect)(state).toBe(107);
+    });
+    (0, vitest_1.it)('State + Writer: cada paso registra el log y muta estado', () => {
+        function step(label, delta) {
+            return (0, effects_1.bind)((0, effects_1.tell)([label]), () => (0, effects_1.bind)((0, effects_1.modify)((s) => s + delta), () => (0, effects_1.pure)(undefined)));
+        }
+        const prog = (0, effects_1.bind)(step('a', 1), () => (0, effects_1.bind)(step('b', 2), () => step('c', 3)));
+        const afterWriter = (0, effects_1.handleWriter)(prog, (0, effects_1.listMonoid)());
+        const { result, state } = (0, effects_1.runState)(afterWriter, 0);
+        (0, vitest_1.expect)(state).toBe(6);
+        (0, vitest_1.expect)(result.log).toEqual(['a', 'b', 'c']);
+    });
+    (0, vitest_1.it)('Exception + State: throw devuelve error con estado en el momento del fallo', () => {
+        const prog = (0, effects_1.bind)((0, effects_1.modify)((s) => s + 1), () => (0, effects_1.bind)((0, effects_1.modify)((s) => s + 1), () => (0, effects_1.bind)((0, effects_1.throw_)('halt'), () => (0, effects_1.getState)())));
+        // Capturamos la excepción dejando intactos los efectos de estado y
+        // luego ejecutamos runState (que ve sólo State).
+        const caught = (0, effects_1.handleException)(prog);
+        const { result, state } = (0, effects_1.runState)(caught, 0);
+        (0, vitest_1.expect)(result).toEqual({ kind: 'error', error: 'halt' });
+        (0, vitest_1.expect)(state).toBe(2);
+    });
+    (0, vitest_1.it)('Reader + Writer + State: stack triple, cada efecto independiente', () => {
+        const prog = (0, effects_1.bind)((0, effects_1.ask)(), (env) => (0, effects_1.bind)((0, effects_1.tell)([`env=${env}`]), () => (0, effects_1.bind)((0, effects_1.modify)((s) => s + env), () => (0, effects_1.bind)((0, effects_1.getState)(), (s) => (0, effects_1.bind)((0, effects_1.tell)([`state=${s}`]), () => (0, effects_1.pure)(s))))));
+        const a1 = (0, effects_1.handleReader)(prog, 10);
+        const a2 = (0, effects_1.handleWriter)(a1, (0, effects_1.listMonoid)());
+        const { result, state } = (0, effects_1.runState)(a2, 5);
+        (0, vitest_1.expect)(state).toBe(15);
+        (0, vitest_1.expect)(result.result).toBe(15);
+        (0, vitest_1.expect)(result.log).toEqual(['env=10', 'state=15']);
+    });
+    (0, vitest_1.it)('handleException sobre Reader + Exception: error short-circuit', () => {
+        const prog = (0, effects_1.bind)((0, effects_1.ask)(), (env) => env > 0 ? (0, effects_1.pure)(env) : (0, effects_1.bind)((0, effects_1.throw_)('non-positive'), () => (0, effects_1.pure)(-1)));
+        const r1 = (0, effects_1.runException)((0, effects_1.handleReader)(prog, 7));
+        (0, vitest_1.expect)(r1).toEqual({ kind: 'ok', value: 7 });
+        const r2 = (0, effects_1.runException)((0, effects_1.handleReader)(prog, -1));
+        (0, vitest_1.expect)(r2).toEqual({ kind: 'error', error: 'non-positive' });
+    });
+    (0, vitest_1.it)('handle: handler genérico custom (Log) procesa una sola operación', () => {
+        // Definimos un efecto custom 'Log' y un handler que acumula mensajes.
+        const logProg = (0, effects_1.bind)((0, effects_1.perform)('Log', 'first'), () => (0, effects_1.bind)((0, effects_1.perform)('Log', 'second'), () => (0, effects_1.pure)(42)));
+        const collected = [];
+        const logHandler = {
+            effect: 'Log',
+            handle: (input, continuation) => {
+                collected.push(input);
+                return continuation(undefined);
+            },
+        };
+        const result = (0, effects_1.run)((0, effects_1.handle)(logProg, logHandler));
+        (0, vitest_1.expect)(result).toBe(42);
+        (0, vitest_1.expect)(collected).toEqual(['first', 'second']);
+    });
+    (0, vitest_1.it)('handle: handler ignora efectos de otro tag', () => {
+        // Programa con dos operaciones distintas; el handler de 'A' deja 'B' intacto.
+        const prog = (0, effects_1.bind)((0, effects_1.perform)('A', 10), (x) => (0, effects_1.bind)((0, effects_1.perform)('B', x + 1), (y) => (0, effects_1.pure)(y * 2)));
+        // Handler que duplica el input de 'A' como su output.
+        const handlerA = {
+            effect: 'A',
+            handle: (input, continuation) => continuation(input * 2),
+        };
+        // Handler que retorna el input de 'B' inalterado.
+        const handlerB = {
+            effect: 'B',
+            handle: (input, continuation) => continuation(input),
+        };
+        const stage1 = (0, effects_1.handle)(prog, handlerA);
+        const stage2 = (0, effects_1.handle)(stage1, handlerB);
+        // A(10) -> 20 ; B(21) -> 21 ; * 2 = 42
+        (0, vitest_1.expect)((0, effects_1.run)(stage2)).toBe(42);
+    });
+    (0, vitest_1.it)('handleState (componible) produce Eff<R, {result, state}> sin ejecutar', () => {
+        // Verifica que handleState devuelve un Eff puro cuando no quedan otros
+        // efectos, y que su valor coincide con runState.
+        const prog = (0, effects_1.bind)((0, effects_1.modify)((s) => s + 5), () => (0, effects_1.getState)());
+        const handled = (0, effects_1.handleState)(prog, 10);
+        // Como ya no quedan efectos, handled debe ser pure({ result, state }).
+        (0, vitest_1.expect)(handled.kind).toBe('pure');
+        if (handled.kind === 'pure') {
+            (0, vitest_1.expect)(handled.value.result).toBe(15);
+            (0, vitest_1.expect)(handled.value.state).toBe(15);
+        }
+    });
+});
+(0, vitest_1.describe)('effects / sequence con efectos', () => {
+    (0, vitest_1.it)('sequence sobre State acumula correctamente', () => {
+        const steps = [
+            (0, effects_1.bind)((0, effects_1.modify)((s) => s + 1), () => (0, effects_1.getState)()),
+            (0, effects_1.bind)((0, effects_1.modify)((s) => s * 2), () => (0, effects_1.getState)()),
+            (0, effects_1.bind)((0, effects_1.modify)((s) => s - 3), () => (0, effects_1.getState)()),
+        ];
+        const { result, state } = (0, effects_1.runState)((0, effects_1.sequence)(steps), 10);
+        // 10 -> 11 -> 22 -> 19
+        (0, vitest_1.expect)(result).toEqual([11, 22, 19]);
+        (0, vitest_1.expect)(state).toBe(19);
+    });
+});
+//# sourceMappingURL=effects.test.js.map

package/dist/tests/type-theory/effects/effects.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"effects.test.js","sourceRoot":"","sources":["../../../../src/tests/type-theory/effects/effects.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,0DA0BsC;AAGtC,IAAA,iBAAQ,EAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,GAAG,GAAG,IAAA,cAAI,EAAC,EAAE,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,IAAA,aAAG,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,GAAG,GAAG,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,cAAI,EAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,aAAG,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,GAAG,GAAG,IAAA,aAAG,EAAC,IAAA,cAAI,EAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,aAAG,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,IAAI,GAAyB,CAAC,IAAA,cAAI,EAAC,CAAC,CAAC,EAAE,IAAA,cAAI,EAAC,CAAC,CAAC,EAAE,IAAA,cAAI,EAAC,CAAC,CAAC,EAAE,IAAA,cAAI,EAAC,CAAC,CAAC,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,IAAA,aAAG,EAAC,IAAA,kBAAQ,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,CAAC,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,IAAA,cAAI,EAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,MAAM,GAAG,GAAG,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACjB,IAAA,eAAM,EAAC,IAAA,aAAG,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAA,aAAG,EAAC,GAAG,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,GAAG,IAAA,cAAI,EAAC,CAAC,CAAC,CAAC;QAClB,MAAM,GAAG,GAAG,IAAA,cAAI,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,cAAI,EAAC,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,aAAG,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAA,aAAG,EAAC,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,CAAC,GAAG,IAAA,cAAI,EAAC,CAAC,CAAC,CAAC;QAClB,MAAM,CAAC,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,IAAA,cAAI,EAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,IAAA,cAAI,EAAC,CAAC,GAAG,EAAE,CAAC,CAAC;QACtC,MAAM,GAAG,GAAG,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChC,MAAM,GAAG,GAAG,IAAA,cAAI,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,cAAI,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,aAAG,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAA,aAAG,EAAC,GAAG,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,kBAAQ,EAAC,IAAA,kBAAQ,GAAU,EAAE,GAAG,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,kBAAQ,EAAC,IAAA,kBAAQ,EAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,aAAa,EAAE,CAAC;QAC/B,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,IAAI,GAAG,IAAA,cAAI,EAAC,IAAA,kBAAQ,GAAU,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,kBAAQ,EAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9D,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,kBAAQ,EAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,SAAS,WAAW,CAAC,CAAS;YAC5B,IAAI,CAAC,KAAK,CAAC;gBAAE,OAAO,IAAA,kBAAQ,GAAU,CAAC;YACvC,OAAO,IAAA,cAAI,EACT,IAAA,gBAAM,EAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAC5B,GAAG,EAAE,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,CACzB,CAAC;QACJ,CAAC;QACD,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,kBAAQ,EAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpC,MAAM,SAAS,GAAG,IAAA,kBAAQ,EAAC,IAAA,gBAAM,EAAS,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAClD,MAAM,SAAS,GAAG,IAAA,kBAAQ,EACxB,IAAA,cAAI,EAAC,IAAA,kBAAQ,GAAU,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,kBAAQ,EAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAChD,CAAC,CACF,CAAC;QACF,IAAA,eAAM,EAAC,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,SAAS,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,kEAAkE;QAClE,MAAM,IAAI,GAAG,IAAA,cAAI,EAAC,IAAA,kBAAQ,GAAU,EAAE,CAAC,EAAE,EAAE,EAAE,CAC3C,IAAA,cAAI,EAAC,IAAA,kBAAQ,EAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,CAC1B,IAAA,cAAI,EAAC,IAAA,kBAAQ,GAAU,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,IAAA,cAAI,EAAC,IAAA,kBAAQ,EAAC,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,kBAAQ,GAAU,CAAC,CAAC,CACnF,CACF,CAAC;QACF,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,kBAAQ,EAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,IAAA,mBAAS,EAAC,IAAA,aAAG,GAAU,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,IAAI,GAAG,IAAA,cAAI,EAAwC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;QACtF,IAAA,eAAM,EAAC,IAAA,mBAAS,EAAC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,IAAI,GAAG,IAAA,cAAI,EAAC,IAAA,aAAG,GAAU,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,cAAI,EAAC,IAAA,aAAG,GAAU,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,cAAI,EAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACjF,IAAA,eAAM,EAAC,IAAA,mBAAS,EAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,IAAI,GAAG,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,cAAI,EAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3F,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,IAAA,mBAAS,EAAC,IAAI,EAAE,sBAAY,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,IAAI,GAAG,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CACnC,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,cAAI,EAAC,MAAM,CAAC,CAAC,CAAC,CAC9D,CAAC;QACF,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,IAAA,mBAAS,EAAC,IAAI,EAAE,IAAA,oBAAU,GAAU,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,IAAI,GAAG,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,cAAI,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1F,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,IAAA,mBAAS,EAAC,IAAI,EAAE,mBAAS,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACvB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,IAAI,GAAG,IAAA,cAAI,EAAC,IAAA,gBAAM,EAAS,MAAM,CAAC,EAAE,CAAC,OAAc,EAAqB,EAAE;YAC9E,uEAAuE;YACvE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;QACvD,CAAC,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,IAAA,sBAAY,EAAgB,IAAI,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,IAAI,GAAG,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,gBAAM,EAAmB,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QAC1E,MAAM,CAAC,GAAG,IAAA,sBAAY,EAA0B,IAAI,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;YAAE,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,IAAI,GAAG,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,cAAI,EAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC/C,MAAM,CAAC,GAAG,IAAA,sBAAY,EAAiB,IAAI,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,mEAAmE;QACnE,MAAM,IAAI,GAAG,IAAA,cAAI,EAAC,IAAA,aAAG,GAAsB,EAAE,CAAC,GAAG,EAAE,EAAE,CACnD,IAAA,cAAI,EACF,IAAA,gBAAM,EAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,EACrC,GAAG,EAAE,CAAC,IAAA,kBAAQ,GAAU,CACzB,CACF,CAAC;QACF,4DAA4D;QAC5D,MAAM,WAAW,GAAG,IAAA,sBAAY,EAAsC,IAAI,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC3F,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,kBAAQ,EAAiB,WAAW,EAAE,GAAG,CAAC,CAAC;QACrE,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,SAAS,IAAI,CAAC,KAAa,EAAE,KAAa;YACxC,OAAO,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,EAAE,CAC9B,IAAA,cAAI,EACF,IAAA,gBAAM,EAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,EAChC,GAAG,EAAE,CAAC,IAAA,cAAI,EAAC,SAAS,CAAC,CACtB,CACF,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,IAAA,cAAI,EAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,cAAI,EAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9E,MAAM,WAAW,GAAG,IAAA,sBAAY,EAA0B,IAAI,EAAE,IAAA,oBAAU,GAAU,CAAC,CAAC;QACtF,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,kBAAQ,EAA0C,WAAW,EAAE,CAAC,CAAC,CAAC;QAC5F,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,IAAI,GAAG,IAAA,cAAI,EACf,IAAA,gBAAM,EAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAC5B,GAAG,EAAE,CACH,IAAA,cAAI,EACF,IAAA,gBAAM,EAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAC5B,GAAG,EAAE,CAAC,IAAA,cAAI,EAAC,IAAA,gBAAM,EAAS,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,kBAAQ,GAAU,CAAC,CAC7D,CACJ,CAAC;QACF,mEAAmE;QACnE,iDAAiD;QACjD,MAAM,MAAM,GAAG,IAAA,yBAAe,EAA0B,IAAI,CAAC,CAAC;QAC9D,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,kBAAQ,EAGhC,MAAM,EAAE,CAAC,CAAC,CAAC;QACb,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,IAAI,GAAG,IAAA,cAAI,EAAC,IAAA,aAAG,GAAU,EAAE,CAAC,GAAG,EAAE,EAAE,CACvC,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,CAAC,OAAO,GAAG,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAC9B,IAAA,cAAI,EACF,IAAA,gBAAM,EAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,EAC9B,GAAG,EAAE,CAAC,IAAA,cAAI,EAAC,IAAA,kBAAQ,GAAU,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,cAAI,EAAC,CAAC,CAAC,CAAC,CAAC,CACjF,CACF,CACF,CAAC;QACF,MAAM,EAAE,GAAG,IAAA,sBAAY,EAA0B,IAAI,EAAE,EAAE,CAAC,CAAC;QAC3D,MAAM,EAAE,GAAG,IAAA,sBAAY,EAA4B,EAAE,EAAE,IAAA,oBAAU,GAAU,CAAC,CAAC;QAC7E,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,kBAAQ,EAA4C,EAAE,EAAE,CAAC,CAAC,CAAC;QACrF,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,IAAI,GAAG,IAAA,cAAI,EAAC,IAAA,aAAG,GAAU,EAAE,CAAC,GAAG,EAAE,EAAE,CACvC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,IAAA,cAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAA,cAAI,EAAC,IAAA,gBAAM,EAAS,cAAc,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,cAAI,EAAC,CAAC,CAAC,CAAC,CAAC,CAC3E,CAAC;QACF,MAAM,EAAE,GAAG,IAAA,sBAAY,EAAiB,IAAA,sBAAY,EAA0B,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACxF,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QAC7C,MAAM,EAAE,GAAG,IAAA,sBAAY,EAAiB,IAAA,sBAAY,EAA0B,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACzF,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,sEAAsE;QACtE,MAAM,OAAO,GAAG,IAAA,cAAI,EAAC,IAAA,iBAAO,EAA2B,KAAK,EAAE,OAAO,CAAC,EAAE,GAAG,EAAE,CAC3E,IAAA,cAAI,EAAC,IAAA,iBAAO,EAA2B,KAAK,EAAE,QAAQ,CAAC,EAAE,GAAG,EAAE,CAAC,IAAA,cAAI,EAAC,EAAE,CAAC,CAAC,CACzE,CAAC;QACF,MAAM,SAAS,GAAa,EAAE,CAAC;QAC/B,MAAM,UAAU,GAAoD;YAClE,MAAM,EAAE,KAAK;YACb,MAAM,EAAE,CAAC,KAAK,EAAE,YAAY,EAAE,EAAE;gBAC9B,SAAS,CAAC,IAAI,CAAC,KAAe,CAAC,CAAC;gBAChC,OAAO,YAAY,CAAC,SAAS,CAAC,CAAC;YACjC,CAAC;SACF,CAAC;QACF,MAAM,MAAM,GAAG,IAAA,aAAG,EAAC,IAAA,gBAAM,EAAyB,OAAO,EAAE,UAAU,CAAC,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,8EAA8E;QAC9E,MAAM,IAAI,GAAG,IAAA,cAAI,EAAC,IAAA,iBAAO,EAAsB,GAAG,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAC7D,IAAA,cAAI,EAAC,IAAA,iBAAO,EAAsB,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,cAAI,EAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CACnE,CAAC;QACF,sDAAsD;QACtD,MAAM,QAAQ,GAAoD;YAChE,MAAM,EAAE,GAAG;YACX,MAAM,EAAE,CAAC,KAAK,EAAE,YAAY,EAAE,EAAE,CAAC,YAAY,CAAE,KAAgB,GAAG,CAAC,CAAC;SACrE,CAAC;QACF,kDAAkD;QAClD,MAAM,QAAQ,GAAoD;YAChE,MAAM,EAAE,GAAG;YACX,MAAM,EAAE,CAAC,KAAK,EAAE,YAAY,EAAE,EAAE,CAAC,YAAY,CAAC,KAAe,CAAC;SAC/D,CAAC;QACF,MAAM,MAAM,GAAG,IAAA,gBAAM,EAA2B,IAAI,EAAE,QAAQ,CAAC,CAAC;QAChE,MAAM,MAAM,GAAG,IAAA,gBAAM,EAAyB,MAAM,EAAE,QAAQ,CAAC,CAAC;QAChE,uCAAuC;QACvC,IAAA,eAAM,EAAC,IAAA,aAAG,EAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,uEAAuE;QACvE,iDAAiD;QACjD,MAAM,IAAI,GAAG,IAAA,cAAI,EACf,IAAA,gBAAM,EAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAC5B,GAAG,EAAE,CAAC,IAAA,kBAAQ,GAAU,CACzB,CAAC;QACF,MAAM,OAAO,GAAG,IAAA,qBAAW,EAAwB,IAAI,EAAE,EAAE,CAAC,CAAC;QAC7D,uEAAuE;QACvE,IAAA,eAAM,EAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClC,IAAI,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YAC5B,IAAA,eAAM,EAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACtC,IAAA,eAAM,EAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvC,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,KAAK,GAA2B;YACpC,IAAA,cAAI,EACF,IAAA,gBAAM,EAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAC5B,GAAG,EAAE,CAAC,IAAA,kBAAQ,GAAU,CACzB;YACD,IAAA,cAAI,EACF,IAAA,gBAAM,EAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAC5B,GAAG,EAAE,CAAC,IAAA,kBAAQ,GAAU,CACzB;YACD,IAAA,cAAI,EACF,IAAA,gBAAM,EAAS,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAC5B,GAAG,EAAE,CAAC,IAAA,kBAAQ,GAAU,CACzB;SACF,CAAC;QACF,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,kBAAQ,EAAmB,IAAA,kBAAQ,EAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;QAC1E,uBAAuB;QACvB,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tooling/exporters/lean4/index.d.ts

@@ -0,0 +1,47 @@
+import { Formula, Proof } from '../../../types';
+export interface Lean4ExportOptions {
+    /** Default: 'STExport' */
+    moduleName?: string;
+    /** Explicit import list. When omitted, picks default depending on `useMathlib`. */
+    imports?: string[];
+    /** Default: true — when true and `imports` not set, uses Mathlib preset. */
+    useMathlib?: boolean;
+    /** Default: true — emits a `theorem stmt_proof : stmt := by ...` skeleton. */
+    emitProof?: boolean;
+}
+export declare const COMMON_IMPORTS: Record<'standard' | 'mathlib' | 'minimal', string[]>;
+/**
+ * Maps ST/Unicode logical operators to their Lean 4 surface syntax.
+ * Lean 4 happens to accept the same Unicode glyphs, but we keep the
+ * map explicit so downstream tooling can introspect the mapping.
+ */
+export declare const LEAN4_OPS: Map<string, string>;
+/**
+ * Converts an ST Formula AST node into a Lean 4 Prop expression string.
+ * Unsupported kinds emit `(/- unsupported: <kind> -/)` so dropped
+ * sub-trees are visible to the reader.
+ */
+export declare function formulaToLeanTerm(formula: Formula): string;
+/**
+ * Translates a natural-deduction rule label into a Lean 4 tactic.
+ * Used by callers that already know what rule they want to apply
+ * outside the context of a full proof step.
+ */
+export declare function leanTacticForRule(rule: string): string;
+/**
+ * Exports a single ST Formula as a Lean 4 module containing a
+ * `def stmt : Prop := ...` and an optional `theorem stmt_proof : stmt := by ...`.
+ */
+export declare function exportToLean4(formula: Formula, opts?: Lean4ExportOptions): string;
+/**
+ * Exports an ST Proof object as a Lean 4 module whose theorem body is
+ * derived from the proof steps.
+ */
+export declare function exportProofToLean4(proof: Proof, opts?: Lean4ExportOptions): string;
+/**
+ * Exports a small theory (axioms + theorems) as a single Lean 4 module.
+ * Axioms become `axiom ax_i : <prop>` declarations; theorems become
+ * `theorem th_i : <prop> := by sorry` skeletons that the user fills in.
+ */
+export declare function exportTheoryToLean4(axioms: Formula[], theorems: Formula[], opts?: Lean4ExportOptions): string;
+//# sourceMappingURL=index.d.ts.map

package/dist/tooling/exporters/lean4/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/tooling/exporters/lean4/index.ts"],"names":[],"mappings":"AAaA,OAAO,EAAE,OAAO,EAAE,KAAK,EAAa,MAAM,gBAAgB,CAAC;AAM3D,MAAM,WAAW,kBAAkB;IACjC,0BAA0B;IAC1B,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,mFAAmF;IACnF,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,4EAA4E;IAC5E,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,8EAA8E;IAC9E,SAAS,CAAC,EAAE,OAAO,CAAC;CACrB;AAMD,eAAO,MAAM,cAAc,EAAE,MAAM,CAAC,UAAU,GAAG,SAAS,GAAG,SAAS,EAAE,MAAM,EAAE,CAO/E,CAAC;AAMF;;;;GAIG;AACH,eAAO,MAAM,SAAS,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAUxC,CAAC;AAMH;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,CAsE1D;AAkBD;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CA8DtD;AA2ID;;;GAGG;AACH,wBAAgB,aAAa,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,CAAC,EAAE,kBAAkB,GAAG,MAAM,CA4BjF;AAED;;;GAGG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,kBAAkB,GAAG,MAAM,CA4BlF;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,OAAO,EAAE,EACjB,QAAQ,EAAE,OAAO,EAAE,EACnB,IAAI,CAAC,EAAE,kBAAkB,GACxB,MAAM,CAgCR"}