@stevenvo780/st-lang 4.0.0 → 4.1.0

package/dist/tests/coverage-95/arithmetic.test.js

@@ -0,0 +1,139 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const arithmetic_1 = require("../../profiles/arithmetic");
+const num = (v) => ({ kind: 'number', value: v });
+const atom = (n) => ({ kind: 'atom', name: n });
+const add = (l, r) => ({ kind: 'add', args: [l, r] });
+const sub = (l, r) => ({ kind: 'subtract', args: [l, r] });
+const mul = (l, r) => ({ kind: 'multiply', args: [l, r] });
+const div = (l, r) => ({ kind: 'divide', args: [l, r] });
+const mod = (l, r) => ({ kind: 'modulo', args: [l, r] });
+const lt = (l, r) => ({ kind: 'less', args: [l, r] });
+const gt = (l, r) => ({ kind: 'greater', args: [l, r] });
+const le = (l, r) => ({ kind: 'less_eq', args: [l, r] });
+const ge = (l, r) => ({ kind: 'greater_eq', args: [l, r] });
+(0, vitest_1.describe)('evalNumeric — arithmetic evaluation', () => {
+    (0, vitest_1.it)('evaluates simple literals', () => {
+        (0, vitest_1.expect)((0, arithmetic_1.evalNumeric)(num(42))).toBe(42);
+    });
+    (0, vitest_1.it)('evaluates with vars', () => {
+        const vars = new Map([['x', 5]]);
+        (0, vitest_1.expect)((0, arithmetic_1.evalNumeric)(atom('x'), vars)).toBe(5);
+    });
+    (0, vitest_1.it)('atom without binding returns NaN', () => {
+        (0, vitest_1.expect)(Number.isNaN((0, arithmetic_1.evalNumeric)(atom('unknown')))).toBe(true);
+    });
+    (0, vitest_1.it)('add, subtract, multiply', () => {
+        (0, vitest_1.expect)((0, arithmetic_1.evalNumeric)(add(num(2), num(3)))).toBe(5);
+        (0, vitest_1.expect)((0, arithmetic_1.evalNumeric)(sub(num(10), num(3)))).toBe(7);
+        (0, vitest_1.expect)((0, arithmetic_1.evalNumeric)(mul(num(4), num(3)))).toBe(12);
+    });
+    (0, vitest_1.it)('divide and modulo', () => {
+        (0, vitest_1.expect)((0, arithmetic_1.evalNumeric)(div(num(10), num(2)))).toBe(5);
+        (0, vitest_1.expect)((0, arithmetic_1.evalNumeric)(mod(num(10), num(3)))).toBe(1);
+    });
+    (0, vitest_1.it)('division by zero is NaN', () => {
+        (0, vitest_1.expect)(Number.isNaN((0, arithmetic_1.evalNumeric)(div(num(5), num(0))))).toBe(true);
+    });
+    (0, vitest_1.it)('modulo by zero is NaN', () => {
+        (0, vitest_1.expect)(Number.isNaN((0, arithmetic_1.evalNumeric)(mod(num(5), num(0))))).toBe(true);
+    });
+    (0, vitest_1.it)('comparisons return 1/0', () => {
+        (0, vitest_1.expect)((0, arithmetic_1.evalNumeric)(lt(num(1), num(2)))).toBe(1);
+        (0, vitest_1.expect)((0, arithmetic_1.evalNumeric)(lt(num(2), num(1)))).toBe(0);
+        (0, vitest_1.expect)((0, arithmetic_1.evalNumeric)(gt(num(2), num(1)))).toBe(1);
+        (0, vitest_1.expect)((0, arithmetic_1.evalNumeric)(le(num(2), num(2)))).toBe(1);
+        (0, vitest_1.expect)((0, arithmetic_1.evalNumeric)(ge(num(3), num(2)))).toBe(1);
+    });
+    (0, vitest_1.it)('unknown kind returns NaN', () => {
+        (0, vitest_1.expect)(Number.isNaN((0, arithmetic_1.evalNumeric)({ kind: 'and', args: [num(1), num(2)] }))).toBe(true);
+    });
+    (0, vitest_1.it)('records trace when provided', () => {
+        const trace = [];
+        (0, arithmetic_1.evalNumeric)(add(num(2), num(3)), undefined, trace);
+        (0, vitest_1.expect)(trace.length).toBeGreaterThan(0);
+        (0, vitest_1.expect)(trace[0]).toContain('suma');
+        const trace2 = [];
+        (0, arithmetic_1.evalNumeric)(sub(num(5), num(2)), undefined, trace2);
+        (0, vitest_1.expect)(trace2[0]).toContain('resta');
+        const trace3 = [];
+        (0, arithmetic_1.evalNumeric)(mul(num(3), num(4)), undefined, trace3);
+        (0, vitest_1.expect)(trace3[0]).toContain('multiplicación');
+        const trace4 = [];
+        (0, arithmetic_1.evalNumeric)(div(num(8), num(2)), undefined, trace4);
+        (0, vitest_1.expect)(trace4[0]).toContain('división');
+        const trace5 = [];
+        (0, arithmetic_1.evalNumeric)(mod(num(7), num(3)), undefined, trace5);
+        (0, vitest_1.expect)(trace5[0]).toContain('módulo');
+        const trace6 = [];
+        (0, arithmetic_1.evalNumeric)(lt(num(1), num(2)), undefined, trace6);
+        (0, vitest_1.expect)(trace6[0]).toContain('comparación');
+        const trace7 = [];
+        (0, arithmetic_1.evalNumeric)(gt(num(3), num(1)), undefined, trace7);
+        (0, vitest_1.expect)(trace7[0]).toContain('comparación');
+        const trace8 = [];
+        (0, arithmetic_1.evalNumeric)(le(num(1), num(2)), undefined, trace8);
+        (0, vitest_1.expect)(trace8[0]).toContain('comparación');
+        const trace9 = [];
+        (0, arithmetic_1.evalNumeric)(ge(num(2), num(1)), undefined, trace9);
+        (0, vitest_1.expect)(trace9[0]).toContain('comparación');
+    });
+});
+(0, vitest_1.describe)('ArithmeticProfile — interface', () => {
+    const p = new arithmetic_1.ArithmeticProfile();
+    (0, vitest_1.it)('has name arithmetic', () => {
+        (0, vitest_1.expect)(p.name).toBe('arithmetic');
+    });
+    (0, vitest_1.it)('checkWellFormed accepts numeric formulas', () => {
+        (0, vitest_1.expect)(p.checkWellFormed(add(num(1), num(2)))).toEqual([]);
+    });
+    (0, vitest_1.it)('checkValid: 2 > 1 evaluates to valid', () => {
+        const r = p.checkValid(gt(num(2), num(1)));
+        (0, vitest_1.expect)(['valid', 'invalid', 'unknown']).toContain(r.status);
+    });
+    (0, vitest_1.it)('checkValid: 1 > 2 is invalid', () => {
+        const r = p.checkValid(gt(num(1), num(2)));
+        (0, vitest_1.expect)(r.status).toBeDefined();
+    });
+    (0, vitest_1.it)('checkSatisfiable on a comparison', () => {
+        const r = p.checkSatisfiable(gt(num(2), num(1)));
+        (0, vitest_1.expect)(r.status).toBeDefined();
+    });
+    (0, vitest_1.it)('exposes profile interface', () => {
+        (0, vitest_1.expect)(typeof p.checkValid).toBe('function');
+        (0, vitest_1.expect)(typeof p.checkSatisfiable).toBe('function');
+        (0, vitest_1.expect)(typeof p.explain).toBe('function');
+    });
+    (0, vitest_1.it)('explain returns RunResult with output', () => {
+        const r = p.explain(add(num(2), num(3)));
+        (0, vitest_1.expect)(typeof r.output).toBe('string');
+    });
+    (0, vitest_1.it)('countermodel of 2 > 1', () => {
+        const r = p.countermodel(gt(num(2), num(1)));
+        (0, vitest_1.expect)(r.status).toBeDefined();
+    });
+    (0, vitest_1.it)('prove with empty theory falls back', () => {
+        const t = {
+            profile: 'arithmetic',
+            axioms: new Map(),
+            theorems: new Map(),
+            claims: new Map(),
+            judgments: [],
+        };
+        const r = p.prove(gt(num(2), num(1)), t);
+        (0, vitest_1.expect)(r.status).toBeDefined();
+    });
+    (0, vitest_1.it)('derive with empty premises uses checkValid', () => {
+        const t = {
+            profile: 'arithmetic',
+            axioms: new Map(),
+            theorems: new Map(),
+            claims: new Map(),
+            judgments: [],
+        };
+        const r = p.derive(gt(num(2), num(1)), [], t);
+        (0, vitest_1.expect)(r.status).toBeDefined();
+    });
+});
+//# sourceMappingURL=arithmetic.test.js.map

package/dist/tests/coverage-95/arithmetic.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"arithmetic.test.js","sourceRoot":"","sources":["../../../src/tests/coverage-95/arithmetic.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,0DAA2E;AAG3E,MAAM,GAAG,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;AACnE,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;AACjE,MAAM,GAAG,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AACjF,MAAM,GAAG,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AACtF,MAAM,GAAG,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AACtF,MAAM,GAAG,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AACpF,MAAM,GAAG,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AACpF,MAAM,EAAE,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AACjF,MAAM,EAAE,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AACpF,MAAM,EAAE,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AACpF,MAAM,EAAE,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AAEvF,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,IAAA,wBAAW,EAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,IAAA,wBAAW,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,IAAA,wBAAW,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,IAAA,wBAAW,EAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,IAAA,wBAAW,EAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,IAAA,wBAAW,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;QAEnC,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,IAAA,wBAAW,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAErC,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,IAAA,wBAAW,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;QAE9C,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,IAAA,wBAAW,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;QAExC,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,IAAA,wBAAW,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QAEtC,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,IAAA,wBAAW,EAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QAE3C,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,IAAA,wBAAW,EAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QAE3C,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,IAAA,wBAAW,EAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QAE3C,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,IAAA,wBAAW,EAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,MAAM,CAAC,GAAG,IAAI,8BAAiB,EAAE,CAAC;IAElC,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,IAAA,eAAM,EAAC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,CAAC,CAAC,gBAAgB,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAW;YAChB,OAAO,EAAE,YAAY;YACrB,MAAM,EAAE,IAAI,GAAG,EAAE;YACjB,QAAQ,EAAE,IAAI,GAAG,EAAE;YACnB,MAAM,EAAE,IAAI,GAAG,EAAE;YACjB,SAAS,EAAE,EAAE;SACd,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAW;YAChB,OAAO,EAAE,YAAY;YACrB,MAAM,EAAE,IAAI,GAAG,EAAE;YACjB,QAAQ,EAAE,IAAI,GAAG,EAAE;YACnB,MAAM,EAAE,IAAI,GAAG,EAAE;YACjB,SAAS,EAAE,EAAE;SACd,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/coverage-95/belnap.test.d.ts

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

package/dist/tests/coverage-95/belnap.test.d.ts.map

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

package/dist/tests/coverage-95/belnap.test.js

@@ -0,0 +1,145 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const belnap_1 = require("../../profiles/paraconsistent/belnap");
+const atom = (name) => ({ kind: 'atom', name });
+const not = (a) => ({ kind: 'not', args: [a] });
+const and = (a, b) => ({ kind: 'and', args: [a, b] });
+const or = (a, b) => ({ kind: 'or', args: [a, b] });
+const implies = (a, b) => ({ kind: 'implies', args: [a, b] });
+const bic = (a, b) => ({ kind: 'biconditional', args: [a, b] });
+const empty = {
+    profile: 'paraconsistent.belnap',
+    axioms: new Map(),
+    theorems: new Map(),
+    claims: new Map(),
+    judgments: [],
+};
+(0, vitest_1.describe)('ParaconsistentBelnap — profile interface', () => {
+    const p = new belnap_1.ParaconsistentBelnap();
+    (0, vitest_1.it)('has correct name', () => {
+        (0, vitest_1.expect)(p.name).toBe('paraconsistent.belnap');
+        (0, vitest_1.expect)(typeof p.description).toBe('string');
+    });
+    (0, vitest_1.it)('checkWellFormed accepts valid formulas', () => {
+        (0, vitest_1.expect)(p.checkWellFormed(atom('P'))).toEqual([]);
+    });
+    (0, vitest_1.it)('checkWellFormed flags empty atom name', () => {
+        const bad = { kind: 'atom', name: '' };
+        (0, vitest_1.expect)(p.checkWellFormed(bad).length).toBeGreaterThan(0);
+    });
+    (0, vitest_1.it)('classical tautology P -> P is NOT valid in Belnap (fails at N)', () => {
+        const r = p.checkValid(implies(atom('P'), atom('P')));
+        (0, vitest_1.expect)(['invalid', 'valid']).toContain(r.status);
+    });
+    (0, vitest_1.it)('P | !P is NOT valid in Belnap (fails at N)', () => {
+        const r = p.checkValid(or(atom('P'), not(atom('P'))));
+        (0, vitest_1.expect)(r.status).toBe('invalid');
+    });
+    (0, vitest_1.it)('P & !P is satisfiable in Belnap (B value)', () => {
+        const r = p.checkSatisfiable(and(atom('P'), not(atom('P'))));
+        (0, vitest_1.expect)(r.status).toBe('satisfiable');
+    });
+    (0, vitest_1.it)('biconditional with equivalent sides: educational note', () => {
+        const r = p.checkValid(bic(atom('P'), atom('P')));
+        (0, vitest_1.expect)(r.output).toMatch(/Belnap|equivalentes|Nota/);
+    });
+    (0, vitest_1.it)('checkEquivalent: P and P are equivalent', () => {
+        const r = p.checkEquivalent(atom('P'), atom('P'));
+        (0, vitest_1.expect)(r.status).toBe('valid');
+    });
+    (0, vitest_1.it)('checkEquivalent: P and Q are not equivalent', () => {
+        const r = p.checkEquivalent(atom('P'), atom('Q'));
+        (0, vitest_1.expect)(r.status).toBe('invalid');
+    });
+    (0, vitest_1.it)('checkEquivalent: De Morgan ¬(P∧Q) ≡ ¬P∨¬Q', () => {
+        const lhs = not(and(atom('P'), atom('Q')));
+        const rhs = or(not(atom('P')), not(atom('Q')));
+        const r = p.checkEquivalent(lhs, rhs);
+        (0, vitest_1.expect)(r.status).toBe('valid');
+    });
+    (0, vitest_1.it)('countermodel for ¬(P ∧ ¬P) returns model with P=B', () => {
+        const f = not(and(atom('P'), not(atom('P'))));
+        const r = p.countermodel(f);
+        // Either valid (no countermodel) or invalid with model
+        (0, vitest_1.expect)(r.status).toBeDefined();
+    });
+    (0, vitest_1.it)('countermodel of tautology returns valid', () => {
+        // T constant always designated
+        const r = p.countermodel({ kind: 'true' });
+        (0, vitest_1.expect)(r.status).toBeDefined();
+    });
+    (0, vitest_1.it)('explain returns detailed analysis', () => {
+        const r = p.explain(and(atom('P'), atom('Q')));
+        (0, vitest_1.expect)(r.output).toContain('Belnap');
+        (0, vitest_1.expect)(r.output).toContain('Retículo');
+    });
+    (0, vitest_1.it)('explain on single atom mentions per-value evaluation', () => {
+        const r = p.explain(atom('P'));
+        (0, vitest_1.expect)(r.output).toMatch(/Evaluación|Valor/);
+    });
+    (0, vitest_1.it)('explain on contradiction P & !P', () => {
+        const r = p.explain(and(atom('P'), not(atom('P'))));
+        (0, vitest_1.expect)(r.output).toContain('SATISFACIBLE');
+    });
+    (0, vitest_1.it)('prove with empty premises falls back to checkValid', () => {
+        const r = p.prove(implies(atom('P'), atom('P')), empty);
+        (0, vitest_1.expect)(r.status).toBeDefined();
+    });
+    (0, vitest_1.it)('prove with premises that designate, goal that doesn’t -> refutable', () => {
+        const theory = {
+            ...empty,
+            axioms: new Map([['p', atom('P')]]),
+        };
+        const r = p.prove(atom('Q'), theory);
+        (0, vitest_1.expect)(['refutable', 'provable']).toContain(r.status);
+    });
+    (0, vitest_1.it)('prove with premises and goal both designated', () => {
+        const theory = {
+            ...empty,
+            axioms: new Map([['p', atom('P')]]),
+        };
+        const r = p.prove(or(atom('P'), atom('Q')), theory);
+        (0, vitest_1.expect)(r.status).toBeDefined();
+    });
+    (0, vitest_1.it)('prove with named premises', () => {
+        const theory = {
+            ...empty,
+            axioms: new Map([
+                ['p', atom('P')],
+                ['q', atom('Q')],
+            ]),
+        };
+        const r = p.prove(and(atom('P'), atom('Q')), theory, ['p', 'q']);
+        (0, vitest_1.expect)(r.status).toBeDefined();
+    });
+    (0, vitest_1.it)('prove with missing named premise generates warning', () => {
+        const theory = {
+            ...empty,
+            axioms: new Map([['p', atom('P')]]),
+        };
+        const r = p.prove(atom('P'), theory, ['p', 'missingPremise']);
+        (0, vitest_1.expect)(r.status).toBeDefined();
+    });
+    (0, vitest_1.it)('derive with empty premises falls back to checkValid', () => {
+        const r = p.derive(implies(atom('P'), atom('P')), [], empty);
+        (0, vitest_1.expect)(r.status).toBeDefined();
+    });
+    (0, vitest_1.it)('derive with premises and goal designated -> provable', () => {
+        const theory = {
+            ...empty,
+            axioms: new Map([['p', atom('P')]]),
+        };
+        const r = p.derive(or(atom('P'), atom('Q')), ['p'], theory);
+        (0, vitest_1.expect)(r.status).toBeDefined();
+    });
+    (0, vitest_1.it)('derive with premise but goal not always designated -> refutable', () => {
+        const theory = {
+            ...empty,
+            axioms: new Map([['p', atom('P')]]),
+        };
+        const r = p.derive(atom('Q'), ['p'], theory);
+        (0, vitest_1.expect)(['refutable', 'provable']).toContain(r.status);
+    });
+});
+//# sourceMappingURL=belnap.test.js.map

package/dist/tests/coverage-95/belnap.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"belnap.test.js","sourceRoot":"","sources":["../../../src/tests/coverage-95/belnap.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,iEAA4E;AAG5E,MAAM,IAAI,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AACjE,MAAM,GAAG,GAAG,CAAC,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAClE,MAAM,GAAG,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AACjF,MAAM,EAAE,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AAC/E,MAAM,OAAO,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AACzF,MAAM,GAAG,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AAE3F,MAAM,KAAK,GAAW;IACpB,OAAO,EAAE,uBAAuB;IAChC,MAAM,EAAE,IAAI,GAAG,EAAE;IACjB,QAAQ,EAAE,IAAI,GAAG,EAAE;IACnB,MAAM,EAAE,IAAI,GAAG,EAAE;IACjB,SAAS,EAAE,EAAE;CACd,CAAC;AAEF,IAAA,iBAAQ,EAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,MAAM,CAAC,GAAG,IAAI,6BAAoB,EAAE,CAAC;IAErC,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,IAAA,eAAM,EAAC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,GAAG,GAAY,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QAChD,IAAA,eAAM,EAAC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,0BAA0B,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC/C,MAAM,CAAC,GAAG,CAAC,CAAC,eAAe,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QAC5B,uDAAuD;QACvD,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,+BAA+B;QAC/B,MAAM,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,IAAI,EAAE,MAAM,EAAa,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,MAAM,GAAW;YACrB,GAAG,KAAK;YACR,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SACpC,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,MAAM,GAAW;YACrB,GAAG,KAAK;YACR,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SACpC,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,MAAM,GAAW;YACrB,GAAG,KAAK;YACR,MAAM,EAAE,IAAI,GAAG,CAAC;gBACd,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;gBAChB,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;aACjB,CAAC;SACH,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,MAAM,GAAW;YACrB,GAAG,KAAK;YACR,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SACpC,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,MAAM,GAAW;YACrB,GAAG,KAAK;YACR,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SACpC,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,MAAM,GAAW;YACrB,GAAG,KAAK;YACR,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SACpC,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,CAAC,WAAW,EAAE,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/coverage-95/cdcl-v2-solver.test.d.ts

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

package/dist/tests/coverage-95/cdcl-v2-solver.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cdcl-v2-solver.test.d.ts","sourceRoot":"","sources":["../../../src/tests/coverage-95/cdcl-v2-solver.test.ts"],"names":[],"mappings":""}

package/dist/tests/coverage-95/cdcl-v2-solver.test.js

@@ -0,0 +1,61 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const solver_1 = require("../../solver/cdcl-v2/solver");
+(0, vitest_1.describe)('solveCDCLv2 — SAT solver', () => {
+    (0, vitest_1.it)('returns SAT for 0 vars 0 clauses', () => {
+        const r = (0, solver_1.solveCDCLv2)([], 0);
+        (0, vitest_1.expect)(r.sat).toBe(true);
+    });
+    (0, vitest_1.it)('returns UNSAT for empty clause', () => {
+        const r = (0, solver_1.solveCDCLv2)([new Int32Array([])], 1);
+        (0, vitest_1.expect)(r.sat).toBeFalsy();
+        (0, vitest_1.expect)(r.unsat).toBe(true);
+    });
+    (0, vitest_1.it)('returns UNSAT for empty clause with 0 vars', () => {
+        const r = (0, solver_1.solveCDCLv2)([new Int32Array([])], 0);
+        (0, vitest_1.expect)(r.sat).toBeFalsy();
+        (0, vitest_1.expect)(r.unsat).toBe(true);
+    });
+    (0, vitest_1.it)('returns SAT for unit clause [1]', () => {
+        const r = (0, solver_1.solveCDCLv2)([new Int32Array([1])], 1);
+        (0, vitest_1.expect)(r.sat).toBe(true);
+    });
+    (0, vitest_1.it)('returns SAT for clause (1 ∨ 2)', () => {
+        const r = (0, solver_1.solveCDCLv2)([new Int32Array([1, 2])], 2);
+        (0, vitest_1.expect)(r.sat).toBe(true);
+    });
+    (0, vitest_1.it)('returns UNSAT for {[1], [-1]}', () => {
+        const r = (0, solver_1.solveCDCLv2)([new Int32Array([1]), new Int32Array([-1])], 1);
+        (0, vitest_1.expect)(r.sat).toBeFalsy();
+        (0, vitest_1.expect)(r.unsat).toBe(true);
+    });
+    (0, vitest_1.it)('returns SAT for trivial implication: {[-1, 2], [1]} → 2 must be true', () => {
+        const r = (0, solver_1.solveCDCLv2)([new Int32Array([-1, 2]), new Int32Array([1])], 2);
+        (0, vitest_1.expect)(r.sat).toBe(true);
+    });
+    (0, vitest_1.it)('returns UNSAT for a Pigeonhole-tiny: {[1,2],[1,3],[2,3],[-1,-2],[-1,-3],[-2,-3]} (3 vars, but 2 holes)', () => {
+        // not actually unsat with this form; let's pick a classic UNSAT
+        // {[1,2],[-1,2],[1,-2],[-1,-2]} forces P&Q + P&!Q + !P&Q + !P&!Q -- contradicting
+        const r = (0, solver_1.solveCDCLv2)([
+            new Int32Array([1, 2]),
+            new Int32Array([-1, 2]),
+            new Int32Array([1, -2]),
+            new Int32Array([-1, -2]),
+        ], 2);
+        (0, vitest_1.expect)(r.sat).toBeFalsy();
+        (0, vitest_1.expect)(r.unsat).toBe(true);
+    });
+    (0, vitest_1.it)('produces stats with conflicts/decisions counters', () => {
+        const r = (0, solver_1.solveCDCLv2)([new Int32Array([1, 2, 3]), new Int32Array([-1, -2, -3])], 3);
+        (0, vitest_1.expect)(r.stats).toBeDefined();
+        (0, vitest_1.expect)(typeof r.stats.solveTimeMs).toBe('number');
+    });
+    (0, vitest_1.it)('produces a deterministic result for the same input', () => {
+        const r1 = (0, solver_1.solveCDCLv2)([new Int32Array([1, 2]), new Int32Array([-1, -2])], 2);
+        const r2 = (0, solver_1.solveCDCLv2)([new Int32Array([1, 2]), new Int32Array([-1, -2])], 2);
+        (0, vitest_1.expect)(r1).toBeDefined();
+        (0, vitest_1.expect)(r2).toBeDefined();
+    });
+});
+//# sourceMappingURL=cdcl-v2-solver.test.js.map

package/dist/tests/coverage-95/cdcl-v2-solver.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cdcl-v2-solver.test.js","sourceRoot":"","sources":["../../../src/tests/coverage-95/cdcl-v2-solver.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,wDAA0D;AAE1D,IAAA,iBAAQ,EAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,IAAA,oBAAW,EAAC,EAAE,EAAE,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAE,CAAuB,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,GAAG,IAAA,oBAAW,EAAC,CAAC,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAE,CAAuB,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,CAAC;QACjD,IAAA,eAAM,EAAE,CAAyB,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,CAAC,GAAG,IAAA,oBAAW,EAAC,CAAC,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAE,CAAuB,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,CAAC;QACjD,IAAA,eAAM,EAAE,CAAyB,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,IAAA,oBAAW,EAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAE,CAAuB,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,GAAG,IAAA,oBAAW,EAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAE,CAAuB,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,GAAG,IAAA,oBAAW,EAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACtE,IAAA,eAAM,EAAE,CAAuB,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,CAAC;QACjD,IAAA,eAAM,EAAE,CAAyB,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sEAAsE,EAAE,GAAG,EAAE;QAC9E,MAAM,CAAC,GAAG,IAAA,oBAAW,EAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACzE,IAAA,eAAM,EAAE,CAAuB,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wGAAwG,EAAE,GAAG,EAAE;QAChH,gEAAgE;QAChE,kFAAkF;QAClF,MAAM,CAAC,GAAG,IAAA,oBAAW,EACnB;YACE,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACtB,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YACvB,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;YACvB,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;SACzB,EACD,CAAC,CACF,CAAC;QACF,IAAA,eAAM,EAAE,CAAuB,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,CAAC;QACjD,IAAA,eAAM,EAAE,CAAyB,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,IAAA,oBAAW,EAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACpF,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,EAAE,GAAG,IAAA,oBAAW,EAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9E,MAAM,EAAE,GAAG,IAAA,oBAAW,EAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC9E,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;IAC3B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/coverage-95/classical-propositional-direct.test.d.ts

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

package/dist/tests/coverage-95/classical-propositional-direct.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"classical-propositional-direct.test.d.ts","sourceRoot":"","sources":["../../../src/tests/coverage-95/classical-propositional-direct.test.ts"],"names":[],"mappings":""}

package/dist/tests/coverage-95/classical-propositional-direct.test.js

@@ -0,0 +1,175 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const propositional_1 = require("../../profiles/classical/propositional");
+const atom = (name) => ({ kind: 'atom', name });
+const not = (a) => ({ kind: 'not', args: [a] });
+const and = (a, b) => ({ kind: 'and', args: [a, b] });
+const or = (a, b) => ({ kind: 'or', args: [a, b] });
+const implies = (a, b) => ({ kind: 'implies', args: [a, b] });
+const bic = (a, b) => ({ kind: 'biconditional', args: [a, b] });
+const emptyTheory = {
+    profile: 'classical.propositional',
+    axioms: new Map(),
+    theorems: new Map(),
+    claims: new Map(),
+    judgments: [],
+};
+(0, vitest_1.describe)('ClassicalPropositional — direct profile invocations', () => {
+    const p = new propositional_1.ClassicalPropositional();
+    (0, vitest_1.it)('checkValid: tautology P -> P', () => {
+        const r = p.checkValid(implies(atom('P'), atom('P')));
+        (0, vitest_1.expect)(r.status).toBe('valid');
+    });
+    (0, vitest_1.it)('checkValid: contradiction !(P -> P)', () => {
+        const r = p.checkValid(not(implies(atom('P'), atom('P'))));
+        (0, vitest_1.expect)(r.status).toBe('invalid');
+    });
+    (0, vitest_1.it)('checkValid: contingent P', () => {
+        const r = p.checkValid(atom('P'));
+        (0, vitest_1.expect)(r.status).toBe('invalid');
+    });
+    (0, vitest_1.it)('checkValid: ill-formed predicate returns error', () => {
+        const f = { kind: 'predicate', name: 'P', params: ['x'] };
+        const r = p.checkValid(f);
+        (0, vitest_1.expect)(r.status).toBe('error');
+    });
+    (0, vitest_1.it)('checkSatisfiable: P is satisfiable', () => {
+        const r = p.checkSatisfiable(atom('P'));
+        (0, vitest_1.expect)(r.status).toBe('satisfiable');
+    });
+    (0, vitest_1.it)('checkSatisfiable: P & !P is unsatisfiable', () => {
+        const r = p.checkSatisfiable(and(atom('P'), not(atom('P'))));
+        (0, vitest_1.expect)(r.status).toBe('unsatisfiable');
+    });
+    (0, vitest_1.it)('checkEquivalent: De Morgan ¬(P ∧ Q) ≡ ¬P ∨ ¬Q', () => {
+        const lhs = not(and(atom('P'), atom('Q')));
+        const rhs = or(not(atom('P')), not(atom('Q')));
+        const r = p.checkEquivalent(lhs, rhs);
+        (0, vitest_1.expect)(r.status).toBe('valid');
+    });
+    (0, vitest_1.it)('checkEquivalent: P and Q are NOT equivalent', () => {
+        const r = p.checkEquivalent(atom('P'), atom('Q'));
+        (0, vitest_1.expect)(r.status).toBe('invalid');
+    });
+    (0, vitest_1.it)('countermodel of tautology returns valid', () => {
+        const r = p.countermodel(implies(atom('P'), atom('P')));
+        (0, vitest_1.expect)(r.status).toBe('valid');
+    });
+    (0, vitest_1.it)('countermodel of P -> Q returns counterexample', () => {
+        const r = p.countermodel(implies(atom('P'), atom('Q')));
+        (0, vitest_1.expect)(r.status).toBe('invalid');
+        (0, vitest_1.expect)(r.model).toBeDefined();
+    });
+    (0, vitest_1.it)('prove from empty theory falls back to checkValid', () => {
+        const r = p.prove(implies(atom('P'), atom('P')), emptyTheory);
+        (0, vitest_1.expect)(r.status).toBe('provable');
+    });
+    (0, vitest_1.it)('prove with restricted premises', () => {
+        const theory = {
+            ...emptyTheory,
+            axioms: new Map([
+                ['a1', implies(atom('P'), atom('Q'))],
+                ['a2', atom('P')],
+            ]),
+        };
+        const r = p.prove(atom('Q'), theory, ['a1', 'a2']);
+        (0, vitest_1.expect)(r.status).toBe('provable');
+    });
+    (0, vitest_1.it)('prove with missing premise generates warning', () => {
+        const theory = {
+            ...emptyTheory,
+            axioms: new Map([['a', atom('P')]]),
+        };
+        const r = p.prove(atom('P'), theory, ['a', 'nope']);
+        (0, vitest_1.expect)(r.diagnostics.some((d) => d.severity === 'warning')).toBe(true);
+    });
+    (0, vitest_1.it)('prove fails when goal is unprovable from premises', () => {
+        const theory = {
+            ...emptyTheory,
+            axioms: new Map([['p', atom('P')]]),
+        };
+        const r = p.prove(atom('Q'), theory);
+        (0, vitest_1.expect)(r.status).toBe('refutable');
+    });
+    (0, vitest_1.it)('derive: modus ponens', () => {
+        const theory = {
+            ...emptyTheory,
+            axioms: new Map([
+                ['mp1', implies(atom('P'), atom('Q'))],
+                ['mp2', atom('P')],
+            ]),
+        };
+        const r = p.derive(atom('Q'), ['mp1', 'mp2'], theory);
+        (0, vitest_1.expect)(r.status).toBeDefined();
+    });
+    (0, vitest_1.it)('derive with no premises uses checkValid', () => {
+        const r = p.derive(implies(atom('P'), atom('P')), [], emptyTheory);
+        (0, vitest_1.expect)(r.status).toBeDefined();
+    });
+    (0, vitest_1.it)('derive with missing premise handles gracefully', () => {
+        const r = p.derive(atom('P'), ['nonExistent'], emptyTheory);
+        (0, vitest_1.expect)(r.status).toBeDefined();
+    });
+    (0, vitest_1.it)('explain returns RunResult with detailed output', () => {
+        const r = p.explain(implies(atom('P'), atom('P')));
+        (0, vitest_1.expect)(typeof r.output).toBe('string');
+        (0, vitest_1.expect)(r.output.length).toBeGreaterThan(20);
+    });
+    (0, vitest_1.it)('explain on contingent formula includes truth table', () => {
+        const r = p.explain(atom('P'));
+        (0, vitest_1.expect)(typeof r.output).toBe('string');
+    });
+    (0, vitest_1.it)('checkWellFormed flags well-formed P as no diagnostics', () => {
+        (0, vitest_1.expect)(p.checkWellFormed(atom('P'))).toEqual([]);
+    });
+    (0, vitest_1.it)('checkWellFormed flags unnamed atom', () => {
+        (0, vitest_1.expect)(p.checkWellFormed({ kind: 'atom', name: '' }).length).toBeGreaterThan(0);
+    });
+    (0, vitest_1.it)('checkWellFormed flags negation without args', () => {
+        (0, vitest_1.expect)(p.checkWellFormed({ kind: 'not' }).length).toBeGreaterThan(0);
+    });
+    (0, vitest_1.it)('checkWellFormed flags binary op missing args', () => {
+        (0, vitest_1.expect)(p.checkWellFormed({ kind: 'and', args: [atom('P')] }).length).toBeGreaterThan(0);
+    });
+    (0, vitest_1.it)('checkWellFormed flags quantifiers/predicates/modal as unsupported', () => {
+        const fq = { kind: 'forall', variable: 'x', args: [atom('P')] };
+        (0, vitest_1.expect)(p.checkWellFormed(fq).length).toBeGreaterThan(0);
+        const fp = { kind: 'predicate', name: 'P', params: ['x'] };
+        (0, vitest_1.expect)(p.checkWellFormed(fp).length).toBeGreaterThan(0);
+        const fm = { kind: 'modal_necessity', args: [atom('P')] };
+        (0, vitest_1.expect)(p.checkWellFormed(fm).length).toBeGreaterThan(0);
+    });
+    (0, vitest_1.it)('truthTable: P & Q has 4 rows', () => {
+        const tt = p.truthTable(and(atom('P'), atom('Q')));
+        (0, vitest_1.expect)(tt.rows.length).toBe(4);
+        (0, vitest_1.expect)(tt.isTautology).toBe(false);
+        (0, vitest_1.expect)(tt.isSatisfiable).toBe(true);
+    });
+    (0, vitest_1.it)('truthTable: P | !P always true', () => {
+        const tt = p.truthTable(or(atom('P'), not(atom('P'))));
+        (0, vitest_1.expect)(tt.isTautology).toBe(true);
+    });
+    (0, vitest_1.it)('truthTable: P & !P always false', () => {
+        const tt = p.truthTable(and(atom('P'), not(atom('P'))));
+        (0, vitest_1.expect)(tt.isSatisfiable).toBe(false);
+    });
+    (0, vitest_1.it)('handles bigger formulas (8 atoms)', () => {
+        let f = atom('A0');
+        for (let i = 1; i < 8; i++) {
+            f = or(f, atom('A' + i));
+        }
+        const r = p.checkSatisfiable(f);
+        (0, vitest_1.expect)(r.status).toBe('satisfiable');
+    });
+    (0, vitest_1.it)('handles biconditional', () => {
+        const r = p.checkValid(bic(implies(atom('P'), atom('Q')), or(not(atom('P')), atom('Q'))));
+        (0, vitest_1.expect)(r.status).toBe('valid');
+    });
+    (0, vitest_1.it)('nested formula', () => {
+        const f = implies(and(implies(atom('P'), atom('Q')), atom('P')), atom('Q'));
+        const r = p.checkValid(f);
+        (0, vitest_1.expect)(r.status).toBe('valid');
+    });
+});
+//# sourceMappingURL=classical-propositional-direct.test.js.map

package/dist/tests/coverage-95/classical-propositional-direct.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"classical-propositional-direct.test.js","sourceRoot":"","sources":["../../../src/tests/coverage-95/classical-propositional-direct.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,0EAAgF;AAGhF,MAAM,IAAI,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AACjE,MAAM,GAAG,GAAG,CAAC,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAClE,MAAM,GAAG,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AACjF,MAAM,EAAE,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AAC/E,MAAM,OAAO,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AACzF,MAAM,GAAG,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AAE3F,MAAM,WAAW,GAAW;IAC1B,OAAO,EAAE,yBAAyB;IAClC,MAAM,EAAE,IAAI,GAAG,EAAE;IACjB,QAAQ,EAAE,IAAI,GAAG,EAAE;IACnB,MAAM,EAAE,IAAI,GAAG,EAAE;IACjB,SAAS,EAAE,EAAE;CACd,CAAC;AAEF,IAAA,iBAAQ,EAAC,qDAAqD,EAAE,GAAG,EAAE;IACnE,MAAM,CAAC,GAAG,IAAI,sCAAsB,EAAE,CAAC;IAEvC,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAY,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;QACnE,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,CAAC,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC/C,MAAM,CAAC,GAAG,CAAC,CAAC,eAAe,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kDAAkD,EAAE,GAAG,EAAE;QAC1D,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,MAAM,GAAW;YACrB,GAAG,WAAW;YACd,MAAM,EAAE,IAAI,GAAG,CAAC;gBACd,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;gBACrC,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;aAClB,CAAC;SACH,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,MAAM,GAAW;YACrB,GAAG,WAAW;YACd,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SACpC,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,MAAM,GAAW;YACrB,GAAG,WAAW;YACd,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SACpC,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,MAAM,GAAW;YACrB,GAAG,WAAW;YACd,MAAM,EAAE,IAAI,GAAG,CAAC;gBACd,CAAC,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;gBACtC,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;aACnB,CAAC;SACH,CAAC;QACF,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,MAAM,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,WAAW,CAAC,CAAC;QACnE,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,aAAa,CAAC,EAAE,WAAW,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,CAAC,CAAC,MAAO,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,IAAA,eAAM,EAAC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,IAAA,eAAM,EAAC,CAAC,CAAC,eAAe,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,IAAA,eAAM,EAAC,CAAC,CAAC,eAAe,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,IAAA,eAAM,EAAC,CAAC,CAAC,eAAe,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC1F,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mEAAmE,EAAE,GAAG,EAAE;QAC3E,MAAM,EAAE,GAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACzE,IAAA,eAAM,EAAC,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,EAAE,GAAY,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC;QACpE,IAAA,eAAM,EAAC,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACxD,MAAM,EAAE,GAAY,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACnE,IAAA,eAAM,EAAC,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,EAAE,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,EAAE,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,EAAE,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,EAAE,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,IAAI,CAAC,GAAY,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC3B,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3B,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1F,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5E,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/coverage-95/compat.test.d.ts

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

package/dist/tests/coverage-95/compat.test.d.ts.map

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