@stevenvo780/st-lang 4.8.0 → 4.10.0

package/dist/tests/reasoning/differential-privacy/differential-privacy.test.js

@@ -0,0 +1,388 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const differential_privacy_1 = require("../../../reasoning/differential-privacy");
+// ------------------------------------------------------------
+// Fixtures
+// ------------------------------------------------------------
+const SEED = 42;
+function rng() {
+    return (0, differential_privacy_1.makeDPRng)(SEED);
+}
+// Muestrear N veces y devolver la media empírica.
+function empiricalMean(samples) {
+    let s = 0;
+    for (const x of samples)
+        s += x;
+    return s / samples.length;
+}
+function empiricalVar(samples) {
+    const mu = empiricalMean(samples);
+    let s = 0;
+    for (const x of samples)
+        s += (x - mu) ** 2;
+    return s / samples.length;
+}
+// ------------------------------------------------------------
+// 1. Mecanismos de ruido
+// ------------------------------------------------------------
+(0, vitest_1.describe)('differential-privacy / Laplace', () => {
+    (0, vitest_1.it)('mean empírica converge al valor original con N grande', () => {
+        const r = rng();
+        const N = 20000;
+        const samples = [];
+        for (let i = 0; i < N; i++) {
+            samples.push((0, differential_privacy_1.laplaceNoise)(10, 1, 0.5, r));
+        }
+        const mean = empiricalMean(samples);
+        // Laplace tiene mean = original; tolerancia generosa por finite N.
+        (0, vitest_1.expect)(Math.abs(mean - 10)).toBeLessThan(0.2);
+    });
+    (0, vitest_1.it)('varianza empírica ≈ 2b² donde b = Δ/ε', () => {
+        const r = rng();
+        const N = 20000;
+        const sensitivity = 2;
+        const epsilon = 1;
+        const b = sensitivity / epsilon;
+        const samples = [];
+        for (let i = 0; i < N; i++) {
+            samples.push((0, differential_privacy_1.laplaceNoise)(0, sensitivity, epsilon, r));
+        }
+        const variance = empiricalVar(samples);
+        const expected = 2 * b * b;
+        (0, vitest_1.expect)(Math.abs(variance - expected) / expected).toBeLessThan(0.1);
+    });
+    (0, vitest_1.it)('sensibilidad 0 ⇒ no agrega ruido', () => {
+        const r = rng();
+        (0, vitest_1.expect)((0, differential_privacy_1.laplaceNoise)(42, 0, 1, r)).toBe(42);
+    });
+    (0, vitest_1.it)('rechaza epsilon ≤ 0', () => {
+        (0, vitest_1.expect)(() => (0, differential_privacy_1.laplaceNoise)(0, 1, 0)).toThrow();
+        (0, vitest_1.expect)(() => (0, differential_privacy_1.laplaceNoise)(0, 1, -0.1)).toThrow();
+    });
+});
+(0, vitest_1.describe)('differential-privacy / Gaussian', () => {
+    (0, vitest_1.it)('mean empírica ≈ valor original', () => {
+        const r = rng();
+        const N = 20000;
+        const samples = [];
+        for (let i = 0; i < N; i++) {
+            samples.push((0, differential_privacy_1.gaussianNoise)(5, 1, 1, 1e-5, r));
+        }
+        (0, vitest_1.expect)(Math.abs(empiricalMean(samples) - 5)).toBeLessThan(0.3);
+    });
+    (0, vitest_1.it)('varianza empírica ≈ σ² con σ = Δ·√(2 ln(1.25/δ))/ε', () => {
+        const r = rng();
+        const N = 20000;
+        const sensitivity = 1;
+        const epsilon = 0.5;
+        const delta = 1e-5;
+        const sigma = (sensitivity * Math.sqrt(2 * Math.log(1.25 / delta))) / epsilon;
+        const samples = [];
+        for (let i = 0; i < N; i++) {
+            samples.push((0, differential_privacy_1.gaussianNoise)(0, sensitivity, epsilon, delta, r));
+        }
+        const variance = empiricalVar(samples);
+        const expected = sigma * sigma;
+        (0, vitest_1.expect)(Math.abs(variance - expected) / expected).toBeLessThan(0.1);
+    });
+    (0, vitest_1.it)('exige delta > 0', () => {
+        (0, vitest_1.expect)(() => (0, differential_privacy_1.gaussianNoise)(0, 1, 1, 0)).toThrow();
+    });
+});
+// ------------------------------------------------------------
+// 2. Mecanismo exponencial
+// ------------------------------------------------------------
+(0, vitest_1.describe)('differential-privacy / exponentialMechanism', () => {
+    (0, vitest_1.it)('items con score mayor aparecen más', () => {
+        const r = rng();
+        const items = ['low', 'mid', 'high'];
+        const scoreMap = new Map([
+            ['low', 0],
+            ['mid', 1],
+            ['high', 5],
+        ]);
+        const score = (it) => scoreMap.get(it) ?? 0;
+        const counts = new Map();
+        for (const it of items)
+            counts.set(it, 0);
+        const N = 5000;
+        for (let i = 0; i < N; i++) {
+            const pick = (0, differential_privacy_1.exponentialMechanism)(items, score, 1, 2, r);
+            counts.set(pick, (counts.get(pick) ?? 0) + 1);
+        }
+        // 'high' debe dominar.
+        (0, vitest_1.expect)(counts.get('high')).toBeGreaterThan(counts.get('mid'));
+        (0, vitest_1.expect)(counts.get('mid')).toBeGreaterThan(counts.get('low'));
+    });
+    (0, vitest_1.it)('sensibilidad 0 ⇒ argmax determinista', () => {
+        const items = [
+            { id: 'a', s: 1 },
+            { id: 'b', s: 10 },
+            { id: 'c', s: 5 },
+        ];
+        const pick = (0, differential_privacy_1.exponentialMechanism)(items, (x) => x.s, 0, 1);
+        (0, vitest_1.expect)(pick.id).toBe('b');
+    });
+    (0, vitest_1.it)('rechaza items vacío', () => {
+        (0, vitest_1.expect)(() => (0, differential_privacy_1.exponentialMechanism)([], () => 0, 1, 1)).toThrow();
+    });
+});
+// ------------------------------------------------------------
+// 3. Randomized response
+// ------------------------------------------------------------
+(0, vitest_1.describe)('differential-privacy / randomizedResponse', () => {
+    (0, vitest_1.it)('p = 3/4 da ε = ln(3)', () => {
+        const eps = (0, differential_privacy_1.randomizedResponseEpsilon)(0.75);
+        (0, vitest_1.expect)(Math.abs(eps - Math.log(3))).toBeLessThan(1e-9);
+    });
+    (0, vitest_1.it)('p = 2/3 da ε = ln(2)', () => {
+        const eps = (0, differential_privacy_1.randomizedResponseEpsilon)(2 / 3);
+        (0, vitest_1.expect)(Math.abs(eps - Math.log(2))).toBeLessThan(1e-9);
+    });
+    (0, vitest_1.it)('p alto preserva el bit con alta probabilidad', () => {
+        const r = rng();
+        const N = 5000;
+        let truths = 0;
+        for (let i = 0; i < N; i++) {
+            if ((0, differential_privacy_1.randomizedResponse)(true, 0.9, r) === true)
+                truths++;
+        }
+        // ≈ 0.9 ± 0.02
+        (0, vitest_1.expect)(truths / N).toBeGreaterThan(0.87);
+        (0, vitest_1.expect)(truths / N).toBeLessThan(0.93);
+    });
+    (0, vitest_1.it)('p en (0,1) requerido', () => {
+        (0, vitest_1.expect)(() => (0, differential_privacy_1.randomizedResponse)(true, 0)).toThrow();
+        (0, vitest_1.expect)(() => (0, differential_privacy_1.randomizedResponse)(true, 1)).toThrow();
+    });
+});
+// ------------------------------------------------------------
+// 4. Queries derivadas
+// ------------------------------------------------------------
+(0, vitest_1.describe)('differential-privacy / dpCount', () => {
+    (0, vitest_1.it)('|dp − true| acotado loose por ε⁻¹·log(1/β)', () => {
+        const r = rng();
+        const values = Array.from({ length: 1000 }, (_, i) => i);
+        const trueCount = values.filter((v) => v % 2 === 0).length;
+        const epsilon = 0.5;
+        const N = 200;
+        let maxDiff = 0;
+        for (let i = 0; i < N; i++) {
+            const got = (0, differential_privacy_1.dpCount)(values, (v) => v % 2 === 0, epsilon, r);
+            const diff = Math.abs(got - trueCount);
+            if (diff > maxDiff)
+                maxDiff = diff;
+        }
+        // Cota loose: con prob ≥ 1 − β, |Lap(1/ε)| ≤ (1/ε) ln(1/β).
+        // Para β = 1/200, ln(200)/0.5 ≈ 10.6; permitimos margen 4x por finitud.
+        (0, vitest_1.expect)(maxDiff).toBeLessThan(50);
+    });
+    (0, vitest_1.it)('siempre devuelve un entero no negativo', () => {
+        const r = rng();
+        const values = [1, 2, 3];
+        for (let i = 0; i < 50; i++) {
+            const got = (0, differential_privacy_1.dpCount)(values, () => false, 0.1, r);
+            (0, vitest_1.expect)(Number.isInteger(got)).toBe(true);
+            (0, vitest_1.expect)(got).toBeGreaterThanOrEqual(0);
+        }
+    });
+});
+(0, vitest_1.describe)('differential-privacy / dpMean', () => {
+    (0, vitest_1.it)('dpMean ≈ true mean para datasets grandes', () => {
+        const r = rng();
+        const n = 1000;
+        const values = Array.from({ length: n }, (_, i) => (i % 100) / 100);
+        const trueMean = empiricalMean(values);
+        const N = 200;
+        const dpMeans = [];
+        for (let i = 0; i < N; i++) {
+            dpMeans.push((0, differential_privacy_1.dpMean)(values, [0, 1], 1, r));
+        }
+        const empirical = empiricalMean(dpMeans);
+        // sensibilidad = 1/n ⇒ ruido pequeño; promedio de N corridas debería ser muy cercano.
+        (0, vitest_1.expect)(Math.abs(empirical - trueMean)).toBeLessThan(0.01);
+    });
+    (0, vitest_1.it)('clipea valores fuera de rango', () => {
+        const r = rng();
+        // Todos valores muy fuera de rango altos ⇒ media DP cerca de 1.
+        const values = [100, 100, 100, 100, 100];
+        const got = (0, differential_privacy_1.dpMean)(values, [0, 1], 100, r);
+        (0, vitest_1.expect)(Math.abs(got - 1)).toBeLessThan(0.5);
+    });
+    (0, vitest_1.it)('rechaza rango inválido', () => {
+        (0, vitest_1.expect)(() => (0, differential_privacy_1.dpMean)([1], [1, 0], 1)).toThrow();
+    });
+    (0, vitest_1.it)('rechaza values vacío', () => {
+        (0, vitest_1.expect)(() => (0, differential_privacy_1.dpMean)([], [0, 1], 1)).toThrow();
+    });
+});
+(0, vitest_1.describe)('differential-privacy / dpHistogram', () => {
+    (0, vitest_1.it)('preserva categorías y bins suman ≈ N (loose)', () => {
+        const r = rng();
+        const categories = ['a', 'b', 'c'];
+        const values = ['a', 'a', 'b', 'b', 'b', 'c', 'a', 'b', 'c', 'a'];
+        const hist = (0, differential_privacy_1.dpHistogram)(values, categories, 1, r);
+        (0, vitest_1.expect)(hist.size).toBe(3);
+        let sum = 0;
+        for (const v of hist.values())
+            sum += v;
+        // Ruido Laplace mediano puede mover ±5 por bin; sum ∈ [N − 15, N + 15].
+        (0, vitest_1.expect)(Math.abs(sum - values.length)).toBeLessThan(15);
+    });
+});
+// ------------------------------------------------------------
+// 5. Composición
+// ------------------------------------------------------------
+(0, vitest_1.describe)('differential-privacy / basicComposition', () => {
+    (0, vitest_1.it)('ε_total = Σ ε_i, δ_total = Σ δ_i', () => {
+        const ms = [
+            { epsilon: 0.5, delta: 1e-6 },
+            { epsilon: 0.3, delta: 1e-6 },
+            { epsilon: 0.2, delta: 0 },
+        ];
+        const r = (0, differential_privacy_1.basicComposition)(ms);
+        (0, vitest_1.expect)(Math.abs(r.epsilon - 1.0)).toBeLessThan(1e-12);
+        (0, vitest_1.expect)(Math.abs(r.delta - 2e-6)).toBeLessThan(1e-15);
+    });
+    (0, vitest_1.it)('vacío ⇒ (0, 0)', () => {
+        const r = (0, differential_privacy_1.basicComposition)([]);
+        (0, vitest_1.expect)(r.epsilon).toBe(0);
+        (0, vitest_1.expect)(r.delta).toBe(0);
+    });
+});
+(0, vitest_1.describe)('differential-privacy / advancedComposition', () => {
+    (0, vitest_1.it)('para k grande mejora sobre suma cuando ε pequeño', () => {
+        // k = 100 mecanismos cada uno ε = 0.05, δ = 0.
+        const k = 100;
+        const eps = 0.05;
+        const ms = Array.from({ length: k }, () => ({ epsilon: eps, delta: 0 }));
+        const deltaTotal = 1e-5;
+        const advanced = (0, differential_privacy_1.advancedComposition)(ms, deltaTotal);
+        const basic = (0, differential_privacy_1.basicComposition)(ms);
+        // Para k grande y ε pequeño, advanced << basic.
+        (0, vitest_1.expect)(advanced.epsilon).toBeLessThan(basic.epsilon);
+        // El delta total incluye el slack.
+        (0, vitest_1.expect)(advanced.delta).toBeCloseTo(deltaTotal, 10);
+    });
+    (0, vitest_1.it)('coincide con la fórmula Dwork-Rothblum-Vadhan', () => {
+        const k = 50;
+        const eps = 0.1;
+        const ms = Array.from({ length: k }, () => ({ epsilon: eps, delta: 0 }));
+        const deltaTotal = 1e-4;
+        const r = (0, differential_privacy_1.advancedComposition)(ms, deltaTotal);
+        const expected = Math.sqrt(2 * k * Math.log(1 / deltaTotal)) * eps + k * eps * (Math.exp(eps) - 1);
+        (0, vitest_1.expect)(Math.abs(r.epsilon - expected)).toBeLessThan(1e-9);
+    });
+    (0, vitest_1.it)('vacío ⇒ (0, deltaTotal)', () => {
+        const r = (0, differential_privacy_1.advancedComposition)([], 1e-5);
+        (0, vitest_1.expect)(r.epsilon).toBe(0);
+        (0, vitest_1.expect)(r.delta).toBe(1e-5);
+    });
+    (0, vitest_1.it)('rechaza deltaTotal = 0', () => {
+        (0, vitest_1.expect)(() => (0, differential_privacy_1.advancedComposition)([{ epsilon: 1, delta: 0 }], 0)).toThrow();
+    });
+});
+(0, vitest_1.describe)('differential-privacy / parallelComposition', () => {
+    (0, vitest_1.it)('ε y δ son el máximo (no la suma)', () => {
+        const ms = [
+            { epsilon: 0.5, delta: 1e-6 },
+            { epsilon: 1.2, delta: 0 },
+            { epsilon: 0.7, delta: 2e-7 },
+        ];
+        const r = (0, differential_privacy_1.parallelComposition)(ms);
+        (0, vitest_1.expect)(r.epsilon).toBe(1.2);
+        (0, vitest_1.expect)(r.delta).toBe(1e-6);
+    });
+});
+// ------------------------------------------------------------
+// 6. Sensitivity calculators
+// ------------------------------------------------------------
+(0, vitest_1.describe)('differential-privacy / globalSensitivityL1', () => {
+    (0, vitest_1.it)('para count, sensibilidad = 1', () => {
+        const fn = (d) => d.length;
+        const s = (0, differential_privacy_1.globalSensitivityL1)(fn, [
+            [
+                [1, 2, 3],
+                [1, 2],
+            ],
+            [
+                [1, 2, 3],
+                [1, 2, 3, 4],
+            ],
+        ]);
+        (0, vitest_1.expect)(s).toBe(1);
+    });
+    (0, vitest_1.it)('para suma con rango fijo, sensibilidad = rango', () => {
+        const fn = (d) => d.reduce((s, x) => s + x, 0);
+        const s = (0, differential_privacy_1.globalSensitivityL1)(fn, [
+            [
+                [1, 2, 3],
+                [1, 2, 3, 10],
+            ],
+            [
+                [5, 5],
+                [5, 5, 7],
+            ],
+        ]);
+        (0, vitest_1.expect)(s).toBe(10);
+    });
+    (0, vitest_1.it)('sin vecinos ⇒ 0', () => {
+        (0, vitest_1.expect)((0, differential_privacy_1.globalSensitivityL1)((d) => d.length, [])).toBe(0);
+    });
+});
+(0, vitest_1.describe)('differential-privacy / smoothSensitivity', () => {
+    (0, vitest_1.it)('decae exponencialmente con k', () => {
+        const data = [1, 2, 3, 4, 5];
+        const fn = (d) => d.reduce((s, x) => s + x, 0) / d.length;
+        const sLow = (0, differential_privacy_1.smoothSensitivity)(fn, data, 0.1);
+        const sHigh = (0, differential_privacy_1.smoothSensitivity)(fn, data, 2.0);
+        // β alto castiga más rápido la distancia ⇒ menor (o igual) sensibilidad suave.
+        (0, vitest_1.expect)(sHigh).toBeLessThanOrEqual(sLow);
+    });
+    (0, vitest_1.it)('data vacío ⇒ 0', () => {
+        (0, vitest_1.expect)((0, differential_privacy_1.smoothSensitivity)(() => 0, [], 0.1)).toBe(0);
+    });
+    (0, vitest_1.it)('rechaza beta ≤ 0', () => {
+        (0, vitest_1.expect)(() => (0, differential_privacy_1.smoothSensitivity)(() => 0, [1, 2], 0)).toThrow();
+        (0, vitest_1.expect)(() => (0, differential_privacy_1.smoothSensitivity)(() => 0, [1, 2], -1)).toThrow();
+    });
+});
+// ------------------------------------------------------------
+// 7. Determinismo del PRNG
+// ------------------------------------------------------------
+(0, vitest_1.describe)('differential-privacy / determinismo con seed', () => {
+    (0, vitest_1.it)('mismo seed ⇒ misma secuencia Laplace', () => {
+        const r1 = (0, differential_privacy_1.makeDPRng)(123);
+        const r2 = (0, differential_privacy_1.makeDPRng)(123);
+        for (let i = 0; i < 10; i++) {
+            (0, vitest_1.expect)(r1.laplace(1)).toBe(r2.laplace(1));
+        }
+    });
+    (0, vitest_1.it)('mismo seed ⇒ misma secuencia Gaussian', () => {
+        const r1 = (0, differential_privacy_1.makeDPRng)(7);
+        const r2 = (0, differential_privacy_1.makeDPRng)(7);
+        for (let i = 0; i < 10; i++) {
+            (0, vitest_1.expect)(r1.gaussian(0, 1)).toBe(r2.gaussian(0, 1));
+        }
+    });
+    (0, vitest_1.it)('seeds distintos ⇒ secuencias distintas', () => {
+        const r1 = (0, differential_privacy_1.makeDPRng)(1);
+        const r2 = (0, differential_privacy_1.makeDPRng)(2);
+        (0, vitest_1.expect)(r1.uniform()).not.toBe(r2.uniform());
+    });
+    (0, vitest_1.it)('exponentialMechanism es determinista con seed fijo', () => {
+        const items = ['a', 'b', 'c'];
+        const score = (x) => ({ a: 0, b: 1, c: 2 })[x] ?? 0;
+        const r1 = (0, differential_privacy_1.makeDPRng)(99);
+        const r2 = (0, differential_privacy_1.makeDPRng)(99);
+        const a = [];
+        const b = [];
+        for (let i = 0; i < 20; i++) {
+            a.push((0, differential_privacy_1.exponentialMechanism)(items, score, 1, 1, r1));
+            b.push((0, differential_privacy_1.exponentialMechanism)(items, score, 1, 1, r2));
+        }
+        (0, vitest_1.expect)(a).toEqual(b);
+    });
+});
+//# sourceMappingURL=differential-privacy.test.js.map

package/dist/tests/reasoning/differential-privacy/differential-privacy.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"differential-privacy.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/differential-privacy/differential-privacy.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,kFAiBiD;AAEjD,+DAA+D;AAC/D,WAAW;AACX,+DAA+D;AAE/D,MAAM,IAAI,GAAG,EAAE,CAAC;AAEhB,SAAS,GAAG;IACV,OAAO,IAAA,gCAAS,EAAC,IAAI,CAAC,CAAC;AACzB,CAAC;AAED,kDAAkD;AAClD,SAAS,aAAa,CAAC,OAAiB;IACtC,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,CAAC,IAAI,CAAC,CAAC;IAChC,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC;AAC5B,CAAC;AAED,SAAS,YAAY,CAAC,OAAiB;IACrC,MAAM,EAAE,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IAClC,IAAI,CAAC,GAAG,CAAC,CAAC;IACV,KAAK,MAAM,CAAC,IAAI,OAAO;QAAE,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;IAC5C,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC;AAC5B,CAAC;AAED,+DAA+D;AAC/D,yBAAyB;AACzB,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,GAAG,GAAG,EAAE,CAAC;QAChB,MAAM,CAAC,GAAG,KAAK,CAAC;QAChB,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,OAAO,CAAC,IAAI,CAAC,IAAA,mCAAY,EAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5C,CAAC;QACD,MAAM,IAAI,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;QACpC,mEAAmE;QACnE,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,GAAG,EAAE,CAAC;QAChB,MAAM,CAAC,GAAG,KAAK,CAAC;QAChB,MAAM,WAAW,GAAG,CAAC,CAAC;QACtB,MAAM,OAAO,GAAG,CAAC,CAAC;QAClB,MAAM,CAAC,GAAG,WAAW,GAAG,OAAO,CAAC;QAChC,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,OAAO,CAAC,IAAI,CAAC,IAAA,mCAAY,EAAC,CAAC,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;QACzD,CAAC;QACD,MAAM,QAAQ,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QACvC,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,GAAG,QAAQ,CAAC,GAAG,QAAQ,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,GAAG,EAAE,CAAC;QAChB,IAAA,eAAM,EAAC,IAAA,mCAAY,EAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,mCAAY,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAC9C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,mCAAY,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,GAAG,GAAG,EAAE,CAAC;QAChB,MAAM,CAAC,GAAG,KAAK,CAAC;QAChB,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,OAAO,CAAC,IAAI,CAAC,IAAA,oCAAa,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QAChD,CAAC;QACD,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,GAAG,EAAE,CAAC;QAChB,MAAM,CAAC,GAAG,KAAK,CAAC;QAChB,MAAM,WAAW,GAAG,CAAC,CAAC;QACtB,MAAM,OAAO,GAAG,GAAG,CAAC;QACpB,MAAM,KAAK,GAAG,IAAI,CAAC;QACnB,MAAM,KAAK,GAAG,CAAC,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC;QAC9E,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,OAAO,CAAC,IAAI,CAAC,IAAA,oCAAa,EAAC,CAAC,EAAE,WAAW,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;QACjE,CAAC;QACD,MAAM,QAAQ,GAAG,YAAY,CAAC,OAAO,CAAC,CAAC;QACvC,MAAM,QAAQ,GAAG,KAAK,GAAG,KAAK,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,GAAG,QAAQ,CAAC,GAAG,QAAQ,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,oCAAa,EAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,2BAA2B;AAC3B,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,GAAG,EAAE,CAAC;QAChB,MAAM,KAAK,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QACrC,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC;YACvB,CAAC,KAAK,EAAE,CAAC,CAAC;YACV,CAAC,KAAK,EAAE,CAAC,CAAC;YACV,CAAC,MAAM,EAAE,CAAC,CAAC;SACZ,CAAC,CAAC;QACH,MAAM,KAAK,GAAG,CAAC,EAAU,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QACpD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;QACzC,KAAK,MAAM,EAAE,IAAI,KAAK;YAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC1C,MAAM,CAAC,GAAG,IAAI,CAAC;QACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,MAAM,IAAI,GAAG,IAAA,2CAAoB,EAAC,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YACzD,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAChD,CAAC;QACD,uBAAuB;QACvB,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAE,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAE,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAE,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAE,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,KAAK,GAAG;YACZ,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE;YACjB,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE;YAClB,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE;SAClB,CAAC;QACF,MAAM,IAAI,GAAG,IAAA,2CAAoB,EAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,2CAAoB,EAAS,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC1E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,yBAAyB;AACzB,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,GAAG,GAAG,IAAA,gDAAyB,EAAC,IAAI,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,GAAG,GAAG,IAAA,gDAAyB,EAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,GAAG,EAAE,CAAC;QAChB,MAAM,CAAC,GAAG,IAAI,CAAC;QACf,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,IAAI,IAAA,yCAAkB,EAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,KAAK,IAAI;gBAAE,MAAM,EAAE,CAAC;QAC1D,CAAC;QACD,eAAe;QACf,IAAA,eAAM,EAAC,MAAM,GAAG,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,MAAM,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,yCAAkB,EAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QACpD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,yCAAkB,EAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,uBAAuB;AACvB,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,GAAG,EAAE,CAAC;QAChB,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QACzD,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;QAC3D,MAAM,OAAO,GAAG,GAAG,CAAC;QACpB,MAAM,CAAC,GAAG,GAAG,CAAC;QACd,IAAI,OAAO,GAAG,CAAC,CAAC;QAChB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,MAAM,GAAG,GAAG,IAAA,8BAAO,EAAC,MAAM,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;YAC5D,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,SAAS,CAAC,CAAC;YACvC,IAAI,IAAI,GAAG,OAAO;gBAAE,OAAO,GAAG,IAAI,CAAC;QACrC,CAAC;QACD,4DAA4D;QAC5D,wEAAwE;QACxE,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,GAAG,GAAG,EAAE,CAAC;QAChB,MAAM,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,MAAM,GAAG,GAAG,IAAA,8BAAO,EAAC,MAAM,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;YACjD,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACxC,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,GAAG,EAAE,CAAC;QAChB,MAAM,CAAC,GAAG,IAAI,CAAC;QACf,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC;QACpE,MAAM,QAAQ,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,GAAG,CAAC;QACd,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,OAAO,CAAC,IAAI,CAAC,IAAA,6BAAM,EAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7C,CAAC;QACD,MAAM,SAAS,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;QACzC,sFAAsF;QACtF,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,SAAS,GAAG,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,GAAG,EAAE,CAAC;QAChB,gEAAgE;QAChE,MAAM,MAAM,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACzC,MAAM,GAAG,GAAG,IAAA,6BAAM,EAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,6BAAM,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,6BAAM,EAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,GAAG,EAAE,CAAC;QAChB,MAAM,UAAU,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,MAAM,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAClE,MAAM,IAAI,GAAG,IAAA,kCAAW,EAAC,MAAM,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE;YAAE,GAAG,IAAI,CAAC,CAAC;QACxC,wEAAwE;QACxE,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,iBAAiB;AACjB,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,EAAE,GAAoB;YAC1B,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE;YAC7B,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE;YAC7B,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE;SAC3B,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,uCAAgB,EAAC,EAAE,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,GAAG,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,CAAC,GAAG,IAAA,uCAAgB,EAAC,EAAE,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,+CAA+C;QAC/C,MAAM,CAAC,GAAG,GAAG,CAAC;QACd,MAAM,GAAG,GAAG,IAAI,CAAC;QACjB,MAAM,EAAE,GAAoB,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1F,MAAM,UAAU,GAAG,IAAI,CAAC;QACxB,MAAM,QAAQ,GAAG,IAAA,0CAAmB,EAAC,EAAE,EAAE,UAAU,CAAC,CAAC;QACrD,MAAM,KAAK,GAAG,IAAA,uCAAgB,EAAC,EAAE,CAAC,CAAC;QACnC,gDAAgD;QAChD,IAAA,eAAM,EAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACrD,mCAAmC;QACnC,IAAA,eAAM,EAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,WAAW,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,EAAE,CAAC;QACb,MAAM,GAAG,GAAG,GAAG,CAAC;QAChB,MAAM,EAAE,GAAoB,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1F,MAAM,UAAU,GAAG,IAAI,CAAC;QACxB,MAAM,CAAC,GAAG,IAAA,0CAAmB,EAAC,EAAE,EAAE,UAAU,CAAC,CAAC;QAC9C,MAAM,QAAQ,GACZ,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QACpF,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,GAAG,IAAA,0CAAmB,EAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,0CAAmB,EAAC,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC7E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,EAAE,GAAoB;YAC1B,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE;YAC7B,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE;YAC1B,EAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE;SAC9B,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,0CAAmB,EAAC,EAAE,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,6BAA6B;AAC7B,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,EAAE,GAAG,CAAC,CAAW,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC;QACrC,MAAM,CAAC,GAAG,IAAA,0CAAmB,EAAC,EAAE,EAAE;YAChC;gBACE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;gBACT,CAAC,CAAC,EAAE,CAAC,CAAC;aACP;YACD;gBACE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;gBACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;aACb;SACF,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,EAAE,GAAG,CAAC,CAAW,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QACzD,MAAM,CAAC,GAAG,IAAA,0CAAmB,EAAC,EAAE,EAAE;YAChC;gBACE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;gBACT,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;aACd;YACD;gBACE,CAAC,CAAC,EAAE,CAAC,CAAC;gBACN,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;aACV;SACF,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,IAAA,eAAM,EAAC,IAAA,0CAAmB,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,EAAE,GAAG,CAAC,CAAW,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;QACpE,MAAM,IAAI,GAAG,IAAA,wCAAiB,EAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAC9C,MAAM,KAAK,GAAG,IAAA,wCAAiB,EAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAC/C,+EAA+E;QAC/E,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,IAAA,eAAM,EAAC,IAAA,wCAAiB,EAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,wCAAiB,EAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAC9D,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,wCAAiB,EAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACjE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,+DAA+D;AAC/D,2BAA2B;AAC3B,+DAA+D;AAE/D,IAAA,iBAAQ,EAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,EAAE,GAAG,IAAA,gCAAS,EAAC,GAAG,CAAC,CAAC;QAC1B,MAAM,EAAE,GAAG,IAAA,gCAAS,EAAC,GAAG,CAAC,CAAC;QAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,IAAA,eAAM,EAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,EAAE,GAAG,IAAA,gCAAS,EAAC,CAAC,CAAC,CAAC;QACxB,MAAM,EAAE,GAAG,IAAA,gCAAS,EAAC,CAAC,CAAC,CAAC;QACxB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,IAAA,eAAM,EAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,EAAE,GAAG,IAAA,gCAAS,EAAC,CAAC,CAAC,CAAC;QACxB,MAAM,EAAE,GAAG,IAAA,gCAAS,EAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,KAAK,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC9B,MAAM,KAAK,GAAG,CAAC,CAAS,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC5D,MAAM,EAAE,GAAG,IAAA,gCAAS,EAAC,EAAE,CAAC,CAAC;QACzB,MAAM,EAAE,GAAG,IAAA,gCAAS,EAAC,EAAE,CAAC,CAAC;QACzB,MAAM,CAAC,GAAa,EAAE,CAAC;QACvB,MAAM,CAAC,GAAa,EAAE,CAAC;QACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,CAAC,CAAC,IAAI,CAAC,IAAA,2CAAoB,EAAC,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;YACrD,CAAC,CAAC,IAAI,CAAC,IAAA,2CAAoB,EAAC,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QACvD,CAAC;QACD,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACvB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

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

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

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

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

@@ -0,0 +1,170 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const number_theory_1 = require("../../../reasoning/number-theory");
+(0, vitest_1.describe)('Number Theory — primitivas', () => {
+    (0, vitest_1.it)('gcd(48, 36) = 12 y gcd con negativos toma valor absoluto', () => {
+        (0, vitest_1.expect)((0, number_theory_1.gcd)(48n, 36n)).toBe(12n);
+        (0, vitest_1.expect)((0, number_theory_1.gcd)(-48n, 36n)).toBe(12n);
+        (0, vitest_1.expect)((0, number_theory_1.gcd)(0n, 7n)).toBe(7n);
+        (0, vitest_1.expect)((0, number_theory_1.gcd)(0n, 0n)).toBe(0n);
+    });
+    (0, vitest_1.it)('lcm(4, 6) = 12; lcm(0, k) = 0', () => {
+        (0, vitest_1.expect)((0, number_theory_1.lcm)(4n, 6n)).toBe(12n);
+        (0, vitest_1.expect)((0, number_theory_1.lcm)(0n, 9n)).toBe(0n);
+        (0, vitest_1.expect)((0, number_theory_1.lcm)(21n, 6n)).toBe(42n);
+    });
+    (0, vitest_1.it)('extendedGcd(35, 15) cumple a·x + b·y = gcd', () => {
+        const { gcd: g, x, y } = (0, number_theory_1.extendedGcd)(35n, 15n);
+        (0, vitest_1.expect)(g).toBe(5n);
+        (0, vitest_1.expect)(35n * x + 15n * y).toBe(g);
+    });
+    (0, vitest_1.it)('extendedGcd con coprimos: 17·x + 5·y = 1', () => {
+        const { gcd: g, x, y } = (0, number_theory_1.extendedGcd)(17n, 5n);
+        (0, vitest_1.expect)(g).toBe(1n);
+        (0, vitest_1.expect)(17n * x + 5n * y).toBe(1n);
+    });
+    (0, vitest_1.it)('modPow(2, 10, 1000) = 24', () => {
+        (0, vitest_1.expect)((0, number_theory_1.modPow)(2n, 10n, 1000n)).toBe(24n);
+    });
+    (0, vitest_1.it)('modPow respeta exponente grande (Fermat para p=13)', () => {
+        // Por Fermat pequeño: a^(p-1) ≡ 1 (mod p) si gcd(a,p)=1.
+        (0, vitest_1.expect)((0, number_theory_1.modPow)(7n, 12n, 13n)).toBe(1n);
+    });
+    (0, vitest_1.it)('modInverse(3, 11) = 4 (3·4 ≡ 1 mod 11)', () => {
+        const inv = (0, number_theory_1.modInverse)(3n, 11n);
+        (0, vitest_1.expect)(inv).toBe(4n);
+        (0, vitest_1.expect)((3n * 4n) % 11n).toBe(1n);
+    });
+    (0, vitest_1.it)('modInverse no existe cuando gcd(a, m) > 1', () => {
+        (0, vitest_1.expect)((0, number_theory_1.modInverse)(6n, 9n)).toBeNull();
+    });
+    (0, vitest_1.it)('modSolve: 14·x ≡ 30 (mod 100) → x = 95 (mínima no-negativa mod 50)', () => {
+        const x = (0, number_theory_1.modSolve)(14n, 30n, 100n);
+        // gcd(14, 100) = 2, 30/2=15, 14/2=7, 100/2=50; 7^-1 mod 50 = 43
+        // x ≡ 15·43 ≡ 645 ≡ 45 (mod 50). La menor no-negativa < 50 es 45.
+        (0, vitest_1.expect)(x).toBe(45n);
+        (0, vitest_1.expect)(x !== null && (14n * x) % 100n).toBe(30n);
+    });
+    (0, vitest_1.it)('CRT: x ≡ 3 mod 5, x ≡ 5 mod 7 → x = 33 mod 35', () => {
+        // El prompt original decía 26, pero 26%5=1≠3. La solución correcta
+        // es 33: 33%5=3 y 33%7=5. (Verificación independiente.)
+        const r = (0, number_theory_1.crt)([
+            { remainder: 3n, modulus: 5n },
+            { remainder: 5n, modulus: 7n },
+        ]);
+        (0, vitest_1.expect)(r).not.toBeNull();
+        (0, vitest_1.expect)(r.solution).toBe(33n);
+        (0, vitest_1.expect)(r.modulus).toBe(35n);
+        (0, vitest_1.expect)(r.solution % 5n).toBe(3n);
+        (0, vitest_1.expect)(r.solution % 7n).toBe(5n);
+    });
+    (0, vitest_1.it)('CRT con módulos no coprimos consistentes: x ≡ 2 mod 6 y x ≡ 8 mod 9 → 26 mod 18', () => {
+        const r = (0, number_theory_1.crt)([
+            { remainder: 2n, modulus: 6n },
+            { remainder: 8n, modulus: 9n },
+        ]);
+        // gcd(6,9)=3; 8 mod 3 = 2; 2 mod 3 = 2 — consistente.
+        // lcm = 18. Soluciones: x ≡ 8 (mod 18).
+        (0, vitest_1.expect)(r).not.toBeNull();
+        (0, vitest_1.expect)(r.modulus).toBe(18n);
+        (0, vitest_1.expect)(r.solution % 6n).toBe(2n);
+        (0, vitest_1.expect)(r.solution % 9n).toBe(8n);
+    });
+    (0, vitest_1.it)('CRT inconsistente devuelve null', () => {
+        const r = (0, number_theory_1.crt)([
+            { remainder: 1n, modulus: 4n },
+            { remainder: 2n, modulus: 6n },
+        ]);
+        // 1 mod 2 = 1; 2 mod 2 = 0 → incompatible.
+        (0, vitest_1.expect)(r).toBeNull();
+    });
+    (0, vitest_1.it)('isPrime(97) = true; isPrime(91) = false (7·13)', () => {
+        (0, vitest_1.expect)((0, number_theory_1.isPrime)(97n)).toBe(true);
+        (0, vitest_1.expect)((0, number_theory_1.isPrime)(91n)).toBe(false);
+        (0, vitest_1.expect)((0, number_theory_1.isPrime)(2n)).toBe(true);
+        (0, vitest_1.expect)((0, number_theory_1.isPrime)(1n)).toBe(false);
+        (0, vitest_1.expect)((0, number_theory_1.isPrime)(0n)).toBe(false);
+    });
+    (0, vitest_1.it)('millerRabin: Mersenne 2^17 - 1 = 131071 es primo', () => {
+        (0, vitest_1.expect)((0, number_theory_1.millerRabin)((1n << 17n) - 1n)).toBe(true);
+        // 2^11 - 1 = 2047 = 23·89, NO primo.
+        (0, vitest_1.expect)((0, number_theory_1.millerRabin)((1n << 11n) - 1n)).toBe(false);
+    });
+    (0, vitest_1.it)('nextPrime / previousPrime', () => {
+        (0, vitest_1.expect)((0, number_theory_1.nextPrime)(10n)).toBe(11n);
+        (0, vitest_1.expect)((0, number_theory_1.nextPrime)(13n)).toBe(17n);
+        (0, vitest_1.expect)((0, number_theory_1.previousPrime)(20n)).toBe(19n);
+        (0, vitest_1.expect)((0, number_theory_1.previousPrime)(3n)).toBe(2n);
+    });
+    (0, vitest_1.it)('primesBelow(20) = [2,3,5,7,11,13,17,19]', () => {
+        (0, vitest_1.expect)((0, number_theory_1.primesBelow)(20)).toEqual([2n, 3n, 5n, 7n, 11n, 13n, 17n, 19n]);
+        (0, vitest_1.expect)((0, number_theory_1.primesBelow)(2)).toEqual([]);
+        (0, vitest_1.expect)((0, number_theory_1.primesBelow)(3)).toEqual([2n]);
+    });
+    (0, vitest_1.it)('factorize(60) = [(2,2),(3,1),(5,1)]', () => {
+        (0, vitest_1.expect)((0, number_theory_1.factorize)(60n)).toEqual([
+            { prime: 2n, exponent: 2 },
+            { prime: 3n, exponent: 1 },
+            { prime: 5n, exponent: 1 },
+        ]);
+    });
+    (0, vitest_1.it)('factorize(1) = [] y factorize de primo grande', () => {
+        (0, vitest_1.expect)((0, number_theory_1.factorize)(1n)).toEqual([]);
+        (0, vitest_1.expect)((0, number_theory_1.factorize)(131071n)).toEqual([{ prime: 131071n, exponent: 1 }]);
+    });
+    (0, vitest_1.it)('factorize de semiprime grande (Pollard rho rama)', () => {
+        // 1009 · 1013 = 1022117 — fuerza la rama Pollard-rho.
+        const factors = (0, number_theory_1.factorize)(1009n * 1013n);
+        (0, vitest_1.expect)(factors).toEqual([
+            { prime: 1009n, exponent: 1 },
+            { prime: 1013n, exponent: 1 },
+        ]);
+    });
+    (0, vitest_1.it)('divisors(12) = [1,2,3,4,6,12]', () => {
+        (0, vitest_1.expect)((0, number_theory_1.divisors)(12n)).toEqual([1n, 2n, 3n, 4n, 6n, 12n]);
+        (0, vitest_1.expect)((0, number_theory_1.divisors)(1n)).toEqual([1n]);
+    });
+    (0, vitest_1.it)('eulerPhi(12) = 4, eulerPhi(p) = p-1', () => {
+        (0, vitest_1.expect)((0, number_theory_1.eulerPhi)(12n)).toBe(4n);
+        (0, vitest_1.expect)((0, number_theory_1.eulerPhi)(13n)).toBe(12n);
+        (0, vitest_1.expect)((0, number_theory_1.eulerPhi)(1n)).toBe(1n);
+        (0, vitest_1.expect)((0, number_theory_1.eulerPhi)(36n)).toBe(12n);
+    });
+    (0, vitest_1.it)('mobius: μ(30) = -1; μ(12) = 0; μ(1) = 1; μ(6) = 1', () => {
+        (0, vitest_1.expect)((0, number_theory_1.mobius)(30n)).toBe(-1);
+        (0, vitest_1.expect)((0, number_theory_1.mobius)(12n)).toBe(0);
+        (0, vitest_1.expect)((0, number_theory_1.mobius)(1n)).toBe(1);
+        (0, vitest_1.expect)((0, number_theory_1.mobius)(6n)).toBe(1);
+    });
+    (0, vitest_1.it)('linearDiophantine: 35x + 15y = 5 tiene solución', () => {
+        const sol = (0, number_theory_1.linearDiophantine)(35n, 15n, 5n);
+        (0, vitest_1.expect)(sol).not.toBeNull();
+        (0, vitest_1.expect)(35n * sol.x + 15n * sol.y).toBe(5n);
+        // 35x + 15y = 4 NO tiene solución (gcd=5 no divide 4).
+        (0, vitest_1.expect)((0, number_theory_1.linearDiophantine)(35n, 15n, 4n)).toBeNull();
+    });
+    (0, vitest_1.it)('Continued fraction roundtrip: 415/93 = [4;2,6,7]', () => {
+        const cf = (0, number_theory_1.continuedFractionExpansion)(415n, 93n);
+        (0, vitest_1.expect)(cf).toEqual([4n, 2n, 6n, 7n]);
+        const { num, den } = (0, number_theory_1.fromContinuedFraction)(cf);
+        (0, vitest_1.expect)(num).toBe(415n);
+        (0, vitest_1.expect)(den).toBe(93n);
+    });
+    (0, vitest_1.it)('legendreSymbol(2, 7) = 1; legendreSymbol(3, 7) = -1', () => {
+        (0, vitest_1.expect)((0, number_theory_1.legendreSymbol)(2n, 7n)).toBe(1);
+        (0, vitest_1.expect)((0, number_theory_1.legendreSymbol)(3n, 7n)).toBe(-1);
+        (0, vitest_1.expect)((0, number_theory_1.legendreSymbol)(7n, 7n)).toBe(0);
+    });
+    (0, vitest_1.it)('jacobiSymbol(1001, 9907) computa correctamente', () => {
+        // 9907 es primo, así que jacobi == legendre.
+        // Para chequear consistencia: jacobi(a, n)·jacobi(a, n) ∈ {0, 1}.
+        const j = (0, number_theory_1.jacobiSymbol)(1001n, 9907n);
+        (0, vitest_1.expect)([-1, 0, 1]).toContain(j);
+        // Caso conocido: jacobi(2, 15) = 1 (porque 15 ≡ 7 mod 8).
+        (0, vitest_1.expect)((0, number_theory_1.jacobiSymbol)(2n, 15n)).toBe(1);
+        // Caso conocido: jacobi(2, 9) = 1 (9 ≡ 1 mod 8).
+        (0, vitest_1.expect)((0, number_theory_1.jacobiSymbol)(2n, 9n)).toBe(1);
+    });
+});
+//# sourceMappingURL=number-theory.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"number-theory.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/number-theory/number-theory.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,oEAsB0C;AAE1C,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,IAAA,eAAM,EAAC,IAAA,mBAAG,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,mBAAG,EAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,mBAAG,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,mBAAG,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,IAAA,eAAM,EAAC,IAAA,mBAAG,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,mBAAG,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,mBAAG,EAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,IAAA,2BAAW,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnB,IAAA,eAAM,EAAC,GAAG,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,IAAA,2BAAW,EAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnB,IAAA,eAAM,EAAC,GAAG,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,EAAE,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,yDAAyD;QACzD,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,GAAG,GAAG,IAAA,0BAAU,EAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,IAAA,eAAM,EAAC,IAAA,0BAAU,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,CAAC,GAAG,IAAA,wBAAQ,EAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QACnC,gEAAgE;QAChE,kEAAkE;QAClE,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,IAAA,eAAM,EAAC,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,mEAAmE;QACnE,wDAAwD;QACxD,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC;YACZ,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE;YAC9B,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE;SAC/B,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,CAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,CAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,CAAE,CAAC,QAAQ,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,CAAE,CAAC,QAAQ,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iFAAiF,EAAE,GAAG,EAAE;QACzF,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC;YACZ,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE;YAC9B,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE;SAC/B,CAAC,CAAC;QACH,sDAAsD;QACtD,wCAAwC;QACxC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,CAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,CAAE,CAAC,QAAQ,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,CAAE,CAAC,QAAQ,GAAG,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC;YACZ,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE;YAC9B,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE;SAC/B,CAAC,CAAC;QACH,2CAA2C;QAC3C,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,IAAA,eAAM,EAAC,IAAA,uBAAO,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,uBAAO,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,uBAAO,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,uBAAO,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,uBAAO,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,IAAA,eAAM,EAAC,IAAA,2BAAW,EAAC,CAAC,EAAE,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,qCAAqC;QACrC,IAAA,eAAM,EAAC,IAAA,2BAAW,EAAC,CAAC,EAAE,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,IAAA,eAAM,EAAC,IAAA,yBAAS,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,yBAAS,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,6BAAa,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAA,6BAAa,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,IAAA,eAAM,EAAC,IAAA,2BAAW,EAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,IAAA,2BAAW,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,2BAAW,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,IAAA,eAAM,EAAC,IAAA,yBAAS,EAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC;YAC7B,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE;YAC1B,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE;YAC1B,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE;SAC3B,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,IAAA,eAAM,EAAC,IAAA,yBAAS,EAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAA,yBAAS,EAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,sDAAsD;QACtD,MAAM,OAAO,GAAG,IAAA,yBAAS,EAAC,KAAK,GAAG,KAAK,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,OAAO,CAAC;YACtB,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE;YAC7B,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,EAAE;SAC9B,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,GAAG,GAAG,IAAA,iCAAiB,EAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC3B,IAAA,eAAM,EAAC,GAAG,GAAG,GAAI,CAAC,CAAC,GAAG,GAAG,GAAG,GAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7C,uDAAuD;QACvD,IAAA,eAAM,EAAC,IAAA,iCAAiB,EAAC,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,EAAE,GAAG,IAAA,0CAA0B,EAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QACrC,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,IAAA,qCAAqB,EAAC,EAAE,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACxB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,IAAA,eAAM,EAAC,IAAA,8BAAc,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,8BAAc,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,8BAAc,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,6CAA6C;QAC7C,kEAAkE;QAClE,MAAM,CAAC,GAAG,IAAA,4BAAY,EAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAChC,0DAA0D;QAC1D,IAAA,eAAM,EAAC,IAAA,4BAAY,EAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,iDAAiD;QACjD,IAAA,eAAM,EAAC,IAAA,4BAAY,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/reasoning/real-analysis/real-analysis.test.d.ts

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

package/dist/tests/reasoning/real-analysis/real-analysis.test.d.ts.map

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