joist-core 2.3.0-next.99 → 2.4.0

package/build/queries/sql/custom.js

@@ -0,0 +1,49 @@
+import { Column } from "../../serde/columns.js";
+import { BigIntSerde, DateSerde, JsonSerde, PrimitiveSerde } from "../../serde/serde.js";
+//#region src/queries/sql/custom.ts
+const declaredTableDefinition = Symbol("declaredTableDefinition");
+/** Declares a physical table that Joist codegen intentionally does not model as an entity. */
+function declareTable(tableName, columns, options = {}) {
+	const descriptors = Object.fromEntries(Object.entries(columns).map(([fieldName, input]) => [fieldName, customColumn(fieldName, input)]));
+	return { [declaredTableDefinition]: {
+		tableName,
+		schema: options.schema,
+		columns: descriptors
+	} };
+}
+/** Recognizes a declaration created by `declareTable`. */
+function isCustomTableDefinition(value) {
+	return typeof value === "object" && value !== null && declaredTableDefinition in value;
+}
+/** Returns the normalized table name and columns stored in a custom-table declaration. */
+function getCustomTableDefinition(definition) {
+	return definition[declaredTableDefinition];
+}
+/** Normalizes one concise custom-table declaration into the column metadata shared by reads and writes. */
+function customColumn(fieldName, input) {
+	const config = typeof input === "string" ? { type: input } : input;
+	const { type, nullable = false, hasDefault = false, generated = false, array = false } = config;
+	const columnName = config.columnName ?? toSnakeCase(fieldName);
+	const codec = customColumnCodec(type, array);
+	return new Column(columnName, nullable, hasDefault, generated, false, true, void 0, codec);
+}
+/** Selects existing scalar codecs so custom columns behave like generated primitive columns. */
+function customColumnCodec(type, array) {
+	if (type === "bigint") return new BigIntSerde(array);
+	if (type === "date" || type === "timestamp" || type === "timestamptz") return new DateSerde(type);
+	if (type === "json" || type === "jsonb") {
+		const codec = new JsonSerde();
+		codec.dbType = type;
+		return codec;
+	}
+	const dbType = type === "float" ? "double precision" : type;
+	return new PrimitiveSerde(array ? `${dbType}[]` : dbType, array);
+}
+/** Applies Joist's conventional camelCase field to snake_case column mapping. */
+function toSnakeCase(value) {
+	return value.replace(/([A-Z]+)([A-Z][a-z])/g, "$1_$2").replace(/([a-z\d])([A-Z])/g, "$1_$2").toLowerCase();
+}
+//#endregion
+export { declareTable, getCustomTableDefinition, isCustomTableDefinition };
+
+//# sourceMappingURL=custom.js.map

package/build/queries/sql/custom.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"custom.js","names":[],"sources":["../../../src/queries/sql/custom.ts"],"sourcesContent":["import type { Expr } from \"src/queries/sql/Expr.ts\";\nimport type { PrimitiveColumn, TableSourceBrand, TableSourceMgmt, tableMgmt } from \"src/queries/sql/Tables.ts\";\nimport { Column, type ColumnDescriptors } from \"src/serde/columns.ts\";\nimport { BigIntSerde, DateSerde, JsonSerde, PrimitiveSerde, type ScalarCodec } from \"src/serde/serde.ts\";\n\nconst declaredTableDefinition = Symbol(\"declaredTableDefinition\");\n\n/** Built-in storage types supported by concise custom-table declarations. */\nexport type CustomColumnType =\n  | \"boolean\"\n  | \"int\"\n  | \"float\"\n  | \"bigint\"\n  | \"text\"\n  | \"uuid\"\n  | \"date\"\n  | \"timestamp\"\n  | \"timestamptz\"\n  | \"json\"\n  | \"jsonb\";\n\ntype CustomArrayType = \"boolean\" | \"int\" | \"float\" | \"bigint\" | \"text\" | \"uuid\";\n\n/** Expanded custom-column declaration for physical names, SQL nullability, defaults, and generated storage. */\nexport type CustomColumnConfig =\n  | {\n      type: CustomColumnType;\n      columnName?: string;\n      nullable?: boolean;\n      hasDefault?: boolean;\n      generated?: boolean;\n      array?: false;\n    }\n  | {\n      type: CustomArrayType;\n      columnName?: string;\n      nullable?: boolean;\n      hasDefault?: boolean;\n      generated?: boolean;\n      array: true;\n    };\n\nexport type CustomColumnInput = CustomColumnType | CustomColumnConfig;\nexport type CustomColumnInputs = Readonly<Record<string, CustomColumnInput>>;\n\n/** A reusable declaration created by `declareTable`; call `table(definition)` to create a query handle. */\nexport interface CustomTableDefinition<TableName extends string, C extends CustomColumnInputs> {\n  readonly [declaredTableDefinition]: CustomTableDefinitionBrand<TableName, C>;\n}\n\n/** A custom physical table with declared primitive columns but no entity or relationship metadata. */\nexport type CustomTable<C extends CustomColumnInputs, Name extends string = string> = {\n  readonly [tableMgmt]: CustomTableBrand<C, Name>;\n} & {\n  readonly [K in keyof C & string]: PrimitiveColumn<CustomColumnValue<C[K]>, CustomColumnNull<C[K]>, Name, K>;\n} & (\"column\" extends keyof C\n    ? {}\n    : {\n        /** References a one-off physical column not included in the custom-table declaration. */\n        column<R = unknown>(column: string): Expr<R, Name>;\n      });\n\n/** A schema-erased custom-table handle for APIs that inspect table identity rather than declared columns. */\nexport type CustomTableFor = { readonly [tableMgmt]: CustomTableSourceBrand<string> };\n\n/** Recovers a custom table handle's declaration for mutation input checking. */\nexport type CustomColumnsOf<T> = T extends { readonly [tableMgmt]: CustomTableBrand<infer C, string> } ? C : never;\n\n/** The declared domain value, before SQL nullability is applied. */\nexport type CustomColumnValue<I> =\n  CustomColumnBaseValue<CustomColumnTypeOf<I>> extends infer V ? (CustomColumnArray<I> extends true ? V[] : V) : never;\n\n/** Runtime custom-table identity and its normalized physical columns. */\nexport interface CustomTableMgmt extends TableSourceMgmt {\n  columns: ColumnDescriptors;\n}\n\n/** Declares a physical table that Joist codegen intentionally does not model as an entity. */\nexport function declareTable<const TableName extends string, const C extends CustomColumnInputs>(\n  tableName: TableName,\n  columns: C,\n  options: { schema?: string } = {},\n): CustomTableDefinition<TableName, C> {\n  const descriptors = Object.fromEntries(\n    Object.entries(columns).map(([fieldName, input]) => [fieldName, customColumn(fieldName, input)]),\n  );\n  return {\n    [declaredTableDefinition]: { tableName, schema: options.schema, columns: descriptors },\n  } as CustomTableDefinition<TableName, C>;\n}\n\n/** Recognizes a declaration created by `declareTable`. */\nexport function isCustomTableDefinition(value: unknown): value is CustomTableDefinition<string, CustomColumnInputs> {\n  return typeof value === \"object\" && value !== null && declaredTableDefinition in value;\n}\n\n/** Returns the normalized table name and columns stored in a custom-table declaration. */\nexport function getCustomTableDefinition<TableName extends string, C extends CustomColumnInputs>(\n  definition: CustomTableDefinition<TableName, C>,\n): CustomTableDefinitionBrand<TableName, C> {\n  return definition[declaredTableDefinition];\n}\n\ninterface CustomTableDefinitionBrand<TableName extends string, C extends CustomColumnInputs> {\n  readonly tableName: TableName;\n  readonly schema?: string;\n  readonly __columns: C;\n  readonly columns: ColumnDescriptors;\n}\n\ninterface CustomTableSourceBrand<Name extends string> extends TableSourceBrand<Name>, CustomTableMgmt {\n  readonly __custom: true;\n}\n\ninterface CustomTableBrand<C extends CustomColumnInputs, Name extends string> extends CustomTableSourceBrand<Name> {\n  readonly __columns: C;\n}\n\ntype CustomColumnTypeOf<I> = I extends CustomColumnType ? I : I extends { type: infer T } ? T : never;\ntype CustomColumnArray<I> = I extends { array: true } ? true : false;\ntype CustomColumnNull<I> = I extends { nullable: true } ? null : never;\n/** Maps a custom column's SQL storage type to its TypeScript scalar value. */\ntype CustomColumnBaseValue<T> = T extends \"boolean\"\n  ? boolean\n  : T extends \"int\" | \"float\"\n    ? number\n    : T extends \"bigint\"\n      ? bigint\n      : T extends \"text\" | \"uuid\"\n        ? string\n        : T extends \"date\" | \"timestamp\" | \"timestamptz\"\n          ? Date\n          : T extends \"json\" | \"jsonb\"\n            ? unknown\n            : never;\n\n/** Normalizes one concise custom-table declaration into the column metadata shared by reads and writes. */\nfunction customColumn(fieldName: string, input: CustomColumnInput): Column {\n  const config = typeof input === \"string\" ? { type: input } : input;\n  const { type, nullable = false, hasDefault = false, generated = false, array = false } = config;\n  const columnName = config.columnName ?? toSnakeCase(fieldName);\n  const codec = customColumnCodec(type, array);\n  return new Column(columnName, nullable, hasDefault, generated, false, true, undefined, codec);\n}\n\n/** Selects existing scalar codecs so custom columns behave like generated primitive columns. */\nfunction customColumnCodec(type: CustomColumnType, array: boolean): ScalarCodec {\n  if (type === \"bigint\") return new BigIntSerde(array);\n  if (type === \"date\" || type === \"timestamp\" || type === \"timestamptz\") return new DateSerde(type);\n  if (type === \"json\" || type === \"jsonb\") {\n    const codec = new JsonSerde();\n    codec.dbType = type;\n    return codec;\n  }\n  const dbType = type === \"float\" ? \"double precision\" : type;\n  return new PrimitiveSerde(array ? `${dbType}[]` : dbType, array);\n}\n\n/** Applies Joist's conventional camelCase field to snake_case column mapping. */\nfunction toSnakeCase(value: string): string {\n  return value\n    .replace(/([A-Z]+)([A-Z][a-z])/g, \"$1_$2\")\n    .replace(/([a-z\\d])([A-Z])/g, \"$1_$2\")\n    .toLowerCase();\n}\n"],"mappings":";;;AAKA,MAAM,0BAA0B,OAAO,yBAAyB;;AAyEhE,SAAgB,aACd,WACA,SACA,UAA+B,CAAC,GACK;CACrC,MAAM,cAAc,OAAO,YACzB,OAAO,QAAQ,OAAO,CAAC,CAAC,KAAK,CAAC,WAAW,WAAW,CAAC,WAAW,aAAa,WAAW,KAAK,CAAC,CAAC,CACjG;CACA,OAAO,GACJ,0BAA0B;EAAE;EAAW,QAAQ,QAAQ;EAAQ,SAAS;CAAY,EACvF;AACF;;AAGA,SAAgB,wBAAwB,OAA4E;CAClH,OAAO,OAAO,UAAU,YAAY,UAAU,QAAQ,2BAA2B;AACnF;;AAGA,SAAgB,yBACd,YAC0C;CAC1C,OAAO,WAAW;AACpB;;AAoCA,SAAS,aAAa,WAAmB,OAAkC;CACzE,MAAM,SAAS,OAAO,UAAU,WAAW,EAAE,MAAM,MAAM,IAAI;CAC7D,MAAM,EAAE,MAAM,WAAW,OAAO,aAAa,OAAO,YAAY,OAAO,QAAQ,UAAU;CACzF,MAAM,aAAa,OAAO,cAAc,YAAY,SAAS;CAC7D,MAAM,QAAQ,kBAAkB,MAAM,KAAK;CAC3C,OAAO,IAAI,OAAO,YAAY,UAAU,YAAY,WAAW,OAAO,MAAM,KAAA,GAAW,KAAK;AAC9F;;AAGA,SAAS,kBAAkB,MAAwB,OAA6B;CAC9E,IAAI,SAAS,UAAU,OAAO,IAAI,YAAY,KAAK;CACnD,IAAI,SAAS,UAAU,SAAS,eAAe,SAAS,eAAe,OAAO,IAAI,UAAU,IAAI;CAChG,IAAI,SAAS,UAAU,SAAS,SAAS;EACvC,MAAM,QAAQ,IAAI,UAAU;EAC5B,MAAM,SAAS;EACf,OAAO;CACT;CACA,MAAM,SAAS,SAAS,UAAU,qBAAqB;CACvD,OAAO,IAAI,eAAe,QAAQ,GAAG,OAAO,MAAM,QAAQ,KAAK;AACjE;;AAGA,SAAS,YAAY,OAAuB;CAC1C,OAAO,MACJ,QAAQ,yBAAyB,OAAO,CAAC,CACzC,QAAQ,qBAAqB,OAAO,CAAC,CACrC,YAAY;AACjB"}

package/build/queries/sql/execute.cjs

@@ -4,6 +4,7 @@ const require_queries_sql_keywords = require("./keywords.cjs");
 const require_queries_sql_Expr = require("./Expr.cjs");
 const require_utils = require("../../utils.cjs");
 const require_queries_sql_AliasAssigner = require("./AliasAssigner.cjs");
+require("./custom.cjs");
 const require_queries_sql_Tables = require("./Tables.cjs");
 const require_queries_sql_query = require("./query.cjs");
 const require_Entity = require("../../Entity.cjs");
@@ -47,40 +48,44 @@ function parseStatement(arg) {
 		...operation === "update" ? ["set"] : []
 	], `SQL ${operation}`);
 	const target = statement[operation];
-	if (!require_queries_sql_Tables.isTable(target)) require_utils.fail("A mutation target must be an entity table");
+	if (!require_queries_sql_Tables.isTable(target)) require_utils.fail("A mutation target must be a table");
 	const mgmt = require_queries_sql_Tables.getTableMgmt(target);
-	const meta = mgmt.meta;
-	if (meta.inheritanceType || meta.baseType || meta.baseTypes.length || meta.subTypes.length) require_utils.fail("SQL mutations do not support CTI/STI targets or inherited table families");
-	if (meta.supportsEmExecute !== true) require_utils.fail(`SQL mutations require supported physical metadata for ${meta.type}; run codegen`);
-	const fields = Object.entries(meta.columns);
-	for (const [, field] of fields) requireColumnMetadata(meta, field);
+	const meta = require_queries_sql_Tables.isEntityTable(target) ? require_queries_sql_Tables.getTableMgmt(target).meta : void 0;
+	const custom = require_queries_sql_Tables.isCustomTable(target) ? require_queries_sql_Tables.getTableMgmt(target) : void 0;
+	if (meta) {
+		if (meta.inheritanceType || meta.baseType || meta.baseTypes.length || meta.subTypes.length) require_utils.fail("SQL mutations do not support CTI/STI targets or inherited table families");
+		if (meta.supportsEmExecute !== true) require_utils.fail(`SQL mutations require supported physical metadata for ${meta.type}; run codegen`);
+		for (const field of Object.values(meta.columns)) requireColumnMetadata(meta, field);
+	} else if (statement.softDeletes !== void 0) require_utils.fail("Custom table mutations do not support softDeletes");
+	const fields = Object.entries(meta?.columns ?? custom.columns);
 	const assigner = new require_queries_sql_AliasAssigner.AliasAssigner();
 	const withCtx = new require_queries_sql_query.Ctx(assigner, void 0);
 	const ctes = require_queries_sql_query.registerCtes(statement, withCtx, assigner);
 	const refs = [];
 	const ctx = new require_queries_sql_query.Ctx(assigner, withCtx);
-	const alias = assigner.getAlias(meta.tableName);
+	const alias = assigner.getAlias(mgmt.tableName);
 	ctx.register(mgmt, alias);
 	const returning = statement.returning === void 0 ? void 0 : require_queries_sql_query.projectionToSql(statement.returning, ctx);
 	if (returning) for (const select of returning.selects) refs.push(...select.refs);
-	let sql = `${operation === "delete" ? "DELETE FROM" : operation.toUpperCase() + (operation === "insert" ? " INTO" : "")} ${require_queries_sql_keywords.kq(meta.tableName)} AS ${require_queries_sql_keywords.kq(alias)}`;
+	let sql = `${operation === "delete" ? "DELETE FROM" : operation.toUpperCase() + (operation === "insert" ? " INTO" : "")} ${require_queries_sql_Tables.tableSqlName(mgmt)} AS ${require_queries_sql_keywords.kq(alias)}`;
 	const bindings = [];
 	if (operation === "insert") {
 		if ("values" in statement === "from" in statement) require_utils.fail("INSERT requires exactly one of values or from");
 		const required = fields.filter(([, column]) => column.insert === "required");
 		if ("values" in statement) {
-			const rows = Array.isArray(statement.values) ? statement.values : [statement.values];
+			if (!Array.isArray(statement.values)) require_utils.fail("INSERT values must be an array of field POJOs");
+			const rows = statement.values;
 			const valuesCtx = new require_queries_sql_query.Ctx(assigner, withCtx);
-			const entries = rows.map((row) => assignments(meta, row, "insert"));
-			for (const row of entries) for (const [key] of required) if (!row.some((entry) => entry[0] === key)) require_utils.fail(`INSERT requires ${meta.type}.${key}`);
+			const entries = rows.map((row) => meta ? assignments(meta, row, "insert") : customAssignments(custom, row, "insert"));
+			for (const row of entries) for (const [key] of required) if (!row.some((entry) => entry[0] === key)) require_utils.fail(`INSERT requires ${meta?.type ?? custom.tableName}.${key}`);
 			if (rows.length === 0) return void 0;
-			const keys = fields.filter(([key]) => entries.some((row) => row.some((entry) => entry[0] === key)));
-			sql += ` (${keys.map(([, field]) => require_queries_sql_keywords.kq(field.columnName)).join(", ")}) VALUES `;
+			const keys = fields.filter(([key]) => entries.some((row) => row.some((entry) => entry[0] === key))).map(([key, field]) => [key, field.columnName]);
+			sql += ` (${keys.map(([, column]) => require_queries_sql_keywords.kq(column)).join(", ")}) VALUES `;
 			sql += entries.map((row) => {
-				return `(${keys.map(([key, field]) => {
+				return `(${keys.map(([key]) => {
 					const entry = row.find((entry) => entry[0] === key);
 					if (!entry) return "DEFAULT";
-					const cell = assignmentToSql(meta, field, entry[1], valuesCtx);
+					const cell = meta ? assignmentToSql(meta, writableField(meta, key, "insert"), entry[1], valuesCtx) : customAssignmentToSql(custom, customWritableField(custom, key, "insert"), entry[1], valuesCtx);
 					bindings.push(...cell.bindings);
 					refs.push(...cell.refs);
 					return cell.sql;
@@ -90,40 +95,40 @@ function parseStatement(arg) {
 			const source = require_queries_sql_query.parseNestedQuery(statement.from, withCtx, assigner);
 			if (source.output.kind !== "pojo") require_utils.fail("INSERT SELECT requires named POJO output columns");
 			const columns = source.output.columns;
-			for (const [key] of required) if (!columns.some((column) => column[0] === key)) require_utils.fail(`INSERT requires ${meta.type}.${key}`);
+			for (const [key] of required) if (!columns.some((column) => column[0] === key)) require_utils.fail(`INSERT requires ${meta?.type ?? custom.tableName}.${key}`);
 			for (const [key, expr] of columns) {
-				const field = writableField(meta, key, "insert");
+				const field = meta ? writableField(meta, key, "insert") : customWritableField(custom, key, "insert");
 				const left = field.outputType;
 				const right = expr.outputType;
-				if (!left || !right || left.dbType !== right.dbType || left.domain !== right.domain || left.idMeta !== right.idMeta) require_utils.fail(`INSERT SELECT ${meta.type}.${key} has incompatible or unknown storage codecs`);
-				if (!field.sqlNullable && expr.sqlNullable === true) require_utils.fail(`INSERT SELECT ${meta.type}.${key} cannot accept a nullable output`);
+				if (!left || !right || left.dbType !== right.dbType || left.domain !== right.domain || left.idMeta !== right.idMeta) require_utils.fail(`INSERT SELECT ${meta?.type ?? custom.tableName}.${key} has incompatible or unknown storage codecs`);
+				if (!field.sqlNullable && expr.sqlNullable === true) require_utils.fail(`INSERT SELECT ${meta?.type ?? custom.tableName}.${key} cannot accept a nullable output`);
 			}
-			const keys = fields.filter(([key]) => columns.some((column) => column[0] === key));
+			const keys = fields.filter(([key]) => columns.some((column) => column[0] === key)).map(([key, field]) => [key, field.columnName]);
 			const sourceAlias = require_queries_sql_keywords.safeKq(assigner.getLiteralAlias("sq"));
-			sql += ` (${keys.map(([, field]) => require_queries_sql_keywords.kq(field.columnName)).join(", ")}) SELECT ${keys.map(([key]) => `${sourceAlias}.${require_queries_sql_keywords.safeKq(key)}`).join(", ")} FROM (${source.sql}) AS ${sourceAlias}`;
+			sql += ` (${keys.map(([, column]) => require_queries_sql_keywords.kq(column)).join(", ")}) SELECT ${keys.map(([key]) => `${sourceAlias}.${require_queries_sql_keywords.safeKq(key)}`).join(", ")} FROM (${source.sql}) AS ${sourceAlias}`;
 			bindings.push(...source.bindings);
 			refs.push(...source.outerRefs);
 		}
 	} else {
 		if (statement.allowAll !== void 0 && typeof statement.allowAll !== "boolean") require_utils.fail("allowAll must be a boolean");
 		if (statement.softDeletes !== void 0 && statement.softDeletes !== "include" && statement.softDeletes !== "exclude") require_utils.fail("softDeletes must be 'include' or 'exclude'");
-		const user = mutationCondition(statement.where, ctx);
-		if (!user && statement.allowAll !== true) require_utils.fail("UPDATE and DELETE require a nonempty user where or allowAll: true");
+		const whereCondition = mutationCondition(statement.where, ctx);
+		if (Object.hasOwn(statement, "where") && !whereCondition && statement.allowAll !== true) require_utils.fail("UPDATE and DELETE require allowAll: true when a supplied where is undefined or fully pruned");
 		if (operation === "update") {
-			const entries = assignments(meta, statement.set, "update");
+			const entries = meta ? assignments(meta, statement.set, "update") : customAssignments(custom, statement.set, "update");
 			sql += " SET " + entries.map((entry) => {
 				const [key, value] = entry;
-				const field = writableField(meta, key, "update");
-				const cell = assignmentToSql(meta, field, value, ctx);
+				const field = meta ? writableField(meta, key, "update") : customWritableField(custom, key, "update");
+				const cell = meta ? assignmentToSql(meta, field, value, ctx) : customAssignmentToSql(custom, field, value, ctx);
 				bindings.push(...cell.bindings);
 				refs.push(...cell.refs);
 				return `${require_queries_sql_keywords.kq(field.columnName)} = ${cell.sql}`;
 			}).join(", ");
 		}
-		const conditions = [user, require_queries_sql_query.conditionToSql({ and: require_queries_sql_query.injectedConditions({
+		const conditions = [whereCondition, meta ? require_queries_sql_query.conditionToSql({ and: require_queries_sql_query.injectedConditions({
 			meta,
 			alias
-		}, statement.softDeletes ?? "exclude") }, ctx, true)].filter((condition) => condition !== void 0);
+		}, statement.softDeletes ?? "exclude") }, ctx, true) : void 0].filter((condition) => condition !== void 0);
 		if (conditions.length) {
 			sql += ` WHERE ${conditions.map((condition) => `(${condition.sql})`).join(" AND ")}`;
 			for (const condition of conditions) {
@@ -175,6 +180,23 @@ function assignments(meta, value, operation) {
 	if (!defined.length) require_utils.fail(`${operation} requires at least one defined field; empty rows/sets are not DEFAULT VALUES`);
 	return defined;
 }
+/** Validates assignment keys against a custom table's declared writable columns. */
+function customAssignments(table, value, operation) {
+	if (!value || typeof value !== "object" || Array.isArray(value) || require_queries_sql_Expr.isExpr(value) || require_Entity.isEntity(value)) require_utils.fail(`${operation} assignments must be a field POJO`);
+	const entries = Object.entries(value);
+	for (const [key] of entries) customWritableField(table, key, operation);
+	checkPojo(value, Object.keys(table.columns), `${operation} assignments`);
+	const defined = entries.filter((entry) => entry[1] !== void 0);
+	if (!defined.length) require_utils.fail(`${operation} requires at least one defined field; empty rows/sets are not DEFAULT VALUES`);
+	return defined;
+}
+/** Applies physical write restrictions declared by `declareTable`. */
+function customWritableField(table, key, operation) {
+	const column = Object.hasOwn(table.columns, key) ? table.columns[key] : void 0;
+	if (!column) require_utils.fail(`Unsupported SQL mutation field ${table.tableName}.${key}`);
+	if (operation === "update" ? !column.update : column.insert === "never") require_utils.fail(`Unsupported SQL mutation field ${table.tableName}.${key}`);
+	return column;
+}
 /** Applies physical write restrictions, not ORM-derived, protected, or business-immutable flags. */
 function writableField(meta, key, operation) {
 	const column = Object.hasOwn(meta.columns, key) ? meta.columns[key] : void 0;
@@ -215,9 +237,27 @@ function assignmentToSql(meta, column, value, ctx) {
 		refs: []
 	};
 }
+/** Encodes a custom-table literal through its declared primitive codec. */
+function customAssignmentToSql(table, column, value, ctx) {
+	if (require_queries_sql_Expr.isExpr(value)) return require_queries_sql_Expr.asNode(value).toSql(ctx);
+	if (value === null) {
+		if (!column.sqlNullable) require_utils.fail(`${table.tableName}.${column.columnName} is physically NOT NULL`);
+		return {
+			sql: "NULL",
+			bindings: [],
+			refs: []
+		};
+	}
+	return {
+		sql: "?",
+		bindings: [column.mapToDbValue(value)],
+		refs: []
+	};
+}
 /** Checks the user predicate independently so metadata filters cannot turn a pruned guard into consent. */
 function mutationCondition(value, ctx) {
 	if (require_queries_sql_Expr.isExpr(value)) return require_queries_sql_Expr.asNode(value).toSql(ctx);
+	if (Array.isArray(value)) return require_queries_sql_query.conditionToSql({ and: value }, ctx, true);
 	return require_queries_sql_query.conditionToSql(value, ctx, true);
 }
 /** Only own enumerable POJO clauses count as input or explicit full-table consent. */

package/build/queries/sql/execute.cjs.map

@@ -1 +1 @@
-{"version":3,"file":"execute.cjs","names":["isReadQueryValue","parseUserQuery","isTable","getTableMgmt","AliasAssigner","Ctx","registerCtes","projectionToSql","kq","parseNestedQuery","safeKq","conditionToSql","injectedConditions","pruneCtes","withFragment","isExpr","isEntity","asNode","keyToTaggedId","toTaggedId"],"sources":["../../../src/queries/sql/execute.ts"],"sourcesContent":["import type { DriverQueryResult } from \"src/drivers/Driver.ts\";\nimport { type Entity, isEntity } from \"src/Entity.ts\";\nimport type { IdOf } from \"src/EntityManager.ts\";\nimport type { EntityMetadata } from \"src/EntityMetadata.ts\";\nimport { keyToTaggedId, toTaggedId } from \"src/keys.ts\";\nimport type { SqlCondition } from \"src/queries/conditions.ts\";\nimport { AliasAssigner } from \"src/queries/sql/AliasAssigner.ts\";\nimport { type ExprBrand, type ExprLike, type SqlFragment, asNode, exprBrand, isExpr } from \"src/queries/sql/Expr.ts\";\nimport { kq, safeKq } from \"src/queries/sql/keywords.ts\";\nimport {\n  type CheckReadQuery,\n  type CheckScope,\n  type CheckSetQuery,\n  Ctx,\n  type EntityHydrator,\n  type NameOf,\n  type Plan,\n  type Query,\n  type QueryJoins,\n  type QueryRow,\n  type ReadQueryRow,\n  type SetOperand,\n  type SetOperation,\n  type SetQuery,\n  type Subquery,\n  type WithInput,\n  conditionToSql,\n  entityQueryBrand,\n  injectedConditions,\n  isReadQueryValue,\n  parseNestedQuery,\n  parseUserQuery,\n  projectionToSql,\n  pruneCtes,\n  registerCtes,\n  subqueryBrand,\n  withFragment,\n} from \"src/queries/sql/query.ts\";\nimport { type TableFor, getTableMgmt, isTable, tableMgmt } from \"src/queries/sql/Tables.ts\";\nimport type { Column } from \"src/serde/columns.ts\";\nimport type { ColumnsOf, TypeMapEntry } from \"src/typeMap.ts\";\nimport { fail } from \"src/utils.ts\";\n\n/** The native command count and decoded rows from one immediate SQL statement. */\nexport interface ExecuteResult<R> {\n  rowCount: number;\n  rows: R[];\n}\n\n/** A mutation's RETURNING projection: one SQL expression or a named object of expressions. */\nexport type MutationReturning = (ExprLike<unknown> | Readonly<Record<string, ExprLike<unknown>>>) & {\n  readonly [tableMgmt]?: never;\n  readonly [subqueryBrand]?: never;\n  readonly [entityQueryBrand]?: never;\n};\n\n/** SQL INSERT inputs, based on physical storage rather than entity creation options. */\nexport type InsertValues<T extends Entity> = {\n  [K in RequiredInsertKey<T>]: Assignment<T, K>;\n} & {\n  [K in Exclude<InsertKey<T>, RequiredInsertKey<T>>]?: Assignment<T, K> | undefined;\n};\n\n/** SQL UPDATE inputs include persisted derived columns, but never primary keys. */\nexport type UpdateValues<T extends Entity> = {\n  [K in UpdateKey<T>]?: Assignment<T, K> | undefined;\n};\n\n/** A reusable INSERT POJO; use a concrete Q for annotated INSERT SELECT source checking. */\nexport type InsertStatement<\n  T extends Entity,\n  R extends MutationReturning | undefined = MutationReturning | undefined,\n  Q extends SetOperand = Query<InsertProjection<T>, []> | Subquery<InsertSourceRow<T>, string>,\n> = {\n  readonly insert: MutationTarget<T>;\n  readonly returning?: R;\n  readonly update?: never;\n  readonly delete?: never;\n  readonly set?: never;\n  readonly where?: never;\n  readonly allowAll?: never;\n  readonly softDeletes?: never;\n  /** CTEs to add to a `WITH` before the INSERT; see `Clauses.with`. */\n  readonly with?: WithInput;\n} & NoMutationReadClauses &\n  (\n    | { readonly values: InsertValues<T> | readonly InsertValues<T>[]; readonly from?: never }\n    | { readonly from: Q & CheckInsertSource<T, Q>; readonly values?: never }\n  );\n\n/** A reusable guarded UPDATE POJO. Undefined assignments leave existing columns unchanged. */\nexport type UpdateStatement<\n  T extends Entity,\n  R extends MutationReturning | undefined = MutationReturning | undefined,\n> = {\n  readonly update: MutationTarget<T>;\n  readonly set: UpdateValues<T>;\n  readonly returning?: R;\n  readonly insert?: never;\n  readonly delete?: never;\n  readonly values?: never;\n  readonly from?: never;\n  /** CTEs to add to a `WITH` before the UPDATE; see `Clauses.with`. */\n  readonly with?: WithInput;\n} & MutationFilter &\n  NoMutationReadClauses;\n\n/** A reusable guarded physical DELETE POJO, not an ORM soft delete. */\nexport type DeleteStatement<\n  T extends Entity,\n  R extends MutationReturning | undefined = MutationReturning | undefined,\n> = {\n  readonly delete: MutationTarget<T>;\n  readonly returning?: R;\n  readonly insert?: never;\n  readonly update?: never;\n  readonly values?: never;\n  readonly from?: never;\n  readonly set?: never;\n  /** CTEs to add to a `WITH` before the DELETE; see `Clauses.with`. */\n  readonly with?: WithInput;\n} & MutationFilter &\n  NoMutationReadClauses;\n\n/** Public statement annotations retain the target's physical field policy. */\nexport type MutationStatement<\n  T extends Entity,\n  R extends MutationReturning | undefined = MutationReturning | undefined,\n> = InsertStatement<T, R> | UpdateStatement<T, R> | DeleteStatement<T, R>;\n\n/** Inference starts with the literal POJO; CheckMutation checks its target and every supplied key. */\nexport type MutationInput = (\n  | { readonly insert: TableFor<Entity>; readonly values: object | readonly object[]; readonly from?: never }\n  | { readonly insert: TableFor<Entity>; readonly from: SetOperand; readonly values?: never }\n  | { readonly update: TableFor<Entity>; readonly set: object }\n  | { readonly delete: TableFor<Entity> }\n) & { readonly returning?: MutationReturning; readonly with?: WithInput } & MutationFilter;\n\n/** Without RETURNING the row type is never; scalar expressions produce scalar rows. */\nexport type MutationRow<M> = M extends { readonly returning?: infer R }\n  ? R extends MutationReturning\n    ? R extends ExprLike<unknown>\n      ? QueryRow<R>\n      : { -readonly [K in keyof QueryRow<R>]: QueryRow<R>[K] }\n    : never\n  : never;\n\n/** Checks nonliteral statements as well as fresh literals without widening their inferred result. */\nexport type CheckMutation<M> = M extends unknown\n  ? TargetEntity<M> extends infer T extends Entity\n    ? TypeMapEntry<T, \"supportsEmExecute\"> extends true\n      ? { readonly [K in keyof M]: K extends MutationClause<M> ? unknown : never } & {\n          readonly returning?: M extends { readonly returning?: infer R }\n            ? CheckReturning<R, NameOf<TargetTable<M>>>\n            : never;\n        } & (\n            | (M extends { readonly values: infer V } ? { readonly values: CheckValues<T, V> } : never)\n            | (M extends { readonly from: infer Q extends SetOperand }\n                ? { readonly from: CheckInsertSource<T, Q> }\n                : never)\n            | (M extends { readonly set: infer V }\n                ? { readonly set: CheckAssignments<V, UpdateValues<T>, NameOf<TargetTable<M>>> }\n                : never)\n            | (M extends { readonly delete: unknown } ? unknown : never)\n          )\n      : \"SQL mutations require a supported non-inherited target and regenerated metadata\"\n    : never\n  : never;\n\n/** Classifies mutation roots before EntityManager applies write permissions, including malformed roots. */\nexport function isMutation(arg: unknown): boolean {\n  return (\n    typeof arg === \"object\" &&\n    arg !== null &&\n    !isReadQueryValue(arg) &&\n    [\"insert\", \"update\", \"delete\"].some((key) => key in arg)\n  );\n}\n\n/**\n * Compiles one immediate statement using the read compiler's scopes, projections, and codecs.\n * INSERT SELECT keeps source rows in PostgreSQL; only RETURNING rows pass through JS decoders.\n * An undefined plan represents a validated standalone empty VALUES array, not DEFAULT VALUES.\n */\nexport function parseStatement(arg: unknown): Plan | undefined {\n  if (!isMutation(arg)) return parseUserQuery(arg);\n  const statement = arg as Record<string, unknown>;\n  const roots = [\"insert\", \"update\", \"delete\"].filter((key) => key in statement);\n  if (roots.length !== 1) fail(\"A mutation requires exactly one insert, update, or delete root\");\n  const operation = roots[0];\n  const allowed =\n    operation === \"insert\"\n      ? [\"insert\", \"values\", \"from\", \"returning\", \"with\"]\n      : [\n          operation,\n          \"where\",\n          \"allowAll\",\n          \"softDeletes\",\n          \"returning\",\n          \"with\",\n          ...(operation === \"update\" ? [\"set\"] : []),\n        ];\n  checkPojo(statement, allowed, `SQL ${operation}`);\n  const target = statement[operation];\n  if (!isTable(target)) fail(\"A mutation target must be an entity table\");\n  const mgmt = getTableMgmt(target);\n  const meta = mgmt.meta;\n  if (meta.inheritanceType || meta.baseType || meta.baseTypes.length || meta.subTypes.length) {\n    fail(\"SQL mutations do not support CTI/STI targets or inherited table families\");\n  }\n  if (meta.supportsEmExecute !== true)\n    fail(`SQL mutations require supported physical metadata for ${meta.type}; run codegen`);\n  const fields = Object.entries(meta.columns);\n  for (const [, field] of fields) {\n    requireColumnMetadata(meta, field);\n  }\n  const assigner = new AliasAssigner();\n  // A CTE is in scope for the whole statement, so its scope is the parent of every other one here. It\n  // deliberately holds no target alias, which is what lets INSERT VALUES cells and the INSERT SELECT\n  // source read the CTEs without also seeing the row being written.\n  const withCtx = new Ctx(assigner, undefined);\n  const ctes = registerCtes(statement, withCtx, assigner);\n  // Aliases the rest of the statement reads, so an unread CTE prunes like it does on a read query.\n  const refs: string[] = [];\n  const ctx = new Ctx(assigner, withCtx);\n  const alias = assigner.getAlias(meta.tableName);\n  ctx.register(mgmt, alias);\n  const returning = statement.returning === undefined ? undefined : projectionToSql(statement.returning, ctx);\n  if (returning) for (const select of returning.selects) refs.push(...select.refs);\n  let sql = `${operation === \"delete\" ? \"DELETE FROM\" : operation.toUpperCase() + (operation === \"insert\" ? \" INTO\" : \"\")} ${kq(meta.tableName)} AS ${kq(alias)}`;\n  const bindings: unknown[] = [];\n  if (operation === \"insert\") {\n    if (\"values\" in statement === \"from\" in statement) fail(\"INSERT requires exactly one of values or from\");\n    const required = fields.filter(([, column]) => column.insert === \"required\");\n    if (\"values\" in statement) {\n      const rows = Array.isArray(statement.values) ? statement.values : [statement.values];\n      // A VALUES cell *is* the new row, so there is no existing row for it to read: this scope skips\n      // the `ctx.register(mgmt, alias)` above, so a cell naming the target fails instead of emitting a\n      // `b` with no FROM clause. I.e. an UPDATE can say `set: { title: b.title }`; an INSERT cannot.\n      // A value subquery still works, because it brings its own sources, and the parent here is the CTE\n      // scope rather than `ctx`, so a cell can read a `with` entry but not the row being written.\n      const valuesCtx = new Ctx(assigner, withCtx);\n      const entries = rows.map((row) => assignments(meta, row, \"insert\"));\n      for (const row of entries) {\n        for (const [key] of required) {\n          if (!row.some((entry) => entry[0] === key)) fail(`INSERT requires ${meta.type}.${key}`);\n        }\n      }\n      if (rows.length === 0) return undefined;\n      const keys = fields.filter(([key]) => entries.some((row) => row.some((entry) => entry[0] === key)));\n      sql += ` (${keys.map(([, field]) => kq(field.columnName)).join(\", \")}) VALUES `;\n      sql += entries\n        .map((row) => {\n          const cells = keys.map(([key, field]) => {\n            const entry = row.find((entry) => entry[0] === key);\n            if (!entry) return \"DEFAULT\";\n            const cell = assignmentToSql(meta, field, entry[1], valuesCtx);\n            bindings.push(...cell.bindings);\n            refs.push(...cell.refs);\n            return cell.sql;\n          });\n          return `(${cells.join(\", \")})`;\n        })\n        .join(\", \");\n    } else {\n      const source = parseNestedQuery(statement.from, withCtx, assigner);\n      if (source.output.kind !== \"pojo\") fail(\"INSERT SELECT requires named POJO output columns\");\n      const columns = source.output.columns;\n      for (const [key] of required) {\n        if (!columns.some((column) => column[0] === key)) fail(`INSERT requires ${meta.type}.${key}`);\n      }\n      for (const [key, expr] of columns) {\n        const field = writableField(meta, key, \"insert\");\n        const left = field.outputType;\n        const right = expr.outputType;\n        if (\n          !left ||\n          !right ||\n          left.dbType !== right.dbType ||\n          left.domain !== right.domain ||\n          left.idMeta !== right.idMeta\n        ) {\n          fail(`INSERT SELECT ${meta.type}.${key} has incompatible or unknown storage codecs`);\n        }\n        if (!field.sqlNullable && expr.sqlNullable === true)\n          fail(`INSERT SELECT ${meta.type}.${key} cannot accept a nullable output`);\n      }\n      const keys = fields.filter(([key]) => columns.some((column) => column[0] === key));\n      const sourceAlias = safeKq(assigner.getLiteralAlias(\"sq\"));\n      sql += ` (${keys.map(([, field]) => kq(field.columnName)).join(\", \")}) SELECT ${keys.map(([key]) => `${sourceAlias}.${safeKq(key)}`).join(\", \")} FROM (${source.sql}) AS ${sourceAlias}`;\n      bindings.push(...source.bindings);\n      refs.push(...source.outerRefs);\n    }\n  } else {\n    if (statement.allowAll !== undefined && typeof statement.allowAll !== \"boolean\") fail(\"allowAll must be a boolean\");\n    if (\n      statement.softDeletes !== undefined &&\n      statement.softDeletes !== \"include\" &&\n      statement.softDeletes !== \"exclude\"\n    )\n      fail(\"softDeletes must be 'include' or 'exclude'\");\n    const user = mutationCondition(statement.where, ctx);\n    if (!user && statement.allowAll !== true) fail(\"UPDATE and DELETE require a nonempty user where or allowAll: true\");\n    if (operation === \"update\") {\n      const entries = assignments(meta, statement.set, \"update\");\n      sql +=\n        \" SET \" +\n        entries\n          .map((entry) => {\n            const [key, value] = entry;\n            const field = writableField(meta, key, \"update\");\n            const cell = assignmentToSql(meta, field, value, ctx);\n            bindings.push(...cell.bindings);\n            refs.push(...cell.refs);\n            return `${kq(field.columnName)} = ${cell.sql}`;\n          })\n          .join(\", \");\n    }\n    const injected = conditionToSql(\n      { and: injectedConditions({ meta, alias }, statement.softDeletes ?? \"exclude\") },\n      ctx,\n      true,\n    );\n    const conditions = [user, injected].filter((condition) => condition !== undefined);\n    if (conditions.length) {\n      sql += ` WHERE ${conditions.map((condition) => `(${condition.sql})`).join(\" AND \")}`;\n      for (const condition of conditions) {\n        bindings.push(...condition.bindings);\n        refs.push(...condition.refs);\n      }\n    }\n  }\n  if (returning) {\n    sql += ` RETURNING ${returning.selects.map((select) => select.sql).join(\", \")}`;\n    for (const select of returning.selects) bindings.push(...select.bindings);\n  }\n  const keptCtes = pruneCtes(ctes, new Set(refs));\n  if (keptCtes.length > 0) {\n    const clause = withFragment(keptCtes);\n    sql = clause.sql + sql;\n    bindings.unshift(...clause.bindings);\n  }\n  return {\n    sql,\n    bindings,\n    outerRefs: [],\n    output: returning?.output ?? { kind: \"pojo\", columns: [] },\n    decodeRows: returning?.decodeRows ?? (() => []),\n  };\n}\n\n/** Retains native counts even when no rows return, and propagates decoding failures after execution. */\nexport function decodeStatementResult(\n  em: EntityHydrator,\n  plan: Plan,\n  result: DriverQueryResult,\n): ExecuteResult<unknown> {\n  if (typeof result.rowCount !== \"number\" || !Number.isInteger(result.rowCount) || result.rowCount < 0)\n    fail(\"The driver did not return a numeric command rowCount\");\n  return { rowCount: result.rowCount, rows: plan.decodeRows(em, result.rows) };\n}\n\ntype MutationTarget<T extends Entity> = TableFor<T> &\n  (TypeMapEntry<T, \"supportsEmExecute\"> extends true ? unknown : never);\ntype MutationFilter = {\n  readonly where?: SqlCondition | ExprLike<boolean>;\n  readonly allowAll?: boolean;\n  readonly softDeletes?: \"include\" | \"exclude\";\n};\ntype NoMutationReadClauses = Partial<\n  Record<\n    | \"select\"\n    | \"join\"\n    | \"groupBy\"\n    | \"having\"\n    | \"orderBy\"\n    | \"limit\"\n    | \"offset\"\n    | \"distinct\"\n    | \"pruneJoins\"\n    | \"as\"\n    | \"union\"\n    | \"unionAll\"\n    | \"intersect\"\n    | \"intersectAll\"\n    | \"except\"\n    | \"exceptAll\"\n    | \"ctes\"\n    | \"using\"\n    | \"onConflict\",\n    never\n  >\n>;\n/** Column keys allowed in INSERT, i.e. Book's optional `id` and required `authorId`. */\ntype InsertKey<T> = {\n  [K in keyof ColumnsOf<T>]: ColumnsOf<T>[K] extends { insert: \"required\" | \"optional\" } ? K : never;\n}[keyof ColumnsOf<T>];\n/** Column keys that each INSERT row must supply, i.e. Book's `authorId` despite its ORM default. */\ntype RequiredInsertKey<T> = {\n  [K in keyof ColumnsOf<T>]: ColumnsOf<T>[K] extends { insert: \"required\" } ? K : never;\n}[keyof ColumnsOf<T>];\n/** Column keys allowed in UPDATE SET, i.e. Book's `title` and `authorId`, but not `id`. */\ntype UpdateKey<T> = {\n  [K in keyof ColumnsOf<T>]: ColumnsOf<T>[K] extends { update: true } ? K : never;\n}[keyof ColumnsOf<T>];\n/** A column's domain value before SQL nullability is added, i.e. Book's `id` is BookId and `authorId` is AuthorId. */\ntype DomainValue<T, K extends keyof ColumnsOf<T>> = K extends \"id\"\n  ? IdOf<T>\n  : ColumnsOf<T>[K] extends { entity: infer U }\n    ? IdOf<U>\n    : ColumnsOf<T>[K] extends { type: infer V }\n      ? V\n      : never;\ntype SqlValue<T, K extends keyof ColumnsOf<T>> =\n  | DomainValue<T, K>\n  | (ColumnsOf<T>[K] extends { nullable: true } ? null : never);\ntype Assignment<T, K extends keyof ColumnsOf<T>> =\n  | SqlValue<T, K>\n  | ExprLike<SqlValue<T, K>>\n  | (K extends \"id\" ? never : ColumnsOf<T>[K] extends { entity: infer U } ? U : never);\ntype InsertSourceRow<T> = { [K in RequiredInsertKey<T>]: SqlValue<T, K> } & {\n  [K in Exclude<InsertKey<T>, RequiredInsertKey<T>>]?: SqlValue<T, K>;\n};\ntype InsertProjection<T> = { [K in RequiredInsertKey<T>]: ExprLike<SqlValue<T, K>> } & {\n  [K in Exclude<InsertKey<T>, RequiredInsertKey<T>>]?: ExprLike<SqlValue<T, K>>;\n};\ntype UnionKeys<V> = V extends unknown ? keyof V : never;\n/** Collects every alternative before scope checking; a valid branch cannot hide an unrelated alias. */\ntype UnionValue<V, K extends PropertyKey> = V extends unknown ? (K extends keyof V ? V[K] : never) : never;\ntype ExprSource<V> = V extends { readonly [exprBrand]: ExprBrand<unknown, infer Src> } ? Src : never;\ntype CheckExprScope<V, Scope> =\n  string extends ExprSource<V>\n    ? unknown\n    : [Exclude<ExprSource<V>, Scope>] extends [never]\n      ? unknown\n      : \"Expression source is not in the statement scope\";\ntype ReturningExpr<R> = R extends ExprLike<unknown> ? R : R extends undefined ? never : R[keyof R];\ntype EmptyReturning<R> = R extends object ? (keyof R extends never ? true : false) : false;\ntype CheckReturning<R, Scope> = true extends EmptyReturning<R> ? never : CheckExprScope<ReturningExpr<R>, Scope>;\ntype CheckAssignments<V, Allowed, Scope> = [Exclude<UnionKeys<V>, keyof Allowed>] extends [never]\n  ? Allowed & {\n      [K in UnionKeys<V>]?: CheckExprScope<UnionValue<V, K>, Scope>;\n    }\n  : \"SQL assignments have unknown target fields\";\ntype CheckValues<T extends Entity, V> =\n  | ([Extract<V, readonly unknown[]>] extends [never]\n      ? never\n      : readonly CheckAssignments<Extract<V, readonly unknown[]>[number], InsertValues<T>, never>[])\n  | ([Exclude<V, readonly unknown[]>] extends [never]\n      ? never\n      : CheckAssignments<Exclude<V, readonly unknown[]>, InsertValues<T>, never>);\ntype CheckSourceScope<Q> = Q extends { readonly select: infer S; readonly from: infer F }\n  ? CheckScope<S, F, \"join\" extends keyof Q ? Extract<Q[keyof Q & \"join\"], QueryJoins> : []>\n  : {\n      [K in keyof Q]: K extends SetOperation\n        ? Q[K] extends readonly unknown[]\n          ? { [I in keyof Q[K]]: CheckSourceScope<Q[K][I]> }\n          : unknown\n        : unknown;\n    };\ntype CheckInsertSource<T, Q extends SetOperand> = SetOperand extends Q\n  ? \"INSERT source was typed too generically; retain its named output fields\"\n  : ReadQueryRow<Q> extends InsertSourceRow<T>\n    ? Exclude<UnionKeys<ReadQueryRow<Q>>, InsertKey<T>> extends never\n      ? CheckReadQuery<Q> &\n          CheckSourceScope<Q> &\n          (Q extends SetQuery<readonly SetOperand[]> ? CheckSetQuery<Q> : unknown)\n      : \"INSERT SELECT has unknown target fields\"\n    : \"INSERT SELECT requires compatible values for all SQL-required fields\";\ntype TargetEntity<M> = M extends\n  | { readonly insert: TableFor<infer T> }\n  | { readonly update: TableFor<infer T> }\n  | { readonly delete: TableFor<infer T> }\n  ? T\n  : never;\ntype TargetTable<M> = M extends\n  | { readonly insert: infer A }\n  | { readonly update: infer A }\n  | { readonly delete: infer A }\n  ? A\n  : never;\ntype MutationClause<M> =\n  | \"returning\"\n  | \"with\"\n  | (M extends { readonly insert: unknown }\n      ? \"insert\" | (M extends { readonly values: unknown } ? \"values\" : \"from\")\n      : \"where\" | \"allowAll\" | \"softDeletes\" | (M extends { readonly update: unknown } ? \"update\" | \"set\" : \"delete\"));\n/** SQL mutations require complete physical metadata. */\nfunction requireColumnMetadata(meta: EntityMetadata, column: Column): void {\n  if (\n    typeof column.sqlNullable !== \"boolean\" ||\n    typeof column.hasDefault !== \"boolean\" ||\n    typeof column.isGenerated !== \"boolean\"\n  )\n    fail(`Missing physical metadata for ${meta.type}.${column.columnName}; run codegen`);\n}\n\n/** Validates every supplied key, including undefined fields, before pruning omitted values. */\nfunction assignments(meta: EntityMetadata, value: unknown, operation: \"insert\" | \"update\"): [string, unknown][] {\n  if (!value || typeof value !== \"object\" || Array.isArray(value) || isExpr(value) || isEntity(value))\n    fail(`${operation} assignments must be a field POJO`);\n  const entries = Object.entries(value);\n  for (const [key] of entries) writableField(meta, key, operation);\n  checkPojo(value, Object.keys(meta.columns), `${operation} assignments`);\n  const defined = entries.filter((entry) => entry[1] !== undefined);\n  if (!defined.length) fail(`${operation} requires at least one defined field; empty rows/sets are not DEFAULT VALUES`);\n  return defined;\n}\n\n/** Applies physical write restrictions, not ORM-derived, protected, or business-immutable flags. */\nfunction writableField(meta: EntityMetadata, key: string, operation: \"insert\" | \"update\"): Column {\n  const column = Object.hasOwn(meta.columns, key) ? meta.columns[key] : undefined;\n  if (!column) fail(`Unsupported SQL mutation field ${meta.type}.${key}`);\n  requireColumnMetadata(meta, column);\n  if (operation === \"update\" && key === \"id\") fail(\"UPDATE primary-key assignments are not supported\");\n  if (column.isGenerated) fail(`Generated field ${meta.type}.${key} is omit-only`);\n  if (operation === \"update\" ? !column.update : column.insert === \"never\")\n    fail(`Unsupported SQL mutation field ${meta.type}.${key}`);\n  return column;\n}\n\n/**\n * Classifies SQL expressions and SQL NULL before invoking the column's entity-independent write codec.\n * Normalizes public PK/FK ids to internal tagged ids using the target entity's idType.\n */\nfunction assignmentToSql(meta: EntityMetadata, column: Column, value: unknown, ctx: Ctx): SqlFragment {\n  if (isExpr(value)) return asNode(value).toSql(ctx);\n  if (value === null) {\n    if (!column.sqlNullable) fail(`${meta.type}.${column.columnName} is physically NOT NULL`);\n    return { sql: \"NULL\", bindings: [], refs: [] };\n  }\n  if (column.idMetadata) {\n    const other = column.idMetadata();\n    if (isEntity(value)) {\n      if (column.columnName === \"id\" || !(value instanceof other.cstr)) fail(`Expected a ${other.type} reference`);\n      if (value.isNewEntity || value.idTaggedMaybe === undefined)\n        fail(`Cannot reference an unflushed ${other.type}, even with an assigned ID`);\n      value = value.idTaggedMaybe;\n    } else if (typeof value !== (other.idType === \"number\" ? \"number\" : \"string\")) {\n      fail(`Expected a persisted ${other.type} or its ID; nested creation is not supported`);\n    } else {\n      // Public untagged TEXT ids may contain delimiters or start with the entity tag.\n      value =\n        other.idType === \"untagged-string\"\n          ? keyToTaggedId(other, value as string)\n          : toTaggedId(other, value as string | number);\n    }\n  }\n  if (!column.codec.mapToDbValue)\n    fail(`The codec for ${meta.type}.${column.columnName} does not support SQL value writes`);\n  return { sql: \"?\", bindings: [column.mapToDbValue(value)], refs: [] };\n}\n\n/** Checks the user predicate independently so metadata filters cannot turn a pruned guard into consent. */\nfunction mutationCondition(value: unknown, ctx: Ctx): SqlFragment | undefined {\n  if (isExpr(value)) return asNode(value).toSql(ctx);\n  return conditionToSql(value as SqlCondition | undefined, ctx, true);\n}\n\n/** Only own enumerable POJO clauses count as input or explicit full-table consent. */\nfunction checkPojo(value: object, allowed: readonly PropertyKey[], description: string): void {\n  if (Object.getPrototypeOf(value) !== Object.prototype && Object.getPrototypeOf(value) !== null)\n    fail(`${description} must be a plain POJO`);\n  for (const key of Reflect.ownKeys(value)) {\n    if (!allowed.includes(key)) fail(`${description} does not support '${String(key)}'`);\n    if (typeof key === \"string\" && !Object.prototype.propertyIsEnumerable.call(value, key))\n      fail(`${description} requires enumerable fields`);\n  }\n}\n"],"mappings":";;;;;;;;;;;AA0KA,SAAgB,WAAW,KAAuB;CAChD,OACE,OAAO,QAAQ,YACf,QAAQ,QACR,CAACA,0BAAAA,iBAAiB,GAAG,KACrB;EAAC;EAAU;EAAU;CAAQ,CAAC,CAAC,MAAM,QAAQ,OAAO,GAAG;AAE3D;;;;;;AAOA,SAAgB,eAAe,KAAgC;CAC7D,IAAI,CAAC,WAAW,GAAG,GAAG,OAAOC,0BAAAA,eAAe,GAAG;CAC/C,MAAM,YAAY;CAClB,MAAM,QAAQ;EAAC;EAAU;EAAU;CAAQ,CAAC,CAAC,QAAQ,QAAQ,OAAO,SAAS;CAC7E,IAAI,MAAM,WAAW,GAAG,cAAA,KAAK,gEAAgE;CAC7F,MAAM,YAAY,MAAM;CAaxB,UAAU,WAXR,cAAc,WACV;EAAC;EAAU;EAAU;EAAQ;EAAa;CAAM,IAChD;EACE;EACA;EACA;EACA;EACA;EACA;EACA,GAAI,cAAc,WAAW,CAAC,KAAK,IAAI,CAAC;CAC1C,GACwB,OAAO,WAAW;CAChD,MAAM,SAAS,UAAU;CACzB,IAAI,CAACC,2BAAAA,QAAQ,MAAM,GAAG,cAAA,KAAK,2CAA2C;CACtE,MAAM,OAAOC,2BAAAA,aAAa,MAAM;CAChC,MAAM,OAAO,KAAK;CAClB,IAAI,KAAK,mBAAmB,KAAK,YAAY,KAAK,UAAU,UAAU,KAAK,SAAS,QAClF,cAAA,KAAK,0EAA0E;CAEjF,IAAI,KAAK,sBAAsB,MAC7B,cAAA,KAAK,yDAAyD,KAAK,KAAK,cAAc;CACxF,MAAM,SAAS,OAAO,QAAQ,KAAK,OAAO;CAC1C,KAAK,MAAM,GAAG,UAAU,QACtB,sBAAsB,MAAM,KAAK;CAEnC,MAAM,WAAW,IAAIC,kCAAAA,cAAc;CAInC,MAAM,UAAU,IAAIC,0BAAAA,IAAI,UAAU,KAAA,CAAS;CAC3C,MAAM,OAAOC,0BAAAA,aAAa,WAAW,SAAS,QAAQ;CAEtD,MAAM,OAAiB,CAAC;CACxB,MAAM,MAAM,IAAID,0BAAAA,IAAI,UAAU,OAAO;CACrC,MAAM,QAAQ,SAAS,SAAS,KAAK,SAAS;CAC9C,IAAI,SAAS,MAAM,KAAK;CACxB,MAAM,YAAY,UAAU,cAAc,KAAA,IAAY,KAAA,IAAYE,0BAAAA,gBAAgB,UAAU,WAAW,GAAG;CAC1G,IAAI,WAAW,KAAK,MAAM,UAAU,UAAU,SAAS,KAAK,KAAK,GAAG,OAAO,IAAI;CAC/E,IAAI,MAAM,GAAG,cAAc,WAAW,gBAAgB,UAAU,YAAY,KAAK,cAAc,WAAW,UAAU,IAAI,GAAGC,6BAAAA,GAAG,KAAK,SAAS,EAAE,MAAMA,6BAAAA,GAAG,KAAK;CAC5J,MAAM,WAAsB,CAAC;CAC7B,IAAI,cAAc,UAAU;EAC1B,IAAI,YAAY,cAAc,UAAU,WAAW,cAAA,KAAK,+CAA+C;EACvG,MAAM,WAAW,OAAO,QAAQ,GAAG,YAAY,OAAO,WAAW,UAAU;EAC3E,IAAI,YAAY,WAAW;GACzB,MAAM,OAAO,MAAM,QAAQ,UAAU,MAAM,IAAI,UAAU,SAAS,CAAC,UAAU,MAAM;GAMnF,MAAM,YAAY,IAAIH,0BAAAA,IAAI,UAAU,OAAO;GAC3C,MAAM,UAAU,KAAK,KAAK,QAAQ,YAAY,MAAM,KAAK,QAAQ,CAAC;GAClE,KAAK,MAAM,OAAO,SAChB,KAAK,MAAM,CAAC,QAAQ,UAClB,IAAI,CAAC,IAAI,MAAM,UAAU,MAAM,OAAO,GAAG,GAAG,cAAA,KAAK,mBAAmB,KAAK,KAAK,GAAG,KAAK;GAG1F,IAAI,KAAK,WAAW,GAAG,OAAO,KAAA;GAC9B,MAAM,OAAO,OAAO,QAAQ,CAAC,SAAS,QAAQ,MAAM,QAAQ,IAAI,MAAM,UAAU,MAAM,OAAO,GAAG,CAAC,CAAC;GAClG,OAAO,KAAK,KAAK,KAAK,GAAG,WAAWG,6BAAAA,GAAG,MAAM,UAAU,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE;GACrE,OAAO,QACJ,KAAK,QAAQ;IASZ,OAAO,IARO,KAAK,KAAK,CAAC,KAAK,WAAW;KACvC,MAAM,QAAQ,IAAI,MAAM,UAAU,MAAM,OAAO,GAAG;KAClD,IAAI,CAAC,OAAO,OAAO;KACnB,MAAM,OAAO,gBAAgB,MAAM,OAAO,MAAM,IAAI,SAAS;KAC7D,SAAS,KAAK,GAAG,KAAK,QAAQ;KAC9B,KAAK,KAAK,GAAG,KAAK,IAAI;KACtB,OAAO,KAAK;IACd,CACe,CAAC,CAAC,KAAK,IAAI,EAAE;GAC9B,CAAC,CAAC,CACD,KAAK,IAAI;EACd,OAAO;GACL,MAAM,SAASC,0BAAAA,iBAAiB,UAAU,MAAM,SAAS,QAAQ;GACjE,IAAI,OAAO,OAAO,SAAS,QAAQ,cAAA,KAAK,kDAAkD;GAC1F,MAAM,UAAU,OAAO,OAAO;GAC9B,KAAK,MAAM,CAAC,QAAQ,UAClB,IAAI,CAAC,QAAQ,MAAM,WAAW,OAAO,OAAO,GAAG,GAAG,cAAA,KAAK,mBAAmB,KAAK,KAAK,GAAG,KAAK;GAE9F,KAAK,MAAM,CAAC,KAAK,SAAS,SAAS;IACjC,MAAM,QAAQ,cAAc,MAAM,KAAK,QAAQ;IAC/C,MAAM,OAAO,MAAM;IACnB,MAAM,QAAQ,KAAK;IACnB,IACE,CAAC,QACD,CAAC,SACD,KAAK,WAAW,MAAM,UACtB,KAAK,WAAW,MAAM,UACtB,KAAK,WAAW,MAAM,QAEtB,cAAA,KAAK,iBAAiB,KAAK,KAAK,GAAG,IAAI,4CAA4C;IAErF,IAAI,CAAC,MAAM,eAAe,KAAK,gBAAgB,MAC7C,cAAA,KAAK,iBAAiB,KAAK,KAAK,GAAG,IAAI,iCAAiC;GAC5E;GACA,MAAM,OAAO,OAAO,QAAQ,CAAC,SAAS,QAAQ,MAAM,WAAW,OAAO,OAAO,GAAG,CAAC;GACjF,MAAM,cAAcC,6BAAAA,OAAO,SAAS,gBAAgB,IAAI,CAAC;GACzD,OAAO,KAAK,KAAK,KAAK,GAAG,WAAWF,6BAAAA,GAAG,MAAM,UAAU,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,WAAW,KAAK,KAAK,CAAC,SAAS,GAAG,YAAY,GAAGE,6BAAAA,OAAO,GAAG,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE,SAAS,OAAO,IAAI,OAAO;GAC3K,SAAS,KAAK,GAAG,OAAO,QAAQ;GAChC,KAAK,KAAK,GAAG,OAAO,SAAS;EAC/B;CACF,OAAO;EACL,IAAI,UAAU,aAAa,KAAA,KAAa,OAAO,UAAU,aAAa,WAAW,cAAA,KAAK,4BAA4B;EAClH,IACE,UAAU,gBAAgB,KAAA,KAC1B,UAAU,gBAAgB,aAC1B,UAAU,gBAAgB,WAE1B,cAAA,KAAK,4CAA4C;EACnD,MAAM,OAAO,kBAAkB,UAAU,OAAO,GAAG;EACnD,IAAI,CAAC,QAAQ,UAAU,aAAa,MAAM,cAAA,KAAK,mEAAmE;EAClH,IAAI,cAAc,UAAU;GAC1B,MAAM,UAAU,YAAY,MAAM,UAAU,KAAK,QAAQ;GACzD,OACE,UACA,QACG,KAAK,UAAU;IACd,MAAM,CAAC,KAAK,SAAS;IACrB,MAAM,QAAQ,cAAc,MAAM,KAAK,QAAQ;IAC/C,MAAM,OAAO,gBAAgB,MAAM,OAAO,OAAO,GAAG;IACpD,SAAS,KAAK,GAAG,KAAK,QAAQ;IAC9B,KAAK,KAAK,GAAG,KAAK,IAAI;IACtB,OAAO,GAAGF,6BAAAA,GAAG,MAAM,UAAU,EAAE,KAAK,KAAK;GAC3C,CAAC,CAAC,CACD,KAAK,IAAI;EAChB;EAMA,MAAM,aAAa,CAAC,MALHG,0BAAAA,eACf,EAAE,KAAKC,0BAAAA,mBAAmB;GAAE;GAAM;EAAM,GAAG,UAAU,eAAe,SAAS,EAAE,GAC/E,KACA,IAE+B,CAAC,CAAC,CAAC,QAAQ,cAAc,cAAc,KAAA,CAAS;EACjF,IAAI,WAAW,QAAQ;GACrB,OAAO,UAAU,WAAW,KAAK,cAAc,IAAI,UAAU,IAAI,EAAE,CAAC,CAAC,KAAK,OAAO;GACjF,KAAK,MAAM,aAAa,YAAY;IAClC,SAAS,KAAK,GAAG,UAAU,QAAQ;IACnC,KAAK,KAAK,GAAG,UAAU,IAAI;GAC7B;EACF;CACF;CACA,IAAI,WAAW;EACb,OAAO,cAAc,UAAU,QAAQ,KAAK,WAAW,OAAO,GAAG,CAAC,CAAC,KAAK,IAAI;EAC5E,KAAK,MAAM,UAAU,UAAU,SAAS,SAAS,KAAK,GAAG,OAAO,QAAQ;CAC1E;CACA,MAAM,WAAWC,0BAAAA,UAAU,MAAM,IAAI,IAAI,IAAI,CAAC;CAC9C,IAAI,SAAS,SAAS,GAAG;EACvB,MAAM,SAASC,0BAAAA,aAAa,QAAQ;EACpC,MAAM,OAAO,MAAM;EACnB,SAAS,QAAQ,GAAG,OAAO,QAAQ;CACrC;CACA,OAAO;EACL;EACA;EACA,WAAW,CAAC;EACZ,QAAQ,WAAW,UAAU;GAAE,MAAM;GAAQ,SAAS,CAAC;EAAE;EACzD,YAAY,WAAW,qBAAqB,CAAC;CAC/C;AACF;;AAGA,SAAgB,sBACd,IACA,MACA,QACwB;CACxB,IAAI,OAAO,OAAO,aAAa,YAAY,CAAC,OAAO,UAAU,OAAO,QAAQ,KAAK,OAAO,WAAW,GACjG,cAAA,KAAK,sDAAsD;CAC7D,OAAO;EAAE,UAAU,OAAO;EAAU,MAAM,KAAK,WAAW,IAAI,OAAO,IAAI;CAAE;AAC7E;;AAgIA,SAAS,sBAAsB,MAAsB,QAAsB;CACzE,IACE,OAAO,OAAO,gBAAgB,aAC9B,OAAO,OAAO,eAAe,aAC7B,OAAO,OAAO,gBAAgB,WAE9B,cAAA,KAAK,iCAAiC,KAAK,KAAK,GAAG,OAAO,WAAW,cAAc;AACvF;;AAGA,SAAS,YAAY,MAAsB,OAAgB,WAAqD;CAC9G,IAAI,CAAC,SAAS,OAAO,UAAU,YAAY,MAAM,QAAQ,KAAK,KAAKC,yBAAAA,OAAO,KAAK,KAAKC,eAAAA,SAAS,KAAK,GAChG,cAAA,KAAK,GAAG,UAAU,kCAAkC;CACtD,MAAM,UAAU,OAAO,QAAQ,KAAK;CACpC,KAAK,MAAM,CAAC,QAAQ,SAAS,cAAc,MAAM,KAAK,SAAS;CAC/D,UAAU,OAAO,OAAO,KAAK,KAAK,OAAO,GAAG,GAAG,UAAU,aAAa;CACtE,MAAM,UAAU,QAAQ,QAAQ,UAAU,MAAM,OAAO,KAAA,CAAS;CAChE,IAAI,CAAC,QAAQ,QAAQ,cAAA,KAAK,GAAG,UAAU,6EAA6E;CACpH,OAAO;AACT;;AAGA,SAAS,cAAc,MAAsB,KAAa,WAAwC;CAChG,MAAM,SAAS,OAAO,OAAO,KAAK,SAAS,GAAG,IAAI,KAAK,QAAQ,OAAO,KAAA;CACtE,IAAI,CAAC,QAAQ,cAAA,KAAK,kCAAkC,KAAK,KAAK,GAAG,KAAK;CACtE,sBAAsB,MAAM,MAAM;CAClC,IAAI,cAAc,YAAY,QAAQ,MAAM,cAAA,KAAK,kDAAkD;CACnG,IAAI,OAAO,aAAa,cAAA,KAAK,mBAAmB,KAAK,KAAK,GAAG,IAAI,cAAc;CAC/E,IAAI,cAAc,WAAW,CAAC,OAAO,SAAS,OAAO,WAAW,SAC9D,cAAA,KAAK,kCAAkC,KAAK,KAAK,GAAG,KAAK;CAC3D,OAAO;AACT;;;;;AAMA,SAAS,gBAAgB,MAAsB,QAAgB,OAAgB,KAAuB;CACpG,IAAID,yBAAAA,OAAO,KAAK,GAAG,OAAOE,yBAAAA,OAAO,KAAK,CAAC,CAAC,MAAM,GAAG;CACjD,IAAI,UAAU,MAAM;EAClB,IAAI,CAAC,OAAO,aAAa,cAAA,KAAK,GAAG,KAAK,KAAK,GAAG,OAAO,WAAW,wBAAwB;EACxF,OAAO;GAAE,KAAK;GAAQ,UAAU,CAAC;GAAG,MAAM,CAAC;EAAE;CAC/C;CACA,IAAI,OAAO,YAAY;EACrB,MAAM,QAAQ,OAAO,WAAW;EAChC,IAAID,eAAAA,SAAS,KAAK,GAAG;GACnB,IAAI,OAAO,eAAe,QAAQ,EAAE,iBAAiB,MAAM,OAAO,cAAA,KAAK,cAAc,MAAM,KAAK,WAAW;GAC3G,IAAI,MAAM,eAAe,MAAM,kBAAkB,KAAA,GAC/C,cAAA,KAAK,iCAAiC,MAAM,KAAK,2BAA2B;GAC9E,QAAQ,MAAM;EAChB,OAAO,IAAI,OAAO,WAAW,MAAM,WAAW,WAAW,WAAW,WAClE,cAAA,KAAK,wBAAwB,MAAM,KAAK,6CAA6C;OAGrF,QACE,MAAM,WAAW,oBACbE,aAAAA,cAAc,OAAO,KAAe,IACpCC,aAAAA,WAAW,OAAO,KAAwB;CAEpD;CACA,IAAI,CAAC,OAAO,MAAM,cAChB,cAAA,KAAK,iBAAiB,KAAK,KAAK,GAAG,OAAO,WAAW,mCAAmC;CAC1F,OAAO;EAAE,KAAK;EAAK,UAAU,CAAC,OAAO,aAAa,KAAK,CAAC;EAAG,MAAM,CAAC;CAAE;AACtE;;AAGA,SAAS,kBAAkB,OAAgB,KAAmC;CAC5E,IAAIJ,yBAAAA,OAAO,KAAK,GAAG,OAAOE,yBAAAA,OAAO,KAAK,CAAC,CAAC,MAAM,GAAG;CACjD,OAAON,0BAAAA,eAAe,OAAmC,KAAK,IAAI;AACpE;;AAGA,SAAS,UAAU,OAAe,SAAiC,aAA2B;CAC5F,IAAI,OAAO,eAAe,KAAK,MAAM,OAAO,aAAa,OAAO,eAAe,KAAK,MAAM,MACxF,cAAA,KAAK,GAAG,YAAY,sBAAsB;CAC5C,KAAK,MAAM,OAAO,QAAQ,QAAQ,KAAK,GAAG;EACxC,IAAI,CAAC,QAAQ,SAAS,GAAG,GAAG,cAAA,KAAK,GAAG,YAAY,qBAAqB,OAAO,GAAG,EAAE,EAAE;EACnF,IAAI,OAAO,QAAQ,YAAY,CAAC,OAAO,UAAU,qBAAqB,KAAK,OAAO,GAAG,GACnF,cAAA,KAAK,GAAG,YAAY,4BAA4B;CACpD;AACF"}
+{"version":3,"file":"execute.cjs","names":["isReadQueryValue","parseUserQuery","isTable","getTableMgmt","isEntityTable","isCustomTable","AliasAssigner","Ctx","registerCtes","projectionToSql","tableSqlName","kq","parseNestedQuery","safeKq","conditionToSql","injectedConditions","pruneCtes","withFragment","isExpr","isEntity","asNode","keyToTaggedId","toTaggedId"],"sources":["../../../src/queries/sql/execute.ts"],"sourcesContent":["import type { DriverQueryResult } from \"src/drivers/Driver.ts\";\nimport { type Entity, isEntity } from \"src/Entity.ts\";\nimport type { IdOf } from \"src/EntityManager.ts\";\nimport type { EntityMetadata } from \"src/EntityMetadata.ts\";\nimport { keyToTaggedId, toTaggedId } from \"src/keys.ts\";\nimport type { SqlCondition } from \"src/queries/conditions.ts\";\nimport { AliasAssigner } from \"src/queries/sql/AliasAssigner.ts\";\nimport {\n  type CustomColumnInputs,\n  type CustomColumnValue,\n  type CustomColumnsOf,\n  type CustomTableFor,\n  type CustomTableMgmt,\n} from \"src/queries/sql/custom.ts\";\nimport { type ExprBrand, type ExprLike, type SqlFragment, asNode, exprBrand, isExpr } from \"src/queries/sql/Expr.ts\";\nimport { kq, safeKq } from \"src/queries/sql/keywords.ts\";\nimport {\n  type CheckReadQuery,\n  type CheckScope,\n  type CheckSetQuery,\n  Ctx,\n  type EntityHydrator,\n  type NameOf,\n  type Plan,\n  type Query,\n  type QueryJoinInput,\n  type QueryRow,\n  type ReadQueryRow,\n  type SetOperand,\n  type SetOperation,\n  type SetQuery,\n  type Subquery,\n  type WithInput,\n  conditionToSql,\n  entityQueryBrand,\n  injectedConditions,\n  isReadQueryValue,\n  parseNestedQuery,\n  parseUserQuery,\n  projectionToSql,\n  pruneCtes,\n  registerCtes,\n  subqueryBrand,\n  withFragment,\n} from \"src/queries/sql/query.ts\";\nimport {\n  type TableFor,\n  getTableMgmt,\n  isCustomTable,\n  isEntityTable,\n  isTable,\n  tableMgmt,\n  tableSqlName,\n} from \"src/queries/sql/Tables.ts\";\nimport type { Column } from \"src/serde/columns.ts\";\nimport type { ColumnsOf, TypeMapEntry } from \"src/typeMap.ts\";\nimport { fail } from \"src/utils.ts\";\n\n/** The native command count and decoded rows from one immediate SQL statement. */\nexport interface ExecuteResult<R> {\n  rowCount: number;\n  rows: R[];\n}\n\n/** A mutation's RETURNING projection: one SQL expression or a named object of expressions. */\nexport type MutationReturning = (ExprLike<unknown> | Readonly<Record<string, ExprLike<unknown>>>) & {\n  readonly [tableMgmt]?: never;\n  readonly [subqueryBrand]?: never;\n  readonly [entityQueryBrand]?: never;\n};\n\n/** SQL INSERT inputs, based on physical storage rather than entity creation options. */\nexport type InsertValues<T extends Entity> = {\n  [K in RequiredInsertKey<T>]: Assignment<T, K>;\n} & {\n  [K in Exclude<InsertKey<T>, RequiredInsertKey<T>>]?: Assignment<T, K> | undefined;\n};\n\n/** SQL UPDATE inputs include persisted derived columns, but never primary keys. */\nexport type UpdateValues<T extends Entity> = {\n  [K in UpdateKey<T>]?: Assignment<T, K> | undefined;\n};\n\n/** A reusable INSERT POJO; use a concrete Q for annotated INSERT SELECT source checking. */\nexport type InsertStatement<\n  T extends Entity,\n  R extends MutationReturning | undefined = MutationReturning | undefined,\n  Q extends SetOperand = Query<InsertProjection<T>, []> | Subquery<InsertSourceRow<T>, string>,\n> = {\n  readonly insert: MutationTarget<T>;\n  readonly returning?: R;\n  readonly update?: never;\n  readonly delete?: never;\n  readonly set?: never;\n  readonly where?: never;\n  readonly allowAll?: never;\n  readonly softDeletes?: never;\n  /** CTEs to add to a `WITH` before the INSERT; see `Clauses.with`. */\n  readonly with?: WithInput;\n} & NoMutationReadClauses &\n  (\n    | { readonly values: readonly InsertValues<T>[]; readonly from?: never }\n    | { readonly from: Q & CheckInsertSource<T, Q>; readonly values?: never }\n  );\n\n/** A reusable guarded UPDATE POJO. Undefined assignments leave existing columns unchanged. */\nexport type UpdateStatement<\n  T extends Entity,\n  R extends MutationReturning | undefined = MutationReturning | undefined,\n> = {\n  readonly update: MutationTarget<T>;\n  readonly set: UpdateValues<T>;\n  readonly returning?: R;\n  readonly insert?: never;\n  readonly delete?: never;\n  readonly values?: never;\n  readonly from?: never;\n  /** CTEs to add to a `WITH` before the UPDATE; see `Clauses.with`. */\n  readonly with?: WithInput;\n} & MutationFilter &\n  NoMutationReadClauses;\n\n/** A reusable guarded physical DELETE POJO, not an ORM soft delete. */\nexport type DeleteStatement<\n  T extends Entity,\n  R extends MutationReturning | undefined = MutationReturning | undefined,\n> = {\n  readonly delete: MutationTarget<T>;\n  readonly returning?: R;\n  readonly insert?: never;\n  readonly update?: never;\n  readonly values?: never;\n  readonly from?: never;\n  readonly set?: never;\n  /** CTEs to add to a `WITH` before the DELETE; see `Clauses.with`. */\n  readonly with?: WithInput;\n} & MutationFilter &\n  NoMutationReadClauses;\n\n/** Public statement annotations retain the target's physical field policy. */\nexport type MutationStatement<\n  T extends Entity,\n  R extends MutationReturning | undefined = MutationReturning | undefined,\n> = InsertStatement<T, R> | UpdateStatement<T, R> | DeleteStatement<T, R>;\n\n/** Inference starts with the literal POJO; CheckMutation checks its target and every supplied key. */\nexport type MutationInput = (\n  | { readonly insert: TableFor<Entity>; readonly values: readonly object[]; readonly from?: never }\n  | { readonly insert: TableFor<Entity>; readonly from: SetOperand; readonly values?: never }\n  | { readonly update: TableFor<Entity>; readonly set: object }\n  | { readonly delete: TableFor<Entity> }\n  | {\n      readonly insert: CustomTableFor;\n      readonly values: readonly object[];\n      readonly from?: never;\n    }\n  | { readonly insert: CustomTableFor; readonly from: SetOperand; readonly values?: never }\n  | { readonly update: CustomTableFor; readonly set: object }\n  | { readonly delete: CustomTableFor }\n) & { readonly returning?: MutationReturning; readonly with?: WithInput } & MutationFilter;\n\n/** Without RETURNING the row type is never; scalar expressions produce scalar rows. */\nexport type MutationRow<M> = M extends { readonly returning?: infer R }\n  ? R extends MutationReturning\n    ? R extends ExprLike<unknown>\n      ? QueryRow<R>\n      : { -readonly [K in keyof QueryRow<R>]: QueryRow<R>[K] }\n    : never\n  : never;\n\n/** Checks nonliteral statements as well as fresh literals without widening their inferred result. */\nexport type CheckMutation<M> = M extends unknown\n  ? [CustomColumnsOf<TargetTable<M>>] extends [never]\n    ? TargetEntity<M> extends infer T extends Entity\n      ? TypeMapEntry<T, \"supportsEmExecute\"> extends true\n        ? { readonly [K in keyof M]: K extends MutationClause<M> ? unknown : never } & {\n            readonly returning?: M extends { readonly returning?: infer R }\n              ? CheckReturning<R, NameOf<TargetTable<M>>>\n              : never;\n          } & (\n              | (M extends { readonly values: infer V extends readonly unknown[] }\n                  ? { readonly values: CheckValues<T, V> }\n                  : never)\n              | (M extends { readonly from: infer Q extends SetOperand }\n                  ? { readonly from: CheckInsertSource<T, Q> }\n                  : never)\n              | (M extends { readonly set: infer V }\n                  ? { readonly set: CheckAssignments<V, UpdateValues<T>, NameOf<TargetTable<M>>> }\n                  : never)\n              | (M extends { readonly delete: unknown } ? unknown : never)\n            )\n        : \"SQL mutations require a supported non-inherited target and regenerated metadata\"\n      : never\n    : CheckCustomMutation<M>\n  : never;\n\n/** Classifies mutation roots before EntityManager applies write permissions, including malformed roots. */\nexport function isMutation(arg: unknown): boolean {\n  return (\n    typeof arg === \"object\" &&\n    arg !== null &&\n    !isReadQueryValue(arg) &&\n    [\"insert\", \"update\", \"delete\"].some((key) => key in arg)\n  );\n}\n\n/**\n * Compiles one immediate statement using the read compiler's scopes, projections, and codecs.\n * INSERT SELECT keeps source rows in PostgreSQL; only RETURNING rows pass through JS decoders.\n * An undefined plan represents a validated standalone empty VALUES array, not DEFAULT VALUES.\n */\nexport function parseStatement(arg: unknown): Plan | undefined {\n  if (!isMutation(arg)) return parseUserQuery(arg);\n  const statement = arg as Record<string, unknown>;\n  const roots = [\"insert\", \"update\", \"delete\"].filter((key) => key in statement);\n  if (roots.length !== 1) fail(\"A mutation requires exactly one insert, update, or delete root\");\n  const operation = roots[0];\n  const allowed =\n    operation === \"insert\"\n      ? [\"insert\", \"values\", \"from\", \"returning\", \"with\"]\n      : [\n          operation,\n          \"where\",\n          \"allowAll\",\n          \"softDeletes\",\n          \"returning\",\n          \"with\",\n          ...(operation === \"update\" ? [\"set\"] : []),\n        ];\n  checkPojo(statement, allowed, `SQL ${operation}`);\n  const target = statement[operation];\n  if (!isTable(target)) fail(\"A mutation target must be a table\");\n  const mgmt = getTableMgmt(target);\n  const meta = isEntityTable(target) ? getTableMgmt(target).meta : undefined;\n  const custom = isCustomTable(target) ? getTableMgmt(target) : undefined;\n  if (meta) {\n    if (meta.inheritanceType || meta.baseType || meta.baseTypes.length || meta.subTypes.length) {\n      fail(\"SQL mutations do not support CTI/STI targets or inherited table families\");\n    }\n    if (meta.supportsEmExecute !== true)\n      fail(`SQL mutations require supported physical metadata for ${meta.type}; run codegen`);\n    for (const field of Object.values(meta.columns)) requireColumnMetadata(meta, field);\n  } else if (statement.softDeletes !== undefined) {\n    fail(\"Custom table mutations do not support softDeletes\");\n  }\n  const fields = Object.entries(meta?.columns ?? custom!.columns);\n  const assigner = new AliasAssigner();\n  // A CTE is in scope for the whole statement, so its scope is the parent of every other one here. It\n  // deliberately holds no target alias, which is what lets INSERT VALUES cells and the INSERT SELECT\n  // source read the CTEs without also seeing the row being written.\n  const withCtx = new Ctx(assigner, undefined);\n  const ctes = registerCtes(statement, withCtx, assigner);\n  // Aliases the rest of the statement reads, so an unread CTE prunes like it does on a read query.\n  const refs: string[] = [];\n  const ctx = new Ctx(assigner, withCtx);\n  const alias = assigner.getAlias(mgmt.tableName);\n  ctx.register(mgmt, alias);\n  const returning = statement.returning === undefined ? undefined : projectionToSql(statement.returning, ctx);\n  if (returning) for (const select of returning.selects) refs.push(...select.refs);\n  let sql = `${operation === \"delete\" ? \"DELETE FROM\" : operation.toUpperCase() + (operation === \"insert\" ? \" INTO\" : \"\")} ${tableSqlName(mgmt)} AS ${kq(alias)}`;\n  const bindings: unknown[] = [];\n  if (operation === \"insert\") {\n    if (\"values\" in statement === \"from\" in statement) fail(\"INSERT requires exactly one of values or from\");\n    const required = fields.filter(([, column]) => column.insert === \"required\");\n    if (\"values\" in statement) {\n      if (!Array.isArray(statement.values)) fail(\"INSERT values must be an array of field POJOs\");\n      const rows = statement.values;\n      // A VALUES cell *is* the new row, so there is no existing row for it to read: this scope skips\n      // the `ctx.register(mgmt, alias)` above, so a cell naming the target fails instead of emitting a\n      // `b` with no FROM clause. I.e. an UPDATE can say `set: { title: b.title }`; an INSERT cannot.\n      // A value subquery still works, because it brings its own sources, and the parent here is the CTE\n      // scope rather than `ctx`, so a cell can read a `with` entry but not the row being written.\n      const valuesCtx = new Ctx(assigner, withCtx);\n      const entries = rows.map((row) =>\n        meta ? assignments(meta, row, \"insert\") : customAssignments(custom!, row, \"insert\"),\n      );\n      for (const row of entries) {\n        for (const [key] of required) {\n          if (!row.some((entry) => entry[0] === key)) fail(`INSERT requires ${meta?.type ?? custom!.tableName}.${key}`);\n        }\n      }\n      if (rows.length === 0) return undefined;\n      const keys = fields\n        .filter(([key]) => entries.some((row) => row.some((entry) => entry[0] === key)))\n        .map(([key, field]) => [key, field.columnName] as const);\n      sql += ` (${keys.map(([, column]) => kq(column)).join(\", \")}) VALUES `;\n      sql += entries\n        .map((row) => {\n          const cells = keys.map(([key]) => {\n            const entry = row.find((entry) => entry[0] === key);\n            if (!entry) return \"DEFAULT\";\n            const cell = meta\n              ? assignmentToSql(meta, writableField(meta, key, \"insert\"), entry[1], valuesCtx)\n              : customAssignmentToSql(custom!, customWritableField(custom!, key, \"insert\"), entry[1], valuesCtx);\n            bindings.push(...cell.bindings);\n            refs.push(...cell.refs);\n            return cell.sql;\n          });\n          return `(${cells.join(\", \")})`;\n        })\n        .join(\", \");\n    } else {\n      const source = parseNestedQuery(statement.from, withCtx, assigner);\n      if (source.output.kind !== \"pojo\") fail(\"INSERT SELECT requires named POJO output columns\");\n      const columns = source.output.columns;\n      for (const [key] of required) {\n        if (!columns.some((column) => column[0] === key)) {\n          fail(`INSERT requires ${meta?.type ?? custom!.tableName}.${key}`);\n        }\n      }\n      for (const [key, expr] of columns) {\n        const field = meta ? writableField(meta, key, \"insert\") : customWritableField(custom!, key, \"insert\");\n        const left = field.outputType;\n        const right = expr.outputType;\n        if (\n          !left ||\n          !right ||\n          left.dbType !== right.dbType ||\n          left.domain !== right.domain ||\n          left.idMeta !== right.idMeta\n        ) {\n          fail(`INSERT SELECT ${meta?.type ?? custom!.tableName}.${key} has incompatible or unknown storage codecs`);\n        }\n        if (!field.sqlNullable && expr.sqlNullable === true)\n          fail(`INSERT SELECT ${meta?.type ?? custom!.tableName}.${key} cannot accept a nullable output`);\n      }\n      const keys = fields\n        .filter(([key]) => columns.some((column) => column[0] === key))\n        .map(([key, field]) => [key, field.columnName] as const);\n      const sourceAlias = safeKq(assigner.getLiteralAlias(\"sq\"));\n      sql += ` (${keys.map(([, column]) => kq(column)).join(\", \")}) SELECT ${keys.map(([key]) => `${sourceAlias}.${safeKq(key)}`).join(\", \")} FROM (${source.sql}) AS ${sourceAlias}`;\n      bindings.push(...source.bindings);\n      refs.push(...source.outerRefs);\n    }\n  } else {\n    if (statement.allowAll !== undefined && typeof statement.allowAll !== \"boolean\") fail(\"allowAll must be a boolean\");\n    if (\n      statement.softDeletes !== undefined &&\n      statement.softDeletes !== \"include\" &&\n      statement.softDeletes !== \"exclude\"\n    )\n      fail(\"softDeletes must be 'include' or 'exclude'\");\n    const whereCondition = mutationCondition(statement.where, ctx);\n    if (Object.hasOwn(statement, \"where\") && !whereCondition && statement.allowAll !== true)\n      fail(\"UPDATE and DELETE require allowAll: true when a supplied where is undefined or fully pruned\");\n    if (operation === \"update\") {\n      const entries = meta\n        ? assignments(meta, statement.set, \"update\")\n        : customAssignments(custom!, statement.set, \"update\");\n      sql +=\n        \" SET \" +\n        entries\n          .map((entry) => {\n            const [key, value] = entry;\n            const field = meta ? writableField(meta, key, \"update\") : customWritableField(custom!, key, \"update\");\n            const cell = meta\n              ? assignmentToSql(meta, field, value, ctx)\n              : customAssignmentToSql(custom!, field, value, ctx);\n            bindings.push(...cell.bindings);\n            refs.push(...cell.refs);\n            return `${kq(field.columnName)} = ${cell.sql}`;\n          })\n          .join(\", \");\n    }\n    const injected = meta\n      ? conditionToSql({ and: injectedConditions({ meta, alias }, statement.softDeletes ?? \"exclude\") }, ctx, true)\n      : undefined;\n    const conditions = [whereCondition, injected].filter((condition) => condition !== undefined);\n    if (conditions.length) {\n      sql += ` WHERE ${conditions.map((condition) => `(${condition.sql})`).join(\" AND \")}`;\n      for (const condition of conditions) {\n        bindings.push(...condition.bindings);\n        refs.push(...condition.refs);\n      }\n    }\n  }\n  if (returning) {\n    sql += ` RETURNING ${returning.selects.map((select) => select.sql).join(\", \")}`;\n    for (const select of returning.selects) bindings.push(...select.bindings);\n  }\n  const keptCtes = pruneCtes(ctes, new Set(refs));\n  if (keptCtes.length > 0) {\n    const clause = withFragment(keptCtes);\n    sql = clause.sql + sql;\n    bindings.unshift(...clause.bindings);\n  }\n  return {\n    sql,\n    bindings,\n    outerRefs: [],\n    output: returning?.output ?? { kind: \"pojo\", columns: [] },\n    decodeRows: returning?.decodeRows ?? (() => []),\n  };\n}\n\n/** Retains native counts even when no rows return, and propagates decoding failures after execution. */\nexport function decodeStatementResult(\n  em: EntityHydrator,\n  plan: Plan,\n  result: DriverQueryResult,\n): ExecuteResult<unknown> {\n  if (typeof result.rowCount !== \"number\" || !Number.isInteger(result.rowCount) || result.rowCount < 0)\n    fail(\"The driver did not return a numeric command rowCount\");\n  return { rowCount: result.rowCount, rows: plan.decodeRows(em, result.rows) };\n}\n\n/** An entity table whose generated metadata permits direct SQL mutations. */\ntype MutationTarget<T extends Entity> = TableFor<T> &\n  (TypeMapEntry<T, \"supportsEmExecute\"> extends true ? unknown : never);\n\n/** Shared filtering and full-table consent clauses for UPDATE and DELETE. */\ntype MutationFilter = {\n  /**\n   * An `{ and: [...] }` or `{ or: [...] }` group, a boolean expression, or a bare condition such as `a.age.gte(18)`.\n   *\n   * Arrays are shorthand for `{ and: [...] }`; undefined conditions are pruned.\n   */\n  readonly where?: SqlCondition | ExprLike<boolean> | readonly (SqlCondition | undefined)[];\n  /** Allows a supplied where to be undefined or fully pruned; unnecessary when where is omitted. */\n  readonly allowAll?: boolean;\n  readonly softDeletes?: \"include\" | \"exclude\";\n};\n\n/** Read-only query clauses that mutations explicitly reject. */\ntype NoMutationReadClauses = Partial<\n  Record<\n    | \"select\"\n    | \"join\"\n    | \"groupBy\"\n    | \"having\"\n    | \"orderBy\"\n    | \"limit\"\n    | \"offset\"\n    | \"distinct\"\n    | \"pruneJoins\"\n    | \"as\"\n    | \"union\"\n    | \"unionAll\"\n    | \"intersect\"\n    | \"intersectAll\"\n    | \"except\"\n    | \"exceptAll\"\n    | \"ctes\"\n    | \"using\"\n    | \"onConflict\",\n    never\n  >\n>;\n\n/** Column keys allowed in INSERT, i.e. Book's optional `id` and required `authorId`. */\ntype InsertKey<T> = {\n  [K in keyof ColumnsOf<T>]: ColumnsOf<T>[K] extends { insert: \"required\" | \"optional\" } ? K : never;\n}[keyof ColumnsOf<T>];\n\n/** Column keys that each INSERT row must supply, i.e. Book's `authorId` despite its ORM default. */\ntype RequiredInsertKey<T> = {\n  [K in keyof ColumnsOf<T>]: ColumnsOf<T>[K] extends { insert: \"required\" } ? K : never;\n}[keyof ColumnsOf<T>];\n\n/** Column keys allowed in UPDATE SET, i.e. Book's `title` and `authorId`, but not `id`. */\ntype UpdateKey<T> = {\n  [K in keyof ColumnsOf<T>]: ColumnsOf<T>[K] extends { update: true } ? K : never;\n}[keyof ColumnsOf<T>];\n\n/** A column's domain value before SQL nullability is added, i.e. Book's `id` is BookId and `authorId` is AuthorId. */\ntype DomainValue<T, K extends keyof ColumnsOf<T>> = K extends \"id\"\n  ? IdOf<T>\n  : ColumnsOf<T>[K] extends { entity: infer U }\n    ? IdOf<U>\n    : ColumnsOf<T>[K] extends { type: infer V }\n      ? V\n      : never;\n\n/** A modeled column's domain value with SQL nullability applied. */\ntype SqlValue<T, K extends keyof ColumnsOf<T>> =\n  | DomainValue<T, K>\n  | (ColumnsOf<T>[K] extends { nullable: true } ? null : never);\n\n/** A modeled-column value, entity reference, or SQL expression that produces one. */\ntype Assignment<T, K extends keyof ColumnsOf<T>> =\n  | SqlValue<T, K>\n  | ExprLike<SqlValue<T, K>>\n  | (K extends \"id\" ? never : ColumnsOf<T>[K] extends { entity: infer U } ? U : never);\n\n/** A custom column's declared value with SQL nullability applied. */\ntype CustomSqlValue<I> = CustomColumnValue<I> | (I extends { nullable: true } ? null : never);\n\n/** A custom-column value or SQL expression that produces one. */\ntype CustomAssignment<I> = CustomSqlValue<I> | ExprLike<CustomSqlValue<I>>;\n\n/** Custom-column keys accepted by INSERT, excluding generated columns. */\ntype CustomInsertKey<C extends CustomColumnInputs> = {\n  [K in keyof C]: C[K] extends { generated: true } ? never : K;\n}[keyof C];\n\n/** Custom-column keys each INSERT row must supply because they have no default and are not nullable. */\ntype CustomRequiredInsertKey<C extends CustomColumnInputs> = {\n  [K in CustomInsertKey<C>]: C[K] extends { nullable: true } | { hasDefault: true } ? never : K;\n}[CustomInsertKey<C>];\n\n/** Custom-column keys accepted by UPDATE, excluding generated columns and the physical primary key. */\ntype CustomUpdateKey<C extends CustomColumnInputs> = {\n  [K in keyof C]: C[K] extends { generated: true }\n    ? never\n    : K extends \"id\"\n      ? never\n      : C[K] extends { columnName: \"id\" }\n        ? never\n        : K;\n}[keyof C];\n\n/** Values accepted by INSERT for a custom table's declared columns. */\ntype CustomInsertValues<C extends CustomColumnInputs> = {\n  [K in CustomRequiredInsertKey<C>]: CustomAssignment<C[K]>;\n} & {\n  [K in Exclude<CustomInsertKey<C>, CustomRequiredInsertKey<C>>]?: CustomAssignment<C[K]> | undefined;\n};\n\n/** Assignments accepted by UPDATE for a custom table's writable columns. */\ntype CustomUpdateValues<C extends CustomColumnInputs> = {\n  [K in CustomUpdateKey<C>]?: CustomAssignment<C[K]> | undefined;\n};\n\n/** Named row shape that an INSERT SELECT source must produce for a custom table. */\ntype CustomInsertSourceRow<C extends CustomColumnInputs> = {\n  [K in CustomRequiredInsertKey<C>]: CustomSqlValue<C[K]>;\n} & {\n  [K in Exclude<CustomInsertKey<C>, CustomRequiredInsertKey<C>>]?: CustomSqlValue<C[K]>;\n};\n\n/** Named row shape that an entity INSERT SELECT source must produce. */\ntype InsertSourceRow<T> = { [K in RequiredInsertKey<T>]: SqlValue<T, K> } & {\n  [K in Exclude<InsertKey<T>, RequiredInsertKey<T>>]?: SqlValue<T, K>;\n};\n\n/** Named expression projection accepted from an entity INSERT SELECT source. */\ntype InsertProjection<T> = { [K in RequiredInsertKey<T>]: ExprLike<SqlValue<T, K>> } & {\n  [K in Exclude<InsertKey<T>, RequiredInsertKey<T>>]?: ExprLike<SqlValue<T, K>>;\n};\n\n/** Collects the keys from every member of a union instead of only their shared keys. */\ntype UnionKeys<V> = V extends unknown ? keyof V : never;\n\n/** Collects every alternative before scope checking; a valid branch cannot hide an unrelated alias. */\ntype UnionValue<V, K extends PropertyKey> = V extends unknown ? (K extends keyof V ? V[K] : never) : never;\n\n/** Extracts the source names carried by a SQL expression. */\ntype ExprSource<V> = V extends { readonly [exprBrand]: ExprBrand<unknown, infer Src> } ? Src : never;\n\n/** Rejects expressions that reference tables outside the statement's allowed scope. */\ntype CheckExprScope<V, Scope> =\n  string extends ExprSource<V>\n    ? unknown\n    : [Exclude<ExprSource<V>, Scope>] extends [never]\n      ? unknown\n      : \"Expression source is not in the statement scope\";\n\n/** Extracts each expression from a scalar or named RETURNING projection. */\ntype ReturningExpr<R> = R extends ExprLike<unknown> ? R : R extends undefined ? never : R[keyof R];\n\n/** Detects an empty named RETURNING projection. */\ntype EmptyReturning<R> = R extends object ? (keyof R extends never ? true : false) : false;\n\n/** Rejects empty RETURNING objects and expressions outside the target scope. */\ntype CheckReturning<R, Scope> = true extends EmptyReturning<R> ? never : CheckExprScope<ReturningExpr<R>, Scope>;\n\n/** Validates assignment keys, values, and expression sources without distributing union inputs. */\ntype CheckAssignments<V, Allowed, Scope> = [Exclude<UnionKeys<V>, keyof Allowed>] extends [never]\n  ? Allowed & {\n      [K in UnionKeys<V>]?: CheckExprScope<UnionValue<V, K>, Scope>;\n    }\n  : \"SQL assignments have unknown target fields\";\n\n/** Checks every entity INSERT row in a readonly collection against writable columns. */\ntype CheckValues<T extends Entity, V extends readonly unknown[]> = readonly CheckAssignments<\n  V[number],\n  InsertValues<T>,\n  never\n>[];\n\n/**\n * Checks a custom-table mutation against its declared primitive columns.\n *\n * Only clauses for the selected operation are allowed, and `softDeletes` is rejected because there is no entity\n * policy. Assignments use declaration keys and honor nullability, defaults, and generated columns. INSERT VALUES\n * cannot read the target row, while UPDATE SET and RETURNING can. INSERT SELECT must be a valid named read with all\n * required columns and compatible declared value types; runtime checks also compare its SQL codecs and nullability.\n */\ntype CheckCustomMutation<M> = {\n  // Reject clauses outside the selected operation, plus softDeletes because custom tables have no entity policy.\n  readonly [K in keyof M]: K extends MutationClause<M> ? (K extends \"softDeletes\" ? never : unknown) : never;\n} & {\n  readonly returning?: M extends { readonly returning?: infer R } ? CheckReturning<R, NameOf<TargetTable<M>>> : never;\n} &\n  // INSERT VALUES checks every row against the custom table's writable columns.\n  (\n    | (M extends { readonly values: infer V extends readonly unknown[] }\n        ? { readonly values: CheckCustomValues<CustomColumnsOf<TargetTable<M>>, V> }\n        : never)\n    // INSERT SELECT checks the source's names, values, and expression scopes.\n    | (M extends { readonly from: infer Q extends SetOperand }\n        ? { readonly from: CheckCustomInsertSource<CustomColumnsOf<TargetTable<M>>, Q> }\n        : never)\n    // UPDATE checks assignments against writable columns and permits target-scoped expressions.\n    | (M extends { readonly set: infer V }\n        ? {\n            readonly set: CheckAssignments<\n              V,\n              CustomUpdateValues<CustomColumnsOf<TargetTable<M>>>,\n              NameOf<TargetTable<M>>\n            >;\n          }\n        : never)\n    // DELETE has no assignments or source that needs further type checking.\n    | (M extends { readonly delete: unknown } ? unknown : never)\n  );\n\n/** Checks every custom INSERT row in a readonly collection against declared writable columns. */\ntype CheckCustomValues<C extends CustomColumnInputs, V extends readonly unknown[]> = readonly CheckAssignments<\n  V[number],\n  CustomInsertValues<C>,\n  never\n>[];\n\n/** Checks a custom INSERT SELECT's named outputs, required columns, values, and read source. */\ntype CheckCustomInsertSource<C extends CustomColumnInputs, Q> = SetOperand extends Q\n  ? \"INSERT source type lost its select keys; use `satisfies Query` or `satisfies SetQuery` instead of a type annotation\"\n  : ReadQueryRow<Q> extends CustomInsertSourceRow<C>\n    ? Exclude<UnionKeys<ReadQueryRow<Q>>, CustomInsertKey<C>> extends never\n      ? CheckReadQuery<Q> &\n          CheckSourceScope<Q> &\n          (Q extends SetQuery<readonly SetOperand[]> ? CheckSetQuery<Q> : unknown)\n      : \"INSERT SELECT has unknown target fields\"\n    : \"INSERT SELECT requires compatible values for all SQL-required fields\";\n\n/** Checks every SELECT expression against the tables visible within its read-query branch. */\ntype CheckSourceScope<Q> = Q extends { readonly select: infer S; readonly from: infer F }\n  ? CheckScope<S, F, \"join\" extends keyof Q ? Extract<Q[keyof Q & \"join\"], QueryJoinInput> : []>\n  : {\n      [K in keyof Q]: K extends SetOperation\n        ? Q[K] extends readonly unknown[]\n          ? { [I in keyof Q[K]]: CheckSourceScope<Q[K][I]> }\n          : unknown\n        : unknown;\n    };\n\n/** Checks an entity INSERT SELECT's named outputs, required columns, values, and read source. */\ntype CheckInsertSource<T, Q extends SetOperand> = SetOperand extends Q\n  ? \"INSERT source type lost its select keys; use `satisfies Query` or `satisfies SetQuery` instead of a type annotation\"\n  : ReadQueryRow<Q> extends InsertSourceRow<T>\n    ? Exclude<UnionKeys<ReadQueryRow<Q>>, InsertKey<T>> extends never\n      ? CheckReadQuery<Q> &\n          CheckSourceScope<Q> &\n          (Q extends SetQuery<readonly SetOperand[]> ? CheckSetQuery<Q> : unknown)\n      : \"INSERT SELECT has unknown target fields\"\n    : \"INSERT SELECT requires compatible values for all SQL-required fields\";\n\n/** Extracts the entity type from any mutation target clause. */\ntype TargetEntity<M> = M extends\n  | { readonly insert: TableFor<infer T> }\n  | { readonly update: TableFor<infer T> }\n  | { readonly delete: TableFor<infer T> }\n  ? T\n  : never;\n\n/** Extracts the table handle from any mutation target clause. */\ntype TargetTable<M> = M extends\n  | { readonly insert: infer A }\n  | { readonly update: infer A }\n  | { readonly delete: infer A }\n  ? A\n  : never;\n\n/** Clauses permitted by the selected INSERT, UPDATE, or DELETE operation. */\ntype MutationClause<M> =\n  | \"returning\"\n  | \"with\"\n  | (M extends { readonly insert: unknown }\n      ? \"insert\" | (M extends { readonly values: unknown } ? \"values\" : \"from\")\n      : \"where\" | \"allowAll\" | \"softDeletes\" | (M extends { readonly update: unknown } ? \"update\" | \"set\" : \"delete\"));\n\n/** SQL mutations require complete physical metadata. */\nfunction requireColumnMetadata(meta: EntityMetadata, column: Column): void {\n  if (\n    typeof column.sqlNullable !== \"boolean\" ||\n    typeof column.hasDefault !== \"boolean\" ||\n    typeof column.isGenerated !== \"boolean\"\n  )\n    fail(`Missing physical metadata for ${meta.type}.${column.columnName}; run codegen`);\n}\n\n/** Validates every supplied key, including undefined fields, before pruning omitted values. */\nfunction assignments(meta: EntityMetadata, value: unknown, operation: \"insert\" | \"update\"): [string, unknown][] {\n  if (!value || typeof value !== \"object\" || Array.isArray(value) || isExpr(value) || isEntity(value))\n    fail(`${operation} assignments must be a field POJO`);\n  const entries = Object.entries(value);\n  for (const [key] of entries) writableField(meta, key, operation);\n  checkPojo(value, Object.keys(meta.columns), `${operation} assignments`);\n  const defined = entries.filter((entry) => entry[1] !== undefined);\n  if (!defined.length) fail(`${operation} requires at least one defined field; empty rows/sets are not DEFAULT VALUES`);\n  return defined;\n}\n\n/** Validates assignment keys against a custom table's declared writable columns. */\nfunction customAssignments(\n  table: CustomTableMgmt,\n  value: unknown,\n  operation: \"insert\" | \"update\",\n): [string, unknown][] {\n  if (!value || typeof value !== \"object\" || Array.isArray(value) || isExpr(value) || isEntity(value)) {\n    fail(`${operation} assignments must be a field POJO`);\n  }\n  const entries = Object.entries(value);\n  for (const [key] of entries) customWritableField(table, key, operation);\n  checkPojo(value, Object.keys(table.columns), `${operation} assignments`);\n  const defined = entries.filter((entry) => entry[1] !== undefined);\n  if (!defined.length) fail(`${operation} requires at least one defined field; empty rows/sets are not DEFAULT VALUES`);\n  return defined;\n}\n\n/** Applies physical write restrictions declared by `declareTable`. */\nfunction customWritableField(table: CustomTableMgmt, key: string, operation: \"insert\" | \"update\"): Column {\n  const column = Object.hasOwn(table.columns, key) ? table.columns[key] : undefined;\n  if (!column) fail(`Unsupported SQL mutation field ${table.tableName}.${key}`);\n  if (operation === \"update\" ? !column.update : column.insert === \"never\") {\n    fail(`Unsupported SQL mutation field ${table.tableName}.${key}`);\n  }\n  return column;\n}\n\n/** Applies physical write restrictions, not ORM-derived, protected, or business-immutable flags. */\nfunction writableField(meta: EntityMetadata, key: string, operation: \"insert\" | \"update\"): Column {\n  const column = Object.hasOwn(meta.columns, key) ? meta.columns[key] : undefined;\n  if (!column) fail(`Unsupported SQL mutation field ${meta.type}.${key}`);\n  requireColumnMetadata(meta, column);\n  if (operation === \"update\" && key === \"id\") fail(\"UPDATE primary-key assignments are not supported\");\n  if (column.isGenerated) fail(`Generated field ${meta.type}.${key} is omit-only`);\n  if (operation === \"update\" ? !column.update : column.insert === \"never\")\n    fail(`Unsupported SQL mutation field ${meta.type}.${key}`);\n  return column;\n}\n\n/**\n * Classifies SQL expressions and SQL NULL before invoking the column's entity-independent write codec.\n * Normalizes public PK/FK ids to internal tagged ids using the target entity's idType.\n */\nfunction assignmentToSql(meta: EntityMetadata, column: Column, value: unknown, ctx: Ctx): SqlFragment {\n  if (isExpr(value)) return asNode(value).toSql(ctx);\n  if (value === null) {\n    if (!column.sqlNullable) fail(`${meta.type}.${column.columnName} is physically NOT NULL`);\n    return { sql: \"NULL\", bindings: [], refs: [] };\n  }\n  if (column.idMetadata) {\n    const other = column.idMetadata();\n    if (isEntity(value)) {\n      if (column.columnName === \"id\" || !(value instanceof other.cstr)) fail(`Expected a ${other.type} reference`);\n      if (value.isNewEntity || value.idTaggedMaybe === undefined)\n        fail(`Cannot reference an unflushed ${other.type}, even with an assigned ID`);\n      value = value.idTaggedMaybe;\n    } else if (typeof value !== (other.idType === \"number\" ? \"number\" : \"string\")) {\n      fail(`Expected a persisted ${other.type} or its ID; nested creation is not supported`);\n    } else {\n      // Public untagged TEXT ids may contain delimiters or start with the entity tag.\n      value =\n        other.idType === \"untagged-string\"\n          ? keyToTaggedId(other, value as string)\n          : toTaggedId(other, value as string | number);\n    }\n  }\n  if (!column.codec.mapToDbValue)\n    fail(`The codec for ${meta.type}.${column.columnName} does not support SQL value writes`);\n  return { sql: \"?\", bindings: [column.mapToDbValue(value)], refs: [] };\n}\n\n/** Encodes a custom-table literal through its declared primitive codec. */\nfunction customAssignmentToSql(table: CustomTableMgmt, column: Column, value: unknown, ctx: Ctx): SqlFragment {\n  if (isExpr(value)) return asNode(value).toSql(ctx);\n  if (value === null) {\n    if (!column.sqlNullable) fail(`${table.tableName}.${column.columnName} is physically NOT NULL`);\n    return { sql: \"NULL\", bindings: [], refs: [] };\n  }\n  return { sql: \"?\", bindings: [column.mapToDbValue(value)], refs: [] };\n}\n\n/** Checks the user predicate independently so metadata filters cannot turn a pruned guard into consent. */\nfunction mutationCondition(value: unknown, ctx: Ctx): SqlFragment | undefined {\n  if (isExpr(value)) return asNode(value).toSql(ctx);\n  if (Array.isArray(value)) return conditionToSql({ and: value }, ctx, true);\n  return conditionToSql(value as SqlCondition | undefined, ctx, true);\n}\n\n/** Only own enumerable POJO clauses count as input or explicit full-table consent. */\nfunction checkPojo(value: object, allowed: readonly PropertyKey[], description: string): void {\n  if (Object.getPrototypeOf(value) !== Object.prototype && Object.getPrototypeOf(value) !== null)\n    fail(`${description} must be a plain POJO`);\n  for (const key of Reflect.ownKeys(value)) {\n    if (!allowed.includes(key)) fail(`${description} does not support '${String(key)}'`);\n    if (typeof key === \"string\" && !Object.prototype.propertyIsEnumerable.call(value, key))\n      fail(`${description} requires enumerable fields`);\n  }\n}\n"],"mappings":";;;;;;;;;;;;AAqMA,SAAgB,WAAW,KAAuB;CAChD,OACE,OAAO,QAAQ,YACf,QAAQ,QACR,CAACA,0BAAAA,iBAAiB,GAAG,KACrB;EAAC;EAAU;EAAU;CAAQ,CAAC,CAAC,MAAM,QAAQ,OAAO,GAAG;AAE3D;;;;;;AAOA,SAAgB,eAAe,KAAgC;CAC7D,IAAI,CAAC,WAAW,GAAG,GAAG,OAAOC,0BAAAA,eAAe,GAAG;CAC/C,MAAM,YAAY;CAClB,MAAM,QAAQ;EAAC;EAAU;EAAU;CAAQ,CAAC,CAAC,QAAQ,QAAQ,OAAO,SAAS;CAC7E,IAAI,MAAM,WAAW,GAAG,cAAA,KAAK,gEAAgE;CAC7F,MAAM,YAAY,MAAM;CAaxB,UAAU,WAXR,cAAc,WACV;EAAC;EAAU;EAAU;EAAQ;EAAa;CAAM,IAChD;EACE;EACA;EACA;EACA;EACA;EACA;EACA,GAAI,cAAc,WAAW,CAAC,KAAK,IAAI,CAAC;CAC1C,GACwB,OAAO,WAAW;CAChD,MAAM,SAAS,UAAU;CACzB,IAAI,CAACC,2BAAAA,QAAQ,MAAM,GAAG,cAAA,KAAK,mCAAmC;CAC9D,MAAM,OAAOC,2BAAAA,aAAa,MAAM;CAChC,MAAM,OAAOC,2BAAAA,cAAc,MAAM,IAAID,2BAAAA,aAAa,MAAM,CAAC,CAAC,OAAO,KAAA;CACjE,MAAM,SAASE,2BAAAA,cAAc,MAAM,IAAIF,2BAAAA,aAAa,MAAM,IAAI,KAAA;CAC9D,IAAI,MAAM;EACR,IAAI,KAAK,mBAAmB,KAAK,YAAY,KAAK,UAAU,UAAU,KAAK,SAAS,QAClF,cAAA,KAAK,0EAA0E;EAEjF,IAAI,KAAK,sBAAsB,MAC7B,cAAA,KAAK,yDAAyD,KAAK,KAAK,cAAc;EACxF,KAAK,MAAM,SAAS,OAAO,OAAO,KAAK,OAAO,GAAG,sBAAsB,MAAM,KAAK;CACpF,OAAO,IAAI,UAAU,gBAAgB,KAAA,GACnC,cAAA,KAAK,mDAAmD;CAE1D,MAAM,SAAS,OAAO,QAAQ,MAAM,WAAW,OAAQ,OAAO;CAC9D,MAAM,WAAW,IAAIG,kCAAAA,cAAc;CAInC,MAAM,UAAU,IAAIC,0BAAAA,IAAI,UAAU,KAAA,CAAS;CAC3C,MAAM,OAAOC,0BAAAA,aAAa,WAAW,SAAS,QAAQ;CAEtD,MAAM,OAAiB,CAAC;CACxB,MAAM,MAAM,IAAID,0BAAAA,IAAI,UAAU,OAAO;CACrC,MAAM,QAAQ,SAAS,SAAS,KAAK,SAAS;CAC9C,IAAI,SAAS,MAAM,KAAK;CACxB,MAAM,YAAY,UAAU,cAAc,KAAA,IAAY,KAAA,IAAYE,0BAAAA,gBAAgB,UAAU,WAAW,GAAG;CAC1G,IAAI,WAAW,KAAK,MAAM,UAAU,UAAU,SAAS,KAAK,KAAK,GAAG,OAAO,IAAI;CAC/E,IAAI,MAAM,GAAG,cAAc,WAAW,gBAAgB,UAAU,YAAY,KAAK,cAAc,WAAW,UAAU,IAAI,GAAGC,2BAAAA,aAAa,IAAI,EAAE,MAAMC,6BAAAA,GAAG,KAAK;CAC5J,MAAM,WAAsB,CAAC;CAC7B,IAAI,cAAc,UAAU;EAC1B,IAAI,YAAY,cAAc,UAAU,WAAW,cAAA,KAAK,+CAA+C;EACvG,MAAM,WAAW,OAAO,QAAQ,GAAG,YAAY,OAAO,WAAW,UAAU;EAC3E,IAAI,YAAY,WAAW;GACzB,IAAI,CAAC,MAAM,QAAQ,UAAU,MAAM,GAAG,cAAA,KAAK,+CAA+C;GAC1F,MAAM,OAAO,UAAU;GAMvB,MAAM,YAAY,IAAIJ,0BAAAA,IAAI,UAAU,OAAO;GAC3C,MAAM,UAAU,KAAK,KAAK,QACxB,OAAO,YAAY,MAAM,KAAK,QAAQ,IAAI,kBAAkB,QAAS,KAAK,QAAQ,CACpF;GACA,KAAK,MAAM,OAAO,SAChB,KAAK,MAAM,CAAC,QAAQ,UAClB,IAAI,CAAC,IAAI,MAAM,UAAU,MAAM,OAAO,GAAG,GAAG,cAAA,KAAK,mBAAmB,MAAM,QAAQ,OAAQ,UAAU,GAAG,KAAK;GAGhH,IAAI,KAAK,WAAW,GAAG,OAAO,KAAA;GAC9B,MAAM,OAAO,OACV,QAAQ,CAAC,SAAS,QAAQ,MAAM,QAAQ,IAAI,MAAM,UAAU,MAAM,OAAO,GAAG,CAAC,CAAC,CAAC,CAC/E,KAAK,CAAC,KAAK,WAAW,CAAC,KAAK,MAAM,UAAU,CAAU;GACzD,OAAO,KAAK,KAAK,KAAK,GAAG,YAAYI,6BAAAA,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE;GAC5D,OAAO,QACJ,KAAK,QAAQ;IAWZ,OAAO,IAVO,KAAK,KAAK,CAAC,SAAS;KAChC,MAAM,QAAQ,IAAI,MAAM,UAAU,MAAM,OAAO,GAAG;KAClD,IAAI,CAAC,OAAO,OAAO;KACnB,MAAM,OAAO,OACT,gBAAgB,MAAM,cAAc,MAAM,KAAK,QAAQ,GAAG,MAAM,IAAI,SAAS,IAC7E,sBAAsB,QAAS,oBAAoB,QAAS,KAAK,QAAQ,GAAG,MAAM,IAAI,SAAS;KACnG,SAAS,KAAK,GAAG,KAAK,QAAQ;KAC9B,KAAK,KAAK,GAAG,KAAK,IAAI;KACtB,OAAO,KAAK;IACd,CACe,CAAC,CAAC,KAAK,IAAI,EAAE;GAC9B,CAAC,CAAC,CACD,KAAK,IAAI;EACd,OAAO;GACL,MAAM,SAASC,0BAAAA,iBAAiB,UAAU,MAAM,SAAS,QAAQ;GACjE,IAAI,OAAO,OAAO,SAAS,QAAQ,cAAA,KAAK,kDAAkD;GAC1F,MAAM,UAAU,OAAO,OAAO;GAC9B,KAAK,MAAM,CAAC,QAAQ,UAClB,IAAI,CAAC,QAAQ,MAAM,WAAW,OAAO,OAAO,GAAG,GAC7C,cAAA,KAAK,mBAAmB,MAAM,QAAQ,OAAQ,UAAU,GAAG,KAAK;GAGpE,KAAK,MAAM,CAAC,KAAK,SAAS,SAAS;IACjC,MAAM,QAAQ,OAAO,cAAc,MAAM,KAAK,QAAQ,IAAI,oBAAoB,QAAS,KAAK,QAAQ;IACpG,MAAM,OAAO,MAAM;IACnB,MAAM,QAAQ,KAAK;IACnB,IACE,CAAC,QACD,CAAC,SACD,KAAK,WAAW,MAAM,UACtB,KAAK,WAAW,MAAM,UACtB,KAAK,WAAW,MAAM,QAEtB,cAAA,KAAK,iBAAiB,MAAM,QAAQ,OAAQ,UAAU,GAAG,IAAI,4CAA4C;IAE3G,IAAI,CAAC,MAAM,eAAe,KAAK,gBAAgB,MAC7C,cAAA,KAAK,iBAAiB,MAAM,QAAQ,OAAQ,UAAU,GAAG,IAAI,iCAAiC;GAClG;GACA,MAAM,OAAO,OACV,QAAQ,CAAC,SAAS,QAAQ,MAAM,WAAW,OAAO,OAAO,GAAG,CAAC,CAAC,CAC9D,KAAK,CAAC,KAAK,WAAW,CAAC,KAAK,MAAM,UAAU,CAAU;GACzD,MAAM,cAAcC,6BAAAA,OAAO,SAAS,gBAAgB,IAAI,CAAC;GACzD,OAAO,KAAK,KAAK,KAAK,GAAG,YAAYF,6BAAAA,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,WAAW,KAAK,KAAK,CAAC,SAAS,GAAG,YAAY,GAAGE,6BAAAA,OAAO,GAAG,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE,SAAS,OAAO,IAAI,OAAO;GAClK,SAAS,KAAK,GAAG,OAAO,QAAQ;GAChC,KAAK,KAAK,GAAG,OAAO,SAAS;EAC/B;CACF,OAAO;EACL,IAAI,UAAU,aAAa,KAAA,KAAa,OAAO,UAAU,aAAa,WAAW,cAAA,KAAK,4BAA4B;EAClH,IACE,UAAU,gBAAgB,KAAA,KAC1B,UAAU,gBAAgB,aAC1B,UAAU,gBAAgB,WAE1B,cAAA,KAAK,4CAA4C;EACnD,MAAM,iBAAiB,kBAAkB,UAAU,OAAO,GAAG;EAC7D,IAAI,OAAO,OAAO,WAAW,OAAO,KAAK,CAAC,kBAAkB,UAAU,aAAa,MACjF,cAAA,KAAK,6FAA6F;EACpG,IAAI,cAAc,UAAU;GAC1B,MAAM,UAAU,OACZ,YAAY,MAAM,UAAU,KAAK,QAAQ,IACzC,kBAAkB,QAAS,UAAU,KAAK,QAAQ;GACtD,OACE,UACA,QACG,KAAK,UAAU;IACd,MAAM,CAAC,KAAK,SAAS;IACrB,MAAM,QAAQ,OAAO,cAAc,MAAM,KAAK,QAAQ,IAAI,oBAAoB,QAAS,KAAK,QAAQ;IACpG,MAAM,OAAO,OACT,gBAAgB,MAAM,OAAO,OAAO,GAAG,IACvC,sBAAsB,QAAS,OAAO,OAAO,GAAG;IACpD,SAAS,KAAK,GAAG,KAAK,QAAQ;IAC9B,KAAK,KAAK,GAAG,KAAK,IAAI;IACtB,OAAO,GAAGF,6BAAAA,GAAG,MAAM,UAAU,EAAE,KAAK,KAAK;GAC3C,CAAC,CAAC,CACD,KAAK,IAAI;EAChB;EAIA,MAAM,aAAa,CAAC,gBAHH,OACbG,0BAAAA,eAAe,EAAE,KAAKC,0BAAAA,mBAAmB;GAAE;GAAM;EAAM,GAAG,UAAU,eAAe,SAAS,EAAE,GAAG,KAAK,IAAI,IAC1G,KAAA,CACwC,CAAC,CAAC,QAAQ,cAAc,cAAc,KAAA,CAAS;EAC3F,IAAI,WAAW,QAAQ;GACrB,OAAO,UAAU,WAAW,KAAK,cAAc,IAAI,UAAU,IAAI,EAAE,CAAC,CAAC,KAAK,OAAO;GACjF,KAAK,MAAM,aAAa,YAAY;IAClC,SAAS,KAAK,GAAG,UAAU,QAAQ;IACnC,KAAK,KAAK,GAAG,UAAU,IAAI;GAC7B;EACF;CACF;CACA,IAAI,WAAW;EACb,OAAO,cAAc,UAAU,QAAQ,KAAK,WAAW,OAAO,GAAG,CAAC,CAAC,KAAK,IAAI;EAC5E,KAAK,MAAM,UAAU,UAAU,SAAS,SAAS,KAAK,GAAG,OAAO,QAAQ;CAC1E;CACA,MAAM,WAAWC,0BAAAA,UAAU,MAAM,IAAI,IAAI,IAAI,CAAC;CAC9C,IAAI,SAAS,SAAS,GAAG;EACvB,MAAM,SAASC,0BAAAA,aAAa,QAAQ;EACpC,MAAM,OAAO,MAAM;EACnB,SAAS,QAAQ,GAAG,OAAO,QAAQ;CACrC;CACA,OAAO;EACL;EACA;EACA,WAAW,CAAC;EACZ,QAAQ,WAAW,UAAU;GAAE,MAAM;GAAQ,SAAS,CAAC;EAAE;EACzD,YAAY,WAAW,qBAAqB,CAAC;CAC/C;AACF;;AAGA,SAAgB,sBACd,IACA,MACA,QACwB;CACxB,IAAI,OAAO,OAAO,aAAa,YAAY,CAAC,OAAO,UAAU,OAAO,QAAQ,KAAK,OAAO,WAAW,GACjG,cAAA,KAAK,sDAAsD;CAC7D,OAAO;EAAE,UAAU,OAAO;EAAU,MAAM,KAAK,WAAW,IAAI,OAAO,IAAI;CAAE;AAC7E;;AAsRA,SAAS,sBAAsB,MAAsB,QAAsB;CACzE,IACE,OAAO,OAAO,gBAAgB,aAC9B,OAAO,OAAO,eAAe,aAC7B,OAAO,OAAO,gBAAgB,WAE9B,cAAA,KAAK,iCAAiC,KAAK,KAAK,GAAG,OAAO,WAAW,cAAc;AACvF;;AAGA,SAAS,YAAY,MAAsB,OAAgB,WAAqD;CAC9G,IAAI,CAAC,SAAS,OAAO,UAAU,YAAY,MAAM,QAAQ,KAAK,KAAKC,yBAAAA,OAAO,KAAK,KAAKC,eAAAA,SAAS,KAAK,GAChG,cAAA,KAAK,GAAG,UAAU,kCAAkC;CACtD,MAAM,UAAU,OAAO,QAAQ,KAAK;CACpC,KAAK,MAAM,CAAC,QAAQ,SAAS,cAAc,MAAM,KAAK,SAAS;CAC/D,UAAU,OAAO,OAAO,KAAK,KAAK,OAAO,GAAG,GAAG,UAAU,aAAa;CACtE,MAAM,UAAU,QAAQ,QAAQ,UAAU,MAAM,OAAO,KAAA,CAAS;CAChE,IAAI,CAAC,QAAQ,QAAQ,cAAA,KAAK,GAAG,UAAU,6EAA6E;CACpH,OAAO;AACT;;AAGA,SAAS,kBACP,OACA,OACA,WACqB;CACrB,IAAI,CAAC,SAAS,OAAO,UAAU,YAAY,MAAM,QAAQ,KAAK,KAAKD,yBAAAA,OAAO,KAAK,KAAKC,eAAAA,SAAS,KAAK,GAChG,cAAA,KAAK,GAAG,UAAU,kCAAkC;CAEtD,MAAM,UAAU,OAAO,QAAQ,KAAK;CACpC,KAAK,MAAM,CAAC,QAAQ,SAAS,oBAAoB,OAAO,KAAK,SAAS;CACtE,UAAU,OAAO,OAAO,KAAK,MAAM,OAAO,GAAG,GAAG,UAAU,aAAa;CACvE,MAAM,UAAU,QAAQ,QAAQ,UAAU,MAAM,OAAO,KAAA,CAAS;CAChE,IAAI,CAAC,QAAQ,QAAQ,cAAA,KAAK,GAAG,UAAU,6EAA6E;CACpH,OAAO;AACT;;AAGA,SAAS,oBAAoB,OAAwB,KAAa,WAAwC;CACxG,MAAM,SAAS,OAAO,OAAO,MAAM,SAAS,GAAG,IAAI,MAAM,QAAQ,OAAO,KAAA;CACxE,IAAI,CAAC,QAAQ,cAAA,KAAK,kCAAkC,MAAM,UAAU,GAAG,KAAK;CAC5E,IAAI,cAAc,WAAW,CAAC,OAAO,SAAS,OAAO,WAAW,SAC9D,cAAA,KAAK,kCAAkC,MAAM,UAAU,GAAG,KAAK;CAEjE,OAAO;AACT;;AAGA,SAAS,cAAc,MAAsB,KAAa,WAAwC;CAChG,MAAM,SAAS,OAAO,OAAO,KAAK,SAAS,GAAG,IAAI,KAAK,QAAQ,OAAO,KAAA;CACtE,IAAI,CAAC,QAAQ,cAAA,KAAK,kCAAkC,KAAK,KAAK,GAAG,KAAK;CACtE,sBAAsB,MAAM,MAAM;CAClC,IAAI,cAAc,YAAY,QAAQ,MAAM,cAAA,KAAK,kDAAkD;CACnG,IAAI,OAAO,aAAa,cAAA,KAAK,mBAAmB,KAAK,KAAK,GAAG,IAAI,cAAc;CAC/E,IAAI,cAAc,WAAW,CAAC,OAAO,SAAS,OAAO,WAAW,SAC9D,cAAA,KAAK,kCAAkC,KAAK,KAAK,GAAG,KAAK;CAC3D,OAAO;AACT;;;;;AAMA,SAAS,gBAAgB,MAAsB,QAAgB,OAAgB,KAAuB;CACpG,IAAID,yBAAAA,OAAO,KAAK,GAAG,OAAOE,yBAAAA,OAAO,KAAK,CAAC,CAAC,MAAM,GAAG;CACjD,IAAI,UAAU,MAAM;EAClB,IAAI,CAAC,OAAO,aAAa,cAAA,KAAK,GAAG,KAAK,KAAK,GAAG,OAAO,WAAW,wBAAwB;EACxF,OAAO;GAAE,KAAK;GAAQ,UAAU,CAAC;GAAG,MAAM,CAAC;EAAE;CAC/C;CACA,IAAI,OAAO,YAAY;EACrB,MAAM,QAAQ,OAAO,WAAW;EAChC,IAAID,eAAAA,SAAS,KAAK,GAAG;GACnB,IAAI,OAAO,eAAe,QAAQ,EAAE,iBAAiB,MAAM,OAAO,cAAA,KAAK,cAAc,MAAM,KAAK,WAAW;GAC3G,IAAI,MAAM,eAAe,MAAM,kBAAkB,KAAA,GAC/C,cAAA,KAAK,iCAAiC,MAAM,KAAK,2BAA2B;GAC9E,QAAQ,MAAM;EAChB,OAAO,IAAI,OAAO,WAAW,MAAM,WAAW,WAAW,WAAW,WAClE,cAAA,KAAK,wBAAwB,MAAM,KAAK,6CAA6C;OAGrF,QACE,MAAM,WAAW,oBACbE,aAAAA,cAAc,OAAO,KAAe,IACpCC,aAAAA,WAAW,OAAO,KAAwB;CAEpD;CACA,IAAI,CAAC,OAAO,MAAM,cAChB,cAAA,KAAK,iBAAiB,KAAK,KAAK,GAAG,OAAO,WAAW,mCAAmC;CAC1F,OAAO;EAAE,KAAK;EAAK,UAAU,CAAC,OAAO,aAAa,KAAK,CAAC;EAAG,MAAM,CAAC;CAAE;AACtE;;AAGA,SAAS,sBAAsB,OAAwB,QAAgB,OAAgB,KAAuB;CAC5G,IAAIJ,yBAAAA,OAAO,KAAK,GAAG,OAAOE,yBAAAA,OAAO,KAAK,CAAC,CAAC,MAAM,GAAG;CACjD,IAAI,UAAU,MAAM;EAClB,IAAI,CAAC,OAAO,aAAa,cAAA,KAAK,GAAG,MAAM,UAAU,GAAG,OAAO,WAAW,wBAAwB;EAC9F,OAAO;GAAE,KAAK;GAAQ,UAAU,CAAC;GAAG,MAAM,CAAC;EAAE;CAC/C;CACA,OAAO;EAAE,KAAK;EAAK,UAAU,CAAC,OAAO,aAAa,KAAK,CAAC;EAAG,MAAM,CAAC;CAAE;AACtE;;AAGA,SAAS,kBAAkB,OAAgB,KAAmC;CAC5E,IAAIF,yBAAAA,OAAO,KAAK,GAAG,OAAOE,yBAAAA,OAAO,KAAK,CAAC,CAAC,MAAM,GAAG;CACjD,IAAI,MAAM,QAAQ,KAAK,GAAG,OAAON,0BAAAA,eAAe,EAAE,KAAK,MAAM,GAAG,KAAK,IAAI;CACzE,OAAOA,0BAAAA,eAAe,OAAmC,KAAK,IAAI;AACpE;;AAGA,SAAS,UAAU,OAAe,SAAiC,aAA2B;CAC5F,IAAI,OAAO,eAAe,KAAK,MAAM,OAAO,aAAa,OAAO,eAAe,KAAK,MAAM,MACxF,cAAA,KAAK,GAAG,YAAY,sBAAsB;CAC5C,KAAK,MAAM,OAAO,QAAQ,QAAQ,KAAK,GAAG;EACxC,IAAI,CAAC,QAAQ,SAAS,GAAG,GAAG,cAAA,KAAK,GAAG,YAAY,qBAAqB,OAAO,GAAG,EAAE,EAAE;EACnF,IAAI,OAAO,QAAQ,YAAY,CAAC,OAAO,UAAU,qBAAqB,KAAK,OAAO,GAAG,GACnF,cAAA,KAAK,GAAG,YAAY,4BAA4B;CACpD;AACF"}