@stevenvo780/st-lang 3.2.3 → 4.0.1

package/dist/tests/memo/cache.test.js

@@ -0,0 +1,252 @@
+"use strict";
+var __importDefault = (this && this.__importDefault) || function (mod) {
+    return (mod && mod.__esModule) ? mod : { "default": mod };
+};
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const fs_1 = require("fs");
+const path_1 = __importDefault(require("path"));
+const os_1 = __importDefault(require("os"));
+const cache_1 = require("../../runtime/memo/cache");
+const hash_1 = require("../../runtime/memo/hash");
+function atom(name) {
+    return { kind: 'atom', name };
+}
+function not(arg) {
+    return { kind: 'not', args: [arg] };
+}
+function and(a, b) {
+    return { kind: 'and', args: [a, b] };
+}
+function forall(variable, body) {
+    return { kind: 'forall', variable, args: [body] };
+}
+function exists(variable, body) {
+    return { kind: 'exists', variable, args: [body] };
+}
+function predicate(name, terms) {
+    return { kind: 'predicate', name, terms, params: terms };
+}
+function makeResult(status) {
+    return { status, diagnostics: [], output: `result-${status}` };
+}
+(0, vitest_1.describe)('hashFormula', () => {
+    (0, vitest_1.it)('mismo átomo → mismo hash', () => {
+        (0, vitest_1.expect)((0, hash_1.hashFormula)(atom('P'))).toBe((0, hash_1.hashFormula)(atom('P')));
+    });
+    (0, vitest_1.it)('átomos distintos → hashes distintos', () => {
+        (0, vitest_1.expect)((0, hash_1.hashFormula)(atom('P'))).not.toBe((0, hash_1.hashFormula)(atom('Q')));
+    });
+    (0, vitest_1.it)('fórmulas estructuralmente distintas → hashes distintos', () => {
+        const f1 = and(atom('P'), atom('Q'));
+        const f2 = and(atom('Q'), atom('P'));
+        (0, vitest_1.expect)((0, hash_1.hashFormula)(f1)).not.toBe((0, hash_1.hashFormula)(f2));
+    });
+    (0, vitest_1.it)('fórmulas con not distintos → hashes distintos', () => {
+        (0, vitest_1.expect)((0, hash_1.hashFormula)(not(atom('P')))).not.toBe((0, hash_1.hashFormula)(atom('P')));
+    });
+    (0, vitest_1.it)('hash estable: alpha-equiv ∀x.P(x) ≡ ∀y.P(y)', () => {
+        const f1 = forall('x', predicate('P', ['x']));
+        const f2 = forall('y', predicate('P', ['y']));
+        (0, vitest_1.expect)((0, hash_1.hashFormula)(f1)).toBe((0, hash_1.hashFormula)(f2));
+    });
+    (0, vitest_1.it)('hash estable: alpha-equiv ∃x.P(x) ≡ ∃z.P(z)', () => {
+        const f1 = exists('x', predicate('P', ['x']));
+        const f2 = exists('z', predicate('P', ['z']));
+        (0, vitest_1.expect)((0, hash_1.hashFormula)(f1)).toBe((0, hash_1.hashFormula)(f2));
+    });
+    (0, vitest_1.it)('fórmulas cuantificadas distintas → hashes distintos', () => {
+        const f1 = forall('x', predicate('P', ['x']));
+        const f2 = forall('x', predicate('Q', ['x']));
+        (0, vitest_1.expect)((0, hash_1.hashFormula)(f1)).not.toBe((0, hash_1.hashFormula)(f2));
+    });
+    (0, vitest_1.it)('hash ignora campo source', () => {
+        const f1 = { kind: 'atom', name: 'P', source: { line: 1, column: 0 } };
+        const f2 = { kind: 'atom', name: 'P', source: { line: 99, column: 5 } };
+        (0, vitest_1.expect)((0, hash_1.hashFormula)(f1)).toBe((0, hash_1.hashFormula)(f2));
+    });
+    (0, vitest_1.it)('fórmulas anidadas alfa-equiv producen mismo hash', () => {
+        const f1 = forall('x', forall('y', predicate('R', ['x', 'y'])));
+        const f2 = forall('a', forall('b', predicate('R', ['a', 'b'])));
+        (0, vitest_1.expect)((0, hash_1.hashFormula)(f1)).toBe((0, hash_1.hashFormula)(f2));
+    });
+    (0, vitest_1.it)('fórmulas anidadas con predicados distintos → hashes distintos', () => {
+        const f1 = forall('x', forall('y', predicate('R', ['x', 'y'])));
+        const f2 = forall('a', forall('b', predicate('R', ['b', 'a'])));
+        (0, vitest_1.expect)((0, hash_1.hashFormula)(f1)).not.toBe((0, hash_1.hashFormula)(f2));
+    });
+});
+(0, vitest_1.describe)('DerivationCache — hit/miss básico', () => {
+    let cache;
+    (0, vitest_1.beforeEach)(() => {
+        cache = new cache_1.DerivationCache();
+    });
+    (0, vitest_1.it)('miss en cache vacío', () => {
+        (0, vitest_1.expect)(cache.get(atom('P'))).toBeUndefined();
+        (0, vitest_1.expect)(cache.stats().misses).toBe(1);
+    });
+    (0, vitest_1.it)('hit tras set', () => {
+        const f = atom('P');
+        const r = makeResult('valid');
+        cache.set(f, r);
+        const got = cache.get(f);
+        (0, vitest_1.expect)(got).toBeDefined();
+        (0, vitest_1.expect)(got?.status).toBe('valid');
+        (0, vitest_1.expect)(cache.stats().hits).toBe(1);
+        (0, vitest_1.expect)(cache.stats().misses).toBe(0);
+    });
+    (0, vitest_1.it)('set reemplaza entrada existente', () => {
+        const f = atom('P');
+        cache.set(f, makeResult('valid'));
+        cache.set(f, makeResult('invalid'));
+        (0, vitest_1.expect)(cache.get(f)?.status).toBe('invalid');
+        (0, vitest_1.expect)(cache.stats().size).toBe(1);
+    });
+    (0, vitest_1.it)('clear resetea todo', () => {
+        cache.set(atom('P'), makeResult('valid'));
+        cache.clear();
+        (0, vitest_1.expect)(cache.stats().size).toBe(0);
+        (0, vitest_1.expect)(cache.stats().hits).toBe(0);
+        (0, vitest_1.expect)(cache.stats().misses).toBe(0);
+        (0, vitest_1.expect)(cache.stats().evictions).toBe(0);
+    });
+    (0, vitest_1.it)('fórmulas distintas tienen entradas separadas', () => {
+        cache.set(atom('P'), makeResult('valid'));
+        cache.set(atom('Q'), makeResult('invalid'));
+        (0, vitest_1.expect)(cache.stats().size).toBe(2);
+        (0, vitest_1.expect)(cache.get(atom('P'))?.status).toBe('valid');
+        (0, vitest_1.expect)(cache.get(atom('Q'))?.status).toBe('invalid');
+    });
+});
+(0, vitest_1.describe)('DerivationCache — LRU eviction', () => {
+    (0, vitest_1.it)('evicta el menos reciente al superar cap', () => {
+        const cache = new cache_1.DerivationCache({ maxEntries: 3 });
+        cache.set(atom('A'), makeResult('valid'));
+        cache.set(atom('B'), makeResult('valid'));
+        cache.set(atom('C'), makeResult('valid'));
+        (0, vitest_1.expect)(cache.stats().size).toBe(3);
+        cache.set(atom('D'), makeResult('valid'));
+        (0, vitest_1.expect)(cache.stats().size).toBe(3);
+        (0, vitest_1.expect)(cache.stats().evictions).toBe(1);
+        (0, vitest_1.expect)(cache.get(atom('A'))).toBeUndefined();
+        (0, vitest_1.expect)(cache.get(atom('D'))).toBeDefined();
+    });
+    (0, vitest_1.it)('un hit mueve la entrada a MRU; el siguiente evict saca otra', () => {
+        const cache = new cache_1.DerivationCache({ maxEntries: 3 });
+        cache.set(atom('A'), makeResult('valid'));
+        cache.set(atom('B'), makeResult('valid'));
+        cache.set(atom('C'), makeResult('valid'));
+        cache.get(atom('A'));
+        cache.set(atom('D'), makeResult('valid'));
+        (0, vitest_1.expect)(cache.get(atom('A'))).toBeDefined();
+        (0, vitest_1.expect)(cache.get(atom('B'))).toBeUndefined();
+    });
+    (0, vitest_1.it)('maxEntries=1 evicta siempre el anterior', () => {
+        const cache = new cache_1.DerivationCache({ maxEntries: 1 });
+        cache.set(atom('X'), makeResult('valid'));
+        cache.set(atom('Y'), makeResult('invalid'));
+        (0, vitest_1.expect)(cache.stats().size).toBe(1);
+        (0, vitest_1.expect)(cache.get(atom('X'))).toBeUndefined();
+        (0, vitest_1.expect)(cache.get(atom('Y'))?.status).toBe('invalid');
+    });
+});
+(0, vitest_1.describe)('DerivationCache — TTL', () => {
+    (0, vitest_1.it)('entrada válida dentro del TTL', () => {
+        const cache = new cache_1.DerivationCache({ ttlMs: 5000 });
+        cache.set(atom('P'), makeResult('valid'));
+        (0, vitest_1.expect)(cache.get(atom('P'))).toBeDefined();
+    });
+    (0, vitest_1.it)('entrada expirada no se devuelve', () => {
+        vitest_1.vi.useFakeTimers();
+        const cache = new cache_1.DerivationCache({ ttlMs: 100 });
+        cache.set(atom('P'), makeResult('valid'));
+        vitest_1.vi.advanceTimersByTime(200);
+        (0, vitest_1.expect)(cache.get(atom('P'))).toBeUndefined();
+        (0, vitest_1.expect)(cache.stats().misses).toBe(1);
+        vitest_1.vi.useRealTimers();
+    });
+    (0, vitest_1.it)('TTL expira entrada pero no afecta otras vigentes', () => {
+        vitest_1.vi.useFakeTimers();
+        const cache = new cache_1.DerivationCache({ ttlMs: 100 });
+        cache.set(atom('P'), makeResult('valid'));
+        vitest_1.vi.advanceTimersByTime(50);
+        cache.set(atom('Q'), makeResult('invalid'));
+        vitest_1.vi.advanceTimersByTime(60);
+        (0, vitest_1.expect)(cache.get(atom('P'))).toBeUndefined();
+        (0, vitest_1.expect)(cache.get(atom('Q'))).toBeDefined();
+        vitest_1.vi.useRealTimers();
+    });
+});
+(0, vitest_1.describe)('DerivationCache — persistencia round-trip', () => {
+    let tmpDir;
+    let tmpFile;
+    (0, vitest_1.beforeEach)(async () => {
+        tmpDir = await fs_1.promises.mkdtemp(path_1.default.join(os_1.default.tmpdir(), 'st-memo-test-'));
+        tmpFile = path_1.default.join(tmpDir, 'test-cache.json');
+    });
+    (0, vitest_1.afterEach)(async () => {
+        await fs_1.promises.rm(tmpDir, { recursive: true, force: true });
+    });
+    (0, vitest_1.it)('save → load preserva entradas', async () => {
+        const cache1 = new cache_1.DerivationCache({ persistPath: tmpFile });
+        cache1.set(atom('P'), makeResult('valid'));
+        cache1.set(atom('Q'), makeResult('unsatisfiable'));
+        await cache1.saveToDisk();
+        const cache2 = new cache_1.DerivationCache({ persistPath: tmpFile });
+        await cache2.loadFromDisk();
+        (0, vitest_1.expect)(cache2.get(atom('P'))?.status).toBe('valid');
+        (0, vitest_1.expect)(cache2.get(atom('Q'))?.status).toBe('unsatisfiable');
+        (0, vitest_1.expect)(cache2.stats().size).toBe(2);
+    });
+    (0, vitest_1.it)('loadFromDisk es no-op si el archivo no existe', async () => {
+        const cache = new cache_1.DerivationCache({ persistPath: path_1.default.join(tmpDir, 'missing.json') });
+        await (0, vitest_1.expect)(cache.loadFromDisk()).resolves.toBeUndefined();
+        (0, vitest_1.expect)(cache.stats().size).toBe(0);
+    });
+    (0, vitest_1.it)('loadFromDisk no carga entradas TTL expiradas', async () => {
+        vitest_1.vi.useFakeTimers();
+        const cache1 = new cache_1.DerivationCache({ persistPath: tmpFile, ttlMs: 100 });
+        cache1.set(atom('P'), makeResult('valid'));
+        await cache1.saveToDisk();
+        vitest_1.vi.advanceTimersByTime(200);
+        const cache2 = new cache_1.DerivationCache({ persistPath: tmpFile });
+        await cache2.loadFromDisk();
+        (0, vitest_1.expect)(cache2.stats().size).toBe(0);
+        vitest_1.vi.useRealTimers();
+    });
+    (0, vitest_1.it)('save crea directorio si no existe', async () => {
+        const deepFile = path_1.default.join(tmpDir, 'deep', 'nested', 'cache.json');
+        const cache = new cache_1.DerivationCache({ persistPath: deepFile });
+        cache.set(atom('X'), makeResult('valid'));
+        await cache.saveToDisk();
+        const stat = await fs_1.promises.stat(deepFile);
+        (0, vitest_1.expect)(stat.isFile()).toBe(true);
+    });
+    (0, vitest_1.it)('round-trip con fórmula compleja', async () => {
+        const f = forall('x', and(predicate('P', ['x']), not(predicate('Q', ['x']))));
+        const cache1 = new cache_1.DerivationCache({ persistPath: tmpFile });
+        cache1.set(f, makeResult('valid'));
+        await cache1.saveToDisk();
+        const cache2 = new cache_1.DerivationCache({ persistPath: tmpFile });
+        await cache2.loadFromDisk();
+        (0, vitest_1.expect)(cache2.get(f)?.status).toBe('valid');
+    });
+});
+(0, vitest_1.describe)('DerivationCache — alpha-equivalencia en cache', () => {
+    (0, vitest_1.it)('∀x.P(x) y ∀y.P(y) dan hit con la misma entrada', () => {
+        const cache = new cache_1.DerivationCache();
+        const f1 = forall('x', predicate('P', ['x']));
+        const f2 = forall('y', predicate('P', ['y']));
+        cache.set(f1, makeResult('valid'));
+        const result = cache.get(f2);
+        (0, vitest_1.expect)(result).toBeDefined();
+        (0, vitest_1.expect)(result?.status).toBe('valid');
+        (0, vitest_1.expect)(cache.stats().hits).toBe(1);
+    });
+    (0, vitest_1.it)('∀x.P(x) y ∀x.Q(x) dan miss (predicados distintos)', () => {
+        const cache = new cache_1.DerivationCache();
+        cache.set(forall('x', predicate('P', ['x'])), makeResult('valid'));
+        (0, vitest_1.expect)(cache.get(forall('x', predicate('Q', ['x'])))).toBeUndefined();
+    });
+});
+//# sourceMappingURL=cache.test.js.map

package/dist/tests/memo/cache.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cache.test.js","sourceRoot":"","sources":["../../../src/tests/memo/cache.test.ts"],"names":[],"mappings":";;;;;AAAA,mCAAyE;AACzE,2BAAqC;AACrC,gDAAwB;AACxB,4CAAoB;AACpB,oDAA2D;AAC3D,kDAAsD;AAGtD,SAAS,IAAI,CAAC,IAAY;IACxB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAChC,CAAC;AAED,SAAS,GAAG,CAAC,GAAY;IACvB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;AACtC,CAAC;AAED,SAAS,GAAG,CAAC,CAAU,EAAE,CAAU;IACjC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AACvC,CAAC;AAED,SAAS,MAAM,CAAC,QAAgB,EAAE,IAAa;IAC7C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;AACpD,CAAC;AAED,SAAS,MAAM,CAAC,QAAgB,EAAE,IAAa;IAC7C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;AACpD,CAAC;AAED,SAAS,SAAS,CAAC,IAAY,EAAE,KAAe;IAC9C,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;AAC3D,CAAC;AAED,SAAS,UAAU,CAAC,MAA2B;IAC7C,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,EAAE,UAAU,MAAM,EAAE,EAAE,CAAC;AACjE,CAAC;AAED,IAAA,iBAAQ,EAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,IAAA,kBAAW,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAA,kBAAW,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,IAAA,eAAM,EAAC,IAAA,kBAAW,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAA,kBAAW,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,EAAE,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,MAAM,EAAE,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAA,kBAAW,EAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAA,kBAAW,EAAC,EAAE,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,IAAA,eAAM,EAAC,IAAA,kBAAW,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAA,kBAAW,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,kBAAW,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAA,kBAAW,EAAC,EAAE,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,kBAAW,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAA,kBAAW,EAAC,EAAE,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,kBAAW,EAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAA,kBAAW,EAAC,EAAE,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,EAAE,GAAY,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAChF,MAAM,EAAE,GAAY,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACjF,IAAA,eAAM,EAAC,IAAA,kBAAW,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAA,kBAAW,EAAC,EAAE,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAChE,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,IAAA,kBAAW,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAA,kBAAW,EAAC,EAAE,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAChE,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,IAAA,kBAAW,EAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAA,kBAAW,EAAC,EAAE,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAI,KAAsB,CAAC;IAE3B,IAAA,mBAAU,EAAC,GAAG,EAAE;QACd,KAAK,GAAG,IAAI,uBAAe,EAAE,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;QAC7C,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,cAAc,EAAE,GAAG,EAAE;QACtB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;QAC9B,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1B,IAAA,eAAM,EAAC,GAAG,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;QAClC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;QAC1C,KAAK,CAAC,KAAK,EAAE,CAAC;QACd,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,EAAE,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;QAC1C,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,KAAK,GAAG,IAAI,uBAAe,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC;QACrD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;QAC1C,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;QAC1C,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAEnC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;QAE1C,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,EAAE,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;QAC7C,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,KAAK,GAAG,IAAI,uBAAe,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC;QACrD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;QAC1C,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;QAC1C,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;QAE1C,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAErB,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;QAE1C,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QAC3C,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,KAAK,GAAG,IAAI,uBAAe,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC;QACrD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;QAC1C,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;QAC7C,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,KAAK,GAAG,IAAI,uBAAe,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QACnD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,WAAE,CAAC,aAAa,EAAE,CAAC;QACnB,MAAM,KAAK,GAAG,IAAI,uBAAe,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;QAClD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;QAE1C,WAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC;QAE5B,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;QAC7C,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACrC,WAAE,CAAC,aAAa,EAAE,CAAC;IACrB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,WAAE,CAAC,aAAa,EAAE,CAAC;QACnB,MAAM,KAAK,GAAG,IAAI,uBAAe,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;QAClD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;QAC1C,WAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC;QAC3B,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC;QAC5C,WAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,CAAC;QAE3B,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;QAC7C,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QAC3C,WAAE,CAAC,aAAa,EAAE,CAAC;IACrB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,IAAI,MAAc,CAAC;IACnB,IAAI,OAAe,CAAC;IAEpB,IAAA,mBAAU,EAAC,KAAK,IAAI,EAAE;QACpB,MAAM,GAAG,MAAM,aAAG,CAAC,OAAO,CAAC,cAAI,CAAC,IAAI,CAAC,YAAE,CAAC,MAAM,EAAE,EAAE,eAAe,CAAC,CAAC,CAAC;QACpE,OAAO,GAAG,cAAI,CAAC,IAAI,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,kBAAS,EAAC,KAAK,IAAI,EAAE;QACnB,MAAM,aAAG,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,KAAK,IAAI,EAAE;QAC7C,MAAM,MAAM,GAAG,IAAI,uBAAe,CAAC,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,CAAC;QAC7D,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;QAC3C,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,eAAe,CAAC,CAAC,CAAC;QACnD,MAAM,MAAM,CAAC,UAAU,EAAE,CAAC;QAE1B,MAAM,MAAM,GAAG,IAAI,uBAAe,CAAC,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,CAAC;QAC7D,MAAM,MAAM,CAAC,YAAY,EAAE,CAAC;QAE5B,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,KAAK,IAAI,EAAE;QAC7D,MAAM,KAAK,GAAG,IAAI,uBAAe,CAAC,EAAE,WAAW,EAAE,cAAI,CAAC,IAAI,CAAC,MAAM,EAAE,cAAc,CAAC,EAAE,CAAC,CAAC;QACtF,MAAM,IAAA,eAAM,EAAC,KAAK,CAAC,YAAY,EAAE,CAAC,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC;QAC5D,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,KAAK,IAAI,EAAE;QAC5D,WAAE,CAAC,aAAa,EAAE,CAAC;QACnB,MAAM,MAAM,GAAG,IAAI,uBAAe,CAAC,EAAE,WAAW,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;QACzE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;QAC3C,MAAM,MAAM,CAAC,UAAU,EAAE,CAAC;QAE1B,WAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC;QAE5B,MAAM,MAAM,GAAG,IAAI,uBAAe,CAAC,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,CAAC;QAC7D,MAAM,MAAM,CAAC,YAAY,EAAE,CAAC;QAC5B,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,WAAE,CAAC,aAAa,EAAE,CAAC;IACrB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,KAAK,IAAI,EAAE;QACjD,MAAM,QAAQ,GAAG,cAAI,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC;QACnE,MAAM,KAAK,GAAG,IAAI,uBAAe,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC,CAAC;QAC7D,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;QAC1C,MAAM,KAAK,CAAC,UAAU,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,MAAM,aAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,KAAK,IAAI,EAAE;QAC/C,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9E,MAAM,MAAM,GAAG,IAAI,uBAAe,CAAC,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,CAAC;QAC7D,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;QACnC,MAAM,MAAM,CAAC,UAAU,EAAE,CAAC;QAE1B,MAAM,MAAM,GAAG,IAAI,uBAAe,CAAC,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,CAAC;QAC7D,MAAM,MAAM,CAAC,YAAY,EAAE,CAAC;QAC5B,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+CAA+C,EAAE,GAAG,EAAE;IAC7D,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,KAAK,GAAG,IAAI,uBAAe,EAAE,CAAC;QACpC,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,EAAE,GAAG,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAE9C,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;QACnC,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAE7B,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,MAAM,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,KAAK,GAAG,IAAI,uBAAe,EAAE,CAAC;QACpC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;IACxE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/parallel/parallel-pool.test.d.ts

@@ -0,0 +1,11 @@
+/**
+ * ST Parallel Profile Pool — Tests
+ * ==================================
+ * Valida:
+ *   - 3 perfiles en paralelo dan mismo resultado que 3 secuenciales.
+ *   - Si un perfil arroja, solo ese perfil marca error; los demás continúan.
+ *   - shutdownPool() limpia workers correctamente.
+ *   - Timeout por evaluación funciona.
+ */
+import '../../profiles';
+//# sourceMappingURL=parallel-pool.test.d.ts.map

package/dist/tests/parallel/parallel-pool.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parallel-pool.test.d.ts","sourceRoot":"","sources":["../../../src/tests/parallel/parallel-pool.test.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAKH,OAAO,gBAAgB,CAAC"}

package/dist/tests/parallel/parallel-pool.test.js

@@ -0,0 +1,192 @@
+"use strict";
+/**
+ * ST Parallel Profile Pool — Tests
+ * ==================================
+ * Valida:
+ *   - 3 perfiles en paralelo dan mismo resultado que 3 secuenciales.
+ *   - Si un perfil arroja, solo ese perfil marca error; los demás continúan.
+ *   - shutdownPool() limpia workers correctamente.
+ *   - Timeout por evaluación funciona.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const parallel_1 = require("../../runtime/parallel");
+const interface_1 = require("../../profiles/interface");
+require("../../profiles");
+// Fórmula tautológica simple (P -> P)
+const tautology = {
+    kind: 'implies',
+    args: [
+        { kind: 'atom', name: 'P' },
+        { kind: 'atom', name: 'P' },
+    ],
+};
+// Fórmula satisfiable simple (P)
+const atom = { kind: 'atom', name: 'P' };
+(0, vitest_1.afterAll)(async () => {
+    await (0, parallel_1.shutdownPool)();
+});
+// ── 1. Resultado paralelo === resultado secuencial ────────────────────────────
+(0, vitest_1.describe)('evalParallel: consistencia paralelo vs secuencial', () => {
+    (0, vitest_1.it)('3 perfiles en paralelo dan el mismo status que secuencial', async () => {
+        const profiles = ['classical.propositional', 'modal.k', 'intuitionistic.propositional'];
+        // Resultado secuencial (referencia)
+        const serial = {};
+        for (const name of profiles) {
+            const profile = interface_1.registry.get(name);
+            if (profile) {
+                serial[name] = profile.checkValid(tautology);
+            }
+        }
+        // Resultado paralelo
+        const result = await (0, parallel_1.evalParallel)(tautology, { profiles, timeoutMs: 8000 });
+        for (const name of profiles) {
+            const par = result.perProfile[name];
+            const seq = serial[name];
+            (0, vitest_1.expect)(par, `perProfile["${name}"] debe existir`).toBeDefined();
+            (0, vitest_1.expect)(seq, `serial["${name}"] debe existir`).toBeDefined();
+            if ('error' in par) {
+                (0, vitest_1.expect)('error' in seq).toBe(true);
+            }
+            else {
+                const parResult = par;
+                const seqResult = seq;
+                (0, vitest_1.expect)(parResult.status).toBe(seqResult.status);
+            }
+        }
+    });
+    (0, vitest_1.it)('resultado paralelo incluye todos los perfiles solicitados', async () => {
+        const profiles = ['classical.propositional', 'paraconsistent.belnap', 'deontic.standard'];
+        const result = await (0, parallel_1.evalParallel)(atom, { profiles, timeoutMs: 8000 });
+        for (const name of profiles) {
+            (0, vitest_1.expect)(result.perProfile[name], `falta perfil "${name}"`).toBeDefined();
+        }
+        (0, vitest_1.expect)(result.totalMs).toBeGreaterThanOrEqual(0);
+        (0, vitest_1.expect)(result.speedup).toBeGreaterThan(0);
+    });
+});
+// ── 2. Error en un perfil no afecta los demás ────────────────────────────────
+(0, vitest_1.describe)('evalParallel: aislamiento de errores', () => {
+    (0, vitest_1.it)('perfil inexistente produce error solo para ese perfil', async () => {
+        const profiles = ['classical.propositional', 'perfil.que.no.existe.jamas', 'modal.k'];
+        const result = await (0, parallel_1.evalParallel)(tautology, { profiles, timeoutMs: 8000 });
+        // El perfil real debe tener resultado
+        const classical = result.perProfile['classical.propositional'];
+        (0, vitest_1.expect)(classical).toBeDefined();
+        (0, vitest_1.expect)('error' in classical).toBe(false);
+        // El perfil inexistente debe tener error
+        const bad = result.perProfile['perfil.que.no.existe.jamas'];
+        (0, vitest_1.expect)(bad).toBeDefined();
+        (0, vitest_1.expect)('error' in bad).toBe(true);
+        (0, vitest_1.expect)(bad.error).toContain('Perfil desconocido');
+        // El modal también debe tener resultado válido
+        const modal = result.perProfile['modal.k'];
+        (0, vitest_1.expect)(modal).toBeDefined();
+        (0, vitest_1.expect)('error' in modal).toBe(false);
+    });
+    (0, vitest_1.it)('un perfil con error no impide que otros terminen', async () => {
+        const profiles = [
+            'epistemic.s5',
+            'perfil.inexistente.1',
+            'perfil.inexistente.2',
+            'paraconsistent.belnap',
+        ];
+        const result = await (0, parallel_1.evalParallel)(atom, { profiles, timeoutMs: 8000 });
+        const epistemic = result.perProfile['epistemic.s5'];
+        (0, vitest_1.expect)(epistemic).toBeDefined();
+        (0, vitest_1.expect)('error' in epistemic).toBe(false);
+        const belnap = result.perProfile['paraconsistent.belnap'];
+        (0, vitest_1.expect)(belnap).toBeDefined();
+        (0, vitest_1.expect)('error' in belnap).toBe(false);
+        (0, vitest_1.expect)(result.perProfile['perfil.inexistente.1'].error).toBeDefined();
+        (0, vitest_1.expect)(result.perProfile['perfil.inexistente.2'].error).toBeDefined();
+    });
+});
+// ── 3. shutdownPool limpia workers ───────────────────────────────────────────
+(0, vitest_1.describe)('shutdownPool: limpieza de workers', () => {
+    (0, vitest_1.it)('shutdownPool no lanza errores aunque se llame sin pool activo', async () => {
+        await (0, vitest_1.expect)((0, parallel_1.shutdownPool)()).resolves.toBeUndefined();
+    });
+    (0, vitest_1.it)('shutdownPool cierra workers del pool compartido sin error', async () => {
+        const profiles = ['classical.propositional', 'modal.k'];
+        // Crear pool compartido
+        await (0, parallel_1.evalParallel)(tautology, {
+            profiles,
+            shareWorkPool: true,
+            poolSize: 2,
+            timeoutMs: 8000,
+        });
+        // Shutdown no debe lanzar
+        await (0, vitest_1.expect)((0, parallel_1.shutdownPool)()).resolves.toBeUndefined();
+    });
+    (0, vitest_1.it)('después de shutdown, nueva evaluación funciona correctamente', async () => {
+        await (0, parallel_1.shutdownPool)();
+        const profiles = ['classical.propositional'];
+        const result = await (0, parallel_1.evalParallel)(tautology, { profiles, timeoutMs: 8000 });
+        (0, vitest_1.expect)(result.perProfile['classical.propositional']).toBeDefined();
+        (0, vitest_1.expect)('error' in result.perProfile['classical.propositional']).toBe(false);
+        await (0, parallel_1.shutdownPool)();
+    });
+});
+// ── 4. Timeout por evaluación ────────────────────────────────────────────────
+(0, vitest_1.describe)('evalParallel: timeout', () => {
+    (0, vitest_1.it)('timeout muy corto (1ms) hace que todos fallen o sean marcados como timeout', async () => {
+        const profiles = ['classical.propositional', 'modal.k'];
+        // Con timeout 1ms es imposible evaluar; el worker puede terminar más rápido
+        // pero el global timer se dispara y marca pendientes como timeout.
+        // Aceptamos que pueda completar o dar timeout, pero NO debe colgar.
+        const result = await (0, parallel_1.evalParallel)(tautology, { profiles, timeoutMs: 1 });
+        // Todos los perfiles deben tener algún resultado (sea RunResult o error)
+        for (const name of profiles) {
+            (0, vitest_1.expect)(result.perProfile[name], `falta perfil "${name}"`).toBeDefined();
+        }
+        (0, vitest_1.expect)(result.totalMs).toBeGreaterThanOrEqual(0);
+    }, 10000);
+    (0, vitest_1.it)('timeout suficiente permite completar la evaluación', async () => {
+        const profiles = ['classical.propositional'];
+        const result = await (0, parallel_1.evalParallel)(tautology, { profiles, timeoutMs: 5000 });
+        const r = result.perProfile['classical.propositional'];
+        (0, vitest_1.expect)(r).toBeDefined();
+        (0, vitest_1.expect)('error' in r).toBe(false);
+        (0, vitest_1.expect)(r.status).toBe('valid');
+    });
+});
+// ── 5. Casos borde ────────────────────────────────────────────────────────────
+(0, vitest_1.describe)('evalParallel: casos borde', () => {
+    (0, vitest_1.it)('lista de perfiles vacía devuelve resultado vacío', async () => {
+        const result = await (0, parallel_1.evalParallel)(tautology, { profiles: [] });
+        (0, vitest_1.expect)(Object.keys(result.perProfile)).toHaveLength(0);
+        (0, vitest_1.expect)(result.totalMs).toBeGreaterThanOrEqual(0);
+    });
+    (0, vitest_1.it)('un solo perfil funciona correctamente', async () => {
+        const result = await (0, parallel_1.evalParallel)(tautology, {
+            profiles: ['classical.propositional'],
+            timeoutMs: 5000,
+        });
+        const r = result.perProfile['classical.propositional'];
+        (0, vitest_1.expect)(r).toBeDefined();
+        (0, vitest_1.expect)('error' in r).toBe(false);
+        (0, vitest_1.expect)(r.status).toBe('valid');
+    });
+    (0, vitest_1.it)('shareWorkPool=true reutiliza workers entre llamadas', async () => {
+        const profiles = ['classical.propositional', 'modal.k'];
+        const r1 = await (0, parallel_1.evalParallel)(tautology, {
+            profiles,
+            shareWorkPool: true,
+            poolSize: 2,
+            timeoutMs: 8000,
+        });
+        const r2 = await (0, parallel_1.evalParallel)(atom, {
+            profiles,
+            shareWorkPool: true,
+            poolSize: 2,
+            timeoutMs: 8000,
+        });
+        for (const name of profiles) {
+            (0, vitest_1.expect)(r1.perProfile[name]).toBeDefined();
+            (0, vitest_1.expect)(r2.perProfile[name]).toBeDefined();
+        }
+        await (0, parallel_1.shutdownPool)();
+    });
+});
+//# sourceMappingURL=parallel-pool.test.js.map

package/dist/tests/parallel/parallel-pool.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parallel-pool.test.js","sourceRoot":"","sources":["../../../src/tests/parallel/parallel-pool.test.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;AAEH,mCAAwD;AACxD,qDAAoE;AACpE,wDAAoD;AACpD,0BAAwB;AAGxB,sCAAsC;AACtC,MAAM,SAAS,GAAY;IACzB,IAAI,EAAE,SAAS;IACf,IAAI,EAAE;QACJ,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE;QAC3B,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE;KAC5B;CACF,CAAC;AAEF,iCAAiC;AACjC,MAAM,IAAI,GAAY,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AAElD,IAAA,iBAAQ,EAAC,KAAK,IAAI,EAAE;IAClB,MAAM,IAAA,uBAAY,GAAE,CAAC;AACvB,CAAC,CAAC,CAAC;AAEH,iFAAiF;AACjF,IAAA,iBAAQ,EAAC,mDAAmD,EAAE,GAAG,EAAE;IACjE,IAAA,WAAE,EAAC,2DAA2D,EAAE,KAAK,IAAI,EAAE;QACzE,MAAM,QAAQ,GAAG,CAAC,yBAAyB,EAAE,SAAS,EAAE,8BAA8B,CAAC,CAAC;QAExF,oCAAoC;QACpC,MAAM,MAAM,GAAkD,EAAE,CAAC;QACjE,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAG,oBAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACnC,IAAI,OAAO,EAAE,CAAC;gBACZ,MAAM,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;YAC/C,CAAC;QACH,CAAC;QAED,qBAAqB;QACrB,MAAM,MAAM,GAAG,MAAM,IAAA,uBAAY,EAAC,SAAS,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAE5E,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;YACpC,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;YAEzB,IAAA,eAAM,EAAC,GAAG,EAAE,eAAe,IAAI,iBAAiB,CAAC,CAAC,WAAW,EAAE,CAAC;YAChE,IAAA,eAAM,EAAC,GAAG,EAAE,WAAW,IAAI,iBAAiB,CAAC,CAAC,WAAW,EAAE,CAAC;YAE5D,IAAI,OAAO,IAAK,GAA0B,EAAE,CAAC;gBAC3C,IAAA,eAAM,EAAC,OAAO,IAAK,GAA0B,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5D,CAAC;iBAAM,CAAC;gBACN,MAAM,SAAS,GAAG,GAAgB,CAAC;gBACnC,MAAM,SAAS,GAAG,GAAgB,CAAC;gBACnC,IAAA,eAAM,EAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;YAClD,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,KAAK,IAAI,EAAE;QACzE,MAAM,QAAQ,GAAG,CAAC,yBAAyB,EAAE,uBAAuB,EAAE,kBAAkB,CAAC,CAAC;QAE1F,MAAM,MAAM,GAAG,MAAM,IAAA,uBAAY,EAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAEvE,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,IAAA,eAAM,EAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,iBAAiB,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1E,CAAC;QAED,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAChF,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,uDAAuD,EAAE,KAAK,IAAI,EAAE;QACrE,MAAM,QAAQ,GAAG,CAAC,yBAAyB,EAAE,4BAA4B,EAAE,SAAS,CAAC,CAAC;QAEtF,MAAM,MAAM,GAAG,MAAM,IAAA,uBAAY,EAAC,SAAS,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAE5E,sCAAsC;QACtC,MAAM,SAAS,GAAG,MAAM,CAAC,UAAU,CAAC,yBAAyB,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;QAChC,IAAA,eAAM,EAAC,OAAO,IAAK,SAAgC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAEjE,yCAAyC;QACzC,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,CAAC,4BAA4B,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1B,IAAA,eAAM,EAAC,OAAO,IAAK,GAAyB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,IAAA,eAAM,EAAE,GAAyB,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;QAEzE,+CAA+C;QAC/C,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5B,IAAA,eAAM,EAAC,OAAO,IAAK,KAA4B,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,KAAK,IAAI,EAAE;QAChE,MAAM,QAAQ,GAAG;YACf,cAAc;YACd,sBAAsB;YACtB,sBAAsB;YACtB,uBAAuB;SACxB,CAAC;QAEF,MAAM,MAAM,GAAG,MAAM,IAAA,uBAAY,EAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAEvE,MAAM,SAAS,GAAG,MAAM,CAAC,UAAU,CAAC,cAAc,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;QAChC,IAAA,eAAM,EAAC,OAAO,IAAK,SAAgC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAEjE,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,uBAAuB,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,OAAO,IAAK,MAA6B,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAE9D,IAAA,eAAM,EAAE,MAAM,CAAC,UAAU,CAAC,sBAAsB,CAAuB,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC7F,IAAA,eAAM,EAAE,MAAM,CAAC,UAAU,CAAC,sBAAsB,CAAuB,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;IAC/F,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAChF,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,+DAA+D,EAAE,KAAK,IAAI,EAAE;QAC7E,MAAM,IAAA,eAAM,EAAC,IAAA,uBAAY,GAAE,CAAC,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,KAAK,IAAI,EAAE;QACzE,MAAM,QAAQ,GAAG,CAAC,yBAAyB,EAAE,SAAS,CAAC,CAAC;QAExD,wBAAwB;QACxB,MAAM,IAAA,uBAAY,EAAC,SAAS,EAAE;YAC5B,QAAQ;YACR,aAAa,EAAE,IAAI;YACnB,QAAQ,EAAE,CAAC;YACX,SAAS,EAAE,IAAI;SAChB,CAAC,CAAC;QAEH,0BAA0B;QAC1B,MAAM,IAAA,eAAM,EAAC,IAAA,uBAAY,GAAE,CAAC,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,KAAK,IAAI,EAAE;QAC5E,MAAM,IAAA,uBAAY,GAAE,CAAC;QAErB,MAAM,QAAQ,GAAG,CAAC,yBAAyB,CAAC,CAAC;QAC7C,MAAM,MAAM,GAAG,MAAM,IAAA,uBAAY,EAAC,SAAS,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAE5E,IAAA,eAAM,EAAC,MAAM,CAAC,UAAU,CAAC,yBAAyB,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QACnE,IAAA,eAAM,EAAC,OAAO,IAAK,MAAM,CAAC,UAAU,CAAC,yBAAyB,CAAwB,CAAC,CAAC,IAAI,CAC1F,KAAK,CACN,CAAC;QAEF,MAAM,IAAA,uBAAY,GAAE,CAAC;IACvB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAChF,IAAA,iBAAQ,EAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,IAAA,WAAE,EAAC,4EAA4E,EAAE,KAAK,IAAI,EAAE;QAC1F,MAAM,QAAQ,GAAG,CAAC,yBAAyB,EAAE,SAAS,CAAC,CAAC;QAExD,4EAA4E;QAC5E,mEAAmE;QACnE,oEAAoE;QACpE,MAAM,MAAM,GAAG,MAAM,IAAA,uBAAY,EAAC,SAAS,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,CAAC;QAEzE,yEAAyE;QACzE,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,IAAA,eAAM,EAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,iBAAiB,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1E,CAAC;QAED,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,EAAE,KAAK,CAAC,CAAC;IAEV,IAAA,WAAE,EAAC,oDAAoD,EAAE,KAAK,IAAI,EAAE;QAClE,MAAM,QAAQ,GAAG,CAAC,yBAAyB,CAAC,CAAC;QAC7C,MAAM,MAAM,GAAG,MAAM,IAAA,uBAAY,EAAC,SAAS,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAE5E,MAAM,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,yBAAyB,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QACxB,IAAA,eAAM,EAAC,OAAO,IAAK,CAAwB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzD,IAAA,eAAM,EAAE,CAAe,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AACjF,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,kDAAkD,EAAE,KAAK,IAAI,EAAE;QAChE,MAAM,MAAM,GAAG,MAAM,IAAA,uBAAY,EAAC,SAAS,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,KAAK,IAAI,EAAE;QACrD,MAAM,MAAM,GAAG,MAAM,IAAA,uBAAY,EAAC,SAAS,EAAE;YAC3C,QAAQ,EAAE,CAAC,yBAAyB,CAAC;YACrC,SAAS,EAAE,IAAI;SAChB,CAAC,CAAC;QAEH,MAAM,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,yBAAyB,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QACxB,IAAA,eAAM,EAAC,OAAO,IAAK,CAAwB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzD,IAAA,eAAM,EAAE,CAAe,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,KAAK,IAAI,EAAE;QACnE,MAAM,QAAQ,GAAG,CAAC,yBAAyB,EAAE,SAAS,CAAC,CAAC;QAExD,MAAM,EAAE,GAAG,MAAM,IAAA,uBAAY,EAAC,SAAS,EAAE;YACvC,QAAQ;YACR,aAAa,EAAE,IAAI;YACnB,QAAQ,EAAE,CAAC;YACX,SAAS,EAAE,IAAI;SAChB,CAAC,CAAC;QAEH,MAAM,EAAE,GAAG,MAAM,IAAA,uBAAY,EAAC,IAAI,EAAE;YAClC,QAAQ;YACR,aAAa,EAAE,IAAI;YACnB,QAAQ,EAAE,CAAC;YACX,SAAS,EAAE,IAAI;SAChB,CAAC,CAAC;QAEH,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;YAC1C,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5C,CAAC;QAED,MAAM,IAAA,uBAAY,GAAE,CAAC;IACvB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/plugin-system/demo-min-logic.test.d.ts

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

package/dist/tests/plugin-system/demo-min-logic.test.d.ts.map

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

package/dist/tests/plugin-system/demo-min-logic.test.js

@@ -0,0 +1,85 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const plugin_system_1 = require("../../plugin-system");
+function atom(name) {
+    return { kind: 'atom', name };
+}
+function and(...args) {
+    return { kind: 'and', args };
+}
+function or(...args) {
+    return { kind: 'or', args };
+}
+function not(f) {
+    return { kind: 'not', args: [f] };
+}
+function implies(a, b) {
+    return { kind: 'implies', args: [a, b] };
+}
+(0, vitest_1.describe)('Plugin demo: min-logic (3 valores)', () => {
+    (0, vitest_1.beforeEach)(() => {
+        plugin_system_1.ProfileRegistry.clear();
+    });
+    (0, vitest_1.it)('se registra y aparece en list()', () => {
+        plugin_system_1.ProfileRegistry.register(plugin_system_1.minLogicPlugin);
+        (0, vitest_1.expect)(plugin_system_1.ProfileRegistry.has('min')).toBe(true);
+        const info = plugin_system_1.ProfileRegistry.list()[0];
+        (0, vitest_1.expect)(info?.name).toBe('min');
+        (0, vitest_1.expect)(info?.version).toBe('1.0.0');
+    });
+    (0, vitest_1.it)('get("min").evaluate hace min para ∧ y max para ∨', () => {
+        plugin_system_1.ProfileRegistry.register(plugin_system_1.minLogicPlugin);
+        const plugin = plugin_system_1.ProfileRegistry.get('min');
+        (0, vitest_1.expect)(plugin).toBeDefined();
+        if (!plugin)
+            return;
+        const andResult = plugin.evaluate(and(atom('P'), atom('Q')), { P: 1, Q: 0.5 });
+        (0, vitest_1.expect)(andResult).toBe(0.5);
+        const orResult = plugin.evaluate(or(atom('P'), atom('Q')), { P: 0, Q: 0.5 });
+        (0, vitest_1.expect)(orResult).toBe(0.5);
+        const notResult = plugin.evaluate(not(atom('P')), { P: 0 });
+        (0, vitest_1.expect)(notResult).toBe(1);
+        const notHalf = plugin.evaluate(not(atom('P')), { P: 0.5 });
+        (0, vitest_1.expect)(notHalf).toBe(0.5);
+    });
+    (0, vitest_1.it)('boolean inputs se mapean (true=1, false=0)', () => {
+        const plugin = plugin_system_1.minLogicPlugin;
+        (0, vitest_1.expect)(plugin.evaluate(atom('A'), { A: true })).toBe(1);
+        (0, vitest_1.expect)(plugin.evaluate(atom('A'), { A: false })).toBe(0);
+    });
+    (0, vitest_1.it)('atom no presente en env devuelve unknown (0.5)', () => {
+        const plugin = plugin_system_1.minLogicPlugin;
+        (0, vitest_1.expect)(plugin.evaluate(atom('Z'), {})).toBe(0.5);
+    });
+    (0, vitest_1.it)('implies usa max(1 - p, q)', () => {
+        const plugin = plugin_system_1.minLogicPlugin;
+        (0, vitest_1.expect)(plugin.evaluate(implies(atom('P'), atom('Q')), { P: 1, Q: 0 })).toBe(0);
+        (0, vitest_1.expect)(plugin.evaluate(implies(atom('P'), atom('Q')), { P: 0, Q: 0 })).toBe(1);
+        (0, vitest_1.expect)(plugin.evaluate(implies(atom('P'), atom('Q')), { P: 0.5, Q: 0.5 })).toBe(0.5);
+    });
+    (0, vitest_1.it)('checkValid detecta tautología (P ∨ ¬P NO es tautología en lógica min)', () => {
+        const result = plugin_system_1.minLogicPlugin.checkValid(or(atom('P'), not(atom('P'))));
+        (0, vitest_1.expect)(result.valid).toBe(false);
+        (0, vitest_1.expect)(result.result).toContain('contraejemplo');
+    });
+    (0, vitest_1.it)('checkValid: TRUE constante es válido', () => {
+        const result = plugin_system_1.minLogicPlugin.checkValid({ kind: 'true' });
+        (0, vitest_1.expect)(result.valid).toBe(true);
+    });
+    (0, vitest_1.it)('checkValid: (TRUE ∨ P) es válido en lógica min (max(1,p) = 1)', () => {
+        const result = plugin_system_1.minLogicPlugin.checkValid(or({ kind: 'true' }, atom('P')));
+        (0, vitest_1.expect)(result.valid).toBe(true);
+    });
+    (0, vitest_1.it)('checkValid: (P → P) NO es tautología en Kleene strong (contraejemplo P=0.5)', () => {
+        const result = plugin_system_1.minLogicPlugin.checkValid(implies(atom('P'), atom('P')));
+        (0, vitest_1.expect)(result.valid).toBe(false);
+    });
+    (0, vitest_1.it)('supportedOperators expone los conectores del fragmento', () => {
+        (0, vitest_1.expect)(plugin_system_1.minLogicPlugin.supportedOperators?.has('and')).toBe(true);
+        (0, vitest_1.expect)(plugin_system_1.minLogicPlugin.supportedOperators?.has('or')).toBe(true);
+        (0, vitest_1.expect)(plugin_system_1.minLogicPlugin.supportedOperators?.has('not')).toBe(true);
+        (0, vitest_1.expect)(plugin_system_1.minLogicPlugin.supportedOperators?.has('implies')).toBe(true);
+    });
+});
+//# sourceMappingURL=demo-min-logic.test.js.map

package/dist/tests/plugin-system/demo-min-logic.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"demo-min-logic.test.js","sourceRoot":"","sources":["../../../src/tests/plugin-system/demo-min-logic.test.ts"],"names":[],"mappings":";;AAAA,mCAA0D;AAC1D,uDAAsE;AAGtE,SAAS,IAAI,CAAC,IAAY;IACxB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAChC,CAAC;AACD,SAAS,GAAG,CAAC,GAAG,IAAe;IAC7B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AAC/B,CAAC;AACD,SAAS,EAAE,CAAC,GAAG,IAAe;IAC5B,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AAC9B,CAAC;AACD,SAAS,GAAG,CAAC,CAAU;IACrB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;AACpC,CAAC;AACD,SAAS,OAAO,CAAC,CAAU,EAAE,CAAU;IACrC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AAC3C,CAAC;AAED,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,mBAAU,EAAC,GAAG,EAAE;QACd,+BAAe,CAAC,KAAK,EAAE,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,+BAAe,CAAC,QAAQ,CAAC,8BAAc,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,+BAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,MAAM,IAAI,GAAG,+BAAe,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAI,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,+BAAe,CAAC,QAAQ,CAAC,8BAAc,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,+BAAe,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;QAC7B,IAAI,CAAC,MAAM;YAAE,OAAO;QAEpB,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;QAC/E,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAE5B,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;QAC7E,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAE3B,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAE1B,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,MAAM,GAAG,8BAAc,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,MAAM,GAAG,8BAAc,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,MAAM,GAAG,8BAAc,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/E,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/E,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACvF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,MAAM,GAAG,8BAAc,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,MAAM,GAAG,8BAAc,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,MAAM,GAAG,8BAAc,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC1E,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,MAAM,MAAM,GAAG,8BAAc,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,IAAA,eAAM,EAAC,8BAAc,CAAC,kBAAkB,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,8BAAc,CAAC,kBAAkB,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,8BAAc,CAAC,kBAAkB,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,8BAAc,CAAC,kBAAkB,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/plugin-system/registry.test.d.ts

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

package/dist/tests/plugin-system/registry.test.d.ts.map

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