@stevenvo780/st-lang 4.11.0 → 4.12.0

package/dist/tests/reasoning/set-theory/hf-sets.test.js

@@ -0,0 +1,177 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const set_theory_1 = require("../../../reasoning/set-theory");
+(0, vitest_1.describe)('HF sets — basic operations', () => {
+    (0, vitest_1.it)('EMPTY tiene cardinalidad 0', () => {
+        (0, vitest_1.expect)((0, set_theory_1.cardinality)(set_theory_1.EMPTY)).toBe(0);
+    });
+    (0, vitest_1.it)('singleton(EMPTY) tiene cardinalidad 1 y contiene a EMPTY', () => {
+        const s = (0, set_theory_1.singleton)(set_theory_1.EMPTY);
+        (0, vitest_1.expect)((0, set_theory_1.cardinality)(s)).toBe(1);
+        (0, vitest_1.expect)((0, set_theory_1.isElement)(set_theory_1.EMPTY, s)).toBe(true);
+    });
+    (0, vitest_1.it)('isSubset(EMPTY, A) siempre es true', () => {
+        const a = (0, set_theory_1.nat)(0);
+        const b = (0, set_theory_1.nat)(3);
+        const c = (0, set_theory_1.pair)((0, set_theory_1.singleton)(set_theory_1.EMPTY), (0, set_theory_1.nat)(2));
+        (0, vitest_1.expect)((0, set_theory_1.isSubset)(set_theory_1.EMPTY, a)).toBe(true);
+        (0, vitest_1.expect)((0, set_theory_1.isSubset)(set_theory_1.EMPTY, b)).toBe(true);
+        (0, vitest_1.expect)((0, set_theory_1.isSubset)(set_theory_1.EMPTY, c)).toBe(true);
+    });
+    (0, vitest_1.it)('setEquals es extensional: orden y duplicación no importan', () => {
+        const a = (0, set_theory_1.pair)(set_theory_1.EMPTY, (0, set_theory_1.singleton)(set_theory_1.EMPTY));
+        const b = (0, set_theory_1.pair)((0, set_theory_1.singleton)(set_theory_1.EMPTY), set_theory_1.EMPTY);
+        (0, vitest_1.expect)((0, set_theory_1.setEquals)(a, b)).toBe(true);
+        // {a, a} = {a}
+        (0, vitest_1.expect)((0, set_theory_1.setEquals)((0, set_theory_1.pair)(set_theory_1.EMPTY, set_theory_1.EMPTY), (0, set_theory_1.singleton)(set_theory_1.EMPTY))).toBe(true);
+    });
+    (0, vitest_1.it)('pair(a, a) = {a} (cardinalidad 1)', () => {
+        const a = (0, set_theory_1.nat)(2);
+        const p = (0, set_theory_1.pair)(a, a);
+        (0, vitest_1.expect)((0, set_theory_1.cardinality)(p)).toBe(1);
+        (0, vitest_1.expect)((0, set_theory_1.isElement)(a, p)).toBe(true);
+    });
+    (0, vitest_1.it)('union, intersection y difference cumplen leyes básicas', () => {
+        const a = (0, set_theory_1.nat)(3); // {0, 1, 2}
+        const b = (0, set_theory_1.pair)((0, set_theory_1.nat)(1), (0, set_theory_1.nat)(4)); // {1, 4}
+        const u = (0, set_theory_1.union)(a, b);
+        const i = (0, set_theory_1.intersection)(a, b);
+        const d = (0, set_theory_1.difference)(a, b);
+        // union contiene todos los elementos de ambos
+        (0, vitest_1.expect)((0, set_theory_1.isElement)((0, set_theory_1.nat)(0), u)).toBe(true);
+        (0, vitest_1.expect)((0, set_theory_1.isElement)((0, set_theory_1.nat)(4), u)).toBe(true);
+        // intersection = {1}
+        (0, vitest_1.expect)((0, set_theory_1.cardinality)(i)).toBe(1);
+        (0, vitest_1.expect)((0, set_theory_1.isElement)((0, set_theory_1.nat)(1), i)).toBe(true);
+        // difference = {0, 2}
+        (0, vitest_1.expect)((0, set_theory_1.cardinality)(d)).toBe(2);
+        (0, vitest_1.expect)((0, set_theory_1.isElement)((0, set_theory_1.nat)(1), d)).toBe(false);
+    });
+    (0, vitest_1.it)('powerSet({a, b}) tiene 4 elementos y los esperados', () => {
+        const a = (0, set_theory_1.singleton)(set_theory_1.EMPTY); // {∅}
+        const b = (0, set_theory_1.singleton)((0, set_theory_1.singleton)(set_theory_1.EMPTY)); // {{∅}}
+        const ab = (0, set_theory_1.pair)(a, b);
+        const p = (0, set_theory_1.powerSet)(ab);
+        (0, vitest_1.expect)((0, set_theory_1.cardinality)(p)).toBe(4);
+        (0, vitest_1.expect)((0, set_theory_1.isElement)(set_theory_1.EMPTY, p)).toBe(true);
+        (0, vitest_1.expect)((0, set_theory_1.isElement)((0, set_theory_1.singleton)(a), p)).toBe(true);
+        (0, vitest_1.expect)((0, set_theory_1.isElement)((0, set_theory_1.singleton)(b), p)).toBe(true);
+        (0, vitest_1.expect)((0, set_theory_1.isElement)(ab, p)).toBe(true);
+    });
+    (0, vitest_1.it)('powerSet(∅) = {∅} con cardinalidad 1', () => {
+        const p = (0, set_theory_1.powerSet)(set_theory_1.EMPTY);
+        (0, vitest_1.expect)((0, set_theory_1.cardinality)(p)).toBe(1);
+        (0, vitest_1.expect)((0, set_theory_1.isElement)(set_theory_1.EMPTY, p)).toBe(true);
+    });
+    (0, vitest_1.it)('cartesianProduct({a}, {b, c}) tiene 2 elementos', () => {
+        const a = (0, set_theory_1.nat)(1);
+        const b = (0, set_theory_1.nat)(2);
+        const c = (0, set_theory_1.nat)(3);
+        const cp = (0, set_theory_1.cartesianProduct)((0, set_theory_1.singleton)(a), (0, set_theory_1.pair)(b, c));
+        (0, vitest_1.expect)((0, set_theory_1.cardinality)(cp)).toBe(2);
+        // Cada elemento es un par de Kuratowski con fst=a.
+        for (const elem of cp.elements) {
+            const f = (0, set_theory_1.fst)(elem);
+            (0, vitest_1.expect)(f).not.toBeNull();
+            if (f !== null) {
+                (0, vitest_1.expect)((0, set_theory_1.setEquals)(f, a)).toBe(true);
+            }
+        }
+    });
+    (0, vitest_1.it)('cartesianProduct(∅, B) y cartesianProduct(A, ∅) son ambos vacíos', () => {
+        (0, vitest_1.expect)((0, set_theory_1.cardinality)((0, set_theory_1.cartesianProduct)(set_theory_1.EMPTY, (0, set_theory_1.nat)(3)))).toBe(0);
+        (0, vitest_1.expect)((0, set_theory_1.cardinality)((0, set_theory_1.cartesianProduct)((0, set_theory_1.nat)(3), set_theory_1.EMPTY))).toBe(0);
+    });
+    (0, vitest_1.it)('orderedPair: fst y snd recuperan los componentes (Kuratowski)', () => {
+        const a = (0, set_theory_1.nat)(2);
+        const b = (0, set_theory_1.nat)(5);
+        const p = (0, set_theory_1.orderedPair)(a, b);
+        const f = (0, set_theory_1.fst)(p);
+        const s = (0, set_theory_1.snd)(p);
+        (0, vitest_1.expect)(f).not.toBeNull();
+        (0, vitest_1.expect)(s).not.toBeNull();
+        if (f !== null && s !== null) {
+            (0, vitest_1.expect)((0, set_theory_1.setEquals)(f, a)).toBe(true);
+            (0, vitest_1.expect)((0, set_theory_1.setEquals)(s, b)).toBe(true);
+        }
+    });
+    (0, vitest_1.it)('orderedPair degenerado ⟨a, a⟩ recupera a en ambos componentes', () => {
+        const a = (0, set_theory_1.nat)(2);
+        const p = (0, set_theory_1.orderedPair)(a, a);
+        const f = (0, set_theory_1.fst)(p);
+        const s = (0, set_theory_1.snd)(p);
+        (0, vitest_1.expect)(f).not.toBeNull();
+        (0, vitest_1.expect)(s).not.toBeNull();
+        if (f !== null && s !== null) {
+            (0, vitest_1.expect)((0, set_theory_1.setEquals)(f, a)).toBe(true);
+            (0, vitest_1.expect)((0, set_theory_1.setEquals)(s, a)).toBe(true);
+        }
+    });
+    (0, vitest_1.it)('orderedPair distingue ⟨a, b⟩ de ⟨b, a⟩', () => {
+        const a = set_theory_1.EMPTY;
+        const b = (0, set_theory_1.singleton)(set_theory_1.EMPTY);
+        const ab = (0, set_theory_1.orderedPair)(a, b);
+        const ba = (0, set_theory_1.orderedPair)(b, a);
+        (0, vitest_1.expect)((0, set_theory_1.setEquals)(ab, ba)).toBe(false);
+    });
+    (0, vitest_1.it)('unionFamily de [A, B, C] coincide con union iterada', () => {
+        const a = (0, set_theory_1.nat)(2);
+        const b = (0, set_theory_1.singleton)((0, set_theory_1.nat)(5));
+        const c = (0, set_theory_1.pair)((0, set_theory_1.nat)(7), set_theory_1.EMPTY);
+        const big = (0, set_theory_1.unionFamily)([a, b, c]);
+        const iter = (0, set_theory_1.union)((0, set_theory_1.union)(a, b), c);
+        (0, vitest_1.expect)((0, set_theory_1.setEquals)(big, iter)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('HF sets — von Neumann ordinals', () => {
+    (0, vitest_1.it)('nat(0) = ∅, nat(1) = {∅}, nat(2) = {∅, {∅}}', () => {
+        (0, vitest_1.expect)((0, set_theory_1.setEquals)((0, set_theory_1.nat)(0), set_theory_1.EMPTY)).toBe(true);
+        (0, vitest_1.expect)((0, set_theory_1.setEquals)((0, set_theory_1.nat)(1), (0, set_theory_1.singleton)(set_theory_1.EMPTY))).toBe(true);
+        const two = (0, set_theory_1.pair)(set_theory_1.EMPTY, (0, set_theory_1.singleton)(set_theory_1.EMPTY));
+        (0, vitest_1.expect)((0, set_theory_1.setEquals)((0, set_theory_1.nat)(2), two)).toBe(true);
+    });
+    (0, vitest_1.it)('succ(nat(3)) = nat(4)', () => {
+        (0, vitest_1.expect)((0, set_theory_1.setEquals)((0, set_theory_1.succ)((0, set_theory_1.nat)(3)), (0, set_theory_1.nat)(4))).toBe(true);
+    });
+    (0, vitest_1.it)('cardinality(nat(n)) = n para varios n', () => {
+        for (let n = 0; n <= 6; n++) {
+            (0, vitest_1.expect)((0, set_theory_1.cardinality)((0, set_theory_1.nat)(n))).toBe(n);
+        }
+    });
+    (0, vitest_1.it)('nat(m) ∈ nat(n) iff m < n', () => {
+        const five = (0, set_theory_1.nat)(5);
+        for (let m = 0; m < 5; m++) {
+            (0, vitest_1.expect)((0, set_theory_1.isElement)((0, set_theory_1.nat)(m), five)).toBe(true);
+        }
+        (0, vitest_1.expect)((0, set_theory_1.isElement)((0, set_theory_1.nat)(5), five)).toBe(false);
+        (0, vitest_1.expect)((0, set_theory_1.isElement)((0, set_theory_1.nat)(7), five)).toBe(false);
+    });
+    (0, vitest_1.it)('isTransitive cumple sobre nat(n)', () => {
+        for (let n = 0; n <= 4; n++) {
+            (0, vitest_1.expect)((0, set_theory_1.isTransitive)((0, set_theory_1.nat)(n))).toBe(true);
+        }
+    });
+    (0, vitest_1.it)('isOrdinal cumple sobre nat(n)', () => {
+        for (let n = 0; n <= 5; n++) {
+            (0, vitest_1.expect)((0, set_theory_1.isOrdinal)((0, set_theory_1.nat)(n))).toBe(true);
+        }
+    });
+    (0, vitest_1.it)('isOrdinal falla sobre conjuntos no transitivos', () => {
+        // {{∅}} no es transitiva: contiene {∅} pero no ∅.
+        const x = (0, set_theory_1.singleton)((0, set_theory_1.singleton)(set_theory_1.EMPTY));
+        (0, vitest_1.expect)((0, set_theory_1.isTransitive)(x)).toBe(false);
+        (0, vitest_1.expect)((0, set_theory_1.isOrdinal)(x)).toBe(false);
+    });
+    (0, vitest_1.it)('nat(n): cada elemento es subconjunto (transitividad)', () => {
+        const six = (0, set_theory_1.nat)(6);
+        for (const e of six.elements) {
+            (0, vitest_1.expect)((0, set_theory_1.isSubset)(e, six)).toBe(true);
+        }
+    });
+    (0, vitest_1.it)('nat(-1) y nat(2.5) lanzan RangeError', () => {
+        (0, vitest_1.expect)(() => (0, set_theory_1.nat)(-1)).toThrow(RangeError);
+        (0, vitest_1.expect)(() => (0, set_theory_1.nat)(2.5)).toThrow(RangeError);
+    });
+});
+//# sourceMappingURL=hf-sets.test.js.map

package/dist/tests/reasoning/set-theory/hf-sets.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hf-sets.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/set-theory/hf-sets.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,8DAqBuC;AAEvC,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,kBAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,GAAG,IAAA,sBAAS,EAAC,kBAAK,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,kBAAK,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,IAAA,iBAAI,EAAC,IAAA,sBAAS,EAAC,kBAAK,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,qBAAQ,EAAC,kBAAK,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,qBAAQ,EAAC,kBAAK,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,qBAAQ,EAAC,kBAAK,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,GAAG,IAAA,iBAAI,EAAC,kBAAK,EAAE,IAAA,sBAAS,EAAC,kBAAK,CAAC,CAAC,CAAC;QACxC,MAAM,CAAC,GAAG,IAAA,iBAAI,EAAC,IAAA,sBAAS,EAAC,kBAAK,CAAC,EAAE,kBAAK,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,eAAe;QACf,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,IAAA,iBAAI,EAAC,kBAAK,EAAE,kBAAK,CAAC,EAAE,IAAA,sBAAS,EAAC,kBAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,IAAA,iBAAI,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,YAAY;QAC9B,MAAM,CAAC,GAAG,IAAA,iBAAI,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;QACzC,MAAM,CAAC,GAAG,IAAA,kBAAK,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtB,MAAM,CAAC,GAAG,IAAA,yBAAY,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,CAAC,GAAG,IAAA,uBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3B,8CAA8C;QAC9C,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,qBAAqB;QACrB,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,sBAAsB;QACtB,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,IAAA,sBAAS,EAAC,kBAAK,CAAC,CAAC,CAAC,MAAM;QAClC,MAAM,CAAC,GAAG,IAAA,sBAAS,EAAC,IAAA,sBAAS,EAAC,kBAAK,CAAC,CAAC,CAAC,CAAC,QAAQ;QAC/C,MAAM,EAAE,GAAG,IAAA,iBAAI,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtB,MAAM,CAAC,GAAG,IAAA,qBAAQ,EAAC,EAAE,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,kBAAK,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,IAAA,sBAAS,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,IAAA,sBAAS,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,qBAAQ,EAAC,kBAAK,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,kBAAK,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,EAAE,GAAG,IAAA,6BAAgB,EAAC,IAAA,sBAAS,EAAC,CAAC,CAAC,EAAE,IAAA,iBAAI,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,mDAAmD;QACnD,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC;YAC/B,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,IAAI,CAAC,CAAC;YACpB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;YACzB,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;gBACf,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrC,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,IAAA,6BAAgB,EAAC,kBAAK,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,IAAA,6BAAgB,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,kBAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,IAAA,wBAAW,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YAC7B,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnC,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,IAAA,wBAAW,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;YAC7B,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnC,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,GAAG,kBAAK,CAAC;QAChB,MAAM,CAAC,GAAG,IAAA,sBAAS,EAAC,kBAAK,CAAC,CAAC;QAC3B,MAAM,EAAE,GAAG,IAAA,wBAAW,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,MAAM,EAAE,GAAG,IAAA,wBAAW,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACjB,MAAM,CAAC,GAAG,IAAA,sBAAS,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAA,iBAAI,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,kBAAK,CAAC,CAAC;QAC9B,MAAM,GAAG,GAAG,IAAA,wBAAW,EAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,IAAA,kBAAK,EAAC,IAAA,kBAAK,EAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,kBAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAA,sBAAS,EAAC,kBAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvD,MAAM,GAAG,GAAG,IAAA,iBAAI,EAAC,kBAAK,EAAE,IAAA,sBAAS,EAAC,kBAAK,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,IAAA,iBAAI,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,EAAE,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,IAAI,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACpB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7C,CAAC;QACD,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,IAAA,eAAM,EAAC,IAAA,yBAAY,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5B,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,kDAAkD;QAClD,MAAM,CAAC,GAAG,IAAA,sBAAS,EAAC,IAAA,sBAAS,EAAC,kBAAK,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,IAAA,yBAAY,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,IAAA,sBAAS,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,GAAG,GAAG,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC;QACnB,KAAK,MAAM,CAAC,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;YAC7B,IAAA,eAAM,EAAC,IAAA,qBAAQ,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,gBAAG,EAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,gBAAG,EAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/reasoning/set-theory/zfc-axioms.test.d.ts

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

package/dist/tests/reasoning/set-theory/zfc-axioms.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"zfc-axioms.test.d.ts","sourceRoot":"","sources":["../../../../src/tests/reasoning/set-theory/zfc-axioms.test.ts"],"names":[],"mappings":""}

package/dist/tests/reasoning/set-theory/zfc-axioms.test.js

@@ -0,0 +1,56 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const set_theory_1 = require("../../../reasoning/set-theory");
+(0, vitest_1.describe)('ZFC axioms on Vω', () => {
+    (0, vitest_1.it)('Extensionality holds (canonicalization es extensional)', () => {
+        const r = (0, set_theory_1.checkExtensionality)();
+        (0, vitest_1.expect)(r.holds).toBe(true);
+        (0, vitest_1.expect)(r.name).toBe('Extensionality');
+    });
+    (0, vitest_1.it)('Pairing holds', () => {
+        const r = (0, set_theory_1.checkPairing)();
+        (0, vitest_1.expect)(r.holds).toBe(true);
+        (0, vitest_1.expect)(r.counterexample).toBeUndefined();
+    });
+    (0, vitest_1.it)('Union holds', () => {
+        const r = (0, set_theory_1.checkUnion)();
+        (0, vitest_1.expect)(r.holds).toBe(true);
+    });
+    (0, vitest_1.it)('Power Set holds (|P(A)| = 2^|A|)', () => {
+        const r = (0, set_theory_1.checkPowerSet)();
+        (0, vitest_1.expect)(r.holds).toBe(true);
+    });
+    (0, vitest_1.it)('Foundation holds (Vω es bien fundada)', () => {
+        const r = (0, set_theory_1.checkFoundation)();
+        (0, vitest_1.expect)(r.holds).toBe(true);
+    });
+    (0, vitest_1.it)('Infinity FALLA en Vω (no hay conjunto inductivo)', () => {
+        const r = (0, set_theory_1.checkInfinity)();
+        (0, vitest_1.expect)(r.holds).toBe(false);
+        (0, vitest_1.expect)(r.note).toBeDefined();
+        // El contraejemplo debe ser una cadena ascendente de successors.
+        (0, vitest_1.expect)(r.counterexample).toBeDefined();
+        if (r.counterexample !== undefined) {
+            (0, vitest_1.expect)(r.counterexample.length).toBeGreaterThan(8);
+        }
+    });
+    (0, vitest_1.it)('checkAllAxioms devuelve 6 resultados con shapes consistentes', () => {
+        const all = (0, set_theory_1.checkAllAxioms)();
+        (0, vitest_1.expect)(all.length).toBe(6);
+        const names = all.map((a) => a.name).sort();
+        (0, vitest_1.expect)(names).toEqual([
+            'Extensionality',
+            'Foundation',
+            'Infinity',
+            'Pairing',
+            'Power Set',
+            'Union'
+        ]);
+        // Sólo Infinity falla.
+        const failing = all.filter((a) => !a.holds);
+        (0, vitest_1.expect)(failing.length).toBe(1);
+        (0, vitest_1.expect)(failing[0]?.name).toBe('Infinity');
+    });
+});
+//# sourceMappingURL=zfc-axioms.test.js.map

package/dist/tests/reasoning/set-theory/zfc-axioms.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"zfc-axioms.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/set-theory/zfc-axioms.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,8DAQuC;AAEvC,IAAA,iBAAQ,EAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAAG,IAAA,gCAAmB,GAAE,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,eAAe,EAAE,GAAG,EAAE;QACvB,MAAM,CAAC,GAAG,IAAA,yBAAY,GAAE,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,cAAc,CAAC,CAAC,aAAa,EAAE,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,aAAa,EAAE,GAAG,EAAE;QACrB,MAAM,CAAC,GAAG,IAAA,uBAAU,GAAE,CAAC;QACvB,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,IAAA,0BAAa,GAAE,CAAC;QAC1B,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,4BAAe,GAAE,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,IAAA,0BAAa,GAAE,CAAC;QAC1B,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;QAC7B,iEAAiE;QACjE,IAAA,eAAM,EAAC,CAAC,CAAC,cAAc,CAAC,CAAC,WAAW,EAAE,CAAC;QACvC,IAAI,CAAC,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;YACnC,IAAA,eAAM,EAAC,CAAC,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACrD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,GAAG,GAAG,IAAA,2BAAc,GAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3B,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;QAC5C,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,OAAO,CAAC;YACpB,gBAAgB;YAChB,YAAY;YACZ,UAAU;YACV,SAAS;YACT,WAAW;YACX,OAAO;SACR,CAAC,CAAC;QACH,uBAAuB;QACvB,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/tooling/doc-gen/doc-gen.test.d.ts

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

package/dist/tests/tooling/doc-gen/doc-gen.test.d.ts.map

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

package/dist/tests/tooling/doc-gen/doc-gen.test.js

@@ -0,0 +1,350 @@
+"use strict";
+// ============================================================
+// Tests — tooling/doc-gen
+// Cubre: parseJSDoc, extractDocs (sobre fixtures temp), renderers
+// y generateDocs end-to-end con outputDir descartable.
+// ============================================================
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const fs = __importStar(require("fs"));
+const path = __importStar(require("path"));
+const os = __importStar(require("os"));
+const doc_gen_1 = require("../../../tooling/doc-gen");
+// --- fixtures helper ----------------------------------------
+function mkdtemp(prefix = 'doc-gen-') {
+    return fs.mkdtempSync(path.join(os.tmpdir(), prefix));
+}
+function writeFile(dir, rel, content) {
+    const abs = path.join(dir, rel);
+    fs.mkdirSync(path.dirname(abs), { recursive: true });
+    fs.writeFileSync(abs, content, 'utf8');
+}
+// fixture compartida con un function documentado, una class, un type,
+// un const, una interface, un enum y un export sin JSDoc.
+function buildFixtureRoot() {
+    const root = mkdtemp();
+    writeFile(root, 'math.ts', [
+        '/**',
+        ' * Suma dos enteros.',
+        ' *',
+        ' * @param a primer sumando',
+        ' * @param b segundo sumando',
+        ' * @returns la suma `a + b`',
+        ' * @example',
+        ' * sum(1, 2) // 3',
+        ' */',
+        'export function sum(a: number, b: number): number {',
+        '  return a + b;',
+        '}',
+        '',
+        '/**',
+        ' * @deprecated usar `sum`',
+        ' */',
+        'export function add(a: number, b: number): number {',
+        '  return sum(a, b);',
+        '}',
+        '',
+        'export function undocumented(x: number): number { return x; }',
+        '',
+    ].join('\n'));
+    writeFile(root, 'shapes.ts', [
+        '/**',
+        ' * Clase con métodos.',
+        ' */',
+        'export class Box {',
+        '  constructor(public w: number, public h: number) {}',
+        '  /** Área del box. */',
+        '  area(): number { return this.w * this.h; }',
+        '}',
+        '',
+        '/** Punto en 2D. */',
+        'export interface Point { x: number; y: number; }',
+        '',
+        '/** Alias de Point. */',
+        'export type P = Point;',
+        '',
+        '/** Constante con tipo. */',
+        'export const ORIGIN: Point = { x: 0, y: 0 };',
+        '',
+        '/** Direcciones. */',
+        'export enum Dir { N, S, E, W }',
+        '',
+    ].join('\n'));
+    writeFile(root, 'internal.ts', [
+        '/**',
+        ' * @internal helper interno',
+        ' */',
+        'export function helper(): void {}',
+        '',
+        'function notExported(): void {}',
+        '// referencia para que notExported no sea "unused" syntácticamente',
+        'export const ref = notExported;',
+        '',
+    ].join('\n'));
+    writeFile(root, 'nested/sub.ts', [
+        '/**',
+        ' * @fileoverview módulo nested.sub para probar paths con carpetas.',
+        ' */',
+        'export function nestedFn(): number { return 1; }',
+        '',
+    ].join('\n'));
+    // archivos que deben ser ignorados
+    writeFile(root, 'foo.test.ts', 'export function shouldSkip(): void {}');
+    writeFile(root, 'tests/bar.ts', 'export function alsoSkip(): void {}');
+    writeFile(root, 'node_modules/pkg/index.ts', 'export const ignored = 1;');
+    return root;
+}
+// --- parseJSDoc / helpers ------------------------------------
+(0, vitest_1.describe)('parseJSDoc', () => {
+    (0, vitest_1.it)('parsea description + @param + @returns + @example + @deprecated', () => {
+        const raw = [
+            '/**',
+            ' * Hace algo.',
+            ' *',
+            ' * @param a desc-a',
+            ' * @param b desc-b',
+            ' * @returns la suma',
+            ' * @example',
+            ' * foo(1, 2)',
+            ' * @deprecated',
+            ' */',
+        ].join('\n');
+        const parsed = (0, doc_gen_1.parseJSDoc)(raw);
+        (0, vitest_1.expect)(parsed.description).toBe('Hace algo.');
+        (0, vitest_1.expect)(parsed.tags.map((t) => t.tag)).toEqual([
+            'param',
+            'param',
+            'returns',
+            'example',
+            'deprecated',
+        ]);
+        const example = parsed.tags.find((t) => t.tag === 'example');
+        (0, vitest_1.expect)(example?.content).toBe('foo(1, 2)');
+    });
+    (0, vitest_1.it)('stripCommentMarkers limpia /** y * líderes', () => {
+        const raw = '/**\n * line A\n * line B\n */';
+        (0, vitest_1.expect)((0, doc_gen_1.stripCommentMarkers)(raw)).toBe('line A\nline B');
+    });
+    (0, vitest_1.it)('parseParamTag soporta `name desc` y `[name] desc`', () => {
+        (0, vitest_1.expect)((0, doc_gen_1.parseParamTag)('a primer sumando')).toEqual({
+            name: 'a',
+            description: 'primer sumando',
+            optional: false,
+        });
+        (0, vitest_1.expect)((0, doc_gen_1.parseParamTag)('[verbose] flag verbose')).toEqual({
+            name: 'verbose',
+            description: 'flag verbose',
+            optional: true,
+        });
+        (0, vitest_1.expect)((0, doc_gen_1.parseParamTag)('cfg? configuración')).toEqual({
+            name: 'cfg',
+            description: 'configuración',
+            optional: true,
+        });
+    });
+    (0, vitest_1.it)('parseReturnsTag descarta tipo entre llaves y el guion líder', () => {
+        (0, vitest_1.expect)((0, doc_gen_1.parseReturnsTag)('{number} - la suma')).toBe('la suma');
+        (0, vitest_1.expect)((0, doc_gen_1.parseReturnsTag)('la suma')).toBe('la suma');
+    });
+});
+// --- extractDocs --------------------------------------------
+(0, vitest_1.describe)('extractDocs', () => {
+    let root;
+    (0, vitest_1.beforeAll)(() => {
+        root = buildFixtureRoot();
+    });
+    (0, vitest_1.afterAll)(() => {
+        fs.rmSync(root, { recursive: true, force: true });
+    });
+    (0, vitest_1.it)('extrae función documentada con @param y @returns', () => {
+        const modules = (0, doc_gen_1.extractDocs)(root);
+        const math = modules.find((m) => m.path === 'math.ts');
+        (0, vitest_1.expect)(math, 'math.ts module').toBeTruthy();
+        const sum = math?.exports.find((e) => e.name === 'sum');
+        (0, vitest_1.expect)(sum?.kind).toBe('function');
+        (0, vitest_1.expect)(sum?.description).toBe('Suma dos enteros.');
+        (0, vitest_1.expect)(sum?.parameters?.map((p) => p.name)).toEqual(['a', 'b']);
+        (0, vitest_1.expect)(sum?.parameters?.[0]?.type).toBe('number');
+        (0, vitest_1.expect)(sum?.parameters?.[0]?.description).toBe('primer sumando');
+        (0, vitest_1.expect)(sum?.returns?.type).toBe('number');
+        (0, vitest_1.expect)(sum?.returns?.description).toBe('la suma `a + b`');
+        (0, vitest_1.expect)(sum?.examples?.length).toBeGreaterThan(0);
+        (0, vitest_1.expect)(sum?.deprecated).toBeUndefined();
+        (0, vitest_1.expect)(sum?.exported).toBe(true);
+    });
+    (0, vitest_1.it)('detecta @deprecated', () => {
+        const modules = (0, doc_gen_1.extractDocs)(root);
+        const math = modules.find((m) => m.path === 'math.ts');
+        const add = math?.exports.find((e) => e.name === 'add');
+        (0, vitest_1.expect)(add?.deprecated).toBe(true);
+    });
+    (0, vitest_1.it)('captura class + interface + type + const + enum', () => {
+        const modules = (0, doc_gen_1.extractDocs)(root);
+        const shapes = modules.find((m) => m.path === 'shapes.ts');
+        (0, vitest_1.expect)(shapes).toBeTruthy();
+        const kinds = new Map(shapes.exports.map((e) => [e.name, e.kind]));
+        (0, vitest_1.expect)(kinds.get('Box')).toBe('class');
+        (0, vitest_1.expect)(kinds.get('Point')).toBe('interface');
+        (0, vitest_1.expect)(kinds.get('P')).toBe('type');
+        (0, vitest_1.expect)(kinds.get('ORIGIN')).toBe('const');
+        (0, vitest_1.expect)(kinds.get('Dir')).toBe('enum');
+    });
+    (0, vitest_1.it)('@internal se oculta por defecto y aparece con includeInternal', () => {
+        const def = (0, doc_gen_1.extractDocs)(root);
+        const internalMod = def.find((m) => m.path === 'internal.ts');
+        (0, vitest_1.expect)(internalMod?.exports.find((e) => e.name === 'helper')).toBeUndefined();
+        const incl = (0, doc_gen_1.extractDocs)(root, { includeInternal: true });
+        const internalMod2 = incl.find((m) => m.path === 'internal.ts');
+        (0, vitest_1.expect)(internalMod2?.exports.find((e) => e.name === 'helper')).toBeTruthy();
+        // notExported (sin export) también aparece cuando includeInternal=true
+        (0, vitest_1.expect)(internalMod2?.exports.find((e) => e.name === 'notExported')).toBeTruthy();
+    });
+    (0, vitest_1.it)('ignora *.test.ts, carpetas tests/ y node_modules/', () => {
+        const modules = (0, doc_gen_1.extractDocs)(root);
+        const paths = modules.map((m) => m.path);
+        (0, vitest_1.expect)(paths).not.toContain('foo.test.ts');
+        (0, vitest_1.expect)(paths.every((p) => !p.startsWith('tests/'))).toBe(true);
+        (0, vitest_1.expect)(paths.every((p) => !p.includes('node_modules'))).toBe(true);
+    });
+    (0, vitest_1.it)('captura description a nivel de archivo via @fileoverview', () => {
+        const modules = (0, doc_gen_1.extractDocs)(root);
+        const nested = modules.find((m) => m.path === 'nested/sub.ts');
+        (0, vitest_1.expect)(nested?.description).toContain('nested.sub');
+    });
+});
+// --- renderers ----------------------------------------------
+(0, vitest_1.describe)('renderers', () => {
+    let root;
+    (0, vitest_1.beforeAll)(() => {
+        root = buildFixtureRoot();
+    });
+    (0, vitest_1.afterAll)(() => {
+        fs.rmSync(root, { recursive: true, force: true });
+    });
+    (0, vitest_1.it)('renderMarkdown produce un .md por módulo y un index.md', () => {
+        const modules = (0, doc_gen_1.extractDocs)(root);
+        const files = (0, doc_gen_1.renderMarkdown)(modules);
+        (0, vitest_1.expect)(files.has('index.md')).toBe(true);
+        (0, vitest_1.expect)(files.has('math.md')).toBe(true);
+        (0, vitest_1.expect)(files.has('shapes.md')).toBe(true);
+        (0, vitest_1.expect)(files.has('nested/sub.md')).toBe(true);
+        const mathMd = files.get('math.md') ?? '';
+        (0, vitest_1.expect)(mathMd).toContain('## `sum`');
+        (0, vitest_1.expect)(mathMd).toContain('### Parameters');
+        (0, vitest_1.expect)(mathMd).toContain('### Returns');
+        (0, vitest_1.expect)(mathMd).toContain('### Examples');
+        // Deprecated señalizado
+        (0, vitest_1.expect)(mathMd).toContain('DEPRECATED');
+    });
+    (0, vitest_1.it)('renderIndex conteo de módulos y símbolos', () => {
+        const modules = (0, doc_gen_1.extractDocs)(root);
+        const idx = (0, doc_gen_1.renderIndex)(modules);
+        (0, vitest_1.expect)(idx).toContain('# API Reference');
+        (0, vitest_1.expect)(idx).toMatch(/\*\*Modules\*\*:\s+\d+/);
+        (0, vitest_1.expect)(idx).toMatch(/\*\*Symbols\*\*:\s+\d+/);
+        (0, vitest_1.expect)(idx).toContain('## Modules');
+        // Tabla por kind presente
+        (0, vitest_1.expect)(idx).toContain('## Symbols by kind');
+        (0, vitest_1.expect)(idx).toContain('| Function |');
+    });
+    (0, vitest_1.it)('renderJSON parsea de vuelta sin pérdida', () => {
+        const modules = (0, doc_gen_1.extractDocs)(root);
+        const raw = (0, doc_gen_1.renderJSON)(modules);
+        const parsed = JSON.parse(raw);
+        (0, vitest_1.expect)(parsed.modules.length).toBe(modules.length);
+        (0, vitest_1.expect)(parsed.modules.map((m) => m.path)).toEqual(modules.map((m) => m.path));
+    });
+    (0, vitest_1.it)('toMarkdownPath cambia .ts → .md preservando subpath', () => {
+        (0, vitest_1.expect)((0, doc_gen_1.toMarkdownPath)('a/b/c.ts')).toBe('a/b/c.md');
+        (0, vitest_1.expect)((0, doc_gen_1.toMarkdownPath)('foo.ts')).toBe('foo.md');
+    });
+});
+// --- generateDocs end-to-end --------------------------------
+(0, vitest_1.describe)('generateDocs', () => {
+    let root;
+    (0, vitest_1.beforeAll)(() => {
+        root = buildFixtureRoot();
+    });
+    (0, vitest_1.afterAll)(() => {
+        fs.rmSync(root, { recursive: true, force: true });
+    });
+    (0, vitest_1.it)('genera archivos markdown a outputDir y reporta warnings de symbols sin desc', async () => {
+        const out = mkdtemp('doc-out-');
+        try {
+            const res = await (0, doc_gen_1.generateDocs)({ rootDir: root, outputDir: out, template: 'markdown' });
+            (0, vitest_1.expect)(res.filesWritten.length).toBeGreaterThan(0);
+            // index + por lo menos uno
+            const filenames = res.filesWritten.map((p) => path.basename(p)).sort();
+            (0, vitest_1.expect)(filenames).toContain('index.md');
+            (0, vitest_1.expect)(filenames).toContain('math.md');
+            // warning sobre `undocumented`
+            (0, vitest_1.expect)(res.warnings.some((w) => w.includes('undocumented'))).toBe(true);
+            const mathContent = fs.readFileSync(path.join(out, 'math.md'), 'utf8');
+            (0, vitest_1.expect)(mathContent).toContain('Suma dos enteros');
+        }
+        finally {
+            fs.rmSync(out, { recursive: true, force: true });
+        }
+    });
+    (0, vitest_1.it)('genera api.json cuando template=json', async () => {
+        const out = mkdtemp('doc-out-');
+        try {
+            const res = await (0, doc_gen_1.generateDocs)({ rootDir: root, outputDir: out, template: 'json' });
+            const jsonFile = res.filesWritten.find((f) => f.endsWith('api.json'));
+            (0, vitest_1.expect)(jsonFile).toBeTruthy();
+            const content = fs.readFileSync(jsonFile, 'utf8');
+            const parsed = JSON.parse(content);
+            (0, vitest_1.expect)(Array.isArray(parsed.modules)).toBe(true);
+        }
+        finally {
+            fs.rmSync(out, { recursive: true, force: true });
+        }
+    });
+    (0, vitest_1.it)('genera index.html cuando template=html-minimal', async () => {
+        const out = mkdtemp('doc-out-');
+        try {
+            const res = await (0, doc_gen_1.generateDocs)({ rootDir: root, outputDir: out, template: 'html-minimal' });
+            (0, vitest_1.expect)(res.filesWritten.some((f) => f.endsWith('index.html'))).toBe(true);
+            const html = fs.readFileSync(path.join(out, 'index.html'), 'utf8');
+            (0, vitest_1.expect)(html).toContain('<!doctype html>');
+            (0, vitest_1.expect)(html).toContain('API Reference');
+        }
+        finally {
+            fs.rmSync(out, { recursive: true, force: true });
+        }
+    });
+});
+//# sourceMappingURL=doc-gen.test.js.map