joist-core 2.4.0-next.2 → 2.4.0-next.4
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/build/queries/sql/execute.cjs +64 -80
- package/build/queries/sql/execute.cjs.map +1 -1
- package/build/queries/sql/execute.d.cts +4 -4
- package/build/queries/sql/execute.d.cts.map +1 -1
- package/build/queries/sql/execute.d.mts +4 -4
- package/build/queries/sql/execute.d.mts.map +1 -1
- package/build/queries/sql/execute.js +66 -82
- package/build/queries/sql/execute.js.map +1 -1
- package/build/queries/sql/query.cjs +18 -7
- package/build/queries/sql/query.cjs.map +1 -1
- package/build/queries/sql/query.d.cts +13 -1
- package/build/queries/sql/query.d.cts.map +1 -1
- package/build/queries/sql/query.d.mts +13 -1
- package/build/queries/sql/query.d.mts.map +1 -1
- package/build/queries/sql/query.js +18 -8
- package/build/queries/sql/query.js.map +1 -1
- package/package.json +2 -2
|
@@ -4,8 +4,8 @@ import { asNode, isExpr } from "./Expr.js";
|
|
|
4
4
|
import { fail } from "../../utils.js";
|
|
5
5
|
import { AliasAssigner } from "./AliasAssigner.js";
|
|
6
6
|
import "./custom.js";
|
|
7
|
-
import { getTableMgmt, isCustomTable, isEntityTable,
|
|
8
|
-
import { Ctx, conditionToSql, injectedConditions, isReadQueryValue, parseNestedQuery, parseUserQuery, projectionToSql, pruneCtes, registerCtes, withFragment } from "./query.js";
|
|
7
|
+
import { getTableMgmt, isCustomTable, isEntityTable, tableSqlName } from "./Tables.js";
|
|
8
|
+
import { Ctx, checkPojoKeys, conditionToSql, injectedConditions, isReadQueryValue, parseNestedQuery, parseUserQuery, projectionToSql, pruneCtes, registerCtes, withFragment } from "./query.js";
|
|
9
9
|
import { isEntity } from "../../Entity.js";
|
|
10
10
|
//#region src/queries/sql/execute.ts
|
|
11
11
|
/** Classifies mutation roots before EntityManager applies write permissions, including malformed roots. */
|
|
@@ -31,7 +31,7 @@ function parseStatement(arg) {
|
|
|
31
31
|
].filter((key) => key in statement);
|
|
32
32
|
if (roots.length !== 1) fail("A mutation requires exactly one insert, update, or delete root");
|
|
33
33
|
const operation = roots[0];
|
|
34
|
-
|
|
34
|
+
const allowed = operation === "insert" ? [
|
|
35
35
|
"insert",
|
|
36
36
|
"values",
|
|
37
37
|
"from",
|
|
@@ -45,28 +45,26 @@ function parseStatement(arg) {
|
|
|
45
45
|
"returning",
|
|
46
46
|
"with",
|
|
47
47
|
...operation === "update" ? ["set"] : []
|
|
48
|
-
]
|
|
49
|
-
|
|
50
|
-
|
|
51
|
-
const
|
|
52
|
-
const meta = isEntityTable(target) ? getTableMgmt(target).meta : void 0;
|
|
53
|
-
const custom = isCustomTable(target) ? getTableMgmt(target) : void 0;
|
|
48
|
+
];
|
|
49
|
+
checkPojoKeys(statement, allowed, `SQL ${operation}`);
|
|
50
|
+
const target = mutationTarget(statement[operation]);
|
|
51
|
+
const { meta } = target;
|
|
54
52
|
if (meta) {
|
|
55
53
|
if (meta.inheritanceType || meta.baseType || meta.baseTypes.length || meta.subTypes.length) fail("SQL mutations do not support CTI/STI targets or inherited table families");
|
|
56
54
|
if (meta.supportsEmExecute !== true) fail(`SQL mutations require supported physical metadata for ${meta.type}; run codegen`);
|
|
57
|
-
for (const
|
|
55
|
+
for (const column of Object.values(meta.columns)) requireColumnMetadata(target, column);
|
|
58
56
|
} else if (statement.softDeletes !== void 0) fail("Custom table mutations do not support softDeletes");
|
|
59
|
-
const fields = Object.entries(
|
|
57
|
+
const fields = Object.entries(target.columns);
|
|
60
58
|
const assigner = new AliasAssigner();
|
|
61
59
|
const withCtx = new Ctx(assigner, void 0);
|
|
62
60
|
const ctes = registerCtes(statement, withCtx, assigner);
|
|
63
61
|
const refs = [];
|
|
64
62
|
const ctx = new Ctx(assigner, withCtx);
|
|
65
|
-
const alias = assigner.getAlias(mgmt.tableName);
|
|
66
|
-
ctx.register(mgmt, alias);
|
|
63
|
+
const alias = assigner.getAlias(target.mgmt.tableName);
|
|
64
|
+
ctx.register(target.mgmt, alias);
|
|
67
65
|
const returning = statement.returning === void 0 ? void 0 : projectionToSql(statement.returning, ctx);
|
|
68
66
|
if (returning) for (const select of returning.selects) refs.push(...select.refs);
|
|
69
|
-
let sql = `${operation === "delete" ? "DELETE FROM" : operation.toUpperCase() + (operation === "insert" ? " INTO" : "")} ${tableSqlName(mgmt)} AS ${kq(alias)}`;
|
|
67
|
+
let sql = `${operation === "delete" ? "DELETE FROM" : operation.toUpperCase() + (operation === "insert" ? " INTO" : "")} ${tableSqlName(target.mgmt)} AS ${kq(alias)}`;
|
|
70
68
|
const bindings = [];
|
|
71
69
|
if (operation === "insert") {
|
|
72
70
|
if ("values" in statement === "from" in statement) fail("INSERT requires exactly one of values or from");
|
|
@@ -75,8 +73,8 @@ function parseStatement(arg) {
|
|
|
75
73
|
if (!Array.isArray(statement.values)) fail("INSERT values must be an array of field POJOs");
|
|
76
74
|
const rows = statement.values;
|
|
77
75
|
const valuesCtx = new Ctx(assigner, withCtx);
|
|
78
|
-
const entries = rows.map((row) =>
|
|
79
|
-
for (const row of entries) for (const [key] of required) if (!row.some((entry) => entry[0] === key)) fail(`INSERT requires ${
|
|
76
|
+
const entries = rows.map((row) => assignments(target, row, "insert"));
|
|
77
|
+
for (const row of entries) for (const [key] of required) if (!row.some((entry) => entry[0] === key)) fail(`INSERT requires ${target.name}.${key}`);
|
|
80
78
|
if (rows.length === 0) return void 0;
|
|
81
79
|
const keys = fields.filter(([key]) => entries.some((row) => row.some((entry) => entry[0] === key))).map(([key, field]) => [key, field.columnName]);
|
|
82
80
|
sql += ` (${keys.map(([, column]) => kq(column)).join(", ")}) VALUES `;
|
|
@@ -84,7 +82,7 @@ function parseStatement(arg) {
|
|
|
84
82
|
return `(${keys.map(([key]) => {
|
|
85
83
|
const entry = row.find((entry) => entry[0] === key);
|
|
86
84
|
if (!entry) return "DEFAULT";
|
|
87
|
-
const cell =
|
|
85
|
+
const cell = assignmentToSql(target, writableField(target, key, "insert"), entry[1], valuesCtx);
|
|
88
86
|
bindings.push(...cell.bindings);
|
|
89
87
|
refs.push(...cell.refs);
|
|
90
88
|
return cell.sql;
|
|
@@ -94,13 +92,13 @@ function parseStatement(arg) {
|
|
|
94
92
|
const source = parseNestedQuery(statement.from, withCtx, assigner);
|
|
95
93
|
if (source.output.kind !== "pojo") fail("INSERT SELECT requires named POJO output columns");
|
|
96
94
|
const columns = source.output.columns;
|
|
97
|
-
for (const [key] of required) if (!columns.some((column) => column[0] === key)) fail(`INSERT requires ${
|
|
95
|
+
for (const [key] of required) if (!columns.some((column) => column[0] === key)) fail(`INSERT requires ${target.name}.${key}`);
|
|
98
96
|
for (const [key, expr] of columns) {
|
|
99
|
-
const field =
|
|
97
|
+
const field = writableField(target, key, "insert");
|
|
100
98
|
const left = field.outputType;
|
|
101
99
|
const right = expr.outputType;
|
|
102
|
-
if (!left || !right || left.dbType !== right.dbType || left.domain !== right.domain || left.idMeta !== right.idMeta) fail(`INSERT SELECT ${
|
|
103
|
-
if (!field.sqlNullable && expr.sqlNullable === true) fail(`INSERT SELECT ${
|
|
100
|
+
if (!left || !right || left.dbType !== right.dbType || left.domain !== right.domain || left.idMeta !== right.idMeta) fail(`INSERT SELECT ${target.name}.${key} has incompatible or unknown storage codecs`);
|
|
101
|
+
if (!field.sqlNullable && expr.sqlNullable === true) fail(`INSERT SELECT ${target.name}.${key} cannot accept a nullable output`);
|
|
104
102
|
}
|
|
105
103
|
const keys = fields.filter(([key]) => columns.some((column) => column[0] === key)).map(([key, field]) => [key, field.columnName]);
|
|
106
104
|
const sourceAlias = safeKq(assigner.getLiteralAlias("sq"));
|
|
@@ -114,11 +112,11 @@ function parseStatement(arg) {
|
|
|
114
112
|
const whereCondition = mutationCondition(statement.where, ctx);
|
|
115
113
|
if (Object.hasOwn(statement, "where") && !whereCondition && statement.allowAll !== true) fail("UPDATE and DELETE require allowAll: true when a supplied where is undefined or fully pruned");
|
|
116
114
|
if (operation === "update") {
|
|
117
|
-
const entries =
|
|
115
|
+
const entries = assignments(target, statement.set, "update");
|
|
118
116
|
sql += " SET " + entries.map((entry) => {
|
|
119
117
|
const [key, value] = entry;
|
|
120
|
-
const field =
|
|
121
|
-
const cell =
|
|
118
|
+
const field = writableField(target, key, "update");
|
|
119
|
+
const cell = assignmentToSql(target, field, value, ctx);
|
|
122
120
|
bindings.push(...cell.bindings);
|
|
123
121
|
refs.push(...cell.refs);
|
|
124
122
|
return `${kq(field.columnName)} = ${cell.sql}`;
|
|
@@ -165,55 +163,66 @@ function decodeStatementResult(em, plan, result) {
|
|
|
165
163
|
rows: plan.decodeRows(em, result.rows)
|
|
166
164
|
};
|
|
167
165
|
}
|
|
166
|
+
/** Reads the writable columns from either kind of table handle, so the compiler has one target shape. */
|
|
167
|
+
function mutationTarget(target) {
|
|
168
|
+
if (isEntityTable(target)) {
|
|
169
|
+
const mgmt = getTableMgmt(target);
|
|
170
|
+
return {
|
|
171
|
+
mgmt,
|
|
172
|
+
name: mgmt.meta.type,
|
|
173
|
+
columns: mgmt.meta.columns,
|
|
174
|
+
meta: mgmt.meta
|
|
175
|
+
};
|
|
176
|
+
}
|
|
177
|
+
if (isCustomTable(target)) {
|
|
178
|
+
const mgmt = getTableMgmt(target);
|
|
179
|
+
return {
|
|
180
|
+
mgmt,
|
|
181
|
+
name: mgmt.tableName,
|
|
182
|
+
columns: mgmt.columns,
|
|
183
|
+
meta: void 0
|
|
184
|
+
};
|
|
185
|
+
}
|
|
186
|
+
return fail("A mutation target must be a table");
|
|
187
|
+
}
|
|
168
188
|
/** SQL mutations require complete physical metadata. */
|
|
169
|
-
function requireColumnMetadata(
|
|
170
|
-
if (typeof column.sqlNullable !== "boolean" || typeof column.hasDefault !== "boolean" || typeof column.isGenerated !== "boolean") fail(`Missing physical metadata for ${
|
|
189
|
+
function requireColumnMetadata(target, column) {
|
|
190
|
+
if (typeof column.sqlNullable !== "boolean" || typeof column.hasDefault !== "boolean" || typeof column.isGenerated !== "boolean") fail(`Missing physical metadata for ${target.name}.${column.columnName}; run codegen`);
|
|
171
191
|
}
|
|
172
192
|
/** Validates every supplied key, including undefined fields, before pruning omitted values. */
|
|
173
|
-
function assignments(
|
|
193
|
+
function assignments(target, value, operation) {
|
|
174
194
|
if (!value || typeof value !== "object" || Array.isArray(value) || isExpr(value) || isEntity(value)) fail(`${operation} assignments must be a field POJO`);
|
|
175
195
|
const entries = Object.entries(value);
|
|
176
|
-
for (const [key] of entries) writableField(
|
|
177
|
-
|
|
196
|
+
for (const [key] of entries) writableField(target, key, operation);
|
|
197
|
+
checkPojoKeys(value, Object.keys(target.columns), `${operation} assignments`);
|
|
178
198
|
const defined = entries.filter((entry) => entry[1] !== void 0);
|
|
179
199
|
if (!defined.length) fail(`${operation} requires at least one defined field; empty rows/sets are not DEFAULT VALUES`);
|
|
180
200
|
return defined;
|
|
181
201
|
}
|
|
182
|
-
/**
|
|
183
|
-
|
|
184
|
-
|
|
185
|
-
|
|
186
|
-
|
|
187
|
-
|
|
188
|
-
|
|
189
|
-
|
|
190
|
-
|
|
191
|
-
|
|
192
|
-
|
|
193
|
-
|
|
194
|
-
const column = Object.hasOwn(table.columns, key) ? table.columns[key] : void 0;
|
|
195
|
-
if (!column) fail(`Unsupported SQL mutation field ${table.tableName}.${key}`);
|
|
196
|
-
if (operation === "update" ? !column.update : column.insert === "never") fail(`Unsupported SQL mutation field ${table.tableName}.${key}`);
|
|
197
|
-
return column;
|
|
198
|
-
}
|
|
199
|
-
/** Applies physical write restrictions, not ORM-derived, protected, or business-immutable flags. */
|
|
200
|
-
function writableField(meta, key, operation) {
|
|
201
|
-
const column = Object.hasOwn(meta.columns, key) ? meta.columns[key] : void 0;
|
|
202
|
-
if (!column) fail(`Unsupported SQL mutation field ${meta.type}.${key}`);
|
|
203
|
-
requireColumnMetadata(meta, column);
|
|
204
|
-
if (operation === "update" && key === "id") fail("UPDATE primary-key assignments are not supported");
|
|
205
|
-
if (column.isGenerated) fail(`Generated field ${meta.type}.${key} is omit-only`);
|
|
206
|
-
if (operation === "update" ? !column.update : column.insert === "never") fail(`Unsupported SQL mutation field ${meta.type}.${key}`);
|
|
202
|
+
/**
|
|
203
|
+
* Applies physical write restrictions, not ORM-derived, protected, or business-immutable flags.
|
|
204
|
+
*
|
|
205
|
+
* The primary-key and generated checks only sharpen the message: `Column` already denies both through
|
|
206
|
+
* `insert: "never"` and `update: false`, for declared custom columns as well as generated ones.
|
|
207
|
+
*/
|
|
208
|
+
function writableField(target, key, operation) {
|
|
209
|
+
const column = Object.hasOwn(target.columns, key) ? target.columns[key] : void 0;
|
|
210
|
+
if (!column) fail(`Unsupported SQL mutation field ${target.name}.${key}`);
|
|
211
|
+
if (operation === "update" && column.columnName === "id") fail("UPDATE primary-key assignments are not supported");
|
|
212
|
+
if (column.isGenerated) fail(`Generated field ${target.name}.${key} is omit-only`);
|
|
213
|
+
if (operation === "update" ? !column.update : column.insert === "never") fail(`Unsupported SQL mutation field ${target.name}.${key}`);
|
|
207
214
|
return column;
|
|
208
215
|
}
|
|
209
216
|
/**
|
|
210
217
|
* Classifies SQL expressions and SQL NULL before invoking the column's entity-independent write codec.
|
|
211
218
|
* Normalizes public PK/FK ids to internal tagged ids using the target entity's idType.
|
|
219
|
+
*
|
|
220
|
+
* A custom table's columns never carry `idMetadata`, so they take the literal path below unchanged.
|
|
212
221
|
*/
|
|
213
|
-
function assignmentToSql(
|
|
222
|
+
function assignmentToSql(target, column, value, ctx) {
|
|
214
223
|
if (isExpr(value)) return asNode(value).toSql(ctx);
|
|
215
224
|
if (value === null) {
|
|
216
|
-
if (!column.sqlNullable) fail(`${
|
|
225
|
+
if (!column.sqlNullable) fail(`${target.name}.${column.columnName} is physically NOT NULL`);
|
|
217
226
|
return {
|
|
218
227
|
sql: "NULL",
|
|
219
228
|
bindings: [],
|
|
@@ -229,24 +238,7 @@ function assignmentToSql(meta, column, value, ctx) {
|
|
|
229
238
|
} else if (typeof value !== (other.idType === "number" ? "number" : "string")) fail(`Expected a persisted ${other.type} or its ID; nested creation is not supported`);
|
|
230
239
|
else value = other.idType === "untagged-string" ? keyToTaggedId(other, value) : toTaggedId(other, value);
|
|
231
240
|
}
|
|
232
|
-
if (!column.codec.mapToDbValue) fail(`The codec for ${
|
|
233
|
-
return {
|
|
234
|
-
sql: "?",
|
|
235
|
-
bindings: [column.mapToDbValue(value)],
|
|
236
|
-
refs: []
|
|
237
|
-
};
|
|
238
|
-
}
|
|
239
|
-
/** Encodes a custom-table literal through its declared primitive codec. */
|
|
240
|
-
function customAssignmentToSql(table, column, value, ctx) {
|
|
241
|
-
if (isExpr(value)) return asNode(value).toSql(ctx);
|
|
242
|
-
if (value === null) {
|
|
243
|
-
if (!column.sqlNullable) fail(`${table.tableName}.${column.columnName} is physically NOT NULL`);
|
|
244
|
-
return {
|
|
245
|
-
sql: "NULL",
|
|
246
|
-
bindings: [],
|
|
247
|
-
refs: []
|
|
248
|
-
};
|
|
249
|
-
}
|
|
241
|
+
if (!column.codec.mapToDbValue) fail(`The codec for ${target.name}.${column.columnName} does not support SQL value writes`);
|
|
250
242
|
return {
|
|
251
243
|
sql: "?",
|
|
252
244
|
bindings: [column.mapToDbValue(value)],
|
|
@@ -259,14 +251,6 @@ function mutationCondition(value, ctx) {
|
|
|
259
251
|
if (Array.isArray(value)) return conditionToSql({ and: value }, ctx, true);
|
|
260
252
|
return conditionToSql(value, ctx, true);
|
|
261
253
|
}
|
|
262
|
-
/** Only own enumerable POJO clauses count as input or explicit full-table consent. */
|
|
263
|
-
function checkPojo(value, allowed, description) {
|
|
264
|
-
if (Object.getPrototypeOf(value) !== Object.prototype && Object.getPrototypeOf(value) !== null) fail(`${description} must be a plain POJO`);
|
|
265
|
-
for (const key of Reflect.ownKeys(value)) {
|
|
266
|
-
if (!allowed.includes(key)) fail(`${description} does not support '${String(key)}'`);
|
|
267
|
-
if (typeof key === "string" && !Object.prototype.propertyIsEnumerable.call(value, key)) fail(`${description} requires enumerable fields`);
|
|
268
|
-
}
|
|
269
|
-
}
|
|
270
254
|
//#endregion
|
|
271
255
|
export { decodeStatementResult, isMutation, parseStatement };
|
|
272
256
|
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"execute.js","names":[],"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,CAAC,iBAAiB,GAAG,KACrB;EAAC;EAAU;EAAU;CAAQ,CAAC,CAAC,MAAM,QAAQ,OAAO,GAAG;AAE3D;;;;;;AAOA,SAAgB,eAAe,KAAgC;CAC7D,IAAI,CAAC,WAAW,GAAG,GAAG,OAAO,eAAe,GAAG;CAC/C,MAAM,YAAY;CAClB,MAAM,QAAQ;EAAC;EAAU;EAAU;CAAQ,CAAC,CAAC,QAAQ,QAAQ,OAAO,SAAS;CAC7E,IAAI,MAAM,WAAW,GAAG,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,CAAC,QAAQ,MAAM,GAAG,KAAK,mCAAmC;CAC9D,MAAM,OAAO,aAAa,MAAM;CAChC,MAAM,OAAO,cAAc,MAAM,IAAI,aAAa,MAAM,CAAC,CAAC,OAAO,KAAA;CACjE,MAAM,SAAS,cAAc,MAAM,IAAI,aAAa,MAAM,IAAI,KAAA;CAC9D,IAAI,MAAM;EACR,IAAI,KAAK,mBAAmB,KAAK,YAAY,KAAK,UAAU,UAAU,KAAK,SAAS,QAClF,KAAK,0EAA0E;EAEjF,IAAI,KAAK,sBAAsB,MAC7B,KAAK,yDAAyD,KAAK,KAAK,cAAc;EACxF,KAAK,MAAM,SAAS,OAAO,OAAO,KAAK,OAAO,GAAG,sBAAsB,MAAM,KAAK;CACpF,OAAO,IAAI,UAAU,gBAAgB,KAAA,GACnC,KAAK,mDAAmD;CAE1D,MAAM,SAAS,OAAO,QAAQ,MAAM,WAAW,OAAQ,OAAO;CAC9D,MAAM,WAAW,IAAI,cAAc;CAInC,MAAM,UAAU,IAAI,IAAI,UAAU,KAAA,CAAS;CAC3C,MAAM,OAAO,aAAa,WAAW,SAAS,QAAQ;CAEtD,MAAM,OAAiB,CAAC;CACxB,MAAM,MAAM,IAAI,IAAI,UAAU,OAAO;CACrC,MAAM,QAAQ,SAAS,SAAS,KAAK,SAAS;CAC9C,IAAI,SAAS,MAAM,KAAK;CACxB,MAAM,YAAY,UAAU,cAAc,KAAA,IAAY,KAAA,IAAY,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,GAAG,aAAa,IAAI,EAAE,MAAM,GAAG,KAAK;CAC5J,MAAM,WAAsB,CAAC;CAC7B,IAAI,cAAc,UAAU;EAC1B,IAAI,YAAY,cAAc,UAAU,WAAW,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,KAAK,+CAA+C;GAC1F,MAAM,OAAO,UAAU;GAMvB,MAAM,YAAY,IAAI,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,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,YAAY,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,SAAS,iBAAiB,UAAU,MAAM,SAAS,QAAQ;GACjE,IAAI,OAAO,OAAO,SAAS,QAAQ,KAAK,kDAAkD;GAC1F,MAAM,UAAU,OAAO,OAAO;GAC9B,KAAK,MAAM,CAAC,QAAQ,UAClB,IAAI,CAAC,QAAQ,MAAM,WAAW,OAAO,OAAO,GAAG,GAC7C,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,KAAK,iBAAiB,MAAM,QAAQ,OAAQ,UAAU,GAAG,IAAI,4CAA4C;IAE3G,IAAI,CAAC,MAAM,eAAe,KAAK,gBAAgB,MAC7C,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,cAAc,OAAO,SAAS,gBAAgB,IAAI,CAAC;GACzD,OAAO,KAAK,KAAK,KAAK,GAAG,YAAY,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,WAAW,KAAK,KAAK,CAAC,SAAS,GAAG,YAAY,GAAG,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,KAAK,4BAA4B;EAClH,IACE,UAAU,gBAAgB,KAAA,KAC1B,UAAU,gBAAgB,aAC1B,UAAU,gBAAgB,WAE1B,KAAK,4CAA4C;EACnD,MAAM,iBAAiB,kBAAkB,UAAU,OAAO,GAAG;EAC7D,IAAI,OAAO,OAAO,WAAW,OAAO,KAAK,CAAC,kBAAkB,UAAU,aAAa,MACjF,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,GAAG,GAAG,MAAM,UAAU,EAAE,KAAK,KAAK;GAC3C,CAAC,CAAC,CACD,KAAK,IAAI;EAChB;EAIA,MAAM,aAAa,CAAC,gBAHH,OACb,eAAe,EAAE,KAAK,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,WAAW,UAAU,MAAM,IAAI,IAAI,IAAI,CAAC;CAC9C,IAAI,SAAS,SAAS,GAAG;EACvB,MAAM,SAAS,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,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,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,KAAK,OAAO,KAAK,KAAK,SAAS,KAAK,GAChG,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,KAAK,GAAG,UAAU,6EAA6E;CACpH,OAAO;AACT;;AAGA,SAAS,kBACP,OACA,OACA,WACqB;CACrB,IAAI,CAAC,SAAS,OAAO,UAAU,YAAY,MAAM,QAAQ,KAAK,KAAK,OAAO,KAAK,KAAK,SAAS,KAAK,GAChG,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,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,KAAK,kCAAkC,MAAM,UAAU,GAAG,KAAK;CAC5E,IAAI,cAAc,WAAW,CAAC,OAAO,SAAS,OAAO,WAAW,SAC9D,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,KAAK,kCAAkC,KAAK,KAAK,GAAG,KAAK;CACtE,sBAAsB,MAAM,MAAM;CAClC,IAAI,cAAc,YAAY,QAAQ,MAAM,KAAK,kDAAkD;CACnG,IAAI,OAAO,aAAa,KAAK,mBAAmB,KAAK,KAAK,GAAG,IAAI,cAAc;CAC/E,IAAI,cAAc,WAAW,CAAC,OAAO,SAAS,OAAO,WAAW,SAC9D,KAAK,kCAAkC,KAAK,KAAK,GAAG,KAAK;CAC3D,OAAO;AACT;;;;;AAMA,SAAS,gBAAgB,MAAsB,QAAgB,OAAgB,KAAuB;CACpG,IAAI,OAAO,KAAK,GAAG,OAAO,OAAO,KAAK,CAAC,CAAC,MAAM,GAAG;CACjD,IAAI,UAAU,MAAM;EAClB,IAAI,CAAC,OAAO,aAAa,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,IAAI,SAAS,KAAK,GAAG;GACnB,IAAI,OAAO,eAAe,QAAQ,EAAE,iBAAiB,MAAM,OAAO,KAAK,cAAc,MAAM,KAAK,WAAW;GAC3G,IAAI,MAAM,eAAe,MAAM,kBAAkB,KAAA,GAC/C,KAAK,iCAAiC,MAAM,KAAK,2BAA2B;GAC9E,QAAQ,MAAM;EAChB,OAAO,IAAI,OAAO,WAAW,MAAM,WAAW,WAAW,WAAW,WAClE,KAAK,wBAAwB,MAAM,KAAK,6CAA6C;OAGrF,QACE,MAAM,WAAW,oBACb,cAAc,OAAO,KAAe,IACpC,WAAW,OAAO,KAAwB;CAEpD;CACA,IAAI,CAAC,OAAO,MAAM,cAChB,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,IAAI,OAAO,KAAK,GAAG,OAAO,OAAO,KAAK,CAAC,CAAC,MAAM,GAAG;CACjD,IAAI,UAAU,MAAM;EAClB,IAAI,CAAC,OAAO,aAAa,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,IAAI,OAAO,KAAK,GAAG,OAAO,OAAO,KAAK,CAAC,CAAC,MAAM,GAAG;CACjD,IAAI,MAAM,QAAQ,KAAK,GAAG,OAAO,eAAe,EAAE,KAAK,MAAM,GAAG,KAAK,IAAI;CACzE,OAAO,eAAe,OAAmC,KAAK,IAAI;AACpE;;AAGA,SAAS,UAAU,OAAe,SAAiC,aAA2B;CAC5F,IAAI,OAAO,eAAe,KAAK,MAAM,OAAO,aAAa,OAAO,eAAe,KAAK,MAAM,MACxF,KAAK,GAAG,YAAY,sBAAsB;CAC5C,KAAK,MAAM,OAAO,QAAQ,QAAQ,KAAK,GAAG;EACxC,IAAI,CAAC,QAAQ,SAAS,GAAG,GAAG,KAAK,GAAG,YAAY,qBAAqB,OAAO,GAAG,EAAE,EAAE;EACnF,IAAI,OAAO,QAAQ,YAAY,CAAC,OAAO,UAAU,qBAAqB,KAAK,OAAO,GAAG,GACnF,KAAK,GAAG,YAAY,4BAA4B;CACpD;AACF"}
|
|
1
|
+
{"version":3,"file":"execute.js","names":[],"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} 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 checkPojoKeys,\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 type TableSourceMgmt,\n getTableMgmt,\n isCustomTable,\n isEntityTable,\n tableMgmt,\n tableSqlName,\n} from \"src/queries/sql/Tables.ts\";\nimport type { Column, ColumnDescriptors } 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: MutationTargetTable<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: MutationTargetTable<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: MutationTargetTable<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 checkPojoKeys(statement, allowed, `SQL ${operation}`);\n const target = mutationTarget(statement[operation]);\n const { meta } = target;\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 // Every column is checked here, so the writable-column lookups below can trust their metadata.\n for (const column of Object.values(meta.columns)) requireColumnMetadata(target, column);\n } else if (statement.softDeletes !== undefined) {\n fail(\"Custom table mutations do not support softDeletes\");\n }\n const fields = Object.entries(target.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(target.mgmt.tableName);\n ctx.register(target.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(target.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) => assignments(target, 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 ${target.name}.${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 = assignmentToSql(target, writableField(target, 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 ${target.name}.${key}`);\n }\n }\n for (const [key, expr] of columns) {\n const field = writableField(target, 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 ${target.name}.${key} has incompatible or unknown storage codecs`);\n }\n if (!field.sqlNullable && expr.sqlNullable === true)\n fail(`INSERT SELECT ${target.name}.${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 = assignments(target, statement.set, \"update\");\n sql +=\n \" SET \" +\n entries\n .map((entry) => {\n const [key, value] = entry;\n const field = writableField(target, key, \"update\");\n const cell = assignmentToSql(target, 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 MutationTargetTable<T extends Entity> = TableFor<T> &\n (TypeMapEntry<T, \"supportsEmExecute\"> extends true ? unknown : never);\n\n/**\n * What a mutation needs from its target, an entity table or a `declareTable` table alike.\n *\n * Both kinds describe their storage with the same `Column`, so the INSERT/UPDATE/DELETE compiler reads\n * `columns` without caring which it has; `meta` is the one thing only an entity table brings.\n */\ninterface MutationTarget {\n /** The SQL identity, for the alias and the qualified table name; also the key `Ctx` registers. */\n mgmt: TableSourceMgmt;\n /** Names the target in errors: the entity type, i.e. `Book`, or the table name, i.e. `book_reviews`. */\n name: string;\n columns: ColumnDescriptors;\n /** Entity tables only; a custom table has no soft-delete, inheritance, or ID-tagging policy. */\n meta: EntityMetadata | undefined;\n}\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/** Reads the writable columns from either kind of table handle, so the compiler has one target shape. */\nfunction mutationTarget(target: unknown): MutationTarget {\n if (isEntityTable(target)) {\n const mgmt = getTableMgmt(target);\n return { mgmt, name: mgmt.meta.type, columns: mgmt.meta.columns, meta: mgmt.meta };\n }\n if (isCustomTable(target)) {\n const mgmt = getTableMgmt(target);\n return { mgmt, name: mgmt.tableName, columns: mgmt.columns, meta: undefined };\n }\n return fail(\"A mutation target must be a table\");\n}\n\n/** SQL mutations require complete physical metadata. */\nfunction requireColumnMetadata(target: MutationTarget, 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 ${target.name}.${column.columnName}; run codegen`);\n}\n\n/** Validates every supplied key, including undefined fields, before pruning omitted values. */\nfunction assignments(target: MutationTarget, 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(target, key, operation);\n checkPojoKeys(value, Object.keys(target.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/**\n * Applies physical write restrictions, not ORM-derived, protected, or business-immutable flags.\n *\n * The primary-key and generated checks only sharpen the message: `Column` already denies both through\n * `insert: \"never\"` and `update: false`, for declared custom columns as well as generated ones.\n */\nfunction writableField(target: MutationTarget, key: string, operation: \"insert\" | \"update\"): Column {\n const column = Object.hasOwn(target.columns, key) ? target.columns[key] : undefined;\n if (!column) fail(`Unsupported SQL mutation field ${target.name}.${key}`);\n if (operation === \"update\" && column.columnName === \"id\") fail(\"UPDATE primary-key assignments are not supported\");\n if (column.isGenerated) fail(`Generated field ${target.name}.${key} is omit-only`);\n if (operation === \"update\" ? !column.update : column.insert === \"never\")\n fail(`Unsupported SQL mutation field ${target.name}.${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 *\n * A custom table's columns never carry `idMetadata`, so they take the literal path below unchanged.\n */\nfunction assignmentToSql(target: MutationTarget, 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(`${target.name}.${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 ${target.name}.${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 if (Array.isArray(value)) return conditionToSql({ and: value }, ctx, true);\n return conditionToSql(value as SqlCondition | undefined, ctx, true);\n}\n"],"mappings":";;;;;;;;;;;AAqMA,SAAgB,WAAW,KAAuB;CAChD,OACE,OAAO,QAAQ,YACf,QAAQ,QACR,CAAC,iBAAiB,GAAG,KACrB;EAAC;EAAU;EAAU;CAAQ,CAAC,CAAC,MAAM,QAAQ,OAAO,GAAG;AAE3D;;;;;;AAOA,SAAgB,eAAe,KAAgC;CAC7D,IAAI,CAAC,WAAW,GAAG,GAAG,OAAO,eAAe,GAAG;CAC/C,MAAM,YAAY;CAClB,MAAM,QAAQ;EAAC;EAAU;EAAU;CAAQ,CAAC,CAAC,QAAQ,QAAQ,OAAO,SAAS;CAC7E,IAAI,MAAM,WAAW,GAAG,KAAK,gEAAgE;CAC7F,MAAM,YAAY,MAAM;CACxB,MAAM,UACJ,cAAc,WACV;EAAC;EAAU;EAAU;EAAQ;EAAa;CAAM,IAChD;EACE;EACA;EACA;EACA;EACA;EACA;EACA,GAAI,cAAc,WAAW,CAAC,KAAK,IAAI,CAAC;CAC1C;CACN,cAAc,WAAW,SAAS,OAAO,WAAW;CACpD,MAAM,SAAS,eAAe,UAAU,UAAU;CAClD,MAAM,EAAE,SAAS;CACjB,IAAI,MAAM;EACR,IAAI,KAAK,mBAAmB,KAAK,YAAY,KAAK,UAAU,UAAU,KAAK,SAAS,QAClF,KAAK,0EAA0E;EAEjF,IAAI,KAAK,sBAAsB,MAC7B,KAAK,yDAAyD,KAAK,KAAK,cAAc;EAExF,KAAK,MAAM,UAAU,OAAO,OAAO,KAAK,OAAO,GAAG,sBAAsB,QAAQ,MAAM;CACxF,OAAO,IAAI,UAAU,gBAAgB,KAAA,GACnC,KAAK,mDAAmD;CAE1D,MAAM,SAAS,OAAO,QAAQ,OAAO,OAAO;CAC5C,MAAM,WAAW,IAAI,cAAc;CAInC,MAAM,UAAU,IAAI,IAAI,UAAU,KAAA,CAAS;CAC3C,MAAM,OAAO,aAAa,WAAW,SAAS,QAAQ;CAEtD,MAAM,OAAiB,CAAC;CACxB,MAAM,MAAM,IAAI,IAAI,UAAU,OAAO;CACrC,MAAM,QAAQ,SAAS,SAAS,OAAO,KAAK,SAAS;CACrD,IAAI,SAAS,OAAO,MAAM,KAAK;CAC/B,MAAM,YAAY,UAAU,cAAc,KAAA,IAAY,KAAA,IAAY,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,GAAG,aAAa,OAAO,IAAI,EAAE,MAAM,GAAG,KAAK;CACnK,MAAM,WAAsB,CAAC;CAC7B,IAAI,cAAc,UAAU;EAC1B,IAAI,YAAY,cAAc,UAAU,WAAW,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,KAAK,+CAA+C;GAC1F,MAAM,OAAO,UAAU;GAMvB,MAAM,YAAY,IAAI,IAAI,UAAU,OAAO;GAC3C,MAAM,UAAU,KAAK,KAAK,QAAQ,YAAY,QAAQ,KAAK,QAAQ,CAAC;GACpE,KAAK,MAAM,OAAO,SAChB,KAAK,MAAM,CAAC,QAAQ,UAClB,IAAI,CAAC,IAAI,MAAM,UAAU,MAAM,OAAO,GAAG,GAAG,KAAK,mBAAmB,OAAO,KAAK,GAAG,KAAK;GAG5F,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,YAAY,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE;GAC5D,OAAO,QACJ,KAAK,QAAQ;IASZ,OAAO,IARO,KAAK,KAAK,CAAC,SAAS;KAChC,MAAM,QAAQ,IAAI,MAAM,UAAU,MAAM,OAAO,GAAG;KAClD,IAAI,CAAC,OAAO,OAAO;KACnB,MAAM,OAAO,gBAAgB,QAAQ,cAAc,QAAQ,KAAK,QAAQ,GAAG,MAAM,IAAI,SAAS;KAC9F,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,SAAS,iBAAiB,UAAU,MAAM,SAAS,QAAQ;GACjE,IAAI,OAAO,OAAO,SAAS,QAAQ,KAAK,kDAAkD;GAC1F,MAAM,UAAU,OAAO,OAAO;GAC9B,KAAK,MAAM,CAAC,QAAQ,UAClB,IAAI,CAAC,QAAQ,MAAM,WAAW,OAAO,OAAO,GAAG,GAC7C,KAAK,mBAAmB,OAAO,KAAK,GAAG,KAAK;GAGhD,KAAK,MAAM,CAAC,KAAK,SAAS,SAAS;IACjC,MAAM,QAAQ,cAAc,QAAQ,KAAK,QAAQ;IACjD,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,KAAK,iBAAiB,OAAO,KAAK,GAAG,IAAI,4CAA4C;IAEvF,IAAI,CAAC,MAAM,eAAe,KAAK,gBAAgB,MAC7C,KAAK,iBAAiB,OAAO,KAAK,GAAG,IAAI,iCAAiC;GAC9E;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,cAAc,OAAO,SAAS,gBAAgB,IAAI,CAAC;GACzD,OAAO,KAAK,KAAK,KAAK,GAAG,YAAY,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,WAAW,KAAK,KAAK,CAAC,SAAS,GAAG,YAAY,GAAG,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,KAAK,4BAA4B;EAClH,IACE,UAAU,gBAAgB,KAAA,KAC1B,UAAU,gBAAgB,aAC1B,UAAU,gBAAgB,WAE1B,KAAK,4CAA4C;EACnD,MAAM,iBAAiB,kBAAkB,UAAU,OAAO,GAAG;EAC7D,IAAI,OAAO,OAAO,WAAW,OAAO,KAAK,CAAC,kBAAkB,UAAU,aAAa,MACjF,KAAK,6FAA6F;EACpG,IAAI,cAAc,UAAU;GAC1B,MAAM,UAAU,YAAY,QAAQ,UAAU,KAAK,QAAQ;GAC3D,OACE,UACA,QACG,KAAK,UAAU;IACd,MAAM,CAAC,KAAK,SAAS;IACrB,MAAM,QAAQ,cAAc,QAAQ,KAAK,QAAQ;IACjD,MAAM,OAAO,gBAAgB,QAAQ,OAAO,OAAO,GAAG;IACtD,SAAS,KAAK,GAAG,KAAK,QAAQ;IAC9B,KAAK,KAAK,GAAG,KAAK,IAAI;IACtB,OAAO,GAAG,GAAG,MAAM,UAAU,EAAE,KAAK,KAAK;GAC3C,CAAC,CAAC,CACD,KAAK,IAAI;EAChB;EAIA,MAAM,aAAa,CAAC,gBAHH,OACb,eAAe,EAAE,KAAK,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,WAAW,UAAU,MAAM,IAAI,IAAI,IAAI,CAAC;CAC9C,IAAI,SAAS,SAAS,GAAG;EACvB,MAAM,SAAS,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,KAAK,sDAAsD;CAC7D,OAAO;EAAE,UAAU,OAAO;EAAU,MAAM,KAAK,WAAW,IAAI,OAAO,IAAI;CAAE;AAC7E;;AAsSA,SAAS,eAAe,QAAiC;CACvD,IAAI,cAAc,MAAM,GAAG;EACzB,MAAM,OAAO,aAAa,MAAM;EAChC,OAAO;GAAE;GAAM,MAAM,KAAK,KAAK;GAAM,SAAS,KAAK,KAAK;GAAS,MAAM,KAAK;EAAK;CACnF;CACA,IAAI,cAAc,MAAM,GAAG;EACzB,MAAM,OAAO,aAAa,MAAM;EAChC,OAAO;GAAE;GAAM,MAAM,KAAK;GAAW,SAAS,KAAK;GAAS,MAAM,KAAA;EAAU;CAC9E;CACA,OAAO,KAAK,mCAAmC;AACjD;;AAGA,SAAS,sBAAsB,QAAwB,QAAsB;CAC3E,IACE,OAAO,OAAO,gBAAgB,aAC9B,OAAO,OAAO,eAAe,aAC7B,OAAO,OAAO,gBAAgB,WAE9B,KAAK,iCAAiC,OAAO,KAAK,GAAG,OAAO,WAAW,cAAc;AACzF;;AAGA,SAAS,YAAY,QAAwB,OAAgB,WAAqD;CAChH,IAAI,CAAC,SAAS,OAAO,UAAU,YAAY,MAAM,QAAQ,KAAK,KAAK,OAAO,KAAK,KAAK,SAAS,KAAK,GAChG,KAAK,GAAG,UAAU,kCAAkC;CACtD,MAAM,UAAU,OAAO,QAAQ,KAAK;CACpC,KAAK,MAAM,CAAC,QAAQ,SAAS,cAAc,QAAQ,KAAK,SAAS;CACjE,cAAc,OAAO,OAAO,KAAK,OAAO,OAAO,GAAG,GAAG,UAAU,aAAa;CAC5E,MAAM,UAAU,QAAQ,QAAQ,UAAU,MAAM,OAAO,KAAA,CAAS;CAChE,IAAI,CAAC,QAAQ,QAAQ,KAAK,GAAG,UAAU,6EAA6E;CACpH,OAAO;AACT;;;;;;;AAQA,SAAS,cAAc,QAAwB,KAAa,WAAwC;CAClG,MAAM,SAAS,OAAO,OAAO,OAAO,SAAS,GAAG,IAAI,OAAO,QAAQ,OAAO,KAAA;CAC1E,IAAI,CAAC,QAAQ,KAAK,kCAAkC,OAAO,KAAK,GAAG,KAAK;CACxE,IAAI,cAAc,YAAY,OAAO,eAAe,MAAM,KAAK,kDAAkD;CACjH,IAAI,OAAO,aAAa,KAAK,mBAAmB,OAAO,KAAK,GAAG,IAAI,cAAc;CACjF,IAAI,cAAc,WAAW,CAAC,OAAO,SAAS,OAAO,WAAW,SAC9D,KAAK,kCAAkC,OAAO,KAAK,GAAG,KAAK;CAC7D,OAAO;AACT;;;;;;;AAQA,SAAS,gBAAgB,QAAwB,QAAgB,OAAgB,KAAuB;CACtG,IAAI,OAAO,KAAK,GAAG,OAAO,OAAO,KAAK,CAAC,CAAC,MAAM,GAAG;CACjD,IAAI,UAAU,MAAM;EAClB,IAAI,CAAC,OAAO,aAAa,KAAK,GAAG,OAAO,KAAK,GAAG,OAAO,WAAW,wBAAwB;EAC1F,OAAO;GAAE,KAAK;GAAQ,UAAU,CAAC;GAAG,MAAM,CAAC;EAAE;CAC/C;CACA,IAAI,OAAO,YAAY;EACrB,MAAM,QAAQ,OAAO,WAAW;EAChC,IAAI,SAAS,KAAK,GAAG;GACnB,IAAI,OAAO,eAAe,QAAQ,EAAE,iBAAiB,MAAM,OAAO,KAAK,cAAc,MAAM,KAAK,WAAW;GAC3G,IAAI,MAAM,eAAe,MAAM,kBAAkB,KAAA,GAC/C,KAAK,iCAAiC,MAAM,KAAK,2BAA2B;GAC9E,QAAQ,MAAM;EAChB,OAAO,IAAI,OAAO,WAAW,MAAM,WAAW,WAAW,WAAW,WAClE,KAAK,wBAAwB,MAAM,KAAK,6CAA6C;OAGrF,QACE,MAAM,WAAW,oBACb,cAAc,OAAO,KAAe,IACpC,WAAW,OAAO,KAAwB;CAEpD;CACA,IAAI,CAAC,OAAO,MAAM,cAChB,KAAK,iBAAiB,OAAO,KAAK,GAAG,OAAO,WAAW,mCAAmC;CAC5F,OAAO;EAAE,KAAK;EAAK,UAAU,CAAC,OAAO,aAAa,KAAK,CAAC;EAAG,MAAM,CAAC;CAAE;AACtE;;AAGA,SAAS,kBAAkB,OAAgB,KAAmC;CAC5E,IAAI,OAAO,KAAK,GAAG,OAAO,OAAO,KAAK,CAAC,CAAC,MAAM,GAAG;CACjD,IAAI,MAAM,QAAQ,KAAK,GAAG,OAAO,eAAe,EAAE,KAAK,MAAM,GAAG,KAAK,IAAI;CACzE,OAAO,eAAe,OAAmC,KAAK,IAAI;AACpE"}
|
|
@@ -1294,19 +1294,19 @@ function checkCondition(value) {
|
|
|
1294
1294
|
if ("and" in condition || "or" in condition) {
|
|
1295
1295
|
if ("and" in condition === "or" in condition) require_utils.fail("Query conditions require exactly one and/or group");
|
|
1296
1296
|
const key = "and" in condition ? "and" : "or";
|
|
1297
|
-
|
|
1297
|
+
checkPojoKeys(condition, [key, "pruneIfUndefined"], "Query condition group");
|
|
1298
1298
|
if (!Array.isArray(condition[key])) require_utils.fail("Query condition groups require an array");
|
|
1299
1299
|
if (condition.pruneIfUndefined !== void 0 && condition.pruneIfUndefined !== "any" && condition.pruneIfUndefined !== "all") require_utils.fail("Invalid query pruneIfUndefined policy");
|
|
1300
1300
|
for (const child of condition[key]) checkCondition(child);
|
|
1301
1301
|
} else if ("exists" in condition || "notExists" in condition) {
|
|
1302
1302
|
const key = "exists" in condition ? "exists" : "notExists";
|
|
1303
|
-
|
|
1303
|
+
checkPojoKeys(condition, [key], "Query existence condition");
|
|
1304
1304
|
const query = condition[key];
|
|
1305
1305
|
if (query === void 0) return;
|
|
1306
1306
|
if (!(query instanceof SubqueryExpr) && !isReadQueryValue(query)) require_utils.fail(`Query ${key} requires a query(...) value`);
|
|
1307
1307
|
toQuery(query);
|
|
1308
1308
|
} else if (condition.kind === "raw") {
|
|
1309
|
-
|
|
1309
|
+
checkPojoKeys(condition, [
|
|
1310
1310
|
"kind",
|
|
1311
1311
|
"aliases",
|
|
1312
1312
|
"condition",
|
|
@@ -1317,7 +1317,7 @@ function checkCondition(value) {
|
|
|
1317
1317
|
], "Query raw condition");
|
|
1318
1318
|
if (typeof condition.condition !== "string" || !Array.isArray(condition.aliases) || !condition.aliases.every((alias) => typeof alias === "string") || !Array.isArray(condition.bindings) || typeof condition.pruneable !== "boolean") require_utils.fail("Malformed query raw condition");
|
|
1319
1319
|
} else if (condition.kind === "column") {
|
|
1320
|
-
|
|
1320
|
+
checkPojoKeys(condition, [
|
|
1321
1321
|
"kind",
|
|
1322
1322
|
"alias",
|
|
1323
1323
|
"column",
|
|
@@ -1329,7 +1329,7 @@ function checkCondition(value) {
|
|
|
1329
1329
|
if (typeof condition.alias !== "string" || typeof condition.column !== "string" || typeof condition.dbType !== "string" || condition.pruneable !== void 0 && typeof condition.pruneable !== "boolean") require_utils.fail("Malformed query column condition");
|
|
1330
1330
|
const filter = condition.cond;
|
|
1331
1331
|
if (!filter) require_utils.fail("Malformed query column filter");
|
|
1332
|
-
|
|
1332
|
+
checkPojoKeys(filter, ["kind", "value"], "Query column filter");
|
|
1333
1333
|
const unary = filter.kind === "is-null" || filter.kind === "not-null";
|
|
1334
1334
|
if (!unary && (![
|
|
1335
1335
|
"eq",
|
|
@@ -1360,8 +1360,18 @@ function checkCondition(value) {
|
|
|
1360
1360
|
if (unary && "value" in filter) require_utils.fail("Unary query filters do not accept values");
|
|
1361
1361
|
} else require_utils.fail("Unknown query condition");
|
|
1362
1362
|
}
|
|
1363
|
-
/**
|
|
1364
|
-
|
|
1363
|
+
/**
|
|
1364
|
+
* Accepts only own enumerable POJO fields, so nothing a caller supplied can be silently ignored: the
|
|
1365
|
+
* compilers read these POJOs back with `Object.entries`/`Object.keys`, which skip inherited,
|
|
1366
|
+
* non-enumerable, and symbol keys, so a field hidden behind one of those would never reach the SQL.
|
|
1367
|
+
* I.e. an UPDATE whose `set` carries `title` on a prototype would leave `title` unchanged and still
|
|
1368
|
+
* report success.
|
|
1369
|
+
*
|
|
1370
|
+
* Conditions, mutation clauses, and assignment POJOs all share this rule; `allowed` may include symbol
|
|
1371
|
+
* keys, i.e. a condition's predicate brand and SQL resolver. Read-query clauses instead use
|
|
1372
|
+
* `validateQueryKeys`, which walks the prototype chain and reports mutation clauses by name.
|
|
1373
|
+
*/
|
|
1374
|
+
function checkPojoKeys(value, allowed, description) {
|
|
1365
1375
|
if (Object.getPrototypeOf(value) !== Object.prototype && Object.getPrototypeOf(value) !== null) require_utils.fail(`${description} must be a plain POJO`);
|
|
1366
1376
|
for (const key of Reflect.ownKeys(value)) {
|
|
1367
1377
|
if (!allowed.includes(key)) require_utils.fail(`${description} does not support '${String(key)}'`);
|
|
@@ -1590,6 +1600,7 @@ function typedSql(strings, ...values) {
|
|
|
1590
1600
|
//#endregion
|
|
1591
1601
|
exports.Ctx = Ctx;
|
|
1592
1602
|
exports.SubqueryHandle = SubqueryHandle;
|
|
1603
|
+
exports.checkPojoKeys = checkPojoKeys;
|
|
1593
1604
|
exports.conditionToSql = conditionToSql;
|
|
1594
1605
|
exports.entityQueryBrand = entityQueryBrand;
|
|
1595
1606
|
exports.injectedConditions = injectedConditions;
|