@stevenvo780/st-lang 4.7.0 → 4.9.0

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

@@ -0,0 +1,207 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const cubical_1 = require("../../../type-theory/cubical");
+function unwrap(r) {
+    if ((0, cubical_1.isInferErrorCubical)(r))
+        throw new Error(`unexpected error: ${r.error}`);
+    return r;
+}
+(0, vitest_1.describe)('CTT-Lite / interval algebra', () => {
+    (0, vitest_1.it)('isIntervalExpr reconoce i0, i1, iVar', () => {
+        (0, vitest_1.expect)((0, cubical_1.isIntervalExpr)((0, cubical_1.cI0)())).toBe(true);
+        (0, vitest_1.expect)((0, cubical_1.isIntervalExpr)((0, cubical_1.cI1)())).toBe(true);
+        (0, vitest_1.expect)((0, cubical_1.isIntervalExpr)((0, cubical_1.cIVar)('i'))).toBe(true);
+        (0, vitest_1.expect)((0, cubical_1.isIntervalExpr)((0, cubical_1.cIMin)((0, cubical_1.cI0)(), (0, cubical_1.cIVar)('i')))).toBe(true);
+        (0, vitest_1.expect)((0, cubical_1.isIntervalExpr)((0, cubical_1.cIMax)((0, cubical_1.cI1)(), (0, cubical_1.cIVar)('i')))).toBe(true);
+        (0, vitest_1.expect)((0, cubical_1.isIntervalExpr)((0, cubical_1.cINeg)((0, cubical_1.cIVar)('i')))).toBe(true);
+    });
+    (0, vitest_1.it)('isIntervalExpr rechaza términos no interválicos', () => {
+        (0, vitest_1.expect)((0, cubical_1.isIntervalExpr)((0, cubical_1.cVar)('x'))).toBe(false);
+        (0, vitest_1.expect)((0, cubical_1.isIntervalExpr)((0, cubical_1.cUniverse)(0))).toBe(false);
+        (0, vitest_1.expect)((0, cubical_1.isIntervalExpr)((0, cubical_1.cLam)('x', (0, cubical_1.cUniverse)(0), (0, cubical_1.cVar)('x')))).toBe(false);
+    });
+    (0, vitest_1.it)('evalInterval: extremos y leyes 1 - 0 ≡ 1, 1 - 1 ≡ 0', () => {
+        (0, vitest_1.expect)((0, cubical_1.evalInterval)((0, cubical_1.cI0)())).toBe(0);
+        (0, vitest_1.expect)((0, cubical_1.evalInterval)((0, cubical_1.cI1)())).toBe(1);
+        (0, vitest_1.expect)((0, cubical_1.evalInterval)((0, cubical_1.cINeg)((0, cubical_1.cI0)()))).toBe(1);
+        (0, vitest_1.expect)((0, cubical_1.evalInterval)((0, cubical_1.cINeg)((0, cubical_1.cI1)()))).toBe(0);
+    });
+    (0, vitest_1.it)('evalInterval: 0 ∧ i ≡ 0, 1 ∧ i ≡ i, 0 ∨ i ≡ i, 1 ∨ i ≡ 1', () => {
+        (0, vitest_1.expect)((0, cubical_1.evalInterval)((0, cubical_1.cIMin)((0, cubical_1.cI0)(), (0, cubical_1.cIVar)('i')))).toBe(0);
+        (0, vitest_1.expect)((0, cubical_1.evalInterval)((0, cubical_1.cIMin)((0, cubical_1.cI1)(), (0, cubical_1.cI0)()))).toBe(0);
+        (0, vitest_1.expect)((0, cubical_1.evalInterval)((0, cubical_1.cIMin)((0, cubical_1.cI1)(), (0, cubical_1.cI1)()))).toBe(1);
+        (0, vitest_1.expect)((0, cubical_1.evalInterval)((0, cubical_1.cIMax)((0, cubical_1.cI1)(), (0, cubical_1.cIVar)('i')))).toBe(1);
+        (0, vitest_1.expect)((0, cubical_1.evalInterval)((0, cubical_1.cIMax)((0, cubical_1.cI0)(), (0, cubical_1.cI1)()))).toBe(1);
+        (0, vitest_1.expect)((0, cubical_1.evalInterval)((0, cubical_1.cIMax)((0, cubical_1.cI0)(), (0, cubical_1.cI0)()))).toBe(0);
+    });
+    (0, vitest_1.it)('evalInterval: variable libre devuelve gen', () => {
+        (0, vitest_1.expect)((0, cubical_1.evalInterval)((0, cubical_1.cIVar)('i'))).toBe('gen');
+        (0, vitest_1.expect)((0, cubical_1.evalInterval)((0, cubical_1.cIMin)((0, cubical_1.cIVar)('i'), (0, cubical_1.cIVar)('j')))).toBe('gen');
+    });
+    (0, vitest_1.it)('evalInterval: environment {i ↦ 1} resuelve i a 1', () => {
+        const env = new Map([['i', 1]]);
+        (0, vitest_1.expect)((0, cubical_1.evalInterval)((0, cubical_1.cIVar)('i'), env)).toBe(1);
+        (0, vitest_1.expect)((0, cubical_1.evalInterval)((0, cubical_1.cINeg)((0, cubical_1.cIVar)('i')), env)).toBe(0);
+        (0, vitest_1.expect)((0, cubical_1.evalInterval)((0, cubical_1.cIMin)((0, cubical_1.cIVar)('i'), (0, cubical_1.cI1)()), env)).toBe(1);
+    });
+    (0, vitest_1.it)('normalizeInterval: ~ ~ i ≡ i (involución)', () => {
+        const t = (0, cubical_1.cINeg)((0, cubical_1.cINeg)((0, cubical_1.cIVar)('i')));
+        const n = (0, cubical_1.normalizeInterval)(t);
+        (0, vitest_1.expect)((0, cubical_1.alphaEq)(n, (0, cubical_1.cIVar)('i'))).toBe(true);
+    });
+    (0, vitest_1.it)('normalizeInterval: 1 ∧ (0 ∨ i) ≡ i', () => {
+        const t = (0, cubical_1.cIMin)((0, cubical_1.cI1)(), (0, cubical_1.cIMax)((0, cubical_1.cI0)(), (0, cubical_1.cIVar)('i')));
+        const n = (0, cubical_1.normalizeInterval)(t);
+        (0, vitest_1.expect)((0, cubical_1.alphaEq)(n, (0, cubical_1.cIVar)('i'))).toBe(true);
+    });
+});
+(0, vitest_1.describe)('CTT-Lite / pLam y pApp (β del intervalo)', () => {
+    (0, vitest_1.it)('(λi. x) @ i0 ≡ x', () => {
+        const p = (0, cubical_1.cPLam)('i', (0, cubical_1.cVar)('x'));
+        const reduced = (0, cubical_1.normalize)((0, cubical_1.cPApp)(p, (0, cubical_1.cI0)()));
+        (0, vitest_1.expect)((0, cubical_1.alphaEq)(reduced, (0, cubical_1.cVar)('x'))).toBe(true);
+    });
+    (0, vitest_1.it)('(λi. x) @ i1 ≡ x', () => {
+        const p = (0, cubical_1.cPLam)('i', (0, cubical_1.cVar)('x'));
+        const reduced = (0, cubical_1.normalize)((0, cubical_1.cPApp)(p, (0, cubical_1.cI1)()));
+        (0, vitest_1.expect)((0, cubical_1.alphaEq)(reduced, (0, cubical_1.cVar)('x'))).toBe(true);
+    });
+    (0, vitest_1.it)('(λi. i) @ i0 ≡ i0 y @ i1 ≡ i1 (path variable identidad)', () => {
+        const p = (0, cubical_1.cPLam)('i', (0, cubical_1.cIVar)('i'));
+        (0, vitest_1.expect)((0, cubical_1.alphaEq)((0, cubical_1.normalize)((0, cubical_1.cPApp)(p, (0, cubical_1.cI0)())), (0, cubical_1.cI0)())).toBe(true);
+        (0, vitest_1.expect)((0, cubical_1.alphaEq)((0, cubical_1.normalize)((0, cubical_1.cPApp)(p, (0, cubical_1.cI1)())), (0, cubical_1.cI1)())).toBe(true);
+    });
+});
+(0, vitest_1.describe)('CTT-Lite / reflPath y boundary', () => {
+    (0, vitest_1.it)('reflPath(x) @ i0 ≡ x', () => {
+        const p = (0, cubical_1.reflPath)((0, cubical_1.cVar)('x'));
+        (0, vitest_1.expect)((0, cubical_1.alphaEq)((0, cubical_1.normalize)((0, cubical_1.cPApp)(p, (0, cubical_1.cI0)())), (0, cubical_1.cVar)('x'))).toBe(true);
+    });
+    (0, vitest_1.it)('reflPath(x) @ i1 ≡ x', () => {
+        const p = (0, cubical_1.reflPath)((0, cubical_1.cVar)('x'));
+        (0, vitest_1.expect)((0, cubical_1.alphaEq)((0, cubical_1.normalize)((0, cubical_1.cPApp)(p, (0, cubical_1.cI1)())), (0, cubical_1.cVar)('x'))).toBe(true);
+    });
+    (0, vitest_1.it)('pathInverse(reflPath(x)) ≡ reflPath(x) (porque i no ocurre)', () => {
+        const r = (0, cubical_1.reflPath)((0, cubical_1.cVar)('x'));
+        (0, vitest_1.expect)((0, cubical_1.alphaEq)((0, cubical_1.pathInverse)(r), r)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('CTT-Lite / composición (identidades sintácticas)', () => {
+    (0, vitest_1.it)('pathCompose(reflPath(x), p) ≡ p (identidad izquierda)', () => {
+        // path no-trivial: λi. f i (depende de i)
+        const p = (0, cubical_1.cPLam)('i', (0, cubical_1.cPApp)((0, cubical_1.cVar)('q'), (0, cubical_1.cIVar)('i')));
+        const c = (0, cubical_1.pathCompose)((0, cubical_1.reflPath)((0, cubical_1.cVar)('x')), p);
+        (0, vitest_1.expect)((0, cubical_1.alphaEq)(c, p)).toBe(true);
+    });
+    (0, vitest_1.it)('pathCompose(p, reflPath(x)) ≡ p (identidad derecha)', () => {
+        const p = (0, cubical_1.cPLam)('i', (0, cubical_1.cPApp)((0, cubical_1.cVar)('q'), (0, cubical_1.cIVar)('i')));
+        const c = (0, cubical_1.pathCompose)(p, (0, cubical_1.reflPath)((0, cubical_1.cVar)('x')));
+        (0, vitest_1.expect)((0, cubical_1.alphaEq)(c, p)).toBe(true);
+    });
+    (0, vitest_1.it)('composición asociativa (sintáctica) con dos reflPath', () => {
+        const p = (0, cubical_1.cPLam)('i', (0, cubical_1.cPApp)((0, cubical_1.cVar)('q'), (0, cubical_1.cIVar)('i')));
+        const r1 = (0, cubical_1.reflPath)((0, cubical_1.cVar)('a'));
+        const r2 = (0, cubical_1.reflPath)((0, cubical_1.cVar)('b'));
+        // (p · r1) · r2 ≡ p ≡ p · (r1 · r2)
+        const lhs = (0, cubical_1.pathCompose)((0, cubical_1.pathCompose)(p, r1), r2);
+        const rhs = (0, cubical_1.pathCompose)(p, (0, cubical_1.pathCompose)(r1, r2));
+        (0, vitest_1.expect)((0, cubical_1.alphaEq)(lhs, rhs)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('CTT-Lite / inferencia de tipos', () => {
+    (0, vitest_1.it)('i0 : I  e  i1 : I', () => {
+        const t0 = unwrap((0, cubical_1.inferType)((0, cubical_1.cI0)()));
+        const t1 = unwrap((0, cubical_1.inferType)((0, cubical_1.cI1)()));
+        (0, vitest_1.expect)(t0.kind === 'var' && t0.name === '__I__').toBe(true);
+        (0, vitest_1.expect)(t1.kind === 'var' && t1.name === '__I__').toBe(true);
+    });
+    (0, vitest_1.it)('~ i0 : I', () => {
+        const t = unwrap((0, cubical_1.inferType)((0, cubical_1.cINeg)((0, cubical_1.cI0)())));
+        (0, vitest_1.expect)(t.kind === 'var' && t.name === '__I__').toBe(true);
+    });
+    (0, vitest_1.it)('iMin/iMax sobre extremos: bien tipados', () => {
+        (0, vitest_1.expect)((0, cubical_1.isInferErrorCubical)((0, cubical_1.inferType)((0, cubical_1.cIMin)((0, cubical_1.cI0)(), (0, cubical_1.cI1)())))).toBe(false);
+        (0, vitest_1.expect)((0, cubical_1.isInferErrorCubical)((0, cubical_1.inferType)((0, cubical_1.cIMax)((0, cubical_1.cI0)(), (0, cubical_1.cI1)())))).toBe(false);
+    });
+    (0, vitest_1.it)('reflPath(x) infiere PathP _ x x cuando x es tipado', () => {
+        // Construimos λi. x dentro de un contexto donde x : Type 0
+        // (no usamos contexto: x es libre y refl no exige tipar la base si el
+        // body es independiente del intervalo)
+        const r = (0, cubical_1.reflPath)((0, cubical_1.cVar)('x'));
+        // No exigimos tipar (variable libre); sólo verificamos forma normal
+        // y β. La inferencia falla limpiamente al pedir el tipo de la variable.
+        const t = (0, cubical_1.inferType)(r);
+        (0, vitest_1.expect)((0, cubical_1.isInferErrorCubical)(t)).toBe(true);
+    });
+    (0, vitest_1.it)('λi. i0 : PathP _ i0 i0  (path en I, constante en los extremos)', () => {
+        const p = (0, cubical_1.cPLam)('i', (0, cubical_1.cI0)());
+        const t = unwrap((0, cubical_1.inferType)(p));
+        (0, vitest_1.expect)(t.kind).toBe('pathP');
+        if (t.kind !== 'pathP')
+            throw new Error('expected pathP');
+        (0, vitest_1.expect)((0, cubical_1.alphaEq)(t.left, (0, cubical_1.cI0)())).toBe(true);
+        (0, vitest_1.expect)((0, cubical_1.alphaEq)(t.right, (0, cubical_1.cI0)())).toBe(true);
+    });
+    (0, vitest_1.it)('p @ r requiere PathP en p', () => {
+        // p no es PathP → error
+        const bad = (0, cubical_1.cPApp)((0, cubical_1.cVar)('p'), (0, cubical_1.cI0)());
+        (0, vitest_1.expect)((0, cubical_1.isInferErrorCubical)((0, cubical_1.inferType)(bad))).toBe(true);
+    });
+    (0, vitest_1.it)('p @ r requiere I en r (no Type)', () => {
+        const p = (0, cubical_1.cPLam)('i', (0, cubical_1.cI0)()); // : PathP _ i0 i0
+        const bad = (0, cubical_1.cPApp)(p, (0, cubical_1.cUniverse)(0));
+        (0, vitest_1.expect)((0, cubical_1.isInferErrorCubical)((0, cubical_1.inferType)(bad))).toBe(true);
+    });
+});
+(0, vitest_1.describe)('CTT-Lite / glue', () => {
+    (0, vitest_1.it)('glue(e, partial) construye un término sintáctico', () => {
+        const g = (0, cubical_1.glue)((0, cubical_1.cVar)('e'), (0, cubical_1.cVar)('p'));
+        (0, vitest_1.expect)(g.kind).toBe('glue');
+        if (g.kind !== 'glue')
+            throw new Error('expected glue');
+        (0, vitest_1.expect)((0, cubical_1.alphaEq)(g.equiv, (0, cubical_1.cVar)('e'))).toBe(true);
+        (0, vitest_1.expect)((0, cubical_1.alphaEq)(g.partial, (0, cubical_1.cVar)('p'))).toBe(true);
+    });
+});
+(0, vitest_1.describe)('CTT-Lite / αβ-equivalencia bajo normalización', () => {
+    (0, vitest_1.it)('λi. (λi. x) @ i  ≡  λi. x  por β interválica', () => {
+        const lhs = (0, cubical_1.cPLam)('i', (0, cubical_1.cPApp)((0, cubical_1.cPLam)('i', (0, cubical_1.cVar)('x')), (0, cubical_1.cIVar)('i')));
+        const rhs = (0, cubical_1.cPLam)('i', (0, cubical_1.cVar)('x'));
+        (0, vitest_1.expect)((0, cubical_1.alphaBetaEq)(lhs, rhs)).toBe(true);
+    });
+    (0, vitest_1.it)('PathP estructural: alphaEq distingue argumentos', () => {
+        const p1 = (0, cubical_1.cPathP)((0, cubical_1.cPLam)('i', (0, cubical_1.cUniverse)(0)), (0, cubical_1.cVar)('a'), (0, cubical_1.cVar)('b'));
+        const p2 = (0, cubical_1.cPathP)((0, cubical_1.cPLam)('i', (0, cubical_1.cUniverse)(0)), (0, cubical_1.cVar)('a'), (0, cubical_1.cVar)('c'));
+        (0, vitest_1.expect)((0, cubical_1.alphaEq)(p1, p1)).toBe(true);
+        (0, vitest_1.expect)((0, cubical_1.alphaEq)(p1, p2)).toBe(false);
+    });
+});
+(0, vitest_1.describe)('CTT-Lite / serialización', () => {
+    (0, vitest_1.it)('termToString incluye conectores ∧ ∨ ~ y @', () => {
+        const s = (0, cubical_1.termToString)((0, cubical_1.cIMin)((0, cubical_1.cIVar)('i'), (0, cubical_1.cINeg)((0, cubical_1.cIVar)('j'))));
+        (0, vitest_1.expect)(s).toContain('∧');
+        (0, vitest_1.expect)(s).toContain('~');
+        const s2 = (0, cubical_1.termToString)((0, cubical_1.cPApp)((0, cubical_1.cPLam)('i', (0, cubical_1.cVar)('x')), (0, cubical_1.cI0)()));
+        (0, vitest_1.expect)(s2).toContain('@');
+    });
+});
+(0, vitest_1.describe)('CTT-Lite / consistencia tipo-término en arrow type', () => {
+    (0, vitest_1.it)('cArrow construye Π con bind = _', () => {
+        const t = (0, cubical_1.cArrow)((0, cubical_1.cUniverse)(0), (0, cubical_1.cUniverse)(0));
+        (0, vitest_1.expect)(t.kind).toBe('pi');
+        if (t.kind !== 'pi')
+            throw new Error('expected pi');
+        (0, vitest_1.expect)(t.bind).toBe('_');
+    });
+    (0, vitest_1.it)('cPi/cLam/cApp respetan β en aplicación normal', () => {
+        // (λx:Type. x) (Type 0)  ↦  Type 0
+        const lam = (0, cubical_1.cLam)('x', (0, cubical_1.cUniverse)(0), (0, cubical_1.cVar)('x'));
+        const app = (0, cubical_1.cApp)(lam, (0, cubical_1.cUniverse)(0));
+        (0, vitest_1.expect)((0, cubical_1.alphaEq)((0, cubical_1.normalize)(app), (0, cubical_1.cUniverse)(0))).toBe(true);
+        // Y el chequeo de tipos no explota
+        const piT = (0, cubical_1.cPi)('x', (0, cubical_1.cUniverse)(0), (0, cubical_1.cUniverse)(0));
+        (0, vitest_1.expect)(piT.kind).toBe('pi');
+    });
+});
+//# sourceMappingURL=cubical.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"cubical.test.js","sourceRoot":"","sources":["../../../../src/tests/type-theory/cubical/cubical.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,0DA8BsC;AAEtC,SAAS,MAAM,CAAC,CAA+B;IAC7C,IAAI,IAAA,6BAAmB,EAAC,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IAC5E,OAAO,CAAC,CAAC;AACX,CAAC;AAED,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,IAAA,aAAG,GAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,IAAA,aAAG,GAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,IAAA,eAAK,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,IAAA,eAAK,EAAC,IAAA,aAAG,GAAE,EAAE,IAAA,eAAK,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,IAAA,eAAK,EAAC,IAAA,aAAG,GAAE,EAAE,IAAA,eAAK,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,IAAA,eAAK,EAAC,IAAA,eAAK,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,IAAA,cAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,IAAA,mBAAS,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,IAAA,wBAAc,EAAC,IAAA,cAAI,EAAC,GAAG,EAAE,IAAA,mBAAS,EAAC,CAAC,CAAC,EAAE,IAAA,cAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,IAAA,eAAM,EAAC,IAAA,sBAAY,EAAC,IAAA,aAAG,GAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,sBAAY,EAAC,IAAA,aAAG,GAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,sBAAY,EAAC,IAAA,eAAK,EAAC,IAAA,aAAG,GAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,sBAAY,EAAC,IAAA,eAAK,EAAC,IAAA,aAAG,GAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,IAAA,eAAM,EAAC,IAAA,sBAAY,EAAC,IAAA,eAAK,EAAC,IAAA,aAAG,GAAE,EAAE,IAAA,eAAK,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,IAAA,sBAAY,EAAC,IAAA,eAAK,EAAC,IAAA,aAAG,GAAE,EAAE,IAAA,aAAG,GAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,IAAA,sBAAY,EAAC,IAAA,eAAK,EAAC,IAAA,aAAG,GAAE,EAAE,IAAA,aAAG,GAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,IAAA,sBAAY,EAAC,IAAA,eAAK,EAAC,IAAA,aAAG,GAAE,EAAE,IAAA,eAAK,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,IAAA,sBAAY,EAAC,IAAA,eAAK,EAAC,IAAA,aAAG,GAAE,EAAE,IAAA,aAAG,GAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,IAAA,sBAAY,EAAC,IAAA,eAAK,EAAC,IAAA,aAAG,GAAE,EAAE,IAAA,aAAG,GAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,IAAA,eAAM,EAAC,IAAA,sBAAY,EAAC,IAAA,eAAK,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,sBAAY,EAAC,IAAA,eAAK,EAAC,IAAA,eAAK,EAAC,GAAG,CAAC,EAAE,IAAA,eAAK,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,GAAG,GAAG,IAAI,GAAG,CAAgB,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAA,sBAAY,EAAC,IAAA,eAAK,EAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,sBAAY,EAAC,IAAA,eAAK,EAAC,IAAA,eAAK,EAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,IAAA,sBAAY,EAAC,IAAA,eAAK,EAAC,IAAA,eAAK,EAAC,GAAG,CAAC,EAAE,IAAA,aAAG,GAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,IAAA,eAAK,EAAC,IAAA,eAAK,EAAC,IAAA,eAAK,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,IAAA,2BAAiB,EAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,CAAC,EAAE,IAAA,eAAK,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,IAAA,eAAK,EAAC,IAAA,aAAG,GAAE,EAAE,IAAA,eAAK,EAAC,IAAA,aAAG,GAAE,EAAE,IAAA,eAAK,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,GAAG,IAAA,2BAAiB,EAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,CAAC,EAAE,IAAA,eAAK,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,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,CAAC,GAAG,IAAA,eAAK,EAAC,GAAG,EAAE,IAAA,cAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QAChC,MAAM,OAAO,GAAG,IAAA,mBAAS,EAAC,IAAA,eAAK,EAAC,CAAC,EAAE,IAAA,aAAG,GAAE,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,OAAO,EAAE,IAAA,cAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,CAAC,GAAG,IAAA,eAAK,EAAC,GAAG,EAAE,IAAA,cAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QAChC,MAAM,OAAO,GAAG,IAAA,mBAAS,EAAC,IAAA,eAAK,EAAC,CAAC,EAAE,IAAA,aAAG,GAAE,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,OAAO,EAAE,IAAA,cAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAG,IAAA,eAAK,EAAC,GAAG,EAAE,IAAA,eAAK,EAAC,GAAG,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,IAAA,mBAAS,EAAC,IAAA,eAAK,EAAC,CAAC,EAAE,IAAA,aAAG,GAAE,CAAC,CAAC,EAAE,IAAA,aAAG,GAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,IAAA,mBAAS,EAAC,IAAA,eAAK,EAAC,CAAC,EAAE,IAAA,aAAG,GAAE,CAAC,CAAC,EAAE,IAAA,aAAG,GAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,CAAC,GAAG,IAAA,kBAAQ,EAAC,IAAA,cAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,IAAA,mBAAS,EAAC,IAAA,eAAK,EAAC,CAAC,EAAE,IAAA,aAAG,GAAE,CAAC,CAAC,EAAE,IAAA,cAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,CAAC,GAAG,IAAA,kBAAQ,EAAC,IAAA,cAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,IAAA,mBAAS,EAAC,IAAA,eAAK,EAAC,CAAC,EAAE,IAAA,aAAG,GAAE,CAAC,CAAC,EAAE,IAAA,cAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,CAAC,GAAG,IAAA,kBAAQ,EAAC,IAAA,cAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,IAAA,qBAAW,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kDAAkD,EAAE,GAAG,EAAE;IAChE,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,0CAA0C;QAC1C,MAAM,CAAC,GAAG,IAAA,eAAK,EAAC,GAAG,EAAE,IAAA,eAAK,EAAC,IAAA,cAAI,EAAC,GAAG,CAAC,EAAE,IAAA,eAAK,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACnD,MAAM,CAAC,GAAG,IAAA,qBAAW,EAAC,IAAA,kBAAQ,EAAC,IAAA,cAAI,EAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,IAAA,eAAK,EAAC,GAAG,EAAE,IAAA,eAAK,EAAC,IAAA,cAAI,EAAC,GAAG,CAAC,EAAE,IAAA,eAAK,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACnD,MAAM,CAAC,GAAG,IAAA,qBAAW,EAAC,CAAC,EAAE,IAAA,kBAAQ,EAAC,IAAA,cAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,IAAA,eAAK,EAAC,GAAG,EAAE,IAAA,eAAK,EAAC,IAAA,cAAI,EAAC,GAAG,CAAC,EAAE,IAAA,eAAK,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACnD,MAAM,EAAE,GAAG,IAAA,kBAAQ,EAAC,IAAA,cAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QAC/B,MAAM,EAAE,GAAG,IAAA,kBAAQ,EAAC,IAAA,cAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QAC/B,oCAAoC;QACpC,MAAM,GAAG,GAAG,IAAA,qBAAW,EAAC,IAAA,qBAAW,EAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;QAChD,MAAM,GAAG,GAAG,IAAA,qBAAW,EAAC,CAAC,EAAE,IAAA,qBAAW,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,EAAE,GAAG,MAAM,CAAC,IAAA,mBAAS,EAAC,IAAA,aAAG,GAAE,CAAC,CAAC,CAAC;QACpC,MAAM,EAAE,GAAG,MAAM,CAAC,IAAA,mBAAS,EAAC,IAAA,aAAG,GAAE,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,UAAU,EAAE,GAAG,EAAE;QAClB,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,mBAAS,EAAC,IAAA,eAAK,EAAC,IAAA,aAAG,GAAE,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,IAAA,eAAM,EAAC,IAAA,6BAAmB,EAAC,IAAA,mBAAS,EAAC,IAAA,eAAK,EAAC,IAAA,aAAG,GAAE,EAAE,IAAA,aAAG,GAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,IAAA,6BAAmB,EAAC,IAAA,mBAAS,EAAC,IAAA,eAAK,EAAC,IAAA,aAAG,GAAE,EAAE,IAAA,aAAG,GAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,2DAA2D;QAC3D,sEAAsE;QACtE,uCAAuC;QACvC,MAAM,CAAC,GAAG,IAAA,kBAAQ,EAAC,IAAA,cAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,oEAAoE;QACpE,wEAAwE;QACxE,MAAM,CAAC,GAAG,IAAA,mBAAS,EAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,IAAA,6BAAmB,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,CAAC,GAAG,IAAA,eAAK,EAAC,GAAG,EAAE,IAAA,aAAG,GAAE,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,mBAAS,EAAC,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;YAAE,MAAM,IAAI,KAAK,CAAC,gBAAgB,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,CAAC,CAAC,IAAI,EAAE,IAAA,aAAG,GAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,CAAC,CAAC,KAAK,EAAE,IAAA,aAAG,GAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,wBAAwB;QACxB,MAAM,GAAG,GAAG,IAAA,eAAK,EAAC,IAAA,cAAI,EAAC,GAAG,CAAC,EAAE,IAAA,aAAG,GAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,6BAAmB,EAAC,IAAA,mBAAS,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,IAAA,eAAK,EAAC,GAAG,EAAE,IAAA,aAAG,GAAE,CAAC,CAAC,CAAC,kBAAkB;QAC/C,MAAM,GAAG,GAAG,IAAA,eAAK,EAAC,CAAC,EAAE,IAAA,mBAAS,EAAC,CAAC,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,6BAAmB,EAAC,IAAA,mBAAS,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,IAAA,cAAI,EAAC,IAAA,cAAI,EAAC,GAAG,CAAC,EAAE,IAAA,cAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC5B,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,eAAe,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,CAAC,CAAC,KAAK,EAAE,IAAA,cAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,CAAC,CAAC,OAAO,EAAE,IAAA,cAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+CAA+C,EAAE,GAAG,EAAE;IAC7D,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,GAAG,GAAG,IAAA,eAAK,EAAC,GAAG,EAAE,IAAA,eAAK,EAAC,IAAA,eAAK,EAAC,GAAG,EAAE,IAAA,cAAI,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,eAAK,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjE,MAAM,GAAG,GAAG,IAAA,eAAK,EAAC,GAAG,EAAE,IAAA,cAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAA,qBAAW,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,EAAE,GAAG,IAAA,gBAAM,EAAC,IAAA,eAAK,EAAC,GAAG,EAAE,IAAA,mBAAS,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,cAAI,EAAC,GAAG,CAAC,EAAE,IAAA,cAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QAClE,MAAM,EAAE,GAAG,IAAA,gBAAM,EAAC,IAAA,eAAK,EAAC,GAAG,EAAE,IAAA,mBAAS,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,cAAI,EAAC,GAAG,CAAC,EAAE,IAAA,cAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,IAAA,sBAAY,EAAC,IAAA,eAAK,EAAC,IAAA,eAAK,EAAC,GAAG,CAAC,EAAE,IAAA,eAAK,EAAC,IAAA,eAAK,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QACzB,MAAM,EAAE,GAAG,IAAA,sBAAY,EAAC,IAAA,eAAK,EAAC,IAAA,eAAK,EAAC,GAAG,EAAE,IAAA,cAAI,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,aAAG,GAAE,CAAC,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oDAAoD,EAAE,GAAG,EAAE;IAClE,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,IAAA,gBAAM,EAAC,IAAA,mBAAS,EAAC,CAAC,CAAC,EAAE,IAAA,mBAAS,EAAC,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,aAAa,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,mCAAmC;QACnC,MAAM,GAAG,GAAG,IAAA,cAAI,EAAC,GAAG,EAAE,IAAA,mBAAS,EAAC,CAAC,CAAC,EAAE,IAAA,cAAI,EAAC,GAAG,CAAC,CAAC,CAAC;QAC/C,MAAM,GAAG,GAAG,IAAA,cAAI,EAAC,GAAG,EAAE,IAAA,mBAAS,EAAC,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,iBAAO,EAAC,IAAA,mBAAS,EAAC,GAAG,CAAC,EAAE,IAAA,mBAAS,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,mCAAmC;QACnC,MAAM,GAAG,GAAG,IAAA,aAAG,EAAC,GAAG,EAAE,IAAA,mBAAS,EAAC,CAAC,CAAC,EAAE,IAAA,mBAAS,EAAC,CAAC,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,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/mathlib/group.d.ts

@@ -0,0 +1,27 @@
+import type { Group, Magma, VerificationResult } from './types';
+/**
+ * (a · b) · c = a · (b · c) para todo a,b,c en el muestreo.
+ */
+export declare function isAssociative<T>(m: Magma<T>, elements: T[], eq?: (a: T, b: T) => boolean): boolean;
+/**
+ * a · b = b · a para todo a,b. Falla rápido si encuentra contraejemplo.
+ */
+export declare function isCommutative<T>(m: Magma<T>, elements: T[], eq?: (a: T, b: T) => boolean): boolean;
+/**
+ * Para todo a: id · a = a ∧ a · id = a.
+ */
+export declare function hasIdentity<T>(m: Magma<T>, elements: T[], id: T, eq?: (a: T, b: T) => boolean): boolean;
+/**
+ * Para todo a: a · a⁻¹ = id ∧ a⁻¹ · a = id.
+ */
+export declare function hasInverses<T>(g: Group<T>, elements: T[], eq?: (a: T, b: T) => boolean): boolean;
+/**
+ * Verifica los 4 axiomas de grupo: clausura (implícita en el tipo),
+ * asociatividad, identidad e inversos. Reporta qué axiomas fallaron.
+ */
+export declare function verifyGroup<T>(g: Group<T>, elements: T[], eq?: (a: T, b: T) => boolean): VerificationResult;
+/**
+ * Verifica que un grupo es abeliano (verifyGroup + conmutatividad).
+ */
+export declare function verifyAbelianGroup<T>(g: Group<T>, elements: T[], eq?: (a: T, b: T) => boolean): VerificationResult;
+//# sourceMappingURL=group.d.ts.map

package/dist/tooling/mathlib/group.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"group.d.ts","sourceRoot":"","sources":["../../../src/tooling/mathlib/group.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,kBAAkB,EAAE,MAAM,SAAS,CAAC;AAEhE;;GAEG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAC7B,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EACX,QAAQ,EAAE,CAAC,EAAE,EACb,EAAE,GAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,OAA2B,GAC9C,OAAO,CAWT;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,CAAC,EAC7B,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EACX,QAAQ,EAAE,CAAC,EAAE,EACb,EAAE,GAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,OAA2B,GAC9C,OAAO,CAOT;AAED;;GAEG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAC3B,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EACX,QAAQ,EAAE,CAAC,EAAE,EACb,EAAE,EAAE,CAAC,EACL,EAAE,GAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,OAA2B,GAC9C,OAAO,CAMT;AAED;;GAEG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAC3B,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EACX,QAAQ,EAAE,CAAC,EAAE,EACb,EAAE,GAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,OAA2B,GAC9C,OAAO,CAOT;AAED;;;GAGG;AACH,wBAAgB,WAAW,CAAC,CAAC,EAC3B,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EACX,QAAQ,EAAE,CAAC,EAAE,EACb,EAAE,GAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,OAA2B,GAC9C,kBAAkB,CAMpB;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,CAAC,EAClC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,EACX,QAAQ,EAAE,CAAC,EAAE,EACb,EAAE,GAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,OAA2B,GAC9C,kBAAkB,CAIpB"}