@stevenvo780/st-lang 2.8.0 → 3.0.0

package/dist/tests/v3-features.test.js

@@ -0,0 +1,529 @@
+"use strict";
+// ============================================================
+// Tests v3.0 — define, unfold, fold, source, interpret,
+//              glossary, render glossary/analysis
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const interpreter_1 = require("../runtime/interpreter");
+const parser_1 = require("../parser/parser");
+// ── Helpers ──────────────────────────────────────────────────
+function run(source) {
+    const interp = new interpreter_1.Interpreter();
+    return interp.execute(source);
+}
+function parseOk(source) {
+    const parser = new parser_1.Parser('<test>');
+    const program = parser.parse(source);
+    (0, vitest_1.expect)(parser.diagnostics.filter((d) => d.severity === 'error')).toHaveLength(0);
+    return program;
+}
+// ── 1. define ────────────────────────────────────────────────
+(0, vitest_1.describe)('define — formal definitions', () => {
+    (0, vitest_1.it)('parses simple define without params', () => {
+        const prog = parseOk('logic classical.propositional\ndefine Tautology := P -> P');
+        const stmt = prog.statements[1];
+        (0, vitest_1.expect)(stmt.kind).toBe('define_decl');
+        if (stmt.kind === 'define_decl') {
+            (0, vitest_1.expect)(stmt.name).toBe('Tautology');
+            (0, vitest_1.expect)(stmt.params).toBeUndefined();
+        }
+    });
+    (0, vitest_1.it)('parses define with params', () => {
+        const prog = parseOk('logic classical.propositional\ndefine Implies(x, y) := x -> y');
+        const stmt = prog.statements[1];
+        (0, vitest_1.expect)(stmt.kind).toBe('define_decl');
+        if (stmt.kind === 'define_decl') {
+            (0, vitest_1.expect)(stmt.name).toBe('Implies');
+            (0, vitest_1.expect)(stmt.params).toEqual(['x', 'y']);
+        }
+    });
+    (0, vitest_1.it)('parses define with description', () => {
+        const prog = parseOk('logic classical.propositional\n' +
+            'define Tautology := P -> P\n' +
+            'description "Una tautología básica"');
+        const stmt = prog.statements[1];
+        if (stmt.kind === 'define_decl') {
+            (0, vitest_1.expect)(stmt.description).toBe('Una tautología básica');
+        }
+    });
+    (0, vitest_1.it)('executes define and emits output', () => {
+        const out = run('logic classical.propositional\ndefine Tautology := P -> P');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('Define');
+        (0, vitest_1.expect)(out.stdout).toContain('Tautology');
+    });
+    (0, vitest_1.it)('define with params emits param list', () => {
+        const out = run('logic classical.propositional\ndefine Implies(x, y) := x -> y');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('Implies(x, y)');
+    });
+    (0, vitest_1.it)('define with description emits description', () => {
+        const out = run('logic classical.propositional\n' +
+            'define Tautology := P -> P\n' +
+            'description "Una tautología"');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('Una tautología');
+    });
+    (0, vitest_1.it)('detects circular definition (self-reference)', () => {
+        const out = run('logic classical.propositional\ndefine Loop := Loop');
+        (0, vitest_1.expect)(out.exitCode).not.toBe(0);
+    });
+    (0, vitest_1.it)('detects indirect circular definition', () => {
+        const out = run('logic classical.propositional\n' + 'define A := B\n' + 'define B := A');
+        (0, vitest_1.expect)(out.exitCode).not.toBe(0);
+    });
+    (0, vitest_1.it)('allows non-circular chain definitions', () => {
+        const out = run('logic classical.propositional\n' + 'define A := P -> Q\n' + 'define B := A -> R');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    });
+    (0, vitest_1.it)('definition used in check valid', () => {
+        const out = run('logic classical.propositional\n' + 'define Tautology := P -> P\n' + 'check valid Tautology');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.results[0].status).toBe('valid');
+    });
+    (0, vitest_1.it)('parametric definition used in check valid', () => {
+        const out = run('logic classical.propositional\n' +
+            'define Implies(x, y) := x -> y\n' +
+            'check valid Implies(P, P)');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.results[0].status).toBe('valid');
+    });
+    (0, vitest_1.it)('definition used in derive', () => {
+        const out = run('logic classical.propositional\n' +
+            'define MyRule := P -> Q\n' +
+            'axiom A1 : MyRule\n' +
+            'axiom A2 : P\n' +
+            'derive Q from {A1, A2}');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.results[0].status).toBe('provable');
+    });
+    (0, vitest_1.it)('define with = instead of :=', () => {
+        const out = run('logic classical.propositional\ndefine Taut = P -> P');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('Taut');
+    });
+    (0, vitest_1.it)('overwriting a definition replaces it', () => {
+        const out = run('logic classical.propositional\n' + 'define D := P\n' + 'define D := Q\n' + 'glossary');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        // The glossary should show Q, not P
+        (0, vitest_1.expect)(out.stdout).toContain('Q');
+    });
+});
+// ── 2. Spanish aliases for define/unfold/fold ────────────────
+(0, vitest_1.describe)('Spanish aliases — definir, desplegar, plegar', () => {
+    (0, vitest_1.it)('definir = define', () => {
+        const out = run('logic classical.propositional\ndefinir Taut := P -> P');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('Define');
+        (0, vitest_1.expect)(out.stdout).toContain('Taut');
+    });
+    (0, vitest_1.it)('desplegar = unfold', () => {
+        const out = run('logic classical.propositional\n' + 'definir Taut := P -> P\n' + 'desplegar Taut');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('Unfold');
+    });
+    (0, vitest_1.it)('plegar = fold', () => {
+        const out = run('logic classical.propositional\n' + 'definir Taut := P -> P\n' + 'plegar (P -> P)');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('Fold');
+    });
+});
+// ── 3. unfold ────────────────────────────────────────────────
+(0, vitest_1.describe)('unfold — definition expansion', () => {
+    (0, vitest_1.it)('unfolds a simple definition', () => {
+        const out = run('logic classical.propositional\n' + 'define Tautology := P -> P\n' + 'unfold Tautology');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('Unfold');
+        (0, vitest_1.expect)(out.stdout).toContain('→');
+    });
+    (0, vitest_1.it)('unfold produces a result', () => {
+        const out = run('logic classical.propositional\n' + 'define D := P & Q\n' + 'unfold D');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.results).toHaveLength(1);
+        (0, vitest_1.expect)(out.results[0].status).toBe('valid');
+    });
+    (0, vitest_1.it)('unfold unknown name still works (no expansion)', () => {
+        const out = run('logic classical.propositional\nunfold Unknown');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        // It should still emit the formula as-is
+        (0, vitest_1.expect)(out.stdout).toContain('Unfold');
+    });
+    (0, vitest_1.it)('unfold chain: A := B, B := P; unfold A shows P', () => {
+        const out = run('logic classical.propositional\n' + 'define B := P -> Q\n' + 'define A := B\n' + 'unfold A');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        // A expands to B, but B is also expanded during resolve
+        (0, vitest_1.expect)(out.results).toHaveLength(1);
+    });
+});
+// ── 4. fold ──────────────────────────────────────────────────
+(0, vitest_1.describe)('fold — reverse definition', () => {
+    (0, vitest_1.it)('folds a formula back to its definition name', () => {
+        const out = run('logic classical.propositional\n' + 'define D := P -> Q\n' + 'fold (P -> Q)');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('Fold');
+        (0, vitest_1.expect)(out.stdout).toContain('D');
+    });
+    (0, vitest_1.it)('fold with no matching definition returns formula as-is', () => {
+        const out = run('logic classical.propositional\nfold (P -> Q)');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.results).toHaveLength(1);
+    });
+    (0, vitest_1.it)('fold produces a result entry', () => {
+        const out = run('logic classical.propositional\n' + 'define D := P & Q\n' + 'fold (P & Q)');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.results[0].status).toBe('valid');
+    });
+});
+// ── 5. source ────────────────────────────────────────────────
+(0, vitest_1.describe)('source — bibliographic declarations', () => {
+    (0, vitest_1.it)('parses source with fields', () => {
+        const prog = parseOk('logic classical.propositional\n' +
+            'source Aristotle {\n' +
+            '  author "Aristóteles"\n' +
+            '  work "Organon"\n' +
+            '  year 350\n' +
+            '}');
+        const stmt = prog.statements[1];
+        (0, vitest_1.expect)(stmt.kind).toBe('source_decl');
+    });
+    (0, vitest_1.it)('executes source and emits info', () => {
+        const out = run('logic classical.propositional\n' +
+            'source Aristotle {\n' +
+            '  author "Aristóteles"\n' +
+            '  work "Organon"\n' +
+            '  year 350\n' +
+            '}');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('Aristóteles');
+        (0, vitest_1.expect)(out.stdout).toContain('350');
+        (0, vitest_1.expect)(out.stdout).toContain('Organon');
+    });
+    (0, vitest_1.it)('source with fuente alias (Spanish)', () => {
+        const out = run('logic classical.propositional\n' +
+            'fuente Frege {\n' +
+            '  author "Gottlob Frege"\n' +
+            '  work "Begriffsschrift"\n' +
+            '  year 1879\n' +
+            '}');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('Frege');
+        (0, vitest_1.expect)(out.stdout).toContain('1879');
+    });
+    (0, vitest_1.it)('source appears in glossary', () => {
+        const out = run('logic classical.propositional\n' +
+            'source Aristotle {\n' +
+            '  author "Aristóteles"\n' +
+            '  work "Organon"\n' +
+            '  year 350\n' +
+            '}\n' +
+            'glossary');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('Fuentes');
+        (0, vitest_1.expect)(out.stdout).toContain('Aristóteles');
+    });
+    (0, vitest_1.it)('source with url and section', () => {
+        const out = run('logic classical.propositional\n' +
+            'source Wiki {\n' +
+            '  author "Wikipedia"\n' +
+            '  work "Lógica proposicional"\n' +
+            '  url "https://en.wikipedia.org/wiki/Propositional_logic"\n' +
+            '  section "Introduction"\n' +
+            '}');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('Wikipedia');
+    });
+});
+// ── 6. interpret ─────────────────────────────────────────────
+(0, vitest_1.describe)('interpret — text-to-formula binding', () => {
+    (0, vitest_1.it)('parses interpret with string', () => {
+        const prog = parseOk('logic classical.propositional\n' + 'interpret "todo hombre es mortal" as P -> Q');
+        const stmt = prog.statements[1];
+        (0, vitest_1.expect)(stmt.kind).toBe('interpret_cmd');
+    });
+    (0, vitest_1.it)('executes interpret and emits', () => {
+        const out = run('logic classical.propositional\n' + 'interpret "todo hombre es mortal" as P -> Q');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('Interpret');
+        (0, vitest_1.expect)(out.stdout).toContain('todo hombre es mortal');
+    });
+    (0, vitest_1.it)('interpret with identifier (passageRef)', () => {
+        const out = run('logic classical.propositional\n' + 'interpret Premise1 as P -> Q');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('Interpret');
+        (0, vitest_1.expect)(out.stdout).toContain('Premise1');
+    });
+    (0, vitest_1.it)('interpret creates a let binding usable later', () => {
+        const out = run('logic classical.propositional\n' +
+            'interpret "mortalidad" as P -> Q\n' +
+            'check valid (mortalidad -> mortalidad)');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        // The binding "mortalidad" should be available
+    });
+    (0, vitest_1.it)('interpret appears in glossary', () => {
+        const out = run('logic classical.propositional\n' +
+            'interpret "todo hombre es mortal" as P -> Q\n' +
+            'glossary');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('Interpretaciones');
+        (0, vitest_1.expect)(out.stdout).toContain('todo hombre es mortal');
+    });
+    (0, vitest_1.it)('interpretar alias (Spanish)', () => {
+        const out = run('logic classical.propositional\n' + 'interpretar "llueve" as P');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('Interpret');
+    });
+});
+// ── 7. glossary ──────────────────────────────────────────────
+(0, vitest_1.describe)('glossary — combined output', () => {
+    (0, vitest_1.it)('empty glossary shows "(sin definiciones registradas)"', () => {
+        const out = run('logic classical.propositional\nglossary');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('sin definiciones registradas');
+    });
+    (0, vitest_1.it)('glossary shows definitions', () => {
+        const out = run('logic classical.propositional\n' + 'define A := P -> Q\n' + 'glossary');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('GLOSARIO');
+        (0, vitest_1.expect)(out.stdout).toContain('A');
+    });
+    (0, vitest_1.it)('glossary shows definitions + sources + interpretations', () => {
+        const out = run('logic classical.propositional\n' +
+            'define Implicacion := P -> Q\n' +
+            'source Frege {\n' +
+            '  author "Frege"\n' +
+            '  work "Begriffsschrift"\n' +
+            '  year 1879\n' +
+            '}\n' +
+            'interpret "si P entonces Q" as P -> Q\n' +
+            'glossary');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('GLOSARIO');
+        (0, vitest_1.expect)(out.stdout).toContain('Implicacion');
+        (0, vitest_1.expect)(out.stdout).toContain('Fuentes');
+        (0, vitest_1.expect)(out.stdout).toContain('Frege');
+        (0, vitest_1.expect)(out.stdout).toContain('Interpretaciones');
+        (0, vitest_1.expect)(out.stdout).toContain('si P entonces Q');
+    });
+    (0, vitest_1.it)('glosario alias (Spanish)', () => {
+        const out = run('logic classical.propositional\nglosario');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('GLOSARIO');
+    });
+});
+// ── 8. render glossary ───────────────────────────────────────
+(0, vitest_1.describe)('render glossary — formatted output', () => {
+    (0, vitest_1.it)('render glossary as markdown', () => {
+        const out = run('logic classical.propositional\n' + 'define Impl := P -> Q\n' + 'render glossary as markdown');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('**Impl**');
+        (0, vitest_1.expect)(out.stdout).toContain(':=');
+    });
+    (0, vitest_1.it)('render glossary as json', () => {
+        const out = run('logic classical.propositional\n' + 'define Impl := P -> Q\n' + 'render glossary as json');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        // JSON must be parseable
+        const lines = out.stdout.split('\n');
+        const jsonStr = lines.filter((l) => l.trim().length > 0).join('\n');
+        (0, vitest_1.expect)(jsonStr).toContain('"Impl"');
+        (0, vitest_1.expect)(jsonStr).toContain('"body"');
+    });
+    (0, vitest_1.it)('render glossary as latex', () => {
+        const out = run('logic classical.propositional\n' + 'define Impl := P -> Q\n' + 'render glossary as latex');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('\\newcommand');
+        (0, vitest_1.expect)(out.stdout).toContain('Impl');
+    });
+    (0, vitest_1.it)('render glossary with no definitions', () => {
+        const out = run('logic classical.propositional\nrender glossary as markdown');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('sin definiciones');
+    });
+    (0, vitest_1.it)('render glossary with params and description', () => {
+        const out = run('logic classical.propositional\n' +
+            'define Impl(x, y) := x -> y\n' +
+            'description "Implicación material"\n' +
+            'render glossary as markdown');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('Impl(x, y)');
+        (0, vitest_1.expect)(out.stdout).toContain('Implicación material');
+    });
+});
+// ── 9. render analysis ───────────────────────────────────────
+(0, vitest_1.describe)('render analysis — full document', () => {
+    (0, vitest_1.it)('render analysis produces headings', () => {
+        const out = run('logic classical.propositional\n' +
+            'define D := P -> Q\n' +
+            'axiom A1 : P -> Q\n' +
+            'render analysis as markdown');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('Análisis');
+        (0, vitest_1.expect)(out.stdout).toContain('Definiciones');
+        (0, vitest_1.expect)(out.stdout).toContain('Axiomas');
+    });
+    (0, vitest_1.it)('render analysis includes sources', () => {
+        const out = run('logic classical.propositional\n' +
+            'source Aristotle {\n' +
+            '  author "Aristóteles"\n' +
+            '  work "Organon"\n' +
+            '  year 350\n' +
+            '}\n' +
+            'render analysis as markdown');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('Fuentes');
+        (0, vitest_1.expect)(out.stdout).toContain('Aristóteles');
+    });
+    (0, vitest_1.it)('render analysis with theorems and claims', () => {
+        const out = run('logic classical.propositional\n' +
+            'axiom A1 : P -> Q\n' +
+            'axiom A2 : P\n' +
+            'theorem T1 = Q\n' +
+            'render analysis as markdown');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('Teoremas');
+    });
+    (0, vitest_1.it)('render analysis empty is minimal', () => {
+        const out = run('logic classical.propositional\nrender analysis as markdown');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('Análisis');
+    });
+});
+// ── 10. definition expansion in proofs ───────────────────────
+(0, vitest_1.describe)('definition expansion in resolve pipeline', () => {
+    (0, vitest_1.it)('definition expanded in check satisfiable', () => {
+        const out = run('logic classical.propositional\n' + 'define D := P & !P\n' + 'check satisfiable D');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.results[0].status).toBe('unsatisfiable');
+    });
+    (0, vitest_1.it)('parametric definition in check valid', () => {
+        const out = run('logic classical.propositional\n' + 'define Id(x) := x -> x\n' + 'check valid Id(P)');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.results[0].status).toBe('valid');
+    });
+    (0, vitest_1.it)('parametric definition with two params', () => {
+        const out = run('logic classical.propositional\n' +
+            'define Impl(x, y) := x -> y\n' +
+            'check valid (Impl(P, P))');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.results[0].status).toBe('valid');
+    });
+    (0, vitest_1.it)('definition expanded in derive', () => {
+        const out = run('logic classical.propositional\n' +
+            'define IMP := P -> Q\n' +
+            'axiom A1 : IMP\n' +
+            'axiom A2 : P\n' +
+            'derive Q from {A1, A2}');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.results[0].status).toBe('provable');
+    });
+    (0, vitest_1.it)('definition in truth table', () => {
+        const out = run('logic classical.propositional\n' + 'define D := P | !P\n' + 'truth_table D');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('T');
+    });
+});
+// ── 11. export of definitions ────────────────────────────────
+(0, vitest_1.describe)('export define', () => {
+    (0, vitest_1.it)('parses export define', () => {
+        const prog = parseOk('logic classical.propositional\n' + 'export define MyDef := P -> Q');
+        const stmt = prog.statements[1];
+        (0, vitest_1.expect)(stmt.kind).toBe('export_decl');
+    });
+});
+// ── 12. edge cases and integration ───────────────────────────
+(0, vitest_1.describe)('edge cases', () => {
+    (0, vitest_1.it)('multiple defines before glossary', () => {
+        const out = run('logic classical.propositional\n' +
+            'define A := P\n' +
+            'define B := Q\n' +
+            'define C := R\n' +
+            'glossary');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('A');
+        (0, vitest_1.expect)(out.stdout).toContain('B');
+        (0, vitest_1.expect)(out.stdout).toContain('C');
+    });
+    (0, vitest_1.it)('define + source + interpret + unfold + fold + glossary all in one', () => {
+        const out = run('logic classical.propositional\n' +
+            'define D := P -> Q\n' +
+            'source Aristotle {\n' +
+            '  author "Aristóteles"\n' +
+            '  work "Organon"\n' +
+            '}\n' +
+            'interpret "si P entonces Q" as P -> Q\n' +
+            'unfold D\n' +
+            'fold (P -> Q)\n' +
+            'glossary');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('Define');
+        (0, vitest_1.expect)(out.stdout).toContain('Source');
+        (0, vitest_1.expect)(out.stdout).toContain('Interpret');
+        (0, vitest_1.expect)(out.stdout).toContain('Unfold');
+        (0, vitest_1.expect)(out.stdout).toContain('Fold');
+        (0, vitest_1.expect)(out.stdout).toContain('GLOSARIO');
+    });
+    (0, vitest_1.it)('define inside theory block', () => {
+        const out = run('logic classical.propositional\n' +
+            'theory T {\n' +
+            '  define D := P -> Q\n' +
+            '  axiom A1 : D\n' +
+            '}');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    });
+    (0, vitest_1.it)('define with complex formula', () => {
+        const out = run('logic classical.propositional\n' + 'define Complex := (P -> Q) & (Q -> R) -> (P -> R)');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('Complex');
+    });
+    (0, vitest_1.it)('define with negation', () => {
+        const out = run('logic classical.propositional\n' +
+            'define Contradiction := P & !P\n' +
+            'check satisfiable Contradiction');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.results[0].status).toBe('unsatisfiable');
+    });
+    (0, vitest_1.it)('unfold then check valid on result', () => {
+        const out = run('logic classical.propositional\n' +
+            'define Taut := P -> P\n' +
+            'unfold Taut\n' +
+            'check valid (P -> P)');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.results[1].status).toBe('valid');
+    });
+    (0, vitest_1.it)('source with negative year', () => {
+        const out = run('logic classical.propositional\n' +
+            'source Ancient {\n' +
+            '  author "Parmenides"\n' +
+            '  year -500\n' +
+            '}');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('Parmenides');
+    });
+    (0, vitest_1.it)('full workflow: source + define + axiom + derive + render analysis', () => {
+        const out = run('logic classical.propositional\n' +
+            'source Aristotle {\n' +
+            '  author "Aristóteles"\n' +
+            '  work "Organon"\n' +
+            '  year 350\n' +
+            '}\n' +
+            'define Mortal := P -> Q\n' +
+            'description "Todo hombre es mortal"\n' +
+            'axiom A1 : Mortal\n' +
+            'axiom A2 : P\n' +
+            'derive Q from {A1, A2}\n' +
+            'render analysis as markdown');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.results[0].status).toBe('provable');
+        (0, vitest_1.expect)(out.stdout).toContain('Análisis');
+        (0, vitest_1.expect)(out.stdout).toContain('Definiciones');
+        (0, vitest_1.expect)(out.stdout).toContain('Axiomas');
+        (0, vitest_1.expect)(out.stdout).toContain('Fuentes');
+    });
+    (0, vitest_1.it)('render glossary default format (no as clause)', () => {
+        const out = run('logic classical.propositional\n' + 'define D := P -> Q\n' + 'render glossary');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        // Default should be markdown
+        (0, vitest_1.expect)(out.stdout).toContain('**D**');
+    });
+});
+//# sourceMappingURL=v3-features.test.js.map

package/dist/tests/v3-features.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"v3-features.test.js","sourceRoot":"","sources":["../../src/tests/v3-features.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,wDAAwD;AACxD,kDAAkD;AAClD,+DAA+D;;AAE/D,mCAA8C;AAC9C,wDAAqD;AACrD,6CAA0C;AAE1C,gEAAgE;AAEhE,SAAS,GAAG,CAAC,MAAc;IACzB,MAAM,MAAM,GAAG,IAAI,yBAAW,EAAE,CAAC;IACjC,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,OAAO,CAAC,MAAc;IAC7B,MAAM,MAAM,GAAG,IAAI,eAAM,CAAC,QAAQ,CAAC,CAAC;IACpC,MAAM,OAAO,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IACrC,IAAA,eAAM,EAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACjF,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,IAAI,GAAG,OAAO,CAAC,2DAA2D,CAAC,CAAC;QAClF,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QACtC,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAChC,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACpC,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,aAAa,EAAE,CAAC;QACtC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,IAAI,GAAG,OAAO,CAAC,+DAA+D,CAAC,CAAC;QACtF,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QACtC,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAChC,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAClC,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,IAAI,GAAG,OAAO,CAClB,iCAAiC;YAC/B,8BAA8B;YAC9B,qCAAqC,CACxC,CAAC;QACF,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAChC,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YAChC,IAAA,eAAM,EAAC,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;QACzD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,GAAG,GAAG,GAAG,CAAC,2DAA2D,CAAC,CAAC;QAC7E,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,GAAG,GAAG,GAAG,CAAC,+DAA+D,CAAC,CAAC;QACjF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC;YAC/B,8BAA8B;YAC9B,8BAA8B,CACjC,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,GAAG,GAAG,GAAG,CAAC,oDAAoD,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,GAAG,GAAG,GAAG,CAAC,iCAAiC,GAAG,iBAAiB,GAAG,eAAe,CAAC,CAAC;QACzF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC,GAAG,sBAAsB,GAAG,oBAAoB,CAClF,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC,GAAG,8BAA8B,GAAG,uBAAuB,CAC7F,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC;YAC/B,kCAAkC;YAClC,2BAA2B,CAC9B,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC;YAC/B,2BAA2B;YAC3B,qBAAqB;YACrB,gBAAgB;YAChB,wBAAwB,CAC3B,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,GAAG,GAAG,GAAG,CAAC,qDAAqD,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC,GAAG,iBAAiB,GAAG,iBAAiB,GAAG,UAAU,CACvF,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,oCAAoC;QACpC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,GAAG,GAAG,GAAG,CAAC,uDAAuD,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC,GAAG,0BAA0B,GAAG,gBAAgB,CAClF,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,eAAe,EAAE,GAAG,EAAE;QACvB,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC,GAAG,0BAA0B,GAAG,iBAAiB,CACnF,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC,GAAG,8BAA8B,GAAG,kBAAkB,CACxF,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,GAAG,GAAG,GAAG,CAAC,iCAAiC,GAAG,qBAAqB,GAAG,UAAU,CAAC,CAAC;QACxF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,GAAG,GAAG,GAAG,CAAC,+CAA+C,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,yCAAyC;QACzC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC,GAAG,sBAAsB,GAAG,iBAAiB,GAAG,UAAU,CAC5F,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,wDAAwD;QACxD,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,GAAG,GAAG,GAAG,CAAC,iCAAiC,GAAG,sBAAsB,GAAG,eAAe,CAAC,CAAC;QAC9F,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,GAAG,GAAG,GAAG,CAAC,8CAA8C,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,GAAG,GAAG,GAAG,CAAC,iCAAiC,GAAG,qBAAqB,GAAG,cAAc,CAAC,CAAC;QAC5F,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,IAAI,GAAG,OAAO,CAClB,iCAAiC;YAC/B,sBAAsB;YACtB,0BAA0B;YAC1B,oBAAoB;YACpB,cAAc;YACd,GAAG,CACN,CAAC;QACF,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC;YAC/B,sBAAsB;YACtB,0BAA0B;YAC1B,oBAAoB;YACpB,cAAc;YACd,GAAG,CACN,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC;YAC/B,kBAAkB;YAClB,4BAA4B;YAC5B,4BAA4B;YAC5B,eAAe;YACf,GAAG,CACN,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC;YAC/B,sBAAsB;YACtB,0BAA0B;YAC1B,oBAAoB;YACpB,cAAc;YACd,KAAK;YACL,UAAU,CACb,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC;YAC/B,iBAAiB;YACjB,wBAAwB;YACxB,iCAAiC;YACjC,6DAA6D;YAC7D,4BAA4B;YAC5B,GAAG,CACN,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,IAAI,GAAG,OAAO,CAClB,iCAAiC,GAAG,6CAA6C,CAClF,CAAC;QACF,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC,GAAG,6CAA6C,CAClF,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,uBAAuB,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,GAAG,GAAG,GAAG,CAAC,iCAAiC,GAAG,8BAA8B,CAAC,CAAC;QACpF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC;YAC/B,oCAAoC;YACpC,wCAAwC,CAC3C,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,+CAA+C;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC;YAC/B,+CAA+C;YAC/C,UAAU,CACb,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,uBAAuB,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,GAAG,GAAG,GAAG,CAAC,iCAAiC,GAAG,2BAA2B,CAAC,CAAC;QACjF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,GAAG,GAAG,GAAG,CAAC,yCAAyC,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,8BAA8B,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,GAAG,GAAG,GAAG,CAAC,iCAAiC,GAAG,sBAAsB,GAAG,UAAU,CAAC,CAAC;QACzF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC;YAC/B,gCAAgC;YAChC,kBAAkB;YAClB,oBAAoB;YACpB,4BAA4B;YAC5B,eAAe;YACf,KAAK;YACL,yCAAyC;YACzC,UAAU,CACb,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,GAAG,GAAG,GAAG,CAAC,yCAAyC,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC,GAAG,yBAAyB,GAAG,6BAA6B,CAC9F,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC,GAAG,yBAAyB,GAAG,yBAAyB,CAC1F,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,yBAAyB;QACzB,MAAM,KAAK,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACrC,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC,GAAG,yBAAyB,GAAG,0BAA0B,CAC3F,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,GAAG,GAAG,GAAG,CAAC,4DAA4D,CAAC,CAAC;QAC9E,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC;YAC/B,+BAA+B;YAC/B,sCAAsC;YACtC,6BAA6B,CAChC,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,sBAAsB,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC;YAC/B,sBAAsB;YACtB,qBAAqB;YACrB,6BAA6B,CAChC,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC;YAC/B,sBAAsB;YACtB,0BAA0B;YAC1B,oBAAoB;YACpB,cAAc;YACd,KAAK;YACL,6BAA6B,CAChC,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC;YAC/B,qBAAqB;YACrB,gBAAgB;YAChB,kBAAkB;YAClB,6BAA6B,CAChC,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,GAAG,GAAG,GAAG,CAAC,4DAA4D,CAAC,CAAC;QAC9E,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC,GAAG,sBAAsB,GAAG,qBAAqB,CACnF,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC,GAAG,0BAA0B,GAAG,mBAAmB,CACrF,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC;YAC/B,+BAA+B;YAC/B,0BAA0B,CAC7B,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC;YAC/B,wBAAwB;YACxB,kBAAkB;YAClB,gBAAgB;YAChB,wBAAwB,CAC3B,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,GAAG,GAAG,GAAG,CAAC,iCAAiC,GAAG,sBAAsB,GAAG,eAAe,CAAC,CAAC;QAC9F,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,eAAe,EAAE,GAAG,EAAE;IAC7B,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,IAAI,GAAG,OAAO,CAAC,iCAAiC,GAAG,+BAA+B,CAAC,CAAC;QAC1F,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC;YAC/B,iBAAiB;YACjB,iBAAiB;YACjB,iBAAiB;YACjB,UAAU,CACb,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC;YAC/B,sBAAsB;YACtB,sBAAsB;YACtB,0BAA0B;YAC1B,oBAAoB;YACpB,KAAK;YACL,yCAAyC;YACzC,YAAY;YACZ,iBAAiB;YACjB,UAAU,CACb,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC;YAC/B,cAAc;YACd,wBAAwB;YACxB,kBAAkB;YAClB,GAAG,CACN,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC,GAAG,mDAAmD,CACxF,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC;YAC/B,kCAAkC;YAClC,iCAAiC,CACpC,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC;YAC/B,yBAAyB;YACzB,eAAe;YACf,sBAAsB,CACzB,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC;YAC/B,oBAAoB;YACpB,yBAAyB;YACzB,eAAe;YACf,GAAG,CACN,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,GAAG,GAAG,GAAG,CACb,iCAAiC;YAC/B,sBAAsB;YACtB,0BAA0B;YAC1B,oBAAoB;YACpB,cAAc;YACd,KAAK;YACL,2BAA2B;YAC3B,uCAAuC;YACvC,qBAAqB;YACrB,gBAAgB;YAChB,0BAA0B;YAC1B,6BAA6B,CAChC,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,GAAG,GAAG,GAAG,CAAC,iCAAiC,GAAG,sBAAsB,GAAG,iBAAiB,CAAC,CAAC;QAChG,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,6BAA6B;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/v3-stress.test.d.ts

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

package/dist/tests/v3-stress.test.d.ts.map

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