qubu 0.3.4 → 0.4.0

package/dist/{types-4Q076HKo.d.mts → types-Deo_q43Y.d.mts}

@@ -246,6 +246,54 @@ declare function sequence<const TParts extends readonly AnyFragment[]>(parts: TP
 declare function parenthesize<TPart extends AnyFragment>(part: TPart): Fragment<InheritedMetadata<TPart>>;
 declare function isFragment(value: unknown): value is AnyFragment;
 //#endregion
+//#region src/result.d.ts
+/** Portable result domains that can require driver-specific normalization. */
+type DecodableResultType = 'boolean' | 'date' | 'timestamp' | 'json';
+/** Context supplied while decoding one projected field. */
+interface ResultDecodeContext {
+  readonly dialect: Dialect;
+  readonly field: string;
+  readonly rowIndex: number;
+}
+/** Convert one normalized driver value into its application representation. */
+type ResultDecoder<T = unknown> = (value: unknown, context: ResultDecodeContext) => T;
+/** Driver-specific decoders selected by a field's portable result domain. */
+type ResultDecoders = Readonly<Partial<Record<DecodableResultType, ResultDecoder>>>;
+/** Runtime description of one named result field. */
+interface ResultField {
+  readonly name: string;
+  readonly type?: DecodableResultType;
+  readonly decoder?: ResultDecoder;
+}
+/** Runtime description of a query's named result row. */
+interface ResultShape {
+  readonly fields: readonly ResultField[];
+}
+interface ResultValueMetadata {
+  readonly type?: DecodableResultType;
+  readonly decoder?: ResultDecoder;
+}
+declare const resultValueMetadata: unique symbol;
+type ResultValueCarrier = {
+  readonly [resultValueMetadata]?: ResultValueMetadata;
+};
+/** Decode SQLite/MySQL-style boolean values while accepting native booleans. */
+declare const booleanResultDecoder: ResultDecoder<boolean>;
+/** Decode a SQL DATE string as a JavaScript Date at UTC midnight. */
+declare const dateResultDecoder: ResultDecoder<Date>;
+/** Decode a SQL/ISO timestamp string while accepting driver-created Dates. */
+declare const timestampResultDecoder: ResultDecoder<Date>;
+/** Decode a serialized JSON result. Use only when the adapter returns JSON text. */
+declare const jsonTextResultDecoder: ResultDecoder;
+/** Error raised when a projected driver value cannot be decoded. */
+declare class ResultDecodingError extends TypeError {
+  readonly name = "ResultDecodingError";
+  readonly field: string;
+  readonly rowIndex: number;
+  readonly resultType?: DecodableResultType;
+  constructor(field: string, rowIndex: number, resultType: DecodableResultType | undefined);
+}
+//#endregion
 //#region src/expressions/types.d.ts
 type ExpressionKind = 'value' | 'column' | 'function' | 'operator' | 'sql' | 'subquery' | 'unsafe';
 /** Runtime/type-level proof that an expression is safe to use in schema SQL. */
@@ -253,7 +301,7 @@ declare const schemaExpressionBrand: unique symbol;
 interface SchemaExpressionBrand {
   readonly [schemaExpressionBrand]: true;
 }
-interface Expression<TMetadata = any, TKind extends ExpressionKind = ExpressionKind> extends Fragment<TMetadata> {
+interface Expression<TMetadata = any, TKind extends ExpressionKind = ExpressionKind> extends Fragment<TMetadata>, ResultValueCarrier {
   readonly expressionKind: TKind;
   /** Internal runtime marker for query constructs rejected by schema SQL. */
   readonly expressionCategory?: 'aggregate' | 'window' | 'subquery';
@@ -275,13 +323,27 @@ type ExpressionSqlType<T> = SqlTypeOf<T>;
 declare function withDialectCapability<const TCapability extends DialectCapability, TExpression extends AnyExpression>(expression: TExpression, capability: TCapability): TExpression extends SchemaExpression<any, any> ? SchemaExpression<MetadataOf<TExpression> | RequiresCapabilityMeta<TCapability>, TExpression['expressionKind']> : Expression<MetadataOf<TExpression> | RequiresCapabilityMeta<TCapability>, TExpression['expressionKind']>;
 /** An expression whose result is known to be assignable to `TOutput`. */
 type ExpressionWithOutput<TOutput, TKind extends ExpressionKind = ExpressionKind> = Expression<ResultMeta<TOutput, unknown, AnySqlType> | RequiresSourceMeta<unknown> | NullableSourceMeta<unknown> | ExpressionMeta<unknown> | AggregateMeta<unknown> | RequiresCapabilityMeta | WindowMeta | SubqueryMeta, TKind>;
+/** Sparse type-level configuration for a result-producing expression. */
+interface ResultExpressionConfig {
+  readonly output?: unknown;
+  readonly children?: unknown;
+  readonly kind?: ExpressionKind;
+  readonly nullableFrom?: unknown;
+  readonly sqlType?: AnySqlType;
+}
+type ResultConfigValue<TConfig, TKey extends PropertyKey, TFallback> = TKey extends keyof TConfig ? TConfig[TKey] : TFallback;
+type ResultConfigOutput<TConfig> = ResultConfigValue<TConfig, 'output', unknown>;
+type ResultConfigChildren<TConfig> = ResultConfigValue<TConfig, 'children', never>;
+type ResultConfigKind<TConfig> = Extract<ResultConfigValue<TConfig, 'kind', ExpressionKind>, ExpressionKind>;
+type ResultConfigNullableFrom<TConfig> = ResultConfigValue<TConfig, 'nullableFrom', NullabilityOf<ResultConfigChildren<TConfig>>>;
+type ResultConfigSqlType<TConfig> = Extract<ResultConfigValue<TConfig, 'sqlType', SqlUnknown>, AnySqlType>;
 /** Build an expression result while inheriting non-result metadata from children. */
-type ResultExpression<TOutput, TChildren = never, TKind extends ExpressionKind = ExpressionKind, TNullableFrom = NullabilityOf<TChildren>, TSqlType extends AnySqlType = SqlUnknown> = SchemaExpression<ResultMeta<TOutput, TNullableFrom, TSqlType> | ExpressionMeta<DependenciesOf<TChildren>> | InheritedMetadata<TChildren>, TKind>;
+type ResultExpression<TConfig extends ResultExpressionConfig = {}> = SchemaExpression<ResultMeta<ResultConfigOutput<TConfig>, ResultConfigNullableFrom<TConfig>, ResultConfigSqlType<TConfig>> | ExpressionMeta<DependenciesOf<ResultConfigChildren<TConfig>>> | InheritedMetadata<ResultConfigChildren<TConfig>>, ResultConfigKind<TConfig>>;
 /** Build an aggregate result while recording which dependencies it consumes. */
-type AggregateResultExpression<TOutput, TChildren = never, TKind extends ExpressionKind = ExpressionKind, TNullableFrom = NullabilityOf<TChildren>, TSqlType extends AnySqlType = SqlUnknown> = Expression<ResultMeta<TOutput, TNullableFrom, TSqlType> | ExpressionMeta<DependenciesOf<TChildren>> | AggregateMeta<DependenciesOf<TChildren>> | InheritedMetadata<TChildren>, TKind>;
+type AggregateResultExpression<TConfig extends ResultExpressionConfig = {}> = Expression<ResultMeta<ResultConfigOutput<TConfig>, ResultConfigNullableFrom<TConfig>, ResultConfigSqlType<TConfig>> | ExpressionMeta<DependenciesOf<ResultConfigChildren<TConfig>>> | AggregateMeta<DependenciesOf<ResultConfigChildren<TConfig>>> | InheritedMetadata<ResultConfigChildren<TConfig>>, ResultConfigKind<TConfig>>;
 /** A result expression that contains a query boundary. */
-type SubqueryResultExpression<TOutput, TChildren = never, TNullableFrom = NullabilityOf<TChildren>, TSqlType extends AnySqlType = SqlUnknown> = Expression<ResultMeta<TOutput, TNullableFrom, TSqlType> | ExpressionMeta<DependenciesOf<TChildren>> | InheritedMetadata<TChildren> | SubqueryMeta, 'subquery'>;
-declare function makeExpression<TMetadata = never, TKind extends ExpressionKind = ExpressionKind>(expressionKind: TKind, render: (context: RenderContext) => void, expressionCategory?: 'aggregate' | 'window' | 'subquery'): Expression<TMetadata, TKind>;
+type SubqueryResultExpression<TConfig extends Omit<ResultExpressionConfig, 'kind'> = {}> = Expression<ResultMeta<ResultConfigOutput<TConfig>, ResultConfigNullableFrom<TConfig>, ResultConfigSqlType<TConfig>> | ExpressionMeta<DependenciesOf<ResultConfigChildren<TConfig>>> | InheritedMetadata<ResultConfigChildren<TConfig>> | SubqueryMeta, 'subquery'>;
+declare function makeExpression<TMetadata = never, TKind extends ExpressionKind = ExpressionKind>(expressionKind: TKind, render: (context: RenderContext) => void, expressionCategory?: 'aggregate' | 'window' | 'subquery', result?: ResultValueMetadata): Expression<TMetadata, TKind>;
 /** Mark a query-only expression category without changing its SQL renderer. */
 declare function markExpressionCategory<TMetadata, TKind extends ExpressionKind>(expression: Expression<TMetadata, TKind>, category: 'aggregate' | 'window' | 'subquery'): Expression<TMetadata, TKind>;
 declare function isExpression(value: unknown): value is AnyExpression;
@@ -570,6 +632,8 @@ interface ColumnOptions {
   readonly sqlName?: string;
   /** Physical storage metadata for a custom column definition. */
   readonly storage?: ColumnStorage;
+  /** Override adapter decoding for values selected from this column. */
+  readonly decode?: ResultDecoder;
   /**
    * Raw SQL target that makes a custom definition reusable with cast().
    * The value is emitted verbatim and must come from trusted source code.
@@ -580,27 +644,77 @@ type BuiltInColumnOptions = Omit<ColumnOptions, 'castType' | 'storage'> & {
   readonly castType?: never;
   readonly storage?: never;
 };
-interface ColumnDefinition<TOutput = unknown, TNullable extends boolean = false, TInsert = TOutput, TUpdate = TInsert, THasDefault extends boolean = false, TGenerated extends boolean = false, TSqlType extends AnySqlType = SqlUnknown, TStorage extends ColumnStorage | undefined = undefined, TDefault extends ColumnDefault | undefined = ColumnDefault | undefined, TGeneratedColumn extends GeneratedColumnDescriptor | undefined = GeneratedColumnDescriptor | undefined, TIdentity extends IdentityDescriptor | undefined = IdentityDescriptor | undefined, TOnUpdate extends AnySchemaExpression | undefined = AnySchemaExpression | undefined> {
+/** Sparse type-level configuration carried by a column definition. */
+interface ColumnDefinitionConfig {
+  /** Application value selected from the column. Defaults to `unknown`. */
+  readonly output?: unknown;
+  /** Whether SQL `NULL` is permitted. Defaults to `false`. */
+  readonly nullable?: boolean;
+  /** Accepted insert value. Defaults to `output`. */
+  readonly insert?: unknown;
+  /** Accepted update value. Defaults to `insert`. */
+  readonly update?: unknown;
+  /** Whether an insert may omit the column. Defaults to `false`. */
+  readonly hasDefault?: boolean;
+  /** Whether the database generates the column. Defaults to `false`. */
+  readonly generated?: boolean;
+  /** SQL semantic domain. Defaults to {@link SqlUnknown}. */
+  readonly sqlType?: AnySqlType;
+  /** Physical storage metadata. Defaults to `undefined`. */
+  readonly storage?: ColumnStorage;
+  /** Complete default metadata. Defaults to `undefined`. */
+  readonly default?: ColumnDefault;
+  /** Complete generated-column metadata. Defaults to `undefined`. */
+  readonly generatedColumn?: GeneratedColumnDescriptor;
+  /** Identity metadata. Defaults to `undefined`. */
+  readonly identity?: IdentityDescriptor;
+  /** Deterministic `ON UPDATE` expression. Defaults to `undefined`. */
+  readonly onUpdate?: AnySchemaExpression;
+}
+type ConfigValue<TConfig, TKey extends PropertyKey, TFallback> = TKey extends keyof TConfig ? TConfig[TKey] : TFallback;
+type ColumnConfigOutput<TConfig> = ConfigValue<TConfig, 'output', unknown>;
+type ConfigBoolean<TConfig, TKey extends PropertyKey> = Extract<ConfigValue<TConfig, TKey, false>, boolean> extends (infer TValue) ? [TValue] extends [never] ? false : TValue : false;
+type ColumnConfigNullable<TConfig> = ConfigBoolean<TConfig, 'nullable'>;
+type ColumnConfigInsert<TConfig> = ConfigValue<TConfig, 'insert', ColumnConfigOutput<TConfig>>;
+type ColumnConfigUpdate<TConfig> = ConfigValue<TConfig, 'update', ColumnConfigInsert<TConfig>>;
+type ColumnConfigHasDefault<TConfig> = ConfigBoolean<TConfig, 'hasDefault'>;
+type ColumnConfigGenerated<TConfig> = ConfigBoolean<TConfig, 'generated'>;
+type ColumnConfigSqlType<TConfig> = Extract<ConfigValue<TConfig, 'sqlType', SqlUnknown>, AnySqlType> extends (infer TValue) ? [TValue] extends [never] ? SqlUnknown : TValue : SqlUnknown;
+type ColumnConfigStorage<TConfig> = ConfigValue<TConfig, 'storage', undefined>;
+type ColumnConfigDefault<TConfig> = ConfigValue<TConfig, 'default', undefined>;
+type ColumnConfigGeneratedColumn<TConfig> = ConfigValue<TConfig, 'generatedColumn', undefined>;
+type ColumnConfigIdentity<TConfig> = ConfigValue<TConfig, 'identity', undefined>;
+type ColumnConfigOnUpdate<TConfig> = ConfigValue<TConfig, 'onUpdate', undefined>;
+type SetColumnOutput<TConfig, TOutput> = Omit<TConfig, 'output' | 'insert' | 'update'> & {
+  readonly output: TOutput;
+  readonly insert: SameType<ColumnConfigInsert<TConfig>, ColumnConfigOutput<TConfig>> extends true ? TOutput : ColumnConfigInsert<TConfig>;
+  readonly update: SameType<ColumnConfigUpdate<TConfig>, ColumnConfigOutput<TConfig>> extends true ? TOutput : ColumnConfigUpdate<TConfig>;
+};
+interface ColumnDefinition<TConfig extends ColumnDefinitionConfig = {}> {
+  /** @internal Type-level configuration retained for inference. */
+  readonly __config?: TConfig;
   readonly definitionKind: 'column';
-  readonly nullable: TNullable;
-  readonly hasDefault: THasDefault;
-  readonly generated: TGenerated;
+  readonly nullable: ColumnConfigNullable<TConfig>;
+  readonly hasDefault: ColumnConfigHasDefault<TConfig>;
+  readonly generated: ColumnConfigGenerated<TConfig>;
   /** Complete database default metadata, when known. */
-  readonly default?: TDefault;
+  readonly default?: ColumnConfigDefault<TConfig>;
   /** Complete generated-column metadata, when known. */
-  readonly generatedColumn?: TGeneratedColumn;
+  readonly generatedColumn?: ColumnConfigGeneratedColumn<TConfig>;
   /** Identity behavior is modeled separately from generated expressions. */
-  readonly identity?: TIdentity;
+  readonly identity?: ColumnConfigIdentity<TConfig>;
   /** MySQL's optional parameter-free `ON UPDATE` expression. */
-  readonly onUpdate?: TOnUpdate;
+  readonly onUpdate?: ColumnConfigOnUpdate<TConfig>;
   readonly sqlName?: string;
   /** Physical storage metadata, separate from the application and SQL types. */
-  readonly storage?: TStorage;
+  readonly storage?: ColumnConfigStorage<TConfig>;
+  /** Runtime decoder used when this definition is projected. */
+  readonly resultDecoder?: ResultDecoder;
   /** Runtime CAST target when this definition can describe a cast result. */
   readonly castTarget?: CastTarget;
-  readonly __output?: TOutput;
-  readonly __insert?: TInsert;
-  readonly __update?: TUpdate;
+  readonly __output?: ColumnConfigOutput<TConfig>;
+  readonly __insert?: ColumnConfigInsert<TConfig>;
+  readonly __update?: ColumnConfigUpdate<TConfig>;
   /**
    * Narrow the column's application type without changing its runtime
    * definition.
@@ -608,12 +722,12 @@ interface ColumnDefinition<TOutput = unknown, TNullable extends boolean = false,
    * @remarks Distinct insert or update types are preserved. This method does
    * not validate values or add a database constraint.
    */
-  readonly $type: <const TType extends TOutput>() => ColumnDefinition<TType, TNullable, SameType<TInsert, TOutput> extends true ? TType : TInsert, SameType<TUpdate, TOutput> extends true ? TType : TUpdate, THasDefault, TGenerated, TSqlType, TStorage, TDefault, TGeneratedColumn, TIdentity, TOnUpdate> & (this extends {
+  readonly $type: <const TType extends ColumnConfigOutput<TConfig>>() => ColumnDefinition<SetColumnOutput<TConfig, TType>> & (this extends {
     readonly castTarget: infer TCastTarget extends CastTarget;
   } ? {
     readonly castTarget: TCastTarget;
   } : unknown);
-  readonly __sqlType?: TSqlType;
+  readonly __sqlType?: ColumnConfigSqlType<TConfig>;
 }
 type Flag<T extends boolean | undefined> = T extends true ? true : false;
 type HasExplicitOption<TOptions, TKey extends PropertyKey> = TKey extends keyof TOptions ? {} extends Pick<TOptions, TKey> ? false : true : false;
@@ -637,48 +751,88 @@ type ColumnOnUpdateOption<TOptions extends ColumnOptions> = TOptions extends {
 } ? TOnUpdate : undefined;
 type IsAny$1<T> = 0 extends 1 & T ? true : false;
 type SameType<TLeft, TRight> = IsAny$1<TLeft> extends true ? IsAny$1<TRight> : IsAny$1<TRight> extends true ? false : [TLeft] extends [TRight] ? [TRight] extends [TLeft] ? true : false : false;
-type ColumnFromOptions<TOutput, TInsert, TUpdate, TOptions extends ColumnOptions, TSqlType extends AnySqlType = SqlUnknown> = ColumnDefinition<TOutput, Flag<TOptions['nullable']>, TInsert, TUpdate, ColumnHasDefaultOption<TOptions>, ColumnIsGeneratedOption<TOptions>, TSqlType, TOptions extends {
-  readonly storage: infer TStorage;
-} ? TStorage extends ColumnStorage ? TStorage : undefined : undefined, ColumnDefaultOption<TOptions>, ColumnGeneratedOption<TOptions>, ColumnIdentityOption<TOptions>, ColumnOnUpdateOption<TOptions>> & (TOptions extends {
+type Simplify$1<T> = { readonly [TKey in keyof T]: T[TKey]; };
+type ColumnValueConfig<TOutput, TInsert, TUpdate> = {
+  readonly output: TOutput;
+} & (SameType<TInsert, TOutput> extends true ? {} : {
+  readonly insert: TInsert;
+}) & (SameType<TUpdate, TInsert> extends true ? {} : {
+  readonly update: TUpdate;
+});
+type TrueConfig<TKey extends PropertyKey, TValue> = TValue extends true ? { readonly [TField in TKey]: true; } : {};
+type DefinedConfig<TKey extends PropertyKey, TValue> = [TValue] extends [undefined] ? {} : { readonly [TField in TKey]: TValue; };
+type ColumnOptionConfig<TOptions extends ColumnOptions> = Simplify$1<TrueConfig<'nullable', Flag<TOptions['nullable']>> & TrueConfig<'hasDefault', ColumnHasDefaultOption<TOptions>> & TrueConfig<'generated', ColumnIsGeneratedOption<TOptions>> & DefinedConfig<'default', ColumnDefaultOption<TOptions>> & DefinedConfig<'generatedColumn', ColumnGeneratedOption<TOptions>> & DefinedConfig<'identity', ColumnIdentityOption<TOptions>> & DefinedConfig<'onUpdate', ColumnOnUpdateOption<TOptions>> & (TOptions extends {
+  readonly storage: infer TStorage extends ColumnStorage;
+} ? {
+  readonly storage: TStorage;
+} : {})>;
+type BuiltInColumnDefinition<TOutput, TSqlType extends AnySqlType, TStorageType extends PortableStorageType, TCastType extends PortableCastType, TOptions extends BuiltInColumnOptions> = ColumnDefinition<Simplify$1<{
+  readonly output: TOutput;
+  readonly sqlType: TSqlType;
+  readonly storage: PortableColumnStorage<TStorageType>;
+} & ColumnOptionConfig<TOptions>>> & {
+  readonly castTarget: PortableCastTarget<TCastType>;
+};
+type ColumnFromOptions<TOutput, TInsert, TUpdate, TOptions extends ColumnOptions, TSqlType extends AnySqlType = SqlUnknown> = ColumnDefinition<Simplify$1<ColumnValueConfig<TOutput, TInsert, TUpdate> & {
+  readonly sqlType: TSqlType;
+} & ColumnOptionConfig<TOptions>>> & (TOptions extends {
   readonly castType: string;
 } ? {
   readonly castTarget: NamedCastTarget;
 } : unknown);
-type ColumnOutput<T> = T extends ColumnDefinition<infer TOutput, infer TNullable, any, any, any, any, any, any, any, any> ? TNullable extends true ? TOutput | null : TOutput : never;
-type ColumnInsertInput<T> = T extends ColumnDefinition<any, infer TNullable, infer TInsert, any, any, any, any, any, any, any, any> ? TNullable extends true ? TInsert | null : TInsert : never;
-type ColumnUpdateInput<T> = T extends ColumnDefinition<any, infer TNullable, any, infer TUpdate, any, any, any, any, any, any, any> ? TNullable extends true ? TUpdate | null : TUpdate : never;
-type ColumnHasDefault<T> = T extends ColumnDefinition<any, any, any, any, infer THasDefault, any, any, any, any, any, any> ? THasDefault : false;
-type ColumnIsGenerated<T> = T extends ColumnDefinition<any, any, any, any, any, infer TGenerated, any, any, any, any, any> ? TGenerated : false;
+type ColumnOutput<T> = T extends {
+  readonly __output?: infer TOutput;
+  readonly nullable: infer TNullable;
+} ? TNullable extends true ? TOutput | null : TOutput : never;
+type ColumnInsertInput<T> = T extends {
+  readonly __insert?: infer TInsert;
+  readonly nullable: infer TNullable;
+} ? TNullable extends true ? TInsert | null : TInsert : never;
+type ColumnUpdateInput<T> = T extends {
+  readonly __update?: infer TUpdate;
+  readonly nullable: infer TNullable;
+} ? TNullable extends true ? TUpdate | null : TUpdate : never;
+type ColumnHasDefault<T> = T extends {
+  readonly hasDefault: infer THasDefault extends boolean;
+} ? THasDefault : false;
+type ColumnIsGenerated<T> = T extends {
+  readonly generated: infer TGenerated extends boolean;
+} ? TGenerated : false;
 /** Extract complete default metadata from a column definition. */
-type ColumnDefaultOf<T> = T extends ColumnDefinition<any, any, any, any, any, any, any, any, infer TDefault, any, any> ? TDefault : undefined;
+type ColumnDefaultOf<T> = T extends {
+  readonly default?: infer TDefault;
+} ? TDefault : undefined;
 /** Extract complete generated-column metadata from a column definition. */
-type ColumnGeneratedOf<T> = T extends ColumnDefinition<any, any, any, any, any, any, any, any, any, infer TGenerated, any> ? TGenerated : undefined;
+type ColumnGeneratedOf<T> = T extends {
+  readonly generatedColumn?: infer TGenerated;
+} ? TGenerated : undefined;
 /** Extract identity metadata from a column definition. */
-type ColumnIdentityOf<T> = T extends ColumnDefinition<any, any, any, any, any, any, any, any, any, any, infer TIdentity> ? TIdentity : undefined;
+type ColumnIdentityOf<T> = T extends {
+  readonly identity?: infer TIdentity;
+} ? TIdentity : undefined;
 /** Extract a column's optional deterministic `ON UPDATE` expression. */
-type ColumnOnUpdateOf<T> = T extends ColumnDefinition<any, any, any, any, any, any, any, any, any, any, any, infer TOnUpdate> ? TOnUpdate : undefined;
+type ColumnOnUpdateOf<T> = T extends {
+  readonly onUpdate?: infer TOnUpdate;
+} ? TOnUpdate : undefined;
 /** Extract the SQL semantic domain declared by a column definition. */
-type ColumnSqlType<T> = T extends ColumnDefinition<any, any, any, any, any, any, infer TSqlType, any, any, any, any> ? TSqlType : SqlUnknown;
+type ColumnSqlType<T> = T extends {
+  readonly __sqlType?: infer TSqlType extends AnySqlType;
+} ? TSqlType : SqlUnknown;
 /** Whether a column definition explicitly permits SQL NULL values. */
-type ColumnIsNullable<T> = T extends ColumnDefinition<any, infer TNullable, any, any, any, any, any, any, any, any, any> ? TNullable : false;
+type ColumnIsNullable<T> = T extends {
+  readonly nullable: infer TNullable extends boolean;
+} ? TNullable : false;
 type FalseColumnOptions = {
   readonly nullable?: false;
   readonly hasDefault?: false;
   readonly generated?: false;
   readonly sqlName?: string;
+  readonly decode?: ResultDecoder;
 };
-type AnyColumnDefinition = ColumnDefinition<any, any, any, any, any, any, AnySqlType, any, any, any, any>;
+type AnyColumnDefinition = ColumnDefinition<any>;
 type NamedCastColumn<TDefinition extends AnyColumnDefinition> = TDefinition & {
   readonly castTarget: NamedCastTarget;
 };
-type PortableCastColumn<TDefinition extends AnyColumnDefinition, TType extends PortableCastType> = TDefinition & {
-  readonly castTarget: PortableCastTarget<TType>;
-};
-type StoredColumnDefinition<TDefinition extends AnyColumnDefinition, TStorage extends ColumnStorage> = TDefinition extends ColumnDefinition<infer TOutput, infer TNullable, infer TInsert, infer TUpdate, infer THasDefault, infer TGenerated, infer TSqlType, any, infer TDefault, infer TGeneratedColumn, infer TIdentity, infer TOnUpdate> ? ColumnDefinition<TOutput, TNullable, TInsert, TUpdate, THasDefault, TGenerated, TSqlType, TStorage, TDefault, TGeneratedColumn, TIdentity, Extract<TOnUpdate, AnySchemaExpression> | undefined> & (TDefinition extends {
-  readonly castTarget: infer TCastTarget extends CastTarget;
-} ? {
-  readonly castTarget: TCastTarget;
-} : unknown) : never;
 declare function column<TOutput = unknown, TInsert = TOutput, TUpdate = TInsert, TSqlType extends AnySqlType = SqlUnknown, const TStorage extends ColumnStorage = ColumnStorage, const TOptions extends Omit<ColumnOptions, 'storage'> = Omit<ColumnOptions, 'storage'>>(options: TOptions & {
   readonly storage: TStorage;
 }): ColumnFromOptions<TOutput, TInsert, TUpdate, TOptions & {
@@ -686,56 +840,103 @@ declare function column<TOutput = unknown, TInsert = TOutput, TUpdate = TInsert,
 }, TSqlType>;
 declare function column<TOutput = unknown, TInsert = TOutput, TUpdate = TInsert, TSqlType extends AnySqlType = SqlUnknown>(options: FalseColumnOptions & {
   readonly castType: string;
-}): NamedCastColumn<ColumnDefinition<TOutput, false, TInsert, TUpdate, false, false, TSqlType>>;
+}): NamedCastColumn<ColumnDefinition<Simplify$1<ColumnValueConfig<TOutput, TInsert, TUpdate> & {
+  readonly sqlType: TSqlType;
+}>>>;
 declare function column<TOutput = unknown, TInsert = TOutput, TUpdate = TInsert, TSqlType extends AnySqlType = SqlUnknown>(options: {
   readonly nullable: true;
   readonly hasDefault: true;
   readonly generated: true;
   readonly sqlName?: string;
-}): ColumnDefinition<TOutput, true, TInsert, TUpdate, true, true, TSqlType, undefined, ExternalDefaultDescriptor, ExternalGeneratedColumnDescriptor>;
+}): ColumnDefinition<Simplify$1<ColumnValueConfig<TOutput, TInsert, TUpdate> & {
+  readonly nullable: true;
+  readonly hasDefault: true;
+  readonly generated: true;
+  readonly sqlType: TSqlType;
+  readonly default: ExternalDefaultDescriptor;
+  readonly generatedColumn: ExternalGeneratedColumnDescriptor;
+}>>;
 declare function column<TOutput = unknown, TInsert = TOutput, TUpdate = TInsert, TSqlType extends AnySqlType = SqlUnknown>(options: {
   readonly nullable: true;
   readonly hasDefault: true;
   readonly generated?: false;
   readonly sqlName?: string;
-}): ColumnDefinition<TOutput, true, TInsert, TUpdate, true, false, TSqlType, undefined, ExternalDefaultDescriptor>;
+}): ColumnDefinition<Simplify$1<ColumnValueConfig<TOutput, TInsert, TUpdate> & {
+  readonly nullable: true;
+  readonly hasDefault: true;
+  readonly sqlType: TSqlType;
+  readonly default: ExternalDefaultDescriptor;
+}>>;
 declare function column<TOutput = unknown, TInsert = TOutput, TUpdate = TInsert, TSqlType extends AnySqlType = SqlUnknown>(options: {
   readonly nullable: true;
   readonly hasDefault?: false;
   readonly generated: true;
   readonly sqlName?: string;
-}): ColumnDefinition<TOutput, true, TInsert, TUpdate, false, true, TSqlType, undefined, undefined, ExternalGeneratedColumnDescriptor>;
+}): ColumnDefinition<Simplify$1<ColumnValueConfig<TOutput, TInsert, TUpdate> & {
+  readonly nullable: true;
+  readonly generated: true;
+  readonly sqlType: TSqlType;
+  readonly generatedColumn: ExternalGeneratedColumnDescriptor;
+}>>;
 declare function column<TOutput = unknown, TInsert = TOutput, TUpdate = TInsert, TSqlType extends AnySqlType = SqlUnknown>(options: {
   readonly nullable: true;
   readonly hasDefault?: false;
   readonly generated?: false;
   readonly sqlName?: string;
-}): ColumnDefinition<TOutput, true, TInsert, TUpdate, false, false, TSqlType>;
+}): ColumnDefinition<Simplify$1<ColumnValueConfig<TOutput, TInsert, TUpdate> & {
+  readonly nullable: true;
+  readonly sqlType: TSqlType;
+}>>;
 declare function column<TOutput = unknown, TInsert = TOutput, TUpdate = TInsert, TSqlType extends AnySqlType = SqlUnknown>(options: {
   readonly nullable?: false;
   readonly hasDefault: true;
   readonly generated: true;
   readonly sqlName?: string;
-}): ColumnDefinition<TOutput, false, TInsert, TUpdate, true, true, TSqlType, undefined, ExternalDefaultDescriptor, ExternalGeneratedColumnDescriptor>;
+}): ColumnDefinition<Simplify$1<ColumnValueConfig<TOutput, TInsert, TUpdate> & {
+  readonly hasDefault: true;
+  readonly generated: true;
+  readonly sqlType: TSqlType;
+  readonly default: ExternalDefaultDescriptor;
+  readonly generatedColumn: ExternalGeneratedColumnDescriptor;
+}>>;
 declare function column<TOutput = unknown, TInsert = TOutput, TUpdate = TInsert, TSqlType extends AnySqlType = SqlUnknown>(options: {
   readonly nullable?: false;
   readonly hasDefault: true;
   readonly generated?: false;
   readonly sqlName?: string;
-}): ColumnDefinition<TOutput, false, TInsert, TUpdate, true, false, TSqlType, undefined, ExternalDefaultDescriptor>;
+}): ColumnDefinition<Simplify$1<ColumnValueConfig<TOutput, TInsert, TUpdate> & {
+  readonly hasDefault: true;
+  readonly sqlType: TSqlType;
+  readonly default: ExternalDefaultDescriptor;
+}>>;
 declare function column<TOutput = unknown, TInsert = TOutput, TUpdate = TInsert, TSqlType extends AnySqlType = SqlUnknown>(options: {
   readonly nullable?: false;
   readonly hasDefault?: false;
   readonly generated: true;
   readonly sqlName?: string;
-}): ColumnDefinition<TOutput, false, TInsert, TUpdate, false, true, TSqlType, undefined, undefined, ExternalGeneratedColumnDescriptor>;
-declare function column<TOutput = unknown, TInsert = TOutput, TUpdate = TInsert, TSqlType extends AnySqlType = SqlUnknown>(options?: FalseColumnOptions): ColumnDefinition<TOutput, false, TInsert, TUpdate, false, false, TSqlType>;
+}): ColumnDefinition<Simplify$1<ColumnValueConfig<TOutput, TInsert, TUpdate> & {
+  readonly generated: true;
+  readonly sqlType: TSqlType;
+  readonly generatedColumn: ExternalGeneratedColumnDescriptor;
+}>>;
+declare function column<TOutput = unknown, TInsert = TOutput, TUpdate = TInsert, TSqlType extends AnySqlType = SqlUnknown>(options?: FalseColumnOptions): ColumnDefinition<Simplify$1<ColumnValueConfig<TOutput, TInsert, TUpdate> & {
+  readonly sqlType: TSqlType;
+}>>;
 declare function column<TOutput = unknown, TInsert = TOutput, TUpdate = TInsert, TSqlType extends AnySqlType = SqlUnknown, const TOptions extends ColumnOptions = {}>(options?: TOptions): ColumnFromOptions<TOutput, TInsert, TUpdate, TOptions, TSqlType>;
 declare function column<TOutput = unknown, TInsert = TOutput, TUpdate = TInsert, const TOptions extends ColumnOptions = {}, TSqlType extends AnySqlType = SqlUnknown>(options?: TOptions): ColumnFromOptions<TOutput, TInsert, TUpdate, TOptions, TSqlType>;
+/** Resolve the runtime result metadata carried by a column definition. */
+declare function columnResultValue(definition: {
+  readonly storage?: ColumnStorage;
+  readonly resultDecoder?: ResultDecoder;
+}): ResultValueMetadata | undefined;
 type NativeColumnOptions = Omit<ColumnOptions, 'storage'> & {
   readonly storage?: never;
 };
-type NativeColumnFromOptions<TOutput, TInsert, TUpdate, TOptions extends NativeColumnOptions, TSqlType extends AnySqlType, TDialect extends string, TDeclaration extends string> = ColumnDefinition<TOutput, Flag<TOptions['nullable']>, TInsert, TUpdate, ColumnHasDefaultOption<TOptions>, ColumnIsGeneratedOption<TOptions>, TSqlType, NativeColumnStorage<TDialect, TDeclaration>, ColumnDefaultOption<TOptions>, ColumnGeneratedOption<TOptions>, ColumnIdentityOption<TOptions>, ColumnOnUpdateOption<TOptions>> & (TOptions extends {
+type NativeColumnFromOptions<TOutput, TInsert, TUpdate, TOptions extends NativeColumnOptions, TSqlType extends AnySqlType, TDialect extends string, TDeclaration extends string> = ColumnDefinition<Simplify$1<ColumnValueConfig<TOutput, TInsert, TUpdate> & {
+  readonly sqlType: TSqlType;
+} & ColumnOptionConfig<TOptions> & {
+  readonly storage: NativeColumnStorage<TDialect, TDeclaration>;
+}>> & (TOptions extends {
   readonly castType: string;
 } ? {
   readonly castTarget: NamedCastTarget;
@@ -744,21 +945,23 @@ type NativeColumnFromOptions<TOutput, TInsert, TUpdate, TOptions extends NativeC
 declare function nativeColumn<TOutput = unknown, TInsert = TOutput, TUpdate = TInsert, const TOptions extends NativeColumnOptions = {}, TSqlType extends AnySqlType = SqlUnknown, const TDialect extends string = string, const TDeclaration extends string = string>(storage: NativeColumnStorage<TDialect, TDeclaration>, options?: TOptions): NativeColumnFromOptions<TOutput, TInsert, TUpdate, TOptions, TSqlType, TDialect, TDeclaration>;
 /** Create a dialect-native column from an adapter name and exact declaration. */
 declare function nativeColumn<const TDialect extends string, const TDeclaration extends string, TOutput = unknown, TInsert = TOutput, TUpdate = TInsert, const TOptions extends NativeColumnOptions = {}, TSqlType extends AnySqlType = SqlUnknown>(dialect: TDialect, type: TDeclaration, options?: TOptions): NativeColumnFromOptions<TOutput, TInsert, TUpdate, TOptions, TSqlType, TDialect, TDeclaration>;
-declare function nullable<TOutput, TNullable extends boolean, TInsert, TUpdate, THasDefault extends boolean, TGenerated extends boolean, TSqlType extends AnySqlType, TStorage extends ColumnStorage | undefined, TDefault extends ColumnDefault | undefined, TGeneratedColumn extends GeneratedColumnDescriptor | undefined, TIdentity extends IdentityDescriptor | undefined, TOnUpdate extends AnySchemaExpression | undefined>(definition: ColumnDefinition<TOutput, TNullable, TInsert, TUpdate, THasDefault, TGenerated, TSqlType, TStorage, TDefault, TGeneratedColumn, TIdentity, TOnUpdate>): ColumnDefinition<TOutput, true, TInsert, TUpdate, THasDefault, TGenerated, TSqlType, TStorage, TDefault, TGeneratedColumn, TIdentity, TOnUpdate>;
-declare function integer<const TOptions extends BuiltInColumnOptions = {}>(options?: TOptions): StoredColumnDefinition<PortableCastColumn<ColumnFromOptions<number, number, number, TOptions, SqlInteger>, "integer">, PortableColumnStorage<"integer">>;
-declare function numeric<const TOptions extends BuiltInColumnOptions = {}>(options?: TOptions): StoredColumnDefinition<PortableCastColumn<ColumnFromOptions<number, number, number, TOptions, SqlDecimal>, "decimal">, PortableColumnStorage<"numeric">>;
-declare function text<const TOptions extends BuiltInColumnOptions = {}>(options?: TOptions): StoredColumnDefinition<PortableCastColumn<ColumnFromOptions<string, string, string, TOptions, SqlText>, "text">, PortableColumnStorage<"text">>;
-declare function boolean<const TOptions extends BuiltInColumnOptions = {}>(options?: TOptions): StoredColumnDefinition<PortableCastColumn<ColumnFromOptions<boolean, boolean, boolean, TOptions, SqlBoolean>, "boolean">, PortableColumnStorage<"boolean">>;
-declare function date<const TOptions extends BuiltInColumnOptions = {}>(options?: TOptions): StoredColumnDefinition<PortableCastColumn<ColumnFromOptions<Date, Date, Date, TOptions, SqlDate>, "date">, PortableColumnStorage<"date">>;
-declare function timestamp<const TOptions extends BuiltInColumnOptions = {}>(options?: TOptions): StoredColumnDefinition<PortableCastColumn<ColumnFromOptions<Date, Date, Date, TOptions, SqlTimestamp>, "timestamp">, PortableColumnStorage<"timestamp">>;
-declare function uuid<const TOptions extends BuiltInColumnOptions = {}>(options?: TOptions): StoredColumnDefinition<PortableCastColumn<ColumnFromOptions<string, string, string, TOptions, SqlUuid>, "uuid">, PortableColumnStorage<"uuid">>;
-declare function json<TOutput = unknown, const TOptions extends BuiltInColumnOptions = {}>(options?: TOptions): StoredColumnDefinition<PortableCastColumn<ColumnFromOptions<TOutput, TOutput, TOutput, TOptions, SqlJson<TOutput>>, "json">, PortableColumnStorage<"json">>;
-declare function bigint<const TOptions extends BuiltInColumnOptions = {}>(options?: TOptions): StoredColumnDefinition<PortableCastColumn<ColumnFromOptions<bigint, bigint, bigint, TOptions, SqlBigInt>, "bigint">, PortableColumnStorage<"bigint">>;
-declare function binary<const TOptions extends BuiltInColumnOptions = {}>(options?: TOptions): StoredColumnDefinition<PortableCastColumn<ColumnFromOptions<Uint8Array<ArrayBufferLike>, Uint8Array<ArrayBufferLike>, Uint8Array<ArrayBufferLike>, TOptions, SqlBinary>, "binary">, PortableColumnStorage<"binary">>;
+declare function nullable<TConfig extends ColumnDefinitionConfig>(definition: ColumnDefinition<TConfig>): ColumnDefinition<Simplify$1<Omit<TConfig, "nullable"> & {
+  readonly nullable: true;
+}>>;
+declare function integer<const TOptions extends BuiltInColumnOptions = {}>(options?: TOptions): BuiltInColumnDefinition<number, SqlInteger, 'integer', 'integer', TOptions>;
+declare function numeric<const TOptions extends BuiltInColumnOptions = {}>(options?: TOptions): BuiltInColumnDefinition<number, SqlDecimal, 'numeric', 'decimal', TOptions>;
+declare function text<const TOptions extends BuiltInColumnOptions = {}>(options?: TOptions): BuiltInColumnDefinition<string, SqlText, 'text', 'text', TOptions>;
+declare function boolean<const TOptions extends BuiltInColumnOptions = {}>(options?: TOptions): BuiltInColumnDefinition<boolean, SqlBoolean, 'boolean', 'boolean', TOptions>;
+declare function date<const TOptions extends BuiltInColumnOptions = {}>(options?: TOptions): BuiltInColumnDefinition<Date, SqlDate, 'date', 'date', TOptions>;
+declare function timestamp<const TOptions extends BuiltInColumnOptions = {}>(options?: TOptions): BuiltInColumnDefinition<Date, SqlTimestamp, 'timestamp', 'timestamp', TOptions>;
+declare function uuid<const TOptions extends BuiltInColumnOptions = {}>(options?: TOptions): BuiltInColumnDefinition<string, SqlUuid, 'uuid', 'uuid', TOptions>;
+declare function json<TOutput = unknown, const TOptions extends BuiltInColumnOptions = {}>(options?: TOptions): BuiltInColumnDefinition<TOutput, SqlJson<TOutput>, 'json', 'json', TOptions>;
+declare function bigint<const TOptions extends BuiltInColumnOptions = {}>(options?: TOptions): BuiltInColumnDefinition<bigint, SqlBigInt, 'bigint', 'bigint', TOptions>;
+declare function binary<const TOptions extends BuiltInColumnOptions = {}>(options?: TOptions): BuiltInColumnDefinition<Uint8Array, SqlBinary, 'binary', 'binary', TOptions>;
 //#endregion
 //#region src/schema/column-nullability.d.ts
 declare const declaredColumnNullability: unique symbol;
-/** @internal */
+/** Compile-time nullability retained by a column from its table declaration. */
 type DeclaredColumnNullability<TNullable extends boolean> = {
   readonly [declaredColumnNullability]: TNullable;
 };
@@ -1057,7 +1260,7 @@ declare function render<TQuery extends AnyFragment>(query: TQuery & RenderCapabi
 declare function render<TQuery extends AnyFragment, TCapabilities extends DialectCapability>(query: TQuery & RenderCapabilityValidation<TQuery, TCapabilities>, options: RenderOptions<TCapabilities> | Dialect<TCapabilities>): RenderedQuery;
 //#endregion
 //#region src/execution.d.ts
-type StreamableQuery<TRow extends object = Record<string, unknown>> = Query<TRow, any, any, any> & {
+type StreamableQuery<TRow extends object = Record<string, unknown>> = QueryWithRow<TRow> & {
   readonly queryKind: 'select' | 'set';
 };
 /** Rendering policy and cancellation input accepted by query execution. */
@@ -1077,7 +1280,7 @@ type ExplainMutationOptions = Omit<ExplainOptions, 'analyze'> & {
   readonly analyze?: never;
 };
 /** Select read-only or plan-only EXPLAIN options from the query kind. */
-type ExplainOptionsFor<TQuery extends Query<any, any, any, any>> = TQuery['queryKind'] extends 'select' | 'set' ? ExplainReadOptions : ExplainMutationOptions;
+type ExplainOptionsFor<TQuery extends AnyQuery> = TQuery['queryKind'] extends 'select' | 'set' ? ExplainReadOptions : ExplainMutationOptions;
 /** Controls the lifecycle of one adapter-owned transaction. */
 interface TransactionOptions {
   /** Passed to the adapter for transaction begin, commit, and rollback. */
@@ -1089,6 +1292,8 @@ interface ExecutionRequest {
   readonly statement: RenderedQuery;
   /** The source query kind, available without parsing rendered SQL. */
   readonly queryKind: QueryKind;
+  /** Named logical fields used by Qubu after the adapter returns raw rows. */
+  readonly resultShape: ResultShape;
   /** Present when the caller supplied an abort signal to {@link execute} or {@link stream}. */
   readonly signal?: AbortSignal;
 }
@@ -1110,6 +1315,14 @@ interface ExecutionResult<TRow extends object = Record<string, unknown>> {
   /** An insert identifier reported by the driver, including generated IDs. */
   readonly insertId?: string | number | bigint;
 }
+/** Driver-normalized rows and mutation facts returned to Qubu by an adapter. */
+interface AdapterExecutionResult {
+  /** Object rows keyed by the query's rendered result aliases. */
+  readonly rows: readonly Readonly<Record<string, unknown>>[];
+  readonly affectedRows?: number | bigint;
+  readonly changedRows?: number | bigint;
+  readonly insertId?: string | number | bigint;
+}
 /** Adapter-decoded vendor plan rows returned by an EXPLAIN request. */
 interface ExplainResult<TPlanRow extends object = Record<string, unknown>> {
   /** Opaque plan rows in the shape selected by the application adapter. */
@@ -1118,14 +1331,17 @@ interface ExplainResult<TPlanRow extends object = Record<string, unknown>> {
 /**
  * The driver-facing boundary. `request.statement.parameters` contains raw
  * application values in placeholder order; the adapter binds and encodes them
- * for its driver. Connection pooling, transactions, retries, and row decoding
- * remain adapter concerns.
+ * for its driver. Connection pooling, transactions, retries, and proprietary
+ * driver-row normalization remain adapter concerns. Qubu applies the adapter's
+ * registered logical result decoders afterward.
  */
 interface QueryAdapter {
   /** Default rendering policy for queries sent through this adapter. */
   readonly dialect: Dialect;
+  /** Driver-specific conversions for portable logical result domains. */
+  readonly decoders?: ResultDecoders;
   /** Execute one request and normalize the driver's result fields. */
-  execute<TRow extends object>(request: ExecutionRequest): Promise<ExecutionResult<TRow>>;
+  execute(request: ExecutionRequest): Promise<AdapterExecutionResult>;
 }
 /**
  * An opt-in adapter capability for typed, adapter-decoded EXPLAIN results.
@@ -1147,8 +1363,8 @@ type ExplainPlanRow<TAdapter extends ExplainableQueryAdapter> = TAdapter extends
  * fails, or observes an aborted request signal.
  */
 interface StreamingQueryAdapter extends QueryAdapter {
-  /** Return a typed, adapter-owned stream for one SELECT or set query. */
-  stream<TRow extends object>(request: ExecutionRequest): AsyncIterable<TRow>;
+  /** Return an adapter-owned object-row stream for one SELECT or set query. */
+  stream(request: ExecutionRequest): AsyncIterable<Readonly<Record<string, unknown>>>;
 }
 type QueryExecutor = QueryAdapter;
 /**
@@ -1166,14 +1382,14 @@ interface QubuClient<TAdapter extends QueryAdapter = QueryAdapter> {
   /** The adapter supplied to {@link qubu}. */
   readonly adapter: TAdapter;
   /** Execute a query and keep the adapter's structured mutation facts. */
-  execute<TRow extends object>(query: Query<TRow, any, any, any>, options?: ExecutionOptions): Promise<ExecutionResult<TRow>>;
+  execute<TRow extends object>(query: QueryWithRow<TRow>, options?: ExecutionOptions): Promise<ExecutionResult<TRow>>;
   /** Execute a query and return only its decoded rows. */
-  rows<TRow extends object>(query: Query<TRow, any, any, any>, options?: ExecutionOptions): Promise<readonly TRow[]>;
+  rows<TRow extends object>(query: QueryWithRow<TRow>, options?: ExecutionOptions): Promise<readonly TRow[]>;
 }
 /** A bound client whose adapter also decodes vendor-specific EXPLAIN rows. */
 interface QubuExplainableClient<TAdapter extends ExplainableQueryAdapter = ExplainableQueryAdapter> extends QubuClient<TAdapter> {
   /** Explain a query without executing it and return adapter-owned plan rows. */
-  explain<TQuery extends Query<any, any, any, any>>(query: TQuery, options?: ExplainOptionsFor<TQuery>): Promise<ExplainResult<ExplainPlanRow<TAdapter>>>;
+  explain<TQuery extends AnyQuery>(query: TQuery, options?: ExplainOptionsFor<TQuery>): Promise<ExplainResult<ExplainPlanRow<TAdapter>>>;
 }
 /** A bound client whose adapter also supports typed read-query streams. */
 interface QubuStreamingClient<TAdapter extends StreamingQueryAdapter = StreamingQueryAdapter> extends QubuClient<TAdapter> {
@@ -1222,17 +1438,17 @@ interface DriverValueEncoder<TDriverValue = unknown> {
  *
  * Driver errors are not caught or translated.
  */
-declare function execute<TRow extends object>(query: Query<TRow, any, any, any>, adapter: QueryAdapter, options?: ExecutionOptions): Promise<ExecutionResult<TRow>>;
-declare function execute<TRow extends object>(adapter: QueryAdapter, query: Query<TRow, any, any, any>, options?: ExecutionOptions): Promise<ExecutionResult<TRow>>;
+declare function execute<TRow extends object>(query: QueryWithRow<TRow>, adapter: QueryAdapter, options?: ExecutionOptions): Promise<ExecutionResult<TRow>>;
+declare function execute<TRow extends object>(adapter: QueryAdapter, query: QueryWithRow<TRow>, options?: ExecutionOptions): Promise<ExecutionResult<TRow>>;
 /** Execute a query and return its decoded rows without mutation facts. */
-declare function executeRows<TRow extends object>(query: Query<TRow, any, any, any>, adapter: QueryAdapter, options?: ExecutionOptions): Promise<readonly TRow[]>;
-declare function executeRows<TRow extends object>(adapter: QueryAdapter, query: Query<TRow, any, any, any>, options?: ExecutionOptions): Promise<readonly TRow[]>;
+declare function executeRows<TRow extends object>(query: QueryWithRow<TRow>, adapter: QueryAdapter, options?: ExecutionOptions): Promise<readonly TRow[]>;
+declare function executeRows<TRow extends object>(adapter: QueryAdapter, query: QueryWithRow<TRow>, options?: ExecutionOptions): Promise<readonly TRow[]>;
 /**
  * Render a query as a dialect-specific EXPLAIN request and return the
  * adapter-decoded vendor plan rows. EXPLAIN never calls QueryAdapter.execute.
  */
-declare function explain<TQuery extends Query<any, any, any, any>, TAdapter extends ExplainableQueryAdapter>(query: TQuery, adapter: TAdapter, options?: ExplainOptionsFor<TQuery>): Promise<ExplainResult<ExplainPlanRow<TAdapter>>>;
-declare function explain<TQuery extends Query<any, any, any, any>, TAdapter extends ExplainableQueryAdapter>(adapter: TAdapter, query: TQuery, options?: ExplainOptionsFor<TQuery>): Promise<ExplainResult<ExplainPlanRow<TAdapter>>>;
+declare function explain<TQuery extends AnyQuery, TAdapter extends ExplainableQueryAdapter>(query: TQuery, adapter: TAdapter, options?: ExplainOptionsFor<TQuery>): Promise<ExplainResult<ExplainPlanRow<TAdapter>>>;
+declare function explain<TQuery extends AnyQuery, TAdapter extends ExplainableQueryAdapter>(adapter: TAdapter, query: TQuery, options?: ExplainOptionsFor<TQuery>): Promise<ExplainResult<ExplainPlanRow<TAdapter>>>;
 /**
  * Render a SELECT or set-operation query and return the adapter-owned row
  * stream. Mutations, including mutations with RETURNING, must use execute().
@@ -1241,24 +1457,49 @@ declare function stream<TRow extends object>(query: StreamableQuery<TRow>, adapt
 declare function stream<TRow extends object>(adapter: StreamingQueryAdapter, query: StreamableQuery<TRow>, options?: ExecutionOptions): AsyncIterable<TRow>;
 //#endregion
 //#region src/expressions/cast.d.ts
-type CastDefinition = ColumnDefinition<any, false, any, any, false, false, AnySqlType, any, any, any> & {
+type CastDefinition = ColumnDefinition<any> & {
+  readonly nullable: false;
   readonly castTarget: CastTarget;
 };
 /**
  * Cast to a built-in or custom column definition while deriving both result
  * types from that definition. Operand nullability and source facts survive.
  */
-declare function cast<TDefinition extends CastDefinition, TExpression extends AnyExpression>(expression: TExpression, definition: TDefinition): ResultExpression<ColumnOutput<TDefinition>, TExpression, 'operator', NullabilityOf<TExpression>, ColumnSqlType<TDefinition>>;
+declare function cast<TDefinition extends CastDefinition, TExpression extends AnyExpression>(expression: TExpression, definition: TDefinition): ResultExpression<{
+  readonly output: ColumnOutput<TDefinition>;
+  readonly children: TExpression;
+  readonly kind: 'operator';
+  readonly nullableFrom: NullabilityOf<TExpression>;
+  readonly sqlType: ColumnSqlType<TDefinition>;
+}>;
 /** Cast using a type name supplied by the caller or an adapter. */
-declare function cast<T, TSqlType extends AnySqlType = SqlUnknown, TExpression extends AnyExpression = AnyExpression, const TType extends string = string>(expression: TExpression, typeName: TType): ResultExpression<T, TExpression, 'operator', NullabilityOf<TExpression>, TSqlType>;
+declare function cast<T, TSqlType extends AnySqlType = SqlUnknown, TExpression extends AnyExpression = AnyExpression, const TType extends string = string>(expression: TExpression, typeName: TType): ResultExpression<{
+  readonly output: T;
+  readonly children: TExpression;
+  readonly kind: 'operator';
+  readonly nullableFrom: NullabilityOf<TExpression>;
+  readonly sqlType: TSqlType;
+}>;
 /** Create a cast whose JS output and SQL result domain are declared up front. */
-declare function typedCast<T, TSqlType extends AnySqlType>(): <TExpression extends AnyExpression, const TType extends string>(expression: TExpression, typeName: TType) => ResultExpression<T, TExpression, "operator", (MetadataOf<TExpression> extends (infer T_1) ? T_1 extends MetadataOf<TExpression> ? T_1 extends {
-  readonly kind: "result";
-} ? T_1 : never : never : never) extends (infer T_2) ? T_2 extends (MetadataOf<TExpression> extends (infer T_3) ? T_3 extends MetadataOf<TExpression> ? T_3 extends {
-  readonly kind: "result";
-} ? T_3 : never : never : never) ? T_2 extends {
-  readonly nullableFrom: infer TSource;
-} ? TSource : never : never : never, TSqlType>;
+declare function typedCast<T, TSqlType extends AnySqlType>(): <TExpression extends AnyExpression, const TType extends string>(expression: TExpression, typeName: TType) => ResultExpression<{
+  readonly output: T;
+  readonly children: TExpression;
+  readonly kind: "operator";
+  readonly nullableFrom: (MetadataOf<TExpression> extends (infer T_1) ? T_1 extends MetadataOf<TExpression> ? T_1 extends {
+    readonly kind: "result";
+  } ? T_1 : never : never : never) extends (infer T_2) ? T_2 extends (MetadataOf<TExpression> extends (infer T_3) ? T_3 extends MetadataOf<TExpression> ? T_3 extends {
+    readonly kind: "result";
+  } ? T_3 : never : never : never) ? T_2 extends {
+    readonly nullableFrom: infer TSource;
+  } ? TSource : never : never : never;
+  readonly sqlType: TSqlType;
+}>;
+//#endregion
+//#region src/expressions/map-result.d.ts
+type MappedOutput<TOutput, TExpression> = TOutput | Extract<ExpressionOutput<TExpression>, null>;
+type MappedResultMetadata<TOutput, TExpression> = ResultMeta<MappedOutput<TOutput, TExpression>, NullabilityOf<TExpression>, SqlTypeOf<TExpression>> | ExpressionMeta<DependenciesOf<TExpression>> | InheritedMetadata<TExpression>;
+/** Attach an application decoder to an expression without changing its SQL. */
+declare function mapResult<TOutput, TExpression extends AnyExpression>(expression: TExpression, decoder: ResultDecoder<TOutput>): TExpression extends AnySchemaExpression ? SchemaExpression<MappedResultMetadata<TOutput, TExpression>, TExpression['expressionKind']> : Expression<MappedResultMetadata<TOutput, TExpression>, TExpression['expressionKind']>;
 //#endregion
 //#region src/expressions/value.d.ts
 interface ValueExpression<T = unknown, TSqlType extends AnySqlType = SqlUnknown> extends SchemaExpression<ResultMeta<T, never, TSqlType> | ExpressionMeta<never>, 'value'> {
@@ -1283,19 +1524,50 @@ type OperandNullability<T> = T extends Fragment<any> ? NullabilityOf<T> : never;
 type IsNullOperand<T> = T extends null ? true : T extends ValueExpression<infer TValue> ? [TValue] extends [null] ? true : false : false;
 //#endregion
 //#region src/expressions/operators/comparison/null.d.ts
-declare function isNull<TExpression extends AnyExpression>(expression: TExpression): ResultExpression<boolean, TExpression, 'operator', never, SqlBoolean>;
-declare function isNotNull<TExpression extends AnyExpression>(expression: TExpression): ResultExpression<boolean, TExpression, 'operator', never, SqlBoolean>;
-declare function isTrue<TExpression extends ExpressionWithOutput<boolean>>(expression: TExpression & SqlCapabilityValidation<ExpressionSqlType<TExpression>, SqlBoolean>): ResultExpression<boolean, TExpression, "operator", never, SqlBoolean>;
+type NonNullBooleanResult<TExpression> = ResultExpression<{
+  readonly output: boolean;
+  readonly children: TExpression;
+  readonly kind: 'operator';
+  readonly nullableFrom: never;
+  readonly sqlType: SqlBoolean;
+}>;
+declare function isNull<TExpression extends AnyExpression>(expression: TExpression): NonNullBooleanResult<TExpression>;
+declare function isNotNull<TExpression extends AnyExpression>(expression: TExpression): NonNullBooleanResult<TExpression>;
+declare function isTrue<TExpression extends ExpressionWithOutput<boolean>>(expression: TExpression & SqlCapabilityValidation<ExpressionSqlType<TExpression>, SqlBoolean>): NonNullBooleanResult<TExpression>;
 //#endregion
 //#region src/expressions/operators/comparison/range.d.ts
 type BetweenValidation<TExpression, TLower, TUpper> = SqlOrderValidation<ExpressionSqlType<TExpression>, OperandSqlType<TLower, ExpressionSqlType<TExpression>>> & SqlOrderValidation<ExpressionSqlType<TExpression>, OperandSqlType<TUpper, ExpressionSqlType<TExpression>>>;
 type ListValidation<TExpression, TValues extends readonly unknown[]> = TValues extends readonly [infer THead, ...infer TTail] ? SqlEqualityValidation<ExpressionSqlType<TExpression>, OperandSqlType<THead, ExpressionSqlType<TExpression>>> & ListValidation<TExpression, TTail> : unknown;
-declare function between<T, TExpression extends ExpressionWithOutput<T>, L extends Operand<NoInfer<T>>, H extends Operand<NoInfer<T>>>(expression: TExpression & BetweenValidation<TExpression, L, H>, lower: L, upper: H): ResultExpression<boolean, TExpression | L | H, "operator", NullabilityOf<TExpression | L | H>, SqlBoolean>;
-declare function inList<T, TExpression extends ExpressionWithOutput<T>, const TValues extends readonly Operand<NoInfer<T>>[]>(expression: TExpression & ListValidation<TExpression, TValues>, values: TValues): ResultExpression<boolean, TExpression | TValues[number], "operator", NullabilityOf<TExpression | TValues[number]>, SqlBoolean>;
-declare function notIn<T, TExpression extends ExpressionWithOutput<T>, const TValues extends readonly Operand<NoInfer<T>>[]>(expression: TExpression & ListValidation<TExpression, TValues>, values: TValues): ResultExpression<boolean, TExpression | TValues[number], "operator", NullabilityOf<TExpression | TValues[number]>, SqlBoolean>;
+declare function between<T, TExpression extends ExpressionWithOutput<T>, L extends Operand<NoInfer<T>>, H extends Operand<NoInfer<T>>>(expression: TExpression & BetweenValidation<TExpression, L, H>, lower: L, upper: H): ResultExpression<{
+  readonly output: boolean;
+  readonly children: TExpression | L | H;
+  readonly kind: "operator";
+  readonly nullableFrom: NullabilityOf<TExpression | L | H>;
+  readonly sqlType: SqlBoolean;
+}>;
+declare function inList<T, TExpression extends ExpressionWithOutput<T>, const TValues extends readonly Operand<NoInfer<T>>[]>(expression: TExpression & ListValidation<TExpression, TValues>, values: TValues): ResultExpression<{
+  readonly output: boolean;
+  readonly children: TExpression | TValues[number];
+  readonly kind: "operator";
+  readonly nullableFrom: NullabilityOf<TExpression | TValues[number]>;
+  readonly sqlType: SqlBoolean;
+}>;
+declare function notIn<T, TExpression extends ExpressionWithOutput<T>, const TValues extends readonly Operand<NoInfer<T>>[]>(expression: TExpression & ListValidation<TExpression, TValues>, values: TValues): ResultExpression<{
+  readonly output: boolean;
+  readonly children: TExpression | TValues[number];
+  readonly kind: "operator";
+  readonly nullableFrom: NullabilityOf<TExpression | TValues[number]>;
+  readonly sqlType: SqlBoolean;
+}>;
 //#endregion
 //#region src/expressions/operators/comparison/relational.d.ts
-type ComparisonResult<TLeft, R, TOperator extends string> = ResultExpression<boolean, TLeft | R, 'operator', TOperator extends 'IS DISTINCT FROM' | 'IS NOT DISTINCT FROM' ? never : TOperator extends '=' | '<>' ? IsNullOperand<R> extends true ? never : NullabilityOf<TLeft> | OperandNullability<R> : NullabilityOf<TLeft> | OperandNullability<R>, SqlBoolean>;
+type ComparisonResult<TLeft, R, TOperator extends string> = ResultExpression<{
+  readonly output: boolean;
+  readonly children: TLeft | R;
+  readonly kind: 'operator';
+  readonly nullableFrom: TOperator extends 'IS DISTINCT FROM' | 'IS NOT DISTINCT FROM' ? never : TOperator extends '=' | '<>' ? IsNullOperand<R> extends true ? never : NullabilityOf<TLeft> | OperandNullability<R> : NullabilityOf<TLeft> | OperandNullability<R>;
+  readonly sqlType: SqlBoolean;
+}>;
 /** SQL-domain validation selected by a comparison operator family. */
 type ComparisonValidation<TLeft, TRight, TOperator extends string> = TOperator extends 'LIKE' | 'NOT LIKE' | 'ILIKE' ? SqlCapabilityValidation<ExpressionSqlType<TLeft>, SqlTextLike> & SqlCapabilityValidation<OperandSqlType<TRight, ExpressionSqlType<TLeft>>, SqlTextLike> : TOperator extends '<' | '<=' | '>' | '>=' ? SqlOrderValidation<ExpressionSqlType<TLeft>, OperandSqlType<TRight, ExpressionSqlType<TLeft>>> : SqlEqualityValidation<ExpressionSqlType<TLeft>, OperandSqlType<TRight, ExpressionSqlType<TLeft>>>;
 declare function eq<T, TLeft extends ExpressionWithOutput<T>, R extends Operand<NoInfer<T>>>(left: TLeft & ComparisonValidation<TLeft, R, '='>, right: R): ComparisonResult<TLeft & SqlEqualityValidation<(MetadataOf<TLeft> extends (infer T_1) ? T_1 extends MetadataOf<TLeft> ? T_1 extends {
@@ -1438,16 +1710,37 @@ declare function scalar<TQuery extends AnyQuery>(query: TQuery): Expression<Resu
 //#region src/expressions/operators/comparison/subquery.d.ts
 type IsUnion<T, TWhole = T> = T extends unknown ? [TWhole] extends [T] ? false : true : never;
 type InQueryValidation<TExpression, TQuery> = [keyof QueryRow<TQuery>] extends [never] ? QueryTypeValidation<'invalid-subquery', 'in-query.projection', 'Select exactly one field in the IN subquery.'> : true extends IsUnion<keyof QueryRow<TQuery>> ? QueryTypeValidation<'invalid-subquery', 'in-query.projection', 'Select exactly one field in the IN subquery.'> : SingleColumn<QueryRow<TQuery>> extends ExpressionOutput<TExpression> ? SqlEqualityValidation<ExpressionSqlType<TExpression>, SingleColumn<QuerySqlTypeMap<TQuery>>> : QueryTypeValidation<'incompatible-sql-equality', 'in-query.operands', 'Select a subquery field from the same SQL equality group as the expression.', SingleColumn<QueryRow<TQuery>>>;
-declare function inQuery<TExpression extends AnyExpression, TQuery extends Query<any, any, any>>(expression: TExpression & InQueryValidation<TExpression, TQuery>, query: TQuery): SubqueryResultExpression<boolean, TExpression | TQuery, never, SqlBoolean>;
-declare function exists<TQuery extends Query<any, any, any>>(query: TQuery): SubqueryResultExpression<boolean, TQuery, never, SqlBoolean>;
-declare function notExists<TQuery extends Query<any, any, any>>(query: TQuery): SubqueryResultExpression<boolean, TQuery, never, SqlBoolean>;
+declare function inQuery<TExpression extends AnyExpression, TQuery extends AnyQuery>(expression: TExpression & InQueryValidation<TExpression, TQuery>, query: TQuery): SubqueryResultExpression<{
+  readonly output: boolean;
+  readonly children: TExpression | TQuery;
+  readonly nullableFrom: never;
+  readonly sqlType: SqlBoolean;
+}>;
+declare function exists<TQuery extends AnyQuery>(query: TQuery): SubqueryResultExpression<{
+  readonly output: boolean;
+  readonly children: TQuery;
+  readonly nullableFrom: never;
+  readonly sqlType: SqlBoolean;
+}>;
+declare function notExists<TQuery extends AnyQuery>(query: TQuery): SubqueryResultExpression<{
+  readonly output: boolean;
+  readonly children: TQuery;
+  readonly nullableFrom: never;
+  readonly sqlType: SqlBoolean;
+}>;
 //#endregion
 //#region src/expressions/operators/comparison/types.d.ts
 type BooleanExpression<TMetadata = never, TKind extends ExpressionKind = ExpressionKind> = Expression<ResultMeta<boolean, unknown, AnySqlType> | TMetadata, TKind>;
 //#endregion
 //#region src/expressions/case.d.ts
 type CaseSqlType<TThen, TElse> = TThen extends Fragment<any> ? SqlTypeOf<TThen> : TElse extends Fragment<any> ? SqlTypeOf<TElse> : SqlUnknown;
-declare function caseWhen<T, TCondition extends BooleanExpression<any>, TThen extends Operand<T>, TElse extends Operand<T>>(condition: TCondition & SqlCapabilityValidation<ExpressionSqlType<TCondition>, SqlBoolean>, thenValue: TThen & SqlEqualityValidation<OperandSqlType<TThen, CaseSqlType<TThen, TElse>>, OperandSqlType<TElse, CaseSqlType<TThen, TElse>>>, elseValue: TElse): ResultExpression<T, TCondition | TThen | TElse, "operator", OperandNullability<TThen> | OperandNullability<TElse>, CaseSqlType<TThen, TElse>>;
+declare function caseWhen<T, TCondition extends BooleanExpression<any>, TThen extends Operand<T>, TElse extends Operand<T>>(condition: TCondition & SqlCapabilityValidation<ExpressionSqlType<TCondition>, SqlBoolean>, thenValue: TThen & SqlEqualityValidation<OperandSqlType<TThen, CaseSqlType<TThen, TElse>>, OperandSqlType<TElse, CaseSqlType<TThen, TElse>>>, elseValue: TElse): ResultExpression<{
+  readonly output: T;
+  readonly children: TCondition | TThen | TElse;
+  readonly kind: "operator";
+  readonly nullableFrom: OperandNullability<TThen> | OperandNullability<TElse>;
+  readonly sqlType: CaseSqlType<TThen, TElse>;
+}>;
 //#endregion
 //#region src/expressions/sql.d.ts
 type SqlChild<TValues extends readonly unknown[]> = Extract<TValues[number], AnyFragment>;
@@ -1481,13 +1774,54 @@ interface SqlTag extends TypedSqlTag<unknown, SqlUnknown> {
 declare const sql: SqlTag;
 //#endregion
 //#region src/expressions/functions/aggregate.d.ts
-declare function count(): AggregateResultExpression<number, never, 'function', never, SqlInteger>;
-declare function count<TExpression extends AnyExpression>(expression: TExpression): AggregateResultExpression<number, TExpression, 'function', never, SqlInteger>;
-declare function countDistinct<TExpression extends AnyExpression>(expression: TExpression): AggregateResultExpression<number, TExpression, "function", never, SqlInteger>;
-declare function sum<T, TExpression extends ExpressionWithOutput<T>>(expression: TExpression & SqlCapabilityValidation<ExpressionSqlType<TExpression>, SqlNumericLike>): AggregateResultExpression<ExpressionOutput<TExpression>, TExpression, "function", NullabilityOf<TExpression>, ExpressionSqlType<TExpression>>;
-declare function avg<T, TExpression extends ExpressionWithOutput<T>>(expression: TExpression & SqlCapabilityValidation<ExpressionSqlType<TExpression>, SqlNumericLike>): AggregateResultExpression<number, TExpression, "function", NullabilityOf<TExpression>, SqlDecimal>;
-declare function min<T, TExpression extends ExpressionWithOutput<T>>(expression: TExpression & SqlCapabilityValidation<ExpressionSqlType<TExpression>, SqlOrderable>): AggregateResultExpression<ExpressionOutput<TExpression>, TExpression, "function", NullabilityOf<TExpression>, ExpressionSqlType<TExpression>>;
-declare function max<T, TExpression extends ExpressionWithOutput<T>>(expression: TExpression & SqlCapabilityValidation<ExpressionSqlType<TExpression>, SqlOrderable>): AggregateResultExpression<ExpressionOutput<TExpression>, TExpression, "function", NullabilityOf<TExpression>, ExpressionSqlType<TExpression>>;
+declare function count(): AggregateResultExpression<{
+  readonly output: number;
+  readonly kind: 'function';
+  readonly nullableFrom: never;
+  readonly sqlType: SqlInteger;
+}>;
+declare function count<TExpression extends AnyExpression>(expression: TExpression): AggregateResultExpression<{
+  readonly output: number;
+  readonly children: TExpression;
+  readonly kind: 'function';
+  readonly nullableFrom: never;
+  readonly sqlType: SqlInteger;
+}>;
+declare function countDistinct<TExpression extends AnyExpression>(expression: TExpression): AggregateResultExpression<{
+  readonly output: number;
+  readonly children: TExpression;
+  readonly kind: "function";
+  readonly nullableFrom: never;
+  readonly sqlType: SqlInteger;
+}>;
+declare function sum<T, TExpression extends ExpressionWithOutput<T>>(expression: TExpression & SqlCapabilityValidation<ExpressionSqlType<TExpression>, SqlNumericLike>): AggregateResultExpression<{
+  readonly output: ExpressionOutput<TExpression>;
+  readonly children: TExpression;
+  readonly kind: "function";
+  readonly nullableFrom: NullabilityOf<TExpression>;
+  readonly sqlType: ExpressionSqlType<TExpression>;
+}>;
+declare function avg<T, TExpression extends ExpressionWithOutput<T>>(expression: TExpression & SqlCapabilityValidation<ExpressionSqlType<TExpression>, SqlNumericLike>): AggregateResultExpression<{
+  readonly output: number;
+  readonly children: TExpression;
+  readonly kind: "function";
+  readonly nullableFrom: NullabilityOf<TExpression>;
+  readonly sqlType: SqlDecimal;
+}>;
+declare function min<T, TExpression extends ExpressionWithOutput<T>>(expression: TExpression & SqlCapabilityValidation<ExpressionSqlType<TExpression>, SqlOrderable>): AggregateResultExpression<{
+  readonly output: ExpressionOutput<TExpression>;
+  readonly children: TExpression;
+  readonly kind: "function";
+  readonly nullableFrom: NullabilityOf<TExpression>;
+  readonly sqlType: ExpressionSqlType<TExpression>;
+}>;
+declare function max<T, TExpression extends ExpressionWithOutput<T>>(expression: TExpression & SqlCapabilityValidation<ExpressionSqlType<TExpression>, SqlOrderable>): AggregateResultExpression<{
+  readonly output: ExpressionOutput<TExpression>;
+  readonly children: TExpression;
+  readonly kind: "function";
+  readonly nullableFrom: NullabilityOf<TExpression>;
+  readonly sqlType: ExpressionSqlType<TExpression>;
+}>;
 //#endregion
 //#region src/expressions/functions/call.d.ts
 declare function call<TOutput = unknown, const TName extends string = string, const TArguments extends readonly unknown[] = readonly unknown[], TNullableFrom = NullabilityOf<TArguments[number]>, TSqlType extends AnySqlType = SqlUnknown>(name: TName, ...args: TArguments): Expression<ResultMeta<TOutput, TNullableFrom, TSqlType> | ExpressionMeta<DependenciesOf<TArguments[number]>> | InheritedMetadata<TArguments[number]>, "function">;
@@ -1597,761 +1931,791 @@ declare function jsonExists<TDocument extends AnyExpression, TPath extends JsonP
 //#endregion
 //#region src/expressions/operators/arithmetic.d.ts
 type ArithmeticValidation<TLeft, TRight> = SqlCapabilityValidation<ExpressionSqlType<TLeft>, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<TRight, ExpressionSqlType<TLeft>>, SqlNumericLike> & SqlOrderValidation<ExpressionSqlType<TLeft>, OperandSqlType<TRight, ExpressionSqlType<TLeft>>>;
-declare const add: <T, TLeft extends ExpressionWithOutput<T>, R extends Operand<NoInfer<T>>>(left: TLeft & ArithmeticValidation<TLeft, R>, right: R) => ResultExpression<unknown, R | (TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_1) ? T_1 extends MetadataOf<TLeft> ? T_1 extends {
-  readonly kind: "result";
-} ? T_1 : never : never : never) extends (infer T_2) ? T_2 extends (MetadataOf<TLeft> extends (infer T_3) ? T_3 extends MetadataOf<TLeft> ? T_3 extends {
-  readonly kind: "result";
-} ? T_3 : never : never : never) ? T_2 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_4) ? T_4 extends MetadataOf<TLeft> ? T_4 extends {
-  readonly kind: "result";
-} ? T_4 : never : never : never) extends (infer T_5) ? T_5 extends (MetadataOf<TLeft> extends (infer T_6) ? T_6 extends MetadataOf<TLeft> ? T_6 extends {
-  readonly kind: "result";
-} ? T_6 : never : never : never) ? T_5 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_7) ? T_7 extends MetadataOf<TLeft> ? T_7 extends {
-  readonly kind: "result";
-} ? T_7 : never : never : never) extends (infer T_8) ? T_8 extends (MetadataOf<TLeft> extends (infer T_9) ? T_9 extends MetadataOf<TLeft> ? T_9 extends {
-  readonly kind: "result";
-} ? T_9 : never : never : never) ? T_8 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_10) ? T_10 extends MetadataOf<TLeft> ? T_10 extends {
-  readonly kind: "result";
-} ? T_10 : never : never : never) extends (infer T_11) ? T_11 extends (MetadataOf<TLeft> extends (infer T_12) ? T_12 extends MetadataOf<TLeft> ? T_12 extends {
-  readonly kind: "result";
-} ? T_12 : never : never : never) ? T_11 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>>), "operator", NullabilityOf<R | (TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_13) ? T_13 extends MetadataOf<TLeft> ? T_13 extends {
-  readonly kind: "result";
-} ? T_13 : never : never : never) extends (infer T_14) ? T_14 extends (MetadataOf<TLeft> extends (infer T_15) ? T_15 extends MetadataOf<TLeft> ? T_15 extends {
-  readonly kind: "result";
-} ? T_15 : never : never : never) ? T_14 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_16) ? T_16 extends MetadataOf<TLeft> ? T_16 extends {
-  readonly kind: "result";
-} ? T_16 : never : never : never) extends (infer T_17) ? T_17 extends (MetadataOf<TLeft> extends (infer T_18) ? T_18 extends MetadataOf<TLeft> ? T_18 extends {
-  readonly kind: "result";
-} ? T_18 : never : never : never) ? T_17 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_19) ? T_19 extends MetadataOf<TLeft> ? T_19 extends {
-  readonly kind: "result";
-} ? T_19 : never : never : never) extends (infer T_20) ? T_20 extends (MetadataOf<TLeft> extends (infer T_21) ? T_21 extends MetadataOf<TLeft> ? T_21 extends {
-  readonly kind: "result";
-} ? T_21 : never : never : never) ? T_20 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_22) ? T_22 extends MetadataOf<TLeft> ? T_22 extends {
-  readonly kind: "result";
-} ? T_22 : never : never : never) extends (infer T_23) ? T_23 extends (MetadataOf<TLeft> extends (infer T_24) ? T_24 extends MetadataOf<TLeft> ? T_24 extends {
-  readonly kind: "result";
-} ? T_24 : never : never : never) ? T_23 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>>)>, (MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_25) ? T_25 extends MetadataOf<TLeft> ? T_25 extends {
-  readonly kind: "result";
-} ? T_25 : never : never : never) extends (infer T_26) ? T_26 extends (MetadataOf<TLeft> extends (infer T_27) ? T_27 extends MetadataOf<TLeft> ? T_27 extends {
-  readonly kind: "result";
-} ? T_27 : never : never : never) ? T_26 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_28) ? T_28 extends MetadataOf<TLeft> ? T_28 extends {
-  readonly kind: "result";
-} ? T_28 : never : never : never) extends (infer T_29) ? T_29 extends (MetadataOf<TLeft> extends (infer T_30) ? T_30 extends MetadataOf<TLeft> ? T_30 extends {
-  readonly kind: "result";
-} ? T_30 : never : never : never) ? T_29 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_31) ? T_31 extends MetadataOf<TLeft> ? T_31 extends {
-  readonly kind: "result";
-} ? T_31 : never : never : never) extends (infer T_32) ? T_32 extends (MetadataOf<TLeft> extends (infer T_33) ? T_33 extends MetadataOf<TLeft> ? T_33 extends {
-  readonly kind: "result";
-} ? T_33 : never : never : never) ? T_32 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_34) ? T_34 extends MetadataOf<TLeft> ? T_34 extends {
-  readonly kind: "result";
-} ? T_34 : never : never : never) extends (infer T_35) ? T_35 extends (MetadataOf<TLeft> extends (infer T_36) ? T_36 extends MetadataOf<TLeft> ? T_36 extends {
-  readonly kind: "result";
-} ? T_36 : never : never : never) ? T_35 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>>> extends (infer T_37) ? T_37 extends MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_38) ? T_38 extends MetadataOf<TLeft> ? T_38 extends {
-  readonly kind: "result";
-} ? T_38 : never : never : never) extends (infer T_39) ? T_39 extends (MetadataOf<TLeft> extends (infer T_40) ? T_40 extends MetadataOf<TLeft> ? T_40 extends {
-  readonly kind: "result";
-} ? T_40 : never : never : never) ? T_39 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_41) ? T_41 extends MetadataOf<TLeft> ? T_41 extends {
-  readonly kind: "result";
-} ? T_41 : never : never : never) extends (infer T_42) ? T_42 extends (MetadataOf<TLeft> extends (infer T_43) ? T_43 extends MetadataOf<TLeft> ? T_43 extends {
-  readonly kind: "result";
-} ? T_43 : never : never : never) ? T_42 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_44) ? T_44 extends MetadataOf<TLeft> ? T_44 extends {
-  readonly kind: "result";
-} ? T_44 : never : never : never) extends (infer T_45) ? T_45 extends (MetadataOf<TLeft> extends (infer T_46) ? T_46 extends MetadataOf<TLeft> ? T_46 extends {
-  readonly kind: "result";
-} ? T_46 : never : never : never) ? T_45 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_47) ? T_47 extends MetadataOf<TLeft> ? T_47 extends {
-  readonly kind: "result";
-} ? T_47 : never : never : never) extends (infer T_48) ? T_48 extends (MetadataOf<TLeft> extends (infer T_49) ? T_49 extends MetadataOf<TLeft> ? T_49 extends {
-  readonly kind: "result";
-} ? T_49 : never : never : never) ? T_48 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>>> ? T_37 extends {
-  readonly kind: "result";
-} ? T_37 : never : never : never) extends (infer T_50) ? T_50 extends (MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_51) ? T_51 extends MetadataOf<TLeft> ? T_51 extends {
-  readonly kind: "result";
-} ? T_51 : never : never : never) extends (infer T_52) ? T_52 extends (MetadataOf<TLeft> extends (infer T_53) ? T_53 extends MetadataOf<TLeft> ? T_53 extends {
-  readonly kind: "result";
-} ? T_53 : never : never : never) ? T_52 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_54) ? T_54 extends MetadataOf<TLeft> ? T_54 extends {
-  readonly kind: "result";
-} ? T_54 : never : never : never) extends (infer T_55) ? T_55 extends (MetadataOf<TLeft> extends (infer T_56) ? T_56 extends MetadataOf<TLeft> ? T_56 extends {
-  readonly kind: "result";
-} ? T_56 : never : never : never) ? T_55 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_57) ? T_57 extends MetadataOf<TLeft> ? T_57 extends {
-  readonly kind: "result";
-} ? T_57 : never : never : never) extends (infer T_58) ? T_58 extends (MetadataOf<TLeft> extends (infer T_59) ? T_59 extends MetadataOf<TLeft> ? T_59 extends {
-  readonly kind: "result";
-} ? T_59 : never : never : never) ? T_58 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_60) ? T_60 extends MetadataOf<TLeft> ? T_60 extends {
-  readonly kind: "result";
-} ? T_60 : never : never : never) extends (infer T_61) ? T_61 extends (MetadataOf<TLeft> extends (infer T_62) ? T_62 extends MetadataOf<TLeft> ? T_62 extends {
-  readonly kind: "result";
-} ? T_62 : never : never : never) ? T_61 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>>> extends (infer T_63) ? T_63 extends MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_64) ? T_64 extends MetadataOf<TLeft> ? T_64 extends {
-  readonly kind: "result";
-} ? T_64 : never : never : never) extends (infer T_65) ? T_65 extends (MetadataOf<TLeft> extends (infer T_66) ? T_66 extends MetadataOf<TLeft> ? T_66 extends {
-  readonly kind: "result";
-} ? T_66 : never : never : never) ? T_65 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_67) ? T_67 extends MetadataOf<TLeft> ? T_67 extends {
-  readonly kind: "result";
-} ? T_67 : never : never : never) extends (infer T_68) ? T_68 extends (MetadataOf<TLeft> extends (infer T_69) ? T_69 extends MetadataOf<TLeft> ? T_69 extends {
-  readonly kind: "result";
-} ? T_69 : never : never : never) ? T_68 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_70) ? T_70 extends MetadataOf<TLeft> ? T_70 extends {
-  readonly kind: "result";
-} ? T_70 : never : never : never) extends (infer T_71) ? T_71 extends (MetadataOf<TLeft> extends (infer T_72) ? T_72 extends MetadataOf<TLeft> ? T_72 extends {
-  readonly kind: "result";
-} ? T_72 : never : never : never) ? T_71 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_73) ? T_73 extends MetadataOf<TLeft> ? T_73 extends {
-  readonly kind: "result";
-} ? T_73 : never : never : never) extends (infer T_74) ? T_74 extends (MetadataOf<TLeft> extends (infer T_75) ? T_75 extends MetadataOf<TLeft> ? T_75 extends {
-  readonly kind: "result";
-} ? T_75 : never : never : never) ? T_74 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>>> ? T_63 extends {
-  readonly kind: "result";
-} ? T_63 : never : never : never) ? T_50 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>;
-declare const subtract: <T, TLeft extends ExpressionWithOutput<T>, R extends Operand<NoInfer<T>>>(left: TLeft & ArithmeticValidation<TLeft, R>, right: R) => ResultExpression<unknown, R | (TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_1) ? T_1 extends MetadataOf<TLeft> ? T_1 extends {
-  readonly kind: "result";
-} ? T_1 : never : never : never) extends (infer T_2) ? T_2 extends (MetadataOf<TLeft> extends (infer T_3) ? T_3 extends MetadataOf<TLeft> ? T_3 extends {
-  readonly kind: "result";
-} ? T_3 : never : never : never) ? T_2 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_4) ? T_4 extends MetadataOf<TLeft> ? T_4 extends {
-  readonly kind: "result";
-} ? T_4 : never : never : never) extends (infer T_5) ? T_5 extends (MetadataOf<TLeft> extends (infer T_6) ? T_6 extends MetadataOf<TLeft> ? T_6 extends {
-  readonly kind: "result";
-} ? T_6 : never : never : never) ? T_5 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_7) ? T_7 extends MetadataOf<TLeft> ? T_7 extends {
-  readonly kind: "result";
-} ? T_7 : never : never : never) extends (infer T_8) ? T_8 extends (MetadataOf<TLeft> extends (infer T_9) ? T_9 extends MetadataOf<TLeft> ? T_9 extends {
-  readonly kind: "result";
-} ? T_9 : never : never : never) ? T_8 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_10) ? T_10 extends MetadataOf<TLeft> ? T_10 extends {
-  readonly kind: "result";
-} ? T_10 : never : never : never) extends (infer T_11) ? T_11 extends (MetadataOf<TLeft> extends (infer T_12) ? T_12 extends MetadataOf<TLeft> ? T_12 extends {
-  readonly kind: "result";
-} ? T_12 : never : never : never) ? T_11 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>>), "operator", NullabilityOf<R | (TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_13) ? T_13 extends MetadataOf<TLeft> ? T_13 extends {
-  readonly kind: "result";
-} ? T_13 : never : never : never) extends (infer T_14) ? T_14 extends (MetadataOf<TLeft> extends (infer T_15) ? T_15 extends MetadataOf<TLeft> ? T_15 extends {
-  readonly kind: "result";
-} ? T_15 : never : never : never) ? T_14 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_16) ? T_16 extends MetadataOf<TLeft> ? T_16 extends {
-  readonly kind: "result";
-} ? T_16 : never : never : never) extends (infer T_17) ? T_17 extends (MetadataOf<TLeft> extends (infer T_18) ? T_18 extends MetadataOf<TLeft> ? T_18 extends {
-  readonly kind: "result";
-} ? T_18 : never : never : never) ? T_17 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_19) ? T_19 extends MetadataOf<TLeft> ? T_19 extends {
-  readonly kind: "result";
-} ? T_19 : never : never : never) extends (infer T_20) ? T_20 extends (MetadataOf<TLeft> extends (infer T_21) ? T_21 extends MetadataOf<TLeft> ? T_21 extends {
-  readonly kind: "result";
-} ? T_21 : never : never : never) ? T_20 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_22) ? T_22 extends MetadataOf<TLeft> ? T_22 extends {
-  readonly kind: "result";
-} ? T_22 : never : never : never) extends (infer T_23) ? T_23 extends (MetadataOf<TLeft> extends (infer T_24) ? T_24 extends MetadataOf<TLeft> ? T_24 extends {
-  readonly kind: "result";
-} ? T_24 : never : never : never) ? T_23 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>>)>, (MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_25) ? T_25 extends MetadataOf<TLeft> ? T_25 extends {
-  readonly kind: "result";
-} ? T_25 : never : never : never) extends (infer T_26) ? T_26 extends (MetadataOf<TLeft> extends (infer T_27) ? T_27 extends MetadataOf<TLeft> ? T_27 extends {
-  readonly kind: "result";
-} ? T_27 : never : never : never) ? T_26 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_28) ? T_28 extends MetadataOf<TLeft> ? T_28 extends {
-  readonly kind: "result";
-} ? T_28 : never : never : never) extends (infer T_29) ? T_29 extends (MetadataOf<TLeft> extends (infer T_30) ? T_30 extends MetadataOf<TLeft> ? T_30 extends {
-  readonly kind: "result";
-} ? T_30 : never : never : never) ? T_29 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_31) ? T_31 extends MetadataOf<TLeft> ? T_31 extends {
-  readonly kind: "result";
-} ? T_31 : never : never : never) extends (infer T_32) ? T_32 extends (MetadataOf<TLeft> extends (infer T_33) ? T_33 extends MetadataOf<TLeft> ? T_33 extends {
-  readonly kind: "result";
-} ? T_33 : never : never : never) ? T_32 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_34) ? T_34 extends MetadataOf<TLeft> ? T_34 extends {
-  readonly kind: "result";
-} ? T_34 : never : never : never) extends (infer T_35) ? T_35 extends (MetadataOf<TLeft> extends (infer T_36) ? T_36 extends MetadataOf<TLeft> ? T_36 extends {
-  readonly kind: "result";
-} ? T_36 : never : never : never) ? T_35 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>>> extends (infer T_37) ? T_37 extends MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_38) ? T_38 extends MetadataOf<TLeft> ? T_38 extends {
-  readonly kind: "result";
-} ? T_38 : never : never : never) extends (infer T_39) ? T_39 extends (MetadataOf<TLeft> extends (infer T_40) ? T_40 extends MetadataOf<TLeft> ? T_40 extends {
-  readonly kind: "result";
-} ? T_40 : never : never : never) ? T_39 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_41) ? T_41 extends MetadataOf<TLeft> ? T_41 extends {
-  readonly kind: "result";
-} ? T_41 : never : never : never) extends (infer T_42) ? T_42 extends (MetadataOf<TLeft> extends (infer T_43) ? T_43 extends MetadataOf<TLeft> ? T_43 extends {
-  readonly kind: "result";
-} ? T_43 : never : never : never) ? T_42 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_44) ? T_44 extends MetadataOf<TLeft> ? T_44 extends {
-  readonly kind: "result";
-} ? T_44 : never : never : never) extends (infer T_45) ? T_45 extends (MetadataOf<TLeft> extends (infer T_46) ? T_46 extends MetadataOf<TLeft> ? T_46 extends {
-  readonly kind: "result";
-} ? T_46 : never : never : never) ? T_45 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_47) ? T_47 extends MetadataOf<TLeft> ? T_47 extends {
-  readonly kind: "result";
-} ? T_47 : never : never : never) extends (infer T_48) ? T_48 extends (MetadataOf<TLeft> extends (infer T_49) ? T_49 extends MetadataOf<TLeft> ? T_49 extends {
-  readonly kind: "result";
-} ? T_49 : never : never : never) ? T_48 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>>> ? T_37 extends {
-  readonly kind: "result";
-} ? T_37 : never : never : never) extends (infer T_50) ? T_50 extends (MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_51) ? T_51 extends MetadataOf<TLeft> ? T_51 extends {
-  readonly kind: "result";
-} ? T_51 : never : never : never) extends (infer T_52) ? T_52 extends (MetadataOf<TLeft> extends (infer T_53) ? T_53 extends MetadataOf<TLeft> ? T_53 extends {
-  readonly kind: "result";
-} ? T_53 : never : never : never) ? T_52 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_54) ? T_54 extends MetadataOf<TLeft> ? T_54 extends {
-  readonly kind: "result";
-} ? T_54 : never : never : never) extends (infer T_55) ? T_55 extends (MetadataOf<TLeft> extends (infer T_56) ? T_56 extends MetadataOf<TLeft> ? T_56 extends {
-  readonly kind: "result";
-} ? T_56 : never : never : never) ? T_55 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_57) ? T_57 extends MetadataOf<TLeft> ? T_57 extends {
-  readonly kind: "result";
-} ? T_57 : never : never : never) extends (infer T_58) ? T_58 extends (MetadataOf<TLeft> extends (infer T_59) ? T_59 extends MetadataOf<TLeft> ? T_59 extends {
-  readonly kind: "result";
-} ? T_59 : never : never : never) ? T_58 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_60) ? T_60 extends MetadataOf<TLeft> ? T_60 extends {
-  readonly kind: "result";
-} ? T_60 : never : never : never) extends (infer T_61) ? T_61 extends (MetadataOf<TLeft> extends (infer T_62) ? T_62 extends MetadataOf<TLeft> ? T_62 extends {
-  readonly kind: "result";
-} ? T_62 : never : never : never) ? T_61 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>>> extends (infer T_63) ? T_63 extends MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_64) ? T_64 extends MetadataOf<TLeft> ? T_64 extends {
-  readonly kind: "result";
-} ? T_64 : never : never : never) extends (infer T_65) ? T_65 extends (MetadataOf<TLeft> extends (infer T_66) ? T_66 extends MetadataOf<TLeft> ? T_66 extends {
-  readonly kind: "result";
-} ? T_66 : never : never : never) ? T_65 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_67) ? T_67 extends MetadataOf<TLeft> ? T_67 extends {
-  readonly kind: "result";
-} ? T_67 : never : never : never) extends (infer T_68) ? T_68 extends (MetadataOf<TLeft> extends (infer T_69) ? T_69 extends MetadataOf<TLeft> ? T_69 extends {
-  readonly kind: "result";
-} ? T_69 : never : never : never) ? T_68 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_70) ? T_70 extends MetadataOf<TLeft> ? T_70 extends {
-  readonly kind: "result";
-} ? T_70 : never : never : never) extends (infer T_71) ? T_71 extends (MetadataOf<TLeft> extends (infer T_72) ? T_72 extends MetadataOf<TLeft> ? T_72 extends {
-  readonly kind: "result";
-} ? T_72 : never : never : never) ? T_71 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_73) ? T_73 extends MetadataOf<TLeft> ? T_73 extends {
-  readonly kind: "result";
-} ? T_73 : never : never : never) extends (infer T_74) ? T_74 extends (MetadataOf<TLeft> extends (infer T_75) ? T_75 extends MetadataOf<TLeft> ? T_75 extends {
-  readonly kind: "result";
-} ? T_75 : never : never : never) ? T_74 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>>> ? T_63 extends {
-  readonly kind: "result";
-} ? T_63 : never : never : never) ? T_50 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>;
-declare const multiply: <T, TLeft extends ExpressionWithOutput<T>, R extends Operand<NoInfer<T>>>(left: TLeft & ArithmeticValidation<TLeft, R>, right: R) => ResultExpression<unknown, R | (TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_1) ? T_1 extends MetadataOf<TLeft> ? T_1 extends {
-  readonly kind: "result";
-} ? T_1 : never : never : never) extends (infer T_2) ? T_2 extends (MetadataOf<TLeft> extends (infer T_3) ? T_3 extends MetadataOf<TLeft> ? T_3 extends {
-  readonly kind: "result";
-} ? T_3 : never : never : never) ? T_2 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_4) ? T_4 extends MetadataOf<TLeft> ? T_4 extends {
-  readonly kind: "result";
-} ? T_4 : never : never : never) extends (infer T_5) ? T_5 extends (MetadataOf<TLeft> extends (infer T_6) ? T_6 extends MetadataOf<TLeft> ? T_6 extends {
-  readonly kind: "result";
-} ? T_6 : never : never : never) ? T_5 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_7) ? T_7 extends MetadataOf<TLeft> ? T_7 extends {
-  readonly kind: "result";
-} ? T_7 : never : never : never) extends (infer T_8) ? T_8 extends (MetadataOf<TLeft> extends (infer T_9) ? T_9 extends MetadataOf<TLeft> ? T_9 extends {
-  readonly kind: "result";
-} ? T_9 : never : never : never) ? T_8 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_10) ? T_10 extends MetadataOf<TLeft> ? T_10 extends {
-  readonly kind: "result";
-} ? T_10 : never : never : never) extends (infer T_11) ? T_11 extends (MetadataOf<TLeft> extends (infer T_12) ? T_12 extends MetadataOf<TLeft> ? T_12 extends {
-  readonly kind: "result";
-} ? T_12 : never : never : never) ? T_11 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>>), "operator", NullabilityOf<R | (TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_13) ? T_13 extends MetadataOf<TLeft> ? T_13 extends {
-  readonly kind: "result";
-} ? T_13 : never : never : never) extends (infer T_14) ? T_14 extends (MetadataOf<TLeft> extends (infer T_15) ? T_15 extends MetadataOf<TLeft> ? T_15 extends {
-  readonly kind: "result";
-} ? T_15 : never : never : never) ? T_14 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_16) ? T_16 extends MetadataOf<TLeft> ? T_16 extends {
-  readonly kind: "result";
-} ? T_16 : never : never : never) extends (infer T_17) ? T_17 extends (MetadataOf<TLeft> extends (infer T_18) ? T_18 extends MetadataOf<TLeft> ? T_18 extends {
-  readonly kind: "result";
-} ? T_18 : never : never : never) ? T_17 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_19) ? T_19 extends MetadataOf<TLeft> ? T_19 extends {
-  readonly kind: "result";
-} ? T_19 : never : never : never) extends (infer T_20) ? T_20 extends (MetadataOf<TLeft> extends (infer T_21) ? T_21 extends MetadataOf<TLeft> ? T_21 extends {
-  readonly kind: "result";
-} ? T_21 : never : never : never) ? T_20 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_22) ? T_22 extends MetadataOf<TLeft> ? T_22 extends {
-  readonly kind: "result";
-} ? T_22 : never : never : never) extends (infer T_23) ? T_23 extends (MetadataOf<TLeft> extends (infer T_24) ? T_24 extends MetadataOf<TLeft> ? T_24 extends {
-  readonly kind: "result";
-} ? T_24 : never : never : never) ? T_23 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>>)>, (MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_25) ? T_25 extends MetadataOf<TLeft> ? T_25 extends {
-  readonly kind: "result";
-} ? T_25 : never : never : never) extends (infer T_26) ? T_26 extends (MetadataOf<TLeft> extends (infer T_27) ? T_27 extends MetadataOf<TLeft> ? T_27 extends {
-  readonly kind: "result";
-} ? T_27 : never : never : never) ? T_26 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_28) ? T_28 extends MetadataOf<TLeft> ? T_28 extends {
-  readonly kind: "result";
-} ? T_28 : never : never : never) extends (infer T_29) ? T_29 extends (MetadataOf<TLeft> extends (infer T_30) ? T_30 extends MetadataOf<TLeft> ? T_30 extends {
-  readonly kind: "result";
-} ? T_30 : never : never : never) ? T_29 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_31) ? T_31 extends MetadataOf<TLeft> ? T_31 extends {
-  readonly kind: "result";
-} ? T_31 : never : never : never) extends (infer T_32) ? T_32 extends (MetadataOf<TLeft> extends (infer T_33) ? T_33 extends MetadataOf<TLeft> ? T_33 extends {
-  readonly kind: "result";
-} ? T_33 : never : never : never) ? T_32 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_34) ? T_34 extends MetadataOf<TLeft> ? T_34 extends {
-  readonly kind: "result";
-} ? T_34 : never : never : never) extends (infer T_35) ? T_35 extends (MetadataOf<TLeft> extends (infer T_36) ? T_36 extends MetadataOf<TLeft> ? T_36 extends {
-  readonly kind: "result";
-} ? T_36 : never : never : never) ? T_35 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>>> extends (infer T_37) ? T_37 extends MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_38) ? T_38 extends MetadataOf<TLeft> ? T_38 extends {
-  readonly kind: "result";
-} ? T_38 : never : never : never) extends (infer T_39) ? T_39 extends (MetadataOf<TLeft> extends (infer T_40) ? T_40 extends MetadataOf<TLeft> ? T_40 extends {
-  readonly kind: "result";
-} ? T_40 : never : never : never) ? T_39 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_41) ? T_41 extends MetadataOf<TLeft> ? T_41 extends {
-  readonly kind: "result";
-} ? T_41 : never : never : never) extends (infer T_42) ? T_42 extends (MetadataOf<TLeft> extends (infer T_43) ? T_43 extends MetadataOf<TLeft> ? T_43 extends {
-  readonly kind: "result";
-} ? T_43 : never : never : never) ? T_42 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_44) ? T_44 extends MetadataOf<TLeft> ? T_44 extends {
-  readonly kind: "result";
-} ? T_44 : never : never : never) extends (infer T_45) ? T_45 extends (MetadataOf<TLeft> extends (infer T_46) ? T_46 extends MetadataOf<TLeft> ? T_46 extends {
-  readonly kind: "result";
-} ? T_46 : never : never : never) ? T_45 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_47) ? T_47 extends MetadataOf<TLeft> ? T_47 extends {
-  readonly kind: "result";
-} ? T_47 : never : never : never) extends (infer T_48) ? T_48 extends (MetadataOf<TLeft> extends (infer T_49) ? T_49 extends MetadataOf<TLeft> ? T_49 extends {
-  readonly kind: "result";
-} ? T_49 : never : never : never) ? T_48 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>>> ? T_37 extends {
-  readonly kind: "result";
-} ? T_37 : never : never : never) extends (infer T_50) ? T_50 extends (MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_51) ? T_51 extends MetadataOf<TLeft> ? T_51 extends {
-  readonly kind: "result";
-} ? T_51 : never : never : never) extends (infer T_52) ? T_52 extends (MetadataOf<TLeft> extends (infer T_53) ? T_53 extends MetadataOf<TLeft> ? T_53 extends {
-  readonly kind: "result";
-} ? T_53 : never : never : never) ? T_52 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_54) ? T_54 extends MetadataOf<TLeft> ? T_54 extends {
-  readonly kind: "result";
-} ? T_54 : never : never : never) extends (infer T_55) ? T_55 extends (MetadataOf<TLeft> extends (infer T_56) ? T_56 extends MetadataOf<TLeft> ? T_56 extends {
-  readonly kind: "result";
-} ? T_56 : never : never : never) ? T_55 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_57) ? T_57 extends MetadataOf<TLeft> ? T_57 extends {
-  readonly kind: "result";
-} ? T_57 : never : never : never) extends (infer T_58) ? T_58 extends (MetadataOf<TLeft> extends (infer T_59) ? T_59 extends MetadataOf<TLeft> ? T_59 extends {
-  readonly kind: "result";
-} ? T_59 : never : never : never) ? T_58 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_60) ? T_60 extends MetadataOf<TLeft> ? T_60 extends {
-  readonly kind: "result";
-} ? T_60 : never : never : never) extends (infer T_61) ? T_61 extends (MetadataOf<TLeft> extends (infer T_62) ? T_62 extends MetadataOf<TLeft> ? T_62 extends {
-  readonly kind: "result";
-} ? T_62 : never : never : never) ? T_61 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>>> extends (infer T_63) ? T_63 extends MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_64) ? T_64 extends MetadataOf<TLeft> ? T_64 extends {
-  readonly kind: "result";
-} ? T_64 : never : never : never) extends (infer T_65) ? T_65 extends (MetadataOf<TLeft> extends (infer T_66) ? T_66 extends MetadataOf<TLeft> ? T_66 extends {
-  readonly kind: "result";
-} ? T_66 : never : never : never) ? T_65 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_67) ? T_67 extends MetadataOf<TLeft> ? T_67 extends {
-  readonly kind: "result";
-} ? T_67 : never : never : never) extends (infer T_68) ? T_68 extends (MetadataOf<TLeft> extends (infer T_69) ? T_69 extends MetadataOf<TLeft> ? T_69 extends {
-  readonly kind: "result";
-} ? T_69 : never : never : never) ? T_68 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_70) ? T_70 extends MetadataOf<TLeft> ? T_70 extends {
-  readonly kind: "result";
-} ? T_70 : never : never : never) extends (infer T_71) ? T_71 extends (MetadataOf<TLeft> extends (infer T_72) ? T_72 extends MetadataOf<TLeft> ? T_72 extends {
-  readonly kind: "result";
-} ? T_72 : never : never : never) ? T_71 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_73) ? T_73 extends MetadataOf<TLeft> ? T_73 extends {
-  readonly kind: "result";
-} ? T_73 : never : never : never) extends (infer T_74) ? T_74 extends (MetadataOf<TLeft> extends (infer T_75) ? T_75 extends MetadataOf<TLeft> ? T_75 extends {
-  readonly kind: "result";
-} ? T_75 : never : never : never) ? T_74 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>>> ? T_63 extends {
-  readonly kind: "result";
-} ? T_63 : never : never : never) ? T_50 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>;
-declare const divide: <T, TLeft extends ExpressionWithOutput<T>, R extends Operand<NoInfer<T>>>(left: TLeft & ArithmeticValidation<TLeft, R>, right: R) => ResultExpression<unknown, R | (TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_1) ? T_1 extends MetadataOf<TLeft> ? T_1 extends {
-  readonly kind: "result";
-} ? T_1 : never : never : never) extends (infer T_2) ? T_2 extends (MetadataOf<TLeft> extends (infer T_3) ? T_3 extends MetadataOf<TLeft> ? T_3 extends {
-  readonly kind: "result";
-} ? T_3 : never : never : never) ? T_2 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_4) ? T_4 extends MetadataOf<TLeft> ? T_4 extends {
-  readonly kind: "result";
-} ? T_4 : never : never : never) extends (infer T_5) ? T_5 extends (MetadataOf<TLeft> extends (infer T_6) ? T_6 extends MetadataOf<TLeft> ? T_6 extends {
-  readonly kind: "result";
-} ? T_6 : never : never : never) ? T_5 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_7) ? T_7 extends MetadataOf<TLeft> ? T_7 extends {
-  readonly kind: "result";
-} ? T_7 : never : never : never) extends (infer T_8) ? T_8 extends (MetadataOf<TLeft> extends (infer T_9) ? T_9 extends MetadataOf<TLeft> ? T_9 extends {
-  readonly kind: "result";
-} ? T_9 : never : never : never) ? T_8 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_10) ? T_10 extends MetadataOf<TLeft> ? T_10 extends {
-  readonly kind: "result";
-} ? T_10 : never : never : never) extends (infer T_11) ? T_11 extends (MetadataOf<TLeft> extends (infer T_12) ? T_12 extends MetadataOf<TLeft> ? T_12 extends {
-  readonly kind: "result";
-} ? T_12 : never : never : never) ? T_11 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>>), "operator", NullabilityOf<R | (TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_13) ? T_13 extends MetadataOf<TLeft> ? T_13 extends {
-  readonly kind: "result";
-} ? T_13 : never : never : never) extends (infer T_14) ? T_14 extends (MetadataOf<TLeft> extends (infer T_15) ? T_15 extends MetadataOf<TLeft> ? T_15 extends {
-  readonly kind: "result";
-} ? T_15 : never : never : never) ? T_14 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_16) ? T_16 extends MetadataOf<TLeft> ? T_16 extends {
-  readonly kind: "result";
-} ? T_16 : never : never : never) extends (infer T_17) ? T_17 extends (MetadataOf<TLeft> extends (infer T_18) ? T_18 extends MetadataOf<TLeft> ? T_18 extends {
-  readonly kind: "result";
-} ? T_18 : never : never : never) ? T_17 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_19) ? T_19 extends MetadataOf<TLeft> ? T_19 extends {
-  readonly kind: "result";
-} ? T_19 : never : never : never) extends (infer T_20) ? T_20 extends (MetadataOf<TLeft> extends (infer T_21) ? T_21 extends MetadataOf<TLeft> ? T_21 extends {
-  readonly kind: "result";
-} ? T_21 : never : never : never) ? T_20 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_22) ? T_22 extends MetadataOf<TLeft> ? T_22 extends {
-  readonly kind: "result";
-} ? T_22 : never : never : never) extends (infer T_23) ? T_23 extends (MetadataOf<TLeft> extends (infer T_24) ? T_24 extends MetadataOf<TLeft> ? T_24 extends {
-  readonly kind: "result";
-} ? T_24 : never : never : never) ? T_23 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>>)>, (MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_25) ? T_25 extends MetadataOf<TLeft> ? T_25 extends {
-  readonly kind: "result";
-} ? T_25 : never : never : never) extends (infer T_26) ? T_26 extends (MetadataOf<TLeft> extends (infer T_27) ? T_27 extends MetadataOf<TLeft> ? T_27 extends {
-  readonly kind: "result";
-} ? T_27 : never : never : never) ? T_26 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_28) ? T_28 extends MetadataOf<TLeft> ? T_28 extends {
-  readonly kind: "result";
-} ? T_28 : never : never : never) extends (infer T_29) ? T_29 extends (MetadataOf<TLeft> extends (infer T_30) ? T_30 extends MetadataOf<TLeft> ? T_30 extends {
-  readonly kind: "result";
-} ? T_30 : never : never : never) ? T_29 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_31) ? T_31 extends MetadataOf<TLeft> ? T_31 extends {
-  readonly kind: "result";
-} ? T_31 : never : never : never) extends (infer T_32) ? T_32 extends (MetadataOf<TLeft> extends (infer T_33) ? T_33 extends MetadataOf<TLeft> ? T_33 extends {
-  readonly kind: "result";
-} ? T_33 : never : never : never) ? T_32 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_34) ? T_34 extends MetadataOf<TLeft> ? T_34 extends {
-  readonly kind: "result";
-} ? T_34 : never : never : never) extends (infer T_35) ? T_35 extends (MetadataOf<TLeft> extends (infer T_36) ? T_36 extends MetadataOf<TLeft> ? T_36 extends {
-  readonly kind: "result";
-} ? T_36 : never : never : never) ? T_35 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>>> extends (infer T_37) ? T_37 extends MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_38) ? T_38 extends MetadataOf<TLeft> ? T_38 extends {
-  readonly kind: "result";
-} ? T_38 : never : never : never) extends (infer T_39) ? T_39 extends (MetadataOf<TLeft> extends (infer T_40) ? T_40 extends MetadataOf<TLeft> ? T_40 extends {
-  readonly kind: "result";
-} ? T_40 : never : never : never) ? T_39 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_41) ? T_41 extends MetadataOf<TLeft> ? T_41 extends {
-  readonly kind: "result";
-} ? T_41 : never : never : never) extends (infer T_42) ? T_42 extends (MetadataOf<TLeft> extends (infer T_43) ? T_43 extends MetadataOf<TLeft> ? T_43 extends {
-  readonly kind: "result";
-} ? T_43 : never : never : never) ? T_42 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_44) ? T_44 extends MetadataOf<TLeft> ? T_44 extends {
-  readonly kind: "result";
-} ? T_44 : never : never : never) extends (infer T_45) ? T_45 extends (MetadataOf<TLeft> extends (infer T_46) ? T_46 extends MetadataOf<TLeft> ? T_46 extends {
-  readonly kind: "result";
-} ? T_46 : never : never : never) ? T_45 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_47) ? T_47 extends MetadataOf<TLeft> ? T_47 extends {
-  readonly kind: "result";
-} ? T_47 : never : never : never) extends (infer T_48) ? T_48 extends (MetadataOf<TLeft> extends (infer T_49) ? T_49 extends MetadataOf<TLeft> ? T_49 extends {
-  readonly kind: "result";
-} ? T_49 : never : never : never) ? T_48 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>>> ? T_37 extends {
-  readonly kind: "result";
-} ? T_37 : never : never : never) extends (infer T_50) ? T_50 extends (MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_51) ? T_51 extends MetadataOf<TLeft> ? T_51 extends {
-  readonly kind: "result";
-} ? T_51 : never : never : never) extends (infer T_52) ? T_52 extends (MetadataOf<TLeft> extends (infer T_53) ? T_53 extends MetadataOf<TLeft> ? T_53 extends {
-  readonly kind: "result";
-} ? T_53 : never : never : never) ? T_52 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_54) ? T_54 extends MetadataOf<TLeft> ? T_54 extends {
-  readonly kind: "result";
-} ? T_54 : never : never : never) extends (infer T_55) ? T_55 extends (MetadataOf<TLeft> extends (infer T_56) ? T_56 extends MetadataOf<TLeft> ? T_56 extends {
-  readonly kind: "result";
-} ? T_56 : never : never : never) ? T_55 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_57) ? T_57 extends MetadataOf<TLeft> ? T_57 extends {
-  readonly kind: "result";
-} ? T_57 : never : never : never) extends (infer T_58) ? T_58 extends (MetadataOf<TLeft> extends (infer T_59) ? T_59 extends MetadataOf<TLeft> ? T_59 extends {
-  readonly kind: "result";
-} ? T_59 : never : never : never) ? T_58 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_60) ? T_60 extends MetadataOf<TLeft> ? T_60 extends {
-  readonly kind: "result";
-} ? T_60 : never : never : never) extends (infer T_61) ? T_61 extends (MetadataOf<TLeft> extends (infer T_62) ? T_62 extends MetadataOf<TLeft> ? T_62 extends {
-  readonly kind: "result";
-} ? T_62 : never : never : never) ? T_61 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>>> extends (infer T_63) ? T_63 extends MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_64) ? T_64 extends MetadataOf<TLeft> ? T_64 extends {
-  readonly kind: "result";
-} ? T_64 : never : never : never) extends (infer T_65) ? T_65 extends (MetadataOf<TLeft> extends (infer T_66) ? T_66 extends MetadataOf<TLeft> ? T_66 extends {
-  readonly kind: "result";
-} ? T_66 : never : never : never) ? T_65 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_67) ? T_67 extends MetadataOf<TLeft> ? T_67 extends {
-  readonly kind: "result";
-} ? T_67 : never : never : never) extends (infer T_68) ? T_68 extends (MetadataOf<TLeft> extends (infer T_69) ? T_69 extends MetadataOf<TLeft> ? T_69 extends {
-  readonly kind: "result";
-} ? T_69 : never : never : never) ? T_68 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_70) ? T_70 extends MetadataOf<TLeft> ? T_70 extends {
-  readonly kind: "result";
-} ? T_70 : never : never : never) extends (infer T_71) ? T_71 extends (MetadataOf<TLeft> extends (infer T_72) ? T_72 extends MetadataOf<TLeft> ? T_72 extends {
-  readonly kind: "result";
-} ? T_72 : never : never : never) ? T_71 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_73) ? T_73 extends MetadataOf<TLeft> ? T_73 extends {
-  readonly kind: "result";
-} ? T_73 : never : never : never) extends (infer T_74) ? T_74 extends (MetadataOf<TLeft> extends (infer T_75) ? T_75 extends MetadataOf<TLeft> ? T_75 extends {
-  readonly kind: "result";
-} ? T_75 : never : never : never) ? T_74 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>>> ? T_63 extends {
-  readonly kind: "result";
-} ? T_63 : never : never : never) ? T_50 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>;
-declare const modulo: <T, TLeft extends ExpressionWithOutput<T>, R extends Operand<NoInfer<T>>>(left: TLeft & ArithmeticValidation<TLeft, R>, right: R) => ResultExpression<unknown, R | (TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_1) ? T_1 extends MetadataOf<TLeft> ? T_1 extends {
-  readonly kind: "result";
-} ? T_1 : never : never : never) extends (infer T_2) ? T_2 extends (MetadataOf<TLeft> extends (infer T_3) ? T_3 extends MetadataOf<TLeft> ? T_3 extends {
-  readonly kind: "result";
-} ? T_3 : never : never : never) ? T_2 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_4) ? T_4 extends MetadataOf<TLeft> ? T_4 extends {
-  readonly kind: "result";
-} ? T_4 : never : never : never) extends (infer T_5) ? T_5 extends (MetadataOf<TLeft> extends (infer T_6) ? T_6 extends MetadataOf<TLeft> ? T_6 extends {
-  readonly kind: "result";
-} ? T_6 : never : never : never) ? T_5 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_7) ? T_7 extends MetadataOf<TLeft> ? T_7 extends {
-  readonly kind: "result";
-} ? T_7 : never : never : never) extends (infer T_8) ? T_8 extends (MetadataOf<TLeft> extends (infer T_9) ? T_9 extends MetadataOf<TLeft> ? T_9 extends {
-  readonly kind: "result";
-} ? T_9 : never : never : never) ? T_8 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_10) ? T_10 extends MetadataOf<TLeft> ? T_10 extends {
-  readonly kind: "result";
-} ? T_10 : never : never : never) extends (infer T_11) ? T_11 extends (MetadataOf<TLeft> extends (infer T_12) ? T_12 extends MetadataOf<TLeft> ? T_12 extends {
-  readonly kind: "result";
-} ? T_12 : never : never : never) ? T_11 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>>), "operator", NullabilityOf<R | (TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_13) ? T_13 extends MetadataOf<TLeft> ? T_13 extends {
-  readonly kind: "result";
-} ? T_13 : never : never : never) extends (infer T_14) ? T_14 extends (MetadataOf<TLeft> extends (infer T_15) ? T_15 extends MetadataOf<TLeft> ? T_15 extends {
-  readonly kind: "result";
-} ? T_15 : never : never : never) ? T_14 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_16) ? T_16 extends MetadataOf<TLeft> ? T_16 extends {
-  readonly kind: "result";
-} ? T_16 : never : never : never) extends (infer T_17) ? T_17 extends (MetadataOf<TLeft> extends (infer T_18) ? T_18 extends MetadataOf<TLeft> ? T_18 extends {
-  readonly kind: "result";
-} ? T_18 : never : never : never) ? T_17 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_19) ? T_19 extends MetadataOf<TLeft> ? T_19 extends {
-  readonly kind: "result";
-} ? T_19 : never : never : never) extends (infer T_20) ? T_20 extends (MetadataOf<TLeft> extends (infer T_21) ? T_21 extends MetadataOf<TLeft> ? T_21 extends {
-  readonly kind: "result";
-} ? T_21 : never : never : never) ? T_20 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_22) ? T_22 extends MetadataOf<TLeft> ? T_22 extends {
-  readonly kind: "result";
-} ? T_22 : never : never : never) extends (infer T_23) ? T_23 extends (MetadataOf<TLeft> extends (infer T_24) ? T_24 extends MetadataOf<TLeft> ? T_24 extends {
-  readonly kind: "result";
-} ? T_24 : never : never : never) ? T_23 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>>)>, (MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_25) ? T_25 extends MetadataOf<TLeft> ? T_25 extends {
-  readonly kind: "result";
-} ? T_25 : never : never : never) extends (infer T_26) ? T_26 extends (MetadataOf<TLeft> extends (infer T_27) ? T_27 extends MetadataOf<TLeft> ? T_27 extends {
-  readonly kind: "result";
-} ? T_27 : never : never : never) ? T_26 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_28) ? T_28 extends MetadataOf<TLeft> ? T_28 extends {
-  readonly kind: "result";
-} ? T_28 : never : never : never) extends (infer T_29) ? T_29 extends (MetadataOf<TLeft> extends (infer T_30) ? T_30 extends MetadataOf<TLeft> ? T_30 extends {
-  readonly kind: "result";
-} ? T_30 : never : never : never) ? T_29 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_31) ? T_31 extends MetadataOf<TLeft> ? T_31 extends {
-  readonly kind: "result";
-} ? T_31 : never : never : never) extends (infer T_32) ? T_32 extends (MetadataOf<TLeft> extends (infer T_33) ? T_33 extends MetadataOf<TLeft> ? T_33 extends {
-  readonly kind: "result";
-} ? T_33 : never : never : never) ? T_32 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_34) ? T_34 extends MetadataOf<TLeft> ? T_34 extends {
-  readonly kind: "result";
-} ? T_34 : never : never : never) extends (infer T_35) ? T_35 extends (MetadataOf<TLeft> extends (infer T_36) ? T_36 extends MetadataOf<TLeft> ? T_36 extends {
-  readonly kind: "result";
-} ? T_36 : never : never : never) ? T_35 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>>> extends (infer T_37) ? T_37 extends MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_38) ? T_38 extends MetadataOf<TLeft> ? T_38 extends {
-  readonly kind: "result";
-} ? T_38 : never : never : never) extends (infer T_39) ? T_39 extends (MetadataOf<TLeft> extends (infer T_40) ? T_40 extends MetadataOf<TLeft> ? T_40 extends {
-  readonly kind: "result";
-} ? T_40 : never : never : never) ? T_39 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_41) ? T_41 extends MetadataOf<TLeft> ? T_41 extends {
-  readonly kind: "result";
-} ? T_41 : never : never : never) extends (infer T_42) ? T_42 extends (MetadataOf<TLeft> extends (infer T_43) ? T_43 extends MetadataOf<TLeft> ? T_43 extends {
-  readonly kind: "result";
-} ? T_43 : never : never : never) ? T_42 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_44) ? T_44 extends MetadataOf<TLeft> ? T_44 extends {
-  readonly kind: "result";
-} ? T_44 : never : never : never) extends (infer T_45) ? T_45 extends (MetadataOf<TLeft> extends (infer T_46) ? T_46 extends MetadataOf<TLeft> ? T_46 extends {
-  readonly kind: "result";
-} ? T_46 : never : never : never) ? T_45 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_47) ? T_47 extends MetadataOf<TLeft> ? T_47 extends {
-  readonly kind: "result";
-} ? T_47 : never : never : never) extends (infer T_48) ? T_48 extends (MetadataOf<TLeft> extends (infer T_49) ? T_49 extends MetadataOf<TLeft> ? T_49 extends {
-  readonly kind: "result";
-} ? T_49 : never : never : never) ? T_48 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>>> ? T_37 extends {
-  readonly kind: "result";
-} ? T_37 : never : never : never) extends (infer T_50) ? T_50 extends (MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_51) ? T_51 extends MetadataOf<TLeft> ? T_51 extends {
-  readonly kind: "result";
-} ? T_51 : never : never : never) extends (infer T_52) ? T_52 extends (MetadataOf<TLeft> extends (infer T_53) ? T_53 extends MetadataOf<TLeft> ? T_53 extends {
-  readonly kind: "result";
-} ? T_53 : never : never : never) ? T_52 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_54) ? T_54 extends MetadataOf<TLeft> ? T_54 extends {
-  readonly kind: "result";
-} ? T_54 : never : never : never) extends (infer T_55) ? T_55 extends (MetadataOf<TLeft> extends (infer T_56) ? T_56 extends MetadataOf<TLeft> ? T_56 extends {
-  readonly kind: "result";
-} ? T_56 : never : never : never) ? T_55 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_57) ? T_57 extends MetadataOf<TLeft> ? T_57 extends {
-  readonly kind: "result";
-} ? T_57 : never : never : never) extends (infer T_58) ? T_58 extends (MetadataOf<TLeft> extends (infer T_59) ? T_59 extends MetadataOf<TLeft> ? T_59 extends {
-  readonly kind: "result";
-} ? T_59 : never : never : never) ? T_58 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_60) ? T_60 extends MetadataOf<TLeft> ? T_60 extends {
-  readonly kind: "result";
-} ? T_60 : never : never : never) extends (infer T_61) ? T_61 extends (MetadataOf<TLeft> extends (infer T_62) ? T_62 extends MetadataOf<TLeft> ? T_62 extends {
-  readonly kind: "result";
-} ? T_62 : never : never : never) ? T_61 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>>> extends (infer T_63) ? T_63 extends MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_64) ? T_64 extends MetadataOf<TLeft> ? T_64 extends {
-  readonly kind: "result";
-} ? T_64 : never : never : never) extends (infer T_65) ? T_65 extends (MetadataOf<TLeft> extends (infer T_66) ? T_66 extends MetadataOf<TLeft> ? T_66 extends {
-  readonly kind: "result";
-} ? T_66 : never : never : never) ? T_65 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_67) ? T_67 extends MetadataOf<TLeft> ? T_67 extends {
-  readonly kind: "result";
-} ? T_67 : never : never : never) extends (infer T_68) ? T_68 extends (MetadataOf<TLeft> extends (infer T_69) ? T_69 extends MetadataOf<TLeft> ? T_69 extends {
-  readonly kind: "result";
-} ? T_69 : never : never : never) ? T_68 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_70) ? T_70 extends MetadataOf<TLeft> ? T_70 extends {
-  readonly kind: "result";
-} ? T_70 : never : never : never) extends (infer T_71) ? T_71 extends (MetadataOf<TLeft> extends (infer T_72) ? T_72 extends MetadataOf<TLeft> ? T_72 extends {
-  readonly kind: "result";
-} ? T_72 : never : never : never) ? T_71 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_73) ? T_73 extends MetadataOf<TLeft> ? T_73 extends {
-  readonly kind: "result";
-} ? T_73 : never : never : never) extends (infer T_74) ? T_74 extends (MetadataOf<TLeft> extends (infer T_75) ? T_75 extends MetadataOf<TLeft> ? T_75 extends {
-  readonly kind: "result";
-} ? T_75 : never : never : never) ? T_74 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>>> ? T_63 extends {
-  readonly kind: "result";
-} ? T_63 : never : never : never) ? T_50 extends {
-  readonly sqlType: infer TSqlType extends AnySqlType;
-} ? TSqlType : SqlUnknown : never : never>;
+declare const add: <T, TLeft extends ExpressionWithOutput<T>, R extends Operand<NoInfer<T>>>(left: TLeft & ArithmeticValidation<TLeft, R>, right: R) => ResultExpression<{
+  readonly output: unknown;
+  readonly children: R | (TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_1) ? T_1 extends MetadataOf<TLeft> ? T_1 extends {
+    readonly kind: "result";
+  } ? T_1 : never : never : never) extends (infer T_2) ? T_2 extends (MetadataOf<TLeft> extends (infer T_3) ? T_3 extends MetadataOf<TLeft> ? T_3 extends {
+    readonly kind: "result";
+  } ? T_3 : never : never : never) ? T_2 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_4) ? T_4 extends MetadataOf<TLeft> ? T_4 extends {
+    readonly kind: "result";
+  } ? T_4 : never : never : never) extends (infer T_5) ? T_5 extends (MetadataOf<TLeft> extends (infer T_6) ? T_6 extends MetadataOf<TLeft> ? T_6 extends {
+    readonly kind: "result";
+  } ? T_6 : never : never : never) ? T_5 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_7) ? T_7 extends MetadataOf<TLeft> ? T_7 extends {
+    readonly kind: "result";
+  } ? T_7 : never : never : never) extends (infer T_8) ? T_8 extends (MetadataOf<TLeft> extends (infer T_9) ? T_9 extends MetadataOf<TLeft> ? T_9 extends {
+    readonly kind: "result";
+  } ? T_9 : never : never : never) ? T_8 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_10) ? T_10 extends MetadataOf<TLeft> ? T_10 extends {
+    readonly kind: "result";
+  } ? T_10 : never : never : never) extends (infer T_11) ? T_11 extends (MetadataOf<TLeft> extends (infer T_12) ? T_12 extends MetadataOf<TLeft> ? T_12 extends {
+    readonly kind: "result";
+  } ? T_12 : never : never : never) ? T_11 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>>);
+  readonly kind: "operator";
+  readonly nullableFrom: NullabilityOf<R | (TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_13) ? T_13 extends MetadataOf<TLeft> ? T_13 extends {
+    readonly kind: "result";
+  } ? T_13 : never : never : never) extends (infer T_14) ? T_14 extends (MetadataOf<TLeft> extends (infer T_15) ? T_15 extends MetadataOf<TLeft> ? T_15 extends {
+    readonly kind: "result";
+  } ? T_15 : never : never : never) ? T_14 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_16) ? T_16 extends MetadataOf<TLeft> ? T_16 extends {
+    readonly kind: "result";
+  } ? T_16 : never : never : never) extends (infer T_17) ? T_17 extends (MetadataOf<TLeft> extends (infer T_18) ? T_18 extends MetadataOf<TLeft> ? T_18 extends {
+    readonly kind: "result";
+  } ? T_18 : never : never : never) ? T_17 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_19) ? T_19 extends MetadataOf<TLeft> ? T_19 extends {
+    readonly kind: "result";
+  } ? T_19 : never : never : never) extends (infer T_20) ? T_20 extends (MetadataOf<TLeft> extends (infer T_21) ? T_21 extends MetadataOf<TLeft> ? T_21 extends {
+    readonly kind: "result";
+  } ? T_21 : never : never : never) ? T_20 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_22) ? T_22 extends MetadataOf<TLeft> ? T_22 extends {
+    readonly kind: "result";
+  } ? T_22 : never : never : never) extends (infer T_23) ? T_23 extends (MetadataOf<TLeft> extends (infer T_24) ? T_24 extends MetadataOf<TLeft> ? T_24 extends {
+    readonly kind: "result";
+  } ? T_24 : never : never : never) ? T_23 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>>)>;
+  readonly sqlType: (MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_25) ? T_25 extends MetadataOf<TLeft> ? T_25 extends {
+    readonly kind: "result";
+  } ? T_25 : never : never : never) extends (infer T_26) ? T_26 extends (MetadataOf<TLeft> extends (infer T_27) ? T_27 extends MetadataOf<TLeft> ? T_27 extends {
+    readonly kind: "result";
+  } ? T_27 : never : never : never) ? T_26 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_28) ? T_28 extends MetadataOf<TLeft> ? T_28 extends {
+    readonly kind: "result";
+  } ? T_28 : never : never : never) extends (infer T_29) ? T_29 extends (MetadataOf<TLeft> extends (infer T_30) ? T_30 extends MetadataOf<TLeft> ? T_30 extends {
+    readonly kind: "result";
+  } ? T_30 : never : never : never) ? T_29 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_31) ? T_31 extends MetadataOf<TLeft> ? T_31 extends {
+    readonly kind: "result";
+  } ? T_31 : never : never : never) extends (infer T_32) ? T_32 extends (MetadataOf<TLeft> extends (infer T_33) ? T_33 extends MetadataOf<TLeft> ? T_33 extends {
+    readonly kind: "result";
+  } ? T_33 : never : never : never) ? T_32 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_34) ? T_34 extends MetadataOf<TLeft> ? T_34 extends {
+    readonly kind: "result";
+  } ? T_34 : never : never : never) extends (infer T_35) ? T_35 extends (MetadataOf<TLeft> extends (infer T_36) ? T_36 extends MetadataOf<TLeft> ? T_36 extends {
+    readonly kind: "result";
+  } ? T_36 : never : never : never) ? T_35 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>>> extends (infer T_37) ? T_37 extends MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_38) ? T_38 extends MetadataOf<TLeft> ? T_38 extends {
+    readonly kind: "result";
+  } ? T_38 : never : never : never) extends (infer T_39) ? T_39 extends (MetadataOf<TLeft> extends (infer T_40) ? T_40 extends MetadataOf<TLeft> ? T_40 extends {
+    readonly kind: "result";
+  } ? T_40 : never : never : never) ? T_39 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_41) ? T_41 extends MetadataOf<TLeft> ? T_41 extends {
+    readonly kind: "result";
+  } ? T_41 : never : never : never) extends (infer T_42) ? T_42 extends (MetadataOf<TLeft> extends (infer T_43) ? T_43 extends MetadataOf<TLeft> ? T_43 extends {
+    readonly kind: "result";
+  } ? T_43 : never : never : never) ? T_42 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_44) ? T_44 extends MetadataOf<TLeft> ? T_44 extends {
+    readonly kind: "result";
+  } ? T_44 : never : never : never) extends (infer T_45) ? T_45 extends (MetadataOf<TLeft> extends (infer T_46) ? T_46 extends MetadataOf<TLeft> ? T_46 extends {
+    readonly kind: "result";
+  } ? T_46 : never : never : never) ? T_45 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_47) ? T_47 extends MetadataOf<TLeft> ? T_47 extends {
+    readonly kind: "result";
+  } ? T_47 : never : never : never) extends (infer T_48) ? T_48 extends (MetadataOf<TLeft> extends (infer T_49) ? T_49 extends MetadataOf<TLeft> ? T_49 extends {
+    readonly kind: "result";
+  } ? T_49 : never : never : never) ? T_48 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>>> ? T_37 extends {
+    readonly kind: "result";
+  } ? T_37 : never : never : never) extends (infer T_50) ? T_50 extends (MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_51) ? T_51 extends MetadataOf<TLeft> ? T_51 extends {
+    readonly kind: "result";
+  } ? T_51 : never : never : never) extends (infer T_52) ? T_52 extends (MetadataOf<TLeft> extends (infer T_53) ? T_53 extends MetadataOf<TLeft> ? T_53 extends {
+    readonly kind: "result";
+  } ? T_53 : never : never : never) ? T_52 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_54) ? T_54 extends MetadataOf<TLeft> ? T_54 extends {
+    readonly kind: "result";
+  } ? T_54 : never : never : never) extends (infer T_55) ? T_55 extends (MetadataOf<TLeft> extends (infer T_56) ? T_56 extends MetadataOf<TLeft> ? T_56 extends {
+    readonly kind: "result";
+  } ? T_56 : never : never : never) ? T_55 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_57) ? T_57 extends MetadataOf<TLeft> ? T_57 extends {
+    readonly kind: "result";
+  } ? T_57 : never : never : never) extends (infer T_58) ? T_58 extends (MetadataOf<TLeft> extends (infer T_59) ? T_59 extends MetadataOf<TLeft> ? T_59 extends {
+    readonly kind: "result";
+  } ? T_59 : never : never : never) ? T_58 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_60) ? T_60 extends MetadataOf<TLeft> ? T_60 extends {
+    readonly kind: "result";
+  } ? T_60 : never : never : never) extends (infer T_61) ? T_61 extends (MetadataOf<TLeft> extends (infer T_62) ? T_62 extends MetadataOf<TLeft> ? T_62 extends {
+    readonly kind: "result";
+  } ? T_62 : never : never : never) ? T_61 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>>> extends (infer T_63) ? T_63 extends MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_64) ? T_64 extends MetadataOf<TLeft> ? T_64 extends {
+    readonly kind: "result";
+  } ? T_64 : never : never : never) extends (infer T_65) ? T_65 extends (MetadataOf<TLeft> extends (infer T_66) ? T_66 extends MetadataOf<TLeft> ? T_66 extends {
+    readonly kind: "result";
+  } ? T_66 : never : never : never) ? T_65 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_67) ? T_67 extends MetadataOf<TLeft> ? T_67 extends {
+    readonly kind: "result";
+  } ? T_67 : never : never : never) extends (infer T_68) ? T_68 extends (MetadataOf<TLeft> extends (infer T_69) ? T_69 extends MetadataOf<TLeft> ? T_69 extends {
+    readonly kind: "result";
+  } ? T_69 : never : never : never) ? T_68 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_70) ? T_70 extends MetadataOf<TLeft> ? T_70 extends {
+    readonly kind: "result";
+  } ? T_70 : never : never : never) extends (infer T_71) ? T_71 extends (MetadataOf<TLeft> extends (infer T_72) ? T_72 extends MetadataOf<TLeft> ? T_72 extends {
+    readonly kind: "result";
+  } ? T_72 : never : never : never) ? T_71 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_73) ? T_73 extends MetadataOf<TLeft> ? T_73 extends {
+    readonly kind: "result";
+  } ? T_73 : never : never : never) extends (infer T_74) ? T_74 extends (MetadataOf<TLeft> extends (infer T_75) ? T_75 extends MetadataOf<TLeft> ? T_75 extends {
+    readonly kind: "result";
+  } ? T_75 : never : never : never) ? T_74 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>>> ? T_63 extends {
+    readonly kind: "result";
+  } ? T_63 : never : never : never) ? T_50 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never;
+}>;
+declare const subtract: <T, TLeft extends ExpressionWithOutput<T>, R extends Operand<NoInfer<T>>>(left: TLeft & ArithmeticValidation<TLeft, R>, right: R) => ResultExpression<{
+  readonly output: unknown;
+  readonly children: R | (TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_1) ? T_1 extends MetadataOf<TLeft> ? T_1 extends {
+    readonly kind: "result";
+  } ? T_1 : never : never : never) extends (infer T_2) ? T_2 extends (MetadataOf<TLeft> extends (infer T_3) ? T_3 extends MetadataOf<TLeft> ? T_3 extends {
+    readonly kind: "result";
+  } ? T_3 : never : never : never) ? T_2 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_4) ? T_4 extends MetadataOf<TLeft> ? T_4 extends {
+    readonly kind: "result";
+  } ? T_4 : never : never : never) extends (infer T_5) ? T_5 extends (MetadataOf<TLeft> extends (infer T_6) ? T_6 extends MetadataOf<TLeft> ? T_6 extends {
+    readonly kind: "result";
+  } ? T_6 : never : never : never) ? T_5 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_7) ? T_7 extends MetadataOf<TLeft> ? T_7 extends {
+    readonly kind: "result";
+  } ? T_7 : never : never : never) extends (infer T_8) ? T_8 extends (MetadataOf<TLeft> extends (infer T_9) ? T_9 extends MetadataOf<TLeft> ? T_9 extends {
+    readonly kind: "result";
+  } ? T_9 : never : never : never) ? T_8 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_10) ? T_10 extends MetadataOf<TLeft> ? T_10 extends {
+    readonly kind: "result";
+  } ? T_10 : never : never : never) extends (infer T_11) ? T_11 extends (MetadataOf<TLeft> extends (infer T_12) ? T_12 extends MetadataOf<TLeft> ? T_12 extends {
+    readonly kind: "result";
+  } ? T_12 : never : never : never) ? T_11 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>>);
+  readonly kind: "operator";
+  readonly nullableFrom: NullabilityOf<R | (TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_13) ? T_13 extends MetadataOf<TLeft> ? T_13 extends {
+    readonly kind: "result";
+  } ? T_13 : never : never : never) extends (infer T_14) ? T_14 extends (MetadataOf<TLeft> extends (infer T_15) ? T_15 extends MetadataOf<TLeft> ? T_15 extends {
+    readonly kind: "result";
+  } ? T_15 : never : never : never) ? T_14 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_16) ? T_16 extends MetadataOf<TLeft> ? T_16 extends {
+    readonly kind: "result";
+  } ? T_16 : never : never : never) extends (infer T_17) ? T_17 extends (MetadataOf<TLeft> extends (infer T_18) ? T_18 extends MetadataOf<TLeft> ? T_18 extends {
+    readonly kind: "result";
+  } ? T_18 : never : never : never) ? T_17 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_19) ? T_19 extends MetadataOf<TLeft> ? T_19 extends {
+    readonly kind: "result";
+  } ? T_19 : never : never : never) extends (infer T_20) ? T_20 extends (MetadataOf<TLeft> extends (infer T_21) ? T_21 extends MetadataOf<TLeft> ? T_21 extends {
+    readonly kind: "result";
+  } ? T_21 : never : never : never) ? T_20 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_22) ? T_22 extends MetadataOf<TLeft> ? T_22 extends {
+    readonly kind: "result";
+  } ? T_22 : never : never : never) extends (infer T_23) ? T_23 extends (MetadataOf<TLeft> extends (infer T_24) ? T_24 extends MetadataOf<TLeft> ? T_24 extends {
+    readonly kind: "result";
+  } ? T_24 : never : never : never) ? T_23 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>>)>;
+  readonly sqlType: (MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_25) ? T_25 extends MetadataOf<TLeft> ? T_25 extends {
+    readonly kind: "result";
+  } ? T_25 : never : never : never) extends (infer T_26) ? T_26 extends (MetadataOf<TLeft> extends (infer T_27) ? T_27 extends MetadataOf<TLeft> ? T_27 extends {
+    readonly kind: "result";
+  } ? T_27 : never : never : never) ? T_26 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_28) ? T_28 extends MetadataOf<TLeft> ? T_28 extends {
+    readonly kind: "result";
+  } ? T_28 : never : never : never) extends (infer T_29) ? T_29 extends (MetadataOf<TLeft> extends (infer T_30) ? T_30 extends MetadataOf<TLeft> ? T_30 extends {
+    readonly kind: "result";
+  } ? T_30 : never : never : never) ? T_29 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_31) ? T_31 extends MetadataOf<TLeft> ? T_31 extends {
+    readonly kind: "result";
+  } ? T_31 : never : never : never) extends (infer T_32) ? T_32 extends (MetadataOf<TLeft> extends (infer T_33) ? T_33 extends MetadataOf<TLeft> ? T_33 extends {
+    readonly kind: "result";
+  } ? T_33 : never : never : never) ? T_32 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_34) ? T_34 extends MetadataOf<TLeft> ? T_34 extends {
+    readonly kind: "result";
+  } ? T_34 : never : never : never) extends (infer T_35) ? T_35 extends (MetadataOf<TLeft> extends (infer T_36) ? T_36 extends MetadataOf<TLeft> ? T_36 extends {
+    readonly kind: "result";
+  } ? T_36 : never : never : never) ? T_35 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>>> extends (infer T_37) ? T_37 extends MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_38) ? T_38 extends MetadataOf<TLeft> ? T_38 extends {
+    readonly kind: "result";
+  } ? T_38 : never : never : never) extends (infer T_39) ? T_39 extends (MetadataOf<TLeft> extends (infer T_40) ? T_40 extends MetadataOf<TLeft> ? T_40 extends {
+    readonly kind: "result";
+  } ? T_40 : never : never : never) ? T_39 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_41) ? T_41 extends MetadataOf<TLeft> ? T_41 extends {
+    readonly kind: "result";
+  } ? T_41 : never : never : never) extends (infer T_42) ? T_42 extends (MetadataOf<TLeft> extends (infer T_43) ? T_43 extends MetadataOf<TLeft> ? T_43 extends {
+    readonly kind: "result";
+  } ? T_43 : never : never : never) ? T_42 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_44) ? T_44 extends MetadataOf<TLeft> ? T_44 extends {
+    readonly kind: "result";
+  } ? T_44 : never : never : never) extends (infer T_45) ? T_45 extends (MetadataOf<TLeft> extends (infer T_46) ? T_46 extends MetadataOf<TLeft> ? T_46 extends {
+    readonly kind: "result";
+  } ? T_46 : never : never : never) ? T_45 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_47) ? T_47 extends MetadataOf<TLeft> ? T_47 extends {
+    readonly kind: "result";
+  } ? T_47 : never : never : never) extends (infer T_48) ? T_48 extends (MetadataOf<TLeft> extends (infer T_49) ? T_49 extends MetadataOf<TLeft> ? T_49 extends {
+    readonly kind: "result";
+  } ? T_49 : never : never : never) ? T_48 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>>> ? T_37 extends {
+    readonly kind: "result";
+  } ? T_37 : never : never : never) extends (infer T_50) ? T_50 extends (MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_51) ? T_51 extends MetadataOf<TLeft> ? T_51 extends {
+    readonly kind: "result";
+  } ? T_51 : never : never : never) extends (infer T_52) ? T_52 extends (MetadataOf<TLeft> extends (infer T_53) ? T_53 extends MetadataOf<TLeft> ? T_53 extends {
+    readonly kind: "result";
+  } ? T_53 : never : never : never) ? T_52 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_54) ? T_54 extends MetadataOf<TLeft> ? T_54 extends {
+    readonly kind: "result";
+  } ? T_54 : never : never : never) extends (infer T_55) ? T_55 extends (MetadataOf<TLeft> extends (infer T_56) ? T_56 extends MetadataOf<TLeft> ? T_56 extends {
+    readonly kind: "result";
+  } ? T_56 : never : never : never) ? T_55 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_57) ? T_57 extends MetadataOf<TLeft> ? T_57 extends {
+    readonly kind: "result";
+  } ? T_57 : never : never : never) extends (infer T_58) ? T_58 extends (MetadataOf<TLeft> extends (infer T_59) ? T_59 extends MetadataOf<TLeft> ? T_59 extends {
+    readonly kind: "result";
+  } ? T_59 : never : never : never) ? T_58 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_60) ? T_60 extends MetadataOf<TLeft> ? T_60 extends {
+    readonly kind: "result";
+  } ? T_60 : never : never : never) extends (infer T_61) ? T_61 extends (MetadataOf<TLeft> extends (infer T_62) ? T_62 extends MetadataOf<TLeft> ? T_62 extends {
+    readonly kind: "result";
+  } ? T_62 : never : never : never) ? T_61 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>>> extends (infer T_63) ? T_63 extends MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_64) ? T_64 extends MetadataOf<TLeft> ? T_64 extends {
+    readonly kind: "result";
+  } ? T_64 : never : never : never) extends (infer T_65) ? T_65 extends (MetadataOf<TLeft> extends (infer T_66) ? T_66 extends MetadataOf<TLeft> ? T_66 extends {
+    readonly kind: "result";
+  } ? T_66 : never : never : never) ? T_65 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_67) ? T_67 extends MetadataOf<TLeft> ? T_67 extends {
+    readonly kind: "result";
+  } ? T_67 : never : never : never) extends (infer T_68) ? T_68 extends (MetadataOf<TLeft> extends (infer T_69) ? T_69 extends MetadataOf<TLeft> ? T_69 extends {
+    readonly kind: "result";
+  } ? T_69 : never : never : never) ? T_68 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_70) ? T_70 extends MetadataOf<TLeft> ? T_70 extends {
+    readonly kind: "result";
+  } ? T_70 : never : never : never) extends (infer T_71) ? T_71 extends (MetadataOf<TLeft> extends (infer T_72) ? T_72 extends MetadataOf<TLeft> ? T_72 extends {
+    readonly kind: "result";
+  } ? T_72 : never : never : never) ? T_71 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_73) ? T_73 extends MetadataOf<TLeft> ? T_73 extends {
+    readonly kind: "result";
+  } ? T_73 : never : never : never) extends (infer T_74) ? T_74 extends (MetadataOf<TLeft> extends (infer T_75) ? T_75 extends MetadataOf<TLeft> ? T_75 extends {
+    readonly kind: "result";
+  } ? T_75 : never : never : never) ? T_74 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>>> ? T_63 extends {
+    readonly kind: "result";
+  } ? T_63 : never : never : never) ? T_50 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never;
+}>;
+declare const multiply: <T, TLeft extends ExpressionWithOutput<T>, R extends Operand<NoInfer<T>>>(left: TLeft & ArithmeticValidation<TLeft, R>, right: R) => ResultExpression<{
+  readonly output: unknown;
+  readonly children: R | (TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_1) ? T_1 extends MetadataOf<TLeft> ? T_1 extends {
+    readonly kind: "result";
+  } ? T_1 : never : never : never) extends (infer T_2) ? T_2 extends (MetadataOf<TLeft> extends (infer T_3) ? T_3 extends MetadataOf<TLeft> ? T_3 extends {
+    readonly kind: "result";
+  } ? T_3 : never : never : never) ? T_2 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_4) ? T_4 extends MetadataOf<TLeft> ? T_4 extends {
+    readonly kind: "result";
+  } ? T_4 : never : never : never) extends (infer T_5) ? T_5 extends (MetadataOf<TLeft> extends (infer T_6) ? T_6 extends MetadataOf<TLeft> ? T_6 extends {
+    readonly kind: "result";
+  } ? T_6 : never : never : never) ? T_5 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_7) ? T_7 extends MetadataOf<TLeft> ? T_7 extends {
+    readonly kind: "result";
+  } ? T_7 : never : never : never) extends (infer T_8) ? T_8 extends (MetadataOf<TLeft> extends (infer T_9) ? T_9 extends MetadataOf<TLeft> ? T_9 extends {
+    readonly kind: "result";
+  } ? T_9 : never : never : never) ? T_8 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_10) ? T_10 extends MetadataOf<TLeft> ? T_10 extends {
+    readonly kind: "result";
+  } ? T_10 : never : never : never) extends (infer T_11) ? T_11 extends (MetadataOf<TLeft> extends (infer T_12) ? T_12 extends MetadataOf<TLeft> ? T_12 extends {
+    readonly kind: "result";
+  } ? T_12 : never : never : never) ? T_11 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>>);
+  readonly kind: "operator";
+  readonly nullableFrom: NullabilityOf<R | (TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_13) ? T_13 extends MetadataOf<TLeft> ? T_13 extends {
+    readonly kind: "result";
+  } ? T_13 : never : never : never) extends (infer T_14) ? T_14 extends (MetadataOf<TLeft> extends (infer T_15) ? T_15 extends MetadataOf<TLeft> ? T_15 extends {
+    readonly kind: "result";
+  } ? T_15 : never : never : never) ? T_14 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_16) ? T_16 extends MetadataOf<TLeft> ? T_16 extends {
+    readonly kind: "result";
+  } ? T_16 : never : never : never) extends (infer T_17) ? T_17 extends (MetadataOf<TLeft> extends (infer T_18) ? T_18 extends MetadataOf<TLeft> ? T_18 extends {
+    readonly kind: "result";
+  } ? T_18 : never : never : never) ? T_17 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_19) ? T_19 extends MetadataOf<TLeft> ? T_19 extends {
+    readonly kind: "result";
+  } ? T_19 : never : never : never) extends (infer T_20) ? T_20 extends (MetadataOf<TLeft> extends (infer T_21) ? T_21 extends MetadataOf<TLeft> ? T_21 extends {
+    readonly kind: "result";
+  } ? T_21 : never : never : never) ? T_20 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_22) ? T_22 extends MetadataOf<TLeft> ? T_22 extends {
+    readonly kind: "result";
+  } ? T_22 : never : never : never) extends (infer T_23) ? T_23 extends (MetadataOf<TLeft> extends (infer T_24) ? T_24 extends MetadataOf<TLeft> ? T_24 extends {
+    readonly kind: "result";
+  } ? T_24 : never : never : never) ? T_23 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>>)>;
+  readonly sqlType: (MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_25) ? T_25 extends MetadataOf<TLeft> ? T_25 extends {
+    readonly kind: "result";
+  } ? T_25 : never : never : never) extends (infer T_26) ? T_26 extends (MetadataOf<TLeft> extends (infer T_27) ? T_27 extends MetadataOf<TLeft> ? T_27 extends {
+    readonly kind: "result";
+  } ? T_27 : never : never : never) ? T_26 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_28) ? T_28 extends MetadataOf<TLeft> ? T_28 extends {
+    readonly kind: "result";
+  } ? T_28 : never : never : never) extends (infer T_29) ? T_29 extends (MetadataOf<TLeft> extends (infer T_30) ? T_30 extends MetadataOf<TLeft> ? T_30 extends {
+    readonly kind: "result";
+  } ? T_30 : never : never : never) ? T_29 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_31) ? T_31 extends MetadataOf<TLeft> ? T_31 extends {
+    readonly kind: "result";
+  } ? T_31 : never : never : never) extends (infer T_32) ? T_32 extends (MetadataOf<TLeft> extends (infer T_33) ? T_33 extends MetadataOf<TLeft> ? T_33 extends {
+    readonly kind: "result";
+  } ? T_33 : never : never : never) ? T_32 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_34) ? T_34 extends MetadataOf<TLeft> ? T_34 extends {
+    readonly kind: "result";
+  } ? T_34 : never : never : never) extends (infer T_35) ? T_35 extends (MetadataOf<TLeft> extends (infer T_36) ? T_36 extends MetadataOf<TLeft> ? T_36 extends {
+    readonly kind: "result";
+  } ? T_36 : never : never : never) ? T_35 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>>> extends (infer T_37) ? T_37 extends MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_38) ? T_38 extends MetadataOf<TLeft> ? T_38 extends {
+    readonly kind: "result";
+  } ? T_38 : never : never : never) extends (infer T_39) ? T_39 extends (MetadataOf<TLeft> extends (infer T_40) ? T_40 extends MetadataOf<TLeft> ? T_40 extends {
+    readonly kind: "result";
+  } ? T_40 : never : never : never) ? T_39 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_41) ? T_41 extends MetadataOf<TLeft> ? T_41 extends {
+    readonly kind: "result";
+  } ? T_41 : never : never : never) extends (infer T_42) ? T_42 extends (MetadataOf<TLeft> extends (infer T_43) ? T_43 extends MetadataOf<TLeft> ? T_43 extends {
+    readonly kind: "result";
+  } ? T_43 : never : never : never) ? T_42 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_44) ? T_44 extends MetadataOf<TLeft> ? T_44 extends {
+    readonly kind: "result";
+  } ? T_44 : never : never : never) extends (infer T_45) ? T_45 extends (MetadataOf<TLeft> extends (infer T_46) ? T_46 extends MetadataOf<TLeft> ? T_46 extends {
+    readonly kind: "result";
+  } ? T_46 : never : never : never) ? T_45 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_47) ? T_47 extends MetadataOf<TLeft> ? T_47 extends {
+    readonly kind: "result";
+  } ? T_47 : never : never : never) extends (infer T_48) ? T_48 extends (MetadataOf<TLeft> extends (infer T_49) ? T_49 extends MetadataOf<TLeft> ? T_49 extends {
+    readonly kind: "result";
+  } ? T_49 : never : never : never) ? T_48 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>>> ? T_37 extends {
+    readonly kind: "result";
+  } ? T_37 : never : never : never) extends (infer T_50) ? T_50 extends (MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_51) ? T_51 extends MetadataOf<TLeft> ? T_51 extends {
+    readonly kind: "result";
+  } ? T_51 : never : never : never) extends (infer T_52) ? T_52 extends (MetadataOf<TLeft> extends (infer T_53) ? T_53 extends MetadataOf<TLeft> ? T_53 extends {
+    readonly kind: "result";
+  } ? T_53 : never : never : never) ? T_52 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_54) ? T_54 extends MetadataOf<TLeft> ? T_54 extends {
+    readonly kind: "result";
+  } ? T_54 : never : never : never) extends (infer T_55) ? T_55 extends (MetadataOf<TLeft> extends (infer T_56) ? T_56 extends MetadataOf<TLeft> ? T_56 extends {
+    readonly kind: "result";
+  } ? T_56 : never : never : never) ? T_55 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_57) ? T_57 extends MetadataOf<TLeft> ? T_57 extends {
+    readonly kind: "result";
+  } ? T_57 : never : never : never) extends (infer T_58) ? T_58 extends (MetadataOf<TLeft> extends (infer T_59) ? T_59 extends MetadataOf<TLeft> ? T_59 extends {
+    readonly kind: "result";
+  } ? T_59 : never : never : never) ? T_58 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_60) ? T_60 extends MetadataOf<TLeft> ? T_60 extends {
+    readonly kind: "result";
+  } ? T_60 : never : never : never) extends (infer T_61) ? T_61 extends (MetadataOf<TLeft> extends (infer T_62) ? T_62 extends MetadataOf<TLeft> ? T_62 extends {
+    readonly kind: "result";
+  } ? T_62 : never : never : never) ? T_61 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>>> extends (infer T_63) ? T_63 extends MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_64) ? T_64 extends MetadataOf<TLeft> ? T_64 extends {
+    readonly kind: "result";
+  } ? T_64 : never : never : never) extends (infer T_65) ? T_65 extends (MetadataOf<TLeft> extends (infer T_66) ? T_66 extends MetadataOf<TLeft> ? T_66 extends {
+    readonly kind: "result";
+  } ? T_66 : never : never : never) ? T_65 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_67) ? T_67 extends MetadataOf<TLeft> ? T_67 extends {
+    readonly kind: "result";
+  } ? T_67 : never : never : never) extends (infer T_68) ? T_68 extends (MetadataOf<TLeft> extends (infer T_69) ? T_69 extends MetadataOf<TLeft> ? T_69 extends {
+    readonly kind: "result";
+  } ? T_69 : never : never : never) ? T_68 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_70) ? T_70 extends MetadataOf<TLeft> ? T_70 extends {
+    readonly kind: "result";
+  } ? T_70 : never : never : never) extends (infer T_71) ? T_71 extends (MetadataOf<TLeft> extends (infer T_72) ? T_72 extends MetadataOf<TLeft> ? T_72 extends {
+    readonly kind: "result";
+  } ? T_72 : never : never : never) ? T_71 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_73) ? T_73 extends MetadataOf<TLeft> ? T_73 extends {
+    readonly kind: "result";
+  } ? T_73 : never : never : never) extends (infer T_74) ? T_74 extends (MetadataOf<TLeft> extends (infer T_75) ? T_75 extends MetadataOf<TLeft> ? T_75 extends {
+    readonly kind: "result";
+  } ? T_75 : never : never : never) ? T_74 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>>> ? T_63 extends {
+    readonly kind: "result";
+  } ? T_63 : never : never : never) ? T_50 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never;
+}>;
+declare const divide: <T, TLeft extends ExpressionWithOutput<T>, R extends Operand<NoInfer<T>>>(left: TLeft & ArithmeticValidation<TLeft, R>, right: R) => ResultExpression<{
+  readonly output: unknown;
+  readonly children: R | (TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_1) ? T_1 extends MetadataOf<TLeft> ? T_1 extends {
+    readonly kind: "result";
+  } ? T_1 : never : never : never) extends (infer T_2) ? T_2 extends (MetadataOf<TLeft> extends (infer T_3) ? T_3 extends MetadataOf<TLeft> ? T_3 extends {
+    readonly kind: "result";
+  } ? T_3 : never : never : never) ? T_2 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_4) ? T_4 extends MetadataOf<TLeft> ? T_4 extends {
+    readonly kind: "result";
+  } ? T_4 : never : never : never) extends (infer T_5) ? T_5 extends (MetadataOf<TLeft> extends (infer T_6) ? T_6 extends MetadataOf<TLeft> ? T_6 extends {
+    readonly kind: "result";
+  } ? T_6 : never : never : never) ? T_5 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_7) ? T_7 extends MetadataOf<TLeft> ? T_7 extends {
+    readonly kind: "result";
+  } ? T_7 : never : never : never) extends (infer T_8) ? T_8 extends (MetadataOf<TLeft> extends (infer T_9) ? T_9 extends MetadataOf<TLeft> ? T_9 extends {
+    readonly kind: "result";
+  } ? T_9 : never : never : never) ? T_8 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_10) ? T_10 extends MetadataOf<TLeft> ? T_10 extends {
+    readonly kind: "result";
+  } ? T_10 : never : never : never) extends (infer T_11) ? T_11 extends (MetadataOf<TLeft> extends (infer T_12) ? T_12 extends MetadataOf<TLeft> ? T_12 extends {
+    readonly kind: "result";
+  } ? T_12 : never : never : never) ? T_11 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>>);
+  readonly kind: "operator";
+  readonly nullableFrom: NullabilityOf<R | (TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_13) ? T_13 extends MetadataOf<TLeft> ? T_13 extends {
+    readonly kind: "result";
+  } ? T_13 : never : never : never) extends (infer T_14) ? T_14 extends (MetadataOf<TLeft> extends (infer T_15) ? T_15 extends MetadataOf<TLeft> ? T_15 extends {
+    readonly kind: "result";
+  } ? T_15 : never : never : never) ? T_14 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_16) ? T_16 extends MetadataOf<TLeft> ? T_16 extends {
+    readonly kind: "result";
+  } ? T_16 : never : never : never) extends (infer T_17) ? T_17 extends (MetadataOf<TLeft> extends (infer T_18) ? T_18 extends MetadataOf<TLeft> ? T_18 extends {
+    readonly kind: "result";
+  } ? T_18 : never : never : never) ? T_17 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_19) ? T_19 extends MetadataOf<TLeft> ? T_19 extends {
+    readonly kind: "result";
+  } ? T_19 : never : never : never) extends (infer T_20) ? T_20 extends (MetadataOf<TLeft> extends (infer T_21) ? T_21 extends MetadataOf<TLeft> ? T_21 extends {
+    readonly kind: "result";
+  } ? T_21 : never : never : never) ? T_20 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_22) ? T_22 extends MetadataOf<TLeft> ? T_22 extends {
+    readonly kind: "result";
+  } ? T_22 : never : never : never) extends (infer T_23) ? T_23 extends (MetadataOf<TLeft> extends (infer T_24) ? T_24 extends MetadataOf<TLeft> ? T_24 extends {
+    readonly kind: "result";
+  } ? T_24 : never : never : never) ? T_23 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>>)>;
+  readonly sqlType: (MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_25) ? T_25 extends MetadataOf<TLeft> ? T_25 extends {
+    readonly kind: "result";
+  } ? T_25 : never : never : never) extends (infer T_26) ? T_26 extends (MetadataOf<TLeft> extends (infer T_27) ? T_27 extends MetadataOf<TLeft> ? T_27 extends {
+    readonly kind: "result";
+  } ? T_27 : never : never : never) ? T_26 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_28) ? T_28 extends MetadataOf<TLeft> ? T_28 extends {
+    readonly kind: "result";
+  } ? T_28 : never : never : never) extends (infer T_29) ? T_29 extends (MetadataOf<TLeft> extends (infer T_30) ? T_30 extends MetadataOf<TLeft> ? T_30 extends {
+    readonly kind: "result";
+  } ? T_30 : never : never : never) ? T_29 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_31) ? T_31 extends MetadataOf<TLeft> ? T_31 extends {
+    readonly kind: "result";
+  } ? T_31 : never : never : never) extends (infer T_32) ? T_32 extends (MetadataOf<TLeft> extends (infer T_33) ? T_33 extends MetadataOf<TLeft> ? T_33 extends {
+    readonly kind: "result";
+  } ? T_33 : never : never : never) ? T_32 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_34) ? T_34 extends MetadataOf<TLeft> ? T_34 extends {
+    readonly kind: "result";
+  } ? T_34 : never : never : never) extends (infer T_35) ? T_35 extends (MetadataOf<TLeft> extends (infer T_36) ? T_36 extends MetadataOf<TLeft> ? T_36 extends {
+    readonly kind: "result";
+  } ? T_36 : never : never : never) ? T_35 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>>> extends (infer T_37) ? T_37 extends MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_38) ? T_38 extends MetadataOf<TLeft> ? T_38 extends {
+    readonly kind: "result";
+  } ? T_38 : never : never : never) extends (infer T_39) ? T_39 extends (MetadataOf<TLeft> extends (infer T_40) ? T_40 extends MetadataOf<TLeft> ? T_40 extends {
+    readonly kind: "result";
+  } ? T_40 : never : never : never) ? T_39 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_41) ? T_41 extends MetadataOf<TLeft> ? T_41 extends {
+    readonly kind: "result";
+  } ? T_41 : never : never : never) extends (infer T_42) ? T_42 extends (MetadataOf<TLeft> extends (infer T_43) ? T_43 extends MetadataOf<TLeft> ? T_43 extends {
+    readonly kind: "result";
+  } ? T_43 : never : never : never) ? T_42 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_44) ? T_44 extends MetadataOf<TLeft> ? T_44 extends {
+    readonly kind: "result";
+  } ? T_44 : never : never : never) extends (infer T_45) ? T_45 extends (MetadataOf<TLeft> extends (infer T_46) ? T_46 extends MetadataOf<TLeft> ? T_46 extends {
+    readonly kind: "result";
+  } ? T_46 : never : never : never) ? T_45 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_47) ? T_47 extends MetadataOf<TLeft> ? T_47 extends {
+    readonly kind: "result";
+  } ? T_47 : never : never : never) extends (infer T_48) ? T_48 extends (MetadataOf<TLeft> extends (infer T_49) ? T_49 extends MetadataOf<TLeft> ? T_49 extends {
+    readonly kind: "result";
+  } ? T_49 : never : never : never) ? T_48 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>>> ? T_37 extends {
+    readonly kind: "result";
+  } ? T_37 : never : never : never) extends (infer T_50) ? T_50 extends (MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_51) ? T_51 extends MetadataOf<TLeft> ? T_51 extends {
+    readonly kind: "result";
+  } ? T_51 : never : never : never) extends (infer T_52) ? T_52 extends (MetadataOf<TLeft> extends (infer T_53) ? T_53 extends MetadataOf<TLeft> ? T_53 extends {
+    readonly kind: "result";
+  } ? T_53 : never : never : never) ? T_52 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_54) ? T_54 extends MetadataOf<TLeft> ? T_54 extends {
+    readonly kind: "result";
+  } ? T_54 : never : never : never) extends (infer T_55) ? T_55 extends (MetadataOf<TLeft> extends (infer T_56) ? T_56 extends MetadataOf<TLeft> ? T_56 extends {
+    readonly kind: "result";
+  } ? T_56 : never : never : never) ? T_55 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_57) ? T_57 extends MetadataOf<TLeft> ? T_57 extends {
+    readonly kind: "result";
+  } ? T_57 : never : never : never) extends (infer T_58) ? T_58 extends (MetadataOf<TLeft> extends (infer T_59) ? T_59 extends MetadataOf<TLeft> ? T_59 extends {
+    readonly kind: "result";
+  } ? T_59 : never : never : never) ? T_58 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_60) ? T_60 extends MetadataOf<TLeft> ? T_60 extends {
+    readonly kind: "result";
+  } ? T_60 : never : never : never) extends (infer T_61) ? T_61 extends (MetadataOf<TLeft> extends (infer T_62) ? T_62 extends MetadataOf<TLeft> ? T_62 extends {
+    readonly kind: "result";
+  } ? T_62 : never : never : never) ? T_61 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>>> extends (infer T_63) ? T_63 extends MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_64) ? T_64 extends MetadataOf<TLeft> ? T_64 extends {
+    readonly kind: "result";
+  } ? T_64 : never : never : never) extends (infer T_65) ? T_65 extends (MetadataOf<TLeft> extends (infer T_66) ? T_66 extends MetadataOf<TLeft> ? T_66 extends {
+    readonly kind: "result";
+  } ? T_66 : never : never : never) ? T_65 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_67) ? T_67 extends MetadataOf<TLeft> ? T_67 extends {
+    readonly kind: "result";
+  } ? T_67 : never : never : never) extends (infer T_68) ? T_68 extends (MetadataOf<TLeft> extends (infer T_69) ? T_69 extends MetadataOf<TLeft> ? T_69 extends {
+    readonly kind: "result";
+  } ? T_69 : never : never : never) ? T_68 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_70) ? T_70 extends MetadataOf<TLeft> ? T_70 extends {
+    readonly kind: "result";
+  } ? T_70 : never : never : never) extends (infer T_71) ? T_71 extends (MetadataOf<TLeft> extends (infer T_72) ? T_72 extends MetadataOf<TLeft> ? T_72 extends {
+    readonly kind: "result";
+  } ? T_72 : never : never : never) ? T_71 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_73) ? T_73 extends MetadataOf<TLeft> ? T_73 extends {
+    readonly kind: "result";
+  } ? T_73 : never : never : never) extends (infer T_74) ? T_74 extends (MetadataOf<TLeft> extends (infer T_75) ? T_75 extends MetadataOf<TLeft> ? T_75 extends {
+    readonly kind: "result";
+  } ? T_75 : never : never : never) ? T_74 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>>> ? T_63 extends {
+    readonly kind: "result";
+  } ? T_63 : never : never : never) ? T_50 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never;
+}>;
+declare const modulo: <T, TLeft extends ExpressionWithOutput<T>, R extends Operand<NoInfer<T>>>(left: TLeft & ArithmeticValidation<TLeft, R>, right: R) => ResultExpression<{
+  readonly output: unknown;
+  readonly children: R | (TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_1) ? T_1 extends MetadataOf<TLeft> ? T_1 extends {
+    readonly kind: "result";
+  } ? T_1 : never : never : never) extends (infer T_2) ? T_2 extends (MetadataOf<TLeft> extends (infer T_3) ? T_3 extends MetadataOf<TLeft> ? T_3 extends {
+    readonly kind: "result";
+  } ? T_3 : never : never : never) ? T_2 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_4) ? T_4 extends MetadataOf<TLeft> ? T_4 extends {
+    readonly kind: "result";
+  } ? T_4 : never : never : never) extends (infer T_5) ? T_5 extends (MetadataOf<TLeft> extends (infer T_6) ? T_6 extends MetadataOf<TLeft> ? T_6 extends {
+    readonly kind: "result";
+  } ? T_6 : never : never : never) ? T_5 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_7) ? T_7 extends MetadataOf<TLeft> ? T_7 extends {
+    readonly kind: "result";
+  } ? T_7 : never : never : never) extends (infer T_8) ? T_8 extends (MetadataOf<TLeft> extends (infer T_9) ? T_9 extends MetadataOf<TLeft> ? T_9 extends {
+    readonly kind: "result";
+  } ? T_9 : never : never : never) ? T_8 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_10) ? T_10 extends MetadataOf<TLeft> ? T_10 extends {
+    readonly kind: "result";
+  } ? T_10 : never : never : never) extends (infer T_11) ? T_11 extends (MetadataOf<TLeft> extends (infer T_12) ? T_12 extends MetadataOf<TLeft> ? T_12 extends {
+    readonly kind: "result";
+  } ? T_12 : never : never : never) ? T_11 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>>);
+  readonly kind: "operator";
+  readonly nullableFrom: NullabilityOf<R | (TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_13) ? T_13 extends MetadataOf<TLeft> ? T_13 extends {
+    readonly kind: "result";
+  } ? T_13 : never : never : never) extends (infer T_14) ? T_14 extends (MetadataOf<TLeft> extends (infer T_15) ? T_15 extends MetadataOf<TLeft> ? T_15 extends {
+    readonly kind: "result";
+  } ? T_15 : never : never : never) ? T_14 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_16) ? T_16 extends MetadataOf<TLeft> ? T_16 extends {
+    readonly kind: "result";
+  } ? T_16 : never : never : never) extends (infer T_17) ? T_17 extends (MetadataOf<TLeft> extends (infer T_18) ? T_18 extends MetadataOf<TLeft> ? T_18 extends {
+    readonly kind: "result";
+  } ? T_18 : never : never : never) ? T_17 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_19) ? T_19 extends MetadataOf<TLeft> ? T_19 extends {
+    readonly kind: "result";
+  } ? T_19 : never : never : never) extends (infer T_20) ? T_20 extends (MetadataOf<TLeft> extends (infer T_21) ? T_21 extends MetadataOf<TLeft> ? T_21 extends {
+    readonly kind: "result";
+  } ? T_21 : never : never : never) ? T_20 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_22) ? T_22 extends MetadataOf<TLeft> ? T_22 extends {
+    readonly kind: "result";
+  } ? T_22 : never : never : never) extends (infer T_23) ? T_23 extends (MetadataOf<TLeft> extends (infer T_24) ? T_24 extends MetadataOf<TLeft> ? T_24 extends {
+    readonly kind: "result";
+  } ? T_24 : never : never : never) ? T_23 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>>)>;
+  readonly sqlType: (MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_25) ? T_25 extends MetadataOf<TLeft> ? T_25 extends {
+    readonly kind: "result";
+  } ? T_25 : never : never : never) extends (infer T_26) ? T_26 extends (MetadataOf<TLeft> extends (infer T_27) ? T_27 extends MetadataOf<TLeft> ? T_27 extends {
+    readonly kind: "result";
+  } ? T_27 : never : never : never) ? T_26 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_28) ? T_28 extends MetadataOf<TLeft> ? T_28 extends {
+    readonly kind: "result";
+  } ? T_28 : never : never : never) extends (infer T_29) ? T_29 extends (MetadataOf<TLeft> extends (infer T_30) ? T_30 extends MetadataOf<TLeft> ? T_30 extends {
+    readonly kind: "result";
+  } ? T_30 : never : never : never) ? T_29 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_31) ? T_31 extends MetadataOf<TLeft> ? T_31 extends {
+    readonly kind: "result";
+  } ? T_31 : never : never : never) extends (infer T_32) ? T_32 extends (MetadataOf<TLeft> extends (infer T_33) ? T_33 extends MetadataOf<TLeft> ? T_33 extends {
+    readonly kind: "result";
+  } ? T_33 : never : never : never) ? T_32 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_34) ? T_34 extends MetadataOf<TLeft> ? T_34 extends {
+    readonly kind: "result";
+  } ? T_34 : never : never : never) extends (infer T_35) ? T_35 extends (MetadataOf<TLeft> extends (infer T_36) ? T_36 extends MetadataOf<TLeft> ? T_36 extends {
+    readonly kind: "result";
+  } ? T_36 : never : never : never) ? T_35 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>>> extends (infer T_37) ? T_37 extends MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_38) ? T_38 extends MetadataOf<TLeft> ? T_38 extends {
+    readonly kind: "result";
+  } ? T_38 : never : never : never) extends (infer T_39) ? T_39 extends (MetadataOf<TLeft> extends (infer T_40) ? T_40 extends MetadataOf<TLeft> ? T_40 extends {
+    readonly kind: "result";
+  } ? T_40 : never : never : never) ? T_39 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_41) ? T_41 extends MetadataOf<TLeft> ? T_41 extends {
+    readonly kind: "result";
+  } ? T_41 : never : never : never) extends (infer T_42) ? T_42 extends (MetadataOf<TLeft> extends (infer T_43) ? T_43 extends MetadataOf<TLeft> ? T_43 extends {
+    readonly kind: "result";
+  } ? T_43 : never : never : never) ? T_42 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_44) ? T_44 extends MetadataOf<TLeft> ? T_44 extends {
+    readonly kind: "result";
+  } ? T_44 : never : never : never) extends (infer T_45) ? T_45 extends (MetadataOf<TLeft> extends (infer T_46) ? T_46 extends MetadataOf<TLeft> ? T_46 extends {
+    readonly kind: "result";
+  } ? T_46 : never : never : never) ? T_45 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_47) ? T_47 extends MetadataOf<TLeft> ? T_47 extends {
+    readonly kind: "result";
+  } ? T_47 : never : never : never) extends (infer T_48) ? T_48 extends (MetadataOf<TLeft> extends (infer T_49) ? T_49 extends MetadataOf<TLeft> ? T_49 extends {
+    readonly kind: "result";
+  } ? T_49 : never : never : never) ? T_48 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>>> ? T_37 extends {
+    readonly kind: "result";
+  } ? T_37 : never : never : never) extends (infer T_50) ? T_50 extends (MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_51) ? T_51 extends MetadataOf<TLeft> ? T_51 extends {
+    readonly kind: "result";
+  } ? T_51 : never : never : never) extends (infer T_52) ? T_52 extends (MetadataOf<TLeft> extends (infer T_53) ? T_53 extends MetadataOf<TLeft> ? T_53 extends {
+    readonly kind: "result";
+  } ? T_53 : never : never : never) ? T_52 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_54) ? T_54 extends MetadataOf<TLeft> ? T_54 extends {
+    readonly kind: "result";
+  } ? T_54 : never : never : never) extends (infer T_55) ? T_55 extends (MetadataOf<TLeft> extends (infer T_56) ? T_56 extends MetadataOf<TLeft> ? T_56 extends {
+    readonly kind: "result";
+  } ? T_56 : never : never : never) ? T_55 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_57) ? T_57 extends MetadataOf<TLeft> ? T_57 extends {
+    readonly kind: "result";
+  } ? T_57 : never : never : never) extends (infer T_58) ? T_58 extends (MetadataOf<TLeft> extends (infer T_59) ? T_59 extends MetadataOf<TLeft> ? T_59 extends {
+    readonly kind: "result";
+  } ? T_59 : never : never : never) ? T_58 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_60) ? T_60 extends MetadataOf<TLeft> ? T_60 extends {
+    readonly kind: "result";
+  } ? T_60 : never : never : never) extends (infer T_61) ? T_61 extends (MetadataOf<TLeft> extends (infer T_62) ? T_62 extends MetadataOf<TLeft> ? T_62 extends {
+    readonly kind: "result";
+  } ? T_62 : never : never : never) ? T_61 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>>> extends (infer T_63) ? T_63 extends MetadataOf<TLeft & SqlCapabilityValidation<(MetadataOf<TLeft> extends (infer T_64) ? T_64 extends MetadataOf<TLeft> ? T_64 extends {
+    readonly kind: "result";
+  } ? T_64 : never : never : never) extends (infer T_65) ? T_65 extends (MetadataOf<TLeft> extends (infer T_66) ? T_66 extends MetadataOf<TLeft> ? T_66 extends {
+    readonly kind: "result";
+  } ? T_66 : never : never : never) ? T_65 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, SqlNumericLike> & SqlCapabilityValidation<OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_67) ? T_67 extends MetadataOf<TLeft> ? T_67 extends {
+    readonly kind: "result";
+  } ? T_67 : never : never : never) extends (infer T_68) ? T_68 extends (MetadataOf<TLeft> extends (infer T_69) ? T_69 extends MetadataOf<TLeft> ? T_69 extends {
+    readonly kind: "result";
+  } ? T_69 : never : never : never) ? T_68 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>, SqlNumericLike> & SqlOrderValidation<(MetadataOf<TLeft> extends (infer T_70) ? T_70 extends MetadataOf<TLeft> ? T_70 extends {
+    readonly kind: "result";
+  } ? T_70 : never : never : never) extends (infer T_71) ? T_71 extends (MetadataOf<TLeft> extends (infer T_72) ? T_72 extends MetadataOf<TLeft> ? T_72 extends {
+    readonly kind: "result";
+  } ? T_72 : never : never : never) ? T_71 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never, OperandSqlType<R, (MetadataOf<TLeft> extends (infer T_73) ? T_73 extends MetadataOf<TLeft> ? T_73 extends {
+    readonly kind: "result";
+  } ? T_73 : never : never : never) extends (infer T_74) ? T_74 extends (MetadataOf<TLeft> extends (infer T_75) ? T_75 extends MetadataOf<TLeft> ? T_75 extends {
+    readonly kind: "result";
+  } ? T_75 : never : never : never) ? T_74 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never>>> ? T_63 extends {
+    readonly kind: "result";
+  } ? T_63 : never : never : never) ? T_50 extends {
+    readonly sqlType: infer TSqlType extends AnySqlType;
+  } ? TSqlType : SqlUnknown : never : never;
+}>;
 //#endregion
 //#region src/query/clauses/types.d.ts
 type ClausePlacement = 'before-select' | 'after-select';
@@ -2430,11 +2794,23 @@ type OmissionValidation<TParts extends readonly SelectPart[]> = [InvalidOmittedC
 //#region src/expressions/operators/logic.d.ts
 type BooleanOperand = BooleanExpression<any> | Omit$1;
 type PresentConditions<TConditions extends readonly BooleanOperand[]> = Exclude<TConditions[number], Omit$1>;
-type BooleanComposition<TConditions extends readonly BooleanOperand[]> = [PresentConditions<TConditions>] extends [never] ? Omit$1 : ResultExpression<boolean, PresentConditions<TConditions>, 'operator', NullabilityOf<PresentConditions<TConditions>>, SqlBoolean> | (Omit$1 extends TConditions[number] ? Omit$1 : never);
+type BooleanComposition<TConditions extends readonly BooleanOperand[]> = [PresentConditions<TConditions>] extends [never] ? Omit$1 : ResultExpression<{
+  readonly output: boolean;
+  readonly children: PresentConditions<TConditions>;
+  readonly kind: 'operator';
+  readonly nullableFrom: NullabilityOf<PresentConditions<TConditions>>;
+  readonly sqlType: SqlBoolean;
+}> | (Omit$1 extends TConditions[number] ? Omit$1 : never);
 type BooleanConditionsValidation<TConditions extends readonly unknown[]> = TConditions extends readonly [infer THead, ...infer TTail] ? (THead extends Omit$1 ? unknown : SqlCapabilityValidation<ExpressionSqlType<THead>, SqlBoolean>) & BooleanConditionsValidation<TTail> : unknown;
 declare function and<const TConditions extends readonly BooleanOperand[]>(...conditions: TConditions & BooleanConditionsValidation<TConditions>): BooleanComposition<TConditions>;
 declare function or<const TConditions extends readonly BooleanOperand[]>(...conditions: TConditions & BooleanConditionsValidation<TConditions>): BooleanComposition<TConditions>;
-declare function not<TCondition extends BooleanExpression<any>>(condition: TCondition & SqlCapabilityValidation<ExpressionSqlType<TCondition>, SqlBoolean>): ResultExpression<boolean, TCondition, "operator", NullabilityOf<TCondition>, SqlBoolean>;
+declare function not<TCondition extends BooleanExpression<any>>(condition: TCondition & SqlCapabilityValidation<ExpressionSqlType<TCondition>, SqlBoolean>): ResultExpression<{
+  readonly output: boolean;
+  readonly children: TCondition;
+  readonly kind: "operator";
+  readonly nullableFrom: NullabilityOf<TCondition>;
+  readonly sqlType: SqlBoolean;
+}>;
 //#endregion
 //#region src/schema/alias.d.ts
 type SourceIndexes$1<T> = T extends {
@@ -2445,7 +2821,13 @@ type AliasIdentity<TBase, TAlias extends string> = {
   readonly alias: TAlias;
   readonly base: TBase;
 };
-type AliasedSource<TBase extends Source<any, any, any, any, any>, TAlias extends string> = Source<AliasIdentity<SourceIdentity<TBase>, TAlias>, SourceRow<TBase>, RequiresOuterMetadataOf<TBase> | CapabilityMetadataOf<TBase>, SourceSqlTypeMap<TBase>, SourceConstraints<TBase>> & {
+type AliasedSource<TBase extends Source<any>, TAlias extends string> = Source<{
+  readonly identity: AliasIdentity<SourceIdentity<TBase>, TAlias>;
+  readonly row: SourceRow<TBase>;
+  readonly metadata: RequiresOuterMetadataOf<TBase> | CapabilityMetadataOf<TBase>;
+  readonly sqlTypes: SourceSqlTypeMap<TBase>;
+  readonly constraints: SourceConstraints<TBase>;
+}> & {
   readonly alias: TAlias;
   readonly base: TBase;
   readonly columns: SourceColumns<SourceRow<TBase>, AliasIdentity<SourceIdentity<TBase>, TAlias>, SourceSqlTypeMap<TBase>>;
@@ -2456,18 +2838,33 @@ type QueryAliasIdentity<TAlias extends string> = {
   readonly sourceKind: 'query-alias';
   readonly alias: TAlias;
 };
-type QuerySource<TRow extends object, TAlias extends string, TMetadata = never, TSqlTypes extends SourceSqlTypes<TRow> = UnknownSourceSqlTypes<TRow>> = Source<QueryAliasIdentity<TAlias>, TRow, TMetadata, TSqlTypes> & {
+type QuerySource<TRow extends object, TAlias extends string, TMetadata = never, TSqlTypes extends SourceSqlTypes<TRow> = UnknownSourceSqlTypes<TRow>> = Source<{
+  readonly identity: QueryAliasIdentity<TAlias>;
+  readonly row: TRow;
+  readonly metadata: TMetadata;
+  readonly sqlTypes: TSqlTypes;
+}> & {
   readonly alias: TAlias;
-  readonly query: Query<TRow, any, TMetadata, TSqlTypes>;
+  readonly query: Query$1<{
+    readonly row: TRow;
+    readonly cardinality: any;
+    readonly metadata: TMetadata;
+    readonly sqlTypes: TSqlTypes;
+  }>;
   readonly columns: SourceColumns<TRow, QueryAliasIdentity<TAlias>, TSqlTypes>;
 } & SourceColumns<TRow, QueryAliasIdentity<TAlias>, TSqlTypes>;
-declare function alias<TBase extends Source<any, any, any, any, any>, const TAlias extends string>(source: TBase, name: TAlias): AliasedSource<TBase, TAlias>;
+declare function alias<TBase extends Source<any>, const TAlias extends string>(source: TBase, name: TAlias): AliasedSource<TBase, TAlias>;
 declare function alias<TQuery extends AnyQuery, const TAlias extends string>(query: TQuery, name: TAlias): QuerySource<QueryRow<TQuery>, TAlias, RequiresOuterMetadataOf<TQuery> | CapabilityMetadataOf<TQuery>, QuerySqlTypeMap<TQuery>>;
 type LateralIdentity<TAlias extends string> = {
   readonly sourceKind: 'lateral';
   readonly alias: TAlias;
 };
-type LateralSource<TQuery extends AnyQuery, TAlias extends string> = Source<LateralIdentity<TAlias>, QueryRow<TQuery>, RequiresOuterMetadataOf<TQuery> | CapabilityMetadataOf<TQuery>, QuerySqlTypeMap<TQuery>> & {
+type LateralSource<TQuery extends AnyQuery, TAlias extends string> = Source<{
+  readonly identity: LateralIdentity<TAlias>;
+  readonly row: QueryRow<TQuery>;
+  readonly metadata: RequiresOuterMetadataOf<TQuery> | CapabilityMetadataOf<TQuery>;
+  readonly sqlTypes: QuerySqlTypeMap<TQuery>;
+}> & {
   readonly alias: TAlias;
   readonly query: TQuery;
   readonly columns: SourceColumns<QueryRow<TQuery>, LateralIdentity<TAlias>, QuerySqlTypeMap<TQuery>>;
@@ -2745,53 +3142,83 @@ interface FromClause<TSources extends readonly AnySource[] = readonly AnySource[
   readonly sources: TSources;
 }
 declare function from<const TSources extends readonly [AnySource, ...AnySource[]]>(...sources: TSources): FromClause<TSources, RequiresOuterMetadataOf<TSources[number]> | CapabilityMetadataOf<TSources[number]>>;
-type FromSource<T> = T extends FromClause<infer TSources> ? TSources[number] extends (infer TSource) ? TSource extends Source<any, any, any, any, any> ? [SourceProvision<TSource>] extends [never] ? never : TSource : never : never : never;
+type FromSource<T> = T extends FromClause<infer TSources> ? TSources[number] extends (infer TSource) ? TSource extends Source<any> ? [SourceProvision<TSource>] extends [never] ? never : TSource : never : never : never;
 type FromScope<T> = T extends FromClause<infer TSources> ? ProvidedSourceIdentity<TSources[number]> : never;
 //#endregion
 //#region src/query/set.d.ts
 type SetOperator = 'UNION' | 'UNION ALL' | 'INTERSECT' | 'EXCEPT';
-interface SetQuery<TRow extends object = Record<string, unknown>, TCardinality extends QueryCardinality = QueryCardinality, TMetadata = never, TSqlTypes = UnknownSourceSqlTypes<TRow>> extends Query<TRow, TCardinality, TMetadata, TSqlTypes> {
+interface SetQuery<TConfig extends QueryConfig = {}> extends Query<TConfig> {
   readonly queryKind: 'set';
 }
 type SetSqlCompatibilityFailures<TLeft, TRight> = { [K in keyof QuerySqlTypeMap<TLeft>]: K extends keyof QuerySqlTypeMap<TRight> ? SqlEqualityCompatible<QuerySqlTypeMap<TLeft>[K], QuerySqlTypeMap<TRight>[K]> extends true ? never : K : K; }[keyof QuerySqlTypeMap<TLeft>];
 type SetSqlValidation<TLeft, TRight> = [SetSqlCompatibilityFailures<TLeft, TRight>] extends [never] ? unknown : QueryTypeValidation<'incompatible-set-domain', 'set-operation.columns', 'Make corresponding set-operation fields use compatible SQL domains.', SetSqlCompatibilityFailures<TLeft, TRight>>;
-declare function union<TLeft extends Query<any, any, any, any>, TRight extends Query<QueryRow<TLeft>, any, any, any>>(left: TLeft & SetSqlValidation<TLeft, TRight>, right: TRight): SetQuery<QueryRow<TLeft & SetSqlValidation<TLeft, TRight>>, any, CapabilityMetadataOf<TRight | (TLeft & SetSqlValidation<TLeft, TRight>)>, QuerySqlTypeMap<TLeft & SetSqlValidation<TLeft, TRight>>>;
-declare function unionAll<TLeft extends Query<any, any, any, any>, TRight extends Query<QueryRow<TLeft>, any, any, any>>(left: TLeft & SetSqlValidation<TLeft, TRight>, right: TRight): SetQuery<QueryRow<TLeft & SetSqlValidation<TLeft, TRight>>, any, CapabilityMetadataOf<TRight | (TLeft & SetSqlValidation<TLeft, TRight>)>, QuerySqlTypeMap<TLeft & SetSqlValidation<TLeft, TRight>>>;
-declare function intersect<TLeft extends Query<any, any, any, any>, TRight extends Query<QueryRow<TLeft>, any, any, any>>(left: TLeft & SetSqlValidation<TLeft, TRight>, right: TRight): SetQuery<QueryRow<TLeft & SetSqlValidation<TLeft, TRight>>, any, CapabilityMetadataOf<TRight | (TLeft & SetSqlValidation<TLeft, TRight>)>, QuerySqlTypeMap<TLeft & SetSqlValidation<TLeft, TRight>>>;
-declare function except<TLeft extends Query<any, any, any, any>, TRight extends Query<QueryRow<TLeft>, any, any, any>>(left: TLeft & SetSqlValidation<TLeft, TRight>, right: TRight): SetQuery<QueryRow<TLeft & SetSqlValidation<TLeft, TRight>>, any, CapabilityMetadataOf<TRight | (TLeft & SetSqlValidation<TLeft, TRight>)>, QuerySqlTypeMap<TLeft & SetSqlValidation<TLeft, TRight>>>;
+declare function union<TLeft extends AnyQuery, TRight extends QueryWithRow<QueryRow<TLeft>>>(left: TLeft & SetSqlValidation<TLeft, TRight>, right: TRight): SetQuery<{
+  readonly row: QueryRow<TLeft & SetSqlValidation<TLeft, TRight>>;
+  readonly cardinality: any;
+  readonly metadata: CapabilityMetadataOf<TRight | (TLeft & SetSqlValidation<TLeft, TRight>)>;
+  readonly sqlTypes: QuerySqlTypeMap<TLeft & SetSqlValidation<TLeft, TRight>>;
+}>;
+declare function unionAll<TLeft extends AnyQuery, TRight extends QueryWithRow<QueryRow<TLeft>>>(left: TLeft & SetSqlValidation<TLeft, TRight>, right: TRight): SetQuery<{
+  readonly row: QueryRow<TLeft & SetSqlValidation<TLeft, TRight>>;
+  readonly cardinality: any;
+  readonly metadata: CapabilityMetadataOf<TRight | (TLeft & SetSqlValidation<TLeft, TRight>)>;
+  readonly sqlTypes: QuerySqlTypeMap<TLeft & SetSqlValidation<TLeft, TRight>>;
+}>;
+declare function intersect<TLeft extends AnyQuery, TRight extends QueryWithRow<QueryRow<TLeft>>>(left: TLeft & SetSqlValidation<TLeft, TRight>, right: TRight): SetQuery<{
+  readonly row: QueryRow<TLeft & SetSqlValidation<TLeft, TRight>>;
+  readonly cardinality: any;
+  readonly metadata: CapabilityMetadataOf<TRight | (TLeft & SetSqlValidation<TLeft, TRight>)>;
+  readonly sqlTypes: QuerySqlTypeMap<TLeft & SetSqlValidation<TLeft, TRight>>;
+}>;
+declare function except<TLeft extends AnyQuery, TRight extends QueryWithRow<QueryRow<TLeft>>>(left: TLeft & SetSqlValidation<TLeft, TRight>, right: TRight): SetQuery<{
+  readonly row: QueryRow<TLeft & SetSqlValidation<TLeft, TRight>>;
+  readonly cardinality: any;
+  readonly metadata: CapabilityMetadataOf<TRight | (TLeft & SetSqlValidation<TLeft, TRight>)>;
+  readonly sqlTypes: QuerySqlTypeMap<TLeft & SetSqlValidation<TLeft, TRight>>;
+}>;
 //#endregion
 //#region src/query/clauses/with.d.ts
 type CteIdentity<TName extends string> = {
   readonly sourceKind: 'cte';
   readonly name: TName;
 };
-type CteSource<TName extends string, TRow extends object, TMetadata = never, TSqlTypes extends SourceSqlTypes<TRow> = UnknownSourceSqlTypes<TRow>> = Source<CteIdentity<TName>, TRow, TMetadata, TSqlTypes> & {
+type CteSource<TName extends string, TRow extends object, TMetadata = never, TSqlTypes extends SourceSqlTypes<TRow> = UnknownSourceSqlTypes<TRow>> = Source<{
+  readonly identity: CteIdentity<TName>;
+  readonly row: TRow;
+  readonly metadata: TMetadata;
+  readonly sqlTypes: TSqlTypes;
+}> & {
   readonly cteName: TName;
-  readonly query: Query<TRow, any, TMetadata, TSqlTypes>;
+  readonly query: Query$1<{
+    readonly row: TRow;
+    readonly cardinality: any;
+    readonly metadata: TMetadata;
+    readonly sqlTypes: TSqlTypes;
+  }>;
   readonly columns: SourceColumns<TRow, CteIdentity<TName>, TSqlTypes>;
 } & SourceColumns<TRow, CteIdentity<TName>, TSqlTypes>;
-type CteMetadata<TQuery extends Query<any, any, any, any>> = RequiresOuterMetadataOf<TQuery> | CapabilityMetadataOf<TQuery>;
+type CteMetadata<TQuery extends AnyQuery> = RequiresOuterMetadataOf<TQuery> | CapabilityMetadataOf<TQuery>;
 type IsUnknown<T> = unknown extends T ? [keyof T] extends [never] ? true : false : false;
 type RecursiveMemberFieldFailures<TAnchor, TMember> = Exclude<keyof QueryRow<TAnchor>, keyof QueryRow<TMember>> | Exclude<keyof QueryRow<TMember>, keyof QueryRow<TAnchor>> | { [K in keyof QueryRow<TAnchor> & keyof QueryRow<TMember>]: [IsUnknown<QueryRow<TMember>[K]>] extends [true] ? never : [IsUnknown<QueryRow<TAnchor>[K]>] extends [true] ? never : [QueryRow<TMember>[K]] extends [QueryRow<TAnchor>[K]] ? never : K; }[keyof QueryRow<TAnchor> & keyof QueryRow<TMember>];
 type RecursiveMemberShapeValidation<TAnchor, TMember> = [RecursiveMemberFieldFailures<TAnchor, TMember>] extends [never] ? unknown : QueryTypeValidation<'incompatible-set-domain', 'recursive-cte.member', 'The recursive member must expose the anchor fields with compatible application types.', RecursiveMemberFieldFailures<TAnchor, TMember>>;
 type RecursiveMemberValidation<TAnchor, TMember> = RecursiveMemberShapeValidation<TAnchor, TMember> & SetSqlValidation<TAnchor, TMember>;
-type RecursiveCteSelf<TName extends string, TAnchor extends SelectQuery<any, any, any, any>> = CteSource<TName, QueryRow<TAnchor>, CteMetadata<TAnchor>, QuerySqlTypeMap<TAnchor>>;
+type RecursiveCteSelf<TName extends string, TAnchor extends SelectQuery<any>> = CteSource<TName, QueryRow<TAnchor>, CteMetadata<TAnchor>, QuerySqlTypeMap<TAnchor>>;
 /** The typed source returned by {@link recursiveCte}. */
-type RecursiveCteSource<TName extends string, TAnchor extends SelectQuery<any, any, any, any>, TMember extends SelectQuery<any, any, any, any>> = CteSource<TName, QueryRow<TAnchor>, CteMetadata<TAnchor | TMember>, QuerySqlTypeMap<TAnchor>>;
-type AnyCteSource = Source<any, any, any, any, any> & {
+type RecursiveCteSource<TName extends string, TAnchor extends SelectQuery<any>, TMember extends SelectQuery<any>> = CteSource<TName, QueryRow<TAnchor>, CteMetadata<TAnchor | TMember>, QuerySqlTypeMap<TAnchor>>;
+type AnyCteSource = Source<any> & {
   readonly cteName: string;
-  readonly query: Query<any, any, any> & {
+  readonly query: AnyQuery & {
     readonly recursive?: boolean;
   };
   readonly columns: Record<string, unknown>;
 };
-declare function cte<const TName extends string, TQuery extends Query<any, any, any>>(name: TName, query: TQuery): CteSource<TName, QueryRow<TQuery>, RequiresOuterMetadataOf<TQuery> | CapabilityMetadataOf<TQuery>, QuerySqlTypeMap<TQuery>>;
+declare function cte<const TName extends string, TQuery extends AnyQuery>(name: TName, query: TQuery): CteSource<TName, QueryRow<TQuery>, RequiresOuterMetadataOf<TQuery> | CapabilityMetadataOf<TQuery>, QuerySqlTypeMap<TQuery>>;
 /**
  * Define a typed recursive `WITH` source from an anchor and one recursive
  * member. The callback receives a forward reference that must be introduced
  * through the member query's normal FROM or JOIN scope.
  */
-declare function recursiveCte<const TName extends string, TAnchor extends SelectQuery<any, any, any, any>, TMember extends SelectQuery<any, any, any, any>>(name: TName, anchor: TAnchor, member: ((self: RecursiveCteSelf<TName, TAnchor>) => TMember) & ((self: RecursiveCteSelf<TName, TAnchor>) => TMember & RecursiveMemberValidation<NoInfer<TAnchor>, NoInfer<TMember>>)): RecursiveCteSource<TName, TAnchor, TMember>;
+declare function recursiveCte<const TName extends string, TAnchor extends SelectQuery<any>, TMember extends SelectQuery<any>>(name: TName, anchor: TAnchor, member: ((self: RecursiveCteSelf<TName, TAnchor>) => TMember) & ((self: RecursiveCteSelf<TName, TAnchor>) => TMember & RecursiveMemberValidation<NoInfer<TAnchor>, NoInfer<TMember>>)): RecursiveCteSource<TName, TAnchor, TMember>;
 interface WithClause<TMetadata = never> extends SelectClause<TMetadata> {
   readonly clauseKind: 'with';
   readonly ctes: readonly AnyCteSource[];
@@ -2799,7 +3226,7 @@ interface WithClause<TMetadata = never> extends SelectClause<TMetadata> {
 declare function withCte<const TCtes extends readonly AnyCteSource[]>(...ctes: TCtes): WithClause<RequiresOuterMetadataOf<TCtes[number]> | CapabilityMetadataOf<TCtes[number]>>;
 //#endregion
 //#region src/query/select/types.d.ts
-interface SelectQuery<TRow extends object = Record<string, unknown>, TCardinality extends QueryCardinality = QueryCardinality, TMetadata = never, TSqlTypes = UnknownSourceSqlTypes<TRow>> extends Query<TRow, TCardinality, TMetadata, TSqlTypes> {
+interface SelectQuery<TConfig extends QueryConfig = {}> extends Query$1<TConfig> {
   readonly queryKind: 'select';
 }
 type ExactlyOneSafeClause = DistinctClause | OrderByClause<any> | RowLockClause | WithClause;
@@ -2857,7 +3284,12 @@ type GroupingValidation<TSelection, TClauses extends readonly AnySelectClause[]>
 //#endregion
 //#region src/query/select.d.ts
 type SelectMetadata<TSelection, TClauses extends readonly AnySelectClause[]> = ([RequiredOuterScope<TSelection, TClauses>] extends [never] ? never : RequiresOuterSourceMeta<RequiredOuterScope<TSelection, TClauses>>) | CapabilityMetadataOf<SelectionItems<TSelection> | TClauses[number]>;
-declare function select<const TSelection extends Selection, const TParts extends readonly SelectPart[], TClauses extends readonly AnySelectClause[] = PresentClauses<TParts>>(selection: TSelection, ...parts: TParts & OmissionValidation<TParts> & ScopeValidation<TSelection, TClauses> & GroupingValidation<TSelection, TClauses>): SelectQuery<SelectionOutput<TSelection, NullableSources<TClauses>>, SelectCardinality<TParts>, SelectMetadata<TSelection, TClauses>, SelectionSqlTypes<TSelection, SelectionOutput<TSelection, NullableSources<TClauses>>>>;
+declare function select<const TSelection extends Selection, const TParts extends readonly SelectPart[], TClauses extends readonly AnySelectClause[] = PresentClauses<TParts>>(selection: TSelection, ...parts: TParts & OmissionValidation<TParts> & ScopeValidation<TSelection, TClauses> & GroupingValidation<TSelection, TClauses>): SelectQuery<{
+  readonly row: SelectionOutput<TSelection, NullableSources<TClauses>>;
+  readonly cardinality: SelectCardinality<TParts>;
+  readonly metadata: SelectMetadata<TSelection, TClauses>;
+  readonly sqlTypes: SelectionSqlTypes<TSelection, SelectionOutput<TSelection, NullableSources<TClauses>>>;
+}>;
 //#endregion
 //#region src/query/clauses/correlate.d.ts
 /**
@@ -2876,6 +3308,7 @@ interface ReturningClause<TSelection extends Selection = Selection> extends Frag
   readonly clauseKind: 'returning';
   readonly selection: TSelection;
   readonly row: SelectionOutput<TSelection>;
+  readonly resultShape: ResultShape;
 }
 type ReturningRow<T> = [T] extends [ReturningClause<infer TSelection>] ? SelectionOutput<TSelection> : Record<string, never>;
 /** SQL semantic domains retained by a mutation RETURNING projection. */
@@ -2884,8 +3317,19 @@ declare function returning<const TSelection extends Selection>(selection: TSelec
 //#endregion
 //#region src/query/mutation/types.d.ts
 type MutationKind = 'insert' | 'update' | 'delete';
-interface MutationQuery<TRow extends object = Record<string, unknown>, TKind extends MutationKind = MutationKind, TMetadata = never, TSqlTypes = UnknownSourceSqlTypes<TRow>> extends Query<TRow, 'many', TMetadata, TSqlTypes> {
-  readonly queryKind: TKind;
+interface MutationQueryConfig extends Omit<QueryConfig, 'cardinality'> {
+  readonly kind?: MutationKind;
+}
+type MutationConfigValue<TConfig, TKey extends PropertyKey, TFallback> = TKey extends keyof TConfig ? TConfig[TKey] : TFallback;
+type MutationConfigRow<TConfig> = Extract<MutationConfigValue<TConfig, 'row', Record<string, unknown>>, object>;
+type MutationConfigKind<TConfig> = Extract<MutationConfigValue<TConfig, 'kind', MutationKind>, MutationKind>;
+interface MutationQuery<TConfig extends MutationQueryConfig = {}> extends Query$1<{
+  readonly row: MutationConfigRow<TConfig>;
+  readonly cardinality: 'many';
+  readonly metadata: MutationConfigValue<TConfig, 'metadata', never>;
+  readonly sqlTypes: MutationConfigValue<TConfig, 'sqlTypes', UnknownSourceSqlTypes<MutationConfigRow<TConfig>>>;
+}> {
+  readonly queryKind: MutationConfigKind<TConfig>;
 }
 type MutationCapabilityMetadata<T> = CapabilityMetadataOf<T>;
 interface AllowAllClause extends Fragment<never> {
@@ -2908,14 +3352,23 @@ type UpdateAssignmentValue<T> = T | ExpressionWithOutput<T> | Omit$1;
 type UpdateAssignments<TTable extends AnyTable> = { -readonly [K in keyof TableUpdateInput<TTable['definitions']>]?: UpdateAssignmentValue<TableUpdateInput<TTable['definitions']>[K]>; };
 type InvalidUpdateAssignments<TTable extends AnyTable, TAssignments> = TAssignments extends UpdateAssignments<TTable> ? Exclude<keyof TAssignments, keyof UpdateAssignments<TTable>> extends never ? unknown : QueryTypeValidation<'invalid-update', 'update.assignments', 'Use only columns declared by the update table.', Exclude<keyof TAssignments, keyof UpdateAssignments<TTable>>> : QueryTypeValidation<'invalid-update', 'update.assignments', 'Provide values or expressions matching the update table columns.', TAssignments>;
 type AssignmentScopeValidation<TTable extends AnyTable, TAssignments> = [Exclude<RequiresOf<TAssignments extends object ? TAssignments[keyof TAssignments] : never>, SourceIdentity<TTable>>] extends [never] ? unknown : QueryTypeValidation<'missing-source', 'update.assignments', 'Use expressions scoped to the update table.', Exclude<RequiresOf<TAssignments extends object ? TAssignments[keyof TAssignments] : never>, SourceIdentity<TTable>>>;
-declare function update<const TTable extends AnyTable, const TAssignments extends object, const TClauses extends readonly MutationClause[]>(table: TTable, assignments: TAssignments & InvalidUpdateAssignments<TTable, TAssignments> & AssignmentScopeValidation<TTable, TAssignments>, ...clauses: TClauses & MutationScopeValidation<TTable, TClauses> & MutationSafetyValidation<TClauses>): MutationQuery<MutationRow<TClauses>, 'update', MutationCapabilityMetadata<TClauses[number] | (TAssignments extends object ? TAssignments[keyof TAssignments] : never)>, MutationSqlTypes<TClauses>>;
+declare function update<const TTable extends AnyTable, const TAssignments extends object, const TClauses extends readonly MutationClause[]>(table: TTable, assignments: TAssignments & InvalidUpdateAssignments<TTable, TAssignments> & AssignmentScopeValidation<TTable, TAssignments>, ...clauses: TClauses & MutationScopeValidation<TTable, TClauses> & MutationSafetyValidation<TClauses>): MutationQuery<{
+  readonly row: MutationRow<TClauses>;
+  readonly kind: 'update';
+  readonly metadata: MutationCapabilityMetadata<TClauses[number] | (TAssignments extends object ? TAssignments[keyof TAssignments] : never)>;
+  readonly sqlTypes: MutationSqlTypes<TClauses>;
+}>;
 //#endregion
 //#region src/query/mutation/on-conflict.d.ts
 type ExcludedIdentity<TTableIdentity> = {
   readonly sourceKind: 'excluded';
   readonly table: TTableIdentity;
 };
-type ExcludedSource<TTable extends AnyTable> = Source<ExcludedIdentity<SourceIdentity<TTable>>, SourceRow<TTable>, never, ExcludedSqlTypes<TTable>> & SourceColumns<SourceRow<TTable>, ExcludedIdentity<SourceIdentity<TTable>>, ExcludedSqlTypes<TTable>>;
+type ExcludedSource<TTable extends AnyTable> = Source<{
+  readonly identity: ExcludedIdentity<SourceIdentity<TTable>>;
+  readonly row: SourceRow<TTable>;
+  readonly sqlTypes: ExcludedSqlTypes<TTable>;
+}> & SourceColumns<SourceRow<TTable>, ExcludedIdentity<SourceIdentity<TTable>>, ExcludedSqlTypes<TTable>>;
 type ExcludedSqlTypes<TTable extends AnyTable> = SourceSqlTypeMap<TTable> & SourceSqlTypes<SourceRow<TTable>>;
 /** Columns from the proposed INSERT row, available inside DO UPDATE. */
 declare function excluded<const TTable extends AnyTable>(table: TTable): ExcludedSource<TTable>;
@@ -2961,12 +3414,12 @@ interface DefaultValuesSource {
   readonly insertKind: 'default-values';
 }
 declare function defaultValues(): DefaultValuesSource;
-interface InsertSelectSource<TQuery extends Query<any, any, any> = Query<any, any, any>, TColumns extends readonly string[] = readonly string[]> {
+interface InsertSelectSource<TQuery extends AnyQuery = AnyQuery, TColumns extends readonly string[] = readonly string[]> {
   readonly insertKind: 'select';
   readonly query: TQuery;
   readonly columns: TColumns;
 }
-declare function insertSelect<TQuery extends Query<any, any, any>, const TColumns extends readonly [string, ...string[]]>(query: TQuery, columns: TColumns): InsertSelectSource<TQuery, TColumns>;
+declare function insertSelect<TQuery extends AnyQuery, const TColumns extends readonly [string, ...string[]]>(query: TQuery, columns: TColumns): InsertSelectSource<TQuery, TColumns>;
 type InsertSource = ValuesSource<any> | DefaultValuesSource | InsertSelectSource<any, any>;
 type InsertSourceCapabilityMetadata<TSource extends InsertSource> = TSource extends InsertSelectSource<infer TQuery, any> ? CapabilityMetadataOf<TQuery> : never;
 type InsertRow<TTable extends AnyTable> = TableInsertInput<TTable['definitions']>;
@@ -2976,10 +3429,20 @@ type ValidInsertSource<TTable extends AnyTable, TSource extends InsertSource> =
 } ? K : never; }[keyof TTable['definitions']]> extends never ? unknown : QueryTypeValidation<'invalid-insert', 'insert.default-values', 'Provide values for required columns or define defaults for them.', Exclude<keyof TTable['definitions'], { [K in keyof TTable['definitions']]-?: ColumnIsGenerated<TTable['definitions'][K]> extends true ? K : TTable['definitions'][K] extends {
   hasDefault: true;
 } ? K : never; }[keyof TTable['definitions']]>> : TSource extends InsertSelectSource<any, infer TColumns> ? Exclude<TColumns[number], keyof TTable['definitions']> extends never ? Exclude<{ [K in keyof TTable['definitions']]-?: ColumnIsGenerated<TTable['definitions'][K]> extends true ? never : ColumnHasDefault<TTable['definitions'][K]> extends true ? never : K; }[keyof TTable['definitions']], TColumns[number]> extends never ? unknown : QueryTypeValidation<'invalid-insert', 'insert.select.columns', 'Include every required insert column in the target list.', Exclude<{ [K in keyof TTable['definitions']]-?: ColumnIsGenerated<TTable['definitions'][K]> extends true ? never : ColumnHasDefault<TTable['definitions'][K]> extends true ? never : K; }[keyof TTable['definitions']], TColumns[number]>> : QueryTypeValidation<'invalid-insert', 'insert.select.columns', 'Use only columns declared by the insert table.', Exclude<TColumns[number], keyof TTable['definitions']>> : never;
-declare function insertInto<const TTable extends AnyTable, const TSource extends InsertSource, const TClauses extends readonly InsertClause[]>(table: TTable, source: TSource & ValidInsertSource<TTable, TSource>, ...clauses: TClauses & MutationScopeValidation<TTable, TClauses>): MutationQuery<MutationRow<TClauses>, 'insert', MutationCapabilityMetadata<TClauses[number]> | InsertSourceCapabilityMetadata<TSource>, MutationSqlTypes<TClauses>>;
+declare function insertInto<const TTable extends AnyTable, const TSource extends InsertSource, const TClauses extends readonly InsertClause[]>(table: TTable, source: TSource & ValidInsertSource<TTable, TSource>, ...clauses: TClauses & MutationScopeValidation<TTable, TClauses>): MutationQuery<{
+  readonly row: MutationRow<TClauses>;
+  readonly kind: 'insert';
+  readonly metadata: MutationCapabilityMetadata<TClauses[number]> | InsertSourceCapabilityMetadata<TSource>;
+  readonly sqlTypes: MutationSqlTypes<TClauses>;
+}>;
 //#endregion
 //#region src/query/mutation/delete.d.ts
-declare function deleteFrom<const TTable extends AnyTable, const TClauses extends readonly MutationClause[]>(table: TTable, ...clauses: TClauses & MutationScopeValidation<TTable, TClauses> & MutationSafetyValidation<TClauses>): MutationQuery<MutationRow<TClauses>, 'delete', MutationCapabilityMetadata<TClauses[number]>, MutationSqlTypes<TClauses>>;
+declare function deleteFrom<const TTable extends AnyTable, const TClauses extends readonly MutationClause[]>(table: TTable, ...clauses: TClauses & MutationScopeValidation<TTable, TClauses> & MutationSafetyValidation<TClauses>): MutationQuery<{
+  readonly row: MutationRow<TClauses>;
+  readonly kind: 'delete';
+  readonly metadata: MutationCapabilityMetadata<TClauses[number]>;
+  readonly sqlTypes: MutationSqlTypes<TClauses>;
+}>;
 //#endregion
 //#region src/query/clauses/order-by.d.ts
 type OrderDirection = 'ASC' | 'DESC';
@@ -3096,8 +3559,8 @@ type IndexTermsValidation<TTerms extends readonly IndexTerm[]> = [InvalidIndexTe
 declare function index<const TTerms extends readonly [IndexTerm, ...IndexTerm[]], const TOptions extends IndexOptions<any> = {}>(terms: TTerms & IndexTermsValidation<NoInfer<TTerms>>, options?: TOptions): TableIndex<TTerms, TOptions>;
 //#endregion
 //#region src/schema/table.d.ts
-type TableDefinitions = Record<string, ColumnDefinition<any, any, any, any, any, any, any, any, any, any, any>>;
-type AnyTable = Source<any, any, any, any, any> & {
+type TableDefinitions = Record<string, ColumnDefinition<any>>;
+type AnyTable = Source<any> & {
   readonly tableName: string;
   readonly definitions: TableDefinitions;
   /** Application field keys mapped to physical SQL column names. */
@@ -3115,7 +3578,12 @@ type TableIdentity<TName extends string> = {
   readonly tableName: TName;
 };
 type TableColumns<TDefinitions extends TableDefinitions, TIdentity> = { readonly [K in keyof TDefinitions]: SourceColumns<TableRow<TDefinitions>, TIdentity, TableSqlTypes<TDefinitions>>[K] & DeclaredColumnNullability<ColumnIsNullable<TDefinitions[K]>>; };
-type Table<TName extends string = string, TDefinitions extends TableDefinitions = TableDefinitions, TConstraints extends SourceConstraintsRecord = {}, TIndexes extends SourceIndexesRecord = {}> = Source<TableIdentity<TName>, TableRow<TDefinitions>, never, TableSqlTypes<TDefinitions>, TConstraints> & {
+type Table<TName extends string = string, TDefinitions extends TableDefinitions = TableDefinitions, TConstraints extends SourceConstraintsRecord = {}, TIndexes extends SourceIndexesRecord = {}> = Source<{
+  readonly identity: TableIdentity<TName>;
+  readonly row: TableRow<TDefinitions>;
+  readonly sqlTypes: TableSqlTypes<TDefinitions>;
+  readonly constraints: TConstraints;
+}> & {
   readonly tableName: TName;
   readonly definitions: TDefinitions;
   /** Application field keys mapped to physical SQL column names. */
@@ -3182,26 +3650,47 @@ type SourceSqlTypes<TRow extends object> = { readonly [K in keyof TRow]: AnySqlT
 /** A source SQL-domain map used when no stronger metadata was declared. */
 type UnknownSourceSqlTypes<TRow extends object> = { readonly [K in keyof TRow]: SqlUnknown; };
 type SourceColumns<TRow extends object, TIdentity, TSqlTypes extends SourceSqlTypes<TRow> = UnknownSourceSqlTypes<TRow>> = { readonly [K in keyof TRow]: K extends string ? ColumnReference<K, ResultMeta<Required<TRow>[K], TIdentity, TSqlTypes[K]> | RequiresSourceMeta<TIdentity> | ExpressionMeta<ColumnDependency<TIdentity, K>>> : never; };
-interface Source<TIdentity = unknown, TRow extends object = Record<string, unknown>, TMetadata = never, TSqlTypes extends SourceSqlTypes<TRow> = UnknownSourceSqlTypes<TRow>, TConstraints extends SourceConstraintsRecord = {}> extends Fragment<ResultMeta<readonly TRow[]> | ProvidesSourceMeta<TIdentity, TRow> | TMetadata> {
+/** Sparse type-level configuration carried by a relational source. */
+interface SourceConfig {
+  readonly identity?: unknown;
+  readonly row?: object;
+  readonly metadata?: unknown;
+  readonly sqlTypes?: unknown;
+  readonly constraints?: SourceConstraintsRecord;
+}
+type SourceConfigValue<TConfig, TKey extends PropertyKey, TFallback> = TKey extends keyof TConfig ? TConfig[TKey] : TFallback;
+type SourceConfigIdentity<TConfig> = SourceConfigValue<TConfig, 'identity', unknown>;
+type SourceConfigRow<TConfig> = Extract<SourceConfigValue<TConfig, 'row', Record<string, unknown>>, object>;
+type SourceConfigMetadata<TConfig> = SourceConfigValue<TConfig, 'metadata', never>;
+type SourceConfigSqlTypes<TConfig> = Extract<SourceConfigValue<TConfig, 'sqlTypes', UnknownSourceSqlTypes<SourceConfigRow<TConfig>>>, SourceSqlTypes<SourceConfigRow<TConfig>>>;
+type SourceConfigConstraints<TConfig> = Extract<SourceConfigValue<TConfig, 'constraints', {}>, SourceConstraintsRecord>;
+interface Source<TConfig extends SourceConfig = {}> extends Fragment<ResultMeta<readonly SourceConfigRow<TConfig>[]> | ProvidesSourceMeta<SourceConfigIdentity<TConfig>, SourceConfigRow<TConfig>> | SourceConfigMetadata<TConfig>> {
+  /** @internal Type-level configuration retained for inference. */
+  readonly __sourceConfig?: TConfig;
+  /** @internal SQL domains retained for inference. */
+  readonly __sqlTypes?: SourceConfigSqlTypes<TConfig>;
   readonly sourceKind: SourceKind;
-  readonly [sourceIdentity]: TIdentity;
+  readonly [sourceIdentity]: SourceConfigIdentity<TConfig>;
   readonly reference: Fragment<never>;
-  readonly columns: SourceColumns<TRow, TIdentity, TSqlTypes>;
-  readonly constraints: TConstraints;
+  readonly columns: SourceColumns<SourceConfigRow<TConfig>, SourceConfigIdentity<TConfig>, SourceConfigSqlTypes<TConfig>>;
+  readonly constraints: SourceConfigConstraints<TConfig>;
 }
-type AnySource = Source<any, any, any, any, any>;
+type AnySource = Source<any>;
 /** The source-provision fact carried by a source-producing fragment. */
 type SourceProvision<T> = Extract<MetadataOf<T>, {
   readonly kind: 'provides-source';
 }>;
 type ProvidedSourceIdentity<T> = SourceProvision<T> extends ProvidesSourceMeta<infer TIdentity, any> ? TIdentity : never;
 type ProvidedSourceRow<T> = SourceProvision<T> extends ProvidesSourceMeta<any, infer TRow> ? TRow : never;
-type SourceIdentity<T> = T extends Source<infer TIdentity, any, any, any, any> ? TIdentity : never;
-type SourceRow<T> = T extends Source<any, infer TRow, any, any, any> ? TRow : never;
+type SourceIdentity<T> = T extends {
+  readonly [sourceIdentity]: infer TIdentity;
+} ? TIdentity : never;
+type SourceRow<T> = Extract<ProvidedSourceRow<T>, object>;
 /** Extract the field-to-SQL-domain map retained by a source. */
 type SourceSqlTypeMap<T> = T extends {
-  readonly definitions: infer TDefinitions extends TableDefinitions;
-} ? TableSqlTypes<TDefinitions> : T extends Source<any, infer TRow, any, infer TSqlTypes, any> ? TSqlTypes & SourceSqlTypes<TRow> : never;
+  readonly __sqlTypes?: infer TSqlTypes;
+  readonly [sourceIdentity]: unknown;
+} ? TSqlTypes & SourceSqlTypes<SourceRow<T>> : never;
 /** Structured schema constraints declared for a source. */
 type SourceConstraints<T> = T extends {
   readonly constraints: infer TConstraints extends SourceConstraintsRecord;
@@ -3217,12 +3706,22 @@ interface CustomSourceOptions<TIdentity, TDefinitions extends TableDefinitions>
   readonly columns: TDefinitions;
   readonly sourceKind?: SourceKind;
 }
-type CustomSource<TIdentity, TDefinitions extends TableDefinitions> = Source<TIdentity, TableRow<TDefinitions>, never, TableSqlTypes<TDefinitions>> & {
+type CustomSource<TIdentity, TDefinitions extends TableDefinitions> = Source<{
+  readonly identity: TIdentity;
+  readonly row: TableRow<TDefinitions>;
+  readonly sqlTypes: TableSqlTypes<TDefinitions>;
+}> & {
   readonly identity: TIdentity;
   readonly definitions: TDefinitions;
   readonly columns: SourceColumns<TableRow<TDefinitions>, TIdentity, TableSqlTypes<TDefinitions>>;
 } & SourceColumns<TableRow<TDefinitions>, TIdentity, TableSqlTypes<TDefinitions>>;
-declare function createSource<TIdentity, TRow extends object, TMetadata = never, TSqlTypes extends SourceSqlTypes<TRow> = UnknownSourceSqlTypes<TRow>, TConstraints extends SourceConstraintsRecord = {}>(sourceKind: SourceKind, render: RenderFunction, reference: Fragment<never>, constraints?: TConstraints): Source<TIdentity, TRow, TMetadata, TSqlTypes, TConstraints>;
+declare function createSource<TIdentity, TRow extends object, TMetadata = never, TSqlTypes extends SourceSqlTypes<TRow> = UnknownSourceSqlTypes<TRow>, TConstraints extends SourceConstraintsRecord = {}>(sourceKind: SourceKind, render: RenderFunction, reference: Fragment<never>, constraints?: TConstraints): Source<{
+  readonly identity: TIdentity;
+  readonly row: TRow;
+  readonly metadata: TMetadata;
+  readonly sqlTypes: TSqlTypes;
+  readonly constraints: TConstraints;
+}>;
 /**
  * Create a typed source-producing fragment for a custom FROM relation such as
  * a table-valued function. The renderer owns the relation syntax and may bind
@@ -3239,16 +3738,43 @@ declare function exposeColumns(target: object, columns: Record<string, unknown>)
 //#region src/query/types.d.ts
 type Row = Record<string, unknown>;
 type QueryKind = 'select' | 'set' | 'insert' | 'update' | 'delete';
-interface Query<TRow extends object = Row, TCardinality extends QueryCardinality = QueryCardinality, TMetadata = never, TSqlTypes = SourceSqlTypes<TRow>> extends Fragment<ResultMeta<readonly TRow[]> | CardinalityMeta<TCardinality> | TMetadata> {
+/** Sparse type-level configuration carried by a query. */
+interface QueryConfig {
+  readonly row?: object;
+  readonly cardinality?: QueryCardinality;
+  readonly metadata?: unknown;
+  readonly sqlTypes?: unknown;
+}
+type QueryConfigValue<TConfig, TKey extends PropertyKey, TFallback> = TKey extends keyof TConfig ? TConfig[TKey] : TFallback;
+type QueryConfigRow<TConfig> = Extract<QueryConfigValue<TConfig, 'row', Row>, object>;
+type QueryConfigCardinality<TConfig> = Extract<QueryConfigValue<TConfig, 'cardinality', QueryCardinality>, QueryCardinality>;
+type QueryConfigMetadata<TConfig> = QueryConfigValue<TConfig, 'metadata', never>;
+type QueryConfigSqlTypes<TConfig> = QueryConfigValue<TConfig, 'sqlTypes', SourceSqlTypes<QueryConfigRow<TConfig>>>;
+interface Query$1<TConfig extends QueryConfig = {}> extends Fragment<ResultMeta<readonly QueryConfigRow<TConfig>[]> | CardinalityMeta<QueryConfigCardinality<TConfig>> | QueryConfigMetadata<TConfig>> {
+  /** @internal Type-level configuration retained for inference. */
+  readonly __queryConfig?: TConfig;
   readonly queryKind: QueryKind;
-  readonly row: TRow;
+  readonly row: QueryConfigRow<TConfig>;
+  /** Runtime metadata used to decode named result fields. */
+  readonly resultShape: ResultShape;
   /** Type-only SQL domains of the named query projection. */
-  readonly sqlTypes?: TSqlTypes;
+  readonly sqlTypes?: QueryConfigSqlTypes<TConfig>;
 }
-type AnyQuery = Query<any, any, any, any>;
-type QueryRow<T> = T extends Query<infer TRow, any, any, any> ? TRow : never;
+type AnyQuery = Query$1<any>;
+type QueryWithRow<TRow extends object> = Query$1<{
+  readonly row: TRow;
+  readonly cardinality: any;
+  readonly metadata: any;
+  readonly sqlTypes: any;
+}>;
+type QueryRow<T> = T extends {
+  readonly row: infer TRow extends object;
+} ? TRow : never;
 /** Extract the field-to-SQL-domain map retained by a named query projection. */
-type QuerySqlTypeMap<T> = T extends Query<infer TRow, any, any, infer TSqlTypes> ? TSqlTypes & SourceSqlTypes<TRow> : never;
+type QuerySqlTypeMap<T> = T extends {
+  readonly row: infer TRow extends object;
+  readonly sqlTypes?: infer TSqlTypes;
+} ? TSqlTypes & SourceSqlTypes<TRow> : never;
 //#endregion
 //#region src/core/dialect.d.ts
 /** Capabilities whose syntax must be explicitly supported by a dialect. */
@@ -3633,4 +4159,4 @@ type SchemaSnapshotInput = SchemaSnapshot | Readonly<Record<string, unknown>>;
 /** Expose the schema generic in tooling declarations without widening APIs. */
 type AnySchema = Schema<any>;
 //#endregion
-export { PaginationKind as $, ExplainReadOptions as $a, ColumnReference as $c, lower as $i, SubqueryMeta as $l, RequiredOuterScope as $n, SourceConstraint as $o, SchemaOptions as $r, boolean as $s, SqliteIndexExtension as $t, SnapshotStorage as A, between as Aa, ResolvedColumnBehavior as Ac, offset as Ai, HasSubquery as Al, UpdateAssignments as An, QueryValidationError as Ao, SelectionSqlTypes as Ar, ColumnStorageDeclarationOf as As, createSource as At, CastTarget as B, asValue as Ba, SchemaDialectName as Bc, subtract as Bi, ProvidesOuterSourceMeta as Bl, MutationSqlTypes as Bn, ConstraintTiming as Bo, SchemaRenderContext as Br, NativeStorage as Bs, TableMetadataCallback as Bt, SnapshotIndexTerm as C, isDistinctFrom as Ca, GeneratedColumnMode as Cc, omit as Ci, ExpressionMeta as Cl, ExcludedSource as Cn, qubu as Co, leftJoin as Cr, ColumnIsGenerated as Cs, SourceIdentity as Ct, SqlTypeSatisfies as Cu, SnapshotLiteral as D, lte as Da, IdentityGeneration as Dc, rowLock as Di, GroupingKeysOf as Dl, excluded as Dn, RenderedQuery as Do, Selection as Dr, ColumnOutput as Ds, SourceSqlTypeMap as Dt, SnapshotKeyConstraint as E, lt as Ea, IdentityDialectExtension as Ec, RowLockOptions as Ei, GroupingDependenciesOf as El, doUpdate as En, RenderOptions as Eo, groupBy as Er, ColumnOptions as Es, SourceRow as Et, neutralSnapshotDialect as F, isTrue as Fa, externalGeneratedColumn as Fc, SelectClause as Fi, NullabilityOf as Fl, MutationQuery as Fn, CatalogCheckSql as Fo, RenderedSchemaExpression as Fr, ColumnStorageType as Fs, Table as Ft, DialectJson as G, DriverValueEncoder as Ga, assertSchemaDialectSupport as Gc, jsonPath as Gi, RequiresCapabilityMeta as Gl, returning as Gn, ForeignKeyOptions as Go, normalizeSchemaSql as Gr, PortableStorageType as Gs, table as Gt, DialectCapability as H, value as Ha, SchemaMetadataValidationError as Hc, jsonBoolean as Hi, QueryCardinality as Hl, ReturningClause as Hn, FieldLikeOptions as Ho, UnsafeSchemaSqlExpression as Hr, PortableColumnStorage as Hs, TableRow as Ht, schemaSnapshotDialectVersion as I, Operand as Ia, generatedColumn as Ic, add as Ii, NullableSourceMeta as Il, MutationReturning as In, CheckConstraint as Io, SchemaExpressionError as Ir, ColumnStorageTypeOf as Is, TableColumns as It, DialectRowLocking as J, ExecutionResult as Ja, generatedSchemaObjectName as Jc, over as Ji, RequiresOuterOf as Jl, AvailableOuterScope as Jn, KeyConstraint as Jo, schemaExpression as Jr, StorageDialectOf as Js, IndexTerm as Jt, DialectOptions as K, ExecutionOptions as Ka, dialectMismatchDiagnostic as Kc, jsonText as Ki, RequiresOf as Kl, correlate as Kn, ForeignKeyTarget as Ko, renderSchemaExpression as Kr, StorageDeclarationOf as Ks, IndexDialectExtension as Kt, schemaSnapshotFormat as L, OperandNullability as La, identityColumn as Lc, divide as Li, NullableSourcesOf as Ll, MutationReturningClause as Ln, CheckConstraintOptions as Lo, SchemaExpressionErrorCode as Lr, ColumnUpdateInput as Ls, TableDefinitions as Lt, SnapshotTable as M, notIn as Ma, SqliteIdentityExtension as Mc, distinct as Mi, InheritedMetadata as Ml, AllowAllClause as Mn, QueryValidationIssue as Mo, SchemaDialect as Mr, ColumnStorageDialectOf as Ms, exposeColumns as Mt, SnapshotUniqueConstraint as N, isNotNull as Na, canonicalLiteral as Nc, AnySelectClause as Ni, InheritedMetadataOf as Nl, MutationClause as Nn, AnyKeyColumn as No, SchemaDialectHooks as Nr, ColumnStorageKindOf as Ns, sourceIdentity as Nt, SnapshotNamingPolicy as O, ne as Oa, LiteralDefaultDescriptor as Oc, fetchFirst as Oi, GroupingMeta as Ol, onConflict as On, render as Oo, SelectionObject as Or, ColumnSqlType as Os, SourceSqlTypes as Ot, SnapshotValidationContext as P, isNull as Pa, externalDefault as Pc, ClausePlacement as Pi, MetadataOf as Pl, MutationKind as Pn, CatalogCheckExpression as Po, createSchemaDialect as Pr, ColumnStorageOf as Ps, AnyTable as Pt, NamedCastTarget as Q, ExplainPlanRow as Qa, ColumnDependency as Qc, concat as Qi, SqlTypeOf as Ql, MissingScope as Qn, ReferentialAction as Qo, SchemaNamingPolicy as Qr, binary as Qs, SourceIndexesRecord as Qt, schemaSnapshotNamingPolicyVersion as R, OperandSqlType as Ra, resolveColumnBehavior as Rc, modulo as Ri, OutputOf as Rl, MutationRow as Rn, ConstraintDialectExtension as Ro, SchemaExpressionInput as Rr, DialectNativeStorage as Rs, TableIdentity as Rt, SnapshotIndex as S, gte as Sa, GeneratedColumnDescriptor as Sc, SelectPart as Si, DependenciesOf as Sl, DoUpdateAction as Sn, explain as So, innerJoin as Sr, ColumnInsertInput as Ss, SourceConstraints as St, SqlTimestamp as Su, SnapshotJsonValue as T, like as Ta, IdentityDescriptor as Tc, RowLockClause as Ti, FragmentMeta as Tl, doNothing as Tn, RenderCapabilityValidation as To, rightJoin as Tr, ColumnOnUpdateOf as Ts, SourceProvision as Tt, SqlUuid as Tu, DialectCastTypes as U, cast as Ua, SchemaObjectIdentity as Uc, jsonExists as Ui, RenderContext as Ul, ReturningRow as Un, ForeignKeyConstraint as Uo, defineSchemaExpression as Ur, PortableStorage as Us, TableSqlTypes as Ut, Dialect as V, typedValue as Va, SchemaMetadataDiagnostic as Vc, JsonPath as Vi, ProvidesSourceMeta as Vl, allowAll as Vn, FieldLike as Vo, SchemaRenderOptions as Vr, NativeStorageDescriptor as Vs, TableOptions as Vt, DialectExplain as W, typedCast as Wa, SchemaObjectNameOptions as Wc, jsonNumber as Wi, RenderFunction as Wl, ReturningSqlTypes as Wn, ForeignKeyMatch as Wo, isUnsafeSchemaSql as Wr, PortableStorageDescriptor as Ws, TableUpdateInput as Wt, ExplainRenderOptions as X, ExplainOptions as Xa, materializeSchemaObjectIdentity as Xc, rowNumber as Xi, RequiresSourceMeta as Xl, ClauseScope as Xn, MysqlConstraintExtension as Xo, Schema as Xr, StorageTypeOf as Xs, PostgresIndexExtension as Xt, ExplainFormat as Y, ExplainMutationOptions as Ya, isValidSchemaObjectName as Yc, rank as Yi, RequiresOuterSourceMeta as Yl, AvailableScope as Yn, KeyConstraintOptions as Yo, unsafeSchemaSql as Yr, StorageOf as Ys, MysqlIndexExtension as Yt, JsonScalarKind as Z, ExplainOptionsFor as Za, materializeSchemaObjectRecord as Zc, coalesce as Zi, ResultMeta as Zl, GroupingValidation as Zn, PostgresConstraintExtension as Zo, SchemaDiagnostic as Zr, bigint as Zs, SourceIndex as Zt, SnapshotExpressionContext as _, notExists as _a, DefaultDescriptor as _c, and as _i, AnyFragment as _l, insertSelect as _n, StreamingTransactionalQueryAdapter as _o, FromScope as _r, ColumnDefinition as _s, CustomSourceOptions as _t, SqlOrderCompatible as _u, SnapshotBigInt as a, count as aa, nativeStorage as ac, defaultSchemaNamingPolicy as ai, ExpressionNullability as al, desc as an, QubuExplainableStreamingTransactionalClient as ao, RecursiveCteSource as ar, UniqueConstraintOptions as as, SchemaLiteralRenderer as at, sequence as au, SnapshotGeneratedColumn as b, eq as ba, ExternalDefaultDescriptor as bc, Omit$1 as bi, CardinalityMeta as bl, ConflictTarget as bn, execute as bo, crossJoin as br, ColumnHasDefault as bs, Source as bt, SqlText as bu, SnapshotConstraint as c, min as ca, portableStorage as cc, schemaNamingPolicyVersion as ci, ExpressionSqlType as cl, order as cn, QubuStreamingExplainableClient as co, recursiveCte as cr, catalogForeignKey as cs, resolveCastTarget as ct, SqlBinary as cu, SnapshotDefault as d, SqlTag as da, uuid as dc, LateralIdentity as di, isExpression as dl, DefaultValuesSource as dn, QubuTransaction as do, SetQuery as dr, primaryKey as ds, QueryKind as dt, SqlDecimal as du, upper as ea, column as ec, SchemaTableEntry as ei, expressionFragment as el, TableIndex as en, ExplainRequest as eo, RequiredScope as er, SourceConstraintsRecord as es, PaginationPart as et, VisibleDependenciesOf as eu, SnapshotDiagnostic as f, TypedSqlTag as fa, CanonicalLiteral as fc, LateralSource as fi, makeExpression as fl, InsertSelectSource as fn, QubuTransactionalClient as fo, except as fr, references as fs, QueryRow as ft, SqlEqualityComparable as fu, SnapshotExpression as g, inQuery as ga, ColumnDefaultInput as gc, lateral as gi, AggregateMeta as gl, insertInto as gn, StreamingQueryAdapter as go, FromClause as gr, ColumnDefaultOf as gs, CustomSource as gt, SqlNumericLike as gu, SnapshotDialectExtension as h, exists as ha, ColumnDefault as hc, alias as hi, AggregateDependenciesOf as hl, defaultValues as hn, StreamableQuery as ho, unionAll as hr, validateConstraintDialect as hs, AnySource as ht, SqlJson as hu, SchemaSnapshotInput as i, avg as ia, nativeColumn as ic, SchemaValidationError as ii, ExpressionKind as il, asc as in, QubuExplainableClient as io, CteSource as ir, UniqueConstraint as is, RowLockWaitPolicy as it, parenthesize as iu, SnapshotStorageContext as j, inList as ja, SchemaLiteralValue as jc, having as ji, HasWindow as jl, update as jn, QueryValidationErrorCode as jo, all as jr, ColumnStorageDescriptor as js, customSource as jt, SnapshotSpecialNumber as k, notLike as ka, MysqlIdentityExtension as kc, fetchNext as ki, HasAggregate as kl, UpdateAssignmentValue as kn, QueryTypeValidation as ko, SelectionOutput as kr, ColumnStorage as ks, UnknownSourceSqlTypes as kt, SnapshotCreateResult as l, sum as la, text as lc, AliasIdentity as li, ExpressionWithOutput as ll, orderBy as ln, QubuStreamingTransaction as lo, withCte as lr, check as ls, AnyQuery as lt, SqlBoolean as lu, SnapshotDialect as m, caseWhen as ma, ColumnBehaviorErrorCode as mc, QuerySource as mi, withDialectCapability as ml, ValuesSource as mn, QueryExecutor as mo, union as mr, uniqueConstraint as ms, Row as mt, SqlInteger as mu, SchemaSnapshot as n, schemaCall as na, integer as nc, SchemaTableRecord as ni, AnySchemaExpression as nl, validateIndexDialect as nn, ExplainableQueryAdapter as no, SelectCardinality as nr, SqliteConstraintExtension as ns, PortableCastType as nt, fragment as nu, SnapshotCheckConstraint as o, countDistinct as oa, nullable as oc, generatedTableName as oi, ExpressionOutput as ol, nullsFirst as on, QubuExplainableTransactionalClient as oo, WithClause as or, UniqueNullSemantics as os, assertDialectCapability as ot, AnySqlType as ou, SnapshotDiagnosticCode as p, sql as pa, ColumnBehaviorError as pc, QueryAliasIdentity as pi, markExpressionCategory as pl, InsertSource as pn, QueryAdapter as po, intersect as pr, unique as ps, QuerySqlTypeMap as pt, SqlEqualityCompatible as pu, DialectPagination as q, ExecutionRequest as qa, freezeSchemaMetadata as qc, denseRank as qi, RequiresOuterMetadataOf as ql, select as qn, ForeignKeyTargetInput as qo, renderSchemaSql as qr, StorageDescriptor as qs, IndexOptions as qt, SchemaSnapshotAdapter as r, typedCall as ra, json as rc, SchemaTableRegistry as ri, Expression as rl, OrderTerm as rn, QubuClient as ro, SelectQuery as rr, TableLike as rs, RowLockMode as rt, isFragment as ru, SnapshotColumn as s, max as sa, numeric as sc, schema as si, ExpressionRequires as sl, nullsLast as sn, QubuStreamingClient as so, cte as sr, catalogCheck as ss, createDialect as st, SqlBigInt as su, AnySchema as t, call as ta, date as tc, SchemaTableNames as ti, AnyExpression as tl, index as tn, ExplainResult as to, ScopeValidation as tr, SourceLike as ts, PortableCastTarget as tt, WindowMeta as tu, SnapshotDecodeResult as u, SqlFragment as ua, timestamp as uc, AliasedSource as ui, SchemaExpression as ul, deleteFrom as un, QubuStreamingTransactionalClient as uo, SetOperator as ur, foreignKey as us, Query as ut, SqlDate as uu, SnapshotExtensionContext as v, scalar as va, ExpressionDefaultDescriptor as vc, not as vi, CapabilitiesOf as vl, values as vn, TransactionOptions as vo, FromSource as vr, ColumnFromOptions as vs, ProvidedSourceIdentity as vt, SqlOrderable as vu, SnapshotIndexTermExpression as w, isNotDistinctFrom as wa, GeneratedDescriptor as wc, where as wi, Fragment as wl, OnConflictClause as wn, stream as wo, naturalJoin as wr, ColumnIsNullable as ws, SourceKind as wt, SqlUnknown as wu, SnapshotIdentity as x, gt as xa, ExternalGeneratedColumnDescriptor as xc, OmittableSelectClause as xi, CardinalityOf as xl, DoNothingAction as xn, executeRows as xo, fullJoin as xr, ColumnIdentityOf as xs, SourceColumns as xt, SqlTextLike as xu, SnapshotForeignKey as y, ComparisonValidation as ya, ExpressionGeneratedColumnDescriptor as yc, or as yi, CapabilityMetadataOf as yl, ConflictAction as yn, TransactionalQueryAdapter as yo, from as yr, ColumnGeneratedOf as ys, ProvidedSourceRow as yt, SqlSemanticType as yu, schemaSnapshotVersion as z, SqlCapabilityValidation as za, SchemaDialectExtension as zc, multiply as zi, ProvidesOuterOf as zl, MutationScopeValidation as zn, ConstraintOptions as zo, SchemaExpressionMode as zr, NativeColumnStorage as zs, TableInsertInput as zt };
+export { PaginationKind as $, ExecutionRequest as $a, SchemaObjectNameOptions as $c, rank as $i, InheritedMetadata as $l, AvailableScope as $n, ForeignKeyTargetInput as $o, unsafeSchemaSql as $r, PortableStorageType as $s, PostgresIndexExtension as $t, SnapshotStorage as A, lt as Aa, ExternalGeneratedColumnDescriptor as Ac, RowLockOptions as Ai, ResultField as Al, excluded as An, stream as Ao, groupBy as Ar, ColumnInsertInput as As, SourceSqlTypeMap as At, SqlBoolean as Au, CastTarget as B, Operand as Ba, SchemaLiteralValue as Bc, add as Bi, CapabilityMetadataOf as Bl, MutationReturning as Bn, CatalogCheckExpression as Bo, SchemaExpressionError as Br, ColumnStorageDialectOf as Bs, TableDefinitions as Bt, SqlSemanticType as Bu, SnapshotIndexTerm as C, ComparisonValidation as Ca, ColumnBehaviorErrorCode as Cc, or as Ci, markExpressionCategory as Cl, ConflictTarget as Cn, StreamingTransactionalQueryAdapter as Co, from as Cr, ColumnDefaultOf as Cs, SourceColumns as Ct, fragment as Cu, SnapshotLiteral as D, isDistinctFrom as Da, ExpressionDefaultDescriptor as Dc, omit as Di, ResultDecoder as Dl, OnConflictClause as Dn, executeRows as Do, leftJoin as Dr, ColumnGeneratedOf as Ds, SourceKind as Dt, AnySqlType as Du, SnapshotKeyConstraint as E, gte as Ea, DefaultDescriptor as Ec, SelectPart as Ei, ResultDecodeContext as El, ExcludedSource as En, execute as Eo, innerJoin as Er, ColumnFromOptions as Es, SourceIdentity as Et, sequence as Eu, neutralSnapshotDialect as F, inList as Fa, IdentityDialectExtension as Fc, having as Fi, timestampResultDecoder as Fl, AllowAllClause as Fn, QueryTypeValidation as Fo, all as Fr, ColumnOutput as Fs, exposeColumns as Ft, SqlInteger as Fu, DialectJson as G, typedValue as Ga, generatedColumn as Gc, JsonPath as Gi, Fragment as Gl, allowAll as Gn, ConstraintOptions as Go, SchemaRenderOptions as Gr, ColumnUpdateInput as Gs, TableRow as Gt, SqlUnknown as Gu, DialectCapability as H, OperandSqlType as Ha, canonicalLiteral as Hc, modulo as Hi, CardinalityOf as Hl, MutationRow as Hn, CheckConstraint as Ho, SchemaExpressionInput as Hr, ColumnStorageOf as Hs, TableInsertInput as Ht, SqlTextLike as Hu, schemaSnapshotDialectVersion as I, notIn as Ia, IdentityGeneration as Ic, distinct as Ii, AggregateDependenciesOf as Il, MutationClause as In, QueryValidationError as Io, SchemaDialect as Ir, ColumnSqlType as Is, sourceIdentity as It, SqlJson as Iu, DialectRowLocking as J, cast as Ja, SchemaDialectExtension as Jc, jsonNumber as Ji, GroupingKeysOf as Jl, ReturningSqlTypes as Jn, FieldLikeOptions as Jo, isUnsafeSchemaSql as Jr, NativeStorage as Js, table as Jt, DialectOptions as K, value as Ka, identityColumn as Kc, jsonBoolean as Ki, FragmentMeta as Kl, ReturningClause as Kn, ConstraintTiming as Ko, UnsafeSchemaSqlExpression as Kr, DialectNativeStorage as Ks, TableSqlTypes as Kt, SqlUuid as Ku, schemaSnapshotFormat as L, isNotNull as La, LiteralDefaultDescriptor as Lc, AnySelectClause as Li, AggregateMeta as Ll, MutationKind as Ln, QueryValidationErrorCode as Lo, SchemaDialectHooks as Lr, ColumnStorage as Ls, AnyTable as Lt, SqlNumericLike as Lu, SnapshotTable as M, ne as Ma, GeneratedColumnMode as Mc, fetchFirst as Mi, booleanResultDecoder as Ml, UpdateAssignmentValue as Mn, RenderOptions as Mo, SelectionObject as Mr, ColumnIsNullable as Ms, UnknownSourceSqlTypes as Mt, SqlDecimal as Mu, SnapshotUniqueConstraint as N, notLike as Na, GeneratedDescriptor as Nc, fetchNext as Ni, dateResultDecoder as Nl, UpdateAssignments as Nn, RenderedQuery as No, SelectionOutput as Nr, ColumnOnUpdateOf as Ns, createSource as Nt, SqlEqualityComparable as Nu, SnapshotNamingPolicy as O, isNotDistinctFrom as Oa, ExpressionGeneratedColumnDescriptor as Oc, where as Oi, ResultDecoders as Ol, doNothing as On, explain as Oo, naturalJoin as Or, ColumnHasDefault as Os, SourceProvision as Ot, SqlBigInt as Ou, SnapshotValidationContext as P, between as Pa, IdentityDescriptor as Pc, offset as Pi, jsonTextResultDecoder as Pl, update as Pn, render as Po, SelectionSqlTypes as Pr, ColumnOptions as Ps, customSource as Pt, SqlEqualityCompatible as Pu, NamedCastTarget as Q, ExecutionOptions as Qa, SchemaObjectIdentity as Qc, over as Qi, HasWindow as Ql, AvailableOuterScope as Qn, ForeignKeyTarget as Qo, schemaExpression as Qr, PortableStorageDescriptor as Qs, MysqlIndexExtension as Qt, schemaSnapshotNamingPolicyVersion as R, isNull as Ra, MysqlIdentityExtension as Rc, ClausePlacement as Ri, AnyFragment as Rl, MutationQuery as Rn, QueryValidationIssue as Ro, createSchemaDialect as Rr, ColumnStorageDeclarationOf as Rs, Table as Rt, SqlOrderCompatible as Ru, SnapshotIndex as S, scalar as Sa, ColumnBehaviorError as Sc, not as Si, makeExpression as Sl, ConflictAction as Sn, StreamingQueryAdapter as So, FromSource as Sr, DeclaredColumnNullability as Ss, Source as St, WindowMeta as Su, SnapshotJsonValue as T, gt as Ta, ColumnDefaultInput as Tc, OmittableSelectClause as Ti, DecodableResultType as Tl, DoUpdateAction as Tn, TransactionalQueryAdapter as To, fullJoin as Tr, ColumnDefinitionConfig as Ts, SourceConstraints as Tt, parenthesize as Tu, DialectCastTypes as U, SqlCapabilityValidation as Ua, externalDefault as Uc, multiply as Ui, DependenciesOf as Ul, MutationScopeValidation as Un, CheckConstraintOptions as Uo, SchemaExpressionMode as Ur, ColumnStorageType as Us, TableMetadataCallback as Ut, SqlTimestamp as Uu, Dialect as V, OperandNullability as Va, SqliteIdentityExtension as Vc, divide as Vi, CardinalityMeta as Vl, MutationReturningClause as Vn, CatalogCheckSql as Vo, SchemaExpressionErrorCode as Vr, ColumnStorageKindOf as Vs, TableIdentity as Vt, SqlText as Vu, DialectExplain as W, asValue as Wa, externalGeneratedColumn as Wc, subtract as Wi, ExpressionMeta as Wl, MutationSqlTypes as Wn, ConstraintDialectExtension as Wo, SchemaRenderContext as Wr, ColumnStorageTypeOf as Ws, TableOptions as Wt, SqlTypeSatisfies as Wu, ExplainRenderOptions as X, AdapterExecutionResult as Xa, SchemaMetadataDiagnostic as Xc, jsonText as Xi, HasAggregate as Xl, correlate as Xn, ForeignKeyMatch as Xo, renderSchemaExpression as Xr, PortableColumnStorage as Xs, IndexOptions as Xt, ExplainFormat as Y, typedCast as Ya, SchemaDialectName as Yc, jsonPath as Yi, GroupingMeta as Yl, returning as Yn, ForeignKeyConstraint as Yo, normalizeSchemaSql as Yr, NativeStorageDescriptor as Ys, IndexDialectExtension as Yt, JsonScalarKind as Z, DriverValueEncoder as Za, SchemaMetadataValidationError as Zc, denseRank as Zi, HasSubquery as Zl, select as Zn, ForeignKeyOptions as Zo, renderSchemaSql as Zr, PortableStorage as Zs, IndexTerm as Zt, SnapshotExpressionContext as _, sql as _a, portableStorage as _c, QueryAliasIdentity as _i, ExpressionSqlType as _l, ValuesSource as _n, QubuTransaction as _o, intersect as _r, primaryKey as _s, AnySource as _t, RequiresSourceMeta as _u, SnapshotBigInt as a, call as aa, bigint as ac, SchemaTableNames as ai, materializeSchemaObjectIdentity as al, validateIndexDialect as an, ExplainReadOptions as ao, ScopeValidation as ar, SourceConstraint as as, SchemaLiteralRenderer as at, OutputOf as au, SnapshotGeneratedColumn as b, inQuery as ba, uuid as bc, lateral as bi, SchemaExpressionBrand as bl, insertSelect as bn, QueryExecutor as bo, FromClause as br, uniqueConstraint as bs, ProvidedSourceIdentity as bt, SubqueryMeta as bu, SnapshotConstraint as c, avg as ca, column as cc, SchemaValidationError as ci, ColumnReference as cl, desc as cn, ExplainableQueryAdapter as co, CteSource as cr, SqliteConstraintExtension as cs, resolveCastTarget as ct, ProvidesSourceMeta as cu, SnapshotDefault as d, max as da, integer as dc, schema as di, AnySchemaExpression as dl, order as dn, QubuExplainableStreamingTransactionalClient as do, cte as dr, UniqueConstraintOptions as ds, QueryConfig as dt, RenderFunction as du, rowNumber as ea, StorageDeclarationOf as ec, Schema as ei, assertSchemaDialectSupport as el, SourceIndex as en, ExecutionResult as eo, ClauseScope as er, KeyConstraint as es, PaginationPart as et, InheritedMetadataOf as eu, SnapshotDiagnostic as f, min as fa, json as fc, schemaNamingPolicyVersion as fi, Expression as fl, orderBy as fn, QubuExplainableTransactionalClient as fo, recursiveCte as fr, UniqueNullSemantics as fs, QueryKind as ft, RequiresCapabilityMeta as fu, SnapshotExpression as g, TypedSqlTag as ga, numeric as gc, LateralSource as gi, ExpressionRequires as gl, InsertSource as gn, QubuStreamingTransactionalClient as go, except as gr, foreignKey as gs, Row as gt, RequiresOuterSourceMeta as gu, SnapshotDialectExtension as h, SqlTag as ha, nullable as hc, LateralIdentity as hi, ExpressionOutput as hl, InsertSelectSource as hn, QubuStreamingTransaction as ho, SetQuery as hr, check as hs, QueryWithRow as ht, RequiresOuterOf as hu, SchemaSnapshotInput as i, upper as ia, StorageTypeOf as ic, SchemaTableEntry as ii, isValidSchemaObjectName as il, index as in, ExplainPlanRow as io, RequiredScope as ir, ReferentialAction as is, RowLockWaitPolicy as it, NullableSourcesOf as iu, SnapshotStorageContext as j, lte as ja, GeneratedColumnDescriptor as jc, rowLock as ji, ResultShape as jl, onConflict as jn, RenderCapabilityValidation as jo, Selection as jr, ColumnIsGenerated as js, SourceSqlTypes as jt, SqlDate as ju, SnapshotSpecialNumber as k, like as ka, ExternalDefaultDescriptor as kc, RowLockClause as ki, ResultDecodingError as kl, doUpdate as kn, qubu as ko, rightJoin as kr, ColumnIdentityOf as ks, SourceRow as kt, SqlBinary as ku, SnapshotCreateResult as l, count as la, columnResultValue as lc, defaultSchemaNamingPolicy as li, expressionFragment as ll, nullsFirst as ln, QubuClient as lo, RecursiveCteSource as lr, TableLike as ls, AnyQuery as lt, QueryCardinality as lu, SnapshotDialect as m, SqlFragment as ma, nativeStorage as mc, AliasedSource as mi, ExpressionNullability as ml, DefaultValuesSource as mn, QubuStreamingExplainableClient as mo, SetOperator as mr, catalogForeignKey as ms, QuerySqlTypeMap as mt, RequiresOuterMetadataOf as mu, SchemaSnapshot as n, concat as na, StorageDialectOf as nc, SchemaNamingPolicy as ni, freezeSchemaMetadata as nl, SqliteIndexExtension as nn, ExplainOptions as no, MissingScope as nr, MysqlConstraintExtension as ns, PortableCastType as nt, NullabilityOf as nu, SnapshotCheckConstraint as o, schemaCall as oa, binary as oc, SchemaTableRecord as oi, materializeSchemaObjectRecord as ol, OrderTerm as on, ExplainRequest as oo, SelectCardinality as or, SourceConstraintsRecord as os, assertDialectCapability as ot, ProvidesOuterOf as ou, SnapshotDiagnosticCode as p, sum as pa, nativeColumn as pc, AliasIdentity as pi, ExpressionKind as pl, deleteFrom as pn, QubuStreamingClient as po, withCte as pr, catalogCheck as ps, QueryRow as pt, RequiresOf as pu, DialectPagination as q, mapResult as qa, resolveColumnBehavior as qc, jsonExists as qi, GroupingDependenciesOf as ql, ReturningRow as qn, FieldLike as qo, defineSchemaExpression as qr, NativeColumnStorage as qs, TableUpdateInput as qt, SchemaSnapshotAdapter as r, lower as ra, StorageOf as rc, SchemaOptions as ri, generatedSchemaObjectName as rl, TableIndex as rn, ExplainOptionsFor as ro, RequiredOuterScope as rr, PostgresConstraintExtension as rs, RowLockMode as rt, NullableSourceMeta as ru, SnapshotColumn as s, typedCall as sa, boolean as sc, SchemaTableRegistry as si, ColumnDependency as sl, asc as sn, ExplainResult as so, SelectQuery as sr, SourceLike as ss, createDialect as st, ProvidesOuterSourceMeta as su, AnySchema as t, coalesce as ta, StorageDescriptor as tc, SchemaDiagnostic as ti, dialectMismatchDiagnostic as tl, SourceIndexesRecord as tn, ExplainMutationOptions as to, GroupingValidation as tr, KeyConstraintOptions as ts, PortableCastTarget as tt, MetadataOf as tu, SnapshotDecodeResult as u, countDistinct as ua, date as uc, generatedTableName as ui, AnyExpression as ul, nullsLast as un, QubuExplainableClient as uo, WithClause as ur, UniqueConstraint as us, Query$1 as ut, RenderContext as uu, SnapshotExtensionContext as v, caseWhen as va, text as vc, QuerySource as vi, ExpressionWithOutput as vl, defaultValues as vn, QubuTransactionalClient as vo, union as vr, references as vs, CustomSource as vt, ResultMeta as vu, SnapshotIndexTermExpression as w, eq as wa, ColumnDefault as wc, Omit$1 as wi, withDialectCapability as wl, DoNothingAction as wn, TransactionOptions as wo, crossJoin as wr, ColumnDefinition as ws, SourceConfig as wt, isFragment as wu, SnapshotIdentity as x, notExists as xa, CanonicalLiteral as xc, and as xi, isExpression as xl, values as xn, StreamableQuery as xo, FromScope as xr, validateConstraintDialect as xs, ProvidedSourceRow as xt, VisibleDependenciesOf as xu, SnapshotForeignKey as y, exists as ya, timestamp as yc, alias as yi, SchemaExpression as yl, insertInto as yn, QueryAdapter as yo, unionAll as yr, unique as ys, CustomSourceOptions as yt, SqlTypeOf as yu, schemaSnapshotVersion as z, isTrue as za, ResolvedColumnBehavior as zc, SelectClause as zi, CapabilitiesOf as zl, MutationQueryConfig as zn, AnyKeyColumn as zo, RenderedSchemaExpression as zr, ColumnStorageDescriptor as zs, TableColumns as zt, SqlOrderable as zu };