@quereus/quereus 4.5.0 → 4.7.0

package/dist/src/types/builtin-types.js

@@ -11,6 +11,26 @@ import { compareSqlValuesFast, BINARY_COLLATION } from '../util/comparison.js';
 function compareNumericValues(a, b) {
     return a < b ? -1 : a > b ? 1 : 0;
 }
+/**
+ * `compare` shared by REAL and NUMERIC: NULL first, then NaN (lowest), then value order.
+ *
+ * Operands are typed `number | bigint` even for REAL, whose value space is number-only
+ * per its `validate`: the shared index/PK comparators pass through raw storage-class
+ * values, so a REAL column compared against an INTEGER literal past 2^53 arrives here
+ * as a bigint. `isNaN()` throws on a bigint operand, hence the `typeof` guard.
+ */
+function compareNumericWithNaN(a, b) {
+    const nullCmp = compareNulls(a, b);
+    if (nullCmp !== undefined)
+        return nullCmp;
+    const aIsNaN = typeof a === 'number' && isNaN(a);
+    const bIsNaN = typeof b === 'number' && isNaN(b);
+    if (aIsNaN)
+        return bIsNaN ? 0 : -1;
+    if (bIsNaN)
+        return 1;
+    return compareNumericValues(a, b);
+}
 /**
  * NULL type - represents null values
  */
@@ -53,11 +73,18 @@ export const INTEGER_TYPE = {
             const trimmed = v.trim();
             if (trimmed === '')
                 return null;
-            const parsed = parseInt(trimmed, 10);
-            if (isNaN(parsed)) {
+            // Leading integer run only (mirrors parseInt's prefix leniency: '12abc' -> 12).
+            // Past 2^53 rebuild from the digit string, not the rounded number — same
+            // safe-integer boundary as the lexer's number() for INTEGER literals.
+            const m = /^[+-]?\d+/.exec(trimmed);
+            if (!m) {
                 throw new TypeError(`Cannot convert '${v}' to INTEGER`);
             }
-            return parsed;
+            const digits = m[0];
+            const parsed = Number(digits);
+            if (Number.isSafeInteger(parsed))
+                return parsed;
+            return BigInt(digits[0] === '+' ? digits.slice(1) : digits);
         }
         throw new TypeError(`Cannot convert ${typeof v} to INTEGER`);
     },
@@ -101,18 +128,7 @@ export const REAL_TYPE = {
         }
         throw new TypeError(`Cannot convert ${typeof v} to REAL`);
     },
-    compare: (a, b) => {
-        const nullCmp = compareNulls(a, b);
-        if (nullCmp !== undefined)
-            return nullCmp;
-        const numA = a;
-        const numB = b;
-        if (isNaN(numA))
-            return isNaN(numB) ? 0 : -1;
-        if (isNaN(numB))
-            return 1;
-        return numA < numB ? -1 : numA > numB ? 1 : 0;
-    },
+    compare: compareNumericWithNaN,
 };
 /**
  * TEXT type - strings
@@ -121,6 +137,7 @@ export const TEXT_TYPE = {
     name: 'TEXT',
     physicalType: PhysicalType.TEXT,
     isTextual: true,
+    collationAware: true,
     supportedCollations: ['BINARY', 'NOCASE', 'RTRIM'],
     validate: (v) => {
         if (v === null)
@@ -270,11 +287,16 @@ export const NUMERIC_TYPE = {
             const trimmed = v.trim();
             if (trimmed === '')
                 return null;
-            // Try integer first
-            if (/^-?\d+$/.test(trimmed)) {
-                const parsed = parseInt(trimmed, 10);
-                if (!isNaN(parsed))
+            // Try integer first. Past 2^53 rebuild from the digit string, not the
+            // rounded number — same safe-integer boundary as the lexer's number()
+            // for INTEGER literals. An explicit '+' is accepted here so this arm
+            // agrees with INTEGER_TYPE.parse, but stripped before BigInt(), which
+            // rejects the sign that Number() accepts.
+            if (/^[+-]?\d+$/.test(trimmed)) {
+                const parsed = Number(trimmed);
+                if (Number.isSafeInteger(parsed))
                     return parsed;
+                return BigInt(trimmed[0] === '+' ? trimmed.slice(1) : trimmed);
             }
             // Fall back to real
             const parsed = parseFloat(trimmed);
@@ -285,20 +307,7 @@ export const NUMERIC_TYPE = {
         }
         throw new TypeError(`Cannot convert ${typeof v} to NUMERIC`);
     },
-    compare: (a, b) => {
-        const nullCmp = compareNulls(a, b);
-        if (nullCmp !== undefined)
-            return nullCmp;
-        // NUMERIC's value space is number | bigint (unlike REAL, which is number-only),
-        // so we can't delegate to REAL_TYPE.compare: isNaN() throws on a bigint operand.
-        const aIsNaN = typeof a === 'number' && isNaN(a);
-        const bIsNaN = typeof b === 'number' && isNaN(b);
-        if (aIsNaN)
-            return bIsNaN ? 0 : -1;
-        if (bIsNaN)
-            return 1;
-        return compareNumericValues(a, b);
-    },
+    compare: compareNumericWithNaN,
 };
 /**
  * ANY type - accepts any value without conversion
@@ -308,8 +317,88 @@ export const NUMERIC_TYPE = {
 export const ANY_TYPE = {
     name: 'ANY',
     physicalType: PhysicalType.NULL,
+    collationAware: true,
     validate: () => true, // Accept any value
     parse: (v) => v, // No conversion, store as-is
-    compare: (a, b) => compareSqlValuesFast(a, b, BINARY_COLLATION),
+    // `compareSqlValuesFast` consults the collation only for a TEXT/TEXT pair and
+    // ranks mixed storage classes by class, so honoring the handed collation is
+    // total over ANY's whole value space — declared-key BTrees (memory PK/index)
+    // agree with the generic operator path on a `v any collate nocase` column.
+    compare: (a, b, collation) => compareSqlValuesFast(a, b, collation ?? BINARY_COLLATION),
 };
+/**
+ * Plan-time argument gate for the numeric builtins (`abs`, `round`, `sqrt`, `floor`,
+ * `ceil`, `clamp`, …), for use from `validateArgTypes`. Accepts three things:
+ *
+ * - a numeric type — the intended case;
+ * - `ANY` — a type the planner cannot classify, e.g. a function registered without a
+ *   declared `returnType`. Rejecting it at plan time would make `abs(my_udf(x))`
+ *   unusable for no gain, so the decision defers to the implementation, which returns
+ *   null for input it cannot use;
+ * - `NULL` — `abs(null)` is null in SQL, not an error, and every numeric builtin's
+ *   implementation already short-circuits a null argument.
+ *
+ * Textual/blob/boolean arguments are still rejected at plan time, as before.
+ */
+export function isNumericOrUnknownType(type) {
+    // NOTE: identity against the singletons, matching how coercion.ts tests NULL_TYPE.
+    // If a plugin ever registers its own distinct type object named 'ANY' or 'NULL'
+    // (types/registry.ts), this stops recognizing it — switch to a `name` comparison then.
+    return type.isNumeric === true || type === ANY_TYPE || type === NULL_TYPE;
+}
+/**
+ * The three builtin types whose values share one numeric seek key space. Tested by
+ * IDENTITY against the registry singletons, deliberately not by `type.isNumeric`:
+ * a plugin-registered numeric type supplies its own `compare`, which is what a
+ * memory-table BTree over such a column is ordered by, while the probe side keys by
+ * storage class. The two need not agree, and a seek has no residual able to repair an
+ * under-fetch, so plugin types stay out.
+ */
+function isSeekKeySpaceNumeric(type) {
+    return type === INTEGER_TYPE || type === REAL_TYPE || type === NUMERIC_TYPE;
+}
+/**
+ * True when two declared logical types share ONE seek key space: any two values of
+ * those types that `=` calls equal produce the same index key under every backend, so
+ * an index seek keyed by a value of one type may be issued against a column declared
+ * the other without missing a row.
+ *
+ * Identical types always qualify. Beyond that, exactly the three builtin numeric types
+ * qualify against each other, because a numeric key's identity is its VALUE and not the
+ * JavaScript representation (`number` vs `bigint`) that happens to hold it — and all
+ * three layers that must agree on that already do:
+ *
+ *  - the hash/semi-join membership check (`util/key-serializer.ts`'s `canonicalNumeric`)
+ *    puts `number`, `bigint` and `boolean` under one `n:` tag and routes integer-valued
+ *    numbers through `BigInt(n)`, so `5`, `5.0` and `5n` all serialize to `n:5`;
+ *  - the in-memory index/PK BTrees are ordered by the column type's own `compare`, and
+ *    INTEGER / REAL / NUMERIC all rank a mixed `number`/`bigint` pair by true magnitude
+ *    (`compareNumericValues`, above);
+ *  - the persistent store's key bytes use a single numeric tag (`encodeNumeric`,
+ *    `@quereus/store`'s `common/encoding.ts`) so integers and reals interleave by
+ *    magnitude: `5n` and `5.0` encode identically, `9007199254740993n` and
+ *    `9007199254740992` do not.
+ *
+ * No conversion of the key value is implied or wanted. Coercing the key into the target
+ * column's type would be WRONG: `INTEGER_TYPE.parse(1.5)` truncates to `1`, minting a key
+ * for a value the comparison does not consider equal — harmless over-fetch where a
+ * residual re-check follows, but a wrong answer on the plan-time literal `IN` path, which
+ * reports the predicate fully handled and keeps no residual.
+ *
+ * BOOLEAN is deliberately absent even though `canonicalNumeric` and the store's
+ * `encodeValue` both fold booleans into the numeric key space: `BOOLEAN_TYPE.compare`
+ * ranks by `a === b`, so against a `1`/`0` operand it disagrees with both — the mismatch
+ * is in the comparator, not the encoding.
+ *
+ * This answers only the CROSS-type question. Whether byte equality equals value equality
+ * WITHIN one type is a separate question, answered by `hasSemanticOrdering`
+ * (`util/comparison.ts`) — callers must keep applying both.
+ */
+export function sharesSeekKeySpace(a, b) {
+    // Name rather than identity for the same-type arm, preserving the behaviour of the
+    // `logicalType.name` comparison this predicate replaced at both seek gates.
+    if (a.name === b.name)
+        return true;
+    return isSeekKeySpaceNumeric(a) && isSeekKeySpaceNumeric(b);
+}
 //# sourceMappingURL=builtin-types.js.map

package/dist/src/types/builtin-types.js.map

@@ -1 +1 @@
-{"version":3,"file":"builtin-types.js","sourceRoot":"","sources":["../../../src/types/builtin-types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAoB,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjF,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAE/E;;;;;;;GAOG;AACH,SAAS,oBAAoB,CAAC,CAAkB,EAAE,CAAkB;IACnE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACnC,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAAgB;IACrC,IAAI,EAAE,MAAM;IACZ,YAAY,EAAE,YAAY,CAAC,IAAI;IAE/B,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI;IAE3B,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC;CAC1C,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAAgB;IACxC,IAAI,EAAE,SAAS;IACf,YAAY,EAAE,YAAY,CAAC,OAAO;IAClC,SAAS,EAAE,IAAI;IAEf,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE;QACf,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC5B,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACvC,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QACjF,OAAO,KAAK,CAAC;IACd,CAAC;IAED,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;QACZ,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC5B,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,CAAC,CAAC;QACpC,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC3B,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1B,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACtB,CAAC;YACD,OAAO,CAAC,CAAC;QACV,CAAC;QACD,IAAI,OAAO,CAAC,KAAK,SAAS;YAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC3B,MAAM,OAAO,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;YACzB,IAAI,OAAO,KAAK,EAAE;gBAAE,OAAO,IAAI,CAAC;YAChC,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YACrC,IAAI,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;gBACnB,MAAM,IAAI,SAAS,CAAC,mBAAmB,CAAC,cAAc,CAAC,CAAC;YACzD,CAAC;YACD,OAAO,MAAM,CAAC;QACf,CAAC;QACD,MAAM,IAAI,SAAS,CAAC,kBAAkB,OAAO,CAAC,aAAa,CAAC,CAAC;IAC9D,CAAC;IAED,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACjB,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACnC,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,OAAO,CAAC;QAE1C,OAAO,oBAAoB,CAAC,CAAoB,EAAE,CAAoB,CAAC,CAAC;IACzE,CAAC;CACD,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAAgB;IACrC,IAAI,EAAE,MAAM;IACZ,YAAY,EAAE,YAAY,CAAC,IAAI;IAC/B,SAAS,EAAE,IAAI;IAEf,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE;QACf,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC5B,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC;IAC9B,CAAC;IAED,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;QACZ,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC5B,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,CAAC,CAAC;QACpC,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAI,OAAO,CAAC,KAAK,SAAS;YAAE,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;QACjD,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC3B,MAAM,OAAO,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;YACzB,IAAI,OAAO,KAAK,EAAE;gBAAE,OAAO,IAAI,CAAC;YAChC,MAAM,MAAM,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;YACnC,IAAI,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;gBACnB,MAAM,IAAI,SAAS,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC;YACtD,CAAC;YACD,OAAO,MAAM,CAAC;QACf,CAAC;QACD,MAAM,IAAI,SAAS,CAAC,kBAAkB,OAAO,CAAC,UAAU,CAAC,CAAC;IAC3D,CAAC;IAED,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACjB,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACnC,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,OAAO,CAAC;QAE1C,MAAM,IAAI,GAAG,CAAW,CAAC;QACzB,MAAM,IAAI,GAAG,CAAW,CAAC;QAEzB,IAAI,KAAK,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAI,KAAK,CAAC,IAAI,CAAC;YAAE,OAAO,CAAC,CAAC;QAE1B,OAAO,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC;CACD,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAAgB;IACrC,IAAI,EAAE,MAAM;IACZ,YAAY,EAAE,YAAY,CAAC,IAAI;IAC/B,SAAS,EAAE,IAAI;IACf,mBAAmB,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAC;IAElD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE;QACf,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC5B,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC;IAC9B,CAAC;IAED,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;QACZ,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC5B,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,CAAC,CAAC;QACpC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,SAAS,EAAE,CAAC;YAC9E,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,IAAI,CAAC,YAAY,UAAU,EAAE,CAAC;YAC7B,6BAA6B;YAC7B,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;iBAClB,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;iBACzC,IAAI,CAAC,EAAE,CAAC,CAAC;QACZ,CAAC;QACD,MAAM,IAAI,SAAS,CAAC,kBAAkB,OAAO,CAAC,UAAU,CAAC,CAAC;IAC3D,CAAC;IAED,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE;QAC5B,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACnC,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,OAAO,CAAC;QAE1C,OAAO,CAAC,SAAS,IAAI,gBAAgB,CAAC,CAAC,CAAW,EAAE,CAAW,CAAC,CAAC;IAClE,CAAC;CACD,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAAgB;IACrC,IAAI,EAAE,MAAM;IACZ,YAAY,EAAE,YAAY,CAAC,IAAI;IAE/B,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE;QACf,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC5B,OAAO,CAAC,YAAY,UAAU,CAAC;IAChC,CAAC;IAED,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;QACZ,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC5B,IAAI,CAAC,YAAY,UAAU;YAAE,OAAO,CAAC,CAAC;QACtC,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC3B,0DAA0D;YAC1D,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpE,6BAA6B;gBAC7B,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;gBAC3C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;oBACtC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC7C,CAAC;gBACD,OAAO,KAAK,CAAC;YACd,CAAC;YACD,8CAA8C;YAC9C,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC;YAClC,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC1B,CAAC;QACD,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,SAAS,EAAE,CAAC;YAC9E,+CAA+C;YAC/C,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC;YAClC,OAAO,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,CAAC;QACD,MAAM,IAAI,SAAS,CAAC,kBAAkB,OAAO,CAAC,UAAU,CAAC,CAAC;IAC3D,CAAC;IAED,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACjB,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACnC,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,OAAO,CAAC;QAE1C,MAAM,KAAK,GAAG,CAAe,CAAC;QAC9B,MAAM,KAAK,GAAG,CAAe,CAAC;QAE9B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACpD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACjC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC3B,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACrC,CAAC;QACF,CAAC;QAED,OAAO,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/E,CAAC;CACD,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAAgB;IACxC,IAAI,EAAE,SAAS;IACf,YAAY,EAAE,YAAY,CAAC,OAAO;IAElC,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE;QACf,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC5B,OAAO,OAAO,CAAC,KAAK,SAAS,CAAC;IAC/B,CAAC;IAED,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;QACZ,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC5B,IAAI,OAAO,CAAC,KAAK,SAAS;YAAE,OAAO,CAAC,CAAC;QACrC,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,CAAC,KAAK,CAAC,CAAC;QAC1C,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,CAAC,KAAK,EAAE,CAAC;QAC3C,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC3B,MAAM,KAAK,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,CAAC;YACrC,IAAI,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,GAAG,IAAI,KAAK,KAAK,KAAK,IAAI,KAAK,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YACxF,IAAI,KAAK,KAAK,OAAO,IAAI,KAAK,KAAK,GAAG,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,KAAK;gBAAE,OAAO,KAAK,CAAC;YAC1F,MAAM,IAAI,SAAS,CAAC,mBAAmB,CAAC,cAAc,CAAC,CAAC;QACzD,CAAC;QACD,MAAM,IAAI,SAAS,CAAC,kBAAkB,OAAO,CAAC,aAAa,CAAC,CAAC;IAC9D,CAAC;IAED,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACjB,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACnC,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,OAAO,CAAC;QAE1C,eAAe;QACf,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC;CACD,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,YAAY,GAAgB;IACxC,IAAI,EAAE,SAAS;IACf,iFAAiF;IACjF,oFAAoF;IACpF,qFAAqF;IACrF,mFAAmF;IACnF,wEAAwE;IACxE,sFAAsF;IACtF,YAAY,EAAE,YAAY,CAAC,IAAI;IAC/B,SAAS,EAAE,IAAI;IAEf,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE;QACf,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC5B,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,CAAC;IACvD,CAAC;IAED,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;QACZ,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC5B,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,CAAC,CAAC;QAC7D,IAAI,OAAO,CAAC,KAAK,SAAS;YAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC3B,MAAM,OAAO,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;YACzB,IAAI,OAAO,KAAK,EAAE;gBAAE,OAAO,IAAI,CAAC;YAEhC,oBAAoB;YACpB,IAAI,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBAC7B,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;gBACrC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;oBAAE,OAAO,MAAM,CAAC;YACnC,CAAC;YAED,oBAAoB;YACpB,MAAM,MAAM,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;YACnC,IAAI,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;gBACnB,MAAM,IAAI,SAAS,CAAC,mBAAmB,CAAC,cAAc,CAAC,CAAC;YACzD,CAAC;YACD,OAAO,MAAM,CAAC;QACf,CAAC;QACD,MAAM,IAAI,SAAS,CAAC,kBAAkB,OAAO,CAAC,aAAa,CAAC,CAAC;IAC9D,CAAC;IAED,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACjB,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACnC,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,OAAO,CAAC;QAE1C,gFAAgF;QAChF,iFAAiF;QACjF,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;QACjD,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;QACjD,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACnC,IAAI,MAAM;YAAE,OAAO,CAAC,CAAC;QAErB,OAAO,oBAAoB,CAAC,CAAoB,EAAE,CAAoB,CAAC,CAAC;IACzE,CAAC;CACD,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAgB;IACpC,IAAI,EAAE,KAAK;IACX,YAAY,EAAE,YAAY,CAAC,IAAI;IAE/B,QAAQ,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,mBAAmB;IAEzC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,6BAA6B;IAE9C,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,gBAAgB,CAAC;CAC/D,CAAC"}
+{"version":3,"file":"builtin-types.js","sourceRoot":"","sources":["../../../src/types/builtin-types.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAoB,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACjF,OAAO,EAAE,oBAAoB,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAG/E;;;;;;;GAOG;AACH,SAAS,oBAAoB,CAAC,CAAkB,EAAE,CAAkB;IACnE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACnC,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,qBAAqB,CAAC,CAAW,EAAE,CAAW;IACtD,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACnC,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC;IAE1C,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;IACjD,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC;IACjD,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACnC,IAAI,MAAM;QAAE,OAAO,CAAC,CAAC;IAErB,OAAO,oBAAoB,CAAC,CAAoB,EAAE,CAAoB,CAAC,CAAC;AACzE,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAAgB;IACrC,IAAI,EAAE,MAAM;IACZ,YAAY,EAAE,YAAY,CAAC,IAAI;IAE/B,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI;IAE3B,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC;CAC1C,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAAgB;IACxC,IAAI,EAAE,SAAS;IACf,YAAY,EAAE,YAAY,CAAC,OAAO;IAClC,SAAS,EAAE,IAAI;IAEf,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE;QACf,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC5B,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACvC,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;QACjF,OAAO,KAAK,CAAC;IACd,CAAC;IAED,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;QACZ,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC5B,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,CAAC,CAAC;QACpC,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC3B,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC1B,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACtB,CAAC;YACD,OAAO,CAAC,CAAC;QACV,CAAC;QACD,IAAI,OAAO,CAAC,KAAK,SAAS;YAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC3B,MAAM,OAAO,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;YACzB,IAAI,OAAO,KAAK,EAAE;gBAAE,OAAO,IAAI,CAAC;YAChC,gFAAgF;YAChF,yEAAyE;YACzE,sEAAsE;YACtE,MAAM,CAAC,GAAG,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACpC,IAAI,CAAC,CAAC,EAAE,CAAC;gBACR,MAAM,IAAI,SAAS,CAAC,mBAAmB,CAAC,cAAc,CAAC,CAAC;YACzD,CAAC;YACD,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YACpB,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC;YAC9B,IAAI,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC;gBAAE,OAAO,MAAM,CAAC;YAChD,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;QAC7D,CAAC;QACD,MAAM,IAAI,SAAS,CAAC,kBAAkB,OAAO,CAAC,aAAa,CAAC,CAAC;IAC9D,CAAC;IAED,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACjB,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACnC,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,OAAO,CAAC;QAE1C,OAAO,oBAAoB,CAAC,CAAoB,EAAE,CAAoB,CAAC,CAAC;IACzE,CAAC;CACD,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAAgB;IACrC,IAAI,EAAE,MAAM;IACZ,YAAY,EAAE,YAAY,CAAC,IAAI;IAC/B,SAAS,EAAE,IAAI;IAEf,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE;QACf,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC5B,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC;IAC9B,CAAC;IAED,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;QACZ,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC5B,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,CAAC,CAAC;QACpC,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;QAC5C,IAAI,OAAO,CAAC,KAAK,SAAS;YAAE,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC;QACjD,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC3B,MAAM,OAAO,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;YACzB,IAAI,OAAO,KAAK,EAAE;gBAAE,OAAO,IAAI,CAAC;YAChC,MAAM,MAAM,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;YACnC,IAAI,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;gBACnB,MAAM,IAAI,SAAS,CAAC,mBAAmB,CAAC,WAAW,CAAC,CAAC;YACtD,CAAC;YACD,OAAO,MAAM,CAAC;QACf,CAAC;QACD,MAAM,IAAI,SAAS,CAAC,kBAAkB,OAAO,CAAC,UAAU,CAAC,CAAC;IAC3D,CAAC;IAED,OAAO,EAAE,qBAAqB;CAC9B,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAAgB;IACrC,IAAI,EAAE,MAAM;IACZ,YAAY,EAAE,YAAY,CAAC,IAAI;IAC/B,SAAS,EAAE,IAAI;IACf,cAAc,EAAE,IAAI;IACpB,mBAAmB,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,OAAO,CAAC;IAElD,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE;QACf,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC5B,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC;IAC9B,CAAC;IAED,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;QACZ,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC5B,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,CAAC,CAAC;QACpC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,SAAS,EAAE,CAAC;YAC9E,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,IAAI,CAAC,YAAY,UAAU,EAAE,CAAC;YAC7B,6BAA6B;YAC7B,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;iBAClB,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;iBACzC,IAAI,CAAC,EAAE,CAAC,CAAC;QACZ,CAAC;QACD,MAAM,IAAI,SAAS,CAAC,kBAAkB,OAAO,CAAC,UAAU,CAAC,CAAC;IAC3D,CAAC;IAED,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE;QAC5B,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACnC,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,OAAO,CAAC;QAE1C,OAAO,CAAC,SAAS,IAAI,gBAAgB,CAAC,CAAC,CAAW,EAAE,CAAW,CAAC,CAAC;IAClE,CAAC;CACD,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAAgB;IACrC,IAAI,EAAE,MAAM;IACZ,YAAY,EAAE,YAAY,CAAC,IAAI;IAE/B,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE;QACf,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC5B,OAAO,CAAC,YAAY,UAAU,CAAC;IAChC,CAAC;IAED,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;QACZ,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC5B,IAAI,CAAC,YAAY,UAAU;YAAE,OAAO,CAAC,CAAC;QACtC,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC3B,0DAA0D;YAC1D,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,IAAI,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACpE,6BAA6B;gBAC7B,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;gBAC3C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;oBACtC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC7C,CAAC;gBACD,OAAO,KAAK,CAAC;YACd,CAAC;YACD,8CAA8C;YAC9C,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC;YAClC,OAAO,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAC1B,CAAC;QACD,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,SAAS,EAAE,CAAC;YAC9E,+CAA+C;YAC/C,MAAM,OAAO,GAAG,IAAI,WAAW,EAAE,CAAC;YAClC,OAAO,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QAClC,CAAC;QACD,MAAM,IAAI,SAAS,CAAC,kBAAkB,OAAO,CAAC,UAAU,CAAC,CAAC;IAC3D,CAAC;IAED,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACjB,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACnC,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,OAAO,CAAC;QAE1C,MAAM,KAAK,GAAG,CAAe,CAAC;QAC9B,MAAM,KAAK,GAAG,CAAe,CAAC;QAE9B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACpD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACjC,IAAI,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC3B,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACrC,CAAC;QACF,CAAC;QAED,OAAO,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/E,CAAC;CACD,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAAgB;IACxC,IAAI,EAAE,SAAS;IACf,YAAY,EAAE,YAAY,CAAC,OAAO;IAElC,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE;QACf,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC5B,OAAO,OAAO,CAAC,KAAK,SAAS,CAAC;IAC/B,CAAC;IAED,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;QACZ,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC5B,IAAI,OAAO,CAAC,KAAK,SAAS;YAAE,OAAO,CAAC,CAAC;QACrC,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,CAAC,KAAK,CAAC,CAAC;QAC1C,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,CAAC,KAAK,EAAE,CAAC;QAC3C,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC3B,MAAM,KAAK,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC,IAAI,EAAE,CAAC;YACrC,IAAI,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,GAAG,IAAI,KAAK,KAAK,KAAK,IAAI,KAAK,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YACxF,IAAI,KAAK,KAAK,OAAO,IAAI,KAAK,KAAK,GAAG,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,KAAK;gBAAE,OAAO,KAAK,CAAC;YAC1F,MAAM,IAAI,SAAS,CAAC,mBAAmB,CAAC,cAAc,CAAC,CAAC;QACzD,CAAC;QACD,MAAM,IAAI,SAAS,CAAC,kBAAkB,OAAO,CAAC,aAAa,CAAC,CAAC;IAC9D,CAAC;IAED,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACjB,MAAM,OAAO,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACnC,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,OAAO,CAAC;QAE1C,eAAe;QACf,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAE,CAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC9C,CAAC;CACD,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,YAAY,GAAgB;IACxC,IAAI,EAAE,SAAS;IACf,iFAAiF;IACjF,oFAAoF;IACpF,qFAAqF;IACrF,mFAAmF;IACnF,wEAAwE;IACxE,sFAAsF;IACtF,YAAY,EAAE,YAAY,CAAC,IAAI;IAC/B,SAAS,EAAE,IAAI;IAEf,QAAQ,EAAE,CAAC,CAAC,EAAE,EAAE;QACf,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC5B,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,CAAC;IACvD,CAAC;IAED,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE;QACZ,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC5B,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,CAAC,CAAC;QAC7D,IAAI,OAAO,CAAC,KAAK,SAAS;YAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7C,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;YAC3B,MAAM,OAAO,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;YACzB,IAAI,OAAO,KAAK,EAAE;gBAAE,OAAO,IAAI,CAAC;YAEhC,sEAAsE;YACtE,sEAAsE;YACtE,qEAAqE;YACrE,sEAAsE;YACtE,0CAA0C;YAC1C,IAAI,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBAChC,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;gBAC/B,IAAI,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC;oBAAE,OAAO,MAAM,CAAC;gBAChD,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC;YAChE,CAAC;YAED,oBAAoB;YACpB,MAAM,MAAM,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;YACnC,IAAI,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;gBACnB,MAAM,IAAI,SAAS,CAAC,mBAAmB,CAAC,cAAc,CAAC,CAAC;YACzD,CAAC;YACD,OAAO,MAAM,CAAC;QACf,CAAC;QACD,MAAM,IAAI,SAAS,CAAC,kBAAkB,OAAO,CAAC,aAAa,CAAC,CAAC;IAC9D,CAAC;IAED,OAAO,EAAE,qBAAqB;CAC9B,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAgB;IACpC,IAAI,EAAE,KAAK;IACX,YAAY,EAAE,YAAY,CAAC,IAAI;IAC/B,cAAc,EAAE,IAAI;IAEpB,QAAQ,EAAE,GAAG,EAAE,CAAC,IAAI,EAAE,mBAAmB;IAEzC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,6BAA6B;IAE9C,8EAA8E;IAC9E,4EAA4E;IAC5E,6EAA6E;IAC7E,2EAA2E;IAC3E,OAAO,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,CAAC,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,IAAI,gBAAgB,CAAC;CACvF,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,sBAAsB,CAAC,IAA+B;IACrE,mFAAmF;IACnF,gFAAgF;IAChF,uFAAuF;IACvF,OAAO,IAAI,CAAC,SAAS,KAAK,IAAI,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,SAAS,CAAC;AAC3E,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,qBAAqB,CAAC,IAA+B;IAC7D,OAAO,IAAI,KAAK,YAAY,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,YAAY,CAAC;AAC7E,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,MAAM,UAAU,kBAAkB,CAAC,CAA4B,EAAE,CAA4B;IAC5F,mFAAmF;IACnF,4EAA4E;IAC5E,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACnC,OAAO,qBAAqB,CAAC,CAAC,CAAC,IAAI,qBAAqB,CAAC,CAAC,CAAC,CAAC;AAC7D,CAAC"}

package/dist/src/types/cast-semantics.d.ts

@@ -1,4 +1,5 @@
 import type { SqlValue } from '../common/types.js';
+import type { ScalarType } from '../common/datatype.js';
 import type { LogicalType } from './logical-type.js';
 /**
  * What a CAST produces when the target type's `parse` rejects the operand.
@@ -24,6 +25,29 @@ import type { LogicalType } from './logical-type.js';
  * loosening this to "no validate ⇒ keep".
  */
 export declare function castFallback(value: SqlValue, type: LogicalType): SqlValue;
+/**
+ * What `cast(<value> as type)` produces: the target type's `parse`, falling back to
+ * {@link castFallback} when it rejects the operand. CAST stays lenient and never throws.
+ *
+ * THE one definition of "convert to this type the way CAST does". `emitCast` is the
+ * expression-level caller; `emitIn`'s membership evaluation converts a per-row subquery
+ * value where the plan-time coercion (`insertCrossTypeCoercion`) has no fixed operand to
+ * wrap; `makeComparisonGroup` (`runtime/emit/operand-comparator.ts`) converts a per-row
+ * *copy* of a comparison builtin's argument, where wrapping the operand would corrupt the
+ * value that builtin returns.
+ *
+ * NOTE: a type with no `parse` defines no conversion, so the operand passes through while
+ * the caller still advertises the target type — the very shape castFallback exists to
+ * prevent. Unreachable today: NULL is the only builtin without `parse`, and the parser
+ * rejects it as a CAST target. If a plugin ever registers a parse-less type, validate here.
+ *
+ * NOTE: the fallback path costs one *thrown* exception per call, and every caller runs
+ * per row — so a scan whose operands mostly fail to parse (`json_col in (select
+ * free_text from big_table)`, or `least(free_text, 1)` over a text column of prose) pays
+ * V8 exception construction on every row. Fine at current scale; if it ever shows up in
+ * a profile, give LogicalType an optional non-throwing `tryParse` and prefer it here.
+ */
+export declare function lenientCast(value: SqlValue, type: LogicalType): SqlValue;
 /**
  * Can `cast(<non-null operand> as type)` produce NULL? Answers the static
  * nullability of a converting CAST ({@link import('../planner/nodes/scalar.js').CastNode}).
@@ -40,4 +64,22 @@ export declare function castFallback(value: SqlValue, type: LogicalType): SqlVal
  * declaration, while under-reporting it would let a NULL reach a NOT NULL column.
  */
 export declare function castCanYieldNull(type: LogicalType): boolean;
+/**
+ * The ScalarType a conversion to `target` advertises for an operand of
+ * `operandType` — THE one derivation of "what does the converted value look like
+ * statically". {@link import('../planner/nodes/scalar.js').CastNode} is the
+ * plan-time caller; `makeComparisonGroup` (`runtime/emit/operand-comparator.ts`)
+ * is the emit-time one, so an emit-time comparison key resolves its collation and
+ * comparator routing off exactly the types a plan-time cast would have produced.
+ *
+ * A converting CAST is nullable even from a non-null operand: `cast('' as integer)`
+ * is null because INTEGER's parse maps the empty string to null, and a conversion
+ * that fails outright yields null rather than the unconverted operand. A cast to
+ * the operand's own type converts nothing, and TEXT/BLOB convert every non-null
+ * operand ({@link castCanYieldNull}), so both keep the operand's nullability.
+ *
+ * Collation survives only into a textual target: a number or a JSON document has
+ * no collation to compare under.
+ */
+export declare function castedScalarType(operandType: ScalarType, target: LogicalType): ScalarType;
 //# sourceMappingURL=cast-semantics.d.ts.map

package/dist/src/types/cast-semantics.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"cast-semantics.d.ts","sourceRoot":"","sources":["../../../src/types/cast-semantics.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAGrD;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,GAAG,QAAQ,CAezE;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,WAAW,GAAG,OAAO,CAE3D"}
+{"version":3,"file":"cast-semantics.d.ts","sourceRoot":"","sources":["../../../src/types/cast-semantics.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AACnD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAGrD;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,GAAG,QAAQ,CAezE;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,WAAW,GAAG,QAAQ,CAUxE;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,WAAW,GAAG,OAAO,CAE3D;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,gBAAgB,CAAC,WAAW,EAAE,UAAU,EAAE,MAAM,EAAE,WAAW,GAAG,UAAU,CAUzF"}

package/dist/src/types/cast-semantics.js

@@ -38,6 +38,42 @@ export function castFallback(value, type) {
             return type.validate?.(value) === true ? value : null;
     }
 }
+/**
+ * What `cast(<value> as type)` produces: the target type's `parse`, falling back to
+ * {@link castFallback} when it rejects the operand. CAST stays lenient and never throws.
+ *
+ * THE one definition of "convert to this type the way CAST does". `emitCast` is the
+ * expression-level caller; `emitIn`'s membership evaluation converts a per-row subquery
+ * value where the plan-time coercion (`insertCrossTypeCoercion`) has no fixed operand to
+ * wrap; `makeComparisonGroup` (`runtime/emit/operand-comparator.ts`) converts a per-row
+ * *copy* of a comparison builtin's argument, where wrapping the operand would corrupt the
+ * value that builtin returns.
+ *
+ * NOTE: a type with no `parse` defines no conversion, so the operand passes through while
+ * the caller still advertises the target type — the very shape castFallback exists to
+ * prevent. Unreachable today: NULL is the only builtin without `parse`, and the parser
+ * rejects it as a CAST target. If a plugin ever registers a parse-less type, validate here.
+ *
+ * NOTE: the fallback path costs one *thrown* exception per call, and every caller runs
+ * per row — so a scan whose operands mostly fail to parse (`json_col in (select
+ * free_text from big_table)`, or `least(free_text, 1)` over a text column of prose) pays
+ * V8 exception construction on every row. Fine at current scale; if it ever shows up in
+ * a profile, give LogicalType an optional non-throwing `tryParse` and prefer it here.
+ */
+export function lenientCast(value, type) {
+    if (value === null)
+        return null;
+    if (!type.parse)
+        return value;
+    try {
+        return type.parse(value);
+    }
+    catch {
+        // CAST failures in SQL return 0 for numeric targets, '' for text, etc.
+        // This matches SQLite's lenient CAST behavior.
+        return castFallback(value, type);
+    }
+}
 /**
  * Can `cast(<non-null operand> as type)` produce NULL? Answers the static
  * nullability of a converting CAST ({@link import('../planner/nodes/scalar.js').CastNode}).
@@ -56,4 +92,32 @@ export function castFallback(value, type) {
 export function castCanYieldNull(type) {
     return type !== TEXT_TYPE && type !== BLOB_TYPE;
 }
+/**
+ * The ScalarType a conversion to `target` advertises for an operand of
+ * `operandType` — THE one derivation of "what does the converted value look like
+ * statically". {@link import('../planner/nodes/scalar.js').CastNode} is the
+ * plan-time caller; `makeComparisonGroup` (`runtime/emit/operand-comparator.ts`)
+ * is the emit-time one, so an emit-time comparison key resolves its collation and
+ * comparator routing off exactly the types a plan-time cast would have produced.
+ *
+ * A converting CAST is nullable even from a non-null operand: `cast('' as integer)`
+ * is null because INTEGER's parse maps the empty string to null, and a conversion
+ * that fails outright yields null rather than the unconverted operand. A cast to
+ * the operand's own type converts nothing, and TEXT/BLOB convert every non-null
+ * operand ({@link castCanYieldNull}), so both keep the operand's nullability.
+ *
+ * Collation survives only into a textual target: a number or a JSON document has
+ * no collation to compare under.
+ */
+export function castedScalarType(operandType, target) {
+    return {
+        typeClass: 'scalar',
+        logicalType: target,
+        nullable: operandType.nullable
+            || (target !== operandType.logicalType && castCanYieldNull(target)),
+        isReadOnly: operandType.isReadOnly,
+        collationName: target.isTextual ? operandType.collationName : undefined,
+        collationSource: target.isTextual ? operandType.collationSource : undefined,
+    };
+}
 //# sourceMappingURL=cast-semantics.js.map

package/dist/src/types/cast-semantics.js.map

@@ -1 +1 @@
-{"version":3,"file":"cast-semantics.js","sourceRoot":"","sources":["../../../src/types/cast-semantics.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAE1D;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,UAAU,YAAY,CAAC,KAAe,EAAE,IAAiB;IAC9D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,SAAS;YACb,OAAO,CAAC,CAAC;QACV,KAAK,MAAM;YACV,OAAO,GAAG,CAAC;QACZ,KAAK,SAAS;YACb,OAAO,CAAC,CAAC;QACV,KAAK,MAAM;YACV,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;QACtB,KAAK,MAAM;YACV,OAAO,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAChD;YACC,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IACxD,CAAC;AACF,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAiB;IACjD,OAAO,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,CAAC;AACjD,CAAC"}
+{"version":3,"file":"cast-semantics.js","sourceRoot":"","sources":["../../../src/types/cast-semantics.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAE1D;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,UAAU,YAAY,CAAC,KAAe,EAAE,IAAiB;IAC9D,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,SAAS;YACb,OAAO,CAAC,CAAC;QACV,KAAK,MAAM;YACV,OAAO,GAAG,CAAC;QACZ,KAAK,SAAS;YACb,OAAO,CAAC,CAAC;QACV,KAAK,MAAM;YACV,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;QACtB,KAAK,MAAM;YACV,OAAO,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAChD;YACC,OAAO,IAAI,CAAC,QAAQ,EAAE,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IACxD,CAAC;AACF,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,UAAU,WAAW,CAAC,KAAe,EAAE,IAAiB;IAC7D,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAChC,IAAI,CAAC,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IAC9B,IAAI,CAAC;QACJ,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAC1B,CAAC;IAAC,MAAM,CAAC;QACR,uEAAuE;QACvE,+CAA+C;QAC/C,OAAO,YAAY,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAClC,CAAC;AACF,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,gBAAgB,CAAC,IAAiB;IACjD,OAAO,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,CAAC;AACjD,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,gBAAgB,CAAC,WAAuB,EAAE,MAAmB;IAC5E,OAAO;QACN,SAAS,EAAE,QAAQ;QACnB,WAAW,EAAE,MAAM;QACnB,QAAQ,EAAE,WAAW,CAAC,QAAQ;eAC1B,CAAC,MAAM,KAAK,WAAW,CAAC,WAAW,IAAI,gBAAgB,CAAC,MAAM,CAAC,CAAC;QACpE,UAAU,EAAE,WAAW,CAAC,UAAU;QAClC,aAAa,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS;QACvE,eAAe,EAAE,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS;KAC3E,CAAC;AACH,CAAC"}

package/dist/src/types/comparison-coercion.d.ts

@@ -0,0 +1,101 @@
+import type { LogicalType } from './logical-type.js';
+/**
+ * THE type-level decision behind every comparison-site coercion: given the
+ * declared types of the operands, which of them must be converted, and to what.
+ * Purely about `LogicalType` — no plan nodes, no values — so both consumers read
+ * the same rule and cannot drift:
+ *
+ * - **Plan-time** (`planner/building/coercion.ts`) maps the answer onto synthetic
+ *   `CastNode` wrappers, for `=` and friends, BETWEEN, IN value lists and simple
+ *   CASE.
+ * - **Emit-time** (`runtime/emit/operand-comparator.ts` `makeComparisonGroup`)
+ *   maps the same answer onto per-row {@link import('./cast-semantics.js').lenientCast}
+ *   calls, for the comparison builtins that *return* one of their arguments
+ *   (`nullif`, `greatest`, `least`) and therefore cannot have that argument
+ *   replaced by its cast.
+ *
+ * Both paths convert identically: a plan-time `CastNode` runs `lenientCast` per
+ * row too (`runtime/emit/cast.ts`), so "compare the converted copy" and "compare
+ * the cast operand" are the same comparison.
+ */
+/**
+ * The argument positions a function's `comparesArgs` declaration
+ * ({@link import('../schema/function.js').BaseFunctionSchema.comparesArgs}) names,
+ * clamped to the call's actual arity. Index 0 of the result is the group's probe.
+ * Shared by the plan-time rewrite and the emit-time group builder so they cannot
+ * disagree about which positions form the group.
+ */
+export declare function comparisonGroupIndices(comparesArgs: 'all' | readonly number[], argCount: number): readonly number[];
+/** Which side of a pairwise comparison converts, and to what. */
+export interface CrossTypeCoercion {
+    readonly side: 'left' | 'right';
+    readonly target: LogicalType;
+}
+/**
+ * Reconcile two operand types that cannot be compared meaningfully as-is.
+ * Returns `null` when neither side converts.
+ *
+ * Two pairings are handled, in this order:
+ *
+ * 1. **Object-physical vs anything else.** JSON is the engine's only logical type
+ *    whose `physicalType` is `PhysicalType.OBJECT`: its runtime values are native
+ *    JS objects/arrays, which `compareSqlValuesFast` short-circuits against any
+ *    other storage class — so `json_col = '{"a":1}'` was unconditionally false,
+ *    even for byte-identical text. The non-object side converts to the object
+ *    side's type, never the reverse: converting the JSON side to text would make
+ *    equality depend on spelling and put `=` out of step with the index, which
+ *    compares structurally.
+ *
+ *    The gate is deliberately `physicalType === OBJECT`, **not**
+ *    `semanticOrdering`. DATE/TIME/DATETIME/TIMESPAN also carry semantic ordering
+ *    but are physically text, and the runtime's `tryTemporalComparison` already
+ *    reconciles them; routing them through a conversion would change behavior for
+ *    no gain.
+ *
+ *    A conversion to JSON is lenient (see `types/cast-semantics.ts`): text that
+ *    does not parse comes back unchanged, so `json_col = 'not json'` is false
+ *    rather than an error. Note the consequence for JSON *string scalars*, which
+ *    are stored as plain JS strings: a column holding `"hello"` matches BOTH the
+ *    SQL literal `'"hello"'` (parses to the JSON string `hello`) and the bare
+ *    `'hello'` (does not parse, falls back to the raw string `hello`, which
+ *    `JSON_TYPE.compare` then compares as text). Only the first form generalizes —
+ *    `'[1,2]'` matches the JSON array while a bare `[1,2]` is not SQL text at all.
+ *
+ *    A NULL-typed operand is left alone: the comparison is UNKNOWN regardless, so
+ *    the conversion would only add a runtime hop.
+ *
+ * 2. **Numeric vs textual.** The textual operand converts to the numeric side's
+ *    type (e.g. INTEGER or REAL) so the runtime can take the fast path.
+ */
+export declare function crossTypeCoercion(left: LogicalType, right: LogicalType): CrossTypeCoercion | null;
+/**
+ * Per-operand conversion target for a "one probe against many values" comparison
+ * group — an IN value list, a simple CASE, or a comparison builtin's argument
+ * group. Index 0 is the probe, the rest the value list. The result is aligned with
+ * the input array; `null` at a position means "leave that operand alone".
+ *
+ * This is more than a `map` over {@link crossTypeCoercion} because the probe is a
+ * SINGLE operand shared by every value, so it can convert at most once:
+ *
+ * - **A value-side conversion is per value** and never conflicts: an
+ *   object-physical or numeric probe leaves the probe alone and converts each
+ *   value independently, so a mixed list (`case i when '1' when 2 …`) gets a
+ *   per-clause decision for free.
+ * - **A probe-side conversion is hoisted** and therefore has to be unambiguous.
+ *   For the object arm it always is: a conversion to JSON is lenient, so a textual
+ *   value that is not JSON source survives as itself and still compares as text.
+ *   For the numeric arm it is NOT — `cast('abc' as real)` is `0`, so hoisting a
+ *   probe conversion over a MIXED list would make `t in (1, 'abc')` true for the
+ *   stored text `'0'`, which `t = 1 or t = 'abc'` is not. So the numeric probe
+ *   conversion applies only when every non-NULL value is numeric.
+ *
+ * NOTE: the leftover gap is a textual probe against a list mixing numeric and
+ * textual values (`text_col in (1, 'abc')`), which stays unconverted and so still
+ * disagrees with the `=` disjunction on the numeric member. Closing it needs a
+ * per-value probe, which `IN` cannot express — its members live in ONE key space
+ * (a BTree keyed under one collation, `runtime/emit/subquery.ts`). If that shape
+ * ever matters, desugar a mixed `IN` list into an `OR` of `=` comparisons at build
+ * time rather than widening the hoist here.
+ */
+export declare function comparisonGroupCoercions(logicals: readonly LogicalType[]): readonly (LogicalType | null)[];
+//# sourceMappingURL=comparison-coercion.d.ts.map

package/dist/src/types/comparison-coercion.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"comparison-coercion.d.ts","sourceRoot":"","sources":["../../../src/types/comparison-coercion.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAIrD;;;;;;;;;;;;;;;;;;GAkBG;AAEH;;;;;;GAMG;AACH,wBAAgB,sBAAsB,CACrC,YAAY,EAAE,KAAK,GAAG,SAAS,MAAM,EAAE,EACvC,QAAQ,EAAE,MAAM,GACd,SAAS,MAAM,EAAE,CAInB;AAED,iEAAiE;AACjE,MAAM,WAAW,iBAAiB;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;CAC7B;AAID;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,WAAW,GAAG,iBAAiB,GAAG,IAAI,CAgBjG;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,wBAAgB,wBAAwB,CACvC,QAAQ,EAAE,SAAS,WAAW,EAAE,GAC9B,SAAS,CAAC,WAAW,GAAG,IAAI,CAAC,EAAE,CAqCjC"}