@stevenvo780/st-lang 4.5.1 → 4.6.0

package/dist/tests/hott/hott.test.js

@@ -0,0 +1,271 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const hott_1 = require("../../hott");
+function unwrap(r) {
+    if ((0, hott_1.isInferErrorHoTT)(r))
+        throw new Error(`unexpected error: ${r.error}`);
+    return r;
+}
+(0, vitest_1.describe)('HoTT / identity types as path spaces', () => {
+    (0, vitest_1.it)('refl(zero) : Path Nat zero zero', () => {
+        const t = unwrap((0, hott_1.inferType)((0, hott_1.hRefl)((0, hott_1.hZero)())));
+        (0, vitest_1.expect)(t.kind).toBe('path');
+        if (t.kind !== 'path')
+            throw new Error('expected path');
+        (0, vitest_1.expect)(t.type.kind).toBe('nat');
+        (0, vitest_1.expect)((0, hott_1.alphaEq)(t.left, (0, hott_1.hZero)())).toBe(true);
+        (0, vitest_1.expect)((0, hott_1.alphaEq)(t.right, (0, hott_1.hZero)())).toBe(true);
+    });
+    (0, vitest_1.it)('Path Nat zero zero : Type 0', () => {
+        const t = unwrap((0, hott_1.inferType)((0, hott_1.hPath)((0, hott_1.hNat)(), (0, hott_1.hZero)(), (0, hott_1.hZero)())));
+        (0, vitest_1.expect)(t.kind === 'universe' && t.level === 0).toBe(true);
+    });
+    (0, vitest_1.it)('refl(zero) chequea como Path Nat zero zero', () => {
+        (0, vitest_1.expect)((0, hott_1.checkType)((0, hott_1.hRefl)((0, hott_1.hZero)()), (0, hott_1.hPath)((0, hott_1.hNat)(), (0, hott_1.hZero)(), (0, hott_1.hZero)()))).toBe(true);
+    });
+    (0, vitest_1.it)('rechaza Path con lados de tipos incompatibles', () => {
+        const bad = (0, hott_1.hPath)((0, hott_1.hNat)(), (0, hott_1.hZero)(), (0, hott_1.hUniverse)(0));
+        (0, vitest_1.expect)((0, hott_1.isInferErrorHoTT)((0, hott_1.inferType)(bad))).toBe(true);
+    });
+});
+(0, vitest_1.describe)('HoTT / transport β-reduces along refl', () => {
+    (0, vitest_1.it)('transport(λ_.Nat, refl(zero), succ(zero)) ≡ succ(zero) (reducción β)', () => {
+        // La β-rule actúa estructuralmente: transport sobre refl ↦ term.
+        // No exige tipado correcto para reducir sintácticamente.
+        const fam = (0, hott_1.hLam)('_', (0, hott_1.hNat)(), (0, hott_1.hNat)());
+        const t = (0, hott_1.hTransport)(fam, (0, hott_1.hRefl)((0, hott_1.hZero)()), (0, hott_1.hSucc)((0, hott_1.hZero)()));
+        (0, vitest_1.expect)((0, hott_1.alphaEq)((0, hott_1.normalize)(t), (0, hott_1.hSucc)((0, hott_1.hZero)()))).toBe(true);
+    });
+    (0, vitest_1.it)('transport tipa: family Nat→Type=λ_.Nat, path refl zero, term Type 0 → resultado Type 0', () => {
+        // El tipo de family (λ_:Nat.Nat) es Π(_:Nat).Type 0 — porque Nat:Type 0.
+        // Por tanto transport espera term : Type 0 (no valor de Nat).
+        const famType = (0, hott_1.hLam)('_', (0, hott_1.hNat)(), (0, hott_1.hNat)());
+        // term : Type 0 — pasamos Nat mismo (Nat : Type 0).
+        const term = (0, hott_1.hTransport)(famType, (0, hott_1.hRefl)((0, hott_1.hZero)()), (0, hott_1.hNat)());
+        const inferred = unwrap((0, hott_1.inferType)(term));
+        (0, vitest_1.expect)(inferred.kind === 'universe' && inferred.level === 0).toBe(true);
+    });
+});
+(0, vitest_1.describe)('HoTT / path inverse (sym)', () => {
+    (0, vitest_1.it)('sym(refl x) ≡ refl x', () => {
+        const t = (0, hott_1.pathInverse)((0, hott_1.hRefl)((0, hott_1.hZero)()));
+        (0, vitest_1.expect)((0, hott_1.alphaEq)((0, hott_1.normalize)(t), (0, hott_1.hRefl)((0, hott_1.hZero)()))).toBe(true);
+    });
+    (0, vitest_1.it)('sym(sym p) ≡ p (involutividad)', () => {
+        const p = (0, hott_1.hVar)('p');
+        const t = (0, hott_1.pathInverse)((0, hott_1.pathInverse)(p));
+        (0, vitest_1.expect)((0, hott_1.alphaEq)(t, p)).toBe(true);
+    });
+    (0, vitest_1.it)('sym sobre Path A x y produce Path A y x (tipo)', () => {
+        // Bajo contexto: p : Path Nat zero (succ zero)
+        const ctx = new Map([['p', (0, hott_1.hPath)((0, hott_1.hNat)(), (0, hott_1.hZero)(), (0, hott_1.hSucc)((0, hott_1.hZero)()))]]);
+        const t = unwrap((0, hott_1.inferType)((0, hott_1.hPathSym)((0, hott_1.hVar)('p')), ctx));
+        (0, vitest_1.expect)(t.kind).toBe('path');
+        if (t.kind !== 'path')
+            throw new Error('expected path');
+        (0, vitest_1.expect)((0, hott_1.alphaEq)(t.left, (0, hott_1.hSucc)((0, hott_1.hZero)()))).toBe(true);
+        (0, vitest_1.expect)((0, hott_1.alphaEq)(t.right, (0, hott_1.hZero)())).toBe(true);
+    });
+});
+(0, vitest_1.describe)('HoTT / path concatenation', () => {
+    (0, vitest_1.it)('refl · p ≡ p (identidad izquierda)', () => {
+        const p = (0, hott_1.hVar)('p');
+        const composed = (0, hott_1.pathCompose)((0, hott_1.refl)((0, hott_1.hZero)()), p);
+        (0, vitest_1.expect)((0, hott_1.alphaEq)(composed, p)).toBe(true);
+    });
+    (0, vitest_1.it)('p · refl ≡ p (identidad derecha)', () => {
+        const p = (0, hott_1.hVar)('p');
+        const composed = (0, hott_1.pathCompose)(p, (0, hott_1.refl)((0, hott_1.hZero)()));
+        (0, vitest_1.expect)((0, hott_1.alphaEq)(composed, p)).toBe(true);
+    });
+    (0, vitest_1.it)('pathConcat(refl x, refl x) normaliza a refl x vía reglas β', () => {
+        const t = (0, hott_1.hPathConcat)((0, hott_1.hRefl)((0, hott_1.hZero)()), (0, hott_1.hRefl)((0, hott_1.hZero)()));
+        (0, vitest_1.expect)((0, hott_1.alphaEq)((0, hott_1.normalize)(t), (0, hott_1.hRefl)((0, hott_1.hZero)()))).toBe(true);
+    });
+    (0, vitest_1.it)('concatenación tipa: Path x y · Path y z = Path x z', () => {
+        const ctx = new Map([
+            ['p', (0, hott_1.hPath)((0, hott_1.hNat)(), (0, hott_1.hZero)(), (0, hott_1.hSucc)((0, hott_1.hZero)()))],
+            ['q', (0, hott_1.hPath)((0, hott_1.hNat)(), (0, hott_1.hSucc)((0, hott_1.hZero)()), (0, hott_1.hSucc)((0, hott_1.hSucc)((0, hott_1.hZero)())))],
+        ]);
+        const t = unwrap((0, hott_1.inferType)((0, hott_1.hPathConcat)((0, hott_1.hVar)('p'), (0, hott_1.hVar)('q')), ctx));
+        (0, vitest_1.expect)(t.kind).toBe('path');
+        if (t.kind !== 'path')
+            throw new Error('expected path');
+        (0, vitest_1.expect)((0, hott_1.alphaEq)(t.left, (0, hott_1.hZero)())).toBe(true);
+        (0, vitest_1.expect)((0, hott_1.alphaEq)(t.right, (0, hott_1.hSucc)((0, hott_1.hSucc)((0, hott_1.hZero)())))).toBe(true);
+    });
+    (0, vitest_1.it)('concat rechaza endpoints incompatibles', () => {
+        const ctx = new Map([
+            ['p', (0, hott_1.hPath)((0, hott_1.hNat)(), (0, hott_1.hZero)(), (0, hott_1.hSucc)((0, hott_1.hZero)()))],
+            ['q', (0, hott_1.hPath)((0, hott_1.hNat)(), (0, hott_1.hZero)(), (0, hott_1.hSucc)((0, hott_1.hZero)()))],
+        ]);
+        // p termina en succ zero, q empieza en zero → no concatenable
+        const r = (0, hott_1.inferType)((0, hott_1.hPathConcat)((0, hott_1.hVar)('p'), (0, hott_1.hVar)('q')), ctx);
+        (0, vitest_1.expect)((0, hott_1.isInferErrorHoTT)(r)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('HoTT / J-eliminator computes on refl', () => {
+    (0, vitest_1.it)('J(motive, base, refl x) ≡ base', () => {
+        const motive = (0, hott_1.hLam)('y', (0, hott_1.hNat)(), (0, hott_1.hLam)('q', (0, hott_1.hPath)((0, hott_1.hNat)(), (0, hott_1.hZero)(), (0, hott_1.hVar)('y')), (0, hott_1.hNat)()));
+        const base = (0, hott_1.hZero)();
+        const t = (0, hott_1.hJElim)(motive, base, (0, hott_1.hRefl)((0, hott_1.hZero)()));
+        (0, vitest_1.expect)((0, hott_1.alphaEq)((0, hott_1.normalize)(t), (0, hott_1.hZero)())).toBe(true);
+    });
+    (0, vitest_1.it)('J infiere tipo motive y p para path no-trivial (estructural)', () => {
+        // Sin computar, sólo verificamos que no levante error con tipos coherentes.
+        const ctx = new Map([['p', (0, hott_1.hPath)((0, hott_1.hNat)(), (0, hott_1.hZero)(), (0, hott_1.hSucc)((0, hott_1.hZero)()))]]);
+        const motive = (0, hott_1.hLam)('y', (0, hott_1.hNat)(), (0, hott_1.hLam)('q', (0, hott_1.hPath)((0, hott_1.hNat)(), (0, hott_1.hZero)(), (0, hott_1.hVar)('y')), (0, hott_1.hNat)()));
+        const base = (0, hott_1.hZero)();
+        const r = (0, hott_1.inferType)((0, hott_1.hJElim)(motive, base, (0, hott_1.hVar)('p')), ctx);
+        (0, vitest_1.expect)((0, hott_1.isInferErrorHoTT)(r)).toBe(false);
+    });
+});
+(0, vitest_1.describe)('HoTT / ap (functorial action on paths)', () => {
+    (0, vitest_1.it)('ap(f, refl x) ≡ refl(f x)', () => {
+        // f = succ : Nat → Nat
+        const f = (0, hott_1.hLam)('n', (0, hott_1.hNat)(), (0, hott_1.hSucc)((0, hott_1.hVar)('n')));
+        const t = (0, hott_1.hAp)(f, (0, hott_1.hRefl)((0, hott_1.hZero)()));
+        const nf = (0, hott_1.normalize)(t);
+        (0, vitest_1.expect)(nf.kind).toBe('refl');
+    });
+    (0, vitest_1.it)('ap tipa: f : A → B, p : Path A x y → ap f p : Path B (f x) (f y)', () => {
+        const f = (0, hott_1.hLam)('n', (0, hott_1.hNat)(), (0, hott_1.hSucc)((0, hott_1.hVar)('n')));
+        const ctx = new Map([['p', (0, hott_1.hPath)((0, hott_1.hNat)(), (0, hott_1.hZero)(), (0, hott_1.hSucc)((0, hott_1.hZero)()))]]);
+        const t = unwrap((0, hott_1.inferType)((0, hott_1.hAp)(f, (0, hott_1.hVar)('p')), ctx));
+        (0, vitest_1.expect)(t.kind).toBe('path');
+        if (t.kind !== 'path')
+            throw new Error('expected path');
+        (0, vitest_1.expect)(t.type.kind).toBe('nat');
+    });
+});
+(0, vitest_1.describe)('HoTT / circle S¹', () => {
+    (0, vitest_1.it)('S¹ : Type 0', () => {
+        const t = unwrap((0, hott_1.inferType)((0, hott_1.hCircle)()));
+        (0, vitest_1.expect)(t.kind === 'universe' && t.level === 0).toBe(true);
+    });
+    (0, vitest_1.it)('base : S¹', () => {
+        const t = unwrap((0, hott_1.inferType)((0, hott_1.hBaseOfCircle)()));
+        (0, vitest_1.expect)(t.kind).toBe('circle');
+    });
+    (0, vitest_1.it)('loop : Path S¹ base base', () => {
+        const t = unwrap((0, hott_1.inferType)((0, hott_1.hLoopOfCircle)()));
+        (0, vitest_1.expect)(t.kind).toBe('path');
+        if (t.kind !== 'path')
+            throw new Error('expected path');
+        (0, vitest_1.expect)(t.type.kind).toBe('circle');
+        (0, vitest_1.expect)(t.left.kind).toBe('baseOfCircle');
+        (0, vitest_1.expect)(t.right.kind).toBe('baseOfCircle');
+    });
+    (0, vitest_1.it)('loop NO es sintácticamente refl base (no trivialidad estructural)', () => {
+        // Esto es lo que distingue HoTT de UIP: loop y refl base tienen el
+        // mismo tipo pero NO son iguales sintácticamente. La no-trivialidad
+        // semántica requiere axiomas adicionales (loop ≠ refl en U).
+        const loop = (0, hott_1.hLoopOfCircle)();
+        const reflBase = (0, hott_1.hRefl)((0, hott_1.hBaseOfCircle)());
+        (0, vitest_1.expect)((0, hott_1.alphaEq)(loop, reflBase)).toBe(false);
+    });
+});
+(0, vitest_1.describe)('HoTT / suspension', () => {
+    (0, vitest_1.it)('Σ Nat : Type 0', () => {
+        const t = unwrap((0, hott_1.inferType)((0, hott_1.hSuspension)((0, hott_1.hNat)())));
+        (0, vitest_1.expect)(t.kind === 'universe' && t.level === 0).toBe(true);
+    });
+    (0, vitest_1.it)('north[Nat] : Σ Nat', () => {
+        const t = unwrap((0, hott_1.inferType)((0, hott_1.hNorth)((0, hott_1.hNat)())));
+        (0, vitest_1.expect)(t.kind).toBe('suspension');
+    });
+    (0, vitest_1.it)('south[Nat] : Σ Nat', () => {
+        const t = unwrap((0, hott_1.inferType)((0, hott_1.hSouth)((0, hott_1.hNat)())));
+        (0, vitest_1.expect)(t.kind).toBe('suspension');
+    });
+    (0, vitest_1.it)('meridian(zero) : Path (Σ Nat) north south', () => {
+        const t = unwrap((0, hott_1.inferType)((0, hott_1.hMeridian)((0, hott_1.hNat)(), (0, hott_1.hZero)())));
+        (0, vitest_1.expect)(t.kind).toBe('path');
+        if (t.kind !== 'path')
+            throw new Error('expected path');
+        (0, vitest_1.expect)(t.type.kind).toBe('suspension');
+        (0, vitest_1.expect)(t.left.kind).toBe('north');
+        (0, vitest_1.expect)(t.right.kind).toBe('south');
+    });
+    (0, vitest_1.it)('meridian rechaza punto con tipo incorrecto', () => {
+        // pasar succ zero como `point` cuando type=Universe debería fallar
+        const r = (0, hott_1.inferType)((0, hott_1.hMeridian)((0, hott_1.hUniverse)(0), (0, hott_1.hZero)()));
+        (0, vitest_1.expect)((0, hott_1.isInferErrorHoTT)(r)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('HoTT / path algebra normalization', () => {
+    (0, vitest_1.it)('asociatividad sintáctica via normalize: (refl · p) · q ≡ p · q', () => {
+        const p = (0, hott_1.hVar)('p');
+        const q = (0, hott_1.hVar)('q');
+        const left = (0, hott_1.hPathConcat)((0, hott_1.hPathConcat)((0, hott_1.hRefl)((0, hott_1.hZero)()), p), q);
+        const right = (0, hott_1.hPathConcat)(p, q);
+        (0, vitest_1.expect)((0, hott_1.alphaEq)((0, hott_1.normalize)(left), (0, hott_1.normalize)(right))).toBe(true);
+    });
+    (0, vitest_1.it)('p · (refl · q) ≡ p · q tras normalize', () => {
+        const p = (0, hott_1.hVar)('p');
+        const q = (0, hott_1.hVar)('q');
+        const left = (0, hott_1.hPathConcat)(p, (0, hott_1.hPathConcat)((0, hott_1.hRefl)((0, hott_1.hZero)()), q));
+        const right = (0, hott_1.hPathConcat)(p, q);
+        (0, vitest_1.expect)((0, hott_1.alphaEq)((0, hott_1.normalize)(left), (0, hott_1.normalize)(right))).toBe(true);
+    });
+    (0, vitest_1.it)('sym preserva refl tras normalize encadenado', () => {
+        const t = (0, hott_1.hPathSym)((0, hott_1.hPathSym)((0, hott_1.hPathSym)((0, hott_1.hRefl)((0, hott_1.hZero)()))));
+        // sym(sym(sym refl)) = sym(refl) = refl
+        (0, vitest_1.expect)((0, hott_1.alphaEq)((0, hott_1.normalize)(t), (0, hott_1.hRefl)((0, hott_1.hZero)()))).toBe(true);
+    });
+});
+(0, vitest_1.describe)('HoTT / univalence axiom (no computacional)', () => {
+    (0, vitest_1.it)('univalence(e) construye un término ua(e)', () => {
+        const e = (0, hott_1.hVar)('e');
+        const t = (0, hott_1.univalence)(e);
+        (0, vitest_1.expect)(t.kind).toBe('ua');
+    });
+    (0, vitest_1.it)('univalenceWitness empaqueta equiv + path', () => {
+        const e = (0, hott_1.hVar)('e');
+        const w = (0, hott_1.univalenceWitness)(e);
+        (0, vitest_1.expect)(w.equiv).toBe(e);
+        (0, vitest_1.expect)(w.path.kind).toBe('ua');
+    });
+    (0, vitest_1.it)('ua sobre ⟨A, B⟩ : Σ Type. Type produce Path Type A B', () => {
+        // No verificamos isEquiv — el axioma lo asume.
+        const ctx = new Map([
+            ['e', { kind: 'sigma', bind: '_', first: (0, hott_1.hNat)(), second: (0, hott_1.hNat)() }],
+        ]);
+        const t = unwrap((0, hott_1.inferType)((0, hott_1.hUa)((0, hott_1.hVar)('e')), ctx));
+        (0, vitest_1.expect)(t.kind).toBe('path');
+    });
+    (0, vitest_1.it)('transport sobre ua NO reduce (consistencia pre-cubical)', () => {
+        // transport(P, ua(e), x) no debe reducir a x — eso sería incorrecto
+        // sin estructura cúbica adicional.
+        const fam = (0, hott_1.hLam)('_', (0, hott_1.hUniverse)(0), (0, hott_1.hUniverse)(0));
+        const e = (0, hott_1.hVar)('e');
+        const x = (0, hott_1.hVar)('x');
+        const t = (0, hott_1.hTransport)(fam, (0, hott_1.hUa)(e), x);
+        const nf = (0, hott_1.normalize)(t);
+        // El término normalizado sigue conteniendo transport con ua, NO se reduce.
+        (0, vitest_1.expect)(nf.kind).toBe('transport');
+    });
+});
+(0, vitest_1.describe)('HoTT / serialización', () => {
+    (0, vitest_1.it)('termToString para Path Nat zero zero', () => {
+        const s = (0, hott_1.termToString)((0, hott_1.hPath)((0, hott_1.hNat)(), (0, hott_1.hZero)(), (0, hott_1.hZero)()));
+        (0, vitest_1.expect)(s).toBe('Path(Nat, zero, zero)');
+    });
+    (0, vitest_1.it)('termToString para loop : Path S¹ base base', () => {
+        const s = (0, hott_1.termToString)((0, hott_1.hLoopOfCircle)());
+        (0, vitest_1.expect)(s).toBe('loop');
+    });
+    (0, vitest_1.it)('termToString para meridian', () => {
+        const s = (0, hott_1.termToString)((0, hott_1.hMeridian)((0, hott_1.hNat)(), (0, hott_1.hZero)()));
+        (0, vitest_1.expect)(s).toBe('meridian[Nat](zero)');
+    });
+    (0, vitest_1.it)('alphaBetaEq distingue loop y refl base', () => {
+        (0, vitest_1.expect)((0, hott_1.alphaBetaEq)((0, hott_1.hLoopOfCircle)(), (0, hott_1.hRefl)((0, hott_1.hBaseOfCircle)()))).toBe(false);
+    });
+    (0, vitest_1.it)('arrow desazucara: hArrow(Nat, Nat) = Π (_:Nat). Nat', () => {
+        const arrow = (0, hott_1.hArrow)((0, hott_1.hNat)(), (0, hott_1.hNat)());
+        (0, vitest_1.expect)((0, hott_1.termToString)(arrow)).toBe('(Nat → Nat)');
+    });
+});
+//# sourceMappingURL=hott.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"hott.test.js","sourceRoot":"","sources":["../../../src/tests/hott/hott.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,qCAoCoB;AAEpB,SAAS,MAAM,CAAC,CAA+B;IAC7C,IAAI,IAAA,uBAAgB,EAAC,CAAC,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC;IACzE,OAAO,CAAC,CAAC;AACX,CAAC;AAED,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,gBAAS,EAAC,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC,CAAC;QAC5C,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,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,cAAO,EAAC,CAAC,CAAC,IAAI,EAAE,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAA,cAAO,EAAC,CAAC,CAAC,KAAK,EAAE,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,gBAAS,EAAC,IAAA,YAAK,EAAC,IAAA,WAAI,GAAE,EAAE,IAAA,YAAK,GAAE,EAAE,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,IAAA,eAAM,EAAC,IAAA,gBAAS,EAAC,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,EAAE,IAAA,YAAK,EAAC,IAAA,WAAI,GAAE,EAAE,IAAA,YAAK,GAAE,EAAE,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,GAAG,GAAG,IAAA,YAAK,EAAC,IAAA,WAAI,GAAE,EAAE,IAAA,YAAK,GAAE,EAAE,IAAA,gBAAS,EAAC,CAAC,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,IAAA,uBAAgB,EAAC,IAAA,gBAAS,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,iEAAiE;QACjE,yDAAyD;QACzD,MAAM,GAAG,GAAG,IAAA,WAAI,EAAC,GAAG,EAAE,IAAA,WAAI,GAAE,EAAE,IAAA,WAAI,GAAE,CAAC,CAAC;QACtC,MAAM,CAAC,GAAG,IAAA,iBAAU,EAAC,GAAG,EAAE,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,EAAE,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,IAAA,cAAO,EAAC,IAAA,gBAAS,EAAC,CAAC,CAAC,EAAE,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wFAAwF,EAAE,GAAG,EAAE;QAChG,yEAAyE;QACzE,8DAA8D;QAC9D,MAAM,OAAO,GAAG,IAAA,WAAI,EAAC,GAAG,EAAE,IAAA,WAAI,GAAE,EAAE,IAAA,WAAI,GAAE,CAAC,CAAC;QAC1C,oDAAoD;QACpD,MAAM,IAAI,GAAG,IAAA,iBAAU,EAAC,OAAO,EAAE,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,EAAE,IAAA,WAAI,GAAE,CAAC,CAAC;QACzD,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAA,gBAAS,EAAC,IAAI,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,QAAQ,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,CAAC,GAAG,IAAA,kBAAW,EAAC,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,cAAO,EAAC,IAAA,gBAAS,EAAC,CAAC,CAAC,EAAE,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,GAAG,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,IAAA,kBAAW,EAAC,IAAA,kBAAW,EAAC,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,cAAO,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,+CAA+C;QAC/C,MAAM,GAAG,GAAG,IAAI,GAAG,CAAmB,CAAC,CAAC,GAAG,EAAE,IAAA,YAAK,EAAC,IAAA,WAAI,GAAE,EAAE,IAAA,YAAK,GAAE,EAAE,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvF,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,gBAAS,EAAC,IAAA,eAAQ,EAAC,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACtD,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,cAAO,EAAC,CAAC,CAAC,IAAI,EAAE,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,IAAA,cAAO,EAAC,CAAC,CAAC,KAAK,EAAE,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC;QACpB,MAAM,QAAQ,GAAG,IAAA,kBAAW,EAAC,IAAA,WAAI,EAAC,IAAA,YAAK,GAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAA,cAAO,EAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC;QACpB,MAAM,QAAQ,GAAG,IAAA,kBAAW,EAAC,CAAC,EAAE,IAAA,WAAI,EAAC,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAA,cAAO,EAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,CAAC,GAAG,IAAA,kBAAW,EAAC,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,EAAE,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,IAAA,cAAO,EAAC,IAAA,gBAAS,EAAC,CAAC,CAAC,EAAE,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,GAAG,GAAG,IAAI,GAAG,CAAmB;YACpC,CAAC,GAAG,EAAE,IAAA,YAAK,EAAC,IAAA,WAAI,GAAE,EAAE,IAAA,YAAK,GAAE,EAAE,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC;YAC7C,CAAC,GAAG,EAAE,IAAA,YAAK,EAAC,IAAA,WAAI,GAAE,EAAE,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,EAAE,IAAA,YAAK,EAAC,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC,CAAC;SAC5D,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,gBAAS,EAAC,IAAA,kBAAW,EAAC,IAAA,WAAI,EAAC,GAAG,CAAC,EAAE,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACpE,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,cAAO,EAAC,CAAC,CAAC,IAAI,EAAE,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAA,cAAO,EAAC,CAAC,CAAC,KAAK,EAAE,IAAA,YAAK,EAAC,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,GAAG,GAAG,IAAI,GAAG,CAAmB;YACpC,CAAC,GAAG,EAAE,IAAA,YAAK,EAAC,IAAA,WAAI,GAAE,EAAE,IAAA,YAAK,GAAE,EAAE,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC;YAC7C,CAAC,GAAG,EAAE,IAAA,YAAK,EAAC,IAAA,WAAI,GAAE,EAAE,IAAA,YAAK,GAAE,EAAE,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC;SAC9C,CAAC,CAAC;QACH,8DAA8D;QAC9D,MAAM,CAAC,GAAG,IAAA,gBAAS,EAAC,IAAA,kBAAW,EAAC,IAAA,WAAI,EAAC,GAAG,CAAC,EAAE,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,IAAA,uBAAgB,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,MAAM,GAAG,IAAA,WAAI,EAAC,GAAG,EAAE,IAAA,WAAI,GAAE,EAAE,IAAA,WAAI,EAAC,GAAG,EAAE,IAAA,YAAK,EAAC,IAAA,WAAI,GAAE,EAAE,IAAA,YAAK,GAAE,EAAE,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,WAAI,GAAE,CAAC,CAAC,CAAC;QACvF,MAAM,IAAI,GAAG,IAAA,YAAK,GAAE,CAAC;QACrB,MAAM,CAAC,GAAG,IAAA,aAAM,EAAC,MAAM,EAAE,IAAI,EAAE,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAA,cAAO,EAAC,IAAA,gBAAS,EAAC,CAAC,CAAC,EAAE,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,4EAA4E;QAC5E,MAAM,GAAG,GAAG,IAAI,GAAG,CAAmB,CAAC,CAAC,GAAG,EAAE,IAAA,YAAK,EAAC,IAAA,WAAI,GAAE,EAAE,IAAA,YAAK,GAAE,EAAE,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvF,MAAM,MAAM,GAAG,IAAA,WAAI,EAAC,GAAG,EAAE,IAAA,WAAI,GAAE,EAAE,IAAA,WAAI,EAAC,GAAG,EAAE,IAAA,YAAK,EAAC,IAAA,WAAI,GAAE,EAAE,IAAA,YAAK,GAAE,EAAE,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,WAAI,GAAE,CAAC,CAAC,CAAC;QACvF,MAAM,IAAI,GAAG,IAAA,YAAK,GAAE,CAAC;QACrB,MAAM,CAAC,GAAG,IAAA,gBAAS,EAAC,IAAA,aAAM,EAAC,MAAM,EAAE,IAAI,EAAE,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,IAAA,uBAAgB,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,uBAAuB;QACvB,MAAM,CAAC,GAAG,IAAA,WAAI,EAAC,GAAG,EAAE,IAAA,WAAI,GAAE,EAAE,IAAA,YAAK,EAAC,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,GAAG,IAAA,UAAG,EAAC,CAAC,EAAE,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC;QACjC,MAAM,EAAE,GAAG,IAAA,gBAAS,EAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,CAAC,GAAG,IAAA,WAAI,EAAC,GAAG,EAAE,IAAA,WAAI,GAAE,EAAE,IAAA,YAAK,EAAC,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,GAAG,GAAG,IAAI,GAAG,CAAmB,CAAC,CAAC,GAAG,EAAE,IAAA,YAAK,EAAC,IAAA,WAAI,GAAE,EAAE,IAAA,YAAK,GAAE,EAAE,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACvF,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,gBAAS,EAAC,IAAA,UAAG,EAAC,CAAC,EAAE,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACpD,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,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,IAAA,WAAE,EAAC,aAAa,EAAE,GAAG,EAAE;QACrB,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,gBAAS,EAAC,IAAA,cAAO,GAAE,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,WAAW,EAAE,GAAG,EAAE;QACnB,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,gBAAS,EAAC,IAAA,oBAAa,GAAE,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,gBAAS,EAAC,IAAA,oBAAa,GAAE,CAAC,CAAC,CAAC;QAC7C,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,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,mEAAmE;QACnE,oEAAoE;QACpE,6DAA6D;QAC7D,MAAM,IAAI,GAAG,IAAA,oBAAa,GAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,IAAA,YAAK,EAAC,IAAA,oBAAa,GAAE,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,cAAO,EAAC,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,gBAAS,EAAC,IAAA,kBAAW,EAAC,IAAA,WAAI,GAAE,CAAC,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,gBAAS,EAAC,IAAA,aAAM,EAAC,IAAA,WAAI,GAAE,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,gBAAS,EAAC,IAAA,aAAM,EAAC,IAAA,WAAI,GAAE,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,gBAAS,EAAC,IAAA,gBAAS,EAAC,IAAA,WAAI,GAAE,EAAE,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC,CAAC;QACxD,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,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,mEAAmE;QACnE,MAAM,CAAC,GAAG,IAAA,gBAAS,EAAC,IAAA,gBAAS,EAAC,IAAA,gBAAS,EAAC,CAAC,CAAC,EAAE,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,IAAA,uBAAgB,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,CAAC,GAAG,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC;QACpB,MAAM,IAAI,GAAG,IAAA,kBAAW,EAAC,IAAA,kBAAW,EAAC,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5D,MAAM,KAAK,GAAG,IAAA,kBAAW,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,cAAO,EAAC,IAAA,gBAAS,EAAC,IAAI,CAAC,EAAE,IAAA,gBAAS,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC;QACpB,MAAM,IAAI,GAAG,IAAA,kBAAW,EAAC,CAAC,EAAE,IAAA,kBAAW,EAAC,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5D,MAAM,KAAK,GAAG,IAAA,kBAAW,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,cAAO,EAAC,IAAA,gBAAS,EAAC,IAAI,CAAC,EAAE,IAAA,gBAAS,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAA,eAAQ,EAAC,IAAA,eAAQ,EAAC,IAAA,eAAQ,EAAC,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACvD,wCAAwC;QACxC,IAAA,eAAM,EAAC,IAAA,cAAO,EAAC,IAAA,gBAAS,EAAC,CAAC,CAAC,EAAE,IAAA,YAAK,EAAC,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,IAAA,iBAAU,EAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,IAAA,wBAAiB,EAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,+CAA+C;QAC/C,MAAM,GAAG,GAAG,IAAI,GAAG,CAAmB;YACpC,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,IAAA,WAAI,GAAE,EAAE,MAAM,EAAE,IAAA,WAAI,GAAE,EAAE,CAAC;SACnE,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,MAAM,CAAC,IAAA,gBAAS,EAAC,IAAA,UAAG,EAAC,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,oEAAoE;QACpE,mCAAmC;QACnC,MAAM,GAAG,GAAG,IAAA,WAAI,EAAC,GAAG,EAAE,IAAA,gBAAS,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAS,EAAC,CAAC,CAAC,CAAC,CAAC;QAClD,MAAM,CAAC,GAAG,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,IAAA,WAAI,EAAC,GAAG,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,IAAA,iBAAU,EAAC,GAAG,EAAE,IAAA,UAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrC,MAAM,EAAE,GAAG,IAAA,gBAAS,EAAC,CAAC,CAAC,CAAC;QACxB,2EAA2E;QAC3E,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,mBAAY,EAAC,IAAA,YAAK,EAAC,IAAA,WAAI,GAAE,EAAE,IAAA,YAAK,GAAE,EAAE,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,IAAA,mBAAY,EAAC,IAAA,oBAAa,GAAE,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAA,mBAAY,EAAC,IAAA,gBAAS,EAAC,IAAA,WAAI,GAAE,EAAE,IAAA,YAAK,GAAE,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,IAAA,eAAM,EAAC,IAAA,kBAAW,EAAC,IAAA,oBAAa,GAAE,EAAE,IAAA,YAAK,EAAC,IAAA,oBAAa,GAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,KAAK,GAAG,IAAA,aAAM,EAAC,IAAA,WAAI,GAAE,EAAE,IAAA,WAAI,GAAE,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAA,mBAAY,EAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/information-theory/information-theory.test.d.ts

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

package/dist/tests/information-theory/information-theory.test.d.ts.map

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

package/dist/tests/information-theory/information-theory.test.js

@@ -0,0 +1,291 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const information_theory_1 = require("../../information-theory");
+// ------------------------------------------------------------
+// Fixtures
+// ------------------------------------------------------------
+function uniform(symbols) {
+    const m = new Map();
+    const p = 1 / symbols.length;
+    for (const s of symbols)
+        m.set(s, p);
+    return m;
+}
+function dist(...pairs) {
+    return new Map(pairs);
+}
+const EPS = 1e-10;
+const close = (a, b, tol = EPS) => (0, vitest_1.expect)(Math.abs(a - b)).toBeLessThan(tol);
+// ------------------------------------------------------------
+// 1. Distribución uniforme y validación
+// ------------------------------------------------------------
+(0, vitest_1.describe)('information-theory / validación y soporte', () => {
+    (0, vitest_1.it)('isValidDistribution acepta uniforme', () => {
+        (0, vitest_1.expect)((0, information_theory_1.isValidDistribution)(uniform([1, 2, 3, 4]))).toBe(true);
+    });
+    (0, vitest_1.it)('isValidDistribution rechaza suma ≠ 1', () => {
+        (0, vitest_1.expect)((0, information_theory_1.isValidDistribution)(dist(['a', 0.4], ['b', 0.4]))).toBe(false);
+    });
+    (0, vitest_1.it)('isValidDistribution rechaza probabilidades negativas', () => {
+        (0, vitest_1.expect)((0, information_theory_1.isValidDistribution)(dist(['a', -0.1], ['b', 1.1]))).toBe(false);
+    });
+    (0, vitest_1.it)('isValidDistribution rechaza NaN', () => {
+        (0, vitest_1.expect)((0, information_theory_1.isValidDistribution)(dist(['a', NaN], ['b', 1]))).toBe(false);
+    });
+    (0, vitest_1.it)('normalize reescala a masa 1', () => {
+        const p = (0, information_theory_1.normalize)(dist(['a', 2], ['b', 3], ['c', 5]));
+        (0, vitest_1.expect)((0, information_theory_1.isValidDistribution)(p)).toBe(true);
+        close(p.get('a'), 0.2);
+        close(p.get('b'), 0.3);
+        close(p.get('c'), 0.5);
+    });
+    (0, vitest_1.it)('normalize lanza si masa total 0', () => {
+        (0, vitest_1.expect)(() => (0, information_theory_1.normalize)(dist(['a', 0], ['b', 0]))).toThrow();
+    });
+    (0, vitest_1.it)('support omite probabilidades 0', () => {
+        (0, vitest_1.expect)((0, information_theory_1.support)(dist(['a', 0.5], ['b', 0], ['c', 0.5]))).toEqual(['a', 'c']);
+    });
+});
+// ------------------------------------------------------------
+// 2. Entropía de Shannon
+// ------------------------------------------------------------
+(0, vitest_1.describe)('information-theory / Shannon entropy', () => {
+    (0, vitest_1.it)('uniforme N=8 → log2(8) = 3 bits', () => {
+        close((0, information_theory_1.shannonEntropy)(uniform([1, 2, 3, 4, 5, 6, 7, 8])), 3);
+    });
+    (0, vitest_1.it)('uniforme N=2 → 1 bit', () => {
+        close((0, information_theory_1.shannonEntropy)(uniform(['H', 'T'])), 1);
+    });
+    (0, vitest_1.it)('degenerada (1 outcome) → 0', () => {
+        close((0, information_theory_1.shannonEntropy)(dist(['a', 1])), 0);
+    });
+    (0, vitest_1.it)('moneda sesgada p=0.25 → H ≈ 0.811 bits', () => {
+        close((0, information_theory_1.shannonEntropy)(dist(['H', 0.25], ['T', 0.75])), 0.8112781244591328, 1e-12);
+    });
+    (0, vitest_1.it)('base e (nats): uniforme N=4 → ln 4', () => {
+        close((0, information_theory_1.shannonEntropy)(uniform(['a', 'b', 'c', 'd']), 'e'), Math.log(4), 1e-12);
+    });
+    (0, vitest_1.it)('base 10 (dits): uniforme N=10 → 1', () => {
+        close((0, information_theory_1.shannonEntropy)(uniform([0, 1, 2, 3, 4, 5, 6, 7, 8, 9]), 10), 1, 1e-12);
+    });
+    (0, vitest_1.it)('probabilidades 0 no rompen el cómputo (0·log 0 = 0)', () => {
+        close((0, information_theory_1.shannonEntropy)(dist(['a', 0.5], ['b', 0.5], ['c', 0])), 1);
+    });
+});
+// ------------------------------------------------------------
+// 3. Rényi y variantes
+// ------------------------------------------------------------
+(0, vitest_1.describe)('information-theory / Rényi y entropías especiales', () => {
+    (0, vitest_1.it)('Rényi(α=1) coincide con Shannon', () => {
+        const p = dist(['a', 0.5], ['b', 0.3], ['c', 0.2]);
+        close((0, information_theory_1.renyiEntropy)(p, 1), (0, information_theory_1.shannonEntropy)(p), 1e-12);
+    });
+    (0, vitest_1.it)('Rényi(α→1+) → Shannon (continuidad)', () => {
+        const p = dist(['a', 0.5], ['b', 0.3], ['c', 0.2]);
+        const target = (0, information_theory_1.shannonEntropy)(p);
+        close((0, information_theory_1.renyiEntropy)(p, 1.0001), target, 1e-3);
+        close((0, information_theory_1.renyiEntropy)(p, 0.9999), target, 1e-3);
+    });
+    (0, vitest_1.it)('Rényi(α=0) → log|sop(p)|', () => {
+        const p = dist(['a', 0.5], ['b', 0.5], ['c', 0]);
+        close((0, information_theory_1.renyiEntropy)(p, 0), Math.log2(2));
+    });
+    (0, vitest_1.it)('Rényi(α=2) = collisionEntropy', () => {
+        const p = dist(['a', 0.5], ['b', 0.3], ['c', 0.2]);
+        close((0, information_theory_1.renyiEntropy)(p, 2), (0, information_theory_1.collisionEntropy)(p), 1e-12);
+    });
+    (0, vitest_1.it)('minEntropy = -log max p(x)', () => {
+        const p = dist(['a', 0.7], ['b', 0.2], ['c', 0.1]);
+        close((0, information_theory_1.minEntropy)(p), -Math.log2(0.7), 1e-12);
+    });
+    (0, vitest_1.it)('maxEntropy = log|sop(p)|', () => {
+        const p = dist(['a', 0.5], ['b', 0.5], ['c', 0]);
+        close((0, information_theory_1.maxEntropy)(p), 1);
+    });
+    (0, vitest_1.it)('orden: minEntropy ≤ Shannon ≤ maxEntropy', () => {
+        const p = dist(['a', 0.5], ['b', 0.3], ['c', 0.15], ['d', 0.05]);
+        const hMin = (0, information_theory_1.minEntropy)(p);
+        const hShannon = (0, information_theory_1.shannonEntropy)(p);
+        const hMax = (0, information_theory_1.maxEntropy)(p);
+        (0, vitest_1.expect)(hMin).toBeLessThanOrEqual(hShannon + 1e-12);
+        (0, vitest_1.expect)(hShannon).toBeLessThanOrEqual(hMax + 1e-12);
+    });
+    (0, vitest_1.it)('renyi α negativo → lanza', () => {
+        (0, vitest_1.expect)(() => (0, information_theory_1.renyiEntropy)(dist(['a', 1]), -1)).toThrow();
+    });
+});
+// ------------------------------------------------------------
+// 4. Divergencias
+// ------------------------------------------------------------
+(0, vitest_1.describe)('information-theory / KL divergence', () => {
+    (0, vitest_1.it)('KL(p, p) = 0', () => {
+        const p = dist(['a', 0.3], ['b', 0.7]);
+        close((0, information_theory_1.klDivergence)(p, p), 0);
+    });
+    (0, vitest_1.it)('KL no simétrica en general', () => {
+        const p = dist(['a', 0.5], ['b', 0.5]);
+        const q = dist(['a', 0.1], ['b', 0.9]);
+        const dpq = (0, information_theory_1.klDivergence)(p, q);
+        const dqp = (0, information_theory_1.klDivergence)(q, p);
+        (0, vitest_1.expect)(dpq).not.toBeCloseTo(dqp, 6);
+    });
+    (0, vitest_1.it)('KL ≥ 0 (no-negatividad / desigualdad de Gibbs)', () => {
+        const p = dist(['a', 0.2], ['b', 0.3], ['c', 0.5]);
+        const q = dist(['a', 0.4], ['b', 0.4], ['c', 0.2]);
+        (0, vitest_1.expect)((0, information_theory_1.klDivergence)(p, q)).toBeGreaterThanOrEqual(0);
+        (0, vitest_1.expect)((0, information_theory_1.klDivergence)(q, p)).toBeGreaterThanOrEqual(0);
+    });
+    (0, vitest_1.it)('KL diverge a +∞ cuando q(x)=0 pero p(x)>0', () => {
+        const p = dist(['a', 0.5], ['b', 0.5]);
+        const q = dist(['a', 1], ['b', 0]);
+        (0, vitest_1.expect)((0, information_theory_1.klDivergence)(p, q)).toBe(Number.POSITIVE_INFINITY);
+    });
+});
+(0, vitest_1.describe)('information-theory / JS divergence', () => {
+    (0, vitest_1.it)('JS simétrica', () => {
+        const p = dist(['a', 0.2], ['b', 0.8]);
+        const q = dist(['a', 0.7], ['b', 0.3]);
+        close((0, information_theory_1.jsDivergence)(p, q), (0, information_theory_1.jsDivergence)(q, p), 1e-12);
+    });
+    (0, vitest_1.it)('JS(p, p) = 0', () => {
+        const p = dist(['a', 0.3], ['b', 0.7]);
+        close((0, information_theory_1.jsDivergence)(p, p), 0);
+    });
+    (0, vitest_1.it)('JS finita aun con soportes disjuntos (acotada por log 2)', () => {
+        const p = dist(['a', 1], ['b', 0]);
+        const q = dist(['a', 0], ['b', 1]);
+        const js = (0, information_theory_1.jsDivergence)(p, q);
+        (0, vitest_1.expect)(Number.isFinite(js)).toBe(true);
+        close(js, 1, 1e-12); // base 2: log 2 = 1.
+    });
+});
+(0, vitest_1.describe)('information-theory / TV y Hellinger', () => {
+    (0, vitest_1.it)('TV ≤ 1 y TV(p,p)=0', () => {
+        const p = dist(['a', 0.5], ['b', 0.5]);
+        const q = dist(['a', 0.7], ['b', 0.3]);
+        (0, vitest_1.expect)((0, information_theory_1.tvDistance)(p, p)).toBe(0);
+        (0, vitest_1.expect)((0, information_theory_1.tvDistance)(p, q)).toBeLessThanOrEqual(1);
+        close((0, information_theory_1.tvDistance)(p, q), 0.2);
+    });
+    (0, vitest_1.it)('TV(p,q)=1 si soportes disjuntos', () => {
+        const p = dist(['a', 1], ['b', 0]);
+        const q = dist(['a', 0], ['b', 1]);
+        close((0, information_theory_1.tvDistance)(p, q), 1);
+    });
+    (0, vitest_1.it)('Hellinger ∈ [0, 1], simétrica, =0 sii p=q, =1 sii soportes disjuntos', () => {
+        const p = dist(['a', 0.5], ['b', 0.5]);
+        const q = dist(['a', 0.7], ['b', 0.3]);
+        (0, vitest_1.expect)((0, information_theory_1.hellingerDistance)(p, p)).toBe(0);
+        close((0, information_theory_1.hellingerDistance)(p, q), (0, information_theory_1.hellingerDistance)(q, p), 1e-12);
+        const r = dist(['a', 1], ['b', 0]);
+        const s = dist(['a', 0], ['b', 1]);
+        close((0, information_theory_1.hellingerDistance)(r, s), 1);
+    });
+    (0, vitest_1.it)('Pinsker: TV ≤ sqrt(KL/2) cuando KL finita (base e)', () => {
+        const p = dist(['a', 0.4], ['b', 0.6]);
+        const q = dist(['a', 0.5], ['b', 0.5]);
+        const kl = (0, information_theory_1.klDivergence)(p, q, 'e');
+        (0, vitest_1.expect)((0, information_theory_1.tvDistance)(p, q)).toBeLessThanOrEqual(Math.sqrt(kl / 2) + 1e-12);
+    });
+});
+// ------------------------------------------------------------
+// 5. Cross-entropy
+// ------------------------------------------------------------
+(0, vitest_1.describe)('information-theory / cross-entropy', () => {
+    (0, vitest_1.it)('H(p, q) = H(p) + KL(p, q)', () => {
+        const p = dist(['a', 0.3], ['b', 0.5], ['c', 0.2]);
+        const q = dist(['a', 0.25], ['b', 0.5], ['c', 0.25]);
+        close((0, information_theory_1.crossEntropy)(p, q), (0, information_theory_1.shannonEntropy)(p) + (0, information_theory_1.klDivergence)(p, q), 1e-12);
+    });
+    (0, vitest_1.it)('H(p, p) = H(p)', () => {
+        const p = dist(['a', 0.4], ['b', 0.6]);
+        close((0, information_theory_1.crossEntropy)(p, p), (0, information_theory_1.shannonEntropy)(p), 1e-12);
+    });
+    (0, vitest_1.it)('cross-entropy +∞ si q(x)=0 con p(x)>0', () => {
+        const p = dist(['a', 0.5], ['b', 0.5]);
+        const q = dist(['a', 1], ['b', 0]);
+        (0, vitest_1.expect)((0, information_theory_1.crossEntropy)(p, q)).toBe(Number.POSITIVE_INFINITY);
+    });
+});
+// ------------------------------------------------------------
+// 6. Joint / mutual information
+// ------------------------------------------------------------
+function makeJoint(entries) {
+    const j = new Map();
+    for (const [x, y, p] of entries)
+        j.set([x, y], p);
+    return j;
+}
+(0, vitest_1.describe)('information-theory / joint distributions', () => {
+    (0, vitest_1.it)('jointToMarginals preserva masa total', () => {
+        const j = makeJoint([
+            ['x1', 'y1', 0.1],
+            ['x1', 'y2', 0.2],
+            ['x2', 'y1', 0.3],
+            ['x2', 'y2', 0.4],
+        ]);
+        const { X, Y } = (0, information_theory_1.jointToMarginals)(j);
+        close(X.get('x1') + X.get('x2'), 1);
+        close(Y.get('y1') + Y.get('y2'), 1);
+        close(X.get('x1'), 0.3);
+        close(X.get('x2'), 0.7);
+        close(Y.get('y1'), 0.4);
+        close(Y.get('y2'), 0.6);
+    });
+    (0, vitest_1.it)('I(X;Y) = 0 cuando X ⊥ Y (joint factorizable)', () => {
+        // p(x,y) = p(x)·p(y) con p(x)=[0.4,0.6], p(y)=[0.25,0.75].
+        const j = makeJoint([
+            ['x1', 'y1', 0.4 * 0.25],
+            ['x1', 'y2', 0.4 * 0.75],
+            ['x2', 'y1', 0.6 * 0.25],
+            ['x2', 'y2', 0.6 * 0.75],
+        ]);
+        close((0, information_theory_1.mutualInformation)(j), 0, 1e-12);
+    });
+    (0, vitest_1.it)('I(X;X) = H(X) (información mutua de una variable consigo misma)', () => {
+        // Joint perfectamente correlacionada: p(x,x) = p(x), p(x,y)=0 si x≠y.
+        const j = makeJoint([
+            ['a', 'a', 0.3],
+            ['b', 'b', 0.5],
+            ['c', 'c', 0.2],
+        ]);
+        const { X } = (0, information_theory_1.jointToMarginals)(j);
+        close((0, information_theory_1.mutualInformation)(j), (0, information_theory_1.shannonEntropy)(X), 1e-12);
+    });
+    (0, vitest_1.it)('I(X;Y) ≥ 0 siempre', () => {
+        const j = makeJoint([
+            ['x1', 'y1', 0.1],
+            ['x1', 'y2', 0.3],
+            ['x2', 'y1', 0.4],
+            ['x2', 'y2', 0.2],
+        ]);
+        (0, vitest_1.expect)((0, information_theory_1.mutualInformation)(j)).toBeGreaterThanOrEqual(-1e-12);
+    });
+    (0, vitest_1.it)('regla de la cadena: H(X,Y) = H(X) + H(Y) − I(X;Y)', () => {
+        const j = makeJoint([
+            ['x1', 'y1', 0.1],
+            ['x1', 'y2', 0.3],
+            ['x2', 'y1', 0.4],
+            ['x2', 'y2', 0.2],
+        ]);
+        const { hX, hY, hXY, iXY } = (0, information_theory_1.chainRule)(j);
+        close(hXY, hX + hY - iXY, 1e-12);
+    });
+    (0, vitest_1.it)('conditionalEntropy: H(X|Y) = H(X,Y) − H(Y) ≥ 0', () => {
+        const j = makeJoint([
+            ['x1', 'y1', 0.1],
+            ['x1', 'y2', 0.3],
+            ['x2', 'y1', 0.4],
+            ['x2', 'y2', 0.2],
+        ]);
+        const hX_Y = (0, information_theory_1.conditionalEntropy)(j, 'X');
+        const hY_X = (0, information_theory_1.conditionalEntropy)(j, 'Y');
+        (0, vitest_1.expect)(hX_Y).toBeGreaterThanOrEqual(-1e-12);
+        (0, vitest_1.expect)(hY_X).toBeGreaterThanOrEqual(-1e-12);
+        // I(X;Y) = H(X) − H(X|Y).
+        const { hX, iXY } = (0, information_theory_1.chainRule)(j);
+        close(iXY, hX - hX_Y, 1e-12);
+    });
+});
+//# sourceMappingURL=information-theory.test.js.map

package/dist/tests/information-theory/information-theory.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"information-theory.test.js","sourceRoot":"","sources":["../../../src/tests/information-theory/information-theory.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,iEAoBkC;AAElC,+DAA+D;AAC/D,WAAW;AACX,+DAA+D;AAE/D,SAAS,OAAO,CAAI,OAAY;IAC9B,MAAM,CAAC,GAAG,IAAI,GAAG,EAAa,CAAC;IAC/B,MAAM,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC;IAC7B,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrC,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,IAAI,CAAI,GAAG,KAAoB;IACtC,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;AACxB,CAAC;AAED,MAAM,GAAG,GAAG,KAAK,CAAC;AAClB,MAAM,KAAK,GAAG,CAAC,CAAS,EAAE,CAAS,EAAE,GAAG,GAAG,GAAG,EAAE,EAAE,CAAC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;AAE7F,+DAA+D;AAC/D,wCAAwC;AACxC,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,IAAA,eAAM,EAAC,IAAA,wCAAmB,EAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,IAAA,eAAM,EAAC,IAAA,wCAAmB,EAAC,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,IAAA,eAAM,EAAC,IAAA,wCAAmB,EAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,IAAA,eAAM,EAAC,IAAA,wCAAmB,EAAC,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,IAAA,8BAAS,EAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,IAAA,wCAAmB,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAE,EAAE,GAAG,CAAC,CAAC;QACxB,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAE,EAAE,GAAG,CAAC,CAAC;QACxB,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAE,EAAE,GAAG,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,8BAAS,EAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,IAAA,eAAM,EAAC,IAAA,4BAAO,EAAC,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,yBAAyB;AACzB,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,KAAK,CAAC,IAAA,mCAAc,EAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,KAAK,CAAC,IAAA,mCAAc,EAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,KAAK,CAAC,IAAA,mCAAc,EAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,KAAK,CAAC,IAAA,mCAAc,EAAC,IAAI,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,kBAAkB,EAAE,KAAK,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,KAAK,CAAC,IAAA,mCAAc,EAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,KAAK,CAAC,IAAA,mCAAc,EAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,KAAK,CAAC,IAAA,mCAAc,EAAC,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,uBAAuB;AACvB,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,mDAAmD,EAAE,GAAG,EAAE;IACjE,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnD,KAAK,CAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,mCAAc,EAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnD,MAAM,MAAM,GAAG,IAAA,mCAAc,EAAC,CAAC,CAAC,CAAC;QACjC,KAAK,CAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QAC7C,KAAK,CAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACjD,KAAK,CAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnD,KAAK,CAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,qCAAgB,EAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnD,KAAK,CAAC,IAAA,+BAAU,EAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACjD,KAAK,CAAC,IAAA,+BAAU,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;QACjE,MAAM,IAAI,GAAG,IAAA,+BAAU,EAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,QAAQ,GAAG,IAAA,mCAAc,EAAC,CAAC,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,IAAA,+BAAU,EAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,mBAAmB,CAAC,QAAQ,GAAG,KAAK,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,mBAAmB,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,iCAAY,EAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,kBAAkB;AAClB,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,cAAc,EAAE,GAAG,EAAE;QACtB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,KAAK,CAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,GAAG,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/B,MAAM,GAAG,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnD,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,cAAc,EAAE,GAAG,EAAE;QACtB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,KAAK,CAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,cAAc,EAAE,GAAG,EAAE;QACtB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,KAAK,CAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,KAAK,CAAC,EAAE,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,qBAAqB;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,+BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,+BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;QAChD,KAAK,CAAC,IAAA,+BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,KAAK,CAAC,IAAA,+BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,sCAAiB,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACxC,KAAK,CAAC,IAAA,sCAAiB,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,sCAAiB,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC/D,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,KAAK,CAAC,IAAA,sCAAiB,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,EAAE,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,+BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,mBAAmB;AACnB,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnD,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;QACrD,KAAK,CAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,mCAAc,EAAC,CAAC,CAAC,GAAG,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,KAAK,CAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,mCAAc,EAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,iCAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,gCAAgC;AAChC,+DAA+D;AAE/D,SAAS,SAAS,CAAO,OAAyB;IAChD,MAAM,CAAC,GAAG,IAAI,GAAG,EAAkB,CAAC;IACpC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,IAAI,OAAO;QAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAClD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,IAAA,iBAAQ,EAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,SAAS,CAAiB;YAClC,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YACjB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YACjB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YACjB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;SAClB,CAAC,CAAC;QACH,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,IAAA,qCAAgB,EAAC,CAAC,CAAC,CAAC;QACrC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAE,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,CAAC,CAAC,CAAC;QACtC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAE,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,CAAC,CAAC,CAAC;QACtC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,GAAG,CAAC,CAAC;QACzB,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,GAAG,CAAC,CAAC;QACzB,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,GAAG,CAAC,CAAC;QACzB,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAE,EAAE,GAAG,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,2DAA2D;QAC3D,MAAM,CAAC,GAAG,SAAS,CAAiB;YAClC,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,GAAG,IAAI,CAAC;YACxB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,GAAG,IAAI,CAAC;YACxB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,GAAG,IAAI,CAAC;YACxB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,GAAG,IAAI,CAAC;SACzB,CAAC,CAAC;QACH,KAAK,CAAC,IAAA,sCAAiB,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,sEAAsE;QACtE,MAAM,CAAC,GAAG,SAAS,CAAiB;YAClC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;YACf,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;YACf,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;SAChB,CAAC,CAAC;QACH,MAAM,EAAE,CAAC,EAAE,GAAG,IAAA,qCAAgB,EAAC,CAAC,CAAC,CAAC;QAClC,KAAK,CAAC,IAAA,sCAAiB,EAAC,CAAC,CAAC,EAAE,IAAA,mCAAc,EAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,CAAC,GAAG,SAAS,CAAiB;YAClC,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YACjB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YACjB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YACjB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;SAClB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,sCAAiB,EAAC,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,KAAK,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,SAAS,CAAiB;YAClC,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YACjB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YACjB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YACjB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;SAClB,CAAC,CAAC;QACH,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAA,8BAAS,EAAC,CAAC,CAAC,CAAC;QAC1C,KAAK,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,GAAG,GAAG,EAAE,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,SAAS,CAAiB;YAClC,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YACjB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YACjB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;YACjB,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC;SAClB,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,IAAA,uCAAkB,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACxC,MAAM,IAAI,GAAG,IAAA,uCAAkB,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,sBAAsB,CAAC,CAAC,KAAK,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,sBAAsB,CAAC,CAAC,KAAK,CAAC,CAAC;QAC5C,0BAA0B;QAC1B,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,IAAA,8BAAS,EAAC,CAAC,CAAC,CAAC;QACjC,KAAK,CAAC,GAAG,EAAE,EAAE,GAAG,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}