@stevenvo780/st-lang 4.3.0 → 4.5.0

package/dist/tests/theorem-cache/cache.test.js

@@ -0,0 +1,510 @@
+"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 theorem_cache_1 = require("../../runtime/theorem-cache");
+function baseMeta(overrides) {
+    return {
+        provedAt: overrides?.provedAt ?? '2026-05-17T12:00:00.000Z',
+        ms: overrides?.ms ?? 42,
+        provedBy: overrides?.provedBy,
+    };
+}
+(0, vitest_1.describe)('canonicalize', () => {
+    (0, vitest_1.it)('mapea identificadores en orden de aparición', () => {
+        (0, vitest_1.expect)((0, theorem_cache_1.canonicalString)('P -> Q')).toBe('?0 -> ?1');
+    });
+    (0, vitest_1.it)('mismas posiciones reciben mismo placeholder', () => {
+        (0, vitest_1.expect)((0, theorem_cache_1.canonicalString)('P -> P')).toBe('?0 -> ?0');
+    });
+    (0, vitest_1.it)('P->P y Q->Q producen la misma forma canónica', () => {
+        (0, vitest_1.expect)((0, theorem_cache_1.canonicalString)('P -> P')).toBe((0, theorem_cache_1.canonicalString)('Q -> Q'));
+    });
+    (0, vitest_1.it)('preserva operadores y paréntesis', () => {
+        (0, vitest_1.expect)((0, theorem_cache_1.canonicalString)('(P and Q) -> P')).toBe('(?0 and ?1) -> ?0');
+    });
+    (0, vitest_1.it)('normaliza whitespace agresivo', () => {
+        (0, vitest_1.expect)((0, theorem_cache_1.canonicalString)('  P   ->\tP\n')).toBe((0, theorem_cache_1.canonicalString)('P -> P'));
+    });
+    (0, vitest_1.it)('no renombra palabras reservadas', () => {
+        const out = (0, theorem_cache_1.canonicalize)('not P or Q');
+        (0, vitest_1.expect)(out.canonical).toBe('not ?0 or ?1');
+    });
+    (0, vitest_1.it)('forward y reverse son consistentes', () => {
+        const out = (0, theorem_cache_1.canonicalize)('P -> Q -> P');
+        (0, vitest_1.expect)(out.forward.get('P')).toBe('?0');
+        (0, vitest_1.expect)(out.forward.get('Q')).toBe('?1');
+        (0, vitest_1.expect)(out.reverse.get('?0')).toBe('P');
+        (0, vitest_1.expect)(out.reverse.get('?1')).toBe('Q');
+    });
+});
+(0, vitest_1.describe)('computeSubstitution / applySubstitution', () => {
+    (0, vitest_1.it)('mapea P->P a Q->Q', () => {
+        const sub = (0, theorem_cache_1.computeSubstitution)('P -> P', 'Q -> Q');
+        (0, vitest_1.expect)(sub).toEqual({ P: 'Q' });
+    });
+    (0, vitest_1.it)('mapea (P and Q) -> P a (A and B) -> A', () => {
+        const sub = (0, theorem_cache_1.computeSubstitution)('(P and Q) -> P', '(A and B) -> A');
+        (0, vitest_1.expect)(sub).toEqual({ P: 'A', Q: 'B' });
+    });
+    (0, vitest_1.it)('retorna undefined si la estructura difiere', () => {
+        (0, vitest_1.expect)((0, theorem_cache_1.computeSubstitution)('P -> Q', 'P and Q')).toBeUndefined();
+    });
+    (0, vitest_1.it)('aplica substitución preservando operadores', () => {
+        const out = (0, theorem_cache_1.applySubstitution)('P -> Q and not P', { P: 'A', Q: 'B' });
+        (0, vitest_1.expect)(out).toBe('A -> B and not A');
+    });
+    (0, vitest_1.it)('applySubstitution no toca reservadas', () => {
+        const out = (0, theorem_cache_1.applySubstitution)('not P or P', { P: 'X', not: 'BAD' });
+        (0, vitest_1.expect)(out).toBe('not X or X');
+    });
+});
+(0, vitest_1.describe)('matchPattern', () => {
+    (0, vitest_1.it)('?x -> ?x matchea P -> P con x=P', () => {
+        (0, vitest_1.expect)((0, theorem_cache_1.matchPattern)('?x -> ?x', 'P -> P')).toEqual({ x: 'P' });
+    });
+    (0, vitest_1.it)('?x -> ?x NO matchea P -> Q', () => {
+        (0, vitest_1.expect)((0, theorem_cache_1.matchPattern)('?x -> ?x', 'P -> Q')).toBeUndefined();
+    });
+    (0, vitest_1.it)('?x -> ?y matchea P -> Q', () => {
+        (0, vitest_1.expect)((0, theorem_cache_1.matchPattern)('?x -> ?y', 'P -> Q')).toEqual({ x: 'P', y: 'Q' });
+    });
+    (0, vitest_1.it)('?x -> ?y matchea P -> P (vars distintas pueden coincidir)', () => {
+        (0, vitest_1.expect)((0, theorem_cache_1.matchPattern)('?x -> ?y', 'P -> P')).toEqual({ x: 'P', y: 'P' });
+    });
+    (0, vitest_1.it)('patternMatches sobre fórmula con paréntesis', () => {
+        (0, vitest_1.expect)((0, theorem_cache_1.patternMatches)('(?x and ?y) -> ?x', '(A and B) -> A')).toBe(true);
+        (0, vitest_1.expect)((0, theorem_cache_1.patternMatches)('(?x and ?y) -> ?x', '(A and B) -> B')).toBe(false);
+    });
+    (0, vitest_1.it)('rechaza match si metavariable se liga a operador', () => {
+        (0, vitest_1.expect)((0, theorem_cache_1.matchPattern)('?x', 'and')).toBeUndefined();
+    });
+});
+(0, vitest_1.describe)('TheoremCache — store/retrieve', () => {
+    (0, vitest_1.it)('store + retrieve round-trip', () => {
+        const cache = new theorem_cache_1.TheoremCache();
+        const id = cache.store({
+            formula: 'P -> P',
+            normalizedFormula: '',
+            profile: 'classical',
+            proof: { steps: ['assume P', 'derive P'] },
+            metadata: baseMeta(),
+        });
+        (0, vitest_1.expect)(id).toMatch(/^[a-f0-9]+$/);
+        const retrieved = cache.retrieve('P -> P', 'classical');
+        (0, vitest_1.expect)(retrieved).toBeDefined();
+        (0, vitest_1.expect)(retrieved?.id).toBe(id);
+        (0, vitest_1.expect)(retrieved?.profile).toBe('classical');
+    });
+    (0, vitest_1.it)('retrieve para clave inexistente devuelve undefined y suma miss', () => {
+        const cache = new theorem_cache_1.TheoremCache();
+        (0, vitest_1.expect)(cache.retrieve('P', 'classical')).toBeUndefined();
+        (0, vitest_1.expect)(cache.stats().misses).toBe(1);
+        (0, vitest_1.expect)(cache.stats().hits).toBe(0);
+    });
+    (0, vitest_1.it)('retrieve para alpha-equivalente da hit', () => {
+        const cache = new theorem_cache_1.TheoremCache();
+        cache.store({
+            formula: 'P -> P',
+            normalizedFormula: '',
+            profile: 'classical',
+            proof: 'identity',
+            metadata: baseMeta(),
+        });
+        const hit = cache.retrieve('Q -> Q', 'classical');
+        (0, vitest_1.expect)(hit).toBeDefined();
+        (0, vitest_1.expect)(hit?.formula).toBe('P -> P'); // original almacenado
+        (0, vitest_1.expect)(cache.stats().hits).toBe(1);
+    });
+    (0, vitest_1.it)('mismo formula en distintos profiles → entradas separadas', () => {
+        const cache = new theorem_cache_1.TheoremCache();
+        cache.store({
+            formula: 'P or not P',
+            normalizedFormula: '',
+            profile: 'classical',
+            proof: 'lem',
+            metadata: baseMeta(),
+        });
+        cache.store({
+            formula: 'P or not P',
+            normalizedFormula: '',
+            profile: 'intuitionistic',
+            proof: 'rejected',
+            metadata: baseMeta(),
+        });
+        (0, vitest_1.expect)(cache.stats().entries).toBe(2);
+        (0, vitest_1.expect)(cache.retrieve('P or not P', 'classical')?.proof).toBe('lem');
+        (0, vitest_1.expect)(cache.retrieve('P or not P', 'intuitionistic')?.proof).toBe('rejected');
+    });
+    (0, vitest_1.it)('exists no afecta hits/misses', () => {
+        const cache = new theorem_cache_1.TheoremCache();
+        cache.store({
+            formula: 'P',
+            normalizedFormula: '',
+            profile: 'classical',
+            proof: null,
+            metadata: baseMeta(),
+        });
+        (0, vitest_1.expect)(cache.exists('P', 'classical')).toBe(true);
+        (0, vitest_1.expect)(cache.exists('Q', 'classical')).toBe(true); // alpha-equivalente
+        (0, vitest_1.expect)(cache.exists('P', 'modal')).toBe(false);
+        const s = cache.stats();
+        (0, vitest_1.expect)(s.hits).toBe(0);
+        (0, vitest_1.expect)(s.misses).toBe(0);
+    });
+    (0, vitest_1.it)('store sobre clave existente reemplaza y mantiene size', () => {
+        const cache = new theorem_cache_1.TheoremCache();
+        const id1 = cache.store({
+            formula: 'P -> P',
+            normalizedFormula: '',
+            profile: 'classical',
+            proof: 'v1',
+            metadata: baseMeta(),
+        });
+        const id2 = cache.store({
+            formula: 'X -> X',
+            normalizedFormula: '',
+            profile: 'classical',
+            proof: 'v2',
+            metadata: baseMeta(),
+        });
+        (0, vitest_1.expect)(id1).toBe(id2);
+        (0, vitest_1.expect)(cache.stats().entries).toBe(1);
+        (0, vitest_1.expect)(cache.retrieve('Z -> Z', 'classical')?.proof).toBe('v2');
+    });
+    (0, vitest_1.it)('remove borra una entrada por id', () => {
+        const cache = new theorem_cache_1.TheoremCache();
+        const id = cache.store({
+            formula: 'P',
+            normalizedFormula: '',
+            profile: 'classical',
+            proof: null,
+            metadata: baseMeta(),
+        });
+        (0, vitest_1.expect)(cache.remove(id)).toBe(true);
+        (0, vitest_1.expect)(cache.remove(id)).toBe(false);
+        (0, vitest_1.expect)(cache.stats().entries).toBe(0);
+    });
+    (0, vitest_1.it)('clear resetea todo', () => {
+        const cache = new theorem_cache_1.TheoremCache();
+        cache.store({
+            formula: 'P',
+            normalizedFormula: '',
+            profile: 'classical',
+            proof: null,
+            metadata: baseMeta(),
+        });
+        cache.retrieve('P', 'classical');
+        cache.retrieve('NOPE', 'classical');
+        cache.clear();
+        const s = cache.stats();
+        (0, vitest_1.expect)(s.entries).toBe(0);
+        (0, vitest_1.expect)(s.hits).toBe(0);
+        (0, vitest_1.expect)(s.misses).toBe(0);
+    });
+});
+(0, vitest_1.describe)('TheoremCache — LRU eviction', () => {
+    (0, vitest_1.it)('al exceder maxEntries evicta la entrada más vieja', () => {
+        // Formulas estructuralmente distintas para que NO colisionen al
+        // canonicalizar.
+        const cache = new theorem_cache_1.TheoremCache({ maxEntries: 3 });
+        cache.store({
+            formula: 'A',
+            normalizedFormula: '',
+            profile: 'p',
+            proof: null,
+            metadata: baseMeta(),
+        });
+        cache.store({
+            formula: 'B and B',
+            normalizedFormula: '',
+            profile: 'p',
+            proof: null,
+            metadata: baseMeta(),
+        });
+        cache.store({
+            formula: 'C or C',
+            normalizedFormula: '',
+            profile: 'p',
+            proof: null,
+            metadata: baseMeta(),
+        });
+        cache.store({
+            formula: 'D -> D',
+            normalizedFormula: '',
+            profile: 'p',
+            proof: null,
+            metadata: baseMeta(),
+        });
+        (0, vitest_1.expect)(cache.stats().entries).toBe(3);
+        // A fue la más vieja → evictada
+        (0, vitest_1.expect)(cache.exists('A', 'p')).toBe(false);
+        (0, vitest_1.expect)(cache.exists('D -> D', 'p')).toBe(true);
+    });
+    (0, vitest_1.it)('retrieve promueve a MRU (no se evicta luego)', () => {
+        const cache = new theorem_cache_1.TheoremCache({ maxEntries: 3 });
+        cache.store({
+            formula: 'A',
+            normalizedFormula: '',
+            profile: 'p',
+            proof: null,
+            metadata: baseMeta(),
+        });
+        cache.store({
+            formula: 'B and B',
+            normalizedFormula: '',
+            profile: 'p',
+            proof: null,
+            metadata: baseMeta(),
+        });
+        cache.store({
+            formula: 'C or C',
+            normalizedFormula: '',
+            profile: 'p',
+            proof: null,
+            metadata: baseMeta(),
+        });
+        // Promovemos A.
+        cache.retrieve('A', 'p');
+        // Insertamos D → debería evictar B and B (ahora la más vieja).
+        cache.store({
+            formula: 'D -> D',
+            normalizedFormula: '',
+            profile: 'p',
+            proof: null,
+            metadata: baseMeta(),
+        });
+        (0, vitest_1.expect)(cache.exists('A', 'p')).toBe(true);
+        (0, vitest_1.expect)(cache.exists('B and B', 'p')).toBe(false);
+        (0, vitest_1.expect)(cache.exists('D -> D', 'p')).toBe(true);
+    });
+});
+(0, vitest_1.describe)('TheoremCache — retrieveByPattern', () => {
+    (0, vitest_1.it)('?x -> ?x matchea fórmulas auto-implicantes', () => {
+        // P -> P y R -> R son alpha-equivalentes (mismo profile → colisionan
+        // en un único slot). Usamos profiles distintos para mantener las dos.
+        const cache = new theorem_cache_1.TheoremCache();
+        cache.store({
+            formula: 'P -> P',
+            normalizedFormula: '',
+            profile: 'classical',
+            proof: 'id1',
+            metadata: baseMeta(),
+        });
+        cache.store({
+            formula: 'P -> Q',
+            normalizedFormula: '',
+            profile: 'classical',
+            proof: 'id2',
+            metadata: baseMeta(),
+        });
+        cache.store({
+            formula: 'R -> R',
+            normalizedFormula: '',
+            profile: 'intuitionistic',
+            proof: 'id3',
+            metadata: baseMeta(),
+        });
+        const hits = cache.retrieveByPattern('?x -> ?x');
+        (0, vitest_1.expect)(hits.length).toBe(2);
+        const formulas = hits.map((h) => h.formula).sort();
+        (0, vitest_1.expect)(formulas).toEqual(['P -> P', 'R -> R']);
+    });
+    (0, vitest_1.it)('patrón sin match devuelve array vacío', () => {
+        const cache = new theorem_cache_1.TheoremCache();
+        cache.store({
+            formula: 'P -> P',
+            normalizedFormula: '',
+            profile: 'classical',
+            proof: null,
+            metadata: baseMeta(),
+        });
+        (0, vitest_1.expect)(cache.retrieveByPattern('?x and ?y')).toEqual([]);
+    });
+});
+(0, vitest_1.describe)('TheoremCache — saveToDisk + loadFromDisk', () => {
+    let tmpDir;
+    let tmpFile;
+    (0, vitest_1.beforeEach)(async () => {
+        tmpDir = await fs_1.promises.mkdtemp(path_1.default.join(os_1.default.tmpdir(), 'st-theorem-cache-'));
+        tmpFile = path_1.default.join(tmpDir, 'theorems.json');
+    });
+    (0, vitest_1.afterEach)(async () => {
+        await fs_1.promises.rm(tmpDir, { recursive: true, force: true });
+    });
+    (0, vitest_1.it)('roundtrip preserva entradas', async () => {
+        const c1 = new theorem_cache_1.TheoremCache({ persistPath: tmpFile });
+        c1.store({
+            formula: 'P -> P',
+            normalizedFormula: '',
+            profile: 'classical',
+            proof: { kind: 'tree', steps: 3 },
+            metadata: baseMeta({ provedBy: 'fol-prover' }),
+        });
+        c1.store({
+            formula: 'Q and R',
+            normalizedFormula: '',
+            profile: 'classical',
+            proof: 'opaque',
+            metadata: baseMeta(),
+        });
+        await c1.saveToDisk();
+        const c2 = new theorem_cache_1.TheoremCache({ persistPath: tmpFile });
+        const loaded = await c2.loadFromDisk();
+        (0, vitest_1.expect)(loaded).toBe(2);
+        (0, vitest_1.expect)(c2.stats().entries).toBe(2);
+        const r1 = c2.retrieve('P -> P', 'classical');
+        (0, vitest_1.expect)(r1?.proof).toEqual({ kind: 'tree', steps: 3 });
+        (0, vitest_1.expect)(r1?.metadata.provedBy).toBe('fol-prover');
+        const r2 = c2.retrieve('Q and R', 'classical');
+        (0, vitest_1.expect)(r2?.proof).toBe('opaque');
+    });
+    (0, vitest_1.it)('loadFromDisk en archivo inexistente devuelve 0', async () => {
+        const c = new theorem_cache_1.TheoremCache({ persistPath: path_1.default.join(tmpDir, 'nope.json') });
+        (0, vitest_1.expect)(await c.loadFromDisk()).toBe(0);
+        (0, vitest_1.expect)(c.stats().entries).toBe(0);
+    });
+    (0, vitest_1.it)('save crea el directorio padre si no existe', async () => {
+        const deep = path_1.default.join(tmpDir, 'a', 'b', 'c', 'cache.json');
+        const c = new theorem_cache_1.TheoremCache({ persistPath: deep });
+        c.store({
+            formula: 'P',
+            normalizedFormula: '',
+            profile: 'classical',
+            proof: null,
+            metadata: baseMeta(),
+        });
+        await c.saveToDisk();
+        const stat = await fs_1.promises.stat(deep);
+        (0, vitest_1.expect)(stat.isFile()).toBe(true);
+    });
+    (0, vitest_1.it)('loadFromDisk ignora entradas corruptas', async () => {
+        await fs_1.promises.writeFile(tmpFile, JSON.stringify([
+            {
+                id: 'x',
+                formula: 'P',
+                normalizedFormula: '?0',
+                profile: 'classical',
+                proof: null,
+                metadata: { provedAt: 'now', ms: 1 },
+            },
+            { id: 'y' }, // incompleto
+            'not-an-object',
+        ]), 'utf-8');
+        const c = new theorem_cache_1.TheoremCache({ persistPath: tmpFile });
+        const loaded = await c.loadFromDisk();
+        (0, vitest_1.expect)(loaded).toBe(1);
+    });
+    (0, vitest_1.it)('loadFromDisk no-op silencioso ante JSON inválido', async () => {
+        await fs_1.promises.writeFile(tmpFile, 'not-json{', 'utf-8');
+        const c = new theorem_cache_1.TheoremCache({ persistPath: tmpFile });
+        (0, vitest_1.expect)(await c.loadFromDisk()).toBe(0);
+    });
+});
+(0, vitest_1.describe)('TheoremCache — stats', () => {
+    (0, vitest_1.it)('reporta entries y storedBytes positivos', () => {
+        const cache = new theorem_cache_1.TheoremCache();
+        cache.store({
+            formula: 'P -> P',
+            normalizedFormula: '',
+            profile: 'classical',
+            proof: 'identity',
+            metadata: baseMeta(),
+        });
+        const s = cache.stats();
+        (0, vitest_1.expect)(s.entries).toBe(1);
+        (0, vitest_1.expect)(s.storedBytes).toBeGreaterThan(0);
+    });
+    (0, vitest_1.it)('cuenta hits y misses correctamente', () => {
+        const cache = new theorem_cache_1.TheoremCache();
+        cache.store({
+            formula: 'P',
+            normalizedFormula: '',
+            profile: 'classical',
+            proof: null,
+            metadata: baseMeta(),
+        });
+        cache.retrieve('P', 'classical'); // hit
+        cache.retrieve('P', 'classical'); // hit
+        cache.retrieve('Z', 'modal'); // miss
+        const s = cache.stats();
+        (0, vitest_1.expect)(s.hits).toBe(2);
+        (0, vitest_1.expect)(s.misses).toBe(1);
+    });
+});
+(0, vitest_1.describe)('tryReuseProof — proof reuse con substitución', () => {
+    (0, vitest_1.it)('reusa P -> P para Q -> Q', () => {
+        const cache = new theorem_cache_1.TheoremCache();
+        cache.store({
+            formula: 'P -> P',
+            normalizedFormula: '',
+            profile: 'classical',
+            proof: { steps: ['assume P', 'conclude P'] },
+            metadata: baseMeta(),
+        });
+        const t = cache.retrieve('P -> P', 'classical');
+        const result = (0, theorem_cache_1.tryReuseProof)(t, 'Q -> Q');
+        (0, vitest_1.expect)(result.reusable).toBe(true);
+        (0, vitest_1.expect)(result.substitution).toEqual({ P: 'Q' });
+        (0, vitest_1.expect)(result.reusedProof).toEqual({ steps: ['assume Q', 'conclude Q'] });
+    });
+    (0, vitest_1.it)('reusa con prueba string', () => {
+        const t = {
+            id: 'x',
+            formula: 'P -> P',
+            normalizedFormula: '?0 -> ?0',
+            profile: 'classical',
+            proof: 'apply identity to P',
+            metadata: baseMeta(),
+        };
+        const r = (0, theorem_cache_1.tryReuseProof)(t, 'X -> X');
+        (0, vitest_1.expect)(r.reusable).toBe(true);
+        (0, vitest_1.expect)(r.reusedProof).toBe('apply identity to X');
+    });
+    (0, vitest_1.it)('no reusa si la estructura difiere', () => {
+        const t = {
+            id: 'x',
+            formula: 'P -> P',
+            normalizedFormula: '?0 -> ?0',
+            profile: 'classical',
+            proof: 'identity',
+            metadata: baseMeta(),
+        };
+        const r = (0, theorem_cache_1.tryReuseProof)(t, 'P and Q');
+        (0, vitest_1.expect)(r.reusable).toBe(false);
+        (0, vitest_1.expect)(r.substitution).toBeUndefined();
+    });
+    (0, vitest_1.it)('reusa (P and Q) -> P para (A and B) -> A', () => {
+        const t = {
+            id: 'x',
+            formula: '(P and Q) -> P',
+            normalizedFormula: '(?0 and ?1) -> ?0',
+            profile: 'classical',
+            proof: { rule: 'conj-elim-left', target: 'P', conjunct: 'Q' },
+            metadata: baseMeta(),
+        };
+        const r = (0, theorem_cache_1.tryReuseProof)(t, '(A and B) -> A');
+        (0, vitest_1.expect)(r.reusable).toBe(true);
+        (0, vitest_1.expect)(r.substitution).toEqual({ P: 'A', Q: 'B' });
+        (0, vitest_1.expect)(r.reusedProof).toEqual({ rule: 'conj-elim-left', target: 'A', conjunct: 'B' });
+    });
+    (0, vitest_1.it)('proof null/undefined se mantiene tal cual', () => {
+        const t = {
+            id: 'x',
+            formula: 'P',
+            normalizedFormula: '?0',
+            profile: 'classical',
+            proof: null,
+            metadata: baseMeta(),
+        };
+        const r = (0, theorem_cache_1.tryReuseProof)(t, 'Q');
+        (0, vitest_1.expect)(r.reusable).toBe(true);
+        (0, vitest_1.expect)(r.reusedProof).toBeNull();
+    });
+});
+//# sourceMappingURL=cache.test.js.map

package/dist/tests/theorem-cache/cache.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cache.test.js","sourceRoot":"","sources":["../../../src/tests/theorem-cache/cache.test.ts"],"names":[],"mappings":";;;;;AAAA,mCAAqE;AACrE,2BAAqC;AACrC,gDAAwB;AACxB,4CAAoB;AACpB,+DASqC;AAErC,SAAS,QAAQ,CAAC,SAAuE;IAKvF,OAAO;QACL,QAAQ,EAAE,SAAS,EAAE,QAAQ,IAAI,0BAA0B;QAC3D,EAAE,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE;QACvB,QAAQ,EAAE,SAAS,EAAE,QAAQ;KAC9B,CAAC;AACJ,CAAC;AAED,IAAA,iBAAQ,EAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAA,+BAAe,EAAC,QAAQ,CAAC,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,IAAA,+BAAe,EAAC,QAAQ,CAAC,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,GAAG,GAAG,IAAA,4BAAY,EAAC,YAAY,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,GAAG,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,GAAG,GAAG,IAAA,4BAAY,EAAC,aAAa,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,GAAG,GAAG,IAAA,mCAAmB,EAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,GAAG,GAAG,IAAA,mCAAmB,EAAC,gBAAgB,EAAE,gBAAgB,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,IAAA,eAAM,EAAC,IAAA,mCAAmB,EAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,GAAG,GAAG,IAAA,iCAAiB,EAAC,kBAAkB,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,GAAG,GAAG,IAAA,iCAAiB,EAAC,YAAY,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,IAAA,eAAM,EAAC,IAAA,4BAAY,EAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,IAAA,eAAM,EAAC,IAAA,4BAAY,EAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,IAAA,eAAM,EAAC,IAAA,4BAAY,EAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,IAAA,eAAM,EAAC,IAAA,4BAAY,EAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,IAAA,eAAM,EAAC,IAAA,8BAAc,EAAC,mBAAmB,EAAE,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,IAAA,8BAAc,EAAC,mBAAmB,EAAE,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,IAAA,eAAM,EAAC,IAAA,4BAAY,EAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,KAAK,GAAG,IAAI,4BAAY,EAAE,CAAC;QACjC,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC;YACrB,OAAO,EAAE,QAAQ;YACjB,iBAAiB,EAAE,EAAE;YACrB,OAAO,EAAE,WAAW;YACpB,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC,EAAE;YAC1C,QAAQ,EAAE,QAAQ,EAAE;SACrB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;QAElC,MAAM,SAAS,GAAG,KAAK,CAAC,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;QAChC,IAAA,eAAM,EAAC,SAAS,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,SAAS,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,KAAK,GAAG,IAAI,4BAAY,EAAE,CAAC;QACjC,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;QACzD,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,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,KAAK,GAAG,IAAI,4BAAY,EAAE,CAAC;QACjC,KAAK,CAAC,KAAK,CAAC;YACV,OAAO,EAAE,QAAQ;YACjB,iBAAiB,EAAE,EAAE;YACrB,OAAO,EAAE,WAAW;YACpB,KAAK,EAAE,UAAU;YACjB,QAAQ,EAAE,QAAQ,EAAE;SACrB,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1B,IAAA,eAAM,EAAC,GAAG,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,sBAAsB;QAC3D,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,KAAK,GAAG,IAAI,4BAAY,EAAE,CAAC;QACjC,KAAK,CAAC,KAAK,CAAC;YACV,OAAO,EAAE,YAAY;YACrB,iBAAiB,EAAE,EAAE;YACrB,OAAO,EAAE,WAAW;YACpB,KAAK,EAAE,KAAK;YACZ,QAAQ,EAAE,QAAQ,EAAE;SACrB,CAAC,CAAC;QACH,KAAK,CAAC,KAAK,CAAC;YACV,OAAO,EAAE,YAAY;YACrB,iBAAiB,EAAE,EAAE;YACrB,OAAO,EAAE,gBAAgB;YACzB,KAAK,EAAE,UAAU;YACjB,QAAQ,EAAE,QAAQ,EAAE;SACrB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrE,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,YAAY,EAAE,gBAAgB,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,KAAK,GAAG,IAAI,4BAAY,EAAE,CAAC;QACjC,KAAK,CAAC,KAAK,CAAC;YACV,OAAO,EAAE,GAAG;YACZ,iBAAiB,EAAE,EAAE;YACrB,OAAO,EAAE,WAAW;YACpB,KAAK,EAAE,IAAI;YACX,QAAQ,EAAE,QAAQ,EAAE;SACrB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,oBAAoB;QACvE,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/C,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,KAAK,GAAG,IAAI,4BAAY,EAAE,CAAC;QACjC,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC;YACtB,OAAO,EAAE,QAAQ;YACjB,iBAAiB,EAAE,EAAE;YACrB,OAAO,EAAE,WAAW;YACpB,KAAK,EAAE,IAAI;YACX,QAAQ,EAAE,QAAQ,EAAE;SACrB,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,KAAK,CAAC,KAAK,CAAC;YACtB,OAAO,EAAE,QAAQ;YACjB,iBAAiB,EAAE,EAAE;YACrB,OAAO,EAAE,WAAW;YACpB,KAAK,EAAE,IAAI;YACX,QAAQ,EAAE,QAAQ,EAAE;SACrB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,KAAK,GAAG,IAAI,4BAAY,EAAE,CAAC;QACjC,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC;YACrB,OAAO,EAAE,GAAG;YACZ,iBAAiB,EAAE,EAAE;YACrB,OAAO,EAAE,WAAW;YACpB,KAAK,EAAE,IAAI;YACX,QAAQ,EAAE,QAAQ,EAAE;SACrB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,KAAK,GAAG,IAAI,4BAAY,EAAE,CAAC;QACjC,KAAK,CAAC,KAAK,CAAC;YACV,OAAO,EAAE,GAAG;YACZ,iBAAiB,EAAE,EAAE;YACrB,OAAO,EAAE,WAAW;YACpB,KAAK,EAAE,IAAI;YACX,QAAQ,EAAE,QAAQ,EAAE;SACrB,CAAC,CAAC;QACH,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC;QACjC,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;QACpC,KAAK,CAAC,KAAK,EAAE,CAAC;QACd,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,gEAAgE;QAChE,iBAAiB;QACjB,MAAM,KAAK,GAAG,IAAI,4BAAY,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC;QAClD,KAAK,CAAC,KAAK,CAAC;YACV,OAAO,EAAE,GAAG;YACZ,iBAAiB,EAAE,EAAE;YACrB,OAAO,EAAE,GAAG;YACZ,KAAK,EAAE,IAAI;YACX,QAAQ,EAAE,QAAQ,EAAE;SACrB,CAAC,CAAC;QACH,KAAK,CAAC,KAAK,CAAC;YACV,OAAO,EAAE,SAAS;YAClB,iBAAiB,EAAE,EAAE;YACrB,OAAO,EAAE,GAAG;YACZ,KAAK,EAAE,IAAI;YACX,QAAQ,EAAE,QAAQ,EAAE;SACrB,CAAC,CAAC;QACH,KAAK,CAAC,KAAK,CAAC;YACV,OAAO,EAAE,QAAQ;YACjB,iBAAiB,EAAE,EAAE;YACrB,OAAO,EAAE,GAAG;YACZ,KAAK,EAAE,IAAI;YACX,QAAQ,EAAE,QAAQ,EAAE;SACrB,CAAC,CAAC;QACH,KAAK,CAAC,KAAK,CAAC;YACV,OAAO,EAAE,QAAQ;YACjB,iBAAiB,EAAE,EAAE;YACrB,OAAO,EAAE,GAAG;YACZ,KAAK,EAAE,IAAI;YACX,QAAQ,EAAE,QAAQ,EAAE;SACrB,CAAC,CAAC;QAEH,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,gCAAgC;QAChC,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,KAAK,GAAG,IAAI,4BAAY,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC;QAClD,KAAK,CAAC,KAAK,CAAC;YACV,OAAO,EAAE,GAAG;YACZ,iBAAiB,EAAE,EAAE;YACrB,OAAO,EAAE,GAAG;YACZ,KAAK,EAAE,IAAI;YACX,QAAQ,EAAE,QAAQ,EAAE;SACrB,CAAC,CAAC;QACH,KAAK,CAAC,KAAK,CAAC;YACV,OAAO,EAAE,SAAS;YAClB,iBAAiB,EAAE,EAAE;YACrB,OAAO,EAAE,GAAG;YACZ,KAAK,EAAE,IAAI;YACX,QAAQ,EAAE,QAAQ,EAAE;SACrB,CAAC,CAAC;QACH,KAAK,CAAC,KAAK,CAAC;YACV,OAAO,EAAE,QAAQ;YACjB,iBAAiB,EAAE,EAAE;YACrB,OAAO,EAAE,GAAG;YACZ,KAAK,EAAE,IAAI;YACX,QAAQ,EAAE,QAAQ,EAAE;SACrB,CAAC,CAAC;QAEH,gBAAgB;QAChB,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAEzB,+DAA+D;QAC/D,KAAK,CAAC,KAAK,CAAC;YACV,OAAO,EAAE,QAAQ;YACjB,iBAAiB,EAAE,EAAE;YACrB,OAAO,EAAE,GAAG;YACZ,KAAK,EAAE,IAAI;YACX,QAAQ,EAAE,QAAQ,EAAE;SACrB,CAAC,CAAC;QAEH,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,qEAAqE;QACrE,sEAAsE;QACtE,MAAM,KAAK,GAAG,IAAI,4BAAY,EAAE,CAAC;QACjC,KAAK,CAAC,KAAK,CAAC;YACV,OAAO,EAAE,QAAQ;YACjB,iBAAiB,EAAE,EAAE;YACrB,OAAO,EAAE,WAAW;YACpB,KAAK,EAAE,KAAK;YACZ,QAAQ,EAAE,QAAQ,EAAE;SACrB,CAAC,CAAC;QACH,KAAK,CAAC,KAAK,CAAC;YACV,OAAO,EAAE,QAAQ;YACjB,iBAAiB,EAAE,EAAE;YACrB,OAAO,EAAE,WAAW;YACpB,KAAK,EAAE,KAAK;YACZ,QAAQ,EAAE,QAAQ,EAAE;SACrB,CAAC,CAAC;QACH,KAAK,CAAC,KAAK,CAAC;YACV,OAAO,EAAE,QAAQ;YACjB,iBAAiB,EAAE,EAAE;YACrB,OAAO,EAAE,gBAAgB;YACzB,KAAK,EAAE,KAAK;YACZ,QAAQ,EAAE,QAAQ,EAAE;SACrB,CAAC,CAAC;QAEH,MAAM,IAAI,GAAG,KAAK,CAAC,iBAAiB,CAAC,UAAU,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;QACnD,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,KAAK,GAAG,IAAI,4BAAY,EAAE,CAAC;QACjC,KAAK,CAAC,KAAK,CAAC;YACV,OAAO,EAAE,QAAQ;YACjB,iBAAiB,EAAE,EAAE;YACrB,OAAO,EAAE,WAAW;YACpB,KAAK,EAAE,IAAI;YACX,QAAQ,EAAE,QAAQ,EAAE;SACrB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,KAAK,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,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,mBAAmB,CAAC,CAAC,CAAC;QACxE,OAAO,GAAG,cAAI,CAAC,IAAI,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IAC/C,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,6BAA6B,EAAE,KAAK,IAAI,EAAE;QAC3C,MAAM,EAAE,GAAG,IAAI,4BAAY,CAAC,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,CAAC;QACtD,EAAE,CAAC,KAAK,CAAC;YACP,OAAO,EAAE,QAAQ;YACjB,iBAAiB,EAAE,EAAE;YACrB,OAAO,EAAE,WAAW;YACpB,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE;YACjC,QAAQ,EAAE,QAAQ,CAAC,EAAE,QAAQ,EAAE,YAAY,EAAE,CAAC;SAC/C,CAAC,CAAC;QACH,EAAE,CAAC,KAAK,CAAC;YACP,OAAO,EAAE,SAAS;YAClB,iBAAiB,EAAE,EAAE;YACrB,OAAO,EAAE,WAAW;YACpB,KAAK,EAAE,QAAQ;YACf,QAAQ,EAAE,QAAQ,EAAE;SACrB,CAAC,CAAC;QACH,MAAM,EAAE,CAAC,UAAU,EAAE,CAAC;QAEtB,MAAM,EAAE,GAAG,IAAI,4BAAY,CAAC,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,CAAC;QACtD,MAAM,MAAM,GAAG,MAAM,EAAE,CAAC,YAAY,EAAE,CAAC;QACvC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAEnC,MAAM,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,EAAE,EAAE,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,EAAE,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAEjD,MAAM,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,EAAE,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,KAAK,IAAI,EAAE;QAC9D,MAAM,CAAC,GAAG,IAAI,4BAAY,CAAC,EAAE,WAAW,EAAE,cAAI,CAAC,IAAI,CAAC,MAAM,EAAE,WAAW,CAAC,EAAE,CAAC,CAAC;QAC5E,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,KAAK,IAAI,EAAE;QAC1D,MAAM,IAAI,GAAG,cAAI,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,YAAY,CAAC,CAAC;QAC5D,MAAM,CAAC,GAAG,IAAI,4BAAY,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;QAClD,CAAC,CAAC,KAAK,CAAC;YACN,OAAO,EAAE,GAAG;YACZ,iBAAiB,EAAE,EAAE;YACrB,OAAO,EAAE,WAAW;YACpB,KAAK,EAAE,IAAI;YACX,QAAQ,EAAE,QAAQ,EAAE;SACrB,CAAC,CAAC;QACH,MAAM,CAAC,CAAC,UAAU,EAAE,CAAC;QACrB,MAAM,IAAI,GAAG,MAAM,aAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,KAAK,IAAI,EAAE;QACtD,MAAM,aAAG,CAAC,SAAS,CACjB,OAAO,EACP,IAAI,CAAC,SAAS,CAAC;YACb;gBACE,EAAE,EAAE,GAAG;gBACP,OAAO,EAAE,GAAG;gBACZ,iBAAiB,EAAE,IAAI;gBACvB,OAAO,EAAE,WAAW;gBACpB,KAAK,EAAE,IAAI;gBACX,QAAQ,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,EAAE;aACrC;YACD,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,aAAa;YAC1B,eAAe;SAChB,CAAC,EACF,OAAO,CACR,CAAC;QACF,MAAM,CAAC,GAAG,IAAI,4BAAY,CAAC,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,CAAC;QACrD,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,YAAY,EAAE,CAAC;QACtC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,KAAK,IAAI,EAAE;QAChE,MAAM,aAAG,CAAC,SAAS,CAAC,OAAO,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;QACnD,MAAM,CAAC,GAAG,IAAI,4BAAY,CAAC,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,KAAK,GAAG,IAAI,4BAAY,EAAE,CAAC;QACjC,KAAK,CAAC,KAAK,CAAC;YACV,OAAO,EAAE,QAAQ;YACjB,iBAAiB,EAAE,EAAE;YACrB,OAAO,EAAE,WAAW;YACpB,KAAK,EAAE,UAAU;YACjB,QAAQ,EAAE,QAAQ,EAAE;SACrB,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,CAAC,CAAC,WAAW,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,KAAK,GAAG,IAAI,4BAAY,EAAE,CAAC;QACjC,KAAK,CAAC,KAAK,CAAC;YACV,OAAO,EAAE,GAAG;YACZ,iBAAiB,EAAE,EAAE;YACrB,OAAO,EAAE,WAAW;YACpB,KAAK,EAAE,IAAI;YACX,QAAQ,EAAE,QAAQ,EAAE;SACrB,CAAC,CAAC;QACH,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC,CAAC,MAAM;QACxC,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC,CAAC,MAAM;QACxC,KAAK,CAAC,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO;QACrC,MAAM,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,KAAK,GAAG,IAAI,4BAAY,EAAE,CAAC;QACjC,KAAK,CAAC,KAAK,CAAC;YACV,OAAO,EAAE,QAAQ;YACjB,iBAAiB,EAAE,EAAE;YACrB,OAAO,EAAE,WAAW;YACpB,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,UAAU,EAAE,YAAY,CAAC,EAAE;YAC5C,QAAQ,EAAE,QAAQ,EAAE;SACrB,CAAC,CAAC;QACH,MAAM,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAE,CAAC;QACjD,MAAM,MAAM,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,MAAM,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,MAAM,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,UAAU,EAAE,YAAY,CAAC,EAAE,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,GAAG;YACR,EAAE,EAAE,GAAG;YACP,OAAO,EAAE,QAAQ;YACjB,iBAAiB,EAAE,UAAU;YAC7B,OAAO,EAAE,WAAW;YACpB,KAAK,EAAE,qBAAqB;YAC5B,QAAQ,EAAE,QAAQ,EAAE;SACrB,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG;YACR,EAAE,EAAE,GAAG;YACP,OAAO,EAAE,QAAQ;YACjB,iBAAiB,EAAE,UAAU;YAC7B,OAAO,EAAE,WAAW;YACpB,KAAK,EAAE,UAAU;YACjB,QAAQ,EAAE,QAAQ,EAAE;SACrB,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,SAAS,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,YAAY,CAAC,CAAC,aAAa,EAAE,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG;YACR,EAAE,EAAE,GAAG;YACP,OAAO,EAAE,gBAAgB;YACzB,iBAAiB,EAAE,mBAAmB;YACtC,OAAO,EAAE,WAAW;YACpB,KAAK,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE;YAC7D,QAAQ,EAAE,QAAQ,EAAE;SACrB,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,gBAAgB,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,CAAC,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;IACxF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG;YACR,EAAE,EAAE,GAAG;YACP,OAAO,EAAE,GAAG;YACZ,iBAAiB,EAAE,IAAI;YACvB,OAAO,EAAE,WAAW;YACpB,KAAK,EAAE,IAAI;YACX,QAAQ,EAAE,QAAQ,EAAE;SACrB,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,WAAW,CAAC,CAAC,QAAQ,EAAE,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@stevenvo780/st-lang",
-  "version": "4.3.0",
+  "version": "4.5.0",
   "description": "ST — Lenguaje ejecutable con nucleo logico y capa textual. Motor multi-perfil (11 lógicas), derivaciones, tablas de verdad, contramodelos, aliases modales, Belnap 4-valores y capa textual para formalización de documentos.",
   "main": "dist/index.js",
   "types": "dist/index.d.ts",