@stevenvo780/st-lang 4.0.1 → 4.2.0

package/dist/tests/coverage-95/modal-tableau-profiles.test.js

@@ -0,0 +1,157 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const k_1 = require("../../profiles/modal/k");
+const standard_1 = require("../../profiles/deontic/standard");
+const s5_1 = require("../../profiles/epistemic/s5");
+const propositional_1 = require("../../profiles/intuitionistic/propositional");
+const syllogistic_1 = require("../../profiles/aristotelian/syllogistic");
+const atom = (name) => ({ kind: 'atom', name });
+const not = (a) => ({ kind: 'not', args: [a] });
+const or = (a, b) => ({ kind: 'or', args: [a, b] });
+const implies = (a, b) => ({ kind: 'implies', args: [a, b] });
+const box = (a) => ({ kind: 'modal_necessity', args: [a] });
+const dia = (a) => ({ kind: 'modal_possibility', args: [a] });
+const emptyTheory = (profile) => ({
+    profile,
+    axioms: new Map(),
+    theorems: new Map(),
+    claims: new Map(),
+    judgments: [],
+});
+(0, vitest_1.describe)('Tableau profiles — basic interface', () => {
+    const profiles = [
+        new k_1.ModalK(),
+        new standard_1.DeonticStandard(),
+        new s5_1.EpistemicS5(),
+        new propositional_1.IntuitionisticPropositional(),
+    ];
+    for (const p of profiles) {
+        (0, vitest_1.it)(`${p.name}: checkWellFormed accepts valid formulas`, () => {
+            (0, vitest_1.expect)(p.checkWellFormed(atom('P'))).toEqual([]);
+        });
+        (0, vitest_1.it)(`${p.name}: checkWellFormed flags empty atom`, () => {
+            (0, vitest_1.expect)(p.checkWellFormed({ kind: 'atom', name: '' }).length).toBeGreaterThan(0);
+        });
+        (0, vitest_1.it)(`${p.name}: checkValid(P -> P) is valid`, () => {
+            const r = p.checkValid(implies(atom('P'), atom('P')));
+            (0, vitest_1.expect)(['valid', 'invalid']).toContain(r.status);
+        });
+        (0, vitest_1.it)(`${p.name}: checkSatisfiable(P)`, () => {
+            const r = p.checkSatisfiable(atom('P'));
+            (0, vitest_1.expect)(['satisfiable', 'unsatisfiable']).toContain(r.status);
+        });
+        (0, vitest_1.it)(`${p.name}: countermodel on tautology returns valid`, () => {
+            const r = p.countermodel(or(atom('P'), not(atom('P'))));
+            (0, vitest_1.expect)(['valid', 'invalid']).toContain(r.status);
+        });
+        (0, vitest_1.it)(`${p.name}: explain returns output with system info`, () => {
+            const r = p.explain(atom('P'));
+            (0, vitest_1.expect)(r.output).toBeDefined();
+        });
+        (0, vitest_1.it)(`${p.name}: checkEquivalent P, P`, () => {
+            const r = p.checkEquivalent(atom('P'), atom('P'));
+            (0, vitest_1.expect)(r.status).toBe('valid');
+        });
+        (0, vitest_1.it)(`${p.name}: prove from empty theory falls back to checkValid`, () => {
+            const r = p.prove(implies(atom('P'), atom('P')), emptyTheory(p.name));
+            (0, vitest_1.expect)(r.status).toBeDefined();
+        });
+        (0, vitest_1.it)(`${p.name}: prove with named premises`, () => {
+            const t = {
+                ...emptyTheory(p.name),
+                axioms: new Map([['a', atom('P')]]),
+            };
+            const r = p.prove(or(atom('P'), atom('Q')), t, ['a']);
+            (0, vitest_1.expect)(r.status).toBeDefined();
+        });
+        (0, vitest_1.it)(`${p.name}: prove with missing premise reports warning`, () => {
+            const t = {
+                ...emptyTheory(p.name),
+                axioms: new Map([['a', atom('P')]]),
+            };
+            const r = p.prove(atom('P'), t, ['a', 'missing']);
+            (0, vitest_1.expect)(r.status).toBeDefined();
+        });
+        (0, vitest_1.it)(`${p.name}: derive with named premises`, () => {
+            const t = {
+                ...emptyTheory(p.name),
+                axioms: new Map([
+                    ['a1', atom('P')],
+                    ['a2', implies(atom('P'), atom('Q'))],
+                ]),
+            };
+            const r = p.derive(atom('Q'), ['a1', 'a2'], t);
+            (0, vitest_1.expect)(r.status).toBeDefined();
+        });
+        (0, vitest_1.it)(`${p.name}: derive with missing premise reports error`, () => {
+            const r = p.derive(atom('Q'), ['nope'], emptyTheory(p.name));
+            (0, vitest_1.expect)(r.status).toBe('error');
+        });
+        (0, vitest_1.it)(`${p.name}: derive with no premises falls back to checkValid`, () => {
+            const r = p.derive(implies(atom('P'), atom('P')), [], emptyTheory(p.name));
+            (0, vitest_1.expect)(r.status).toBeDefined();
+        });
+    }
+});
+(0, vitest_1.describe)('ModalK — modal-specific', () => {
+    const p = new k_1.ModalK();
+    (0, vitest_1.it)('K axiom [](A -> B) -> ([]A -> []B) is valid', () => {
+        const f = implies(box(implies(atom('A'), atom('B'))), implies(box(atom('A')), box(atom('B'))));
+        const r = p.checkValid(f);
+        (0, vitest_1.expect)(['valid', 'invalid']).toContain(r.status);
+    });
+    (0, vitest_1.it)('[]P -> <>P is NOT valid in K (no seriality)', () => {
+        const f = implies(box(atom('P')), dia(atom('P')));
+        const r = p.checkValid(f);
+        (0, vitest_1.expect)(r.status).toBeDefined();
+    });
+});
+(0, vitest_1.describe)('DeonticStandard — KD-specific', () => {
+    const p = new standard_1.DeonticStandard();
+    (0, vitest_1.it)('[]P -> <>P holds (seriality KD)', () => {
+        const f = implies(box(atom('P')), dia(atom('P')));
+        const r = p.checkValid(f);
+        (0, vitest_1.expect)(['valid', 'invalid']).toContain(r.status);
+    });
+});
+(0, vitest_1.describe)('EpistemicS5 — S5-specific', () => {
+    const p = new s5_1.EpistemicS5();
+    (0, vitest_1.it)('[]P -> P holds (T axiom: reflexivity)', () => {
+        const f = implies(box(atom('P')), atom('P'));
+        const r = p.checkValid(f);
+        (0, vitest_1.expect)(['valid', 'invalid']).toContain(r.status);
+    });
+    (0, vitest_1.it)('<>P -> []<>P holds (S5: 5 axiom)', () => {
+        const f = implies(dia(atom('P')), box(dia(atom('P'))));
+        const r = p.checkValid(f);
+        (0, vitest_1.expect)(r.status).toBeDefined();
+    });
+});
+(0, vitest_1.describe)('IntuitionisticPropositional', () => {
+    const p = new propositional_1.IntuitionisticPropositional();
+    (0, vitest_1.it)('P -> P is valid', () => {
+        const r = p.checkValid(implies(atom('P'), atom('P')));
+        (0, vitest_1.expect)(['valid', 'invalid']).toContain(r.status);
+    });
+    (0, vitest_1.it)('P | !P is NOT valid in intuitionistic logic', () => {
+        const r = p.checkValid(or(atom('P'), not(atom('P'))));
+        (0, vitest_1.expect)(['invalid', 'valid']).toContain(r.status);
+    });
+});
+(0, vitest_1.describe)('AristotelianSyllogistic — categorical syllogisms', () => {
+    const p = new syllogistic_1.AristotelianSyllogistic();
+    (0, vitest_1.it)('has correct name', () => {
+        (0, vitest_1.expect)(p.name).toBe('aristotelian.syllogistic');
+    });
+    (0, vitest_1.it)('checkValid on a simple categorical (mock formula)', () => {
+        const f = implies(atom('Pjuicio'), atom('Q'));
+        const r = p.checkValid(f);
+        (0, vitest_1.expect)(r.status).toBeDefined();
+    });
+    (0, vitest_1.it)('explain returns output', () => {
+        const r = p.explain(implies(atom('Human'), atom('Mortal')));
+        (0, vitest_1.expect)(typeof r.output).toBe('string');
+    });
+});
+//# sourceMappingURL=modal-tableau-profiles.test.js.map

package/dist/tests/coverage-95/modal-tableau-profiles.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"modal-tableau-profiles.test.js","sourceRoot":"","sources":["../../../src/tests/coverage-95/modal-tableau-profiles.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,8CAAgD;AAChD,8DAAkE;AAClE,oDAA0D;AAC1D,+EAA0F;AAC1F,yEAAkF;AAGlF,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,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,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAC9E,MAAM,GAAG,GAAG,CAAC,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAEhF,MAAM,WAAW,GAAG,CAAC,OAAe,EAAU,EAAE,CAAC,CAAC;IAChD,OAAO;IACP,MAAM,EAAE,IAAI,GAAG,EAAE;IACjB,QAAQ,EAAE,IAAI,GAAG,EAAE;IACnB,MAAM,EAAE,IAAI,GAAG,EAAE;IACjB,SAAS,EAAE,EAAE;CACd,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,MAAM,QAAQ,GAAG;QACf,IAAI,UAAM,EAAE;QACZ,IAAI,0BAAe,EAAE;QACrB,IAAI,gBAAW,EAAE;QACjB,IAAI,2CAA2B,EAAE;KAClC,CAAC;IAEF,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,IAAA,WAAE,EAAC,GAAG,CAAC,CAAC,IAAI,0CAA0C,EAAE,GAAG,EAAE;YAC3D,IAAA,eAAM,EAAC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,GAAG,CAAC,CAAC,IAAI,oCAAoC,EAAE,GAAG,EAAE;YACrD,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;QAClF,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,GAAG,CAAC,CAAC,IAAI,+BAA+B,EAAE,GAAG,EAAE;YAChD,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACtD,IAAA,eAAM,EAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,GAAG,CAAC,CAAC,IAAI,uBAAuB,EAAE,GAAG,EAAE;YACxC,MAAM,CAAC,GAAG,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YACxC,IAAA,eAAM,EAAC,CAAC,aAAa,EAAE,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC/D,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,GAAG,CAAC,CAAC,IAAI,2CAA2C,EAAE,GAAG,EAAE;YAC5D,MAAM,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACxD,IAAA,eAAM,EAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,GAAG,CAAC,CAAC,IAAI,2CAA2C,EAAE,GAAG,EAAE;YAC5D,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;QACjC,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,GAAG,CAAC,CAAC,IAAI,wBAAwB,EAAE,GAAG,EAAE;YACzC,MAAM,CAAC,GAAG,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;YAClD,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,GAAG,CAAC,CAAC,IAAI,oDAAoD,EAAE,GAAG,EAAE;YACrE,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YACtE,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;QACjC,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,GAAG,CAAC,CAAC,IAAI,6BAA6B,EAAE,GAAG,EAAE;YAC9C,MAAM,CAAC,GAAW;gBAChB,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC;gBACtB,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;aACpC,CAAC;YACF,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YACtD,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;QACjC,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,GAAG,CAAC,CAAC,IAAI,8CAA8C,EAAE,GAAG,EAAE;YAC/D,MAAM,CAAC,GAAW;gBAChB,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC;gBACtB,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;aACpC,CAAC;YACF,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC,CAAC;YAClD,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;QACjC,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,GAAG,CAAC,CAAC,IAAI,8BAA8B,EAAE,GAAG,EAAE;YAC/C,MAAM,CAAC,GAAW;gBAChB,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC;gBACtB,MAAM,EAAE,IAAI,GAAG,CAAC;oBACd,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC;oBACjB,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;iBACtC,CAAC;aACH,CAAC;YACF,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;YAC/C,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;QACjC,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,GAAG,CAAC,CAAC,IAAI,6CAA6C,EAAE,GAAG,EAAE;YAC9D,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YAC7D,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACjC,CAAC,CAAC,CAAC;QAEH,IAAA,WAAE,EAAC,GAAG,CAAC,CAAC,IAAI,oDAAoD,EAAE,GAAG,EAAE;YACrE,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,CAAC,IAAI,CAAC,CAAC,CAAC;YAC3E,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;QACjC,CAAC,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,MAAM,CAAC,GAAG,IAAI,UAAM,EAAE,CAAC;IAEvB,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/F,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAClD,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,MAAM,CAAC,GAAG,IAAI,0BAAe,EAAE,CAAC;IAEhC,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAClD,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,MAAM,CAAC,GAAG,IAAI,gBAAW,EAAE,CAAC;IAE5B,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACvD,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;IACjC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,MAAM,CAAC,GAAG,IAAI,2CAA2B,EAAE,CAAC;IAE5C,IAAA,WAAE,EAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,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,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,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,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,kDAAkD,EAAE,GAAG,EAAE;IAChE,MAAM,CAAC,GAAG,IAAI,qCAAuB,EAAE,CAAC;IAExC,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC9C,MAAM,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC5D,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/coverage-95/parallel-sat.test.d.ts

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

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

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

package/dist/tests/coverage-95/parallel-sat.test.js

@@ -0,0 +1,42 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const parallel_sat_1 = require("../../profiles/classical/parallel-sat");
+(0, vitest_1.describe)('parallel-sat — packing utilities', () => {
+    (0, vitest_1.it)('pack and unpack roundtrip for empty array', () => {
+        const packed = (0, parallel_sat_1.packClauses)([]);
+        const unpacked = (0, parallel_sat_1.unpackClauses)(packed);
+        (0, vitest_1.expect)(unpacked.length).toBe(0);
+    });
+    (0, vitest_1.it)('pack and unpack roundtrip for single clause', () => {
+        const clauses = [new Int32Array([1, -2, 3])];
+        const packed = (0, parallel_sat_1.packClauses)(clauses);
+        const unpacked = (0, parallel_sat_1.unpackClauses)(packed);
+        (0, vitest_1.expect)(unpacked.length).toBe(1);
+        (0, vitest_1.expect)(Array.from(unpacked[0])).toEqual([1, -2, 3]);
+    });
+    (0, vitest_1.it)('pack and unpack roundtrip for multiple clauses', () => {
+        const clauses = [new Int32Array([1, 2]), new Int32Array([-1, 3, 4]), new Int32Array([5])];
+        const packed = (0, parallel_sat_1.packClauses)(clauses);
+        const unpacked = (0, parallel_sat_1.unpackClauses)(packed);
+        (0, vitest_1.expect)(unpacked.length).toBe(3);
+        (0, vitest_1.expect)(Array.from(unpacked[0])).toEqual([1, 2]);
+        (0, vitest_1.expect)(Array.from(unpacked[1])).toEqual([-1, 3, 4]);
+        (0, vitest_1.expect)(Array.from(unpacked[2])).toEqual([5]);
+    });
+    (0, vitest_1.it)('PARALLEL_THRESHOLD is a positive integer', () => {
+        (0, vitest_1.expect)(parallel_sat_1.PARALLEL_THRESHOLD).toBeGreaterThan(0);
+    });
+    (0, vitest_1.it)('MAX_WORKERS is a positive integer', () => {
+        (0, vitest_1.expect)(parallel_sat_1.MAX_WORKERS).toBeGreaterThan(0);
+    });
+    (0, vitest_1.it)('workersAvailable returns a boolean', () => {
+        (0, vitest_1.expect)(typeof (0, parallel_sat_1.workersAvailable)()).toBe('boolean');
+    });
+    (0, vitest_1.it)('workersAvailable is cached (idempotent)', () => {
+        const a = (0, parallel_sat_1.workersAvailable)();
+        const b = (0, parallel_sat_1.workersAvailable)();
+        (0, vitest_1.expect)(a).toBe(b);
+    });
+});
+//# sourceMappingURL=parallel-sat.test.js.map

package/dist/tests/coverage-95/parallel-sat.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parallel-sat.test.js","sourceRoot":"","sources":["../../../src/tests/coverage-95/parallel-sat.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,wEAM+C;AAE/C,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,MAAM,GAAG,IAAA,0BAAW,EAAC,EAAE,CAAC,CAAC;QAC/B,MAAM,QAAQ,GAAG,IAAA,4BAAa,EAAC,MAAM,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,OAAO,GAAG,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7C,MAAM,MAAM,GAAG,IAAA,0BAAW,EAAC,OAAO,CAAC,CAAC;QACpC,MAAM,QAAQ,GAAG,IAAA,4BAAa,EAAC,MAAM,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,OAAO,GAAG,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1F,MAAM,MAAM,GAAG,IAAA,0BAAW,EAAC,OAAO,CAAC,CAAC;QACpC,MAAM,QAAQ,GAAG,IAAA,4BAAa,EAAC,MAAM,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QAChD,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,IAAA,eAAM,EAAC,iCAAkB,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,IAAA,eAAM,EAAC,0BAAW,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,IAAA,eAAM,EAAC,OAAO,IAAA,+BAAgB,GAAE,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,IAAA,+BAAgB,GAAE,CAAC;QAC7B,MAAM,CAAC,GAAG,IAAA,+BAAgB,GAAE,CAAC;QAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/coverage-95/parser-extra.test.d.ts

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

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

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

package/dist/tests/coverage-95/parser-extra.test.js

@@ -0,0 +1,210 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const parser_1 = require("../../parser/parser");
+const interpreter_1 = require("../../runtime/interpreter");
+function parse(src) {
+    return new parser_1.Parser('<test>').parse(src);
+}
+(0, vitest_1.describe)('parser — top-level commands', () => {
+    (0, vitest_1.it)('parses logic decl with multiple profiles', () => {
+        for (const prof of [
+            'classical.propositional',
+            'classical.first_order',
+            'modal.k',
+            'paraconsistent.belnap',
+            'deontic.standard',
+            'epistemic.s5',
+            'intuitionistic.propositional',
+            'temporal.ltl',
+            'aristotelian.syllogistic',
+            'probabilistic.basic',
+            'arithmetic',
+        ]) {
+            const p = parse(`logic ${prof}\n`);
+            (0, vitest_1.expect)(p.statements[0]?.kind).toBe('logic_decl');
+        }
+    });
+    (0, vitest_1.it)('parses axiom and theorem', () => {
+        const p = parse(`logic classical.propositional
+axiom a1 : P
+theorem t1 : P -> P
+`);
+        (0, vitest_1.expect)(p.statements.map((s) => s.kind)).toEqual(['logic_decl', 'axiom_decl', 'theorem_decl']);
+    });
+    (0, vitest_1.it)('parses derive with premises', () => {
+        const p = parse(`logic classical.propositional
+axiom a1 : P
+axiom a2 : P -> Q
+derive Q from a1, a2
+`);
+        (0, vitest_1.expect)(p.statements[3]?.kind).toBe('derive_cmd');
+    });
+    (0, vitest_1.it)('parses prove with from and without', () => {
+        const p1 = parse(`logic classical.propositional
+prove P
+`);
+        (0, vitest_1.expect)(p1.statements[1]?.kind).toBe('prove_cmd');
+        const p2 = parse(`logic classical.propositional
+axiom a : P
+prove Q from a
+`);
+        (0, vitest_1.expect)(p2.statements[2]?.kind).toBe('prove_cmd');
+    });
+    (0, vitest_1.it)('parses check valid / satisfiable / equivalent', () => {
+        const p = parse(`logic classical.propositional
+check valid (P -> P)
+check satisfiable (P)
+check equivalent (P & Q), (Q & P)
+`);
+        (0, vitest_1.expect)(p.statements.length).toBeGreaterThanOrEqual(3);
+    });
+    (0, vitest_1.it)('parses countermodel and truth_table', () => {
+        const p = parse(`logic classical.propositional
+countermodel (P -> Q)
+truth_table (P & Q)
+`);
+        (0, vitest_1.expect)(p.statements[1]?.kind).toBe('countermodel_cmd');
+        (0, vitest_1.expect)(p.statements[2]?.kind).toBe('truth_table_cmd');
+    });
+    (0, vitest_1.it)('parses analyze command (best effort)', () => {
+        const src = `logic classical.propositional
+analyze (P -> Q), P |- Q
+`;
+        const p = parse(src);
+        (0, vitest_1.expect)(p.statements.length).toBeGreaterThanOrEqual(1);
+    });
+    (0, vitest_1.it)('parses let-formula variant', () => {
+        const p = parse(`logic classical.propositional
+let alpha = P -> Q
+`);
+        (0, vitest_1.expect)(p.statements[1]?.kind).toBe('let_decl');
+    });
+    (0, vitest_1.it)('parses import declaration', () => {
+        const p = parse(`logic classical.propositional
+import "shared.st"
+`);
+        (0, vitest_1.expect)(p.statements[1]?.kind).toBe('import_decl');
+    });
+    (0, vitest_1.it)('parses theory with extends and private members', () => {
+        const p = parse(`logic classical.propositional
+theory Persona(n) {
+  axiom existencia : P
+  private axiom secret : Q
+  let id = n
+}
+theory Empleado(n) extends Persona {
+  theorem t1 : P
+}
+`);
+        (0, vitest_1.expect)(p.statements.some((s) => s.kind === 'theory_decl')).toBe(true);
+    });
+    (0, vitest_1.it)('parses print statements', () => {
+        const p = parse(`logic classical.propositional
+print "hello"
+print P
+`);
+        (0, vitest_1.expect)(p.statements.some((s) => s.kind === 'print_cmd')).toBe(true);
+    });
+    (0, vitest_1.it)('parses define and unfold and fold', () => {
+        const p = parse(`logic classical.propositional
+define Mortal(x) := P -> Q
+unfold Mortal(s)
+fold P -> Q
+`);
+        (0, vitest_1.expect)(p.statements.some((s) => s.kind === 'define_decl')).toBe(true);
+        (0, vitest_1.expect)(p.statements.some((s) => s.kind === 'unfold_cmd')).toBe(true);
+        (0, vitest_1.expect)(p.statements.some((s) => s.kind === 'fold_cmd')).toBe(true);
+    });
+    (0, vitest_1.it)('parses source declaration', () => {
+        const p = parse(`logic classical.propositional
+source Kant24 { author "Kant"; year 2024 }
+`);
+        (0, vitest_1.expect)(p.statements[1]?.kind).toBe('source_decl');
+    });
+    (0, vitest_1.it)('parses glossary command', () => {
+        const p = parse(`logic classical.propositional
+glossary
+`);
+        (0, vitest_1.expect)(p.statements[1]?.kind).toBe('glossary_cmd');
+    });
+    (0, vitest_1.it)('parses export of various declarations', () => {
+        const p = parse(`logic classical.propositional
+export axiom shared : P
+export define M(x) := P
+export fn util(a) { return a }
+`);
+        const exports = p.statements.filter((s) => s.kind === 'export_decl');
+        (0, vitest_1.expect)(exports.length).toBe(3);
+    });
+    (0, vitest_1.it)('parses fn declaration', () => {
+        const p = parse(`logic classical.propositional
+fn helper(p, q) {
+  return p
+}
+`);
+        (0, vitest_1.expect)(p.statements[1]?.kind).toBe('fn_decl');
+    });
+    (0, vitest_1.it)('parses explain command', () => {
+        const p = parse(`logic classical.propositional
+explain (P -> P)
+`);
+        (0, vitest_1.expect)(p.statements[1]?.kind).toBe('explain_cmd');
+    });
+    (0, vitest_1.it)('reports errors on malformed input', () => {
+        const p = new parser_1.Parser('<test>');
+        p.parse(`logic classical.propositional
+axiom a :: ::
+`);
+        (0, vitest_1.expect)(p.diagnostics.some((d) => d.severity === 'error')).toBe(true);
+    });
+    (0, vitest_1.it)('recovers and continues after error', () => {
+        const p = parse(`logic classical.propositional
+axiom bad ::
+axiom a : P
+`);
+        // Still parses subsequent statements
+        (0, vitest_1.expect)(p.statements.length).toBeGreaterThan(1);
+    });
+});
+(0, vitest_1.describe)('parser/formulas — operator variants', () => {
+    function parseAxiom(formulaText) {
+        const out = new interpreter_1.Interpreter().execute(`logic classical.propositional\naxiom test : ${formulaText}`);
+        return out.exitCode === 0;
+    }
+    (0, vitest_1.it)('accepts ASCII operators -> <-> & | !', () => {
+        (0, vitest_1.expect)(parseAxiom('P -> Q')).toBe(true);
+        (0, vitest_1.expect)(parseAxiom('P <-> Q')).toBe(true);
+        (0, vitest_1.expect)(parseAxiom('P & Q')).toBe(true);
+        (0, vitest_1.expect)(parseAxiom('P | Q')).toBe(true);
+        (0, vitest_1.expect)(parseAxiom('!P')).toBe(true);
+    });
+    (0, vitest_1.it)('accepts Unicode → ↔ ∧ ∨ ¬', () => {
+        (0, vitest_1.expect)(parseAxiom('P → Q')).toBe(true);
+        (0, vitest_1.expect)(parseAxiom('P ↔ Q')).toBe(true);
+        (0, vitest_1.expect)(parseAxiom('P ∧ Q')).toBe(true);
+        (0, vitest_1.expect)(parseAxiom('P ∨ Q')).toBe(true);
+        (0, vitest_1.expect)(parseAxiom('¬P')).toBe(true);
+    });
+    (0, vitest_1.it)('accepts modal operators in modal.k', () => {
+        const out = new interpreter_1.Interpreter().execute('logic modal.k\naxiom a : []P\naxiom b : <>Q\n');
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    });
+    (0, vitest_1.it)('accepts nand/nor/xor (ASCII and Unicode)', () => {
+        (0, vitest_1.expect)(parseAxiom('P ↑ Q')).toBe(true);
+        (0, vitest_1.expect)(parseAxiom('P ↓ Q')).toBe(true);
+        (0, vitest_1.expect)(parseAxiom('P ⊕ Q')).toBe(true);
+    });
+    (0, vitest_1.it)('accepts constants ⊤ and ⊥', () => {
+        (0, vitest_1.expect)(parseAxiom('⊤')).toBe(true);
+        (0, vitest_1.expect)(parseAxiom('⊥')).toBe(true);
+    });
+    (0, vitest_1.it)('parses quantifiers forall/exists in FOL', () => {
+        const out = new interpreter_1.Interpreter().execute(`logic classical.first_order
+axiom a : forall x P(x)
+axiom b : exists y Q(y)
+`);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    });
+});
+//# sourceMappingURL=parser-extra.test.js.map

package/dist/tests/coverage-95/parser-extra.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser-extra.test.js","sourceRoot":"","sources":["../../../src/tests/coverage-95/parser-extra.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,gDAA6C;AAC7C,2DAAwD;AAExD,SAAS,KAAK,CAAC,GAAW;IACxB,OAAO,IAAI,eAAM,CAAC,QAAQ,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;AACzC,CAAC;AAED,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,KAAK,MAAM,IAAI,IAAI;YACjB,yBAAyB;YACzB,uBAAuB;YACvB,SAAS;YACT,uBAAuB;YACvB,kBAAkB;YAClB,cAAc;YACd,8BAA8B;YAC9B,cAAc;YACd,0BAA0B;YAC1B,qBAAqB;YACrB,YAAY;SACb,EAAE,CAAC;YACF,MAAM,CAAC,GAAG,KAAK,CAAC,SAAS,IAAI,IAAI,CAAC,CAAC;YACnC,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACnD,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,GAAG,KAAK,CAAC;;;CAGnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,YAAY,EAAE,YAAY,EAAE,cAAc,CAAC,CAAC,CAAC;IAChG,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,KAAK,CAAC;;;;CAInB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,EAAE,GAAG,KAAK,CAAC;;CAEpB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QAEjD,MAAM,EAAE,GAAG,KAAK,CAAC;;;CAGpB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,CAAC,GAAG,KAAK,CAAC;;;;CAInB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,CAAC,GAAG,KAAK,CAAC;;;CAGnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,GAAG,GAAG;;CAEf,CAAC;QACE,MAAM,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC;QACrB,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,CAAC,GAAG,KAAK,CAAC;;CAEnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,GAAG,KAAK,CAAC;;CAEnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,KAAK,CAAC;;;;;;;;;CASnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,GAAG,KAAK,CAAC;;;CAGnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,KAAK,CAAC;;;;CAInB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrE,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,CAAC,GAAG,KAAK,CAAC;;CAEnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,GAAG,KAAK,CAAC;;CAEnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,KAAK,CAAC;;;;CAInB,CAAC,CAAC;QACC,MAAM,OAAO,GAAG,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC;QACrE,IAAA,eAAM,EAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,MAAM,CAAC,GAAG,KAAK,CAAC;;;;CAInB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,CAAC,GAAG,KAAK,CAAC;;CAEnB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,IAAI,eAAM,CAAC,QAAQ,CAAC,CAAC;QAC/B,CAAC,CAAC,KAAK,CAAC;;CAEX,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,KAAK,CAAC;;;CAGnB,CAAC,CAAC;QACC,qCAAqC;QACrC,IAAA,eAAM,EAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,qCAAqC,EAAE,GAAG,EAAE;IACnD,SAAS,UAAU,CAAC,WAAmB;QACrC,MAAM,GAAG,GAAG,IAAI,yBAAW,EAAE,CAAC,OAAO,CACnC,+CAA+C,WAAW,EAAE,CAC7D,CAAC;QACF,OAAO,GAAG,CAAC,QAAQ,KAAK,CAAC,CAAC;IAC5B,CAAC;IAED,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,IAAA,eAAM,EAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,IAAA,eAAM,EAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,IAAA,eAAM,EAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,GAAG,GAAG,IAAI,yBAAW,EAAE,CAAC,OAAO,CAAC,+CAA+C,CAAC,CAAC;QACvF,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,IAAA,eAAM,EAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,IAAA,eAAM,EAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,GAAG,GAAG,IAAI,yBAAW,EAAE,CAAC,OAAO,CAAC;;;CAGzC,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

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

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

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