@stevenvo780/st-lang 4.5.2 → 4.7.0

package/dist/tests/many-valued/many-valued.test.js

@@ -1,150 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-const vitest_1 = require("vitest");
-const many_valued_1 = require("../../profiles/many-valued");
-const P = (0, many_valued_1.atom)('P');
-const Q = (0, many_valued_1.atom)('Q');
-(0, vitest_1.describe)('many-valued logics — núcleo de evaluación', () => {
-    (0, vitest_1.it)('Łukasiewicz: P → P es tautología', () => {
-        (0, vitest_1.expect)((0, many_valued_1.isTautology)((0, many_valued_1.implies)(P, P), 'lukasiewicz')).toBe(true);
-    });
-    (0, vitest_1.it)('Łukasiewicz (strong OR): P ∨ ¬P SÍ es tautología vía s-norm min(1, p+(1-p))=1', () => {
-        // Con la disyunción fuerte (s-norm), P ∨ ¬P se colapsa a 1 siempre.
-        // Es Gödel/Producto quienes rompen el tercero excluido — ver tests abajo.
-        (0, vitest_1.expect)((0, many_valued_1.isTautology)((0, many_valued_1.or)(P, (0, many_valued_1.not)(P)), 'lukasiewicz')).toBe(true);
-        const v = (0, many_valued_1.evaluate)((0, many_valued_1.or)(P, (0, many_valued_1.not)(P)), { P: 0.5 }, 'lukasiewicz');
-        (0, vitest_1.expect)(v).toBeCloseTo(1, 9); // min(1, 0.5+0.5)=1
-    });
-    (0, vitest_1.it)('Łukasiewicz: P ∧ ¬P NO siempre 0 — pero ¬(P ∧ ¬P) sí es tautología', () => {
-        // En Łukasiewicz, P ∧ ¬P = max(0, P + (1-P) - 1) = max(0, 0) = 0
-        // Así que ¬(P ∧ ¬P) sí es tautología (es la "no-contradicción").
-        (0, vitest_1.expect)((0, many_valued_1.isTautology)((0, many_valued_1.not)((0, many_valued_1.and)(P, (0, many_valued_1.not)(P))), 'lukasiewicz')).toBe(true);
-        (0, vitest_1.expect)((0, many_valued_1.isContradiction)((0, many_valued_1.and)(P, (0, many_valued_1.not)(P)), 'lukasiewicz')).toBe(true);
-    });
-    (0, vitest_1.it)('Gödel: P ∨ ¬P NO es tautología', () => {
-        (0, vitest_1.expect)((0, many_valued_1.isTautology)((0, many_valued_1.or)(P, (0, many_valued_1.not)(P)), 'godel')).toBe(false);
-        // Cuando P=0.5: ¬P=0 (porque P≠0), entonces max(0.5, 0)=0.5
-        const v = (0, many_valued_1.evaluate)((0, many_valued_1.or)(P, (0, many_valued_1.not)(P)), { P: 0.5 }, 'godel');
-        (0, vitest_1.expect)(v).toBeCloseTo(0.5, 9);
-    });
-    (0, vitest_1.it)('Gödel: P → P es tautología', () => {
-        (0, vitest_1.expect)((0, many_valued_1.isTautology)((0, many_valued_1.implies)(P, P), 'godel')).toBe(true);
-    });
-    (0, vitest_1.it)('Gödel: P ∧ P = P (t-norm idempotente)', () => {
-        for (const p of [0, 0.25, 0.5, 0.75, 1]) {
-            (0, vitest_1.expect)((0, many_valued_1.evaluate)((0, many_valued_1.and)(P, P), { P: p }, 'godel')).toBeCloseTo(p, 9);
-        }
-    });
-    (0, vitest_1.it)('Producto: P ∧ P puede ser strictly menor que P (P=0.5 → 0.25)', () => {
-        (0, vitest_1.expect)((0, many_valued_1.evaluate)((0, many_valued_1.and)(P, P), { P: 0.5 }, 'product')).toBeCloseTo(0.25, 9);
-        (0, vitest_1.expect)((0, many_valued_1.evaluate)((0, many_valued_1.and)(P, P), { P: 0.3 }, 'product')).toBeCloseTo(0.09, 9);
-        (0, vitest_1.expect)((0, many_valued_1.evaluate)((0, many_valued_1.and)(P, P), { P: 1 }, 'product')).toBeCloseTo(1, 9);
-        (0, vitest_1.expect)((0, many_valued_1.evaluate)((0, many_valued_1.and)(P, P), { P: 0 }, 'product')).toBeCloseTo(0, 9);
-    });
-    (0, vitest_1.it)('Producto: P → P es tautología y P → Q vale q/p cuando p>q', () => {
-        (0, vitest_1.expect)((0, many_valued_1.isTautology)((0, many_valued_1.implies)(P, P), 'product')).toBe(true);
-        // P=0.8, Q=0.2 → q/p = 0.25
-        (0, vitest_1.expect)((0, many_valued_1.evaluate)((0, many_valued_1.implies)(P, Q), { P: 0.8, Q: 0.2 }, 'product')).toBeCloseTo(0.25, 9);
-        // P=0.2, Q=0.8 → 1 (porque p<=q)
-        (0, vitest_1.expect)((0, many_valued_1.evaluate)((0, many_valued_1.implies)(P, Q), { P: 0.2, Q: 0.8 }, 'product')).toBeCloseTo(1, 9);
-    });
-    (0, vitest_1.it)('Comparación: P ∧ Q con P=0.6, Q=0.4 da distinto en cada sistema', () => {
-        const env = { P: 0.6, Q: 0.4 };
-        const luka = (0, many_valued_1.evaluate)((0, many_valued_1.and)(P, Q), env, 'lukasiewicz');
-        const godel = (0, many_valued_1.evaluate)((0, many_valued_1.and)(P, Q), env, 'godel');
-        const prod = (0, many_valued_1.evaluate)((0, many_valued_1.and)(P, Q), env, 'product');
-        // Łukasiewicz: max(0, 0.6+0.4-1)=0
-        (0, vitest_1.expect)(luka).toBeCloseTo(0, 9);
-        // Gödel: min(0.6, 0.4)=0.4
-        (0, vitest_1.expect)(godel).toBeCloseTo(0.4, 9);
-        // Product: 0.6*0.4=0.24
-        (0, vitest_1.expect)(prod).toBeCloseTo(0.24, 9);
-        (0, vitest_1.expect)(luka).not.toBeCloseTo(godel, 2);
-        (0, vitest_1.expect)(godel).not.toBeCloseTo(prod, 2);
-    });
-    (0, vitest_1.it)('Comparación de implicación: P=0.6, Q=0.4 (p>q)', () => {
-        const env = { P: 0.6, Q: 0.4 };
-        // Łukasiewicz: min(1, 1-0.6+0.4)=0.8
-        (0, vitest_1.expect)((0, many_valued_1.evaluate)((0, many_valued_1.implies)(P, Q), env, 'lukasiewicz')).toBeCloseTo(0.8, 9);
-        // Gödel: p>q → 0.4
-        (0, vitest_1.expect)((0, many_valued_1.evaluate)((0, many_valued_1.implies)(P, Q), env, 'godel')).toBeCloseTo(0.4, 9);
-        // Product: q/p = 0.4/0.6 ≈ 0.6667
-        (0, vitest_1.expect)((0, many_valued_1.evaluate)((0, many_valued_1.implies)(P, Q), env, 'product')).toBeCloseTo(2 / 3, 9);
-    });
-    (0, vitest_1.it)('Łukasiewicz: negación involutiva ¬¬P = P es tautología modal', () => {
-        // En la rejilla, ¬¬P debe coincidir con P; expresado como
-        // (¬¬P → P) ∧ (P → ¬¬P) ambas deben ser tautologías.
-        (0, vitest_1.expect)((0, many_valued_1.isTautology)((0, many_valued_1.implies)((0, many_valued_1.not)((0, many_valued_1.not)(P)), P), 'lukasiewicz')).toBe(true);
-        (0, vitest_1.expect)((0, many_valued_1.isTautology)((0, many_valued_1.implies)(P, (0, many_valued_1.not)((0, many_valued_1.not)(P))), 'lukasiewicz')).toBe(true);
-    });
-    (0, vitest_1.it)('Gödel/Product: ¬¬P ≠ P (negación no involutiva)', () => {
-        // En Gödel/Product, ¬0.5 = 0 → ¬¬0.5 = 1, distinto de 0.5.
-        (0, vitest_1.expect)((0, many_valued_1.evaluate)((0, many_valued_1.not)((0, many_valued_1.not)(P)), { P: 0.5 }, 'godel')).toBeCloseTo(1, 9);
-        (0, vitest_1.expect)((0, many_valued_1.evaluate)((0, many_valued_1.not)((0, many_valued_1.not)(P)), { P: 0.5 }, 'product')).toBeCloseTo(1, 9);
-        // por tanto (¬¬P → P) NO es tautología
-        (0, vitest_1.expect)((0, many_valued_1.isTautology)((0, many_valued_1.implies)((0, many_valued_1.not)((0, many_valued_1.not)(P)), P), 'godel')).toBe(false);
-        (0, vitest_1.expect)((0, many_valued_1.isTautology)((0, many_valued_1.implies)((0, many_valued_1.not)((0, many_valued_1.not)(P)), P), 'product')).toBe(false);
-    });
-    (0, vitest_1.it)('Modus ponens (P ∧ (P → Q)) → Q es tautología en los 3 sistemas', () => {
-        const mp = (0, many_valued_1.implies)((0, many_valued_1.and)(P, (0, many_valued_1.implies)(P, Q)), Q);
-        for (const sys of ['lukasiewicz', 'godel', 'product']) {
-            (0, vitest_1.expect)((0, many_valued_1.isTautology)(mp, sys)).toBe(true);
-        }
-    });
-    (0, vitest_1.it)('findValuation: P ∨ ¬P en Łukasiewicz no tiene contraejemplo (s-norm fuerte)', () => {
-        // En Łukasiewicz strong, P∨¬P = min(1, P+1-P)=1 siempre.
-        const v = (0, many_valued_1.findValuation)((0, many_valued_1.or)(P, (0, many_valued_1.not)(P)), 'lukasiewicz', 0.5);
-        (0, vitest_1.expect)(v).toBeNull();
-    });
-    (0, vitest_1.it)('findValuation encuentra contraejemplo de P ∨ ¬P en Gödel', () => {
-        const v = (0, many_valued_1.findValuation)((0, many_valued_1.or)(P, (0, many_valued_1.not)(P)), 'godel', 0.5);
-        // P=0.5 → ¬P=0 → max=0.5
-        (0, vitest_1.expect)(v).not.toBeNull();
-        if (v) {
-            (0, vitest_1.expect)(v.P).toBeCloseTo(0.5, 6);
-        }
-    });
-    (0, vitest_1.it)('isContradiction: 0 sólo es 0 — P ∧ ¬P es contradicción en Łukasiewicz', () => {
-        (0, vitest_1.expect)((0, many_valued_1.isContradiction)((0, many_valued_1.and)(P, (0, many_valued_1.not)(P)), 'lukasiewicz')).toBe(true);
-    });
-    (0, vitest_1.it)('collectFuzzyAtoms recoge átomos únicos y ordenados', () => {
-        const f = (0, many_valued_1.and)(P, (0, many_valued_1.or)(Q, (0, many_valued_1.not)((0, many_valued_1.atom)('R'))));
-        (0, vitest_1.expect)((0, many_valued_1.collectFuzzyAtoms)(f)).toEqual(['P', 'Q', 'R']);
-    });
-    (0, vitest_1.it)('evaluate clamp01: entradas fuera de [0,1] se clampean', () => {
-        // env con valor 2 — el evaluator clampea a 1.
-        (0, vitest_1.expect)((0, many_valued_1.evaluate)(P, { P: 2 }, 'lukasiewicz')).toBeCloseTo(1, 9);
-        (0, vitest_1.expect)((0, many_valued_1.evaluate)(P, { P: -0.5 }, 'product')).toBeCloseTo(0, 9);
-    });
-    (0, vitest_1.it)('Casos extremos 0/1: comportamiento clásico recuperado', () => {
-        // Cuando P,Q ∈ {0,1}, las 3 lógicas degeneran a clásica.
-        for (const p of [0, 1]) {
-            for (const q of [0, 1]) {
-                const env = { P: p, Q: q };
-                const luka = (0, many_valued_1.evaluate)((0, many_valued_1.implies)(P, Q), env, 'lukasiewicz');
-                const god = (0, many_valued_1.evaluate)((0, many_valued_1.implies)(P, Q), env, 'godel');
-                const prod = (0, many_valued_1.evaluate)((0, many_valued_1.implies)(P, Q), env, 'product');
-                const classical = p === 1 && q === 0 ? 0 : 1;
-                (0, vitest_1.expect)(luka).toBeCloseTo(classical, 9);
-                (0, vitest_1.expect)(god).toBeCloseTo(classical, 9);
-                (0, vitest_1.expect)(prod).toBeCloseTo(classical, 9);
-            }
-        }
-    });
-    (0, vitest_1.it)('Łukasiewicz: (P → Q) ∨ (Q → P) — prelinearity / Dummett', () => {
-        // Es tautología en los 3 sistemas (axioma común de las lógicas de Hájek).
-        const dum = (0, many_valued_1.or)((0, many_valued_1.implies)(P, Q), (0, many_valued_1.implies)(Q, P));
-        (0, vitest_1.expect)((0, many_valued_1.isTautology)(dum, 'lukasiewicz')).toBe(true);
-        (0, vitest_1.expect)((0, many_valued_1.isTautology)(dum, 'godel')).toBe(true);
-        (0, vitest_1.expect)((0, many_valued_1.isTautology)(dum, 'product')).toBe(true);
-    });
-    (0, vitest_1.it)('Producto: P ∧ Q = P*Q (t-norm conmutativo y asociativo)', () => {
-        const env1 = { P: 0.5, Q: 0.4 };
-        const env2 = { P: 0.4, Q: 0.5 };
-        const v1 = (0, many_valued_1.evaluate)((0, many_valued_1.and)(P, Q), env1, 'product');
-        const v2 = (0, many_valued_1.evaluate)((0, many_valued_1.and)(P, Q), env2, 'product');
-        (0, vitest_1.expect)(v1).toBeCloseTo(v2, 9);
-        (0, vitest_1.expect)(v1).toBeCloseTo(0.2, 9);
-    });
-});
-//# sourceMappingURL=many-valued.test.js.map

package/dist/tests/many-valued/many-valued.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"many-valued.test.js","sourceRoot":"","sources":["../../../src/tests/many-valued/many-valued.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,4DAYoC;AAEpC,MAAM,CAAC,GAAG,IAAA,kBAAI,EAAC,GAAG,CAAC,CAAC;AACpB,MAAM,CAAC,GAAG,IAAA,kBAAI,EAAC,GAAG,CAAC,CAAC;AAEpB,IAAA,iBAAQ,EAAC,2CAA2C,EAAE,GAAG,EAAE;IACzD,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,IAAA,qBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+EAA+E,EAAE,GAAG,EAAE;QACvF,oEAAoE;QACpE,0EAA0E;QAC1E,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,IAAA,gBAAE,EAAC,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7D,MAAM,CAAC,GAAG,IAAA,sBAAQ,EAAC,IAAA,gBAAE,EAAC,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,aAAa,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,oBAAoB;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,iEAAiE;QACjE,iEAAiE;QACjE,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,IAAA,iBAAG,EAAC,IAAA,iBAAG,EAAC,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,IAAA,6BAAe,EAAC,IAAA,iBAAG,EAAC,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,IAAA,gBAAE,EAAC,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxD,4DAA4D;QAC5D,MAAM,CAAC,GAAG,IAAA,sBAAQ,EAAC,IAAA,gBAAE,EAAC,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,OAAO,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,IAAA,qBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;YACxC,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,iBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACnE,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,iBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,iBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACxE,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,iBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,iBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,IAAA,qBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,4BAA4B;QAC5B,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,qBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACpF,iCAAiC;QACjC,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,qBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,GAAG,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,IAAA,sBAAQ,EAAC,IAAA,iBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,aAAa,CAAC,CAAC;QACrD,MAAM,KAAK,GAAG,IAAA,sBAAQ,EAAC,IAAA,iBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QAChD,MAAM,IAAI,GAAG,IAAA,sBAAQ,EAAC,IAAA,iBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;QAEjD,mCAAmC;QACnC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/B,2BAA2B;QAC3B,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QAClC,wBAAwB;QACxB,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QAElC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,GAAG,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;QAC/B,qCAAqC;QACrC,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,qBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QACxE,mBAAmB;QACnB,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,qBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QAClE,kCAAkC;QAClC,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,qBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,0DAA0D;QAC1D,qDAAqD;QACrD,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,IAAA,qBAAO,EAAC,IAAA,iBAAG,EAAC,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,IAAA,qBAAO,EAAC,CAAC,EAAE,IAAA,iBAAG,EAAC,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,2DAA2D;QAC3D,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,iBAAG,EAAC,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrE,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,IAAA,iBAAG,EAAC,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACvE,uCAAuC;QACvC,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,IAAA,qBAAO,EAAC,IAAA,iBAAG,EAAC,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,IAAA,qBAAO,EAAC,IAAA,iBAAG,EAAC,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,EAAE,GAAG,IAAA,qBAAO,EAAC,IAAA,iBAAG,EAAC,CAAC,EAAE,IAAA,qBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7C,KAAK,MAAM,GAAG,IAAI,CAAC,aAAa,EAAE,OAAO,EAAE,SAAS,CAAoB,EAAE,CAAC;YACzE,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6EAA6E,EAAE,GAAG,EAAE;QACrF,yDAAyD;QACzD,MAAM,CAAC,GAAG,IAAA,2BAAa,EAAC,IAAA,gBAAE,EAAC,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,GAAG,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,GAAG,IAAA,2BAAa,EAAC,IAAA,gBAAE,EAAC,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC;QACrD,yBAAyB;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,EAAE,CAAC;YACN,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;QAClC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,IAAA,eAAM,EAAC,IAAA,6BAAe,EAAC,IAAA,iBAAG,EAAC,CAAC,EAAE,IAAA,iBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,IAAA,iBAAG,EAAC,CAAC,EAAE,IAAA,gBAAE,EAAC,CAAC,EAAE,IAAA,iBAAG,EAAC,IAAA,kBAAI,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,+BAAiB,EAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,8CAA8C;QAC9C,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,IAAA,sBAAQ,EAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,yDAAyD;QACzD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YACvB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;gBACvB,MAAM,GAAG,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC3B,MAAM,IAAI,GAAG,IAAA,sBAAQ,EAAC,IAAA,qBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,aAAa,CAAC,CAAC;gBACzD,MAAM,GAAG,GAAG,IAAA,sBAAQ,EAAC,IAAA,qBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;gBAClD,MAAM,IAAI,GAAG,IAAA,sBAAQ,EAAC,IAAA,qBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,SAAS,CAAC,CAAC;gBACrD,MAAM,SAAS,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC7C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;gBACvC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;gBACtC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,0EAA0E;QAC1E,MAAM,GAAG,GAAG,IAAA,gBAAE,EAAC,IAAA,qBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAA,qBAAO,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,GAAG,EAAE,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,yBAAW,EAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,IAAI,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;QAChC,MAAM,IAAI,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;QAChC,MAAM,EAAE,GAAG,IAAA,sBAAQ,EAAC,IAAA,iBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QAChD,MAAM,EAAE,GAAG,IAAA,sBAAQ,EAAC,IAAA,iBAAG,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,WAAW,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/markov-logic/markov-logic.test.d.ts.map

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

package/dist/tests/markov-logic/markov-logic.test.js

@@ -1,349 +0,0 @@
-"use strict";
-// ============================================================
-// Markov Logic Networks — Tests
-// ============================================================
-//
-// La teoría canónica es la "smoking network" de Richardson & Domingos:
-//
-//   Smokes(x) → Cancer(x)                    w = 1.5
-//   Friends(x, y) ∧ Smokes(x) → Smokes(y)    w = 1.1
-//   Smokes(x)                                w = 0.5   (prior)
-//
-// con un universo de 3 personas (Anna, Bob, Carl). Esa teoría aparece
-// en varios tests con distintos hyperparámetros.
-Object.defineProperty(exports, "__esModule", { value: true });
-const vitest_1 = require("vitest");
-const markov_logic_1 = require("../../runtime/markov-logic");
-// ── Fixtures ─────────────────────────────────────────────────
-const smoking3 = {
-    predicates: [
-        { name: 'Smokes', types: ['Person'] },
-        { name: 'Cancer', types: ['Person'] },
-        { name: 'Friends', types: ['Person', 'Person'] },
-    ],
-    constants: { Person: ['Anna', 'Bob', 'Carl'] },
-    formulas: [
-        { formula: 'Smokes(x) → Cancer(x)', weight: 1.5 },
-        { formula: 'Friends(x, y) ∧ Smokes(x) → Smokes(y)', weight: 1.1 },
-        { formula: 'Smokes(x)', weight: 0.5 },
-    ],
-};
-const smokingSmall = {
-    predicates: [
-        { name: 'Smokes', types: ['Person'] },
-        { name: 'Friends', types: ['Person', 'Person'] },
-    ],
-    constants: { Person: ['Anna', 'Bob'] },
-    formulas: [
-        { formula: 'Friends(x, y) ∧ Smokes(x) → Smokes(y)', weight: 1.5 },
-        { formula: 'Smokes(x)', weight: 0.5 },
-    ],
-};
-// PRNG determinista (mulberry32) para tests reproducibles.
-function makeRng(seed) {
-    let s = seed >>> 0;
-    return () => {
-        s = (s + 0x6d2b79f5) >>> 0;
-        let t = s;
-        t = Math.imul(t ^ (t >>> 15), t | 1);
-        t ^= t + Math.imul(t ^ (t >>> 7), t | 61);
-        return ((t ^ (t >>> 14)) >>> 0) / 4294967296;
-    };
-}
-// ── parseFOL ─────────────────────────────────────────────────
-(0, vitest_1.describe)('parseFOL', () => {
-    (0, vitest_1.it)('parsea un átomo simple', () => {
-        const ast = (0, markov_logic_1.parseFOL)('Smokes(x)');
-        (0, vitest_1.expect)(ast).toEqual({ kind: 'atom', predicate: 'Smokes', args: ['x'] });
-    });
-    (0, vitest_1.it)('reconoce variables libres', () => {
-        const ast = (0, markov_logic_1.parseFOL)('Friends(x, y) ∧ Smokes(x) → Smokes(y)');
-        (0, vitest_1.expect)((0, markov_logic_1.freeVariables)(ast)).toEqual(['x', 'y']);
-    });
-    (0, vitest_1.it)('acepta sintaxis ASCII alternativa (&, |, ->, !)', () => {
-        const a = (0, markov_logic_1.parseFOL)('Smokes(x) -> Cancer(x)');
-        const b = (0, markov_logic_1.parseFOL)('Smokes(x) → Cancer(x)');
-        (0, vitest_1.expect)(a).toEqual(b);
-        const c = (0, markov_logic_1.parseFOL)('!Smokes(x) & Cancer(x)');
-        const d = (0, markov_logic_1.parseFOL)('¬Smokes(x) ∧ Cancer(x)');
-        (0, vitest_1.expect)(c).toEqual(d);
-    });
-    (0, vitest_1.it)('respeta precedencia ¬ > ∧ > ∨ > →', () => {
-        // ¬A ∨ B ∧ C  ≡  (¬A) ∨ (B ∧ C)
-        const ast = (0, markov_logic_1.parseFOL)('¬A(x) ∨ B(x) ∧ C(x)');
-        (0, vitest_1.expect)(ast).toEqual({
-            kind: 'or',
-            left: { kind: 'not', arg: { kind: 'atom', predicate: 'A', args: ['x'] } },
-            right: {
-                kind: 'and',
-                left: { kind: 'atom', predicate: 'B', args: ['x'] },
-                right: { kind: 'atom', predicate: 'C', args: ['x'] },
-            },
-        });
-    });
-    (0, vitest_1.it)('falla con error claro ante sintaxis inválida', () => {
-        (0, vitest_1.expect)(() => (0, markov_logic_1.parseFOL)('Smokes(x')).toThrow();
-        (0, vitest_1.expect)(() => (0, markov_logic_1.parseFOL)('∧ Cancer(x)')).toThrow();
-    });
-});
-// ── ground ───────────────────────────────────────────────────
-(0, vitest_1.describe)('ground', () => {
-    (0, vitest_1.it)('produce N² ground formulas para una regla con 2 variables', () => {
-        // Friends(x,y) ∧ Smokes(x) → Smokes(y) sobre n=3 personas → 9 ground formulas.
-        const grounded = (0, markov_logic_1.ground)({
-            ...smoking3,
-            formulas: [{ formula: 'Friends(x, y) ∧ Smokes(x) → Smokes(y)', weight: 1.1 }],
-        });
-        (0, vitest_1.expect)(grounded).toHaveLength(9);
-    });
-    (0, vitest_1.it)('inhibe variables con tipos inconsistentes', () => {
-        const badTheory = {
-            predicates: [
-                { name: 'OnTopic', types: ['Course'] },
-                { name: 'Friends', types: ['Person', 'Person'] },
-            ],
-            constants: { Person: ['A'], Course: ['Math'] },
-            formulas: [{ formula: 'OnTopic(x) ∧ Friends(x, x)', weight: 1.0 }],
-        };
-        (0, vitest_1.expect)(() => (0, markov_logic_1.ground)(badTheory)).toThrow(/tipos distintos/);
-    });
-    (0, vitest_1.it)('enumera todos los ground atoms (Herbrand base)', () => {
-        const atoms = (0, markov_logic_1.allGroundAtoms)(smokingSmall);
-        // Smokes: 2, Friends: 2x2 = 4 → 6 atoms totales.
-        (0, vitest_1.expect)(atoms).toHaveLength(6);
-        (0, vitest_1.expect)(atoms).toContain('Smokes(Anna)');
-        (0, vitest_1.expect)(atoms).toContain('Friends(Anna,Bob)');
-    });
-    (0, vitest_1.it)('groundFormula.satisfied y violations son consistentes', () => {
-        const [g] = (0, markov_logic_1.ground)({
-            predicates: [{ name: 'P', types: ['T'] }],
-            constants: { T: ['a'] },
-            formulas: [{ formula: 'P(x)', weight: 1.0 }],
-        });
-        (0, vitest_1.expect)(g).toBeDefined();
-        const wTrue = { groundAtoms: { 'P(a)': true } };
-        const wFalse = { groundAtoms: { 'P(a)': false } };
-        (0, vitest_1.expect)(g.satisfied(wTrue)).toBe(true);
-        (0, vitest_1.expect)(g.violations(wTrue)).toBe(0);
-        (0, vitest_1.expect)(g.satisfied(wFalse)).toBe(false);
-        (0, vitest_1.expect)(g.violations(wFalse)).toBe(1);
-    });
-});
-// ── weight & probability ─────────────────────────────────────
-(0, vitest_1.describe)('weight', () => {
-    (0, vitest_1.it)('asigna peso 0 a un mundo vacío sin fórmulas satisfechas', () => {
-        const theory = {
-            predicates: [{ name: 'P', types: ['T'] }],
-            constants: { T: ['a', 'b'] },
-            formulas: [{ formula: 'P(x)', weight: 2.0 }],
-        };
-        // mundo donde ningún P() es true → ninguna fórmula satisfecha → score 0.
-        const w = { groundAtoms: { 'P(a)': false, 'P(b)': false } };
-        (0, vitest_1.expect)((0, markov_logic_1.weight)(theory, w)).toBe(0);
-    });
-    (0, vitest_1.it)('penaliza mundos con menos fórmulas satisfechas (score menor)', () => {
-        const allSmoke = {
-            groundAtoms: {
-                'Smokes(Anna)': true,
-                'Smokes(Bob)': true,
-                'Cancer(Anna)': true,
-                'Cancer(Bob)': true,
-                'Friends(Anna,Bob)': false,
-                'Friends(Bob,Anna)': false,
-                'Friends(Anna,Anna)': false,
-                'Friends(Bob,Bob)': false,
-            },
-        };
-        const noSmoke = {
-            groundAtoms: {
-                'Smokes(Anna)': false,
-                'Smokes(Bob)': false,
-                'Cancer(Anna)': false,
-                'Cancer(Bob)': false,
-                'Friends(Anna,Bob)': false,
-                'Friends(Bob,Anna)': false,
-                'Friends(Anna,Anna)': false,
-                'Friends(Bob,Bob)': false,
-            },
-        };
-        const theory = {
-            predicates: [
-                { name: 'Smokes', types: ['Person'] },
-                { name: 'Cancer', types: ['Person'] },
-                { name: 'Friends', types: ['Person', 'Person'] },
-            ],
-            constants: { Person: ['Anna', 'Bob'] },
-            formulas: [
-                { formula: 'Smokes(x) → Cancer(x)', weight: 1.5 },
-                { formula: 'Friends(x, y) ∧ Smokes(x) → Smokes(y)', weight: 1.1 },
-                { formula: 'Smokes(x)', weight: 0.5 },
-            ],
-        };
-        const wSmoke = (0, markov_logic_1.weight)(theory, allSmoke);
-        const wNoSmoke = (0, markov_logic_1.weight)(theory, noSmoke);
-        // ambos satisfacen las implicaciones, pero allSmoke gana el prior Smokes(x).
-        (0, vitest_1.expect)(wSmoke).toBeGreaterThan(wNoSmoke);
-    });
-    (0, vitest_1.it)('devuelve -Infinity si un hard constraint está violado', () => {
-        const hardTheory = {
-            predicates: [{ name: 'P', types: ['T'] }],
-            constants: { T: ['a'] },
-            formulas: [{ formula: 'P(x)', weight: Infinity }],
-        };
-        const violator = { groundAtoms: { 'P(a)': false } };
-        (0, vitest_1.expect)((0, markov_logic_1.weight)(hardTheory, violator)).toBe(Number.NEGATIVE_INFINITY);
-        const satisfier = { groundAtoms: { 'P(a)': true } };
-        // hard constraint satisfecho aporta 0 al score, no Infinity.
-        (0, vitest_1.expect)((0, markov_logic_1.weight)(hardTheory, satisfier)).toBe(0);
-    });
-    (0, vitest_1.it)('probability(world, Z) = exp(weight)/Z y es consistente con la exacta', () => {
-        const Z = (0, markov_logic_1.exactPartition)(smokingSmall);
-        const marginals = (0, markov_logic_1.exactMarginals)(smokingSmall);
-        // Suma de probabilidades sobre todos los mundos == 1.
-        const atoms = (0, markov_logic_1.allGroundAtoms)(smokingSmall);
-        let total = 0;
-        const w = { groundAtoms: {} };
-        for (let mask = 0; mask < 1 << atoms.length; mask++) {
-            for (let i = 0; i < atoms.length; i++) {
-                w.groundAtoms[atoms[i]] = (mask & (1 << i)) !== 0;
-            }
-            total += (0, markov_logic_1.probability)(smokingSmall, w, Z);
-        }
-        (0, vitest_1.expect)(total).toBeCloseTo(1, 6);
-        // marginales en [0,1]
-        for (const a of atoms) {
-            (0, vitest_1.expect)(marginals[a]).toBeGreaterThanOrEqual(0);
-            (0, vitest_1.expect)(marginals[a]).toBeLessThanOrEqual(1);
-        }
-    });
-});
-// ── Gibbs sampling ───────────────────────────────────────────
-(0, vitest_1.describe)('gibbsSample', () => {
-    (0, vitest_1.it)('respeta la evidencia (no flippea átomos fijos)', () => {
-        const rng = makeRng(42);
-        const evidence = {
-            groundAtoms: { 'Smokes(Anna)': true, 'Friends(Anna,Bob)': true },
-        };
-        const samples = (0, markov_logic_1.gibbsSample)(smokingSmall, evidence, 100, { rng, burnIn: 20 });
-        (0, vitest_1.expect)(samples).toHaveLength(100);
-        for (const s of samples) {
-            (0, vitest_1.expect)(s.groundAtoms['Smokes(Anna)']).toBe(true);
-            (0, vitest_1.expect)(s.groundAtoms['Friends(Anna,Bob)']).toBe(true);
-        }
-    });
-    (0, vitest_1.it)('converge a marginales cercanas a la distribución exacta', () => {
-        const exact = (0, markov_logic_1.exactMarginals)(smokingSmall);
-        const rng = makeRng(2024);
-        const approx = (0, markov_logic_1.gibbsMarginals)(smokingSmall, {}, 8000, { rng, burnIn: 500 });
-        for (const atom of Object.keys(exact)) {
-            const diff = Math.abs((exact[atom] ?? 0) - (approx[atom] ?? 0));
-            // tolerancia generosa pero suficiente para detectar bugs estructurales.
-            (0, vitest_1.expect)(diff).toBeLessThan(0.07);
-        }
-    });
-    (0, vitest_1.it)('cadena estabiliza: dos corridas largas con la misma semilla dan marginales muy cercanas', () => {
-        const m1 = (0, markov_logic_1.gibbsMarginals)(smokingSmall, {}, 4000, {
-            rng: makeRng(7),
-            burnIn: 500,
-        });
-        const m2 = (0, markov_logic_1.gibbsMarginals)(smokingSmall, {}, 4000, {
-            rng: makeRng(7),
-            burnIn: 500,
-        });
-        for (const a of Object.keys(m1)) {
-            (0, vitest_1.expect)((m1[a] ?? 0) - (m2[a] ?? 0)).toBe(0); // misma semilla → mismo resultado bit-exacto
-        }
-    });
-    (0, vitest_1.it)('detecta correlación entre amigos: si Anna fuma, Bob tiende a fumar más', () => {
-        const rng = makeRng(123);
-        const evidenceA = {
-            groundAtoms: {
-                'Smokes(Anna)': true,
-                'Friends(Anna,Bob)': true,
-                'Friends(Bob,Anna)': true,
-                'Friends(Anna,Anna)': false,
-                'Friends(Bob,Bob)': false,
-            },
-        };
-        const evidenceB = {
-            groundAtoms: {
-                'Smokes(Anna)': false,
-                'Friends(Anna,Bob)': true,
-                'Friends(Bob,Anna)': true,
-                'Friends(Anna,Anna)': false,
-                'Friends(Bob,Bob)': false,
-            },
-        };
-        const mWith = (0, markov_logic_1.gibbsMarginals)(smokingSmall, evidenceA, 4000, { rng, burnIn: 500 });
-        const mWithout = (0, markov_logic_1.gibbsMarginals)(smokingSmall, evidenceB, 4000, {
-            rng: makeRng(124),
-            burnIn: 500,
-        });
-        // Con Anna fumando y amigos↔, Bob fuma más que sin Anna fumando.
-        (0, vitest_1.expect)(mWith['Smokes(Bob)']).toBeGreaterThan(mWithout['Smokes(Bob)']);
-    });
-});
-// ── MAP inference ────────────────────────────────────────────
-(0, vitest_1.describe)('mapInference', () => {
-    (0, vitest_1.it)('encuentra un mundo cuyo weight no es menor al óptimo exacto', () => {
-        const rng = makeRng(99);
-        const result = (0, markov_logic_1.mapInference)(smokingSmall, {}, {
-            rng,
-            maxFlips: 2000,
-            restarts: 6,
-        });
-        // Calcular óptimo exacto enumerando mundos pequeños.
-        const atoms = (0, markov_logic_1.allGroundAtoms)(smokingSmall);
-        let bestExact = Number.NEGATIVE_INFINITY;
-        const w = { groundAtoms: {} };
-        for (let mask = 0; mask < 1 << atoms.length; mask++) {
-            for (let i = 0; i < atoms.length; i++) {
-                w.groundAtoms[atoms[i]] = (mask & (1 << i)) !== 0;
-            }
-            const s = (0, markov_logic_1.weight)(smokingSmall, w);
-            if (s > bestExact)
-                bestExact = s;
-        }
-        const found = (0, markov_logic_1.weight)(smokingSmall, result);
-        (0, vitest_1.expect)(found).toBeCloseTo(bestExact, 6);
-    });
-    (0, vitest_1.it)('respeta hard constraints en la MAP', () => {
-        const theory = {
-            predicates: [
-                { name: 'P', types: ['T'] },
-                { name: 'Q', types: ['T'] },
-            ],
-            constants: { T: ['a'] },
-            formulas: [
-                { formula: 'P(x)', weight: Infinity }, // hard: P(a) debe ser true
-                { formula: '¬Q(x)', weight: 0.5 }, // soft: preferimos ¬Q(a)
-            ],
-        };
-        const rng = makeRng(5);
-        const result = (0, markov_logic_1.mapInference)(theory, {}, { rng, restarts: 3, maxFlips: 200 });
-        (0, vitest_1.expect)(result.groundAtoms['P(a)']).toBe(true);
-        (0, vitest_1.expect)(result.groundAtoms['Q(a)']).toBe(false);
-    });
-    (0, vitest_1.it)('respeta evidencia', () => {
-        const rng = makeRng(11);
-        const evidence = {
-            groundAtoms: { 'Smokes(Anna)': false, 'Friends(Anna,Bob)': true },
-        };
-        const result = (0, markov_logic_1.mapInference)(smokingSmall, evidence, { rng, restarts: 3, maxFlips: 500 });
-        (0, vitest_1.expect)(result.groundAtoms['Smokes(Anna)']).toBe(false);
-        (0, vitest_1.expect)(result.groundAtoms['Friends(Anna,Bob)']).toBe(true);
-    });
-});
-// ── Smoking-3: cordura general ───────────────────────────────
-(0, vitest_1.describe)('Smoking network (3 personas)', () => {
-    (0, vitest_1.it)('ground produce 3+9+3 = 15 ground formulas para la teoría completa', () => {
-        const grounded = (0, markov_logic_1.ground)(smoking3);
-        // Smokes→Cancer: 3, Friends∧Smokes→Smokes: 3² = 9, Smokes prior: 3 → 15
-        (0, vitest_1.expect)(grounded).toHaveLength(15);
-    });
-    (0, vitest_1.it)('atoms Herbrand: 3 Smokes + 3 Cancer + 9 Friends = 15', () => {
-        const atoms = (0, markov_logic_1.allGroundAtoms)(smoking3);
-        (0, vitest_1.expect)(atoms).toHaveLength(15);
-    });
-});
-//# sourceMappingURL=markov-logic.test.js.map

package/dist/tests/markov-logic/markov-logic.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"markov-logic.test.js","sourceRoot":"","sources":["../../../src/tests/markov-logic/markov-logic.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,gCAAgC;AAChC,+DAA+D;AAC/D,EAAE;AACF,uEAAuE;AACvE,EAAE;AACF,qDAAqD;AACrD,qDAAqD;AACrD,+DAA+D;AAC/D,EAAE;AACF,sEAAsE;AACtE,iDAAiD;;AAEjD,mCAA8C;AAC9C,6DAcoC;AAEpC,gEAAgE;AAEhE,MAAM,QAAQ,GAAc;IAC1B,UAAU,EAAE;QACV,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,QAAQ,CAAC,EAAE;QACrC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,QAAQ,CAAC,EAAE;QACrC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE;KACjD;IACD,SAAS,EAAE,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,EAAE;IAC9C,QAAQ,EAAE;QACR,EAAE,OAAO,EAAE,uBAAuB,EAAE,MAAM,EAAE,GAAG,EAAE;QACjD,EAAE,OAAO,EAAE,uCAAuC,EAAE,MAAM,EAAE,GAAG,EAAE;QACjE,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,EAAE;KACtC;CACF,CAAC;AAEF,MAAM,YAAY,GAAc;IAC9B,UAAU,EAAE;QACV,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,QAAQ,CAAC,EAAE;QACrC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE;KACjD;IACD,SAAS,EAAE,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE;IACtC,QAAQ,EAAE;QACR,EAAE,OAAO,EAAE,uCAAuC,EAAE,MAAM,EAAE,GAAG,EAAE;QACjE,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,EAAE;KACtC;CACF,CAAC;AAEF,2DAA2D;AAC3D,SAAS,OAAO,CAAC,IAAY;IAC3B,IAAI,CAAC,GAAG,IAAI,KAAK,CAAC,CAAC;IACnB,OAAO,GAAW,EAAE;QAClB,CAAC,GAAG,CAAC,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACrC,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC;QAC1C,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,UAAU,CAAC;IAC/C,CAAC,CAAC;AACJ,CAAC;AAED,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,UAAU,EAAE,GAAG,EAAE;IACxB,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,GAAG,GAAG,IAAA,uBAAQ,EAAC,WAAW,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,GAAG,GAAG,IAAA,uBAAQ,EAAC,uCAAuC,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,IAAA,4BAAa,EAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,IAAA,uBAAQ,EAAC,wBAAwB,CAAC,CAAC;QAC7C,MAAM,CAAC,GAAG,IAAA,uBAAQ,EAAC,uBAAuB,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACrB,MAAM,CAAC,GAAG,IAAA,uBAAQ,EAAC,wBAAwB,CAAC,CAAC;QAC7C,MAAM,CAAC,GAAG,IAAA,uBAAQ,EAAC,wBAAwB,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IACvB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,gCAAgC;QAChC,MAAM,GAAG,GAAG,IAAA,uBAAQ,EAAC,qBAAqB,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,OAAO,CAAC;YAClB,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE;YACzE,KAAK,EAAE;gBACL,IAAI,EAAE,KAAK;gBACX,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE;gBACnD,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE;aACrD;SACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,uBAAQ,EAAC,UAAU,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAC7C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,uBAAQ,EAAC,aAAa,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,QAAQ,EAAE,GAAG,EAAE;IACtB,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,+EAA+E;QAC/E,MAAM,QAAQ,GAAG,IAAA,qBAAM,EAAC;YACtB,GAAG,QAAQ;YACX,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,uCAAuC,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;SAC9E,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,SAAS,GAAc;YAC3B,UAAU,EAAE;gBACV,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,QAAQ,CAAC,EAAE;gBACtC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE;aACjD;YACD,SAAS,EAAE,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC,MAAM,CAAC,EAAE;YAC9C,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,4BAA4B,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;SACnE,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,qBAAM,EAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,KAAK,GAAG,IAAA,6BAAc,EAAC,YAAY,CAAC,CAAC;QAC3C,iDAAiD;QACjD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,CAAC,CAAC,GAAG,IAAA,qBAAM,EAAC;YACjB,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;YACzC,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE;YACvB,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;SAC7C,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QACxB,MAAM,KAAK,GAAa,EAAE,WAAW,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QAC1D,MAAM,MAAM,GAAa,EAAE,WAAW,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAC5D,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,QAAQ,EAAE,GAAG,EAAE;IACtB,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,MAAM,GAAc;YACxB,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;YACzC,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE;YAC5B,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;SAC7C,CAAC;QACF,yEAAyE;QACzE,MAAM,CAAC,GAAa,EAAE,WAAW,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QACtE,IAAA,eAAM,EAAC,IAAA,qBAAM,EAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,QAAQ,GAAa;YACzB,WAAW,EAAE;gBACX,cAAc,EAAE,IAAI;gBACpB,aAAa,EAAE,IAAI;gBACnB,cAAc,EAAE,IAAI;gBACpB,aAAa,EAAE,IAAI;gBACnB,mBAAmB,EAAE,KAAK;gBAC1B,mBAAmB,EAAE,KAAK;gBAC1B,oBAAoB,EAAE,KAAK;gBAC3B,kBAAkB,EAAE,KAAK;aAC1B;SACF,CAAC;QACF,MAAM,OAAO,GAAa;YACxB,WAAW,EAAE;gBACX,cAAc,EAAE,KAAK;gBACrB,aAAa,EAAE,KAAK;gBACpB,cAAc,EAAE,KAAK;gBACrB,aAAa,EAAE,KAAK;gBACpB,mBAAmB,EAAE,KAAK;gBAC1B,mBAAmB,EAAE,KAAK;gBAC1B,oBAAoB,EAAE,KAAK;gBAC3B,kBAAkB,EAAE,KAAK;aAC1B;SACF,CAAC;QACF,MAAM,MAAM,GAAc;YACxB,UAAU,EAAE;gBACV,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,QAAQ,CAAC,EAAE;gBACrC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,QAAQ,CAAC,EAAE;gBACrC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE;aACjD;YACD,SAAS,EAAE,EAAE,MAAM,EAAE,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE;YACtC,QAAQ,EAAE;gBACR,EAAE,OAAO,EAAE,uBAAuB,EAAE,MAAM,EAAE,GAAG,EAAE;gBACjD,EAAE,OAAO,EAAE,uCAAuC,EAAE,MAAM,EAAE,GAAG,EAAE;gBACjE,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,GAAG,EAAE;aACtC;SACF,CAAC;QACF,MAAM,MAAM,GAAG,IAAA,qBAAM,EAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;QACxC,MAAM,QAAQ,GAAG,IAAA,qBAAM,EAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QACzC,6EAA6E;QAC7E,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,UAAU,GAAc;YAC5B,UAAU,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;YACzC,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE;YACvB,QAAQ,EAAE,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;SAClD,CAAC;QACF,MAAM,QAAQ,GAAa,EAAE,WAAW,EAAE,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAC9D,IAAA,eAAM,EAAC,IAAA,qBAAM,EAAC,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;QACpE,MAAM,SAAS,GAAa,EAAE,WAAW,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;QAC9D,6DAA6D;QAC7D,IAAA,eAAM,EAAC,IAAA,qBAAM,EAAC,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,CAAC,GAAG,IAAA,6BAAc,EAAC,YAAY,CAAC,CAAC;QACvC,MAAM,SAAS,GAAG,IAAA,6BAAc,EAAC,YAAY,CAAC,CAAC;QAC/C,sDAAsD;QACtD,MAAM,KAAK,GAAG,IAAA,6BAAc,EAAC,YAAY,CAAC,CAAC;QAC3C,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,MAAM,CAAC,GAAa,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;QACxC,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;YACpD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACpD,CAAC;YACD,KAAK,IAAI,IAAA,0BAAW,EAAC,YAAY,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3C,CAAC;QACD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChC,sBAAsB;QACtB,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;YAC/C,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;QAC9C,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,GAAG,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;QACxB,MAAM,QAAQ,GAAsB;YAClC,WAAW,EAAE,EAAE,cAAc,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE;SACjE,CAAC;QACF,MAAM,OAAO,GAAG,IAAA,0BAAW,EAAC,YAAY,EAAE,QAAQ,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;QAC9E,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,IAAA,eAAM,EAAC,CAAC,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjD,IAAA,eAAM,EAAC,CAAC,CAAC,WAAW,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,KAAK,GAAG,IAAA,6BAAc,EAAC,YAAY,CAAC,CAAC;QAC3C,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;QAC1B,MAAM,MAAM,GAAG,IAAA,6BAAc,EAAC,YAAY,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QAC5E,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACtC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAChE,wEAAwE;YACxE,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QAClC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yFAAyF,EAAE,GAAG,EAAE;QACjG,MAAM,EAAE,GAAG,IAAA,6BAAc,EAAC,YAAY,EAAE,EAAE,EAAE,IAAI,EAAE;YAChD,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC;YACf,MAAM,EAAE,GAAG;SACZ,CAAC,CAAC;QACH,MAAM,EAAE,GAAG,IAAA,6BAAc,EAAC,YAAY,EAAE,EAAE,EAAE,IAAI,EAAE;YAChD,GAAG,EAAE,OAAO,CAAC,CAAC,CAAC;YACf,MAAM,EAAE,GAAG;SACZ,CAAC,CAAC;QACH,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YAChC,IAAA,eAAM,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,6CAA6C;QAC5F,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QACzB,MAAM,SAAS,GAAsB;YACnC,WAAW,EAAE;gBACX,cAAc,EAAE,IAAI;gBACpB,mBAAmB,EAAE,IAAI;gBACzB,mBAAmB,EAAE,IAAI;gBACzB,oBAAoB,EAAE,KAAK;gBAC3B,kBAAkB,EAAE,KAAK;aAC1B;SACF,CAAC;QACF,MAAM,SAAS,GAAsB;YACnC,WAAW,EAAE;gBACX,cAAc,EAAE,KAAK;gBACrB,mBAAmB,EAAE,IAAI;gBACzB,mBAAmB,EAAE,IAAI;gBACzB,oBAAoB,EAAE,KAAK;gBAC3B,kBAAkB,EAAE,KAAK;aAC1B;SACF,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,6BAAc,EAAC,YAAY,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QAClF,MAAM,QAAQ,GAAG,IAAA,6BAAc,EAAC,YAAY,EAAE,SAAS,EAAE,IAAI,EAAE;YAC7D,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC;YACjB,MAAM,EAAE,GAAG;SACZ,CAAC,CAAC;QACH,iEAAiE;QACjE,IAAA,eAAM,EAAC,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,eAAe,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,GAAG,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;QACxB,MAAM,MAAM,GAAG,IAAA,2BAAY,EACzB,YAAY,EACZ,EAAE,EACF;YACE,GAAG;YACH,QAAQ,EAAE,IAAI;YACd,QAAQ,EAAE,CAAC;SACZ,CACF,CAAC;QACF,qDAAqD;QACrD,MAAM,KAAK,GAAG,IAAA,6BAAc,EAAC,YAAY,CAAC,CAAC;QAC3C,IAAI,SAAS,GAAG,MAAM,CAAC,iBAAiB,CAAC;QACzC,MAAM,CAAC,GAAa,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;QACxC,KAAK,IAAI,IAAI,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,CAAC;YACpD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBACtC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;YACpD,CAAC;YACD,MAAM,CAAC,GAAG,IAAA,qBAAM,EAAC,YAAY,EAAE,CAAC,CAAC,CAAC;YAClC,IAAI,CAAC,GAAG,SAAS;gBAAE,SAAS,GAAG,CAAC,CAAC;QACnC,CAAC;QACD,MAAM,KAAK,GAAG,IAAA,qBAAM,EAAC,YAAY,EAAE,MAAM,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,WAAW,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,MAAM,GAAc;YACxB,UAAU,EAAE;gBACV,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE;gBAC3B,EAAE,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE;aAC5B;YACD,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE;YACvB,QAAQ,EAAE;gBACR,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,2BAA2B;gBAClE,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,yBAAyB;aAC7D;SACF,CAAC;QACF,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;QACvB,MAAM,MAAM,GAAG,IAAA,2BAAY,EAAC,MAAM,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;QAC7E,IAAA,eAAM,EAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,GAAG,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;QACxB,MAAM,QAAQ,GAAsB;YAClC,WAAW,EAAE,EAAE,cAAc,EAAE,KAAK,EAAE,mBAAmB,EAAE,IAAI,EAAE;SAClE,CAAC;QACF,MAAM,MAAM,GAAG,IAAA,2BAAY,EAAC,YAAY,EAAE,QAAQ,EAAE,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;QACzF,IAAA,eAAM,EAAC,MAAM,CAAC,WAAW,CAAC,cAAc,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,MAAM,CAAC,WAAW,CAAC,mBAAmB,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,QAAQ,GAAG,IAAA,qBAAM,EAAC,QAAQ,CAAC,CAAC;QAClC,wEAAwE;QACxE,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,KAAK,GAAG,IAAA,6BAAc,EAAC,QAAQ,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/mltt/mltt.test.d.ts.map

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