@stevenvo780/st-lang 3.2.3 → 4.0.0

package/dist/tests/agora-integration-fixtures.test.js.map

@@ -1 +1 @@
-{"version":3,"file":"agora-integration-fixtures.test.js","sourceRoot":"","sources":["../../src/tests/agora-integration-fixtures.test.ts"],"names":[],"mappings":";;;;;AAAA,mCAA8C;AAC9C,qCAAuC;AACvC,0DAA6B;AAC7B,gCAAqD;AAUrD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CACzB,IAAA,sBAAY,EAAC,mBAAI,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,0DAA0D,CAAC,EAAE,MAAM,CAAC,CACpF,CAAC;AAE5B,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAA,WAAE,EAAC,OAAO,CAAC,EAAE,EAAE,GAAG,EAAE;YAClB,MAAM,MAAM,GAAG,IAAA,cAAQ,EAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACxC,IAAA,eAAM,EAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7B,IAAA,eAAM,EAAC,MAAM,CAAC,WAAW,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YAC3C,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;YAC/D,IAAI,OAAO,CAAC,mBAAmB,EAAE,CAAC;gBAChC,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;YAC7E,CAAC;YACD,KAAK,MAAM,aAAa,IAAI,OAAO,CAAC,sBAAsB,IAAI,EAAE,EAAE,CAAC;gBACjE,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,KAAK,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC1G,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IAED,IAAA,WAAE,EAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,EAAE,GAAG,IAAA,uBAAiB,GAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,IAAI,qDAAqD,CAAC,CAAC;QACrG,IAAA,eAAM,EAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,cAAc,IAAI,OAAO,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"agora-integration-fixtures.test.js","sourceRoot":"","sources":["../../src/tests/agora-integration-fixtures.test.ts"],"names":[],"mappings":";;;;;AAAA,mCAA8C;AAC9C,qCAAuC;AACvC,0DAA6B;AAC7B,gCAAqD;AAUrD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CACzB,IAAA,sBAAY,EACV,mBAAI,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,0DAA0D,CAAC,EACvF,MAAM,CACP,CACwB,CAAC;AAE5B,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IAAA,WAAE,EAAC,OAAO,CAAC,EAAE,EAAE,GAAG,EAAE;YAClB,MAAM,MAAM,GAAG,IAAA,cAAQ,EAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACxC,IAAA,eAAM,EAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7B,IAAA,eAAM,EAAC,MAAM,CAAC,WAAW,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YAC3C,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;YAC/D,IAAI,OAAO,CAAC,mBAAmB,EAAE,CAAC;gBAChC,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;YAC7E,CAAC;YACD,KAAK,MAAM,aAAa,IAAI,OAAO,CAAC,sBAAsB,IAAI,EAAE,EAAE,CAAC;gBACjE,IAAA,eAAM,EACJ,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,KAAK,aAAa,CAAC,CACrF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACf,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IAED,IAAA,WAAE,EAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,EAAE,GAAG,IAAA,uBAAiB,GAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,EAAE,CAAC,IAAI,CACpB,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,IAAI,qDAAqD,CAC7E,CAAC;QACF,IAAA,eAAM,EAAC,MAAM,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,cAAc,IAAI,OAAO,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/argumentation/dung.test.d.ts

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

package/dist/tests/argumentation/dung.test.d.ts.map

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

package/dist/tests/argumentation/dung.test.js

@@ -0,0 +1,219 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+/**
+ * ST Argumentation — Tests del framework de Dung
+ * ================================================
+ * Valida predicados (conflict-free, admisible, defiende) y extensiones
+ * estándar (grounded, preferred, stable, complete, semi-stable) sobre
+ * fixtures canónicos de la literatura.
+ */
+const vitest_1 = require("vitest");
+const argumentation_1 = require("../../argumentation");
+function setToSortedArray(set) {
+    return Array.from(set).sort();
+}
+function extensionsAsSortedArrays(extensions) {
+    return extensions.map(setToSortedArray).sort((a, b) => a.join(',').localeCompare(b.join(',')));
+}
+function expectExtensions(extensions, expected) {
+    const got = extensionsAsSortedArrays(extensions);
+    const want = expected
+        .map((arr) => [...arr].sort())
+        .sort((a, b) => a.join(',').localeCompare(b.join(',')));
+    (0, vitest_1.expect)(got).toEqual(want);
+}
+(0, vitest_1.describe)('Argumentation — predicados básicos', () => {
+    (0, vitest_1.it)('conflict-free detecta ataques internos', () => {
+        const af = (0, argumentation_1.createFramework)(['a', 'b'], [['a', 'b']]);
+        (0, vitest_1.expect)((0, argumentation_1.isConflictFree)(af, new Set(['a']))).toBe(true);
+        (0, vitest_1.expect)((0, argumentation_1.isConflictFree)(af, new Set(['b']))).toBe(true);
+        (0, vitest_1.expect)((0, argumentation_1.isConflictFree)(af, new Set(['a', 'b']))).toBe(false);
+        (0, vitest_1.expect)((0, argumentation_1.isConflictFree)(af, new Set())).toBe(true);
+    });
+    (0, vitest_1.it)('defends correctamente cuando hay contraataque', () => {
+        const af = (0, argumentation_1.createFramework)(['a', 'b', 'c'], [
+            ['b', 'a'],
+            ['c', 'b'],
+        ]);
+        (0, vitest_1.expect)((0, argumentation_1.defends)(af, new Set(['c']), 'a')).toBe(true);
+        (0, vitest_1.expect)((0, argumentation_1.defends)(af, new Set([]), 'a')).toBe(false);
+        (0, vitest_1.expect)((0, argumentation_1.defends)(af, new Set(['c']), 'c')).toBe(true);
+    });
+    (0, vitest_1.it)('admisible requiere conflict-free + defender a cada miembro', () => {
+        const af = (0, argumentation_1.createFramework)(['a', 'b', 'c'], [
+            ['b', 'a'],
+            ['c', 'b'],
+        ]);
+        (0, vitest_1.expect)((0, argumentation_1.isAdmissible)(af, new Set([]))).toBe(true);
+        (0, vitest_1.expect)((0, argumentation_1.isAdmissible)(af, new Set(['c']))).toBe(true);
+        (0, vitest_1.expect)((0, argumentation_1.isAdmissible)(af, new Set(['a']))).toBe(false);
+        (0, vitest_1.expect)((0, argumentation_1.isAdmissible)(af, new Set(['a', 'c']))).toBe(true);
+        (0, vitest_1.expect)((0, argumentation_1.isAdmissible)(af, new Set(['b', 'c']))).toBe(false);
+    });
+    (0, vitest_1.it)('characteristicFunction devuelve args defendidos', () => {
+        const af = (0, argumentation_1.createFramework)(['a', 'b', 'c'], [
+            ['b', 'a'],
+            ['c', 'b'],
+        ]);
+        const fc = (0, argumentation_1.characteristicFunction)(af, new Set(['c']));
+        (0, vitest_1.expect)(setToSortedArray(fc)).toEqual(['a', 'c']);
+    });
+    (0, vitest_1.it)('createFramework rechaza ataques con argumentos desconocidos', () => {
+        (0, vitest_1.expect)(() => (0, argumentation_1.createFramework)(['a'], [['a', 'b']])).toThrow();
+        (0, vitest_1.expect)(() => (0, argumentation_1.createFramework)(['a'], [['b', 'a']])).toThrow();
+    });
+});
+(0, vitest_1.describe)('Argumentation — AF clásico de Dung {a,b,c} con a↔b, b↔c', () => {
+    function buildClassic() {
+        return (0, argumentation_1.createFramework)(['a', 'b', 'c'], [
+            ['a', 'b'],
+            ['b', 'a'],
+            ['b', 'c'],
+            ['c', 'b'],
+        ]);
+    }
+    (0, vitest_1.it)('grounded = ∅ (b ataca a y c, a y c se atacan mutuamente con b no resuelto)', () => {
+        const af = buildClassic();
+        const grounded = (0, argumentation_1.groundedExtension)(af);
+        (0, vitest_1.expect)(setToSortedArray(grounded)).toEqual([]);
+    });
+    (0, vitest_1.it)('preferred = {{a,c}, {b}}', () => {
+        const af = buildClassic();
+        const ext = (0, argumentation_1.preferredExtensions)(af, { exhaustiveLimit: 20, warnOnLarge: false });
+        expectExtensions(ext, [['a', 'c'], ['b']]);
+    });
+    (0, vitest_1.it)('stable = {{a,c}, {b}}', () => {
+        const af = buildClassic();
+        const ext = (0, argumentation_1.stableExtensions)(af, { exhaustiveLimit: 20, warnOnLarge: false });
+        expectExtensions(ext, [['a', 'c'], ['b']]);
+    });
+    (0, vitest_1.it)('complete incluye grounded + ambos preferred', () => {
+        const af = buildClassic();
+        const ext = (0, argumentation_1.completeExtensions)(af, { exhaustiveLimit: 20, warnOnLarge: false });
+        expectExtensions(ext, [[], ['a', 'c'], ['b']]);
+    });
+    (0, vitest_1.it)('semi-stable = preferred maximizando rango', () => {
+        const af = buildClassic();
+        const ext = (0, argumentation_1.semiStableExtensions)(af, { exhaustiveLimit: 20, warnOnLarge: false });
+        expectExtensions(ext, [['a', 'c'], ['b']]);
+    });
+    (0, vitest_1.it)('computeExtensions despacha cada semántica', () => {
+        const af = buildClassic();
+        expectExtensions((0, argumentation_1.computeExtensions)(af, 'grounded'), [[]]);
+        expectExtensions((0, argumentation_1.computeExtensions)(af, 'preferred'), [['a', 'c'], ['b']]);
+        expectExtensions((0, argumentation_1.computeExtensions)(af, 'stable'), [['a', 'c'], ['b']]);
+        expectExtensions((0, argumentation_1.computeExtensions)(af, 'complete'), [[], ['a', 'c'], ['b']]);
+        expectExtensions((0, argumentation_1.computeExtensions)(af, 'semi-stable'), [['a', 'c'], ['b']]);
+    });
+});
+(0, vitest_1.describe)('Argumentation — AF sin ataques', () => {
+    (0, vitest_1.it)('grounded = todos los argumentos', () => {
+        const af = (0, argumentation_1.createFramework)(['a', 'b', 'c'], []);
+        const grounded = (0, argumentation_1.groundedExtension)(af);
+        (0, vitest_1.expect)(setToSortedArray(grounded)).toEqual(['a', 'b', 'c']);
+    });
+    (0, vitest_1.it)('preferred = {todos}', () => {
+        const af = (0, argumentation_1.createFramework)(['a', 'b', 'c'], []);
+        const ext = (0, argumentation_1.preferredExtensions)(af, { exhaustiveLimit: 20, warnOnLarge: false });
+        expectExtensions(ext, [['a', 'b', 'c']]);
+    });
+    (0, vitest_1.it)('stable = {todos}', () => {
+        const af = (0, argumentation_1.createFramework)(['a', 'b', 'c'], []);
+        const ext = (0, argumentation_1.stableExtensions)(af, { exhaustiveLimit: 20, warnOnLarge: false });
+        expectExtensions(ext, [['a', 'b', 'c']]);
+    });
+});
+(0, vitest_1.describe)('Argumentation — Self-attacker a→a', () => {
+    (0, vitest_1.it)('grounded = ∅', () => {
+        const af = (0, argumentation_1.createFramework)(['a'], [['a', 'a']]);
+        const grounded = (0, argumentation_1.groundedExtension)(af);
+        (0, vitest_1.expect)(setToSortedArray(grounded)).toEqual([]);
+    });
+    (0, vitest_1.it)('preferred = {∅} (solo el vacío es admisible)', () => {
+        const af = (0, argumentation_1.createFramework)(['a'], [['a', 'a']]);
+        const ext = (0, argumentation_1.preferredExtensions)(af, { exhaustiveLimit: 20, warnOnLarge: false });
+        expectExtensions(ext, [[]]);
+    });
+    (0, vitest_1.it)('stable = ∅ (no hay extensión estable: vacío no ataca a "a")', () => {
+        const af = (0, argumentation_1.createFramework)(['a'], [['a', 'a']]);
+        const ext = (0, argumentation_1.stableExtensions)(af, { exhaustiveLimit: 20, warnOnLarge: false });
+        (0, vitest_1.expect)(ext).toEqual([]);
+    });
+});
+(0, vitest_1.describe)('Argumentation — DOT export', () => {
+    (0, vitest_1.it)('emite digraph sintácticamente válido con nodos y aristas', () => {
+        const af = (0, argumentation_1.createFramework)(['a', 'b', 'c'], [
+            ['a', 'b'],
+            ['b', 'c'],
+        ]);
+        const dot = (0, argumentation_1.dotExport)(af);
+        (0, vitest_1.expect)(dot).toMatch(/^digraph\s+\w+\s*\{/);
+        (0, vitest_1.expect)(dot).toMatch(/\}$/);
+        (0, vitest_1.expect)(dot).toMatch(/"a"\s*->\s*"b";/);
+        (0, vitest_1.expect)(dot).toMatch(/"b"\s*->\s*"c";/);
+        (0, vitest_1.expect)(dot).toMatch(/"a";/);
+        (0, vitest_1.expect)(dot).toMatch(/"b";/);
+        (0, vitest_1.expect)(dot).toMatch(/"c";/);
+    });
+    (0, vitest_1.it)('escapea comillas dobles en ids', () => {
+        const af = (0, argumentation_1.createFramework)(['arg"1', 'arg2'], [['arg"1', 'arg2']]);
+        const dot = (0, argumentation_1.dotExport)(af);
+        (0, vitest_1.expect)(dot).toContain('"arg\\"1"');
+    });
+    (0, vitest_1.it)('cada arista tiene formato "x" -> "y";', () => {
+        const af = (0, argumentation_1.createFramework)(['p', 'q'], [['p', 'q']]);
+        const dot = (0, argumentation_1.dotExport)(af);
+        const edgeRe = /"[^"]+"\s*->\s*"[^"]+";/g;
+        const matches = dot.match(edgeRe);
+        (0, vitest_1.expect)(matches?.length).toBe(1);
+    });
+});
+(0, vitest_1.describe)('Argumentation — Performance bench', () => {
+    (0, vitest_1.it)('AF de 10 args con 30 ataques aleatorios computa preferred + stable en <500ms', () => {
+        const rng = mulberry32(0xc0ffee);
+        const args = Array.from({ length: 10 }, (_, i) => `arg${String(i)}`);
+        const attacks = [];
+        const seen = new Set();
+        while (attacks.length < 30) {
+            const i = Math.floor(rng() * 10);
+            const j = Math.floor(rng() * 10);
+            const key = `${String(i)}-${String(j)}`;
+            if (seen.has(key))
+                continue;
+            seen.add(key);
+            const from = args[i];
+            const to = args[j];
+            if (from === undefined || to === undefined)
+                continue;
+            attacks.push([from, to]);
+        }
+        const af = (0, argumentation_1.createFramework)(args, attacks);
+        const start = performance.now();
+        const grounded = (0, argumentation_1.computeExtensions)(af, 'grounded');
+        const preferred = (0, argumentation_1.computeExtensions)(af, 'preferred', {
+            exhaustiveLimit: 20,
+            warnOnLarge: false,
+        });
+        const stable = (0, argumentation_1.computeExtensions)(af, 'stable', { exhaustiveLimit: 20, warnOnLarge: false });
+        const complete = (0, argumentation_1.computeExtensions)(af, 'complete', { exhaustiveLimit: 20, warnOnLarge: false });
+        const semi = (0, argumentation_1.computeExtensions)(af, 'semi-stable', { exhaustiveLimit: 20, warnOnLarge: false });
+        const elapsed = performance.now() - start;
+        (0, vitest_1.expect)(grounded.length).toBe(1);
+        (0, vitest_1.expect)(preferred.length).toBeGreaterThanOrEqual(1);
+        (0, vitest_1.expect)(complete.length).toBeGreaterThanOrEqual(1);
+        (0, vitest_1.expect)(semi.length).toBeGreaterThanOrEqual(1);
+        (0, vitest_1.expect)(stable.length).toBeGreaterThanOrEqual(0);
+        (0, vitest_1.expect)(elapsed).toBeLessThan(500);
+    });
+});
+function mulberry32(seed) {
+    let a = seed >>> 0;
+    return function next() {
+        a = (a + 0x6d2b79f5) >>> 0;
+        let t = a;
+        t = Math.imul(t ^ (t >>> 15), t | 1);
+        t ^= t + Math.imul(t ^ (t >>> 7), t | 61);
+        return ((t ^ (t >>> 14)) >>> 0) / 4294967296;
+    };
+}
+//# sourceMappingURL=dung.test.js.map

package/dist/tests/argumentation/dung.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"dung.test.js","sourceRoot":"","sources":["../../../src/tests/argumentation/dung.test.ts"],"names":[],"mappings":";;AAAA;;;;;;GAMG;AACH,mCAA8C;AAC9C,uDAa6B;AAG7B,SAAS,gBAAgB,CAAC,GAAgB;IACxC,OAAO,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;AAChC,CAAC;AAED,SAAS,wBAAwB,CAAC,UAAyB;IACzD,OAAO,UAAU,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AACjG,CAAC;AAED,SAAS,gBAAgB,CAAC,UAAyB,EAAE,QAAoB;IACvE,MAAM,GAAG,GAAG,wBAAwB,CAAC,UAAU,CAAC,CAAC;IACjD,MAAM,IAAI,GAAG,QAAQ;SAClB,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;SAC7B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC1D,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC;AAED,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,EAAE,GAAG,IAAA,+BAAe,EAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,IAAA,8BAAc,EAAC,EAAE,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,IAAA,8BAAc,EAAC,EAAE,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,IAAA,8BAAc,EAAC,EAAE,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,IAAA,8BAAc,EAAC,EAAE,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,EAAE,GAAG,IAAA,+BAAe,EACxB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACf;YACE,CAAC,GAAG,EAAE,GAAG,CAAC;YACV,CAAC,GAAG,EAAE,GAAG,CAAC;SACX,CACF,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,uBAAO,EAAC,EAAE,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,IAAA,uBAAO,EAAC,EAAE,EAAE,IAAI,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,IAAA,uBAAO,EAAC,EAAE,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,EAAE,GAAG,IAAA,+BAAe,EACxB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACf;YACE,CAAC,GAAG,EAAE,GAAG,CAAC;YACV,CAAC,GAAG,EAAE,GAAG,CAAC;SACX,CACF,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,4BAAY,EAAC,EAAE,EAAE,IAAI,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,IAAA,4BAAY,EAAC,EAAE,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,IAAA,4BAAY,EAAC,EAAE,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,IAAA,4BAAY,EAAC,EAAE,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,IAAA,4BAAY,EAAC,EAAE,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,EAAE,GAAG,IAAA,+BAAe,EACxB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACf;YACE,CAAC,GAAG,EAAE,GAAG,CAAC;YACV,CAAC,GAAG,EAAE,GAAG,CAAC;SACX,CACF,CAAC;QACF,MAAM,EAAE,GAAG,IAAA,sCAAsB,EAAC,EAAE,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,+BAAe,EAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAC7D,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,+BAAe,EAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC/D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,yDAAyD,EAAE,GAAG,EAAE;IACvE,SAAS,YAAY;QACnB,OAAO,IAAA,+BAAe,EACpB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACf;YACE,CAAC,GAAG,EAAE,GAAG,CAAC;YACV,CAAC,GAAG,EAAE,GAAG,CAAC;YACV,CAAC,GAAG,EAAE,GAAG,CAAC;YACV,CAAC,GAAG,EAAE,GAAG,CAAC;SACX,CACF,CAAC;IACJ,CAAC;IAED,IAAA,WAAE,EAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,MAAM,EAAE,GAAG,YAAY,EAAE,CAAC;QAC1B,MAAM,QAAQ,GAAG,IAAA,iCAAiB,EAAC,EAAE,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,EAAE,GAAG,YAAY,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,IAAA,mCAAmB,EAAC,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC;QACjF,gBAAgB,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,EAAE,GAAG,YAAY,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,IAAA,gCAAgB,EAAC,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC;QAC9E,gBAAgB,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,EAAE,GAAG,YAAY,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,IAAA,kCAAkB,EAAC,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC;QAChF,gBAAgB,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,EAAE,GAAG,YAAY,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,IAAA,oCAAoB,EAAC,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC;QAClF,gBAAgB,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,EAAE,GAAG,YAAY,EAAE,CAAC;QAC1B,gBAAgB,CAAC,IAAA,iCAAiB,EAAC,EAAE,EAAE,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1D,gBAAgB,CAAC,IAAA,iCAAiB,EAAC,EAAE,EAAE,WAAW,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC1E,gBAAgB,CAAC,IAAA,iCAAiB,EAAC,EAAE,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACvE,gBAAgB,CAAC,IAAA,iCAAiB,EAAC,EAAE,EAAE,UAAU,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC7E,gBAAgB,CAAC,IAAA,iCAAiB,EAAC,EAAE,EAAE,aAAa,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,EAAE,GAAG,IAAA,+BAAe,EAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;QAChD,MAAM,QAAQ,GAAG,IAAA,iCAAiB,EAAC,EAAE,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,EAAE,GAAG,IAAA,+BAAe,EAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;QAChD,MAAM,GAAG,GAAG,IAAA,mCAAmB,EAAC,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC;QACjF,gBAAgB,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,EAAE,GAAG,IAAA,+BAAe,EAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;QAChD,MAAM,GAAG,GAAG,IAAA,gCAAgB,EAAC,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC;QAC9E,gBAAgB,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,cAAc,EAAE,GAAG,EAAE;QACtB,MAAM,EAAE,GAAG,IAAA,+BAAe,EAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAChD,MAAM,QAAQ,GAAG,IAAA,iCAAiB,EAAC,EAAE,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,EAAE,GAAG,IAAA,+BAAe,EAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAChD,MAAM,GAAG,GAAG,IAAA,mCAAmB,EAAC,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC;QACjF,gBAAgB,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,EAAE,GAAG,IAAA,+BAAe,EAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAChD,MAAM,GAAG,GAAG,IAAA,gCAAgB,EAAC,EAAE,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC;QAC9E,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,EAAE,GAAG,IAAA,+BAAe,EACxB,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EACf;YACE,CAAC,GAAG,EAAE,GAAG,CAAC;YACV,CAAC,GAAG,EAAE,GAAG,CAAC;SACX,CACF,CAAC;QACF,MAAM,GAAG,GAAG,IAAA,yBAAS,EAAC,EAAE,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,EAAE,GAAG,IAAA,+BAAe,EAAC,CAAC,OAAO,EAAE,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QACnE,MAAM,GAAG,GAAG,IAAA,yBAAS,EAAC,EAAE,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,EAAE,GAAG,IAAA,+BAAe,EAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACrD,MAAM,GAAG,GAAG,IAAA,yBAAS,EAAC,EAAE,CAAC,CAAC;QAC1B,MAAM,MAAM,GAAG,0BAA0B,CAAC;QAC1C,MAAM,OAAO,GAAG,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,OAAO,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,GAAG,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;QACjC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,MAAM,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACrE,MAAM,OAAO,GAA4B,EAAE,CAAC;QAC5C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,OAAO,OAAO,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;YAC3B,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;YACjC,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC;YACjC,MAAM,GAAG,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;YACxC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS;YAC5B,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACd,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACrB,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACnB,IAAI,IAAI,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS;gBAAE,SAAS;YACrD,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;QAC3B,CAAC;QACD,MAAM,EAAE,GAAG,IAAA,+BAAe,EAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC1C,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,EAAE,CAAC;QAChC,MAAM,QAAQ,GAAG,IAAA,iCAAiB,EAAC,EAAE,EAAE,UAAU,CAAC,CAAC;QACnD,MAAM,SAAS,GAAG,IAAA,iCAAiB,EAAC,EAAE,EAAE,WAAW,EAAE;YACnD,eAAe,EAAE,EAAE;YACnB,WAAW,EAAE,KAAK;SACnB,CAAC,CAAC;QACH,MAAM,MAAM,GAAG,IAAA,iCAAiB,EAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC;QAC5F,MAAM,QAAQ,GAAG,IAAA,iCAAiB,EAAC,EAAE,EAAE,UAAU,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC;QAChG,MAAM,IAAI,GAAG,IAAA,iCAAiB,EAAC,EAAE,EAAE,aAAa,EAAE,EAAE,eAAe,EAAE,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAC;QAC/F,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC;QAC1C,IAAA,eAAM,EAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,SAAS,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,SAAS,UAAU,CAAC,IAAY;IAC9B,IAAI,CAAC,GAAG,IAAI,KAAK,CAAC,CAAC;IACnB,OAAO,SAAS,IAAI;QAClB,CAAC,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;QAC1C,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,UAAU,CAAC;IAC/C,CAAC,CAAC;AACJ,CAAC"}

package/dist/tests/citation-reasoning/citation-reasoning.test.d.ts

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

package/dist/tests/citation-reasoning/citation-reasoning.test.d.ts.map

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

package/dist/tests/citation-reasoning/citation-reasoning.test.js

@@ -0,0 +1,240 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const citation_reasoning_1 = require("../../citation-reasoning");
+// ---------------------------------------------------------------------------
+// Helpers
+// ---------------------------------------------------------------------------
+/** Evaluador simple de modus ponens para fórmulas con la forma "P -> Q". */
+function modusPonensEvaluator() {
+    return (premises, goal) => {
+        // Si premises contiene "P -> Q" y "P", y goal es "Q" → válido.
+        for (const p of premises) {
+            const match = /^(.+?)\s*->\s*(.+)$/.exec(p.trim());
+            if (!match)
+                continue;
+            const antecedent = match[1].trim();
+            const consequent = match[2].trim();
+            if (consequent === goal.trim() && premises.includes(antecedent)) {
+                return Promise.resolve({
+                    valid: true,
+                    proof: {
+                        steps: [{ formula: antecedent }, { formula: p }, { formula: goal }],
+                    },
+                });
+            }
+        }
+        return Promise.resolve({ valid: false });
+    };
+}
+/** Evaluador que siempre falla (para probar casos negativos). */
+const alwaysInvalidEvaluator = () => Promise.resolve({ valid: false });
+/** Evaluador que siempre tiene éxito (para probar derivación local pura). */
+const alwaysValidEvaluator = (_premises, goal) => Promise.resolve({
+    valid: true,
+    proof: { steps: [{ formula: goal }] },
+});
+// ---------------------------------------------------------------------------
+// Test 1: 2 citas + 1 premisa local → goal Q via modus ponens
+// ---------------------------------------------------------------------------
+(0, vitest_1.describe)('deriveWithCitations — modus ponens con premisas citadas', () => {
+    (0, vitest_1.it)('derivación válida: 2 citations + 1 premisa local producen el goal', async () => {
+        const citations = [
+            {
+                id: 'thm-01',
+                docId: 'doc-filosofia',
+                formula: 'P -> Q',
+                profile: 'classical.propositional',
+                weight: 2,
+            },
+            {
+                id: 'ax-01',
+                docId: 'doc-logica',
+                formula: 'A -> B',
+                profile: 'classical.propositional',
+                weight: 1,
+            },
+        ];
+        const derivation = {
+            goal: 'Q',
+            citations,
+            localPremises: ['P'],
+        };
+        const result = await (0, citation_reasoning_1.deriveWithCitations)(derivation, modusPonensEvaluator());
+        (0, vitest_1.expect)(result.valid).toBe(true);
+        // Traza debe incluir pasos de citas, premisa local y conclusión.
+        const citeSteps = result.trace.filter((s) => s.cite !== undefined);
+        (0, vitest_1.expect)(citeSteps).toHaveLength(2);
+        const localSteps = result.trace.filter((s) => s.step.startsWith('premisa local:'));
+        (0, vitest_1.expect)(localSteps).toHaveLength(1);
+        const conclusionStep = result.trace.find((s) => s.step.includes('(válida)'));
+        (0, vitest_1.expect)(conclusionStep).toBeDefined();
+        // El paso de cita para thm-01 debe referenciar el docId correcto.
+        const thm01Step = result.trace.find((s) => s.cite === 'doc-filosofia#thm-01');
+        (0, vitest_1.expect)(thm01Step).toBeDefined();
+        (0, vitest_1.expect)(thm01Step.step).toContain('P -> Q');
+        // La explicación menciona el resultado válido.
+        (0, vitest_1.expect)(result.explanation).toContain('VÁLIDO');
+    });
+    (0, vitest_1.it)('citas se ordenan por peso descendente antes de pasarlas al evaluador', async () => {
+        const callLog = [];
+        const recordingEvaluator = (premises, goal, profile) => {
+            callLog.push([...premises]);
+            return alwaysInvalidEvaluator(premises, goal, profile);
+        };
+        const citations = [
+            { id: 'c1', docId: 'docA', formula: 'low', profile: 'classical.propositional', weight: 1 },
+            { id: 'c2', docId: 'docB', formula: 'high', profile: 'classical.propositional', weight: 5 },
+            { id: 'c3', docId: 'docC', formula: 'mid', profile: 'classical.propositional', weight: 3 },
+        ];
+        await (0, citation_reasoning_1.deriveWithCitations)({ goal: 'X', citations, localPremises: [] }, recordingEvaluator);
+        // Primera llamada: premisas ordenadas high(5) > mid(3) > low(1).
+        const firstCall = callLog[0];
+        (0, vitest_1.expect)(firstCall).toBeDefined();
+        (0, vitest_1.expect)(firstCall[0]).toBe('high');
+        (0, vitest_1.expect)(firstCall[1]).toBe('mid');
+        (0, vitest_1.expect)(firstCall[2]).toBe('low');
+    });
+});
+// ---------------------------------------------------------------------------
+// Test 2: Citation no probada → marca explicación con warning
+// ---------------------------------------------------------------------------
+(0, vitest_1.describe)('deriveWithCitations — citation no probada', () => {
+    (0, vitest_1.it)('devuelve valid=false y la explicación incluye ADVERTENCIA sobre citas', async () => {
+        const citations = [
+            {
+                id: 'thm-99',
+                docId: 'doc-desconocido',
+                formula: 'X -> Y',
+                profile: 'classical.propositional',
+            },
+        ];
+        const derivation = {
+            goal: 'Z', // Z no se puede derivar de X->Y sin premisa X.
+            citations,
+            localPremises: [],
+        };
+        const result = await (0, citation_reasoning_1.deriveWithCitations)(derivation, alwaysInvalidEvaluator);
+        (0, vitest_1.expect)(result.valid).toBe(false);
+        // La explicación debe advertir sobre premisas citadas no provadas.
+        (0, vitest_1.expect)(result.explanation).toMatch(/ADVERTENCIA/);
+        (0, vitest_1.expect)(result.explanation).toContain('NO VÁLIDO');
+        // La traza refleja el intento.
+        const conclusionStep = result.trace.find((s) => s.step.includes('no derivable'));
+        (0, vitest_1.expect)(conclusionStep).toBeDefined();
+    });
+    (0, vitest_1.it)('cita con weight=0 provoca ADVERTENCIA de peso nulo', async () => {
+        const citations = [
+            {
+                id: 'weak-01',
+                docId: 'doc-débil',
+                formula: 'P',
+                profile: 'classical.propositional',
+                weight: 0,
+            },
+        ];
+        const result = await (0, citation_reasoning_1.deriveWithCitations)({ goal: 'Q', citations, localPremises: [] }, alwaysInvalidEvaluator);
+        (0, vitest_1.expect)(result.valid).toBe(false);
+        (0, vitest_1.expect)(result.explanation).toContain('peso 0');
+    });
+});
+// ---------------------------------------------------------------------------
+// Test 3: Sin citaciones → fallback a derivación local
+// ---------------------------------------------------------------------------
+(0, vitest_1.describe)('deriveWithCitations — sin citaciones (derivación local)', () => {
+    (0, vitest_1.it)('derivación puramente local: sin citas, el evaluador local decide', async () => {
+        const derivation = {
+            goal: 'P -> P',
+            citations: [],
+            localPremises: ['P -> P'],
+        };
+        const result = await (0, citation_reasoning_1.deriveWithCitations)(derivation, alwaysValidEvaluator);
+        (0, vitest_1.expect)(result.valid).toBe(true);
+        // No debe haber pasos de cita.
+        const citeSteps = result.trace.filter((s) => s.cite !== undefined);
+        (0, vitest_1.expect)(citeSteps).toHaveLength(0);
+        // Debe haber un paso local.
+        const localSteps = result.trace.filter((s) => s.step.startsWith('premisa local:'));
+        (0, vitest_1.expect)(localSteps).toHaveLength(1);
+        // La explicación menciona derivación puramente local.
+        (0, vitest_1.expect)(result.explanation).toContain('puramente local');
+    });
+    (0, vitest_1.it)('sin citas ni premisas locales → inválido con mensaje descriptivo', async () => {
+        const derivation = {
+            goal: 'P',
+            citations: [],
+            localPremises: [],
+        };
+        const result = await (0, citation_reasoning_1.deriveWithCitations)(derivation, alwaysInvalidEvaluator);
+        (0, vitest_1.expect)(result.valid).toBe(false);
+        (0, vitest_1.expect)(result.explanation).toContain('No se proveyeron premisas');
+    });
+});
+// ---------------------------------------------------------------------------
+// Test 4: explainProof
+// ---------------------------------------------------------------------------
+(0, vitest_1.describe)('explainProof', () => {
+    (0, vitest_1.it)('con proof=undefined devuelve mensaje genérico', () => {
+        const msg = (0, citation_reasoning_1.explainProof)(undefined, []);
+        (0, vitest_1.expect)(msg).toContain('No hay prueba formal');
+    });
+    (0, vitest_1.it)('con proof=null devuelve mensaje genérico', () => {
+        const msg = (0, citation_reasoning_1.explainProof)(null, []);
+        (0, vitest_1.expect)(msg).toContain('No hay prueba formal');
+    });
+    (0, vitest_1.it)('con proof con steps los lista', () => {
+        const proof = {
+            steps: [{ formula: 'P' }, { formula: 'P -> Q' }, { formula: 'Q' }],
+        };
+        const citations = [
+            { id: 'thm-01', docId: 'doc-x', formula: 'P -> Q', profile: 'classical.propositional' },
+        ];
+        const msg = (0, citation_reasoning_1.explainProof)(proof, citations);
+        (0, vitest_1.expect)(msg).toContain('doc-x#thm-01');
+        (0, vitest_1.expect)(msg).toContain('P -> Q');
+        (0, vitest_1.expect)(msg).toContain('1.');
+        (0, vitest_1.expect)(msg).toContain('3.');
+    });
+    (0, vitest_1.it)('sin citas menciona derivación local', () => {
+        const proof = { steps: [{ formula: 'P' }] };
+        const msg = (0, citation_reasoning_1.explainProof)(proof, []);
+        (0, vitest_1.expect)(msg).toContain('No se utilizaron premisas externas');
+    });
+    (0, vitest_1.it)('con proof no estructurado serializa como JSON', () => {
+        const proof = 'proof-opaque-string';
+        const msg = (0, citation_reasoning_1.explainProof)(proof, []);
+        (0, vitest_1.expect)(msg).toContain('proof-opaque-string');
+    });
+});
+// ---------------------------------------------------------------------------
+// Test 5: Perfil dominante
+// ---------------------------------------------------------------------------
+(0, vitest_1.describe)('deriveWithCitations — perfil lógico dominante', () => {
+    (0, vitest_1.it)('todas las citas con el mismo perfil → ese perfil se pasa al evaluador', async () => {
+        const capturedProfiles = [];
+        const capturingEvaluator = (_premises, _goal, profile) => {
+            capturedProfiles.push(profile);
+            return Promise.resolve({ valid: false });
+        };
+        const citations = [
+            { id: 'a', docId: 'doc1', formula: 'X', profile: 'modal.k', weight: 1 },
+            { id: 'b', docId: 'doc2', formula: 'Y', profile: 'modal.k', weight: 1 },
+        ];
+        await (0, citation_reasoning_1.deriveWithCitations)({ goal: 'Z', citations, localPremises: [] }, capturingEvaluator);
+        (0, vitest_1.expect)(capturedProfiles[0]).toBe('modal.k');
+    });
+    (0, vitest_1.it)('citas con perfiles mixtos → fallback a classical.propositional', async () => {
+        const capturedProfiles = [];
+        const capturingEvaluator = (_premises, _goal, profile) => {
+            capturedProfiles.push(profile);
+            return Promise.resolve({ valid: false });
+        };
+        const citations = [
+            { id: 'a', docId: 'doc1', formula: 'X', profile: 'modal.k' },
+            { id: 'b', docId: 'doc2', formula: 'Y', profile: 'intuitionistic' },
+        ];
+        await (0, citation_reasoning_1.deriveWithCitations)({ goal: 'Z', citations, localPremises: [] }, capturingEvaluator);
+        (0, vitest_1.expect)(capturedProfiles[0]).toBe('classical.propositional');
+    });
+});
+//# sourceMappingURL=citation-reasoning.test.js.map

package/dist/tests/citation-reasoning/citation-reasoning.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"citation-reasoning.test.js","sourceRoot":"","sources":["../../../src/tests/citation-reasoning/citation-reasoning.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,iEAMkC;AAElC,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAE9E,4EAA4E;AAC5E,SAAS,oBAAoB;IAC3B,OAAO,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE;QACxB,+DAA+D;QAC/D,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;YACzB,MAAM,KAAK,GAAG,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;YACnD,IAAI,CAAC,KAAK;gBAAE,SAAS;YACrB,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACnC,MAAM,UAAU,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACnC,IAAI,UAAU,KAAK,IAAI,CAAC,IAAI,EAAE,IAAI,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;gBAChE,OAAO,OAAO,CAAC,OAAO,CAAC;oBACrB,KAAK,EAAE,IAAI;oBACX,KAAK,EAAE;wBACL,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;qBACpE;iBACF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,OAAO,OAAO,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;IAC3C,CAAC,CAAC;AACJ,CAAC;AAED,iEAAiE;AACjE,MAAM,sBAAsB,GAAc,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;AAElF,6EAA6E;AAC7E,MAAM,oBAAoB,GAAc,CAAC,SAAS,EAAE,IAAI,EAAE,EAAE,CAC1D,OAAO,CAAC,OAAO,CAAC;IACd,KAAK,EAAE,IAAI;IACX,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,EAAE;CACtC,CAAC,CAAC;AAEL,8EAA8E;AAC9E,8DAA8D;AAC9D,8EAA8E;AAE9E,IAAA,iBAAQ,EAAC,yDAAyD,EAAE,GAAG,EAAE;IACvE,IAAA,WAAE,EAAC,mEAAmE,EAAE,KAAK,IAAI,EAAE;QACjF,MAAM,SAAS,GAAiB;YAC9B;gBACE,EAAE,EAAE,QAAQ;gBACZ,KAAK,EAAE,eAAe;gBACtB,OAAO,EAAE,QAAQ;gBACjB,OAAO,EAAE,yBAAyB;gBAClC,MAAM,EAAE,CAAC;aACV;YACD;gBACE,EAAE,EAAE,OAAO;gBACX,KAAK,EAAE,YAAY;gBACnB,OAAO,EAAE,QAAQ;gBACjB,OAAO,EAAE,yBAAyB;gBAClC,MAAM,EAAE,CAAC;aACV;SACF,CAAC;QAEF,MAAM,UAAU,GAAuB;YACrC,IAAI,EAAE,GAAG;YACT,SAAS;YACT,aAAa,EAAE,CAAC,GAAG,CAAC;SACrB,CAAC;QAEF,MAAM,MAAM,GAAG,MAAM,IAAA,wCAAmB,EAAC,UAAU,EAAE,oBAAoB,EAAE,CAAC,CAAC;QAE7E,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEhC,iEAAiE;QACjE,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAElC,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC,CAAC;QACnF,IAAA,eAAM,EAAC,UAAU,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAEnC,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;QAC7E,IAAA,eAAM,EAAC,cAAc,CAAC,CAAC,WAAW,EAAE,CAAC;QAErC,kEAAkE;QAClE,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,sBAAsB,CAAC,CAAC;QAC9E,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;QAChC,IAAA,eAAM,EAAC,SAAU,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAE5C,+CAA+C;QAC/C,IAAA,eAAM,EAAC,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sEAAsE,EAAE,KAAK,IAAI,EAAE;QACpF,MAAM,OAAO,GAAe,EAAE,CAAC;QAC/B,MAAM,kBAAkB,GAAc,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE;YAChE,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC;YAC5B,OAAO,sBAAsB,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QACzD,CAAC,CAAC;QAEF,MAAM,SAAS,GAAiB;YAC9B,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,yBAAyB,EAAE,MAAM,EAAE,CAAC,EAAE;YAC1F,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,yBAAyB,EAAE,MAAM,EAAE,CAAC,EAAE;YAC3F,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,yBAAyB,EAAE,MAAM,EAAE,CAAC,EAAE;SAC3F,CAAC;QAEF,MAAM,IAAA,wCAAmB,EAAC,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,aAAa,EAAE,EAAE,EAAE,EAAE,kBAAkB,CAAC,CAAC;QAE3F,iEAAiE;QACjE,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;QAChC,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,8DAA8D;AAC9D,8EAA8E;AAE9E,IAAA,iBAAQ,EAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,IAAA,WAAE,EAAC,uEAAuE,EAAE,KAAK,IAAI,EAAE;QACrF,MAAM,SAAS,GAAiB;YAC9B;gBACE,EAAE,EAAE,QAAQ;gBACZ,KAAK,EAAE,iBAAiB;gBACxB,OAAO,EAAE,QAAQ;gBACjB,OAAO,EAAE,yBAAyB;aACnC;SACF,CAAC;QAEF,MAAM,UAAU,GAAuB;YACrC,IAAI,EAAE,GAAG,EAAE,+CAA+C;YAC1D,SAAS;YACT,aAAa,EAAE,EAAE;SAClB,CAAC;QAEF,MAAM,MAAM,GAAG,MAAM,IAAA,wCAAmB,EAAC,UAAU,EAAE,sBAAsB,CAAC,CAAC;QAE7E,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAEjC,mEAAmE;QACnE,IAAA,eAAM,EAAC,MAAM,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QAElD,+BAA+B;QAC/B,MAAM,cAAc,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC;QACjF,IAAA,eAAM,EAAC,cAAc,CAAC,CAAC,WAAW,EAAE,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,KAAK,IAAI,EAAE;QAClE,MAAM,SAAS,GAAiB;YAC9B;gBACE,EAAE,EAAE,SAAS;gBACb,KAAK,EAAE,WAAW;gBAClB,OAAO,EAAE,GAAG;gBACZ,OAAO,EAAE,yBAAyB;gBAClC,MAAM,EAAE,CAAC;aACV;SACF,CAAC;QAEF,MAAM,MAAM,GAAG,MAAM,IAAA,wCAAmB,EACtC,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,aAAa,EAAE,EAAE,EAAE,EAC3C,sBAAsB,CACvB,CAAC;QAEF,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,uDAAuD;AACvD,8EAA8E;AAE9E,IAAA,iBAAQ,EAAC,yDAAyD,EAAE,GAAG,EAAE;IACvE,IAAA,WAAE,EAAC,kEAAkE,EAAE,KAAK,IAAI,EAAE;QAChF,MAAM,UAAU,GAAuB;YACrC,IAAI,EAAE,QAAQ;YACd,SAAS,EAAE,EAAE;YACb,aAAa,EAAE,CAAC,QAAQ,CAAC;SAC1B,CAAC;QAEF,MAAM,MAAM,GAAG,MAAM,IAAA,wCAAmB,EAAC,UAAU,EAAE,oBAAoB,CAAC,CAAC;QAE3E,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEhC,+BAA+B;QAC/B,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAElC,4BAA4B;QAC5B,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC,CAAC;QACnF,IAAA,eAAM,EAAC,UAAU,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAEnC,sDAAsD;QACtD,IAAA,eAAM,EAAC,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,KAAK,IAAI,EAAE;QAChF,MAAM,UAAU,GAAuB;YACrC,IAAI,EAAE,GAAG;YACT,SAAS,EAAE,EAAE;YACb,aAAa,EAAE,EAAE;SAClB,CAAC;QAEF,MAAM,MAAM,GAAG,MAAM,IAAA,wCAAmB,EAAC,UAAU,EAAE,sBAAsB,CAAC,CAAC;QAE7E,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,MAAM,CAAC,WAAW,CAAC,CAAC,SAAS,CAAC,2BAA2B,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,uBAAuB;AACvB,8EAA8E;AAE9E,IAAA,iBAAQ,EAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,GAAG,GAAG,IAAA,iCAAY,EAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,sBAAsB,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,GAAG,GAAG,IAAA,iCAAY,EAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,sBAAsB,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,KAAK,GAAG;YACZ,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;SACnE,CAAC;QACF,MAAM,SAAS,GAAiB;YAC9B,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,yBAAyB,EAAE;SACxF,CAAC;QACF,MAAM,GAAG,GAAG,IAAA,iCAAY,EAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,KAAK,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;QAC5C,MAAM,GAAG,GAAG,IAAA,iCAAY,EAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,oCAAoC,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,KAAK,GAAG,qBAAqB,CAAC;QACpC,MAAM,GAAG,GAAG,IAAA,iCAAY,EAAC,KAAK,EAAE,EAAE,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,8EAA8E;AAC9E,2BAA2B;AAC3B,8EAA8E;AAE9E,IAAA,iBAAQ,EAAC,+CAA+C,EAAE,GAAG,EAAE;IAC7D,IAAA,WAAE,EAAC,uEAAuE,EAAE,KAAK,IAAI,EAAE;QACrF,MAAM,gBAAgB,GAAa,EAAE,CAAC;QACtC,MAAM,kBAAkB,GAAc,CAAC,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE;YAClE,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC/B,OAAO,OAAO,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;QAC3C,CAAC,CAAC;QAEF,MAAM,SAAS,GAAiB;YAC9B,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,EAAE;YACvE,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,EAAE;SACxE,CAAC;QAEF,MAAM,IAAA,wCAAmB,EAAC,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,aAAa,EAAE,EAAE,EAAE,EAAE,kBAAkB,CAAC,CAAC;QAE3F,IAAA,eAAM,EAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,KAAK,IAAI,EAAE;QAC9E,MAAM,gBAAgB,GAAa,EAAE,CAAC;QACtC,MAAM,kBAAkB,GAAc,CAAC,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE;YAClE,gBAAgB,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC/B,OAAO,OAAO,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;QAC3C,CAAC,CAAC;QAEF,MAAM,SAAS,GAAiB;YAC9B,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,SAAS,EAAE;YAC5D,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,gBAAgB,EAAE;SACpE,CAAC;QAEF,MAAM,IAAA,wCAAmB,EAAC,EAAE,IAAI,EAAE,GAAG,EAAE,SAAS,EAAE,aAAa,EAAE,EAAE,EAAE,EAAE,kBAAkB,CAAC,CAAC;QAE3F,IAAA,eAAM,EAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/coverage-fill-api.test.d.ts

@@ -0,0 +1,7 @@
+/**
+ * Coverage fill — src/api.ts
+ * Current coverage: ~43% stmts, ~28% branch
+ * Focuses on: createInterpreter, hover, symbols, gotoDefinition, completion, render, listProfiles
+ */
+export {};
+//# sourceMappingURL=coverage-fill-api.test.d.ts.map

package/dist/tests/coverage-fill-api.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage-fill-api.test.d.ts","sourceRoot":"","sources":["../../src/tests/coverage-fill-api.test.ts"],"names":[],"mappings":"AAAA;;;;GAIG"}