@stevenvo780/st-lang 4.10.0 → 4.12.0

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

@@ -0,0 +1,174 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const constructive_reals_1 = require("../../../reasoning/constructive-reals");
+const constructive_analysis_1 = require("../../../reasoning/constructive-analysis");
+(0, vitest_1.describe)('constructive-reals primitives (smoke)', () => {
+    (0, vitest_1.it)('add and mul are exact on rationals', () => {
+        (0, vitest_1.expect)((0, constructive_reals_1.toNumber)((0, constructive_reals_1.add)((0, constructive_reals_1.fromFloat)(1), (0, constructive_reals_1.fromFloat)(2)))).toBeCloseTo(3, 6);
+        (0, vitest_1.expect)((0, constructive_reals_1.toNumber)((0, constructive_reals_1.mul)((0, constructive_reals_1.fromFloat)(3), (0, constructive_reals_1.fromFloat)(4)))).toBeCloseTo(12, 6);
+    });
+});
+(0, vitest_1.describe)('Cauchy sequences', () => {
+    // x_n = 1/n. Cauchy modulus: to get |x_m - x_n| < 1/eps for m, n >= N,
+    // suffice N >= 2 * eps (since |1/m - 1/n| <= 1/m + 1/n <= 2/N).
+    const oneOverN = (0, constructive_analysis_1.cauchyFrom)((n) => (0, constructive_reals_1.fromFloat)(1 / (n + 1)), // n >= 0
+    (eps) => 2 * eps + 1);
+    (0, vitest_1.it)('1/n is constructively Cauchy (modulus sound at eps=10)', () => {
+        (0, vitest_1.expect)((0, constructive_analysis_1.isCauchy)(oneOverN, 10)).toBe(true);
+    });
+    (0, vitest_1.it)('1/n is constructively Cauchy at eps=100', () => {
+        (0, vitest_1.expect)((0, constructive_analysis_1.isCauchy)(oneOverN, 100)).toBe(true);
+    });
+    (0, vitest_1.it)('limit of 1/n is 0', () => {
+        const lim = (0, constructive_analysis_1.limit)(oneOverN);
+        (0, vitest_1.expect)((0, constructive_reals_1.approxEq)(lim, constructive_reals_1.zero, 50)).toBe(true);
+        (0, vitest_1.expect)((0, constructive_reals_1.toNumber)(lim, 10_000)).toBeCloseTo(0, 3);
+    });
+    (0, vitest_1.it)('Cauchy detection rejects a bogus modulus', () => {
+        const bogus = (0, constructive_analysis_1.cauchyFrom)((n) => (0, constructive_reals_1.fromFloat)((-1) ** n), () => 1);
+        (0, vitest_1.expect)((0, constructive_analysis_1.isCauchy)(bogus, 4)).toBe(false);
+    });
+    (0, vitest_1.it)('constant sequence is trivially Cauchy and converges to itself', () => {
+        const c = (0, constructive_analysis_1.cauchyFrom)(() => (0, constructive_reals_1.fromFloat)(7), () => 1);
+        (0, vitest_1.expect)((0, constructive_analysis_1.isCauchy)(c, 100)).toBe(true);
+        (0, vitest_1.expect)((0, constructive_reals_1.toNumber)((0, constructive_analysis_1.limit)(c))).toBeCloseTo(7, 6);
+    });
+    (0, vitest_1.it)('partial sums of 1/2^n converge to 2', () => {
+        // S_n = sum_{k=0}^{n} 1/2^k = 2 - 1/2^n.
+        // |S_m - S_n| < 1/2^min(m,n). To get < 1/eps, take N = ceil(log2(eps)) + 1.
+        const partial = (0, constructive_analysis_1.cauchyFrom)((n) => (0, constructive_reals_1.fromFloat)(2 - Math.pow(2, -n)), (eps) => Math.max(1, Math.ceil(Math.log2(eps)) + 2));
+        (0, vitest_1.expect)((0, constructive_analysis_1.isCauchy)(partial, 100)).toBe(true);
+        const lim = (0, constructive_analysis_1.limit)(partial);
+        (0, vitest_1.expect)((0, constructive_reals_1.toNumber)(lim, 10_000)).toBeCloseTo(2, 3);
+    });
+});
+(0, vitest_1.describe)('Uniform continuity', () => {
+    // f(x) = x^2. On [0, 1], Lipschitz constant is 2 (since |f'| <= 2).
+    // So modulus(eps) = ceil(2 * eps) works.
+    const xSquared = {
+        fn: (x) => (0, constructive_reals_1.mul)(x, x),
+        modulus: (eps) => Math.max(1, 2 * eps)
+    };
+    (0, vitest_1.it)('x^2 is uniformly continuous on [0, 1]', () => {
+        (0, vitest_1.expect)((0, constructive_analysis_1.isUniformlyContinuousOn)(xSquared, [constructive_reals_1.zero, constructive_reals_1.one], 50)).toBe(true);
+    });
+    (0, vitest_1.it)('x^2 modulus is sound at finer precision', () => {
+        (0, vitest_1.expect)((0, constructive_analysis_1.isUniformlyContinuousOn)(xSquared, [constructive_reals_1.zero, constructive_reals_1.one], 200, 16)).toBe(true);
+    });
+    (0, vitest_1.it)('identity is uniformly continuous on [-1, 1]', () => {
+        const id = (0, constructive_analysis_1.identity)();
+        (0, vitest_1.expect)((0, constructive_analysis_1.isUniformlyContinuousOn)(id, [(0, constructive_reals_1.fromFloat)(-1), constructive_reals_1.one], 100)).toBe(true);
+    });
+    (0, vitest_1.it)('constant function is uniformly continuous everywhere', () => {
+        const k = (0, constructive_analysis_1.constant)((0, constructive_reals_1.fromFloat)(3.14));
+        (0, vitest_1.expect)((0, constructive_analysis_1.isUniformlyContinuousOn)(k, [constructive_reals_1.zero, (0, constructive_reals_1.fromFloat)(10)], 100)).toBe(true);
+    });
+    (0, vitest_1.it)('composition of two Lipschitz continuous functions is continuous', () => {
+        const g = (0, constructive_analysis_1.lipschitz)((x) => (0, constructive_reals_1.add)(x, constructive_reals_1.one), 1); // g(x) = x + 1
+        const f = (0, constructive_analysis_1.lipschitz)((x) => (0, constructive_reals_1.mul)(x, (0, constructive_reals_1.fromFloat)(2)), 2); // f(y) = 2y
+        const fog = (0, constructive_analysis_1.composition)(f, g);
+        (0, vitest_1.expect)((0, constructive_reals_1.toNumber)(fog.fn((0, constructive_reals_1.fromFloat)(3)))).toBeCloseTo(8, 6); // 2*(3+1)
+        (0, vitest_1.expect)((0, constructive_analysis_1.isUniformlyContinuousOn)(fog, [constructive_reals_1.zero, constructive_reals_1.one], 50)).toBe(true);
+    });
+    (0, vitest_1.it)('a wrong modulus is rejected', () => {
+        const wrongMod = {
+            fn: (x) => (0, constructive_reals_1.mul)(x, (0, constructive_reals_1.mul)(x, x)), // x^3
+            modulus: () => 1 // claims |x-y| < 1 => |f(x)-f(y)| < 1/eps. False.
+        };
+        (0, vitest_1.expect)((0, constructive_analysis_1.isUniformlyContinuousOn)(wrongMod, [constructive_reals_1.zero, (0, constructive_reals_1.fromFloat)(5)], 10)).toBe(false);
+    });
+});
+(0, vitest_1.describe)('Bishop integral', () => {
+    (0, vitest_1.it)('integral of constant c over [a, b] equals c * (b - a)', () => {
+        const c = (0, constructive_analysis_1.constant)((0, constructive_reals_1.fromFloat)(2.5));
+        const I = (0, constructive_analysis_1.bishopIntegral)(c, (0, constructive_reals_1.fromFloat)(1), (0, constructive_reals_1.fromFloat)(4), 100);
+        (0, vitest_1.expect)((0, constructive_reals_1.toNumber)(I, 10_000)).toBeCloseTo(2.5 * 3, 2);
+    });
+    (0, vitest_1.it)('integral of identity over [0, 1] is 0.5', () => {
+        const id = (0, constructive_analysis_1.identity)();
+        const I = (0, constructive_analysis_1.bishopIntegral)(id, constructive_reals_1.zero, constructive_reals_1.one, 200);
+        (0, vitest_1.expect)((0, constructive_reals_1.toNumber)(I, 10_000)).toBeCloseTo(0.5, 2);
+    });
+    (0, vitest_1.it)('integral of x^2 over [0, 1] is approximately 1/3', () => {
+        const xSq = {
+            fn: (x) => (0, constructive_reals_1.mul)(x, x),
+            modulus: (eps) => Math.max(1, 2 * eps)
+        };
+        const I = (0, constructive_analysis_1.bishopIntegral)(xSq, constructive_reals_1.zero, constructive_reals_1.one, 200);
+        (0, vitest_1.expect)((0, constructive_reals_1.toNumber)(I, 10_000)).toBeCloseTo(1 / 3, 2);
+    });
+    (0, vitest_1.it)('integral is sign-aware (reversing limits flips sign)', () => {
+        const id = (0, constructive_analysis_1.identity)();
+        const Iup = (0, constructive_analysis_1.bishopIntegral)(id, constructive_reals_1.zero, constructive_reals_1.one, 100);
+        const Idn = (0, constructive_analysis_1.bishopIntegral)(id, constructive_reals_1.one, constructive_reals_1.zero, 100);
+        (0, vitest_1.expect)((0, constructive_reals_1.toNumber)(Iup, 1_000)).toBeCloseTo(0.5, 2);
+        (0, vitest_1.expect)((0, constructive_reals_1.toNumber)(Idn, 1_000)).toBeCloseTo(-0.5, 2);
+    });
+});
+(0, vitest_1.describe)('Heine-Borel finite subcover', () => {
+    (0, vitest_1.it)('three open intervals cover [0, 1]', () => {
+        const cover = {
+            intervals: [
+                [(0, constructive_reals_1.fromFloat)(-0.1), (0, constructive_reals_1.fromFloat)(0.5)],
+                [(0, constructive_reals_1.fromFloat)(0.3), (0, constructive_reals_1.fromFloat)(0.8)],
+                [(0, constructive_reals_1.fromFloat)(0.7), (0, constructive_reals_1.fromFloat)(1.2)]
+            ]
+        };
+        (0, vitest_1.expect)((0, constructive_analysis_1.hasFiniteSubcover)(cover, [constructive_reals_1.zero, constructive_reals_1.one])).toBe(true);
+    });
+    (0, vitest_1.it)('a gap in the cover is rejected', () => {
+        const cover = {
+            intervals: [
+                [(0, constructive_reals_1.fromFloat)(-0.1), (0, constructive_reals_1.fromFloat)(0.3)],
+                [(0, constructive_reals_1.fromFloat)(0.7), (0, constructive_reals_1.fromFloat)(1.2)]
+            ]
+        };
+        (0, vitest_1.expect)((0, constructive_analysis_1.hasFiniteSubcover)(cover, [constructive_reals_1.zero, constructive_reals_1.one])).toBe(false);
+    });
+});
+(0, vitest_1.describe)('Intermediate Value Theorem (constructive)', () => {
+    (0, vitest_1.it)('IVT for f(x) = x^2 - 2 on [1, 2] finds c with f(c) ≈ 0', () => {
+        const f = {
+            fn: (x) => (0, constructive_reals_1.sub)((0, constructive_reals_1.mul)(x, x), (0, constructive_reals_1.fromFloat)(2)),
+            modulus: (eps) => Math.max(1, 4 * eps) // L = 4 on [1, 2]
+        };
+        const c = (0, constructive_analysis_1.intermediateValueTheorem)(f, constructive_reals_1.one, (0, constructive_reals_1.fromFloat)(2), constructive_reals_1.zero, 200);
+        (0, vitest_1.expect)(c).not.toBeNull();
+        if (c !== null) {
+            // c should be close to sqrt(2).
+            (0, vitest_1.expect)((0, constructive_reals_1.toNumber)(c, 10_000)).toBeCloseTo(Math.SQRT2, 1);
+            // f(c) should be close to 0.
+            const fc = f.fn(c);
+            (0, vitest_1.expect)((0, constructive_reals_1.toNumber)((0, constructive_reals_1.abs)(fc), 10_000)).toBeLessThan(1 / 50);
+        }
+    });
+    (0, vitest_1.it)('IVT for f(x) = x - 0.5 on [0, 1] hits target 0', () => {
+        const f = {
+            fn: (x) => (0, constructive_reals_1.sub)(x, (0, constructive_reals_1.fromFloat)(0.5)),
+            modulus: (eps) => Math.max(1, eps)
+        };
+        const c = (0, constructive_analysis_1.intermediateValueTheorem)(f, constructive_reals_1.zero, constructive_reals_1.one, constructive_reals_1.zero, 100);
+        (0, vitest_1.expect)(c).not.toBeNull();
+        if (c !== null) {
+            (0, vitest_1.expect)((0, constructive_reals_1.toNumber)(c, 1_000)).toBeCloseTo(0.5, 2);
+        }
+    });
+    (0, vitest_1.it)('IVT returns null when target is not bracketed', () => {
+        // f(x) = 1 (constant) on [0, 1]: target 0 is not in the image.
+        const f = (0, constructive_analysis_1.constant)(constructive_reals_1.one);
+        const c = (0, constructive_analysis_1.intermediateValueTheorem)(f, constructive_reals_1.zero, constructive_reals_1.one, constructive_reals_1.zero, 50);
+        (0, vitest_1.expect)(c).toBeNull();
+    });
+});
+(0, vitest_1.describe)('Mean value (constructive)', () => {
+    (0, vitest_1.it)('mean of x on [0, 1] is 0.5 and IVT finds c with f(c) ≈ 0.5', () => {
+        const id = (0, constructive_analysis_1.identity)();
+        const c = (0, constructive_analysis_1.meanValueConstructive)(id, constructive_reals_1.zero, constructive_reals_1.one, 100);
+        (0, vitest_1.expect)(c).not.toBeNull();
+        if (c !== null) {
+            (0, vitest_1.expect)((0, constructive_reals_1.toNumber)(c, 1_000)).toBeCloseTo(0.5, 2);
+        }
+    });
+});
+//# sourceMappingURL=constructive-analysis.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"constructive-analysis.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/constructive-analysis/constructive-analysis.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAE9C,8EAY+C;AAE/C,oFAekD;AAElD,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,IAAA,wBAAG,EAAC,IAAA,8BAAS,EAAC,CAAC,CAAC,EAAE,IAAA,8BAAS,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,IAAA,wBAAG,EAAC,IAAA,8BAAS,EAAC,CAAC,CAAC,EAAE,IAAA,8BAAS,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,uEAAuE;IACvE,gEAAgE;IAChE,MAAM,QAAQ,GAA0B,IAAA,kCAAU,EAChD,CAAC,CAAS,EAAE,EAAE,CAAC,IAAA,8BAAS,EAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,SAAS;IAChD,CAAC,GAAW,EAAE,EAAE,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,CAC7B,CAAC;IAEF,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,IAAA,eAAM,EAAC,IAAA,gCAAQ,EAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,IAAA,eAAM,EAAC,IAAA,gCAAQ,EAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,GAAG,GAAG,IAAA,6BAAK,EAAC,QAAQ,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,GAAG,EAAE,yBAAI,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,KAAK,GAA0B,IAAA,kCAAU,EAC7C,CAAC,CAAS,EAAE,EAAE,CAAC,IAAA,8BAAS,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EACnC,GAAG,EAAE,CAAC,CAAC,CACR,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,gCAAQ,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,CAAC,GAAG,IAAA,kCAAU,EAAC,GAAG,EAAE,CAAC,IAAA,8BAAS,EAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,IAAA,gCAAQ,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,IAAA,6BAAK,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,yCAAyC;QACzC,4EAA4E;QAC5E,MAAM,OAAO,GAA0B,IAAA,kCAAU,EAC/C,CAAC,CAAS,EAAE,EAAE,CAAC,IAAA,8BAAS,EAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAC7C,CAAC,GAAW,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAC5D,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,gCAAQ,EAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,MAAM,GAAG,GAAG,IAAA,6BAAK,EAAC,OAAO,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,oEAAoE;IACpE,yCAAyC;IACzC,MAAM,QAAQ,GAA2B;QACvC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC;QACpB,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC;KACvC,CAAC;IAEF,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,IAAA,eAAM,EAAC,IAAA,+CAAuB,EAAC,QAAQ,EAAE,CAAC,yBAAI,EAAE,wBAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,IAAA,eAAM,EAAC,IAAA,+CAAuB,EAAC,QAAQ,EAAE,CAAC,yBAAI,EAAE,wBAAG,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,EAAE,GAAG,IAAA,gCAAQ,GAAE,CAAC;QACtB,IAAA,eAAM,EAAC,IAAA,+CAAuB,EAAC,EAAE,EAAE,CAAC,IAAA,8BAAS,EAAC,CAAC,CAAC,CAAC,EAAE,wBAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,IAAA,gCAAQ,EAAC,IAAA,8BAAS,EAAC,IAAI,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,+CAAuB,EAAC,CAAC,EAAE,CAAC,yBAAI,EAAE,IAAA,8BAAS,EAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,CAAC,GAAG,IAAA,iCAAS,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,wBAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,eAAe;QAC3D,MAAM,CAAC,GAAG,IAAA,iCAAS,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,IAAA,8BAAS,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,YAAY;QACjE,MAAM,GAAG,GAAG,IAAA,mCAAW,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,GAAG,CAAC,EAAE,CAAC,IAAA,8BAAS,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU;QACpE,IAAA,eAAM,EAAC,IAAA,+CAAuB,EAAC,GAAG,EAAE,CAAC,yBAAI,EAAE,wBAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,QAAQ,GAA2B;YACvC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM;YACpC,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,kDAAkD;SACpE,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,+CAAuB,EAAC,QAAQ,EAAE,CAAC,yBAAI,EAAE,IAAA,8BAAS,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,GAAG,IAAA,gCAAQ,EAAC,IAAA,8BAAS,EAAC,GAAG,CAAC,CAAC,CAAC;QACnC,MAAM,CAAC,GAAG,IAAA,sCAAc,EAAC,CAAC,EAAE,IAAA,8BAAS,EAAC,CAAC,CAAC,EAAE,IAAA,8BAAS,EAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,EAAE,GAAG,IAAA,gCAAQ,GAAE,CAAC;QACtB,MAAM,CAAC,GAAG,IAAA,sCAAc,EAAC,EAAE,EAAE,yBAAI,EAAE,wBAAG,EAAE,GAAG,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,GAAG,GAA2B;YAClC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC;YACpB,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC;SACvC,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,sCAAc,EAAC,GAAG,EAAE,yBAAI,EAAE,wBAAG,EAAE,GAAG,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,EAAE,GAAG,IAAA,gCAAQ,GAAE,CAAC;QACtB,MAAM,GAAG,GAAG,IAAA,sCAAc,EAAC,EAAE,EAAE,yBAAI,EAAE,wBAAG,EAAE,GAAG,CAAC,CAAC;QAC/C,MAAM,GAAG,GAAG,IAAA,sCAAc,EAAC,EAAE,EAAE,wBAAG,EAAE,yBAAI,EAAE,GAAG,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,KAAK,GAAG;YACZ,SAAS,EAAE;gBACT,CAAC,IAAA,8BAAS,EAAC,CAAC,GAAG,CAAC,EAAE,IAAA,8BAAS,EAAC,GAAG,CAAC,CAAC;gBACjC,CAAC,IAAA,8BAAS,EAAC,GAAG,CAAC,EAAE,IAAA,8BAAS,EAAC,GAAG,CAAC,CAAC;gBAChC,CAAC,IAAA,8BAAS,EAAC,GAAG,CAAC,EAAE,IAAA,8BAAS,EAAC,GAAG,CAAC,CAAC;aACS;SAC5C,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,yCAAiB,EAAC,KAAK,EAAE,CAAC,yBAAI,EAAE,wBAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,KAAK,GAAG;YACZ,SAAS,EAAE;gBACT,CAAC,IAAA,8BAAS,EAAC,CAAC,GAAG,CAAC,EAAE,IAAA,8BAAS,EAAC,GAAG,CAAC,CAAC;gBACjC,CAAC,IAAA,8BAAS,EAAC,GAAG,CAAC,EAAE,IAAA,8BAAS,EAAC,GAAG,CAAC,CAAC;aACS;SAC5C,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,yCAAiB,EAAC,KAAK,EAAE,CAAC,yBAAI,EAAE,wBAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAA2B;YAChC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,wBAAG,EAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,8BAAS,EAAC,CAAC,CAAC,CAAC;YACvC,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,kBAAkB;SAC1D,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,gDAAwB,EAAC,CAAC,EAAE,wBAAG,EAAE,IAAA,8BAAS,EAAC,CAAC,CAAC,EAAE,yBAAI,EAAE,GAAG,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACf,gCAAgC;YAChC,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;YACvD,6BAA6B;YAC7B,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACnB,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,IAAA,wBAAG,EAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;QACzD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAA2B;YAChC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,wBAAG,EAAC,CAAC,EAAE,IAAA,8BAAS,EAAC,GAAG,CAAC,CAAC;YACjC,OAAO,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC;SACnC,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,gDAAwB,EAAC,CAAC,EAAE,yBAAI,EAAE,wBAAG,EAAE,yBAAI,EAAE,GAAG,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACf,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACjD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,+DAA+D;QAC/D,MAAM,CAAC,GAAG,IAAA,gCAAQ,EAAC,wBAAG,CAAC,CAAC;QACxB,MAAM,CAAC,GAAG,IAAA,gDAAwB,EAAC,CAAC,EAAE,yBAAI,EAAE,wBAAG,EAAE,yBAAI,EAAE,EAAE,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,EAAE,GAAG,IAAA,gCAAQ,GAAE,CAAC;QACtB,MAAM,CAAC,GAAG,IAAA,6CAAqB,EAAC,EAAE,EAAE,yBAAI,EAAE,wBAAG,EAAE,GAAG,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YACf,IAAA,eAAM,EAAC,IAAA,6BAAQ,EAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACjD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/reasoning/graph-theory/graph-theory.test.d.ts

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

package/dist/tests/reasoning/graph-theory/graph-theory.test.d.ts.map

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

package/dist/tests/reasoning/graph-theory/graph-theory.test.js

@@ -0,0 +1,363 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const graph_theory_1 = require("../../../reasoning/graph-theory");
+// Helpers
+function pathGraph(n, directed = false) {
+    const G = (0, graph_theory_1.makeGraph)(directed);
+    for (let i = 0; i < n; i++)
+        (0, graph_theory_1.addVertex)(G, i);
+    for (let i = 0; i < n - 1; i++)
+        (0, graph_theory_1.addEdge)(G, { from: i, to: i + 1, weight: 1 });
+    return G;
+}
+function cycleGraph(n, directed = false) {
+    const G = (0, graph_theory_1.makeGraph)(directed);
+    for (let i = 0; i < n; i++)
+        (0, graph_theory_1.addVertex)(G, i);
+    for (let i = 0; i < n; i++)
+        (0, graph_theory_1.addEdge)(G, { from: i, to: (i + 1) % n, weight: 1 });
+    return G;
+}
+function completeGraph(n) {
+    const G = (0, graph_theory_1.makeGraph)(false);
+    for (let i = 0; i < n; i++)
+        (0, graph_theory_1.addVertex)(G, i);
+    for (let i = 0; i < n; i++) {
+        for (let j = i + 1; j < n; j++) {
+            (0, graph_theory_1.addEdge)(G, { from: i, to: j, weight: 1 });
+        }
+    }
+    return G;
+}
+// ------------------------------------------------------------
+// 1. Construcción
+// ------------------------------------------------------------
+(0, vitest_1.describe)('graph-theory / construcción', () => {
+    (0, vitest_1.it)('makeGraph inicializa vacío', () => {
+        const G = (0, graph_theory_1.makeGraph)();
+        (0, vitest_1.expect)(G.vertices.size).toBe(0);
+        (0, vitest_1.expect)(G.edges.length).toBe(0);
+        (0, vitest_1.expect)(G.directed).toBe(false);
+    });
+    (0, vitest_1.it)('addEdge añade extremos como vértices', () => {
+        const G = (0, graph_theory_1.makeGraph)();
+        (0, graph_theory_1.addEdge)(G, { from: 'a', to: 'b', weight: 2 });
+        (0, vitest_1.expect)(G.vertices.has('a')).toBe(true);
+        (0, vitest_1.expect)(G.vertices.has('b')).toBe(true);
+        (0, vitest_1.expect)(G.edges.length).toBe(1);
+    });
+    (0, vitest_1.it)('neighbors respeta dirección', () => {
+        const G = (0, graph_theory_1.makeGraph)(true);
+        (0, graph_theory_1.addEdge)(G, { from: 1, to: 2 });
+        (0, vitest_1.expect)((0, graph_theory_1.neighbors)(G, 1)).toEqual([2]);
+        (0, vitest_1.expect)((0, graph_theory_1.neighbors)(G, 2)).toEqual([]);
+    });
+    (0, vitest_1.it)('inDegree/outDegree en grafo dirigido', () => {
+        const G = (0, graph_theory_1.makeGraph)(true);
+        (0, graph_theory_1.addEdge)(G, { from: 1, to: 2 });
+        (0, graph_theory_1.addEdge)(G, { from: 3, to: 2 });
+        (0, vitest_1.expect)((0, graph_theory_1.inDegree)(G, 2)).toBe(2);
+        (0, vitest_1.expect)((0, graph_theory_1.outDegree)(G, 2)).toBe(0);
+        (0, vitest_1.expect)((0, graph_theory_1.outDegree)(G, 1)).toBe(1);
+    });
+});
+// ------------------------------------------------------------
+// 2. Recorridos
+// ------------------------------------------------------------
+(0, vitest_1.describe)('graph-theory / recorridos', () => {
+    (0, vitest_1.it)('BFS visita en orden de niveles', () => {
+        // Grafo:  0 - 1 - 3
+        //         |   |
+        //         2 - 4
+        const G = (0, graph_theory_1.makeGraph)();
+        (0, graph_theory_1.addEdge)(G, { from: 0, to: 1 });
+        (0, graph_theory_1.addEdge)(G, { from: 0, to: 2 });
+        (0, graph_theory_1.addEdge)(G, { from: 1, to: 3 });
+        (0, graph_theory_1.addEdge)(G, { from: 1, to: 4 });
+        (0, graph_theory_1.addEdge)(G, { from: 2, to: 4 });
+        const order = (0, graph_theory_1.bfs)(G, 0);
+        (0, vitest_1.expect)(order[0]).toBe(0);
+        // Nivel 1 debe ser {1, 2} antes que {3, 4}.
+        const idx = new Map(order.map((v, i) => [v, i]));
+        (0, vitest_1.expect)(idx.get(1)).toBeLessThan(idx.get(3));
+        (0, vitest_1.expect)(idx.get(2)).toBeLessThan(idx.get(3));
+        (0, vitest_1.expect)(idx.get(1)).toBeLessThan(idx.get(4));
+    });
+    (0, vitest_1.it)('DFS recorre en profundidad', () => {
+        const G = pathGraph(5);
+        const order = (0, graph_theory_1.dfs)(G, 0);
+        // Path 0-1-2-3-4: DFS desde 0 debe visitar todos en orden creciente.
+        (0, vitest_1.expect)(order).toEqual([0, 1, 2, 3, 4]);
+    });
+    (0, vitest_1.it)('topologicalSort en DAG válido', () => {
+        const G = (0, graph_theory_1.makeGraph)(true);
+        (0, graph_theory_1.addEdge)(G, { from: 1, to: 2 });
+        (0, graph_theory_1.addEdge)(G, { from: 1, to: 3 });
+        (0, graph_theory_1.addEdge)(G, { from: 2, to: 4 });
+        (0, graph_theory_1.addEdge)(G, { from: 3, to: 4 });
+        const order = (0, graph_theory_1.topologicalSort)(G);
+        (0, vitest_1.expect)(order).not.toBe('has-cycle');
+        if (order === 'has-cycle')
+            return;
+        const idx = new Map(order.map((v, i) => [v, i]));
+        (0, vitest_1.expect)(idx.get(1)).toBeLessThan(idx.get(2));
+        (0, vitest_1.expect)(idx.get(1)).toBeLessThan(idx.get(3));
+        (0, vitest_1.expect)(idx.get(2)).toBeLessThan(idx.get(4));
+        (0, vitest_1.expect)(idx.get(3)).toBeLessThan(idx.get(4));
+    });
+    (0, vitest_1.it)('topologicalSort detecta ciclo', () => {
+        const G = (0, graph_theory_1.makeGraph)(true);
+        (0, graph_theory_1.addEdge)(G, { from: 1, to: 2 });
+        (0, graph_theory_1.addEdge)(G, { from: 2, to: 3 });
+        (0, graph_theory_1.addEdge)(G, { from: 3, to: 1 });
+        (0, vitest_1.expect)((0, graph_theory_1.topologicalSort)(G)).toBe('has-cycle');
+    });
+});
+// ------------------------------------------------------------
+// 3. Conectividad
+// ------------------------------------------------------------
+(0, vitest_1.describe)('graph-theory / conectividad', () => {
+    (0, vitest_1.it)('connectedComponents identifica 2 componentes', () => {
+        const G = (0, graph_theory_1.makeGraph)();
+        (0, graph_theory_1.addEdge)(G, { from: 1, to: 2 });
+        (0, graph_theory_1.addEdge)(G, { from: 3, to: 4 });
+        (0, graph_theory_1.addVertex)(G, 5);
+        const comps = (0, graph_theory_1.connectedComponents)(G);
+        (0, vitest_1.expect)(comps.length).toBe(3);
+        const sizes = comps.map((c) => c.length).sort((a, b) => a - b);
+        (0, vitest_1.expect)(sizes).toEqual([1, 2, 2]);
+    });
+    (0, vitest_1.it)('isConnected en path', () => {
+        (0, vitest_1.expect)((0, graph_theory_1.isConnected)(pathGraph(5))).toBe(true);
+    });
+    (0, vitest_1.it)('SCC de Tarjan con 2 SCC en grafo dirigido', () => {
+        // SCC 1: {1, 2, 3} (ciclo) ; SCC 2: {4} ; arista 3 -> 4 no fuerte.
+        const G = (0, graph_theory_1.makeGraph)(true);
+        (0, graph_theory_1.addEdge)(G, { from: 1, to: 2 });
+        (0, graph_theory_1.addEdge)(G, { from: 2, to: 3 });
+        (0, graph_theory_1.addEdge)(G, { from: 3, to: 1 });
+        (0, graph_theory_1.addEdge)(G, { from: 3, to: 4 });
+        const sccs = (0, graph_theory_1.stronglyConnectedComponents)(G);
+        (0, vitest_1.expect)(sccs.length).toBe(2);
+        const sizes = sccs.map((c) => c.length).sort((a, b) => a - b);
+        (0, vitest_1.expect)(sizes).toEqual([1, 3]);
+    });
+    (0, vitest_1.it)('articulationPoints en cadena lineal', () => {
+        // Path 0-1-2-3-4: los puntos de articulación son 1, 2, 3.
+        const G = pathGraph(5);
+        const arts = (0, graph_theory_1.articulationPoints)(G).sort((a, b) => a - b);
+        (0, vitest_1.expect)(arts).toEqual([1, 2, 3]);
+    });
+    (0, vitest_1.it)('bridges en cadena lineal', () => {
+        const G = pathGraph(4);
+        const br = (0, graph_theory_1.bridges)(G);
+        // Todo edge de un árbol es puente.
+        (0, vitest_1.expect)(br.length).toBe(3);
+    });
+    (0, vitest_1.it)('bridges: ciclo no tiene puentes', () => {
+        const G = cycleGraph(5);
+        (0, vitest_1.expect)((0, graph_theory_1.bridges)(G).length).toBe(0);
+    });
+});
+// ------------------------------------------------------------
+// 4. Caminos mínimos
+// ------------------------------------------------------------
+(0, vitest_1.describe)('graph-theory / caminos mínimos', () => {
+    (0, vitest_1.it)('dijkstra en grafo 5-vertex weighted', () => {
+        // Grafo clásico:
+        //   0 --(7)-- 1 --(1)-- 4
+        //   |\        |
+        //  (1)(5)   (2)
+        //   |   \    |
+        //   2 --(2)- 3
+        const G = (0, graph_theory_1.makeGraph)();
+        (0, graph_theory_1.addEdge)(G, { from: 0, to: 1, weight: 7 });
+        (0, graph_theory_1.addEdge)(G, { from: 0, to: 2, weight: 1 });
+        (0, graph_theory_1.addEdge)(G, { from: 0, to: 3, weight: 5 });
+        (0, graph_theory_1.addEdge)(G, { from: 1, to: 3, weight: 2 });
+        (0, graph_theory_1.addEdge)(G, { from: 1, to: 4, weight: 1 });
+        (0, graph_theory_1.addEdge)(G, { from: 2, to: 3, weight: 2 });
+        const { distances } = (0, graph_theory_1.dijkstra)(G, 0);
+        (0, vitest_1.expect)(distances.get(0)).toBe(0);
+        (0, vitest_1.expect)(distances.get(1)).toBe(5); // 0->2->3->1 = 1+2+2 = 5
+        (0, vitest_1.expect)(distances.get(2)).toBe(1);
+        (0, vitest_1.expect)(distances.get(3)).toBe(3); // 0->2->3 = 3
+        (0, vitest_1.expect)(distances.get(4)).toBe(6); // 0->2->3->1->4 = 6
+    });
+    (0, vitest_1.it)('dijkstra rechaza pesos negativos', () => {
+        const G = (0, graph_theory_1.makeGraph)();
+        (0, graph_theory_1.addEdge)(G, { from: 0, to: 1, weight: -1 });
+        (0, vitest_1.expect)(() => (0, graph_theory_1.dijkstra)(G, 0)).toThrow();
+    });
+    (0, vitest_1.it)('bellmanFord detecta ciclo negativo', () => {
+        const G = (0, graph_theory_1.makeGraph)(true);
+        (0, graph_theory_1.addEdge)(G, { from: 1, to: 2, weight: 1 });
+        (0, graph_theory_1.addEdge)(G, { from: 2, to: 3, weight: -3 });
+        (0, graph_theory_1.addEdge)(G, { from: 3, to: 1, weight: 1 });
+        const r = (0, graph_theory_1.bellmanFord)(G, 1);
+        (0, vitest_1.expect)(r.negativeCycle).toBe(true);
+    });
+    (0, vitest_1.it)('bellmanFord en grafo sin ciclos negativos', () => {
+        const G = (0, graph_theory_1.makeGraph)(true);
+        (0, graph_theory_1.addEdge)(G, { from: 1, to: 2, weight: 4 });
+        (0, graph_theory_1.addEdge)(G, { from: 1, to: 3, weight: 1 });
+        (0, graph_theory_1.addEdge)(G, { from: 3, to: 2, weight: 2 });
+        const r = (0, graph_theory_1.bellmanFord)(G, 1);
+        (0, vitest_1.expect)(r.negativeCycle).toBe(false);
+        (0, vitest_1.expect)(r.distances.get(2)).toBe(3); // 1->3->2 = 3
+    });
+    (0, vitest_1.it)('floydWarshall coincide con dijkstra en pesos positivos', () => {
+        const G = (0, graph_theory_1.makeGraph)();
+        (0, graph_theory_1.addEdge)(G, { from: 0, to: 1, weight: 4 });
+        (0, graph_theory_1.addEdge)(G, { from: 0, to: 2, weight: 1 });
+        (0, graph_theory_1.addEdge)(G, { from: 1, to: 2, weight: 2 });
+        (0, graph_theory_1.addEdge)(G, { from: 1, to: 3, weight: 1 });
+        (0, graph_theory_1.addEdge)(G, { from: 2, to: 3, weight: 5 });
+        const fw = (0, graph_theory_1.floydWarshall)(G);
+        const dj = (0, graph_theory_1.dijkstra)(G, 0);
+        for (const v of G.vertices) {
+            (0, vitest_1.expect)(fw.get(0)?.get(v)).toBe(dj.distances.get(v));
+        }
+    });
+});
+// ------------------------------------------------------------
+// 5. MST
+// ------------------------------------------------------------
+(0, vitest_1.describe)('graph-theory / MST', () => {
+    (0, vitest_1.it)('kruskal MST en grafo simple', () => {
+        // Grafo de 4 nodos con pesos:
+        // 1-2(1), 2-3(2), 3-4(3), 1-4(10), 1-3(5)
+        const G = (0, graph_theory_1.makeGraph)();
+        (0, graph_theory_1.addEdge)(G, { from: 1, to: 2, weight: 1 });
+        (0, graph_theory_1.addEdge)(G, { from: 2, to: 3, weight: 2 });
+        (0, graph_theory_1.addEdge)(G, { from: 3, to: 4, weight: 3 });
+        (0, graph_theory_1.addEdge)(G, { from: 1, to: 4, weight: 10 });
+        (0, graph_theory_1.addEdge)(G, { from: 1, to: 3, weight: 5 });
+        const mst = (0, graph_theory_1.kruskal)(G);
+        (0, vitest_1.expect)(mst.totalWeight).toBe(6); // 1 + 2 + 3
+        (0, vitest_1.expect)(mst.edges.length).toBe(3);
+    });
+    (0, vitest_1.it)('prim MST coincide con kruskal en weight', () => {
+        const G = (0, graph_theory_1.makeGraph)();
+        (0, graph_theory_1.addEdge)(G, { from: 0, to: 1, weight: 4 });
+        (0, graph_theory_1.addEdge)(G, { from: 0, to: 2, weight: 3 });
+        (0, graph_theory_1.addEdge)(G, { from: 1, to: 2, weight: 1 });
+        (0, graph_theory_1.addEdge)(G, { from: 1, to: 3, weight: 2 });
+        (0, graph_theory_1.addEdge)(G, { from: 2, to: 3, weight: 4 });
+        (0, graph_theory_1.addEdge)(G, { from: 3, to: 4, weight: 2 });
+        (0, graph_theory_1.addEdge)(G, { from: 2, to: 4, weight: 7 });
+        const kw = (0, graph_theory_1.kruskal)(G).totalWeight;
+        const pw = (0, graph_theory_1.prim)(G).totalWeight;
+        (0, vitest_1.expect)(pw).toBe(kw);
+    });
+    (0, vitest_1.it)('prim en grafo desconectado cubre solo su componente', () => {
+        const G = (0, graph_theory_1.makeGraph)();
+        (0, graph_theory_1.addEdge)(G, { from: 0, to: 1, weight: 1 });
+        (0, graph_theory_1.addEdge)(G, { from: 2, to: 3, weight: 1 });
+        const r = (0, graph_theory_1.prim)(G, 0);
+        (0, vitest_1.expect)(r.edges.length).toBe(1);
+    });
+});
+// ------------------------------------------------------------
+// 6. Bipartite matching
+// ------------------------------------------------------------
+(0, vitest_1.describe)('graph-theory / matching bipartito', () => {
+    (0, vitest_1.it)('bipartiteMaximumMatching: 3 + 3 con 4 edges, max 3', () => {
+        // Lado izquierdo: L1, L2, L3 ; derecho: R1, R2, R3
+        // L1-R1, L1-R2, L2-R2, L3-R3
+        const G = (0, graph_theory_1.makeGraph)();
+        const left = new Set(['L1', 'L2', 'L3']);
+        (0, graph_theory_1.addEdge)(G, { from: 'L1', to: 'R1' });
+        (0, graph_theory_1.addEdge)(G, { from: 'L1', to: 'R2' });
+        (0, graph_theory_1.addEdge)(G, { from: 'L2', to: 'R2' });
+        (0, graph_theory_1.addEdge)(G, { from: 'L3', to: 'R3' });
+        const m = (0, graph_theory_1.bipartiteMaximumMatching)(G, left);
+        (0, vitest_1.expect)(m.length).toBe(3);
+    });
+    (0, vitest_1.it)('hopcroftKarp coincide en tamaño con Kuhn', () => {
+        const G = (0, graph_theory_1.makeGraph)();
+        const left = new Set(['L1', 'L2', 'L3', 'L4']);
+        (0, graph_theory_1.addEdge)(G, { from: 'L1', to: 'R1' });
+        (0, graph_theory_1.addEdge)(G, { from: 'L1', to: 'R2' });
+        (0, graph_theory_1.addEdge)(G, { from: 'L2', to: 'R1' });
+        (0, graph_theory_1.addEdge)(G, { from: 'L3', to: 'R2' });
+        (0, graph_theory_1.addEdge)(G, { from: 'L3', to: 'R3' });
+        (0, graph_theory_1.addEdge)(G, { from: 'L4', to: 'R3' });
+        const k = (0, graph_theory_1.bipartiteMaximumMatching)(G, left).length;
+        const h = (0, graph_theory_1.hopcroftKarp)(G, left).length;
+        (0, vitest_1.expect)(h).toBe(k);
+        (0, vitest_1.expect)(h).toBe(3);
+    });
+});
+// ------------------------------------------------------------
+// 7. Coloreo
+// ------------------------------------------------------------
+(0, vitest_1.describe)('graph-theory / coloreo', () => {
+    (0, vitest_1.it)('chromaticNumber de K4 = 4', () => {
+        (0, vitest_1.expect)((0, graph_theory_1.chromaticNumber)(completeGraph(4))).toBe(4);
+    });
+    (0, vitest_1.it)('chromaticNumber de bipartito completo K_{3,3} = 2', () => {
+        const G = (0, graph_theory_1.makeGraph)();
+        const left = ['l1', 'l2', 'l3'];
+        const right = ['r1', 'r2', 'r3'];
+        for (const l of left)
+            for (const r of right)
+                (0, graph_theory_1.addEdge)(G, { from: l, to: r });
+        (0, vitest_1.expect)((0, graph_theory_1.chromaticNumber)(G)).toBe(2);
+    });
+    (0, vitest_1.it)('chromaticNumber de C5 (impar) = 3', () => {
+        (0, vitest_1.expect)((0, graph_theory_1.chromaticNumber)(cycleGraph(5))).toBe(3);
+    });
+    (0, vitest_1.it)('greedyColoring no asigna mismo color a vecinos', () => {
+        const G = completeGraph(5);
+        const color = (0, graph_theory_1.greedyColoring)(G);
+        for (const e of G.edges) {
+            (0, vitest_1.expect)(color.get(e.from)).not.toBe(color.get(e.to));
+        }
+    });
+});
+// ------------------------------------------------------------
+// 8. Isomorfismo
+// ------------------------------------------------------------
+(0, vitest_1.describe)('graph-theory / isomorfismo', () => {
+    (0, vitest_1.it)('dos C5 son isomorfos', () => {
+        const G1 = cycleGraph(5);
+        const G2 = (0, graph_theory_1.makeGraph)();
+        const labels = ['a', 'b', 'c', 'd', 'e'];
+        for (const l of labels)
+            (0, graph_theory_1.addVertex)(G2, l);
+        for (let i = 0; i < labels.length; i++) {
+            (0, graph_theory_1.addEdge)(G2, { from: labels[i], to: labels[(i + 1) % labels.length] });
+        }
+        (0, vitest_1.expect)((0, graph_theory_1.areIsomorphic)(G1, G2)).toBe(true);
+    });
+    (0, vitest_1.it)('C5 y C6 no son isomorfos', () => {
+        (0, vitest_1.expect)((0, graph_theory_1.areIsomorphic)(cycleGraph(5), cycleGraph(6))).toBe(false);
+    });
+    (0, vitest_1.it)('K4 y C4 no son isomorfos (mismo |V| distinto |E|)', () => {
+        (0, vitest_1.expect)((0, graph_theory_1.areIsomorphic)(completeGraph(4), cycleGraph(4))).toBe(false);
+    });
+    (0, vitest_1.it)('findIsomorphism devuelve mapeo válido', () => {
+        const G1 = pathGraph(4);
+        const G2 = (0, graph_theory_1.makeGraph)();
+        const labels = ['w', 'x', 'y', 'z'];
+        for (const l of labels)
+            (0, graph_theory_1.addVertex)(G2, l);
+        for (let i = 0; i < labels.length - 1; i++) {
+            (0, graph_theory_1.addEdge)(G2, { from: labels[i], to: labels[i + 1] });
+        }
+        const m = (0, graph_theory_1.findIsomorphism)(G1, G2);
+        (0, vitest_1.expect)(m).not.toBeNull();
+        if (!m)
+            return;
+        // Verificar que las aristas se preservan.
+        for (const e of G1.edges) {
+            const f = m.get(e.from);
+            const t = m.get(e.to);
+            const found = G2.edges.some((e2) => (e2.from === f && e2.to === t) || (e2.from === t && e2.to === f));
+            (0, vitest_1.expect)(found).toBe(true);
+        }
+    });
+});
+//# sourceMappingURL=graph-theory.test.js.map

package/dist/tests/reasoning/graph-theory/graph-theory.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"graph-theory.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/graph-theory/graph-theory.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,kEA2ByC;AAEzC,UAAU;AACV,SAAS,SAAS,CAAC,CAAS,EAAE,QAAQ,GAAG,KAAK;IAC5C,MAAM,CAAC,GAAG,IAAA,wBAAS,EAAS,QAAQ,CAAC,CAAC;IACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;QAAE,IAAA,wBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;QAAE,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;IAC9E,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,UAAU,CAAC,CAAS,EAAE,QAAQ,GAAG,KAAK;IAC7C,MAAM,CAAC,GAAG,IAAA,wBAAS,EAAS,QAAQ,CAAC,CAAC;IACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;QAAE,IAAA,wBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;QAAE,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;IAChF,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,aAAa,CAAC,CAAS;IAC9B,MAAM,CAAC,GAAG,IAAA,wBAAS,EAAS,KAAK,CAAC,CAAC;IACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;QAAE,IAAA,wBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/B,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;IACD,OAAO,CAAC,CAAC;AACX,CAAC;AAED,+DAA+D;AAC/D,kBAAkB;AAClB,+DAA+D;AAC/D,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAA,wBAAS,GAAU,CAAC;QAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,wBAAS,GAAU,CAAC;QAC9B,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,IAAA,wBAAS,EAAS,IAAI,CAAC,CAAC;QAClC,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,wBAAS,EAAS,IAAI,CAAC,CAAC;QAClC,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,uBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,wBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,gBAAgB;AAChB,+DAA+D;AAC/D,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,oBAAoB;QACpB,gBAAgB;QAChB,gBAAgB;QAChB,MAAM,CAAC,GAAG,IAAA,wBAAS,GAAU,CAAC;QAC9B,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/B,MAAM,KAAK,GAAG,IAAA,kBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzB,4CAA4C;QAC5C,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAU,CAAC,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QACvB,MAAM,KAAK,GAAG,IAAA,kBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACxB,qEAAqE;QACrE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,IAAA,wBAAS,EAAS,IAAI,CAAC,CAAC;QAClC,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/B,MAAM,KAAK,GAAG,IAAA,8BAAe,EAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACpC,IAAI,KAAK,KAAK,WAAW;YAAE,OAAO;QAClC,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAU,CAAC,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAE,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,IAAA,wBAAS,EAAS,IAAI,CAAC,CAAC;QAClC,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,8BAAe,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,kBAAkB;AAClB,+DAA+D;AAC/D,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,IAAA,wBAAS,GAAU,CAAC;QAC9B,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAA,wBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChB,MAAM,KAAK,GAAG,IAAA,kCAAmB,EAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,IAAA,eAAM,EAAC,IAAA,0BAAW,EAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,mEAAmE;QACnE,MAAM,CAAC,GAAG,IAAA,wBAAS,EAAS,IAAI,CAAC,CAAC;QAClC,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/B,MAAM,IAAI,GAAG,IAAA,0CAA2B,EAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,0DAA0D;QAC1D,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QACvB,MAAM,IAAI,GAAG,IAAA,iCAAkB,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QACvB,MAAM,EAAE,GAAG,IAAA,sBAAO,EAAC,CAAC,CAAC,CAAC;QACtB,mCAAmC;QACnC,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,IAAA,sBAAO,EAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,qBAAqB;AACrB,+DAA+D;AAC/D,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,iBAAiB;QACjB,0BAA0B;QAC1B,gBAAgB;QAChB,gBAAgB;QAChB,eAAe;QACf,eAAe;QACf,MAAM,CAAC,GAAG,IAAA,wBAAS,GAAU,CAAC;QAC9B,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1C,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1C,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1C,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1C,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1C,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1C,MAAM,EAAE,SAAS,EAAE,GAAG,IAAA,uBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,yBAAyB;QAC3D,IAAA,eAAM,EAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc;QAChD,IAAA,eAAM,EAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,oBAAoB;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,IAAA,wBAAS,GAAU,CAAC;QAC9B,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,uBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,IAAA,wBAAS,EAAS,IAAI,CAAC,CAAC;QAClC,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1C,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC3C,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1C,MAAM,CAAC,GAAG,IAAA,0BAAW,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,IAAA,wBAAS,EAAS,IAAI,CAAC,CAAC;QAClC,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1C,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1C,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1C,MAAM,CAAC,GAAG,IAAA,0BAAW,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,cAAc;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAAG,IAAA,wBAAS,GAAU,CAAC;QAC9B,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1C,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1C,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1C,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1C,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1C,MAAM,EAAE,GAAG,IAAA,4BAAa,EAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,EAAE,GAAG,IAAA,uBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC3B,IAAA,eAAM,EAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACtD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,SAAS;AACT,+DAA+D;AAC/D,IAAA,iBAAQ,EAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,8BAA8B;QAC9B,0CAA0C;QAC1C,MAAM,CAAC,GAAG,IAAA,wBAAS,GAAU,CAAC;QAC9B,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1C,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1C,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1C,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;QAC3C,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1C,MAAM,GAAG,GAAG,IAAA,sBAAO,EAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY;QAC7C,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,IAAA,wBAAS,GAAU,CAAC;QAC9B,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1C,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1C,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1C,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1C,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1C,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1C,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1C,MAAM,EAAE,GAAG,IAAA,sBAAO,EAAC,CAAC,CAAC,CAAC,WAAW,CAAC;QAClC,MAAM,EAAE,GAAG,IAAA,mBAAI,EAAC,CAAC,CAAC,CAAC,WAAW,CAAC;QAC/B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACtB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,IAAA,wBAAS,GAAU,CAAC;QAC9B,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1C,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1C,MAAM,CAAC,GAAG,IAAA,mBAAI,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,wBAAwB;AACxB,+DAA+D;AAC/D,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,mDAAmD;QACnD,6BAA6B;QAC7B,MAAM,CAAC,GAAG,IAAA,wBAAS,GAAU,CAAC;QAC9B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QACzC,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACrC,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACrC,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACrC,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,IAAA,uCAAwB,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,IAAA,wBAAS,GAAU,CAAC;QAC9B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAC/C,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACrC,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACrC,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACrC,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACrC,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACrC,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,IAAA,uCAAwB,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC;QACnD,MAAM,CAAC,GAAG,IAAA,2BAAY,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC;QACvC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,aAAa;AACb,+DAA+D;AAC/D,IAAA,iBAAQ,EAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,IAAA,eAAM,EAAC,IAAA,8BAAe,EAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,IAAA,wBAAS,GAAU,CAAC;QAC9B,MAAM,IAAI,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QAChC,MAAM,KAAK,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,IAAI;YAAE,KAAK,MAAM,CAAC,IAAI,KAAK;gBAAE,IAAA,sBAAO,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;QAC5E,IAAA,eAAM,EAAC,IAAA,8BAAe,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,IAAA,eAAM,EAAC,IAAA,8BAAe,EAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,KAAK,GAAG,IAAA,6BAAc,EAAC,CAAC,CAAC,CAAC;QAChC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;YACxB,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,iBAAiB;AACjB,+DAA+D;AAC/D,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,CAAC;QACzB,MAAM,EAAE,GAAG,IAAA,wBAAS,GAAU,CAAC;QAC/B,MAAM,MAAM,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACzC,KAAK,MAAM,CAAC,IAAI,MAAM;YAAE,IAAA,wBAAS,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACvC,IAAA,sBAAO,EAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACxE,CAAC;QACD,IAAA,eAAM,EAAC,IAAA,4BAAa,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,IAAA,4BAAa,EAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,IAAA,eAAM,EAAC,IAAA,4BAAa,EAAC,aAAa,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QACxB,MAAM,EAAE,GAAG,IAAA,wBAAS,GAAU,CAAC;QAC/B,MAAM,MAAM,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACpC,KAAK,MAAM,CAAC,IAAI,MAAM;YAAE,IAAA,wBAAS,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3C,IAAA,sBAAO,EAAC,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC;QACtD,CAAC;QACD,MAAM,CAAC,GAAG,IAAA,8BAAe,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,CAAC;YAAE,OAAO;QACf,0CAA0C;QAC1C,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;YACzB,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAW,CAAC;YAClC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAW,CAAC;YAChC,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,CACzB,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CACzE,CAAC;YACF,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/reasoning/group-presentation/group-presentation.test.d.ts

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

package/dist/tests/reasoning/group-presentation/group-presentation.test.d.ts.map

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