@stevenvo780/st-lang 4.6.0 → 4.7.0

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

@@ -0,0 +1 @@
+{"version":3,"file":"bridge.test.js","sourceRoot":"","sources":["../../../../src/tests/tooling/tptp/bridge.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,mCAAmC;AACnC,+DAA+D;;AAE/D,mCAA8C;AAC9C,yDAAyD;AACzD,yDAAmF;AACnF,kEAA6D;AAE7D,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,IAAA,yBAAgB,EAAC,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,IAAA,yBAAgB,EAAC;YACzB,IAAI,EAAE,MAAM;YACZ,SAAS,EAAE,GAAG;YACd,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;SACnC,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,IAAA,yBAAgB,EAAC;YACzB,IAAI,EAAE,KAAK;YACX,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE;gBAC1C,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE;aAC3C;SACF,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAA,yBAAgB,EAAC;YACzB,IAAI,EAAE,KAAK;YACX,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE;YAChD,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE;SAClD,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,CAAC,GAAG,IAAA,yBAAgB,EAAC;YACzB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;YAChB,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE;SACjD,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAC,GAAG,IAAA,yBAAgB,EAAC;YACzB,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE;YAClC,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE;SACpC,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,IAAA,yBAAgB,EAAC;YACzB,IAAI,EAAE,KAAK;YACX,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE;YAClC,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE;SACpC,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,IAAA,kBAAS,EAAC;;;;KAInB,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,IAAA,0BAAiB,EAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,GAAG,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACtC,IAAA,eAAM,EAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAG,IAAA,kBAAS,EAAC,oCAAoC,CAAC,CAAC;QAC1D,MAAM,GAAG,GAAG,IAAA,0BAAiB,EAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,GAAG,CAAC,UAAU,CAAC,CAAC,QAAQ,EAAE,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,CAAC,GAAG,IAAA,kBAAS,EAAC;;;;;;KAMnB,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,IAAA,0BAAiB,EAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,UAAU,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,GAAG,CAAC,UAAU,CAAC,CAAC,QAAQ,EAAE,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,IAAA,kBAAS,EAAC;;;KAGnB,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,IAAA,0BAAiB,EAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACtC,IAAA,eAAM,EAAC,GAAG,CAAC,UAAU,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,IAAA,kBAAS,EAAC;;;;KAInB,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,IAAA,0BAAiB,EAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACtC,MAAM,MAAM,GAAG,IAAA,qBAAQ,EAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,UAAW,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;QACzF,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,IAAA,kBAAS,EAAC;;;;;KAKnB,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,IAAA,0BAAiB,EAAC,CAAC,CAAC,CAAC;QACjC,MAAM,MAAM,GAAG,IAAA,qBAAQ,EAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,UAAW,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;QACzF,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,GAAG,IAAA,kBAAS,EAAC;;;;KAInB,CAAC,CAAC;QACH,MAAM,GAAG,GAAG,IAAA,0BAAiB,EAAC,CAAC,CAAC,CAAC;QACjC,MAAM,MAAM,GAAG,IAAA,qBAAQ,EAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,UAAW,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;QACzF,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

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

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

@@ -0,0 +1,128 @@
+"use strict";
+// ============================================================
+// TPTP Tests — Emitter + Round-trip
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const emitter_1 = require("../../../tooling/tptp/emitter");
+const parser_1 = require("../../../tooling/tptp/parser");
+(0, vitest_1.describe)('TPTP emitter', () => {
+    (0, vitest_1.it)('emite átomo proposicional simple', () => {
+        (0, vitest_1.expect)((0, emitter_1.emitFormula)({ kind: 'atom', predicate: 'p', args: [] })).toBe('p');
+    });
+    (0, vitest_1.it)('emite atom con argumentos', () => {
+        const s = (0, emitter_1.emitFormula)({
+            kind: 'atom',
+            predicate: 'p',
+            args: [
+                { kind: 'var', name: 'X' },
+                { kind: 'const', name: 'a' },
+            ],
+        });
+        (0, vitest_1.expect)(s).toBe('p(X,a)');
+    });
+    (0, vitest_1.it)('emite negación', () => {
+        const s = (0, emitter_1.emitFormula)({
+            kind: 'not',
+            arg: { kind: 'atom', predicate: 'p', args: [] },
+        });
+        (0, vitest_1.expect)(s).toBe('~p');
+    });
+    (0, vitest_1.it)('emite forall con múltiples vars', () => {
+        const s = (0, emitter_1.emitFormula)({
+            kind: 'forall',
+            vars: ['X', 'Y'],
+            body: { kind: 'atom', predicate: 'p', args: [{ kind: 'var', name: 'X' }] },
+        });
+        (0, vitest_1.expect)(s).toBe('! [X,Y] : p(X)');
+    });
+    (0, vitest_1.it)('emite implies', () => {
+        const s = (0, emitter_1.emitFormula)({
+            kind: 'implies',
+            left: { kind: 'atom', predicate: 'p', args: [] },
+            right: { kind: 'atom', predicate: 'q', args: [] },
+        });
+        (0, vitest_1.expect)(s).toBe('p => q');
+    });
+    (0, vitest_1.it)('emite eq y neq', () => {
+        (0, vitest_1.expect)((0, emitter_1.emitFormula)({
+            kind: 'eq',
+            left: { kind: 'const', name: 'a' },
+            right: { kind: 'const', name: 'b' },
+        })).toBe('a = b');
+        (0, vitest_1.expect)((0, emitter_1.emitFormula)({
+            kind: 'neq',
+            left: { kind: 'const', name: 'a' },
+            right: { kind: 'const', name: 'b' },
+        })).toBe('a != b');
+    });
+    (0, vitest_1.it)('emite problema completo con include + axiomas', () => {
+        const out = (0, emitter_1.emitTptp)({
+            includes: ['axioms.ax'],
+            annotated: [
+                {
+                    language: 'fof',
+                    name: 'a1',
+                    role: 'axiom',
+                    formula: { kind: 'atom', predicate: 'p', args: [] },
+                },
+            ],
+        });
+        (0, vitest_1.expect)(out).toContain("include('axioms.ax').");
+        (0, vitest_1.expect)(out).toContain('fof(a1, axiom, p).');
+    });
+});
+(0, vitest_1.describe)('TPTP round-trip — parse → emit → parse', () => {
+    const cases = [
+        'fof(a, axiom, p).',
+        'fof(b, axiom, p(X)).',
+        'fof(c, axiom, p(X) => q(X)).',
+        'fof(d, axiom, ![X] : (p(X) => q(X))).',
+        'fof(e, axiom, ?[Y] : p(Y)).',
+        'fof(f, axiom, a = b).',
+        'fof(g, axiom, a != b).',
+        'fof(h, axiom, p <=> q).',
+        'fof(i, axiom, p & q & r).',
+        'fof(j, axiom, p | q | r).',
+        'cnf(k, axiom, p(a) | ~q(b)).',
+    ];
+    for (const src of cases) {
+        (0, vitest_1.it)(`round-trip estable: ${src}`, () => {
+            const p1 = (0, parser_1.parseTptp)(src);
+            const emitted = (0, emitter_1.emitTptp)(p1);
+            const p2 = (0, parser_1.parseTptp)(emitted);
+            // El AST debe ser estructuralmente igual (deep equal)
+            (0, vitest_1.expect)(p2.annotated).toEqual(p1.annotated);
+            (0, vitest_1.expect)(p2.includes).toEqual(p1.includes);
+        });
+    }
+    (0, vitest_1.it)('round-trip preserva problema multi-formula completo', () => {
+        const src = `
+      fof(ax1, axiom, ![X] : (man(X) => mortal(X))).
+      fof(ax2, axiom, man(socrates)).
+      fof(goal, conjecture, mortal(socrates)).
+    `;
+        const p1 = (0, parser_1.parseTptp)(src);
+        const emitted = (0, emitter_1.emitTptp)(p1);
+        const p2 = (0, parser_1.parseTptp)(emitted);
+        (0, vitest_1.expect)(p2.annotated).toEqual(p1.annotated);
+    });
+    (0, vitest_1.it)('round-trip preserva includes', () => {
+        const src = `include('a.ax').\ninclude('b.ax').\nfof(x, axiom, p).`;
+        const p1 = (0, parser_1.parseTptp)(src);
+        const p2 = (0, parser_1.parseTptp)((0, emitter_1.emitTptp)(p1));
+        (0, vitest_1.expect)(p2.includes).toEqual(['a.ax', 'b.ax']);
+        (0, vitest_1.expect)(p2.annotated).toHaveLength(1);
+    });
+});
+(0, vitest_1.describe)('parseFormula → emitFormula sin paréntesis sobrantes', () => {
+    (0, vitest_1.it)('mantiene la forma de p & q', () => {
+        const f = (0, parser_1.parseFormula)('p & q', 'fof');
+        (0, vitest_1.expect)((0, emitter_1.emitFormula)(f)).toBe('p & q');
+    });
+    (0, vitest_1.it)('mantiene la forma de ![X] : p(X)', () => {
+        const f = (0, parser_1.parseFormula)('![X] : p(X)', 'fof');
+        (0, vitest_1.expect)((0, emitter_1.emitFormula)(f)).toBe('! [X] : p(X)');
+    });
+});
+//# sourceMappingURL=emitter.test.js.map

package/dist/tests/tooling/tptp/emitter.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"emitter.test.js","sourceRoot":"","sources":["../../../../src/tests/tooling/tptp/emitter.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,oCAAoC;AACpC,+DAA+D;;AAE/D,mCAA8C;AAC9C,2DAAsE;AACtE,yDAAuE;AAEvE,IAAA,iBAAQ,EAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,IAAA,qBAAW,EAAC,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,GAAG,IAAA,qBAAW,EAAC;YACpB,IAAI,EAAE,MAAM;YACZ,SAAS,EAAE,GAAG;YACd,IAAI,EAAE;gBACJ,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE;gBAC1B,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE;aAC7B;SACF,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,CAAC,GAAG,IAAA,qBAAW,EAAC;YACpB,IAAI,EAAE,KAAK;YACX,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE;SAChD,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,IAAA,qBAAW,EAAC;YACpB,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC;YAChB,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE;SAC3E,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,eAAe,EAAE,GAAG,EAAE;QACvB,MAAM,CAAC,GAAG,IAAA,qBAAW,EAAC;YACpB,IAAI,EAAE,SAAS;YACf,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE;YAChD,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE;SAClD,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,IAAA,eAAM,EACJ,IAAA,qBAAW,EAAC;YACV,IAAI,EAAE,IAAI;YACV,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE;YAClC,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE;SACpC,CAAC,CACH,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAChB,IAAA,eAAM,EACJ,IAAA,qBAAW,EAAC;YACV,IAAI,EAAE,KAAK;YACX,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE;YAClC,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE;SACpC,CAAC,CACH,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACnB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,GAAG,GAAG,IAAA,kBAAQ,EAAC;YACnB,QAAQ,EAAE,CAAC,WAAW,CAAC;YACvB,SAAS,EAAE;gBACT;oBACE,QAAQ,EAAE,KAAK;oBACf,IAAI,EAAE,IAAI;oBACV,IAAI,EAAE,OAAO;oBACb,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,EAAE,EAAE;iBACpD;aACF;SACF,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,uBAAuB,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,wCAAwC,EAAE,GAAG,EAAE;IACtD,MAAM,KAAK,GAAa;QACtB,mBAAmB;QACnB,sBAAsB;QACtB,8BAA8B;QAC9B,uCAAuC;QACvC,6BAA6B;QAC7B,uBAAuB;QACvB,wBAAwB;QACxB,yBAAyB;QACzB,2BAA2B;QAC3B,2BAA2B;QAC3B,8BAA8B;KAC/B,CAAC;IAEF,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;QACxB,IAAA,WAAE,EAAC,uBAAuB,GAAG,EAAE,EAAE,GAAG,EAAE;YACpC,MAAM,EAAE,GAAG,IAAA,kBAAS,EAAC,GAAG,CAAC,CAAC;YAC1B,MAAM,OAAO,GAAG,IAAA,kBAAQ,EAAC,EAAE,CAAC,CAAC;YAC7B,MAAM,EAAE,GAAG,IAAA,kBAAS,EAAC,OAAO,CAAC,CAAC;YAC9B,sDAAsD;YACtD,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;YAC3C,IAAA,eAAM,EAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC;QAC3C,CAAC,CAAC,CAAC;IACL,CAAC;IAED,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,GAAG,GAAG;;;;KAIX,CAAC;QACF,MAAM,EAAE,GAAG,IAAA,kBAAS,EAAC,GAAG,CAAC,CAAC;QAC1B,MAAM,OAAO,GAAG,IAAA,kBAAQ,EAAC,EAAE,CAAC,CAAC;QAC7B,MAAM,EAAE,GAAG,IAAA,kBAAS,EAAC,OAAO,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,GAAG,GAAG,uDAAuD,CAAC;QACpE,MAAM,EAAE,GAAG,IAAA,kBAAS,EAAC,GAAG,CAAC,CAAC;QAC1B,MAAM,EAAE,GAAG,IAAA,kBAAS,EAAC,IAAA,kBAAQ,EAAC,EAAE,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,qDAAqD,EAAE,GAAG,EAAE;IACnE,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,IAAA,qBAAY,EAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,qBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,IAAA,qBAAY,EAAC,aAAa,EAAE,KAAK,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAA,qBAAW,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

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

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

@@ -0,0 +1,192 @@
+"use strict";
+// ============================================================
+// TPTP Tests — Parser
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const parser_1 = require("../../../tooling/tptp/parser");
+(0, vitest_1.describe)('TPTP parser — fórmulas FOF', () => {
+    (0, vitest_1.it)('parsea fof(a, axiom, p(X) => q(X)).', () => {
+        const p = (0, parser_1.parseTptp)('fof(a, axiom, p(X) => q(X)).');
+        (0, vitest_1.expect)(p.annotated).toHaveLength(1);
+        const ann = p.annotated[0];
+        (0, vitest_1.expect)(ann.language).toBe('fof');
+        (0, vitest_1.expect)(ann.name).toBe('a');
+        (0, vitest_1.expect)(ann.role).toBe('axiom');
+        (0, vitest_1.expect)(ann.formula.kind).toBe('implies');
+        const impl = ann.formula;
+        (0, vitest_1.expect)(impl.left.predicate).toBe('p');
+        (0, vitest_1.expect)(impl.right.predicate).toBe('q');
+    });
+    (0, vitest_1.it)('parsea cuantificador universal con múltiples variables', () => {
+        const f = (0, parser_1.parseFormula)('! [X, Y] : p(X, Y)', 'fof');
+        (0, vitest_1.expect)(f.kind).toBe('forall');
+        const q = f;
+        (0, vitest_1.expect)(q.vars).toEqual(['X', 'Y']);
+        (0, vitest_1.expect)(q.body.kind).toBe('atom');
+    });
+    (0, vitest_1.it)('parsea cuantificador existencial', () => {
+        const f = (0, parser_1.parseFormula)('? [X] : p(X)', 'fof');
+        (0, vitest_1.expect)(f.kind).toBe('exists');
+    });
+    (0, vitest_1.it)('parsea igualdad f(a) = b', () => {
+        const f = (0, parser_1.parseFormula)('f(a) = b', 'fof');
+        (0, vitest_1.expect)(f.kind).toBe('eq');
+        const eq = f;
+        (0, vitest_1.expect)(eq.left.kind).toBe('func');
+        (0, vitest_1.expect)(eq.right.kind).toBe('const');
+    });
+    (0, vitest_1.it)('parsea desigualdad a != b', () => {
+        const f = (0, parser_1.parseFormula)('a != b', 'fof');
+        (0, vitest_1.expect)(f.kind).toBe('neq');
+    });
+    (0, vitest_1.it)('parsea negación ~p(X)', () => {
+        const f = (0, parser_1.parseFormula)('~p(X)', 'fof');
+        (0, vitest_1.expect)(f.kind).toBe('not');
+    });
+    (0, vitest_1.it)('parsea conjunción y disyunción con precedencia correcta', () => {
+        // a & b | c → (a & b) | c en TPTP estándar? En realidad, & y | tienen
+        // misma precedencia / no-asociativas en TPTP estricto, pero nuestro
+        // parser le da & más alta precedencia (común en otros provers).
+        const f = (0, parser_1.parseFormula)('p & q | r', 'fof');
+        (0, vitest_1.expect)(f.kind).toBe('or');
+        const orF = f;
+        (0, vitest_1.expect)(orF.args[0].kind).toBe('and');
+    });
+    (0, vitest_1.it)('parsea iff <=>', () => {
+        const f = (0, parser_1.parseFormula)('p <=> q', 'fof');
+        (0, vitest_1.expect)(f.kind).toBe('iff');
+    });
+    (0, vitest_1.it)('parsea xor <~>', () => {
+        const f = (0, parser_1.parseFormula)('p <~> q', 'fof');
+        (0, vitest_1.expect)(f.kind).toBe('xor');
+    });
+    (0, vitest_1.it)('parsea <= como implies invertida', () => {
+        const f = (0, parser_1.parseFormula)('p <= q', 'fof');
+        (0, vitest_1.expect)(f.kind).toBe('implies');
+        // p <= q  ≡  q => p
+        const impl = f;
+        (0, vitest_1.expect)(impl.left.predicate).toBe('q');
+        (0, vitest_1.expect)(impl.right.predicate).toBe('p');
+    });
+    (0, vitest_1.it)('parsea $true y $false', () => {
+        (0, vitest_1.expect)((0, parser_1.parseFormula)('$true', 'fof').kind).toBe('true');
+        (0, vitest_1.expect)((0, parser_1.parseFormula)('$false', 'fof').kind).toBe('false');
+    });
+    (0, vitest_1.it)('parsea problema multi-formula con axiomas y conjecture', () => {
+        const src = `
+      fof(modus_ponens, axiom, ![X] : (p(X) => q(X))).
+      fof(p_a, axiom, p(a)).
+      fof(goal, conjecture, q(a)).
+    `;
+        const p = (0, parser_1.parseTptp)(src);
+        (0, vitest_1.expect)(p.annotated).toHaveLength(3);
+        (0, vitest_1.expect)(p.annotated.map((a) => a.role)).toEqual(['axiom', 'axiom', 'conjecture']);
+    });
+    (0, vitest_1.it)('parsea include y lo añade a includes[]', () => {
+        const p = (0, parser_1.parseTptp)(`include('tptp/SET001.ax').\nfof(a, axiom, p).`);
+        (0, vitest_1.expect)(p.includes).toEqual(['tptp/SET001.ax']);
+        (0, vitest_1.expect)(p.annotated).toHaveLength(1);
+    });
+    (0, vitest_1.it)('parsea include con lista de selectors y los descarta', () => {
+        const p = (0, parser_1.parseTptp)(`include('file.ax', [ax1, ax2]).`);
+        (0, vitest_1.expect)(p.includes).toEqual(['file.ax']);
+    });
+    (0, vitest_1.it)('parsea CNF cnf(c1, axiom, p(a) | ~q(b)).', () => {
+        const p = (0, parser_1.parseTptp)('cnf(c1, axiom, p(a) | ~q(b)).');
+        (0, vitest_1.expect)(p.annotated).toHaveLength(1);
+        const f = p.annotated[0].formula;
+        (0, vitest_1.expect)(f.kind).toBe('or');
+        const orF = f;
+        (0, vitest_1.expect)(orF.args[0].kind).toBe('atom');
+        (0, vitest_1.expect)(orF.args[1].kind).toBe('not');
+    });
+    (0, vitest_1.it)('parsea CNF de un solo literal', () => {
+        const p = (0, parser_1.parseTptp)('cnf(c2, axiom, p(a)).');
+        const f = p.annotated[0].formula;
+        (0, vitest_1.expect)(f.kind).toBe('atom');
+    });
+    (0, vitest_1.it)('parsea CNF con literal negado solo', () => {
+        const p = (0, parser_1.parseTptp)('cnf(c3, axiom, ~p(X)).');
+        (0, vitest_1.expect)(p.annotated[0].formula.kind).toBe('not');
+    });
+    (0, vitest_1.it)('parsea TFF light con type annotations en variables', () => {
+        // ![X : $i] : p(X) — el tipo se descarta
+        const p = (0, parser_1.parseTptp)('tff(t1, axiom, ! [X : $i] : p(X)).');
+        (0, vitest_1.expect)(p.annotated[0].language).toBe('tff');
+        const f = p.annotated[0].formula;
+        (0, vitest_1.expect)(f.kind).toBe('forall');
+        const q = f;
+        (0, vitest_1.expect)(q.vars).toEqual(['X']);
+    });
+    (0, vitest_1.it)('parsea anotaciones opcionales tras la fórmula y las ignora', () => {
+        const p = (0, parser_1.parseTptp)('fof(a, axiom, p(X), unknown, [status(thm)]).');
+        (0, vitest_1.expect)(p.annotated).toHaveLength(1);
+        (0, vitest_1.expect)(p.annotated[0].formula.kind).toBe('atom');
+    });
+    (0, vitest_1.it)('parsea átomo proposicional sin args', () => {
+        const f = (0, parser_1.parseFormula)('p', 'fof');
+        (0, vitest_1.expect)(f.kind).toBe('atom');
+        const atom = f;
+        (0, vitest_1.expect)(atom.predicate).toBe('p');
+        (0, vitest_1.expect)(atom.args).toEqual([]);
+    });
+    (0, vitest_1.it)('parsea funciones anidadas f(g(a), h(X, b))', () => {
+        const f = (0, parser_1.parseFormula)('p(f(g(a), h(X, b)))', 'fof');
+        (0, vitest_1.expect)(f.kind).toBe('atom');
+        const atom = f;
+        (0, vitest_1.expect)(atom.args).toHaveLength(1);
+        const inner = atom.args[0];
+        (0, vitest_1.expect)(inner.kind).toBe('func');
+    });
+    (0, vitest_1.it)('parsea problema TPTP real estilo "Trivial" — modus tollens', () => {
+        const src = `
+      fof(mt1, axiom, ![X] : (p(X) => q(X))).
+      fof(mt2, axiom, ~q(a)).
+      fof(mt_goal, conjecture, ~p(a)).
+    `;
+        const p = (0, parser_1.parseTptp)(src);
+        (0, vitest_1.expect)(p.annotated).toHaveLength(3);
+    });
+    (0, vitest_1.it)('parsea problema TPTP real — transitividad', () => {
+        const src = `
+      fof(trans, axiom, ![X,Y,Z] : ((r(X,Y) & r(Y,Z)) => r(X,Z))).
+      fof(rab, axiom, r(a,b)).
+      fof(rbc, axiom, r(b,c)).
+      fof(goal, conjecture, r(a,c)).
+    `;
+        const p = (0, parser_1.parseTptp)(src);
+        (0, vitest_1.expect)(p.annotated).toHaveLength(4);
+        (0, vitest_1.expect)(p.annotated[3].role).toBe('conjecture');
+    });
+    (0, vitest_1.it)('parsea problema TPTP real — pelletier 1 (basic propositional)', () => {
+        const src = `fof(pel1, conjecture, (p => q) <=> (~q => ~p)).`;
+        const p = (0, parser_1.parseTptp)(src);
+        (0, vitest_1.expect)(p.annotated[0].formula.kind).toBe('iff');
+    });
+    (0, vitest_1.it)('parsea problema TPTP real — pelletier 17 (FOL with quantifiers)', () => {
+        const src = `
+      fof(pel17_ax1, axiom, p & (q | r)).
+      fof(pel17_goal, conjecture, (p & q) | (p & r)).
+    `;
+        const p = (0, parser_1.parseTptp)(src);
+        (0, vitest_1.expect)(p.annotated).toHaveLength(2);
+    });
+    (0, vitest_1.it)('parsea problema TPTP real — socrates es mortal', () => {
+        const src = `
+      fof(all_men_mortal, axiom, ![X] : (man(X) => mortal(X))).
+      fof(socrates_is_man, axiom, man(socrates)).
+      fof(socrates_mortal, conjecture, mortal(socrates)).
+    `;
+        const p = (0, parser_1.parseTptp)(src);
+        (0, vitest_1.expect)(p.annotated).toHaveLength(3);
+        (0, vitest_1.expect)(p.annotated[2].role).toBe('conjecture');
+    });
+    (0, vitest_1.it)('lanza error en formula mal formada', () => {
+        (0, vitest_1.expect)(() => (0, parser_1.parseFormula)('p &', 'fof')).toThrow();
+    });
+    (0, vitest_1.it)('lanza error en role desconocido', () => {
+        (0, vitest_1.expect)(() => (0, parser_1.parseTptp)('fof(a, frobnicate, p).')).toThrow(parser_1.TptpParserError);
+    });
+});
+//# sourceMappingURL=parser.test.js.map

package/dist/tests/tooling/tptp/parser.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.test.js","sourceRoot":"","sources":["../../../../src/tests/tooling/tptp/parser.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,sBAAsB;AACtB,+DAA+D;;AAE/D,mCAA8C;AAC9C,yDAAwF;AAGxF,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAG,IAAA,kBAAS,EAAC,8BAA8B,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,GAAG,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACzC,MAAM,IAAI,GAAG,GAAG,CAAC,OAAoD,CAAC;QACtE,IAAA,eAAM,EAAE,IAAI,CAAC,IAA8B,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjE,IAAA,eAAM,EAAE,IAAI,CAAC,KAA+B,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAAG,IAAA,qBAAY,EAAC,oBAAoB,EAAE,KAAK,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC9B,MAAM,CAAC,GAAG,CAA6C,CAAC;QACxD,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,IAAA,qBAAY,EAAC,cAAc,EAAE,KAAK,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,IAAA,qBAAY,EAAC,UAAU,EAAE,KAAK,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,MAAM,EAAE,GAAG,CAAyC,CAAC;QACrD,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,GAAG,IAAA,qBAAY,EAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAC,GAAG,IAAA,qBAAY,EAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,sEAAsE;QACtE,oEAAoE;QACpE,gEAAgE;QAChE,MAAM,CAAC,GAAG,IAAA,qBAAY,EAAC,WAAW,EAAE,KAAK,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,MAAM,GAAG,GAAG,CAAyC,CAAC;QACtD,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,CAAC,GAAG,IAAA,qBAAY,EAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,CAAC,GAAG,IAAA,qBAAY,EAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,IAAA,qBAAY,EAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC/B,oBAAoB;QACpB,MAAM,IAAI,GAAG,CAA8C,CAAC;QAC5D,IAAA,eAAM,EAAE,IAAI,CAAC,IAA8B,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjE,IAAA,eAAM,EAAE,IAAI,CAAC,KAA+B,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,IAAA,eAAM,EAAC,IAAA,qBAAY,EAAC,OAAO,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,IAAA,qBAAY,EAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,GAAG,GAAG;;;;KAIX,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,kBAAS,EAAC,GAAG,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,GAAG,IAAA,kBAAS,EAAC,+CAA+C,CAAC,CAAC;QACrE,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,IAAA,kBAAS,EAAC,iCAAiC,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,CAAC,GAAG,IAAA,kBAAS,EAAC,+BAA+B,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC1B,MAAM,GAAG,GAAG,CAAyC,CAAC;QACtD,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,IAAA,kBAAS,EAAC,uBAAuB,CAAC,CAAC;QAC7C,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,IAAA,kBAAS,EAAC,wBAAwB,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,yCAAyC;QACzC,MAAM,CAAC,GAAG,IAAA,kBAAS,EAAC,oCAAoC,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5C,MAAM,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC9B,MAAM,CAAC,GAAG,CAA6C,CAAC;QACxD,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,CAAC,GAAG,IAAA,kBAAS,EAAC,8CAA8C,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAG,IAAA,qBAAY,EAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC5B,MAAM,IAAI,GAAG,CAA2C,CAAC;QACzD,IAAA,eAAM,EAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,IAAA,qBAAY,EAAC,qBAAqB,EAAE,KAAK,CAAC,CAAC;QACrD,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC5B,MAAM,IAAI,GAAG,CAA2C,CAAC;QACzD,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAClC,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,GAAG,GAAG;;;;KAIX,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,kBAAS,EAAC,GAAG,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,GAAG,GAAG;;;;;KAKX,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,kBAAS,EAAC,GAAG,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,GAAG,GAAG,iDAAiD,CAAC;QAC9D,MAAM,CAAC,GAAG,IAAA,kBAAS,EAAC,GAAG,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,GAAG,GAAG;;;KAGX,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,kBAAS,EAAC,GAAG,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,GAAG,GAAG;;;;KAIX,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,kBAAS,EAAC,GAAG,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,qBAAY,EAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,kBAAS,EAAC,wBAAwB,CAAC,CAAC,CAAC,OAAO,CAAC,wBAAe,CAAC,CAAC;IAC7E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

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

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

@@ -0,0 +1,60 @@
+"use strict";
+// ============================================================
+// TPTP Tests — Tokenizer
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const tokenizer_1 = require("../../../tooling/tptp/tokenizer");
+(0, vitest_1.describe)('TPTP tokenizer — léxico básico', () => {
+    (0, vitest_1.it)('tokeniza paréntesis y corchetes', () => {
+        const toks = (0, tokenizer_1.tokenize)('([])');
+        (0, vitest_1.expect)(toks.map((t) => t.kind)).toEqual(['lparen', 'lbracket', 'rbracket', 'rparen']);
+    });
+    (0, vitest_1.it)('distingue lower_word y upper_word', () => {
+        const toks = (0, tokenizer_1.tokenize)('p X foo_bar Bar_baz');
+        (0, vitest_1.expect)(toks.map((t) => t.kind)).toEqual([
+            'lower_word',
+            'upper_word',
+            'lower_word',
+            'upper_word',
+        ]);
+    });
+    (0, vitest_1.it)('tokeniza operadores multi-char', () => {
+        const toks = (0, tokenizer_1.tokenize)('<=> => <= <~> != = ~ & | ! ?');
+        (0, vitest_1.expect)(toks.map((t) => t.kind)).toEqual([
+            'op_iff',
+            'op_implies',
+            'op_nimplies',
+            'op_xor',
+            'op_neq',
+            'op_eq',
+            'op_not',
+            'op_and',
+            'op_or',
+            'op_forall',
+            'op_exists',
+        ]);
+    });
+    (0, vitest_1.it)('ignora comentarios de línea %', () => {
+        const toks = (0, tokenizer_1.tokenize)('p % comentario\nq');
+        (0, vitest_1.expect)(toks.map((t) => t.value)).toEqual(['p', 'q']);
+    });
+    (0, vitest_1.it)('ignora comentarios de bloque /* */', () => {
+        const toks = (0, tokenizer_1.tokenize)('p /* multi\nlínea */ q');
+        (0, vitest_1.expect)(toks.map((t) => t.value)).toEqual(['p', 'q']);
+    });
+    (0, vitest_1.it)('lanza error en comentario de bloque sin cerrar', () => {
+        (0, vitest_1.expect)(() => (0, tokenizer_1.tokenize)('p /* sin fin')).toThrow(tokenizer_1.TptpTokenizerError);
+    });
+    (0, vitest_1.it)('tokeniza single_quoted', () => {
+        const toks = (0, tokenizer_1.tokenize)("include('tptp/SET001.ax')");
+        const quoted = toks.find((t) => t.kind === 'single_quoted');
+        (0, vitest_1.expect)(quoted?.value).toBe('tptp/SET001.ax');
+    });
+    (0, vitest_1.it)('tokeniza integers', () => {
+        const toks = (0, tokenizer_1.tokenize)('123 -45 0');
+        const integers = toks.filter((t) => t.kind === 'integer');
+        (0, vitest_1.expect)(integers.map((t) => t.value)).toEqual(['123', '-45', '0']);
+    });
+});
+//# sourceMappingURL=tokenizer.test.js.map

package/dist/tests/tooling/tptp/tokenizer.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tokenizer.test.js","sourceRoot":"","sources":["../../../../src/tests/tooling/tptp/tokenizer.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,yBAAyB;AACzB,+DAA+D;;AAE/D,mCAA8C;AAC9C,+DAA+E;AAE/E,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,IAAI,GAAG,IAAA,oBAAQ,EAAC,MAAM,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC,CAAC;IACxF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,IAAI,GAAG,IAAA,oBAAQ,EAAC,qBAAqB,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;YACtC,YAAY;YACZ,YAAY;YACZ,YAAY;YACZ,YAAY;SACb,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,IAAI,GAAG,IAAA,oBAAQ,EAAC,8BAA8B,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;YACtC,QAAQ;YACR,YAAY;YACZ,aAAa;YACb,QAAQ;YACR,QAAQ;YACR,OAAO;YACP,QAAQ;YACR,QAAQ;YACR,OAAO;YACP,WAAW;YACX,WAAW;SACZ,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,IAAI,GAAG,IAAA,oBAAQ,EAAC,mBAAmB,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,IAAI,GAAG,IAAA,oBAAQ,EAAC,wBAAwB,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,oBAAQ,EAAC,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,8BAAkB,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,IAAI,GAAG,IAAA,oBAAQ,EAAC,2BAA2B,CAAC,CAAC;QACnD,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,MAAM,EAAE,KAAK,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,IAAI,GAAG,IAAA,oBAAQ,EAAC,WAAW,CAAC,CAAC;QACnC,MAAM,QAAQ,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/type-theory/combinators-ski/combinators-ski.test.d.ts.map

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