@stevenvo780/st-lang 3.2.3 → 4.0.0

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

@@ -0,0 +1,455 @@
+"use strict";
+/**
+ * Coverage fill — src/runtime/format.ts
+ * Targets: formulaToUnicode, formulaToLaTeX, proofToLaTeX
+ * Current coverage: ~52% stmts, ~43% 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 format_1 = require("../runtime/format");
+// ── helpers ──────────────────────────────────────────────────────────────────
+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 nand = (a, b) => ({ kind: 'nand', args: [a, b] });
+const nor = (a, b) => ({ kind: 'nor', args: [a, b] });
+const xor = (a, b) => ({ kind: 'xor', args: [a, b] });
+const box = (a) => ({ kind: 'modal_necessity', args: [a] });
+const dia = (a) => ({ kind: 'modal_possibility', args: [a] });
+const forall = (v, body) => ({
+    kind: 'forall',
+    variable: v,
+    args: [body],
+});
+const exists = (v, body) => ({
+    kind: 'exists',
+    variable: v,
+    args: [body],
+});
+const pred = (name, ...params) => ({ kind: 'predicate', name, params });
+const equals = (a, b) => ({ kind: 'equals', args: [a, b] });
+const next = (a) => ({ kind: 'temporal_next', args: [a] });
+const until = (a, b) => ({ kind: 'temporal_until', args: [a, b] });
+const num = (v) => ({ kind: 'number', value: v });
+const add = (a, b) => ({ kind: 'add', args: [a, b] });
+const sub = (a, b) => ({ kind: 'subtract', args: [a, b] });
+const mul = (a, b) => ({ kind: 'multiply', args: [a, b] });
+const div = (a, b) => ({ kind: 'divide', args: [a, b] });
+const mod = (a, b) => ({ kind: 'modulo', args: [a, b] });
+const less = (a, b) => ({ kind: 'less', args: [a, b] });
+const greater = (a, b) => ({ kind: 'greater', args: [a, b] });
+const lessEq = (a, b) => ({ kind: 'less_eq', args: [a, b] });
+const greaterEq = (a, b) => ({ kind: 'greater_eq', args: [a, b] });
+const fnCall = (name, ...args) => ({ kind: 'fn_call', name, args });
+const list = (...args) => ({ kind: 'list', args });
+// ── formulaToUnicode ─────────────────────────────────────────────────────────
+(0, vitest_1.describe)('formulaToUnicode', () => {
+    (0, vitest_1.it)('atom', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)(atom('P'))).toBe('P');
+    });
+    (0, vitest_1.it)('atom without name returns ?', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)({ kind: 'atom' })).toBe('?');
+    });
+    (0, vitest_1.it)('not atom (no parens)', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)(not(atom('P')))).toBe('¬P');
+    });
+    (0, vitest_1.it)('not complex (with parens)', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)(not(and(atom('P'), atom('Q'))))).toBe('¬((P ∧ Q))');
+    });
+    (0, vitest_1.it)('not without args', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)({ kind: 'not' })).toBe('¬?');
+    });
+    (0, vitest_1.it)('and two atoms', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)(and(atom('P'), atom('Q')))).toBe('(P ∧ Q)');
+    });
+    (0, vitest_1.it)('and without args returns fallback', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)({ kind: 'and' })).toBe('? ∧ ?');
+    });
+    (0, vitest_1.it)('nested and flattened associatively', () => {
+        const nested = and(and(atom('A'), atom('B')), atom('C'));
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)(nested)).toBe('(A ∧ B ∧ C)');
+    });
+    (0, vitest_1.it)('or two atoms', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)(or(atom('P'), atom('Q')))).toBe('(P ∨ Q)');
+    });
+    (0, vitest_1.it)('or without args returns fallback', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)({ kind: 'or' })).toBe('? ∨ ?');
+    });
+    (0, vitest_1.it)('nested or flattened', () => {
+        const nested = or(or(atom('A'), atom('B')), atom('C'));
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)(nested)).toBe('(A ∨ B ∨ C)');
+    });
+    (0, vitest_1.it)('implies', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)(implies(atom('P'), atom('Q')))).toBe('(P → Q)');
+    });
+    (0, vitest_1.it)('implies without args fallback', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)({ kind: 'implies' })).toBe('? → ?');
+    });
+    (0, vitest_1.it)('biconditional', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)(bic(atom('P'), atom('Q')))).toBe('(P ↔ Q)');
+    });
+    (0, vitest_1.it)('biconditional without args fallback', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)({ kind: 'biconditional' })).toBe('? ↔ ?');
+    });
+    (0, vitest_1.it)('nand', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)(nand(atom('P'), atom('Q')))).toBe('(P ↑ Q)');
+    });
+    (0, vitest_1.it)('nand without args fallback', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)({ kind: 'nand' })).toBe('? ↑ ?');
+    });
+    (0, vitest_1.it)('nor', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)(nor(atom('P'), atom('Q')))).toBe('(P ↓ Q)');
+    });
+    (0, vitest_1.it)('nor without args fallback', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)({ kind: 'nor' })).toBe('? ↓ ?');
+    });
+    (0, vitest_1.it)('xor', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)(xor(atom('P'), atom('Q')))).toBe('(P ⊕ Q)');
+    });
+    (0, vitest_1.it)('xor without args fallback', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)({ kind: 'xor' })).toBe('? ⊕ ?');
+    });
+    (0, vitest_1.it)('nested xor flattened', () => {
+        const nested = xor(xor(atom('A'), atom('B')), atom('C'));
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)(nested)).toBe('(A ⊕ B ⊕ C)');
+    });
+    (0, vitest_1.it)('modal_necessity', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)(box(atom('P')))).toBe('□(P)');
+    });
+    (0, vitest_1.it)('modal_necessity without args', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)({ kind: 'modal_necessity' })).toBe('□?');
+    });
+    (0, vitest_1.it)('modal_possibility', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)(dia(atom('P')))).toBe('◇(P)');
+    });
+    (0, vitest_1.it)('modal_possibility without args', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)({ kind: 'modal_possibility' })).toBe('◇?');
+    });
+    (0, vitest_1.it)('forall', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)(forall('x', pred('P', 'x')))).toBe('∀x(P(x))');
+    });
+    (0, vitest_1.it)('forall without arg', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)({ kind: 'forall', variable: 'x' })).toBe('∀x(?)');
+    });
+    (0, vitest_1.it)('forall without variable', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)({ kind: 'forall', args: [atom('P')] })).toBe('∀?(P)');
+    });
+    (0, vitest_1.it)('exists', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)(exists('x', pred('P', 'x')))).toBe('∃x(P(x))');
+    });
+    (0, vitest_1.it)('exists without arg', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)({ kind: 'exists', variable: 'y' })).toBe('∃y(?)');
+    });
+    (0, vitest_1.it)('predicate with params', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)(pred('P', 'a', 'b'))).toBe('P(a, b)');
+    });
+    (0, vitest_1.it)('predicate without name', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)({ kind: 'predicate', params: ['x'] })).toBe('?(x)');
+    });
+    (0, vitest_1.it)('equals', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)(equals(atom('a'), atom('b')))).toBe('(a = b)');
+    });
+    (0, vitest_1.it)('equals without args fallback', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)({ kind: 'equals' })).toBe('? = ?');
+    });
+    (0, vitest_1.it)('temporal_next', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)(next(atom('P')))).toBe('X(P)');
+    });
+    (0, vitest_1.it)('temporal_next without arg', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)({ kind: 'temporal_next' })).toBe('X?');
+    });
+    (0, vitest_1.it)('temporal_until', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)(until(atom('P'), atom('Q')))).toBe('(P U Q)');
+    });
+    (0, vitest_1.it)('temporal_until without args fallback', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)({ kind: 'temporal_until' })).toBe('? U ?');
+    });
+    (0, vitest_1.it)('number', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)(num(42))).toBe('42');
+    });
+    (0, vitest_1.it)('number without value', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)({ kind: 'number' })).toBe('?');
+    });
+    (0, vitest_1.it)('add', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)(add(num(1), num(2)))).toBe('(1 + 2)');
+    });
+    (0, vitest_1.it)('add without args fallback', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)({ kind: 'add' })).toBe('? + ?');
+    });
+    (0, vitest_1.it)('subtract', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)(sub(num(5), num(3)))).toBe('(5 - 3)');
+    });
+    (0, vitest_1.it)('subtract without args fallback', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)({ kind: 'subtract' })).toBe('? - ?');
+    });
+    (0, vitest_1.it)('multiply', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)(mul(num(2), num(3)))).toBe('(2 × 3)');
+    });
+    (0, vitest_1.it)('multiply without args fallback', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)({ kind: 'multiply' })).toBe('? × ?');
+    });
+    (0, vitest_1.it)('divide', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)(div(num(6), num(2)))).toBe('(6 ÷ 2)');
+    });
+    (0, vitest_1.it)('divide without args fallback', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)({ kind: 'divide' })).toBe('? ÷ ?');
+    });
+    (0, vitest_1.it)('modulo', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)(mod(num(7), num(3)))).toBe('(7 % 3)');
+    });
+    (0, vitest_1.it)('modulo without args fallback', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)({ kind: 'modulo' })).toBe('? % ?');
+    });
+    (0, vitest_1.it)('less', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)(less(num(1), num(2)))).toBe('(1 < 2)');
+    });
+    (0, vitest_1.it)('less without args fallback', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)({ kind: 'less' })).toBe('? < ?');
+    });
+    (0, vitest_1.it)('greater', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)(greater(num(2), num(1)))).toBe('(2 > 1)');
+    });
+    (0, vitest_1.it)('greater without args fallback', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)({ kind: 'greater' })).toBe('? > ?');
+    });
+    (0, vitest_1.it)('less_eq', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)(lessEq(num(1), num(2)))).toBe('(1 ≤ 2)');
+    });
+    (0, vitest_1.it)('less_eq without args fallback', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)({ kind: 'less_eq' })).toBe('? ≤ ?');
+    });
+    (0, vitest_1.it)('greater_eq', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)(greaterEq(num(2), num(1)))).toBe('(2 ≥ 1)');
+    });
+    (0, vitest_1.it)('greater_eq without args fallback', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)({ kind: 'greater_eq' })).toBe('? ≥ ?');
+    });
+    (0, vitest_1.it)('fn_call', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)(fnCall('f', atom('x'), atom('y')))).toBe('f(x, y)');
+    });
+    (0, vitest_1.it)('fn_call without name', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)({ kind: 'fn_call', args: [atom('x')] })).toBe('?(x)');
+    });
+    (0, vitest_1.it)('list', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)(list(atom('A'), atom('B')))).toBe('[A, B]');
+    });
+    (0, vitest_1.it)('list empty', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)({ kind: 'list' })).toBe('[]');
+    });
+    (0, vitest_1.it)('unknown kind returns ?', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToUnicode)({ kind: 'unknown_xyz' })).toBe('?');
+    });
+});
+// ── formulaToLaTeX ────────────────────────────────────────────────────────────
+(0, vitest_1.describe)('formulaToLaTeX', () => {
+    (0, vitest_1.it)('atom', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)(atom('P'))).toBe('P');
+    });
+    (0, vitest_1.it)('atom without name', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)({ kind: 'atom' })).toBe('?');
+    });
+    (0, vitest_1.it)('not atom', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)(not(atom('P')))).toBe('\\neg P');
+    });
+    (0, vitest_1.it)('not complex', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)(not(and(atom('P'), atom('Q'))))).toContain('\\neg');
+    });
+    (0, vitest_1.it)('not without args', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)({ kind: 'not' })).toBe('\\neg ?');
+    });
+    (0, vitest_1.it)('and', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)(and(atom('P'), atom('Q')))).toBe('(P \\land Q)');
+    });
+    (0, vitest_1.it)('and without args', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)({ kind: 'and' })).toBe('? \\land ?');
+    });
+    (0, vitest_1.it)('or', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)(or(atom('P'), atom('Q')))).toBe('(P \\lor Q)');
+    });
+    (0, vitest_1.it)('or without args', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)({ kind: 'or' })).toBe('? \\lor ?');
+    });
+    (0, vitest_1.it)('implies', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)(implies(atom('P'), atom('Q')))).toBe('(P \\to Q)');
+    });
+    (0, vitest_1.it)('implies without args', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)({ kind: 'implies' })).toBe('? \\to ?');
+    });
+    (0, vitest_1.it)('biconditional', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)(bic(atom('P'), atom('Q')))).toBe('(P \\leftrightarrow Q)');
+    });
+    (0, vitest_1.it)('biconditional without args', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)({ kind: 'biconditional' })).toBe('? \\leftrightarrow ?');
+    });
+    (0, vitest_1.it)('modal_necessity', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)(box(atom('P')))).toBe('\\Box P');
+    });
+    (0, vitest_1.it)('modal_necessity without arg', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)({ kind: 'modal_necessity' })).toBe('\\Box ?');
+    });
+    (0, vitest_1.it)('modal_possibility', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)(dia(atom('P')))).toBe('\\Diamond P');
+    });
+    (0, vitest_1.it)('modal_possibility without arg', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)({ kind: 'modal_possibility' })).toBe('\\Diamond ?');
+    });
+    (0, vitest_1.it)('forall', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)(forall('x', pred('P', 'x')))).toBe('\\forall x\\,(P(x))');
+    });
+    (0, vitest_1.it)('forall without arg', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)({ kind: 'forall', variable: 'x' })).toBe('\\forall x\\,?');
+    });
+    (0, vitest_1.it)('exists', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)(exists('x', pred('P', 'x')))).toBe('\\exists x\\,(P(x))');
+    });
+    (0, vitest_1.it)('exists without arg', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)({ kind: 'exists', variable: 'y' })).toBe('\\exists y\\,?');
+    });
+    (0, vitest_1.it)('predicate', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)(pred('P', 'a', 'b'))).toBe('P(a, b)');
+    });
+    (0, vitest_1.it)('equals', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)(equals(atom('a'), atom('b')))).toBe('(a = b)');
+    });
+    (0, vitest_1.it)('equals without args', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)({ kind: 'equals' })).toBe('? = ?');
+    });
+    (0, vitest_1.it)('temporal_next', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)(next(atom('P')))).toBe('\\mathsf{X}\\,(P)');
+    });
+    (0, vitest_1.it)('temporal_next without arg', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)({ kind: 'temporal_next' })).toBe('\\mathsf{X}\\,?');
+    });
+    (0, vitest_1.it)('temporal_until', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)(until(atom('P'), atom('Q')))).toBe('(P \\mathbin{\\mathsf{U}} Q)');
+    });
+    (0, vitest_1.it)('temporal_until without args', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)({ kind: 'temporal_until' })).toBe('? \\mathbin{\\mathsf{U}} ?');
+    });
+    (0, vitest_1.it)('number', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)(num(5))).toBe('5');
+    });
+    (0, vitest_1.it)('number without value', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)({ kind: 'number' })).toBe('?');
+    });
+    (0, vitest_1.it)('add', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)(add(num(1), num(2)))).toBe('(1 + 2)');
+    });
+    (0, vitest_1.it)('add without args', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)({ kind: 'add' })).toBe('? + ?');
+    });
+    (0, vitest_1.it)('subtract', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)(sub(num(3), num(1)))).toBe('(3 - 1)');
+    });
+    (0, vitest_1.it)('subtract without args', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)({ kind: 'subtract' })).toBe('? - ?');
+    });
+    (0, vitest_1.it)('multiply', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)(mul(num(2), num(4)))).toBe('(2 \\times 4)');
+    });
+    (0, vitest_1.it)('multiply without args', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)({ kind: 'multiply' })).toBe('? \\times ?');
+    });
+    (0, vitest_1.it)('divide', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)(div(num(6), num(3)))).toBe('\\frac{6}{3}');
+    });
+    (0, vitest_1.it)('divide without args', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)({ kind: 'divide' })).toBe('\\frac{?}{?}');
+    });
+    (0, vitest_1.it)('modulo', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)(mod(num(7), num(3)))).toBe('(7 \\bmod 3)');
+    });
+    (0, vitest_1.it)('modulo without args', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)({ kind: 'modulo' })).toBe('? \\bmod ?');
+    });
+    (0, vitest_1.it)('less', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)(less(num(1), num(2)))).toBe('(1 < 2)');
+    });
+    (0, vitest_1.it)('less without args', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)({ kind: 'less' })).toBe('? < ?');
+    });
+    (0, vitest_1.it)('greater', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)(greater(num(2), num(1)))).toBe('(2 > 1)');
+    });
+    (0, vitest_1.it)('greater without args', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)({ kind: 'greater' })).toBe('? > ?');
+    });
+    (0, vitest_1.it)('less_eq', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)(lessEq(num(1), num(2)))).toBe('(1 \\leq 2)');
+    });
+    (0, vitest_1.it)('less_eq without args', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)({ kind: 'less_eq' })).toBe('? \\leq ?');
+    });
+    (0, vitest_1.it)('unknown kind', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)({ kind: 'unknown_xyz' })).toBe('?');
+    });
+    (0, vitest_1.it)('list', () => {
+        (0, vitest_1.expect)((0, format_1.formulaToLaTeX)(list(atom('A'), atom('B')))).toBe('\\left[A, B\\right]');
+    });
+});
+// ── proofToLaTeX ─────────────────────────────────────────────────────────────
+(0, vitest_1.describe)('proofToLaTeX', () => {
+    (0, vitest_1.it)('empty proof returns empty string', () => {
+        (0, vitest_1.expect)((0, format_1.proofToLaTeX)({ steps: [] })).toBe('');
+    });
+    (0, vitest_1.it)('proof without steps returns empty string', () => {
+        (0, vitest_1.expect)((0, format_1.proofToLaTeX)({})).toBe('');
+    });
+    (0, vitest_1.it)('axiom step (0 premises) generates AxiomC', () => {
+        const proof = {
+            steps: [{ formula: atom('P'), justification: 'Axiom', premises: [] }],
+        };
+        const latex = (0, format_1.proofToLaTeX)(proof);
+        (0, vitest_1.expect)(latex).toContain('\\AxiomC{$P$}');
+        (0, vitest_1.expect)(latex).toContain('\\begin{prooftree}');
+        (0, vitest_1.expect)(latex).toContain('\\end{prooftree}');
+    });
+    (0, vitest_1.it)('unary step (1 premise) generates UnaryInfC', () => {
+        const proof = {
+            steps: [{ formula: atom('Q'), justification: 'MP', premises: [0] }],
+        };
+        const latex = (0, format_1.proofToLaTeX)(proof);
+        (0, vitest_1.expect)(latex).toContain('\\UnaryInfC{$Q$}');
+        (0, vitest_1.expect)(latex).toContain('\\RightLabel{\\scriptsize MP}');
+    });
+    (0, vitest_1.it)('binary step (2 premises) generates BinaryInfC', () => {
+        const proof = {
+            steps: [{ formula: atom('R'), justification: 'Conj', premises: [0, 1] }],
+        };
+        const latex = (0, format_1.proofToLaTeX)(proof);
+        (0, vitest_1.expect)(latex).toContain('\\BinaryInfC{$R$}');
+        (0, vitest_1.expect)(latex).toContain('\\RightLabel{\\scriptsize Conj}');
+    });
+    (0, vitest_1.it)('ternary step (3 premises) generates TrinaryInfC', () => {
+        const proof = {
+            steps: [{ formula: atom('S'), justification: 'Tri', premises: [0, 1, 2] }],
+        };
+        const latex = (0, format_1.proofToLaTeX)(proof);
+        (0, vitest_1.expect)(latex).toContain('\\TrinaryInfC{$S$}');
+    });
+    (0, vitest_1.it)('step with 4+ premises falls back to UnaryInfC with comment', () => {
+        const proof = {
+            steps: [{ formula: atom('T'), justification: 'Multi', premises: [0, 1, 2, 3] }],
+        };
+        const latex = (0, format_1.proofToLaTeX)(proof);
+        (0, vitest_1.expect)(latex).toContain('\\UnaryInfC{$T$}');
+        (0, vitest_1.expect)(latex).toContain('% 4 premises');
+    });
+    (0, vitest_1.it)('multi-step proof', () => {
+        const proof = {
+            steps: [
+                { formula: atom('P'), justification: 'Hyp', premises: [] },
+                { formula: implies(atom('P'), atom('Q')), justification: 'Hyp', premises: [] },
+                { formula: atom('Q'), justification: 'MP', premises: [0, 1] },
+            ],
+        };
+        const latex = (0, format_1.proofToLaTeX)(proof);
+        (0, vitest_1.expect)(latex).toContain('\\AxiomC{$P$}');
+        (0, vitest_1.expect)(latex).toContain('\\BinaryInfC{$Q$}');
+    });
+});
+//# sourceMappingURL=coverage-fill-format.test.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"coverage-fill-format.test.js","sourceRoot":"","sources":["../../src/tests/coverage-fill-format.test.ts"],"names":[],"mappings":";AAAA;;;;GAIG;AACH,kOAAkO;;AAElO,mCAA8C;AAC9C,8CAAmF;AAGnF,gFAAgF;AAEhF,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;AAC3F,MAAM,IAAI,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AACnF,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,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AACjF,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;AAChF,MAAM,MAAM,GAAG,CAAC,CAAS,EAAE,IAAa,EAAW,EAAE,CAAC,CAAC;IACrD,IAAI,EAAE,QAAQ;IACd,QAAQ,EAAE,CAAC;IACX,IAAI,EAAE,CAAC,IAAI,CAAC;CACb,CAAC,CAAC;AACH,MAAM,MAAM,GAAG,CAAC,CAAS,EAAE,IAAa,EAAW,EAAE,CAAC,CAAC;IACrD,IAAI,EAAE,QAAQ;IACd,QAAQ,EAAE,CAAC;IACX,IAAI,EAAE,CAAC,IAAI,CAAC;CACb,CAAC,CAAC;AACH,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,GAAG,MAAgB,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;AACnG,MAAM,MAAM,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AACvF,MAAM,IAAI,GAAG,CAAC,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAC7E,MAAM,KAAK,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AAC9F,MAAM,GAAG,GAAG,CAAC,CAAS,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;AACnE,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,IAAI,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AACnF,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,MAAM,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AACxF,MAAM,SAAS,GAAG,CAAC,CAAU,EAAE,CAAU,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;AAC9F,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,GAAG,IAAe,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;AAChG,MAAM,IAAI,GAAG,CAAC,GAAG,IAAe,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AAEvE,gFAAgF;AAEhF,IAAA,iBAAQ,EAAC,kBAAkB,EAAE,GAAG,EAAE;IAChC,IAAA,WAAE,EAAC,MAAM,EAAE,GAAG,EAAE;QACd,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,eAAe,EAAE,GAAG,EAAE;QACvB,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,cAAc,EAAE,GAAG,EAAE;QACtB,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,MAAM,MAAM,GAAG,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,SAAS,EAAE,GAAG,EAAE;QACjB,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC1E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,eAAe,EAAE,GAAG,EAAE;QACvB,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,MAAM,EAAE,GAAG,EAAE;QACd,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,KAAK,EAAE,GAAG,EAAE;QACb,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,KAAK,EAAE,GAAG,EAAE;QACb,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,MAAM,MAAM,GAAG,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,QAAQ,EAAE,GAAG,EAAE;QAChB,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yBAAyB,EAAE,GAAG,EAAE;QACjC,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,QAAQ,EAAE,GAAG,EAAE;QAChB,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,QAAQ,EAAE,GAAG,EAAE;QAChB,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,eAAe,EAAE,GAAG,EAAE;QACvB,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,QAAQ,EAAE,GAAG,EAAE;QAChB,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,KAAK,EAAE,GAAG,EAAE;QACb,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,UAAU,EAAE,GAAG,EAAE;QAClB,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,UAAU,EAAE,GAAG,EAAE;QAClB,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,QAAQ,EAAE,GAAG,EAAE;QAChB,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,QAAQ,EAAE,GAAG,EAAE;QAChB,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,MAAM,EAAE,GAAG,EAAE;QACd,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,SAAS,EAAE,GAAG,EAAE;QACjB,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,SAAS,EAAE,GAAG,EAAE;QACjB,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,YAAY,EAAE,GAAG,EAAE;QACpB,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,SAAS,EAAE,GAAG,EAAE;QACjB,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAChF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,MAAM,EAAE,GAAG,EAAE;QACd,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,YAAY,EAAE,GAAG,EAAE;QACpB,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,IAAA,eAAM,EAAC,IAAA,yBAAgB,EAAC,EAAE,IAAI,EAAE,aAAoB,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,gBAAgB,EAAE,GAAG,EAAE;IAC9B,IAAA,WAAE,EAAC,MAAM,EAAE,GAAG,EAAE;QACd,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,UAAU,EAAE,GAAG,EAAE;QAClB,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,aAAa,EAAE,GAAG,EAAE;QACrB,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,KAAK,EAAE,GAAG,EAAE;QACb,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,IAAI,EAAE,GAAG,EAAE;QACZ,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,SAAS,EAAE,GAAG,EAAE;QACjB,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAC3E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,eAAe,EAAE,GAAG,EAAE;QACvB,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4BAA4B,EAAE,GAAG,EAAE;QACpC,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iBAAiB,EAAE,GAAG,EAAE;QACzB,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,QAAQ,EAAE,GAAG,EAAE;QAChB,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,QAAQ,EAAE,GAAG,EAAE;QAChB,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IAClF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oBAAoB,EAAE,GAAG,EAAE;QAC5B,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACnF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,WAAW,EAAE,GAAG,EAAE;QACnB,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,IAAI,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,QAAQ,EAAE,GAAG,EAAE;QAChB,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,eAAe,EAAE,GAAG,EAAE;QACvB,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,2BAA2B,EAAE,GAAG,EAAE;QACnC,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gBAAgB,EAAE,GAAG,EAAE;QACxB,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;IAC3F,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,6BAA6B,EAAE,GAAG,EAAE;QACrC,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,EAAE,IAAI,EAAE,gBAAgB,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,4BAA4B,CAAC,CAAC;IACxF,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,QAAQ,EAAE,GAAG,EAAE;QAChB,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,KAAK,EAAE,GAAG,EAAE;QACb,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,UAAU,EAAE,GAAG,EAAE;QAClB,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,UAAU,EAAE,GAAG,EAAE;QAClB,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uBAAuB,EAAE,GAAG,EAAE;QAC/B,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,QAAQ,EAAE,GAAG,EAAE;QAChB,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,QAAQ,EAAE,GAAG,EAAE;QAChB,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qBAAqB,EAAE,GAAG,EAAE;QAC7B,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,MAAM,EAAE,GAAG,EAAE;QACd,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,SAAS,EAAE,GAAG,EAAE;QACjB,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAClE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,SAAS,EAAE,GAAG,EAAE;QACjB,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACrE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sBAAsB,EAAE,GAAG,EAAE;QAC9B,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,cAAc,EAAE,GAAG,EAAE;QACtB,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,EAAE,IAAI,EAAE,aAAoB,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,MAAM,EAAE,GAAG,EAAE;QACd,IAAA,eAAM,EAAC,IAAA,uBAAc,EAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IACjF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,IAAA,iBAAQ,EAAC,cAAc,EAAE,GAAG,EAAE;IAC5B,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,IAAA,eAAM,EAAC,IAAA,qBAAY,EAAC,EAAE,KAAK,EAAE,EAAE,EAAS,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,IAAA,eAAM,EAAC,IAAA,qBAAY,EAAC,EAAS,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,KAAK,GAAG;YACZ,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,aAAa,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;SACtE,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,qBAAY,EAAC,KAAY,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;QAC9C,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,KAAK,GAAG;YACZ,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACpE,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,qBAAY,EAAC,KAAY,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,SAAS,CAAC,+BAA+B,CAAC,CAAC;IAC3D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,MAAM,KAAK,GAAG;YACZ,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,aAAa,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;SACzE,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,qBAAY,EAAC,KAAY,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,SAAS,CAAC,iCAAiC,CAAC,CAAC;IAC7D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,KAAK,GAAG;YACZ,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;SAC3E,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,qBAAY,EAAC,KAAY,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,KAAK,GAAG;YACZ,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,aAAa,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;SAChF,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,qBAAY,EAAC,KAAY,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,SAAS,CAAC,kBAAkB,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAC1C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kBAAkB,EAAE,GAAG,EAAE;QAC1B,MAAM,KAAK,GAAG;YACZ,KAAK,EAAE;gBACL,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE;gBAC1D,EAAE,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,aAAa,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE,EAAE;gBAC9E,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,aAAa,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE;aAC9D;SACF,CAAC;QACF,MAAM,KAAK,GAAG,IAAA,qBAAY,EAAC,KAAY,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,SAAS,CAAC,mBAAmB,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

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

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

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