@stevenvo780/st-lang 3.2.3 → 4.0.0

package/dist/tests/fol-prover/unify.test.js

@@ -0,0 +1,66 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const types_1 = require("../../fol-prover/types");
+const unify_1 = require("../../fol-prover/unify");
+(0, vitest_1.describe)('FOL unification (Robinson)', () => {
+    (0, vitest_1.it)('unifies P(x) with P(a) → { x → a }', () => {
+        const t1 = (0, types_1.mkVar)('x');
+        const t2 = (0, types_1.mkConst)('a');
+        const s = (0, unify_1.unify)(t1, t2);
+        (0, vitest_1.expect)(s).not.toBeNull();
+        if (!s)
+            return;
+        (0, vitest_1.expect)(s.get('x')?.name).toBe('a');
+    });
+    (0, vitest_1.it)('fails to unify P(x, x) with P(a, b)', () => {
+        const t1 = (0, types_1.mkFunc)('P', [(0, types_1.mkVar)('x'), (0, types_1.mkVar)('x')]);
+        const t2 = (0, types_1.mkFunc)('P', [(0, types_1.mkConst)('a'), (0, types_1.mkConst)('b')]);
+        const s = (0, unify_1.unify)(t1, t2);
+        (0, vitest_1.expect)(s).toBeNull();
+    });
+    (0, vitest_1.it)('unifies P(x, f(y)) with P(a, f(b))', () => {
+        const t1 = (0, types_1.mkFunc)('P', [(0, types_1.mkVar)('x'), (0, types_1.mkFunc)('f', [(0, types_1.mkVar)('y')])]);
+        const t2 = (0, types_1.mkFunc)('P', [(0, types_1.mkConst)('a'), (0, types_1.mkFunc)('f', [(0, types_1.mkConst)('b')])]);
+        const s = (0, unify_1.unify)(t1, t2);
+        (0, vitest_1.expect)(s).not.toBeNull();
+        if (!s)
+            return;
+        (0, vitest_1.expect)(s.get('x')?.name).toBe('a');
+        (0, vitest_1.expect)(s.get('y')?.name).toBe('b');
+    });
+    (0, vitest_1.it)('rejects occurs check: x with f(x)', () => {
+        const t1 = (0, types_1.mkVar)('x');
+        const t2 = (0, types_1.mkFunc)('f', [(0, types_1.mkVar)('x')]);
+        const s = (0, unify_1.unify)(t1, t2);
+        (0, vitest_1.expect)(s).toBeNull();
+    });
+    (0, vitest_1.it)('unifies variable to variable transitively', () => {
+        const t1 = (0, types_1.mkVar)('x');
+        const t2 = (0, types_1.mkVar)('y');
+        const s = (0, unify_1.unify)(t1, t2);
+        (0, vitest_1.expect)(s).not.toBeNull();
+        if (!s)
+            return;
+        const after = (0, unify_1.applyTerm)((0, types_1.mkVar)('x'), s);
+        (0, vitest_1.expect)(after.name).toBe('y');
+    });
+    (0, vitest_1.it)('unifies same constants', () => {
+        const s = (0, unify_1.unify)((0, types_1.mkConst)('a'), (0, types_1.mkConst)('a'));
+        (0, vitest_1.expect)(s).not.toBeNull();
+    });
+    (0, vitest_1.it)('fails on different constants', () => {
+        const s = (0, unify_1.unify)((0, types_1.mkConst)('a'), (0, types_1.mkConst)('b'));
+        (0, vitest_1.expect)(s).toBeNull();
+    });
+    (0, vitest_1.it)('applies substitution to nested term', () => {
+        const sub = new Map([['x', (0, types_1.mkConst)('a')]]);
+        const t = (0, types_1.mkFunc)('f', [(0, types_1.mkVar)('x'), (0, types_1.mkFunc)('g', [(0, types_1.mkVar)('x')])]);
+        const out = (0, unify_1.applyTerm)(t, sub);
+        (0, vitest_1.expect)(out.kind).toBe('func');
+        (0, vitest_1.expect)(out.name).toBe('f');
+        (0, vitest_1.expect)(out.args?.[0]?.name).toBe('a');
+        (0, vitest_1.expect)(out.args?.[1]?.args?.[0]?.name).toBe('a');
+    });
+});
+//# sourceMappingURL=unify.test.js.map

package/dist/tests/fol-prover/unify.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unify.test.js","sourceRoot":"","sources":["../../../src/tests/fol-prover/unify.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,kDAAyE;AACzE,kDAA0D;AAE1D,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,EAAE,GAAG,IAAA,aAAK,EAAC,GAAG,CAAC,CAAC;QACtB,MAAM,EAAE,GAAG,IAAA,eAAO,EAAC,GAAG,CAAC,CAAC;QACxB,MAAM,CAAC,GAAG,IAAA,aAAK,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC;YAAE,OAAO;QACf,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,EAAE,GAAG,IAAA,cAAM,EAAC,GAAG,EAAE,CAAC,IAAA,aAAK,EAAC,GAAG,CAAC,EAAE,IAAA,aAAK,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjD,MAAM,EAAE,GAAG,IAAA,cAAM,EAAC,GAAG,EAAE,CAAC,IAAA,eAAO,EAAC,GAAG,CAAC,EAAE,IAAA,eAAO,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACrD,MAAM,CAAC,GAAG,IAAA,aAAK,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,EAAE,GAAG,IAAA,cAAM,EAAC,GAAG,EAAE,CAAC,IAAA,aAAK,EAAC,GAAG,CAAC,EAAE,IAAA,cAAM,EAAC,GAAG,EAAE,CAAC,IAAA,aAAK,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChE,MAAM,EAAE,GAAG,IAAA,cAAM,EAAC,GAAG,EAAE,CAAC,IAAA,eAAO,EAAC,GAAG,CAAC,EAAE,IAAA,cAAM,EAAC,GAAG,EAAE,CAAC,IAAA,eAAO,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACpE,MAAM,CAAC,GAAG,IAAA,aAAK,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC;YAAE,OAAO;QACf,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,EAAE,GAAG,IAAA,aAAK,EAAC,GAAG,CAAC,CAAC;QACtB,MAAM,EAAE,GAAG,IAAA,cAAM,EAAC,GAAG,EAAE,CAAC,IAAA,aAAK,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,IAAA,aAAK,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,EAAE,GAAG,IAAA,aAAK,EAAC,GAAG,CAAC,CAAC;QACtB,MAAM,EAAE,GAAG,IAAA,aAAK,EAAC,GAAG,CAAC,CAAC;QACtB,MAAM,CAAC,GAAG,IAAA,aAAK,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC;YAAE,OAAO;QACf,MAAM,KAAK,GAAG,IAAA,iBAAS,EAAC,IAAA,aAAK,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,CAAC,GAAG,IAAA,aAAK,EAAC,IAAA,eAAO,EAAC,GAAG,CAAC,EAAE,IAAA,eAAO,EAAC,GAAG,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,IAAA,aAAK,EAAC,IAAA,eAAO,EAAC,GAAG,CAAC,EAAE,IAAA,eAAO,EAAC,GAAG,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,GAAG,GAAG,IAAI,GAAG,CAAkB,CAAC,CAAC,GAAG,EAAE,IAAA,eAAO,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,MAAM,CAAC,GAAG,IAAA,cAAM,EAAC,GAAG,EAAE,CAAC,IAAA,aAAK,EAAC,GAAG,CAAC,EAAE,IAAA,cAAM,EAAC,GAAG,EAAE,CAAC,IAAA,aAAK,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/D,MAAM,GAAG,GAAG,IAAA,iBAAS,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

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

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

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

package/dist/tests/hyperreal/hyperreal.test.js

@@ -0,0 +1,219 @@
+"use strict";
+// ============================================================
+// ST Hyperreal — Tests
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const hyperreal_1 = require("../../hyperreal");
+const FLOAT_EPS = 1e-9;
+function approxHr(actual, expected, tol = FLOAT_EPS) {
+    (0, vitest_1.expect)(Math.abs(actual.standard - expected.standard)).toBeLessThan(tol);
+    (0, vitest_1.expect)(Math.abs(actual.infinitesimal - expected.infinitesimal)).toBeLessThan(tol);
+}
+(0, vitest_1.describe)('hyperreal — constructores y constantes', () => {
+    (0, vitest_1.it)('hr(s) define infinitesimal = 0 por defecto', () => {
+        const x = (0, hyperreal_1.hr)(0.5);
+        (0, vitest_1.expect)(x.standard).toBe(0.5);
+        (0, vitest_1.expect)(x.infinitesimal).toBe(0);
+    });
+    (0, vitest_1.it)('hr(s, i) acepta infinitesimal explícito', () => {
+        const x = (0, hyperreal_1.hr)(0.5, 3);
+        (0, vitest_1.expect)(x.standard).toBe(0.5);
+        (0, vitest_1.expect)(x.infinitesimal).toBe(3);
+    });
+    (0, vitest_1.it)('constantes canónicas', () => {
+        (0, vitest_1.expect)(hyperreal_1.HR_ZERO).toEqual({ standard: 0, infinitesimal: 0 });
+        (0, vitest_1.expect)(hyperreal_1.HR_ONE).toEqual({ standard: 1, infinitesimal: 0 });
+        (0, vitest_1.expect)(hyperreal_1.HR_EPSILON).toEqual({ standard: 0, infinitesimal: 1 });
+    });
+});
+(0, vitest_1.describe)('hyperreal — orden y comparación', () => {
+    (0, vitest_1.it)('HR_EPSILON > HR_ZERO pero ≠ HR_ZERO', () => {
+        (0, vitest_1.expect)((0, hyperreal_1.gt)(hyperreal_1.HR_EPSILON, hyperreal_1.HR_ZERO)).toBe(true);
+        (0, vitest_1.expect)((0, hyperreal_1.eq)(hyperreal_1.HR_EPSILON, hyperreal_1.HR_ZERO)).toBe(false);
+        (0, vitest_1.expect)((0, hyperreal_1.compare)(hyperreal_1.HR_EPSILON, hyperreal_1.HR_ZERO)).toBe(1);
+    });
+    (0, vitest_1.it)('1 + ε ≠ 1 y 1 + ε > 1', () => {
+        const onePlusEps = (0, hyperreal_1.add)(hyperreal_1.HR_ONE, hyperreal_1.HR_EPSILON);
+        (0, vitest_1.expect)((0, hyperreal_1.eq)(onePlusEps, hyperreal_1.HR_ONE)).toBe(false);
+        (0, vitest_1.expect)((0, hyperreal_1.gt)(onePlusEps, hyperreal_1.HR_ONE)).toBe(true);
+        (0, vitest_1.expect)((0, hyperreal_1.compare)(onePlusEps, hyperreal_1.HR_ONE)).toBe(1);
+    });
+    (0, vitest_1.it)('orden total: tricotomía sobre muestras', () => {
+        const samples = [
+            hyperreal_1.HR_ZERO,
+            hyperreal_1.HR_EPSILON,
+            (0, hyperreal_1.hr)(0, 2),
+            (0, hyperreal_1.hr)(0.5),
+            (0, hyperreal_1.hr)(0.5, -1),
+            (0, hyperreal_1.hr)(0.5, 1),
+            hyperreal_1.HR_ONE,
+            (0, hyperreal_1.add)(hyperreal_1.HR_ONE, hyperreal_1.HR_EPSILON),
+            (0, hyperreal_1.hr)(2, 0),
+        ];
+        for (const a of samples) {
+            for (const b of samples) {
+                const c = (0, hyperreal_1.compare)(a, b);
+                (0, vitest_1.expect)([-1, 0, 1]).toContain(c);
+                // anti-simetría (normalizamos a 0 para evitar -0)
+                const expected = c === 0 ? 0 : -c;
+                (0, vitest_1.expect)((0, hyperreal_1.compare)(b, a)).toBe(expected);
+            }
+        }
+        // transitividad puntual
+        for (let i = 0; i < samples.length; i++) {
+            for (let j = 0; j < samples.length; j++) {
+                for (let k = 0; k < samples.length; k++) {
+                    const ij = (0, hyperreal_1.compare)(samples[i], samples[j]);
+                    const jk = (0, hyperreal_1.compare)(samples[j], samples[k]);
+                    if (ij < 0 && jk < 0)
+                        (0, vitest_1.expect)((0, hyperreal_1.compare)(samples[i], samples[k])).toBeLessThan(0);
+                    if (ij > 0 && jk > 0)
+                        (0, vitest_1.expect)((0, hyperreal_1.compare)(samples[i], samples[k])).toBeGreaterThan(0);
+                    if (ij === 0 && jk === 0)
+                        (0, vitest_1.expect)((0, hyperreal_1.compare)(samples[i], samples[k])).toBe(0);
+                }
+            }
+        }
+    });
+    (0, vitest_1.it)('standard domina sobre infinitesimal: ε << 0.001', () => {
+        (0, vitest_1.expect)((0, hyperreal_1.lt)(hyperreal_1.HR_EPSILON, (0, hyperreal_1.hr)(0.001))).toBe(true);
+        (0, vitest_1.expect)((0, hyperreal_1.lt)((0, hyperreal_1.hr)(0, 1e9), (0, hyperreal_1.hr)(1e-9))).toBe(true);
+    });
+    (0, vitest_1.it)('comparación absorbe ruido float ínfimo', () => {
+        const a = (0, hyperreal_1.hr)(0.1 + 0.2); // 0.30000000000000004
+        const b = (0, hyperreal_1.hr)(0.3);
+        (0, vitest_1.expect)((0, hyperreal_1.eq)(a, b)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('hyperreal — aritmética de primer orden', () => {
+    (0, vitest_1.it)('add suma componente a componente', () => {
+        approxHr((0, hyperreal_1.add)((0, hyperreal_1.hr)(1, 2), (0, hyperreal_1.hr)(3, 4)), (0, hyperreal_1.hr)(4, 6));
+    });
+    (0, vitest_1.it)('sub resta componente a componente', () => {
+        approxHr((0, hyperreal_1.sub)((0, hyperreal_1.hr)(5, 3), (0, hyperreal_1.hr)(2, 1)), (0, hyperreal_1.hr)(3, 2));
+    });
+    (0, vitest_1.it)('mul: (1 + 2ε)(3 + 4ε) = 3 + 10ε (descartando ε²)', () => {
+        approxHr((0, hyperreal_1.mul)((0, hyperreal_1.hr)(1, 2), (0, hyperreal_1.hr)(3, 4)), (0, hyperreal_1.hr)(3, 10));
+    });
+    (0, vitest_1.it)('mul con ε puro: ε · ε = 0 (orden 2 descartado)', () => {
+        approxHr((0, hyperreal_1.mul)(hyperreal_1.HR_EPSILON, hyperreal_1.HR_EPSILON), hyperreal_1.HR_ZERO);
+    });
+    (0, vitest_1.it)('mul es conmutativa y asociativa sobre standards', () => {
+        const a = (0, hyperreal_1.hr)(0.3, 1);
+        const b = (0, hyperreal_1.hr)(0.5, -2);
+        const c = (0, hyperreal_1.hr)(0.7, 0);
+        approxHr((0, hyperreal_1.mul)(a, b), (0, hyperreal_1.mul)(b, a));
+        approxHr((0, hyperreal_1.mul)((0, hyperreal_1.mul)(a, b), c), (0, hyperreal_1.mul)(a, (0, hyperreal_1.mul)(b, c)));
+    });
+    (0, vitest_1.it)('1 es identidad de mul', () => {
+        const x = (0, hyperreal_1.hr)(0.42, 3);
+        approxHr((0, hyperreal_1.mul)(hyperreal_1.HR_ONE, x), x);
+        approxHr((0, hyperreal_1.mul)(x, hyperreal_1.HR_ONE), x);
+    });
+});
+(0, vitest_1.describe)('hyperreal — lógica probabilística', () => {
+    (0, vitest_1.it)('hrAnd(0.5, 0.5) = 0.25', () => {
+        approxHr((0, hyperreal_1.hrAnd)((0, hyperreal_1.hr)(0.5), (0, hyperreal_1.hr)(0.5)), (0, hyperreal_1.hr)(0.25));
+    });
+    (0, vitest_1.it)('hrOr(0.5, 0.5) = 0.75', () => {
+        approxHr((0, hyperreal_1.hrOr)((0, hyperreal_1.hr)(0.5), (0, hyperreal_1.hr)(0.5)), (0, hyperreal_1.hr)(0.75));
+    });
+    (0, vitest_1.it)('hrNot(0.3) = 0.7 y es involutivo', () => {
+        approxHr((0, hyperreal_1.hrNot)((0, hyperreal_1.hr)(0.3)), (0, hyperreal_1.hr)(0.7));
+        approxHr((0, hyperreal_1.hrNot)((0, hyperreal_1.hrNot)((0, hyperreal_1.hr)(0.3))), (0, hyperreal_1.hr)(0.3));
+    });
+    (0, vitest_1.it)('hrImplies(1, q) = q  (modus ponens degenera)', () => {
+        approxHr((0, hyperreal_1.hrImplies)(hyperreal_1.HR_ONE, (0, hyperreal_1.hr)(0.4)), (0, hyperreal_1.hr)(0.4));
+    });
+    (0, vitest_1.it)('hrImplies(0, q) = 1  (vacuamente verdadera)', () => {
+        approxHr((0, hyperreal_1.hrImplies)(hyperreal_1.HR_ZERO, (0, hyperreal_1.hr)(0.4)), hyperreal_1.HR_ONE);
+    });
+    (0, vitest_1.it)('De Morgan: ¬(p ∧ q) = ¬p ∨ ¬q sobre standards', () => {
+        const p = (0, hyperreal_1.hr)(0.3);
+        const q = (0, hyperreal_1.hr)(0.6);
+        approxHr((0, hyperreal_1.hrNot)((0, hyperreal_1.hrAnd)(p, q)), (0, hyperreal_1.hrOr)((0, hyperreal_1.hrNot)(p), (0, hyperreal_1.hrNot)(q)));
+    });
+    (0, vitest_1.it)('infinitesimales sobreviven a And: (1+ε) ∧ (1+ε) = 1+2ε', () => {
+        const onePlusEps = (0, hyperreal_1.add)(hyperreal_1.HR_ONE, hyperreal_1.HR_EPSILON);
+        approxHr((0, hyperreal_1.hrAnd)(onePlusEps, onePlusEps), (0, hyperreal_1.hr)(1, 2));
+    });
+    (0, vitest_1.it)('ε de "casi cierto" no colapsa: hrNot(1 - ε) = ε', () => {
+        const almost = (0, hyperreal_1.sub)(hyperreal_1.HR_ONE, hyperreal_1.HR_EPSILON);
+        approxHr((0, hyperreal_1.hrNot)(almost), hyperreal_1.HR_EPSILON);
+    });
+});
+(0, vitest_1.describe)('hyperreal — propagación de incertidumbre', () => {
+    function approxBound(actual, expected, tol = 1e-9) {
+        approxHr(actual.lower, expected.lower, tol);
+        approxHr(actual.upper, expected.upper, tol);
+    }
+    (0, vitest_1.it)('bound() rechaza intervalo invertido', () => {
+        (0, vitest_1.expect)(() => (0, hyperreal_1.bound)((0, hyperreal_1.hr)(0.7), (0, hyperreal_1.hr)(0.3))).toThrow();
+    });
+    (0, vitest_1.it)('AND: [0.4, 0.6] ∧ [0.5, 0.7] = [0.2, 0.42]', () => {
+        const a = (0, hyperreal_1.bound)((0, hyperreal_1.hr)(0.4), (0, hyperreal_1.hr)(0.6));
+        const b = (0, hyperreal_1.bound)((0, hyperreal_1.hr)(0.5), (0, hyperreal_1.hr)(0.7));
+        approxBound((0, hyperreal_1.propagate)(a, 'and', b), {
+            lower: (0, hyperreal_1.hr)(0.2),
+            upper: (0, hyperreal_1.hr)(0.42),
+        });
+    });
+    (0, vitest_1.it)('OR: [0.2, 0.4] ∨ [0.3, 0.5] = [0.44, 0.7]', () => {
+        const a = (0, hyperreal_1.bound)((0, hyperreal_1.hr)(0.2), (0, hyperreal_1.hr)(0.4));
+        const b = (0, hyperreal_1.bound)((0, hyperreal_1.hr)(0.3), (0, hyperreal_1.hr)(0.5));
+        // lower = 0.2 + 0.3 - 0.2*0.3 = 0.44
+        // upper = 0.4 + 0.5 - 0.4*0.5 = 0.7
+        approxBound((0, hyperreal_1.propagate)(a, 'or', b), {
+            lower: (0, hyperreal_1.hr)(0.44),
+            upper: (0, hyperreal_1.hr)(0.7),
+        });
+    });
+    (0, vitest_1.it)('NOT: ¬[0.2, 0.7] = [0.3, 0.8]', () => {
+        const a = (0, hyperreal_1.bound)((0, hyperreal_1.hr)(0.2), (0, hyperreal_1.hr)(0.7));
+        approxBound((0, hyperreal_1.propagate)(a, 'not'), {
+            lower: (0, hyperreal_1.hr)(0.3),
+            upper: (0, hyperreal_1.hr)(0.8),
+        });
+    });
+    (0, vitest_1.it)('IMPLIES: [0.2, 0.6] → [0.3, 0.5] respeta monotonicidad', () => {
+        const p = (0, hyperreal_1.bound)((0, hyperreal_1.hr)(0.2), (0, hyperreal_1.hr)(0.6));
+        const q = (0, hyperreal_1.bound)((0, hyperreal_1.hr)(0.3), (0, hyperreal_1.hr)(0.5));
+        // lower = hrImplies(upper_p, lower_q) = 1 - 0.6 + 0.6*0.3 = 0.58
+        // upper = hrImplies(lower_p, upper_q) = 1 - 0.2 + 0.2*0.5 = 0.9
+        approxBound((0, hyperreal_1.propagate)(p, 'implies', q), {
+            lower: (0, hyperreal_1.hr)(0.58),
+            upper: (0, hyperreal_1.hr)(0.9),
+        });
+    });
+    (0, vitest_1.it)('AND requiere segundo operando', () => {
+        const a = (0, hyperreal_1.bound)(hyperreal_1.HR_ZERO, hyperreal_1.HR_ONE);
+        (0, vitest_1.expect)(() => (0, hyperreal_1.propagate)(a, 'and')).toThrow();
+        (0, vitest_1.expect)(() => (0, hyperreal_1.propagate)(a, 'or')).toThrow();
+        (0, vitest_1.expect)(() => (0, hyperreal_1.propagate)(a, 'implies')).toThrow();
+    });
+    (0, vitest_1.it)('propagación con infinitesimales: ¬[1−ε, 1] = [0, ε]', () => {
+        const almost = (0, hyperreal_1.bound)((0, hyperreal_1.sub)(hyperreal_1.HR_ONE, hyperreal_1.HR_EPSILON), hyperreal_1.HR_ONE);
+        const result = (0, hyperreal_1.propagate)(almost, 'not');
+        approxHr(result.lower, hyperreal_1.HR_ZERO);
+        approxHr(result.upper, hyperreal_1.HR_EPSILON);
+    });
+    (0, vitest_1.it)('propagación AND con ε: [ε, 2ε] ∧ [0.5, 0.5] = [0.5ε, ε]', () => {
+        const a = (0, hyperreal_1.bound)(hyperreal_1.HR_EPSILON, (0, hyperreal_1.hr)(0, 2));
+        const b = (0, hyperreal_1.bound)((0, hyperreal_1.hr)(0.5), (0, hyperreal_1.hr)(0.5));
+        const r = (0, hyperreal_1.propagate)(a, 'and', b);
+        approxHr(r.lower, (0, hyperreal_1.hr)(0, 0.5));
+        approxHr(r.upper, (0, hyperreal_1.hr)(0, 1));
+    });
+});
+(0, vitest_1.describe)('hyperreal — utilidades', () => {
+    (0, vitest_1.it)('hrToString omite infinitesimal cuando es 0', () => {
+        (0, vitest_1.expect)((0, hyperreal_1.hrToString)((0, hyperreal_1.hr)(0.5))).toBe('0.5');
+    });
+    (0, vitest_1.it)('hrToString muestra parte infinitesimal con signo', () => {
+        (0, vitest_1.expect)((0, hyperreal_1.hrToString)((0, hyperreal_1.hr)(1, 2))).toBe('1 + 2ε');
+        (0, vitest_1.expect)((0, hyperreal_1.hrToString)((0, hyperreal_1.hr)(1, -2))).toBe('1 - 2ε');
+        (0, vitest_1.expect)((0, hyperreal_1.hrToString)(hyperreal_1.HR_EPSILON)).toBe('0 + 1ε');
+    });
+});
+//# sourceMappingURL=hyperreal.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"hyperreal.test.js","sourceRoot":"","sources":["../../../src/tests/hyperreal/hyperreal.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,uBAAuB;AACvB,+DAA+D;;AAE/D,mCAA8C;AAC9C,+CAqByB;AAEzB,MAAM,SAAS,GAAG,IAAI,CAAC;AAEvB,SAAS,QAAQ,CAAC,MAAiB,EAAE,QAAmB,EAAE,GAAG,GAAG,SAAS;IACvE,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IACxE,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,aAAa,GAAG,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;AACpF,CAAC;AAED,IAAA,iBAAQ,EAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,IAAA,cAAE,EAAC,GAAG,CAAC,CAAC;QAClB,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,IAAA,cAAE,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,IAAA,eAAM,EAAC,mBAAO,CAAC,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,kBAAM,CAAC,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,sBAAU,CAAC,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,IAAA,eAAM,EAAC,IAAA,cAAE,EAAC,sBAAU,EAAE,mBAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,cAAE,EAAC,sBAAU,EAAE,mBAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAA,mBAAO,EAAC,sBAAU,EAAE,mBAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,UAAU,GAAG,IAAA,eAAG,EAAC,kBAAM,EAAE,sBAAU,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,cAAE,EAAC,UAAU,EAAE,kBAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,cAAE,EAAC,UAAU,EAAE,kBAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,mBAAO,EAAC,UAAU,EAAE,kBAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,OAAO,GAAgB;YAC3B,mBAAO;YACP,sBAAU;YACV,IAAA,cAAE,EAAC,CAAC,EAAE,CAAC,CAAC;YACR,IAAA,cAAE,EAAC,GAAG,CAAC;YACP,IAAA,cAAE,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC;YACX,IAAA,cAAE,EAAC,GAAG,EAAE,CAAC,CAAC;YACV,kBAAM;YACN,IAAA,eAAG,EAAC,kBAAM,EAAE,sBAAU,CAAC;YACvB,IAAA,cAAE,EAAC,CAAC,EAAE,CAAC,CAAC;SACT,CAAC;QAEF,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;gBACxB,MAAM,CAAC,GAAG,IAAA,mBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACxB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;gBAChC,kDAAkD;gBAClD,MAAM,QAAQ,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAC,CAAY,CAAC;gBAC9C,IAAA,eAAM,EAAC,IAAA,mBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACvC,CAAC;QACH,CAAC;QAED,wBAAwB;QACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACxC,MAAM,EAAE,GAAG,IAAA,mBAAO,EAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;oBAC3C,MAAM,EAAE,GAAG,IAAA,mBAAO,EAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;oBAC3C,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC;wBAAE,IAAA,eAAM,EAAC,IAAA,mBAAO,EAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;oBAC9E,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC;wBAAE,IAAA,eAAM,EAAC,IAAA,mBAAO,EAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;oBACjF,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC;wBAAE,IAAA,eAAM,EAAC,IAAA,mBAAO,EAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAC5E,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,IAAA,eAAM,EAAC,IAAA,cAAE,EAAC,sBAAU,EAAE,IAAA,cAAE,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,cAAE,EAAC,IAAA,cAAE,EAAC,CAAC,EAAE,GAAG,CAAC,EAAE,IAAA,cAAE,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,GAAG,IAAA,cAAE,EAAC,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,sBAAsB;QAC/C,MAAM,CAAC,GAAG,IAAA,cAAE,EAAC,GAAG,CAAC,CAAC;QAClB,IAAA,eAAM,EAAC,IAAA,cAAE,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,QAAQ,CAAC,IAAA,eAAG,EAAC,IAAA,cAAE,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,cAAE,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,cAAE,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,QAAQ,CAAC,IAAA,eAAG,EAAC,IAAA,cAAE,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,cAAE,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,cAAE,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,QAAQ,CAAC,IAAA,eAAG,EAAC,IAAA,cAAE,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,cAAE,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,cAAE,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,QAAQ,CAAC,IAAA,eAAG,EAAC,sBAAU,EAAE,sBAAU,CAAC,EAAE,mBAAO,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,IAAA,cAAE,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACrB,MAAM,CAAC,GAAG,IAAA,cAAE,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,CAAC,GAAG,IAAA,cAAE,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACrB,QAAQ,CAAC,IAAA,eAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,eAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/B,QAAQ,CAAC,IAAA,eAAG,EAAC,IAAA,eAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,eAAG,EAAC,CAAC,EAAE,IAAA,eAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAC,GAAG,IAAA,cAAE,EAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACtB,QAAQ,CAAC,IAAA,eAAG,EAAC,kBAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5B,QAAQ,CAAC,IAAA,eAAG,EAAC,CAAC,EAAE,kBAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,QAAQ,CAAC,IAAA,iBAAK,EAAC,IAAA,cAAE,EAAC,GAAG,CAAC,EAAE,IAAA,cAAE,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,cAAE,EAAC,IAAI,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,QAAQ,CAAC,IAAA,gBAAI,EAAC,IAAA,cAAE,EAAC,GAAG,CAAC,EAAE,IAAA,cAAE,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,cAAE,EAAC,IAAI,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,QAAQ,CAAC,IAAA,iBAAK,EAAC,IAAA,cAAE,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,cAAE,EAAC,GAAG,CAAC,CAAC,CAAC;QAClC,QAAQ,CAAC,IAAA,iBAAK,EAAC,IAAA,iBAAK,EAAC,IAAA,cAAE,EAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAA,cAAE,EAAC,GAAG,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,QAAQ,CAAC,IAAA,qBAAS,EAAC,kBAAM,EAAE,IAAA,cAAE,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,cAAE,EAAC,GAAG,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,QAAQ,CAAC,IAAA,qBAAS,EAAC,mBAAO,EAAE,IAAA,cAAE,EAAC,GAAG,CAAC,CAAC,EAAE,kBAAM,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,IAAA,cAAE,EAAC,GAAG,CAAC,CAAC;QAClB,MAAM,CAAC,GAAG,IAAA,cAAE,EAAC,GAAG,CAAC,CAAC;QAClB,QAAQ,CAAC,IAAA,iBAAK,EAAC,IAAA,iBAAK,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAA,gBAAI,EAAC,IAAA,iBAAK,EAAC,CAAC,CAAC,EAAE,IAAA,iBAAK,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,UAAU,GAAG,IAAA,eAAG,EAAC,kBAAM,EAAE,sBAAU,CAAC,CAAC;QAC3C,QAAQ,CAAC,IAAA,iBAAK,EAAC,UAAU,EAAE,UAAU,CAAC,EAAE,IAAA,cAAE,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,MAAM,GAAG,IAAA,eAAG,EAAC,kBAAM,EAAE,sBAAU,CAAC,CAAC;QACvC,QAAQ,CAAC,IAAA,iBAAK,EAAC,MAAM,CAAC,EAAE,sBAAU,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,SAAS,WAAW,CAAC,MAAwB,EAAE,QAA0B,EAAE,GAAG,GAAG,IAAI;QACnF,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC5C,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC9C,CAAC;IAED,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,iBAAK,EAAC,IAAA,cAAE,EAAC,GAAG,CAAC,EAAE,IAAA,cAAE,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,IAAA,iBAAK,EAAC,IAAA,cAAE,EAAC,GAAG,CAAC,EAAE,IAAA,cAAE,EAAC,GAAG,CAAC,CAAC,CAAC;QAClC,MAAM,CAAC,GAAG,IAAA,iBAAK,EAAC,IAAA,cAAE,EAAC,GAAG,CAAC,EAAE,IAAA,cAAE,EAAC,GAAG,CAAC,CAAC,CAAC;QAClC,WAAW,CAAC,IAAA,qBAAS,EAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE;YAClC,KAAK,EAAE,IAAA,cAAE,EAAC,GAAG,CAAC;YACd,KAAK,EAAE,IAAA,cAAE,EAAC,IAAI,CAAC;SAChB,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,IAAA,iBAAK,EAAC,IAAA,cAAE,EAAC,GAAG,CAAC,EAAE,IAAA,cAAE,EAAC,GAAG,CAAC,CAAC,CAAC;QAClC,MAAM,CAAC,GAAG,IAAA,iBAAK,EAAC,IAAA,cAAE,EAAC,GAAG,CAAC,EAAE,IAAA,cAAE,EAAC,GAAG,CAAC,CAAC,CAAC;QAClC,qCAAqC;QACrC,oCAAoC;QACpC,WAAW,CAAC,IAAA,qBAAS,EAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE;YACjC,KAAK,EAAE,IAAA,cAAE,EAAC,IAAI,CAAC;YACf,KAAK,EAAE,IAAA,cAAE,EAAC,GAAG,CAAC;SACf,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,IAAA,iBAAK,EAAC,IAAA,cAAE,EAAC,GAAG,CAAC,EAAE,IAAA,cAAE,EAAC,GAAG,CAAC,CAAC,CAAC;QAClC,WAAW,CAAC,IAAA,qBAAS,EAAC,CAAC,EAAE,KAAK,CAAC,EAAE;YAC/B,KAAK,EAAE,IAAA,cAAE,EAAC,GAAG,CAAC;YACd,KAAK,EAAE,IAAA,cAAE,EAAC,GAAG,CAAC;SACf,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAAG,IAAA,iBAAK,EAAC,IAAA,cAAE,EAAC,GAAG,CAAC,EAAE,IAAA,cAAE,EAAC,GAAG,CAAC,CAAC,CAAC;QAClC,MAAM,CAAC,GAAG,IAAA,iBAAK,EAAC,IAAA,cAAE,EAAC,GAAG,CAAC,EAAE,IAAA,cAAE,EAAC,GAAG,CAAC,CAAC,CAAC;QAClC,iEAAiE;QACjE,gEAAgE;QAChE,WAAW,CAAC,IAAA,qBAAS,EAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,EAAE;YACtC,KAAK,EAAE,IAAA,cAAE,EAAC,IAAI,CAAC;YACf,KAAK,EAAE,IAAA,cAAE,EAAC,GAAG,CAAC;SACf,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,IAAA,iBAAK,EAAC,mBAAO,EAAE,kBAAM,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,qBAAS,EAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAC5C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,qBAAS,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAC3C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,qBAAS,EAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,MAAM,GAAG,IAAA,iBAAK,EAAC,IAAA,eAAG,EAAC,kBAAM,EAAE,sBAAU,CAAC,EAAE,kBAAM,CAAC,CAAC;QACtD,MAAM,MAAM,GAAG,IAAA,qBAAS,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACxC,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,mBAAO,CAAC,CAAC;QAChC,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,sBAAU,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAG,IAAA,iBAAK,EAAC,sBAAU,EAAE,IAAA,cAAE,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,GAAG,IAAA,iBAAK,EAAC,IAAA,cAAE,EAAC,GAAG,CAAC,EAAE,IAAA,cAAE,EAAC,GAAG,CAAC,CAAC,CAAC;QAClC,MAAM,CAAC,GAAG,IAAA,qBAAS,EAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QACjC,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,IAAA,cAAE,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QAC9B,QAAQ,CAAC,CAAC,CAAC,KAAK,EAAE,IAAA,cAAE,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,IAAA,eAAM,EAAC,IAAA,sBAAU,EAAC,IAAA,cAAE,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,IAAA,eAAM,EAAC,IAAA,sBAAU,EAAC,IAAA,cAAE,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAA,sBAAU,EAAC,IAAA,cAAE,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,sBAAU,EAAC,sBAAU,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/lsp/server.test.d.ts

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

package/dist/tests/lsp/server.test.d.ts.map

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