@stevenvo780/st-lang 4.0.0 → 4.1.0

package/dist/tests/coverage-95/propositional-utilities.test.js

@@ -0,0 +1,281 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const propositional_1 = require("../../profiles/classical/propositional");
+const atom = (name) => ({ kind: 'atom', name });
+const not = (a) => ({ kind: 'not', args: [a] });
+const and = (a, b) => ({ kind: 'and', args: [a, b] });
+const or = (a, b) => ({ kind: 'or', args: [a, b] });
+const implies = (a, b) => ({ kind: 'implies', args: [a, b] });
+const biconditional = (a, b) => ({
+    kind: 'biconditional',
+    args: [a, b],
+});
+const xor = (a, b) => ({ kind: 'xor', args: [a, b] });
+const nand = (a, b) => ({ kind: 'nand', args: [a, b] });
+const nor = (a, b) => ({ kind: 'nor', args: [a, b] });
+const trueF = { kind: 'true' };
+const falseF = { kind: 'false' };
+const num = (value) => ({ kind: 'number', value });
+(0, vitest_1.describe)('evaluateClassical — all operators', () => {
+    const v0 = { P: false, Q: false };
+    const v1 = { P: true, Q: false };
+    const v2 = { P: false, Q: true };
+    const v3 = { P: true, Q: true };
+    const P = atom('P');
+    const Q = atom('Q');
+    (0, vitest_1.it)('true/false constants', () => {
+        (0, vitest_1.expect)((0, propositional_1.evaluateClassical)(trueF, v0)).toBe(true);
+        (0, vitest_1.expect)((0, propositional_1.evaluateClassical)(falseF, v0)).toBe(false);
+    });
+    (0, vitest_1.it)('atom missing in valuation defaults to false', () => {
+        (0, vitest_1.expect)((0, propositional_1.evaluateClassical)(atom('Z'), v0)).toBe(false);
+    });
+    (0, vitest_1.it)('not', () => {
+        (0, vitest_1.expect)((0, propositional_1.evaluateClassical)(not(P), v0)).toBe(true);
+        (0, vitest_1.expect)((0, propositional_1.evaluateClassical)(not(P), v1)).toBe(false);
+    });
+    (0, vitest_1.it)('and', () => {
+        (0, vitest_1.expect)((0, propositional_1.evaluateClassical)(and(P, Q), v3)).toBe(true);
+        (0, vitest_1.expect)((0, propositional_1.evaluateClassical)(and(P, Q), v1)).toBe(false);
+    });
+    (0, vitest_1.it)('or', () => {
+        (0, vitest_1.expect)((0, propositional_1.evaluateClassical)(or(P, Q), v0)).toBe(false);
+        (0, vitest_1.expect)((0, propositional_1.evaluateClassical)(or(P, Q), v1)).toBe(true);
+    });
+    (0, vitest_1.it)('implies', () => {
+        (0, vitest_1.expect)((0, propositional_1.evaluateClassical)(implies(P, Q), v1)).toBe(false);
+        (0, vitest_1.expect)((0, propositional_1.evaluateClassical)(implies(P, Q), v0)).toBe(true);
+        (0, vitest_1.expect)((0, propositional_1.evaluateClassical)(implies(P, Q), v3)).toBe(true);
+    });
+    (0, vitest_1.it)('biconditional', () => {
+        (0, vitest_1.expect)((0, propositional_1.evaluateClassical)(biconditional(P, Q), v3)).toBe(true);
+        (0, vitest_1.expect)((0, propositional_1.evaluateClassical)(biconditional(P, Q), v1)).toBe(false);
+    });
+    (0, vitest_1.it)('nand', () => {
+        (0, vitest_1.expect)((0, propositional_1.evaluateClassical)(nand(P, Q), v3)).toBe(false);
+        (0, vitest_1.expect)((0, propositional_1.evaluateClassical)(nand(P, Q), v1)).toBe(true);
+    });
+    (0, vitest_1.it)('nor', () => {
+        (0, vitest_1.expect)((0, propositional_1.evaluateClassical)(nor(P, Q), v0)).toBe(true);
+        (0, vitest_1.expect)((0, propositional_1.evaluateClassical)(nor(P, Q), v1)).toBe(false);
+    });
+    (0, vitest_1.it)('xor', () => {
+        (0, vitest_1.expect)((0, propositional_1.evaluateClassical)(xor(P, Q), v1)).toBe(true);
+        (0, vitest_1.expect)((0, propositional_1.evaluateClassical)(xor(P, Q), v3)).toBe(false);
+        (0, vitest_1.expect)((0, propositional_1.evaluateClassical)(xor(P, Q), v2)).toBe(true);
+    });
+    (0, vitest_1.it)('throws on unsupported kind', () => {
+        (0, vitest_1.expect)(() => (0, propositional_1.evaluateClassical)({ kind: 'modal_necessity', args: [P] }, v0)).toThrow(/Operador lógico no soportado/);
+    });
+});
+(0, vitest_1.describe)('generateValuationsLazy', () => {
+    (0, vitest_1.it)('yields exactly 2^n valuations for n atoms', () => {
+        const vals = Array.from((0, propositional_1.generateValuationsLazy)(['P', 'Q', 'R']));
+        (0, vitest_1.expect)(vals.length).toBe(8);
+    });
+    (0, vitest_1.it)('yields single empty valuation for 0 atoms', () => {
+        const vals = Array.from((0, propositional_1.generateValuationsLazy)([]));
+        (0, vitest_1.expect)(vals.length).toBe(1);
+        (0, vitest_1.expect)(vals[0]).toEqual({});
+    });
+    (0, vitest_1.it)('throws on too many atoms (>23)', () => {
+        const atoms = Array.from({ length: 24 }, (_, i) => 'a' + i);
+        (0, vitest_1.expect)(() => Array.from((0, propositional_1.generateValuationsLazy)(atoms))).toThrow(/Demasiadas variables/);
+    });
+});
+(0, vitest_1.describe)('formulaToString — all kinds and edge cases', () => {
+    (0, vitest_1.it)('renders constants', () => {
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)(trueF)).toBe('⊤');
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)(falseF)).toBe('⊥');
+    });
+    (0, vitest_1.it)('atom fallback to ?', () => {
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)({ kind: 'atom' })).toBe('?');
+    });
+    (0, vitest_1.it)('not over atom drops parens', () => {
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)(not(atom('P')))).toBe('!P');
+    });
+    (0, vitest_1.it)('not over compound uses parens', () => {
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)(not(and(atom('P'), atom('Q'))))).toMatch(/!\(/);
+    });
+    (0, vitest_1.it)('not without args yields !?', () => {
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)({ kind: 'not' })).toBe('!?');
+    });
+    (0, vitest_1.it)('and/or/implies/biconditional render normally', () => {
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)(and(atom('P'), atom('Q')))).toBe('(P & Q)');
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)(or(atom('P'), atom('Q')))).toBe('(P | Q)');
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)(implies(atom('P'), atom('Q')))).toBe('(P -> Q)');
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)(biconditional(atom('P'), atom('Q')))).toBe('(P <-> Q)');
+    });
+    (0, vitest_1.it)('renders nand/nor/xor with unicode', () => {
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)(nand(atom('P'), atom('Q')))).toContain('↑');
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)(nor(atom('P'), atom('Q')))).toContain('↓');
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)(xor(atom('P'), atom('Q')))).toContain('⊕');
+    });
+    (0, vitest_1.it)('renders predicates and quantifiers', () => {
+        const pred = { kind: 'predicate', name: 'P', params: ['x', 'y'] };
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)(pred)).toBe('P(x, y)');
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)({ kind: 'forall', variable: 'x', args: [pred] })).toMatch(/forall x/);
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)({ kind: 'exists', variable: 'x', args: [pred] })).toMatch(/exists x/);
+    });
+    (0, vitest_1.it)('renders modal and temporal', () => {
+        const P = atom('P');
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)({ kind: 'modal_necessity', args: [P] })).toMatch(/\[\]/);
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)({ kind: 'modal_possibility', args: [P] })).toMatch(/<>/);
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)({ kind: 'temporal_next', args: [P] })).toMatch(/^X\(/);
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)({ kind: 'temporal_until', args: [P, atom('Q')] })).toMatch(/U/);
+    });
+    (0, vitest_1.it)('renders all arithmetic kinds', () => {
+        const a = atom('x');
+        const b = atom('y');
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)({ kind: 'add', args: [a, b] })).toBe('(x + y)');
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)({ kind: 'subtract', args: [a, b] })).toBe('(x - y)');
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)({ kind: 'multiply', args: [a, b] })).toBe('(x * y)');
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)({ kind: 'divide', args: [a, b] })).toBe('(x / y)');
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)({ kind: 'modulo', args: [a, b] })).toBe('(x % y)');
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)({ kind: 'less', args: [a, b] })).toBe('(x < y)');
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)({ kind: 'greater', args: [a, b] })).toBe('(x > y)');
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)({ kind: 'less_eq', args: [a, b] })).toBe('(x <= y)');
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)({ kind: 'greater_eq', args: [a, b] })).toBe('(x >= y)');
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)({ kind: 'equals', args: [a, b] })).toBe('(x = y)');
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)(num(42))).toBe('42');
+    });
+    (0, vitest_1.it)('renders incomplete binary as ? marker', () => {
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)({ kind: 'and' })).toBe('? & ?');
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)({ kind: 'or' })).toBe('? | ?');
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)({ kind: 'implies' })).toBe('? -> ?');
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)({ kind: 'biconditional' })).toBe('? <-> ?');
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)({ kind: 'nand' })).toBe('? ↑ ?');
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)({ kind: 'nor' })).toBe('? ↓ ?');
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)({ kind: 'xor' })).toBe('? ⊕ ?');
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)({ kind: 'equals' })).toBe('? = ?');
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)({ kind: 'add' })).toBe('? + ?');
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)({ kind: 'less' })).toBe('? < ?');
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)({ kind: 'temporal_until' })).toBe('? U ?');
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)({ kind: 'temporal_next' })).toBe('X(?)');
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)({ kind: 'modal_necessity' })).toBe('[](?)');
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)({ kind: 'modal_possibility' })).toBe('<>(?)');
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)({ kind: 'forall' })).toBe('forall ?(?)');
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)({ kind: 'exists' })).toBe('exists ?(?)');
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)({ kind: 'predicate' })).toBe('?(...)');
+        (0, vitest_1.expect)((0, propositional_1.formulaToString)({ kind: 'number' })).toBe('?');
+    });
+});
+(0, vitest_1.describe)('toNNF — negation normal form', () => {
+    (0, vitest_1.it)('idempotent on atoms', () => {
+        const a = atom('P');
+        (0, vitest_1.expect)((0, propositional_1.toNNF)(a)).toEqual(a);
+    });
+    (0, vitest_1.it)('pushes negation through and/or via De Morgan', () => {
+        const f = not(and(atom('P'), atom('Q')));
+        const nnf = (0, propositional_1.toNNF)(f);
+        (0, vitest_1.expect)(nnf.kind).toBe('or');
+    });
+    (0, vitest_1.it)('!(P or Q) becomes !P & !Q', () => {
+        const f = not(or(atom('P'), atom('Q')));
+        (0, vitest_1.expect)((0, propositional_1.toNNF)(f).kind).toBe('and');
+    });
+    (0, vitest_1.it)('!!P collapses to P', () => {
+        const f = not(not(atom('P')));
+        (0, vitest_1.expect)((0, propositional_1.toNNF)(f)).toEqual(atom('P'));
+    });
+    (0, vitest_1.it)('!(P -> Q) becomes P & !Q', () => {
+        const f = not(implies(atom('P'), atom('Q')));
+        const nnf = (0, propositional_1.toNNF)(f);
+        (0, vitest_1.expect)(nnf.kind).toBe('and');
+    });
+    (0, vitest_1.it)('!(P <-> Q) expands biconditional', () => {
+        const f = not(biconditional(atom('P'), atom('Q')));
+        const nnf = (0, propositional_1.toNNF)(f);
+        (0, vitest_1.expect)(nnf.kind).toBe('or');
+    });
+    (0, vitest_1.it)('!(P nand Q) becomes P & Q', () => {
+        const f = not(nand(atom('P'), atom('Q')));
+        const nnf = (0, propositional_1.toNNF)(f);
+        (0, vitest_1.expect)(nnf.kind).toBe('and');
+    });
+    (0, vitest_1.it)('!(P nor Q) becomes P | Q', () => {
+        const f = not(nor(atom('P'), atom('Q')));
+        const nnf = (0, propositional_1.toNNF)(f);
+        (0, vitest_1.expect)(nnf.kind).toBe('or');
+    });
+    (0, vitest_1.it)('!(P xor Q) becomes biconditional-shaped', () => {
+        const f = not(xor(atom('P'), atom('Q')));
+        const nnf = (0, propositional_1.toNNF)(f);
+        (0, vitest_1.expect)(['or', 'and', 'biconditional']).toContain(nnf.kind);
+    });
+    (0, vitest_1.it)('!true becomes false; !false becomes true', () => {
+        (0, vitest_1.expect)((0, propositional_1.toNNF)(not(trueF)).kind).toBe('false');
+        (0, vitest_1.expect)((0, propositional_1.toNNF)(not(falseF)).kind).toBe('true');
+    });
+    (0, vitest_1.it)('nnf with modal operators', () => {
+        const P = atom('P');
+        (0, vitest_1.expect)((0, propositional_1.toNNF)({ kind: 'modal_necessity', args: [P] }).kind).toBe('modal_necessity');
+        (0, vitest_1.expect)((0, propositional_1.toNNF)(not({ kind: 'modal_necessity', args: [P] })).kind).toBe('modal_possibility');
+        (0, vitest_1.expect)((0, propositional_1.toNNF)(not({ kind: 'modal_possibility', args: [P] })).kind).toBe('modal_necessity');
+    });
+    (0, vitest_1.it)('nnf with quantifiers (Skolem-like)', () => {
+        const px = { kind: 'predicate', name: 'P', params: ['x'] };
+        const f = not({ kind: 'forall', variable: 'x', args: [px] });
+        (0, vitest_1.expect)((0, propositional_1.toNNF)(f).kind).toBe('exists');
+        const g = not({ kind: 'exists', variable: 'x', args: [px] });
+        (0, vitest_1.expect)((0, propositional_1.toNNF)(g).kind).toBe('forall');
+    });
+    (0, vitest_1.it)('nnf normalizes xor positive', () => {
+        const f = xor(atom('P'), atom('Q'));
+        const nnf = (0, propositional_1.toNNF)(f);
+        (0, vitest_1.expect)(nnf.kind).toBe('or');
+    });
+    (0, vitest_1.it)('nnf normalizes nand/nor positive', () => {
+        const f1 = nand(atom('P'), atom('Q'));
+        const f2 = nor(atom('P'), atom('Q'));
+        (0, vitest_1.expect)((0, propositional_1.toNNF)(f1).kind).toBe('or');
+        (0, vitest_1.expect)((0, propositional_1.toNNF)(f2).kind).toBe('and');
+    });
+    (0, vitest_1.it)('nnf temporal_next preserves shape when negated', () => {
+        const P = atom('P');
+        const f = not({ kind: 'temporal_next', args: [P] });
+        (0, vitest_1.expect)((0, propositional_1.toNNF)(f).kind).toBe('temporal_next');
+    });
+});
+(0, vitest_1.describe)('toCNF and toDNF — distributive normal forms', () => {
+    (0, vitest_1.it)('toCNF of P is P (atom unchanged)', () => {
+        (0, vitest_1.expect)((0, propositional_1.toCNF)(atom('P'))).toEqual(atom('P'));
+    });
+    (0, vitest_1.it)('toCNF distributes or over and', () => {
+        const f = or(atom('P'), and(atom('Q'), atom('R')));
+        const cnf = (0, propositional_1.toCNF)(f);
+        (0, vitest_1.expect)(cnf.kind).toBe('and');
+    });
+    (0, vitest_1.it)('toDNF distributes and over or', () => {
+        const f = and(atom('P'), or(atom('Q'), atom('R')));
+        const dnf = (0, propositional_1.toDNF)(f);
+        (0, vitest_1.expect)(dnf.kind).toBe('or');
+    });
+});
+(0, vitest_1.describe)('extractClauses', () => {
+    (0, vitest_1.it)('returns list of clauses (each is list of literals)', () => {
+        const f = and(or(atom('P'), atom('Q')), or(not(atom('P')), atom('R')));
+        const cs = (0, propositional_1.extractClauses)(f);
+        (0, vitest_1.expect)(cs.length).toBeGreaterThanOrEqual(2);
+        (0, vitest_1.expect)(cs.some((c) => c.includes('P'))).toBe(true);
+    });
+    (0, vitest_1.it)('handles single atom as a single clause', () => {
+        const cs = (0, propositional_1.extractClauses)(atom('P'));
+        (0, vitest_1.expect)(cs.length).toBe(1);
+    });
+});
+(0, vitest_1.describe)('collectAtoms', () => {
+    (0, vitest_1.it)('collects nested atoms', () => {
+        const f = and(atom('P'), or(atom('Q'), not(atom('R'))));
+        const atoms = (0, propositional_1.collectAtoms)(f);
+        (0, vitest_1.expect)(atoms.has('P')).toBe(true);
+        (0, vitest_1.expect)(atoms.has('Q')).toBe(true);
+        (0, vitest_1.expect)(atoms.has('R')).toBe(true);
+    });
+    (0, vitest_1.it)('empty for constants', () => {
+        (0, vitest_1.expect)((0, propositional_1.collectAtoms)(trueF).size).toBe(0);
+        (0, vitest_1.expect)((0, propositional_1.collectAtoms)(falseF).size).toBe(0);
+    });
+});
+//# sourceMappingURL=propositional-utilities.test.js.map

package/dist/tests/coverage-95/propositional-utilities.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"propositional-utilities.test.js","sourceRoot":"","sources":["../../../src/tests/coverage-95/propositional-utilities.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,0EASgD;AAGhD,MAAM,IAAI,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AACjE,MAAM,GAAG,GAAG,CAAC,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAClE,MAAM,GAAG,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AACjF,MAAM,EAAE,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AAC/E,MAAM,OAAO,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AACzF,MAAM,aAAa,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC;IAC1D,IAAI,EAAE,eAAe;IACrB,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;CACb,CAAC,CAAC;AACH,MAAM,GAAG,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AACjF,MAAM,IAAI,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AACnF,MAAM,GAAG,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AACjF,MAAM,KAAK,GAAY,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AACxC,MAAM,MAAM,GAAY,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC1C,MAAM,GAAG,GAAG,CAAC,KAAa,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC;AAEpE,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,MAAM,EAAE,GAAc,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC;IAC7C,MAAM,EAAE,GAAc,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC;IAC5C,MAAM,EAAE,GAAc,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC;IAC5C,MAAM,EAAE,GAAc,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC;IAC3C,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IACpB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IAEpB,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,IAAA,eAAM,EAAC,IAAA,iCAAiB,EAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,IAAA,iCAAiB,EAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,IAAA,eAAM,EAAC,IAAA,iCAAiB,EAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,KAAK,EAAE,GAAG,EAAE;QACb,IAAA,eAAM,EAAC,IAAA,iCAAiB,EAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,IAAA,iCAAiB,EAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,KAAK,EAAE,GAAG,EAAE;QACb,IAAA,eAAM,EAAC,IAAA,iCAAiB,EAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,IAAA,iCAAiB,EAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,IAAI,EAAE,GAAG,EAAE;QACZ,IAAA,eAAM,EAAC,IAAA,iCAAiB,EAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,IAAA,iCAAiB,EAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,SAAS,EAAE,GAAG,EAAE;QACjB,IAAA,eAAM,EAAC,IAAA,iCAAiB,EAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,IAAA,iCAAiB,EAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,IAAA,iCAAiB,EAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,eAAe,EAAE,GAAG,EAAE;QACvB,IAAA,eAAM,EAAC,IAAA,iCAAiB,EAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,IAAA,iCAAiB,EAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,MAAM,EAAE,GAAG,EAAE;QACd,IAAA,eAAM,EAAC,IAAA,iCAAiB,EAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,IAAA,iCAAiB,EAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,KAAK,EAAE,GAAG,EAAE;QACb,IAAA,eAAM,EAAC,IAAA,iCAAiB,EAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,IAAA,iCAAiB,EAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,KAAK,EAAE,GAAG,EAAE;QACb,IAAA,eAAM,EAAC,IAAA,iCAAiB,EAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,IAAA,iCAAiB,EAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,IAAA,iCAAiB,EAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,iCAAiB,EAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CACjF,8BAA8B,CAC/B,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAA,sCAAsB,EAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAA,sCAAsB,EAAC,EAAE,CAAC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAA,sCAAsB,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,sBAAsB,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,IAAI,GAAY,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC;QAC3E,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAC7F,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAC/F,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAChF,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAChF,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC9E,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACzF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC5E,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC5E,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC1E,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC1E,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC3E,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC5E,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC/E,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC1E,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACrE,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,IAAA,+BAAe,EAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,IAAA,eAAM,EAAC,IAAA,qBAAK,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,GAAG,GAAG,IAAA,qBAAK,EAAC,CAAC,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,qBAAK,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,qBAAK,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC7C,MAAM,GAAG,GAAG,IAAA,qBAAK,EAAC,CAAC,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACnD,MAAM,GAAG,GAAG,IAAA,qBAAK,EAAC,CAAC,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC1C,MAAM,GAAG,GAAG,IAAA,qBAAK,EAAC,CAAC,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,GAAG,GAAG,IAAA,qBAAK,EAAC,CAAC,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,GAAG,GAAG,IAAA,qBAAK,EAAC,CAAC,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,CAAC,IAAI,EAAE,KAAK,EAAE,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,IAAA,eAAM,EAAC,IAAA,qBAAK,EAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,qBAAK,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,IAAA,eAAM,EAAC,IAAA,qBAAK,EAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QACnF,IAAA,eAAM,EAAC,IAAA,qBAAK,EAAC,GAAG,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QAC1F,IAAA,eAAM,EAAC,IAAA,qBAAK,EAAC,GAAG,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAC5F,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,EAAE,GAAY,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;QACpE,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,IAAA,qBAAK,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACrC,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,IAAA,qBAAK,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACpC,MAAM,GAAG,GAAG,IAAA,qBAAK,EAAC,CAAC,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACtC,MAAM,EAAE,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAA,qBAAK,EAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAA,qBAAK,EAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,IAAA,qBAAK,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,IAAA,qBAAK,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACnD,MAAM,GAAG,GAAG,IAAA,qBAAK,EAAC,CAAC,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACnD,MAAM,GAAG,GAAG,IAAA,qBAAK,EAAC,CAAC,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACvE,MAAM,EAAE,GAAG,IAAA,8BAAc,EAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,EAAE,GAAG,IAAA,8BAAc,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,KAAK,GAAG,IAAA,4BAAY,EAAC,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,IAAA,eAAM,EAAC,IAAA,4BAAY,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,4BAAY,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/coverage-95/protocol-handler.test.d.ts

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

package/dist/tests/coverage-95/protocol-handler.test.d.ts.map

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

package/dist/tests/coverage-95/protocol-handler.test.js

@@ -0,0 +1,275 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const handler_1 = require("../../protocol/handler");
+const make = (method, params = {}, id = 1) => ({ id, method, params });
+(0, vitest_1.describe)('protocol/handler — error paths', () => {
+    const h = new handler_1.ProtocolHandler();
+    (0, vitest_1.it)('returns error for unknown method', () => {
+        const r = h.handle({
+            id: 1,
+            method: 'totally_unknown',
+            params: {},
+        });
+        (0, vitest_1.expect)(r.error).toBeDefined();
+        (0, vitest_1.expect)(r.error?.message).toMatch(/desconocido/i);
+    });
+    (0, vitest_1.it)('returns error when params is not object', () => {
+        const r = h.handle({
+            id: 1,
+            method: 'parse',
+            params: 'not-an-object',
+        });
+        (0, vitest_1.expect)(r.error?.message).toMatch(/se esperaba un objeto/);
+    });
+    (0, vitest_1.it)('returns error when params is null', () => {
+        const r = h.handle({
+            id: 1,
+            method: 'parse',
+            params: null,
+        });
+        (0, vitest_1.expect)(r.error?.message).toMatch(/se esperaba un objeto/);
+    });
+    (0, vitest_1.it)('returns error when params is an array', () => {
+        const r = h.handle({
+            id: 1,
+            method: 'parse',
+            params: [],
+        });
+        (0, vitest_1.expect)(r.error?.message).toMatch(/se esperaba un objeto/);
+    });
+    (0, vitest_1.it)('returns error when required string is missing', () => {
+        const r = h.handle(make('parse', {}));
+        (0, vitest_1.expect)(r.error?.message).toMatch(/cadena no vacia/);
+    });
+    (0, vitest_1.it)('returns error when required string is empty', () => {
+        const r = h.handle(make('parse', { source: '   ' }));
+        (0, vitest_1.expect)(r.error?.message).toMatch(/cadena no vacia/);
+    });
+    (0, vitest_1.it)('returns error when required string is not string', () => {
+        const r = h.handle(make('parse', { source: 123 }));
+        (0, vitest_1.expect)(r.error?.message).toMatch(/cadena no vacia/);
+    });
+    (0, vitest_1.it)('returns error when optional string is wrong type', () => {
+        const r = h.handle(make('parse', { source: 'logic classical.propositional', file: 5 }));
+        (0, vitest_1.expect)(r.error?.message).toMatch(/debe ser una cadena/);
+    });
+    (0, vitest_1.it)('returns error when required integer is missing for hover', () => {
+        const r = h.handle(make('hover', { source: 'logic classical.propositional' }));
+        (0, vitest_1.expect)(r.error?.message).toMatch(/entero positivo/);
+    });
+    (0, vitest_1.it)('returns error when integer is not integer', () => {
+        const r = h.handle(make('hover', { source: 'logic classical.propositional', line: 1.5, column: 2 }));
+        (0, vitest_1.expect)(r.error?.message).toMatch(/entero positivo/);
+    });
+    (0, vitest_1.it)('returns error when integer is < 1', () => {
+        const r = h.handle(make('hover', { source: 'logic classical.propositional', line: 0, column: 2 }));
+        (0, vitest_1.expect)(r.error?.message).toMatch(/entero positivo/);
+    });
+});
+(0, vitest_1.describe)('protocol/handler — parse, check, run', () => {
+    const h = new handler_1.ProtocolHandler();
+    const src = `logic classical.propositional
+axiom regla : P -> Q
+theorem t1 : P -> P
+check valid (P | !P)
+`;
+    (0, vitest_1.it)('parse: returns statements count', () => {
+        const r = h.handle(make('parse', { source: src }));
+        (0, vitest_1.expect)(r.result).toMatchObject({ statements: 4 });
+        (0, vitest_1.expect)(r.diagnostics).toBeDefined();
+    });
+    (0, vitest_1.it)('parse: with explicit file', () => {
+        const r = h.handle(make('parse', { source: src, file: 'demo.st' }));
+        (0, vitest_1.expect)(r.result).toBeDefined();
+    });
+    (0, vitest_1.it)('check: valid when no error diagnostics', () => {
+        const r = h.handle(make('check', { source: src }));
+        (0, vitest_1.expect)(r.result).toMatchObject({ valid: true });
+    });
+    (0, vitest_1.it)('check: invalid when parse error', () => {
+        const r = h.handle(make('check', { source: 'logic classical.propositional\naxiom bad :: garbage' }));
+        (0, vitest_1.expect)(r.result.valid).toBe(false);
+    });
+    (0, vitest_1.it)('run: executes interpreter and returns ExecutionOutput', () => {
+        const r = h.handle(make('run', { source: src }));
+        (0, vitest_1.expect)(r.result).toBeDefined();
+        (0, vitest_1.expect)(r.result.stdout).toBeDefined();
+    });
+});
+(0, vitest_1.describe)('protocol/handler — hover', () => {
+    const h = new handler_1.ProtocolHandler();
+    const src = `logic classical.propositional
+let alpha = P -> Q
+let idea : "una idea"
+axiom regla : P -> Q
+theorem t1 : P -> P
+define Mortal(x) := P(x) -> Q(x)
+source Kant24 { author "Kant"; year 2024 }
+fn helper(p, q) {
+  return p
+}
+`;
+    (0, vitest_1.it)('returns hover for let_decl formula', () => {
+        const r = h.handle(make('hover', { source: src, line: 2, column: 6 }));
+        (0, vitest_1.expect)(r.result?.content).toMatch(/Let/);
+    });
+    (0, vitest_1.it)('returns hover for axiom_decl', () => {
+        const r = h.handle(make('hover', { source: src, line: 4, column: 9 }));
+        (0, vitest_1.expect)(r.result?.content).toMatch(/Axioma/);
+    });
+    (0, vitest_1.it)('returns hover for theorem_decl', () => {
+        const r = h.handle(make('hover', { source: src, line: 5, column: 10 }));
+        (0, vitest_1.expect)(r.result?.content).toMatch(/Teorema/);
+    });
+    (0, vitest_1.it)('returns hover for define_decl', () => {
+        const r = h.handle(make('hover', { source: src, line: 6, column: 9 }));
+        (0, vitest_1.expect)(r.result?.content).toMatch(/Define/);
+    });
+    (0, vitest_1.it)('returns hover for source_decl', () => {
+        const r = h.handle(make('hover', { source: src, line: 7, column: 12 }));
+        (0, vitest_1.expect)(r.result?.content).toMatch(/Source/);
+    });
+    (0, vitest_1.it)('returns hover for fn_decl', () => {
+        const r = h.handle(make('hover', { source: src, line: 8, column: 5 }));
+        (0, vitest_1.expect)(r.result?.content).toMatch(/Función/);
+    });
+    (0, vitest_1.it)('returns hover for keyword', () => {
+        const r = h.handle(make('hover', { source: src, line: 1, column: 3 }));
+        (0, vitest_1.expect)(r.result?.content).toMatch(/logic/i);
+    });
+    (0, vitest_1.it)('returns null when out-of-range line', () => {
+        const r = h.handle(make('hover', { source: src, line: 999, column: 1 }));
+        (0, vitest_1.expect)(r.result).toBeNull();
+    });
+    (0, vitest_1.it)('returns statement hover fallback when no word match', () => {
+        const r = h.handle(make('hover', { source: src, line: 4, column: 1 }));
+        (0, vitest_1.expect)(r.result).toBeDefined();
+    });
+    (0, vitest_1.it)('alias hover: "axioma" maps to axiom', () => {
+        const altSrc = 'axioma\n';
+        const r = h.handle(make('hover', { source: altSrc, line: 1, column: 2 }));
+        (0, vitest_1.expect)(r.result?.content).toMatch(/Declara una premisa|axiom/i);
+    });
+    (0, vitest_1.it)('profile hover: classical.propositional', () => {
+        const r = h.handle(make('hover', { source: 'logic classical.propositional\n', line: 1, column: 10 }));
+        (0, vitest_1.expect)(r.result?.content).toBeDefined();
+    });
+    (0, vitest_1.it)('hover returns null when column out of range', () => {
+        const r = h.handle(make('hover', { source: 'logic classical.propositional\n', line: 1, column: 9999 }));
+        (0, vitest_1.expect)(r.result).toBeNull();
+    });
+});
+(0, vitest_1.describe)('protocol/handler — symbols', () => {
+    const h = new handler_1.ProtocolHandler();
+    const src = `logic classical.propositional
+axiom regla : P -> Q
+theorem t1 : P -> P
+let alpha = P -> Q
+claim c1 = alpha
+define Mortal(x) := P(x) -> Q(x)
+source Kant24 { author "Kant" }
+fn helper(p, q) {
+  return p
+}
+export define Sun(x) := P(x)
+export source Other { author "x" }
+export fn util(a) { return a }
+`;
+    (0, vitest_1.it)('returns list of symbols of various kinds', () => {
+        const r = h.handle(make('symbols', { source: src }));
+        const syms = r.result;
+        (0, vitest_1.expect)(syms.length).toBeGreaterThan(5);
+        const kinds = new Set(syms.map((s) => s.kind));
+        (0, vitest_1.expect)(kinds.has('axiom')).toBe(true);
+        (0, vitest_1.expect)(kinds.has('theorem')).toBe(true);
+        (0, vitest_1.expect)(kinds.has('claim')).toBe(true);
+        (0, vitest_1.expect)(kinds.has('definition')).toBe(true);
+        (0, vitest_1.expect)(kinds.has('source')).toBe(true);
+        (0, vitest_1.expect)(kinds.has('function')).toBe(true);
+    });
+    (0, vitest_1.it)('returns theory members with prefix', () => {
+        const theorySrc = `logic classical.propositional
+theory Mente(id) {
+  axiom a1 : P
+  theorem t1 : Q
+  let x = P
+  define D(y) := P
+  fn h() { return 1 }
+}
+`;
+        const r = h.handle(make('symbols', { source: theorySrc }));
+        const syms = r.result;
+        (0, vitest_1.expect)(syms.some((s) => s.name === 'Mente')).toBe(true);
+        (0, vitest_1.expect)(syms.some((s) => s.name.startsWith('Mente.'))).toBe(true);
+    });
+});
+(0, vitest_1.describe)('protocol/handler — goto_definition', () => {
+    const h = new handler_1.ProtocolHandler();
+    const src = `logic classical.propositional
+axiom regla : P -> Q
+theorem t1 : P -> P
+theory Persona(n) {
+  axiom personal : P
+}
+`;
+    (0, vitest_1.it)('finds top-level definition', () => {
+        const r = h.handle(make('goto_definition', { source: src, name: 'regla' }));
+        (0, vitest_1.expect)(r.result).toBeDefined();
+        (0, vitest_1.expect)(r.result.line).toBe(2);
+    });
+    (0, vitest_1.it)('returns null for missing name', () => {
+        const r = h.handle(make('goto_definition', { source: src, name: 'noSuchName' }));
+        (0, vitest_1.expect)(r.result).toBeNull();
+    });
+    (0, vitest_1.it)('finds member inside theory by qualified name', () => {
+        const r = h.handle(make('goto_definition', { source: src, name: 'Persona.personal' }));
+        (0, vitest_1.expect)(r.result).not.toBeNull();
+    });
+    (0, vitest_1.it)('finds member inside theory by unqualified name', () => {
+        const r = h.handle(make('goto_definition', { source: src, name: 'personal' }));
+        (0, vitest_1.expect)(r.result).not.toBeNull();
+    });
+    (0, vitest_1.it)('finds inside export_decl', () => {
+        const r = h.handle(make('goto_definition', {
+            source: 'logic classical.propositional\nexport axiom shared : P\n',
+            name: 'shared',
+        }));
+        (0, vitest_1.expect)(r.result).not.toBeNull();
+    });
+});
+(0, vitest_1.describe)('protocol/handler — completion', () => {
+    (0, vitest_1.it)('returns a list of completion items', () => {
+        const h = new handler_1.ProtocolHandler();
+        const r = h.handle(make('completion', {}));
+        const items = r.result;
+        (0, vitest_1.expect)(items.length).toBeGreaterThan(20);
+        (0, vitest_1.expect)(items.some((i) => i.label === 'logic')).toBe(true);
+    });
+});
+(0, vitest_1.describe)('protocol/handler — render', () => {
+    const h = new handler_1.ProtocolHandler();
+    const src = `logic classical.propositional
+check valid (P | !P)
+`;
+    (0, vitest_1.it)('renders as markdown by default', () => {
+        const r = h.handle(make('render', { source: src }));
+        const out = r.result;
+        (0, vitest_1.expect)(out.format).toBe('markdown');
+        (0, vitest_1.expect)(typeof out.rendered).toBe('string');
+    });
+    (0, vitest_1.it)('renders as json when requested', () => {
+        const r = h.handle(make('render', { source: src, format: 'json' }));
+        const out = r.result;
+        (0, vitest_1.expect)(out.format).toBe('json');
+        (0, vitest_1.expect)(() => {
+            JSON.parse(out.rendered);
+        }).not.toThrow();
+    });
+    (0, vitest_1.it)('renders diagnostics in markdown when present', () => {
+        const r = h.handle(make('render', { source: 'logic classical.propositional\nbadkeyword foo\n' }));
+        const out = r.result;
+        (0, vitest_1.expect)(out.rendered).toMatch(/Diagnosticos|.+/);
+    });
+});
+//# sourceMappingURL=protocol-handler.test.js.map

package/dist/tests/coverage-95/protocol-handler.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"protocol-handler.test.js","sourceRoot":"","sources":["../../../src/tests/coverage-95/protocol-handler.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,oDAAyD;AAGzD,MAAM,IAAI,GAAG,CAAC,MAAc,EAAE,SAAkC,EAAE,EAAE,EAAE,GAAG,CAAC,EAAmB,EAAE,CAC7F,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,CAAoB,CAAC;AAE9C,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,MAAM,CAAC,GAAG,IAAI,yBAAe,EAAE,CAAC;IAEhC,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;YACjB,EAAE,EAAE,CAAC;YACL,MAAM,EAAE,iBAAiB;YACzB,MAAM,EAAE,EAAE;SACmB,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;YACjB,EAAE,EAAE,CAAC;YACL,MAAM,EAAE,OAAO;YACf,MAAM,EAAE,eAAqD;SAC9D,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;YACjB,EAAE,EAAE,CAAC;YACL,MAAM,EAAE,OAAO;YACf,MAAM,EAAE,IAA0C;SACnD,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC;YACjB,EAAE,EAAE,CAAC;YACL,MAAM,EAAE,OAAO;YACf,MAAM,EAAE,EAAwC;SACjD,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,uBAAuB,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,+BAA+B,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACxF,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,+BAA+B,EAAE,CAAC,CAAC,CAAC;QAC/E,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAChB,IAAI,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,+BAA+B,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CACjF,CAAC;QACF,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAChB,IAAI,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,+BAA+B,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAC/E,CAAC;QACF,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,MAAM,CAAC,GAAG,IAAI,yBAAe,EAAE,CAAC;IAChC,MAAM,GAAG,GAAG;;;;CAIb,CAAC;IAEA,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,aAAa,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,CAAC,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,aAAa,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAChB,IAAI,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,qDAAqD,EAAE,CAAC,CACjF,CAAC;QACF,IAAA,eAAM,EAAE,CAAC,CAAC,MAA6B,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;QAC/B,IAAA,eAAM,EAAE,CAAC,CAAC,MAA8B,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;IACjE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,MAAM,CAAC,GAAG,IAAI,yBAAe,EAAE,CAAC;IAChC,MAAM,GAAG,GAAG;;;;;;;;;;CAUb,CAAC;IAEA,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACvE,IAAA,eAAM,EAAE,CAAC,CAAC,MAAqC,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACvE,IAAA,eAAM,EAAE,CAAC,CAAC,MAAqC,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QACxE,IAAA,eAAM,EAAE,CAAC,CAAC,MAAqC,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACvE,IAAA,eAAM,EAAE,CAAC,CAAC,MAAqC,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QACxE,IAAA,eAAM,EAAE,CAAC,CAAC,MAAqC,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACvE,IAAA,eAAM,EAAE,CAAC,CAAC,MAAqC,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACvE,IAAA,eAAM,EAAE,CAAC,CAAC,MAAqC,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,MAAM,GAAG,UAAU,CAAC;QAC1B,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1E,IAAA,eAAM,EAAE,CAAC,CAAC,MAAqC,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,4BAA4B,CAAC,CAAC;IAClG,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAChB,IAAI,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,iCAAiC,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAClF,CAAC;QACF,IAAA,eAAM,EAAE,CAAC,CAAC,MAAqC,EAAE,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAChB,IAAI,CAAC,OAAO,EAAE,EAAE,MAAM,EAAE,iCAAiC,EAAE,IAAI,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CACpF,CAAC;QACF,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,MAAM,CAAC,GAAG,IAAI,yBAAe,EAAE,CAAC;IAChC,MAAM,GAAG,GAAG;;;;;;;;;;;;;CAab,CAAC;IAEA,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QACrD,MAAM,IAAI,GAAG,CAAC,CAAC,MAA+C,CAAC;QAC/D,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,SAAS,GAAG;;;;;;;;CAQrB,CAAC;QACE,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC;QAC3D,MAAM,IAAI,GAAG,CAAC,CAAC,MAAiC,CAAC;QACjD,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,MAAM,CAAC,GAAG,IAAI,yBAAe,EAAE,CAAC;IAChC,MAAM,GAAG,GAAG;;;;;;CAMb,CAAC;IAEA,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,iBAAiB,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;QAC5E,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;QAC/B,IAAA,eAAM,EAAE,CAAC,CAAC,MAA2B,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,iBAAiB,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC;QACjF,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,iBAAiB,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,kBAAkB,EAAE,CAAC,CAAC,CAAC;QACvF,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,iBAAiB,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;QAC/E,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAChB,IAAI,CAAC,iBAAiB,EAAE;YACtB,MAAM,EAAE,0DAA0D;YAClE,IAAI,EAAE,QAAQ;SACf,CAAC,CACH,CAAC;QACF,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,IAAI,yBAAe,EAAE,CAAC;QAChC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,EAAE,EAAE,CAAC,CAAC,CAAC;QAC3C,MAAM,KAAK,GAAG,CAAC,CAAC,MAAgD,CAAC;QACjE,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,MAAM,CAAC,GAAG,IAAI,yBAAe,EAAE,CAAC;IAChC,MAAM,GAAG,GAAG;;CAEb,CAAC;IAEA,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QACpD,MAAM,GAAG,GAAG,CAAC,CAAC,MAA8C,CAAC;QAC7D,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;QACpE,MAAM,GAAG,GAAG,CAAC,CAAC,MAA8C,CAAC;QAC7D,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,GAAG,EAAE;YACV,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC3B,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;IACnB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAChB,IAAI,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,iDAAiD,EAAE,CAAC,CAC9E,CAAC;QACF,MAAM,GAAG,GAAG,CAAC,CAAC,MAA8B,CAAC;QAC7C,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/coverage-95/smt-mock-backend.test.d.ts

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