@stevenvo780/st-lang 3.2.2 → 4.0.0

package/dist/tests/text-layer-v2/claim-graph.test.js

@@ -0,0 +1,255 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const v2_1 = require("../../text-layer/v2");
+const mkClaim = (id, dependencies = [], formula = `F_${id}`) => ({
+    id,
+    formula,
+    profile: 'classical.propositional',
+    dependencies,
+});
+(0, vitest_1.describe)('ClaimGraph — CRUD', () => {
+    (0, vitest_1.it)('add/get/all devuelve copias defensivas', () => {
+        const g = new v2_1.ClaimGraph();
+        const a = mkClaim('A', ['B']);
+        g.add(a);
+        a.dependencies.push('mutado');
+        const stored = g.get('A');
+        (0, vitest_1.expect)(stored?.dependencies).toEqual(['B']);
+        (0, vitest_1.expect)(g.all().map((c) => c.id)).toEqual(['A']);
+    });
+    (0, vitest_1.it)('remove devuelve true si existe, false si no', () => {
+        const g = new v2_1.ClaimGraph();
+        g.add(mkClaim('A'));
+        (0, vitest_1.expect)(g.remove('A')).toBe(true);
+        (0, vitest_1.expect)(g.remove('A')).toBe(false);
+        (0, vitest_1.expect)(g.get('A')).toBeUndefined();
+    });
+    (0, vitest_1.it)('add rechaza claims sin id', () => {
+        const g = new v2_1.ClaimGraph();
+        (0, vitest_1.expect)(() => g.add({ id: '', formula: 'F', profile: 'p', dependencies: [] })).toThrow();
+    });
+    (0, vitest_1.it)('add rechaza dependencies no-array', () => {
+        const g = new v2_1.ClaimGraph();
+        (0, vitest_1.expect)(() => g.add({ id: 'A', formula: 'F', profile: 'p', dependencies: null })).toThrow();
+    });
+});
+(0, vitest_1.describe)('ClaimGraph — detección de ciclos', () => {
+    (0, vitest_1.it)('grafo lineal A->B->C no tiene ciclos', () => {
+        const g = new v2_1.ClaimGraph();
+        g.add(mkClaim('A', []));
+        g.add(mkClaim('B', ['A']));
+        g.add(mkClaim('C', ['B']));
+        (0, vitest_1.expect)(g.detectCycles()).toEqual([]);
+    });
+    (0, vitest_1.it)('detecta ciclo A->B->A', () => {
+        const g = new v2_1.ClaimGraph();
+        g.add(mkClaim('A', ['B']));
+        g.add(mkClaim('B', ['A']));
+        const cycles = g.detectCycles();
+        (0, vitest_1.expect)(cycles).toHaveLength(1);
+        (0, vitest_1.expect)(cycles[0].sort()).toEqual(['A', 'B']);
+    });
+    (0, vitest_1.it)('detecta ciclo de 3 A->B->C->A', () => {
+        const g = new v2_1.ClaimGraph();
+        g.add(mkClaim('A', ['C']));
+        g.add(mkClaim('B', ['A']));
+        g.add(mkClaim('C', ['B']));
+        const cycles = g.detectCycles();
+        (0, vitest_1.expect)(cycles).toHaveLength(1);
+        (0, vitest_1.expect)(cycles[0].sort()).toEqual(['A', 'B', 'C']);
+    });
+    (0, vitest_1.it)('detecta auto-loop A->A', () => {
+        const g = new v2_1.ClaimGraph();
+        g.add(mkClaim('A', ['A']));
+        (0, vitest_1.expect)(g.detectCycles()).toEqual([['A']]);
+    });
+    (0, vitest_1.it)('ignora dependencias faltantes para SCC', () => {
+        const g = new v2_1.ClaimGraph();
+        g.add(mkClaim('A', ['fantasma']));
+        (0, vitest_1.expect)(g.detectCycles()).toEqual([]);
+    });
+    (0, vitest_1.it)('detecta múltiples SCCs independientes', () => {
+        const g = new v2_1.ClaimGraph();
+        g.add(mkClaim('A', ['B']));
+        g.add(mkClaim('B', ['A']));
+        g.add(mkClaim('C', ['D']));
+        g.add(mkClaim('D', ['C']));
+        (0, vitest_1.expect)(g.detectCycles()).toHaveLength(2);
+    });
+});
+(0, vitest_1.describe)('ClaimGraph — orden topológico', () => {
+    (0, vitest_1.it)('A->B->C produce orden A,B,C', () => {
+        const g = new v2_1.ClaimGraph();
+        g.add(mkClaim('C', ['B']));
+        g.add(mkClaim('A', []));
+        g.add(mkClaim('B', ['A']));
+        (0, vitest_1.expect)(g.topologicalOrder()).toEqual(['A', 'B', 'C']);
+    });
+    (0, vitest_1.it)('claim sin dependencias siempre va primero', () => {
+        const g = new v2_1.ClaimGraph();
+        g.add(mkClaim('hijo', ['raiz']));
+        g.add(mkClaim('raiz', []));
+        (0, vitest_1.expect)(g.topologicalOrder()).toEqual(['raiz', 'hijo']);
+    });
+    (0, vitest_1.it)('diamond A->B,A->C,B->D,C->D respeta dependencias', () => {
+        const g = new v2_1.ClaimGraph();
+        g.add(mkClaim('A', []));
+        g.add(mkClaim('B', ['A']));
+        g.add(mkClaim('C', ['A']));
+        g.add(mkClaim('D', ['B', 'C']));
+        const order = g.topologicalOrder();
+        (0, vitest_1.expect)(order.indexOf('A')).toBeLessThan(order.indexOf('B'));
+        (0, vitest_1.expect)(order.indexOf('A')).toBeLessThan(order.indexOf('C'));
+        (0, vitest_1.expect)(order.indexOf('B')).toBeLessThan(order.indexOf('D'));
+        (0, vitest_1.expect)(order.indexOf('C')).toBeLessThan(order.indexOf('D'));
+    });
+    (0, vitest_1.it)('tira CycleError si hay ciclo', () => {
+        const g = new v2_1.ClaimGraph();
+        g.add(mkClaim('A', ['B']));
+        g.add(mkClaim('B', ['A']));
+        (0, vitest_1.expect)(() => g.topologicalOrder()).toThrow(v2_1.CycleError);
+    });
+    (0, vitest_1.it)('100 claims linear chain producen orden monotónico', () => {
+        const g = new v2_1.ClaimGraph();
+        g.add(mkClaim('c0', []));
+        for (let i = 1; i < 100; i++) {
+            g.add(mkClaim(`c${i}`, [`c${i - 1}`]));
+        }
+        const order = g.topologicalOrder();
+        (0, vitest_1.expect)(order).toHaveLength(100);
+        for (let i = 0; i < 99; i++) {
+            (0, vitest_1.expect)(order.indexOf(`c${i}`)).toBeLessThan(order.indexOf(`c${i + 1}`));
+        }
+    });
+});
+(0, vitest_1.describe)('ClaimGraph — invalidationPath', () => {
+    (0, vitest_1.it)('A<-B<-C: invalidationPath(A) devuelve [B, C]', () => {
+        const g = new v2_1.ClaimGraph();
+        g.add(mkClaim('A', []));
+        g.add(mkClaim('B', ['A']));
+        g.add(mkClaim('C', ['B']));
+        (0, vitest_1.expect)(g.invalidationPath('A').sort()).toEqual(['B', 'C']);
+    });
+    (0, vitest_1.it)('hoja sin dependientes devuelve []', () => {
+        const g = new v2_1.ClaimGraph();
+        g.add(mkClaim('A', []));
+        g.add(mkClaim('B', ['A']));
+        (0, vitest_1.expect)(g.invalidationPath('B')).toEqual([]);
+    });
+    (0, vitest_1.it)('claim inexistente devuelve []', () => {
+        const g = new v2_1.ClaimGraph();
+        (0, vitest_1.expect)(g.invalidationPath('fantasma')).toEqual([]);
+    });
+    (0, vitest_1.it)('diamond: invalidar A propaga a B, C, D', () => {
+        const g = new v2_1.ClaimGraph();
+        g.add(mkClaim('A', []));
+        g.add(mkClaim('B', ['A']));
+        g.add(mkClaim('C', ['A']));
+        g.add(mkClaim('D', ['B', 'C']));
+        (0, vitest_1.expect)(g.invalidationPath('A').sort()).toEqual(['B', 'C', 'D']);
+    });
+});
+(0, vitest_1.describe)('ClaimGraph — validateAll', () => {
+    const allValid = (c) => Promise.resolve({ valid: true, result: `ok_${c.id}` });
+    (0, vitest_1.it)('A->B->C: si A inválido, B y C marcados invalidatedBy=[A]', async () => {
+        const g = new v2_1.ClaimGraph();
+        g.add(mkClaim('A', []));
+        g.add(mkClaim('B', ['A']));
+        g.add(mkClaim('C', ['B']));
+        const evaluator = (c) => Promise.resolve(c.id === 'A' ? { valid: false, errors: ['contramodelo'] } : { valid: true });
+        const results = await g.validateAll(evaluator);
+        const byId = Object.fromEntries(results.map((r) => [r.claimId, r]));
+        (0, vitest_1.expect)(byId.A.valid).toBe(false);
+        (0, vitest_1.expect)(byId.A.invalidatedBy).toBeUndefined();
+        (0, vitest_1.expect)(byId.B.valid).toBe(false);
+        (0, vitest_1.expect)(byId.B.invalidatedBy).toEqual(['A']);
+        (0, vitest_1.expect)(byId.C.valid).toBe(false);
+        (0, vitest_1.expect)(byId.C.invalidatedBy).toEqual(['A']);
+    });
+    (0, vitest_1.it)('todas válidas: ninguna invalidatedBy', async () => {
+        const g = new v2_1.ClaimGraph();
+        g.add(mkClaim('A', []));
+        g.add(mkClaim('B', ['A']));
+        const results = await g.validateAll(allValid);
+        (0, vitest_1.expect)(results.every((r) => r.valid)).toBe(true);
+        (0, vitest_1.expect)(results.every((r) => r.invalidatedBy === undefined)).toBe(true);
+    });
+    (0, vitest_1.it)('diamond con dos raíces inválidas: D recibe invalidatedBy con ambas', async () => {
+        const g = new v2_1.ClaimGraph();
+        g.add(mkClaim('A', []));
+        g.add(mkClaim('B', ['A']));
+        g.add(mkClaim('C', []));
+        g.add(mkClaim('D', ['B', 'C']));
+        const evaluator = (c) => Promise.resolve(c.id === 'A' || c.id === 'C' ? { valid: false } : { valid: true });
+        const results = await g.validateAll(evaluator);
+        const byId = Object.fromEntries(results.map((r) => [r.claimId, r]));
+        (0, vitest_1.expect)(byId.A.valid).toBe(false);
+        (0, vitest_1.expect)(byId.B.invalidatedBy).toEqual(['A']);
+        (0, vitest_1.expect)(byId.C.valid).toBe(false);
+        (0, vitest_1.expect)(byId.D.invalidatedBy).toEqual(['A', 'C']);
+    });
+    (0, vitest_1.it)('validateAll respeta orden topológico (raíces antes que hijas)', async () => {
+        const g = new v2_1.ClaimGraph();
+        for (let i = 0; i < 100; i++) {
+            g.add(mkClaim(`c${i}`, i === 0 ? [] : [`c${i - 1}`]));
+        }
+        const visitOrder = [];
+        const evaluator = (c) => {
+            visitOrder.push(c.id);
+            return Promise.resolve({ valid: true });
+        };
+        const results = await g.validateAll(evaluator);
+        (0, vitest_1.expect)(results).toHaveLength(100);
+        (0, vitest_1.expect)(visitOrder).toHaveLength(100);
+        for (let i = 0; i < 99; i++) {
+            (0, vitest_1.expect)(visitOrder.indexOf(`c${i}`)).toBeLessThan(visitOrder.indexOf(`c${i + 1}`));
+        }
+    });
+    (0, vitest_1.it)('short-circuit: evaluator no se llama para claims con dep inválida', async () => {
+        const g = new v2_1.ClaimGraph();
+        g.add(mkClaim('A', []));
+        g.add(mkClaim('B', ['A']));
+        g.add(mkClaim('C', ['B']));
+        const visited = new Set();
+        const evaluator = (c) => {
+            visited.add(c.id);
+            return Promise.resolve(c.id === 'A' ? { valid: false } : { valid: true });
+        };
+        await g.validateAll(evaluator);
+        (0, vitest_1.expect)(visited.has('A')).toBe(true);
+        (0, vitest_1.expect)(visited.has('B')).toBe(false);
+        (0, vitest_1.expect)(visited.has('C')).toBe(false);
+    });
+    (0, vitest_1.it)('evaluator que lanza excepción produce claim inválida con error', async () => {
+        const g = new v2_1.ClaimGraph();
+        g.add(mkClaim('A', []));
+        const evaluator = () => Promise.reject(new Error('boom'));
+        const [result] = await g.validateAll(evaluator);
+        (0, vitest_1.expect)(result.valid).toBe(false);
+        (0, vitest_1.expect)(result.errors?.[0]).toContain('boom');
+    });
+    (0, vitest_1.it)('tira CycleError si hay ciclo antes de validar', async () => {
+        const g = new v2_1.ClaimGraph();
+        g.add(mkClaim('A', ['B']));
+        g.add(mkClaim('B', ['A']));
+        await (0, vitest_1.expect)(g.validateAll(allValid)).rejects.toBeInstanceOf(v2_1.CycleError);
+    });
+    (0, vitest_1.it)('100 claims linear chain con A inválida: 99 marcadas invalidatedBy=[c0]', async () => {
+        const g = new v2_1.ClaimGraph();
+        g.add(mkClaim('c0', []));
+        for (let i = 1; i < 100; i++) {
+            g.add(mkClaim(`c${i}`, [`c${i - 1}`]));
+        }
+        const evaluator = (c) => Promise.resolve(c.id === 'c0' ? { valid: false } : { valid: true });
+        const results = await g.validateAll(evaluator);
+        (0, vitest_1.expect)(results).toHaveLength(100);
+        (0, vitest_1.expect)(results[0].claimId).toBe('c0');
+        (0, vitest_1.expect)(results[0].valid).toBe(false);
+        for (let i = 1; i < 100; i++) {
+            (0, vitest_1.expect)(results[i].valid).toBe(false);
+            (0, vitest_1.expect)(results[i].invalidatedBy).toEqual(['c0']);
+        }
+    });
+});
+//# sourceMappingURL=claim-graph.test.js.map

package/dist/tests/text-layer-v2/claim-graph.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"claim-graph.test.js","sourceRoot":"","sources":["../../../src/tests/text-layer-v2/claim-graph.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAE9C,4CAA8F;AAE9F,MAAM,OAAO,GAAG,CAAC,EAAU,EAAE,eAAyB,EAAE,EAAE,OAAO,GAAG,KAAK,EAAE,EAAE,EAAS,EAAE,CAAC,CAAC;IACxF,EAAE;IACF,OAAO;IACP,OAAO,EAAE,yBAAyB;IAClC,YAAY;CACb,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,GAAG,IAAI,eAAU,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9B,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACT,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC9B,MAAM,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,MAAM,EAAE,YAAY,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,IAAI,eAAU,EAAE,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;QACpB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,GAAG,IAAI,eAAU,EAAE,CAAC;QAC3B,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC1F,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,IAAI,eAAU,EAAE,CAAC;QAC3B,IAAA,eAAM,EAAC,GAAG,EAAE,CACV,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,YAAY,EAAE,IAA2B,EAAE,CAAC,CAC1F,CAAC,OAAO,EAAE,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAI,eAAU,EAAE,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;QACxB,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAC,GAAG,IAAI,eAAU,EAAE,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,MAAM,GAAG,CAAC,CAAC,YAAY,EAAE,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,IAAI,eAAU,EAAE,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,MAAM,GAAG,CAAC,CAAC,YAAY,EAAE,CAAC;QAChC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,CAAC,GAAG,IAAI,eAAU,EAAE,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,GAAG,IAAI,eAAU,EAAE,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,IAAI,eAAU,EAAE,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,YAAY,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,IAAI,eAAU,EAAE,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;QACxB,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,gBAAgB,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,IAAI,eAAU,EAAE,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QACjC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,gBAAgB,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,IAAI,eAAU,EAAE,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;QACxB,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAChC,MAAM,KAAK,GAAG,CAAC,CAAC,gBAAgB,EAAE,CAAC;QACnC,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,IAAI,eAAU,EAAE,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,gBAAgB,EAAE,CAAC,CAAC,OAAO,CAAC,eAAU,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,IAAI,eAAU,EAAE,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;QACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzC,CAAC;QACD,MAAM,KAAK,GAAG,CAAC,CAAC,gBAAgB,EAAE,CAAC;QACnC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;QAChC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAC1E,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,IAAI,eAAU,EAAE,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;QACxB,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,IAAI,eAAU,EAAE,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;QACxB,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,IAAI,eAAU,EAAE,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,GAAG,IAAI,eAAU,EAAE,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;QACxB,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,MAAM,QAAQ,GAAmB,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;IAE/F,IAAA,WAAE,EAAC,0DAA0D,EAAE,KAAK,IAAI,EAAE;QACxE,MAAM,CAAC,GAAG,IAAI,eAAU,EAAE,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;QACxB,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAE3B,MAAM,SAAS,GAAmB,CAAC,CAAC,EAAE,EAAE,CACtC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAE/F,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;QAC/C,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAEpE,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,aAAa,EAAE,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,KAAK,IAAI,EAAE;QACpD,MAAM,CAAC,GAAG,IAAI,eAAU,EAAE,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;QACxB,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oEAAoE,EAAE,KAAK,IAAI,EAAE;QAClF,MAAM,CAAC,GAAG,IAAI,eAAU,EAAE,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;QACxB,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;QACxB,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QAEhC,MAAM,SAAS,GAAmB,CAAC,CAAC,EAAE,EAAE,CACtC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAErF,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;QAC/C,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAEpE,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,KAAK,IAAI,EAAE;QAC7E,MAAM,CAAC,GAAG,IAAI,eAAU,EAAE,CAAC;QAC3B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACxD,CAAC;QAED,MAAM,UAAU,GAAa,EAAE,CAAC;QAChC,MAAM,SAAS,GAAmB,CAAC,CAAC,EAAE,EAAE;YACtC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YACtB,OAAO,OAAO,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAC1C,CAAC,CAAC;QAEF,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,UAAU,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;QACrC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,IAAA,eAAM,EAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QACpF,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mEAAmE,EAAE,KAAK,IAAI,EAAE;QACjF,MAAM,CAAC,GAAG,IAAI,eAAU,EAAE,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;QACxB,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAE3B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,MAAM,SAAS,GAAmB,CAAC,CAAC,EAAE,EAAE;YACtC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAClB,OAAO,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAC5E,CAAC,CAAC;QAEF,MAAM,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,KAAK,IAAI,EAAE;QAC9E,MAAM,CAAC,GAAG,IAAI,eAAU,EAAE,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;QACxB,MAAM,SAAS,GAAmB,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC;QAC1E,MAAM,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,KAAK,IAAI,EAAE;QAC7D,MAAM,CAAC,GAAG,IAAI,eAAU,EAAE,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,IAAA,eAAM,EAAC,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,eAAU,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wEAAwE,EAAE,KAAK,IAAI,EAAE;QACtF,MAAM,CAAC,GAAG,IAAI,eAAU,EAAE,CAAC;QAC3B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;QACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7B,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACzC,CAAC;QAED,MAAM,SAAS,GAAmB,CAAC,CAAC,EAAE,EAAE,CACtC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAEtE,MAAM,OAAO,GAAG,MAAM,CAAC,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7B,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACrC,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACnD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

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

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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,75 @@
+"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

@@ -0,0 +1 @@
+{"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

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

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

@@ -0,0 +1 @@
+{"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

@@ -0,0 +1,242 @@
+"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