@stevenvo780/st-lang 4.8.0 → 4.10.0

package/dist/tests/reasoning/real-analysis/real-analysis.test.js

@@ -0,0 +1,197 @@
+"use strict";
+// ============================================================
+// ST Real Analysis — Tests numéricos de las primitivas
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const real_analysis_1 = require("../../../reasoning/real-analysis");
+// ── 1. Límites ──────────────────────────────────────────────
+(0, vitest_1.describe)('real-analysis · limits', () => {
+    (0, vitest_1.it)('lim_{x→1} (x²-1)/(x-1) = 2 (factorización)', () => {
+        const fn = (x) => (x * x - 1) / (x - 1);
+        const L = (0, real_analysis_1.findLimit)(fn, 1);
+        (0, vitest_1.expect)(typeof L).toBe('number');
+        if (typeof L === 'number')
+            (0, vitest_1.expect)(Math.abs(L - 2)).toBeLessThan(1e-4);
+    });
+    (0, vitest_1.it)('verifyLimit acepta lim_{x→0} sin(x)/x = 1', () => {
+        const fn = (x) => Math.sin(x) / x;
+        const res = (0, real_analysis_1.verifyLimit)({ fn, point: 0, value: 1 }, 1e-3);
+        (0, vitest_1.expect)(res.holds).toBe(true);
+        (0, vitest_1.expect)(res.suggestedDelta).toBeGreaterThan(0);
+    });
+    (0, vitest_1.it)('verifyLimit rechaza un valor incorrecto', () => {
+        const fn = (x) => 2 * x + 1;
+        const res = (0, real_analysis_1.verifyLimit)({ fn, point: 0, value: 7 }, 1e-3);
+        (0, vitest_1.expect)(res.holds).toBe(false);
+    });
+    (0, vitest_1.it)('findLimit detecta divergencia de 1/x² en 0', () => {
+        const fn = (x) => 1 / (x * x);
+        const L = (0, real_analysis_1.findLimit)(fn, 0);
+        (0, vitest_1.expect)(L).toBe('diverges');
+    });
+    (0, vitest_1.it)('findLimit retorna unknown si las colas no coinciden (signo de x)', () => {
+        const fn = (x) => (x === 0 ? 0 : x / Math.abs(x));
+        const L = (0, real_analysis_1.findLimit)(fn, 0);
+        (0, vitest_1.expect)(L).toBe('unknown');
+    });
+});
+// ── 2. Continuidad ──────────────────────────────────────────
+(0, vitest_1.describe)('real-analysis · continuity', () => {
+    (0, vitest_1.it)('isContinuousAt(sin, 0) === true', () => {
+        (0, vitest_1.expect)((0, real_analysis_1.isContinuousAt)(Math.sin, 0)).toBe(true);
+    });
+    (0, vitest_1.it)('isContinuousAt(Heaviside, 0) === false', () => {
+        const H = (x) => (x < 0 ? 0 : 1);
+        (0, vitest_1.expect)((0, real_analysis_1.isContinuousAt)(H, 0)).toBe(false);
+    });
+    (0, vitest_1.it)('isUniformlyContinuous(sin, [0, 2π]) === true (compacto)', () => {
+        (0, vitest_1.expect)((0, real_analysis_1.isUniformlyContinuous)(Math.sin, [0, 2 * Math.PI], 0.01)).toBe(true);
+    });
+    (0, vitest_1.it)('findDiscontinuities detecta la singularidad de 1/x cerca de 0', () => {
+        const fn = (x) => (x === 0 ? Number.NaN : 1 / x);
+        const ds = (0, real_analysis_1.findDiscontinuities)(fn, [-1, 1], 100);
+        (0, vitest_1.expect)(ds.length).toBeGreaterThan(0);
+        (0, vitest_1.expect)(ds.some((p) => Math.abs(p) < 0.1)).toBe(true);
+    });
+});
+// ── 3. Derivadas ────────────────────────────────────────────
+(0, vitest_1.describe)('real-analysis · derivatives', () => {
+    (0, vitest_1.it)('derivative central de x² en x=3 ≈ 6', () => {
+        const d = (0, real_analysis_1.derivative)((x) => x * x, 3, { method: 'central' });
+        (0, vitest_1.expect)(d.method).toBe('central');
+        (0, vitest_1.expect)(Math.abs(d.value - 6)).toBeLessThan(1e-6);
+    });
+    (0, vitest_1.it)('derivative forward y backward de cos en π/2 ≈ -1', () => {
+        const f = (0, real_analysis_1.derivative)(Math.cos, Math.PI / 2, { method: 'forward', h: 1e-6 });
+        const b = (0, real_analysis_1.derivative)(Math.cos, Math.PI / 2, { method: 'backward', h: 1e-6 });
+        (0, vitest_1.expect)(Math.abs(f.value + 1)).toBeLessThan(1e-3);
+        (0, vitest_1.expect)(Math.abs(b.value + 1)).toBeLessThan(1e-3);
+    });
+    (0, vitest_1.it)('derivative richardson reduce error vs central', () => {
+        // f(x)=e^x en x=1 → derivada = e
+        const fn = Math.exp;
+        const e = Math.E;
+        const c = (0, real_analysis_1.derivative)(fn, 1, { method: 'central', h: 1e-3 });
+        const r = (0, real_analysis_1.derivative)(fn, 1, { method: 'richardson', h: 1e-3 });
+        (0, vitest_1.expect)(Math.abs(r.value - e)).toBeLessThanOrEqual(Math.abs(c.value - e) + 1e-10);
+    });
+    (0, vitest_1.it)('nthDerivative(sin, 0, 1) ≈ cos(0) = 1', () => {
+        const d = (0, real_analysis_1.nthDerivative)(Math.sin, 0, 1);
+        (0, vitest_1.expect)(Math.abs(d - 1)).toBeLessThan(1e-3);
+    });
+    (0, vitest_1.it)('nthDerivative(x→x³, 0, 3) ≈ 6', () => {
+        const fn = (x) => x * x * x;
+        const d = (0, real_analysis_1.nthDerivative)(fn, 0, 3, 1e-2);
+        (0, vitest_1.expect)(Math.abs(d - 6)).toBeLessThan(0.5);
+    });
+    (0, vitest_1.it)('isDifferentiableAt(|x|, 0) === false', () => {
+        const fn = (x) => Math.abs(x);
+        (0, vitest_1.expect)((0, real_analysis_1.isDifferentiableAt)(fn, 0)).toBe(false);
+    });
+    (0, vitest_1.it)('findCriticalPoints de x³-3x → cerca de ±1', () => {
+        const fn = (x) => x ** 3 - 3 * x;
+        const pts = (0, real_analysis_1.findCriticalPoints)(fn, [-2, 2], 200);
+        (0, vitest_1.expect)(pts.length).toBeGreaterThanOrEqual(2);
+        (0, vitest_1.expect)(pts.some((p) => Math.abs(p - 1) < 0.05)).toBe(true);
+        (0, vitest_1.expect)(pts.some((p) => Math.abs(p + 1) < 0.05)).toBe(true);
+    });
+});
+// ── 4. Integrales ───────────────────────────────────────────
+(0, vitest_1.describe)('real-analysis · integrals', () => {
+    (0, vitest_1.it)('integrate(x², 0, 1, simpson) ≈ 1/3', () => {
+        const r = (0, real_analysis_1.integrate)((x) => x * x, 0, 1, { method: 'simpson' });
+        (0, vitest_1.expect)(Math.abs(r.value - 1 / 3)).toBeLessThan(1e-8);
+    });
+    (0, vitest_1.it)('integrate(sin, 0, π, trapezoidal) ≈ 2', () => {
+        const r = (0, real_analysis_1.integrate)(Math.sin, 0, Math.PI, { method: 'trapezoidal', subdivisions: 4096 });
+        (0, vitest_1.expect)(Math.abs(r.value - 2)).toBeLessThan(1e-4);
+    });
+    (0, vitest_1.it)('integrate(e^x, 0, 1, romberg) ≈ e-1', () => {
+        const r = (0, real_analysis_1.integrate)(Math.exp, 0, 1, { method: 'romberg' });
+        (0, vitest_1.expect)(Math.abs(r.value - (Math.E - 1))).toBeLessThan(1e-8);
+    });
+    (0, vitest_1.it)('integrate(1, 0, 5, gaussian) ≈ 5', () => {
+        const r = (0, real_analysis_1.integrate)(() => 1, 0, 5, { method: 'gaussian' });
+        (0, vitest_1.expect)(Math.abs(r.value - 5)).toBeLessThan(1e-8);
+    });
+    (0, vitest_1.it)('integrate orientación: ∫_b^a = -∫_a^b', () => {
+        const ab = (0, real_analysis_1.integrate)((x) => x, 0, 1).value;
+        const ba = (0, real_analysis_1.integrate)((x) => x, 1, 0).value;
+        (0, vitest_1.expect)(Math.abs(ab + ba)).toBeLessThan(1e-9);
+    });
+});
+// ── 5. Series y sucesiones ──────────────────────────────────
+(0, vitest_1.describe)('real-analysis · series', () => {
+    (0, vitest_1.it)('ratioTest([1, 1/2, 1/4, ...]) converge', () => {
+        const coefs = Array.from({ length: 20 }, (_, n) => Math.pow(0.5, n));
+        const res = (0, real_analysis_1.ratioTest)(coefs);
+        (0, vitest_1.expect)(res.converges).toBe(true);
+    });
+    (0, vitest_1.it)('ratioTest sobre serie armónica truncada NO declara convergencia', () => {
+        const coefs = Array.from({ length: 50 }, (_, n) => 1 / (n + 1));
+        const res = (0, real_analysis_1.ratioTest)(coefs);
+        (0, vitest_1.expect)(res.converges).toBe(false);
+    });
+    (0, vitest_1.it)('rootTest sobre (1/2)^n converge', () => {
+        const coefs = Array.from({ length: 20 }, (_, n) => Math.pow(0.5, n));
+        const res = (0, real_analysis_1.rootTest)(coefs);
+        (0, vitest_1.expect)(res.converges).toBe(true);
+    });
+    (0, vitest_1.it)('partialSum de geometric ratio 1/2 → ≈ 2', () => {
+        const s = (0, real_analysis_1.partialSum)((n) => Math.pow(0.5, n), 50);
+        (0, vitest_1.expect)(Math.abs(s - 2)).toBeLessThan(1e-10);
+    });
+    (0, vitest_1.it)('sequenceLimit (1+1/n)^n → e', () => {
+        const res = (0, real_analysis_1.sequenceLimit)((n) => Math.pow(1 + 1 / n, n), {
+            maxTerms: 200000,
+            tolerance: 1e-3,
+        });
+        (0, vitest_1.expect)(res.converges).toBe(true);
+        if (res.limit !== undefined)
+            (0, vitest_1.expect)(Math.abs(res.limit - Math.E)).toBeLessThan(1e-3);
+    });
+    (0, vitest_1.it)('sequenceLimit de 1/n → 0 (con tolerance laxa y muchos términos)', () => {
+        const res = (0, real_analysis_1.sequenceLimit)((n) => 1 / n, { maxTerms: 100000, tolerance: 1e-3 });
+        (0, vitest_1.expect)(res.converges).toBe(true);
+        if (res.limit !== undefined)
+            (0, vitest_1.expect)(Math.abs(res.limit)).toBeLessThan(1e-3);
+    });
+});
+// ── 6. MVT ──────────────────────────────────────────────────
+(0, vitest_1.describe)('real-analysis · MVT', () => {
+    (0, vitest_1.it)("MVT para f(x)=x², a=0, b=2, f'=2x → c=1", () => {
+        const fn = (x) => x * x;
+        const dfn = (x) => 2 * x;
+        const res = (0, real_analysis_1.meanValueTheorem)(fn, dfn, 0, 2);
+        (0, vitest_1.expect)(res.holds).toBe(true);
+        if (res.c !== undefined)
+            (0, vitest_1.expect)(Math.abs(res.c - 1)).toBeLessThan(1e-4);
+    });
+    (0, vitest_1.it)('MVT para sin en [0, π], cos como derivada → ∃c con cos(c) = 0', () => {
+        const res = (0, real_analysis_1.meanValueTheorem)(Math.sin, Math.cos, 0, Math.PI);
+        (0, vitest_1.expect)(res.holds).toBe(true);
+        // (sin(π)-sin(0))/π = 0, así que cos(c)=0 ⇒ c ≈ π/2
+        if (res.c !== undefined)
+            (0, vitest_1.expect)(Math.abs(res.c - Math.PI / 2)).toBeLessThan(1e-4);
+    });
+});
+// ── 7. Taylor ───────────────────────────────────────────────
+(0, vitest_1.describe)('real-analysis · Taylor', () => {
+    (0, vitest_1.it)('Taylor de sin orden 5 en 0 aproxima sin(0.5) con error < 1e-3', () => {
+        const T = (0, real_analysis_1.taylorPolynomial)(Math.sin, 0, 5);
+        const x = 0.5;
+        (0, vitest_1.expect)(Math.abs(T(x) - Math.sin(x))).toBeLessThan(1e-3);
+    });
+    (0, vitest_1.it)('Taylor de exp orden 8 en 0 aproxima exp(1) con error < 1e-3', () => {
+        const T = (0, real_analysis_1.taylorPolynomial)(Math.exp, 0, 8);
+        (0, vitest_1.expect)(Math.abs(T(1) - Math.E)).toBeLessThan(1e-3);
+    });
+    (0, vitest_1.it)('taylorRemainderBound es ≥ |error real| para exp orden 4 en x=0.5', () => {
+        const T = (0, real_analysis_1.taylorPolynomial)(Math.exp, 0, 4);
+        const err = Math.abs(T(0.5) - Math.exp(0.5));
+        const bound = (0, real_analysis_1.taylorRemainderBound)(Math.exp, 0, 0.5, 4);
+        (0, vitest_1.expect)(bound).toBeGreaterThanOrEqual(err * 0.5); // bound numérico tolerante
+    });
+});
+//# sourceMappingURL=real-analysis.test.js.map

package/dist/tests/reasoning/real-analysis/real-analysis.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"real-analysis.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/real-analysis/real-analysis.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,uDAAuD;AACvD,+DAA+D;;AAE/D,mCAA8C;AAC9C,oEAkB0C;AAE1C,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAChD,MAAM,CAAC,GAAG,IAAA,yBAAS,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChC,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAC1C,MAAM,GAAG,GAAG,IAAA,2BAAW,EAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,cAAc,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpC,MAAM,GAAG,GAAG,IAAA,2BAAW,EAAC,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACtC,MAAM,CAAC,GAAG,IAAA,yBAAS,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1D,MAAM,CAAC,GAAG,IAAA,yBAAS,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,IAAA,eAAM,EAAC,IAAA,8BAAc,EAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,8BAAc,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,IAAA,eAAM,EAAC,IAAA,qCAAqB,EAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACzD,MAAM,EAAE,GAAG,IAAA,mCAAmB,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAG,IAAA,0BAAU,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,IAAA,0BAAU,EAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;QAC5E,MAAM,CAAC,GAAG,IAAA,0BAAU,EAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7E,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,iCAAiC;QACjC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC;QACpB,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,IAAA,0BAAU,EAAC,EAAE,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;QAC5D,MAAM,CAAC,GAAG,IAAA,0BAAU,EAAC,EAAE,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,IAAA,6BAAa,EAAC,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACpC,MAAM,CAAC,GAAG,IAAA,6BAAa,EAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,kCAAkB,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACzC,MAAM,GAAG,GAAG,IAAA,kCAAkB,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,IAAA,yBAAS,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,IAAA,yBAAS,EAAC,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,aAAa,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;QACzF,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAG,IAAA,yBAAS,EAAC,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,IAAA,yBAAS,EAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,EAAE,GAAG,IAAA,yBAAS,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;QAC3C,MAAM,EAAE,GAAG,IAAA,yBAAS,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACrE,MAAM,GAAG,GAAG,IAAA,yBAAS,EAAC,KAAK,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChE,MAAM,GAAG,GAAG,IAAA,yBAAS,EAAC,KAAK,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACrE,MAAM,GAAG,GAAG,IAAA,wBAAQ,EAAC,KAAK,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,IAAA,0BAAU,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,GAAG,GAAG,IAAA,6BAAa,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE;YACvD,QAAQ,EAAE,MAAM;YAChB,SAAS,EAAE,IAAI;SAChB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS;YAAE,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACvF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,GAAG,GAAG,IAAA,6BAAa,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/E,IAAA,eAAM,EAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS;YAAE,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QAChC,MAAM,GAAG,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC;QACjC,MAAM,GAAG,GAAG,IAAA,gCAAgB,EAAC,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,GAAG,CAAC,CAAC,KAAK,SAAS;YAAE,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,GAAG,GAAG,IAAA,gCAAgB,EAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,oDAAoD;QACpD,IAAI,GAAG,CAAC,CAAC,KAAK,SAAS;YAAE,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACpF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,CAAC,GAAG,IAAA,gCAAgB,EAAC,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3C,MAAM,CAAC,GAAG,GAAG,CAAC;QACd,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,CAAC,GAAG,IAAA,gCAAgB,EAAC,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,CAAC,GAAG,IAAA,gCAAgB,EAAC,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3C,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,MAAM,KAAK,GAAG,IAAA,oCAAoB,EAAC,IAAI,CAAC,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,sBAAsB,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,2BAA2B;IAC9E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/reasoning/topology/topology.test.d.ts

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

package/dist/tests/reasoning/topology/topology.test.d.ts.map

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

package/dist/tests/reasoning/topology/topology.test.js

@@ -0,0 +1,327 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const topology_1 = require("../../../reasoning/topology");
+// Helpers de construcción.
+function complexFrom(simplices) {
+    const K = (0, topology_1.makeComplex)();
+    for (const s of simplices)
+        (0, topology_1.addSimplex)(K, s);
+    return K;
+}
+function sum(arr) {
+    return arr.reduce((a, b) => a + b, 0);
+}
+// ------------------------------------------------------------
+// 1. Construcción y dimensión
+// ------------------------------------------------------------
+(0, vitest_1.describe)('topology / construcción de simplicial complexes', () => {
+    (0, vitest_1.it)('makeComplex inicia vacío', () => {
+        const K = (0, topology_1.makeComplex)();
+        (0, vitest_1.expect)(K.vertices).toEqual([]);
+        (0, vitest_1.expect)((0, topology_1.dimension)(K)).toBe(-1);
+        (0, vitest_1.expect)((0, topology_1.fVector)(K)).toEqual([]);
+    });
+    (0, vitest_1.it)('addSimplex añade todas las caras', () => {
+        const K = (0, topology_1.makeComplex)();
+        (0, topology_1.addSimplex)(K, [0, 1, 2]);
+        // Debe tener 3 vértices, 3 aristas, 1 triángulo.
+        (0, vitest_1.expect)((0, topology_1.fVector)(K)).toEqual([3, 3, 1]);
+        (0, vitest_1.expect)((0, topology_1.dimension)(K)).toBe(2);
+    });
+    (0, vitest_1.it)('addSimplex normaliza el orden de vértices', () => {
+        const K1 = complexFrom([[2, 0, 1]]);
+        const K2 = complexFrom([[0, 1, 2]]);
+        (0, vitest_1.expect)((0, topology_1.fVector)(K1)).toEqual((0, topology_1.fVector)(K2));
+    });
+    (0, vitest_1.it)('addSimplex es idempotente sobre simplices repetidos', () => {
+        const K = (0, topology_1.makeComplex)();
+        (0, topology_1.addSimplex)(K, [0, 1, 2]);
+        (0, topology_1.addSimplex)(K, [0, 1, 2]);
+        (0, topology_1.addSimplex)(K, [0, 1]);
+        (0, vitest_1.expect)((0, topology_1.fVector)(K)).toEqual([3, 3, 1]);
+    });
+    (0, vitest_1.it)('faces de un triángulo da sus 3 aristas', () => {
+        const fs = (0, topology_1.faces)([0, 1, 2]);
+        (0, vitest_1.expect)(fs).toHaveLength(3);
+        (0, vitest_1.expect)(fs).toContainEqual([1, 2]);
+        (0, vitest_1.expect)(fs).toContainEqual([0, 2]);
+        (0, vitest_1.expect)(fs).toContainEqual([0, 1]);
+    });
+    (0, vitest_1.it)('faces de un punto es vacío', () => {
+        (0, vitest_1.expect)((0, topology_1.faces)([5])).toEqual([]);
+        (0, vitest_1.expect)((0, topology_1.faces)([])).toEqual([]);
+    });
+});
+// ------------------------------------------------------------
+// 2. Operador borde
+// ------------------------------------------------------------
+(0, vitest_1.describe)('topology / operador borde', () => {
+    (0, vitest_1.it)('boundaryZ2 ignora orientación', () => {
+        const b = (0, topology_1.boundaryZ2)([0, 1, 2]);
+        (0, vitest_1.expect)(b).toHaveLength(3);
+        (0, vitest_1.expect)(b).toContainEqual([0, 1]);
+        (0, vitest_1.expect)(b).toContainEqual([0, 2]);
+        (0, vitest_1.expect)(b).toContainEqual([1, 2]);
+    });
+    (0, vitest_1.it)('boundaryZ asigna signos (-1)^i por vértice omitido', () => {
+        const b = (0, topology_1.boundaryZ)([0, 1, 2]);
+        // ∂[0,1,2] = +[1,2] - [0,2] + [0,1]
+        (0, vitest_1.expect)(b).toEqual([
+            { sign: 1, simplex: [1, 2] },
+            { sign: -1, simplex: [0, 2] },
+            { sign: 1, simplex: [0, 1] },
+        ]);
+    });
+    (0, vitest_1.it)('∂² = 0 sobre Z para un tetraedro', () => {
+        // ∂([0,1,2,3]) en Z, luego aplicar ∂ a cada cara con signo y sumar.
+        const top = (0, topology_1.boundaryZ)([0, 1, 2, 3]);
+        const acc = new Map();
+        for (const { sign, simplex } of top) {
+            for (const { sign: s2, simplex: s } of (0, topology_1.boundaryZ)(simplex)) {
+                const k = s.join(',');
+                acc.set(k, (acc.get(k) ?? 0) + sign * s2);
+            }
+        }
+        for (const v of acc.values()) {
+            (0, vitest_1.expect)(v).toBe(0);
+        }
+    });
+});
+// ------------------------------------------------------------
+// 3. f-vector y característica de Euler
+// ------------------------------------------------------------
+(0, vitest_1.describe)('topology / f-vector y Euler', () => {
+    (0, vitest_1.it)('triángulo hueco (1-borde): f=(3,3), euler=0', () => {
+        // Frontera de un triángulo: 3 vértices + 3 aristas, sin la 2-cara.
+        const K = (0, topology_1.makeComplex)();
+        (0, topology_1.addSimplex)(K, [0, 1]);
+        (0, topology_1.addSimplex)(K, [1, 2]);
+        (0, topology_1.addSimplex)(K, [0, 2]);
+        (0, vitest_1.expect)((0, topology_1.fVector)(K)).toEqual([3, 3]);
+        (0, vitest_1.expect)((0, topology_1.eulerCharacteristic)(K)).toBe(0);
+    });
+    (0, vitest_1.it)('disco triangular: f=(3,3,1), euler=1', () => {
+        const K = complexFrom([[0, 1, 2]]);
+        (0, vitest_1.expect)((0, topology_1.fVector)(K)).toEqual([3, 3, 1]);
+        (0, vitest_1.expect)((0, topology_1.eulerCharacteristic)(K)).toBe(1);
+    });
+    (0, vitest_1.it)('borde del tetraedro = S²: euler = 2', () => {
+        const S2 = (0, topology_1.spheres)(2);
+        (0, vitest_1.expect)((0, topology_1.fVector)(S2)).toEqual([4, 6, 4]);
+        (0, vitest_1.expect)((0, topology_1.eulerCharacteristic)(S2)).toBe(2);
+    });
+    (0, vitest_1.it)('eulerCharacteristic equivale a ∑(-1)^i f_i', () => {
+        const K = (0, topology_1.spheres)(2);
+        const f = (0, topology_1.fVector)(K);
+        let chi = 0;
+        for (let i = 0; i < f.length; i++) {
+            const fi = f[i] ?? 0;
+            chi += (i % 2 === 0 ? 1 : -1) * fi;
+        }
+        (0, vitest_1.expect)(chi).toBe((0, topology_1.eulerCharacteristic)(K));
+    });
+});
+// ------------------------------------------------------------
+// 4. Smith Normal Form
+// ------------------------------------------------------------
+(0, vitest_1.describe)('topology / Smith Normal Form', () => {
+    (0, vitest_1.it)('SNF de matriz nula es nula', () => {
+        const M = [
+            [0, 0],
+            [0, 0],
+        ];
+        const { rankIm, invariants } = (0, topology_1.smithNormalForm)(M);
+        (0, vitest_1.expect)(rankIm).toBe(0);
+        (0, vitest_1.expect)(invariants).toEqual([]);
+    });
+    (0, vitest_1.it)('SNF de identidad da factores (1,1,...)', () => {
+        const M = [
+            [1, 0, 0],
+            [0, 1, 0],
+            [0, 0, 1],
+        ];
+        const { rankIm, invariants } = (0, topology_1.smithNormalForm)(M);
+        (0, vitest_1.expect)(rankIm).toBe(3);
+        (0, vitest_1.expect)(invariants).toEqual([1, 1, 1]);
+    });
+    (0, vitest_1.it)('SNF detecta torsión Z/2', () => {
+        // Matriz [[2]] tiene SNF = [[2]], factor invariante 2.
+        const { invariants, rankIm } = (0, topology_1.smithNormalForm)([[2]]);
+        (0, vitest_1.expect)(invariants).toEqual([2]);
+        (0, vitest_1.expect)(rankIm).toBe(1);
+    });
+    (0, vitest_1.it)('SNF respeta divisibilidad d_i | d_{i+1}', () => {
+        // diag(2,3) → SNF (1,6).
+        const M = [
+            [2, 0],
+            [0, 3],
+        ];
+        const { invariants } = (0, topology_1.smithNormalForm)(M);
+        (0, vitest_1.expect)(invariants[0]).toBe(1);
+        (0, vitest_1.expect)(invariants[1]).toBe(6);
+    });
+});
+// ------------------------------------------------------------
+// 5. Homología clásica
+// ------------------------------------------------------------
+(0, vitest_1.describe)('topology / homología clásica', () => {
+    (0, vitest_1.it)('punto: β_0 = 1, sin más homología', () => {
+        const K = (0, topology_1.makeComplex)();
+        (0, topology_1.addSimplex)(K, [0]);
+        (0, vitest_1.expect)((0, topology_1.bettiNumberZ2)(K, 0)).toBe(1);
+        (0, vitest_1.expect)((0, topology_1.bettiNumberZ)(K, 0)).toBe(1);
+        (0, vitest_1.expect)((0, topology_1.eulerCharacteristic)(K)).toBe(1);
+    });
+    (0, vitest_1.it)('dos puntos disjuntos: β_0 = 2', () => {
+        const K = (0, topology_1.makeComplex)();
+        (0, topology_1.addSimplex)(K, [0]);
+        (0, topology_1.addSimplex)(K, [1]);
+        (0, vitest_1.expect)((0, topology_1.bettiNumberZ2)(K, 0)).toBe(2);
+        (0, vitest_1.expect)((0, topology_1.bettiNumberZ)(K, 0)).toBe(2);
+    });
+    (0, vitest_1.it)('círculo S¹ (frontera del triángulo): β = [1,1], euler=0', () => {
+        const S1 = (0, topology_1.spheres)(1);
+        (0, vitest_1.expect)((0, topology_1.fVector)(S1)).toEqual([3, 3]);
+        (0, vitest_1.expect)((0, topology_1.bettiNumberZ2)(S1, 0)).toBe(1);
+        (0, vitest_1.expect)((0, topology_1.bettiNumberZ2)(S1, 1)).toBe(1);
+        (0, vitest_1.expect)((0, topology_1.bettiNumberZ)(S1, 0)).toBe(1);
+        (0, vitest_1.expect)((0, topology_1.bettiNumberZ)(S1, 1)).toBe(1);
+        (0, vitest_1.expect)((0, topology_1.eulerCharacteristic)(S1)).toBe(0);
+    });
+    (0, vitest_1.it)('esfera S² (frontera del tetraedro): β_Z2 = [1,0,1], euler=2', () => {
+        const S2 = (0, topology_1.spheres)(2);
+        const H = (0, topology_1.computeHomology)(S2, 'Z2');
+        (0, vitest_1.expect)(H.bettiNumbers).toEqual([1, 0, 1]);
+        (0, vitest_1.expect)(H.eulerChar).toBe(2);
+    });
+    (0, vitest_1.it)('esfera S² sobre Z: β = [1,0,1], sin torsión', () => {
+        const S2 = (0, topology_1.spheres)(2);
+        const H = (0, topology_1.computeHomology)(S2, 'Z');
+        (0, vitest_1.expect)(H.bettiNumbers).toEqual([1, 0, 1]);
+        (0, vitest_1.expect)(H.torsion).toEqual({});
+    });
+    (0, vitest_1.it)('esfera S³ (frontera 4-simplex): β = [1,0,0,1], euler = 0', () => {
+        const S3 = (0, topology_1.spheres)(3);
+        const H = (0, topology_1.computeHomology)(S3, 'Z');
+        (0, vitest_1.expect)(H.bettiNumbers).toEqual([1, 0, 0, 1]);
+        (0, vitest_1.expect)(H.eulerChar).toBe(0);
+    });
+    (0, vitest_1.it)('disco 2D (un triángulo lleno): β = [1,0,0], euler = 1', () => {
+        const K = complexFrom([[0, 1, 2]]);
+        const H = (0, topology_1.computeHomology)(K, 'Z2');
+        (0, vitest_1.expect)(H.bettiNumbers).toEqual([1, 0, 0]);
+        (0, vitest_1.expect)(H.eulerChar).toBe(1);
+    });
+    (0, vitest_1.it)('n-simplex completo es contráctil: β = [1,0,...,0]', () => {
+        for (const n of [1, 2, 3]) {
+            const K = (0, topology_1.nSimplex)(n);
+            const H = (0, topology_1.computeHomology)(K, 'Z');
+            (0, vitest_1.expect)(H.bettiNumbers[0]).toBe(1);
+            for (let i = 1; i <= n; i++) {
+                (0, vitest_1.expect)(H.bettiNumbers[i]).toBe(0);
+            }
+        }
+    });
+});
+// ------------------------------------------------------------
+// 6. Superficies con identificaciones
+// ------------------------------------------------------------
+(0, vitest_1.describe)('topology / superficies clásicas', () => {
+    (0, vitest_1.it)('toro T²: euler = 0', () => {
+        const T = (0, topology_1.torus2)();
+        (0, vitest_1.expect)((0, topology_1.eulerCharacteristic)(T)).toBe(0);
+    });
+    (0, vitest_1.it)('toro T²: β_Z2 = [1,2,1]', () => {
+        const T = (0, topology_1.torus2)();
+        const H = (0, topology_1.computeHomology)(T, 'Z2');
+        (0, vitest_1.expect)(H.bettiNumbers).toEqual([1, 2, 1]);
+        (0, vitest_1.expect)(H.eulerChar).toBe(0);
+    });
+    (0, vitest_1.it)('toro T²: β_Z = [1,2,1], sin torsión (orientable)', () => {
+        const T = (0, topology_1.torus2)();
+        const H = (0, topology_1.computeHomology)(T, 'Z');
+        (0, vitest_1.expect)(H.bettiNumbers).toEqual([1, 2, 1]);
+        (0, vitest_1.expect)(H.torsion).toEqual({});
+    });
+    (0, vitest_1.it)('plano proyectivo RP²: euler = 1', () => {
+        const P = (0, topology_1.projectivePlane)();
+        (0, vitest_1.expect)((0, topology_1.eulerCharacteristic)(P)).toBe(1);
+    });
+    (0, vitest_1.it)('plano proyectivo RP²: β_Z2 = [1,1,1]', () => {
+        const P = (0, topology_1.projectivePlane)();
+        const H = (0, topology_1.computeHomology)(P, 'Z2');
+        (0, vitest_1.expect)(H.bettiNumbers).toEqual([1, 1, 1]);
+    });
+    (0, vitest_1.it)('plano proyectivo RP²: β_Z = [1,0,0] con torsión Z/2 en dim 1', () => {
+        const P = (0, topology_1.projectivePlane)();
+        const H = (0, topology_1.computeHomology)(P, 'Z');
+        (0, vitest_1.expect)(H.bettiNumbers).toEqual([1, 0, 0]);
+        (0, vitest_1.expect)(H.torsion?.[1]).toEqual([2]);
+    });
+    (0, vitest_1.it)('botella de Klein: euler = 0', () => {
+        const K = (0, topology_1.kleinBottle)();
+        (0, vitest_1.expect)((0, topology_1.eulerCharacteristic)(K)).toBe(0);
+    });
+    (0, vitest_1.it)('botella de Klein sobre Z: β = [1,1,0], torsión Z/2 en dim 1', () => {
+        const K = (0, topology_1.kleinBottle)();
+        const H = (0, topology_1.computeHomology)(K, 'Z');
+        (0, vitest_1.expect)(H.bettiNumbers).toEqual([1, 1, 0]);
+        (0, vitest_1.expect)(H.torsion?.[1]).toEqual([2]);
+    });
+    (0, vitest_1.it)('botella de Klein sobre Z/2: β = [1,2,1]', () => {
+        const K = (0, topology_1.kleinBottle)();
+        const H = (0, topology_1.computeHomology)(K, 'Z2');
+        // Sobre Z/2 la torsión Z/2 se vuelve un sumando libre extra:
+        // H_1(K, Z/2) tiene dimensión 2, H_2(K, Z/2) tiene dimensión 1.
+        (0, vitest_1.expect)(H.bettiNumbers).toEqual([1, 2, 1]);
+    });
+});
+// ------------------------------------------------------------
+// 7. Consistencia de invariantes
+// ------------------------------------------------------------
+(0, vitest_1.describe)('topology / consistencia', () => {
+    (0, vitest_1.it)('χ = ∑ (-1)^i β_i (sobre Z/2) para todos los complejos clásicos', () => {
+        const cases = [
+            { name: 'S^1', K: (0, topology_1.spheres)(1) },
+            { name: 'S^2', K: (0, topology_1.spheres)(2) },
+            { name: 'S^3', K: (0, topology_1.spheres)(3) },
+            { name: 'T²', K: (0, topology_1.torus2)() },
+            { name: 'RP²', K: (0, topology_1.projectivePlane)() },
+            { name: 'Klein', K: (0, topology_1.kleinBottle)() },
+            { name: '3-simplex', K: (0, topology_1.nSimplex)(3) },
+        ];
+        for (const { name, K } of cases) {
+            const H = (0, topology_1.computeHomology)(K, 'Z2');
+            let chi = 0;
+            for (let i = 0; i < H.bettiNumbers.length; i++) {
+                const b = H.bettiNumbers[i] ?? 0;
+                chi += (i % 2 === 0 ? 1 : -1) * b;
+            }
+            (0, vitest_1.expect)(chi, `χ vs ∑(-1)^i β_i para ${name}`).toBe((0, topology_1.eulerCharacteristic)(K));
+        }
+    });
+    (0, vitest_1.it)('rankBoundaryZ2 coherente con dimensiones', () => {
+        const S2 = (0, topology_1.spheres)(2);
+        // rank ∂_1 ≤ #aristas, rank ∂_2 ≤ #triángulos
+        (0, vitest_1.expect)((0, topology_1.rankBoundaryZ2)(S2, 1)).toBeLessThanOrEqual(6);
+        (0, vitest_1.expect)((0, topology_1.rankBoundaryZ2)(S2, 2)).toBeLessThanOrEqual(4);
+    });
+    (0, vitest_1.it)('torsionZ vacía para S² (orientable)', () => {
+        const S2 = (0, topology_1.spheres)(2);
+        (0, vitest_1.expect)((0, topology_1.torsionZ)(S2, 0)).toEqual([]);
+        (0, vitest_1.expect)((0, topology_1.torsionZ)(S2, 1)).toEqual([]);
+        (0, vitest_1.expect)((0, topology_1.torsionZ)(S2, 2)).toEqual([]);
+    });
+    (0, vitest_1.it)('fVector entries no negativas y suma consistente', () => {
+        const T = (0, topology_1.torus2)();
+        const f = (0, topology_1.fVector)(T);
+        for (const fi of f) {
+            (0, vitest_1.expect)(fi).toBeGreaterThanOrEqual(0);
+        }
+        // Triangulación 3×3 del toro: 9 vértices, 27 aristas, 18 triángulos.
+        (0, vitest_1.expect)(f).toEqual([9, 27, 18]);
+        (0, vitest_1.expect)(sum(f)).toBe(54);
+    });
+});
+//# sourceMappingURL=topology.test.js.map

package/dist/tests/reasoning/topology/topology.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"topology.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/topology/topology.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,0DAqBqC;AAErC,2BAA2B;AAC3B,SAAS,WAAW,CAAC,SAAqB;IACxC,MAAM,CAAC,GAAG,IAAA,sBAAW,GAAE,CAAC;IACxB,KAAK,MAAM,CAAC,IAAI,SAAS;QAAE,IAAA,qBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5C,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,GAAG,CAAC,GAAa;IACxB,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;AACxC,CAAC;AAED,+DAA+D;AAC/D,8BAA8B;AAC9B,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,iDAAiD,EAAE,GAAG,EAAE;IAC/D,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,IAAA,sBAAW,GAAE,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,oBAAS,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,kBAAO,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,IAAA,sBAAW,GAAE,CAAC;QACxB,IAAA,qBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzB,iDAAiD;QACjD,IAAA,eAAM,EAAC,IAAA,kBAAO,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,oBAAS,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,kBAAO,EAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAA,kBAAO,EAAC,EAAE,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,IAAA,sBAAW,GAAE,CAAC;QACxB,IAAA,qBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzB,IAAA,qBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzB,IAAA,qBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,IAAA,kBAAO,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,EAAE,GAAG,IAAA,gBAAK,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,IAAA,eAAM,EAAC,IAAA,gBAAK,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,gBAAK,EAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,oBAAoB;AACpB,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,IAAA,qBAAU,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,IAAA,oBAAS,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/B,oCAAoC;QACpC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC;YAChB,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;YAC5B,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;YAC7B,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;SAC7B,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,oEAAoE;QACpE,MAAM,GAAG,GAAG,IAAA,oBAAS,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;QACtC,KAAK,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,GAAG,EAAE,CAAC;YACpC,KAAK,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,IAAI,IAAA,oBAAS,EAAC,OAAO,CAAC,EAAE,CAAC;gBAC1D,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACtB,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,GAAG,EAAE,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,MAAM,EAAE,EAAE,CAAC;YAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,wCAAwC;AACxC,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,mEAAmE;QACnE,MAAM,CAAC,GAAG,IAAA,sBAAW,GAAE,CAAC;QACxB,IAAA,qBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtB,IAAA,qBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtB,IAAA,qBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,IAAA,kBAAO,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,8BAAmB,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,kBAAO,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,8BAAmB,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,EAAE,GAAG,IAAA,kBAAO,EAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,IAAA,kBAAO,EAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,8BAAmB,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,IAAA,kBAAO,EAAC,CAAC,CAAC,CAAC;QACrB,MAAM,CAAC,GAAG,IAAA,kBAAO,EAAC,CAAC,CAAC,CAAC;QACrB,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAClC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACrB,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;QACrC,CAAC;QACD,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAA,8BAAmB,EAAC,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,uBAAuB;AACvB,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG;YACR,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CAAC;QACF,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,IAAA,0BAAe,EAAC,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,UAAU,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,GAAG;YACR,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACV,CAAC;QACF,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,IAAA,0BAAe,EAAC,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,uDAAuD;QACvD,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,GAAG,IAAA,0BAAe,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,yBAAyB;QACzB,MAAM,CAAC,GAAG;YACR,CAAC,CAAC,EAAE,CAAC,CAAC;YACN,CAAC,CAAC,EAAE,CAAC,CAAC;SACP,CAAC;QACF,MAAM,EAAE,UAAU,EAAE,GAAG,IAAA,0BAAe,EAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,uBAAuB;AACvB,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,IAAA,sBAAW,GAAE,CAAC;QACxB,IAAA,qBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACnB,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,uBAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,8BAAmB,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,IAAA,sBAAW,GAAE,CAAC;QACxB,IAAA,qBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACnB,IAAA,qBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACnB,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,uBAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,EAAE,GAAG,IAAA,kBAAO,EAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,IAAA,kBAAO,EAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAA,wBAAa,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAA,uBAAY,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,uBAAY,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,8BAAmB,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,EAAE,GAAG,IAAA,kBAAO,EAAC,CAAC,CAAC,CAAC;QACtB,MAAM,CAAC,GAAG,IAAA,0BAAe,EAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,EAAE,GAAG,IAAA,kBAAO,EAAC,CAAC,CAAC,CAAC;QACtB,MAAM,CAAC,GAAG,IAAA,0BAAe,EAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,EAAE,GAAG,IAAA,kBAAO,EAAC,CAAC,CAAC,CAAC;QACtB,MAAM,CAAC,GAAG,IAAA,0BAAe,EAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,IAAA,0BAAe,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAC1B,MAAM,CAAC,GAAG,IAAA,mBAAQ,EAAC,CAAC,CAAC,CAAC;YACtB,MAAM,CAAC,GAAG,IAAA,0BAAe,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;YAClC,IAAA,eAAM,EAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAClC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACpC,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,sCAAsC;AACtC,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,CAAC,GAAG,IAAA,iBAAM,GAAE,CAAC;QACnB,IAAA,eAAM,EAAC,IAAA,8BAAmB,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,GAAG,IAAA,iBAAM,GAAE,CAAC;QACnB,MAAM,CAAC,GAAG,IAAA,0BAAe,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,IAAA,iBAAM,GAAE,CAAC;QACnB,MAAM,CAAC,GAAG,IAAA,0BAAe,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,IAAA,0BAAe,GAAE,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAA,8BAAmB,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,0BAAe,GAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAA,0BAAe,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,CAAC,GAAG,IAAA,0BAAe,GAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAA,0BAAe,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,IAAA,sBAAW,GAAE,CAAC;QACxB,IAAA,eAAM,EAAC,IAAA,8BAAmB,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,CAAC,GAAG,IAAA,sBAAW,GAAE,CAAC;QACxB,MAAM,CAAC,GAAG,IAAA,0BAAe,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,IAAA,sBAAW,GAAE,CAAC;QACxB,MAAM,CAAC,GAAG,IAAA,0BAAe,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACnC,6DAA6D;QAC7D,gEAAgE;QAChE,IAAA,eAAM,EAAC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,iCAAiC;AACjC,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,KAAK,GAA6C;YACtD,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,IAAA,kBAAO,EAAC,CAAC,CAAC,EAAE;YAC9B,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,IAAA,kBAAO,EAAC,CAAC,CAAC,EAAE;YAC9B,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,IAAA,kBAAO,EAAC,CAAC,CAAC,EAAE;YAC9B,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAA,iBAAM,GAAE,EAAE;YAC3B,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,EAAE,IAAA,0BAAe,GAAE,EAAE;YACrC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,IAAA,sBAAW,GAAE,EAAE;YACnC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,EAAE,IAAA,mBAAQ,EAAC,CAAC,CAAC,EAAE;SACtC,CAAC;QACF,KAAK,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,KAAK,EAAE,CAAC;YAChC,MAAM,CAAC,GAAG,IAAA,0BAAe,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YACnC,IAAI,GAAG,GAAG,CAAC,CAAC;YACZ,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC/C,MAAM,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;gBACjC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YACpC,CAAC;YACD,IAAA,eAAM,EAAC,GAAG,EAAE,yBAAyB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAA,8BAAmB,EAAC,CAAC,CAAC,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,EAAE,GAAG,IAAA,kBAAO,EAAC,CAAC,CAAC,CAAC;QACtB,8CAA8C;QAC9C,IAAA,eAAM,EAAC,IAAA,yBAAc,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,IAAA,yBAAc,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,EAAE,GAAG,IAAA,kBAAO,EAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,IAAA,mBAAQ,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,mBAAQ,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,mBAAQ,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,IAAA,iBAAM,GAAE,CAAC;QACnB,MAAM,CAAC,GAAG,IAAA,kBAAO,EAAC,CAAC,CAAC,CAAC;QACrB,KAAK,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;YACnB,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACvC,CAAC;QACD,qEAAqE;QACrE,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/tooling/exporters/lean4/lean4-exporter.test.d.ts

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

package/dist/tests/tooling/exporters/lean4/lean4-exporter.test.d.ts.map

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