@stevenvo780/st-lang 3.2.3 → 4.0.0

package/dist/tests/smt/serializer.test.js

@@ -0,0 +1,94 @@
+"use strict";
+// ============================================================
+// ST SMT Tests — toSMTLIB serializer
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const serializer_1 = require("../../runtime/smt/serializer");
+function atom(name) {
+    return { kind: 'atom', name };
+}
+function and(...args) {
+    return { kind: 'and', args };
+}
+function or(...args) {
+    return { kind: 'or', args };
+}
+function not(f) {
+    return { kind: 'not', args: [f] };
+}
+function implies(a, b) {
+    return { kind: 'implies', args: [a, b] };
+}
+function num(v) {
+    return { kind: 'number', value: v };
+}
+function greater(a, b) {
+    return { kind: 'greater', args: [a, b] };
+}
+function less(a, b) {
+    return { kind: 'less', args: [a, b] };
+}
+(0, vitest_1.describe)('toSMTLIB — booleanos', () => {
+    (0, vitest_1.it)('serializa P ∧ ¬P como (and P (not P))', () => {
+        const f = and(atom('P'), not(atom('P')));
+        const out = (0, serializer_1.toSMTLIB)(f);
+        (0, vitest_1.expect)(out).toContain('(and P (not P))');
+    });
+    (0, vitest_1.it)('declara átomos como Bool en modo full', () => {
+        const f = and(atom('P'), not(atom('P')));
+        const out = (0, serializer_1.toSMTLIB)(f, { full: true });
+        (0, vitest_1.expect)(out).toContain('(declare-const P Bool)');
+        (0, vitest_1.expect)(out).toContain('(assert (and P (not P)))');
+        (0, vitest_1.expect)(out).toContain('(check-sat)');
+    });
+    (0, vitest_1.it)('serializa implicación', () => {
+        const f = implies(atom('P'), atom('Q'));
+        (0, vitest_1.expect)((0, serializer_1.toSMTLIB)(f)).toBe('(=> P Q)');
+    });
+    (0, vitest_1.it)('serializa true/false', () => {
+        (0, vitest_1.expect)((0, serializer_1.toSMTLIB)({ kind: 'true' })).toBe('true');
+        (0, vitest_1.expect)((0, serializer_1.toSMTLIB)({ kind: 'false' })).toBe('false');
+    });
+    (0, vitest_1.it)('serializa or n-ario', () => {
+        const f = or(atom('A'), atom('B'), atom('C'));
+        (0, vitest_1.expect)((0, serializer_1.toSMTLIB)(f)).toBe('(or A B C)');
+    });
+});
+(0, vitest_1.describe)('toSMTLIB — aritmética', () => {
+    (0, vitest_1.it)('serializa x > 5 con sort Real', () => {
+        const f = greater(atom('x'), num(5));
+        const out = (0, serializer_1.toSMTLIB)(f, { logic: 'QF_LRA', full: true });
+        (0, vitest_1.expect)(out).toContain('(declare-const x Real)');
+        (0, vitest_1.expect)(out).toContain('(assert (> x 5.0))');
+    });
+    (0, vitest_1.it)('serializa x > 5 ∧ x < 3 (LIA)', () => {
+        const f = and(greater(atom('x'), num(5)), less(atom('x'), num(3)));
+        const out = (0, serializer_1.toSMTLIB)(f, { logic: 'QF_LIA', full: true });
+        (0, vitest_1.expect)(out).toContain('(declare-const x Int)');
+        (0, vitest_1.expect)(out).toContain('(and (> x 5) (< x 3))');
+    });
+    (0, vitest_1.it)('infiere QF_LRA cuando hay aritmética y no se pasa logic explícito', () => {
+        const f = greater(atom('x'), num(0));
+        const out = (0, serializer_1.toSMTLIB)(f, { full: true });
+        (0, vitest_1.expect)(out).toContain('(set-logic QF_LRA)');
+    });
+});
+(0, vitest_1.describe)('inferDeclarations', () => {
+    (0, vitest_1.it)('declara P, Q como Bool', () => {
+        const decls = (0, serializer_1.inferDeclarations)(and(atom('P'), atom('Q')));
+        (0, vitest_1.expect)(decls).toHaveLength(2);
+        (0, vitest_1.expect)(decls.every((d) => d.sort === 'Bool')).toBe(true);
+    });
+    (0, vitest_1.it)('declara x como Real bajo QF_LRA', () => {
+        const decls = (0, serializer_1.inferDeclarations)(greater(atom('x'), num(5)), 'QF_LRA');
+        const xDecl = decls.find((d) => d.name === 'x');
+        (0, vitest_1.expect)(xDecl?.sort).toBe('Real');
+    });
+    (0, vitest_1.it)('declara x como Int bajo QF_LIA', () => {
+        const decls = (0, serializer_1.inferDeclarations)(greater(atom('x'), num(5)), 'QF_LIA');
+        const xDecl = decls.find((d) => d.name === 'x');
+        (0, vitest_1.expect)(xDecl?.sort).toBe('Int');
+    });
+});
+//# sourceMappingURL=serializer.test.js.map

package/dist/tests/smt/serializer.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"serializer.test.js","sourceRoot":"","sources":["../../../src/tests/smt/serializer.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,qCAAqC;AACrC,+DAA+D;;AAE/D,mCAA8C;AAC9C,6DAA2E;AAG3E,SAAS,IAAI,CAAC,IAAY;IACxB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAChC,CAAC;AACD,SAAS,GAAG,CAAC,GAAG,IAAe;IAC7B,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AAC/B,CAAC;AACD,SAAS,EAAE,CAAC,GAAG,IAAe;IAC5B,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;AAC9B,CAAC;AACD,SAAS,GAAG,CAAC,CAAU;IACrB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;AACpC,CAAC;AACD,SAAS,OAAO,CAAC,CAAU,EAAE,CAAU;IACrC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AAC3C,CAAC;AACD,SAAS,GAAG,CAAC,CAAS;IACpB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;AACtC,CAAC;AACD,SAAS,OAAO,CAAC,CAAU,EAAE,CAAU;IACrC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AAC3C,CAAC;AACD,SAAS,IAAI,CAAC,CAAU,EAAE,CAAU;IAClC,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AACxC,CAAC;AAED,IAAA,iBAAQ,EAAC,sBAAsB,EAAE,GAAG,EAAE;IACpC,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,GAAG,GAAG,IAAA,qBAAQ,EAAC,CAAC,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,GAAG,GAAG,IAAA,qBAAQ,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,wBAAwB,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,0BAA0B,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,IAAA,qBAAQ,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,IAAA,eAAM,EAAC,IAAA,qBAAQ,EAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,IAAA,qBAAQ,EAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,IAAA,qBAAQ,EAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,GAAG,GAAG,IAAA,qBAAQ,EAAC,CAAC,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,wBAAwB,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnE,MAAM,GAAG,GAAG,IAAA,qBAAQ,EAAC,CAAC,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,uBAAuB,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,uBAAuB,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACrC,MAAM,GAAG,GAAG,IAAA,qBAAQ,EAAC,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,GAAG,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,KAAK,GAAG,IAAA,8BAAiB,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC9B,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,KAAK,GAAG,IAAA,8BAAiB,EAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;QACtE,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,KAAK,GAAG,IAAA,8BAAiB,EAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;QACtE,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,KAAK,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/smt/subprocess-backend.test.d.ts

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

package/dist/tests/smt/subprocess-backend.test.d.ts.map

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

package/dist/tests/smt/subprocess-backend.test.js

@@ -0,0 +1,89 @@
+"use strict";
+// ============================================================
+// ST SMT Tests — SubprocessSMTBackend y detectAvailableSMT
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const subprocess_backend_1 = require("../../runtime/smt/subprocess-backend");
+(0, vitest_1.afterEach)(() => {
+    vitest_1.vi.restoreAllMocks();
+});
+(0, vitest_1.describe)('detectAvailableSMT — fake PATH', () => {
+    (0, vitest_1.it)('devuelve "none" cuando no hay binarios', () => {
+        const which = vitest_1.vi.fn(() => undefined);
+        const result = (0, subprocess_backend_1.detectAvailableSMTDetailed)(which);
+        (0, vitest_1.expect)(result.solver).toBe('none');
+        (0, vitest_1.expect)(result.binaryPath).toBeUndefined();
+    });
+    (0, vitest_1.it)('prefiere z3 cuando ambos existen', () => {
+        const which = vitest_1.vi.fn((bin) => bin === 'z3' ? '/usr/bin/z3' : bin === 'cvc5' ? '/usr/bin/cvc5' : undefined);
+        const result = (0, subprocess_backend_1.detectAvailableSMTDetailed)(which);
+        (0, vitest_1.expect)(result.solver).toBe('z3');
+        (0, vitest_1.expect)(result.binaryPath).toBe('/usr/bin/z3');
+    });
+    (0, vitest_1.it)('detecta cvc5 si z3 está ausente', () => {
+        const which = vitest_1.vi.fn((bin) => (bin === 'cvc5' ? '/usr/local/bin/cvc5' : undefined));
+        const result = (0, subprocess_backend_1.detectAvailableSMTDetailed)(which);
+        (0, vitest_1.expect)(result.solver).toBe('cvc5');
+    });
+    (0, vitest_1.it)('detectAvailableSMT async no lanza si no hay solver', async () => {
+        await (0, vitest_1.expect)((0, subprocess_backend_1.detectAvailableSMT)()).resolves.toMatch(/z3|cvc5|none/);
+    });
+});
+(0, vitest_1.describe)('SubprocessSMTBackend — sin solver disponible', () => {
+    (0, vitest_1.it)('checkSat devuelve "unknown" sin throw', () => {
+        const warnSpy = vitest_1.vi.spyOn(console, 'warn').mockImplementation(() => undefined);
+        const which = vitest_1.vi.fn(() => undefined);
+        const backend = new subprocess_backend_1.SubprocessSMTBackend({ which, warnOnUnavailable: true });
+        (0, vitest_1.expect)(backend.isAvailable()).toBe(false);
+        (0, vitest_1.expect)(backend.name).toBe('subprocess:noop');
+        backend.declareConst('P', 'Bool');
+        backend.assertFormula('P');
+        (0, vitest_1.expect)(backend.checkSat()).toBe('unknown');
+        (0, vitest_1.expect)(backend.getModel()).toBeUndefined();
+        (0, vitest_1.expect)(backend.getUnsatCore()).toEqual([]);
+        (0, vitest_1.expect)(warnSpy).toHaveBeenCalledOnce();
+    });
+    (0, vitest_1.it)('opciones push/pop/reset funcionan en modo no-op', () => {
+        const which = vitest_1.vi.fn(() => undefined);
+        const backend = new subprocess_backend_1.SubprocessSMTBackend({ which, warnOnUnavailable: false });
+        backend.push();
+        backend.declareConst('Q', 'Bool');
+        backend.assertFormula('Q');
+        backend.pop();
+        backend.reset();
+        (0, vitest_1.expect)(backend.checkSat()).toBe('unknown');
+    });
+    (0, vitest_1.it)('no avisa más de una vez aunque se llame checkSat múltiples veces', () => {
+        const warnSpy = vitest_1.vi.spyOn(console, 'warn').mockImplementation(() => undefined);
+        const which = vitest_1.vi.fn(() => undefined);
+        const backend = new subprocess_backend_1.SubprocessSMTBackend({ which, warnOnUnavailable: true });
+        backend.checkSat();
+        backend.checkSat();
+        backend.checkSat();
+        (0, vitest_1.expect)(warnSpy).toHaveBeenCalledTimes(1);
+    });
+    (0, vitest_1.it)('no avisa si warnOnUnavailable es false', () => {
+        const warnSpy = vitest_1.vi.spyOn(console, 'warn').mockImplementation(() => undefined);
+        const which = vitest_1.vi.fn(() => undefined);
+        const backend = new subprocess_backend_1.SubprocessSMTBackend({ which, warnOnUnavailable: false });
+        backend.checkSat();
+        (0, vitest_1.expect)(warnSpy).not.toHaveBeenCalled();
+    });
+});
+(0, vitest_1.describe)('SubprocessSMTBackend — solver simulado disponible', () => {
+    (0, vitest_1.it)('reporta name "subprocess:z3" cuando se prefiere z3 y existe', () => {
+        // Nota: aunque marcamos available, no ejecutamos el solver real en este test.
+        // El path apunta a un binario que probablemente no existe, así que checkSat
+        // devolverá 'unknown' (runSolver fallará silenciosamente).
+        const which = vitest_1.vi.fn((bin) => (bin === 'z3' ? '/nonexistent/z3' : undefined));
+        const backend = new subprocess_backend_1.SubprocessSMTBackend({ which, prefer: 'z3', warnOnUnavailable: false });
+        (0, vitest_1.expect)(backend.name).toBe('subprocess:z3');
+        (0, vitest_1.expect)(backend.isAvailable()).toBe(true);
+        backend.declareConst('P', 'Bool');
+        backend.assertFormula('P');
+        // El binario no existe → spawnSync devuelve error → checkSat → 'unknown'.
+        (0, vitest_1.expect)(backend.checkSat()).toBe('unknown');
+    });
+});
+//# sourceMappingURL=subprocess-backend.test.js.map

package/dist/tests/smt/subprocess-backend.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"subprocess-backend.test.js","sourceRoot":"","sources":["../../../src/tests/smt/subprocess-backend.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,2DAA2D;AAC3D,+DAA+D;;AAE/D,mCAA6D;AAC7D,6EAI8C;AAE9C,IAAA,kBAAS,EAAC,GAAG,EAAE;IACb,WAAE,CAAC,eAAe,EAAE,CAAC;AACvB,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,KAAK,GAAG,WAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,IAAA,+CAA0B,EAAC,KAAK,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,MAAM,CAAC,UAAU,CAAC,CAAC,aAAa,EAAE,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,KAAK,GAAG,WAAE,CAAC,EAAE,CAAC,CAAC,GAAW,EAAE,EAAE,CAClC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS,CAC5E,CAAC;QACF,MAAM,MAAM,GAAG,IAAA,+CAA0B,EAAC,KAAK,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,KAAK,GAAG,WAAE,CAAC,EAAE,CAAC,CAAC,GAAW,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;QAC3F,MAAM,MAAM,GAAG,IAAA,+CAA0B,EAAC,KAAK,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,KAAK,IAAI,EAAE;QAClE,MAAM,IAAA,eAAM,EAAC,IAAA,uCAAkB,GAAE,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,8CAA8C,EAAE,GAAG,EAAE;IAC5D,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,OAAO,GAAG,WAAE,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,kBAAkB,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QAC9E,MAAM,KAAK,GAAG,WAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QACrC,MAAM,OAAO,GAAG,IAAI,yCAAoB,CAAC,EAAE,KAAK,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,CAAC;QAE7E,IAAA,eAAM,EAAC,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAE7C,OAAO,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAClC,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,aAAa,EAAE,CAAC;QAC3C,IAAA,eAAM,EAAC,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,oBAAoB,EAAE,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,KAAK,GAAG,WAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QACrC,MAAM,OAAO,GAAG,IAAI,yCAAoB,CAAC,EAAE,KAAK,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC,CAAC;QAC9E,OAAO,CAAC,IAAI,EAAE,CAAC;QACf,OAAO,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAClC,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;QAC3B,OAAO,CAAC,GAAG,EAAE,CAAC;QACd,OAAO,CAAC,KAAK,EAAE,CAAC;QAChB,IAAA,eAAM,EAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,OAAO,GAAG,WAAE,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,kBAAkB,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QAC9E,MAAM,KAAK,GAAG,WAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QACrC,MAAM,OAAO,GAAG,IAAI,yCAAoB,CAAC,EAAE,KAAK,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7E,OAAO,CAAC,QAAQ,EAAE,CAAC;QACnB,OAAO,CAAC,QAAQ,EAAE,CAAC;QACnB,OAAO,CAAC,QAAQ,EAAE,CAAC;QACnB,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,OAAO,GAAG,WAAE,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,kBAAkB,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QAC9E,MAAM,KAAK,GAAG,WAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QACrC,MAAM,OAAO,GAAG,IAAI,yCAAoB,CAAC,EAAE,KAAK,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC,CAAC;QAC9E,OAAO,CAAC,QAAQ,EAAE,CAAC;QACnB,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,GAAG,CAAC,gBAAgB,EAAE,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,mDAAmD,EAAE,GAAG,EAAE;IACjE,IAAA,WAAE,EAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,8EAA8E;QAC9E,4EAA4E;QAC5E,2DAA2D;QAC3D,MAAM,KAAK,GAAG,WAAE,CAAC,EAAE,CAAC,CAAC,GAAW,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;QACrF,MAAM,OAAO,GAAG,IAAI,yCAAoB,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,iBAAiB,EAAE,KAAK,EAAE,CAAC,CAAC;QAC5F,IAAA,eAAM,EAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAEzC,OAAO,CAAC,YAAY,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAClC,OAAO,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC;QAC3B,0EAA0E;QAC1E,IAAA,eAAM,EAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/streaming/stream-eval.test.d.ts

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

package/dist/tests/streaming/stream-eval.test.d.ts.map

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

package/dist/tests/streaming/stream-eval.test.js

@@ -0,0 +1,170 @@
+"use strict";
+// ============================================================
+// ST Streaming Tests — streamEval() con AsyncIterable y AbortSignal
+// ============================================================
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const stream_eval_1 = require("../../runtime/streaming/stream-eval");
+// ── Helpers de fórmula ────────────────────────────────────────
+function atom(name) {
+    return { kind: 'atom', name };
+}
+function implies(a, b) {
+    return { kind: 'implies', args: [a, b] };
+}
+function and(a, b) {
+    return { kind: 'and', args: [a, b] };
+}
+function not(f) {
+    return { kind: 'not', args: [f] };
+}
+/** Consume todos los eventos del iterable y los devuelve en orden. */
+async function collectEvents(iter) {
+    const events = [];
+    for await (const ev of iter) {
+        events.push(ev);
+    }
+    return events;
+}
+// ── Suite principal ───────────────────────────────────────────
+(0, vitest_1.describe)('streamEval', () => {
+    (0, vitest_1.it)('emite start → ... → done en orden', async () => {
+        const formula = implies(atom('P'), atom('P'));
+        const events = await collectEvents((0, stream_eval_1.streamEval)(formula, 'classical.propositional'));
+        const kinds = events.map((e) => e.kind);
+        (0, vitest_1.expect)(kinds[0]).toBe('start');
+        (0, vitest_1.expect)(kinds[kinds.length - 1]).toBe('done');
+        (0, vitest_1.expect)(kinds.includes('error')).toBe(false);
+    });
+    (0, vitest_1.it)('el evento start incluye la representación string de la fórmula', async () => {
+        const formula = implies(atom('P'), atom('P'));
+        const events = await collectEvents((0, stream_eval_1.streamEval)(formula, 'classical.propositional'));
+        const startEvt = events.find((e) => e.kind === 'start');
+        (0, vitest_1.expect)(startEvt).toBeDefined();
+        if (startEvt?.kind === 'start') {
+            (0, vitest_1.expect)(typeof startEvt.formula).toBe('string');
+            (0, vitest_1.expect)(startEvt.formula.length).toBeGreaterThan(0);
+        }
+    });
+    (0, vitest_1.it)('el evento done contiene el resultado final y totalMs >= 0', async () => {
+        const formula = implies(atom('P'), atom('P'));
+        const events = await collectEvents((0, stream_eval_1.streamEval)(formula, 'classical.propositional'));
+        const doneEvt = events.find((e) => e.kind === 'done');
+        (0, vitest_1.expect)(doneEvt).toBeDefined();
+        if (doneEvt?.kind === 'done') {
+            (0, vitest_1.expect)(doneEvt.result).toBeDefined();
+            (0, vitest_1.expect)(typeof doneEvt.result.status).toBe('string');
+            (0, vitest_1.expect)(doneEvt.totalMs).toBeGreaterThanOrEqual(0);
+        }
+    });
+    (0, vitest_1.it)('emite eventos subproof para fórmulas con sub-nodos', async () => {
+        const formula = and(implies(atom('P'), atom('Q')), atom('P'));
+        const events = await collectEvents((0, stream_eval_1.streamEval)(formula, 'classical.propositional'));
+        const subproofs = events.filter((e) => e.kind === 'subproof');
+        (0, vitest_1.expect)(subproofs.length).toBeGreaterThan(0);
+        for (const ev of subproofs) {
+            if (ev.kind === 'subproof') {
+                (0, vitest_1.expect)(typeof ev.node).toBe('string');
+                (0, vitest_1.expect)(['T', 'F', 'both', 'neither', 'unknown']).toContain(ev.result);
+            }
+        }
+    });
+    (0, vitest_1.it)('emite eventos progress con ratio en [0, 1]', async () => {
+        const formula = and(implies(atom('A'), atom('B')), implies(atom('B'), atom('C')));
+        const events = await collectEvents((0, stream_eval_1.streamEval)(formula, 'classical.propositional'));
+        const progresses = events.filter((e) => e.kind === 'progress');
+        (0, vitest_1.expect)(progresses.length).toBeGreaterThan(0);
+        for (const ev of progresses) {
+            if (ev.kind === 'progress') {
+                (0, vitest_1.expect)(ev.ratio).toBeGreaterThanOrEqual(0);
+                (0, vitest_1.expect)(ev.ratio).toBeLessThanOrEqual(1);
+            }
+        }
+    });
+    (0, vitest_1.it)('emite evento partial antes de done', async () => {
+        const formula = implies(atom('P'), atom('P'));
+        const events = await collectEvents((0, stream_eval_1.streamEval)(formula, 'classical.propositional'));
+        const partialIdx = events.findIndex((e) => e.kind === 'partial');
+        const doneIdx = events.findIndex((e) => e.kind === 'done');
+        (0, vitest_1.expect)(partialIdx).toBeGreaterThanOrEqual(0);
+        (0, vitest_1.expect)(doneIdx).toBeGreaterThanOrEqual(0);
+        (0, vitest_1.expect)(partialIdx).toBeLessThan(doneIdx);
+    });
+    (0, vitest_1.it)('el evento partial contiene un resultado coherente con done', async () => {
+        const formula = implies(atom('P'), atom('P'));
+        const events = await collectEvents((0, stream_eval_1.streamEval)(formula, 'classical.propositional'));
+        const partialEvt = events.find((e) => e.kind === 'partial');
+        const doneEvt = events.find((e) => e.kind === 'done');
+        if (partialEvt?.kind === 'partial' && doneEvt?.kind === 'done') {
+            (0, vitest_1.expect)(partialEvt.result.status).toBe(doneEvt.result.status);
+        }
+    });
+    (0, vitest_1.it)('AbortSignal cancela: emite evento error y termina el iterable', async () => {
+        const controller = new AbortController();
+        const formula = and(and(implies(atom('P'), atom('Q')), implies(atom('Q'), atom('R'))), implies(atom('R'), atom('S')));
+        controller.abort();
+        const events = await collectEvents((0, stream_eval_1.streamEval)(formula, 'classical.propositional', {
+            abortSignal: controller.signal,
+        }));
+        const errorEvt = events.find((e) => e.kind === 'error');
+        (0, vitest_1.expect)(errorEvt).toBeDefined();
+        if (errorEvt?.kind === 'error') {
+            (0, vitest_1.expect)(errorEvt.error).toContain('cancelad');
+        }
+        const doneEvt = events.find((e) => e.kind === 'done');
+        (0, vitest_1.expect)(doneEvt).toBeUndefined();
+    });
+    (0, vitest_1.it)('perfil desconocido emite error (no throw)', async () => {
+        const formula = atom('P');
+        const events = await collectEvents((0, stream_eval_1.streamEval)(formula, 'nonexistent.profile'));
+        const errorEvt = events.find((e) => e.kind === 'error');
+        (0, vitest_1.expect)(errorEvt).toBeDefined();
+        if (errorEvt?.kind === 'error') {
+            (0, vitest_1.expect)(errorEvt.error).toContain('nonexistent.profile');
+        }
+        (0, vitest_1.expect)(events.find((e) => e.kind === 'done')).toBeUndefined();
+    });
+    (0, vitest_1.it)('error en evaluación produce evento error, no throw', async () => {
+        const formula = atom('P');
+        const events = [];
+        let threw = false;
+        try {
+            for await (const ev of (0, stream_eval_1.streamEval)(formula, 'nonexistent.profile')) {
+                events.push(ev);
+            }
+        }
+        catch {
+            threw = true;
+        }
+        (0, vitest_1.expect)(threw).toBe(false);
+        (0, vitest_1.expect)(events.some((e) => e.kind === 'error')).toBe(true);
+    });
+    (0, vitest_1.it)('funciona con perfil paraconsistent.belnap', async () => {
+        const formula = implies(atom('P'), atom('P'));
+        const events = await collectEvents((0, stream_eval_1.streamEval)(formula, 'paraconsistent.belnap'));
+        const kinds = events.map((e) => e.kind);
+        (0, vitest_1.expect)(kinds[0]).toBe('start');
+        (0, vitest_1.expect)(kinds[kinds.length - 1]).toBe('done');
+    });
+    (0, vitest_1.it)('funciona con fórmula atómica simple (sin sub-nodos)', async () => {
+        const formula = atom('P');
+        const events = await collectEvents((0, stream_eval_1.streamEval)(formula, 'classical.propositional'));
+        const kinds = events.map((e) => e.kind);
+        (0, vitest_1.expect)(kinds[0]).toBe('start');
+        (0, vitest_1.expect)(kinds[kinds.length - 1]).toBe('done');
+        (0, vitest_1.expect)(kinds.includes('error')).toBe(false);
+    });
+    (0, vitest_1.it)('start siempre es el primer evento', async () => {
+        const formula = not(and(atom('P'), not(atom('P'))));
+        const events = await collectEvents((0, stream_eval_1.streamEval)(formula, 'classical.propositional'));
+        (0, vitest_1.expect)(events.length).toBeGreaterThan(0);
+        (0, vitest_1.expect)(events[0]?.kind).toBe('start');
+    });
+    (0, vitest_1.it)('done siempre es el último evento (sin cancelación)', async () => {
+        const formula = not(and(atom('P'), not(atom('P'))));
+        const events = await collectEvents((0, stream_eval_1.streamEval)(formula, 'classical.propositional'));
+        const last = events[events.length - 1];
+        (0, vitest_1.expect)(last?.kind).toBe('done');
+    });
+});
+//# sourceMappingURL=stream-eval.test.js.map

package/dist/tests/streaming/stream-eval.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stream-eval.test.js","sourceRoot":"","sources":["../../../src/tests/streaming/stream-eval.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,oEAAoE;AACpE,+DAA+D;;AAE/D,mCAA8C;AAC9C,qEAAiE;AAIjE,iEAAiE;AAEjE,SAAS,IAAI,CAAC,IAAY;IACxB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAChC,CAAC;AAED,SAAS,OAAO,CAAC,CAAU,EAAE,CAAU;IACrC,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AAC3C,CAAC;AAED,SAAS,GAAG,CAAC,CAAU,EAAE,CAAU;IACjC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;AACvC,CAAC;AAED,SAAS,GAAG,CAAC,CAAU;IACrB,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;AACpC,CAAC;AAED,sEAAsE;AACtE,KAAK,UAAU,aAAa,CAAC,IAAgC;IAC3D,MAAM,MAAM,GAAkB,EAAE,CAAC;IACjC,IAAI,KAAK,EAAE,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC;QAC5B,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,iEAAiE;AAEjE,IAAA,iBAAQ,EAAC,YAAY,EAAE,GAAG,EAAE;IAC1B,IAAA,WAAE,EAAC,mCAAmC,EAAE,KAAK,IAAI,EAAE;QACjD,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9C,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,IAAA,wBAAU,EAAC,OAAO,EAAE,yBAAyB,CAAC,CAAC,CAAC;QAEnF,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAExC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,KAAK,IAAI,EAAE;QAC9E,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9C,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,IAAA,wBAAU,EAAC,OAAO,EAAE,yBAAyB,CAAC,CAAC,CAAC;QAEnF,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;QAC/B,IAAI,QAAQ,EAAE,IAAI,KAAK,OAAO,EAAE,CAAC;YAC/B,IAAA,eAAM,EAAC,OAAO,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC/C,IAAA,eAAM,EAAC,QAAQ,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACrD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,KAAK,IAAI,EAAE;QACzE,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9C,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,IAAA,wBAAU,EAAC,OAAO,EAAE,yBAAyB,CAAC,CAAC,CAAC;QAEnF,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,WAAW,EAAE,CAAC;QAC9B,IAAI,OAAO,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;YAC7B,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;YACrC,IAAA,eAAM,EAAC,OAAO,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACpD,IAAA,eAAM,EAAC,OAAO,CAAC,OAAO,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACpD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,KAAK,IAAI,EAAE;QAClE,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9D,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,IAAA,wBAAU,EAAC,OAAO,EAAE,yBAAyB,CAAC,CAAC,CAAC;QAEnF,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,SAAS,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC5C,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;YAC3B,IAAI,EAAE,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC3B,IAAA,eAAM,EAAC,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACtC,IAAA,eAAM,EAAC,CAAC,GAAG,EAAE,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;YACxE,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,KAAK,IAAI,EAAE;QAC1D,MAAM,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAClF,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,IAAA,wBAAU,EAAC,OAAO,EAAE,yBAAyB,CAAC,CAAC,CAAC;QAEnF,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,UAAU,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QAC7C,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;YAC5B,IAAI,EAAE,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC3B,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;gBAC3C,IAAA,eAAM,EAAC,EAAE,CAAC,KAAK,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;YAC1C,CAAC;QACH,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,KAAK,IAAI,EAAE;QAClD,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9C,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,IAAA,wBAAU,EAAC,OAAO,EAAE,yBAAyB,CAAC,CAAC,CAAC;QAEnF,MAAM,UAAU,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;QACjE,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QAE3D,IAAA,eAAM,EAAC,UAAU,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,UAAU,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,KAAK,IAAI,EAAE;QAC1E,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9C,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,IAAA,wBAAU,EAAC,OAAO,EAAE,yBAAyB,CAAC,CAAC,CAAC;QAEnF,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;QAC5D,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QAEtD,IAAI,UAAU,EAAE,IAAI,KAAK,SAAS,IAAI,OAAO,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;YAC/D,IAAA,eAAM,EAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,KAAK,IAAI,EAAE;QAC7E,MAAM,UAAU,GAAG,IAAI,eAAe,EAAE,CAAC;QACzC,MAAM,OAAO,GAAG,GAAG,CACjB,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EACjE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAC9B,CAAC;QAEF,UAAU,CAAC,KAAK,EAAE,CAAC;QAEnB,MAAM,MAAM,GAAG,MAAM,aAAa,CAChC,IAAA,wBAAU,EAAC,OAAO,EAAE,yBAAyB,EAAE;YAC7C,WAAW,EAAE,UAAU,CAAC,MAAM;SAC/B,CAAC,CACH,CAAC;QAEF,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;QAC/B,IAAI,QAAQ,EAAE,IAAI,KAAK,OAAO,EAAE,CAAC;YAC/B,IAAA,eAAM,EAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAC/C,CAAC;QAED,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,aAAa,EAAE,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,KAAK,IAAI,EAAE;QACzD,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1B,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,IAAA,wBAAU,EAAC,OAAO,EAAE,qBAAqB,CAAC,CAAC,CAAC;QAE/E,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;QAC/B,IAAI,QAAQ,EAAE,IAAI,KAAK,OAAO,EAAE,CAAC;YAC/B,IAAA,eAAM,EAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;QAC1D,CAAC;QAED,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,KAAK,IAAI,EAAE;QAClE,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1B,MAAM,MAAM,GAAkB,EAAE,CAAC;QACjC,IAAI,KAAK,GAAG,KAAK,CAAC;QAElB,IAAI,CAAC;YACH,IAAI,KAAK,EAAE,MAAM,EAAE,IAAI,IAAA,wBAAU,EAAC,OAAO,EAAE,qBAAqB,CAAC,EAAE,CAAC;gBAClE,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAClB,CAAC;QACH,CAAC;QAAC,MAAM,CAAC;YACP,KAAK,GAAG,IAAI,CAAC;QACf,CAAC;QAED,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,KAAK,IAAI,EAAE;QACzD,MAAM,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9C,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,IAAA,wBAAU,EAAC,OAAO,EAAE,uBAAuB,CAAC,CAAC,CAAC;QAEjF,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,KAAK,IAAI,EAAE;QACnE,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QAC1B,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,IAAA,wBAAU,EAAC,OAAO,EAAE,yBAAyB,CAAC,CAAC,CAAC;QAEnF,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,KAAK,IAAI,EAAE;QACjD,MAAM,OAAO,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,IAAA,wBAAU,EAAC,OAAO,EAAE,yBAAyB,CAAC,CAAC,CAAC;QAEnF,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,KAAK,IAAI,EAAE;QAClE,MAAM,OAAO,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,IAAA,wBAAU,EAAC,OAAO,EAAE,yBAAyB,CAAC,CAAC,CAAC;QAEnF,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/text-layer-v2/claim-graph.test.d.ts

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

package/dist/tests/text-layer-v2/claim-graph.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"claim-graph.test.d.ts","sourceRoot":"","sources":["../../../src/tests/text-layer-v2/claim-graph.test.ts"],"names":[],"mappings":""}