@stevenvo780/st-lang 4.1.0 → 4.3.0

package/dist/tests/curry-howard/reduce.test.js

@@ -0,0 +1,109 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const curry_howard_1 = require("../../curry-howard");
+const P = (0, curry_howard_1.atom)('P');
+const Q = (0, curry_howard_1.atom)('Q');
+(0, vitest_1.describe)('Curry-Howard / β-reducción', () => {
+    (0, vitest_1.it)('reduce identidad aplicada: (λx:P. x) y → y', () => {
+        const t = (0, curry_howard_1.app)((0, curry_howard_1.abs)('x', P, (0, curry_howard_1.vr)('x')), (0, curry_howard_1.vr)('y'));
+        const r = (0, curry_howard_1.reduceBeta)(t);
+        (0, vitest_1.expect)(r).toEqual((0, curry_howard_1.vr)('y'));
+    });
+    (0, vitest_1.it)('reduce K-combinator: (λx:P. λy:Q. x) a → λy:Q. a', () => {
+        const t = (0, curry_howard_1.app)((0, curry_howard_1.abs)('x', P, (0, curry_howard_1.abs)('y', Q, (0, curry_howard_1.vr)('x'))), (0, curry_howard_1.vr)('a'));
+        const r = (0, curry_howard_1.reduceBeta)(t);
+        (0, vitest_1.expect)((0, curry_howard_1.termToString)(r)).toBe('(λy:Q. a)');
+    });
+    (0, vitest_1.it)('fst ⟨a, b⟩ → a', () => {
+        const t = (0, curry_howard_1.fst)((0, curry_howard_1.pair)((0, curry_howard_1.vr)('a'), (0, curry_howard_1.vr)('b')));
+        (0, vitest_1.expect)((0, curry_howard_1.reduceBeta)(t)).toEqual((0, curry_howard_1.vr)('a'));
+    });
+    (0, vitest_1.it)('snd ⟨a, b⟩ → b', () => {
+        const t = (0, curry_howard_1.snd)((0, curry_howard_1.pair)((0, curry_howard_1.vr)('a'), (0, curry_howard_1.vr)('b')));
+        (0, vitest_1.expect)((0, curry_howard_1.reduceBeta)(t)).toEqual((0, curry_howard_1.vr)('b'));
+    });
+    (0, vitest_1.it)('case (inl v) of inl(x)→x | inr(y)→y → v', () => {
+        const t = (0, curry_howard_1.cse)((0, curry_howard_1.inl)((0, curry_howard_1.vr)('v'), Q), 'x', (0, curry_howard_1.vr)('x'), 'y', (0, curry_howard_1.vr)('y'));
+        (0, vitest_1.expect)((0, curry_howard_1.reduceBeta)(t)).toEqual((0, curry_howard_1.vr)('v'));
+    });
+    (0, vitest_1.it)('case (inr v) selecciona la rama derecha', () => {
+        const t = (0, curry_howard_1.cse)((0, curry_howard_1.inr)((0, curry_howard_1.vr)('v'), P), 'x', (0, curry_howard_1.vr)('x'), 'y', (0, curry_howard_1.vr)('y'));
+        (0, vitest_1.expect)((0, curry_howard_1.reduceBeta)(t)).toEqual((0, curry_howard_1.vr)('v'));
+    });
+    (0, vitest_1.it)('normalize: (λx. (λy. y) x) z → z', () => {
+        const t = (0, curry_howard_1.app)((0, curry_howard_1.abs)('x', P, (0, curry_howard_1.app)((0, curry_howard_1.abs)('y', P, (0, curry_howard_1.vr)('y')), (0, curry_howard_1.vr)('x'))), (0, curry_howard_1.vr)('z'));
+        const r = (0, curry_howard_1.normalize)(t);
+        (0, vitest_1.expect)(r).toEqual((0, curry_howard_1.vr)('z'));
+    });
+    (0, vitest_1.it)('isNormal verdadero para variables y formas λ inertes', () => {
+        (0, vitest_1.expect)((0, curry_howard_1.isNormal)((0, curry_howard_1.vr)('x'))).toBe(true);
+        (0, vitest_1.expect)((0, curry_howard_1.isNormal)((0, curry_howard_1.abs)('x', P, (0, curry_howard_1.vr)('x')))).toBe(true);
+    });
+    (0, vitest_1.it)('isNormal falso para redex', () => {
+        const t = (0, curry_howard_1.app)((0, curry_howard_1.abs)('x', P, (0, curry_howard_1.vr)('x')), (0, curry_howard_1.vr)('y'));
+        (0, vitest_1.expect)((0, curry_howard_1.isNormal)(t)).toBe(false);
+    });
+    (0, vitest_1.it)('preserva tipos: si term:T entonces reduceBeta(term):T', () => {
+        // (λx:P. x) y : P  con y:P  ⇒  y : P
+        const term = (0, curry_howard_1.app)((0, curry_howard_1.abs)('x', P, (0, curry_howard_1.vr)('x')), (0, curry_howard_1.vr)('y'));
+        const ctx = { y: P };
+        const tBefore = (0, curry_howard_1.inferType)(term, ctx);
+        const reduced = (0, curry_howard_1.reduceBeta)(term);
+        const tAfter = (0, curry_howard_1.inferType)(reduced, ctx);
+        (0, vitest_1.expect)((0, curry_howard_1.isInferError)(tBefore)).toBe(false);
+        (0, vitest_1.expect)((0, curry_howard_1.isInferError)(tAfter)).toBe(false);
+        if (!(0, curry_howard_1.isInferError)(tBefore) && !(0, curry_howard_1.isInferError)(tAfter)) {
+            (0, vitest_1.expect)((0, curry_howard_1.eqType)(tBefore, tAfter)).toBe(true);
+        }
+    });
+    (0, vitest_1.it)('α-renombra al sustituir para evitar captura: (λx:P. λy:P. x) y → λy#:P. y', () => {
+        // y libre en el argumento; el binder interno debe renombrarse
+        const t = (0, curry_howard_1.app)((0, curry_howard_1.abs)('x', P, (0, curry_howard_1.abs)('y', P, (0, curry_howard_1.vr)('x'))), (0, curry_howard_1.vr)('y'));
+        const r = (0, curry_howard_1.reduceBeta)(t);
+        // r es un abs cuyo cuerpo es 'y' (la y libre original), no la ligada
+        (0, vitest_1.expect)(r.kind).toBe('abs');
+        if (r.kind === 'abs') {
+            // tras renombrar, el binder ya no se llama 'y'; el cuerpo sigue siendo la y libre
+            (0, vitest_1.expect)(r.param).not.toBe('y');
+            (0, vitest_1.expect)(r.body).toEqual((0, curry_howard_1.vr)('y'));
+        }
+    });
+    (0, vitest_1.it)('normalize en producto: fst ⟨(λx:P. x) a, b⟩ →* a', () => {
+        const t = (0, curry_howard_1.fst)((0, curry_howard_1.pair)((0, curry_howard_1.app)((0, curry_howard_1.abs)('x', P, (0, curry_howard_1.vr)('x')), (0, curry_howard_1.vr)('a')), (0, curry_howard_1.vr)('b')));
+        (0, vitest_1.expect)((0, curry_howard_1.normalize)(t)).toEqual((0, curry_howard_1.vr)('a'));
+    });
+    (0, vitest_1.it)('normalize con term abierto bajo λ: λz:P. (λx:P. x) z →* λz:P. z', () => {
+        const t = (0, curry_howard_1.abs)('z', P, (0, curry_howard_1.app)((0, curry_howard_1.abs)('x', P, (0, curry_howard_1.vr)('x')), (0, curry_howard_1.vr)('z')));
+        const r = (0, curry_howard_1.normalize)(t);
+        (0, vitest_1.expect)(r).toEqual((0, curry_howard_1.abs)('z', P, (0, curry_howard_1.vr)('z')));
+    });
+    (0, vitest_1.it)('absurd no se reduce (sin redex), preserva ⊥ → P', () => {
+        const t = {
+            kind: 'absurd',
+            proofOfFalse: (0, curry_howard_1.vr)('f'),
+            resultType: P,
+        };
+        (0, vitest_1.expect)((0, curry_howard_1.reduceBeta)(t)).toEqual(t);
+        // y se preserva el tipo
+        const ty = (0, curry_howard_1.inferType)(t, { f: (0, curry_howard_1.bottom)() });
+        (0, vitest_1.expect)((0, curry_howard_1.isInferError)(ty)).toBe(false);
+        if (!(0, curry_howard_1.isInferError)(ty))
+            (0, vitest_1.expect)((0, curry_howard_1.eqType)(ty, P)).toBe(true);
+    });
+    (0, vitest_1.it)('no entra en loop con maxSteps: term ya normal devuelve sí mismo', () => {
+        const t = (0, curry_howard_1.abs)('x', (0, curry_howard_1.arrow)(P, Q), (0, curry_howard_1.vr)('x'));
+        (0, vitest_1.expect)((0, curry_howard_1.normalize)(t, 10)).toEqual(t);
+    });
+    (0, vitest_1.it)('reducción dentro de pair conserva forma', () => {
+        const t = (0, curry_howard_1.pair)((0, curry_howard_1.app)((0, curry_howard_1.abs)('x', P, (0, curry_howard_1.vr)('x')), (0, curry_howard_1.vr)('a')), (0, curry_howard_1.vr)('b'));
+        const r = (0, curry_howard_1.normalize)(t);
+        (0, vitest_1.expect)(r).toEqual((0, curry_howard_1.pair)((0, curry_howard_1.vr)('a'), (0, curry_howard_1.vr)('b')));
+    });
+    (0, vitest_1.it)('reduce dentro del scrutinee de case', () => {
+        // case ((λx:P. x) (inl v)) of inl(a)→a | inr(b)→b  →*  v
+        const t = (0, curry_howard_1.cse)((0, curry_howard_1.app)((0, curry_howard_1.abs)('x', (0, curry_howard_1.sum)(P, Q), (0, curry_howard_1.vr)('x')), (0, curry_howard_1.inl)((0, curry_howard_1.vr)('v'), Q)), 'a', (0, curry_howard_1.vr)('a'), 'b', (0, curry_howard_1.vr)('b'));
+        (0, vitest_1.expect)((0, curry_howard_1.normalize)(t)).toEqual((0, curry_howard_1.vr)('v'));
+    });
+});
+//# sourceMappingURL=reduce.test.js.map

package/dist/tests/curry-howard/reduce.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reduce.test.js","sourceRoot":"","sources":["../../../src/tests/curry-howard/reduce.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,qDAsB4B;AAE5B,MAAM,CAAC,GAAG,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC;AACpB,MAAM,CAAC,GAAG,IAAA,mBAAI,EAAC,GAAG,CAAC,CAAC;AAEpB,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,IAAA,kBAAG,EAAC,IAAA,kBAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,MAAM,CAAC,GAAG,IAAA,yBAAU,EAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,IAAA,kBAAG,EAAC,IAAA,kBAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,kBAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,CAAC;QAC1D,MAAM,CAAC,GAAG,IAAA,yBAAU,EAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,IAAA,2BAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,CAAC,GAAG,IAAA,kBAAG,EAAC,IAAA,mBAAI,EAAC,IAAA,iBAAE,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,yBAAU,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,CAAC,GAAG,IAAA,kBAAG,EAAC,IAAA,mBAAI,EAAC,IAAA,iBAAE,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,yBAAU,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,IAAA,kBAAG,EAAC,IAAA,kBAAG,EAAC,IAAA,iBAAE,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,EAAE,GAAG,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,IAAA,yBAAU,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,IAAA,kBAAG,EAAC,IAAA,kBAAG,EAAC,IAAA,iBAAE,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,EAAE,GAAG,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,IAAA,yBAAU,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,IAAA,kBAAG,EAAC,IAAA,kBAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,kBAAG,EAAC,IAAA,kBAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,CAAC;QACxE,MAAM,CAAC,GAAG,IAAA,wBAAS,EAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,IAAA,eAAM,EAAC,IAAA,uBAAQ,EAAC,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAA,uBAAQ,EAAC,IAAA,kBAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,GAAG,IAAA,kBAAG,EAAC,IAAA,kBAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,uBAAQ,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,qCAAqC;QACrC,MAAM,IAAI,GAAG,IAAA,kBAAG,EAAC,IAAA,kBAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,CAAC;QAChD,MAAM,GAAG,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;QACrB,MAAM,OAAO,GAAG,IAAA,wBAAS,EAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACrC,MAAM,OAAO,GAAG,IAAA,yBAAU,EAAC,IAAI,CAAC,CAAC;QACjC,MAAM,MAAM,GAAG,IAAA,wBAAS,EAAC,OAAO,EAAE,GAAG,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,2BAAY,EAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,2BAAY,EAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzC,IAAI,CAAC,IAAA,2BAAY,EAAC,OAAO,CAAC,IAAI,CAAC,IAAA,2BAAY,EAAC,MAAM,CAAC,EAAE,CAAC;YACpD,IAAA,eAAM,EAAC,IAAA,qBAAM,EAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,8DAA8D;QAC9D,MAAM,CAAC,GAAG,IAAA,kBAAG,EAAC,IAAA,kBAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,kBAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,CAAC;QAC1D,MAAM,CAAC,GAAG,IAAA,yBAAU,EAAC,CAAC,CAAC,CAAC;QACxB,qEAAqE;QACrE,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YACrB,kFAAkF;YAClF,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,CAAC;QAClC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,IAAA,kBAAG,EAAC,IAAA,mBAAI,EAAC,IAAA,kBAAG,EAAC,IAAA,kBAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,IAAA,wBAAS,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,CAAC,GAAG,IAAA,kBAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,kBAAG,EAAC,IAAA,kBAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC1D,MAAM,CAAC,GAAG,IAAA,wBAAS,EAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAA,kBAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAe;YACpB,IAAI,EAAE,QAAQ;YACd,YAAY,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC;YACrB,UAAU,EAAE,CAAC;SACd,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,yBAAU,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACjC,wBAAwB;QACxB,MAAM,EAAE,GAAG,IAAA,wBAAS,EAAC,CAAC,EAAE,EAAE,CAAC,EAAE,IAAA,qBAAM,GAAE,EAAE,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,2BAAY,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,CAAC,IAAA,2BAAY,EAAC,EAAE,CAAC;YAAE,IAAA,eAAM,EAAC,IAAA,qBAAM,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,CAAC,GAAG,IAAA,kBAAG,EAAC,GAAG,EAAE,IAAA,oBAAK,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,IAAA,mBAAI,EAAC,IAAA,kBAAG,EAAC,IAAA,kBAAG,EAAC,GAAG,EAAE,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,CAAC;QAC5D,MAAM,CAAC,GAAG,IAAA,wBAAS,EAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAA,mBAAI,EAAC,IAAA,iBAAE,EAAC,GAAG,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,yDAAyD;QACzD,MAAM,CAAC,GAAG,IAAA,kBAAG,EAAC,IAAA,kBAAG,EAAC,IAAA,kBAAG,EAAC,GAAG,EAAE,IAAA,kBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,kBAAG,EAAC,IAAA,iBAAE,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,EAAE,GAAG,EAAE,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,CAAC;QAC9F,IAAA,eAAM,EAAC,IAAA,wBAAS,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAA,iBAAE,EAAC,GAAG,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/default-logic/extensions.test.d.ts

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

package/dist/tests/default-logic/extensions.test.d.ts.map

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

package/dist/tests/default-logic/extensions.test.js

@@ -0,0 +1,323 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+/**
+ * ST Default Logic (Reiter) — Tests de extensiones y entailment
+ * =============================================================
+ * Valida cálculo de extensiones, entailment crédulo/escéptico y
+ * los casos canónicos de la literatura (Tweety, Nixon diamond,
+ * defaults sin prerequisite cumplido, conflictos múltiples).
+ */
+const vitest_1 = require("vitest");
+const default_logic_1 = require("../../profiles/default-logic");
+(0, vitest_1.describe)('default-logic — normalizeLiteral', () => {
+    (0, vitest_1.it)('canoniza literales positivos y negativos', () => {
+        (0, vitest_1.expect)((0, default_logic_1.normalizeLiteral)('P')).toBe('P');
+        (0, vitest_1.expect)((0, default_logic_1.normalizeLiteral)('  P  ')).toBe('P');
+        (0, vitest_1.expect)((0, default_logic_1.normalizeLiteral)('¬P')).toBe('¬P');
+        (0, vitest_1.expect)((0, default_logic_1.normalizeLiteral)('!P')).toBe('¬P');
+        (0, vitest_1.expect)((0, default_logic_1.normalizeLiteral)('~P')).toBe('¬P');
+        (0, vitest_1.expect)((0, default_logic_1.normalizeLiteral)('not P')).toBe('¬P');
+        (0, vitest_1.expect)((0, default_logic_1.normalizeLiteral)('NOT P')).toBe('¬P');
+    });
+    (0, vitest_1.it)('cancela dobles negaciones', () => {
+        (0, vitest_1.expect)((0, default_logic_1.normalizeLiteral)('¬¬P')).toBe('P');
+        (0, vitest_1.expect)((0, default_logic_1.normalizeLiteral)('!!P')).toBe('P');
+        (0, vitest_1.expect)((0, default_logic_1.normalizeLiteral)('¬!P')).toBe('P');
+        (0, vitest_1.expect)((0, default_logic_1.normalizeLiteral)('not not P')).toBe('P');
+    });
+    (0, vitest_1.it)('preserva predicados FOL como literales atómicos', () => {
+        (0, vitest_1.expect)((0, default_logic_1.normalizeLiteral)('flies(tweety)')).toBe('flies(tweety)');
+        (0, vitest_1.expect)((0, default_logic_1.normalizeLiteral)('¬flies(tweety)')).toBe('¬flies(tweety)');
+        (0, vitest_1.expect)((0, default_logic_1.normalizeLiteral)('!penguin(opus)')).toBe('¬penguin(opus)');
+    });
+    (0, vitest_1.it)('lanza error en literal vacío o sin átomo', () => {
+        (0, vitest_1.expect)(() => (0, default_logic_1.normalizeLiteral)('')).toThrow();
+        (0, vitest_1.expect)(() => (0, default_logic_1.normalizeLiteral)('   ')).toThrow();
+        (0, vitest_1.expect)(() => (0, default_logic_1.normalizeLiteral)('¬¬')).toThrow();
+    });
+});
+(0, vitest_1.describe)('default-logic — negate y consistencia', () => {
+    (0, vitest_1.it)('negate alterna polaridad', () => {
+        (0, vitest_1.expect)((0, default_logic_1.negate)('P')).toBe('¬P');
+        (0, vitest_1.expect)((0, default_logic_1.negate)('¬P')).toBe('P');
+        (0, vitest_1.expect)((0, default_logic_1.negate)('flies(tweety)')).toBe('¬flies(tweety)');
+    });
+    (0, vitest_1.it)('isConsistent detecta pares L/¬L', () => {
+        (0, vitest_1.expect)((0, default_logic_1.isConsistent)(new Set(['P', 'Q']))).toBe(true);
+        (0, vitest_1.expect)((0, default_logic_1.isConsistent)(new Set(['P', '¬P']))).toBe(false);
+        (0, vitest_1.expect)((0, default_logic_1.isConsistent)(new Set(['flies(tweety)', '¬flies(tweety)']))).toBe(false);
+        (0, vitest_1.expect)((0, default_logic_1.isConsistent)(new Set())).toBe(true);
+    });
+});
+(0, vitest_1.describe)('default-logic — teorías triviales', () => {
+    (0, vitest_1.it)('sin defaults: extensión única = facts', () => {
+        const T = { facts: ['P', 'Q'], defaults: [] };
+        const exts = (0, default_logic_1.computeExtensions)(T);
+        (0, vitest_1.expect)(exts).toHaveLength(1);
+        (0, vitest_1.expect)(Array.from(exts[0].formulas).sort()).toEqual(['P', 'Q']);
+        (0, vitest_1.expect)(exts[0].appliedDefaults).toEqual([]);
+    });
+    (0, vitest_1.it)('sin facts ni defaults: una extensión vacía', () => {
+        const T = { facts: [], defaults: [] };
+        const exts = (0, default_logic_1.computeExtensions)(T);
+        (0, vitest_1.expect)(exts).toHaveLength(1);
+        (0, vitest_1.expect)(exts[0].formulas.size).toBe(0);
+    });
+    (0, vitest_1.it)('default con prerequisite no cumplido NO se aplica', () => {
+        const T = {
+            facts: ['Q'], // no incluye P
+            defaults: [{ id: 'd1', prerequisite: 'P', justifications: ['R'], consequent: 'R' }],
+        };
+        const exts = (0, default_logic_1.computeExtensions)(T);
+        (0, vitest_1.expect)(exts).toHaveLength(1);
+        (0, vitest_1.expect)(exts[0].formulas.has('R')).toBe(false);
+        (0, vitest_1.expect)(exts[0].appliedDefaults).toEqual([]);
+    });
+});
+(0, vitest_1.describe)('default-logic — caso Tweety', () => {
+    const facts = ['bird(tweety)'];
+    const dBirdsFly = {
+        id: 'birds-fly',
+        prerequisite: 'bird(tweety)',
+        justifications: ['flies(tweety)'],
+        consequent: 'flies(tweety)',
+    };
+    (0, vitest_1.it)('Tweety vuela: única extensión con flies(tweety)', () => {
+        const T = { facts, defaults: [dBirdsFly] };
+        const exts = (0, default_logic_1.computeExtensions)(T);
+        (0, vitest_1.expect)(exts).toHaveLength(1);
+        (0, vitest_1.expect)(exts[0].formulas.has('flies(tweety)')).toBe(true);
+        (0, vitest_1.expect)(exts[0].appliedDefaults).toEqual(['birds-fly']);
+    });
+    (0, vitest_1.it)('Tweety + entailment crédulo y escéptico coinciden con extensión única', () => {
+        const T = { facts, defaults: [dBirdsFly] };
+        (0, vitest_1.expect)((0, default_logic_1.isCredulouslyEntailed)('flies(tweety)', T)).toBe(true);
+        (0, vitest_1.expect)((0, default_logic_1.isSkepticallyEntailed)('flies(tweety)', T)).toBe(true);
+        (0, vitest_1.expect)((0, default_logic_1.isCredulouslyEntailed)('¬flies(tweety)', T)).toBe(false);
+    });
+    (0, vitest_1.it)('Penguin + bird: el default "birds fly" queda bloqueado por inconsistencia', () => {
+        // Pingüino que también es pájaro, pero el hecho ¬flies bloquea el default.
+        const T = {
+            facts: ['bird(opus)', 'penguin(opus)', '¬flies(opus)'],
+            defaults: [
+                {
+                    id: 'birds-fly',
+                    prerequisite: 'bird(opus)',
+                    justifications: ['flies(opus)'],
+                    consequent: 'flies(opus)',
+                },
+            ],
+        };
+        const exts = (0, default_logic_1.computeExtensions)(T);
+        (0, vitest_1.expect)(exts).toHaveLength(1);
+        (0, vitest_1.expect)(exts[0].formulas.has('flies(opus)')).toBe(false);
+        (0, vitest_1.expect)(exts[0].formulas.has('¬flies(opus)')).toBe(true);
+        (0, vitest_1.expect)(exts[0].appliedDefaults).toEqual([]);
+    });
+    (0, vitest_1.it)('Penguin con defaults compitiendo: prioridad por prerequisite más específico se elige por aplicabilidad', () => {
+        // Dos defaults en conflicto, sin penguin como hecho duro.
+        // En Reiter "puro" (sin priorización) ambos defaults son aplicables
+        // pero mutuamente excluyentes → dos extensiones.
+        const T = {
+            facts: ['bird(opus)', 'penguin(opus)'],
+            defaults: [
+                {
+                    id: 'birds-fly',
+                    prerequisite: 'bird(opus)',
+                    justifications: ['flies(opus)'],
+                    consequent: 'flies(opus)',
+                },
+                {
+                    id: 'penguins-dont-fly',
+                    prerequisite: 'penguin(opus)',
+                    justifications: ['¬flies(opus)'],
+                    consequent: '¬flies(opus)',
+                },
+            ],
+        };
+        const exts = (0, default_logic_1.computeExtensions)(T);
+        (0, vitest_1.expect)(exts).toHaveLength(2);
+        const fliesExt = exts.find((e) => e.formulas.has('flies(opus)'));
+        const noFliesExt = exts.find((e) => e.formulas.has('¬flies(opus)'));
+        (0, vitest_1.expect)(fliesExt).toBeDefined();
+        (0, vitest_1.expect)(noFliesExt).toBeDefined();
+        // Entailment: crédulo ambos, escéptico ninguno
+        (0, vitest_1.expect)((0, default_logic_1.isCredulouslyEntailed)('flies(opus)', T)).toBe(true);
+        (0, vitest_1.expect)((0, default_logic_1.isCredulouslyEntailed)('¬flies(opus)', T)).toBe(true);
+        (0, vitest_1.expect)((0, default_logic_1.isSkepticallyEntailed)('flies(opus)', T)).toBe(false);
+        (0, vitest_1.expect)((0, default_logic_1.isSkepticallyEntailed)('¬flies(opus)', T)).toBe(false);
+        // bird(opus) y penguin(opus) sí son escépticos
+        (0, vitest_1.expect)((0, default_logic_1.isSkepticallyEntailed)('bird(opus)', T)).toBe(true);
+        (0, vitest_1.expect)((0, default_logic_1.isSkepticallyEntailed)('penguin(opus)', T)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('default-logic — Nixon diamond', () => {
+    (0, vitest_1.it)('Nixon: republicano (no pacifista) vs cuáquero (pacifista) → 2 extensiones', () => {
+        // Caso canónico de Reiter: Nixon es republicano y cuáquero.
+        // Republicanos típicamente NO son pacifistas; cuáqueros típicamente SÍ.
+        const T = {
+            facts: ['republican(nixon)', 'quaker(nixon)'],
+            defaults: [
+                {
+                    id: 'rep-not-pacifist',
+                    prerequisite: 'republican(nixon)',
+                    justifications: ['¬pacifist(nixon)'],
+                    consequent: '¬pacifist(nixon)',
+                },
+                {
+                    id: 'quaker-pacifist',
+                    prerequisite: 'quaker(nixon)',
+                    justifications: ['pacifist(nixon)'],
+                    consequent: 'pacifist(nixon)',
+                },
+            ],
+        };
+        const exts = (0, default_logic_1.computeExtensions)(T);
+        (0, vitest_1.expect)(exts).toHaveLength(2);
+        (0, vitest_1.expect)((0, default_logic_1.isCredulouslyEntailed)('pacifist(nixon)', T)).toBe(true);
+        (0, vitest_1.expect)((0, default_logic_1.isCredulouslyEntailed)('¬pacifist(nixon)', T)).toBe(true);
+        (0, vitest_1.expect)((0, default_logic_1.isSkepticallyEntailed)('pacifist(nixon)', T)).toBe(false);
+        (0, vitest_1.expect)((0, default_logic_1.isSkepticallyEntailed)('¬pacifist(nixon)', T)).toBe(false);
+    });
+});
+(0, vitest_1.describe)('default-logic — cadenas y dependencias', () => {
+    (0, vitest_1.it)('cadena de defaults: P → Q → R', () => {
+        const T = {
+            facts: ['P'],
+            defaults: [
+                { id: 'd1', prerequisite: 'P', justifications: ['Q'], consequent: 'Q' },
+                { id: 'd2', prerequisite: 'Q', justifications: ['R'], consequent: 'R' },
+            ],
+        };
+        const exts = (0, default_logic_1.computeExtensions)(T);
+        (0, vitest_1.expect)(exts).toHaveLength(1);
+        (0, vitest_1.expect)(exts[0].formulas.has('Q')).toBe(true);
+        (0, vitest_1.expect)(exts[0].formulas.has('R')).toBe(true);
+        (0, vitest_1.expect)(exts[0].appliedDefaults.sort()).toEqual(['d1', 'd2']);
+    });
+    (0, vitest_1.it)('justificación inconsistente con facts bloquea default', () => {
+        const T = {
+            facts: ['P', '¬Q'],
+            defaults: [
+                // β=Q, pero ¬Q ∈ facts → no consistente
+                { id: 'd1', prerequisite: 'P', justifications: ['Q'], consequent: 'R' },
+            ],
+        };
+        const exts = (0, default_logic_1.computeExtensions)(T);
+        (0, vitest_1.expect)(exts).toHaveLength(1);
+        (0, vitest_1.expect)(exts[0].formulas.has('R')).toBe(false);
+        (0, vitest_1.expect)(exts[0].appliedDefaults).toEqual([]);
+    });
+    (0, vitest_1.it)('defaults independientes que no compiten: ambos aplican en una sola extensión', () => {
+        const T = {
+            facts: ['A', 'B'],
+            defaults: [
+                { id: 'd1', prerequisite: 'A', justifications: ['X'], consequent: 'X' },
+                { id: 'd2', prerequisite: 'B', justifications: ['Y'], consequent: 'Y' },
+            ],
+        };
+        const exts = (0, default_logic_1.computeExtensions)(T);
+        (0, vitest_1.expect)(exts).toHaveLength(1);
+        (0, vitest_1.expect)(exts[0].formulas.has('X')).toBe(true);
+        (0, vitest_1.expect)(exts[0].formulas.has('Y')).toBe(true);
+    });
+    (0, vitest_1.it)('default con consequent que rompería consistencia con facts: 0 extensiones (teoría incoherente en Reiter)', () => {
+        // Caso conocido de Reiter: la justificación X es consistente con cualquier
+        // candidato E, así que el operador Γ_T fuerza R en E. Pero R contradice
+        // ¬R ∈ facts, así que ningún E puede ser punto fijo. Resultado correcto:
+        // 0 extensiones (la teoría no tiene extensiones).
+        const T = {
+            facts: ['P', '¬R'],
+            defaults: [{ id: 'd1', prerequisite: 'P', justifications: ['X'], consequent: 'R' }],
+        };
+        const exts = (0, default_logic_1.computeExtensions)(T);
+        (0, vitest_1.expect)(exts).toHaveLength(0);
+        // Entailment escéptico/crédulo sobre teoría sin extensiones: false
+        (0, vitest_1.expect)((0, default_logic_1.isSkepticallyEntailed)('R', T)).toBe(false);
+        (0, vitest_1.expect)((0, default_logic_1.isCredulouslyEntailed)('R', T)).toBe(false);
+    });
+});
+(0, vitest_1.describe)('default-logic — múltiples justificaciones', () => {
+    (0, vitest_1.it)('default aplica solo si TODAS las justificaciones son consistentes', () => {
+        const T = {
+            facts: ['P', '¬B'],
+            defaults: [
+                // Necesita A y B consistentes; ¬B ∈ facts → bloqueado
+                { id: 'd1', prerequisite: 'P', justifications: ['A', 'B'], consequent: 'C' },
+            ],
+        };
+        const exts = (0, default_logic_1.computeExtensions)(T);
+        (0, vitest_1.expect)(exts).toHaveLength(1);
+        (0, vitest_1.expect)(exts[0].formulas.has('C')).toBe(false);
+    });
+    (0, vitest_1.it)('todas las justificaciones consistentes → consequent se añade', () => {
+        const T = {
+            facts: ['P'],
+            defaults: [{ id: 'd1', prerequisite: 'P', justifications: ['A', 'B'], consequent: 'C' }],
+        };
+        const exts = (0, default_logic_1.computeExtensions)(T);
+        (0, vitest_1.expect)(exts).toHaveLength(1);
+        (0, vitest_1.expect)(exts[0].formulas.has('C')).toBe(true);
+    });
+});
+(0, vitest_1.describe)('default-logic — isInExtension y validaciones', () => {
+    (0, vitest_1.it)('isInExtension acepta formas no-canónicas de literal', () => {
+        const T = {
+            facts: ['P'],
+            defaults: [{ id: 'd1', prerequisite: 'P', justifications: ['Q'], consequent: 'Q' }],
+        };
+        const ext = (0, default_logic_1.computeExtensions)(T)[0];
+        (0, vitest_1.expect)((0, default_logic_1.isInExtension)('Q', ext)).toBe(true);
+        (0, vitest_1.expect)((0, default_logic_1.isInExtension)(' Q ', ext)).toBe(true);
+        (0, vitest_1.expect)((0, default_logic_1.isInExtension)('¬¬Q', ext)).toBe(true);
+        (0, vitest_1.expect)((0, default_logic_1.isInExtension)('¬Q', ext)).toBe(false);
+    });
+    (0, vitest_1.it)('facts inconsistentes lanzan error', () => {
+        const T = { facts: ['P', '¬P'], defaults: [] };
+        (0, vitest_1.expect)(() => (0, default_logic_1.computeExtensions)(T)).toThrow(/inconsistentes/i);
+    });
+    (0, vitest_1.it)('IDs de defaults duplicados lanzan error', () => {
+        const T = {
+            facts: ['P'],
+            defaults: [
+                { id: 'd1', prerequisite: 'P', justifications: ['Q'], consequent: 'Q' },
+                { id: 'd1', prerequisite: 'P', justifications: ['R'], consequent: 'R' },
+            ],
+        };
+        (0, vitest_1.expect)(() => (0, default_logic_1.computeExtensions)(T)).toThrow(/duplicado/i);
+    });
+});
+(0, vitest_1.describe)('default-logic — opciones', () => {
+    (0, vitest_1.it)('respeta maxExtensions', () => {
+        // Tres pares independientes → 2^3 = 8 extensiones potenciales
+        const T = {
+            facts: ['A', 'B', 'C'],
+            defaults: [
+                { id: 'pa', prerequisite: 'A', justifications: ['Pa'], consequent: 'Pa' },
+                { id: 'na', prerequisite: 'A', justifications: ['¬Pa'], consequent: '¬Pa' },
+                { id: 'pb', prerequisite: 'B', justifications: ['Pb'], consequent: 'Pb' },
+                { id: 'nb', prerequisite: 'B', justifications: ['¬Pb'], consequent: '¬Pb' },
+                { id: 'pc', prerequisite: 'C', justifications: ['Pc'], consequent: 'Pc' },
+                { id: 'nc', prerequisite: 'C', justifications: ['¬Pc'], consequent: '¬Pc' },
+            ],
+        };
+        const exts = (0, default_logic_1.computeExtensions)(T, { maxExtensions: 4 });
+        (0, vitest_1.expect)(exts.length).toBeLessThanOrEqual(4);
+        (0, vitest_1.expect)(exts.length).toBeGreaterThan(0);
+    });
+    (0, vitest_1.it)('rechaza teorías con más defaults que maxDefaults', () => {
+        const defaults = Array.from({ length: 10 }, (_, i) => ({
+            id: `d${i}`,
+            prerequisite: 'P',
+            justifications: [`Q${i}`],
+            consequent: `Q${i}`,
+        }));
+        const T = { facts: ['P'], defaults };
+        (0, vitest_1.expect)(() => (0, default_logic_1.computeExtensions)(T, { maxDefaults: 5 })).toThrow(/excede el límite/);
+        // Con maxDefaults amplio funciona
+        const exts = (0, default_logic_1.computeExtensions)(T, { maxDefaults: 20 });
+        (0, vitest_1.expect)(exts).toHaveLength(1);
+        (0, vitest_1.expect)(exts[0].appliedDefaults).toHaveLength(10);
+    });
+});
+//# sourceMappingURL=extensions.test.js.map

package/dist/tests/default-logic/extensions.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"extensions.test.js","sourceRoot":"","sources":["../../../src/tests/default-logic/extensions.test.ts"],"names":[],"mappings":";;AAAA;;;;;;GAMG;AACH,mCAA8C;AAC9C,gEAQsC;AAGtC,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,IAAA,eAAM,EAAC,IAAA,gCAAgB,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,gCAAgB,EAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAA,gCAAgB,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,gCAAgB,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,gCAAgB,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,gCAAgB,EAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,gCAAgB,EAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,IAAA,eAAM,EAAC,IAAA,gCAAgB,EAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,gCAAgB,EAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,gCAAgB,EAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,gCAAgB,EAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,IAAA,eAAM,EAAC,IAAA,gCAAgB,EAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,IAAA,gCAAgB,EAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,IAAA,gCAAgB,EAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,gCAAgB,EAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAC7C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,gCAAgB,EAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAChD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,gCAAgB,EAAC,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,IAAA,eAAM,EAAC,IAAA,4BAAY,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,IAAA,4BAAY,EAAC,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,IAAA,4BAAY,EAAC,IAAI,GAAG,CAAC,CAAC,eAAe,EAAE,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/E,IAAA,eAAM,EAAC,IAAA,4BAAY,EAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAkB,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;QAC7D,MAAM,IAAI,GAAG,IAAA,iCAAiB,EAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAkB,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;QACrD,MAAM,IAAI,GAAG,IAAA,iCAAiB,EAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAkB;YACvB,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,eAAe;YAC7B,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;SACpF,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,iCAAiB,EAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,MAAM,KAAK,GAAG,CAAC,cAAc,CAAC,CAAC;IAC/B,MAAM,SAAS,GAAG;QAChB,EAAE,EAAE,WAAW;QACf,YAAY,EAAE,cAAc;QAC5B,cAAc,EAAE,CAAC,eAAe,CAAC;QACjC,UAAU,EAAE,eAAe;KAC5B,CAAC;IAEF,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAkB,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1D,MAAM,IAAI,GAAG,IAAA,iCAAiB,EAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,CAAC,GAAkB,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1D,IAAA,eAAM,EAAC,IAAA,qCAAqB,EAAC,eAAe,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,IAAA,qCAAqB,EAAC,eAAe,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,IAAA,qCAAqB,EAAC,gBAAgB,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,2EAA2E;QAC3E,MAAM,CAAC,GAAkB;YACvB,KAAK,EAAE,CAAC,YAAY,EAAE,eAAe,EAAE,cAAc,CAAC;YACtD,QAAQ,EAAE;gBACR;oBACE,EAAE,EAAE,WAAW;oBACf,YAAY,EAAE,YAAY;oBAC1B,cAAc,EAAE,CAAC,aAAa,CAAC;oBAC/B,UAAU,EAAE,aAAa;iBAC1B;aACF;SACF,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,iCAAiB,EAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wGAAwG,EAAE,GAAG,EAAE;QAChH,0DAA0D;QAC1D,oEAAoE;QACpE,iDAAiD;QACjD,MAAM,CAAC,GAAkB;YACvB,KAAK,EAAE,CAAC,YAAY,EAAE,eAAe,CAAC;YACtC,QAAQ,EAAE;gBACR;oBACE,EAAE,EAAE,WAAW;oBACf,YAAY,EAAE,YAAY;oBAC1B,cAAc,EAAE,CAAC,aAAa,CAAC;oBAC/B,UAAU,EAAE,aAAa;iBAC1B;gBACD;oBACE,EAAE,EAAE,mBAAmB;oBACvB,YAAY,EAAE,eAAe;oBAC7B,cAAc,EAAE,CAAC,cAAc,CAAC;oBAChC,UAAU,EAAE,cAAc;iBAC3B;aACF;SACF,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,iCAAiB,EAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC;QACjE,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;QAC/B,IAAA,eAAM,EAAC,UAAU,CAAC,CAAC,WAAW,EAAE,CAAC;QACjC,+CAA+C;QAC/C,IAAA,eAAM,EAAC,IAAA,qCAAqB,EAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,IAAA,qCAAqB,EAAC,cAAc,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,IAAA,qCAAqB,EAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,IAAA,qCAAqB,EAAC,cAAc,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7D,+CAA+C;QAC/C,IAAA,eAAM,EAAC,IAAA,qCAAqB,EAAC,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,IAAA,qCAAqB,EAAC,eAAe,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,4DAA4D;QAC5D,wEAAwE;QACxE,MAAM,CAAC,GAAkB;YACvB,KAAK,EAAE,CAAC,mBAAmB,EAAE,eAAe,CAAC;YAC7C,QAAQ,EAAE;gBACR;oBACE,EAAE,EAAE,kBAAkB;oBACtB,YAAY,EAAE,mBAAmB;oBACjC,cAAc,EAAE,CAAC,kBAAkB,CAAC;oBACpC,UAAU,EAAE,kBAAkB;iBAC/B;gBACD;oBACE,EAAE,EAAE,iBAAiB;oBACrB,YAAY,EAAE,eAAe;oBAC7B,cAAc,EAAE,CAAC,iBAAiB,CAAC;oBACnC,UAAU,EAAE,iBAAiB;iBAC9B;aACF;SACF,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,iCAAiB,EAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,qCAAqB,EAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,IAAA,qCAAqB,EAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,IAAA,qCAAqB,EAAC,iBAAiB,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,IAAA,qCAAqB,EAAC,kBAAkB,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAkB;YACvB,KAAK,EAAE,CAAC,GAAG,CAAC;YACZ,QAAQ,EAAE;gBACR,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;gBACvE,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;aACxE;SACF,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,iCAAiB,EAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,GAAkB;YACvB,KAAK,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC;YAClB,QAAQ,EAAE;gBACR,wCAAwC;gBACxC,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;aACxE;SACF,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,iCAAiB,EAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,CAAC,GAAkB;YACvB,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;YACjB,QAAQ,EAAE;gBACR,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;gBACvE,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;aACxE;SACF,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,iCAAiB,EAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0GAA0G,EAAE,GAAG,EAAE;QAClH,2EAA2E;QAC3E,wEAAwE;QACxE,yEAAyE;QACzE,kDAAkD;QAClD,MAAM,CAAC,GAAkB;YACvB,KAAK,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC;YAClB,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;SACpF,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,iCAAiB,EAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,mEAAmE;QACnE,IAAA,eAAM,EAAC,IAAA,qCAAqB,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,IAAA,qCAAqB,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,CAAC,GAAkB;YACvB,KAAK,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC;YAClB,QAAQ,EAAE;gBACR,sDAAsD;gBACtD,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;aAC7E;SACF,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,iCAAiB,EAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,CAAC,GAAkB;YACvB,KAAK,EAAE,CAAC,GAAG,CAAC;YACZ,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;SACzF,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,iCAAiB,EAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAkB;YACvB,KAAK,EAAE,CAAC,GAAG,CAAC;YACZ,QAAQ,EAAE,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC;SACpF,CAAC;QACF,MAAM,GAAG,GAAG,IAAA,iCAAiB,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,6BAAa,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,6BAAa,EAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,6BAAa,EAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,6BAAa,EAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAkB,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;QAC9D,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,iCAAiB,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAkB;YACvB,KAAK,EAAE,CAAC,GAAG,CAAC;YACZ,QAAQ,EAAE;gBACR,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;gBACvE,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,GAAG,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE;aACxE;SACF,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,iCAAiB,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,8DAA8D;QAC9D,MAAM,CAAC,GAAkB;YACvB,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;YACtB,QAAQ,EAAE;gBACR,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;gBACzE,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,KAAK,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE;gBAC3E,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;gBACzE,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,KAAK,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE;gBAC3E,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE;gBACzE,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,cAAc,EAAE,CAAC,KAAK,CAAC,EAAE,UAAU,EAAE,KAAK,EAAE;aAC5E;SACF,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,iCAAiB,EAAC,CAAC,EAAE,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;YACrD,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,YAAY,EAAE,GAAG;YACjB,cAAc,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,UAAU,EAAE,IAAI,CAAC,EAAE;SACpB,CAAC,CAAC,CAAC;QACJ,MAAM,CAAC,GAAkB,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,CAAC;QACpD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,iCAAiB,EAAC,CAAC,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;QACnF,kCAAkC;QAClC,MAAM,IAAI,GAAG,IAAA,iCAAiB,EAAC,CAAC,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/description-logic/alc.test.d.ts

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

package/dist/tests/description-logic/alc.test.d.ts.map

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