@stevenvo780/st-lang 4.5.2 → 4.7.0

package/dist/tests/tooling/plugin-system/validate.test.js

@@ -0,0 +1,101 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const plugin_system_1 = require("../../../tooling/plugin-system");
+(0, vitest_1.describe)('validatePlugin — duck typing', () => {
+    const validBase = {
+        name: 'ok',
+        version: '1.0.0',
+        evaluate: (_f, _env) => 0,
+        checkValid: (_f) => ({ valid: true }),
+    };
+    (0, vitest_1.it)('acepta un plugin con todos los campos requeridos', () => {
+        const res = (0, plugin_system_1.validatePlugin)(validBase);
+        (0, vitest_1.expect)(res.valid).toBe(true);
+        (0, vitest_1.expect)(res.errors).toEqual([]);
+    });
+    (0, vitest_1.it)('rechaza non-objects', () => {
+        (0, vitest_1.expect)((0, plugin_system_1.validatePlugin)(null).valid).toBe(false);
+        (0, vitest_1.expect)((0, plugin_system_1.validatePlugin)(undefined).valid).toBe(false);
+        (0, vitest_1.expect)((0, plugin_system_1.validatePlugin)(42).valid).toBe(false);
+        (0, vitest_1.expect)((0, plugin_system_1.validatePlugin)('plugin').valid).toBe(false);
+        (0, vitest_1.expect)((0, plugin_system_1.validatePlugin)([validBase]).valid).toBe(false);
+    });
+    (0, vitest_1.it)('detecta name faltante con mensaje claro', () => {
+        const res = (0, plugin_system_1.validatePlugin)({ ...validBase, name: undefined });
+        (0, vitest_1.expect)(res.valid).toBe(false);
+        (0, vitest_1.expect)(res.errors.some((e) => e.includes('name'))).toBe(true);
+    });
+    (0, vitest_1.it)('detecta name vacío', () => {
+        const res = (0, plugin_system_1.validatePlugin)({ ...validBase, name: '   ' });
+        (0, vitest_1.expect)(res.valid).toBe(false);
+        (0, vitest_1.expect)(res.errors.some((e) => e.includes('name'))).toBe(true);
+    });
+    (0, vitest_1.it)('detecta version faltante', () => {
+        const res = (0, plugin_system_1.validatePlugin)({ ...validBase, version: undefined });
+        (0, vitest_1.expect)(res.valid).toBe(false);
+        (0, vitest_1.expect)(res.errors.some((e) => e.includes('version'))).toBe(true);
+    });
+    (0, vitest_1.it)('detecta version mal formada (no semver)', () => {
+        const res = (0, plugin_system_1.validatePlugin)({ ...validBase, version: 'v1' });
+        (0, vitest_1.expect)(res.valid).toBe(false);
+        (0, vitest_1.expect)(res.errors.some((e) => e.includes('semver'))).toBe(true);
+    });
+    (0, vitest_1.it)('acepta semver con prerelease y build metadata', () => {
+        const a = (0, plugin_system_1.validatePlugin)({ ...validBase, version: '1.0.0-beta.1' });
+        const b = (0, plugin_system_1.validatePlugin)({ ...validBase, version: '1.0.0+build.42' });
+        const c = (0, plugin_system_1.validatePlugin)({ ...validBase, version: '1.0.0-rc.1+exp.sha.5114f85' });
+        (0, vitest_1.expect)(a.valid).toBe(true);
+        (0, vitest_1.expect)(b.valid).toBe(true);
+        (0, vitest_1.expect)(c.valid).toBe(true);
+    });
+    (0, vitest_1.it)('detecta evaluate ausente o no-función', () => {
+        const a = (0, plugin_system_1.validatePlugin)({ ...validBase, evaluate: undefined });
+        const b = (0, plugin_system_1.validatePlugin)({ ...validBase, evaluate: 'not a fn' });
+        (0, vitest_1.expect)(a.valid).toBe(false);
+        (0, vitest_1.expect)(b.valid).toBe(false);
+        (0, vitest_1.expect)(a.errors.some((e) => e.includes('evaluate'))).toBe(true);
+        (0, vitest_1.expect)(b.errors.some((e) => e.includes('evaluate'))).toBe(true);
+    });
+    (0, vitest_1.it)('detecta evaluate con aridad insuficiente', () => {
+        const res = (0, plugin_system_1.validatePlugin)({ ...validBase, evaluate: (_f) => 0 });
+        (0, vitest_1.expect)(res.valid).toBe(false);
+        (0, vitest_1.expect)(res.errors.some((e) => e.includes('evaluate'))).toBe(true);
+    });
+    (0, vitest_1.it)('detecta checkValid ausente', () => {
+        const res = (0, plugin_system_1.validatePlugin)({ ...validBase, checkValid: undefined });
+        (0, vitest_1.expect)(res.valid).toBe(false);
+        (0, vitest_1.expect)(res.errors.some((e) => e.includes('checkValid'))).toBe(true);
+    });
+    (0, vitest_1.it)('acepta description string opcional y rechaza description no-string', () => {
+        (0, vitest_1.expect)((0, plugin_system_1.validatePlugin)({ ...validBase, description: 'ok' }).valid).toBe(true);
+        (0, vitest_1.expect)((0, plugin_system_1.validatePlugin)({ ...validBase, description: 42 }).valid).toBe(false);
+    });
+    (0, vitest_1.it)('valida supportedOperators como Set<string>', () => {
+        const good = (0, plugin_system_1.validatePlugin)({
+            ...validBase,
+            supportedOperators: new Set(['and', 'or']),
+        });
+        const badType = (0, plugin_system_1.validatePlugin)({ ...validBase, supportedOperators: ['and', 'or'] });
+        const badContents = (0, plugin_system_1.validatePlugin)({
+            ...validBase,
+            supportedOperators: new Set(['and', 42]),
+        });
+        (0, vitest_1.expect)(good.valid).toBe(true);
+        (0, vitest_1.expect)(badType.valid).toBe(false);
+        (0, vitest_1.expect)(badContents.valid).toBe(false);
+    });
+    (0, vitest_1.it)('acumula múltiples errores en un solo pase', () => {
+        const res = (0, plugin_system_1.validatePlugin)({
+            version: 'mal',
+            evaluate: 'no es función',
+        });
+        (0, vitest_1.expect)(res.valid).toBe(false);
+        (0, vitest_1.expect)(res.errors.length).toBeGreaterThanOrEqual(3);
+    });
+    (0, vitest_1.it)('assertPlugin lanza con plugin inválido y pasa con válido', () => {
+        (0, vitest_1.expect)(() => (0, plugin_system_1.assertPlugin)({})).toThrow(/Plugin inválido/);
+        (0, vitest_1.expect)(() => (0, plugin_system_1.assertPlugin)(validBase)).not.toThrow();
+    });
+});
+//# sourceMappingURL=validate.test.js.map

package/dist/tests/tooling/plugin-system/validate.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.test.js","sourceRoot":"","sources":["../../../../src/tests/tooling/plugin-system/validate.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,kEAA8E;AAE9E,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,MAAM,SAAS,GAAG;QAChB,IAAI,EAAE,IAAI;QACV,OAAO,EAAE,OAAO;QAChB,QAAQ,EAAE,CAAC,EAAW,EAAE,IAAa,EAAE,EAAE,CAAC,CAAC;QAC3C,UAAU,EAAE,CAAC,EAAW,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;KAC/C,CAAC;IAEF,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,GAAG,GAAG,IAAA,8BAAc,EAAC,SAAS,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,IAAA,eAAM,EAAC,IAAA,8BAAc,EAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAA,8BAAc,EAAC,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,IAAA,8BAAc,EAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,8BAAc,EAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,IAAA,8BAAc,EAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,GAAG,GAAG,IAAA,8BAAc,EAAC,EAAE,GAAG,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,GAAG,GAAG,IAAA,8BAAc,EAAC,EAAE,GAAG,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,GAAG,GAAG,IAAA,8BAAc,EAAC,EAAE,GAAG,SAAS,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,GAAG,GAAG,IAAA,8BAAc,EAAC,EAAE,GAAG,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,IAAA,8BAAc,EAAC,EAAE,GAAG,SAAS,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC,CAAC;QACpE,MAAM,CAAC,GAAG,IAAA,8BAAc,EAAC,EAAE,GAAG,SAAS,EAAE,OAAO,EAAE,gBAAgB,EAAE,CAAC,CAAC;QACtE,MAAM,CAAC,GAAG,IAAA,8BAAc,EAAC,EAAE,GAAG,SAAS,EAAE,OAAO,EAAE,4BAA4B,EAAE,CAAC,CAAC;QAClF,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,IAAA,8BAAc,EAAC,EAAE,GAAG,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;QAChE,MAAM,CAAC,GAAG,IAAA,8BAAc,EAAC,EAAE,GAAG,SAAS,EAAE,QAAQ,EAAE,UAAU,EAAE,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,GAAG,GAAG,IAAA,8BAAc,EAAC,EAAE,GAAG,SAAS,EAAE,QAAQ,EAAE,CAAC,EAAW,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QAC3E,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,GAAG,GAAG,IAAA,8BAAc,EAAC,EAAE,GAAG,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,IAAA,eAAM,EAAC,IAAA,8BAAc,EAAC,EAAE,GAAG,SAAS,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7E,IAAA,eAAM,EAAC,IAAA,8BAAc,EAAC,EAAE,GAAG,SAAS,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,IAAI,GAAG,IAAA,8BAAc,EAAC;YAC1B,GAAG,SAAS;YACZ,kBAAkB,EAAE,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;SAC3C,CAAC,CAAC;QACH,MAAM,OAAO,GAAG,IAAA,8BAAc,EAAC,EAAE,GAAG,SAAS,EAAE,kBAAkB,EAAE,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;QACpF,MAAM,WAAW,GAAG,IAAA,8BAAc,EAAC;YACjC,GAAG,SAAS;YACZ,kBAAkB,EAAE,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;SACzC,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,WAAW,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,GAAG,GAAG,IAAA,8BAAc,EAAC;YACzB,OAAO,EAAE,KAAK;YACd,QAAQ,EAAE,eAAe;SAC1B,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,4BAAY,EAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,4BAAY,EAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

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

package/dist/tests/tooling/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("../../../tooling/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/tooling/time-travel/snapshot.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"snapshot.test.js","sourceRoot":"","sources":["../../../../src/tests/tooling/time-travel/snapshot.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,oEAAwE;AAGxE,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/tooling/time-travel/store.test.d.ts.map

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

package/dist/tests/tooling/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("../../../tooling/time-travel/store");
+const snapshot_1 = require("../../../tooling/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/tooling/time-travel/store.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"store.test.js","sourceRoot":"","sources":["../../../../src/tests/tooling/time-travel/store.test.ts"],"names":[],"mappings":";;;;;AAAA,mCAAqE;AACrE,2BAAqC;AACrC,gDAAwB;AACxB,4CAAoB;AACpB,8DAAmE;AACnE,oEAAwE;AAGxE,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/tooling/tptp/bridge.test.d.ts

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

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

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

package/dist/tests/tooling/tptp/bridge.test.js

@@ -0,0 +1,154 @@
+"use strict";
+// ============================================================
+// TPTP Tests — Bridge a fol-prover
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const parser_1 = require("../../../tooling/tptp/parser");
+const bridge_1 = require("../../../tooling/tptp/bridge");
+const fol_prover_1 = require("../../../proof-systems/fol-prover");
+(0, vitest_1.describe)('TPTP bridge — tptpFormulaToFol', () => {
+    (0, vitest_1.it)('convierte atom proposicional', () => {
+        const f = (0, bridge_1.tptpFormulaToFol)({ kind: 'atom', predicate: 'p', args: [] });
+        (0, vitest_1.expect)(f).toEqual({ kind: 'atom', name: 'p' });
+    });
+    (0, vitest_1.it)('convierte predicate con args', () => {
+        const f = (0, bridge_1.tptpFormulaToFol)({
+            kind: 'atom',
+            predicate: 'p',
+            args: [{ kind: 'var', name: 'X' }],
+        });
+        (0, vitest_1.expect)(f.kind).toBe('predicate');
+        (0, vitest_1.expect)(f.name).toBe('p');
+        (0, vitest_1.expect)(f.params).toEqual(['X']);
+    });
+    (0, vitest_1.it)('convierte not / and / or / implies / iff', () => {
+        const t = (0, bridge_1.tptpFormulaToFol)({
+            kind: 'and',
+            args: [
+                { kind: 'atom', predicate: 'p', args: [] },
+                { kind: 'atom', predicate: 'q', args: [] },
+            ],
+        });
+        (0, vitest_1.expect)(t.kind).toBe('and');
+        (0, vitest_1.expect)(t.args).toHaveLength(2);
+    });
+    (0, vitest_1.it)('convierte xor a ~(p <=> q)', () => {
+        const t = (0, bridge_1.tptpFormulaToFol)({
+            kind: 'xor',
+            left: { kind: 'atom', predicate: 'p', args: [] },
+            right: { kind: 'atom', predicate: 'q', args: [] },
+        });
+        (0, vitest_1.expect)(t.kind).toBe('not');
+        (0, vitest_1.expect)(t.args[0].kind).toBe('biconditional');
+    });
+    (0, vitest_1.it)('convierte forall con múltiples vars en cuantificadores anidados', () => {
+        const t = (0, bridge_1.tptpFormulaToFol)({
+            kind: 'forall',
+            vars: ['X', 'Y'],
+            body: { kind: 'atom', predicate: 'p', args: [] },
+        });
+        (0, vitest_1.expect)(t.kind).toBe('forall');
+        (0, vitest_1.expect)(t.variable).toBe('X');
+        (0, vitest_1.expect)(t.args[0].kind).toBe('forall');
+        (0, vitest_1.expect)(t.args[0].variable).toBe('Y');
+    });
+    (0, vitest_1.it)('convierte eq a equals', () => {
+        const t = (0, bridge_1.tptpFormulaToFol)({
+            kind: 'eq',
+            left: { kind: 'const', name: 'a' },
+            right: { kind: 'const', name: 'b' },
+        });
+        (0, vitest_1.expect)(t.kind).toBe('equals');
+        (0, vitest_1.expect)(t.args).toHaveLength(2);
+    });
+    (0, vitest_1.it)('convierte neq a not(equals)', () => {
+        const t = (0, bridge_1.tptpFormulaToFol)({
+            kind: 'neq',
+            left: { kind: 'const', name: 'a' },
+            right: { kind: 'const', name: 'b' },
+        });
+        (0, vitest_1.expect)(t.kind).toBe('not');
+        (0, vitest_1.expect)(t.args[0].kind).toBe('equals');
+    });
+    (0, vitest_1.it)('convierte $true / $false', () => {
+        (0, vitest_1.expect)((0, bridge_1.tptpFormulaToFol)({ kind: 'true' }).kind).toBe('true');
+        (0, vitest_1.expect)((0, bridge_1.tptpFormulaToFol)({ kind: 'false' }).kind).toBe('false');
+    });
+});
+(0, vitest_1.describe)('TPTP bridge — toFolProverFormat', () => {
+    (0, vitest_1.it)('separa axiomas y conjecture', () => {
+        const p = (0, parser_1.parseTptp)(`
+      fof(a1, axiom, ![X] : (p(X) => q(X))).
+      fof(a2, axiom, p(a)).
+      fof(g, conjecture, q(a)).
+    `);
+        const out = (0, bridge_1.toFolProverFormat)(p);
+        (0, vitest_1.expect)(out.axioms).toHaveLength(2);
+        (0, vitest_1.expect)(out.conjecture).not.toBeNull();
+        (0, vitest_1.expect)(out.negatedConjectures).toHaveLength(0);
+    });
+    (0, vitest_1.it)('mete negated_conjecture en su array', () => {
+        const p = (0, parser_1.parseTptp)('fof(g, negated_conjecture, ~p(a)).');
+        const out = (0, bridge_1.toFolProverFormat)(p);
+        (0, vitest_1.expect)(out.negatedConjectures).toHaveLength(1);
+        (0, vitest_1.expect)(out.conjecture).toBeNull();
+    });
+    (0, vitest_1.it)('separa hypotheses / lemmas / theorems / definitions / plain', () => {
+        const p = (0, parser_1.parseTptp)(`
+      fof(h1, hypothesis, p).
+      fof(l1, lemma, q).
+      fof(t1, theorem, r).
+      fof(d1, definition, s).
+      fof(p1, plain, t).
+    `);
+        const out = (0, bridge_1.toFolProverFormat)(p);
+        (0, vitest_1.expect)(out.hypotheses).toHaveLength(5);
+        (0, vitest_1.expect)(out.axioms).toHaveLength(0);
+        (0, vitest_1.expect)(out.conjecture).toBeNull();
+    });
+    (0, vitest_1.it)('si hay múltiples conjectures, conserva la primera', () => {
+        const p = (0, parser_1.parseTptp)(`
+      fof(g1, conjecture, p).
+      fof(g2, conjecture, q).
+    `);
+        const out = (0, bridge_1.toFolProverFormat)(p);
+        (0, vitest_1.expect)(out.conjecture).not.toBeNull();
+        (0, vitest_1.expect)(out.hypotheses).toHaveLength(1);
+    });
+});
+(0, vitest_1.describe)('TPTP bridge — integración con proveFOL', () => {
+    (0, vitest_1.it)('demuestra modus ponens via TPTP → fol-prover', () => {
+        const p = (0, parser_1.parseTptp)(`
+      fof(a1, axiom, ![X] : (p(X) => q(X))).
+      fof(a2, axiom, p(a)).
+      fof(g, conjecture, q(a)).
+    `);
+        const out = (0, bridge_1.toFolProverFormat)(p);
+        (0, vitest_1.expect)(out.conjecture).not.toBeNull();
+        const result = (0, fol_prover_1.proveFOL)(out.axioms, out.conjecture, { timeoutMs: 2000, maxSteps: 200 });
+        (0, vitest_1.expect)(result.proven).toBe(true);
+    });
+    (0, vitest_1.it)('demuestra transitividad via TPTP → fol-prover', () => {
+        const p = (0, parser_1.parseTptp)(`
+      fof(trans, axiom, ![X,Y,Z] : ((r(X,Y) & r(Y,Z)) => r(X,Z))).
+      fof(rab, axiom, r(a,b)).
+      fof(rbc, axiom, r(b,c)).
+      fof(goal, conjecture, r(a,c)).
+    `);
+        const out = (0, bridge_1.toFolProverFormat)(p);
+        const result = (0, fol_prover_1.proveFOL)(out.axioms, out.conjecture, { timeoutMs: 3000, maxSteps: 500 });
+        (0, vitest_1.expect)(result.proven).toBe(true);
+    });
+    (0, vitest_1.it)('socrates es mortal — TPTP → fol-prover', () => {
+        const p = (0, parser_1.parseTptp)(`
+      fof(all_men_mortal, axiom, ![X] : (man(X) => mortal(X))).
+      fof(socrates_is_man, axiom, man(socrates)).
+      fof(socrates_mortal, conjecture, mortal(socrates)).
+    `);
+        const out = (0, bridge_1.toFolProverFormat)(p);
+        const result = (0, fol_prover_1.proveFOL)(out.axioms, out.conjecture, { timeoutMs: 2000, maxSteps: 200 });
+        (0, vitest_1.expect)(result.proven).toBe(true);
+    });
+});
+//# sourceMappingURL=bridge.test.js.map