@stevenvo780/st-lang 3.2.3 → 4.0.0

package/dist/tests/plugin-system/registry.test.js

@@ -0,0 +1,88 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const plugin_system_1 = require("../../plugin-system");
+function makeStubPlugin(overrides = {}) {
+    return {
+        name: 'stub',
+        description: 'plugin de prueba',
+        version: '0.1.0',
+        evaluate: (_f, _env) => true,
+        checkValid: (_f) => ({ valid: true }),
+        ...overrides,
+    };
+}
+(0, vitest_1.describe)('ProfileRegistry — registro de plugins', () => {
+    (0, vitest_1.beforeEach)(() => {
+        plugin_system_1.ProfileRegistry.clear();
+    });
+    (0, vitest_1.it)('registra un plugin válido y aparece en list()', () => {
+        const plugin = makeStubPlugin({ name: 'alpha', version: '1.2.3' });
+        plugin_system_1.ProfileRegistry.register(plugin);
+        (0, vitest_1.expect)(plugin_system_1.ProfileRegistry.has('alpha')).toBe(true);
+        (0, vitest_1.expect)(plugin_system_1.ProfileRegistry.size()).toBe(1);
+        const list = plugin_system_1.ProfileRegistry.list();
+        (0, vitest_1.expect)(list).toHaveLength(1);
+        (0, vitest_1.expect)(list[0]).toMatchObject({
+            name: 'alpha',
+            version: '1.2.3',
+            description: 'plugin de prueba',
+        });
+    });
+    (0, vitest_1.it)('list() omite description cuando no fue provista', () => {
+        const plugin = makeStubPlugin({ name: 'sinDesc' });
+        delete plugin.description;
+        plugin_system_1.ProfileRegistry.register(plugin);
+        const [info] = plugin_system_1.ProfileRegistry.list();
+        (0, vitest_1.expect)(info).toBeDefined();
+        (0, vitest_1.expect)(info?.description).toBeUndefined();
+        (0, vitest_1.expect)(info?.name).toBe('sinDesc');
+    });
+    (0, vitest_1.it)('get() devuelve el plugin registrado y undefined si no existe', () => {
+        const plugin = makeStubPlugin({ name: 'beta' });
+        plugin_system_1.ProfileRegistry.register(plugin);
+        (0, vitest_1.expect)(plugin_system_1.ProfileRegistry.get('beta')).toBe(plugin);
+        (0, vitest_1.expect)(plugin_system_1.ProfileRegistry.get('no-existe')).toBeUndefined();
+    });
+    (0, vitest_1.it)('doble register con mismo name lanza PluginConflictError', () => {
+        const a = makeStubPlugin({ name: 'dup', version: '1.0.0' });
+        const b = makeStubPlugin({ name: 'dup', version: '2.0.0' });
+        plugin_system_1.ProfileRegistry.register(a);
+        (0, vitest_1.expect)(() => plugin_system_1.ProfileRegistry.register(b)).toThrow(plugin_system_1.PluginConflictError);
+        try {
+            plugin_system_1.ProfileRegistry.register(b);
+        }
+        catch (err) {
+            (0, vitest_1.expect)(err).toBeInstanceOf(plugin_system_1.PluginConflictError);
+            if (err instanceof plugin_system_1.PluginConflictError) {
+                (0, vitest_1.expect)(err.pluginName).toBe('dup');
+                (0, vitest_1.expect)(err.message).toContain('dup');
+                (0, vitest_1.expect)(err.message).toContain('unregister');
+            }
+        }
+    });
+    (0, vitest_1.it)('unregister() lo quita y devuelve true; segundo unregister devuelve false', () => {
+        const plugin = makeStubPlugin({ name: 'gamma' });
+        plugin_system_1.ProfileRegistry.register(plugin);
+        (0, vitest_1.expect)(plugin_system_1.ProfileRegistry.unregister('gamma')).toBe(true);
+        (0, vitest_1.expect)(plugin_system_1.ProfileRegistry.has('gamma')).toBe(false);
+        (0, vitest_1.expect)(plugin_system_1.ProfileRegistry.unregister('gamma')).toBe(false);
+    });
+    (0, vitest_1.it)('unregister() devuelve false si el plugin no existe', () => {
+        (0, vitest_1.expect)(plugin_system_1.ProfileRegistry.unregister('nope')).toBe(false);
+    });
+    (0, vitest_1.it)('clear() quita todos los plugins', () => {
+        plugin_system_1.ProfileRegistry.register(makeStubPlugin({ name: 'a' }));
+        plugin_system_1.ProfileRegistry.register(makeStubPlugin({ name: 'b' }));
+        plugin_system_1.ProfileRegistry.register(makeStubPlugin({ name: 'c' }));
+        (0, vitest_1.expect)(plugin_system_1.ProfileRegistry.size()).toBe(3);
+        plugin_system_1.ProfileRegistry.clear();
+        (0, vitest_1.expect)(plugin_system_1.ProfileRegistry.size()).toBe(0);
+        (0, vitest_1.expect)(plugin_system_1.ProfileRegistry.list()).toEqual([]);
+    });
+    (0, vitest_1.it)('register() lanza PluginValidationError si el plugin es inválido', () => {
+        const bad = { name: 'nover', evaluate: () => 0, checkValid: () => ({ valid: true }) };
+        (0, vitest_1.expect)(() => plugin_system_1.ProfileRegistry.register(bad)).toThrow(plugin_system_1.PluginValidationError);
+    });
+});
+//# sourceMappingURL=registry.test.js.map

package/dist/tests/plugin-system/registry.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"registry.test.js","sourceRoot":"","sources":["../../../src/tests/plugin-system/registry.test.ts"],"names":[],"mappings":";;AAAA,mCAA0D;AAC1D,uDAK6B;AAG7B,SAAS,cAAc,CAAC,YAAoC,EAAE;IAC5D,OAAO;QACL,IAAI,EAAE,MAAM;QACZ,WAAW,EAAE,kBAAkB;QAC/B,OAAO,EAAE,OAAO;QAChB,QAAQ,EAAE,CAAC,EAAW,EAAE,IAA6B,EAAE,EAAE,CAAC,IAAI;QAC9D,UAAU,EAAE,CAAC,EAAW,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QAC9C,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,mBAAU,EAAC,GAAG,EAAE;QACd,+BAAe,CAAC,KAAK,EAAE,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,MAAM,GAAG,cAAc,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;QACnE,+BAAe,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAEjC,IAAA,eAAM,EAAC,+BAAe,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,+BAAe,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAEvC,MAAM,IAAI,GAAG,+BAAe,CAAC,IAAI,EAAE,CAAC;QACpC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;YAC5B,IAAI,EAAE,OAAO;YACb,OAAO,EAAE,OAAO;YAChB,WAAW,EAAE,kBAAkB;SAChC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,MAAM,GAAG,cAAc,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;QACnD,OAAO,MAAM,CAAC,WAAW,CAAC;QAC1B,+BAAe,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAEjC,MAAM,CAAC,IAAI,CAAC,GAAG,+BAAe,CAAC,IAAI,EAAE,CAAC;QACtC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAI,EAAE,WAAW,CAAC,CAAC,aAAa,EAAE,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,MAAM,GAAG,cAAc,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;QAChD,+BAAe,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QAEjC,IAAA,eAAM,EAAC,+BAAe,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,+BAAe,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,GAAG,cAAc,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;QAC5D,MAAM,CAAC,GAAG,cAAc,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;QAE5D,+BAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,+BAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,mCAAmB,CAAC,CAAC;QAEvE,IAAI,CAAC;YACH,+BAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC9B,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,cAAc,CAAC,mCAAmB,CAAC,CAAC;YAChD,IAAI,GAAG,YAAY,mCAAmB,EAAE,CAAC;gBACvC,IAAA,eAAM,EAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACnC,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;gBACrC,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;YAC9C,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,MAAM,MAAM,GAAG,cAAc,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;QACjD,+BAAe,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,+BAAe,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,+BAAe,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,+BAAe,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,IAAA,eAAM,EAAC,+BAAe,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,+BAAe,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QACxD,+BAAe,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QACxD,+BAAe,CAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,+BAAe,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAEvC,+BAAe,CAAC,KAAK,EAAE,CAAC;QACxB,IAAA,eAAM,EAAC,+BAAe,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,+BAAe,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QACtF,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,+BAAe,CAAC,QAAQ,CAAC,GAA+B,CAAC,CAAC,CAAC,OAAO,CAC7E,qCAAqB,CACtB,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/plugin-system/validate.test.d.ts

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

package/dist/tests/plugin-system/validate.test.d.ts.map

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

package/dist/tests/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("../../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/plugin-system/validate.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.test.js","sourceRoot":"","sources":["../../../src/tests/plugin-system/validate.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,uDAAmE;AAEnE,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/proof-exchange/proof-exchange.test.d.ts

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

package/dist/tests/proof-exchange/proof-exchange.test.d.ts.map

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

package/dist/tests/proof-exchange/proof-exchange.test.js

@@ -0,0 +1,161 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const proof_exchange_1 = require("../../proof-exchange");
+function makeProof() {
+    return {
+        goal: { kind: 'atom', name: 'p' },
+        steps: [
+            {
+                stepNumber: 1,
+                formula: { kind: 'atom', name: 'p' },
+                justification: 'premise',
+                premises: [],
+                source: 'premise',
+            },
+        ],
+        status: 'complete',
+        method: 'natural_deduction',
+    };
+}
+function makePackage(overrides) {
+    return {
+        version: '1.0',
+        formula: 'p -> p',
+        profile: 'classical.propositional',
+        proof: makeProof(),
+        metadata: {
+            author: 'test-author',
+            timestamp: '2026-01-01T00:00:00.000Z',
+            tags: ['logic', 'test'],
+        },
+        ...overrides,
+    };
+}
+(0, vitest_1.describe)('canonicalize', () => {
+    (0, vitest_1.it)('produces the same string regardless of input key insertion order', () => {
+        const pkg1 = makePackage();
+        const pkg2 = {
+            metadata: pkg1.metadata,
+            proof: pkg1.proof,
+            profile: pkg1.profile,
+            formula: pkg1.formula,
+            version: pkg1.version,
+        };
+        (0, vitest_1.expect)((0, proof_exchange_1.canonicalize)(pkg1)).toBe((0, proof_exchange_1.canonicalize)(pkg2));
+    });
+    (0, vitest_1.it)('sorts object keys alphabetically at every nesting level', () => {
+        const pkg = makePackage();
+        const json = (0, proof_exchange_1.canonicalize)(pkg);
+        const firstFormula = json.indexOf('"formula"');
+        const firstMetadata = json.indexOf('"metadata"');
+        const firstProfile = json.indexOf('"profile"');
+        const firstProof = json.indexOf('"proof"');
+        const firstVersion = json.indexOf('"version"');
+        (0, vitest_1.expect)(firstFormula).toBeLessThan(firstMetadata);
+        (0, vitest_1.expect)(firstMetadata).toBeLessThan(firstProfile);
+        (0, vitest_1.expect)(firstProfile).toBeLessThan(firstProof);
+        (0, vitest_1.expect)(firstProof).toBeLessThan(firstVersion);
+    });
+    (0, vitest_1.it)('produces output without whitespace between JSON tokens', () => {
+        const pkg = makePackage();
+        const json = (0, proof_exchange_1.canonicalize)(pkg);
+        (0, vitest_1.expect)(json).not.toMatch(/[}\],:][  \t\n\r]/);
+        (0, vitest_1.expect)(json).not.toMatch(/[  \t\n\r][{[]/);
+        (0, vitest_1.expect)(json.includes('\n')).toBe(false);
+        (0, vitest_1.expect)(json.includes('\r')).toBe(false);
+        (0, vitest_1.expect)(json.includes('\t')).toBe(false);
+    });
+    (0, vitest_1.it)('is deterministic across multiple calls', () => {
+        const pkg = makePackage();
+        const results = Array.from({ length: 5 }, () => (0, proof_exchange_1.canonicalize)(pkg));
+        (0, vitest_1.expect)(new Set(results).size).toBe(1);
+    });
+});
+(0, vitest_1.describe)('hashProof', () => {
+    (0, vitest_1.it)('returns a 64-character hex SHA-256 string', async () => {
+        const pkg = makePackage();
+        const hash = await (0, proof_exchange_1.hashProof)(pkg);
+        (0, vitest_1.expect)(hash).toMatch(/^[0-9a-f]{64}$/);
+    });
+    (0, vitest_1.it)('is stable: two identical packages produce the same hash', async () => {
+        const pkg1 = makePackage();
+        const pkg2 = makePackage();
+        const [h1, h2] = await Promise.all([(0, proof_exchange_1.hashProof)(pkg1), (0, proof_exchange_1.hashProof)(pkg2)]);
+        (0, vitest_1.expect)(h1).toBe(h2);
+    });
+    (0, vitest_1.it)('changes when the package content changes', async () => {
+        const pkg1 = makePackage();
+        const pkg2 = makePackage({ formula: 'q -> q' });
+        const [h1, h2] = await Promise.all([(0, proof_exchange_1.hashProof)(pkg1), (0, proof_exchange_1.hashProof)(pkg2)]);
+        (0, vitest_1.expect)(h1).not.toBe(h2);
+    });
+    (0, vitest_1.it)('changes when only metadata changes', async () => {
+        const pkg1 = makePackage();
+        const pkg2 = makePackage({ metadata: { ...pkg1.metadata, author: 'other-author' } });
+        const [h1, h2] = await Promise.all([(0, proof_exchange_1.hashProof)(pkg1), (0, proof_exchange_1.hashProof)(pkg2)]);
+        (0, vitest_1.expect)(h1).not.toBe(h2);
+    });
+});
+(0, vitest_1.describe)('generateKeyPair', () => {
+    (0, vitest_1.it)('returns a publicKey and privateKey', async () => {
+        const { publicKey, privateKey } = await (0, proof_exchange_1.generateKeyPair)();
+        (0, vitest_1.expect)(publicKey).toBeDefined();
+        (0, vitest_1.expect)(privateKey).toBeDefined();
+    });
+});
+(0, vitest_1.describe)('signProof + verifyProof (round-trip)', () => {
+    (0, vitest_1.it)('Ed25519 keypair: verifyProof returns true for valid signature', async () => {
+        const { publicKey, privateKey } = await (0, proof_exchange_1.generateKeyPair)();
+        const pkg = makePackage();
+        const { signature } = await (0, proof_exchange_1.signProof)(pkg, privateKey);
+        const valid = await (0, proof_exchange_1.verifyProof)(pkg, signature, publicKey);
+        (0, vitest_1.expect)(valid).toBe(true);
+    });
+    (0, vitest_1.it)('verifyProof returns false when the formula field is tampered', async () => {
+        const { publicKey, privateKey } = await (0, proof_exchange_1.generateKeyPair)();
+        const pkg = makePackage();
+        const { signature } = await (0, proof_exchange_1.signProof)(pkg, privateKey);
+        const tampered = makePackage({ formula: 'q -> r' });
+        const valid = await (0, proof_exchange_1.verifyProof)(tampered, signature, publicKey);
+        (0, vitest_1.expect)(valid).toBe(false);
+    });
+    (0, vitest_1.it)('verifyProof returns false when the profile field is tampered', async () => {
+        const { publicKey, privateKey } = await (0, proof_exchange_1.generateKeyPair)();
+        const pkg = makePackage();
+        const { signature } = await (0, proof_exchange_1.signProof)(pkg, privateKey);
+        const tampered = makePackage({ profile: 'intuitionistic' });
+        const valid = await (0, proof_exchange_1.verifyProof)(tampered, signature, publicKey);
+        (0, vitest_1.expect)(valid).toBe(false);
+    });
+    (0, vitest_1.it)('verifyProof returns false when a proof step is tampered', async () => {
+        const { publicKey, privateKey } = await (0, proof_exchange_1.generateKeyPair)();
+        const pkg = makePackage();
+        const { signature } = await (0, proof_exchange_1.signProof)(pkg, privateKey);
+        const originalStep = pkg.proof.steps[0];
+        if (!originalStep)
+            throw new Error('Expected at least one proof step');
+        const tamperedProof = {
+            ...pkg.proof,
+            steps: [{ ...originalStep, justification: 'hacked' }],
+        };
+        const tampered = makePackage({ proof: tamperedProof });
+        const valid = await (0, proof_exchange_1.verifyProof)(tampered, signature, publicKey);
+        (0, vitest_1.expect)(valid).toBe(false);
+    });
+    (0, vitest_1.it)('verifyProof returns false for a corrupted signature (single bit flip)', async () => {
+        const { publicKey, privateKey } = await (0, proof_exchange_1.generateKeyPair)();
+        const pkg = makePackage();
+        const { signature } = await (0, proof_exchange_1.signProof)(pkg, privateKey);
+        const corruptedSig = signature.slice(0, -2) + (signature.endsWith('00') ? 'ff' : '00');
+        const valid = await (0, proof_exchange_1.verifyProof)(pkg, corruptedSig, publicKey);
+        (0, vitest_1.expect)(valid).toBe(false);
+    });
+    (0, vitest_1.it)('signProof returns algorithm label Ed25519 or HMAC-SHA256', async () => {
+        const { privateKey } = await (0, proof_exchange_1.generateKeyPair)();
+        const pkg = makePackage();
+        const { algorithm } = await (0, proof_exchange_1.signProof)(pkg, privateKey);
+        (0, vitest_1.expect)(['Ed25519', 'HMAC-SHA256']).toContain(algorithm);
+    });
+});
+//# sourceMappingURL=proof-exchange.test.js.map

package/dist/tests/proof-exchange/proof-exchange.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"proof-exchange.test.js","sourceRoot":"","sources":["../../../src/tests/proof-exchange/proof-exchange.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,yDAO8B;AAG9B,SAAS,SAAS;IAChB,OAAO;QACL,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE;QACjC,KAAK,EAAE;YACL;gBACE,UAAU,EAAE,CAAC;gBACb,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE;gBACpC,aAAa,EAAE,SAAS;gBACxB,QAAQ,EAAE,EAAE;gBACZ,MAAM,EAAE,SAAS;aAClB;SACF;QACD,MAAM,EAAE,UAAU;QAClB,MAAM,EAAE,mBAAmB;KAC5B,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAAC,SAAiC;IACpD,OAAO;QACL,OAAO,EAAE,KAAK;QACd,OAAO,EAAE,QAAQ;QACjB,OAAO,EAAE,yBAAyB;QAClC,KAAK,EAAE,SAAS,EAAE;QAClB,QAAQ,EAAE;YACR,MAAM,EAAE,aAAa;YACrB,SAAS,EAAE,0BAA0B;YACrC,IAAI,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC;SACxB;QACD,GAAG,SAAS;KACb,CAAC;AACJ,CAAC;AAED,IAAA,iBAAQ,EAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,IAAI,GAAG,WAAW,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAiB;YACzB,QAAQ,EAAE,IAAI,CAAC,QAAQ;YACvB,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,OAAO,EAAE,IAAI,CAAC,OAAO;SACtB,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,6BAAY,EAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAA,6BAAY,EAAC,IAAI,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,IAAA,6BAAY,EAAC,GAAG,CAAC,CAAC;QAC/B,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAC/C,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QACjD,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAC/C,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAC3C,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,YAAY,CAAC,CAAC,YAAY,CAAC,aAAa,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,aAAa,CAAC,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,YAAY,CAAC,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,UAAU,CAAC,CAAC,YAAY,CAAC,YAAY,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,IAAA,6BAAY,EAAC,GAAG,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,mBAAmB,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC;QAC1B,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,CAAC,IAAA,6BAAY,EAAC,GAAG,CAAC,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,WAAW,EAAE,GAAG,EAAE;IACzB,IAAA,WAAE,EAAC,2CAA2C,EAAE,KAAK,IAAI,EAAE;QACzD,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC;QAC1B,MAAM,IAAI,GAAG,MAAM,IAAA,0BAAS,EAAC,GAAG,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,KAAK,IAAI,EAAE;QACvE,MAAM,IAAI,GAAG,WAAW,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,WAAW,EAAE,CAAC;QAC3B,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,IAAA,0BAAS,EAAC,IAAI,CAAC,EAAE,IAAA,0BAAS,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACtB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,KAAK,IAAI,EAAE;QACxD,MAAM,IAAI,GAAG,WAAW,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,WAAW,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;QAChD,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,IAAA,0BAAS,EAAC,IAAI,CAAC,EAAE,IAAA,0BAAS,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,KAAK,IAAI,EAAE;QAClD,MAAM,IAAI,GAAG,WAAW,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,WAAW,CAAC,EAAE,QAAQ,EAAE,EAAE,GAAG,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE,EAAE,CAAC,CAAC;QACrF,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,IAAA,0BAAS,EAAC,IAAI,CAAC,EAAE,IAAA,0BAAS,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,IAAA,WAAE,EAAC,oCAAoC,EAAE,KAAK,IAAI,EAAE;QAClD,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,MAAM,IAAA,gCAAe,GAAE,CAAC;QAC1D,IAAA,eAAM,EAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;QAChC,IAAA,eAAM,EAAC,UAAU,CAAC,CAAC,WAAW,EAAE,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,+DAA+D,EAAE,KAAK,IAAI,EAAE;QAC7E,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,MAAM,IAAA,gCAAe,GAAE,CAAC;QAC1D,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC;QAC1B,MAAM,EAAE,SAAS,EAAE,GAAG,MAAM,IAAA,0BAAS,EAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QACvD,MAAM,KAAK,GAAG,MAAM,IAAA,4BAAW,EAAC,GAAG,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,KAAK,IAAI,EAAE;QAC5E,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,MAAM,IAAA,gCAAe,GAAE,CAAC;QAC1D,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC;QAC1B,MAAM,EAAE,SAAS,EAAE,GAAG,MAAM,IAAA,0BAAS,EAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QACvD,MAAM,QAAQ,GAAG,WAAW,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;QACpD,MAAM,KAAK,GAAG,MAAM,IAAA,4BAAW,EAAC,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,KAAK,IAAI,EAAE;QAC5E,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,MAAM,IAAA,gCAAe,GAAE,CAAC;QAC1D,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC;QAC1B,MAAM,EAAE,SAAS,EAAE,GAAG,MAAM,IAAA,0BAAS,EAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QACvD,MAAM,QAAQ,GAAG,WAAW,CAAC,EAAE,OAAO,EAAE,gBAAgB,EAAE,CAAC,CAAC;QAC5D,MAAM,KAAK,GAAG,MAAM,IAAA,4BAAW,EAAC,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,KAAK,IAAI,EAAE;QACvE,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,MAAM,IAAA,gCAAe,GAAE,CAAC;QAC1D,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC;QAC1B,MAAM,EAAE,SAAS,EAAE,GAAG,MAAM,IAAA,0BAAS,EAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QACvD,MAAM,YAAY,GAAG,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACxC,IAAI,CAAC,YAAY;YAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;QACvE,MAAM,aAAa,GAAU;YAC3B,GAAG,GAAG,CAAC,KAAK;YACZ,KAAK,EAAE,CAAC,EAAE,GAAG,YAAY,EAAE,aAAa,EAAE,QAAQ,EAAE,CAAC;SACtD,CAAC;QACF,MAAM,QAAQ,GAAG,WAAW,CAAC,EAAE,KAAK,EAAE,aAAa,EAAE,CAAC,CAAC;QACvD,MAAM,KAAK,GAAG,MAAM,IAAA,4BAAW,EAAC,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uEAAuE,EAAE,KAAK,IAAI,EAAE;QACrF,MAAM,EAAE,SAAS,EAAE,UAAU,EAAE,GAAG,MAAM,IAAA,gCAAe,GAAE,CAAC;QAC1D,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC;QAC1B,MAAM,EAAE,SAAS,EAAE,GAAG,MAAM,IAAA,0BAAS,EAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QACvD,MAAM,YAAY,GAAG,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACvF,MAAM,KAAK,GAAG,MAAM,IAAA,4BAAW,EAAC,GAAG,EAAE,YAAY,EAAE,SAAS,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,KAAK,IAAI,EAAE;QACxE,MAAM,EAAE,UAAU,EAAE,GAAG,MAAM,IAAA,gCAAe,GAAE,CAAC;QAC/C,MAAM,GAAG,GAAG,WAAW,EAAE,CAAC;QAC1B,MAAM,EAAE,SAAS,EAAE,GAAG,MAAM,IAAA,0BAAS,EAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/sat-v2/clause-learning.test.d.ts

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

package/dist/tests/sat-v2/clause-learning.test.d.ts.map

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

package/dist/tests/sat-v2/clause-learning.test.js

@@ -0,0 +1,73 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const cdcl_v2_1 = require("../../solver/cdcl-v2");
+(0, vitest_1.describe)('analyzeConflict1UIP', () => {
+    (0, vitest_1.it)('produces empty learned + btLevel=-1 when conflict at root level (DL=0)', () => {
+        const r = (0, cdcl_v2_1.analyzeConflict1UIP)(0, {
+            clauses: [new Int32Array([1, 2])],
+            trail: [1, 2],
+            currentLevel: 0,
+            varLevel: new Int32Array([0, 0, 0]),
+            varAnte: new Int32Array([cdcl_v2_1.NO_ANTECEDENT, cdcl_v2_1.NO_ANTECEDENT, cdcl_v2_1.NO_ANTECEDENT]),
+        });
+        (0, vitest_1.expect)(r.learned.length).toBe(0);
+        (0, vitest_1.expect)(r.btLevel).toBe(-1);
+    });
+    (0, vitest_1.it)('learns the negation of a unique decision when conflict at DL=1 with single var at current level', () => {
+        // Escenario: a (decisión nivel 1) propaga b en nivel 1 vía cláusula (¬a, b).
+        // Otra cláusula (¬a, ¬b) entra en conflicto al estar a, b ambas true.
+        // Trail: [a@1, b@1]. Antecedent de b = clauses[0]. Antecedent de a = -1.
+        // Conflicto en clauses[1] = (¬a, ¬b).
+        //
+        // 1UIP analysis:
+        //   - Empezamos por (¬a, ¬b): seen={a,b}, counter=2 (ambas DL=1).
+        //   - Trail back: b → counter=1, varAnte[b]=clauses[0]=(¬a,b). addLits sin var b ⇒ a ya está seen, skip.
+        //   - Trail back: a → counter=0, assertLit = -a.
+        // Aprendido: [-a]. btLevel=0.
+        const r = (0, cdcl_v2_1.analyzeConflict1UIP)(1, {
+            clauses: [
+                new Int32Array([-1, 2]), // antecedente de b
+                new Int32Array([-1, -2]), // conflicto
+            ],
+            trail: [1, 2],
+            currentLevel: 1,
+            // a en nivel 1, b en nivel 1
+            varLevel: new Int32Array([-1, 1, 1]),
+            varAnte: new Int32Array([cdcl_v2_1.NO_ANTECEDENT, cdcl_v2_1.NO_ANTECEDENT, 0]),
+        });
+        (0, vitest_1.expect)(Array.from(r.learned)).toEqual([-1]);
+        (0, vitest_1.expect)(r.btLevel).toBe(0);
+        (0, vitest_1.expect)(r.bumped).toContain(1);
+        (0, vitest_1.expect)(r.bumped).toContain(2);
+    });
+    (0, vitest_1.it)('returns a non-trivial learned clause spanning multiple decision levels', () => {
+        // Vars: 1, 2 decisiones; 3 propagada por (¬1, ¬2, 3); conflicto en (¬2, ¬3).
+        // Trail: [1@1, 2@2, 3@2]. Conflicto: (¬2, ¬3).
+        // Análisis:
+        //   - Empezar por (¬2, ¬3): seen={2,3}, counter=2 (ambos DL=2).
+        //   - Trail back desde 3 (top): seen[3]=1 → counter=1. varAnte[3] = (¬1,¬2,3),
+        //     addLits sin var 3: 1 está sin marcar y DL=1 ≠ 2 ⇒ outLits=[-1], btLevel=1.
+        //     2 ya está marcada, skip.
+        //   - Trail back: 2 → counter=0, assertLit = -2.
+        // Aprendido: [-2, -1]. btLevel=1.
+        const r = (0, cdcl_v2_1.analyzeConflict1UIP)(1, {
+            clauses: [
+                new Int32Array([-1, -2, 3]), // antecedente de 3
+                new Int32Array([-2, -3]), // conflicto
+            ],
+            trail: [1, 2, 3],
+            currentLevel: 2,
+            varLevel: new Int32Array([-1, 1, 2, 2]),
+            varAnte: new Int32Array([cdcl_v2_1.NO_ANTECEDENT, cdcl_v2_1.NO_ANTECEDENT, cdcl_v2_1.NO_ANTECEDENT, 0]),
+        });
+        const lits = Array.from(r.learned);
+        (0, vitest_1.expect)(lits).toContain(-2);
+        (0, vitest_1.expect)(lits).toContain(-1);
+        (0, vitest_1.expect)(lits[0]).toBe(-2); // asserting lit primero
+        (0, vitest_1.expect)(r.btLevel).toBe(1);
+        // bumped debe haber tocado las tres variables
+        (0, vitest_1.expect)(new Set(r.bumped)).toEqual(new Set([1, 2, 3]));
+    });
+});
+//# sourceMappingURL=clause-learning.test.js.map

package/dist/tests/sat-v2/clause-learning.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"clause-learning.test.js","sourceRoot":"","sources":["../../../src/tests/sat-v2/clause-learning.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,kDAA0E;AAE1E,IAAA,iBAAQ,EAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,IAAA,WAAE,EAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,MAAM,CAAC,GAAG,IAAA,6BAAmB,EAAC,CAAC,EAAE;YAC/B,OAAO,EAAE,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACjC,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YACb,YAAY,EAAE,CAAC;YACf,QAAQ,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YACnC,OAAO,EAAE,IAAI,UAAU,CAAC,CAAC,uBAAa,EAAE,uBAAa,EAAE,uBAAa,CAAC,CAAC;SACvE,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iGAAiG,EAAE,GAAG,EAAE;QACzG,6EAA6E;QAC7E,sEAAsE;QACtE,yEAAyE;QACzE,sCAAsC;QACtC,EAAE;QACF,iBAAiB;QACjB,kEAAkE;QAClE,yGAAyG;QACzG,iDAAiD;QACjD,8BAA8B;QAC9B,MAAM,CAAC,GAAG,IAAA,6BAAmB,EAAC,CAAC,EAAE;YAC/B,OAAO,EAAE;gBACP,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,mBAAmB;gBAC5C,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,YAAY;aACvC;YACD,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;YACb,YAAY,EAAE,CAAC;YACf,6BAA6B;YAC7B,QAAQ,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YACpC,OAAO,EAAE,IAAI,UAAU,CAAC,CAAC,uBAAa,EAAE,uBAAa,EAAE,CAAC,CAAC,CAAC;SAC3D,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wEAAwE,EAAE,GAAG,EAAE;QAChF,6EAA6E;QAC7E,+CAA+C;QAC/C,YAAY;QACZ,gEAAgE;QAChE,+EAA+E;QAC/E,iFAAiF;QACjF,+BAA+B;QAC/B,iDAAiD;QACjD,kCAAkC;QAClC,MAAM,CAAC,GAAG,IAAA,6BAAmB,EAAC,CAAC,EAAE;YAC/B,OAAO,EAAE;gBACP,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,mBAAmB;gBAChD,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,YAAY;aACvC;YACD,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAChB,YAAY,EAAE,CAAC;YACf,QAAQ,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;YACvC,OAAO,EAAE,IAAI,UAAU,CAAC,CAAC,uBAAa,EAAE,uBAAa,EAAE,uBAAa,EAAE,CAAC,CAAC,CAAC;SAC1E,CAAC,CAAC;QACH,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,wBAAwB;QAClD,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC1B,8CAA8C;QAC9C,IAAA,eAAM,EAAC,IAAI,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/sat-v2/lbd.test.d.ts

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

package/dist/tests/sat-v2/lbd.test.d.ts.map

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

package/dist/tests/sat-v2/lbd.test.js

@@ -0,0 +1,82 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const cdcl_v2_1 = require("../../solver/cdcl-v2");
+(0, vitest_1.describe)('computeLBD', () => {
+    // varLevel[v] = nivel de decisión en que se asignó v (1-indexado).
+    // Construimos un mini-estado: vars 1..5 con niveles distintos.
+    function mkVarLevel(levels) {
+        const out = new Int32Array(levels.length + 1).fill(-1);
+        for (let i = 0; i < levels.length; i++)
+            out[i + 1] = levels[i];
+        return out;
+    }
+    (0, vitest_1.it)('counts distinct decision levels in clause', () => {
+        const varLevel = mkVarLevel([1, 1, 2, 3, 3]);
+        const seen = new Uint8Array(10);
+        // Cláusula con vars {1,3,5} → niveles {1, 2, 3} → LBD = 3.
+        (0, vitest_1.expect)((0, cdcl_v2_1.computeLBD)(new Int32Array([1, -3, 5]), varLevel, seen)).toBe(3);
+        // Cláusula con vars {1,2} (mismo nivel 1) → LBD = 1.
+        (0, vitest_1.expect)((0, cdcl_v2_1.computeLBD)(new Int32Array([1, 2]), varLevel, seen)).toBe(1);
+        // Cláusula con vars {1,2,4} (niveles 1,1,3) → LBD = 2.
+        (0, vitest_1.expect)((0, cdcl_v2_1.computeLBD)(new Int32Array([-1, 2, 4]), varLevel, seen)).toBe(2);
+    });
+    (0, vitest_1.it)('ignores unassigned variables (level -1)', () => {
+        const varLevel = mkVarLevel([1, -1, 2]); // var 2 sin asignar
+        const seen = new Uint8Array(10);
+        (0, vitest_1.expect)((0, cdcl_v2_1.computeLBD)(new Int32Array([1, 2, 3]), varLevel, seen)).toBe(2);
+    });
+    (0, vitest_1.it)('resets seenBuffer between calls (idempotent)', () => {
+        const varLevel = mkVarLevel([1, 2, 3]);
+        const seen = new Uint8Array(10);
+        (0, cdcl_v2_1.computeLBD)(new Int32Array([1, 2, 3]), varLevel, seen);
+        // Buffer debe estar todo a cero tras la llamada.
+        for (let i = 0; i < seen.length; i++)
+            (0, vitest_1.expect)(seen[i]).toBe(0);
+    });
+});
+(0, vitest_1.describe)('selectClausesToRemove', () => {
+    function mk(index, lbd, activity, locked, length) {
+        return { index, lbd, activity, locked, length };
+    }
+    (0, vitest_1.it)('protects glue clauses (LBD <= threshold)', () => {
+        const metas = [
+            mk(0, 2, 0.1, false, 4),
+            mk(1, 1, 0.1, false, 5),
+            mk(2, 8, 0.1, false, 6),
+            mk(3, 9, 0.1, false, 7),
+        ];
+        const removed = (0, cdcl_v2_1.selectClausesToRemove)(metas, 2);
+        (0, vitest_1.expect)(removed).not.toContain(0);
+        (0, vitest_1.expect)(removed).not.toContain(1);
+        // Sólo candidatas son metas[2], metas[3] (LBD > 2, length > 2, not locked).
+        // half = 1, así que se elimina la peor (mayor LBD).
+        (0, vitest_1.expect)(removed).toEqual([3]);
+    });
+    (0, vitest_1.it)('protects locked clauses', () => {
+        const metas = [mk(0, 9, 0.1, true, 5), mk(1, 8, 0.1, false, 6), mk(2, 7, 0.1, false, 7)];
+        const removed = (0, cdcl_v2_1.selectClausesToRemove)(metas, 2);
+        (0, vitest_1.expect)(removed).not.toContain(0);
+    });
+    (0, vitest_1.it)('protects binary clauses (length <= 2)', () => {
+        const metas = [mk(0, 5, 0.1, false, 2), mk(1, 6, 0.1, false, 8), mk(2, 7, 0.1, false, 9)];
+        const removed = (0, cdcl_v2_1.selectClausesToRemove)(metas, 2);
+        (0, vitest_1.expect)(removed).not.toContain(0);
+    });
+    (0, vitest_1.it)('ranks higher-LBD then lower-activity for removal', () => {
+        const metas = [
+            mk(0, 10, 5.0, false, 5),
+            mk(1, 10, 0.1, false, 5),
+            mk(2, 5, 5.0, false, 5),
+            mk(3, 5, 0.1, false, 5),
+        ];
+        // Sorted by (lbd desc, act asc, length desc): [1, 0, 3, 2]. half=2 ⇒ [1, 0].
+        const removed = (0, cdcl_v2_1.selectClausesToRemove)(metas, 2);
+        (0, vitest_1.expect)(removed.sort()).toEqual([0, 1]);
+    });
+    (0, vitest_1.it)('returns empty when no candidates qualify', () => {
+        const metas = [mk(0, 1, 0.1, false, 5), mk(1, 2, 0.1, false, 6)];
+        (0, vitest_1.expect)((0, cdcl_v2_1.selectClausesToRemove)(metas, 2)).toEqual([]);
+    });
+});
+//# sourceMappingURL=lbd.test.js.map

package/dist/tests/sat-v2/lbd.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lbd.test.js","sourceRoot":"","sources":["../../../src/tests/sat-v2/lbd.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,kDAA2F;AAE3F,IAAA,iBAAQ,EAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,mEAAmE;IACnE,+DAA+D;IAC/D,SAAS,UAAU,CAAC,MAAgB;QAClC,MAAM,GAAG,GAAG,IAAI,UAAU,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;QACvD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAE,CAAC;QAChE,OAAO,GAAG,CAAC;IACb,CAAC;IAED,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,QAAQ,GAAG,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAC7C,MAAM,IAAI,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;QAChC,2DAA2D;QAC3D,IAAA,eAAM,EAAC,IAAA,oBAAU,EAAC,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACvE,qDAAqD;QACrD,IAAA,eAAM,EAAC,IAAA,oBAAU,EAAC,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnE,uDAAuD;QACvD,IAAA,eAAM,EAAC,IAAA,oBAAU,EAAC,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,QAAQ,GAAG,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,oBAAoB;QAC7D,MAAM,IAAI,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,oBAAU,EAAC,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,QAAQ,GAAG,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,IAAI,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;QAChC,IAAA,oBAAU,EAAC,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;QACtD,iDAAiD;QACjD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE;YAAE,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,SAAS,EAAE,CACT,KAAa,EACb,GAAW,EACX,QAAgB,EAChB,MAAe,EACf,MAAc;QAEd,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC;IAClD,CAAC;IAED,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,KAAK,GAAG;YACZ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;YACvB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;YACvB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;YACvB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;SACxB,CAAC;QACF,MAAM,OAAO,GAAG,IAAA,+BAAqB,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACjC,4EAA4E;QAC5E,oDAAoD;QACpD,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;QACzF,MAAM,OAAO,GAAG,IAAA,+BAAqB,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1F,MAAM,OAAO,GAAG,IAAA,+BAAqB,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,KAAK,GAAG;YACZ,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;YACxB,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;YACxB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;YACvB,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;SACxB,CAAC;QACF,6EAA6E;QAC7E,MAAM,OAAO,GAAG,IAAA,+BAAqB,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,KAAK,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,IAAA,+BAAqB,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/sat-v2/luby.test.d.ts

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

package/dist/tests/sat-v2/luby.test.d.ts.map

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