@stevenvo780/st-lang 4.6.0 → 4.8.0

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

@@ -1,154 +0,0 @@
-"use strict";
-// ============================================================
-// TPTP Tests — Bridge a fol-prover
-// ============================================================
-Object.defineProperty(exports, "__esModule", { value: true });
-const vitest_1 = require("vitest");
-const parser_1 = require("../../tptp/parser");
-const bridge_1 = require("../../tptp/bridge");
-const fol_prover_1 = require("../../fol-prover");
-(0, vitest_1.describe)('TPTP bridge — tptpFormulaToFol', () => {
-    (0, vitest_1.it)('convierte atom proposicional', () => {
-        const f = (0, bridge_1.tptpFormulaToFol)({ kind: 'atom', predicate: 'p', args: [] });
-        (0, vitest_1.expect)(f).toEqual({ kind: 'atom', name: 'p' });
-    });
-    (0, vitest_1.it)('convierte predicate con args', () => {
-        const f = (0, bridge_1.tptpFormulaToFol)({
-            kind: 'atom',
-            predicate: 'p',
-            args: [{ kind: 'var', name: 'X' }],
-        });
-        (0, vitest_1.expect)(f.kind).toBe('predicate');
-        (0, vitest_1.expect)(f.name).toBe('p');
-        (0, vitest_1.expect)(f.params).toEqual(['X']);
-    });
-    (0, vitest_1.it)('convierte not / and / or / implies / iff', () => {
-        const t = (0, bridge_1.tptpFormulaToFol)({
-            kind: 'and',
-            args: [
-                { kind: 'atom', predicate: 'p', args: [] },
-                { kind: 'atom', predicate: 'q', args: [] },
-            ],
-        });
-        (0, vitest_1.expect)(t.kind).toBe('and');
-        (0, vitest_1.expect)(t.args).toHaveLength(2);
-    });
-    (0, vitest_1.it)('convierte xor a ~(p <=> q)', () => {
-        const t = (0, bridge_1.tptpFormulaToFol)({
-            kind: 'xor',
-            left: { kind: 'atom', predicate: 'p', args: [] },
-            right: { kind: 'atom', predicate: 'q', args: [] },
-        });
-        (0, vitest_1.expect)(t.kind).toBe('not');
-        (0, vitest_1.expect)(t.args[0].kind).toBe('biconditional');
-    });
-    (0, vitest_1.it)('convierte forall con múltiples vars en cuantificadores anidados', () => {
-        const t = (0, bridge_1.tptpFormulaToFol)({
-            kind: 'forall',
-            vars: ['X', 'Y'],
-            body: { kind: 'atom', predicate: 'p', args: [] },
-        });
-        (0, vitest_1.expect)(t.kind).toBe('forall');
-        (0, vitest_1.expect)(t.variable).toBe('X');
-        (0, vitest_1.expect)(t.args[0].kind).toBe('forall');
-        (0, vitest_1.expect)(t.args[0].variable).toBe('Y');
-    });
-    (0, vitest_1.it)('convierte eq a equals', () => {
-        const t = (0, bridge_1.tptpFormulaToFol)({
-            kind: 'eq',
-            left: { kind: 'const', name: 'a' },
-            right: { kind: 'const', name: 'b' },
-        });
-        (0, vitest_1.expect)(t.kind).toBe('equals');
-        (0, vitest_1.expect)(t.args).toHaveLength(2);
-    });
-    (0, vitest_1.it)('convierte neq a not(equals)', () => {
-        const t = (0, bridge_1.tptpFormulaToFol)({
-            kind: 'neq',
-            left: { kind: 'const', name: 'a' },
-            right: { kind: 'const', name: 'b' },
-        });
-        (0, vitest_1.expect)(t.kind).toBe('not');
-        (0, vitest_1.expect)(t.args[0].kind).toBe('equals');
-    });
-    (0, vitest_1.it)('convierte $true / $false', () => {
-        (0, vitest_1.expect)((0, bridge_1.tptpFormulaToFol)({ kind: 'true' }).kind).toBe('true');
-        (0, vitest_1.expect)((0, bridge_1.tptpFormulaToFol)({ kind: 'false' }).kind).toBe('false');
-    });
-});
-(0, vitest_1.describe)('TPTP bridge — toFolProverFormat', () => {
-    (0, vitest_1.it)('separa axiomas y conjecture', () => {
-        const p = (0, parser_1.parseTptp)(`
-      fof(a1, axiom, ![X] : (p(X) => q(X))).
-      fof(a2, axiom, p(a)).
-      fof(g, conjecture, q(a)).
-    `);
-        const out = (0, bridge_1.toFolProverFormat)(p);
-        (0, vitest_1.expect)(out.axioms).toHaveLength(2);
-        (0, vitest_1.expect)(out.conjecture).not.toBeNull();
-        (0, vitest_1.expect)(out.negatedConjectures).toHaveLength(0);
-    });
-    (0, vitest_1.it)('mete negated_conjecture en su array', () => {
-        const p = (0, parser_1.parseTptp)('fof(g, negated_conjecture, ~p(a)).');
-        const out = (0, bridge_1.toFolProverFormat)(p);
-        (0, vitest_1.expect)(out.negatedConjectures).toHaveLength(1);
-        (0, vitest_1.expect)(out.conjecture).toBeNull();
-    });
-    (0, vitest_1.it)('separa hypotheses / lemmas / theorems / definitions / plain', () => {
-        const p = (0, parser_1.parseTptp)(`
-      fof(h1, hypothesis, p).
-      fof(l1, lemma, q).
-      fof(t1, theorem, r).
-      fof(d1, definition, s).
-      fof(p1, plain, t).
-    `);
-        const out = (0, bridge_1.toFolProverFormat)(p);
-        (0, vitest_1.expect)(out.hypotheses).toHaveLength(5);
-        (0, vitest_1.expect)(out.axioms).toHaveLength(0);
-        (0, vitest_1.expect)(out.conjecture).toBeNull();
-    });
-    (0, vitest_1.it)('si hay múltiples conjectures, conserva la primera', () => {
-        const p = (0, parser_1.parseTptp)(`
-      fof(g1, conjecture, p).
-      fof(g2, conjecture, q).
-    `);
-        const out = (0, bridge_1.toFolProverFormat)(p);
-        (0, vitest_1.expect)(out.conjecture).not.toBeNull();
-        (0, vitest_1.expect)(out.hypotheses).toHaveLength(1);
-    });
-});
-(0, vitest_1.describe)('TPTP bridge — integración con proveFOL', () => {
-    (0, vitest_1.it)('demuestra modus ponens via TPTP → fol-prover', () => {
-        const p = (0, parser_1.parseTptp)(`
-      fof(a1, axiom, ![X] : (p(X) => q(X))).
-      fof(a2, axiom, p(a)).
-      fof(g, conjecture, q(a)).
-    `);
-        const out = (0, bridge_1.toFolProverFormat)(p);
-        (0, vitest_1.expect)(out.conjecture).not.toBeNull();
-        const result = (0, fol_prover_1.proveFOL)(out.axioms, out.conjecture, { timeoutMs: 2000, maxSteps: 200 });
-        (0, vitest_1.expect)(result.proven).toBe(true);
-    });
-    (0, vitest_1.it)('demuestra transitividad via TPTP → fol-prover', () => {
-        const p = (0, parser_1.parseTptp)(`
-      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 out = (0, bridge_1.toFolProverFormat)(p);
-        const result = (0, fol_prover_1.proveFOL)(out.axioms, out.conjecture, { timeoutMs: 3000, maxSteps: 500 });
-        (0, vitest_1.expect)(result.proven).toBe(true);
-    });
-    (0, vitest_1.it)('socrates es mortal — TPTP → fol-prover', () => {
-        const p = (0, parser_1.parseTptp)(`
-      fof(all_men_mortal, axiom, ![X] : (man(X) => mortal(X))).
-      fof(socrates_is_man, axiom, man(socrates)).
-      fof(socrates_mortal, conjecture, mortal(socrates)).
-    `);
-        const out = (0, bridge_1.toFolProverFormat)(p);
-        const result = (0, fol_prover_1.proveFOL)(out.axioms, out.conjecture, { timeoutMs: 2000, maxSteps: 200 });
-        (0, vitest_1.expect)(result.proven).toBe(true);
-    });
-});
-//# sourceMappingURL=bridge.test.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"bridge.test.js","sourceRoot":"","sources":["../../../src/tests/tptp/bridge.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,mCAAmC;AACnC,+DAA+D;;AAE/D,mCAA8C;AAC9C,8CAA8C;AAC9C,8CAAwE;AACxE,iDAA4C;AAE5C,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/tptp/emitter.test.d.ts.map

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

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

@@ -1,128 +0,0 @@
-"use strict";
-// ============================================================
-// TPTP Tests — Emitter + Round-trip
-// ============================================================
-Object.defineProperty(exports, "__esModule", { value: true });
-const vitest_1 = require("vitest");
-const emitter_1 = require("../../tptp/emitter");
-const parser_1 = require("../../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/tptp/emitter.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"emitter.test.js","sourceRoot":"","sources":["../../../src/tests/tptp/emitter.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,oCAAoC;AACpC,+DAA+D;;AAE/D,mCAA8C;AAC9C,gDAA2D;AAC3D,8CAA4D;AAE5D,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/tptp/parser.test.d.ts.map

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

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

@@ -1,192 +0,0 @@
-"use strict";
-// ============================================================
-// TPTP Tests — Parser
-// ============================================================
-Object.defineProperty(exports, "__esModule", { value: true });
-const vitest_1 = require("vitest");
-const parser_1 = require("../../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/tptp/parser.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"parser.test.js","sourceRoot":"","sources":["../../../src/tests/tptp/parser.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,sBAAsB;AACtB,+DAA+D;;AAE/D,mCAA8C;AAC9C,8CAA6E;AAG7E,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/tptp/tokenizer.test.d.ts.map

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

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

@@ -1,60 +0,0 @@
-"use strict";
-// ============================================================
-// TPTP Tests — Tokenizer
-// ============================================================
-Object.defineProperty(exports, "__esModule", { value: true });
-const vitest_1 = require("vitest");
-const tokenizer_1 = require("../../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/tptp/tokenizer.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"tokenizer.test.js","sourceRoot":"","sources":["../../../src/tests/tptp/tokenizer.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,yBAAyB;AACzB,+DAA+D;;AAE/D,mCAA8C;AAC9C,oDAAoE;AAEpE,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/text-layer/compiler.d.ts

@@ -1,18 +0,0 @@
-/**
- * ST Text Layer — Compilador texto -> formula/claim
- */
-import { Anchor, Formula, Theory, Diagnostic, TextLayerState, DefinitionEntry, SourceInfo, InterpretationEntry } from '../types';
-export type { TextLayerState };
-export declare function createTextLayerState(): TextLayerState;
-export declare function parseAnchorPath(raw: string): Anchor;
-export declare function registerPassage(state: TextLayerState, name: string, anchorPath: string): Diagnostic[];
-export declare function registerFormalization(state: TextLayerState, name: string, passageName: string, formula: Formula): Diagnostic[];
-export declare function registerClaim(state: TextLayerState, name: string, formula?: Formula, formalizationRef?: string): Diagnostic[];
-export declare function registerSupport(state: TextLayerState, claimName: string, sourceName: string): Diagnostic[];
-export declare function registerConfidence(state: TextLayerState, claimName: string, value: number): Diagnostic[];
-export declare function registerContext(state: TextLayerState, claimName: string, text: string): Diagnostic[];
-export declare function compileClaimsToTheory(state: TextLayerState, theory: Theory): Diagnostic[];
-export declare function registerDefinition(state: TextLayerState, entry: DefinitionEntry): Diagnostic[];
-export declare function registerSource(state: TextLayerState, source: SourceInfo): Diagnostic[];
-export declare function registerInterpretation(state: TextLayerState, key: string, entry: InterpretationEntry): Diagnostic[];
-//# sourceMappingURL=compiler.d.ts.map

package/dist/text-layer/compiler.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"compiler.d.ts","sourceRoot":"","sources":["../../src/text-layer/compiler.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EACL,MAAM,EACN,OAAO,EACP,MAAM,EACN,UAAU,EACV,cAAc,EACd,eAAe,EACf,UAAU,EACV,mBAAmB,EACpB,MAAM,UAAU,CAAC;AAElB,YAAY,EAAE,cAAc,EAAE,CAAC;AAE/B,wBAAgB,oBAAoB,IAAI,cAAc,CAYrD;AAQD,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAiCnD;AAGD,wBAAgB,eAAe,CAC7B,KAAK,EAAE,cAAc,EACrB,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,MAAM,GACjB,UAAU,EAAE,CAUd;AAGD,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,cAAc,EACrB,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,MAAM,EACnB,OAAO,EAAE,OAAO,GACf,UAAU,EAAE,CAYd;AAGD,wBAAgB,aAAa,CAC3B,KAAK,EAAE,cAAc,EACrB,IAAI,EAAE,MAAM,EACZ,OAAO,CAAC,EAAE,OAAO,EACjB,gBAAgB,CAAC,EAAE,MAAM,GACxB,UAAU,EAAE,CAgBd;AAGD,wBAAgB,eAAe,CAC7B,KAAK,EAAE,cAAc,EACrB,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,GACjB,UAAU,EAAE,CAmBd;AAGD,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,cAAc,EACrB,SAAS,EAAE,MAAM,EACjB,KAAK,EAAE,MAAM,GACZ,UAAU,EAAE,CAyBd;AAGD,wBAAgB,eAAe,CAC7B,KAAK,EAAE,cAAc,EACrB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE,MAAM,GACX,UAAU,EAAE,CAkBd;AAGD,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,EAAE,CAqBzF;AAGD,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,cAAc,EAAE,KAAK,EAAE,eAAe,GAAG,UAAU,EAAE,CAU9F;AAGD,wBAAgB,cAAc,CAAC,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,UAAU,GAAG,UAAU,EAAE,CAUtF;AAGD,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,cAAc,EACrB,GAAG,EAAE,MAAM,EACX,KAAK,EAAE,mBAAmB,GACzB,UAAU,EAAE,CAGd"}

package/dist/text-layer/compiler.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"compiler.js","sourceRoot":"","sources":["../../src/text-layer/compiler.ts"],"names":[],"mappings":";AAAA;;GAEG;;AAeH,oDAYC;AAQD,0CAiCC;AAGD,0CAcC;AAGD,sDAiBC;AAGD,sCAqBC;AAGD,0CAuBC;AAGD,gDA6BC;AAGD,0CAsBC;AAGD,sDAqBC;AAGD,gDAUC;AAGD,wCAUC;AAGD,wDAOC;AAjQD,SAAgB,oBAAoB;IAClC,OAAO;QACL,QAAQ,EAAE,IAAI,GAAG,EAAE;QACnB,cAAc,EAAE,IAAI,GAAG,EAAE;QACzB,MAAM,EAAE,IAAI,GAAG,EAAE;QACjB,QAAQ,EAAE,EAAE;QACZ,WAAW,EAAE,EAAE;QACf,QAAQ,EAAE,EAAE;QACZ,WAAW,EAAE,IAAI,GAAG,EAAE;QACtB,OAAO,EAAE,IAAI,GAAG,EAAE;QAClB,eAAe,EAAE,IAAI,GAAG,EAAE;KAC3B,CAAC;AACJ,CAAC;AAED,MAAM,iBAAiB,GAAG,oCAAoC,CAAC;AAC/D,MAAM,mBAAmB,GAAG,kCAAkC,CAAC;AAC/D,MAAM,eAAe,GAAG,iBAAiB,CAAC;AAC1C,MAAM,eAAe,GAAG,+BAA+B,CAAC;AAExD,sDAAsD;AACtD,SAAgB,eAAe,CAAC,GAAW;IACzC,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IAC7D,CAAC;IAED,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IAC3B,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;IACnE,CAAC;IAED,MAAM,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC;IAC1C,IAAI,SAAS,KAAK,QAAQ,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CAAC,qBAAqB,GAAG,qCAAqC,CAAC,CAAC;IACjF,CAAC;IAED,MAAM,IAAI,GAAG,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7E,MAAM,QAAQ,GAAG,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,SAAS,CAAC;IAE1F,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,MAAM,IAAI,KAAK,CAAC,qBAAqB,GAAG,sCAAsC,CAAC,CAAC;IAClF,CAAC;IAED,IAAI,IAAI,GAAmB,OAAO,CAAC;IACnC,IAAI,QAAQ,EAAE,CAAC;QACb,IAAI,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC;YAAE,IAAI,GAAG,SAAS,CAAC;aAClD,IAAI,mBAAmB,CAAC,IAAI,CAAC,QAAQ,CAAC;YAAE,IAAI,GAAG,WAAW,CAAC;aAC3D,IAAI,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC;YAAE,IAAI,GAAG,OAAO,CAAC;aACnD,IAAI,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC;YAAE,IAAI,GAAG,OAAO,CAAC;;YACnD,MAAM,IAAI,KAAK,CAAC,+BAA+B,QAAQ,iBAAiB,CAAC,CAAC;IACjF,CAAC;IAED,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;AAClC,CAAC;AAED,uBAAuB;AACvB,SAAgB,eAAe,CAC7B,KAAqB,EACrB,IAAY,EACZ,UAAkB;IAElB,IAAI,MAAc,CAAC;IACnB,IAAI,CAAC;QACH,MAAM,GAAG,eAAe,CAAC,UAAU,CAAC,CAAC;IACvC,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,iBAAiB,CAAC;QAC3E,OAAO,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;IAC1C,CAAC;IACD,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IAC3C,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,8BAA8B;AAC9B,SAAgB,qBAAqB,CACnC,KAAqB,EACrB,IAAY,EACZ,WAAmB,EACnB,OAAgB;IAEhB,MAAM,KAAK,GAAiB,EAAE,CAAC;IAE/B,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;QACrC,KAAK,CAAC,IAAI,CAAC;YACT,QAAQ,EAAE,SAAS;YACnB,OAAO,EAAE,YAAY,WAAW,kCAAkC,IAAI,GAAG;SAC1E,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,CAAC;IACxE,OAAO,KAAK,CAAC;AACf,CAAC;AAED,qBAAqB;AACrB,SAAgB,aAAa,CAC3B,KAAqB,EACrB,IAAY,EACZ,OAAiB,EACjB,gBAAyB;IAEzB,MAAM,KAAK,GAAiB,EAAE,CAAC;IAE/B,IACE,gBAAgB;QAChB,CAAC,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,gBAAgB,CAAC;QAC3C,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,gBAAgB,CAAC,EACrC,CAAC;QACD,KAAK,CAAC,IAAI,CAAC;YACT,QAAQ,EAAE,SAAS;YACnB,OAAO,EAAE,eAAe,gBAAgB,+BAA+B,IAAI,GAAG;SAC/E,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,CAAC,CAAC;IAC3E,OAAO,KAAK,CAAC;AACf,CAAC;AAED,oBAAoB;AACpB,SAAgB,eAAe,CAC7B,KAAqB,EACrB,SAAiB,EACjB,UAAkB;IAElB,MAAM,KAAK,GAAiB,EAAE,CAAC;IAE/B,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC;YACT,QAAQ,EAAE,SAAS;YACnB,OAAO,EAAE,UAAU,SAAS,wCAAwC;SACrE,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC,CAAC;IAE/C,6BAA6B;IAC7B,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC1C,IAAI,KAAK,EAAE,CAAC;QACV,KAAK,CAAC,OAAO,GAAG,UAAU,CAAC;IAC7B,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,sBAAsB;AACtB,SAAgB,kBAAkB,CAChC,KAAqB,EACrB,SAAiB,EACjB,KAAa;IAEb,MAAM,KAAK,GAAiB,EAAE,CAAC;IAE/B,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QAC3B,KAAK,CAAC,IAAI,CAAC;YACT,QAAQ,EAAE,OAAO;YACjB,OAAO,EAAE,gDAAgD,KAAK,EAAE;SACjE,CAAC,CAAC;IACL,CAAC;IAED,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC;YACT,QAAQ,EAAE,SAAS;YACnB,OAAO,EAAE,UAAU,SAAS,0CAA0C;SACvE,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC;IAE7C,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC1C,IAAI,KAAK,EAAE,CAAC;QACV,KAAK,CAAC,UAAU,GAAG,KAAK,CAAC;IAC3B,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,qBAAqB;AACrB,SAAgB,eAAe,CAC7B,KAAqB,EACrB,SAAiB,EACjB,IAAY;IAEZ,MAAM,KAAK,GAAiB,EAAE,CAAC;IAE/B,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC;YACT,QAAQ,EAAE,SAAS;YACnB,OAAO,EAAE,UAAU,SAAS,yCAAyC;SACtE,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAEzC,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC1C,IAAI,KAAK,EAAE,CAAC;QACV,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC;IACvB,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,8BAA8B;AAC9B,SAAgB,qBAAqB,CAAC,KAAqB,EAAE,MAAc;IACzE,MAAM,KAAK,GAAiB,EAAE,CAAC;IAE/B,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACzC,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAClB,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACjC,CAAC;aAAM,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;YAC/B,MAAM,EAAE,GAAG,KAAK,CAAC,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;YACzD,IAAI,EAAE,EAAE,CAAC;gBACP,KAAK,CAAC,OAAO,GAAG,EAAE,CAAC,OAAO,CAAC;gBAC3B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACjC,CAAC;iBAAM,CAAC;gBACN,KAAK,CAAC,IAAI,CAAC;oBACT,QAAQ,EAAE,OAAO;oBACjB,OAAO,EAAE,UAAU,IAAI,8BAA8B,KAAK,CAAC,aAAa,iBAAiB;iBAC1F,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,2CAA2C;AAC3C,SAAgB,kBAAkB,CAAC,KAAqB,EAAE,KAAsB;IAC9E,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,IAAI,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC;YACT,QAAQ,EAAE,SAAS;YACnB,OAAO,EAAE,eAAe,KAAK,CAAC,IAAI,cAAc;SACjD,CAAC,CAAC;IACL,CAAC;IACD,KAAK,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACzC,OAAO,KAAK,CAAC;AACf,CAAC;AAED,8CAA8C;AAC9C,SAAgB,cAAc,CAAC,KAAqB,EAAE,MAAkB;IACtE,MAAM,KAAK,GAAiB,EAAE,CAAC;IAC/B,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC;YACT,QAAQ,EAAE,SAAS;YACnB,OAAO,EAAE,WAAW,MAAM,CAAC,EAAE,cAAc;SAC5C,CAAC,CAAC;IACL,CAAC;IACD,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;IACrC,OAAO,KAAK,CAAC;AACf,CAAC;AAED,yCAAyC;AACzC,SAAgB,sBAAsB,CACpC,KAAqB,EACrB,GAAW,EACX,KAA0B;IAE1B,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACtC,OAAO,EAAE,CAAC;AACZ,CAAC"}