@stevenvo780/st-lang 4.1.0 → 4.3.0

package/dist/tests/bayesian/bayesian.test.js

@@ -0,0 +1,328 @@
+"use strict";
+// ============================================================
+// ST Bayesian Inference — Tests
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const bayesian_1 = require("../../runtime/bayesian");
+// ── Fixtures ─────────────────────────────────────────────────
+// Red clásica de Russell & Norvig (Burglary / Earthquake / Alarm /
+// JohnCalls / MaryCalls). Valores: "true" / "false".
+const burglaryNet = {
+    variables: [
+        { name: 'Burglary', values: ['true', 'false'] },
+        { name: 'Earthquake', values: ['true', 'false'] },
+        { name: 'Alarm', values: ['true', 'false'] },
+        { name: 'JohnCalls', values: ['true', 'false'] },
+        { name: 'MaryCalls', values: ['true', 'false'] },
+    ],
+    cpts: [
+        {
+            variable: 'Burglary',
+            parents: [],
+            entries: { '': { true: 0.001, false: 0.999 } },
+        },
+        {
+            variable: 'Earthquake',
+            parents: [],
+            entries: { '': { true: 0.002, false: 0.998 } },
+        },
+        {
+            variable: 'Alarm',
+            parents: ['Burglary', 'Earthquake'],
+            entries: {
+                'Burglary=true|Earthquake=true': { true: 0.95, false: 0.05 },
+                'Burglary=true|Earthquake=false': { true: 0.94, false: 0.06 },
+                'Burglary=false|Earthquake=true': { true: 0.29, false: 0.71 },
+                'Burglary=false|Earthquake=false': { true: 0.001, false: 0.999 },
+            },
+        },
+        {
+            variable: 'JohnCalls',
+            parents: ['Alarm'],
+            entries: {
+                'Alarm=true': { true: 0.9, false: 0.1 },
+                'Alarm=false': { true: 0.05, false: 0.95 },
+            },
+        },
+        {
+            variable: 'MaryCalls',
+            parents: ['Alarm'],
+            entries: {
+                'Alarm=true': { true: 0.7, false: 0.3 },
+                'Alarm=false': { true: 0.01, false: 0.99 },
+            },
+        },
+    ],
+};
+// Red simple cadena A → B → C (todas binarias).
+const chainNet = {
+    variables: [
+        { name: 'A', values: ['t', 'f'] },
+        { name: 'B', values: ['t', 'f'] },
+        { name: 'C', values: ['t', 'f'] },
+    ],
+    cpts: [
+        { variable: 'A', parents: [], entries: { '': { t: 0.7, f: 0.3 } } },
+        {
+            variable: 'B',
+            parents: ['A'],
+            entries: {
+                'A=t': { t: 0.8, f: 0.2 },
+                'A=f': { t: 0.1, f: 0.9 },
+            },
+        },
+        {
+            variable: 'C',
+            parents: ['B'],
+            entries: {
+                'B=t': { t: 0.9, f: 0.1 },
+                'B=f': { t: 0.2, f: 0.8 },
+            },
+        },
+    ],
+};
+// Red trinaria simple para test de dominios >2.
+const weatherNet = {
+    variables: [
+        { name: 'Weather', values: ['sunny', 'cloudy', 'rainy'] },
+        { name: 'Mood', values: ['happy', 'sad'] },
+    ],
+    cpts: [
+        {
+            variable: 'Weather',
+            parents: [],
+            entries: { '': { sunny: 0.5, cloudy: 0.3, rainy: 0.2 } },
+        },
+        {
+            variable: 'Mood',
+            parents: ['Weather'],
+            entries: {
+                'Weather=sunny': { happy: 0.9, sad: 0.1 },
+                'Weather=cloudy': { happy: 0.5, sad: 0.5 },
+                'Weather=rainy': { happy: 0.2, sad: 0.8 },
+            },
+        },
+    ],
+};
+// ── Helpers ──────────────────────────────────────────────────
+function close(a, b, eps = 1e-4) {
+    return Math.abs(a - b) < eps;
+}
+function bruteForceMarginal(net, queryVar, evidence = {}) {
+    // Enumera todas las asignaciones, suma joint, normaliza.
+    const out = {};
+    for (const v of net.variables.find((x) => x.name === queryVar).values) {
+        out[v] = 0;
+    }
+    const vars = net.variables.map((v) => v.name);
+    const doms = net.variables.map((v) => v.values);
+    function rec(i, acc) {
+        if (i === vars.length) {
+            for (const [k, val] of Object.entries(evidence)) {
+                if (acc[k] !== val)
+                    return;
+            }
+            const p = (0, bayesian_1.jointProbability)(net, acc);
+            out[acc[queryVar]] = (out[acc[queryVar]] ?? 0) + p;
+            return;
+        }
+        const vname = vars[i];
+        for (const val of doms[i]) {
+            acc[vname] = val;
+            rec(i + 1, acc);
+        }
+    }
+    rec(0, {});
+    const total = Object.values(out).reduce((a, b) => a + b, 0);
+    if (total > 0) {
+        for (const k of Object.keys(out))
+            out[k] = out[k] / total;
+    }
+    return out;
+}
+// ── Tests ────────────────────────────────────────────────────
+(0, vitest_1.describe)('bayesian — joint probability', () => {
+    (0, vitest_1.it)('jointProbability sobre asignación completa = producto de CPTs', () => {
+        // P(B=t, E=f, A=t, J=t, M=t) = 0.001 * 0.998 * 0.94 * 0.9 * 0.7
+        const p = (0, bayesian_1.jointProbability)(burglaryNet, {
+            Burglary: 'true',
+            Earthquake: 'false',
+            Alarm: 'true',
+            JohnCalls: 'true',
+            MaryCalls: 'true',
+        });
+        const expected = 0.001 * 0.998 * 0.94 * 0.9 * 0.7;
+        (0, vitest_1.expect)(close(p, expected, 1e-10)).toBe(true);
+    });
+    (0, vitest_1.it)('jointProbability suma 1 sobre todas las asignaciones', () => {
+        let total = 0;
+        const vals = ['t', 'f'];
+        for (const a of vals)
+            for (const b of vals)
+                for (const c of vals) {
+                    total += (0, bayesian_1.jointProbability)(chainNet, { A: a, B: b, C: c });
+                }
+        (0, vitest_1.expect)(close(total, 1, 1e-10)).toBe(true);
+    });
+    (0, vitest_1.it)('jointProbability falla con asignación incompleta', () => {
+        (0, vitest_1.expect)(() => (0, bayesian_1.jointProbability)(burglaryNet, { Burglary: 'true' })).toThrow(/incompleta/);
+    });
+    (0, vitest_1.it)('jointProbability falla con valor fuera de dominio', () => {
+        (0, vitest_1.expect)(() => (0, bayesian_1.jointProbability)(chainNet, { A: 't', B: 'x', C: 't' })).toThrow(/dominio/);
+    });
+});
+(0, vitest_1.describe)('bayesian — variable elimination', () => {
+    (0, vitest_1.it)('P(Burglary=true | JohnCalls=true, MaryCalls=true) ≈ 0.284', () => {
+        const post = (0, bayesian_1.query)(burglaryNet, 'Burglary', {
+            JohnCalls: 'true',
+            MaryCalls: 'true',
+        });
+        (0, vitest_1.expect)(post.variable).toBe('Burglary');
+        (0, vitest_1.expect)(close(post.distribution['true'], 0.2841, 5e-3)).toBe(true);
+        (0, vitest_1.expect)(close(post.distribution['true'] + post.distribution['false'], 1, 1e-9)).toBe(true);
+    });
+    (0, vitest_1.it)('P(Burglary) sin evidencia ≈ prior 0.001', () => {
+        const post = (0, bayesian_1.query)(burglaryNet, 'Burglary');
+        (0, vitest_1.expect)(close(post.distribution['true'], 0.001, 1e-9)).toBe(true);
+        (0, vitest_1.expect)(close(post.distribution['false'], 0.999, 1e-9)).toBe(true);
+    });
+    (0, vitest_1.it)('P(Alarm) sin evidencia: marginal sobre Burglary/Earthquake', () => {
+        const post = (0, bayesian_1.query)(burglaryNet, 'Alarm');
+        // P(A=t) = sum_B,E P(A=t|B,E) P(B) P(E)
+        const expectedT = 0.95 * 0.001 * 0.002 + 0.94 * 0.001 * 0.998 + 0.29 * 0.999 * 0.002 + 0.001 * 0.999 * 0.998;
+        (0, vitest_1.expect)(close(post.distribution['true'], expectedT, 1e-6)).toBe(true);
+    });
+    (0, vitest_1.it)('VE coincide con brute force (Burglary | JohnCalls=t)', () => {
+        const ve = (0, bayesian_1.query)(burglaryNet, 'Burglary', { JohnCalls: 'true' });
+        const bf = bruteForceMarginal(burglaryNet, 'Burglary', {
+            JohnCalls: 'true',
+        });
+        (0, vitest_1.expect)(close(ve.distribution['true'], bf['true'], 1e-6)).toBe(true);
+        (0, vitest_1.expect)(close(ve.distribution['false'], bf['false'], 1e-6)).toBe(true);
+    });
+    (0, vitest_1.it)('VE coincide con brute force (Alarm | MaryCalls=t)', () => {
+        const ve = (0, bayesian_1.query)(burglaryNet, 'Alarm', { MaryCalls: 'true' });
+        const bf = bruteForceMarginal(burglaryNet, 'Alarm', {
+            MaryCalls: 'true',
+        });
+        (0, vitest_1.expect)(close(ve.distribution['true'], bf['true'], 1e-6)).toBe(true);
+    });
+    (0, vitest_1.it)('cadena A→B→C: P(C=t) marginal', () => {
+        // P(C=t) = sum_B P(C=t|B) P(B) ; P(B=t)=0.7*0.8+0.3*0.1=0.59
+        // P(C=t)=0.9*0.59+0.2*0.41=0.613
+        const post = (0, bayesian_1.query)(chainNet, 'C');
+        (0, vitest_1.expect)(close(post.distribution['t'], 0.613, 1e-4)).toBe(true);
+    });
+    (0, vitest_1.it)('cadena: P(A | C=t) actualiza el prior', () => {
+        const post = (0, bayesian_1.query)(chainNet, 'A', { C: 't' });
+        const bf = bruteForceMarginal(chainNet, 'A', { C: 't' });
+        (0, vitest_1.expect)(close(post.distribution['t'], bf['t'], 1e-6)).toBe(true);
+        (0, vitest_1.expect)(post.distribution['t'] > 0.7).toBe(true); // C=t sube creencia en A=t
+    });
+    (0, vitest_1.it)('dominio ternario: P(Weather | Mood=happy)', () => {
+        const post = (0, bayesian_1.query)(weatherNet, 'Weather', { Mood: 'happy' });
+        const sum = post.distribution['sunny'] + post.distribution['cloudy'] + post.distribution['rainy'];
+        (0, vitest_1.expect)(close(sum, 1, 1e-9)).toBe(true);
+        (0, vitest_1.expect)(post.distribution['sunny'] > post.distribution['rainy']).toBe(true);
+        const bf = bruteForceMarginal(weatherNet, 'Weather', { Mood: 'happy' });
+        (0, vitest_1.expect)(close(post.distribution['sunny'], bf['sunny'], 1e-6)).toBe(true);
+        (0, vitest_1.expect)(close(post.distribution['rainy'], bf['rainy'], 1e-6)).toBe(true);
+    });
+    (0, vitest_1.it)('query observada devuelve distribución degenerada', () => {
+        const post = (0, bayesian_1.query)(burglaryNet, 'Burglary', { Burglary: 'true' });
+        (0, vitest_1.expect)(post.distribution['true']).toBe(1);
+        (0, vitest_1.expect)(post.distribution['false']).toBe(0);
+    });
+    (0, vitest_1.it)('evidencia con variable inexistente lanza error', () => {
+        (0, vitest_1.expect)(() => (0, bayesian_1.query)(chainNet, 'A', { ZZZ: 't' })).toThrow(/no existe/);
+    });
+    (0, vitest_1.it)('evidencia con valor fuera de dominio lanza error', () => {
+        (0, vitest_1.expect)(() => (0, bayesian_1.query)(chainNet, 'A', { B: 'maybe' })).toThrow(/dominio/);
+    });
+    (0, vitest_1.it)('query a variable inexistente lanza error', () => {
+        (0, vitest_1.expect)(() => (0, bayesian_1.query)(chainNet, 'ZZZ')).toThrow(/no existe/);
+    });
+    (0, vitest_1.it)('variableElimination es alias de query', () => {
+        const a = (0, bayesian_1.query)(chainNet, 'A', { C: 't' });
+        const b = (0, bayesian_1.variableElimination)(chainNet, 'A', { C: 't' });
+        (0, vitest_1.expect)(close(a.distribution['t'], b.distribution['t'], 1e-12)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('bayesian — most probable explanation', () => {
+    (0, vitest_1.it)('MPE devuelve asignación completa', () => {
+        const mpe = (0, bayesian_1.mostProbableExplanation)(burglaryNet);
+        (0, vitest_1.expect)(Object.keys(mpe).sort()).toEqual([
+            'Alarm',
+            'Burglary',
+            'Earthquake',
+            'JohnCalls',
+            'MaryCalls',
+        ]);
+    });
+    (0, vitest_1.it)('MPE sin evidencia maximiza joint (Burglary network)', () => {
+        const mpe = (0, bayesian_1.mostProbableExplanation)(burglaryNet);
+        const pMpe = (0, bayesian_1.jointProbability)(burglaryNet, mpe);
+        // Verificar contra enumeración: no debe haber asignación con joint > pMpe.
+        const vars = burglaryNet.variables.map((v) => v.name);
+        const doms = burglaryNet.variables.map((v) => v.values);
+        let best = -1;
+        function rec(i, acc) {
+            if (i === vars.length) {
+                const p = (0, bayesian_1.jointProbability)(burglaryNet, acc);
+                if (p > best)
+                    best = p;
+                return;
+            }
+            for (const val of doms[i]) {
+                acc[vars[i]] = val;
+                rec(i + 1, acc);
+            }
+        }
+        rec(0, {});
+        (0, vitest_1.expect)(close(pMpe, best, 1e-9)).toBe(true);
+    });
+    (0, vitest_1.it)('MPE respeta la evidencia observada', () => {
+        const mpe = (0, bayesian_1.mostProbableExplanation)(burglaryNet, {
+            JohnCalls: 'true',
+            MaryCalls: 'true',
+        });
+        (0, vitest_1.expect)(mpe['JohnCalls']).toBe('true');
+        (0, vitest_1.expect)(mpe['MaryCalls']).toBe('true');
+    });
+    (0, vitest_1.it)('MPE con ambas llamadas activa Alarm más probable', () => {
+        const mpe = (0, bayesian_1.mostProbableExplanation)(burglaryNet, {
+            JohnCalls: 'true',
+            MaryCalls: 'true',
+        });
+        // El argmax dado J=t,M=t tiene Alarm=true (la probabilidad
+        // de Alarm dada las llamadas es muy alta).
+        (0, vitest_1.expect)(mpe['Alarm']).toBe('true');
+    });
+    (0, vitest_1.it)('MPE en cadena: argmax sobre joint', () => {
+        const mpe = (0, bayesian_1.mostProbableExplanation)(chainNet);
+        const pMpe = (0, bayesian_1.jointProbability)(chainNet, mpe);
+        let best = -1;
+        for (const a of ['t', 'f']) {
+            for (const b of ['t', 'f']) {
+                for (const c of ['t', 'f']) {
+                    const p = (0, bayesian_1.jointProbability)(chainNet, { A: a, B: b, C: c });
+                    if (p > best)
+                        best = p;
+                }
+            }
+        }
+        (0, vitest_1.expect)(close(pMpe, best, 1e-9)).toBe(true);
+    });
+    (0, vitest_1.it)('MPE en weather: sunny+happy es el modo dominante', () => {
+        const mpe = (0, bayesian_1.mostProbableExplanation)(weatherNet);
+        (0, vitest_1.expect)(mpe['Weather']).toBe('sunny');
+        (0, vitest_1.expect)(mpe['Mood']).toBe('happy');
+    });
+    (0, vitest_1.it)('MPE con evidencia Weather=rainy elige Mood=sad', () => {
+        const mpe = (0, bayesian_1.mostProbableExplanation)(weatherNet, { Weather: 'rainy' });
+        (0, vitest_1.expect)(mpe['Weather']).toBe('rainy');
+        (0, vitest_1.expect)(mpe['Mood']).toBe('sad');
+    });
+});
+//# sourceMappingURL=bayesian.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"bayesian.test.js","sourceRoot":"","sources":["../../../src/tests/bayesian/bayesian.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,gCAAgC;AAChC,+DAA+D;;AAE/D,mCAA8C;AAC9C,qDAMgC;AAEhC,gEAAgE;AAEhE,mEAAmE;AACnE,qDAAqD;AACrD,MAAM,WAAW,GAAoB;IACnC,SAAS,EAAE;QACT,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE;QAC/C,EAAE,IAAI,EAAE,YAAY,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE;QACjD,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE;QAC5C,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE;QAChD,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE;KACjD;IACD,IAAI,EAAE;QACJ;YACE,QAAQ,EAAE,UAAU;YACpB,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE;SAC/C;QACD;YACE,QAAQ,EAAE,YAAY;YACtB,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE;SAC/C;QACD;YACE,QAAQ,EAAE,OAAO;YACjB,OAAO,EAAE,CAAC,UAAU,EAAE,YAAY,CAAC;YACnC,OAAO,EAAE;gBACP,+BAA+B,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE;gBAC5D,gCAAgC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE;gBAC7D,gCAAgC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE;gBAC7D,iCAAiC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE;aACjE;SACF;QACD;YACE,QAAQ,EAAE,WAAW;YACrB,OAAO,EAAE,CAAC,OAAO,CAAC;YAClB,OAAO,EAAE;gBACP,YAAY,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE;gBACvC,aAAa,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE;aAC3C;SACF;QACD;YACE,QAAQ,EAAE,WAAW;YACrB,OAAO,EAAE,CAAC,OAAO,CAAC;YAClB,OAAO,EAAE;gBACP,YAAY,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE;gBACvC,aAAa,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE;aAC3C;SACF;KACF;CACF,CAAC;AAEF,gDAAgD;AAChD,MAAM,QAAQ,GAAoB;IAChC,SAAS,EAAE;QACT,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE;QACjC,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE;QACjC,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE;KAClC;IACD,IAAI,EAAE;QACJ,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE;QACnE;YACE,QAAQ,EAAE,GAAG;YACb,OAAO,EAAE,CAAC,GAAG,CAAC;YACd,OAAO,EAAE;gBACP,KAAK,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE;gBACzB,KAAK,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE;aAC1B;SACF;QACD;YACE,QAAQ,EAAE,GAAG;YACb,OAAO,EAAE,CAAC,GAAG,CAAC;YACd,OAAO,EAAE;gBACP,KAAK,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE;gBACzB,KAAK,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE;aAC1B;SACF;KACF;CACF,CAAC;AAEF,gDAAgD;AAChD,MAAM,UAAU,GAAoB;IAClC,SAAS,EAAE;QACT,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,EAAE;QACzD,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE;KAC3C;IACD,IAAI,EAAE;QACJ;YACE,QAAQ,EAAE,SAAS;YACnB,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE;SACzD;QACD;YACE,QAAQ,EAAE,MAAM;YAChB,OAAO,EAAE,CAAC,SAAS,CAAC;YACpB,OAAO,EAAE;gBACP,eAAe,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE;gBACzC,gBAAgB,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE;gBAC1C,eAAe,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE;aAC1C;SACF;KACF;CACF,CAAC;AAEF,gEAAgE;AAEhE,SAAS,KAAK,CAAC,CAAS,EAAE,CAAS,EAAE,GAAG,GAAG,IAAI;IAC7C,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,GAAG,CAAC;AAC/B,CAAC;AAED,SAAS,kBAAkB,CACzB,GAAoB,EACpB,QAAgB,EAChB,WAAmC,EAAE;IAErC,yDAAyD;IACzD,MAAM,GAAG,GAA2B,EAAE,CAAC;IACvC,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAE,CAAC,MAAM,EAAE,CAAC;QACvE,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;IACb,CAAC;IACD,MAAM,IAAI,GAAG,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC9C,MAAM,IAAI,GAAG,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAChD,SAAS,GAAG,CAAC,CAAS,EAAE,GAA2B;QACjD,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;YACtB,KAAK,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAChD,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,GAAG;oBAAE,OAAO;YAC7B,CAAC;YACD,MAAM,CAAC,GAAG,IAAA,2BAAgB,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACrC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;YACnD,OAAO;QACT,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YAC1B,GAAG,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC;YACjB,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IACD,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACX,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5D,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACd,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;IAC5D,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,gEAAgE;QAChE,MAAM,CAAC,GAAG,IAAA,2BAAgB,EAAC,WAAW,EAAE;YACtC,QAAQ,EAAE,MAAM;YAChB,UAAU,EAAE,OAAO;YACnB,KAAK,EAAE,MAAM;YACb,SAAS,EAAE,MAAM;YACjB,SAAS,EAAE,MAAM;SAClB,CAAC,CAAC;QACH,MAAM,QAAQ,GAAG,KAAK,GAAG,KAAK,GAAG,IAAI,GAAG,GAAG,GAAG,GAAG,CAAC;QAClD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,MAAM,IAAI,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACxB,KAAK,MAAM,CAAC,IAAI,IAAI;YAClB,KAAK,MAAM,CAAC,IAAI,IAAI;gBAClB,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;oBACrB,KAAK,IAAI,IAAA,2BAAgB,EAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;gBAC5D,CAAC;QACL,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,EAAE,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,2BAAgB,EAAC,WAAW,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,2BAAgB,EAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,IAAI,GAAG,IAAA,gBAAK,EAAC,WAAW,EAAE,UAAU,EAAE;YAC1C,SAAS,EAAE,MAAM;YACjB,SAAS,EAAE,MAAM;SAClB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5F,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,IAAI,GAAG,IAAA,gBAAK,EAAC,WAAW,EAAE,UAAU,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,IAAI,GAAG,IAAA,gBAAK,EAAC,WAAW,EAAE,OAAO,CAAC,CAAC;QACzC,wCAAwC;QACxC,MAAM,SAAS,GACb,IAAI,GAAG,KAAK,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,CAAC;QAC7F,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,EAAE,GAAG,IAAA,gBAAK,EAAC,WAAW,EAAE,UAAU,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC;QACjE,MAAM,EAAE,GAAG,kBAAkB,CAAC,WAAW,EAAE,UAAU,EAAE;YACrD,SAAS,EAAE,MAAM;SAClB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,EAAE,GAAG,IAAA,gBAAK,EAAC,WAAW,EAAE,OAAO,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC;QAC9D,MAAM,EAAE,GAAG,kBAAkB,CAAC,WAAW,EAAE,OAAO,EAAE;YAClD,SAAS,EAAE,MAAM;SAClB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,6DAA6D;QAC7D,iCAAiC;QACjC,MAAM,IAAI,GAAG,IAAA,gBAAK,EAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,IAAI,GAAG,IAAA,gBAAK,EAAC,QAAQ,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;QAC9C,MAAM,EAAE,GAAG,kBAAkB,CAAC,QAAQ,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,2BAA2B;IAC9E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,IAAI,GAAG,IAAA,gBAAK,EAAC,UAAU,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;QAC7D,MAAM,GAAG,GACP,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;QACxF,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,GAAG,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3E,MAAM,EAAE,GAAG,kBAAkB,CAAC,UAAU,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,IAAI,GAAG,IAAA,gBAAK,EAAC,WAAW,EAAE,UAAU,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,gBAAK,EAAC,QAAQ,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,gBAAK,EAAC,QAAQ,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,gBAAK,EAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,IAAA,gBAAK,EAAC,QAAQ,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;QAC3C,MAAM,CAAC,GAAG,IAAA,8BAAmB,EAAC,QAAQ,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,GAAG,GAAG,IAAA,kCAAuB,EAAC,WAAW,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC;YACtC,OAAO;YACP,UAAU;YACV,YAAY;YACZ,WAAW;YACX,WAAW;SACZ,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,GAAG,GAAG,IAAA,kCAAuB,EAAC,WAAW,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,IAAA,2BAAgB,EAAC,WAAW,EAAE,GAAG,CAAC,CAAC;QAChD,2EAA2E;QAC3E,MAAM,IAAI,GAAG,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACtD,MAAM,IAAI,GAAG,WAAW,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACxD,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC;QACd,SAAS,GAAG,CAAC,CAAS,EAAE,GAA2B;YACjD,IAAI,CAAC,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;gBACtB,MAAM,CAAC,GAAG,IAAA,2BAAgB,EAAC,WAAW,EAAE,GAAG,CAAC,CAAC;gBAC7C,IAAI,CAAC,GAAG,IAAI;oBAAE,IAAI,GAAG,CAAC,CAAC;gBACvB,OAAO;YACT,CAAC;YACD,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1B,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;gBACnB,GAAG,CAAC,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;YAClB,CAAC;QACH,CAAC;QACD,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACX,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,GAAG,GAAG,IAAA,kCAAuB,EAAC,WAAW,EAAE;YAC/C,SAAS,EAAE,MAAM;YACjB,SAAS,EAAE,MAAM;SAClB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,GAAG,GAAG,IAAA,kCAAuB,EAAC,WAAW,EAAE;YAC/C,SAAS,EAAE,MAAM;YACjB,SAAS,EAAE,MAAM;SAClB,CAAC,CAAC;QACH,2DAA2D;QAC3D,2CAA2C;QAC3C,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,GAAG,GAAG,IAAA,kCAAuB,EAAC,QAAQ,CAAC,CAAC;QAC9C,MAAM,IAAI,GAAG,IAAA,2BAAgB,EAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QAC7C,IAAI,IAAI,GAAG,CAAC,CAAC,CAAC;QACd,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;YAC3B,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;gBAC3B,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;oBAC3B,MAAM,CAAC,GAAG,IAAA,2BAAgB,EAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;oBAC3D,IAAI,CAAC,GAAG,IAAI;wBAAE,IAAI,GAAG,CAAC,CAAC;gBACzB,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,GAAG,GAAG,IAAA,kCAAuB,EAAC,UAAU,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,GAAG,GAAG,IAAA,kCAAuB,EAAC,UAAU,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/belief-revision/agm.test.d.ts

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

package/dist/tests/belief-revision/agm.test.d.ts.map

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

package/dist/tests/belief-revision/agm.test.js

@@ -0,0 +1,173 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const belief_revision_1 = require("../../belief-revision");
+// ---------------------------------------------------------------------------
+// Expansion
+// ---------------------------------------------------------------------------
+(0, vitest_1.describe)('expand (K + φ)', () => {
+    (0, vitest_1.it)('añade una fórmula nueva al belief set', () => {
+        const K = (0, belief_revision_1.newBeliefSet)(['p']);
+        const expanded = (0, belief_revision_1.expand)(K, 'q');
+        (0, vitest_1.expect)((0, belief_revision_1.beliefSetToArray)(expanded)).toEqual(['p', 'q']);
+    });
+    (0, vitest_1.it)('no duplica si la fórmula ya está', () => {
+        const K = (0, belief_revision_1.newBeliefSet)(['p', 'q']);
+        const expanded = (0, belief_revision_1.expand)(K, 'p');
+        (0, vitest_1.expect)((0, belief_revision_1.beliefSetToArray)(expanded)).toEqual(['p', 'q']);
+    });
+    (0, vitest_1.it)('no muta el belief set original', () => {
+        const K = (0, belief_revision_1.newBeliefSet)(['p']);
+        (0, belief_revision_1.expand)(K, 'q');
+        (0, vitest_1.expect)((0, belief_revision_1.beliefSetToArray)(K)).toEqual(['p']);
+    });
+    (0, vitest_1.it)('puede generar inconsistencia (expansion no se compromete con consistencia)', () => {
+        const K = (0, belief_revision_1.newBeliefSet)(['p']);
+        const inconsistent = (0, belief_revision_1.expand)(K, '!p');
+        (0, vitest_1.expect)((0, belief_revision_1.isConsistent)(inconsistent)).toBe(false);
+    });
+});
+// ---------------------------------------------------------------------------
+// Contraction
+// ---------------------------------------------------------------------------
+(0, vitest_1.describe)('contract (K - φ)', () => {
+    (0, vitest_1.it)('al contraer por p, K ya no implica p', () => {
+        const K = (0, belief_revision_1.newBeliefSet)(['p', 'q']);
+        const contracted = (0, belief_revision_1.contract)(K, 'p');
+        (0, vitest_1.expect)((0, belief_revision_1.entails)(contracted, 'p')).toBe(false);
+    });
+    (0, vitest_1.it)('al contraer por p, sigue implicando q (preserva lo no relacionado)', () => {
+        const K = (0, belief_revision_1.newBeliefSet)(['p', 'q']);
+        const contracted = (0, belief_revision_1.contract)(K, 'p');
+        (0, vitest_1.expect)((0, belief_revision_1.entails)(contracted, 'q')).toBe(true);
+    });
+    (0, vitest_1.it)('si K no implica φ, K - φ = K (vacuidad)', () => {
+        const K = (0, belief_revision_1.newBeliefSet)(['p']);
+        const contracted = (0, belief_revision_1.contract)(K, 'q');
+        (0, vitest_1.expect)((0, belief_revision_1.beliefSetToArray)(contracted)).toEqual((0, belief_revision_1.beliefSetToArray)(K));
+    });
+    (0, vitest_1.it)('si φ es tautología, K - φ = K (postulado K-5 vacuidad)', () => {
+        const K = (0, belief_revision_1.newBeliefSet)(['p']);
+        const contracted = (0, belief_revision_1.contract)(K, 'p | !p');
+        (0, vitest_1.expect)((0, belief_revision_1.beliefSetToArray)(contracted)).toEqual((0, belief_revision_1.beliefSetToArray)(K));
+    });
+    (0, vitest_1.it)('con entrenchment, remueve la fórmula MENOS arraigada', () => {
+        // K implica p de dos formas: directamente "p", y "q -> p" + "q".
+        // Si contraemos por p, hay que romper ambas vías.
+        // Con entrenchment alto en "q -> p" y bajo en "p" y "q", debería preferir
+        // quitar "p" y "q" antes que "q -> p".
+        const K = (0, belief_revision_1.newBeliefSet)(['p', 'q', 'q -> p']);
+        const ordering = new Map([
+            ['p', 1],
+            ['q', 1],
+            ['q -> p', 10],
+        ]);
+        const contracted = (0, belief_revision_1.contract)(K, 'p', ordering);
+        (0, vitest_1.expect)((0, belief_revision_1.entails)(contracted, 'p')).toBe(false);
+        // q -> p sobrevive: es la más arraigada.
+        (0, vitest_1.expect)(contracted.formulas.has('q -> p')).toBe(true);
+    });
+});
+// ---------------------------------------------------------------------------
+// Revision (identidad de Levi)
+// ---------------------------------------------------------------------------
+(0, vitest_1.describe)('revise (K * φ)', () => {
+    (0, vitest_1.it)('K * φ contiene φ (K2 success)', () => {
+        const K = (0, belief_revision_1.newBeliefSet)(['p']);
+        const revised = (0, belief_revision_1.revise)(K, '!p');
+        (0, vitest_1.expect)((0, belief_revision_1.entails)(revised, '!p')).toBe(true);
+        (0, vitest_1.expect)((0, belief_revision_1.verifySuccess)(revised, '!p')).toBe(true);
+    });
+    (0, vitest_1.it)('K * ¬p sobre K={p} produce un set consistente sin p', () => {
+        const K = (0, belief_revision_1.newBeliefSet)(['p']);
+        const revised = (0, belief_revision_1.revise)(K, '!p');
+        (0, vitest_1.expect)((0, belief_revision_1.isConsistent)(revised)).toBe(true);
+        (0, vitest_1.expect)((0, belief_revision_1.entails)(revised, 'p')).toBe(false);
+    });
+    (0, vitest_1.it)('revisar por p en {p | q, !p} produce {p, ...} sin !p', () => {
+        const K = (0, belief_revision_1.newBeliefSet)(['p | q', '!p']);
+        const revised = (0, belief_revision_1.revise)(K, 'p');
+        (0, vitest_1.expect)((0, belief_revision_1.entails)(revised, 'p')).toBe(true);
+        (0, vitest_1.expect)((0, belief_revision_1.entails)(revised, '!p')).toBe(false);
+        (0, vitest_1.expect)((0, belief_revision_1.isConsistent)(revised)).toBe(true);
+    });
+    (0, vitest_1.it)('revisar por una fórmula ya implicada deja K extendido pero consistente', () => {
+        const K = (0, belief_revision_1.newBeliefSet)(['p', 'q']);
+        const revised = (0, belief_revision_1.revise)(K, 'p');
+        (0, vitest_1.expect)((0, belief_revision_1.entails)(revised, 'p')).toBe(true);
+        (0, vitest_1.expect)((0, belief_revision_1.entails)(revised, 'q')).toBe(true);
+        (0, vitest_1.expect)((0, belief_revision_1.isConsistent)(revised)).toBe(true);
+    });
+});
+// ---------------------------------------------------------------------------
+// Postulados AGM
+// ---------------------------------------------------------------------------
+(0, vitest_1.describe)('AGM postulates', () => {
+    (0, vitest_1.it)('K2 (éxito): φ siempre derivable después de revise(K, φ)', () => {
+        const K = (0, belief_revision_1.newBeliefSet)(['p', 'q']);
+        const revised = (0, belief_revision_1.revise)(K, '!p');
+        (0, vitest_1.expect)((0, belief_revision_1.verifySuccess)(revised, '!p')).toBe(true);
+    });
+    (0, vitest_1.it)('K3 (inclusión): K * φ ⊆ Cn(K + φ) cuando K + φ es consistente', () => {
+        const K = (0, belief_revision_1.newBeliefSet)(['p', 'q']);
+        // K + p es consistente (p ya está), así que K3 aplica.
+        const revised = (0, belief_revision_1.revise)(K, 'p');
+        (0, vitest_1.expect)((0, belief_revision_1.verifyInclusion)(revised, K, 'p')).toBe(true);
+    });
+    (0, vitest_1.it)('verifyClosure: cada fórmula de K es derivable desde K (autocontención)', () => {
+        const K = (0, belief_revision_1.newBeliefSet)(['p', 'q', 'p -> r']);
+        (0, vitest_1.expect)((0, belief_revision_1.verifyClosure)(K)).toBe(true);
+    });
+});
+// ---------------------------------------------------------------------------
+// Helpers y consistencia
+// ---------------------------------------------------------------------------
+(0, vitest_1.describe)('isConsistent / entails', () => {
+    (0, vitest_1.it)('belief set vacío es consistente', () => {
+        const K = (0, belief_revision_1.newBeliefSet)([]);
+        (0, vitest_1.expect)((0, belief_revision_1.isConsistent)(K)).toBe(true);
+    });
+    (0, vitest_1.it)('{p, !p} es inconsistente', () => {
+        const K = (0, belief_revision_1.newBeliefSet)(['p', '!p']);
+        (0, vitest_1.expect)((0, belief_revision_1.isConsistent)(K)).toBe(false);
+    });
+    (0, vitest_1.it)('modus ponens: {p, p -> q} ⊢ q', () => {
+        const K = (0, belief_revision_1.newBeliefSet)(['p', 'p -> q']);
+        (0, vitest_1.expect)((0, belief_revision_1.entails)(K, 'q')).toBe(true);
+    });
+    (0, vitest_1.it)('belief set vacío implica tautologías', () => {
+        const K = (0, belief_revision_1.newBeliefSet)([]);
+        (0, vitest_1.expect)((0, belief_revision_1.entails)(K, 'p | !p')).toBe(true);
+    });
+    (0, vitest_1.it)('belief set vacío NO implica fórmulas contingentes', () => {
+        const K = (0, belief_revision_1.newBeliefSet)([]);
+        (0, vitest_1.expect)((0, belief_revision_1.entails)(K, 'p')).toBe(false);
+    });
+});
+// ---------------------------------------------------------------------------
+// Canonicalización
+// ---------------------------------------------------------------------------
+(0, vitest_1.describe)('canonicalize', () => {
+    (0, vitest_1.it)('produce orden estable independiente del orden de inserción', () => {
+        const a = (0, belief_revision_1.newBeliefSet)(['p', 'q -> r', 'q']);
+        const b = (0, belief_revision_1.newBeliefSet)(['q -> r', 'p', 'q']);
+        (0, vitest_1.expect)((0, belief_revision_1.canonicalize)(a)).toBe((0, belief_revision_1.canonicalize)(b));
+    });
+});
+// ---------------------------------------------------------------------------
+// Parser edge cases
+// ---------------------------------------------------------------------------
+(0, vitest_1.describe)('parser de fórmulas (aliases unicode/ascii)', () => {
+    (0, vitest_1.it)('acepta unicode (∧, ∨, ¬, →, ↔)', () => {
+        const K = (0, belief_revision_1.newBeliefSet)(['p ∧ q', '¬r', 'p → r', 'a ↔ b']);
+        (0, vitest_1.expect)(K.formulas.size).toBe(4);
+    });
+    (0, vitest_1.it)('acepta ascii (& | ! -> <->)', () => {
+        const K = (0, belief_revision_1.newBeliefSet)(['p & q', '!r', 'p -> r', 'a <-> b']);
+        (0, vitest_1.expect)(K.formulas.size).toBe(4);
+    });
+    (0, vitest_1.it)('lanza error para sintaxis inválida', () => {
+        (0, vitest_1.expect)(() => (0, belief_revision_1.newBeliefSet)(['p & &'])).toThrow();
+    });
+});
+//# sourceMappingURL=agm.test.js.map

package/dist/tests/belief-revision/agm.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"agm.test.js","sourceRoot":"","sources":["../../../src/tests/belief-revision/agm.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,2DAa+B;AAE/B,8EAA8E;AAC9E,YAAY;AACZ,8EAA8E;AAE9E,IAAA,iBAAQ,EAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,IAAA,8BAAY,EAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,MAAM,QAAQ,GAAG,IAAA,wBAAM,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,kCAAgB,EAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,IAAA,8BAAY,EAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnC,MAAM,QAAQ,GAAG,IAAA,wBAAM,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,kCAAgB,EAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,GAAG,IAAA,8BAAY,EAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,IAAA,wBAAM,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACf,IAAA,eAAM,EAAC,IAAA,kCAAgB,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,CAAC,GAAG,IAAA,8BAAY,EAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,MAAM,YAAY,GAAG,IAAA,wBAAM,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAA,8BAAY,EAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,cAAc;AACd,8EAA8E;AAE9E,IAAA,iBAAQ,EAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,8BAAY,EAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnC,MAAM,UAAU,GAAG,IAAA,0BAAQ,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,yBAAO,EAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,CAAC,GAAG,IAAA,8BAAY,EAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnC,MAAM,UAAU,GAAG,IAAA,0BAAQ,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,yBAAO,EAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,IAAA,8BAAY,EAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,MAAM,UAAU,GAAG,IAAA,0BAAQ,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,kCAAgB,EAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,IAAA,kCAAgB,EAAC,CAAC,CAAC,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAAG,IAAA,8BAAY,EAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,MAAM,UAAU,GAAG,IAAA,0BAAQ,EAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,kCAAgB,EAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,IAAA,kCAAgB,EAAC,CAAC,CAAC,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,iEAAiE;QACjE,kDAAkD;QAClD,0EAA0E;QAC1E,uCAAuC;QACvC,MAAM,CAAC,GAAG,IAAA,8BAAY,EAAC,CAAC,GAAG,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC7C,MAAM,QAAQ,GAAiB,IAAI,GAAG,CAAC;YACrC,CAAC,GAAG,EAAE,CAAC,CAAC;YACR,CAAC,GAAG,EAAE,CAAC,CAAC;YACR,CAAC,QAAQ,EAAE,EAAE,CAAC;SACf,CAAC,CAAC;QACH,MAAM,UAAU,GAAG,IAAA,0BAAQ,EAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,yBAAO,EAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7C,yCAAyC;QACzC,IAAA,eAAM,EAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,+BAA+B;AAC/B,8EAA8E;AAE9E,IAAA,iBAAQ,EAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,IAAA,8BAAY,EAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,MAAM,OAAO,GAAG,IAAA,wBAAM,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,yBAAO,EAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,+BAAa,EAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,IAAA,8BAAY,EAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,MAAM,OAAO,GAAG,IAAA,wBAAM,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,8BAAY,EAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,yBAAO,EAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,IAAA,8BAAY,EAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC;QACxC,MAAM,OAAO,GAAG,IAAA,wBAAM,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,yBAAO,EAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,yBAAO,EAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,8BAAY,EAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,CAAC,GAAG,IAAA,8BAAY,EAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnC,MAAM,OAAO,GAAG,IAAA,wBAAM,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,yBAAO,EAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,yBAAO,EAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,8BAAY,EAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,iBAAiB;AACjB,8EAA8E;AAE9E,IAAA,iBAAQ,EAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAG,IAAA,8BAAY,EAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnC,MAAM,OAAO,GAAG,IAAA,wBAAM,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,+BAAa,EAAC,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,CAAC,GAAG,IAAA,8BAAY,EAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnC,uDAAuD;QACvD,MAAM,OAAO,GAAG,IAAA,wBAAM,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,iCAAe,EAAC,OAAO,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,CAAC,GAAG,IAAA,8BAAY,EAAC,CAAC,GAAG,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,+BAAa,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,yBAAyB;AACzB,8EAA8E;AAE9E,IAAA,iBAAQ,EAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,IAAA,8BAAY,EAAC,EAAE,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAA,8BAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,IAAA,8BAAY,EAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,8BAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,IAAA,8BAAY,EAAC,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,yBAAO,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,8BAAY,EAAC,EAAE,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAA,yBAAO,EAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,IAAA,8BAAY,EAAC,EAAE,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAA,yBAAO,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,mBAAmB;AACnB,8EAA8E;AAE9E,IAAA,iBAAQ,EAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,CAAC,GAAG,IAAA,8BAAY,EAAC,CAAC,GAAG,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC;QAC7C,MAAM,CAAC,GAAG,IAAA,8BAAY,EAAC,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,8BAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAA,8BAAY,EAAC,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,oBAAoB;AACpB,8EAA8E;AAE9E,IAAA,iBAAQ,EAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,GAAG,IAAA,8BAAY,EAAC,CAAC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,IAAA,8BAAY,EAAC,CAAC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,8BAAY,EAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/bisimulation/paige-tarjan.test.d.ts

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

package/dist/tests/bisimulation/paige-tarjan.test.d.ts.map

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