@stevenvo780/st-lang 4.1.0 → 4.2.0

package/dist/tests/sat-v2-incremental/basic.test.js

@@ -0,0 +1,352 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const cdcl_v2_incremental_1 = require("../../solver/cdcl-v2-incremental");
+(0, vitest_1.describe)('IncrementalCDCL — sat/unsat triviales', () => {
+    (0, vitest_1.it)('SAT: sin cláusulas, 0 vars', () => {
+        const s = new cdcl_v2_incremental_1.IncrementalCDCL(0);
+        const r = s.solve();
+        (0, vitest_1.expect)(r.sat).toBe(true);
+        (0, vitest_1.expect)(r.model?.size).toBe(0);
+    });
+    (0, vitest_1.it)('SAT: sin cláusulas, 3 vars libres', () => {
+        const s = new cdcl_v2_incremental_1.IncrementalCDCL(3);
+        const r = s.solve();
+        (0, vitest_1.expect)(r.sat).toBe(true);
+        // 3 vars en el modelo.
+        (0, vitest_1.expect)(r.model?.size).toBe(3);
+    });
+    (0, vitest_1.it)('SAT: unitaria positiva', () => {
+        const s = new cdcl_v2_incremental_1.IncrementalCDCL(1);
+        s.addClause([1]);
+        const r = s.solve();
+        (0, vitest_1.expect)(r.sat).toBe(true);
+        (0, vitest_1.expect)(r.model?.get(1)).toBe(true);
+    });
+    (0, vitest_1.it)('SAT: unitaria negativa', () => {
+        const s = new cdcl_v2_incremental_1.IncrementalCDCL(1);
+        s.addClause([-1]);
+        const r = s.solve();
+        (0, vitest_1.expect)(r.sat).toBe(true);
+        (0, vitest_1.expect)(r.model?.get(1)).toBe(false);
+    });
+    (0, vitest_1.it)('UNSAT: cláusula vacía explícita', () => {
+        const s = new cdcl_v2_incremental_1.IncrementalCDCL(1);
+        s.addClause([]);
+        const r = s.solve();
+        (0, vitest_1.expect)(r.sat).toBe(false);
+    });
+    (0, vitest_1.it)('UNSAT: P y ¬P', () => {
+        const s = new cdcl_v2_incremental_1.IncrementalCDCL(1);
+        s.addClause([1]);
+        s.addClause([-1]);
+        const r = s.solve();
+        (0, vitest_1.expect)(r.sat).toBe(false);
+    });
+});
+(0, vitest_1.describe)('IncrementalCDCL — addClause + solve', () => {
+    (0, vitest_1.it)('SAT: cláusula binaria, modelo válido', () => {
+        const s = new cdcl_v2_incremental_1.IncrementalCDCL(2);
+        s.addClause([1, 2]);
+        const r = s.solve();
+        (0, vitest_1.expect)(r.sat).toBe(true);
+        (0, vitest_1.expect)(r.model?.get(1) === true || r.model?.get(2) === true).toBe(true);
+    });
+    (0, vitest_1.it)('SAT: 3-SAT pequeño', () => {
+        const s = new cdcl_v2_incremental_1.IncrementalCDCL(3);
+        s.addClause([1, 2, 3]);
+        s.addClause([-1, -2]);
+        s.addClause([-2, -3]);
+        s.addClause([-1, -3]);
+        const r = s.solve();
+        (0, vitest_1.expect)(r.sat).toBe(true);
+    });
+});
+(0, vitest_1.describe)('IncrementalCDCL — assumptions', () => {
+    (0, vitest_1.it)('assumption fuerza el modelo: a ∨ b con [-a] ⇒ b=true', () => {
+        const s = new cdcl_v2_incremental_1.IncrementalCDCL(2);
+        s.addClause([1, 2]); // a ∨ b
+        const r = s.solve([-1]); // ¬a
+        (0, vitest_1.expect)(r.sat).toBe(true);
+        (0, vitest_1.expect)(r.model?.get(1)).toBe(false);
+        (0, vitest_1.expect)(r.model?.get(2)).toBe(true);
+    });
+    (0, vitest_1.it)('assumption inconsistente con unitaria: [a] + solve([-a]) ⇒ unsat + failedAssumptions=[-a]', () => {
+        const s = new cdcl_v2_incremental_1.IncrementalCDCL(1);
+        s.addClause([1]); // unitaria a
+        const r = s.solve([-1]);
+        (0, vitest_1.expect)(r.sat).toBe(false);
+        (0, vitest_1.expect)(r.failedAssumptions).toBeDefined();
+        (0, vitest_1.expect)(r.failedAssumptions).toContain(-1);
+    });
+    (0, vitest_1.it)('solve sin assumptions tras solve con assumptions sigue siendo SAT', () => {
+        const s = new cdcl_v2_incremental_1.IncrementalCDCL(2);
+        s.addClause([1, 2]);
+        const r1 = s.solve([-1]);
+        (0, vitest_1.expect)(r1.sat).toBe(true);
+        const r2 = s.solve();
+        (0, vitest_1.expect)(r2.sat).toBe(true);
+    });
+    (0, vitest_1.it)('múltiples assumptions consistentes', () => {
+        const s = new cdcl_v2_incremental_1.IncrementalCDCL(3);
+        s.addClause([1, 2, 3]); // a ∨ b ∨ c
+        const r = s.solve([-1, -2]);
+        (0, vitest_1.expect)(r.sat).toBe(true);
+        (0, vitest_1.expect)(r.model?.get(3)).toBe(true);
+    });
+    (0, vitest_1.it)('múltiples assumptions inconsistentes: failedAssumptions cubre el conflicto', () => {
+        // (a ∨ b), (a ∨ ¬b) → fuerza a=true. Assumir [-a, b] ⇒ unsat.
+        const s = new cdcl_v2_incremental_1.IncrementalCDCL(2);
+        s.addClause([1, 2]);
+        s.addClause([1, -2]);
+        const r = s.solve([-1, 2]);
+        (0, vitest_1.expect)(r.sat).toBe(false);
+        (0, vitest_1.expect)(r.failedAssumptions).toBeDefined();
+        // El core debe incluir al menos -a (la culpable directa).
+        (0, vitest_1.expect)(r.failedAssumptions).toContain(-1);
+    });
+});
+(0, vitest_1.describe)('IncrementalCDCL — push/pop', () => {
+    (0, vitest_1.it)('push → addClause unsat → pop ⇒ vuelve a SAT', () => {
+        const s = new cdcl_v2_incremental_1.IncrementalCDCL(1);
+        s.addClause([1]); // a
+        const before = s.solve();
+        (0, vitest_1.expect)(before.sat).toBe(true);
+        s.push();
+        s.addClause([-1]); // contradice a
+        const mid = s.solve();
+        (0, vitest_1.expect)(mid.sat).toBe(false);
+        s.pop();
+        const after = s.solve();
+        (0, vitest_1.expect)(after.sat).toBe(true);
+        (0, vitest_1.expect)(after.model?.get(1)).toBe(true);
+    });
+    (0, vitest_1.it)('push → add → pop devuelve count de cláusulas al estado previo', () => {
+        const s = new cdcl_v2_incremental_1.IncrementalCDCL(3);
+        s.addClause([1, 2]);
+        const c0 = s.stats().clauses;
+        s.push();
+        s.addClause([-1, 3]);
+        s.addClause([-2, 3]);
+        (0, vitest_1.expect)(s.stats().clauses).toBe(c0 + 2);
+        s.pop();
+        (0, vitest_1.expect)(s.stats().clauses).toBe(c0);
+    });
+    (0, vitest_1.it)('push anidados: 2 push → 1 pop → 1 pop revierte ambos', () => {
+        const s = new cdcl_v2_incremental_1.IncrementalCDCL(2);
+        s.addClause([1, 2]);
+        const c0 = s.stats().clauses;
+        s.push();
+        s.addClause([-1]);
+        s.push();
+        s.addClause([-2]);
+        (0, vitest_1.expect)(s.solve().sat).toBe(false);
+        s.pop();
+        // Ahora hay [-1] pero no [-2]: forces b=true.
+        const mid = s.solve();
+        (0, vitest_1.expect)(mid.sat).toBe(true);
+        (0, vitest_1.expect)(mid.model?.get(2)).toBe(true);
+        s.pop();
+        (0, vitest_1.expect)(s.stats().clauses).toBe(c0);
+        (0, vitest_1.expect)(s.solve().sat).toBe(true);
+    });
+    (0, vitest_1.it)('pop(2) revierte dos checkpoints en una llamada', () => {
+        const s = new cdcl_v2_incremental_1.IncrementalCDCL(2);
+        s.addClause([1, 2]);
+        const c0 = s.stats().clauses;
+        s.push();
+        s.addClause([-1]);
+        s.push();
+        s.addClause([-2]);
+        s.pop(2);
+        (0, vitest_1.expect)(s.stats().clauses).toBe(c0);
+    });
+    (0, vitest_1.it)('pop sin checkpoint no falla', () => {
+        const s = new cdcl_v2_incremental_1.IncrementalCDCL(1);
+        s.addClause([1]);
+        s.pop(); // no-op
+        (0, vitest_1.expect)(s.solve().sat).toBe(true);
+    });
+});
+(0, vitest_1.describe)('IncrementalCDCL — newVar / reset', () => {
+    (0, vitest_1.it)('newVar agrega variables dinámicamente', () => {
+        const s = new cdcl_v2_incremental_1.IncrementalCDCL(0);
+        const v1 = s.newVar();
+        const v2 = s.newVar();
+        const v3 = s.newVar();
+        (0, vitest_1.expect)(v1).toBe(1);
+        (0, vitest_1.expect)(v2).toBe(2);
+        (0, vitest_1.expect)(v3).toBe(3);
+        s.addClause([v1, v2, v3]);
+        const r = s.solve();
+        (0, vitest_1.expect)(r.sat).toBe(true);
+        (0, vitest_1.expect)(s.stats().vars).toBe(3);
+    });
+    (0, vitest_1.it)('reset deja el solver vacío', () => {
+        const s = new cdcl_v2_incremental_1.IncrementalCDCL(3);
+        s.addClause([1, 2]);
+        s.addClause([-1, 3]);
+        s.solve();
+        s.reset();
+        (0, vitest_1.expect)(s.stats().vars).toBe(0);
+        (0, vitest_1.expect)(s.stats().clauses).toBe(0);
+        (0, vitest_1.expect)(s.solve().sat).toBe(true);
+    });
+    (0, vitest_1.it)('reset + reconstruir funciona end-to-end', () => {
+        const s = new cdcl_v2_incremental_1.IncrementalCDCL(2);
+        s.addClause([1]);
+        s.addClause([-1]);
+        (0, vitest_1.expect)(s.solve().sat).toBe(false);
+        s.reset();
+        const v1 = s.newVar();
+        s.addClause([v1]);
+        (0, vitest_1.expect)(s.solve().sat).toBe(true);
+    });
+});
+(0, vitest_1.describe)('IncrementalCDCL — modelValue', () => {
+    (0, vitest_1.it)('modelValue devuelve la polaridad asignada tras SAT', () => {
+        const s = new cdcl_v2_incremental_1.IncrementalCDCL(2);
+        s.addClause([1]);
+        s.addClause([-2]);
+        (0, vitest_1.expect)(s.solve().sat).toBe(true);
+        (0, vitest_1.expect)(s.modelValue(1)).toBe(true);
+        (0, vitest_1.expect)(s.modelValue(2)).toBe(false);
+    });
+    (0, vitest_1.it)('modelValue de var fuera de rango devuelve undefined', () => {
+        const s = new cdcl_v2_incremental_1.IncrementalCDCL(1);
+        s.addClause([1]);
+        s.solve();
+        (0, vitest_1.expect)(s.modelValue(0)).toBeUndefined();
+        (0, vitest_1.expect)(s.modelValue(5)).toBeUndefined();
+    });
+});
+(0, vitest_1.describe)('IncrementalCDCL — secuencias incrementales', () => {
+    (0, vitest_1.it)('100 vars + 200 cláusulas + 10 solves consistentes', () => {
+        const NVARS = 100;
+        const NCLAUSES = 200;
+        const s = new cdcl_v2_incremental_1.IncrementalCDCL(NVARS);
+        // Generar 3-SAT determinístico.
+        function rng(seed) {
+            return function () {
+                let t = (seed += 0x6d2b79f5);
+                t = Math.imul(t ^ (t >>> 15), t | 1);
+                t ^= t + Math.imul(t ^ (t >>> 7), t | 61);
+                return ((t ^ (t >>> 14)) >>> 0) / 4294967296;
+            };
+        }
+        const rand = rng(7);
+        for (let i = 0; i < NCLAUSES; i++) {
+            const lits = [];
+            const used = new Set();
+            while (lits.length < 3) {
+                const v = Math.floor(rand() * NVARS) + 1;
+                if (used.has(v))
+                    continue;
+                used.add(v);
+                lits.push(rand() < 0.5 ? -v : v);
+            }
+            s.addClause(lits);
+        }
+        // 10 solves con distintos assumptions; verificar que cada SAT realmente satisface
+        // las cláusulas + assumptions.
+        function verify(model, assumptions) {
+            if (!model)
+                return false;
+            for (const a of assumptions) {
+                const v = Math.abs(a);
+                const want = a > 0;
+                const got = model.get(v);
+                if (got !== want)
+                    return false;
+            }
+            return true;
+        }
+        let satCount = 0;
+        let unsatCount = 0;
+        for (let i = 0; i < 10; i++) {
+            const assumps = [];
+            const numA = (i % 4) + 1;
+            const rrand = rng(31 + i);
+            for (let k = 0; k < numA; k++) {
+                const vv = Math.floor(rrand() * NVARS) + 1;
+                assumps.push(rrand() < 0.5 ? -vv : vv);
+            }
+            const r = s.solve(assumps);
+            if (r.sat) {
+                satCount++;
+                (0, vitest_1.expect)(verify(r.model, assumps)).toBe(true);
+            }
+            else {
+                unsatCount++;
+                (0, vitest_1.expect)(r.failedAssumptions).toBeDefined();
+            }
+        }
+        (0, vitest_1.expect)(satCount + unsatCount).toBe(10);
+    });
+});
+(0, vitest_1.describe)('IncrementalCDCL — learning persiste entre solves', () => {
+    (0, vitest_1.it)('segundo solve tras agregar cláusula no rompe el modelo', () => {
+        const s = new cdcl_v2_incremental_1.IncrementalCDCL(4);
+        s.addClause([1, 2]);
+        s.addClause([3, 4]);
+        const r1 = s.solve();
+        (0, vitest_1.expect)(r1.sat).toBe(true);
+        // Agregar más cláusulas y volver a resolver.
+        s.addClause([-1, 3]);
+        s.addClause([-2, 4]);
+        const r2 = s.solve();
+        (0, vitest_1.expect)(r2.sat).toBe(true);
+    });
+    (0, vitest_1.it)('agregar cláusula UNSAT tras solve previo SAT detecta UNSAT', () => {
+        const s = new cdcl_v2_incremental_1.IncrementalCDCL(2);
+        s.addClause([1]); // a
+        (0, vitest_1.expect)(s.solve().sat).toBe(true);
+        s.addClause([-1]); // ¬a — contradice
+        (0, vitest_1.expect)(s.solve().sat).toBe(false);
+    });
+});
+(0, vitest_1.describe)('IncrementalCDCL — robustez', () => {
+    (0, vitest_1.it)('addClause rechaza literal 0', () => {
+        const s = new cdcl_v2_incremental_1.IncrementalCDCL(2);
+        (0, vitest_1.expect)(() => s.addClause([1, 0, 2])).toThrow();
+    });
+    (0, vitest_1.it)('addClause rechaza var fuera de rango', () => {
+        const s = new cdcl_v2_incremental_1.IncrementalCDCL(2);
+        (0, vitest_1.expect)(() => s.addClause([1, 5])).toThrow();
+    });
+    (0, vitest_1.it)('solve rechaza assumption con var fuera de rango', () => {
+        const s = new cdcl_v2_incremental_1.IncrementalCDCL(2);
+        s.addClause([1, 2]);
+        (0, vitest_1.expect)(() => s.solve([5])).toThrow();
+    });
+    (0, vitest_1.it)('solve rechaza assumption 0', () => {
+        const s = new cdcl_v2_incremental_1.IncrementalCDCL(2);
+        s.addClause([1, 2]);
+        (0, vitest_1.expect)(() => s.solve([0])).toThrow();
+    });
+    (0, vitest_1.it)('constructor rechaza numVars negativos', () => {
+        (0, vitest_1.expect)(() => new cdcl_v2_incremental_1.IncrementalCDCL(-1)).toThrow();
+    });
+});
+(0, vitest_1.describe)('IncrementalCDCL — pigeonhole bajo assumptions', () => {
+    // Pigeonhole(3,2) clásico — UNSAT estructural.
+    // 3 palomas, 2 huecos. p_{i,j} = paloma i en hueco j → var (i-1)*2 + j.
+    (0, vitest_1.it)('PHP(3,2) es UNSAT', () => {
+        const s = new cdcl_v2_incremental_1.IncrementalCDCL(6);
+        const id = (i, j) => (i - 1) * 2 + j;
+        // Cada paloma en algún hueco.
+        s.addClause([id(1, 1), id(1, 2)]);
+        s.addClause([id(2, 1), id(2, 2)]);
+        s.addClause([id(3, 1), id(3, 2)]);
+        // No dos palomas en el mismo hueco.
+        s.addClause([-id(1, 1), -id(2, 1)]);
+        s.addClause([-id(1, 1), -id(3, 1)]);
+        s.addClause([-id(2, 1), -id(3, 1)]);
+        s.addClause([-id(1, 2), -id(2, 2)]);
+        s.addClause([-id(1, 2), -id(3, 2)]);
+        s.addClause([-id(2, 2), -id(3, 2)]);
+        const r = s.solve();
+        (0, vitest_1.expect)(r.sat).toBe(false);
+    });
+});
+//# sourceMappingURL=basic.test.js.map

package/dist/tests/sat-v2-incremental/basic.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"basic.test.js","sourceRoot":"","sources":["../../../src/tests/sat-v2-incremental/basic.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,0EAAmE;AAEnE,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACpB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACpB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,uBAAuB;QACvB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACpB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACpB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QAChB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACpB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,eAAe,EAAE,GAAG,EAAE;QACvB,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACpB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACpB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI,IAAI,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACvB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACtB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACtB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACpB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ;QAC7B,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK;QAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2FAA2F,EAAE,GAAG,EAAE;QACnG,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa;QAC/B,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpB,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACrB,IAAA,eAAM,EAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY;QACpC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4EAA4E,EAAE,GAAG,EAAE;QACpF,8DAA8D;QAC9D,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACrB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,WAAW,EAAE,CAAC;QAC1C,0DAA0D;QAC1D,IAAA,eAAM,EAAC,CAAC,CAAC,iBAAkB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;QACtB,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,CAAC,CAAC,IAAI,EAAE,CAAC;QACT,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe;QAClC,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACtB,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5B,CAAC,CAAC,GAAG,EAAE,CAAC;QACR,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACxB,IAAA,eAAM,EAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpB,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC;QAC7B,CAAC,CAAC,IAAI,EAAE,CAAC;QACT,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,CAAC,CAAC,GAAG,EAAE,CAAC;QACR,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpB,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC;QAC7B,CAAC,CAAC,IAAI,EAAE,CAAC;QACT,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC,CAAC,IAAI,EAAE,CAAC;QACT,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,CAAC,CAAC,GAAG,EAAE,CAAC;QACR,8CAA8C;QAC9C,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACtB,IAAA,eAAM,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,CAAC,CAAC,GAAG,EAAE,CAAC;QACR,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpB,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC;QAC7B,CAAC,CAAC,IAAI,EAAE,CAAC;QACT,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC,CAAC,IAAI,EAAE,CAAC;QACT,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACT,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjB,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,QAAQ;QACjB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACtB,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACtB,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACtB,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAC1B,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACpB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrB,CAAC,CAAC,KAAK,EAAE,CAAC;QACV,CAAC,CAAC,KAAK,EAAE,CAAC;QACV,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,CAAC,CAAC,KAAK,EAAE,CAAC;QACV,MAAM,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;QACtB,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAClB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjB,CAAC,CAAC,KAAK,EAAE,CAAC;QACV,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;QACxC,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,KAAK,GAAG,GAAG,CAAC;QAClB,MAAM,QAAQ,GAAG,GAAG,CAAC;QACrB,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,KAAK,CAAC,CAAC;QAErC,gCAAgC;QAChC,SAAS,GAAG,CAAC,IAAY;YACvB,OAAO;gBACL,IAAI,CAAC,GAAG,CAAC,IAAI,IAAI,UAAU,CAAC,CAAC;gBAC7B,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;gBACrC,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;gBAC1C,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,UAAU,CAAC;YAC/C,CAAC,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,EAAE,CAAC,EAAE,EAAE,CAAC;YAClC,MAAM,IAAI,GAAa,EAAE,CAAC;YAC1B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;YAC/B,OAAO,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACvB,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;gBACzC,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;oBAAE,SAAS;gBAC1B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACZ,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACnC,CAAC;YACD,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC;QAED,kFAAkF;QAClF,+BAA+B;QAC/B,SAAS,MAAM,CAAC,KAAuC,EAAE,WAAqB;YAC5E,IAAI,CAAC,KAAK;gBAAE,OAAO,KAAK,CAAC;YACzB,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;gBAC5B,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACtB,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;gBACnB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACzB,IAAI,GAAG,KAAK,IAAI;oBAAE,OAAO,KAAK,CAAC;YACjC,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QAED,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,IAAI,UAAU,GAAG,CAAC,CAAC;QACnB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,MAAM,OAAO,GAAa,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;YACzB,MAAM,KAAK,GAAG,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YAC1B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC9B,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;gBAC3C,OAAO,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACzC,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC3B,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC;gBACV,QAAQ,EAAE,CAAC;gBACX,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9C,CAAC;iBAAM,CAAC;gBACN,UAAU,EAAE,CAAC;gBACb,IAAA,eAAM,EAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,WAAW,EAAE,CAAC;YAC5C,CAAC;QACH,CAAC;QACD,IAAA,eAAM,EAAC,QAAQ,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kDAAkD,EAAE,GAAG,EAAE;IAChE,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpB,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACrB,IAAA,eAAM,EAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAE1B,6CAA6C;QAC7C,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrB,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrB,MAAM,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACrB,IAAA,eAAM,EAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI;QACtB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,kBAAkB;QACrC,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpB,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpB,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+CAA+C,EAAE,GAAG,EAAE;IAC7D,+CAA+C;IAC/C,wEAAwE;IACxE,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,CAAC,GAAG,IAAI,qCAAe,CAAC,CAAC,CAAC,CAAC;QACjC,MAAM,EAAE,GAAG,CAAC,CAAS,EAAE,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC7D,8BAA8B;QAC9B,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,oCAAoC;QACpC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC;QACpB,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/sequent-g3/prover.test.d.ts

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

package/dist/tests/sequent-g3/prover.test.d.ts.map

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

package/dist/tests/sequent-g3/prover.test.js

@@ -0,0 +1,205 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const sequent_g3_1 = require("../../profiles/sequent-g3");
+// --- Helpers de construccion ---
+const atom = (name) => ({ kind: 'atom', name });
+const not = (a) => ({ kind: 'not', args: [a] });
+const and = (a, b) => ({ kind: 'and', args: [a, b] });
+const or = (a, b) => ({ kind: 'or', args: [a, b] });
+const imp = (a, b) => ({ kind: 'implies', args: [a, b] });
+const iff = (a, b) => ({ kind: 'biconditional', args: [a, b] });
+const T = { kind: 'true' };
+const F = { kind: 'false' };
+const P = atom('P');
+const Q = atom('Q');
+const R = atom('R');
+function rules(tree) {
+    if (!tree)
+        return [];
+    const out = [];
+    if (tree.rule)
+        out.push(tree.rule);
+    for (const sub of tree.premises)
+        out.push(...rules(sub));
+    return out;
+}
+(0, vitest_1.describe)('G3 — tautologias proposicionales clasicas', () => {
+    (0, vitest_1.it)('demuestra P → P', () => {
+        const res = (0, sequent_g3_1.proveFormula)(imp(P, P));
+        (0, vitest_1.expect)(res.provable).toBe(true);
+        (0, vitest_1.expect)(res.proof?.closed).toBe(true);
+        const ruleSet = new Set(rules(res.proof));
+        (0, vitest_1.expect)(ruleSet.has('impR')).toBe(true);
+        (0, vitest_1.expect)(ruleSet.has('axiom')).toBe(true);
+    });
+    (0, vitest_1.it)('demuestra (P ∧ Q) → P', () => {
+        const res = (0, sequent_g3_1.proveFormula)(imp(and(P, Q), P));
+        (0, vitest_1.expect)(res.provable).toBe(true);
+        const ruleSet = new Set(rules(res.proof));
+        (0, vitest_1.expect)(ruleSet.has('impR')).toBe(true);
+        (0, vitest_1.expect)(ruleSet.has('andL')).toBe(true);
+        (0, vitest_1.expect)(ruleSet.has('axiom')).toBe(true);
+    });
+    (0, vitest_1.it)('demuestra (P ∧ Q) → Q', () => {
+        const res = (0, sequent_g3_1.proveFormula)(imp(and(P, Q), Q));
+        (0, vitest_1.expect)(res.provable).toBe(true);
+    });
+    (0, vitest_1.it)('demuestra LEM: P ∨ ¬P', () => {
+        const res = (0, sequent_g3_1.proveFormula)(or(P, not(P)));
+        (0, vitest_1.expect)(res.provable).toBe(true);
+        const ruleSet = new Set(rules(res.proof));
+        (0, vitest_1.expect)(ruleSet.has('orR')).toBe(true);
+        (0, vitest_1.expect)(ruleSet.has('notR')).toBe(true);
+        (0, vitest_1.expect)(ruleSet.has('axiom')).toBe(true);
+    });
+    (0, vitest_1.it)('demuestra DNE clasica: ¬¬P → P', () => {
+        const res = (0, sequent_g3_1.proveFormula)(imp(not(not(P)), P));
+        (0, vitest_1.expect)(res.provable).toBe(true);
+    });
+    (0, vitest_1.it)('demuestra ley de Peirce: ((P → Q) → P) → P', () => {
+        const res = (0, sequent_g3_1.proveFormula)(imp(imp(imp(P, Q), P), P));
+        (0, vitest_1.expect)(res.provable).toBe(true);
+        const ruleSet = new Set(rules(res.proof));
+        (0, vitest_1.expect)(ruleSet.has('impL')).toBe(true);
+    });
+    (0, vitest_1.it)('demuestra contraposicion: (P → Q) → (¬Q → ¬P)', () => {
+        const res = (0, sequent_g3_1.proveFormula)(imp(imp(P, Q), imp(not(Q), not(P))));
+        (0, vitest_1.expect)(res.provable).toBe(true);
+    });
+    (0, vitest_1.it)('demuestra De Morgan: ¬(P ∧ Q) ↔ (¬P ∨ ¬Q)', () => {
+        const res = (0, sequent_g3_1.proveFormula)(iff(not(and(P, Q)), or(not(P), not(Q))));
+        (0, vitest_1.expect)(res.provable).toBe(true);
+    });
+    (0, vitest_1.it)('demuestra distributividad: P ∧ (Q ∨ R) → (P ∧ Q) ∨ (P ∧ R)', () => {
+        const res = (0, sequent_g3_1.proveFormula)(imp(and(P, or(Q, R)), or(and(P, Q), and(P, R))));
+        (0, vitest_1.expect)(res.provable).toBe(true);
+    });
+    (0, vitest_1.it)('demuestra silogismo hipotetico: (P→Q) → (Q→R) → (P→R)', () => {
+        const goal = imp(imp(P, Q), imp(imp(Q, R), imp(P, R)));
+        const res = (0, sequent_g3_1.proveFormula)(goal);
+        (0, vitest_1.expect)(res.provable).toBe(true);
+    });
+});
+(0, vitest_1.describe)('G3 — no-tautologias', () => {
+    (0, vitest_1.it)('NO demuestra P → Q', () => {
+        const res = (0, sequent_g3_1.proveFormula)(imp(P, Q));
+        (0, vitest_1.expect)(res.provable).toBe(false);
+    });
+    (0, vitest_1.it)('NO demuestra P ∧ Q (con P,Q libres)', () => {
+        const res = (0, sequent_g3_1.proveFormula)(and(P, Q));
+        (0, vitest_1.expect)(res.provable).toBe(false);
+    });
+    (0, vitest_1.it)('NO demuestra (P ∨ Q) → P', () => {
+        const res = (0, sequent_g3_1.proveFormula)(imp(or(P, Q), P));
+        (0, vitest_1.expect)(res.provable).toBe(false);
+    });
+    (0, vitest_1.it)('NO demuestra ¬(P → P)', () => {
+        const res = (0, sequent_g3_1.proveFormula)(not(imp(P, P)));
+        (0, vitest_1.expect)(res.provable).toBe(false);
+    });
+    (0, vitest_1.it)('NO demuestra ⊥', () => {
+        const res = (0, sequent_g3_1.proveFormula)(F);
+        (0, vitest_1.expect)(res.provable).toBe(false);
+    });
+});
+(0, vitest_1.describe)('G3 — constantes y axiomas elementales', () => {
+    (0, vitest_1.it)('demuestra ⊤', () => {
+        const res = (0, sequent_g3_1.proveFormula)(T);
+        (0, vitest_1.expect)(res.provable).toBe(true);
+        (0, vitest_1.expect)(res.proof?.rule).toBe('trueR');
+    });
+    (0, vitest_1.it)('demuestra ⊥ → P (explosion / ex falso)', () => {
+        const res = (0, sequent_g3_1.proveFormula)(imp(F, P));
+        (0, vitest_1.expect)(res.provable).toBe(true);
+        const ruleSet = new Set(rules(res.proof));
+        (0, vitest_1.expect)(ruleSet.has('falseL')).toBe(true);
+    });
+    (0, vitest_1.it)('axioma directo: P ⊢ P', () => {
+        const res = (0, sequent_g3_1.proveSequent)({ left: [P], right: [P] });
+        (0, vitest_1.expect)(res.provable).toBe(true);
+        (0, vitest_1.expect)(res.proof?.rule).toBe('axiom');
+        (0, vitest_1.expect)(res.proof?.premises.length).toBe(0);
+    });
+    (0, vitest_1.it)('multiset: P, Q ⊢ Q, R cierra por axioma con Q', () => {
+        const res = (0, sequent_g3_1.proveSequent)({ left: [P, Q], right: [Q, R] });
+        (0, vitest_1.expect)(res.provable).toBe(true);
+        (0, vitest_1.expect)(res.proof?.rule).toBe('axiom');
+    });
+});
+(0, vitest_1.describe)('G3 — secuentes con hipotesis (premisas reales)', () => {
+    (0, vitest_1.it)('modus ponens: P, P→Q ⊢ Q', () => {
+        const res = (0, sequent_g3_1.proveSequent)({ left: [P, imp(P, Q)], right: [Q] });
+        (0, vitest_1.expect)(res.provable).toBe(true);
+        const ruleSet = new Set(rules(res.proof));
+        (0, vitest_1.expect)(ruleSet.has('impL')).toBe(true);
+    });
+    (0, vitest_1.it)('modus tollens: ¬Q, P→Q ⊢ ¬P', () => {
+        const res = (0, sequent_g3_1.proveSequent)({ left: [not(Q), imp(P, Q)], right: [not(P)] });
+        (0, vitest_1.expect)(res.provable).toBe(true);
+    });
+    (0, vitest_1.it)('silogismo disyuntivo: P∨Q, ¬P ⊢ Q', () => {
+        const res = (0, sequent_g3_1.proveSequent)({ left: [or(P, Q), not(P)], right: [Q] });
+        (0, vitest_1.expect)(res.provable).toBe(true);
+    });
+});
+(0, vitest_1.describe)('G3 — proofToLatex (bussproofs)', () => {
+    (0, vitest_1.it)('produce un bloque prooftree sintacticamente valido', () => {
+        const res = (0, sequent_g3_1.proveFormula)(imp(P, P));
+        (0, vitest_1.expect)(res.proof).toBeDefined();
+        const tex = (0, sequent_g3_1.proofToLatex)(res.proof);
+        (0, vitest_1.expect)(tex).toContain('\\begin{prooftree}');
+        (0, vitest_1.expect)(tex).toContain('\\end{prooftree}');
+        (0, vitest_1.expect)(tex).toContain('\\AxiomC');
+        (0, vitest_1.expect)(tex).toContain('\\UnaryInfC');
+        (0, vitest_1.expect)(tex).toContain('\\vdash');
+        (0, vitest_1.expect)(tex).toContain('\\textsc{Ax}');
+        (0, vitest_1.expect)(tex).toContain('\\to_R');
+    });
+    (0, vitest_1.it)('serializa correctamente una prueba con ramificacion (andR)', () => {
+        // ⊢ (P ∨ Q) → (P ∨ Q) cierra con orR + axiom, ahora probamos andR
+        // con un goal explicitamente ramificante: P ⊢ P ∧ P
+        const res = (0, sequent_g3_1.proveSequent)({ left: [P], right: [and(P, P)] });
+        (0, vitest_1.expect)(res.provable).toBe(true);
+        const tex = (0, sequent_g3_1.proofToLatex)(res.proof);
+        (0, vitest_1.expect)(tex).toContain('\\BinaryInfC');
+        (0, vitest_1.expect)(tex).toContain('\\wedge_R');
+    });
+    (0, vitest_1.it)('serializa una prueba de De Morgan a LaTeX no vacio', () => {
+        const res = (0, sequent_g3_1.proveFormula)(iff(not(and(P, Q)), or(not(P), not(Q))));
+        (0, vitest_1.expect)(res.provable).toBe(true);
+        const tex = (0, sequent_g3_1.proofToLatex)(res.proof);
+        (0, vitest_1.expect)(tex.length).toBeGreaterThan(50);
+        (0, vitest_1.expect)(tex).toContain('\\vdash');
+    });
+    (0, vitest_1.it)('todas las reglas usadas aparecen como etiquetas en el LaTeX', () => {
+        const res = (0, sequent_g3_1.proveFormula)(imp(imp(imp(P, Q), P), P));
+        const usedRules = new Set(rules(res.proof));
+        const tex = (0, sequent_g3_1.proofToLatex)(res.proof);
+        // Cuenta de \RightLabel == cantidad de reglas no-axioma efectivamente
+        // emitidas en el arbol (axiom tambien emite RightLabel en bussproofs).
+        const labelCount = (tex.match(/\\RightLabel/g) ?? []).length;
+        (0, vitest_1.expect)(labelCount).toBeGreaterThanOrEqual(usedRules.size);
+        (0, vitest_1.expect)(tex).toContain('\\to_L');
+    });
+});
+(0, vitest_1.describe)('G3 — propiedad de invertibilidad (subgoals deterministas)', () => {
+    (0, vitest_1.it)('reglas invertibles: probar (A∧B)→C ↔ A→(B→C) en ambos sentidos', () => {
+        const A = atom('A'), B = atom('B'), C = atom('C');
+        const left = imp(and(A, B), C);
+        const right = imp(A, imp(B, C));
+        (0, vitest_1.expect)((0, sequent_g3_1.proveFormula)(imp(left, right)).provable).toBe(true);
+        (0, vitest_1.expect)((0, sequent_g3_1.proveFormula)(imp(right, left)).provable).toBe(true);
+    });
+});
+(0, vitest_1.describe)('G3 — multiset semantics (duplicados en izquierda/derecha)', () => {
+    (0, vitest_1.it)('dedup interno: P, P ⊢ P sigue siendo derivable', () => {
+        const res = (0, sequent_g3_1.proveSequent)({ left: [P, P], right: [P] });
+        (0, vitest_1.expect)(res.provable).toBe(true);
+    });
+    (0, vitest_1.it)('dedup interno: P ⊢ P, P sigue siendo derivable', () => {
+        const res = (0, sequent_g3_1.proveSequent)({ left: [P], right: [P, P] });
+        (0, vitest_1.expect)(res.provable).toBe(true);
+    });
+});
+//# sourceMappingURL=prover.test.js.map

package/dist/tests/sequent-g3/prover.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"prover.test.js","sourceRoot":"","sources":["../../../src/tests/sequent-g3/prover.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAE9C,0DAAgG;AAEhG,kCAAkC;AAElC,MAAM,IAAI,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AACjE,MAAM,GAAG,GAAG,CAAC,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAClE,MAAM,GAAG,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AACjF,MAAM,EAAE,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AAC/E,MAAM,GAAG,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AACrF,MAAM,GAAG,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AAC3F,MAAM,CAAC,GAAY,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;AACpC,MAAM,CAAC,GAAY,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAErC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;AACpB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;AACpB,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;AAEpB,SAAS,KAAK,CAAC,IAA2B;IACxC,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,CAAC;IACrB,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,IAAI,CAAC,IAAI;QAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,QAAQ;QAAE,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACzD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,IAAA,iBAAQ,EAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,IAAA,WAAE,EAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1E,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACvD,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,IAAI,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,aAAa,EAAE,GAAG,EAAE;QACrB,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gDAAgD,EAAE,GAAG,EAAE;IAC9D,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAChC,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,KAAM,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,kEAAkE;QAClE,oDAAoD;QACpD,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,KAAM,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,KAAM,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;QAC5C,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,GAAG,CAAC,KAAM,CAAC,CAAC;QACrC,sEAAsE;QACtE,uEAAuE;QACvE,MAAM,UAAU,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QAC7D,IAAA,eAAM,EAAC,UAAU,CAAC,CAAC,sBAAsB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2DAA2D,EAAE,GAAG,EAAE;IACzE,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EACjB,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EACb,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QAChB,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/B,MAAM,KAAK,GAAG,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,yBAAY,EAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,IAAA,yBAAY,EAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2DAA2D,EAAE,GAAG,EAAE;IACzE,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,GAAG,GAAG,IAAA,yBAAY,EAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/package.json

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