@stevenvo780/st-lang 4.3.0 → 4.5.0

package/dist/tests/csp/csp.test.js

@@ -0,0 +1,292 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const csp_1 = require("../../runtime/csp");
+(0, vitest_1.describe)('CSP — AC-3 arc consistency', () => {
+    (0, vitest_1.it)('AC-3 deja UNSAT el 3-coloreo de C3 con 2 colores (cualquier par adyacente bloquea)', () => {
+        // C3: triángulo. 2 colores ⇒ UNSAT (parity argument).
+        // 3-coloring de C3 con 3 colores tiene solución, no aplica acá.
+        const result = (0, csp_1.graphColoring)({
+            nodes: ['a', 'b', 'c'],
+            edges: [
+                ['a', 'b'],
+                ['b', 'c'],
+                ['a', 'c'],
+            ],
+        }, 2);
+        (0, vitest_1.expect)(result).toBeNull();
+    });
+    (0, vitest_1.it)('AC-3 reduce dominios: x < y con dominios {1,2,3} fuerza x ≠ 3, y ≠ 1', () => {
+        const csp = {
+            variables: ['x', 'y'],
+            domains: new Map([
+                ['x', [1, 2, 3]],
+                ['y', [1, 2, 3]],
+            ]),
+            constraints: [
+                {
+                    vars: ['x', 'y'],
+                    predicate: ([a, b]) => a < b,
+                },
+            ],
+        };
+        const { consistent, reducedDomains } = (0, csp_1.ac3)(csp);
+        (0, vitest_1.expect)(consistent).toBe(true);
+        (0, vitest_1.expect)(reducedDomains.get('x')).toEqual([1, 2]); // 3 no tiene soporte (3 < y, y∈{1,2,3} sin valor)
+        (0, vitest_1.expect)(reducedDomains.get('y')).toEqual([2, 3]); // 1 no tiene soporte (x < 1 imposible)
+    });
+    (0, vitest_1.it)('AC-3 detecta UNSAT cuando un dominio queda vacío', () => {
+        // x ∈ {1}, y ∈ {1}, x ≠ y ⇒ UNSAT.
+        const csp = {
+            variables: ['x', 'y'],
+            domains: new Map([
+                ['x', [1]],
+                ['y', [1]],
+            ]),
+            constraints: [
+                {
+                    vars: ['x', 'y'],
+                    predicate: ([a, b]) => a !== b,
+                },
+            ],
+        };
+        const { consistent } = (0, csp_1.ac3)(csp);
+        (0, vitest_1.expect)(consistent).toBe(false);
+    });
+    (0, vitest_1.it)('AC-3 no muta el CSP original (devuelve dominios reducidos en estructura nueva)', () => {
+        const csp = {
+            variables: ['x', 'y'],
+            domains: new Map([
+                ['x', [1, 2, 3]],
+                ['y', [1, 2, 3]],
+            ]),
+            constraints: [
+                {
+                    vars: ['x', 'y'],
+                    predicate: ([a, b]) => a < b,
+                },
+            ],
+        };
+        (0, csp_1.ac3)(csp);
+        (0, vitest_1.expect)(csp.domains.get('x')).toEqual([1, 2, 3]);
+        (0, vitest_1.expect)(csp.domains.get('y')).toEqual([1, 2, 3]);
+    });
+});
+(0, vitest_1.describe)('CSP — graph coloring', () => {
+    (0, vitest_1.it)('3-coloreo de C3 (triángulo) con 3 colores tiene solución y los 3 nodos usan colores distintos', () => {
+        const result = (0, csp_1.graphColoring)({
+            nodes: ['a', 'b', 'c'],
+            edges: [
+                ['a', 'b'],
+                ['b', 'c'],
+                ['a', 'c'],
+            ],
+        }, 3);
+        (0, vitest_1.expect)(result).not.toBeNull();
+        if (!result)
+            return;
+        const colors = new Set(result.values());
+        (0, vitest_1.expect)(colors.size).toBe(3);
+    });
+    (0, vitest_1.it)('3-coloreo de C4 (ciclo par) con 3 colores tiene solución usando ≤2 colores (es bipartito)', () => {
+        const result = (0, csp_1.graphColoring)({
+            nodes: ['a', 'b', 'c', 'd'],
+            edges: [
+                ['a', 'b'],
+                ['b', 'c'],
+                ['c', 'd'],
+                ['a', 'd'],
+            ],
+        }, 3);
+        (0, vitest_1.expect)(result).not.toBeNull();
+        if (!result)
+            return;
+        // Validar restricciones: aristas tienen colores distintos.
+        for (const [u, v] of [
+            ['a', 'b'],
+            ['b', 'c'],
+            ['c', 'd'],
+            ['a', 'd'],
+        ]) {
+            (0, vitest_1.expect)(result.get(u)).not.toBe(result.get(v));
+        }
+    });
+    (0, vitest_1.it)('grafo con self-loop es UNSAT inmediatamente', () => {
+        const result = (0, csp_1.graphColoring)({
+            nodes: ['a'],
+            edges: [['a', 'a']],
+        }, 5);
+        (0, vitest_1.expect)(result).toBeNull();
+    });
+    (0, vitest_1.it)('grafo K4 (clique de 4) no es 3-coloreable', () => {
+        const result = (0, csp_1.graphColoring)({
+            nodes: ['a', 'b', 'c', 'd'],
+            edges: [
+                ['a', 'b'],
+                ['a', 'c'],
+                ['a', 'd'],
+                ['b', 'c'],
+                ['b', 'd'],
+                ['c', 'd'],
+            ],
+        }, 3);
+        (0, vitest_1.expect)(result).toBeNull();
+    });
+    (0, vitest_1.it)('grafo K4 sí es 4-coloreable', () => {
+        const result = (0, csp_1.graphColoring)({
+            nodes: ['a', 'b', 'c', 'd'],
+            edges: [
+                ['a', 'b'],
+                ['a', 'c'],
+                ['a', 'd'],
+                ['b', 'c'],
+                ['b', 'd'],
+                ['c', 'd'],
+            ],
+        }, 4);
+        (0, vitest_1.expect)(result).not.toBeNull();
+        if (!result)
+            return;
+        (0, vitest_1.expect)(new Set(result.values()).size).toBe(4);
+    });
+});
+(0, vitest_1.describe)('CSP — N-queens', () => {
+    (0, vitest_1.it)('1-queens trivialmente coloca la reina en (0,0)', () => {
+        const sol = (0, csp_1.nQueens)(1);
+        (0, vitest_1.expect)(sol).toEqual([0]);
+    });
+    (0, vitest_1.it)('2-queens y 3-queens no tienen solución', () => {
+        (0, vitest_1.expect)((0, csp_1.nQueens)(2)).toBeNull();
+        (0, vitest_1.expect)((0, csp_1.nQueens)(3)).toBeNull();
+    });
+    (0, vitest_1.it)('4-queens devuelve una de las 2 soluciones válidas', () => {
+        const sol = (0, csp_1.nQueens)(4);
+        (0, vitest_1.expect)(sol).not.toBeNull();
+        if (!sol)
+            return;
+        (0, vitest_1.expect)(sol.length).toBe(4);
+        // Verificar: no misma columna ni diagonal.
+        for (let i = 0; i < sol.length; i++) {
+            for (let j = i + 1; j < sol.length; j++) {
+                const ci = sol[i];
+                const cj = sol[j];
+                (0, vitest_1.expect)(ci).not.toBe(cj);
+                (0, vitest_1.expect)(Math.abs(ci - cj)).not.toBe(j - i);
+            }
+        }
+    });
+    (0, vitest_1.it)('8-queens tiene solución y satisface todas las restricciones', () => {
+        const sol = (0, csp_1.nQueens)(8);
+        (0, vitest_1.expect)(sol).not.toBeNull();
+        if (!sol)
+            return;
+        (0, vitest_1.expect)(sol.length).toBe(8);
+        for (let i = 0; i < 8; i++) {
+            for (let j = i + 1; j < 8; j++) {
+                const ci = sol[i];
+                const cj = sol[j];
+                (0, vitest_1.expect)(ci).not.toBe(cj);
+                (0, vitest_1.expect)(Math.abs(ci - cj)).not.toBe(j - i);
+            }
+        }
+    });
+    (0, vitest_1.it)('allSolutions enumera las 2 soluciones de 4-queens', () => {
+        // Construir el CSP de 4-queens manualmente para usar allSolutions.
+        const n = 4;
+        const variables = [0, 1, 2, 3];
+        const domains = new Map();
+        for (let i = 0; i < n; i++)
+            domains.set(i, [0, 1, 2, 3]);
+        const constraints = [];
+        for (let i = 0; i < n; i++) {
+            for (let j = i + 1; j < n; j++) {
+                const rowDiff = j - i;
+                constraints.push({
+                    vars: [i, j],
+                    predicate: ([ci, cj]) => {
+                        if (ci === undefined || cj === undefined)
+                            return false;
+                        return ci !== cj && Math.abs(ci - cj) !== rowDiff;
+                    },
+                });
+            }
+        }
+        const csp = { variables, domains, constraints };
+        const sols = (0, csp_1.allSolutions)(csp);
+        (0, vitest_1.expect)(sols.length).toBe(2);
+        // Las dos soluciones canónicas: [1,3,0,2] y [2,0,3,1].
+        const asArrays = sols.map((m) => [m.get(0), m.get(1), m.get(2), m.get(3)]);
+        (0, vitest_1.expect)(asArrays).toEqual(vitest_1.expect.arrayContaining([
+            [1, 3, 0, 2],
+            [2, 0, 3, 1],
+        ]));
+    });
+});
+(0, vitest_1.describe)('CSP — backtracking y stats', () => {
+    (0, vitest_1.it)('backtrack devuelve null para CSP UNSAT y reporta iterations ≥ 0', () => {
+        const csp = {
+            variables: ['x'],
+            domains: new Map([['x', [1, 2]]]),
+            constraints: [
+                {
+                    vars: ['x'],
+                    predicate: ([v]) => v === 99,
+                },
+            ],
+        };
+        const r = (0, csp_1.backtrack)(csp);
+        (0, vitest_1.expect)(r.solution).toBeNull();
+        (0, vitest_1.expect)(r.iterations).toBeGreaterThanOrEqual(0);
+    });
+    (0, vitest_1.it)('backtrack respeta restricción n-aria (no binaria, no participa en AC-3)', () => {
+        // x + y + z = 6 con dominios {1,2,3}; única solución: (1,2,3) y permutaciones.
+        const csp = {
+            variables: ['x', 'y', 'z'],
+            domains: new Map([
+                ['x', [1, 2, 3]],
+                ['y', [1, 2, 3]],
+                ['z', [1, 2, 3]],
+            ]),
+            constraints: [
+                {
+                    vars: ['x', 'y', 'z'],
+                    predicate: ([a, b, c]) => {
+                        if (a === undefined || b === undefined || c === undefined)
+                            return false;
+                        return a + b + c === 6;
+                    },
+                },
+            ],
+        };
+        const r = (0, csp_1.backtrack)(csp);
+        (0, vitest_1.expect)(r.solution).not.toBeNull();
+        if (!r.solution)
+            return;
+        const sum = (r.solution.get('x') ?? 0) + (r.solution.get('y') ?? 0) + (r.solution.get('z') ?? 0);
+        (0, vitest_1.expect)(sum).toBe(6);
+    });
+    (0, vitest_1.it)('backtrack con AC-3 desactivado todavía resuelve graph coloring de C4 con 2 colores', () => {
+        // C4 es bipartito ⇒ 2-coloreable.
+        const csp = {
+            variables: ['a', 'b', 'c', 'd'],
+            domains: new Map([
+                ['a', [0, 1]],
+                ['b', [0, 1]],
+                ['c', [0, 1]],
+                ['d', [0, 1]],
+            ]),
+            constraints: [
+                ['a', 'b'],
+                ['b', 'c'],
+                ['c', 'd'],
+                ['a', 'd'],
+            ].map((edge) => ({
+                vars: edge,
+                predicate: ([x, y]) => x !== y,
+            })),
+        };
+        const r = (0, csp_1.backtrack)(csp, { useAC3: false, mrv: false, lcv: false });
+        (0, vitest_1.expect)(r.solution).not.toBeNull();
+    });
+});
+//# sourceMappingURL=csp.test.js.map

package/dist/tests/csp/csp.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"csp.test.js","sourceRoot":"","sources":["../../../src/tests/csp/csp.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,2CAAyF;AAGzF,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,oFAAoF,EAAE,GAAG,EAAE;QAC5F,sDAAsD;QACtD,gEAAgE;QAChE,MAAM,MAAM,GAAG,IAAA,mBAAa,EAC1B;YACE,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;YACtB,KAAK,EAAE;gBACL,CAAC,GAAG,EAAE,GAAG,CAAC;gBACV,CAAC,GAAG,EAAE,GAAG,CAAC;gBACV,CAAC,GAAG,EAAE,GAAG,CAAC;aACX;SACF,EACD,CAAC,CACF,CAAC;QACF,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,GAAG,GAAwB;YAC/B,SAAS,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;YACrB,OAAO,EAAE,IAAI,GAAG,CAAC;gBACf,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;gBAChB,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;aACjB,CAAC;YACF,WAAW,EAAE;gBACX;oBACE,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;oBAChB,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC;iBAC7B;aACF;SACF,CAAC;QACF,MAAM,EAAE,UAAU,EAAE,cAAc,EAAE,GAAG,IAAA,SAAG,EAAC,GAAG,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,kDAAkD;QACnG,IAAA,eAAM,EAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,uCAAuC;IAC1F,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,mCAAmC;QACnC,MAAM,GAAG,GAAwB;YAC/B,SAAS,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;YACrB,OAAO,EAAE,IAAI,GAAG,CAAC;gBACf,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;gBACV,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;aACX,CAAC;YACF,WAAW,EAAE;gBACX;oBACE,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;oBAChB,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC;iBAC/B;aACF;SACF,CAAC;QACF,MAAM,EAAE,UAAU,EAAE,GAAG,IAAA,SAAG,EAAC,GAAG,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,UAAU,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gFAAgF,EAAE,GAAG,EAAE;QACxF,MAAM,GAAG,GAAwB;YAC/B,SAAS,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;YACrB,OAAO,EAAE,IAAI,GAAG,CAAC;gBACf,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;gBAChB,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;aACjB,CAAC;YACF,WAAW,EAAE;gBACX;oBACE,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;oBAChB,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC;iBAC7B;aACF;SACF,CAAC;QACF,IAAA,SAAG,EAAC,GAAG,CAAC,CAAC;QACT,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,IAAA,WAAE,EAAC,+FAA+F,EAAE,GAAG,EAAE;QACvG,MAAM,MAAM,GAAG,IAAA,mBAAa,EAC1B;YACE,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;YACtB,KAAK,EAAE;gBACL,CAAC,GAAG,EAAE,GAAG,CAAC;gBACV,CAAC,GAAG,EAAE,GAAG,CAAC;gBACV,CAAC,GAAG,EAAE,GAAG,CAAC;aACX;SACF,EACD,CAAC,CACF,CAAC;QACF,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM;YAAE,OAAO;QACpB,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2FAA2F,EAAE,GAAG,EAAE;QACnG,MAAM,MAAM,GAAG,IAAA,mBAAa,EAC1B;YACE,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;YAC3B,KAAK,EAAE;gBACL,CAAC,GAAG,EAAE,GAAG,CAAC;gBACV,CAAC,GAAG,EAAE,GAAG,CAAC;gBACV,CAAC,GAAG,EAAE,GAAG,CAAC;gBACV,CAAC,GAAG,EAAE,GAAG,CAAC;aACX;SACF,EACD,CAAC,CACF,CAAC;QACF,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM;YAAE,OAAO;QACpB,2DAA2D;QAC3D,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI;YACnB,CAAC,GAAG,EAAE,GAAG,CAAC;YACV,CAAC,GAAG,EAAE,GAAG,CAAC;YACV,CAAC,GAAG,EAAE,GAAG,CAAC;YACV,CAAC,GAAG,EAAE,GAAG,CAAC;SACgB,EAAE,CAAC;YAC7B,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAChD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,MAAM,GAAG,IAAA,mBAAa,EAC1B;YACE,KAAK,EAAE,CAAC,GAAG,CAAC;YACZ,KAAK,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;SACpB,EACD,CAAC,CACF,CAAC;QACF,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,MAAM,GAAG,IAAA,mBAAa,EAC1B;YACE,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;YAC3B,KAAK,EAAE;gBACL,CAAC,GAAG,EAAE,GAAG,CAAC;gBACV,CAAC,GAAG,EAAE,GAAG,CAAC;gBACV,CAAC,GAAG,EAAE,GAAG,CAAC;gBACV,CAAC,GAAG,EAAE,GAAG,CAAC;gBACV,CAAC,GAAG,EAAE,GAAG,CAAC;gBACV,CAAC,GAAG,EAAE,GAAG,CAAC;aACX;SACF,EACD,CAAC,CACF,CAAC;QACF,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,MAAM,GAAG,IAAA,mBAAa,EAC1B;YACE,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;YAC3B,KAAK,EAAE;gBACL,CAAC,GAAG,EAAE,GAAG,CAAC;gBACV,CAAC,GAAG,EAAE,GAAG,CAAC;gBACV,CAAC,GAAG,EAAE,GAAG,CAAC;gBACV,CAAC,GAAG,EAAE,GAAG,CAAC;gBACV,CAAC,GAAG,EAAE,GAAG,CAAC;gBACV,CAAC,GAAG,EAAE,GAAG,CAAC;aACX;SACF,EACD,CAAC,CACF,CAAC;QACF,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM;YAAE,OAAO;QACpB,IAAA,eAAM,EAAC,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,GAAG,GAAG,IAAA,aAAO,EAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,aAAO,EAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,GAAG,GAAG,IAAA,aAAO,EAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC3B,IAAI,CAAC,GAAG;YAAE,OAAO;QACjB,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3B,2CAA2C;QAC3C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACpC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACxC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;gBAClB,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;gBAClB,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACxB,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,GAAG,GAAG,IAAA,aAAO,EAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAC3B,IAAI,CAAC,GAAG;YAAE,OAAO;QACjB,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC/B,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;gBAClB,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;gBAClB,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACxB,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,mEAAmE;QACnE,MAAM,CAAC,GAAG,CAAC,CAAC;QACZ,MAAM,SAAS,GAAa,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACzC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAoB,CAAC;QAC5C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE;YAAE,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzD,MAAM,WAAW,GAAG,EAAE,CAAC;QACvB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC/B,MAAM,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC;gBACtB,WAAW,CAAC,IAAI,CAAC;oBACf,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;oBACZ,SAAS,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAW,EAAE,EAAE;wBAChC,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS;4BAAE,OAAO,KAAK,CAAC;wBACvD,OAAO,EAAE,KAAK,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,CAAC,KAAK,OAAO,CAAC;oBACpD,CAAC;iBACF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,MAAM,GAAG,GAAwB,EAAE,SAAS,EAAE,OAAO,EAAE,WAAW,EAAE,CAAC;QACrE,MAAM,IAAI,GAAG,IAAA,kBAAY,EAAC,GAAG,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5B,uDAAuD;QACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3E,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,OAAO,CACtB,eAAM,CAAC,eAAe,CAAC;YACrB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACZ,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;SACb,CAAC,CACH,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,GAAG,GAAwB;YAC/B,SAAS,EAAE,CAAC,GAAG,CAAC;YAChB,OAAO,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;YACjC,WAAW,EAAE;gBACX;oBACE,IAAI,EAAE,CAAC,GAAG,CAAC;oBACX,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE;iBAC7B;aACF;SACF,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,eAAS,EAAC,GAAG,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,+EAA+E;QAC/E,MAAM,GAAG,GAAwB;YAC/B,SAAS,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;YAC1B,OAAO,EAAE,IAAI,GAAG,CAAC;gBACf,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;gBAChB,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;gBAChB,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;aACjB,CAAC;YACF,WAAW,EAAE;gBACX;oBACE,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;oBACrB,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE;wBACvB,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS;4BAAE,OAAO,KAAK,CAAC;wBACxE,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;oBACzB,CAAC;iBACF;aACF;SACF,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,eAAS,EAAC,GAAG,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QAClC,IAAI,CAAC,CAAC,CAAC,QAAQ;YAAE,OAAO;QACxB,MAAM,GAAG,GACP,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QACvF,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oFAAoF,EAAE,GAAG,EAAE;QAC5F,kCAAkC;QAClC,MAAM,GAAG,GAAwB;YAC/B,SAAS,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC;YAC/B,OAAO,EAAE,IAAI,GAAG,CAAC;gBACf,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACb,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACb,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACb,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;aACd,CAAC;YACF,WAAW,EAAE;gBACX,CAAC,GAAG,EAAE,GAAG,CAAC;gBACV,CAAC,GAAG,EAAE,GAAG,CAAC;gBACV,CAAC,GAAG,EAAE,GAAG,CAAC;gBACV,CAAC,GAAG,EAAE,GAAG,CAAC;aACX,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBACf,IAAI,EAAE,IAAI;gBACV,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAW,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC;aACzC,CAAC,CAAC;SACJ,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,eAAS,EAAC,GAAG,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/game-semantics/game-semantics.test.d.ts

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

package/dist/tests/game-semantics/game-semantics.test.d.ts.map

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

package/dist/tests/game-semantics/game-semantics.test.js

@@ -0,0 +1,143 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const game_semantics_1 = require("../../game-semantics");
+const P = (0, game_semantics_1.ipcAtom)('P');
+const Q = (0, game_semantics_1.ipcAtom)('Q');
+const R = (0, game_semantics_1.ipcAtom)('R');
+(0, vitest_1.describe)('Game semantics IPC — winningStrategy', () => {
+    (0, vitest_1.it)('P → P: proponente tiene estrategia ganadora', () => {
+        const result = (0, game_semantics_1.winningStrategy)((0, game_semantics_1.ipcImplies)(P, P));
+        (0, vitest_1.expect)(result.exists).toBe(true);
+        (0, vitest_1.expect)(typeof result.strategy).toBe('function');
+    });
+    (0, vitest_1.it)('P ∨ ¬P: proponente NO tiene estrategia (no es válida en IPC)', () => {
+        const result = (0, game_semantics_1.winningStrategy)((0, game_semantics_1.ipcOr)(P, (0, game_semantics_1.ipcNot)(P)));
+        (0, vitest_1.expect)(result.exists).toBe(false);
+        (0, vitest_1.expect)(result.strategy).toBeUndefined();
+    });
+    (0, vitest_1.it)('(P ∧ Q) → P: proponente gana (proyección)', () => {
+        const result = (0, game_semantics_1.winningStrategy)((0, game_semantics_1.ipcImplies)((0, game_semantics_1.ipcAnd)(P, Q), P));
+        (0, vitest_1.expect)(result.exists).toBe(true);
+    });
+    (0, vitest_1.it)('(P ∧ Q) → Q: proponente gana (proyección derecha)', () => {
+        const result = (0, game_semantics_1.winningStrategy)((0, game_semantics_1.ipcImplies)((0, game_semantics_1.ipcAnd)(P, Q), Q));
+        (0, vitest_1.expect)(result.exists).toBe(true);
+    });
+    (0, vitest_1.it)('P → (Q → P): proponente gana (axioma K débil)', () => {
+        const result = (0, game_semantics_1.winningStrategy)((0, game_semantics_1.ipcImplies)(P, (0, game_semantics_1.ipcImplies)(Q, P)));
+        (0, vitest_1.expect)(result.exists).toBe(true);
+    });
+    (0, vitest_1.it)('(P → Q) → ((Q → R) → (P → R)): transitividad de →', () => {
+        const phi = (0, game_semantics_1.ipcImplies)((0, game_semantics_1.ipcImplies)(P, Q), (0, game_semantics_1.ipcImplies)((0, game_semantics_1.ipcImplies)(Q, R), (0, game_semantics_1.ipcImplies)(P, R)));
+        const result = (0, game_semantics_1.winningStrategy)(phi);
+        (0, vitest_1.expect)(result.exists).toBe(true);
+    });
+    (0, vitest_1.it)('¬¬(P ∨ ¬P): proponente gana (estable en IPC aunque P∨¬P no)', () => {
+        const phi = (0, game_semantics_1.ipcNot)((0, game_semantics_1.ipcNot)((0, game_semantics_1.ipcOr)(P, (0, game_semantics_1.ipcNot)(P))));
+        const result = (0, game_semantics_1.winningStrategy)(phi);
+        (0, vitest_1.expect)(result.exists).toBe(true);
+    });
+    (0, vitest_1.it)('¬¬P → P (DNE): proponente NO tiene estrategia (clásica pero no intuicionista)', () => {
+        const phi = (0, game_semantics_1.ipcImplies)((0, game_semantics_1.ipcNot)((0, game_semantics_1.ipcNot)(P)), P);
+        const result = (0, game_semantics_1.winningStrategy)(phi);
+        (0, vitest_1.expect)(result.exists).toBe(false);
+    });
+    (0, vitest_1.it)('((P → Q) → P) → P (Peirce): proponente NO tiene estrategia', () => {
+        const phi = (0, game_semantics_1.ipcImplies)((0, game_semantics_1.ipcImplies)((0, game_semantics_1.ipcImplies)(P, Q), P), P);
+        const result = (0, game_semantics_1.winningStrategy)(phi);
+        (0, vitest_1.expect)(result.exists).toBe(false);
+    });
+    (0, vitest_1.it)('⊥ → P (ex falso): proponente gana', () => {
+        const phi = (0, game_semantics_1.ipcImplies)((0, game_semantics_1.ipcBottom)(), P);
+        const result = (0, game_semantics_1.winningStrategy)(phi);
+        (0, vitest_1.expect)(result.exists).toBe(true);
+    });
+    (0, vitest_1.it)('P: átomo aislado NO es válido (proponente pierde)', () => {
+        const result = (0, game_semantics_1.winningStrategy)(P);
+        (0, vitest_1.expect)(result.exists).toBe(false);
+    });
+});
+(0, vitest_1.describe)('Game semantics IPC — play (simulación de partida)', () => {
+    (0, vitest_1.it)('P → P contra ataque-implica: P gana', () => {
+        const phi = (0, game_semantics_1.ipcImplies)(P, P);
+        const opp = [{ kind: 'attack-implies' }];
+        const { winner, trace } = (0, game_semantics_1.play)(phi, opp);
+        (0, vitest_1.expect)(winner).toBe('proponent');
+        (0, vitest_1.expect)(trace.length).toBeGreaterThan(1);
+        // El primer estado refleja la tesis original.
+        (0, vitest_1.expect)((0, game_semantics_1.ipcEquals)(trace[0].current, phi)).toBe(true);
+    });
+    (0, vitest_1.it)('(P ∧ Q) → P: O ataca →, luego pide ∧-left, P concluye P', () => {
+        const phi = (0, game_semantics_1.ipcImplies)((0, game_semantics_1.ipcAnd)(P, Q), P);
+        const opp = [{ kind: 'attack-implies' }];
+        const { winner, trace } = (0, game_semantics_1.play)(phi, opp);
+        (0, vitest_1.expect)(winner).toBe('proponent');
+        // El contexto en algún momento contiene P∧Q (concedido por O).
+        const sawConjunction = trace.some((s) => s.context.some((c) => (0, game_semantics_1.ipcEquals)(c, (0, game_semantics_1.ipcAnd)(P, Q))));
+        (0, vitest_1.expect)(sawConjunction).toBe(true);
+    });
+    (0, vitest_1.it)('P (átomo aislado): O no necesita atacar, P pierde inmediatamente', () => {
+        const { winner } = (0, game_semantics_1.play)(P, []);
+        (0, vitest_1.expect)(winner).toBe('opponent');
+    });
+    (0, vitest_1.it)('P ∨ ¬P: P no tiene estrategia → O gana', () => {
+        const phi = (0, game_semantics_1.ipcOr)(P, (0, game_semantics_1.ipcNot)(P));
+        const { winner } = (0, game_semantics_1.play)(phi, []);
+        (0, vitest_1.expect)(winner).toBe('opponent');
+    });
+    (0, vitest_1.it)('history acumula movidas con etiquetas legibles', () => {
+        const phi = (0, game_semantics_1.ipcImplies)(P, P);
+        const opp = [{ kind: 'attack-implies' }];
+        const { trace } = (0, game_semantics_1.play)(phi, opp);
+        const last = trace[trace.length - 1];
+        (0, vitest_1.expect)(last.history.length).toBeGreaterThanOrEqual(2);
+        // Hay al menos una movida del oponente y otra del proponente.
+        const players = new Set(last.history.map((h) => h.player));
+        (0, vitest_1.expect)(players.has('proponent')).toBe(true);
+        (0, vitest_1.expect)(players.has('opponent')).toBe(true);
+    });
+});
+(0, vitest_1.describe)('Game semantics IPC — invariantes y serialización', () => {
+    (0, vitest_1.it)('ipcToString es estable y legible', () => {
+        (0, vitest_1.expect)((0, game_semantics_1.ipcToString)(P)).toBe('P');
+        (0, vitest_1.expect)((0, game_semantics_1.ipcToString)((0, game_semantics_1.ipcBottom)())).toBe('⊥');
+        (0, vitest_1.expect)((0, game_semantics_1.ipcToString)((0, game_semantics_1.ipcImplies)(P, Q))).toBe('(P → Q)');
+        (0, vitest_1.expect)((0, game_semantics_1.ipcToString)((0, game_semantics_1.ipcAnd)(P, Q))).toBe('(P ∧ Q)');
+        (0, vitest_1.expect)((0, game_semantics_1.ipcToString)((0, game_semantics_1.ipcOr)(P, Q))).toBe('(P ∨ Q)');
+        (0, vitest_1.expect)((0, game_semantics_1.ipcToString)((0, game_semantics_1.ipcNot)(P))).toBe('(P → ⊥)');
+    });
+    (0, vitest_1.it)('toIntuit preserva la estructura sintáctica', () => {
+        const phi = (0, game_semantics_1.ipcImplies)((0, game_semantics_1.ipcAnd)(P, Q), (0, game_semantics_1.ipcOr)(P, (0, game_semantics_1.ipcBottom)()));
+        const t = (0, game_semantics_1.toIntuit)(phi);
+        (0, vitest_1.expect)(t.kind).toBe('implies');
+        if (t.kind === 'implies') {
+            (0, vitest_1.expect)(t.left.kind).toBe('and');
+            (0, vitest_1.expect)(t.right.kind).toBe('or');
+        }
+    });
+    (0, vitest_1.it)('winningStrategy es determinista para la misma fórmula', () => {
+        const phi = (0, game_semantics_1.ipcImplies)(P, P);
+        const r1 = (0, game_semantics_1.winningStrategy)(phi);
+        const r2 = (0, game_semantics_1.winningStrategy)(phi);
+        (0, vitest_1.expect)(r1.exists).toBe(r2.exists);
+    });
+    (0, vitest_1.it)('estrategia de P → P produce una movida válida desde el estado inicial', () => {
+        const phi = (0, game_semantics_1.ipcImplies)(P, P);
+        const r = (0, game_semantics_1.winningStrategy)(phi);
+        (0, vitest_1.expect)(r.exists).toBe(true);
+        const move = r.strategy({
+            current: phi,
+            context: [],
+            history: [],
+        });
+        // La movida es alguna de las del ADT (no es null/undefined).
+        (0, vitest_1.expect)(['choose-and', 'choose-or', 'attack-implies', 'defend-bottom']).toContain(move.kind);
+    });
+    (0, vitest_1.it)('play preserva la fórmula original en trace[0].current', () => {
+        const phi = (0, game_semantics_1.ipcImplies)((0, game_semantics_1.ipcAnd)(P, Q), Q);
+        const { trace } = (0, game_semantics_1.play)(phi, [{ kind: 'attack-implies' }]);
+        (0, vitest_1.expect)((0, game_semantics_1.ipcEquals)(trace[0].current, phi)).toBe(true);
+    });
+});
+//# sourceMappingURL=game-semantics.test.js.map

package/dist/tests/game-semantics/game-semantics.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"game-semantics.test.js","sourceRoot":"","sources":["../../../src/tests/game-semantics/game-semantics.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,yDAa8B;AAE9B,MAAM,CAAC,GAAG,IAAA,wBAAO,EAAC,GAAG,CAAC,CAAC;AACvB,MAAM,CAAC,GAAG,IAAA,wBAAO,EAAC,GAAG,CAAC,CAAC;AACvB,MAAM,CAAC,GAAG,IAAA,wBAAO,EAAC,GAAG,CAAC,CAAC;AAEvB,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,MAAM,GAAG,IAAA,gCAAe,EAAC,IAAA,2BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,MAAM,GAAG,IAAA,gCAAe,EAAC,IAAA,sBAAK,EAAC,CAAC,EAAE,IAAA,uBAAM,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,aAAa,EAAE,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,MAAM,GAAG,IAAA,gCAAe,EAAC,IAAA,2BAAU,EAAC,IAAA,uBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,MAAM,GAAG,IAAA,gCAAe,EAAC,IAAA,2BAAU,EAAC,IAAA,uBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,MAAM,GAAG,IAAA,gCAAe,EAAC,IAAA,2BAAU,EAAC,CAAC,EAAE,IAAA,2BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,GAAG,GAAG,IAAA,2BAAU,EAAC,IAAA,2BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,2BAAU,EAAC,IAAA,2BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,2BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACzF,MAAM,MAAM,GAAG,IAAA,gCAAe,EAAC,GAAG,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,GAAG,GAAG,IAAA,uBAAM,EAAC,IAAA,uBAAM,EAAC,IAAA,sBAAK,EAAC,CAAC,EAAE,IAAA,uBAAM,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChD,MAAM,MAAM,GAAG,IAAA,gCAAe,EAAC,GAAG,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,MAAM,GAAG,GAAG,IAAA,2BAAU,EAAC,IAAA,uBAAM,EAAC,IAAA,uBAAM,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7C,MAAM,MAAM,GAAG,IAAA,gCAAe,EAAC,GAAG,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,GAAG,GAAG,IAAA,2BAAU,EAAC,IAAA,2BAAU,EAAC,IAAA,2BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3D,MAAM,MAAM,GAAG,IAAA,gCAAe,EAAC,GAAG,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,GAAG,GAAG,IAAA,2BAAU,EAAC,IAAA,0BAAS,GAAE,EAAE,CAAC,CAAC,CAAC;QACvC,MAAM,MAAM,GAAG,IAAA,gCAAe,EAAC,GAAG,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,MAAM,GAAG,IAAA,gCAAe,EAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mDAAmD,EAAE,GAAG,EAAE;IACjE,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,GAAG,GAAG,IAAA,2BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,GAAG,GAAW,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC;QACjD,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,qBAAI,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACxC,8CAA8C;QAC9C,IAAA,eAAM,EAAC,IAAA,0BAAS,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,GAAG,GAAG,IAAA,2BAAU,EAAC,IAAA,uBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACxC,MAAM,GAAG,GAAW,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC;QACjD,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,qBAAI,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACjC,+DAA+D;QAC/D,MAAM,cAAc,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAA,0BAAS,EAAC,CAAC,EAAE,IAAA,uBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5F,IAAA,eAAM,EAAC,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,EAAE,MAAM,EAAE,GAAG,IAAA,qBAAI,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,GAAG,GAAG,IAAA,sBAAK,EAAC,CAAC,EAAE,IAAA,uBAAM,EAAC,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,EAAE,MAAM,EAAE,GAAG,IAAA,qBAAI,EAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,GAAG,GAAG,IAAA,2BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,GAAG,GAAW,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC;QACjD,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,qBAAI,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACjC,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACtD,8DAA8D;QAC9D,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kDAAkD,EAAE,GAAG,EAAE;IAChE,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,IAAA,4BAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,4BAAW,EAAC,IAAA,0BAAS,GAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAA,4BAAW,EAAC,IAAA,2BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,IAAA,4BAAW,EAAC,IAAA,uBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,IAAA,4BAAW,EAAC,IAAA,sBAAK,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,IAAA,4BAAW,EAAC,IAAA,uBAAM,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,GAAG,GAAG,IAAA,2BAAU,EAAC,IAAA,uBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,sBAAK,EAAC,CAAC,EAAE,IAAA,0BAAS,GAAE,CAAC,CAAC,CAAC;QAC5D,MAAM,CAAC,GAAG,IAAA,yBAAQ,EAAC,GAAG,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC/B,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACzB,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAChC,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,GAAG,GAAG,IAAA,2BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,EAAE,GAAG,IAAA,gCAAe,EAAC,GAAG,CAAC,CAAC;QAChC,MAAM,EAAE,GAAG,IAAA,gCAAe,EAAC,GAAG,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,GAAG,GAAG,IAAA,2BAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,CAAC,GAAG,IAAA,gCAAe,EAAC,GAAG,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,MAAM,IAAI,GAAG,CAAC,CAAC,QAAS,CAAC;YACvB,OAAO,EAAE,GAAG;YACZ,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE;SACZ,CAAC,CAAC;QACH,6DAA6D;QAC7D,IAAA,eAAM,EAAC,CAAC,YAAY,EAAE,WAAW,EAAE,gBAAgB,EAAE,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9F,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,GAAG,GAAG,IAAA,2BAAU,EAAC,IAAA,uBAAM,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACxC,MAAM,EAAE,KAAK,EAAE,GAAG,IAAA,qBAAI,EAAC,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,IAAA,0BAAS,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/higher-order-unify/ho-unify.test.d.ts

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

package/dist/tests/higher-order-unify/ho-unify.test.d.ts.map

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