@stevenvo780/st-lang 4.6.0 → 4.7.0

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

@@ -1,271 +0,0 @@
-"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

@@ -1 +0,0 @@
-{"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/hybrid-logic/semantics.test.d.ts.map

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

package/dist/tests/hybrid-logic/semantics.test.js

@@ -1,169 +0,0 @@
-"use strict";
-// ============================================================
-// ST Hybrid Logic — Tests de semántica y satisfacibilidad
-// ============================================================
-Object.defineProperty(exports, "__esModule", { value: true });
-const vitest_1 = require("vitest");
-const hybrid_logic_1 = require("../../profiles/hybrid-logic");
-// Helpers para construir frames a mano sin escribir el shape completo.
-function frame(spec) {
-    const valuation = {};
-    for (const [k, v] of Object.entries(spec.valuation ?? {}))
-        valuation[k] = new Set(v);
-    return {
-        worlds: spec.worlds,
-        accessibility: spec.accessibility ?? [],
-        nominals: spec.nominals ?? {},
-        valuation,
-    };
-}
-(0, vitest_1.describe)('Hybrid logic — semántica básica', () => {
-    (0, vitest_1.it)('un átomo es verdadero en los mundos de su valuación', () => {
-        const F = frame({ worlds: ['w0', 'w1'], valuation: { p: ['w0'] } });
-        (0, vitest_1.expect)((0, hybrid_logic_1.satisfies)(F, 'w0', (0, hybrid_logic_1.atom)('p'))).toBe(true);
-        (0, vitest_1.expect)((0, hybrid_logic_1.satisfies)(F, 'w1', (0, hybrid_logic_1.atom)('p'))).toBe(false);
-    });
-    (0, vitest_1.it)('un nominal i denota un único mundo del frame', () => {
-        const F = frame({ worlds: ['w0', 'w1'], nominals: { i: 'w0' } });
-        (0, vitest_1.expect)((0, hybrid_logic_1.satisfies)(F, 'w0', (0, hybrid_logic_1.nominal)('i'))).toBe(true);
-        (0, vitest_1.expect)((0, hybrid_logic_1.satisfies)(F, 'w1', (0, hybrid_logic_1.nominal)('i'))).toBe(false);
-    });
-    (0, vitest_1.it)('@i salta al mundo nombrado por i', () => {
-        const F = frame({
-            worlds: ['w0', 'w1'],
-            nominals: { i: 'w1' },
-            valuation: { p: ['w1'] },
-        });
-        // Evaluamos @i p desde w0; el @ ignora el mundo actual.
-        (0, vitest_1.expect)((0, hybrid_logic_1.satisfies)(F, 'w0', (0, hybrid_logic_1.at)('i', (0, hybrid_logic_1.atom)('p')))).toBe(true);
-        (0, vitest_1.expect)((0, hybrid_logic_1.satisfies)(F, 'w0', (0, hybrid_logic_1.at)('i', (0, hybrid_logic_1.not)((0, hybrid_logic_1.atom)('p'))))).toBe(false);
-    });
-    (0, vitest_1.it)('@i p ∧ @i ¬p es insatisfacible', () => {
-        const result = (0, hybrid_logic_1.isSatisfiable)((0, hybrid_logic_1.and)((0, hybrid_logic_1.at)('i', (0, hybrid_logic_1.atom)('p')), (0, hybrid_logic_1.at)('i', (0, hybrid_logic_1.not)((0, hybrid_logic_1.atom)('p')))));
-        (0, vitest_1.expect)(result.sat).toBe(false);
-    });
-    (0, vitest_1.it)('@i p tiene modelo si existe algún mundo donde p valga y poder mapear i allí', () => {
-        const result = (0, hybrid_logic_1.isSatisfiable)((0, hybrid_logic_1.at)('i', (0, hybrid_logic_1.atom)('p')));
-        (0, vitest_1.expect)(result.sat).toBe(true);
-        (0, vitest_1.expect)(result.frame).toBeDefined();
-    });
-});
-(0, vitest_1.describe)('Hybrid logic — diamond/box', () => {
-    (0, vitest_1.it)('◇φ verdadero sii existe sucesor donde φ vale', () => {
-        const F = frame({
-            worlds: ['w0', 'w1'],
-            accessibility: [['w0', 'w1']],
-            valuation: { p: ['w1'] },
-        });
-        (0, vitest_1.expect)((0, hybrid_logic_1.satisfies)(F, 'w0', (0, hybrid_logic_1.diamond)((0, hybrid_logic_1.atom)('p')))).toBe(true);
-        (0, vitest_1.expect)((0, hybrid_logic_1.satisfies)(F, 'w1', (0, hybrid_logic_1.diamond)((0, hybrid_logic_1.atom)('p')))).toBe(false); // w1 sin sucesores
-    });
-    (0, vitest_1.it)('□φ vacuamente verdadero en hojas (sin sucesores)', () => {
-        const F = frame({ worlds: ['w0'], accessibility: [] });
-        (0, vitest_1.expect)((0, hybrid_logic_1.satisfies)(F, 'w0', (0, hybrid_logic_1.box)((0, hybrid_logic_1.atom)('p')))).toBe(true);
-    });
-});
-(0, vitest_1.describe)('Hybrid logic — ↓-binder', () => {
-    (0, vitest_1.it)('↓i. ◇i es satisfacible sólo en frames con un loop', () => {
-        // ↓i. ◇i dice: "el mundo actual es accesible a sí mismo".
-        const result = (0, hybrid_logic_1.isSatisfiable)((0, hybrid_logic_1.down)('i', (0, hybrid_logic_1.diamond)((0, hybrid_logic_1.nominal)('i'))));
-        (0, vitest_1.expect)(result.sat).toBe(true);
-        // El frame encontrado debe contener un loop sobre el mundo testigo.
-        const w = result.world;
-        const hasLoop = result.frame.accessibility.some(([u, v]) => u === w && v === w);
-        (0, vitest_1.expect)(hasLoop).toBe(true);
-    });
-    (0, vitest_1.it)('↓i. □¬i es satisfacible (mundo sin self-loop)', () => {
-        const result = (0, hybrid_logic_1.isSatisfiable)((0, hybrid_logic_1.down)('i', (0, hybrid_logic_1.box)((0, hybrid_logic_1.not)((0, hybrid_logic_1.nominal)('i')))));
-        (0, vitest_1.expect)(result.sat).toBe(true);
-    });
-    (0, vitest_1.it)('↓i. ◇◇i sat: alcanzable en 2 saltos volviendo al origen', () => {
-        // El modelo más chico es un self-loop w → w (◇◇i con w → w → w).
-        const result = (0, hybrid_logic_1.isSatisfiable)((0, hybrid_logic_1.down)('i', (0, hybrid_logic_1.diamond)((0, hybrid_logic_1.diamond)((0, hybrid_logic_1.nominal)('i')))));
-        (0, vitest_1.expect)(result.sat).toBe(true);
-        const w = result.world;
-        // Debe existir un camino de longitud 2 desde w que termine en w.
-        const acc = result.frame.accessibility;
-        const oneStep = acc.filter(([u]) => u === w).map(([, v]) => v);
-        const twoStepBack = oneStep.some((v) => acc.some(([u, dest]) => u === v && dest === w));
-        (0, vitest_1.expect)(twoStepBack).toBe(true);
-    });
-    (0, vitest_1.it)('↓i. @i p ↔ p (evaluado en w, @i salta a w mismo)', () => {
-        const F = frame({ worlds: ['w0', 'w1'], valuation: { p: ['w0'] } });
-        (0, vitest_1.expect)((0, hybrid_logic_1.satisfies)(F, 'w0', (0, hybrid_logic_1.down)('i', (0, hybrid_logic_1.at)('i', (0, hybrid_logic_1.atom)('p'))))).toBe(true);
-        (0, vitest_1.expect)((0, hybrid_logic_1.satisfies)(F, 'w1', (0, hybrid_logic_1.down)('i', (0, hybrid_logic_1.at)('i', (0, hybrid_logic_1.atom)('p'))))).toBe(false);
-    });
-});
-(0, vitest_1.describe)('Hybrid logic — ∃-world quantifier', () => {
-    (0, vitest_1.it)('∃i. @i p es satisfacible sii algún mundo tiene p', () => {
-        const result = (0, hybrid_logic_1.isSatisfiable)((0, hybrid_logic_1.existsWorld)('i', (0, hybrid_logic_1.at)('i', (0, hybrid_logic_1.atom)('p'))));
-        (0, vitest_1.expect)(result.sat).toBe(true);
-        // El modelo debe tener al menos un mundo con p verdadero.
-        const pSet = result.frame.valuation.p ?? new Set();
-        (0, vitest_1.expect)(pSet.size).toBeGreaterThan(0);
-    });
-    (0, vitest_1.it)('∃i. @i (p ∧ ¬p) es insatisfacible', () => {
-        const result = (0, hybrid_logic_1.isSatisfiable)((0, hybrid_logic_1.existsWorld)('i', (0, hybrid_logic_1.at)('i', (0, hybrid_logic_1.and)((0, hybrid_logic_1.atom)('p'), (0, hybrid_logic_1.not)((0, hybrid_logic_1.atom)('p'))))));
-        (0, vitest_1.expect)(result.sat).toBe(false);
-    });
-    (0, vitest_1.it)('∃i. ↓j. (@i p ∧ @j ¬p) sat: dos mundos con valuaciones distintas', () => {
-        const phi = (0, hybrid_logic_1.existsWorld)('i', (0, hybrid_logic_1.down)('j', (0, hybrid_logic_1.and)((0, hybrid_logic_1.at)('i', (0, hybrid_logic_1.atom)('p')), (0, hybrid_logic_1.at)('j', (0, hybrid_logic_1.not)((0, hybrid_logic_1.atom)('p'))))));
-        const result = (0, hybrid_logic_1.isSatisfiable)(phi);
-        (0, vitest_1.expect)(result.sat).toBe(true);
-    });
-});
-(0, vitest_1.describe)('Hybrid logic — combinaciones', () => {
-    (0, vitest_1.it)('@i (p → @j p) con i y j distintos pero conectados', () => {
-        const F = frame({
-            worlds: ['w0', 'w1'],
-            nominals: { i: 'w0', j: 'w1' },
-            valuation: { p: ['w0', 'w1'] },
-        });
-        (0, vitest_1.expect)((0, hybrid_logic_1.satisfies)(F, 'w0', (0, hybrid_logic_1.at)('i', (0, hybrid_logic_1.implies)((0, hybrid_logic_1.atom)('p'), (0, hybrid_logic_1.at)('j', (0, hybrid_logic_1.atom)('p')))))).toBe(true);
-    });
-    (0, vitest_1.it)('@i ◇j: i tiene acceso al mundo de j', () => {
-        const F = frame({
-            worlds: ['w0', 'w1'],
-            accessibility: [['w0', 'w1']],
-            nominals: { i: 'w0', j: 'w1' },
-        });
-        (0, vitest_1.expect)((0, hybrid_logic_1.satisfies)(F, 'w0', (0, hybrid_logic_1.at)('i', (0, hybrid_logic_1.diamond)((0, hybrid_logic_1.nominal)('j'))))).toBe(true);
-        // Sin la arista no se satisface.
-        const G = frame({
-            worlds: ['w0', 'w1'],
-            accessibility: [],
-            nominals: { i: 'w0', j: 'w1' },
-        });
-        (0, vitest_1.expect)((0, hybrid_logic_1.satisfies)(G, 'w0', (0, hybrid_logic_1.at)('i', (0, hybrid_logic_1.diamond)((0, hybrid_logic_1.nominal)('j'))))).toBe(false);
-    });
-    (0, vitest_1.it)('isSatisfiableInFrame devuelve el mundo testigo', () => {
-        const F = frame({
-            worlds: ['w0', 'w1'],
-            nominals: { i: 'w1' },
-            valuation: { p: ['w1'] },
-        });
-        const w = (0, hybrid_logic_1.isSatisfiableInFrame)(F, (0, hybrid_logic_1.at)('i', (0, hybrid_logic_1.atom)('p')));
-        (0, vitest_1.expect)(w).toBeDefined();
-    });
-    (0, vitest_1.it)('nominal libre sin asignación lanza error en satisfies', () => {
-        const F = frame({ worlds: ['w0'] });
-        (0, vitest_1.expect)(() => (0, hybrid_logic_1.satisfies)(F, 'w0', (0, hybrid_logic_1.nominal)('i'))).toThrow(/Nominal no asignado/);
-    });
-    (0, vitest_1.it)('@-operator sobre nominal no asignado lanza error en satisfies', () => {
-        const F = frame({ worlds: ['w0'] });
-        (0, vitest_1.expect)(() => (0, hybrid_logic_1.satisfies)(F, 'w0', (0, hybrid_logic_1.at)('i', (0, hybrid_logic_1.atom)('p')))).toThrow(/no asignado/);
-    });
-});
-(0, vitest_1.describe)('Hybrid logic — formulaToString', () => {
-    (0, vitest_1.it)('renderiza notación estándar', () => {
-        (0, vitest_1.expect)((0, hybrid_logic_1.formulaToString)((0, hybrid_logic_1.atom)('p'))).toBe('p');
-        (0, vitest_1.expect)((0, hybrid_logic_1.formulaToString)((0, hybrid_logic_1.nominal)('i'))).toBe('i');
-        (0, vitest_1.expect)((0, hybrid_logic_1.formulaToString)((0, hybrid_logic_1.not)((0, hybrid_logic_1.atom)('p')))).toBe('¬p');
-        (0, vitest_1.expect)((0, hybrid_logic_1.formulaToString)((0, hybrid_logic_1.at)('i', (0, hybrid_logic_1.atom)('p')))).toBe('@i p');
-        (0, vitest_1.expect)((0, hybrid_logic_1.formulaToString)((0, hybrid_logic_1.down)('i', (0, hybrid_logic_1.diamond)((0, hybrid_logic_1.nominal)('i'))))).toBe('↓i. ◇i');
-        (0, vitest_1.expect)((0, hybrid_logic_1.formulaToString)((0, hybrid_logic_1.existsWorld)('i', (0, hybrid_logic_1.at)('i', (0, hybrid_logic_1.atom)('p'))))).toBe('∃i. @i p');
-        (0, vitest_1.expect)((0, hybrid_logic_1.formulaToString)((0, hybrid_logic_1.box)((0, hybrid_logic_1.atom)('p')))).toBe('□p');
-        (0, vitest_1.expect)((0, hybrid_logic_1.formulaToString)((0, hybrid_logic_1.diamond)((0, hybrid_logic_1.atom)('p')))).toBe('◇p');
-    });
-});
-//# sourceMappingURL=semantics.test.js.map

package/dist/tests/hybrid-logic/semantics.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"semantics.test.js","sourceRoot":"","sources":["../../../src/tests/hybrid-logic/semantics.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,0DAA0D;AAC1D,+DAA+D;;AAE/D,mCAA8C;AAC9C,8DAgBqC;AAErC,uEAAuE;AACvE,SAAS,KAAK,CAAC,IAKd;IACC,MAAM,SAAS,GAAgC,EAAE,CAAC;IAClD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC;QAAE,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC;IACrF,OAAO;QACL,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,aAAa,EAAE,IAAI,CAAC,aAAa,IAAI,EAAE;QACvC,QAAQ,EAAE,IAAI,CAAC,QAAQ,IAAI,EAAE;QAC7B,SAAS;KACV,CAAC;AACJ,CAAC;AAED,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,IAAI,EAAE,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,IAAI,EAAE,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,IAAI,EAAE,IAAA,sBAAO,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,IAAI,EAAE,IAAA,sBAAO,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,KAAK,CAAC;YACd,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;YACpB,QAAQ,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE;YACrB,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE;SACzB,CAAC,CAAC;QACH,wDAAwD;QACxD,IAAA,eAAM,EAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,IAAI,EAAE,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,IAAI,EAAE,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,kBAAG,EAAC,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,MAAM,GAAG,IAAA,4BAAa,EAAC,IAAA,kBAAG,EAAC,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,kBAAG,EAAC,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/E,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,MAAM,GAAG,IAAA,4BAAa,EAAC,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,KAAK,CAAC;YACd,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;YACpB,aAAa,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC7B,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE;SACzB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,IAAI,EAAE,IAAA,sBAAO,EAAC,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,IAAI,EAAE,IAAA,sBAAO,EAAC,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,mBAAmB;IACjF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,aAAa,EAAE,EAAE,EAAE,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,IAAI,EAAE,IAAA,kBAAG,EAAC,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,0DAA0D;QAC1D,MAAM,MAAM,GAAG,IAAA,4BAAa,EAAC,IAAA,mBAAI,EAAC,GAAG,EAAE,IAAA,sBAAO,EAAC,IAAA,sBAAO,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,oEAAoE;QACpE,MAAM,CAAC,GAAG,MAAM,CAAC,KAAM,CAAC;QACxB,MAAM,OAAO,GAAG,MAAM,CAAC,KAAM,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QACjF,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,MAAM,GAAG,IAAA,4BAAa,EAAC,IAAA,mBAAI,EAAC,GAAG,EAAE,IAAA,kBAAG,EAAC,IAAA,kBAAG,EAAC,IAAA,sBAAO,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,iEAAiE;QACjE,MAAM,MAAM,GAAG,IAAA,4BAAa,EAAC,IAAA,mBAAI,EAAC,GAAG,EAAE,IAAA,sBAAO,EAAC,IAAA,sBAAO,EAAC,IAAA,sBAAO,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,MAAM,CAAC,GAAG,MAAM,CAAC,KAAM,CAAC;QACxB,iEAAiE;QACjE,MAAM,GAAG,GAAG,MAAM,CAAC,KAAM,CAAC,aAAa,CAAC;QACxC,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/D,MAAM,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;QACxF,IAAA,eAAM,EAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,IAAI,EAAE,IAAA,mBAAI,EAAC,GAAG,EAAE,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrE,IAAA,eAAM,EAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,IAAI,EAAE,IAAA,mBAAI,EAAC,GAAG,EAAE,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,MAAM,GAAG,IAAA,4BAAa,EAAC,IAAA,0BAAW,EAAC,GAAG,EAAE,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,0DAA0D;QAC1D,MAAM,IAAI,GAAG,MAAM,CAAC,KAAM,CAAC,SAAS,CAAC,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;QAC5D,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,MAAM,GAAG,IAAA,4BAAa,EAAC,IAAA,0BAAW,EAAC,GAAG,EAAE,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,kBAAG,EAAC,IAAA,mBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,kBAAG,EAAC,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxF,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,GAAG,GAAG,IAAA,0BAAW,EAAC,GAAG,EAAE,IAAA,mBAAI,EAAC,GAAG,EAAE,IAAA,kBAAG,EAAC,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,kBAAG,EAAC,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1F,MAAM,MAAM,GAAG,IAAA,4BAAa,EAAC,GAAG,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,KAAK,CAAC;YACd,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;YACpB,QAAQ,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE;YAC9B,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE;SAC/B,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,IAAI,EAAE,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,sBAAO,EAAC,IAAA,mBAAI,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAG,KAAK,CAAC;YACd,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;YACpB,aAAa,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC7B,QAAQ,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE;SAC/B,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,IAAI,EAAE,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,sBAAO,EAAC,IAAA,sBAAO,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtE,iCAAiC;QACjC,MAAM,CAAC,GAAG,KAAK,CAAC;YACd,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;YACpB,aAAa,EAAE,EAAE;YACjB,QAAQ,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE;SAC/B,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,IAAI,EAAE,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,sBAAO,EAAC,IAAA,sBAAO,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,KAAK,CAAC;YACd,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC;YACpB,QAAQ,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE;YACrB,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE;SACzB,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,IAAA,mCAAoB,EAAC,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,GAAG,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,IAAI,EAAE,IAAA,sBAAO,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,CAAC,GAAG,KAAK,CAAC,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,IAAI,EAAE,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,IAAA,eAAM,EAAC,IAAA,8BAAe,EAAC,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,8BAAe,EAAC,IAAA,sBAAO,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,IAAA,8BAAe,EAAC,IAAA,kBAAG,EAAC,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,IAAA,8BAAe,EAAC,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,IAAA,8BAAe,EAAC,IAAA,mBAAI,EAAC,GAAG,EAAE,IAAA,sBAAO,EAAC,IAAA,sBAAO,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,IAAA,8BAAe,EAAC,IAAA,0BAAW,EAAC,GAAG,EAAE,IAAA,iBAAE,EAAC,GAAG,EAAE,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC/E,IAAA,eAAM,EAAC,IAAA,8BAAe,EAAC,IAAA,kBAAG,EAAC,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,IAAA,8BAAe,EAAC,IAAA,sBAAO,EAAC,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/hyperreal/hyperreal.test.d.ts.map

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