@stevenvo780/st-lang 4.6.0 → 4.7.0

package/dist/tests/text-layer-v2/mdx-bridge/mdx-bridge.test.js

@@ -1,200 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-const vitest_1 = require("vitest");
-const v2_1 = require("../../../text-layer/v2");
-const mk = (id, formula = `F_${id}`, profile = 'classical.propositional', dependencies = []) => ({ id, formula, profile, dependencies });
-(0, vitest_1.describe)('mdxToClaims — comment style', () => {
-    (0, vitest_1.it)('extrae 2 claims comment-style con ids correctos', () => {
-        const mdx = [
-            '# Documento',
-            'Aquí afirmo que <!-- st:claim id="c1" profile="classical.propositional" formula="A->B" --> es válido.',
-            '',
-            'Y también que <!-- st:claim id="c2" profile="classical.propositional" formula="B->C" deps="c1" --> sigue.',
-        ].join('\n');
-        const claims = (0, v2_1.mdxToClaims)(mdx);
-        (0, vitest_1.expect)(claims).toHaveLength(2);
-        (0, vitest_1.expect)(claims.map((c) => c.id)).toEqual(['c1', 'c2']);
-        (0, vitest_1.expect)(claims[0]?.formula).toBe('A->B');
-        (0, vitest_1.expect)(claims[1]?.dependencies).toEqual(['c1']);
-        (0, vitest_1.expect)(claims[0]?.profile).toBe('classical.propositional');
-    });
-    (0, vitest_1.it)('soporta comillas simples y sin comillas en atributos', () => {
-        const mdx = `<!-- st:claim id='c1' profile=classical formula="A&B" -->`;
-        const claims = (0, v2_1.mdxToClaims)(mdx);
-        (0, vitest_1.expect)(claims).toHaveLength(1);
-        (0, vitest_1.expect)(claims[0]?.id).toBe('c1');
-        (0, vitest_1.expect)(claims[0]?.profile).toBe('classical');
-        (0, vitest_1.expect)(claims[0]?.formula).toBe('A&B');
-    });
-});
-(0, vitest_1.describe)('mdxToClaims — fence style', () => {
-    (0, vitest_1.it)('extrae 3 claims fence-style', () => {
-        const mdx = [
-            '# Doc',
-            '',
-            '```st-claim id=c1 profile=classical.propositional',
-            'A -> B',
-            '```',
-            '',
-            'Prosa intermedia.',
-            '',
-            '```st-claim id=c2 profile=classical.propositional deps=c1',
-            '(A -> B) & A',
-            '```',
-            '',
-            '```st-claim id=c3 profile=classical.propositional deps=c1,c2',
-            'B',
-            '```',
-        ].join('\n');
-        const claims = (0, v2_1.mdxToClaims)(mdx);
-        (0, vitest_1.expect)(claims).toHaveLength(3);
-        (0, vitest_1.expect)(claims.map((c) => c.id)).toEqual(['c1', 'c2', 'c3']);
-        (0, vitest_1.expect)(claims[2]?.dependencies).toEqual(['c1', 'c2']);
-        (0, vitest_1.expect)(claims[1]?.formula).toBe('(A -> B) & A');
-    });
-    (0, vitest_1.it)('preserva formula multi-línea en fence', () => {
-        const mdx = ['```st-claim id=c1 profile=p', 'A & B', '& C', '```'].join('\n');
-        const claims = (0, v2_1.mdxToClaims)(mdx);
-        (0, vitest_1.expect)(claims).toHaveLength(1);
-        (0, vitest_1.expect)(claims[0]?.formula).toBe('A & B\n& C');
-    });
-});
-(0, vitest_1.describe)('mdxToClaims — edge cases', () => {
-    (0, vitest_1.it)('MDX sin claims devuelve array vacío', () => {
-        (0, vitest_1.expect)((0, v2_1.mdxToClaims)('# Solo prosa\n\nNada aquí.')).toEqual([]);
-        (0, vitest_1.expect)((0, v2_1.mdxToClaims)('')).toEqual([]);
-    });
-    (0, vitest_1.it)('ignora bloque malformado sin id y acumula warning', () => {
-        const mdx = [
-            '<!-- st:claim profile="p" formula="A" -->', // sin id
-            '<!-- st:claim id="ok" profile="p" formula="B" -->',
-        ].join('\n');
-        const { claims, warnings } = (0, v2_1.mdxToClaimsDetailed)(mdx);
-        (0, vitest_1.expect)(claims).toHaveLength(1);
-        (0, vitest_1.expect)(claims[0]?.id).toBe('ok');
-        (0, vitest_1.expect)(warnings).toHaveLength(1);
-        (0, vitest_1.expect)(warnings[0]?.message).toMatch(/sin id/);
-    });
-    (0, vitest_1.it)('ignora fence sin profile y acumula warning', () => {
-        const mdx = ['```st-claim id=c1', 'A', '```'].join('\n');
-        const { claims, warnings } = (0, v2_1.mdxToClaimsDetailed)(mdx);
-        (0, vitest_1.expect)(claims).toHaveLength(0);
-        (0, vitest_1.expect)(warnings).toHaveLength(1);
-        (0, vitest_1.expect)(warnings[0]?.message).toMatch(/sin profile/);
-    });
-    (0, vitest_1.it)('ignora claim duplicada y acumula warning', () => {
-        const mdx = [
-            '<!-- st:claim id="c1" profile="p" formula="A" -->',
-            '<!-- st:claim id="c1" profile="p" formula="B" -->',
-        ].join('\n');
-        const { claims, warnings } = (0, v2_1.mdxToClaimsDetailed)(mdx);
-        (0, vitest_1.expect)(claims).toHaveLength(1);
-        (0, vitest_1.expect)(claims[0]?.formula).toBe('A');
-        (0, vitest_1.expect)(warnings.some((w) => /duplicado/.test(w.message))).toBe(true);
-    });
-    (0, vitest_1.it)('no lanza con MDX completamente roto', () => {
-        (0, vitest_1.expect)(() => (0, v2_1.mdxToClaims)('<!-- st:claim incompleto')).not.toThrow();
-        (0, vitest_1.expect)(() => (0, v2_1.mdxToClaims)('```st-claim sin-cierre\nA')).not.toThrow();
-    });
-    (0, vitest_1.it)('rawBlock preserva el texto original del bloque', () => {
-        const block = '<!-- st:claim id="c1" profile="p" formula="A" -->';
-        const claims = (0, v2_1.mdxToClaims)(`pre ${block} post`);
-        (0, vitest_1.expect)(claims[0]?.rawBlock).toBe(block);
-    });
-});
-(0, vitest_1.describe)('claimsToMDX', () => {
-    (0, vitest_1.it)('emite formato fence por default', () => {
-        const out = (0, v2_1.claimsToMDX)([mk('c1', 'A->B')]);
-        (0, vitest_1.expect)(out).toContain('```st-claim');
-        (0, vitest_1.expect)(out).toContain('id=c1');
-        (0, vitest_1.expect)(out).toContain('A->B');
-        (0, vitest_1.expect)(out.trim().endsWith('```')).toBe(true);
-    });
-    (0, vitest_1.it)('emite formato comment cuando se pide', () => {
-        const out = (0, v2_1.claimsToMDX)([mk('c1', 'A->B')], { template: 'comment' });
-        (0, vitest_1.expect)(out).toContain('<!-- st:claim');
-        (0, vitest_1.expect)(out).toContain('id="c1"');
-        (0, vitest_1.expect)(out).toContain('formula="A->B"');
-        (0, vitest_1.expect)(out).toContain('-->');
-    });
-    (0, vitest_1.it)('serializa dependencies como csv', () => {
-        const out = (0, v2_1.claimsToMDX)([mk('c2', 'B', 'p', ['c1', 'c0'])], { template: 'comment' });
-        (0, vitest_1.expect)(out).toContain('deps="c1,c0"');
-    });
-    (0, vitest_1.it)('omite deps cuando está vacío', () => {
-        const out = (0, v2_1.claimsToMDX)([mk('c1', 'A')], { template: 'comment' });
-        (0, vitest_1.expect)(out).not.toContain('deps=');
-    });
-});
-(0, vitest_1.describe)('round-trip claimsToMDX → mdxToClaims', () => {
-    const sample = [
-        mk('c1', 'A -> B', 'classical.propositional', []),
-        mk('c2', '(A -> B) & A', 'classical.propositional', ['c1']),
-        mk('c3', 'B', 'classical.propositional', ['c1', 'c2']),
-    ];
-    (0, vitest_1.it)('preserva claims con template fence', () => {
-        const mdx = (0, v2_1.claimsToMDX)(sample, { template: 'fence' });
-        const parsed = (0, v2_1.mdxToClaims)(mdx).map(v2_1.stripMDXMetadata);
-        (0, vitest_1.expect)(parsed).toEqual(sample);
-    });
-    (0, vitest_1.it)('preserva claims con template comment', () => {
-        const mdx = (0, v2_1.claimsToMDX)(sample, { template: 'comment' });
-        const parsed = (0, v2_1.mdxToClaims)(mdx).map(v2_1.stripMDXMetadata);
-        (0, vitest_1.expect)(parsed).toEqual(sample);
-    });
-});
-(0, vitest_1.describe)('diffMDX', () => {
-    (0, vitest_1.it)('detecta add, modify y remove correctamente', () => {
-        const before = (0, v2_1.claimsToMDX)([mk('c1', 'A', 'p', []), mk('c2', 'B', 'p', ['c1']), mk('c3', 'C', 'p', [])], { template: 'fence' });
-        const after = (0, v2_1.claimsToMDX)([
-            mk('c1', 'A', 'p', []), // sin cambios
-            mk('c2', 'B & X', 'p', ['c1']), // modificada
-            // c3 eliminada
-            mk('c4', 'D', 'p', ['c1']), // añadida
-        ], { template: 'fence' });
-        const delta = (0, v2_1.diffMDX)(before, after);
-        (0, vitest_1.expect)(delta.added.map((c) => c.id)).toEqual(['c4']);
-        (0, vitest_1.expect)(delta.removed).toEqual(['c3']);
-        (0, vitest_1.expect)(delta.modified.map((m) => m.id)).toEqual(['c2']);
-        (0, vitest_1.expect)(delta.modified[0]?.before.formula).toBe('B');
-        (0, vitest_1.expect)(delta.modified[0]?.after.formula).toBe('B & X');
-    });
-    (0, vitest_1.it)('cambio en profile cuenta como modified', () => {
-        const before = (0, v2_1.claimsToMDX)([mk('c1', 'A', 'classical.propositional', [])]);
-        const after = (0, v2_1.claimsToMDX)([mk('c1', 'A', 'intuitionistic.propositional', [])]);
-        const delta = (0, v2_1.diffMDX)(before, after);
-        (0, vitest_1.expect)(delta.modified).toHaveLength(1);
-        (0, vitest_1.expect)(delta.added).toEqual([]);
-        (0, vitest_1.expect)(delta.removed).toEqual([]);
-    });
-    (0, vitest_1.it)('cambio en dependencies cuenta como modified', () => {
-        const before = (0, v2_1.claimsToMDX)([mk('c1', 'A', 'p', ['x'])]);
-        const after = (0, v2_1.claimsToMDX)([mk('c1', 'A', 'p', ['x', 'y'])]);
-        const delta = (0, v2_1.diffMDX)(before, after);
-        (0, vitest_1.expect)(delta.modified).toHaveLength(1);
-        (0, vitest_1.expect)(delta.modified[0]?.after.dependencies).toEqual(['x', 'y']);
-    });
-    (0, vitest_1.it)('orden de dependencies no cuenta como modified', () => {
-        const before = (0, v2_1.claimsToMDX)([mk('c1', 'A', 'p', ['x', 'y'])]);
-        const after = (0, v2_1.claimsToMDX)([mk('c1', 'A', 'p', ['y', 'x'])]);
-        const delta = (0, v2_1.diffMDX)(before, after);
-        (0, vitest_1.expect)(delta.modified).toEqual([]);
-    });
-    (0, vitest_1.it)('MDX idéntico → delta vacío', () => {
-        const mdx = (0, v2_1.claimsToMDX)([mk('c1', 'A', 'p', []), mk('c2', 'B', 'p', ['c1'])]);
-        (0, vitest_1.expect)((0, v2_1.diffMDX)(mdx, mdx)).toEqual({ added: [], removed: [], modified: [] });
-    });
-    (0, vitest_1.it)('mezcla comment y fence en mismo MDX', () => {
-        const mdx = [
-            '<!-- st:claim id="c1" profile="p" formula="A" -->',
-            '',
-            '```st-claim id=c2 profile=p deps=c1',
-            'B',
-            '```',
-        ].join('\n');
-        const claims = (0, v2_1.mdxToClaims)(mdx);
-        (0, vitest_1.expect)(claims).toHaveLength(2);
-        (0, vitest_1.expect)(claims.map((c) => c.id)).toEqual(['c1', 'c2']);
-    });
-});
-//# sourceMappingURL=mdx-bridge.test.js.map

package/dist/tests/text-layer-v2/mdx-bridge/mdx-bridge.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"mdx-bridge.test.js","sourceRoot":"","sources":["../../../../src/tests/text-layer-v2/mdx-bridge/mdx-bridge.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAE9C,+CAOgC;AAEhC,MAAM,EAAE,GAAG,CACT,EAAU,EACV,OAAO,GAAG,KAAK,EAAE,EAAE,EACnB,OAAO,GAAG,yBAAyB,EACnC,eAAyB,EAAE,EACpB,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,CAAC;AAErD,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,GAAG,GAAG;YACV,aAAa;YACb,uGAAuG;YACvG,EAAE;YACF,2GAA2G;SAC5G,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEb,MAAM,MAAM,GAAG,IAAA,gBAAW,EAAC,GAAG,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,GAAG,GAAG,2DAA2D,CAAC;QACxE,MAAM,MAAM,GAAG,IAAA,gBAAW,EAAC,GAAG,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,GAAG,GAAG;YACV,OAAO;YACP,EAAE;YACF,mDAAmD;YACnD,QAAQ;YACR,KAAK;YACL,EAAE;YACF,mBAAmB;YACnB,EAAE;YACF,2DAA2D;YAC3D,cAAc;YACd,KAAK;YACL,EAAE;YACF,8DAA8D;YAC9D,GAAG;YACH,KAAK;SACN,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEb,MAAM,MAAM,GAAG,IAAA,gBAAW,EAAC,GAAG,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,GAAG,GAAG,CAAC,6BAA6B,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9E,MAAM,MAAM,GAAG,IAAA,gBAAW,EAAC,GAAG,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,IAAA,eAAM,EAAC,IAAA,gBAAW,EAAC,4BAA4B,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,IAAA,gBAAW,EAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,GAAG,GAAG;YACV,2CAA2C,EAAE,SAAS;YACtD,mDAAmD;SACpD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,IAAA,wBAAmB,EAAC,GAAG,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,GAAG,GAAG,CAAC,mBAAmB,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,IAAA,wBAAmB,EAAC,GAAG,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,GAAG,GAAG;YACV,mDAAmD;YACnD,mDAAmD;SACpD,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,IAAA,wBAAmB,EAAC,GAAG,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,gBAAW,EAAC,0BAA0B,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;QACpE,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,gBAAW,EAAC,2BAA2B,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,KAAK,GAAG,mDAAmD,CAAC;QAClE,MAAM,MAAM,GAAG,IAAA,gBAAW,EAAC,OAAO,KAAK,OAAO,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,GAAG,GAAG,IAAA,gBAAW,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,GAAG,GAAG,IAAA,gBAAW,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;QACrE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,GAAG,GAAG,IAAA,gBAAW,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;QACrF,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,GAAG,GAAG,IAAA,gBAAW,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,MAAM,MAAM,GAAY;QACtB,EAAE,CAAC,IAAI,EAAE,QAAQ,EAAE,yBAAyB,EAAE,EAAE,CAAC;QACjD,EAAE,CAAC,IAAI,EAAE,cAAc,EAAE,yBAAyB,EAAE,CAAC,IAAI,CAAC,CAAC;QAC3D,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,yBAAyB,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;KACvD,CAAC;IAEF,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,GAAG,GAAG,IAAA,gBAAW,EAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;QACvD,MAAM,MAAM,GAAG,IAAA,gBAAW,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,qBAAgB,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,GAAG,GAAG,IAAA,gBAAW,EAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;QACzD,MAAM,MAAM,GAAG,IAAA,gBAAW,EAAC,GAAG,CAAC,CAAC,GAAG,CAAC,qBAAgB,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,SAAS,EAAE,GAAG,EAAE;IACvB,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,MAAM,GAAG,IAAA,gBAAW,EACxB,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,EAC5E,EAAE,QAAQ,EAAE,OAAO,EAAE,CACtB,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,gBAAW,EACvB;YACE,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,cAAc;YACtC,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,aAAa;YAC7C,eAAe;YACf,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,EAAE,UAAU;SACvC,EACD,EAAE,QAAQ,EAAE,OAAO,EAAE,CACtB,CAAC;QAEF,MAAM,KAAK,GAAG,IAAA,YAAO,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,MAAM,GAAG,IAAA,gBAAW,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,yBAAyB,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3E,MAAM,KAAK,GAAG,IAAA,gBAAW,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,8BAA8B,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/E,MAAM,KAAK,GAAG,IAAA,YAAO,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,MAAM,GAAG,IAAA,gBAAW,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,KAAK,GAAG,IAAA,gBAAW,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,MAAM,KAAK,GAAG,IAAA,YAAO,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,MAAM,GAAG,IAAA,gBAAW,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7D,MAAM,KAAK,GAAG,IAAA,gBAAW,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5D,MAAM,KAAK,GAAG,IAAA,YAAO,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,GAAG,GAAG,IAAA,gBAAW,EAAC,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9E,IAAA,eAAM,EAAC,IAAA,YAAO,EAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,GAAG,GAAG;YACV,mDAAmD;YACnD,EAAE;YACF,qCAAqC;YACrC,GAAG;YACH,KAAK;SACN,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,MAAM,MAAM,GAAG,IAAA,gBAAW,EAAC,GAAG,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/time-travel/snapshot.test.d.ts.map

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

package/dist/tests/time-travel/snapshot.test.js

@@ -1,75 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-const vitest_1 = require("vitest");
-const snapshot_1 = require("../../time-travel/snapshot");
-function makeState(overrides) {
-    return {
-        declarations: [{ kind: 'axiom', name: 'P', formula: 'P → Q' }],
-        activeProfile: 'classical',
-        evaluatedFormulas: [
-            { formula: 'P → Q', profile: 'classical', result: true, ts: new Date().toISOString() },
-        ],
-        countermodels: [],
-        ...overrides,
-    };
-}
-(0, vitest_1.describe)('captureSnapshot', () => {
-    (0, vitest_1.it)('rellena id, createdAt y version', () => {
-        const snap = (0, snapshot_1.captureSnapshot)(makeState());
-        (0, vitest_1.expect)(snap.id).toMatch(/^[0-9a-f]{8}-[0-9a-f]{4}-4[0-9a-f]{3}-[89ab][0-9a-f]{3}-[0-9a-f]{12}$/i);
-        (0, vitest_1.expect)(snap.version).toBe('1.0');
-        (0, vitest_1.expect)(snap.createdAt).toBeTruthy();
-        (0, vitest_1.expect)(new Date(snap.createdAt).toISOString()).toBe(snap.createdAt);
-    });
-    (0, vitest_1.it)('preserva el estado proporcionado', () => {
-        const state = makeState();
-        const snap = (0, snapshot_1.captureSnapshot)(state);
-        (0, vitest_1.expect)(snap.state.activeProfile).toBe('classical');
-        (0, vitest_1.expect)(snap.state.declarations).toHaveLength(1);
-        const firstDecl = snap.state.declarations[0];
-        (0, vitest_1.expect)(firstDecl?.name).toBe('P');
-        (0, vitest_1.expect)(snap.state.evaluatedFormulas).toHaveLength(1);
-    });
-    (0, vitest_1.it)('acepta opts opcionales: parentId, tags, message', () => {
-        const snap = (0, snapshot_1.captureSnapshot)(makeState(), {
-            parentId: 'parent-uuid',
-            tags: ['baseline', 'test'],
-            message: 'estado inicial',
-        });
-        (0, vitest_1.expect)(snap.parentId).toBe('parent-uuid');
-        (0, vitest_1.expect)(snap.tags).toEqual(['baseline', 'test']);
-        (0, vitest_1.expect)(snap.message).toBe('estado inicial');
-    });
-    (0, vitest_1.it)('sin opts opcionales: parentId, tags y message son undefined', () => {
-        const snap = (0, snapshot_1.captureSnapshot)(makeState());
-        (0, vitest_1.expect)(snap.parentId).toBeUndefined();
-        (0, vitest_1.expect)(snap.tags).toBeUndefined();
-        (0, vitest_1.expect)(snap.message).toBeUndefined();
-    });
-    (0, vitest_1.it)('cada llamada genera un id único', () => {
-        const state = makeState();
-        const ids = new Set(Array.from({ length: 10 }, () => (0, snapshot_1.captureSnapshot)(state).id));
-        (0, vitest_1.expect)(ids.size).toBe(10);
-    });
-    (0, vitest_1.it)('el snapshot es una copia profunda: mutar el estado original no afecta el snapshot', () => {
-        const state = makeState();
-        const snap = (0, snapshot_1.captureSnapshot)(state);
-        const firstDecl = state.declarations[0];
-        if (firstDecl)
-            firstDecl.formula = 'MUTADO';
-        state.activeProfile = 'modal';
-        (0, vitest_1.expect)(snap.state.declarations[0]?.formula).toBe('P → Q');
-        (0, vitest_1.expect)(snap.state.activeProfile).toBe('classical');
-    });
-    (0, vitest_1.it)('countermodels se preservan correctamente', () => {
-        const state = makeState({
-            countermodels: [{ formula: '¬P', assignments: { P: false } }],
-        });
-        const snap = (0, snapshot_1.captureSnapshot)(state);
-        (0, vitest_1.expect)(snap.state.countermodels).toHaveLength(1);
-        const cm = snap.state.countermodels?.[0];
-        (0, vitest_1.expect)(cm?.formula).toBe('¬P');
-        (0, vitest_1.expect)(cm?.assignments['P']).toBe(false);
-    });
-});
-//# sourceMappingURL=snapshot.test.js.map

package/dist/tests/time-travel/snapshot.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"snapshot.test.js","sourceRoot":"","sources":["../../../src/tests/time-travel/snapshot.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,yDAA6D;AAG7D,SAAS,SAAS,CAAC,SAAoC;IACrD,OAAO;QACL,YAAY,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;QAC9D,aAAa,EAAE,WAAW;QAC1B,iBAAiB,EAAE;YACjB,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE;SACvF;QACD,aAAa,EAAE,EAAE;QACjB,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED,IAAA,iBAAQ,EAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,IAAI,GAAG,IAAA,0BAAe,EAAC,SAAS,EAAE,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAI,CAAC,EAAE,CAAC,CAAC,OAAO,CACrB,wEAAwE,CACzE,CAAC;QACF,IAAA,eAAM,EAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAI,CAAC,SAAS,CAAC,CAAC,UAAU,EAAE,CAAC;QACpC,IAAA,eAAM,EAAC,IAAI,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,KAAK,GAAG,SAAS,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,IAAA,0BAAe,EAAC,KAAK,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAChD,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,SAAS,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,IAAI,GAAG,IAAA,0BAAe,EAAC,SAAS,EAAE,EAAE;YACxC,QAAQ,EAAE,aAAa;YACvB,IAAI,EAAE,CAAC,UAAU,EAAE,MAAM,CAAC;YAC1B,OAAO,EAAE,gBAAgB;SAC1B,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,IAAI,GAAG,IAAA,0BAAe,EAAC,SAAS,EAAE,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,aAAa,EAAE,CAAC;QACtC,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,OAAO,CAAC,CAAC,aAAa,EAAE,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,KAAK,GAAG,SAAS,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,IAAA,0BAAe,EAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACjF,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mFAAmF,EAAE,GAAG,EAAE;QAC3F,MAAM,KAAK,GAAG,SAAS,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,IAAA,0BAAe,EAAC,KAAK,CAAC,CAAC;QACpC,MAAM,SAAS,GAAG,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACxC,IAAI,SAAS;YAAE,SAAS,CAAC,OAAO,GAAG,QAAQ,CAAC;QAC5C,KAAK,CAAC,aAAa,GAAG,OAAO,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,KAAK,GAAG,SAAS,CAAC;YACtB,aAAa,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;SAC9D,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,IAAA,0BAAe,EAAC,KAAK,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACjD,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,EAAE,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,EAAE,EAAE,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/time-travel/store.test.d.ts.map

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

package/dist/tests/time-travel/store.test.js

@@ -1,242 +0,0 @@
-"use strict";
-var __importDefault = (this && this.__importDefault) || function (mod) {
-    return (mod && mod.__esModule) ? mod : { "default": mod };
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-const vitest_1 = require("vitest");
-const fs_1 = require("fs");
-const path_1 = __importDefault(require("path"));
-const os_1 = __importDefault(require("os"));
-const store_1 = require("../../time-travel/store");
-const snapshot_1 = require("../../time-travel/snapshot");
-function makeState(profile = 'classical') {
-    return {
-        declarations: [{ kind: 'axiom', name: 'A', formula: 'A → B' }],
-        activeProfile: profile,
-        evaluatedFormulas: [{ formula: 'A → B', profile, result: true, ts: new Date().toISOString() }],
-        countermodels: [],
-    };
-}
-(0, vitest_1.describe)('SnapshotStore — save/load roundtrip', () => {
-    let tmpDir;
-    let store;
-    (0, vitest_1.beforeEach)(async () => {
-        tmpDir = await fs_1.promises.mkdtemp(path_1.default.join(os_1.default.tmpdir(), 'st-snapshots-test-'));
-        store = new store_1.SnapshotStore({ rootDir: tmpDir });
-    });
-    (0, vitest_1.afterEach)(async () => {
-        await fs_1.promises.rm(tmpDir, { recursive: true, force: true });
-    });
-    (0, vitest_1.it)('save → load preserva el snapshot completo', async () => {
-        const snap = (0, snapshot_1.captureSnapshot)(makeState(), { message: 'test message', tags: ['v1'] });
-        await store.save(snap);
-        const loaded = await store.load(snap.id);
-        (0, vitest_1.expect)(loaded).toBeDefined();
-        (0, vitest_1.expect)(loaded?.id).toBe(snap.id);
-        (0, vitest_1.expect)(loaded?.version).toBe('1.0');
-        (0, vitest_1.expect)(loaded?.message).toBe('test message');
-        (0, vitest_1.expect)(loaded?.tags).toEqual(['v1']);
-        (0, vitest_1.expect)(loaded?.state.activeProfile).toBe('classical');
-        (0, vitest_1.expect)(loaded?.state.declarations[0]?.formula).toBe('A → B');
-    });
-    (0, vitest_1.it)('load de id inexistente devuelve undefined', async () => {
-        const result = await store.load('non-existent-id');
-        (0, vitest_1.expect)(result).toBeUndefined();
-    });
-    (0, vitest_1.it)('sobrescribir un snapshot con el mismo id actualiza el archivo', async () => {
-        const snap = (0, snapshot_1.captureSnapshot)(makeState(), { message: 'original' });
-        await store.save(snap);
-        const updated = { ...snap, message: 'updated' };
-        await store.save(updated);
-        const loaded = await store.load(snap.id);
-        (0, vitest_1.expect)(loaded?.message).toBe('updated');
-    });
-});
-(0, vitest_1.describe)('SnapshotStore — list', () => {
-    let tmpDir;
-    let store;
-    (0, vitest_1.beforeEach)(async () => {
-        tmpDir = await fs_1.promises.mkdtemp(path_1.default.join(os_1.default.tmpdir(), 'st-snapshots-list-'));
-        store = new store_1.SnapshotStore({ rootDir: tmpDir });
-    });
-    (0, vitest_1.afterEach)(async () => {
-        await fs_1.promises.rm(tmpDir, { recursive: true, force: true });
-    });
-    (0, vitest_1.it)('list devuelve lista vacía si no hay snapshots', async () => {
-        const result = await store.list();
-        (0, vitest_1.expect)(result).toEqual([]);
-    });
-    (0, vitest_1.it)('list devuelve snapshots ordenados por createdAt desc', async () => {
-        const snap1 = (0, snapshot_1.captureSnapshot)(makeState(), { message: 'first' });
-        await new Promise((r) => setTimeout(r, 5));
-        const snap2 = (0, snapshot_1.captureSnapshot)(makeState(), { message: 'second' });
-        await new Promise((r) => setTimeout(r, 5));
-        const snap3 = (0, snapshot_1.captureSnapshot)(makeState(), { message: 'third' });
-        await store.save(snap1);
-        await store.save(snap2);
-        await store.save(snap3);
-        const list = await store.list();
-        (0, vitest_1.expect)(list).toHaveLength(3);
-        (0, vitest_1.expect)(new Date(list[0]?.createdAt ?? '').getTime()).toBeGreaterThanOrEqual(new Date(list[1]?.createdAt ?? '').getTime());
-        (0, vitest_1.expect)(new Date(list[1]?.createdAt ?? '').getTime()).toBeGreaterThanOrEqual(new Date(list[2]?.createdAt ?? '').getTime());
-    });
-    (0, vitest_1.it)('list incluye id, createdAt, message y tags', async () => {
-        const snap = (0, snapshot_1.captureSnapshot)(makeState(), { message: 'check-fields', tags: ['tag1'] });
-        await store.save(snap);
-        const list = await store.list();
-        (0, vitest_1.expect)(list[0]?.id).toBe(snap.id);
-        (0, vitest_1.expect)(list[0]?.message).toBe('check-fields');
-        (0, vitest_1.expect)(list[0]?.tags).toEqual(['tag1']);
-    });
-    (0, vitest_1.it)('list ignora archivos que no son .json', async () => {
-        await fs_1.promises.writeFile(path_1.default.join(tmpDir, 'README.txt'), 'not a snapshot');
-        const snap = (0, snapshot_1.captureSnapshot)(makeState());
-        await store.save(snap);
-        const list = await store.list();
-        (0, vitest_1.expect)(list).toHaveLength(1);
-    });
-    (0, vitest_1.it)('list devuelve lista vacía si el directorio no existe', async () => {
-        const emptyStore = new store_1.SnapshotStore({ rootDir: path_1.default.join(tmpDir, 'nonexistent') });
-        const result = await emptyStore.list();
-        (0, vitest_1.expect)(result).toEqual([]);
-    });
-});
-(0, vitest_1.describe)('SnapshotStore — delete', () => {
-    let tmpDir;
-    let store;
-    (0, vitest_1.beforeEach)(async () => {
-        tmpDir = await fs_1.promises.mkdtemp(path_1.default.join(os_1.default.tmpdir(), 'st-snapshots-del-'));
-        store = new store_1.SnapshotStore({ rootDir: tmpDir });
-    });
-    (0, vitest_1.afterEach)(async () => {
-        await fs_1.promises.rm(tmpDir, { recursive: true, force: true });
-    });
-    (0, vitest_1.it)('delete elimina el snapshot del disco', async () => {
-        const snap = (0, snapshot_1.captureSnapshot)(makeState());
-        await store.save(snap);
-        await store.delete(snap.id);
-        const loaded = await store.load(snap.id);
-        (0, vitest_1.expect)(loaded).toBeUndefined();
-    });
-    (0, vitest_1.it)('delete de id inexistente no lanza error', async () => {
-        await (0, vitest_1.expect)(store.delete('ghost-id')).resolves.toBeUndefined();
-    });
-    (0, vitest_1.it)('delete no afecta otros snapshots', async () => {
-        const snapA = (0, snapshot_1.captureSnapshot)(makeState(), { message: 'A' });
-        const snapB = (0, snapshot_1.captureSnapshot)(makeState(), { message: 'B' });
-        await store.save(snapA);
-        await store.save(snapB);
-        await store.delete(snapA.id);
-        (0, vitest_1.expect)(await store.load(snapA.id)).toBeUndefined();
-        (0, vitest_1.expect)(await store.load(snapB.id)).toBeDefined();
-        const list = await store.list();
-        (0, vitest_1.expect)(list).toHaveLength(1);
-        (0, vitest_1.expect)(list[0]?.id).toBe(snapB.id);
-    });
-});
-(0, vitest_1.describe)('SnapshotStore — diff', () => {
-    let tmpDir;
-    let store;
-    (0, vitest_1.beforeEach)(async () => {
-        tmpDir = await fs_1.promises.mkdtemp(path_1.default.join(os_1.default.tmpdir(), 'st-snapshots-diff-'));
-        store = new store_1.SnapshotStore({ rootDir: tmpDir });
-    });
-    (0, vitest_1.afterEach)(async () => {
-        await fs_1.promises.rm(tmpDir, { recursive: true, force: true });
-    });
-    (0, vitest_1.it)('diff identifica declaraciones añadidas en B', async () => {
-        const stateA = {
-            declarations: [{ kind: 'axiom', name: 'P', formula: 'P' }],
-            activeProfile: 'classical',
-            evaluatedFormulas: [],
-        };
-        const stateB = {
-            declarations: [
-                { kind: 'axiom', name: 'P', formula: 'P' },
-                { kind: 'theorem', name: 'Q', formula: 'Q' },
-            ],
-            activeProfile: 'classical',
-            evaluatedFormulas: [],
-        };
-        const snapA = (0, snapshot_1.captureSnapshot)(stateA);
-        const snapB = (0, snapshot_1.captureSnapshot)(stateB);
-        await store.save(snapA);
-        await store.save(snapB);
-        const d = await store.diff(snapA.id, snapB.id);
-        (0, vitest_1.expect)(d.addedDeclarations).toHaveLength(1);
-        (0, vitest_1.expect)(d.addedDeclarations[0]?.name).toBe('Q');
-        (0, vitest_1.expect)(d.removedDeclarations).toHaveLength(0);
-    });
-    (0, vitest_1.it)('diff identifica declaraciones removidas en B', async () => {
-        const stateA = {
-            declarations: [
-                { kind: 'axiom', name: 'P', formula: 'P' },
-                { kind: 'axiom', name: 'R', formula: 'R' },
-            ],
-            activeProfile: 'classical',
-            evaluatedFormulas: [],
-        };
-        const stateB = {
-            declarations: [{ kind: 'axiom', name: 'P', formula: 'P' }],
-            activeProfile: 'classical',
-            evaluatedFormulas: [],
-        };
-        const snapA = (0, snapshot_1.captureSnapshot)(stateA);
-        const snapB = (0, snapshot_1.captureSnapshot)(stateB);
-        await store.save(snapA);
-        await store.save(snapB);
-        const d = await store.diff(snapA.id, snapB.id);
-        (0, vitest_1.expect)(d.removedDeclarations).toHaveLength(1);
-        (0, vitest_1.expect)(d.removedDeclarations[0]?.name).toBe('R');
-        (0, vitest_1.expect)(d.addedDeclarations).toHaveLength(0);
-    });
-    (0, vitest_1.it)('diff detecta cambio de perfil activo', async () => {
-        const snapA = (0, snapshot_1.captureSnapshot)(makeState('classical'));
-        const snapB = (0, snapshot_1.captureSnapshot)(makeState('modal'));
-        await store.save(snapA);
-        await store.save(snapB);
-        const d = await store.diff(snapA.id, snapB.id);
-        (0, vitest_1.expect)(d.profileChanged).toEqual({ from: 'classical', to: 'modal' });
-    });
-    (0, vitest_1.it)('diff sin cambios devuelve diff vacío', async () => {
-        const state = makeState();
-        const snapA = (0, snapshot_1.captureSnapshot)(state);
-        const snapB = (0, snapshot_1.captureSnapshot)(state);
-        await store.save(snapA);
-        await store.save(snapB);
-        const d = await store.diff(snapA.id, snapB.id);
-        (0, vitest_1.expect)(d.addedDeclarations).toHaveLength(0);
-        (0, vitest_1.expect)(d.removedDeclarations).toHaveLength(0);
-        (0, vitest_1.expect)(d.modifiedFormulas).toHaveLength(0);
-        (0, vitest_1.expect)(d.profileChanged).toBeUndefined();
-    });
-    (0, vitest_1.it)('diff detecta fórmulas cuyo perfil cambió', async () => {
-        const ts = new Date().toISOString();
-        const stateA = {
-            declarations: [],
-            activeProfile: 'classical',
-            evaluatedFormulas: [{ formula: 'A ∧ B', profile: 'classical', result: true, ts }],
-        };
-        const stateB = {
-            declarations: [],
-            activeProfile: 'classical',
-            evaluatedFormulas: [{ formula: 'A ∧ B', profile: 'modal', result: true, ts }],
-        };
-        const snapA = (0, snapshot_1.captureSnapshot)(stateA);
-        const snapB = (0, snapshot_1.captureSnapshot)(stateB);
-        await store.save(snapA);
-        await store.save(snapB);
-        const d = await store.diff(snapA.id, snapB.id);
-        (0, vitest_1.expect)(d.modifiedFormulas).toHaveLength(1);
-        (0, vitest_1.expect)(d.modifiedFormulas[0]?.formula).toBe('A ∧ B');
-        (0, vitest_1.expect)(d.modifiedFormulas[0]?.before).toBe('classical');
-        (0, vitest_1.expect)(d.modifiedFormulas[0]?.after).toBe('modal');
-    });
-    (0, vitest_1.it)('diff lanza error si alguno de los snapshots no existe', async () => {
-        const snap = (0, snapshot_1.captureSnapshot)(makeState());
-        await store.save(snap);
-        await (0, vitest_1.expect)(store.diff(snap.id, 'missing-id')).rejects.toThrow('Snapshot not found');
-        await (0, vitest_1.expect)(store.diff('missing-id', snap.id)).rejects.toThrow('Snapshot not found');
-    });
-});
-//# sourceMappingURL=store.test.js.map

package/dist/tests/time-travel/store.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"store.test.js","sourceRoot":"","sources":["../../../src/tests/time-travel/store.test.ts"],"names":[],"mappings":";;;;;AAAA,mCAAqE;AACrE,2BAAqC;AACrC,gDAAwB;AACxB,4CAAoB;AACpB,mDAAwD;AACxD,yDAA6D;AAG7D,SAAS,SAAS,CAAC,OAAO,GAAG,WAAW;IACtC,OAAO;QACL,YAAY,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;QAC9D,aAAa,EAAE,OAAO;QACtB,iBAAiB,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;QAC9F,aAAa,EAAE,EAAE;KAClB,CAAC;AACJ,CAAC;AAED,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,IAAI,MAAc,CAAC;IACnB,IAAI,KAAoB,CAAC;IAEzB,IAAA,mBAAU,EAAC,KAAK,IAAI,EAAE;QACpB,MAAM,GAAG,MAAM,aAAG,CAAC,OAAO,CAAC,cAAI,CAAC,IAAI,CAAC,YAAE,CAAC,MAAM,EAAE,EAAE,oBAAoB,CAAC,CAAC,CAAC;QACzE,KAAK,GAAG,IAAI,qBAAa,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,kBAAS,EAAC,KAAK,IAAI,EAAE;QACnB,MAAM,aAAG,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,KAAK,IAAI,EAAE;QACzD,MAAM,IAAI,GAAG,IAAA,0BAAe,EAAC,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACrF,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvB,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,MAAM,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,MAAM,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,MAAM,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,MAAM,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,MAAM,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,KAAK,IAAI,EAAE;QACzD,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,aAAa,EAAE,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,KAAK,IAAI,EAAE;QAC7E,MAAM,IAAI,GAAG,IAAA,0BAAe,EAAC,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,CAAC;QACnE,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvB,MAAM,OAAO,GAAG,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;QAChD,MAAM,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC1B,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,MAAM,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,IAAI,MAAc,CAAC;IACnB,IAAI,KAAoB,CAAC;IAEzB,IAAA,mBAAU,EAAC,KAAK,IAAI,EAAE;QACpB,MAAM,GAAG,MAAM,aAAG,CAAC,OAAO,CAAC,cAAI,CAAC,IAAI,CAAC,YAAE,CAAC,MAAM,EAAE,EAAE,oBAAoB,CAAC,CAAC,CAAC;QACzE,KAAK,GAAG,IAAI,qBAAa,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,kBAAS,EAAC,KAAK,IAAI,EAAE;QACnB,MAAM,aAAG,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,KAAK,IAAI,EAAE;QAC7D,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC;QAClC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,KAAK,IAAI,EAAE;QACpE,MAAM,KAAK,GAAG,IAAA,0BAAe,EAAC,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;QACjE,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,KAAK,GAAG,IAAA,0BAAe,EAAC,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;QAClE,MAAM,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,KAAK,GAAG,IAAA,0BAAe,EAAC,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;QAEjE,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAExB,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC;QAChC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,sBAAsB,CACzE,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,CAC7C,CAAC;QACF,IAAA,eAAM,EAAC,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,sBAAsB,CACzE,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,SAAS,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,CAC7C,CAAC;IACJ,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,KAAK,IAAI,EAAE;QAC1D,MAAM,IAAI,GAAG,IAAA,0BAAe,EAAC,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACvF,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvB,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC;QAChC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,KAAK,IAAI,EAAE;QACrD,MAAM,aAAG,CAAC,SAAS,CAAC,cAAI,CAAC,IAAI,CAAC,MAAM,EAAE,YAAY,CAAC,EAAE,gBAAgB,CAAC,CAAC;QACvE,MAAM,IAAI,GAAG,IAAA,0BAAe,EAAC,SAAS,EAAE,CAAC,CAAC;QAC1C,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvB,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC;QAChC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,KAAK,IAAI,EAAE;QACpE,MAAM,UAAU,GAAG,IAAI,qBAAa,CAAC,EAAE,OAAO,EAAE,cAAI,CAAC,IAAI,CAAC,MAAM,EAAE,aAAa,CAAC,EAAE,CAAC,CAAC;QACpF,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,IAAI,EAAE,CAAC;QACvC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,IAAI,MAAc,CAAC;IACnB,IAAI,KAAoB,CAAC;IAEzB,IAAA,mBAAU,EAAC,KAAK,IAAI,EAAE;QACpB,MAAM,GAAG,MAAM,aAAG,CAAC,OAAO,CAAC,cAAI,CAAC,IAAI,CAAC,YAAE,CAAC,MAAM,EAAE,EAAE,mBAAmB,CAAC,CAAC,CAAC;QACxE,KAAK,GAAG,IAAI,qBAAa,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,kBAAS,EAAC,KAAK,IAAI,EAAE;QACnB,MAAM,aAAG,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,KAAK,IAAI,EAAE;QACpD,MAAM,IAAI,GAAG,IAAA,0BAAe,EAAC,SAAS,EAAE,CAAC,CAAC;QAC1C,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvB,MAAM,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC5B,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,aAAa,EAAE,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,KAAK,IAAI,EAAE;QACvD,MAAM,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,KAAK,IAAI,EAAE;QAChD,MAAM,KAAK,GAAG,IAAA,0BAAe,EAAC,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC;QAC7D,MAAM,KAAK,GAAG,IAAA,0BAAe,EAAC,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC;QAC7D,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,MAAM,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;QACnD,IAAA,eAAM,EAAC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QACjD,MAAM,IAAI,GAAG,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC;QAChC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,IAAI,MAAc,CAAC;IACnB,IAAI,KAAoB,CAAC;IAEzB,IAAA,mBAAU,EAAC,KAAK,IAAI,EAAE;QACpB,MAAM,GAAG,MAAM,aAAG,CAAC,OAAO,CAAC,cAAI,CAAC,IAAI,CAAC,YAAE,CAAC,MAAM,EAAE,EAAE,oBAAoB,CAAC,CAAC,CAAC;QACzE,KAAK,GAAG,IAAI,qBAAa,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,kBAAS,EAAC,KAAK,IAAI,EAAE;QACnB,MAAM,aAAG,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,KAAK,IAAI,EAAE;QAC3D,MAAM,MAAM,GAAoB;YAC9B,YAAY,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;YAC1D,aAAa,EAAE,WAAW;YAC1B,iBAAiB,EAAE,EAAE;SACtB,CAAC;QACF,MAAM,MAAM,GAAoB;YAC9B,YAAY,EAAE;gBACZ,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE;gBAC1C,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE;aAC7C;YACD,aAAa,EAAE,WAAW;YAC1B,iBAAiB,EAAE,EAAE;SACtB,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,0BAAe,EAAC,MAAM,CAAC,CAAC;QACtC,MAAM,KAAK,GAAG,IAAA,0BAAe,EAAC,MAAM,CAAC,CAAC;QACtC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAExB,MAAM,CAAC,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,KAAK,IAAI,EAAE;QAC5D,MAAM,MAAM,GAAoB;YAC9B,YAAY,EAAE;gBACZ,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE;gBAC1C,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE;aAC3C;YACD,aAAa,EAAE,WAAW;YAC1B,iBAAiB,EAAE,EAAE;SACtB,CAAC;QACF,MAAM,MAAM,GAAoB;YAC9B,YAAY,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC;YAC1D,aAAa,EAAE,WAAW;YAC1B,iBAAiB,EAAE,EAAE;SACtB,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,0BAAe,EAAC,MAAM,CAAC,CAAC;QACtC,MAAM,KAAK,GAAG,IAAA,0BAAe,EAAC,MAAM,CAAC,CAAC;QACtC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAExB,MAAM,CAAC,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,KAAK,IAAI,EAAE;QACpD,MAAM,KAAK,GAAG,IAAA,0BAAe,EAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC;QACtD,MAAM,KAAK,GAAG,IAAA,0BAAe,EAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;QAClD,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAExB,MAAM,CAAC,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,CAAC,CAAC,cAAc,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,KAAK,IAAI,EAAE;QACpD,MAAM,KAAK,GAAG,SAAS,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,IAAA,0BAAe,EAAC,KAAK,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,IAAA,0BAAe,EAAC,KAAK,CAAC,CAAC;QACrC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAExB,MAAM,CAAC,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,CAAC,CAAC,cAAc,CAAC,CAAC,aAAa,EAAE,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,KAAK,IAAI,EAAE;QACxD,MAAM,EAAE,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;QACpC,MAAM,MAAM,GAAoB;YAC9B,YAAY,EAAE,EAAE;YAChB,aAAa,EAAE,WAAW;YAC1B,iBAAiB,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;SAClF,CAAC;QACF,MAAM,MAAM,GAAoB;YAC9B,YAAY,EAAE,EAAE;YAChB,aAAa,EAAE,WAAW;YAC1B,iBAAiB,EAAE,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;SAC9E,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,0BAAe,EAAC,MAAM,CAAC,CAAC;QACtC,MAAM,KAAK,GAAG,IAAA,0BAAe,EAAC,MAAM,CAAC,CAAC;QACtC,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAExB,MAAM,CAAC,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,KAAK,IAAI,EAAE;QACrE,MAAM,IAAI,GAAG,IAAA,0BAAe,EAAC,SAAS,EAAE,CAAC,CAAC;QAC1C,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvB,MAAM,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,YAAY,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;QACtF,MAAM,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;IACxF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/tptp/bridge.test.d.ts.map

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