@stevenvo780/st-lang 4.6.0 → 4.8.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/proof-guidance/features.test.d.ts

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

package/dist/tests/tooling/proof-guidance/features.test.d.ts.map

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

package/dist/tests/tooling/proof-guidance/features.test.js

@@ -0,0 +1,72 @@
+"use strict";
+// ============================================================
+// Tests: extractFeatures
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const proof_guidance_1 = require("../../../tooling/proof-guidance");
+(0, vitest_1.describe)('extractFeatures', () => {
+    (0, vitest_1.it)('es determinístico: misma entrada → mismas features (orden, nombres, valores)', () => {
+        const state = {
+            goal: 'P → Q',
+            hypotheses: ['P', 'P → Q'],
+        };
+        const a = (0, proof_guidance_1.extractFeatures)(state);
+        const b = (0, proof_guidance_1.extractFeatures)(state);
+        (0, vitest_1.expect)(a).toEqual(b);
+        (0, vitest_1.expect)(a.length).toBeGreaterThan(0);
+        // Mismos nombres en mismo orden
+        (0, vitest_1.expect)(a.map((f) => f.name)).toEqual(b.map((f) => f.name));
+    });
+    (0, vitest_1.it)('numHypotheses refleja el conteo, saturado en 10', () => {
+        const empty = (0, proof_guidance_1.extractFeatures)({ goal: 'P', hypotheses: [] });
+        (0, vitest_1.expect)(empty.find((f) => f.name === 'numHypotheses')?.value).toBe(0);
+        const three = (0, proof_guidance_1.extractFeatures)({ goal: 'P', hypotheses: ['A', 'B', 'C'] });
+        (0, vitest_1.expect)(three.find((f) => f.name === 'numHypotheses')?.value).toBe(3);
+        const many = Array.from({ length: 30 }, (_, i) => `H${i}`);
+        const sat = (0, proof_guidance_1.extractFeatures)({ goal: 'P', hypotheses: many });
+        (0, vitest_1.expect)(sat.find((f) => f.name === 'numHypotheses')?.value).toBe(10);
+    });
+    (0, vitest_1.it)('goalDepth cuenta operadores lógicos (saturado en 20)', () => {
+        const trivial = (0, proof_guidance_1.extractFeatures)({ goal: 'P', hypotheses: [] });
+        (0, vitest_1.expect)(trivial.find((f) => f.name === 'goalDepth')?.value).toBe(0);
+        const arrow = (0, proof_guidance_1.extractFeatures)({ goal: 'P → Q', hypotheses: [] });
+        (0, vitest_1.expect)(arrow.find((f) => f.name === 'goalDepth')?.value).toBe(1);
+        const complex = (0, proof_guidance_1.extractFeatures)({ goal: '(P ∧ Q) → (R ∨ ¬S)', hypotheses: [] });
+        // ∧, →, ∨, ¬ → 4 operadores
+        (0, vitest_1.expect)(complex.find((f) => f.name === 'goalDepth')?.value).toBe(4);
+    });
+    (0, vitest_1.it)('one-hot de símbolos top-level', () => {
+        const fs = (0, proof_guidance_1.extractFeatures)({ goal: 'P → Q ∧ R', hypotheses: [] });
+        (0, vitest_1.expect)(fs.find((f) => f.name === 'hasSymbol:→')?.value).toBe(1);
+        (0, vitest_1.expect)(fs.find((f) => f.name === 'hasSymbol:∧')?.value).toBe(1);
+        (0, vitest_1.expect)(fs.find((f) => f.name === 'hasSymbol:∨')?.value).toBe(0);
+        (0, vitest_1.expect)(fs.find((f) => f.name === 'hasSymbol:¬')?.value).toBe(0);
+    });
+    (0, vitest_1.it)('hypInGoal=1 si una hipótesis aparece textualmente en el goal', () => {
+        const yes = (0, proof_guidance_1.extractFeatures)({ goal: 'P → Q', hypotheses: ['P'] });
+        (0, vitest_1.expect)(yes.find((f) => f.name === 'hypInGoal')?.value).toBe(1);
+        const no = (0, proof_guidance_1.extractFeatures)({ goal: 'X → Y', hypotheses: ['Z'] });
+        (0, vitest_1.expect)(no.find((f) => f.name === 'hypInGoal')?.value).toBe(0);
+    });
+    (0, vitest_1.it)('hypEqualsGoal=1 cuando hay assumption directa (modus ponens trivial)', () => {
+        const direct = (0, proof_guidance_1.extractFeatures)({ goal: 'P', hypotheses: ['P', 'Q'] });
+        (0, vitest_1.expect)(direct.find((f) => f.name === 'hypEqualsGoal')?.value).toBe(1);
+        const indirect = (0, proof_guidance_1.extractFeatures)({ goal: 'P', hypotheses: ['P → Q'] });
+        (0, vitest_1.expect)(indirect.find((f) => f.name === 'hypEqualsGoal')?.value).toBe(0);
+    });
+    (0, vitest_1.it)('featureNames() lista incluye todos los nombres que extractFeatures emite', () => {
+        const names = (0, proof_guidance_1.featureNames)();
+        const emitted = new Set((0, proof_guidance_1.extractFeatures)({ goal: 'P → Q ∧ R ∨ ¬S ↔ T', hypotheses: ['P'] }).map((f) => f.name));
+        for (const n of names) {
+            (0, vitest_1.expect)(emitted.has(n), `featureNames declares "${n}" pero extractFeatures no lo emite`).toBe(true);
+        }
+    });
+    (0, vitest_1.it)('goalIsEmpty=1 cuando el goal está vacío (estado cerrado)', () => {
+        const empty = (0, proof_guidance_1.extractFeatures)({ goal: '', hypotheses: ['P'] });
+        (0, vitest_1.expect)(empty.find((f) => f.name === 'goalIsEmpty')?.value).toBe(1);
+        const nonEmpty = (0, proof_guidance_1.extractFeatures)({ goal: 'P', hypotheses: [] });
+        (0, vitest_1.expect)(nonEmpty.find((f) => f.name === 'goalIsEmpty')?.value).toBe(0);
+    });
+});
+//# sourceMappingURL=features.test.js.map

package/dist/tests/tooling/proof-guidance/features.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"features.test.js","sourceRoot":"","sources":["../../../../src/tests/tooling/proof-guidance/features.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,yBAAyB;AACzB,+DAA+D;;AAE/D,mCAA8C;AAC9C,oEAAgF;AAGhF,IAAA,iBAAQ,EAAC,iBAAiB,EAAE,GAAG,EAAE;IAC/B,IAAA,WAAE,EAAC,8EAA8E,EAAE,GAAG,EAAE;QACtF,MAAM,KAAK,GAAe;YACxB,IAAI,EAAE,OAAO;YACb,UAAU,EAAE,CAAC,GAAG,EAAE,OAAO,CAAC;SAC3B,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,gCAAe,EAAC,KAAK,CAAC,CAAC;QACjC,MAAM,CAAC,GAAG,IAAA,gCAAe,EAAC,KAAK,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACpC,gCAAgC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,KAAK,GAAG,IAAA,gCAAe,EAAC,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAErE,MAAM,KAAK,GAAG,IAAA,gCAAe,EAAC,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QAC1E,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAErE,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3D,MAAM,GAAG,GAAG,IAAA,gCAAe,EAAC,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,OAAO,GAAG,IAAA,gCAAe,EAAC,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAEnE,MAAM,KAAK,GAAG,IAAA,gCAAe,EAAC,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAEjE,MAAM,OAAO,GAAG,IAAA,gCAAe,EAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC;QAChF,4BAA4B;QAC5B,IAAA,eAAM,EAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,EAAE,GAAG,IAAA,gCAAe,EAAC,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,GAAG,GAAG,IAAA,gCAAe,EAAC,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAE/D,MAAM,EAAE,GAAG,IAAA,gCAAe,EAAC,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,MAAM,GAAG,IAAA,gCAAe,EAAC,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAEtE,MAAM,QAAQ,GAAG,IAAA,gCAAe,EAAC,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,MAAM,KAAK,GAAG,IAAA,6BAAY,GAAE,CAAC;QAC7B,MAAM,OAAO,GAAG,IAAI,GAAG,CACrB,IAAA,gCAAe,EAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CACtF,CAAC;QACF,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;YACtB,IAAA,eAAM,EAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,0BAA0B,CAAC,oCAAoC,CAAC,CAAC,IAAI,CAC1F,IAAI,CACL,CAAC;QACJ,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,KAAK,GAAG,IAAA,gCAAe,EAAC,EAAE,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAEnE,MAAM,QAAQ,GAAG,IAAA,gCAAe,EAAC,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/tooling/proof-guidance/model.test.d.ts

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

package/dist/tests/tooling/proof-guidance/model.test.d.ts.map

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

package/dist/tests/tooling/proof-guidance/model.test.js

@@ -0,0 +1,165 @@
+"use strict";
+// ============================================================
+// Tests: trainModel, rankTactics, updateModel, tacticSuccessProbability
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const proof_guidance_1 = require("../../../tooling/proof-guidance");
+function record(tactic, beforeState, afterState, successful) {
+    return { tactic, beforeState, afterState, successful };
+}
+(0, vitest_1.describe)('trainModel', () => {
+    (0, vitest_1.it)('con 10 records produce modelo con weights aprendidos', () => {
+        // Dataset sintético: 'assumption' funciona cuando hypEqualsGoal=1.
+        // 'intro' funciona cuando el goal tiene →.
+        const records = [
+            record('assumption', { goal: 'P', hypotheses: ['P'] }, { goal: '', hypotheses: ['P'] }, true),
+            record('assumption', { goal: 'Q', hypotheses: ['Q'] }, { goal: '', hypotheses: ['Q'] }, true),
+            record('assumption', { goal: 'R', hypotheses: ['R'] }, { goal: '', hypotheses: ['R'] }, true),
+            record('assumption', { goal: 'P', hypotheses: ['Q'] }, { goal: 'P', hypotheses: ['Q'] }, false),
+            record('assumption', { goal: 'A', hypotheses: ['B'] }, { goal: 'A', hypotheses: ['B'] }, false),
+            record('intro', { goal: 'P → Q', hypotheses: [] }, { goal: 'Q', hypotheses: ['P'] }, true),
+            record('intro', { goal: 'A → B', hypotheses: [] }, { goal: 'B', hypotheses: ['A'] }, true),
+            record('intro', { goal: 'X → Y', hypotheses: [] }, { goal: 'Y', hypotheses: ['X'] }, true),
+            record('intro', { goal: 'P', hypotheses: [] }, { goal: 'P', hypotheses: [] }, false),
+            record('intro', { goal: 'Q', hypotheses: [] }, { goal: 'Q', hypotheses: [] }, false),
+        ];
+        const model = (0, proof_guidance_1.trainModel)(records, { epochs: 100 });
+        (0, vitest_1.expect)(model.weights.size).toBeGreaterThan(0);
+        (0, vitest_1.expect)(model.bias.size).toBeGreaterThan(0);
+        (0, vitest_1.expect)(model.features.length).toBeGreaterThan(0);
+        // El modelo debe puntuar 'assumption' alto cuando hypEqualsGoal=1.
+        const goodForAssumption = { goal: 'P', hypotheses: ['P'] };
+        const ranked1 = (0, proof_guidance_1.rankTactics)(goodForAssumption, model, ['assumption', 'intro']);
+        (0, vitest_1.expect)(ranked1[0].tactic).toBe('assumption');
+        // Y 'intro' alto cuando el goal tiene →.
+        const goodForIntro = { goal: 'A → B', hypotheses: [] };
+        const ranked2 = (0, proof_guidance_1.rankTactics)(goodForIntro, model, ['assumption', 'intro']);
+        (0, vitest_1.expect)(ranked2[0].tactic).toBe('intro');
+    });
+    (0, vitest_1.it)('modelo vacío (sin records) tiene weights vacíos pero rankea sin crashear', () => {
+        const model = (0, proof_guidance_1.trainModel)([]);
+        (0, vitest_1.expect)(model.weights.size).toBe(0);
+        const ranked = (0, proof_guidance_1.rankTactics)({ goal: 'P', hypotheses: [] }, model, ['a', 'b', 'c']);
+        (0, vitest_1.expect)(ranked.length).toBe(3);
+        // Todas con score 0 — orden estable por idx.
+        (0, vitest_1.expect)(ranked.every((r) => r.score === 0)).toBe(true);
+        (0, vitest_1.expect)(ranked.map((r) => r.tactic)).toEqual(['a', 'b', 'c']);
+    });
+});
+(0, vitest_1.describe)('rankTactics', () => {
+    (0, vitest_1.it)('ordena consistentemente: mismo state + model + candidates → mismo ranking', () => {
+        const records = [
+            record('apply', { goal: 'P', hypotheses: ['P → Q'] }, { goal: 'Q', hypotheses: [] }, true),
+            record('apply', { goal: 'A', hypotheses: ['A → B'] }, { goal: 'B', hypotheses: [] }, true),
+            record('intro', { goal: 'P → Q', hypotheses: [] }, { goal: 'Q', hypotheses: ['P'] }, true),
+            record('intro', { goal: 'X → Y', hypotheses: [] }, { goal: 'Y', hypotheses: ['X'] }, true),
+            record('apply', { goal: 'P', hypotheses: [] }, { goal: 'P', hypotheses: [] }, false),
+        ];
+        const model = (0, proof_guidance_1.trainModel)(records, { epochs: 80 });
+        const state = { goal: 'P', hypotheses: ['P → Q'] };
+        const r1 = (0, proof_guidance_1.rankTactics)(state, model, ['intro', 'apply', 'assumption']);
+        const r2 = (0, proof_guidance_1.rankTactics)(state, model, ['intro', 'apply', 'assumption']);
+        (0, vitest_1.expect)(r1).toEqual(r2);
+    });
+    (0, vitest_1.it)('candidatos no vistos en training reciben score 0 y quedan al final', () => {
+        const records = [
+            record('foo', { goal: 'P', hypotheses: ['P'] }, { goal: '', hypotheses: ['P'] }, true),
+            record('foo', { goal: 'Q', hypotheses: ['Q'] }, { goal: '', hypotheses: ['Q'] }, true),
+            record('foo', { goal: 'R', hypotheses: ['R'] }, { goal: '', hypotheses: ['R'] }, true),
+        ];
+        const model = (0, proof_guidance_1.trainModel)(records, { epochs: 80 });
+        const state = { goal: 'P', hypotheses: ['P'] };
+        const ranked = (0, proof_guidance_1.rankTactics)(state, model, ['nunca-visto', 'foo']);
+        (0, vitest_1.expect)(ranked[0].tactic).toBe('foo');
+        (0, vitest_1.expect)(ranked[0].score).toBeGreaterThan(ranked[1].score);
+    });
+    (0, vitest_1.it)('tie-break determinístico cuando todos los scores son iguales', () => {
+        const model = (0, proof_guidance_1.createEmptyModel)();
+        const state = { goal: 'P', hypotheses: [] };
+        const ranked = (0, proof_guidance_1.rankTactics)(state, model, ['c', 'b', 'a']);
+        (0, vitest_1.expect)(ranked.map((r) => r.tactic)).toEqual(['c', 'b', 'a']); // mismo orden de entrada
+    });
+});
+(0, vitest_1.describe)('updateModel', () => {
+    (0, vitest_1.it)('converge con repeated updates: la probabilidad estimada se mueve hacia el target', () => {
+        let model = (0, proof_guidance_1.createEmptyModel)();
+        const state = { goal: 'P', hypotheses: ['P'] };
+        const successRecord = {
+            tactic: 'assumption',
+            beforeState: state,
+            afterState: { goal: '', hypotheses: ['P'] },
+            successful: true,
+        };
+        const p0 = (0, proof_guidance_1.tacticSuccessProbability)(state, model, 'assumption');
+        (0, vitest_1.expect)(p0).toBeCloseTo(0.5); // bias 0 + features × 0 → sigmoid(0)
+        // 200 actualizaciones positivas → la probabilidad debe subir mucho.
+        for (let i = 0; i < 200; i++) {
+            model = (0, proof_guidance_1.updateModel)(model, successRecord, 0.3);
+        }
+        const pAfter = (0, proof_guidance_1.tacticSuccessProbability)(state, model, 'assumption');
+        (0, vitest_1.expect)(pAfter).toBeGreaterThan(0.9);
+    });
+    (0, vitest_1.it)('updateModel no muta el modelo original (immutable update)', () => {
+        const model = (0, proof_guidance_1.createEmptyModel)();
+        const record = {
+            tactic: 'foo',
+            beforeState: { goal: 'P', hypotheses: ['P'] },
+            afterState: { goal: '', hypotheses: ['P'] },
+            successful: true,
+        };
+        const sizeBefore = model.weights.size;
+        const biasBefore = model.bias.size;
+        const next = (0, proof_guidance_1.updateModel)(model, record, 0.5);
+        (0, vitest_1.expect)(model.weights.size).toBe(sizeBefore);
+        (0, vitest_1.expect)(model.bias.size).toBe(biasBefore);
+        (0, vitest_1.expect)(next.weights.size).toBeGreaterThanOrEqual(sizeBefore);
+    });
+    (0, vitest_1.it)('updates negativos bajan la probabilidad', () => {
+        let model = (0, proof_guidance_1.createEmptyModel)();
+        const state = { goal: 'P', hypotheses: [] };
+        const failRecord = {
+            tactic: 'wrong-tactic',
+            beforeState: state,
+            afterState: state,
+            successful: false,
+        };
+        for (let i = 0; i < 200; i++) {
+            model = (0, proof_guidance_1.updateModel)(model, failRecord, 0.3);
+        }
+        const p = (0, proof_guidance_1.tacticSuccessProbability)(state, model, 'wrong-tactic');
+        (0, vitest_1.expect)(p).toBeLessThan(0.1);
+    });
+});
+(0, vitest_1.describe)('proofDepthRemaining weighting', () => {
+    (0, vitest_1.it)('records con menos depth remaining tienen más peso en train', () => {
+        // Mismos features y mismas tácticas; el record "close to QED" pesa más.
+        const records = [
+            {
+                tactic: 'finish',
+                beforeState: { goal: 'P', hypotheses: ['P'] },
+                afterState: { goal: '', hypotheses: ['P'] },
+                successful: true,
+                proofDepthRemaining: 0,
+            },
+            {
+                tactic: 'finish',
+                beforeState: { goal: 'Q', hypotheses: ['Q'] },
+                afterState: { goal: '', hypotheses: ['Q'] },
+                successful: true,
+                proofDepthRemaining: 0,
+            },
+            {
+                tactic: 'finish',
+                beforeState: { goal: 'R', hypotheses: ['R'] },
+                afterState: { goal: '', hypotheses: ['R'] },
+                successful: true,
+                proofDepthRemaining: 0,
+            },
+        ];
+        const model = (0, proof_guidance_1.trainModel)(records, { epochs: 100 });
+        const p = (0, proof_guidance_1.tacticSuccessProbability)({ goal: 'X', hypotheses: ['X'] }, model, 'finish');
+        (0, vitest_1.expect)(p).toBeGreaterThan(0.6);
+    });
+});
+//# sourceMappingURL=model.test.js.map

package/dist/tests/tooling/proof-guidance/model.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"model.test.js","sourceRoot":"","sources":["../../../../src/tests/tooling/proof-guidance/model.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,wEAAwE;AACxE,+DAA+D;;AAE/D,mCAA8C;AAC9C,oEAMyC;AAGzC,SAAS,MAAM,CACb,MAAc,EACd,WAAuB,EACvB,UAAsB,EACtB,UAAmB;IAEnB,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC;AACzD,CAAC;AAED,IAAA,iBAAQ,EAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,mEAAmE;QACnE,2CAA2C;QAC3C,MAAM,OAAO,GAAmB;YAC9B,MAAM,CAAC,YAAY,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC;YAC7F,MAAM,CAAC,YAAY,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC;YAC7F,MAAM,CAAC,YAAY,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC;YAC7F,MAAM,CACJ,YAAY,EACZ,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,EAChC,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,EAChC,KAAK,CACN;YACD,MAAM,CACJ,YAAY,EACZ,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,EAChC,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,EAChC,KAAK,CACN;YACD,MAAM,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC;YAC1F,MAAM,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC;YAC1F,MAAM,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC;YAC1F,MAAM,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC;YACpF,MAAM,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC;SACrF,CAAC;QAEF,MAAM,KAAK,GAAG,IAAA,2BAAU,EAAC,OAAO,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QAEnD,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAEjD,mEAAmE;QACnE,MAAM,iBAAiB,GAAe,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;QACvE,MAAM,OAAO,GAAG,IAAA,4BAAW,EAAC,iBAAiB,EAAE,KAAK,EAAE,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC,CAAC;QAC/E,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAE7C,yCAAyC;QACzC,MAAM,YAAY,GAAe,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;QACnE,MAAM,OAAO,GAAG,IAAA,4BAAW,EAAC,YAAY,EAAE,KAAK,EAAE,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC,CAAC;QAC1E,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,MAAM,KAAK,GAAG,IAAA,2BAAU,EAAC,EAAE,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,MAAM,GAAG,IAAA,4BAAW,EAAC,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAClF,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9B,6CAA6C;QAC7C,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,IAAA,WAAE,EAAC,2EAA2E,EAAE,GAAG,EAAE;QACnF,MAAM,OAAO,GAAmB;YAC9B,MAAM,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC;YAC1F,MAAM,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC;YAC1F,MAAM,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC;YAC1F,MAAM,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC;YAC1F,MAAM,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC;SACrF,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,2BAAU,EAAC,OAAO,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;QAClD,MAAM,KAAK,GAAe,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/D,MAAM,EAAE,GAAG,IAAA,4BAAW,EAAC,KAAK,EAAE,KAAK,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC;QACvE,MAAM,EAAE,GAAG,IAAA,4BAAW,EAAC,KAAK,EAAE,KAAK,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,OAAO,GAAmB;YAC9B,MAAM,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC;YACtF,MAAM,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC;YACtF,MAAM,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC;SACvF,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,2BAAU,EAAC,OAAO,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;QAClD,MAAM,KAAK,GAAe,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3D,MAAM,MAAM,GAAG,IAAA,4BAAW,EAAC,KAAK,EAAE,KAAK,EAAE,CAAC,aAAa,EAAE,KAAK,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,KAAK,GAAG,IAAA,iCAAgB,GAAE,CAAC;QACjC,MAAM,KAAK,GAAe,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;QACxD,MAAM,MAAM,GAAG,IAAA,4BAAW,EAAC,KAAK,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,yBAAyB;IACzF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,aAAa,EAAE,GAAG,EAAE;IAC3B,IAAA,WAAE,EAAC,kFAAkF,EAAE,GAAG,EAAE;QAC1F,IAAI,KAAK,GAAG,IAAA,iCAAgB,GAAE,CAAC;QAC/B,MAAM,KAAK,GAAe,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;QAC3D,MAAM,aAAa,GAAiB;YAClC,MAAM,EAAE,YAAY;YACpB,WAAW,EAAE,KAAK;YAClB,UAAU,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE;YAC3C,UAAU,EAAE,IAAI;SACjB,CAAC;QAEF,MAAM,EAAE,GAAG,IAAA,yCAAwB,EAAC,KAAK,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,qCAAqC;QAElE,oEAAoE;QACpE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7B,KAAK,GAAG,IAAA,4BAAW,EAAC,KAAK,EAAE,aAAa,EAAE,GAAG,CAAC,CAAC;QACjD,CAAC;QACD,MAAM,MAAM,GAAG,IAAA,yCAAwB,EAAC,KAAK,EAAE,KAAK,EAAE,YAAY,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,KAAK,GAAG,IAAA,iCAAgB,GAAE,CAAC;QACjC,MAAM,MAAM,GAAiB;YAC3B,MAAM,EAAE,KAAK;YACb,WAAW,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE;YAC7C,UAAU,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE;YAC3C,UAAU,EAAE,IAAI;SACjB,CAAC;QACF,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QACtC,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;QACnC,MAAM,IAAI,GAAG,IAAA,4BAAW,EAAC,KAAK,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,sBAAsB,CAAC,UAAU,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,IAAI,KAAK,GAAG,IAAA,iCAAgB,GAAE,CAAC;QAC/B,MAAM,KAAK,GAAe,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;QACxD,MAAM,UAAU,GAAiB;YAC/B,MAAM,EAAE,cAAc;YACtB,WAAW,EAAE,KAAK;YAClB,UAAU,EAAE,KAAK;YACjB,UAAU,EAAE,KAAK;SAClB,CAAC;QACF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7B,KAAK,GAAG,IAAA,4BAAW,EAAC,KAAK,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;QAC9C,CAAC;QACD,MAAM,CAAC,GAAG,IAAA,yCAAwB,EAAC,KAAK,EAAE,KAAK,EAAE,cAAc,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,wEAAwE;QACxE,MAAM,OAAO,GAAmB;YAC9B;gBACE,MAAM,EAAE,QAAQ;gBAChB,WAAW,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE;gBAC7C,UAAU,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE;gBAC3C,UAAU,EAAE,IAAI;gBAChB,mBAAmB,EAAE,CAAC;aACvB;YACD;gBACE,MAAM,EAAE,QAAQ;gBAChB,WAAW,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE;gBAC7C,UAAU,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE;gBAC3C,UAAU,EAAE,IAAI;gBAChB,mBAAmB,EAAE,CAAC;aACvB;YACD;gBACE,MAAM,EAAE,QAAQ;gBAChB,WAAW,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE;gBAC7C,UAAU,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE;gBAC3C,UAAU,EAAE,IAAI;gBAChB,mBAAmB,EAAE,CAAC;aACvB;SACF,CAAC;QAEF,MAAM,KAAK,GAAG,IAAA,2BAAU,EAAC,OAAO,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QACnD,MAAM,CAAC,GAAG,IAAA,yCAAwB,EAAC,EAAE,IAAI,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;QACtF,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/tooling/proof-guidance/search.test.d.ts

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

package/dist/tests/tooling/proof-guidance/search.test.d.ts.map

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