@stevenvo780/st-lang 4.0.1 → 4.2.0

package/dist/tests/coverage-95/api-and-interpreter-e2e.test.js

@@ -0,0 +1,255 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const api_1 = require("../../api");
+const interpreter_1 = require("../../runtime/interpreter");
+const interface_1 = require("../../profiles/interface");
+(0, vitest_1.describe)('api — evaluate / parse / check / quickEval', () => {
+    (0, vitest_1.it)('evaluate succeeds on valid ST script', () => {
+        const r = (0, api_1.evaluate)(`logic classical.propositional
+axiom a1 : P -> Q
+axiom a2 : P
+derive Q from a1, a2
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.exitCode).toBe(0);
+        (0, vitest_1.expect)(r.results.length).toBeGreaterThanOrEqual(1);
+        (0, vitest_1.expect)(r.stdout.length).toBeGreaterThan(0);
+    });
+    (0, vitest_1.it)('evaluate reports parse error with exitCode 1', () => {
+        const r = (0, api_1.evaluate)('logic\n@@@@\n');
+        (0, vitest_1.expect)(r.ok).toBe(false);
+        (0, vitest_1.expect)(r.exitCode).toBe(1);
+        (0, vitest_1.expect)(r.stderr.length).toBeGreaterThan(0);
+    });
+    (0, vitest_1.it)('parse: returns program on success', () => {
+        const r = (0, api_1.parse)('logic classical.propositional\naxiom a : P\n');
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.program).not.toBeNull();
+        (0, vitest_1.expect)(r.program.statements.length).toBe(2);
+    });
+    (0, vitest_1.it)('parse: returns null program on error', () => {
+        const r = (0, api_1.parse)('axiom : ::\n');
+        (0, vitest_1.expect)(r.ok).toBe(false);
+        (0, vitest_1.expect)(r.program).toBeNull();
+    });
+    (0, vitest_1.it)('check: ok=true for valid syntax', () => {
+        const r = (0, api_1.check)('logic classical.propositional\n');
+        (0, vitest_1.expect)(r.ok).toBe(true);
+    });
+    (0, vitest_1.it)('check: ok=false for syntax error', () => {
+        const r = (0, api_1.check)('axiom : ::\n');
+        (0, vitest_1.expect)(r.ok).toBe(false);
+    });
+    (0, vitest_1.it)('quickEval auto-prepends classical.propositional', () => {
+        const r = (0, api_1.quickEval)('check valid (P -> (Q -> P))');
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0]?.status).toBe('valid');
+    });
+    (0, vitest_1.it)('quickEval handles invalid expression', () => {
+        const r = (0, api_1.quickEval)('check valid (P & !P)');
+        (0, vitest_1.expect)(r.results[0]?.status).toBe('invalid');
+    });
+});
+(0, vitest_1.describe)('api — listProfiles', () => {
+    (0, vitest_1.it)('returns at least the built-in profiles', () => {
+        const profiles = (0, api_1.listProfiles)();
+        (0, vitest_1.expect)(profiles).toContain('classical.propositional');
+        (0, vitest_1.expect)(profiles).toContain('classical.first_order');
+        (0, vitest_1.expect)(profiles.length).toBeGreaterThan(5);
+    });
+});
+(0, vitest_1.describe)('api — createInterpreter (stateful)', () => {
+    (0, vitest_1.it)('exec maintains state across calls', () => {
+        const st = (0, api_1.createInterpreter)();
+        (0, vitest_1.expect)(st.getProfile()).toBeNull();
+        st.exec('logic classical.propositional');
+        (0, vitest_1.expect)(st.getProfile()).toBe('classical.propositional');
+        st.exec('axiom a1 : P -> Q');
+        st.exec('axiom a2 : P');
+        (0, vitest_1.expect)(st.getAxioms()).toContain('a1');
+        (0, vitest_1.expect)(st.getAxioms()).toContain('a2');
+        const r = st.exec('derive Q from a1, a2');
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        const sum = st.getTheorySummary();
+        (0, vitest_1.expect)(sum.profile).toBe('classical.propositional');
+        (0, vitest_1.expect)(sum.axioms).toEqual(vitest_1.expect.arrayContaining(['a1', 'a2']));
+        (0, vitest_1.expect)(sum.judgmentCount).toBeGreaterThanOrEqual(0);
+        (0, vitest_1.expect)(st.getHistory().length).toBeGreaterThan(0);
+    });
+    (0, vitest_1.it)('reset clears state', () => {
+        const st = (0, api_1.createInterpreter)();
+        st.exec('logic classical.propositional');
+        st.exec('axiom a1 : P');
+        st.reset();
+        (0, vitest_1.expect)(st.getProfile()).toBeNull();
+        (0, vitest_1.expect)(st.getAxioms()).toEqual([]);
+        (0, vitest_1.expect)(st.getHistory()).toEqual([]);
+    });
+    (0, vitest_1.it)('exec accumulates theorems and claims', () => {
+        const st = (0, api_1.createInterpreter)();
+        st.exec('logic classical.propositional');
+        st.exec('theorem t1 : P -> P');
+        (0, vitest_1.expect)(st.getTheorems()).toContain('t1');
+        st.exec('let phi = P -> P');
+        st.exec('claim c1 = phi');
+        const claims = st.getClaims();
+        (0, vitest_1.expect)(claims.length).toBeGreaterThanOrEqual(0);
+    });
+});
+(0, vitest_1.describe)('api — protocol-level wrappers (hover/symbols/goto/completion)', () => {
+    const src = `logic classical.propositional
+axiom a1 : P -> Q
+theorem t1 : P -> P
+`;
+    (0, vitest_1.it)('hover returns content for a symbol', () => {
+        const r = (0, api_1.hover)(src, 2, 9);
+        (0, vitest_1.expect)(r).not.toBeNull();
+        (0, vitest_1.expect)(r.content).toMatch(/Axioma/);
+    });
+    (0, vitest_1.it)('hover returns null when out of range', () => {
+        const r = (0, api_1.hover)(src, 999, 1);
+        (0, vitest_1.expect)(r).toBeNull();
+    });
+    (0, vitest_1.it)('symbols returns list with axiom and theorem', () => {
+        const syms = (0, api_1.symbols)(src);
+        (0, vitest_1.expect)(syms.some((s) => s.kind === 'axiom')).toBe(true);
+        (0, vitest_1.expect)(syms.some((s) => s.kind === 'theorem')).toBe(true);
+    });
+    (0, vitest_1.it)('gotoDefinition finds existing name', () => {
+        const r = (0, api_1.gotoDefinition)(src, 'a1');
+        (0, vitest_1.expect)(r).not.toBeNull();
+        (0, vitest_1.expect)(r.line).toBe(2);
+    });
+    (0, vitest_1.it)('gotoDefinition returns null for missing name', () => {
+        const r = (0, api_1.gotoDefinition)(src, 'nope');
+        (0, vitest_1.expect)(r).toBeNull();
+    });
+    (0, vitest_1.it)('completion returns a list', () => {
+        const items = (0, api_1.completion)();
+        (0, vitest_1.expect)(items.length).toBeGreaterThan(10);
+    });
+});
+(0, vitest_1.describe)('api — format utilities', () => {
+    const atom = (n) => ({ kind: 'atom', name: n });
+    const and = (a, b) => ({ kind: 'and', args: [a, b] });
+    (0, vitest_1.it)('formulaToString produces ascii-ish', () => {
+        (0, vitest_1.expect)((0, api_1.formulaToString)(and(atom('P'), atom('Q')))).toContain('&');
+    });
+    (0, vitest_1.it)('formulaToUnicode produces unicode operators', () => {
+        (0, vitest_1.expect)((0, api_1.formulaToUnicode)(and(atom('P'), atom('Q')))).toContain('∧');
+    });
+    (0, vitest_1.it)('formulaToLaTeX produces TeX commands', () => {
+        (0, vitest_1.expect)((0, api_1.formulaToLaTeX)(and(atom('P'), atom('Q')))).toMatch(/\\(land|wedge|cap)|\\to|\\&/);
+    });
+    (0, vitest_1.it)('detectFallacies works given premises, conclusion, profile', () => {
+        // affirming the consequent: P -> Q, Q => P
+        const premises = [{ kind: 'implies', args: [atom('P'), atom('Q')] }, atom('Q')];
+        const conclusion = atom('P');
+        (0, vitest_1.expect)((0, api_1.listProfiles)().length).toBeGreaterThan(0);
+        new interpreter_1.Interpreter();
+        const p = interface_1.registry.get('classical.propositional');
+        if (!p)
+            throw new Error('no profile');
+        const fs = (0, api_1.detectFallacies)(premises, conclusion, p);
+        (0, vitest_1.expect)(Array.isArray(fs)).toBe(true);
+    });
+});
+(0, vitest_1.describe)('Interpreter — coverage of multiple commands', () => {
+    (0, vitest_1.it)('runs check valid / invalid / satisfiable / equivalent', () => {
+        const src = `logic classical.propositional
+check valid (P -> P)
+check valid (P & !P)
+check satisfiable (P | !P)
+check equivalent (P & Q), (Q & P)
+`;
+        const out = new interpreter_1.Interpreter().execute(src);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.results.length).toBe(4);
+    });
+    (0, vitest_1.it)('runs countermodel and truth_table commands', () => {
+        const src = `logic classical.propositional
+countermodel (P -> Q)
+truth_table (P & Q)
+`;
+        const out = new interpreter_1.Interpreter().execute(src);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    });
+    (0, vitest_1.it)('runs explain', () => {
+        const src = `logic classical.propositional
+explain (P -> P)
+`;
+        const out = new interpreter_1.Interpreter().execute(src);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    });
+    (0, vitest_1.it)('runs let and print', () => {
+        const src = `logic arithmetic
+let x = 5
+print x
+let y = x + 3
+print y
+`;
+        const out = new interpreter_1.Interpreter().execute(src);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('5');
+    });
+    (0, vitest_1.it)('runs if/else statement', () => {
+        const src = `logic classical.propositional
+if valid (P -> P) {
+  print "ok"
+} else {
+  print "no"
+}
+`;
+        const out = new interpreter_1.Interpreter().execute(src);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('ok');
+    });
+    (0, vitest_1.it)('runs fn declaration and call', () => {
+        const src = `logic arithmetic
+fn double(x) {
+  return x * 2
+}
+let r = double(7)
+print r
+`;
+        const out = new interpreter_1.Interpreter().execute(src);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+        (0, vitest_1.expect)(out.stdout).toContain('14');
+    });
+    (0, vitest_1.it)('runs theory with members', () => {
+        const src = `logic classical.propositional
+theory Persona(nombre) {
+  let id = nombre
+  axiom existencia : P
+  theorem identidad : P -> P
+}
+`;
+        const out = new interpreter_1.Interpreter().execute(src);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    });
+    (0, vitest_1.it)('runs define and unfold', () => {
+        const src = `logic classical.propositional
+define Mortal(x) := P -> Q
+unfold Mortal(s)
+`;
+        const out = new interpreter_1.Interpreter().execute(src);
+        (0, vitest_1.expect)(typeof out.stdout).toBe('string');
+    });
+    (0, vitest_1.it)('handles source declaration', () => {
+        const src = `logic classical.propositional
+source Kant24 { author "Kant" }
+`;
+        const out = new interpreter_1.Interpreter().execute(src);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    });
+    (0, vitest_1.it)('handles glossary command', () => {
+        const src = `logic classical.propositional
+define M(x) := P
+glossary
+`;
+        const out = new interpreter_1.Interpreter().execute(src);
+        (0, vitest_1.expect)(out.exitCode).toBe(0);
+    });
+});
+//# sourceMappingURL=api-and-interpreter-e2e.test.js.map

package/dist/tests/coverage-95/api-and-interpreter-e2e.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"api-and-interpreter-e2e.test.js","sourceRoot":"","sources":["../../../src/tests/coverage-95/api-and-interpreter-e2e.test.ts"],"names":[],"mappings":";;AAAA,mCAA8C;AAC9C,mCAemB;AACnB,2DAAwD;AACxD,wDAAoD;AAGpD,IAAA,iBAAQ,EAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;CAItB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC,eAAe,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,IAAA,WAAK,EAAC,8CAA8C,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACjC,IAAA,eAAM,EAAC,CAAC,CAAC,OAAQ,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,WAAK,EAAC,cAAc,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,CAAC,GAAG,IAAA,WAAK,EAAC,iCAAiC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,CAAC,GAAG,IAAA,WAAK,EAAC,cAAc,CAAC,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,CAAC,GAAG,IAAA,eAAS,EAAC,6BAA6B,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,eAAS,EAAC,sBAAsB,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,QAAQ,GAAG,IAAA,kBAAY,GAAE,CAAC;QAChC,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,yBAAyB,CAAC,CAAC;QACtD,IAAA,eAAM,EAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,uBAAuB,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,EAAE,GAAG,IAAA,uBAAiB,GAAE,CAAC;QAC/B,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;QACnC,EAAE,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;QAExD,EAAE,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QAC7B,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACxB,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAEvC,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAExB,MAAM,GAAG,GAAG,EAAE,CAAC,gBAAgB,EAAE,CAAC;QAClC,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,eAAM,CAAC,eAAe,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,GAAG,CAAC,aAAa,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;QAEpD,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,EAAE,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,EAAE,GAAG,IAAA,uBAAiB,GAAE,CAAC;QAC/B,EAAE,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;QACzC,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACxB,EAAE,CAAC,KAAK,EAAE,CAAC;QACX,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC;QACnC,IAAA,eAAM,EAAC,EAAE,CAAC,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACnC,IAAA,eAAM,EAAC,EAAE,CAAC,UAAU,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,EAAE,GAAG,IAAA,uBAAiB,GAAE,CAAC;QAC/B,EAAE,CAAC,IAAI,CAAC,+BAA+B,CAAC,CAAC;QACzC,EAAE,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAEzC,EAAE,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC5B,EAAE,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC1B,MAAM,MAAM,GAAG,EAAE,CAAC,SAAS,EAAE,CAAC;QAC9B,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,+DAA+D,EAAE,GAAG,EAAE;IAC7E,MAAM,GAAG,GAAG;;;CAGb,CAAC;IAEA,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,IAAA,WAAK,EAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,CAAE,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,IAAA,WAAK,EAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,IAAI,GAAG,IAAA,aAAO,EAAC,GAAG,CAAC,CAAC;QAC1B,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,IAAA,oBAAc,EAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC;QACzB,IAAA,eAAM,EAAC,CAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,IAAA,oBAAc,EAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACvB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,KAAK,GAAG,IAAA,gBAAU,GAAE,CAAC;QAC3B,IAAA,eAAM,EAAC,KAAK,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,MAAM,IAAI,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;IACjE,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;IAEjF,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,IAAA,eAAM,EAAC,IAAA,qBAAe,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,IAAA,eAAM,EAAC,IAAA,sBAAgB,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,IAAA,eAAM,EAAC,IAAA,oBAAc,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,6BAA6B,CAAC,CAAC;IAC3F,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,2CAA2C;QAC3C,MAAM,QAAQ,GAAc,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3F,MAAM,UAAU,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,IAAA,kBAAY,GAAE,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACjD,IAAI,yBAAW,EAAE,CAAC;QAClB,MAAM,CAAC,GAAG,oBAAQ,CAAC,GAAG,CAAC,yBAAyB,CAAC,CAAC;QAClD,IAAI,CAAC,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,YAAY,CAAC,CAAC;QACtC,MAAM,EAAE,GAAG,IAAA,qBAAe,EAAC,QAAQ,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC;QACpD,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,6CAA6C,EAAE,GAAG,EAAE;IAC3D,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,GAAG,GAAG;;;;;CAKf,CAAC;QACE,MAAM,GAAG,GAAG,IAAI,yBAAW,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,GAAG,GAAG;;;CAGf,CAAC;QACE,MAAM,GAAG,GAAG,IAAI,yBAAW,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,cAAc,EAAE,GAAG,EAAE;QACtB,MAAM,GAAG,GAAG;;CAEf,CAAC;QACE,MAAM,GAAG,GAAG,IAAI,yBAAW,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,GAAG,GAAG;;;;;CAKf,CAAC;QACE,MAAM,GAAG,GAAG,IAAI,yBAAW,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,GAAG,GAAG;;;;;;CAMf,CAAC;QACE,MAAM,GAAG,GAAG,IAAI,yBAAW,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,GAAG,GAAG;;;;;;CAMf,CAAC;QACE,MAAM,GAAG,GAAG,IAAI,yBAAW,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC7B,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACrC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,GAAG,GAAG;;;;;;CAMf,CAAC;QACE,MAAM,GAAG,GAAG,IAAI,yBAAW,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,GAAG,GAAG;;;CAGf,CAAC;QACE,MAAM,GAAG,GAAG,IAAI,yBAAW,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,GAAG,GAAG;;CAEf,CAAC;QACE,MAAM,GAAG,GAAG,IAAI,yBAAW,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC/B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,GAAG,GAAG;;;CAGf,CAAC;QACE,MAAM,GAAG,GAAG,IAAI,yBAAW,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QAC3C,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/argumentation.test.d.ts

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

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

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

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

@@ -0,0 +1,105 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const extensions_1 = require("../../argumentation/extensions");
+function af(args, attacks) {
+    return { arguments: new Set(args), attacks };
+}
+(0, vitest_1.describe)('Argumentation — basic frameworks', () => {
+    (0, vitest_1.it)('groundedExtension on empty framework returns empty set', () => {
+        const f = af([], []);
+        const g = (0, extensions_1.groundedExtension)(f);
+        (0, vitest_1.expect)(g.size).toBe(0);
+    });
+    (0, vitest_1.it)('groundedExtension when no attacks contains all args', () => {
+        const f = af(['a', 'b', 'c'], []);
+        const g = (0, extensions_1.groundedExtension)(f);
+        (0, vitest_1.expect)(g.size).toBe(3);
+    });
+    (0, vitest_1.it)('groundedExtension with self-attack excludes self-attacker', () => {
+        const f = af(['a', 'b'], [['a', 'a']]);
+        const g = (0, extensions_1.groundedExtension)(f);
+        (0, vitest_1.expect)(g.has('a')).toBe(false);
+    });
+    (0, vitest_1.it)('two-cycle: grounded is empty', () => {
+        const f = af(['a', 'b'], [
+            ['a', 'b'],
+            ['b', 'a'],
+        ]);
+        const g = (0, extensions_1.groundedExtension)(f);
+        (0, vitest_1.expect)(g.size).toBe(0);
+    });
+    (0, vitest_1.it)('isComplete identifies complete extensions', () => {
+        const f = af(['a', 'b'], [['a', 'b']]);
+        (0, vitest_1.expect)((0, extensions_1.isComplete)(f, new Set(['a']))).toBe(true);
+    });
+    (0, vitest_1.it)('isStable: only when all unincluded args are attacked', () => {
+        const f = af(['a', 'b'], [['a', 'b']]);
+        (0, vitest_1.expect)((0, extensions_1.isStable)(f, new Set(['a']))).toBe(true);
+        (0, vitest_1.expect)((0, extensions_1.isStable)(f, new Set())).toBe(false);
+    });
+});
+(0, vitest_1.describe)('Argumentation — semantics', () => {
+    const f1 = af(['a', 'b'], [
+        ['a', 'b'],
+        ['b', 'a'],
+    ]);
+    const opts = { exhaustiveLimit: 20, warnOnLarge: false };
+    (0, vitest_1.it)('preferred returns maximal admissible sets', () => {
+        const ext = (0, extensions_1.preferredExtensions)(f1, opts);
+        (0, vitest_1.expect)(ext.length).toBeGreaterThan(0);
+    });
+    (0, vitest_1.it)('complete returns complete extensions', () => {
+        const ext = (0, extensions_1.completeExtensions)(f1, opts);
+        (0, vitest_1.expect)(ext.length).toBeGreaterThan(0);
+    });
+    (0, vitest_1.it)('stable returns stable extensions', () => {
+        const ext = (0, extensions_1.stableExtensions)(f1, opts);
+        (0, vitest_1.expect)(Array.isArray(ext)).toBe(true);
+    });
+    (0, vitest_1.it)('semiStable returns extensions', () => {
+        const ext = (0, extensions_1.semiStableExtensions)(f1, opts);
+        (0, vitest_1.expect)(Array.isArray(ext)).toBe(true);
+    });
+    (0, vitest_1.it)('semiStable on empty AF returns []', () => {
+        const ext = (0, extensions_1.semiStableExtensions)(af([], []), opts);
+        (0, vitest_1.expect)(ext.length).toBeGreaterThanOrEqual(0);
+    });
+});
+(0, vitest_1.describe)('Argumentation — computeExtensions dispatch', () => {
+    const f = af(['a', 'b'], [['a', 'b']]);
+    (0, vitest_1.it)('grounded semantics returns single extension', () => {
+        const ext = (0, extensions_1.computeExtensions)(f, 'grounded');
+        (0, vitest_1.expect)(ext.length).toBe(1);
+    });
+    (0, vitest_1.it)('preferred semantics', () => {
+        (0, vitest_1.expect)((0, extensions_1.computeExtensions)(f, 'preferred').length).toBeGreaterThan(0);
+    });
+    (0, vitest_1.it)('stable semantics', () => {
+        (0, vitest_1.expect)(Array.isArray((0, extensions_1.computeExtensions)(f, 'stable'))).toBe(true);
+    });
+    (0, vitest_1.it)('complete semantics', () => {
+        (0, vitest_1.expect)((0, extensions_1.computeExtensions)(f, 'complete').length).toBeGreaterThan(0);
+    });
+    (0, vitest_1.it)('semi-stable semantics', () => {
+        (0, vitest_1.expect)(Array.isArray((0, extensions_1.computeExtensions)(f, 'semi-stable'))).toBe(true);
+    });
+    (0, vitest_1.it)('warns on large frameworks', () => {
+        const big = af(['a', 'b', 'c'], []);
+        const warnSpy = vitest_1.vi.spyOn(console, 'warn').mockImplementation(() => undefined);
+        (0, extensions_1.computeExtensions)(big, 'preferred', { exhaustiveLimit: 2, warnOnLarge: true });
+        (0, vitest_1.expect)(warnSpy).toHaveBeenCalled();
+        warnSpy.mockRestore();
+    });
+});
+(0, vitest_1.describe)('Argumentation — lazyAdmissibleSets', () => {
+    (0, vitest_1.it)('yields all admissible subsets', () => {
+        const sets = Array.from((0, extensions_1.lazyAdmissibleSets)(af(['a'], [])));
+        (0, vitest_1.expect)(sets.length).toBeGreaterThan(0);
+    });
+    (0, vitest_1.it)('throws when n > 30', () => {
+        const big = af(Array.from({ length: 31 }, (_, i) => 'a' + i), []);
+        (0, vitest_1.expect)(() => Array.from((0, extensions_1.lazyAdmissibleSets)(big))).toThrow();
+    });
+});
+//# sourceMappingURL=argumentation.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"argumentation.test.js","sourceRoot":"","sources":["../../../src/tests/coverage-95/argumentation.test.ts"],"names":[],"mappings":";;AAAA,mCAAkD;AAClD,+DAUwC;AAGxC,SAAS,EAAE,CAAC,IAAc,EAAE,OAAgC;IAC1D,OAAO,EAAE,SAAS,EAAE,IAAI,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC;AAC/C,CAAC;AAED,IAAA,iBAAQ,EAAC,kCAAkC,EAAE,GAAG,EAAE;IAChD,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QACrB,MAAM,CAAC,GAAG,IAAA,8BAAiB,EAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;QAClC,MAAM,CAAC,GAAG,IAAA,8BAAiB,EAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2DAA2D,EAAE,GAAG,EAAE;QACnE,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,IAAA,8BAAiB,EAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,CAAC,GAAG,EAAE,CACV,CAAC,GAAG,EAAE,GAAG,CAAC,EACV;YACE,CAAC,GAAG,EAAE,GAAG,CAAC;YACV,CAAC,GAAG,EAAE,GAAG,CAAC;SACX,CACF,CAAC;QACF,MAAM,CAAC,GAAG,IAAA,8BAAiB,EAAC,CAAC,CAAC,CAAC;QAC/B,IAAA,eAAM,EAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,uBAAU,EAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,IAAA,qBAAQ,EAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAA,qBAAQ,EAAC,CAAC,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,MAAM,EAAE,GAAG,EAAE,CACX,CAAC,GAAG,EAAE,GAAG,CAAC,EACV;QACE,CAAC,GAAG,EAAE,GAAG,CAAC;QACV,CAAC,GAAG,EAAE,GAAG,CAAC;KACX,CACF,CAAC;IACF,MAAM,IAAI,GAAG,EAAE,eAAe,EAAE,EAAE,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC;IAEzD,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,GAAG,GAAG,IAAA,gCAAmB,EAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,GAAG,GAAG,IAAA,+BAAkB,EAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,GAAG,GAAG,IAAA,6BAAgB,EAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,GAAG,GAAG,IAAA,iCAAoB,EAAC,EAAE,EAAE,IAAI,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,GAAG,GAAG,IAAA,iCAAoB,EAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,4CAA4C,EAAE,GAAG,EAAE;IAC1D,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IAEvC,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,GAAG,GAAG,IAAA,8BAAiB,EAAC,CAAC,EAAE,UAAU,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,IAAA,eAAM,EAAC,IAAA,8BAAiB,EAAC,CAAC,EAAE,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,IAAA,8BAAiB,EAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,IAAA,eAAM,EAAC,IAAA,8BAAiB,EAAC,CAAC,EAAE,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,IAAA,eAAM,EAAC,KAAK,CAAC,OAAO,CAAC,IAAA,8BAAiB,EAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,GAAG,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC;QACpC,MAAM,OAAO,GAAG,WAAE,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,kBAAkB,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QAC9E,IAAA,8BAAiB,EAAC,GAAG,EAAE,WAAW,EAAE,EAAE,eAAe,EAAE,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/E,IAAA,eAAM,EAAC,OAAO,CAAC,CAAC,gBAAgB,EAAE,CAAC;QACnC,OAAO,CAAC,WAAW,EAAE,CAAC;IACxB,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAA,+BAAkB,EAAC,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,IAAI,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,GAAG,GAAG,EAAE,CACZ,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,EAC7C,EAAE,CACH,CAAC;QACF,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAA,+BAAkB,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

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

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

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

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":""}