@stevenvo780/st-lang 4.3.0 → 4.4.0

package/dist/system-f/types.js

@@ -0,0 +1,157 @@
+"use strict";
+// ============================================================
+// System F — Polymorphic lambda calculus (λ²)
+// ============================================================
+//
+// Extiende el λ-cálculo simplemente tipado con cuantificación
+// universal sobre tipos:
+//
+//   T ::= X | T → T | ∀X. T
+//   t ::= x | λx:T. t | t t | Λ X. t | t [T]
+//
+// Curry-Howard: corresponde a la lógica proposicional intuicionista
+// de segundo orden (cuantificación sobre proposiciones).
+//
+// Convenciones:
+//   - Variables de término: minúsculas (x, y, f).
+//   - Variables de tipo: mayúsculas convencionalmente (X, Y, Z), pero
+//     no impuestas — `atom('foo')` también es legal.
+//   - Λ usa `tabs` (type-abstraction); t [T] usa `tapp`.
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.fTApp = exports.fTAbs = exports.fApp = exports.fAbs = exports.fVar = exports.fForall = exports.fArrow = exports.fAtom = void 0;
+exports.freeTypeVars = freeTypeVars;
+exports.alphaEqType = alphaEqType;
+exports.isWellFormed = isWellFormed;
+exports.fTypeToString = fTypeToString;
+exports.fTermToString = fTermToString;
+exports.emptyContext = emptyContext;
+exports.cloneContext = cloneContext;
+// ---------- Constructores convenientes ----------
+const fAtom = (name) => ({ kind: 'atom', name });
+exports.fAtom = fAtom;
+const fArrow = (from, to) => ({ kind: 'arrow', from, to });
+exports.fArrow = fArrow;
+const fForall = (bind, body) => ({ kind: 'forall', bind, body });
+exports.fForall = fForall;
+const fVar = (name) => ({ kind: 'var', name });
+exports.fVar = fVar;
+const fAbs = (param, paramType, body) => ({
+    kind: 'abs',
+    param,
+    paramType,
+    body,
+});
+exports.fAbs = fAbs;
+const fApp = (fn, arg) => ({ kind: 'app', fn, arg });
+exports.fApp = fApp;
+const fTAbs = (bind, body) => ({ kind: 'tabs', bind, body });
+exports.fTAbs = fTAbs;
+const fTApp = (fn, typeArg) => ({ kind: 'tapp', fn, typeArg });
+exports.fTApp = fTApp;
+// ---------- Variables libres de tipo (sobre FType) ----------
+function freeTypeVars(t, acc = new Set()) {
+    switch (t.kind) {
+        case 'atom':
+            acc.add(t.name);
+            return acc;
+        case 'arrow':
+            freeTypeVars(t.from, acc);
+            freeTypeVars(t.to, acc);
+            return acc;
+        case 'forall': {
+            const inner = freeTypeVars(t.body);
+            inner.delete(t.bind);
+            for (const v of inner)
+                acc.add(v);
+            return acc;
+        }
+    }
+}
+// ---------- α-equivalencia de tipos ----------
+// ∀X. T y ∀Y. T[X:=Y] son iguales módulo α.
+function alphaEqType(a, b) {
+    return alphaEqTypeEnv(a, b, new Map(), new Map(), { n: 0 });
+}
+function alphaEqTypeEnv(a, b, envA, envB, counter) {
+    if (a.kind !== b.kind)
+        return false;
+    switch (a.kind) {
+        case 'atom': {
+            const bb = b;
+            const ia = envA.get(a.name);
+            const ib = envB.get(bb.name);
+            if (ia === undefined && ib === undefined)
+                return a.name === bb.name;
+            return ia === ib;
+        }
+        case 'arrow': {
+            const bb = b;
+            return (alphaEqTypeEnv(a.from, bb.from, envA, envB, counter) &&
+                alphaEqTypeEnv(a.to, bb.to, envA, envB, counter));
+        }
+        case 'forall': {
+            const bb = b;
+            const idx = counter.n++;
+            const newA = new Map(envA);
+            newA.set(a.bind, idx);
+            const newB = new Map(envB);
+            newB.set(bb.bind, idx);
+            return alphaEqTypeEnv(a.body, bb.body, newA, newB, counter);
+        }
+    }
+}
+// ---------- Well-formedness de tipos ----------
+// Un tipo está bien formado si todas sus variables libres están
+// declaradas en el contexto de tipos.
+function isWellFormed(type, ctx = new Set()) {
+    switch (type.kind) {
+        case 'atom':
+            return ctx.has(type.name);
+        case 'arrow':
+            return isWellFormed(type.from, ctx) && isWellFormed(type.to, ctx);
+        case 'forall': {
+            const extended = new Set(ctx);
+            extended.add(type.bind);
+            return isWellFormed(type.body, extended);
+        }
+    }
+}
+// ---------- Serialización legible ----------
+function fTypeToString(t) {
+    switch (t.kind) {
+        case 'atom':
+            return t.name;
+        case 'arrow': {
+            const lhs = t.from.kind === 'arrow' || t.from.kind === 'forall'
+                ? `(${fTypeToString(t.from)})`
+                : fTypeToString(t.from);
+            return `${lhs} → ${fTypeToString(t.to)}`;
+        }
+        case 'forall':
+            return `∀${t.bind}. ${fTypeToString(t.body)}`;
+    }
+}
+function fTermToString(t) {
+    switch (t.kind) {
+        case 'var':
+            return t.name;
+        case 'abs':
+            return `(λ${t.param}:${fTypeToString(t.paramType)}. ${fTermToString(t.body)})`;
+        case 'app': {
+            const fn = fTermToString(t.fn);
+            const arg = t.arg.kind === 'app' ? `(${fTermToString(t.arg)})` : fTermToString(t.arg);
+            return `(${fn} ${arg})`;
+        }
+        case 'tabs':
+            return `(Λ${t.bind}. ${fTermToString(t.body)})`;
+        case 'tapp':
+            return `(${fTermToString(t.fn)} [${fTypeToString(t.typeArg)}])`;
+    }
+}
+function emptyContext() {
+    return { term: new Map(), type: new Set() };
+}
+function cloneContext(ctx) {
+    return { term: new Map(ctx.term), type: new Set(ctx.type) };
+}
+//# sourceMappingURL=types.js.map

package/dist/system-f/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/system-f/types.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,8CAA8C;AAC9C,+DAA+D;AAC/D,EAAE;AACF,8DAA8D;AAC9D,yBAAyB;AACzB,EAAE;AACF,4BAA4B;AAC5B,6CAA6C;AAC7C,EAAE;AACF,oEAAoE;AACpE,yDAAyD;AACzD,EAAE;AACF,gBAAgB;AAChB,kDAAkD;AAClD,sEAAsE;AACtE,qDAAqD;AACrD,yDAAyD;;;AA+BzD,oCAgBC;AAID,kCAEC;AAwCD,oCAYC;AAGD,sCAcC;AAED,sCAgBC;AAUD,oCAEC;AAED,oCAEC;AA9ID,mDAAmD;AAC5C,MAAM,KAAK,GAAG,CAAC,IAAY,EAAS,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;AAA1D,QAAA,KAAK,SAAqD;AAChE,MAAM,MAAM,GAAG,CAAC,IAAW,EAAE,EAAS,EAAS,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;AAA1E,QAAA,MAAM,UAAoE;AAChF,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,IAAW,EAAS,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;AAAjF,QAAA,OAAO,WAA0E;AAEvF,MAAM,IAAI,GAAG,CAAC,IAAY,EAAS,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;AAAxD,QAAA,IAAI,QAAoD;AAC9D,MAAM,IAAI,GAAG,CAAC,KAAa,EAAE,SAAgB,EAAE,IAAW,EAAS,EAAE,CAAC,CAAC;IAC5E,IAAI,EAAE,KAAK;IACX,KAAK;IACL,SAAS;IACT,IAAI;CACL,CAAC,CAAC;AALU,QAAA,IAAI,QAKd;AACI,MAAM,IAAI,GAAG,CAAC,EAAS,EAAE,GAAU,EAAS,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC;AAApE,QAAA,IAAI,QAAgE;AAC1E,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,IAAW,EAAS,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;AAA7E,QAAA,KAAK,SAAwE;AACnF,MAAM,KAAK,GAAG,CAAC,EAAS,EAAE,OAAc,EAAS,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC;AAA9E,QAAA,KAAK,SAAyE;AAE3F,+DAA+D;AAC/D,SAAgB,YAAY,CAAC,CAAQ,EAAE,MAAmB,IAAI,GAAG,EAAE;IACjE,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,MAAM;YACT,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAChB,OAAO,GAAG,CAAC;QACb,KAAK,OAAO;YACV,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YAC1B,YAAY,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;YACxB,OAAO,GAAG,CAAC;QACb,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACnC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACrB,KAAK,MAAM,CAAC,IAAI,KAAK;gBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YAClC,OAAO,GAAG,CAAC;QACb,CAAC;IACH,CAAC;AACH,CAAC;AAED,gDAAgD;AAChD,4CAA4C;AAC5C,SAAgB,WAAW,CAAC,CAAQ,EAAE,CAAQ;IAC5C,OAAO,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,GAAG,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,cAAc,CACrB,CAAQ,EACR,CAAQ,EACR,IAAyB,EACzB,IAAyB,EACzB,OAAsB;IAEtB,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IACpC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,EAAE,GAAG,CAAa,CAAC;YACzB,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC5B,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YAC7B,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS;gBAAE,OAAO,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,CAAC;YACpE,OAAO,EAAE,KAAK,EAAE,CAAC;QACnB,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,EAAE,GAAG,CAAa,CAAC;YACzB,OAAO,CACL,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC;gBACpD,cAAc,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CACjD,CAAC;QACJ,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,EAAE,GAAG,CAAa,CAAC;YACzB,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;YAC3B,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACtB,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC;YAC3B,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;YACvB,OAAO,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QAC9D,CAAC;IACH,CAAC;AACH,CAAC;AAED,iDAAiD;AACjD,gEAAgE;AAChE,sCAAsC;AACtC,SAAgB,YAAY,CAAC,IAAW,EAAE,MAAmB,IAAI,GAAG,EAAE;IACpE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM;YACT,OAAO,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,KAAK,OAAO;YACV,OAAO,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QACpE,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC;YAC9B,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxB,OAAO,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC3C,CAAC;IACH,CAAC;AACH,CAAC;AAED,8CAA8C;AAC9C,SAAgB,aAAa,CAAC,CAAQ;IACpC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,MAAM;YACT,OAAO,CAAC,CAAC,IAAI,CAAC;QAChB,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,GAAG,GACP,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;gBACjD,CAAC,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG;gBAC9B,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC5B,OAAO,GAAG,GAAG,MAAM,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;QAC3C,CAAC;QACD,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;IAClD,CAAC;AACH,CAAC;AAED,SAAgB,aAAa,CAAC,CAAQ;IACpC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,KAAK;YACR,OAAO,CAAC,CAAC,IAAI,CAAC;QAChB,KAAK,KAAK;YACR,OAAO,KAAK,CAAC,CAAC,KAAK,IAAI,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QACjF,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,EAAE,GAAG,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC/B,MAAM,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YACtF,OAAO,IAAI,EAAE,IAAI,GAAG,GAAG,CAAC;QAC1B,CAAC;QACD,KAAK,MAAM;YACT,OAAO,KAAK,CAAC,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;QAClD,KAAK,MAAM;YACT,OAAO,IAAI,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;IACpE,CAAC;AACH,CAAC;AAUD,SAAgB,YAAY;IAC1B,OAAO,EAAE,IAAI,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;AAC9C,CAAC;AAED,SAAgB,YAAY,CAAC,GAAa;IACxC,OAAO,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;AAC9D,CAAC"}

package/dist/tests/anti-unification/anti-unify.test.d.ts

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

package/dist/tests/anti-unification/anti-unify.test.d.ts.map

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

package/dist/tests/anti-unification/anti-unify.test.js

@@ -0,0 +1,219 @@
+"use strict";
+// ============================================================
+// Tests — Anti-unification (lgg / Plotkin)
+// ============================================================
+//
+// Casos cubiertos:
+//   - Igualdad estructural: lgg(t, t) = t sin vars.
+//   - Cabeza común: lgg argument-wise.
+//   - Cabeza distinta: fresh var.
+//   - Reuso de fresh var para desacuerdos duplicados (clave para lgg).
+//   - Verificación de las dos sustituciones.
+//   - n-way con asociatividad.
+//   - generalizationOrder con todos los casos.
+Object.defineProperty(exports, "__esModule", { value: true });
+const vitest_1 = require("vitest");
+const anti_unification_1 = require("../../runtime/anti-unification");
+(0, vitest_1.describe)('anti-unification — caso base', () => {
+    (0, vitest_1.it)('lgg(a, a) = a sin variables introducidas', () => {
+        const result = (0, anti_unification_1.antiUnify)((0, anti_unification_1.c)('a'), (0, anti_unification_1.c)('a'));
+        (0, vitest_1.expect)((0, anti_unification_1.termEquals)(result.generalization, (0, anti_unification_1.c)('a'))).toBe(true);
+        (0, vitest_1.expect)(result.variables).toHaveLength(0);
+        (0, vitest_1.expect)(result.substLeft.size).toBe(0);
+        (0, vitest_1.expect)(result.substRight.size).toBe(0);
+    });
+    (0, vitest_1.it)('lgg(X, X) = X (variables iguales no introducen fresh)', () => {
+        const result = (0, anti_unification_1.antiUnify)((0, anti_unification_1.v)('X'), (0, anti_unification_1.v)('X'));
+        (0, vitest_1.expect)((0, anti_unification_1.termEquals)(result.generalization, (0, anti_unification_1.v)('X'))).toBe(true);
+        (0, vitest_1.expect)(result.variables).toHaveLength(0);
+    });
+});
+(0, vitest_1.describe)('anti-unification — cabeza común', () => {
+    (0, vitest_1.it)('lgg(f(a, b), f(a, c)) = f(a, V) con substs correctas', () => {
+        const result = (0, anti_unification_1.antiUnify)((0, anti_unification_1.f)('f', (0, anti_unification_1.c)('a'), (0, anti_unification_1.c)('b')), (0, anti_unification_1.f)('f', (0, anti_unification_1.c)('a'), (0, anti_unification_1.c)('c')));
+        (0, vitest_1.expect)(result.variables).toHaveLength(1);
+        const vname = result.variables[0];
+        (0, vitest_1.expect)(vname).toBeDefined();
+        if (vname === undefined)
+            return;
+        (0, vitest_1.expect)((0, anti_unification_1.termEquals)(result.generalization, (0, anti_unification_1.f)('f', (0, anti_unification_1.c)('a'), (0, anti_unification_1.v)(vname)))).toBe(true);
+        (0, vitest_1.expect)((0, anti_unification_1.termEquals)(result.substLeft.get(vname), (0, anti_unification_1.c)('b'))).toBe(true);
+        (0, vitest_1.expect)((0, anti_unification_1.termEquals)(result.substRight.get(vname), (0, anti_unification_1.c)('c'))).toBe(true);
+        // σ_L(g) = t1 y σ_R(g) = t2
+        (0, vitest_1.expect)((0, anti_unification_1.termEquals)((0, anti_unification_1.applySubst)(result.generalization, result.substLeft), (0, anti_unification_1.f)('f', (0, anti_unification_1.c)('a'), (0, anti_unification_1.c)('b')))).toBe(true);
+        (0, vitest_1.expect)((0, anti_unification_1.termEquals)((0, anti_unification_1.applySubst)(result.generalization, result.substRight), (0, anti_unification_1.f)('f', (0, anti_unification_1.c)('a'), (0, anti_unification_1.c)('c')))).toBe(true);
+    });
+    (0, vitest_1.it)('lgg(f(a), f(a)) = f(a) sin variables', () => {
+        const result = (0, anti_unification_1.antiUnify)((0, anti_unification_1.f)('f', (0, anti_unification_1.c)('a')), (0, anti_unification_1.f)('f', (0, anti_unification_1.c)('a')));
+        (0, vitest_1.expect)((0, anti_unification_1.termEquals)(result.generalization, (0, anti_unification_1.f)('f', (0, anti_unification_1.c)('a')))).toBe(true);
+        (0, vitest_1.expect)(result.variables).toHaveLength(0);
+    });
+});
+(0, vitest_1.describe)('anti-unification — cabeza distinta', () => {
+    (0, vitest_1.it)('lgg(f(a), g(a)) = fresh var (funciones diferentes)', () => {
+        const result = (0, anti_unification_1.antiUnify)((0, anti_unification_1.f)('f', (0, anti_unification_1.c)('a')), (0, anti_unification_1.f)('g', (0, anti_unification_1.c)('a')));
+        (0, vitest_1.expect)(result.variables).toHaveLength(1);
+        (0, vitest_1.expect)(result.generalization.kind).toBe('var');
+        const vname = result.variables[0];
+        (0, vitest_1.expect)(vname).toBeDefined();
+        if (vname === undefined)
+            return;
+        (0, vitest_1.expect)((0, anti_unification_1.termEquals)(result.substLeft.get(vname), (0, anti_unification_1.f)('f', (0, anti_unification_1.c)('a')))).toBe(true);
+        (0, vitest_1.expect)((0, anti_unification_1.termEquals)(result.substRight.get(vname), (0, anti_unification_1.f)('g', (0, anti_unification_1.c)('a')))).toBe(true);
+    });
+    (0, vitest_1.it)('lgg(a, b) = fresh var (constantes distintas)', () => {
+        const result = (0, anti_unification_1.antiUnify)((0, anti_unification_1.c)('a'), (0, anti_unification_1.c)('b'));
+        (0, vitest_1.expect)(result.generalization.kind).toBe('var');
+        (0, vitest_1.expect)(result.variables).toHaveLength(1);
+    });
+    (0, vitest_1.it)('lgg(f(a, b), g(a, b)) = fresh var (no comparten cabeza)', () => {
+        const result = (0, anti_unification_1.antiUnify)((0, anti_unification_1.f)('f', (0, anti_unification_1.c)('a'), (0, anti_unification_1.c)('b')), (0, anti_unification_1.f)('g', (0, anti_unification_1.c)('a'), (0, anti_unification_1.c)('b')));
+        // La cabeza difiere → un solo fresh var, sin recursar en args.
+        (0, vitest_1.expect)(result.variables).toHaveLength(1);
+        (0, vitest_1.expect)(result.generalization.kind).toBe('var');
+    });
+});
+(0, vitest_1.describe)('anti-unification — aridad distinta', () => {
+    (0, vitest_1.it)('lgg(f(a), f(a, b)) = fresh var (misma cabeza pero aridad distinta)', () => {
+        const result = (0, anti_unification_1.antiUnify)((0, anti_unification_1.f)('f', (0, anti_unification_1.c)('a')), (0, anti_unification_1.f)('f', (0, anti_unification_1.c)('a'), (0, anti_unification_1.c)('b')));
+        (0, vitest_1.expect)(result.variables).toHaveLength(1);
+        (0, vitest_1.expect)(result.generalization.kind).toBe('var');
+    });
+});
+(0, vitest_1.describe)('anti-unification — desacuerdo repetido se comparte', () => {
+    (0, vitest_1.it)('lgg(p(a, a), p(b, b)) = p(V, V) (misma fresh var en ambas posiciones)', () => {
+        const result = (0, anti_unification_1.antiUnify)((0, anti_unification_1.f)('p', (0, anti_unification_1.c)('a'), (0, anti_unification_1.c)('a')), (0, anti_unification_1.f)('p', (0, anti_unification_1.c)('b'), (0, anti_unification_1.c)('b')));
+        (0, vitest_1.expect)(result.variables).toHaveLength(1);
+        const vname = result.variables[0];
+        (0, vitest_1.expect)(vname).toBeDefined();
+        if (vname === undefined)
+            return;
+        (0, vitest_1.expect)((0, anti_unification_1.termEquals)(result.generalization, (0, anti_unification_1.f)('p', (0, anti_unification_1.v)(vname), (0, anti_unification_1.v)(vname)))).toBe(true);
+        // Validamos que la generalización es LEAST: σ_L(g) = t1.
+        (0, vitest_1.expect)((0, anti_unification_1.termEquals)((0, anti_unification_1.applySubst)(result.generalization, result.substLeft), (0, anti_unification_1.f)('p', (0, anti_unification_1.c)('a'), (0, anti_unification_1.c)('a')))).toBe(true);
+        (0, vitest_1.expect)((0, anti_unification_1.termEquals)((0, anti_unification_1.applySubst)(result.generalization, result.substRight), (0, anti_unification_1.f)('p', (0, anti_unification_1.c)('b'), (0, anti_unification_1.c)('b')))).toBe(true);
+    });
+    (0, vitest_1.it)('lgg(f(a, b, c), f(b, a, c)) = f(X, Y, c) con swaps en cada lado', () => {
+        const result = (0, anti_unification_1.antiUnify)((0, anti_unification_1.f)('f', (0, anti_unification_1.c)('a'), (0, anti_unification_1.c)('b'), (0, anti_unification_1.c)('c')), (0, anti_unification_1.f)('f', (0, anti_unification_1.c)('b'), (0, anti_unification_1.c)('a'), (0, anti_unification_1.c)('c')));
+        // Dos desacuerdos: (a,b) en pos 0 y (b,a) en pos 1. Son pares
+        // distintos → dos fresh vars.
+        (0, vitest_1.expect)(result.variables).toHaveLength(2);
+        const [x, y] = result.variables;
+        (0, vitest_1.expect)(x).toBeDefined();
+        (0, vitest_1.expect)(y).toBeDefined();
+        if (x === undefined || y === undefined)
+            return;
+        (0, vitest_1.expect)((0, anti_unification_1.termEquals)(result.generalization, (0, anti_unification_1.f)('f', (0, anti_unification_1.v)(x), (0, anti_unification_1.v)(y), (0, anti_unification_1.c)('c')))).toBe(true);
+        // Left: X→a, Y→b. Right: X→b, Y→a.
+        (0, vitest_1.expect)((0, anti_unification_1.termEquals)(result.substLeft.get(x), (0, anti_unification_1.c)('a'))).toBe(true);
+        (0, vitest_1.expect)((0, anti_unification_1.termEquals)(result.substLeft.get(y), (0, anti_unification_1.c)('b'))).toBe(true);
+        (0, vitest_1.expect)((0, anti_unification_1.termEquals)(result.substRight.get(x), (0, anti_unification_1.c)('b'))).toBe(true);
+        (0, vitest_1.expect)((0, anti_unification_1.termEquals)(result.substRight.get(y), (0, anti_unification_1.c)('a'))).toBe(true);
+    });
+});
+(0, vitest_1.describe)('anti-unification — desacuerdos anidados', () => {
+    (0, vitest_1.it)('lgg(f(g(a), g(b)), f(g(c), g(d))) = f(g(V1), g(V2))', () => {
+        const result = (0, anti_unification_1.antiUnify)((0, anti_unification_1.f)('f', (0, anti_unification_1.f)('g', (0, anti_unification_1.c)('a')), (0, anti_unification_1.f)('g', (0, anti_unification_1.c)('b'))), (0, anti_unification_1.f)('f', (0, anti_unification_1.f)('g', (0, anti_unification_1.c)('c')), (0, anti_unification_1.f)('g', (0, anti_unification_1.c)('d'))));
+        (0, vitest_1.expect)(result.variables).toHaveLength(2);
+        (0, vitest_1.expect)((0, anti_unification_1.termEquals)((0, anti_unification_1.applySubst)(result.generalization, result.substLeft), (0, anti_unification_1.f)('f', (0, anti_unification_1.f)('g', (0, anti_unification_1.c)('a')), (0, anti_unification_1.f)('g', (0, anti_unification_1.c)('b'))))).toBe(true);
+        (0, vitest_1.expect)((0, anti_unification_1.termEquals)((0, anti_unification_1.applySubst)(result.generalization, result.substRight), (0, anti_unification_1.f)('f', (0, anti_unification_1.f)('g', (0, anti_unification_1.c)('c')), (0, anti_unification_1.f)('g', (0, anti_unification_1.c)('d'))))).toBe(true);
+    });
+    (0, vitest_1.it)('lgg(h(x, x), h(y, z)) — variables como términos comunes y distintos', () => {
+        // h(x, x) vs h(y, z): pos 0 desacuerdo (x, y), pos 1 desacuerdo (x, z).
+        // Son pares DISTINTOS porque el segundo componente difiere → dos
+        // fresh vars distintas.
+        const result = (0, anti_unification_1.antiUnify)((0, anti_unification_1.f)('h', (0, anti_unification_1.v)('x'), (0, anti_unification_1.v)('x')), (0, anti_unification_1.f)('h', (0, anti_unification_1.v)('y'), (0, anti_unification_1.v)('z')));
+        (0, vitest_1.expect)(result.variables).toHaveLength(2);
+    });
+});
+(0, vitest_1.describe)('antiUnifyMany — n-way lgg', () => {
+    (0, vitest_1.it)('lgg de 3 términos f(a, b), f(a, c), f(a, d) = f(a, V)', () => {
+        const result = (0, anti_unification_1.antiUnifyMany)([
+            (0, anti_unification_1.f)('f', (0, anti_unification_1.c)('a'), (0, anti_unification_1.c)('b')),
+            (0, anti_unification_1.f)('f', (0, anti_unification_1.c)('a'), (0, anti_unification_1.c)('c')),
+            (0, anti_unification_1.f)('f', (0, anti_unification_1.c)('a'), (0, anti_unification_1.c)('d')),
+        ]);
+        (0, vitest_1.expect)(result.variables).toHaveLength(1);
+        (0, vitest_1.expect)(result.generalization.kind).toBe('func');
+        if (result.generalization.kind !== 'func')
+            return;
+        (0, vitest_1.expect)(result.generalization.name).toBe('f');
+        (0, vitest_1.expect)(result.generalization.args).toBeDefined();
+        (0, vitest_1.expect)((result.generalization.args ?? [])[0]).toEqual((0, anti_unification_1.c)('a'));
+    });
+    (0, vitest_1.it)('lgg de 1 término devuelve el término mismo sin variables', () => {
+        const result = (0, anti_unification_1.antiUnifyMany)([(0, anti_unification_1.f)('f', (0, anti_unification_1.c)('a'))]);
+        (0, vitest_1.expect)((0, anti_unification_1.termEquals)(result.generalization, (0, anti_unification_1.f)('f', (0, anti_unification_1.c)('a')))).toBe(true);
+        (0, vitest_1.expect)(result.variables).toHaveLength(0);
+    });
+    (0, vitest_1.it)('lgg de array vacío lanza', () => {
+        (0, vitest_1.expect)(() => (0, anti_unification_1.antiUnifyMany)([])).toThrow();
+    });
+    (0, vitest_1.it)('antiUnifyManyDetailed devuelve N sustituciones, una por término', () => {
+        const terms = [(0, anti_unification_1.f)('p', (0, anti_unification_1.c)('a'), (0, anti_unification_1.c)('a')), (0, anti_unification_1.f)('p', (0, anti_unification_1.c)('b'), (0, anti_unification_1.c)('b')), (0, anti_unification_1.f)('p', (0, anti_unification_1.c)('c'), (0, anti_unification_1.c)('c'))];
+        const result = (0, anti_unification_1.antiUnifyManyDetailed)(terms);
+        (0, vitest_1.expect)(result.substs).toHaveLength(3);
+        for (let i = 0; i < terms.length; i++) {
+            const ti = terms[i];
+            const si = result.substs[i];
+            (0, vitest_1.expect)(ti).toBeDefined();
+            (0, vitest_1.expect)(si).toBeDefined();
+            if (ti === undefined || si === undefined)
+                continue;
+            (0, vitest_1.expect)((0, anti_unification_1.termEquals)((0, anti_unification_1.applySubst)(result.generalization, si), ti)).toBe(true);
+        }
+    });
+});
+(0, vitest_1.describe)('generalizationOrder', () => {
+    (0, vitest_1.it)('X es más general que f(X) → orden -1', () => {
+        (0, vitest_1.expect)((0, anti_unification_1.generalizationOrder)((0, anti_unification_1.v)('X'), (0, anti_unification_1.f)('f', (0, anti_unification_1.v)('X')))).toBe(-1);
+    });
+    (0, vitest_1.it)('f(X) es menos general que X → orden +1 (sentido inverso)', () => {
+        (0, vitest_1.expect)((0, anti_unification_1.generalizationOrder)((0, anti_unification_1.f)('f', (0, anti_unification_1.v)('X')), (0, anti_unification_1.v)('X'))).toBe(1);
+    });
+    (0, vitest_1.it)('términos idénticos → 0', () => {
+        (0, vitest_1.expect)((0, anti_unification_1.generalizationOrder)((0, anti_unification_1.f)('f', (0, anti_unification_1.c)('a')), (0, anti_unification_1.f)('f', (0, anti_unification_1.c)('a')))).toBe(0);
+    });
+    (0, vitest_1.it)('renombre puro de variables → 0 (equivalentes)', () => {
+        (0, vitest_1.expect)((0, anti_unification_1.generalizationOrder)((0, anti_unification_1.f)('f', (0, anti_unification_1.v)('X')), (0, anti_unification_1.f)('f', (0, anti_unification_1.v)('Y')))).toBe(0);
+    });
+    (0, vitest_1.it)('incomparables: f(X) vs g(X) → null', () => {
+        (0, vitest_1.expect)((0, anti_unification_1.generalizationOrder)((0, anti_unification_1.f)('f', (0, anti_unification_1.v)('X')), (0, anti_unification_1.f)('g', (0, anti_unification_1.v)('X')))).toBe(null);
+    });
+    (0, vitest_1.it)('f(X, X) vs f(X, Y): la primera es menos general (más específica) que la segunda', () => {
+        // f(X, Y) σ-instancia a f(X, X) con σ = {Y → X}.
+        // f(X, X) NO σ-instancia a f(X, Y) (variables del pattern no se pueden duplicar libremente).
+        // Resultado: f(X, Y) más general → generalizationOrder(f(X,X), f(X,Y)) = +1.
+        (0, vitest_1.expect)((0, anti_unification_1.generalizationOrder)((0, anti_unification_1.f)('f', (0, anti_unification_1.v)('X'), (0, anti_unification_1.v)('X')), (0, anti_unification_1.f)('f', (0, anti_unification_1.v)('X'), (0, anti_unification_1.v)('Y')))).toBe(1);
+    });
+});
+(0, vitest_1.describe)('antiUnify — verificación de propiedades invariantes', () => {
+    (0, vitest_1.it)('para cualquier par (t1, t2), σ_L(g) = t1 y σ_R(g) = t2', () => {
+        const pairs = [
+            [(0, anti_unification_1.f)('add', (0, anti_unification_1.c)('1'), (0, anti_unification_1.c)('2')), (0, anti_unification_1.f)('add', (0, anti_unification_1.c)('3'), (0, anti_unification_1.c)('4'))],
+            [(0, anti_unification_1.f)('node', (0, anti_unification_1.v)('x'), (0, anti_unification_1.f)('leaf')), (0, anti_unification_1.f)('node', (0, anti_unification_1.v)('y'), (0, anti_unification_1.f)('leaf'))],
+            [(0, anti_unification_1.c)('zero'), (0, anti_unification_1.f)('succ', (0, anti_unification_1.c)('zero'))],
+            [(0, anti_unification_1.f)('cons', (0, anti_unification_1.c)('a'), (0, anti_unification_1.c)('nil')), (0, anti_unification_1.f)('cons', (0, anti_unification_1.c)('b'), (0, anti_unification_1.f)('cons', (0, anti_unification_1.c)('c'), (0, anti_unification_1.c)('nil')))],
+        ];
+        for (const [t1, t2] of pairs) {
+            const result = (0, anti_unification_1.antiUnify)(t1, t2);
+            (0, vitest_1.expect)((0, anti_unification_1.termEquals)((0, anti_unification_1.applySubst)(result.generalization, result.substLeft), t1)).toBe(true);
+            (0, vitest_1.expect)((0, anti_unification_1.termEquals)((0, anti_unification_1.applySubst)(result.generalization, result.substRight), t2)).toBe(true);
+            // Las variables de la generalización deben ser exactamente las
+            // reportadas en `variables` (módulo el orden).
+            (0, vitest_1.expect)(new Set((0, anti_unification_1.varsOf)(result.generalization))).toEqual(new Set(result.variables));
+        }
+    });
+    (0, vitest_1.it)('freshSupply custom controla los nombres de variables', () => {
+        let i = 0;
+        const supply = () => `Z${i++}`;
+        const result = (0, anti_unification_1.antiUnify)((0, anti_unification_1.f)('f', (0, anti_unification_1.c)('a'), (0, anti_unification_1.c)('b')), (0, anti_unification_1.f)('f', (0, anti_unification_1.c)('c'), (0, anti_unification_1.c)('d')), supply);
+        (0, vitest_1.expect)(result.variables).toEqual(['Z0', 'Z1']);
+    });
+    (0, vitest_1.it)('defaultFreshSupply con prefijo personalizado genera nombres consistentes', () => {
+        const supply = (0, anti_unification_1.defaultFreshSupply)('var_');
+        const result = (0, anti_unification_1.antiUnify)((0, anti_unification_1.c)('a'), (0, anti_unification_1.c)('b'), supply);
+        (0, vitest_1.expect)(result.variables[0]).toBe('var_0');
+    });
+});
+//# sourceMappingURL=anti-unify.test.js.map

package/dist/tests/anti-unification/anti-unify.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"anti-unify.test.js","sourceRoot":"","sources":["../../../src/tests/anti-unification/anti-unify.test.ts"],"names":[],"mappings":";AAAA,+DAA+D;AAC/D,2CAA2C;AAC3C,+DAA+D;AAC/D,EAAE;AACF,mBAAmB;AACnB,oDAAoD;AACpD,uCAAuC;AACvC,kCAAkC;AAClC,uEAAuE;AACvE,6CAA6C;AAC7C,+BAA+B;AAC/B,+CAA+C;;AAE/C,mCAA8C;AAC9C,qEAYwC;AAExC,IAAA,iBAAQ,EAAC,8BAA8B,EAAE,GAAG,EAAE;IAC5C,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,MAAM,GAAG,IAAA,4BAAS,EAAC,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,cAAc,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACtC,IAAA,eAAM,EAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,MAAM,GAAG,IAAA,4BAAS,EAAC,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,cAAc,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7D,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,MAAM,GAAG,IAAA,4BAAS,EAAC,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5B,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO;QAChC,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,cAAc,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC/E,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAE,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpE,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAE,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrE,4BAA4B;QAC5B,IAAA,eAAM,EACJ,IAAA,6BAAU,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CACxF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,IAAA,eAAM,EACJ,IAAA,6BAAU,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,UAAU,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CACzF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,MAAM,GAAG,IAAA,4BAAS,EAAC,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,cAAc,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrE,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,MAAM,GAAG,IAAA,4BAAS,EAAC,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/C,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5B,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO;QAChC,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAE,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5E,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAE,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,MAAM,GAAG,IAAA,4BAAS,EAAC,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,yDAAyD,EAAE,GAAG,EAAE;QACjE,MAAM,MAAM,GAAG,IAAA,4BAAS,EAAC,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzE,+DAA+D;QAC/D,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,oEAAoE,EAAE,GAAG,EAAE;QAC5E,MAAM,MAAM,GAAG,IAAA,4BAAS,EAAC,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,oDAAoD,EAAE,GAAG,EAAE;IAClE,IAAA,WAAE,EAAC,uEAAuE,EAAE,GAAG,EAAE;QAC/E,MAAM,MAAM,GAAG,IAAA,4BAAS,EAAC,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QAClC,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;QAC5B,IAAI,KAAK,KAAK,SAAS;YAAE,OAAO;QAChC,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,cAAc,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,KAAK,CAAC,EAAE,IAAA,oBAAC,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjF,yDAAyD;QACzD,IAAA,eAAM,EACJ,IAAA,6BAAU,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CACxF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,IAAA,eAAM,EACJ,IAAA,6BAAU,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,UAAU,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CACzF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,MAAM,GAAG,IAAA,4BAAS,EAAC,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzF,8DAA8D;QAC9D,8BAA8B;QAC9B,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACzC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC;QAChC,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QACxB,IAAA,eAAM,EAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;QACxB,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO;QAC/C,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,cAAc,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjF,mCAAmC;QACnC,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAE,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAE,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAE,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAE,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACnE,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,IAAA,WAAE,EAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,MAAM,GAAG,IAAA,4BAAS,EACtB,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,EACtC,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CACvC,CAAC;QACF,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EACJ,IAAA,6BAAU,EACR,IAAA,6BAAU,EAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,SAAS,CAAC,EACnD,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CACvC,CACF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACb,IAAA,eAAM,EACJ,IAAA,6BAAU,EACR,IAAA,6BAAU,EAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,UAAU,CAAC,EACpD,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CACvC,CACF,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACf,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,qEAAqE,EAAE,GAAG,EAAE;QAC7E,wEAAwE;QACxE,iEAAiE;QACjE,wBAAwB;QACxB,MAAM,MAAM,GAAG,IAAA,4BAAS,EAAC,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAA,WAAE,EAAC,uDAAuD,EAAE,GAAG,EAAE;QAC/D,MAAM,MAAM,GAAG,IAAA,gCAAa,EAAC;YAC3B,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC;YACtB,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC;YACtB,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC;SACvB,CAAC,CAAC;QACH,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACzC,IAAA,eAAM,EAAC,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAChD,IAAI,MAAM,CAAC,cAAc,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO;QAClD,IAAA,eAAM,EAAC,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,MAAM,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;QACjD,IAAA,eAAM,EAAC,CAAC,MAAM,CAAC,cAAc,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;IAChE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,MAAM,MAAM,GAAG,IAAA,gCAAa,EAAC,CAAC,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,cAAc,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrE,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,IAAA,eAAM,EAAC,GAAG,EAAE,CAAC,IAAA,gCAAa,EAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iEAAiE,EAAE,GAAG,EAAE;QACzE,MAAM,KAAK,GAAG,CAAC,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACvF,MAAM,MAAM,GAAG,IAAA,wCAAqB,EAAC,KAAK,CAAC,CAAC;QAC5C,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACtC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,MAAM,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;YACpB,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC5B,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;YACzB,IAAA,eAAM,EAAC,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC;YACzB,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,KAAK,SAAS;gBAAE,SAAS;YACnD,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,cAAc,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,IAAA,eAAM,EAAC,IAAA,sCAAmB,EAAC,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0DAA0D,EAAE,GAAG,EAAE;QAClE,IAAA,eAAM,EAAC,IAAA,sCAAmB,EAAC,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,wBAAwB,EAAE,GAAG,EAAE;QAChC,IAAA,eAAM,EAAC,IAAA,sCAAmB,EAAC,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+CAA+C,EAAE,GAAG,EAAE;QACvD,IAAA,eAAM,EAAC,IAAA,sCAAmB,EAAC,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,IAAA,eAAM,EAAC,IAAA,sCAAmB,EAAC,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iFAAiF,EAAE,GAAG,EAAE;QACzF,iDAAiD;QACjD,6FAA6F;QAC7F,6EAA6E;QAC7E,IAAA,eAAM,EAAC,IAAA,sCAAmB,EAAC,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtF,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,IAAA,iBAAQ,EAAC,qDAAqD,EAAE,GAAG,EAAE;IACnE,IAAA,WAAE,EAAC,wDAAwD,EAAE,GAAG,EAAE;QAChE,MAAM,KAAK,GAGL;YACJ,CAAC,IAAA,oBAAC,EAAC,KAAK,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,KAAK,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,CAAC;YACpD,CAAC,IAAA,oBAAC,EAAC,MAAM,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,MAAM,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,MAAM,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,MAAM,CAAC,CAAC,CAAC;YAC5D,CAAC,IAAA,oBAAC,EAAC,MAAM,CAAC,EAAE,IAAA,oBAAC,EAAC,MAAM,EAAE,IAAA,oBAAC,EAAC,MAAM,CAAC,CAAC,CAAC;YACjC,CAAC,IAAA,oBAAC,EAAC,MAAM,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,KAAK,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,MAAM,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,MAAM,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,KAAK,CAAC,CAAC,CAAC,CAAC;SAC9E,CAAC;QACF,KAAK,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC;YAC7B,MAAM,MAAM,GAAG,IAAA,4BAAS,EAAC,EAAE,EAAE,EAAE,CAAC,CAAC;YACjC,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,SAAS,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvF,IAAA,eAAM,EAAC,IAAA,6BAAU,EAAC,IAAA,6BAAU,EAAC,MAAM,CAAC,cAAc,EAAE,MAAM,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxF,+DAA+D;YAC/D,+CAA+C;YAC/C,IAAA,eAAM,EAAC,IAAI,GAAG,CAAC,IAAA,yBAAM,EAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC;QACpF,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,IAAI,CAAC,GAAG,CAAC,CAAC;QACV,MAAM,MAAM,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,IAAA,4BAAS,EAAC,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QACjF,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0EAA0E,EAAE,GAAG,EAAE;QAClF,MAAM,MAAM,GAAG,IAAA,qCAAkB,EAAC,MAAM,CAAC,CAAC;QAC1C,MAAM,MAAM,GAAG,IAAA,4BAAS,EAAC,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,IAAA,oBAAC,EAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

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

@@ -4,7 +4,7 @@
  * Current coverage: ~30% stmts, ~38% branch
  * Uses: AristotelianSyllogistic directly + evaluate() API
  */
-/* 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 */
+/* eslint-disable @typescript-eslint/no-unsafe-argument -- test stubs use partial any casts for brevity */
 Object.defineProperty(exports, "__esModule", { value: true });
 const vitest_1 = require("vitest");
 const api_1 = require("../api");

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

@@ -1 +1 @@
-{"version":3,"file":"coverage-fill-aristotelian.test.js","sourceRoot":"","sources":["../../src/tests/coverage-fill-aristotelian.test.ts"],"names":[],"mappings":";AAAA;;;;GAIG;AACH,kOAAkO;;AAElO,mCAA8C;AAC9C,gCAAkC;AAClC,sEAA+E;AAG/E,MAAM,OAAO,GAAG,IAAI,qCAAuB,EAAE,CAAC;AAE9C,iFAAiF;AAEjF,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,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,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,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AAErF,iFAAiF;AAEjF,mCAAmC;AACnC,MAAM,aAAa,GAAG,CAAC,CAAS,EAAE,CAAS,EAAW,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAEhG,sCAAsC;AACtC,MAAM,aAAa,GAAG,CAAC,CAAS,EAAE,CAAS,EAAW,EAAE,CACtD,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAE9C,oCAAoC;AACpC,MAAM,cAAc,GAAG,CAAC,CAAS,EAAE,CAAS,EAAW,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAE7F,wCAAwC;AACxC,MAAM,cAAc,GAAG,CAAC,CAAS,EAAE,CAAS,EAAW,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAElG,mCAAmC;AACnC,MAAM,SAAS,GAAG,CAAC,EAAW,EAAE,EAAW,EAAE,CAAU,EAAW,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAE7F,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,0BAA0B;CACpC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,KAAK,GAAG,OAAO,CAAC,eAAe,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,KAAK,GAAG,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,KAAK,GAAG,OAAO,CAAC,eAAe,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACxC,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;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACpC,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,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,iCAAiC;QACjC,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC3C,MAAM,CAAC,GAAG,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACpC,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACpC,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,0CAA0C;QAC1C,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,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,uCAAuC,EAAE,GAAG,EAAE;QAC/C,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,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,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAClE,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,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,MAAa,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAC7C,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,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,MAAa,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxC,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,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa;QAC/D,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,MAAa,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,MAAa,EAAE,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,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,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,MAAa,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACrC,wCAAwC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,MAAa,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACrC,4DAA4D;QAC5D,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,SAAS,CAAC,EAAE,MAAa,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,MAAa,CAAC,CAAC;QAC3D,8CAA8C;QAC9C,IAAA,eAAM,EAAC,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,MAAa,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACnC,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,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,MAAa,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC3C,MAAM,CAAC,GAAG,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,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,sBAAsB,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,0BAA0B,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAClC,MAAM,CAAC,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAClC,MAAM,CAAC,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC,EAAE,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,iCAAiC,EAAE,GAAG,EAAE;QACzC,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;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,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;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;CAKtB,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,UAAU,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,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;AACL,CAAC,CAAC,CAAC"}
+{"version":3,"file":"coverage-fill-aristotelian.test.js","sourceRoot":"","sources":["../../src/tests/coverage-fill-aristotelian.test.ts"],"names":[],"mappings":";AAAA;;;;GAIG;AACH,0GAA0G;;AAE1G,mCAA8C;AAC9C,gCAAkC;AAClC,sEAA+E;AAG/E,MAAM,OAAO,GAAG,IAAI,qCAAuB,EAAE,CAAC;AAE9C,iFAAiF;AAEjF,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,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,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,EAAW,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AAErF,iFAAiF;AAEjF,mCAAmC;AACnC,MAAM,aAAa,GAAG,CAAC,CAAS,EAAE,CAAS,EAAW,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAEhG,sCAAsC;AACtC,MAAM,aAAa,GAAG,CAAC,CAAS,EAAE,CAAS,EAAW,EAAE,CACtD,MAAM,CAAC,GAAG,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAE9C,oCAAoC;AACpC,MAAM,cAAc,GAAG,CAAC,CAAS,EAAE,CAAS,EAAW,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAE7F,wCAAwC;AACxC,MAAM,cAAc,GAAG,CAAC,CAAS,EAAE,CAAS,EAAW,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAElG,mCAAmC;AACnC,MAAM,SAAS,GAAG,CAAC,EAAW,EAAE,EAAW,EAAE,CAAU,EAAW,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAE7F,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,0BAA0B;CACpC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,IAAA,WAAE,EAAC,mDAAmD,EAAE,GAAG,EAAE;QAC3D,MAAM,KAAK,GAAG,OAAO,CAAC,eAAe,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAC/D,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,KAAK,GAAG,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACjD,IAAA,eAAM,EAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,KAAK,GAAG,OAAO,CAAC,eAAe,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,KAAK,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAChC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACxC,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;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,CAAC,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACpC,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,oCAAoC,EAAE,GAAG,EAAE;IAClD,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,iCAAiC;QACjC,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC3C,MAAM,CAAC,GAAG,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;QACrC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,8DAA8D,EAAE,GAAG,EAAE;QACtE,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACpC,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACpC,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,0CAA0C;QAC1C,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,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,uCAAuC,EAAE,GAAG,EAAE;QAC/C,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,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,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gEAAgE,EAAE,GAAG,EAAE;QACxE,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kEAAkE,EAAE,GAAG,EAAE;QAC1E,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,UAAU,GAAG,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;IAC/C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,0CAA0C,EAAE,GAAG,EAAE;IACxD,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAClE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,mCAAmC,EAAE,GAAG,EAAE;QAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QAClE,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,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACnD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,MAAM,GAAG,OAAO,CAAC,gBAAgB,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACvE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,+BAA+B,EAAE,GAAG,EAAE;IAC7C,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,MAAa,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAC7C,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,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,MAAa,CAAC,CAAC;QAClD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxC,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,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa;QAC/D,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,MAAa,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACzC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,iDAAiD,EAAE,GAAG,EAAE;QACzD,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,EAAE,MAAa,EAAE,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC;QACzE,IAAA,eAAM,EAAC,MAAM,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,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,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,gCAAgC,EAAE,GAAG,EAAE;IAC9C,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,MAAa,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IAC7C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+DAA+D,EAAE,GAAG,EAAE;QACvE,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACrC,wCAAwC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,MAAa,CAAC,CAAC;QACtE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACrC,4DAA4D;QAC5D,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,SAAS,CAAC,EAAE,MAAa,CAAC,CAAC;QAChE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,MAAa,CAAC,CAAC;QAC3D,8CAA8C;QAC9C,IAAA,eAAM,EAAC,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACjD,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACrC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,EAAE,MAAa,CAAC,CAAC;QAC3D,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC;IAC9C,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,MAAM,GAAG,WAAW,EAAE,CAAC;QAC7B,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACnC,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,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,MAAa,CAAC,CAAC;QACjE,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,gFAAgF;AAEhF,IAAA,iBAAQ,EAAC,sCAAsC,EAAE,GAAG,EAAE;IACpD,IAAA,WAAE,EAAC,qCAAqC,EAAE,GAAG,EAAE;QAC7C,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QACnC,MAAM,UAAU,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC3C,MAAM,CAAC,GAAG,SAAS,CAAC,EAAE,EAAE,EAAE,EAAE,UAAU,CAAC,CAAC;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;QACvC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACpC,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;IACzD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,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,sBAAsB,CAAC,CAAC;IAC1D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,iCAAiC,EAAE,GAAG,EAAE;IAC/C,IAAA,WAAE,EAAC,yCAAyC,EAAE,GAAG,EAAE;QACjD,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,qBAAqB,CAAC,CAAC;QACvD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,aAAa,CAAC,CAAC;QAC/C,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,0CAA0C,EAAE,GAAG,EAAE;QAClD,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,uCAAuC,EAAE,GAAG,EAAE;QAC/C,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,iBAAiB,CAAC,CAAC;IACrD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,kCAAkC,EAAE,GAAG,EAAE;QAC1C,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1C,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,0BAA0B,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACxD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,YAAY,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,gCAAgC,EAAE,GAAG,EAAE;QACxC,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,cAAc,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,+BAA+B,EAAE,GAAG,EAAE;QACvC,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;QACzD,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,gBAAgB,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,IAAA,WAAE,EAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,CAAC,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAClC,MAAM,CAAC,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7C,IAAA,eAAM,EAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,IAAA,WAAE,EAAC,oCAAoC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAClC,MAAM,CAAC,GAAG,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAClC,MAAM,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC,EAAE,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,iCAAiC,EAAE,GAAG,EAAE;QACzC,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;AACL,CAAC,CAAC,CAAC;AAEH,iFAAiF;AAEjF,IAAA,iBAAQ,EAAC,yCAAyC,EAAE,GAAG,EAAE;IACvD,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;IAEH,IAAA,WAAE,EAAC,mBAAmB,EAAE,GAAG,EAAE;QAC3B,MAAM,CAAC,GAAG,IAAA,cAAQ,EAAC;;;;;CAKtB,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,UAAU,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,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;AACL,CAAC,CAAC,CAAC"}

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

@@ -3,7 +3,7 @@
  * Coverage fill — src/runtime/fallacies.ts
  * Current coverage: ~65% stmts, ~48% 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 */
+/* eslint-disable @typescript-eslint/no-unsafe-argument -- test stubs use partial any casts for brevity */
 Object.defineProperty(exports, "__esModule", { value: true });
 const vitest_1 = require("vitest");
 const fallacies_1 = require("../runtime/fallacies");