@stevenvo780/st-lang 4.5.2 → 4.7.0

package/dist/tests/tooling/educational/generator.test.js

@@ -0,0 +1,137 @@
+"use strict";
+// ============================================================
+// Tests: generateExercise y generateLessonPath
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const educational_1 = require("../../../tooling/educational");
+(0, vitest_1.describe)('generateExercise', () => {
+    (0, vitest_1.it)('devuelve un Exercise con todos los campos requeridos (level=1, classical, validity)', () => {
+        const ex = (0, educational_1.generateExercise)(1, 'classical.propositional', 'validity', { seed: 42 });
+        (0, vitest_1.expect)(ex.id).toBeTruthy();
+        (0, vitest_1.expect)(ex.level).toBe(1);
+        (0, vitest_1.expect)(ex.profile).toBe('classical.propositional');
+        (0, vitest_1.expect)(ex.kind).toBe('validity');
+        (0, vitest_1.expect)(ex.prompt).toBeTruthy();
+        (0, vitest_1.expect)(Array.isArray(ex.hints)).toBe(true);
+        (0, vitest_1.expect)(ex.hints.length).toBeGreaterThanOrEqual(1);
+        (0, vitest_1.expect)(ex.solution).toBeDefined();
+        (0, vitest_1.expect)(ex.solution.expectedAnswer).toBeTruthy();
+        (0, vitest_1.expect)(ex.solution.explanation).toBeTruthy();
+    });
+    (0, vitest_1.it)('genera ejercicios de satisfacibilidad nivel 1', () => {
+        const ex = (0, educational_1.generateExercise)(1, 'classical.propositional', 'satisfiability', {
+            seed: 7,
+        });
+        (0, vitest_1.expect)(ex.kind).toBe('satisfiability');
+        (0, vitest_1.expect)(ex.formula).toBeTruthy();
+        (0, vitest_1.expect)(['satisfiable', 'unsatisfiable']).toContain(ex.solution.kind);
+    });
+    (0, vitest_1.it)('genera ejercicios de derivación nivel 2 con premisas y goal', () => {
+        const ex = (0, educational_1.generateExercise)(2, 'classical.propositional', 'derive', { seed: 11 });
+        (0, vitest_1.expect)(ex.kind).toBe('derive');
+        (0, vitest_1.expect)(Array.isArray(ex.premises)).toBe(true);
+        (0, vitest_1.expect)(ex.premises.length).toBeGreaterThan(0);
+        (0, vitest_1.expect)(ex.goal).toBeTruthy();
+    });
+    (0, vitest_1.it)('genera ejercicios intuicionistas nivel 3', () => {
+        const ex = (0, educational_1.generateExercise)(3, 'intuitionistic.propositional', 'validity', {
+            seed: 5,
+        });
+        (0, vitest_1.expect)(ex.profile).toBe('intuitionistic.propositional');
+        (0, vitest_1.expect)(['valid', 'invalid']).toContain(ex.solution.kind);
+    });
+    (0, vitest_1.it)('genera ejercicios nivel 4 (avanzado)', () => {
+        const ex = (0, educational_1.generateExercise)(4, 'classical.propositional', 'derive', { seed: 99 });
+        (0, vitest_1.expect)(ex.level).toBe(4);
+        (0, vitest_1.expect)(ex.premises.length).toBeGreaterThanOrEqual(2);
+    });
+    (0, vitest_1.it)('genera ejercicios de countermodel nivel 2', () => {
+        const ex = (0, educational_1.generateExercise)(2, 'classical.propositional', 'countermodel', {
+            seed: 13,
+        });
+        (0, vitest_1.expect)(ex.kind).toBe('countermodel');
+        (0, vitest_1.expect)(ex.solution.countermodelHint).toBeDefined();
+    });
+    (0, vitest_1.it)('determinismo: mismo seed produce mismo ejercicio', () => {
+        const a = (0, educational_1.generateExercise)(2, 'classical.propositional', 'derive', { seed: 12345 });
+        const b = (0, educational_1.generateExercise)(2, 'classical.propositional', 'derive', { seed: 12345 });
+        (0, vitest_1.expect)(a.id).toBe(b.id);
+        (0, vitest_1.expect)(a.prompt).toBe(b.prompt);
+        (0, vitest_1.expect)(a.formula).toBe(b.formula);
+        (0, vitest_1.expect)(a.premises).toEqual(b.premises);
+        (0, vitest_1.expect)(a.goal).toBe(b.goal);
+    });
+    (0, vitest_1.it)('determinismo: distintos seeds (generalmente) producen distintos ejercicios', () => {
+        const variants = new Set();
+        for (let i = 0; i < 10; i++) {
+            const ex = (0, educational_1.generateExercise)(2, 'classical.propositional', 'derive', {
+                seed: i * 1000 + 7,
+            });
+            variants.add(`${ex.prompt}|${ex.formula ?? ''}|${(ex.premises ?? []).join(',')}`);
+        }
+        (0, vitest_1.expect)(variants.size).toBeGreaterThan(1);
+    });
+    (0, vitest_1.it)('templateId fuerza una plantilla específica', () => {
+        const ex = (0, educational_1.generateExercise)(1, 'classical.propositional', 'validity', {
+            seed: 1,
+            templateId: 'l1-identity',
+        });
+        (0, vitest_1.expect)(ex.solution.kind).toBe('valid');
+        (0, vitest_1.expect)(ex.formula).toContain('->');
+    });
+    (0, vitest_1.it)('lanza error si no hay plantilla para la combinación', () => {
+        (0, vitest_1.expect)(() => (0, educational_1.generateExercise)(4, 'aristotelian.syllogistic', 'derive')).toThrow();
+    });
+    (0, vitest_1.it)('lanza error si templateId no existe', () => {
+        (0, vitest_1.expect)(() => (0, educational_1.generateExercise)(1, 'classical.propositional', 'validity', {
+            templateId: 'no-existe-jamas',
+        })).toThrow();
+    });
+});
+(0, vitest_1.describe)('generateLessonPath', () => {
+    (0, vitest_1.it)('devuelve >= 3 ejercicios de nivel creciente para classical hasta 3', () => {
+        const path = (0, educational_1.generateLessonPath)('classical.propositional', 3, { seed: 100 });
+        (0, vitest_1.expect)(path.length).toBeGreaterThanOrEqual(3);
+        // Niveles deben ser monotónicamente no-decrecientes
+        for (let i = 1; i < path.length; i++) {
+            const prev = path[i - 1].level;
+            const curr = path[i].level;
+            (0, vitest_1.expect)(curr).toBeGreaterThanOrEqual(prev);
+        }
+    });
+    (0, vitest_1.it)('cubre niveles de 1 a targetLevel', () => {
+        const path = (0, educational_1.generateLessonPath)('classical.propositional', 4, { seed: 200 });
+        const levels = new Set(path.map((e) => e.level));
+        (0, vitest_1.expect)(levels.has(1)).toBe(true);
+        (0, vitest_1.expect)(levels.has(2)).toBe(true);
+        (0, vitest_1.expect)(levels.has(3)).toBe(true);
+        (0, vitest_1.expect)(levels.has(4)).toBe(true);
+    });
+    (0, vitest_1.it)('determinismo con seed', () => {
+        const a = (0, educational_1.generateLessonPath)('classical.propositional', 2, { seed: 99 });
+        const b = (0, educational_1.generateLessonPath)('classical.propositional', 2, { seed: 99 });
+        (0, vitest_1.expect)(a.length).toBe(b.length);
+        (0, vitest_1.expect)(a.map((e) => e.id)).toEqual(b.map((e) => e.id));
+    });
+    (0, vitest_1.it)('genera path intuicionista', () => {
+        const path = (0, educational_1.generateLessonPath)('intuitionistic.propositional', 3, { seed: 33 });
+        (0, vitest_1.expect)(path.length).toBeGreaterThan(0);
+    });
+});
+(0, vitest_1.describe)('listTemplates', () => {
+    (0, vitest_1.it)('hay plantillas para los 4 niveles', () => {
+        const all = (0, educational_1.listTemplates)();
+        const levels = new Set(all.map((t) => t.level));
+        (0, vitest_1.expect)(levels.has(1)).toBe(true);
+        (0, vitest_1.expect)(levels.has(2)).toBe(true);
+        (0, vitest_1.expect)(levels.has(3)).toBe(true);
+        (0, vitest_1.expect)(levels.has(4)).toBe(true);
+    });
+    (0, vitest_1.it)('todas las plantillas declaran al menos un perfil', () => {
+        for (const t of (0, educational_1.listTemplates)()) {
+            (0, vitest_1.expect)(t.profiles.length).toBeGreaterThan(0);
+        }
+    });
+});
+//# sourceMappingURL=generator.test.js.map

package/dist/tests/tooling/educational/generator.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"generator.test.js","sourceRoot":"","sources":["../../../../src/tests/tooling/educational/generator.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,+CAA+C;AAC/C,+DAA+D;;AAE/D,mCAA8C;AAC9C,8DAAmG;AAEnG,IAAA,iBAAQ,EAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,IAAA,WAAE,EAAC,qFAAqF,EAAE,GAAG,EAAE;QAC7F,MAAM,EAAE,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QACpF,IAAA,eAAM,EAAC,EAAE,CAAC,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC;QAC3B,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,CAAC;QAC/B,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;QAClC,IAAA,eAAM,EAAC,EAAE,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,UAAU,EAAE,CAAC;QAChD,IAAA,eAAM,EAAC,EAAE,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,UAAU,EAAE,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,EAAE,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,gBAAgB,EAAE;YAC1E,IAAI,EAAE,CAAC;SACR,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,EAAE,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,aAAa,EAAE,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,EAAE,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QAClF,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,EAAE,CAAC,QAAS,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,EAAE,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,8BAA8B,EAAE,UAAU,EAAE;YACzE,IAAI,EAAE,CAAC;SACR,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,EAAE,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QAClF,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,EAAE,CAAC,QAAS,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,EAAE,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,cAAc,EAAE;YACxE,IAAI,EAAE,EAAE;SACT,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,EAAE,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,WAAW,EAAE,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACpF,MAAM,CAAC,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,QAAQ,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QACpF,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QACnC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,MAAM,EAAE,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,QAAQ,EAAE;gBAClE,IAAI,EAAE,CAAC,GAAG,IAAI,GAAG,CAAC;aACnB,CAAC,CAAC;YACH,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC,OAAO,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACpF,CAAC;QACD,IAAA,eAAM,EAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,EAAE,GAAG,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,UAAU,EAAE;YACpE,IAAI,EAAE,CAAC;YACP,UAAU,EAAE,aAAa;SAC1B,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,EAAE,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,8BAAgB,EAAC,CAAC,EAAE,0BAA0B,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACpF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,IAAA,eAAM,EAAC,GAAG,EAAE,CACV,IAAA,8BAAgB,EAAC,CAAC,EAAE,yBAAyB,EAAE,UAAU,EAAE;YACzD,UAAU,EAAE,iBAAiB;SAC9B,CAAC,CACH,CAAC,OAAO,EAAE,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,IAAA,WAAE,EAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,IAAI,GAAG,IAAA,gCAAkB,EAAC,yBAAyB,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QAC7E,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAC9C,oDAAoD;QACpD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;YAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;YAC3B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,IAAI,GAAG,IAAA,gCAAkB,EAAC,yBAAyB,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QAC7E,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAC,GAAG,IAAA,gCAAkB,EAAC,yBAAyB,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QACzE,MAAM,CAAC,GAAG,IAAA,gCAAkB,EAAC,yBAAyB,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,IAAI,GAAG,IAAA,gCAAkB,EAAC,8BAA8B,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QACjF,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,eAAe,EAAE,GAAG,EAAE;IAC7B,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,GAAG,GAAG,IAAA,2BAAa,GAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,KAAK,MAAM,CAAC,IAAI,IAAA,2BAAa,GAAE,EAAE,CAAC;YAChC,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/tooling/exporters/coq/coq-exporter.test.d.ts.map

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

package/dist/tests/tooling/exporters/coq/coq-exporter.test.js

@@ -0,0 +1,353 @@
+"use strict";
+// ============================================================
+// Tests — Coq exporter (classical profile, v1)
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const coq_1 = require("../../../../tooling/exporters/coq");
+// ----------------------------------------------------------------
+// Formula builder helpers (mirrors core.test.ts conventions)
+// ----------------------------------------------------------------
+function atom(name) {
+    return { kind: 'atom', name };
+}
+function implies(a, b) {
+    return { kind: 'implies', args: [a, b] };
+}
+function and(a, b) {
+    return { kind: 'and', args: [a, b] };
+}
+function or(a, b) {
+    return { kind: 'or', args: [a, b] };
+}
+function not(f) {
+    return { kind: 'not', args: [f] };
+}
+function iff(a, b) {
+    return { kind: 'biconditional', args: [a, b] };
+}
+function forall(variable, body) {
+    return { kind: 'forall', variable, args: [body] };
+}
+function exists(variable, body) {
+    return { kind: 'exists', variable, args: [body] };
+}
+function predicate(name, ...params) {
+    return { kind: 'predicate', name, params };
+}
+function top() {
+    return { kind: 'true' };
+}
+function bot() {
+    return { kind: 'false' };
+}
+// ----------------------------------------------------------------
+// Syntax checker helpers
+// ----------------------------------------------------------------
+/** Count occurrences of a substring */
+function countOccurrences(str, sub) {
+    let count = 0;
+    let idx = 0;
+    while ((idx = str.indexOf(sub, idx)) !== -1) {
+        count++;
+        idx += sub.length;
+    }
+    return count;
+}
+/** Checks that all parentheses are balanced */
+function parensBalanced(code) {
+    let depth = 0;
+    for (const ch of code) {
+        if (ch === '(')
+            depth++;
+        else if (ch === ')')
+            depth--;
+        if (depth < 0)
+            return false;
+    }
+    return depth === 0;
+}
+/** Checks basic structural keywords are present */
+function hasCoqStructure(code) {
+    return {
+        theorem: code.includes('Theorem'),
+        proof: code.includes('Proof.'),
+        qed: code.includes('Qed.') || code.includes('Admitted.'),
+    };
+}
+// ----------------------------------------------------------------
+// formulaToCoqTerm unit tests
+// ----------------------------------------------------------------
+(0, vitest_1.describe)('formulaToCoqTerm — connective mapping', () => {
+    (0, vitest_1.it)('atom → identifier', () => {
+        (0, vitest_1.expect)((0, coq_1.formulaToCoqTerm)(atom('P'))).toBe('P');
+    });
+    (0, vitest_1.it)('⊤ → True', () => {
+        (0, vitest_1.expect)((0, coq_1.formulaToCoqTerm)(top())).toBe('True');
+    });
+    (0, vitest_1.it)('⊥ → False', () => {
+        (0, vitest_1.expect)((0, coq_1.formulaToCoqTerm)(bot())).toBe('False');
+    });
+    (0, vitest_1.it)('¬P → (~ P)', () => {
+        const result = (0, coq_1.formulaToCoqTerm)(not(atom('P')));
+        (0, vitest_1.expect)(result).toContain('~');
+        (0, vitest_1.expect)(result).toContain('P');
+    });
+    (0, vitest_1.it)('P ∧ Q → /\\', () => {
+        const result = (0, coq_1.formulaToCoqTerm)(and(atom('P'), atom('Q')));
+        (0, vitest_1.expect)(result).toContain('/\\');
+        (0, vitest_1.expect)(result).toContain('P');
+        (0, vitest_1.expect)(result).toContain('Q');
+    });
+    (0, vitest_1.it)('P ∨ Q → \\/', () => {
+        const result = (0, coq_1.formulaToCoqTerm)(or(atom('P'), atom('Q')));
+        (0, vitest_1.expect)(result).toContain('\\/');
+        (0, vitest_1.expect)(result).toContain('P');
+        (0, vitest_1.expect)(result).toContain('Q');
+    });
+    (0, vitest_1.it)('P → Q maps to ->', () => {
+        const result = (0, coq_1.formulaToCoqTerm)(implies(atom('P'), atom('Q')));
+        (0, vitest_1.expect)(result).toContain('->');
+        (0, vitest_1.expect)(result).toContain('P');
+        (0, vitest_1.expect)(result).toContain('Q');
+    });
+    (0, vitest_1.it)('P ↔ Q maps to <->', () => {
+        const result = (0, coq_1.formulaToCoqTerm)(iff(atom('P'), atom('Q')));
+        (0, vitest_1.expect)(result).toContain('<->');
+    });
+    (0, vitest_1.it)('∀x. φ → forall x : Prop, ...', () => {
+        const result = (0, coq_1.formulaToCoqTerm)(forall('x', atom('P')));
+        (0, vitest_1.expect)(result).toMatch(/forall x : Prop/);
+    });
+    (0, vitest_1.it)('∃x. φ → exists x : Prop, ...', () => {
+        const result = (0, coq_1.formulaToCoqTerm)(exists('y', atom('Q')));
+        (0, vitest_1.expect)(result).toMatch(/exists y : Prop/);
+    });
+    (0, vitest_1.it)('predicate P(x, y) → P x y', () => {
+        const result = (0, coq_1.formulaToCoqTerm)(predicate('R', 'x', 'y'));
+        (0, vitest_1.expect)(result).toMatch(/R x y/);
+    });
+    (0, vitest_1.it)('predicate with no args → just name', () => {
+        (0, vitest_1.expect)((0, coq_1.formulaToCoqTerm)(predicate('P'))).toBe('P');
+    });
+});
+// ----------------------------------------------------------------
+// exportToCoq — P → P (identity)
+// ----------------------------------------------------------------
+(0, vitest_1.describe)('exportToCoq — P → P', () => {
+    const pImpliesP = implies(atom('P'), atom('P'));
+    (0, vitest_1.it)('produces valid Coq output with all required keywords', () => {
+        const coq = (0, coq_1.exportToCoq)(pImpliesP);
+        const struct = hasCoqStructure(coq);
+        (0, vitest_1.expect)(struct.theorem).toBe(true);
+        (0, vitest_1.expect)(struct.proof).toBe(true);
+        (0, vitest_1.expect)(struct.qed).toBe(true);
+    });
+    (0, vitest_1.it)('has balanced parentheses', () => {
+        const coq = (0, coq_1.exportToCoq)(pImpliesP);
+        (0, vitest_1.expect)(parensBalanced(coq)).toBe(true);
+    });
+    (0, vitest_1.it)('contains Require Import Classical by default', () => {
+        const coq = (0, coq_1.exportToCoq)(pImpliesP);
+        (0, vitest_1.expect)(coq).toContain('Require Import Classical.');
+    });
+    (0, vitest_1.it)('uses default module name STExport', () => {
+        const coq = (0, coq_1.exportToCoq)(pImpliesP);
+        (0, vitest_1.expect)(coq).toContain('Module STExport.');
+        (0, vitest_1.expect)(coq).toContain('End STExport.');
+    });
+    (0, vitest_1.it)('emits intros + exact tactic for identity', () => {
+        const coq = (0, coq_1.exportToCoq)(pImpliesP);
+        (0, vitest_1.expect)(coq).toContain('intros');
+        (0, vitest_1.expect)(coq).toContain('exact');
+    });
+    (0, vitest_1.it)('Definition contains -> (Coq implication)', () => {
+        const coq = (0, coq_1.exportToCoq)(pImpliesP);
+        (0, vitest_1.expect)(coq).toContain('->');
+    });
+});
+// ----------------------------------------------------------------
+// exportToCoq — (P ∧ Q) → P
+// ----------------------------------------------------------------
+(0, vitest_1.describe)('exportToCoq — (P ∧ Q) → P', () => {
+    const formula = implies(and(atom('P'), atom('Q')), atom('P'));
+    (0, vitest_1.it)('produces syntactically valid output', () => {
+        const coq = (0, coq_1.exportToCoq)(formula);
+        const struct = hasCoqStructure(coq);
+        (0, vitest_1.expect)(struct.theorem).toBe(true);
+        (0, vitest_1.expect)(struct.proof).toBe(true);
+        (0, vitest_1.expect)(struct.qed).toBe(true);
+    });
+    (0, vitest_1.it)('has balanced parentheses', () => {
+        const coq = (0, coq_1.exportToCoq)(formula);
+        (0, vitest_1.expect)(parensBalanced(coq)).toBe(true);
+    });
+    (0, vitest_1.it)('contains /\\ for conjunction', () => {
+        const coq = (0, coq_1.exportToCoq)(formula);
+        (0, vitest_1.expect)(coq).toContain('/\\');
+    });
+    (0, vitest_1.it)('emits destruct tactic for conjunction elimination', () => {
+        const coq = (0, coq_1.exportToCoq)(formula);
+        (0, vitest_1.expect)(coq).toContain('destruct');
+    });
+});
+// ----------------------------------------------------------------
+// exportToCoq — ∀x. P(x) → ∃y. P(y)
+// ----------------------------------------------------------------
+(0, vitest_1.describe)('exportToCoq — ∀x. P(x) → ∃y. P(y)', () => {
+    // Represents: forall x : Prop, P x -> exists y : Prop, P y
+    const formula = forall('x', implies(predicate('P', 'x'), exists('y', predicate('P', 'y'))));
+    (0, vitest_1.it)('produces syntactically valid output', () => {
+        const coq = (0, coq_1.exportToCoq)(formula);
+        const struct = hasCoqStructure(coq);
+        (0, vitest_1.expect)(struct.theorem).toBe(true);
+        (0, vitest_1.expect)(struct.proof).toBe(true);
+        (0, vitest_1.expect)(struct.qed).toBe(true);
+    });
+    (0, vitest_1.it)('has balanced parentheses', () => {
+        const coq = (0, coq_1.exportToCoq)(formula);
+        (0, vitest_1.expect)(parensBalanced(coq)).toBe(true);
+    });
+    (0, vitest_1.it)('contains forall and exists keywords', () => {
+        const coq = (0, coq_1.exportToCoq)(formula);
+        (0, vitest_1.expect)(coq).toContain('forall');
+        (0, vitest_1.expect)(coq).toContain('exists');
+    });
+    (0, vitest_1.it)('contains predicate application P x and P y', () => {
+        const coq = (0, coq_1.exportToCoq)(formula);
+        (0, vitest_1.expect)(coq).toContain('P x');
+        (0, vitest_1.expect)(coq).toContain('P y');
+    });
+});
+// ----------------------------------------------------------------
+// Options: includeImports = false
+// ----------------------------------------------------------------
+(0, vitest_1.describe)('exportToCoq — options', () => {
+    const f = implies(atom('A'), atom('B'));
+    (0, vitest_1.it)('omits Require Import when includeImports = false', () => {
+        const coq = (0, coq_1.exportToCoq)(f, { includeImports: false });
+        (0, vitest_1.expect)(coq).not.toContain('Require Import');
+    });
+    (0, vitest_1.it)('omits Theorem when emitProof = false', () => {
+        const coq = (0, coq_1.exportToCoq)(f, { emitProof: false });
+        (0, vitest_1.expect)(coq).not.toContain('Theorem');
+        (0, vitest_1.expect)(coq).not.toContain('Proof.');
+    });
+    (0, vitest_1.it)('uses custom module name', () => {
+        const coq = (0, coq_1.exportToCoq)(f, { moduleName: 'MyLogic' });
+        (0, vitest_1.expect)(coq).toContain('Module MyLogic.');
+        (0, vitest_1.expect)(coq).toContain('End MyLogic.');
+    });
+});
+// ----------------------------------------------------------------
+// exportProofToCoq — with a Proof object
+// ----------------------------------------------------------------
+(0, vitest_1.describe)('exportProofToCoq — with proof steps', () => {
+    const goal = implies(atom('P'), atom('P'));
+    const proof = {
+        goal,
+        status: 'complete',
+        steps: [
+            {
+                stepNumber: 1,
+                formula: atom('P'),
+                justification: 'premise',
+                premises: [],
+                source: 'premise',
+            },
+            {
+                stepNumber: 2,
+                formula: atom('P'),
+                justification: 'exact',
+                premises: [1],
+                source: 'goal',
+            },
+        ],
+    };
+    (0, vitest_1.it)('produces valid output from a Proof object', () => {
+        const coq = (0, coq_1.exportProofToCoq)(proof);
+        const struct = hasCoqStructure(coq);
+        (0, vitest_1.expect)(struct.theorem).toBe(true);
+        (0, vitest_1.expect)(struct.proof).toBe(true);
+        (0, vitest_1.expect)(struct.qed).toBe(true);
+    });
+    (0, vitest_1.it)('has balanced parentheses', () => {
+        const coq = (0, coq_1.exportProofToCoq)(proof);
+        (0, vitest_1.expect)(parensBalanced(coq)).toBe(true);
+    });
+    (0, vitest_1.it)('includes assumption tactic for premise step', () => {
+        const coq = (0, coq_1.exportProofToCoq)(proof);
+        const hasPremiseComment = coq.includes('premise') || coq.includes('assumption');
+        (0, vitest_1.expect)(hasPremiseComment).toBe(true);
+    });
+});
+(0, vitest_1.describe)('exportProofToCoq — incomplete proof falls back to Admitted', () => {
+    const goal = implies(atom('A'), atom('B'));
+    const proof = {
+        goal,
+        status: 'incomplete',
+        steps: [],
+    };
+    (0, vitest_1.it)('emits Admitted for incomplete proof', () => {
+        const coq = (0, coq_1.exportProofToCoq)(proof);
+        (0, vitest_1.expect)(coq).toContain('Admitted.');
+    });
+    (0, vitest_1.it)('has balanced parentheses even for Admitted', () => {
+        (0, vitest_1.expect)(parensBalanced((0, coq_1.exportProofToCoq)(proof))).toBe(true);
+    });
+});
+// ----------------------------------------------------------------
+// Snapshot tests — stable output for fixed inputs
+// ----------------------------------------------------------------
+(0, vitest_1.describe)('exportToCoq — snapshot stability', () => {
+    (0, vitest_1.it)('P → P snapshot is stable', () => {
+        const coq = (0, coq_1.exportToCoq)(implies(atom('P'), atom('P')));
+        (0, vitest_1.expect)(coq).toMatchSnapshot();
+    });
+    (0, vitest_1.it)('(P ∧ Q) → P snapshot is stable', () => {
+        const coq = (0, coq_1.exportToCoq)(implies(and(atom('P'), atom('Q')), atom('P')));
+        (0, vitest_1.expect)(coq).toMatchSnapshot();
+    });
+    (0, vitest_1.it)('∀x. P(x) → ∃y. P(y) snapshot is stable', () => {
+        const coq = (0, coq_1.exportToCoq)(forall('x', implies(predicate('P', 'x'), exists('y', predicate('P', 'y')))));
+        (0, vitest_1.expect)(coq).toMatchSnapshot();
+    });
+});
+// ----------------------------------------------------------------
+// Syntax linter: balanced parens + structural keywords
+// ----------------------------------------------------------------
+(0, vitest_1.describe)('coq linter — structural checks', () => {
+    const formulas = [
+        ['P → P', implies(atom('P'), atom('P'))],
+        ['(P ∧ Q) → P', implies(and(atom('P'), atom('Q')), atom('P'))],
+        ['¬P ∨ P', or(not(atom('P')), atom('P'))],
+        ['P ↔ P', iff(atom('P'), atom('P'))],
+        ['⊤', top()],
+        ['⊥', bot()],
+        ['∀x. P(x)', forall('x', predicate('P', 'x'))],
+        ['∃y. Q(y)', exists('y', predicate('Q', 'y'))],
+    ];
+    for (const [label, formula] of formulas) {
+        (0, vitest_1.it)(`${label}: parentheses balanced`, () => {
+            (0, vitest_1.expect)(parensBalanced((0, coq_1.exportToCoq)(formula))).toBe(true);
+        });
+        (0, vitest_1.it)(`${label}: contains Theorem keyword`, () => {
+            (0, vitest_1.expect)((0, coq_1.exportToCoq)(formula)).toContain('Theorem');
+        });
+        (0, vitest_1.it)(`${label}: contains Proof. keyword`, () => {
+            (0, vitest_1.expect)((0, coq_1.exportToCoq)(formula)).toContain('Proof.');
+        });
+        (0, vitest_1.it)(`${label}: ends proof with Qed. or Admitted.`, () => {
+            const coq = (0, coq_1.exportToCoq)(formula);
+            (0, vitest_1.expect)(coq.includes('Qed.') || coq.includes('Admitted.')).toBe(true);
+        });
+        (0, vitest_1.it)(`${label}: Module/End tags match`, () => {
+            const coq = (0, coq_1.exportToCoq)(formula);
+            const moduleCount = countOccurrences(coq, 'Module STExport.');
+            const endCount = countOccurrences(coq, 'End STExport.');
+            (0, vitest_1.expect)(moduleCount).toBe(1);
+            (0, vitest_1.expect)(endCount).toBe(1);
+        });
+    }
+});
+//# sourceMappingURL=coq-exporter.test.js.map

package/dist/tests/tooling/exporters/coq/coq-exporter.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coq-exporter.test.js","sourceRoot":"","sources":["../../../../../src/tests/tooling/exporters/coq/coq-exporter.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,+CAA+C;AAC/C,+DAA+D;;AAE/D,mCAA8C;AAC9C,2DAAoG;AAGpG,mEAAmE;AACnE,6DAA6D;AAC7D,mEAAmE;AAEnE,SAAS,IAAI,CAAC,IAAY;IACxB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAChC,CAAC;AACD,SAAS,OAAO,CAAC,CAAU,EAAE,CAAU;IACrC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AAC3C,CAAC;AACD,SAAS,GAAG,CAAC,CAAU,EAAE,CAAU;IACjC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AACvC,CAAC;AACD,SAAS,EAAE,CAAC,CAAU,EAAE,CAAU;IAChC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AACtC,CAAC;AACD,SAAS,GAAG,CAAC,CAAU;IACrB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;AACpC,CAAC;AACD,SAAS,GAAG,CAAC,CAAU,EAAE,CAAU;IACjC,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AACjD,CAAC;AACD,SAAS,MAAM,CAAC,QAAgB,EAAE,IAAa;IAC7C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;AACpD,CAAC;AACD,SAAS,MAAM,CAAC,QAAgB,EAAE,IAAa;IAC7C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;AACpD,CAAC;AACD,SAAS,SAAS,CAAC,IAAY,EAAE,GAAG,MAAgB;IAClD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAC7C,CAAC;AACD,SAAS,GAAG;IACV,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AAC1B,CAAC;AACD,SAAS,GAAG;IACV,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC3B,CAAC;AAED,mEAAmE;AACnE,yBAAyB;AACzB,mEAAmE;AAEnE,uCAAuC;AACvC,SAAS,gBAAgB,CAAC,GAAW,EAAE,GAAW;IAChD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,GAAG,GAAG,CAAC,CAAC;IACZ,OAAO,CAAC,GAAG,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC;QAC5C,KAAK,EAAE,CAAC;QACR,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC;IACpB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,+CAA+C;AAC/C,SAAS,cAAc,CAAC,IAAY;IAClC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,KAAK,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC;QACtB,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;aACnB,IAAI,EAAE,KAAK,GAAG;YAAE,KAAK,EAAE,CAAC;QAC7B,IAAI,KAAK,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;IAC9B,CAAC;IACD,OAAO,KAAK,KAAK,CAAC,CAAC;AACrB,CAAC;AAED,mDAAmD;AACnD,SAAS,eAAe,CAAC,IAAY;IACnC,OAAO;QACL,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC;QACjC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAC9B,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC;KACzD,CAAC;AACJ,CAAC;AAED,mEAAmE;AACnE,8BAA8B;AAC9B,mEAAmE;AAEnE,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,IAAA,eAAM,EAAC,IAAA,sBAAgB,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,UAAU,EAAE,GAAG,EAAE;QAClB,IAAA,eAAM,EAAC,IAAA,sBAAgB,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,WAAW,EAAE,GAAG,EAAE;QACnB,IAAA,eAAM,EAAC,IAAA,sBAAgB,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,YAAY,EAAE,GAAG,EAAE;QACpB,MAAM,MAAM,GAAG,IAAA,sBAAgB,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,aAAa,EAAE,GAAG,EAAE;QACrB,MAAM,MAAM,GAAG,IAAA,sBAAgB,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,aAAa,EAAE,GAAG,EAAE;QACrB,MAAM,MAAM,GAAG,IAAA,sBAAgB,EAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,MAAM,GAAG,IAAA,sBAAgB,EAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,MAAM,GAAG,IAAA,sBAAgB,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,MAAM,GAAG,IAAA,sBAAgB,EAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,MAAM,GAAG,IAAA,sBAAgB,EAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,MAAM,GAAG,IAAA,sBAAgB,EAAC,SAAS,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,IAAA,eAAM,EAAC,IAAA,sBAAgB,EAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,mEAAmE;AACnE,iCAAiC;AACjC,mEAAmE;AAEnE,IAAA,iBAAQ,EAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,MAAM,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAEhD,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,GAAG,GAAG,IAAA,iBAAW,EAAC,SAAS,CAAC,CAAC;QACnC,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,GAAG,GAAG,IAAA,iBAAW,EAAC,SAAS,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,GAAG,GAAG,IAAA,iBAAW,EAAC,SAAS,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,2BAA2B,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,GAAG,GAAG,IAAA,iBAAW,EAAC,SAAS,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,GAAG,GAAG,IAAA,iBAAW,EAAC,SAAS,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,GAAG,GAAG,IAAA,iBAAW,EAAC,SAAS,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,mEAAmE;AACnE,4BAA4B;AAC5B,mEAAmE;AAEnE,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAE9D,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,GAAG,GAAG,IAAA,iBAAW,EAAC,OAAO,CAAC,CAAC;QACjC,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,GAAG,GAAG,IAAA,iBAAW,EAAC,OAAO,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,GAAG,GAAG,IAAA,iBAAW,EAAC,OAAO,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,GAAG,GAAG,IAAA,iBAAW,EAAC,OAAO,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,mEAAmE;AACnE,oCAAoC;AACpC,mEAAmE;AAEnE,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,2DAA2D;IAC3D,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAE5F,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,GAAG,GAAG,IAAA,iBAAW,EAAC,OAAO,CAAC,CAAC;QACjC,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,GAAG,GAAG,IAAA,iBAAW,EAAC,OAAO,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,GAAG,GAAG,IAAA,iBAAW,EAAC,OAAO,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,GAAG,GAAG,IAAA,iBAAW,EAAC,OAAO,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,mEAAmE;AACnE,kCAAkC;AAClC,mEAAmE;AAEnE,IAAA,iBAAQ,EAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAExC,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,GAAG,GAAG,IAAA,iBAAW,EAAC,CAAC,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,GAAG,GAAG,IAAA,iBAAW,EAAC,CAAC,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,GAAG,GAAG,IAAA,iBAAW,EAAC,CAAC,EAAE,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,mEAAmE;AACnE,yCAAyC;AACzC,mEAAmE;AAEnE,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAE3C,MAAM,KAAK,GAAU;QACnB,IAAI;QACJ,MAAM,EAAE,UAAU;QAClB,KAAK,EAAE;YACL;gBACE,UAAU,EAAE,CAAC;gBACb,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC;gBAClB,aAAa,EAAE,SAAS;gBACxB,QAAQ,EAAE,EAAE;gBACZ,MAAM,EAAE,SAAS;aAClB;YACD;gBACE,UAAU,EAAE,CAAC;gBACb,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC;gBAClB,aAAa,EAAE,OAAO;gBACtB,QAAQ,EAAE,CAAC,CAAC,CAAC;gBACb,MAAM,EAAE,MAAM;aACf;SACF;KACF,CAAC;IAEF,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,GAAG,GAAG,IAAA,sBAAgB,EAAC,KAAK,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,GAAG,GAAG,IAAA,sBAAgB,EAAC,KAAK,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,GAAG,GAAG,IAAA,sBAAgB,EAAC,KAAK,CAAC,CAAC;QACpC,MAAM,iBAAiB,GAAG,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;QAChF,IAAA,eAAM,EAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4DAA4D,EAAE,GAAG,EAAE;IAC1E,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3C,MAAM,KAAK,GAAU;QACnB,IAAI;QACJ,MAAM,EAAE,YAAY;QACpB,KAAK,EAAE,EAAE;KACV,CAAC;IAEF,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,GAAG,GAAG,IAAA,sBAAgB,EAAC,KAAK,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,IAAA,eAAM,EAAC,cAAc,CAAC,IAAA,sBAAgB,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,mEAAmE;AACnE,kDAAkD;AAClD,mEAAmE;AAEnE,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,GAAG,GAAG,IAAA,iBAAW,EAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,eAAe,EAAE,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,GAAG,GAAG,IAAA,iBAAW,EAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,eAAe,EAAE,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,GAAG,GAAG,IAAA,iBAAW,EACrB,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAC5E,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,eAAe,EAAE,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,mEAAmE;AACnE,uDAAuD;AACvD,mEAAmE;AAEnE,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,MAAM,QAAQ,GAA6B;QACzC,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACxC,CAAC,aAAa,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9D,CAAC,QAAQ,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACzC,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACpC,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC;QACZ,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC;QACZ,CAAC,UAAU,EAAE,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC9C,CAAC,UAAU,EAAE,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;KAC/C,CAAC;IAEF,KAAK,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,QAAQ,EAAE,CAAC;QACxC,IAAA,WAAE,EAAC,GAAG,KAAK,wBAAwB,EAAE,GAAG,EAAE;YACxC,IAAA,eAAM,EAAC,cAAc,CAAC,IAAA,iBAAW,EAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1D,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,GAAG,KAAK,4BAA4B,EAAE,GAAG,EAAE;YAC5C,IAAA,eAAM,EAAC,IAAA,iBAAW,EAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACpD,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,GAAG,KAAK,2BAA2B,EAAE,GAAG,EAAE;YAC3C,IAAA,eAAM,EAAC,IAAA,iBAAW,EAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,GAAG,KAAK,qCAAqC,EAAE,GAAG,EAAE;YACrD,MAAM,GAAG,GAAG,IAAA,iBAAW,EAAC,OAAO,CAAC,CAAC;YACjC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvE,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,GAAG,KAAK,yBAAyB,EAAE,GAAG,EAAE;YACzC,MAAM,GAAG,GAAG,IAAA,iBAAW,EAAC,OAAO,CAAC,CAAC;YACjC,MAAM,WAAW,GAAG,gBAAgB,CAAC,GAAG,EAAE,kBAAkB,CAAC,CAAC;YAC9D,MAAM,QAAQ,GAAG,gBAAgB,CAAC,GAAG,EAAE,eAAe,CAAC,CAAC;YACxD,IAAA,eAAM,EAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAC5B,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3B,CAAC,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC"}

package/dist/tests/tooling/lsp/server.test.d.ts.map

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