@stevenvo780/st-lang 3.2.3 → 4.0.0

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

@@ -0,0 +1,277 @@
+"use strict";
+/**
+ * Coverage fill — src/profiles/paraconsistent/belnap.ts
+ * Current coverage: ~55% stmts, ~46% branch
+ */
+/* eslint-disable @typescript-eslint/no-unsafe-argument, @typescript-eslint/no-unsafe-assignment, @typescript-eslint/no-unsafe-call, @typescript-eslint/no-unsafe-member-access -- test stubs use partial any casts for brevity */
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const api_1 = require("../api");
+const belnap_1 = require("../profiles/paraconsistent/belnap");
+const profile = new belnap_1.ParaconsistentBelnap();
+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 = () => ({
+    axioms: new Map(),
+    theorems: new Map(),
+    claims: new Map(),
+    judgments: [],
+    profile: 'paraconsistent.belnap',
+});
+// ── checkWellFormed ───────────────────────────────────────────────────────────
+(0, vitest_1.describe)('ParaconsistentBelnap.checkWellFormed', () => {
+    (0, vitest_1.it)('named atom is well-formed', () => {
+        const diags = profile.checkWellFormed(atom('P'));
+        (0, vitest_1.expect)(diags).toHaveLength(0);
+    });
+    (0, vitest_1.it)('unnamed atom gives error', () => {
+        const diags = profile.checkWellFormed({ kind: 'atom' });
+        (0, vitest_1.expect)(diags.some((d) => d.severity === 'error')).toBe(true);
+    });
+    (0, vitest_1.it)('checks nested args recursively', () => {
+        const f = and(atom('P'), { kind: 'atom' });
+        const diags = profile.checkWellFormed(f);
+        (0, vitest_1.expect)(diags.some((d) => d.severity === 'error')).toBe(true);
+    });
+    (0, vitest_1.it)('complex well-formed formula', () => {
+        const f = bic(or(atom('A'), not(atom('B'))), atom('C'));
+        const diags = profile.checkWellFormed(f);
+        (0, vitest_1.expect)(diags).toHaveLength(0);
+    });
+});
+// ── checkValid ────────────────────────────────────────────────────────────────
+(0, vitest_1.describe)('ParaconsistentBelnap.checkValid', () => {
+    (0, vitest_1.it)('P∧¬P is not valid (not always designated)', () => {
+        const f = and(atom('P'), not(atom('P')));
+        const result = profile.checkValid(f);
+        (0, vitest_1.expect)(result.status).toBe('invalid');
+    });
+    (0, vitest_1.it)('P∨¬P is NOT valid in Belnap (N∨N=N for P=N)', () => {
+        const f = or(atom('P'), not(atom('P')));
+        const result = profile.checkValid(f);
+        // When P=N: N∨N=N (not designated), so NOT a Belnap tautology
+        (0, vitest_1.expect)(result.status).toBe('invalid');
+    });
+    (0, vitest_1.it)('P is not valid (can be F or N)', () => {
+        const result = profile.checkValid(atom('P'));
+        (0, vitest_1.expect)(result.status).toBe('invalid');
+    });
+    (0, vitest_1.it)('P→P is NOT valid in Belnap (N→N=N, not designated)', () => {
+        // In Belnap: implies = !A | B; when P=N: !N|N = N|N = N (not designated)
+        const result = profile.checkValid(implies(atom('P'), atom('P')));
+        (0, vitest_1.expect)(result.status).toBe('invalid');
+    });
+    (0, vitest_1.it)('biconditional P↔P note when both sides equivalent', () => {
+        const f = bic(atom('P'), atom('P'));
+        const result = profile.checkValid(f);
+        // P↔P = (P→P)∧(P→P), may not always be designated
+        (0, vitest_1.expect)(['valid', 'invalid']).toContain(result.status);
+    });
+    (0, vitest_1.it)('biconditional with different sides may note equivalence', () => {
+        // P ↔ ¬¬P — check if note is included when sides are equivalent
+        const f = bic(atom('P'), not(not(atom('P'))));
+        const result = profile.checkValid(f);
+        (0, vitest_1.expect)(['valid', 'invalid']).toContain(result.status);
+    });
+    (0, vitest_1.it)('result includes truthTable', () => {
+        const result = profile.checkValid(atom('P'));
+        (0, vitest_1.expect)(result.truthTable).toBeDefined();
+    });
+    (0, vitest_1.it)('invalid result includes model counterexample', () => {
+        const result = profile.checkValid(atom('P'));
+        (0, vitest_1.expect)(result.model).toBeDefined();
+    });
+});
+// ── checkSatisfiable ──────────────────────────────────────────────────────────
+(0, vitest_1.describe)('ParaconsistentBelnap.checkSatisfiable', () => {
+    (0, vitest_1.it)('P is satisfiable (T or B assignments)', () => {
+        const result = profile.checkSatisfiable(atom('P'));
+        (0, vitest_1.expect)(result.status).toBe('satisfiable');
+    });
+    (0, vitest_1.it)('P∧¬P is satisfiable in Belnap (B value)', () => {
+        const f = and(atom('P'), not(atom('P')));
+        const result = profile.checkSatisfiable(f);
+        (0, vitest_1.expect)(result.status).toBe('satisfiable');
+    });
+    (0, vitest_1.it)('result includes educationalNote', () => {
+        const result = profile.checkSatisfiable(atom('P'));
+        (0, vitest_1.expect)(result.educationalNote).toBeTruthy();
+    });
+    (0, vitest_1.it)('result includes truthTable', () => {
+        const result = profile.checkSatisfiable(atom('P'));
+        (0, vitest_1.expect)(result.truthTable).toBeDefined();
+    });
+});
+// ── prove ─────────────────────────────────────────────────────────────────────
+(0, vitest_1.describe)('ParaconsistentBelnap.prove', () => {
+    (0, vitest_1.it)('proves with no axioms (falls through to checkValid)', () => {
+        const theory = emptyTheory();
+        // P∧(P∨Q) is satisfiable but not a Belnap tautology in general
+        // Use an atom to trigger checkValid path
+        const goal = atom('P');
+        const result = profile.prove(goal, theory);
+        (0, vitest_1.expect)(['valid', 'invalid']).toContain(result.status);
+    });
+    (0, vitest_1.it)('proves from axioms using bitset fast path', () => {
+        const theory = emptyTheory();
+        theory.axioms.set('a1', atom('P'));
+        const goal = or(atom('P'), atom('Q'));
+        const result = profile.prove(goal, theory);
+        (0, vitest_1.expect)(['provable', 'refutable', 'valid']).toContain(result.status);
+    });
+    (0, vitest_1.it)('restricted premises with valid premise', () => {
+        const theory = emptyTheory();
+        theory.axioms.set('a1', or(atom('P'), not(atom('P'))));
+        const goal = or(atom('P'), not(atom('P')));
+        const result = profile.prove(goal, theory, ['a1']);
+        (0, vitest_1.expect)(['provable', 'valid']).toContain(result.status);
+    });
+    (0, vitest_1.it)('missing premise gives warning', () => {
+        const theory = emptyTheory();
+        const goal = atom('P');
+        const result = profile.prove(goal, theory, ['nonexistent']);
+        // In Belnap prove, missing premises are added as warnings to proveDiagnostics
+        // but returned only if there are valid premises; with no valid premises, falls to checkValid
+        (0, vitest_1.expect)(typeof result.status).toBe('string');
+    });
+    (0, vitest_1.it)('refutable when goal not entailed', () => {
+        const theory = emptyTheory();
+        // Atom Q premises — doesn't entail atom R
+        theory.axioms.set('a1', atom('Q'));
+        const goal = atom('R');
+        const result = profile.prove(goal, theory);
+        (0, vitest_1.expect)(['provable', 'refutable']).toContain(result.status);
+    });
+});
+// ── derive ────────────────────────────────────────────────────────────────────
+(0, vitest_1.describe)('ParaconsistentBelnap.derive', () => {
+    (0, vitest_1.it)('empty premises falls back to checkValid', () => {
+        const theory = emptyTheory();
+        const goal = or(atom('P'), not(atom('P')));
+        const result = profile.derive(goal, [], theory);
+        // P|!P is not a Belnap tautology (N|N=N), so invalid
+        (0, vitest_1.expect)(result.status).toBe('invalid');
+    });
+    (0, vitest_1.it)('missing premise returns fallback to checkValid', () => {
+        const theory = emptyTheory();
+        const goal = atom('P');
+        // nonexistent is filtered out
+        const result = profile.derive(goal, ['nonexistent'], theory);
+        (0, vitest_1.expect)(['valid', 'invalid']).toContain(result.status);
+    });
+    (0, vitest_1.it)('valid derivation from designated premise', () => {
+        const theory = emptyTheory();
+        theory.axioms.set('a1', or(atom('P'), not(atom('P'))));
+        const goal = or(atom('P'), not(atom('P')));
+        const result = profile.derive(goal, ['a1'], theory);
+        (0, vitest_1.expect)(['provable', 'valid']).toContain(result.status);
+    });
+    (0, vitest_1.it)('refutable derivation', () => {
+        const theory = emptyTheory();
+        theory.axioms.set('a1', atom('P'));
+        const goal = and(atom('Q'), not(atom('Q'))); // never T
+        const result = profile.derive(goal, ['a1'], theory);
+        (0, vitest_1.expect)(['provable', 'refutable']).toContain(result.status);
+    });
+});
+// ── countermodel ─────────────────────────────────────────────────────────────
+(0, vitest_1.describe)('ParaconsistentBelnap.countermodel', () => {
+    (0, vitest_1.it)('finds countermodel for non-tautology', () => {
+        const result = profile.countermodel(atom('P'));
+        (0, vitest_1.expect)(result.status).toBe('invalid');
+        (0, vitest_1.expect)(result.output).toContain('Contramodelo');
+    });
+    (0, vitest_1.it)('countermodel for P|!P (not a Belnap tautology)', () => {
+        const f = or(atom('P'), not(atom('P')));
+        const result = profile.countermodel(f);
+        // P=N makes P|!P = N (not designated), so there IS a countermodel
+        (0, vitest_1.expect)(result.status).toBe('invalid');
+        (0, vitest_1.expect)(result.output).toContain('Contramodelo');
+    });
+    (0, vitest_1.it)('countermodel output includes Belnap value names', () => {
+        const result = profile.countermodel(atom('P'));
+        // Should explain the value
+        (0, vitest_1.expect)(result.output).toContain('False');
+    });
+});
+// ── generateBelnapTable ───────────────────────────────────────────────────────
+(0, vitest_1.describe)('ParaconsistentBelnap.generateBelnapTable (via checkValid)', () => {
+    (0, vitest_1.it)('single atom has 4 rows (T,F,B,N)', () => {
+        const tt = profile.generateBelnapTable(atom('P'));
+        (0, vitest_1.expect)(tt.rows).toHaveLength(4);
+    });
+    (0, vitest_1.it)('2-atom formula has 16 rows', () => {
+        const tt = profile.generateBelnapTable(and(atom('P'), atom('Q')));
+        (0, vitest_1.expect)(tt.rows).toHaveLength(16);
+    });
+    (0, vitest_1.it)('P∨¬P is NOT a Belnap tautology (N row)', () => {
+        const f = or(atom('P'), not(atom('P')));
+        const tt = profile.generateBelnapTable(f);
+        const designated = new Set(['T', 'B']);
+        // N∨N = N (not designated), so NOT all rows are designated
+        (0, vitest_1.expect)(tt.rows.every((r) => designated.has(String(r.result)))).toBe(false);
+        // Some rows are designated (T, B)
+        (0, vitest_1.expect)(tt.rows.some((r) => designated.has(String(r.result)))).toBe(true);
+    });
+});
+// ── checkEquivalent ───────────────────────────────────────────────────────────
+(0, vitest_1.describe)('ParaconsistentBelnap.checkEquivalent', () => {
+    (0, vitest_1.it)('P and P are equivalent', () => {
+        const result = profile.checkEquivalent(atom('P'), atom('P'));
+        (0, vitest_1.expect)(result.status).toBe('valid');
+    });
+    (0, vitest_1.it)('P and Q are not equivalent', () => {
+        const result = profile.checkEquivalent(atom('P'), atom('Q'));
+        (0, vitest_1.expect)(result.status).toBe('invalid');
+    });
+    (0, vitest_1.it)('¬¬P equivalent to P', () => {
+        const result = profile.checkEquivalent(not(not(atom('P'))), atom('P'));
+        // In Belnap: ¬¬P = P since neg swaps pos/neg bits twice
+        (0, vitest_1.expect)(result.status).toBe('valid');
+    });
+    (0, vitest_1.it)('P∧Q and Q∧P are equivalent', () => {
+        const result = profile.checkEquivalent(and(atom('P'), atom('Q')), and(atom('Q'), atom('P')));
+        (0, vitest_1.expect)(result.status).toBe('valid');
+    });
+});
+// ── Via evaluate() API ────────────────────────────────────────────────────────
+(0, vitest_1.describe)('paraconsistent.belnap via evaluate()', () => {
+    (0, vitest_1.it)('P∧¬P satisfiable', () => {
+        const r = (0, api_1.evaluate)(`
+logic paraconsistent.belnap
+check satisfiable P & !P
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0]?.status).toBe('satisfiable');
+    });
+    (0, vitest_1.it)('P∨¬P is invalid in Belnap (N∨N=N)', () => {
+        const r = (0, api_1.evaluate)(`
+logic paraconsistent.belnap
+check valid P | !P
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        // In Belnap, P|!P is NOT a tautology (N case)
+        (0, vitest_1.expect)(r.results[0]?.status).toBe('invalid');
+    });
+    (0, vitest_1.it)('countermodel for P', () => {
+        const r = (0, api_1.evaluate)(`
+logic paraconsistent.belnap
+countermodel P
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0]?.status).toBe('invalid');
+    });
+    (0, vitest_1.it)('check equivalent P, !!P', () => {
+        const r = (0, api_1.evaluate)(`
+logic paraconsistent.belnap
+check equivalent P, !!P
+`);
+        (0, vitest_1.expect)(r.ok).toBe(true);
+        (0, vitest_1.expect)(r.results[0]?.status).toBe('valid');
+    });
+});
+//# sourceMappingURL=coverage-fill-belnap.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"coverage-fill-belnap.test.js","sourceRoot":"","sources":["../../src/tests/coverage-fill-belnap.test.ts"],"names":[],"mappings":";AAAA;;;GAGG;AACH,kOAAkO;;AAElO,mCAA8C;AAC9C,gCAAkC;AAClC,8DAAyE;AAGzE,MAAM,OAAO,GAAG,IAAI,6BAAoB,EAAE,CAAC;AAE3C,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,GAAG,GAAG,EAAE,CAAC,CAAC;IACzB,MAAM,EAAE,IAAI,GAAG,EAAmB;IAClC,QAAQ,EAAE,IAAI,GAAG,EAAmB;IACpC,MAAM,EAAE,IAAI,GAAG,EAAmB;IAClC,SAAS,EAAE,EAAW;IACtB,OAAO,EAAE,uBAAuB;CACjC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,MAAM,KAAK,GAAG,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,KAAK,GAAG,OAAO,CAAC,eAAe,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;QAC3C,MAAM,KAAK,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,MAAM,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACxD,MAAM,KAAK,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACrC,8DAA8D;QAC9D,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,yEAAyE;QACzE,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACrC,kDAAkD;QAClD,IAAA,eAAM,EAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,gEAAgE;QAChE,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC9C,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,MAAM,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,MAAM,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;IACrC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,uCAAuC,EAAE,GAAG,EAAE;IACrD,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;QAC3C,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iCAAiC,EAAE,GAAG,EAAE;QACzC,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,MAAM,CAAC,eAAe,CAAC,CAAC,UAAU,EAAE,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,MAAM,CAAC,UAAU,CAAC,CAAC,WAAW,EAAE,CAAC;IAC1C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,+DAA+D;QAC/D,yCAAyC;QACzC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACvB,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,MAAa,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACtC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,MAAa,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,CAAC,UAAU,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACvD,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,MAAa,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1D,IAAA,eAAM,EAAC,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACvB,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,MAAa,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC;QACnE,8EAA8E;QAC9E,6FAA6F;QAC7F,IAAA,eAAM,EAAC,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,0CAA0C;QAC1C,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACvB,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,MAAa,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,EAAE,EAAE,MAAa,CAAC,CAAC;QACvD,qDAAqD;QACrD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACvB,8BAA8B;QAC9B,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,aAAa,CAAC,EAAE,MAAa,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,CAAC,OAAO,EAAE,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACvD,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,MAAa,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU;QACvD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,MAAa,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,IAAA,iBAAQ,EAAC,mCAAmC,EAAE,GAAG,EAAE;IACjD,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACvC,kEAAkE;QAClE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/C,2BAA2B;QAC3B,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,2DAA2D,EAAE,GAAG,EAAE;IACzE,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,EAAE,GAAI,OAAe,CAAC,mBAAmB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAClC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,EAAE,GAAI,OAAe,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC3E,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,EAAE,GAAI,OAAe,CAAC,mBAAmB,CAAC,CAAC,CAAC,CAAC;QACnD,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACvC,2DAA2D;QAC3D,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAChF,kCAAkC;QAClC,IAAA,eAAM,EAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,MAAM,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACvE,wDAAwD;QACxD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,MAAM,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QAC7F,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;CAGtB,CAAC,CAAC;QACC,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,aAAa,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;CAGtB,CAAC,CAAC;QACC,IAAA,eAAM,EAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxB,8CAA8C;QAC9C,IAAA,eAAM,EAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;CAGtB,CAAC,CAAC;QACC,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,SAAS,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;CAGtB,CAAC,CAAC;QACC,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;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/coverage-fill-cross-system.test.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Coverage fill — src/runtime/cross-system-compare.ts
+ * Current coverage: 0% (file not touched by any test)
+ */
+export {};
+//# sourceMappingURL=coverage-fill-cross-system.test.d.ts.map

package/dist/tests/coverage-fill-cross-system.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage-fill-cross-system.test.d.ts","sourceRoot":"","sources":["../../src/tests/coverage-fill-cross-system.test.ts"],"names":[],"mappings":"AAAA;;;GAGG"}

package/dist/tests/coverage-fill-cross-system.test.js

@@ -0,0 +1,75 @@
+"use strict";
+/**
+ * Coverage fill — src/runtime/cross-system-compare.ts
+ * Current coverage: 0% (file not touched by any test)
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const cross_system_compare_1 = require("../runtime/cross-system-compare");
+const interpreter_1 = require("../runtime/interpreter");
+// Ensure registry is populated by creating an interpreter
+new interpreter_1.Interpreter();
+// The registry is exported from profiles/interface
+const interface_1 = require("../profiles/interface");
+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] });
+(0, vitest_1.describe)('compareAcrossSystems()', () => {
+    (0, vitest_1.it)('returns a Record<string, string>', () => {
+        const result = (0, cross_system_compare_1.compareAcrossSystems)(atom('P'), interface_1.registry);
+        (0, vitest_1.expect)(typeof result).toBe('object');
+        (0, vitest_1.expect)(Object.keys(result).length).toBeGreaterThan(0);
+    });
+    (0, vitest_1.it)('tautology P∨¬P is VÁLIDA in classical', () => {
+        const f = or(atom('P'), not(atom('P')));
+        const result = (0, cross_system_compare_1.compareAcrossSystems)(f, interface_1.registry);
+        (0, vitest_1.expect)(result['classical.propositional']).toBe('VÁLIDA');
+    });
+    (0, vitest_1.it)('tautology P∨¬P is not VÁLIDA in intuitionistic', () => {
+        const f = or(atom('P'), not(atom('P')));
+        const result = (0, cross_system_compare_1.compareAcrossSystems)(f, interface_1.registry);
+        (0, vitest_1.expect)(result['intuitionistic.propositional']).toBe('NO VÁLIDA');
+    });
+    (0, vitest_1.it)('P→P is valid in all propositional systems', () => {
+        const f = implies(atom('P'), atom('P'));
+        const result = (0, cross_system_compare_1.compareAcrossSystems)(f, interface_1.registry);
+        (0, vitest_1.expect)(result['classical.propositional']).toBe('VÁLIDA');
+        (0, vitest_1.expect)(result['intuitionistic.propositional']).toBe('VÁLIDA');
+        (0, vitest_1.expect)(result['modal.k']).toBe('VÁLIDA');
+    });
+    (0, vitest_1.it)('P∧¬P shows as satisfiable in Belnap row', () => {
+        const f = and(atom('P'), not(atom('P')));
+        const result = (0, cross_system_compare_1.compareAcrossSystems)(f, interface_1.registry);
+        // Belnap: invalid but satisfiable
+        (0, vitest_1.expect)(result['paraconsistent.belnap']).toContain('SATISFACIBLE');
+    });
+    (0, vitest_1.it)('handles formula with no compatible systems gracefully', () => {
+        // A quantified formula may be N/A in propositional systems
+        const f = { kind: 'forall', variable: 'x', args: [atom('P')] };
+        const result = (0, cross_system_compare_1.compareAcrossSystems)(f, interface_1.registry);
+        // Some systems will say N/A
+        (0, vitest_1.expect)(typeof result).toBe('object');
+    });
+    (0, vitest_1.it)('non-tautology P shows as NO VÁLIDA in classical', () => {
+        const result = (0, cross_system_compare_1.compareAcrossSystems)(atom('P'), interface_1.registry);
+        (0, vitest_1.expect)(result['classical.propositional']).toBe('NO VÁLIDA');
+    });
+    (0, vitest_1.it)('checks all expected systems are present', () => {
+        const f = implies(atom('A'), atom('A'));
+        const result = (0, cross_system_compare_1.compareAcrossSystems)(f, interface_1.registry);
+        const keys = Object.keys(result);
+        (0, vitest_1.expect)(keys).toContain('classical.propositional');
+        (0, vitest_1.expect)(keys).toContain('modal.k');
+        (0, vitest_1.expect)(keys).toContain('paraconsistent.belnap');
+    });
+    (0, vitest_1.it)('handles computational error gracefully', () => {
+        // A formula that might cause an issue in certain profiles
+        const f = implies(atom('X'), atom('X'));
+        const result = (0, cross_system_compare_1.compareAcrossSystems)(f, interface_1.registry);
+        // Should not throw
+        (0, vitest_1.expect)(typeof result).toBe('object');
+    });
+});
+//# sourceMappingURL=coverage-fill-cross-system.test.js.map

package/dist/tests/coverage-fill-cross-system.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage-fill-cross-system.test.js","sourceRoot":"","sources":["../../src/tests/coverage-fill-cross-system.test.ts"],"names":[],"mappings":";AAAA;;;GAGG;;AAEH,mCAA8C;AAC9C,0EAAuE;AACvE,wDAAqD;AAGrD,0DAA0D;AAC1D,IAAI,yBAAW,EAAE,CAAC;AAClB,mDAAmD;AACnD,qDAAiD;AAEjD,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;AAEzF,IAAA,iBAAQ,EAAC,wBAAwB,EAAE,GAAG,EAAE;IACtC,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,MAAM,GAAG,IAAA,2CAAoB,EAAC,IAAI,CAAC,GAAG,CAAC,EAAE,oBAAQ,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,OAAO,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,IAAA,2CAAoB,EAAC,CAAC,EAAE,oBAAQ,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,MAAM,CAAC,yBAAyB,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gDAAgD,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,IAAA,2CAAoB,EAAC,CAAC,EAAE,oBAAQ,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,MAAM,CAAC,8BAA8B,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2CAA2C,EAAE,GAAG,EAAE;QACnD,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,IAAA,2CAAoB,EAAC,CAAC,EAAE,oBAAQ,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,MAAM,CAAC,yBAAyB,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,MAAM,CAAC,8BAA8B,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC9D,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,MAAM,GAAG,IAAA,2CAAoB,EAAC,CAAC,EAAE,oBAAQ,CAAC,CAAC;QACjD,kCAAkC;QAClC,IAAA,eAAM,EAAC,MAAM,CAAC,uBAAuB,CAAC,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,2DAA2D;QAC3D,MAAM,CAAC,GAAY,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC;QACxE,MAAM,MAAM,GAAG,IAAA,2CAAoB,EAAC,CAAC,EAAE,oBAAQ,CAAC,CAAC;QACjD,4BAA4B;QAC5B,IAAA,eAAM,EAAC,OAAO,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,MAAM,GAAG,IAAA,2CAAoB,EAAC,IAAI,CAAC,GAAG,CAAC,EAAE,oBAAQ,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,MAAM,CAAC,yBAAyB,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,IAAA,2CAAoB,EAAC,CAAC,EAAE,oBAAQ,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACjC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,yBAAyB,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,IAAI,CAAC,CAAC,SAAS,CAAC,uBAAuB,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,0DAA0D;QAC1D,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,IAAA,2CAAoB,EAAC,CAAC,EAAE,oBAAQ,CAAC,CAAC;QACjD,mBAAmB;QACnB,IAAA,eAAM,EAAC,OAAO,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACvC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/tests/coverage-fill-fallacies.test.d.ts

@@ -0,0 +1,6 @@
+/**
+ * Coverage fill — src/runtime/fallacies.ts
+ * Current coverage: ~65% stmts, ~48% branch
+ */
+export {};
+//# sourceMappingURL=coverage-fill-fallacies.test.d.ts.map

package/dist/tests/coverage-fill-fallacies.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"coverage-fill-fallacies.test.d.ts","sourceRoot":"","sources":["../../src/tests/coverage-fill-fallacies.test.ts"],"names":[],"mappings":"AAAA;;;GAGG"}