@stevenvo780/st-lang 4.9.0 → 4.10.0

package/dist/tests/reasoning/automata/automata.test.js

@@ -0,0 +1,310 @@
+"use strict";
+// ============================================================
+// ST Automata — Tests
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const automata_1 = require("../../../reasoning/automata");
+const automata_2 = require("../../../reasoning/automata");
+// ── DFA ──────────────────────────────────────────────────────
+(0, vitest_1.describe)('DFA: dfaEvenZeros', () => {
+    const M = (0, automata_1.dfaEvenZeros)();
+    (0, vitest_1.it)('acepta "" (0 ceros)', () => {
+        (0, vitest_1.expect)((0, automata_1.dfaAccepts)(M, '')).toBe(true);
+    });
+    (0, vitest_1.it)('acepta "0011" (dos ceros)', () => {
+        (0, vitest_1.expect)((0, automata_1.dfaAccepts)(M, '0011')).toBe(true);
+    });
+    (0, vitest_1.it)('rechaza "0" (un cero)', () => {
+        (0, vitest_1.expect)((0, automata_1.dfaAccepts)(M, '0')).toBe(false);
+    });
+    (0, vitest_1.it)('rechaza "10001" (tres ceros)', () => {
+        (0, vitest_1.expect)((0, automata_1.dfaAccepts)(M, '10001')).toBe(false);
+    });
+});
+(0, vitest_1.describe)('DFA: dfaContainsAB', () => {
+    const M = (0, automata_1.dfaContainsAB)();
+    (0, vitest_1.it)('acepta "cabc"', () => {
+        (0, vitest_1.expect)((0, automata_1.dfaAccepts)(M, 'cabc')).toBe(true);
+    });
+    (0, vitest_1.it)('acepta "ab"', () => {
+        (0, vitest_1.expect)((0, automata_1.dfaAccepts)(M, 'ab')).toBe(true);
+    });
+    (0, vitest_1.it)('rechaza "ba"', () => {
+        (0, vitest_1.expect)((0, automata_1.dfaAccepts)(M, 'ba')).toBe(false);
+    });
+    (0, vitest_1.it)('rechaza ""', () => {
+        (0, vitest_1.expect)((0, automata_1.dfaAccepts)(M, '')).toBe(false);
+    });
+});
+(0, vitest_1.describe)('DFA: minimización preserva lenguaje', () => {
+    // DFA con estados redundantes: clones del aceptante.
+    const M = {
+        states: new Set(['s0', 's1', 's2', 's3']),
+        alphabet: new Set(['a']),
+        transitions: new Map([
+            ['s0', new Map([['a', 's1']])],
+            ['s1', new Map([['a', 's2']])],
+            ['s2', new Map([['a', 's3']])],
+            ['s3', new Map([['a', 's1']])],
+        ]),
+        initial: 's0',
+        accept: new Set(['s1', 's2', 's3']),
+    };
+    const min = (0, automata_1.dfaMinimize)(M);
+    (0, vitest_1.it)('minimizado tiene ≤ estados que el original', () => {
+        (0, vitest_1.expect)(min.states.size).toBeLessThanOrEqual(M.states.size);
+    });
+    (0, vitest_1.it)('acepta los mismos strings (sample)', () => {
+        const samples = ['', 'a', 'aa', 'aaa', 'aaaa', 'aaaaa'];
+        for (const s of samples) {
+            (0, vitest_1.expect)((0, automata_1.dfaAccepts)(min, s)).toBe((0, automata_1.dfaAccepts)(M, s));
+        }
+    });
+});
+(0, vitest_1.describe)('DFA: dfaComplement', () => {
+    const M = (0, automata_1.dfaEvenZeros)();
+    const compl = (0, automata_1.dfaComplement)(M);
+    (0, vitest_1.it)('complement acepta sii M rechaza', () => {
+        const samples = ['', '0', '1', '00', '01', '10', '11', '000', '0011'];
+        for (const s of samples) {
+            (0, vitest_1.expect)((0, automata_1.dfaAccepts)(compl, s)).toBe(!(0, automata_1.dfaAccepts)(M, s));
+        }
+    });
+});
+(0, vitest_1.describe)('DFA: union / intersection', () => {
+    // dfaEvenZeros y dfaContainsAB usan alfabetos distintos; los DFAs
+    // sólo son comparables cuando coincide el alfabeto. Definimos dos
+    // DFAs sobre el mismo alfabeto {a, b}:
+    const evenAs = {
+        states: new Set(['even', 'odd']),
+        alphabet: new Set(['a', 'b']),
+        transitions: new Map([
+            [
+                'even',
+                new Map([
+                    ['a', 'odd'],
+                    ['b', 'even'],
+                ]),
+            ],
+            [
+                'odd',
+                new Map([
+                    ['a', 'even'],
+                    ['b', 'odd'],
+                ]),
+            ],
+        ]),
+        initial: 'even',
+        accept: new Set(['even']),
+    };
+    const containsAA = {
+        states: new Set(['q0', 'q1', 'q2']),
+        alphabet: new Set(['a', 'b']),
+        transitions: new Map([
+            [
+                'q0',
+                new Map([
+                    ['a', 'q1'],
+                    ['b', 'q0'],
+                ]),
+            ],
+            [
+                'q1',
+                new Map([
+                    ['a', 'q2'],
+                    ['b', 'q0'],
+                ]),
+            ],
+            [
+                'q2',
+                new Map([
+                    ['a', 'q2'],
+                    ['b', 'q2'],
+                ]),
+            ],
+        ]),
+        initial: 'q0',
+        accept: new Set(['q2']),
+    };
+    const U = (0, automata_1.dfaUnion)(evenAs, containsAA);
+    const I = (0, automata_1.dfaIntersection)(evenAs, containsAA);
+    (0, vitest_1.it)('union sigue L(A) ∪ L(B)', () => {
+        const samples = ['', 'a', 'b', 'aa', 'ab', 'ba', 'bb', 'aab', 'aba', 'bba', 'bab'];
+        for (const s of samples) {
+            const expected = (0, automata_1.dfaAccepts)(evenAs, s) || (0, automata_1.dfaAccepts)(containsAA, s);
+            (0, vitest_1.expect)((0, automata_1.dfaAccepts)(U, s)).toBe(expected);
+        }
+    });
+    (0, vitest_1.it)('intersection sigue L(A) ∩ L(B)', () => {
+        const samples = ['', 'a', 'b', 'aa', 'ab', 'ba', 'bb', 'aab', 'aba', 'bba', 'bab', 'baab'];
+        for (const s of samples) {
+            const expected = (0, automata_1.dfaAccepts)(evenAs, s) && (0, automata_1.dfaAccepts)(containsAA, s);
+            (0, vitest_1.expect)((0, automata_1.dfaAccepts)(I, s)).toBe(expected);
+        }
+    });
+});
+// ── NFA ──────────────────────────────────────────────────────
+(0, vitest_1.describe)('NFA: epsilonClosure', () => {
+    // Triángulo: s0 -ε-> s1 -ε-> s2, sin más aristas.
+    const M = {
+        states: new Set(['s0', 's1', 's2']),
+        alphabet: new Set(['a']),
+        transitions: new Map([
+            ['s0', new Map([[automata_2.EPSILON, new Set(['s1'])]])],
+            ['s1', new Map([[automata_2.EPSILON, new Set(['s2'])]])],
+        ]),
+        initial: 's0',
+        accept: new Set(['s2']),
+    };
+    (0, vitest_1.it)('cierra transitivamente', () => {
+        const c = (0, automata_1.epsilonClosure)(M, new Set(['s0']));
+        (0, vitest_1.expect)(c.has('s0')).toBe(true);
+        (0, vitest_1.expect)(c.has('s1')).toBe(true);
+        (0, vitest_1.expect)(c.has('s2')).toBe(true);
+    });
+});
+(0, vitest_1.describe)('NFA → DFA (subset construction)', () => {
+    // NFA: acepta strings sobre {0,1} cuyo penúltimo carácter es 1.
+    const M = {
+        states: new Set(['q0', 'q1', 'q2']),
+        alphabet: new Set(['0', '1']),
+        transitions: new Map([
+            [
+                'q0',
+                new Map([
+                    ['0', new Set(['q0'])],
+                    ['1', new Set(['q0', 'q1'])],
+                ]),
+            ],
+            [
+                'q1',
+                new Map([
+                    ['0', new Set(['q2'])],
+                    ['1', new Set(['q2'])],
+                ]),
+            ],
+        ]),
+        initial: 'q0',
+        accept: new Set(['q2']),
+    };
+    const D = (0, automata_1.nfaToDfa)(M);
+    const samples = ['', '0', '1', '10', '11', '01', '00', '110', '011', '101', '111'];
+    (0, vitest_1.it)('NFA y DFA aceptan los mismos strings', () => {
+        for (const s of samples) {
+            (0, vitest_1.expect)((0, automata_1.dfaAccepts)(D, s)).toBe((0, automata_1.nfaAccepts)(M, s));
+        }
+    });
+});
+// ── Regex (Thompson) ─────────────────────────────────────────
+(0, vitest_1.describe)('Regex Thompson: a*b', () => {
+    const r = (0, automata_1.parseRegex)('a*b');
+    (0, vitest_1.it)('acepta "b"', () => {
+        (0, vitest_1.expect)((0, automata_1.regexMatches)(r, 'b')).toBe(true);
+    });
+    (0, vitest_1.it)('acepta "ab"', () => {
+        (0, vitest_1.expect)((0, automata_1.regexMatches)(r, 'ab')).toBe(true);
+    });
+    (0, vitest_1.it)('acepta "aab"', () => {
+        (0, vitest_1.expect)((0, automata_1.regexMatches)(r, 'aab')).toBe(true);
+    });
+    (0, vitest_1.it)('rechaza "a"', () => {
+        (0, vitest_1.expect)((0, automata_1.regexMatches)(r, 'a')).toBe(false);
+    });
+    (0, vitest_1.it)('rechaza ""', () => {
+        (0, vitest_1.expect)((0, automata_1.regexMatches)(r, '')).toBe(false);
+    });
+});
+(0, vitest_1.describe)('Regex Thompson: (a|b)*c', () => {
+    const r = (0, automata_1.parseRegex)('(a|b)*c');
+    (0, vitest_1.it)('acepta "c"', () => {
+        (0, vitest_1.expect)((0, automata_1.regexMatches)(r, 'c')).toBe(true);
+    });
+    (0, vitest_1.it)('acepta "abc"', () => {
+        (0, vitest_1.expect)((0, automata_1.regexMatches)(r, 'abc')).toBe(true);
+    });
+    (0, vitest_1.it)('acepta "ababbac"', () => {
+        (0, vitest_1.expect)((0, automata_1.regexMatches)(r, 'ababbac')).toBe(true);
+    });
+    (0, vitest_1.it)('rechaza "abd"', () => {
+        (0, vitest_1.expect)((0, automata_1.regexMatches)(r, 'abd')).toBe(false);
+    });
+    (0, vitest_1.it)('rechaza ""', () => {
+        (0, vitest_1.expect)((0, automata_1.regexMatches)(r, '')).toBe(false);
+    });
+});
+(0, vitest_1.describe)('Regex Thompson: cuantificadores + y ?', () => {
+    (0, vitest_1.it)('a+ acepta "a", "aa", rechaza ""', () => {
+        const r = (0, automata_1.parseRegex)('a+');
+        (0, vitest_1.expect)((0, automata_1.regexMatches)(r, 'a')).toBe(true);
+        (0, vitest_1.expect)((0, automata_1.regexMatches)(r, 'aa')).toBe(true);
+        (0, vitest_1.expect)((0, automata_1.regexMatches)(r, '')).toBe(false);
+    });
+    (0, vitest_1.it)('a?b acepta "b" y "ab", rechaza "aab"', () => {
+        const r = (0, automata_1.parseRegex)('a?b');
+        (0, vitest_1.expect)((0, automata_1.regexMatches)(r, 'b')).toBe(true);
+        (0, vitest_1.expect)((0, automata_1.regexMatches)(r, 'ab')).toBe(true);
+        (0, vitest_1.expect)((0, automata_1.regexMatches)(r, 'aab')).toBe(false);
+    });
+});
+(0, vitest_1.describe)('Regex Thompson: NFA → DFA → simulate', () => {
+    const r = (0, automata_1.parseRegex)('a*(b|c)');
+    const nfa = (0, automata_1.regexToNfa)(r);
+    const dfa = (0, automata_1.nfaToDfa)(nfa);
+    const samples = ['b', 'c', 'ab', 'ac', 'aab', 'aac', '', 'a', 'd', 'abc'];
+    (0, vitest_1.it)('NFA y subset-construction DFA aceptan lo mismo', () => {
+        for (const s of samples) {
+            (0, vitest_1.expect)((0, automata_1.dfaAccepts)(dfa, s)).toBe((0, automata_1.nfaAccepts)(nfa, s));
+        }
+    });
+});
+(0, vitest_1.describe)('Regex email simplificada', () => {
+    const r = (0, automata_1.regexEmail)();
+    (0, vitest_1.it)('acepta "abc@dom.io"', () => {
+        (0, vitest_1.expect)((0, automata_1.regexMatches)(r, 'abc@dom.io')).toBe(true);
+    });
+    (0, vitest_1.it)('rechaza "abcdom.io" (sin @)', () => {
+        (0, vitest_1.expect)((0, automata_1.regexMatches)(r, 'abcdom.io')).toBe(false);
+    });
+    (0, vitest_1.it)('rechaza "abc@" (incompleta)', () => {
+        (0, vitest_1.expect)((0, automata_1.regexMatches)(r, 'abc@')).toBe(false);
+    });
+});
+// ── PDA ──────────────────────────────────────────────────────
+(0, vitest_1.describe)('PDA: palíndromes', () => {
+    const M = (0, automata_1.pdaPalindromes)(['a', 'b']);
+    (0, vitest_1.it)('acepta "aba"', () => {
+        (0, vitest_1.expect)((0, automata_1.pdaAccepts)(M, 'aba')).toBe(true);
+    });
+    (0, vitest_1.it)('acepta "abba"', () => {
+        (0, vitest_1.expect)((0, automata_1.pdaAccepts)(M, 'abba')).toBe(true);
+    });
+    (0, vitest_1.it)('acepta ""', () => {
+        (0, vitest_1.expect)((0, automata_1.pdaAccepts)(M, '')).toBe(true);
+    });
+    (0, vitest_1.it)('rechaza "abc" (fuera de alfabeto)', () => {
+        (0, vitest_1.expect)((0, automata_1.pdaAccepts)(M, 'abc')).toBe(false);
+    });
+    (0, vitest_1.it)('rechaza "ab"', () => {
+        (0, vitest_1.expect)((0, automata_1.pdaAccepts)(M, 'ab')).toBe(false);
+    });
+});
+(0, vitest_1.describe)('PDA: paréntesis balanceados', () => {
+    const M = (0, automata_1.pdaBalancedParens)();
+    (0, vitest_1.it)('acepta "(())"', () => {
+        (0, vitest_1.expect)((0, automata_1.pdaAccepts)(M, '(())')).toBe(true);
+    });
+    (0, vitest_1.it)('acepta "()()"', () => {
+        (0, vitest_1.expect)((0, automata_1.pdaAccepts)(M, '()()')).toBe(true);
+    });
+    (0, vitest_1.it)('acepta ""', () => {
+        (0, vitest_1.expect)((0, automata_1.pdaAccepts)(M, '')).toBe(true);
+    });
+    (0, vitest_1.it)('rechaza "(()"', () => {
+        (0, vitest_1.expect)((0, automata_1.pdaAccepts)(M, '(()')).toBe(false);
+    });
+    (0, vitest_1.it)('rechaza ")(" ', () => {
+        (0, vitest_1.expect)((0, automata_1.pdaAccepts)(M, ')(')).toBe(false);
+    });
+});
+//# sourceMappingURL=automata.test.js.map

package/dist/tests/reasoning/automata/automata.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"automata.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/automata/automata.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,sBAAsB;AACtB,+DAA+D;;AAE/D,mCAA8C;AAC9C,0DAqBqC;AACrC,0DAAsD;AAEtD,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,MAAM,CAAC,GAAG,IAAA,uBAAY,GAAE,CAAC;IACzB,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,IAAA,eAAM,EAAC,IAAA,qBAAU,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,IAAA,eAAM,EAAC,IAAA,qBAAU,EAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,IAAA,eAAM,EAAC,IAAA,qBAAU,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,IAAA,eAAM,EAAC,IAAA,qBAAU,EAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,MAAM,CAAC,GAAG,IAAA,wBAAa,GAAE,CAAC;IAC1B,IAAA,WAAE,EAAC,eAAe,EAAE,GAAG,EAAE;QACvB,IAAA,eAAM,EAAC,IAAA,qBAAU,EAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,aAAa,EAAE,GAAG,EAAE;QACrB,IAAA,eAAM,EAAC,IAAA,qBAAU,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,cAAc,EAAE,GAAG,EAAE;QACtB,IAAA,eAAM,EAAC,IAAA,qBAAU,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,YAAY,EAAE,GAAG,EAAE;QACpB,IAAA,eAAM,EAAC,IAAA,qBAAU,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,qDAAqD;IACrD,MAAM,CAAC,GAAQ;QACb,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACzC,QAAQ,EAAE,IAAI,GAAG,CAAS,CAAC,GAAG,CAAC,CAAC;QAChC,WAAW,EAAE,IAAI,GAAG,CAA8B;YAChD,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YAC9B,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YAC9B,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;YAC9B,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;SAC/B,CAAC;QACF,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;KACpC,CAAC;IACF,MAAM,GAAG,GAAG,IAAA,sBAAW,EAAC,CAAC,CAAC,CAAC;IAE3B,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,OAAO,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QACxD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,IAAA,eAAM,EAAC,IAAA,qBAAU,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAA,qBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,MAAM,CAAC,GAAG,IAAA,uBAAY,GAAE,CAAC;IACzB,MAAM,KAAK,GAAG,IAAA,wBAAa,EAAC,CAAC,CAAC,CAAC;IAC/B,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,OAAO,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QACtE,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,IAAA,eAAM,EAAC,IAAA,qBAAU,EAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAA,qBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACvD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,kEAAkE;IAClE,kEAAkE;IAClE,uCAAuC;IACvC,MAAM,MAAM,GAAQ;QAClB,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAChC,QAAQ,EAAE,IAAI,GAAG,CAAS,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACrC,WAAW,EAAE,IAAI,GAAG,CAA8B;YAChD;gBACE,MAAM;gBACN,IAAI,GAAG,CAAC;oBACN,CAAC,GAAG,EAAE,KAAK,CAAC;oBACZ,CAAC,GAAG,EAAE,MAAM,CAAC;iBACd,CAAC;aACH;YACD;gBACE,KAAK;gBACL,IAAI,GAAG,CAAC;oBACN,CAAC,GAAG,EAAE,MAAM,CAAC;oBACb,CAAC,GAAG,EAAE,KAAK,CAAC;iBACb,CAAC;aACH;SACF,CAAC;QACF,OAAO,EAAE,MAAM;QACf,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC;KAC1B,CAAC;IACF,MAAM,UAAU,GAAQ;QACtB,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACnC,QAAQ,EAAE,IAAI,GAAG,CAAS,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACrC,WAAW,EAAE,IAAI,GAAG,CAA8B;YAChD;gBACE,IAAI;gBACJ,IAAI,GAAG,CAAC;oBACN,CAAC,GAAG,EAAE,IAAI,CAAC;oBACX,CAAC,GAAG,EAAE,IAAI,CAAC;iBACZ,CAAC;aACH;YACD;gBACE,IAAI;gBACJ,IAAI,GAAG,CAAC;oBACN,CAAC,GAAG,EAAE,IAAI,CAAC;oBACX,CAAC,GAAG,EAAE,IAAI,CAAC;iBACZ,CAAC;aACH;YACD;gBACE,IAAI;gBACJ,IAAI,GAAG,CAAC;oBACN,CAAC,GAAG,EAAE,IAAI,CAAC;oBACX,CAAC,GAAG,EAAE,IAAI,CAAC;iBACZ,CAAC;aACH;SACF,CAAC;QACF,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;KACxB,CAAC;IACF,MAAM,CAAC,GAAG,IAAA,mBAAQ,EAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IACvC,MAAM,CAAC,GAAG,IAAA,0BAAe,EAAC,MAAM,EAAE,UAAU,CAAC,CAAC;IAE9C,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,OAAO,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QACnF,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,MAAM,QAAQ,GAAG,IAAA,qBAAU,EAAC,MAAM,EAAE,CAAC,CAAC,IAAI,IAAA,qBAAU,EAAC,UAAU,EAAE,CAAC,CAAC,CAAC;YACpE,IAAA,eAAM,EAAC,IAAA,qBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,OAAO,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QAC3F,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,MAAM,QAAQ,GAAG,IAAA,qBAAU,EAAC,MAAM,EAAE,CAAC,CAAC,IAAI,IAAA,qBAAU,EAAC,UAAU,EAAE,CAAC,CAAC,CAAC;YACpE,IAAA,eAAM,EAAC,IAAA,qBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,kDAAkD;IAClD,MAAM,CAAC,GAAQ;QACb,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACnC,QAAQ,EAAE,IAAI,GAAG,CAAS,CAAC,GAAG,CAAC,CAAC;QAChC,WAAW,EAAE,IAAI,GAAG,CAAmC;YACrD,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,kBAAO,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,kBAAO,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SAC9C,CAAC;QACF,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;KACxB,CAAC;IACF,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,CAAC,GAAG,IAAA,yBAAc,EAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,gEAAgE;IAChE,MAAM,CAAC,GAAQ;QACb,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;QACnC,QAAQ,EAAE,IAAI,GAAG,CAAS,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACrC,WAAW,EAAE,IAAI,GAAG,CAAmC;YACrD;gBACE,IAAI;gBACJ,IAAI,GAAG,CAAsB;oBAC3B,CAAC,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;oBACtB,CAAC,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;iBAC7B,CAAC;aACH;YACD;gBACE,IAAI;gBACJ,IAAI,GAAG,CAAsB;oBAC3B,CAAC,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;oBACtB,CAAC,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;iBACvB,CAAC;aACH;SACF,CAAC;QACF,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;KACxB,CAAC;IACF,MAAM,CAAC,GAAG,IAAA,mBAAQ,EAAC,CAAC,CAAC,CAAC;IACtB,MAAM,OAAO,GAAG,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IACnF,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,IAAA,eAAM,EAAC,IAAA,qBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAA,qBAAU,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAClD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,MAAM,CAAC,GAAG,IAAA,qBAAU,EAAC,KAAK,CAAC,CAAC;IAC5B,IAAA,WAAE,EAAC,YAAY,EAAE,GAAG,EAAE;QACpB,IAAA,eAAM,EAAC,IAAA,uBAAY,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,aAAa,EAAE,GAAG,EAAE;QACrB,IAAA,eAAM,EAAC,IAAA,uBAAY,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,cAAc,EAAE,GAAG,EAAE;QACtB,IAAA,eAAM,EAAC,IAAA,uBAAY,EAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,aAAa,EAAE,GAAG,EAAE;QACrB,IAAA,eAAM,EAAC,IAAA,uBAAY,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,YAAY,EAAE,GAAG,EAAE;QACpB,IAAA,eAAM,EAAC,IAAA,uBAAY,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,MAAM,CAAC,GAAG,IAAA,qBAAU,EAAC,SAAS,CAAC,CAAC;IAChC,IAAA,WAAE,EAAC,YAAY,EAAE,GAAG,EAAE;QACpB,IAAA,eAAM,EAAC,IAAA,uBAAY,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,cAAc,EAAE,GAAG,EAAE;QACtB,IAAA,eAAM,EAAC,IAAA,uBAAY,EAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,IAAA,eAAM,EAAC,IAAA,uBAAY,EAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,eAAe,EAAE,GAAG,EAAE;QACvB,IAAA,eAAM,EAAC,IAAA,uBAAY,EAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,YAAY,EAAE,GAAG,EAAE;QACpB,IAAA,eAAM,EAAC,IAAA,uBAAY,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,IAAA,qBAAU,EAAC,IAAI,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,IAAA,uBAAY,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,uBAAY,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,uBAAY,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,qBAAU,EAAC,KAAK,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,IAAA,uBAAY,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,uBAAY,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,uBAAY,EAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,MAAM,CAAC,GAAG,IAAA,qBAAU,EAAC,SAAS,CAAC,CAAC;IAChC,MAAM,GAAG,GAAG,IAAA,qBAAU,EAAC,CAAC,CAAC,CAAC;IAC1B,MAAM,GAAG,GAAG,IAAA,mBAAQ,EAAC,GAAG,CAAC,CAAC;IAC1B,MAAM,OAAO,GAAG,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;IAC1E,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACxB,IAAA,eAAM,EAAC,IAAA,qBAAU,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAA,qBAAU,EAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;QACtD,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,MAAM,CAAC,GAAG,IAAA,qBAAU,GAAE,CAAC;IACvB,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,IAAA,eAAM,EAAC,IAAA,uBAAY,EAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,IAAA,eAAM,EAAC,IAAA,uBAAY,EAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,IAAA,eAAM,EAAC,IAAA,uBAAY,EAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gEAAgE;AAEhE,IAAA,iBAAQ,EAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,MAAM,CAAC,GAAG,IAAA,yBAAc,EAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACrC,IAAA,WAAE,EAAC,cAAc,EAAE,GAAG,EAAE;QACtB,IAAA,eAAM,EAAC,IAAA,qBAAU,EAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,eAAe,EAAE,GAAG,EAAE;QACvB,IAAA,eAAM,EAAC,IAAA,qBAAU,EAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,WAAW,EAAE,GAAG,EAAE;QACnB,IAAA,eAAM,EAAC,IAAA,qBAAU,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,IAAA,eAAM,EAAC,IAAA,qBAAU,EAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,cAAc,EAAE,GAAG,EAAE;QACtB,IAAA,eAAM,EAAC,IAAA,qBAAU,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,MAAM,CAAC,GAAG,IAAA,4BAAiB,GAAE,CAAC;IAC9B,IAAA,WAAE,EAAC,eAAe,EAAE,GAAG,EAAE;QACvB,IAAA,eAAM,EAAC,IAAA,qBAAU,EAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,eAAe,EAAE,GAAG,EAAE;QACvB,IAAA,eAAM,EAAC,IAAA,qBAAU,EAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,WAAW,EAAE,GAAG,EAAE;QACnB,IAAA,eAAM,EAAC,IAAA,qBAAU,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,eAAe,EAAE,GAAG,EAAE;QACvB,IAAA,eAAM,EAAC,IAAA,qBAAU,EAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IACH,IAAA,WAAE,EAAC,eAAe,EAAE,GAAG,EAAE;QACvB,IAAA,eAAM,EAAC,IAAA,qBAAU,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/reasoning/computability/computability.test.d.ts

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

package/dist/tests/reasoning/computability/computability.test.d.ts.map

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

package/dist/tests/reasoning/computability/computability.test.js

@@ -0,0 +1,246 @@
+"use strict";
+// ============================================================
+// ST Computability — Tests
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const computability_1 = require("../../../reasoning/computability");
+(0, vitest_1.describe)('computability — Turing machine core', () => {
+    (0, vitest_1.it)('step reporta halted-accept cuando ya estamos en estado de aceptación', () => {
+        const M = (0, computability_1.tmUnaryParity)();
+        const cfg = { state: 'qa', tape: ['B'], head: 0, step: 0 };
+        (0, vitest_1.expect)((0, computability_1.step)(M, cfg)).toBe('halted-accept');
+    });
+    (0, vitest_1.it)('step reporta no-transition cuando no hay regla aplicable', () => {
+        const M = (0, computability_1.tmUnaryParity)();
+        const cfg = { state: 'q0', tape: ['x'], head: 0, step: 0 };
+        (0, vitest_1.expect)((0, computability_1.step)(M, cfg)).toBe('no-transition');
+    });
+    (0, vitest_1.it)('trace devuelve la configuración inicial y al menos una posterior', () => {
+        const M = (0, computability_1.tmBinaryIncrement)();
+        const t = (0, computability_1.trace)(M, '1', 100);
+        (0, vitest_1.expect)(t.length).toBeGreaterThan(1);
+        (0, vitest_1.expect)(t[0]?.state).toBe('q0');
+    });
+    (0, vitest_1.it)('initialConfig usa blank cuando input es vacío', () => {
+        const M = (0, computability_1.tmBinaryIncrement)();
+        const cfg = (0, computability_1.initialConfig)(M, '');
+        (0, vitest_1.expect)(cfg.tape).toEqual(['B']);
+        (0, vitest_1.expect)(cfg.head).toBe(0);
+        (0, vitest_1.expect)(cfg.state).toBe('q0');
+    });
+});
+(0, vitest_1.describe)('computability — Binary increment', () => {
+    (0, vitest_1.it)('tmBinaryIncrement("101") → "110"', () => {
+        const M = (0, computability_1.tmBinaryIncrement)();
+        const r = (0, computability_1.run)(M, '101');
+        (0, vitest_1.expect)(r.result).toBe('accept');
+        (0, vitest_1.expect)((0, computability_1.readTape)(M, r.finalConfig)).toBe('110');
+    });
+    (0, vitest_1.it)('tmBinaryIncrement("111") → "1000" (acarreo completo)', () => {
+        const M = (0, computability_1.tmBinaryIncrement)();
+        const r = (0, computability_1.run)(M, '111');
+        (0, vitest_1.expect)(r.result).toBe('accept');
+        (0, vitest_1.expect)((0, computability_1.readTape)(M, r.finalConfig)).toBe('1000');
+    });
+    (0, vitest_1.it)('tmBinaryIncrement("0") → "1"', () => {
+        const M = (0, computability_1.tmBinaryIncrement)();
+        const r = (0, computability_1.run)(M, '0');
+        (0, vitest_1.expect)(r.result).toBe('accept');
+        (0, vitest_1.expect)((0, computability_1.readTape)(M, r.finalConfig)).toBe('1');
+    });
+});
+(0, vitest_1.describe)('computability — Unary parity', () => {
+    (0, vitest_1.it)('tmUnaryParity("11") acepta (par)', () => {
+        const M = (0, computability_1.tmUnaryParity)();
+        const r = (0, computability_1.run)(M, '11');
+        (0, vitest_1.expect)(r.result).toBe('accept');
+    });
+    (0, vitest_1.it)('tmUnaryParity("111") rechaza (impar)', () => {
+        const M = (0, computability_1.tmUnaryParity)();
+        const r = (0, computability_1.run)(M, '111');
+        (0, vitest_1.expect)(r.result).toBe('reject');
+    });
+    (0, vitest_1.it)('tmUnaryParity("") acepta (0 es par)', () => {
+        const M = (0, computability_1.tmUnaryParity)();
+        const r = (0, computability_1.run)(M, '');
+        (0, vitest_1.expect)(r.result).toBe('accept');
+    });
+});
+(0, vitest_1.describe)('computability — Reverse string', () => {
+    (0, vitest_1.it)('tmReverseString("abc") → "cba"', () => {
+        const M = (0, computability_1.tmReverseString)();
+        const r = (0, computability_1.run)(M, 'abc', 200);
+        (0, vitest_1.expect)(r.result).toBe('accept');
+        (0, vitest_1.expect)((0, computability_1.readTape)(M, r.finalConfig)).toBe('cba');
+    });
+    (0, vitest_1.it)('tmReverseString("a") → "a"', () => {
+        const M = (0, computability_1.tmReverseString)();
+        const r = (0, computability_1.run)(M, 'a', 100);
+        (0, vitest_1.expect)(r.result).toBe('accept');
+        (0, vitest_1.expect)((0, computability_1.readTape)(M, r.finalConfig)).toBe('a');
+    });
+    (0, vitest_1.it)('tmReverseString("ab") → "ba"', () => {
+        const M = (0, computability_1.tmReverseString)();
+        const r = (0, computability_1.run)(M, 'ab', 200);
+        (0, vitest_1.expect)(r.result).toBe('accept');
+        (0, vitest_1.expect)((0, computability_1.readTape)(M, r.finalConfig)).toBe('ba');
+    });
+});
+(0, vitest_1.describe)('computability — Copy and AddBinary', () => {
+    (0, vitest_1.it)('tmCopy("ab") → "ab#ab"', () => {
+        const M = (0, computability_1.tmCopy)();
+        const r = (0, computability_1.run)(M, 'ab', 200);
+        (0, vitest_1.expect)(r.result).toBe('accept');
+        (0, vitest_1.expect)((0, computability_1.readTape)(M, r.finalConfig)).toBe('ab#ab');
+    });
+    (0, vitest_1.it)('tmAddBinary("10+11") = 2 + 3 unario(11) = "101" (5)', () => {
+        // formato: <a binario>+<b unario>, aquí 10 (2) + 111 (3 en unario) = 5
+        const M = (0, computability_1.tmAddBinary)();
+        const r = (0, computability_1.run)(M, '10+111', 500);
+        (0, vitest_1.expect)(r.result).toBe('accept');
+        (0, vitest_1.expect)((0, computability_1.readTape)(M, r.finalConfig)).toBe('101');
+    });
+});
+(0, vitest_1.describe)('computability — boundedHalts', () => {
+    (0, vitest_1.it)('boundedHalts devuelve true cuando la TM termina dentro del budget', () => {
+        const M = (0, computability_1.tmBinaryIncrement)();
+        (0, vitest_1.expect)((0, computability_1.boundedHalts)(M, '1', 100)).toBe(true);
+    });
+    (0, vitest_1.it)('boundedHalts devuelve "unknown" si supera el budget (loop)', () => {
+        // construir un loop trivial: q0 ↔ q1 sin condición de parada
+        const M = {
+            states: new Set(['q0', 'q1']),
+            alphabet: new Set(['1']),
+            tapeAlphabet: new Set(['1', 'B']),
+            blank: 'B',
+            initialState: 'q0',
+            acceptStates: new Set(),
+            transitions: [
+                {
+                    fromState: 'q0',
+                    readSymbol: '1',
+                    toState: 'q1',
+                    writeSymbol: '1',
+                    direction: 'R',
+                },
+                {
+                    fromState: 'q0',
+                    readSymbol: 'B',
+                    toState: 'q1',
+                    writeSymbol: 'B',
+                    direction: 'R',
+                },
+                {
+                    fromState: 'q1',
+                    readSymbol: 'B',
+                    toState: 'q0',
+                    writeSymbol: 'B',
+                    direction: 'L',
+                },
+                {
+                    fromState: 'q1',
+                    readSymbol: '1',
+                    toState: 'q0',
+                    writeSymbol: '1',
+                    direction: 'L',
+                },
+            ],
+        };
+        (0, vitest_1.expect)((0, computability_1.boundedHalts)(M, '1', 20)).toBe('unknown');
+    });
+    (0, vitest_1.it)('boundedHalts simple cycle short → unknown si maxSteps < 1', () => {
+        const M = (0, computability_1.tmBinaryIncrement)();
+        (0, vitest_1.expect)((0, computability_1.boundedHalts)(M, '101', 0)).toBe('unknown');
+    });
+});
+(0, vitest_1.describe)('computability — Primitive recursive functions', () => {
+    (0, vitest_1.it)('PR zero() = 0', () => {
+        (0, vitest_1.expect)((0, computability_1.evalPR)({ kind: 'zero' }, [])).toBe(0);
+    });
+    (0, vitest_1.it)('PR succ(7) = 8', () => {
+        (0, vitest_1.expect)((0, computability_1.evalPR)({ kind: 'succ' }, [7])).toBe(8);
+    });
+    (0, vitest_1.it)('PR proj U^3_2(1,2,3) = 2', () => {
+        (0, vitest_1.expect)((0, computability_1.evalPR)({ kind: 'proj', n: 3, i: 2 }, [1, 2, 3])).toBe(2);
+    });
+    (0, vitest_1.it)('PR_ADD(3, 4) = 7', () => {
+        (0, vitest_1.expect)((0, computability_1.evalPR)(computability_1.PR_ADD, [3, 4])).toBe(7);
+    });
+    (0, vitest_1.it)('PR_ADD(0, 5) = 5', () => {
+        (0, vitest_1.expect)((0, computability_1.evalPR)(computability_1.PR_ADD, [0, 5])).toBe(5);
+    });
+    (0, vitest_1.it)('PR_MUL(3, 4) = 12', () => {
+        (0, vitest_1.expect)((0, computability_1.evalPR)(computability_1.PR_MUL, [3, 4])).toBe(12);
+    });
+    (0, vitest_1.it)('PR_MUL(0, 7) = 0', () => {
+        (0, vitest_1.expect)((0, computability_1.evalPR)(computability_1.PR_MUL, [0, 7])).toBe(0);
+    });
+    (0, vitest_1.it)('PR_POW(3, 2) = 8 (2^3 con args = [exp, base])', () => {
+        (0, vitest_1.expect)((0, computability_1.evalPR)(computability_1.PR_POW, [3, 2])).toBe(8);
+    });
+    (0, vitest_1.it)('PR_FACT(5) = 120', () => {
+        (0, vitest_1.expect)((0, computability_1.evalPR)(computability_1.PR_FACT, [5])).toBe(120);
+    });
+    (0, vitest_1.it)('PR_FACT(0) = 1', () => {
+        (0, vitest_1.expect)((0, computability_1.evalPR)(computability_1.PR_FACT, [0])).toBe(1);
+    });
+    (0, vitest_1.it)('PR_PREDECESSOR(0) = 0, pred(7) = 6', () => {
+        (0, vitest_1.expect)((0, computability_1.evalPR)(computability_1.PR_PREDECESSOR, [0])).toBe(0);
+        (0, vitest_1.expect)((0, computability_1.evalPR)(computability_1.PR_PREDECESSOR, [7])).toBe(6);
+    });
+    (0, vitest_1.it)('evalPR rechaza argumentos no enteros o negativos', () => {
+        (0, vitest_1.expect)(() => (0, computability_1.evalPR)(computability_1.PR_ADD, [-1, 0])).toThrow();
+        (0, vitest_1.expect)(() => (0, computability_1.evalPR)(computability_1.PR_ADD, [1.5, 0])).toThrow();
+    });
+});
+(0, vitest_1.describe)('computability — Ackermann (no PR)', () => {
+    (0, vitest_1.it)('A(0, n) = n + 1', () => {
+        (0, vitest_1.expect)((0, computability_1.ackermann)(0, 0)).toBe(1);
+        (0, vitest_1.expect)((0, computability_1.ackermann)(0, 5)).toBe(6);
+    });
+    (0, vitest_1.it)('A(1, 1) = 3', () => {
+        (0, vitest_1.expect)((0, computability_1.ackermann)(1, 1)).toBe(3);
+    });
+    (0, vitest_1.it)('A(2, 2) = 7', () => {
+        (0, vitest_1.expect)((0, computability_1.ackermann)(2, 2)).toBe(7);
+    });
+    (0, vitest_1.it)('A(3, 3) = 61', () => {
+        (0, vitest_1.expect)((0, computability_1.ackermann)(3, 3)).toBe(61);
+    });
+    (0, vitest_1.it)('A(3, 0) = A(2, 1) = 5', () => {
+        (0, vitest_1.expect)((0, computability_1.ackermann)(3, 0)).toBe(5);
+    });
+    (0, vitest_1.it)('isInPR detecta funciones de crecimiento moderado como "likely"', () => {
+        // f(n) = n^2 — claramente PR, debería ser likely true.
+        const r = (0, computability_1.isInPR)((n) => n * n, 4);
+        (0, vitest_1.expect)(r.likely).toBe(true);
+    });
+});
+(0, vitest_1.describe)('computability — Rice witness', () => {
+    (0, vitest_1.it)('riceWitness("acepta el lenguaje vacío") detecta no trivialidad', () => {
+        // Propiedad: "M tiene exactamente un estado de aceptación".
+        // Algunas máquinas (parity) tienen 1 estado de aceptación,
+        // otras pueden no tenerlo. Esto demuestra no-trivialidad.
+        const property = (m) => m.acceptStates.size === 1;
+        const r = (0, computability_1.riceWitness)(property);
+        // Como todas las muestras tienen exactamente 1 estado de aceptación,
+        // esta propiedad será trivialmente true sobre la muestra.
+        (0, vitest_1.expect)(r.undecidable).toBe(false);
+    });
+    (0, vitest_1.it)('riceWitness con propiedad mixta es indecidible', () => {
+        // Propiedad: "el alfabeto incluye el símbolo +" (tmAddBinary lo tiene,
+        // los otros no).
+        const property = (m) => m.alphabet.has('+');
+        const r = (0, computability_1.riceWitness)(property);
+        (0, vitest_1.expect)(r.undecidable).toBe(true);
+        (0, vitest_1.expect)(r.explanation).toMatch(/Rice/);
+    });
+    (0, vitest_1.it)('riceWitness con propiedad trivialmente falsa devuelve undecidable=false', () => {
+        const property = () => false;
+        const r = (0, computability_1.riceWitness)(property);
+        (0, vitest_1.expect)(r.undecidable).toBe(false);
+        (0, vitest_1.expect)(r.explanation).toMatch(/uniformemente negativa/);
+    });
+});
+//# sourceMappingURL=computability.test.js.map

package/dist/tests/reasoning/computability/computability.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"computability.test.js","sourceRoot":"","sources":["../../../../src/tests/reasoning/computability/computability.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,2BAA2B;AAC3B,+DAA+D;;AAE/D,mCAA8C;AAC9C,oEAqB0C;AAE1C,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,IAAA,WAAE,EAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,CAAC,GAAG,IAAA,6BAAa,GAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QAC3D,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,CAAC,GAAG,IAAA,6BAAa,GAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC;QAC3D,IAAA,eAAM,EAAC,IAAA,oBAAI,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,CAAC,GAAG,IAAA,iCAAiB,GAAE,CAAC;QAC9B,MAAM,CAAC,GAAG,IAAA,qBAAK,EAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,IAAA,iCAAiB,GAAE,CAAC;QAC9B,MAAM,GAAG,GAAG,IAAA,6BAAa,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,IAAA,iCAAiB,GAAE,CAAC;QAC9B,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,IAAA,iCAAiB,GAAE,CAAC;QAC9B,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,IAAA,iCAAiB,GAAE,CAAC;QAC9B,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACtB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,IAAA,6BAAa,GAAE,CAAC;QAC1B,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QACvB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,6BAAa,GAAE,CAAC;QAC1B,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAG,IAAA,6BAAa,GAAE,CAAC;QAC1B,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,GAAG,IAAA,+BAAe,GAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAA,+BAAe,GAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,IAAA,+BAAe,GAAE,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,CAAC,GAAG,IAAA,sBAAM,GAAE,CAAC;QACnB,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;QAC5B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,uEAAuE;QACvE,MAAM,CAAC,GAAG,IAAA,2BAAW,GAAE,CAAC;QACxB,MAAM,CAAC,GAAG,IAAA,mBAAG,EAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,wBAAQ,EAAC,CAAC,EAAE,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,CAAC,GAAG,IAAA,iCAAiB,GAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,4BAAY,EAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,6DAA6D;QAC7D,MAAM,CAAC,GAAG;YACR,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC7B,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;YACxB,YAAY,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;YACjC,KAAK,EAAE,GAAG;YACV,YAAY,EAAE,IAAI;YAClB,YAAY,EAAE,IAAI,GAAG,EAAU;YAC/B,WAAW,EAAE;gBACX;oBACE,SAAS,EAAE,IAAI;oBACf,UAAU,EAAE,GAAG;oBACf,OAAO,EAAE,IAAI;oBACb,WAAW,EAAE,GAAG;oBAChB,SAAS,EAAE,GAAY;iBACxB;gBACD;oBACE,SAAS,EAAE,IAAI;oBACf,UAAU,EAAE,GAAG;oBACf,OAAO,EAAE,IAAI;oBACb,WAAW,EAAE,GAAG;oBAChB,SAAS,EAAE,GAAY;iBACxB;gBACD;oBACE,SAAS,EAAE,IAAI;oBACf,UAAU,EAAE,GAAG;oBACf,OAAO,EAAE,IAAI;oBACb,WAAW,EAAE,GAAG;oBAChB,SAAS,EAAE,GAAY;iBACxB;gBACD;oBACE,SAAS,EAAE,IAAI;oBACf,UAAU,EAAE,GAAG;oBACf,OAAO,EAAE,IAAI;oBACb,WAAW,EAAE,GAAG;oBAChB,SAAS,EAAE,GAAY;iBACxB;aACF;SACF,CAAC;QACF,IAAA,eAAM,EAAC,IAAA,4BAAY,EAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,GAAG,IAAA,iCAAiB,GAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAA,4BAAY,EAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+CAA+C,EAAE,GAAG,EAAE;IAC7D,IAAA,WAAE,EAAC,eAAe,EAAE,GAAG,EAAE;QACvB,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,sBAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,sBAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,sBAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,sBAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,sBAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,uBAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,uBAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,8BAAc,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,IAAA,sBAAM,EAAC,8BAAc,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,sBAAM,EAAC,sBAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;QAChD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,sBAAM,EAAC,sBAAM,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,IAAA,eAAM,EAAC,IAAA,yBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,IAAA,yBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,aAAa,EAAE,GAAG,EAAE;QACrB,IAAA,eAAM,EAAC,IAAA,yBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,aAAa,EAAE,GAAG,EAAE;QACrB,IAAA,eAAM,EAAC,IAAA,yBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,cAAc,EAAE,GAAG,EAAE;QACtB,IAAA,eAAM,EAAC,IAAA,yBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,IAAA,eAAM,EAAC,IAAA,yBAAS,EAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,uDAAuD;QACvD,MAAM,CAAC,GAAG,IAAA,sBAAM,EAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,4DAA4D;QAC5D,2DAA2D;QAC3D,0DAA0D;QAC1D,MAAM,QAAQ,GAAG,CAAC,CAAuC,EAAW,EAAE,CACpE,CAAC,CAAC,YAAY,CAAC,IAAI,KAAK,CAAC,CAAC;QAC5B,MAAM,CAAC,GAAG,IAAA,2BAAW,EAAC,QAAQ,CAAC,CAAC;QAChC,qEAAqE;QACrE,0DAA0D;QAC1D,IAAA,eAAM,EAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,uEAAuE;QACvE,iBAAiB;QACjB,MAAM,QAAQ,GAAG,CAAC,CAAuC,EAAW,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC3F,MAAM,CAAC,GAAG,IAAA,2BAAW,EAAC,QAAQ,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yEAAyE,EAAE,GAAG,EAAE;QACjF,MAAM,QAAQ,GAAG,GAAY,EAAE,CAAC,KAAK,CAAC;QACtC,MAAM,CAAC,GAAG,IAAA,2BAAW,EAAC,QAAQ,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,CAAC,CAAC,WAAW,CAAC,CAAC,OAAO,CAAC,wBAAwB,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/reasoning/number-theory/number-theory.test.d.ts

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

package/dist/tests/reasoning/number-theory/number-theory.test.d.ts.map

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