@stevenvo780/st-lang 4.2.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/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":""}

package/dist/tests/bisimulation/paige-tarjan.test.js

@@ -0,0 +1,254 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const bisimulation_1 = require("../../runtime/bisimulation");
+function labels(...names) {
+    return new Set(names);
+}
+(0, vitest_1.describe)('Bisimulation — Paige-Tarjan partition refinement', () => {
+    (0, vitest_1.it)('LTS lineal a→b→c con label X discrimina los tres estados', () => {
+        // a -t-> b -t-> c ; sólo c tiene label X.
+        const lts = {
+            states: ['a', 'b', 'c'],
+            transitions: [
+                ['a', 't', 'b'],
+                ['b', 't', 'c'],
+            ],
+            labelling: { c: labels('X') },
+        };
+        const r = (0, bisimulation_1.paigeTarjan)(lts);
+        (0, vitest_1.expect)(r.numBlocks).toBe(3);
+        (0, vitest_1.expect)(r.partition.get('a')).not.toBe(r.partition.get('b'));
+        (0, vitest_1.expect)(r.partition.get('b')).not.toBe(r.partition.get('c'));
+        (0, vitest_1.expect)(r.partition.get('a')).not.toBe(r.partition.get('c'));
+    });
+    (0, vitest_1.it)('dos estados con misma estructura colapsan en el mismo bloque', () => {
+        // s1 y s2 son hojas sin transiciones y con el mismo labelling.
+        const lts = {
+            states: ['root', 's1', 's2'],
+            transitions: [
+                ['root', 'a', 's1'],
+                ['root', 'a', 's2'],
+            ],
+            labelling: { s1: labels('p'), s2: labels('p') },
+        };
+        const r = (0, bisimulation_1.paigeTarjan)(lts);
+        (0, vitest_1.expect)(r.partition.get('s1')).toBe(r.partition.get('s2'));
+        (0, vitest_1.expect)(r.partition.get('root')).not.toBe(r.partition.get('s1'));
+    });
+    (0, vitest_1.it)('areBisimilar reporta true sii los estados están en el mismo bloque', () => {
+        const lts = {
+            states: ['x', 'y', 'z'],
+            transitions: [
+                ['x', 'a', 'x'],
+                ['y', 'a', 'y'],
+            ],
+            labelling: { x: labels('p'), y: labels('p'), z: labels('q') },
+        };
+        (0, vitest_1.expect)((0, bisimulation_1.areBisimilar)(lts, 'x', 'y')).toBe(true);
+        (0, vitest_1.expect)((0, bisimulation_1.areBisimilar)(lts, 'x', 'z')).toBe(false);
+    });
+    (0, vitest_1.it)('areBisimilar lanza si el estado no existe', () => {
+        const lts = { states: ['a'], transitions: [] };
+        (0, vitest_1.expect)(() => (0, bisimulation_1.areBisimilar)(lts, 'a', 'missing')).toThrow();
+    });
+    (0, vitest_1.it)('LTS sin labelling: todos los estados parten del mismo bloque', () => {
+        // 4 estados aislados sin transiciones ni labelling → un único bloque.
+        const lts = {
+            states: ['a', 'b', 'c', 'd'],
+            transitions: [],
+        };
+        const r = (0, bisimulation_1.paigeTarjan)(lts);
+        (0, vitest_1.expect)(r.numBlocks).toBe(1);
+    });
+    (0, vitest_1.it)('estados con distinto fan-out de acciones se separan', () => {
+        // a tiene salida 'x', b no.
+        const lts = {
+            states: ['a', 'b', 't'],
+            transitions: [['a', 'x', 't']],
+        };
+        const r = (0, bisimulation_1.paigeTarjan)(lts);
+        (0, vitest_1.expect)(r.partition.get('a')).not.toBe(r.partition.get('b'));
+    });
+    (0, vitest_1.it)('estados con misma acción pero a bloques distintos se separan', () => {
+        // s -a-> goal (label G), t -a-> sink (sin label).
+        const lts = {
+            states: ['s', 't', 'goal', 'sink'],
+            transitions: [
+                ['s', 'a', 'goal'],
+                ['t', 'a', 'sink'],
+            ],
+            labelling: { goal: labels('G') },
+        };
+        const r = (0, bisimulation_1.paigeTarjan)(lts);
+        (0, vitest_1.expect)(r.partition.get('s')).not.toBe(r.partition.get('t'));
+    });
+});
+(0, vitest_1.describe)('Bisimulation — quotientLTS', () => {
+    (0, vitest_1.it)('quotient reduce el número de estados cuando hay redundancia', () => {
+        // Tres hojas equivalentes.
+        const lts = {
+            states: ['root', 'l1', 'l2', 'l3'],
+            transitions: [
+                ['root', 'a', 'l1'],
+                ['root', 'a', 'l2'],
+                ['root', 'a', 'l3'],
+            ],
+        };
+        const q = (0, bisimulation_1.quotientLTS)(lts);
+        (0, vitest_1.expect)(q.states.length).toBeLessThan(lts.states.length);
+        // Debe ser exactamente 2: { root }, { l1, l2, l3 }.
+        (0, vitest_1.expect)(q.states.length).toBe(2);
+    });
+    (0, vitest_1.it)('quotient deduplica transiciones equivalentes', () => {
+        const lts = {
+            states: ['s1', 's2', 't1', 't2'],
+            transitions: [
+                ['s1', 'a', 't1'],
+                ['s2', 'a', 't2'],
+            ],
+            labelling: { s1: labels('S'), s2: labels('S'), t1: labels('T'), t2: labels('T') },
+        };
+        const q = (0, bisimulation_1.quotientLTS)(lts);
+        // 2 bloques: {s1, s2}, {t1, t2}; una sola arista a.
+        (0, vitest_1.expect)(q.states.length).toBe(2);
+        (0, vitest_1.expect)(q.transitions.length).toBe(1);
+    });
+    (0, vitest_1.it)('quotient preserva labelling en los bloques', () => {
+        const lts = {
+            states: ['a', 'b'],
+            transitions: [],
+            labelling: { a: labels('P'), b: labels('P') },
+        };
+        const q = (0, bisimulation_1.quotientLTS)(lts);
+        (0, vitest_1.expect)(q.states.length).toBe(1);
+        const repr = q.states[0];
+        (0, vitest_1.expect)(q.labelling?.[repr]?.has('P')).toBe(true);
+    });
+});
+(0, vitest_1.describe)('Bisimulation — strongBisimulation entre dos LTS', () => {
+    (0, vitest_1.it)('dos LTS isomorfos son fuertemente bisimilares', () => {
+        const l1 = {
+            states: ['a', 'b'],
+            transitions: [['a', 'x', 'b']],
+            labelling: { a: labels('P'), b: labels('Q') },
+        };
+        const l2 = {
+            states: ['p', 'q'],
+            transitions: [['p', 'x', 'q']],
+            labelling: { p: labels('P'), q: labels('Q') },
+        };
+        (0, vitest_1.expect)((0, bisimulation_1.strongBisimulation)(l1, l2)).toBe(true);
+    });
+    (0, vitest_1.it)('dos LTS con distinto labelling NO son bisimilares', () => {
+        const l1 = {
+            states: ['a'],
+            transitions: [],
+            labelling: { a: labels('P') },
+        };
+        const l2 = {
+            states: ['b'],
+            transitions: [],
+            labelling: { b: labels('Q') },
+        };
+        (0, vitest_1.expect)((0, bisimulation_1.strongBisimulation)(l1, l2)).toBe(false);
+    });
+    (0, vitest_1.it)('LTS con distinto fan-out NO es bisimilar', () => {
+        // L1 tiene una transición a; L2 no tiene transiciones.
+        const l1 = {
+            states: ['a', 'b'],
+            transitions: [['a', 'x', 'b']],
+        };
+        const l2 = {
+            states: ['p', 'q'],
+            transitions: [],
+        };
+        (0, vitest_1.expect)((0, bisimulation_1.strongBisimulation)(l1, l2)).toBe(false);
+    });
+});
+(0, vitest_1.describe)('Bisimulation — weakBisimulation (τ-transitions ocultas)', () => {
+    (0, vitest_1.it)('τ-loops invisibles identifican estados τ-equivalentes', () => {
+        // s -τ-> s' -a-> t  vs  u -a-> t. Bajo bisimulación débil, s y u son
+        // equivalentes (el τ desaparece bajo ⇒).
+        const lts = {
+            states: ['s', 's2', 'u', 't'],
+            transitions: [
+                ['s', 'τ', 's2'],
+                ['s2', 'a', 't'],
+                ['u', 'a', 't'],
+            ],
+        };
+        const r = (0, bisimulation_1.weakBisimulation)(lts, 'τ');
+        // s y u deben caer en el mismo bloque vía bisimulación débil.
+        (0, vitest_1.expect)(r.partition.get('s')).toBe(r.partition.get('u'));
+    });
+    (0, vitest_1.it)('weak bisimulation no identifica estados con labelling distinto', () => {
+        const lts = {
+            states: ['s', 't'],
+            transitions: [['s', 'τ', 't']],
+            labelling: { s: labels('P'), t: labels('Q') },
+        };
+        const r = (0, bisimulation_1.weakBisimulation)(lts, 'τ');
+        (0, vitest_1.expect)(r.partition.get('s')).not.toBe(r.partition.get('t'));
+    });
+});
+(0, vitest_1.describe)('Bisimulation — performance / escalabilidad', () => {
+    (0, vitest_1.it)('LTS 100 estados determinista termina <500ms', () => {
+        // Cadena lineal 100 estados: s0 -a-> s1 -a-> ... -a-> s99.
+        // Ningún estado tiene labelling explícito → tras refinar quedan 100 bloques
+        // porque el "futuro" de cada uno es estructuralmente distinto.
+        const n = 100;
+        const states = [];
+        const transitions = [];
+        for (let i = 0; i < n; i++)
+            states.push(`s${i}`);
+        for (let i = 0; i < n - 1; i++)
+            transitions.push([`s${i}`, 'a', `s${i + 1}`]);
+        const lts = { states, transitions };
+        const t0 = Date.now();
+        const r = (0, bisimulation_1.paigeTarjan)(lts);
+        const elapsed = Date.now() - t0;
+        (0, vitest_1.expect)(elapsed).toBeLessThan(500);
+        // En la cadena lineal sin labelling, cada estado se separa por su
+        // longitud de camino restante → n bloques.
+        (0, vitest_1.expect)(r.numBlocks).toBe(n);
+    });
+    (0, vitest_1.it)('100 estados duplicados (dos copias idénticas) colapsan a la mitad', () => {
+        // Dos cadenas paralelas independientes con etiquetas equivalentes.
+        const n = 50;
+        const states = [];
+        const transitions = [];
+        const labelling = {};
+        for (let i = 0; i < n; i++) {
+            states.push(`a${i}`);
+            states.push(`b${i}`);
+            labelling[`a${i}`] = labels(`L${i}`);
+            labelling[`b${i}`] = labels(`L${i}`);
+        }
+        for (let i = 0; i < n - 1; i++) {
+            transitions.push([`a${i}`, 'x', `a${i + 1}`]);
+            transitions.push([`b${i}`, 'x', `b${i + 1}`]);
+        }
+        const lts = { states, transitions, labelling };
+        const r = (0, bisimulation_1.paigeTarjan)(lts);
+        // Cada par (ai, bi) debe colapsar → n bloques en lugar de 2n.
+        (0, vitest_1.expect)(r.numBlocks).toBe(n);
+    });
+});
+(0, vitest_1.describe)('Bisimulation — validación de entradas', () => {
+    (0, vitest_1.it)('lanza si una transición sale de un estado desconocido', () => {
+        const lts = {
+            states: ['a'],
+            transitions: [['ghost', 'x', 'a']],
+        };
+        (0, vitest_1.expect)(() => (0, bisimulation_1.paigeTarjan)(lts)).toThrow(/desconocido/);
+    });
+    (0, vitest_1.it)('lanza si una transición llega a un estado desconocido', () => {
+        const lts = {
+            states: ['a'],
+            transitions: [['a', 'x', 'ghost']],
+        };
+        (0, vitest_1.expect)(() => (0, bisimulation_1.paigeTarjan)(lts)).toThrow(/desconocido/);
+    });
+});
+//# sourceMappingURL=paige-tarjan.test.js.map

package/dist/tests/bisimulation/paige-tarjan.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"paige-tarjan.test.js","sourceRoot":"","sources":["../../../src/tests/bisimulation/paige-tarjan.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,6DAMoC;AAGpC,SAAS,MAAM,CAAC,GAAG,KAAe;IAChC,OAAO,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;AACxB,CAAC;AAED,IAAA,iBAAQ,EAAC,kDAAkD,EAAE,GAAG,EAAE;IAChE,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,0CAA0C;QAC1C,MAAM,GAAG,GAAQ;YACf,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;YACvB,WAAW,EAAE;gBACX,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;gBACf,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;aAChB;YACD,SAAS,EAAE,EAAE,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE;SAC9B,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,0BAAW,EAAC,GAAG,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,+DAA+D;QAC/D,MAAM,GAAG,GAAQ;YACf,MAAM,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC;YAC5B,WAAW,EAAE;gBACX,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC;gBACnB,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC;aACpB;YACD,SAAS,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE;SAChD,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,0BAAW,EAAC,GAAG,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,GAAG,GAAQ;YACf,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;YACvB,WAAW,EAAE;gBACX,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;gBACf,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;aAChB;YACD,SAAS,EAAE,EAAE,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE;SAC9D,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,2BAAY,EAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAA,2BAAY,EAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,GAAG,GAAQ,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;QACpD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,2BAAY,EAAC,GAAG,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,sEAAsE;QACtE,MAAM,GAAG,GAAQ;YACf,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;YAC5B,WAAW,EAAE,EAAE;SAChB,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,0BAAW,EAAC,GAAG,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,4BAA4B;QAC5B,MAAM,GAAG,GAAQ;YACf,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;YACvB,WAAW,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;SAC/B,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,0BAAW,EAAC,GAAG,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,kDAAkD;QAClD,MAAM,GAAG,GAAQ;YACf,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC;YAClC,WAAW,EAAE;gBACX,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC;gBAClB,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,CAAC;aACnB;YACD,SAAS,EAAE,EAAE,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE;SACjC,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,0BAAW,EAAC,GAAG,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,2BAA2B;QAC3B,MAAM,GAAG,GAAQ;YACf,MAAM,EAAE,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC;YAClC,WAAW,EAAE;gBACX,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC;gBACnB,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC;gBACnB,CAAC,MAAM,EAAE,GAAG,EAAE,IAAI,CAAC;aACpB;SACF,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,0BAAW,EAAC,GAAG,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACxD,oDAAoD;QACpD,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,GAAG,GAAQ;YACf,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC;YAChC,WAAW,EAAE;gBACX,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC;gBACjB,CAAC,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC;aAClB;YACD,SAAS,EAAE,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE;SAClF,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,0BAAW,EAAC,GAAG,CAAC,CAAC;QAC3B,oDAAoD;QACpD,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,GAAG,GAAQ;YACf,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;YAClB,WAAW,EAAE,EAAE;YACf,SAAS,EAAE,EAAE,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE;SAC9C,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,0BAAW,EAAC,GAAG,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,EAAE,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iDAAiD,EAAE,GAAG,EAAE;IAC/D,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,EAAE,GAAQ;YACd,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;YAClB,WAAW,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YAC9B,SAAS,EAAE,EAAE,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE;SAC9C,CAAC;QACF,MAAM,EAAE,GAAQ;YACd,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;YAClB,WAAW,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YAC9B,SAAS,EAAE,EAAE,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE;SAC9C,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,iCAAkB,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,EAAE,GAAQ;YACd,MAAM,EAAE,CAAC,GAAG,CAAC;YACb,WAAW,EAAE,EAAE;YACf,SAAS,EAAE,EAAE,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE;SAC9B,CAAC;QACF,MAAM,EAAE,GAAQ;YACd,MAAM,EAAE,CAAC,GAAG,CAAC;YACb,WAAW,EAAE,EAAE;YACf,SAAS,EAAE,EAAE,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE;SAC9B,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,iCAAkB,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,uDAAuD;QACvD,MAAM,EAAE,GAAQ;YACd,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;YAClB,WAAW,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;SAC/B,CAAC;QACF,MAAM,EAAE,GAAQ;YACd,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;YAClB,WAAW,EAAE,EAAE;SAChB,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,iCAAkB,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,yDAAyD,EAAE,GAAG,EAAE;IACvE,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,qEAAqE;QACrE,yCAAyC;QACzC,MAAM,GAAG,GAAQ;YACf,MAAM,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC;YAC7B,WAAW,EAAE;gBACX,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC;gBAChB,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC;gBAChB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;aAChB;SACF,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,+BAAgB,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACrC,8DAA8D;QAC9D,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,GAAG,GAAQ;YACf,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;YAClB,WAAW,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;YAC9B,SAAS,EAAE,EAAE,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE;SAC9C,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,+BAAgB,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,2DAA2D;QAC3D,4EAA4E;QAC5E,+DAA+D;QAC/D,MAAM,CAAC,GAAG,GAAG,CAAC;QACd,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,MAAM,WAAW,GAAoC,EAAE,CAAC;QACxD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YAAE,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAE9E,MAAM,GAAG,GAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;QACzC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,IAAA,0BAAW,EAAC,GAAG,CAAC,CAAC;QAC3B,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC;QAChC,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;QAClC,kEAAkE;QAClE,2CAA2C;QAC3C,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,mEAAmE;QACnE,MAAM,CAAC,GAAG,EAAE,CAAC;QACb,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,MAAM,WAAW,GAAoC,EAAE,CAAC;QACxD,MAAM,SAAS,GAAgC,EAAE,CAAC;QAClD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACrB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACrB,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACrC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACvC,CAAC;QACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC/B,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;YAC9C,WAAW,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAChD,CAAC;QACD,MAAM,GAAG,GAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;QACpD,MAAM,CAAC,GAAG,IAAA,0BAAW,EAAC,GAAG,CAAC,CAAC;QAC3B,8DAA8D;QAC9D,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,GAAG,GAAQ;YACf,MAAM,EAAE,CAAC,GAAG,CAAC;YACb,WAAW,EAAE,CAAC,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;SACnC,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,0BAAW,EAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,GAAG,GAAQ;YACf,MAAM,EAAE,CAAC,GAAG,CAAC;YACb,WAAW,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;SACnC,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,0BAAW,EAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

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

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

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