@stevenvo780/st-lang 4.6.0 → 4.8.0

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

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

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

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

package/dist/tests/reasoning/combinatorial-games/combinatorial-games.test.d.ts

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

package/dist/tests/reasoning/combinatorial-games/combinatorial-games.test.d.ts.map

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

package/dist/tests/reasoning/combinatorial-games/combinatorial-games.test.js

@@ -0,0 +1,203 @@
+"use strict";
+// ============================================================
+// ST Combinatorial Games — Tests
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const combinatorial_games_1 = require("../../../reasoning/combinatorial-games");
+(0, vitest_1.describe)('combinatorial-games — mex', () => {
+    (0, vitest_1.it)('mex(∅) = 0', () => {
+        (0, vitest_1.expect)((0, combinatorial_games_1.mex)(new Set())).toBe(0);
+    });
+    (0, vitest_1.it)('mex({0,1,3}) = 2', () => {
+        (0, vitest_1.expect)((0, combinatorial_games_1.mex)(new Set([0, 1, 3]))).toBe(2);
+    });
+    (0, vitest_1.it)('mex({1,2}) = 0', () => {
+        (0, vitest_1.expect)((0, combinatorial_games_1.mex)(new Set([1, 2]))).toBe(0);
+    });
+    (0, vitest_1.it)('mex({0,1,2,3,4}) = 5', () => {
+        (0, vitest_1.expect)((0, combinatorial_games_1.mex)(new Set([0, 1, 2, 3, 4]))).toBe(5);
+    });
+});
+(0, vitest_1.describe)('combinatorial-games — nimSum', () => {
+    (0, vitest_1.it)('nimSum([]) = 0', () => {
+        (0, vitest_1.expect)((0, combinatorial_games_1.nimSum)([])).toBe(0);
+    });
+    (0, vitest_1.it)('XOR de Nim(3,4,5) = 2', () => {
+        (0, vitest_1.expect)((0, combinatorial_games_1.nimSum)([3, 4, 5])).toBe(2);
+    });
+    (0, vitest_1.it)('XOR de a,a = 0 (autoinverso)', () => {
+        (0, vitest_1.expect)((0, combinatorial_games_1.nimSum)([7, 7])).toBe(0);
+    });
+});
+(0, vitest_1.describe)('combinatorial-games — Nim 1D (un solo montón)', () => {
+    (0, vitest_1.it)('grundy(0) = 0 (terminal)', () => {
+        (0, vitest_1.expect)((0, combinatorial_games_1.grundyValue)((0, combinatorial_games_1.nim1d)(0), 0)).toBe(0);
+    });
+    (0, vitest_1.it)('grundy(n) = n para n ∈ [0..7]', () => {
+        for (let n = 0; n <= 7; n += 1) {
+            (0, vitest_1.expect)((0, combinatorial_games_1.grundyValue)((0, combinatorial_games_1.nim1d)(n), n)).toBe(n);
+        }
+    });
+    (0, vitest_1.it)('isWinning para n>0', () => {
+        (0, vitest_1.expect)((0, combinatorial_games_1.isWinning)((0, combinatorial_games_1.nim1d)(5), 5)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('combinatorial-games — Nim multi-pila', () => {
+    (0, vitest_1.it)('Nim(3,4,5) grundy = 2 (winning position)', () => {
+        const g = (0, combinatorial_games_1.nim)([3, 4, 5]);
+        (0, vitest_1.expect)((0, combinatorial_games_1.grundyValue)(g, g.initial)).toBe(2);
+        (0, vitest_1.expect)((0, combinatorial_games_1.isWinning)(g, g.initial)).toBe(true);
+    });
+    (0, vitest_1.it)('Nim(3,3) grundy = 0 (losing for player to move)', () => {
+        const g = (0, combinatorial_games_1.nim)([3, 3]);
+        (0, vitest_1.expect)((0, combinatorial_games_1.grundyValue)(g, g.initial)).toBe(0);
+        (0, vitest_1.expect)((0, combinatorial_games_1.isWinning)(g, g.initial)).toBe(false);
+    });
+    (0, vitest_1.it)('Nim(1,2,3) grundy = 0', () => {
+        const g = (0, combinatorial_games_1.nim)([1, 2, 3]);
+        (0, vitest_1.expect)((0, combinatorial_games_1.grundyValue)(g, g.initial)).toBe(0);
+    });
+    (0, vitest_1.it)('Nim() vacío es terminal (grundy 0)', () => {
+        const g = (0, combinatorial_games_1.nim)([]);
+        (0, vitest_1.expect)((0, combinatorial_games_1.grundyValue)(g, g.initial)).toBe(0);
+        (0, vitest_1.expect)((0, combinatorial_games_1.isWinning)(g, g.initial)).toBe(false);
+    });
+});
+(0, vitest_1.describe)('combinatorial-games — Chomp', () => {
+    (0, vitest_1.it)('Chomp 1x1 grundy = 0 (poison cell, losing)', () => {
+        const g = (0, combinatorial_games_1.chompGame)(1, 1);
+        (0, vitest_1.expect)((0, combinatorial_games_1.grundyValue)(g, g.initial)).toBe(0);
+        (0, vitest_1.expect)((0, combinatorial_games_1.isWinning)(g, g.initial)).toBe(false);
+    });
+    (0, vitest_1.it)('Chomp 2x2 es ganador para el primer jugador (grundy ≠ 0)', () => {
+        const g = (0, combinatorial_games_1.chompGame)(2, 2);
+        (0, vitest_1.expect)((0, combinatorial_games_1.isWinning)(g, g.initial)).toBe(true);
+    });
+    (0, vitest_1.it)('Chomp 3x2 es ganador para el primer jugador', () => {
+        const g = (0, combinatorial_games_1.chompGame)(3, 2);
+        (0, vitest_1.expect)((0, combinatorial_games_1.isWinning)(g, g.initial)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('combinatorial-games — multiGameGrundy (suma disjunta)', () => {
+    (0, vitest_1.it)('XOR de Grundys = grundy del compuesto', () => {
+        const g1 = (0, combinatorial_games_1.nim1d)(3);
+        const g2 = (0, combinatorial_games_1.nim1d)(4);
+        const g3 = (0, combinatorial_games_1.nim1d)(5);
+        // Cada uno tiene grundy igual a su valor → XOR = 3⊕4⊕5 = 2.
+        (0, vitest_1.expect)((0, combinatorial_games_1.multiGameGrundy)([g1, g2, g3], [3, 4, 5])).toBe(2);
+    });
+    (0, vitest_1.it)('Suma de dos Nim(2) iguales = 0', () => {
+        const g = (0, combinatorial_games_1.nim1d)(2);
+        (0, vitest_1.expect)((0, combinatorial_games_1.multiGameGrundy)([g, g], [2, 2])).toBe(0);
+    });
+    (0, vitest_1.it)('multiGameGrundy con longitudes desiguales lanza', () => {
+        (0, vitest_1.expect)(() => (0, combinatorial_games_1.multiGameGrundy)([(0, combinatorial_games_1.nim1d)(1)], [1, 2])).toThrow();
+    });
+});
+(0, vitest_1.describe)('combinatorial-games — Surreal numbers básicos', () => {
+    (0, vitest_1.it)('ZERO es { | }', () => {
+        (0, vitest_1.expect)(combinatorial_games_1.ZERO.left).toEqual([]);
+        (0, vitest_1.expect)(combinatorial_games_1.ZERO.right).toEqual([]);
+    });
+    (0, vitest_1.it)('ONE es { 0 | } y compara igual a fromInt(1)', () => {
+        (0, vitest_1.expect)(combinatorial_games_1.ONE.left).toHaveLength(1);
+        (0, vitest_1.expect)(combinatorial_games_1.ONE.right).toHaveLength(0);
+        (0, vitest_1.expect)((0, combinatorial_games_1.compare)(combinatorial_games_1.ONE, (0, combinatorial_games_1.fromInt)(1))).toBe(0);
+    });
+    (0, vitest_1.it)('fromInt(0) = ZERO', () => {
+        (0, vitest_1.expect)((0, combinatorial_games_1.compare)((0, combinatorial_games_1.fromInt)(0), combinatorial_games_1.ZERO)).toBe(0);
+    });
+    (0, vitest_1.it)('fromInt(3) > fromInt(2) > fromInt(1) > 0', () => {
+        (0, vitest_1.expect)((0, combinatorial_games_1.compare)((0, combinatorial_games_1.fromInt)(3), (0, combinatorial_games_1.fromInt)(2))).toBe(1);
+        (0, vitest_1.expect)((0, combinatorial_games_1.compare)((0, combinatorial_games_1.fromInt)(2), (0, combinatorial_games_1.fromInt)(1))).toBe(1);
+        (0, vitest_1.expect)((0, combinatorial_games_1.compare)((0, combinatorial_games_1.fromInt)(1), combinatorial_games_1.ZERO)).toBe(1);
+    });
+    (0, vitest_1.it)('compare(ONE, ZERO) = 1', () => {
+        (0, vitest_1.expect)((0, combinatorial_games_1.compare)(combinatorial_games_1.ONE, combinatorial_games_1.ZERO)).toBe(1);
+    });
+});
+(0, vitest_1.describe)('combinatorial-games — Surreal: negate / add', () => {
+    (0, vitest_1.it)('negate(ONE) ≡ -1', () => {
+        (0, vitest_1.expect)((0, combinatorial_games_1.compare)((0, combinatorial_games_1.negate)(combinatorial_games_1.ONE), combinatorial_games_1.MINUS_ONE)).toBe(0);
+        (0, vitest_1.expect)((0, combinatorial_games_1.compare)((0, combinatorial_games_1.negate)(combinatorial_games_1.ONE), (0, combinatorial_games_1.fromInt)(-1))).toBe(0);
+    });
+    (0, vitest_1.it)('negate(negate(x)) ≡ x', () => {
+        const two = (0, combinatorial_games_1.fromInt)(2);
+        (0, vitest_1.expect)((0, combinatorial_games_1.compare)((0, combinatorial_games_1.negate)((0, combinatorial_games_1.negate)(two)), two)).toBe(0);
+    });
+    (0, vitest_1.it)('add(ONE, ONE) ≡ fromInt(2)', () => {
+        (0, vitest_1.expect)((0, combinatorial_games_1.compare)((0, combinatorial_games_1.add)(combinatorial_games_1.ONE, combinatorial_games_1.ONE), (0, combinatorial_games_1.fromInt)(2))).toBe(0);
+    });
+    (0, vitest_1.it)('add(ZERO, x) ≡ x (identidad)', () => {
+        const three = (0, combinatorial_games_1.fromInt)(3);
+        (0, vitest_1.expect)((0, combinatorial_games_1.compare)((0, combinatorial_games_1.add)(combinatorial_games_1.ZERO, three), three)).toBe(0);
+    });
+    (0, vitest_1.it)('add(x, negate(x)) ≡ 0', () => {
+        const two = (0, combinatorial_games_1.fromInt)(2);
+        (0, vitest_1.expect)((0, combinatorial_games_1.compare)((0, combinatorial_games_1.add)(two, (0, combinatorial_games_1.negate)(two)), combinatorial_games_1.ZERO)).toBe(0);
+    });
+    (0, vitest_1.it)('add(fromInt(2), fromInt(3)) ≡ fromInt(5)', () => {
+        (0, vitest_1.expect)((0, combinatorial_games_1.compare)((0, combinatorial_games_1.add)((0, combinatorial_games_1.fromInt)(2), (0, combinatorial_games_1.fromInt)(3)), (0, combinatorial_games_1.fromInt)(5))).toBe(0);
+    });
+});
+(0, vitest_1.describe)('combinatorial-games — Surreal: STAR y fuzzy', () => {
+    (0, vitest_1.it)('STAR es fuzzy con 0', () => {
+        (0, vitest_1.expect)((0, combinatorial_games_1.isFuzzy)(combinatorial_games_1.STAR)).toBe(true);
+    });
+    (0, vitest_1.it)('ZERO no es fuzzy consigo mismo', () => {
+        (0, vitest_1.expect)((0, combinatorial_games_1.isFuzzy)(combinatorial_games_1.ZERO)).toBe(false);
+    });
+    (0, vitest_1.it)('ONE no es fuzzy con 0', () => {
+        (0, vitest_1.expect)((0, combinatorial_games_1.isFuzzy)(combinatorial_games_1.ONE)).toBe(false);
+    });
+    (0, vitest_1.it)('compare(STAR, ZERO) lanza (incomparables)', () => {
+        (0, vitest_1.expect)(() => (0, combinatorial_games_1.compare)(combinatorial_games_1.STAR, combinatorial_games_1.ZERO)).toThrow();
+    });
+    (0, vitest_1.it)('STAR + STAR ≡ 0 (auto-inverso bajo suma)', () => {
+        (0, vitest_1.expect)((0, combinatorial_games_1.compare)((0, combinatorial_games_1.add)(combinatorial_games_1.STAR, combinatorial_games_1.STAR), combinatorial_games_1.ZERO)).toBe(0);
+    });
+});
+(0, vitest_1.describe)('combinatorial-games — simplify (dominancia)', () => {
+    (0, vitest_1.it)('simplify elimina opciones Left dominadas', () => {
+        // { 0, 1 | } debería reducir a { 1 | } ≡ 2 ya que 1 ≥ 0.
+        const raw = { left: [combinatorial_games_1.ZERO, combinatorial_games_1.ONE], right: [] };
+        const s = (0, combinatorial_games_1.simplify)(raw);
+        (0, vitest_1.expect)(s.left).toHaveLength(1);
+        // El sobreviviente Left debe ser ONE (la mejor opción).
+        (0, vitest_1.expect)((0, combinatorial_games_1.compare)(s.left[0], combinatorial_games_1.ONE)).toBe(0);
+    });
+    (0, vitest_1.it)('simplify deja STAR intacto (opciones no dominables entre sí)', () => {
+        const s = (0, combinatorial_games_1.simplify)(combinatorial_games_1.STAR);
+        (0, vitest_1.expect)(s.left).toHaveLength(1);
+        (0, vitest_1.expect)(s.right).toHaveLength(1);
+    });
+    (0, vitest_1.it)('simplify es idempotente para ZERO', () => {
+        const s = (0, combinatorial_games_1.simplify)(combinatorial_games_1.ZERO);
+        (0, vitest_1.expect)(s.left).toEqual([]);
+        (0, vitest_1.expect)(s.right).toEqual([]);
+    });
+});
+(0, vitest_1.describe)('combinatorial-games — propiedades estructurales', () => {
+    (0, vitest_1.it)('grundyValue usa caché entre invocaciones', () => {
+        const cache = new Map();
+        const g = (0, combinatorial_games_1.nim)([2, 2]);
+        const v1 = (0, combinatorial_games_1.grundyValue)(g, g.initial, cache);
+        const size = cache.size;
+        const v2 = (0, combinatorial_games_1.grundyValue)(g, g.initial, cache);
+        (0, vitest_1.expect)(v1).toBe(v2);
+        // Tras la segunda llamada, el caché no crece (hit en raíz).
+        (0, vitest_1.expect)(cache.size).toBe(size);
+    });
+    (0, vitest_1.it)('nim rechaza pilas negativas', () => {
+        (0, vitest_1.expect)(() => (0, combinatorial_games_1.nim)([1, -1])).toThrow();
+    });
+    (0, vitest_1.it)('nim1d rechaza negativos', () => {
+        (0, vitest_1.expect)(() => (0, combinatorial_games_1.nim1d)(-1)).toThrow();
+    });
+    (0, vitest_1.it)('chompGame rechaza dims < 1', () => {
+        (0, vitest_1.expect)(() => (0, combinatorial_games_1.chompGame)(0, 1)).toThrow();
+        (0, vitest_1.expect)(() => (0, combinatorial_games_1.chompGame)(1, 0)).toThrow();
+    });
+});
+//# sourceMappingURL=combinatorial-games.test.js.map

package/dist/tests/reasoning/combinatorial-games/combinatorial-games.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"combinatorial-games.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/combinatorial-games/combinatorial-games.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,iCAAiC;AACjC,+DAA+D;;AAE/D,mCAA8C;AAC9C,gFAmBgD;AAEhD,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,YAAY,EAAE,GAAG,EAAE;QACpB,IAAA,eAAM,EAAC,IAAA,yBAAG,EAAC,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,IAAA,eAAM,EAAC,IAAA,yBAAG,EAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,IAAA,eAAM,EAAC,IAAA,yBAAG,EAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,IAAA,eAAM,EAAC,IAAA,yBAAG,EAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,IAAA,eAAM,EAAC,IAAA,4BAAM,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,IAAA,eAAM,EAAC,IAAA,4BAAM,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,IAAA,eAAM,EAAC,IAAA,4BAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+CAA+C,EAAE,GAAG,EAAE;IAC7D,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,IAAA,iCAAW,EAAC,IAAA,2BAAK,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,IAAA,eAAM,EAAC,IAAA,iCAAW,EAAC,IAAA,2BAAK,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,IAAA,eAAM,EAAC,IAAA,+BAAS,EAAC,IAAA,2BAAK,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,IAAA,yBAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,IAAA,iCAAW,EAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,+BAAS,EAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,IAAA,yBAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,IAAA,iCAAW,EAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,+BAAS,EAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAC,GAAG,IAAA,yBAAG,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,IAAA,iCAAW,EAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,IAAA,yBAAG,EAAC,EAAE,CAAC,CAAC;QAClB,IAAA,eAAM,EAAC,IAAA,iCAAW,EAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,+BAAS,EAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,IAAA,+BAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAA,iCAAW,EAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,+BAAS,EAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,GAAG,IAAA,+BAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAA,+BAAS,EAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAA,+BAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAA,+BAAS,EAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uDAAuD,EAAE,GAAG,EAAE;IACrE,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,EAAE,GAAG,IAAA,2BAAK,EAAC,CAAC,CAAC,CAAC;QACpB,MAAM,EAAE,GAAG,IAAA,2BAAK,EAAC,CAAC,CAAC,CAAC;QACpB,MAAM,EAAE,GAAG,IAAA,2BAAK,EAAC,CAAC,CAAC,CAAC;QACpB,4DAA4D;QAC5D,IAAA,eAAM,EAAC,IAAA,qCAAe,EAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,GAAG,IAAA,2BAAK,EAAC,CAAC,CAAC,CAAC;QACnB,IAAA,eAAM,EAAC,IAAA,qCAAe,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,qCAAe,EAAC,CAAC,IAAA,2BAAK,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+CAA+C,EAAE,GAAG,EAAE;IAC7D,IAAA,WAAE,EAAC,eAAe,EAAE,GAAG,EAAE;QACvB,IAAA,eAAM,EAAC,0BAAI,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,0BAAI,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,IAAA,eAAM,EAAC,yBAAG,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,yBAAG,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAA,6BAAO,EAAC,yBAAG,EAAE,IAAA,6BAAO,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,IAAA,eAAM,EAAC,IAAA,6BAAO,EAAC,IAAA,6BAAO,EAAC,CAAC,CAAC,EAAE,0BAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,IAAA,eAAM,EAAC,IAAA,6BAAO,EAAC,IAAA,6BAAO,EAAC,CAAC,CAAC,EAAE,IAAA,6BAAO,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,IAAA,6BAAO,EAAC,IAAA,6BAAO,EAAC,CAAC,CAAC,EAAE,IAAA,6BAAO,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,IAAA,6BAAO,EAAC,IAAA,6BAAO,EAAC,CAAC,CAAC,EAAE,0BAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,IAAA,eAAM,EAAC,IAAA,6BAAO,EAAC,yBAAG,EAAE,0BAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,IAAA,eAAM,EAAC,IAAA,6BAAO,EAAC,IAAA,4BAAM,EAAC,yBAAG,CAAC,EAAE,+BAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,IAAA,6BAAO,EAAC,IAAA,4BAAM,EAAC,yBAAG,CAAC,EAAE,IAAA,6BAAO,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,GAAG,GAAG,IAAA,6BAAO,EAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,IAAA,6BAAO,EAAC,IAAA,4BAAM,EAAC,IAAA,4BAAM,EAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,IAAA,eAAM,EAAC,IAAA,6BAAO,EAAC,IAAA,yBAAG,EAAC,yBAAG,EAAE,yBAAG,CAAC,EAAE,IAAA,6BAAO,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,KAAK,GAAG,IAAA,6BAAO,EAAC,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,IAAA,6BAAO,EAAC,IAAA,yBAAG,EAAC,0BAAI,EAAE,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,GAAG,GAAG,IAAA,6BAAO,EAAC,CAAC,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,IAAA,6BAAO,EAAC,IAAA,yBAAG,EAAC,GAAG,EAAE,IAAA,4BAAM,EAAC,GAAG,CAAC,CAAC,EAAE,0BAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,IAAA,eAAM,EAAC,IAAA,6BAAO,EAAC,IAAA,yBAAG,EAAC,IAAA,6BAAO,EAAC,CAAC,CAAC,EAAE,IAAA,6BAAO,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,6BAAO,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,IAAA,eAAM,EAAC,IAAA,6BAAO,EAAC,0BAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,IAAA,eAAM,EAAC,IAAA,6BAAO,EAAC,0BAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,IAAA,eAAM,EAAC,IAAA,6BAAO,EAAC,yBAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,6BAAO,EAAC,0BAAI,EAAE,0BAAI,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,IAAA,eAAM,EAAC,IAAA,6BAAO,EAAC,IAAA,yBAAG,EAAC,0BAAI,EAAE,0BAAI,CAAC,EAAE,0BAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,yDAAyD;QACzD,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,CAAC,0BAAI,EAAE,yBAAG,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;QAC7C,MAAM,CAAC,GAAG,IAAA,8BAAQ,EAAC,GAAG,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,wDAAwD;QACxD,IAAA,eAAM,EAAC,IAAA,6BAAO,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,yBAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,CAAC,GAAG,IAAA,8BAAQ,EAAC,0BAAI,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,IAAA,8BAAQ,EAAC,0BAAI,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iDAAiD,EAAE,GAAG,EAAE;IAC/D,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;QACxC,MAAM,CAAC,GAAG,IAAA,yBAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,EAAE,GAAG,IAAA,iCAAW,EAAC,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAC5C,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;QACxB,MAAM,EAAE,GAAG,IAAA,iCAAW,EAAC,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACpB,4DAA4D;QAC5D,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,yBAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACvC,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,2BAAK,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACpC,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,+BAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QACxC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,+BAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/reasoning/constructive-reals/constructive-reals.test.d.ts.map

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