joist-core 2.3.0-next.101 → 2.3.0-next.102

package/build/queries/sql/execute.cjs

@@ -107,8 +107,8 @@ function parseStatement(arg) {
 	} else {
 		if (statement.allowAll !== void 0 && typeof statement.allowAll !== "boolean") require_utils.fail("allowAll must be a boolean");
 		if (statement.softDeletes !== void 0 && statement.softDeletes !== "include" && statement.softDeletes !== "exclude") require_utils.fail("softDeletes must be 'include' or 'exclude'");
-		const user = mutationCondition(statement.where, ctx);
-		if (!user && statement.allowAll !== true) require_utils.fail("UPDATE and DELETE require a nonempty user where or allowAll: true");
+		const whereCondition = mutationCondition(statement.where, ctx);
+		if (Object.hasOwn(statement, "where") && !whereCondition && statement.allowAll !== true) require_utils.fail("UPDATE and DELETE require allowAll: true when a supplied where is undefined or fully pruned");
 		if (operation === "update") {
 			const entries = assignments(meta, statement.set, "update");
 			sql += " SET " + entries.map((entry) => {
@@ -120,7 +120,7 @@ function parseStatement(arg) {
 				return `${require_queries_sql_keywords.kq(field.columnName)} = ${cell.sql}`;
 			}).join(", ");
 		}
-		const conditions = [user, require_queries_sql_query.conditionToSql({ and: require_queries_sql_query.injectedConditions({
+		const conditions = [whereCondition, require_queries_sql_query.conditionToSql({ and: require_queries_sql_query.injectedConditions({
 			meta,
 			alias
 		}, statement.softDeletes ?? "exclude") }, ctx, true)].filter((condition) => condition !== void 0);

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

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

package/build/queries/sql/execute.d.cts

@@ -122,6 +122,7 @@ declare function decodeStatementResult(em: EntityHydrator, plan: Plan, result: D
 type MutationTarget<T extends Entity> = TableFor<T> & (TypeMapEntry<T, "supportsEmExecute"> extends true ? unknown : never);
 type MutationFilter = {
   readonly where?: SqlCondition | ExprLike<boolean>;
+  /** Allows a supplied where to be undefined or fully pruned; unnecessary when where is omitted. */
   readonly allowAll?: boolean;
   readonly softDeletes?: "include" | "exclude";
 };

package/build/queries/sql/execute.d.cts.map

@@ -1 +1 @@
-{"version":3,"file":"execute.d.cts","names":[],"sources":["../../../src/queries/sql/execute.ts"],"mappings":";;;;;;;;;;UA4CiB,cAAc;EAC7B;EACA,MAAM;;;KAII,qBAAqB,oBAAoB,SAAS,eAAe;YACjE;YACA;YACA;;;KAIA,aAAa,UAAU,aAChC,KAAK,kBAAkB,KAAK,WAAW,GAAG,WAE1C,KAAK,QAAQ,UAAU,IAAI,kBAAkB,OAAO,WAAW,GAAG;;KAIzD,aAAa,UAAU,aAChC,KAAK,UAAU,MAAM,WAAW,GAAG;;KAI1B,gBACV,UAAU,QACV,UAAU,gCAAgC,+BAC1C,UAAU,aAAa,MAAM,iBAAiB,UAAU,SAAS,gBAAgB;WAExE,QAAQ,eAAe;WACvB,YAAY;WACZ;WACA;WACA;WACA;WACA;WACA;;WAEA,OAAO;IACd;WAEa,QAAQ,aAAa,cAAc,aAAa;WAAe;;WAC/D,MAAM,IAAI,kBAAkB,GAAG;WAAa;;;KAIjD,gBACV,UAAU,QACV,UAAU,gCAAgC;WAEjC,QAAQ,eAAe;WACvB,KAAK,aAAa;WAClB,YAAY;WACZ;WACA;WACA;WACA;;WAEA,OAAO;IACd,iBACF;;KAGU,gBACV,UAAU,QACV,UAAU,gCAAgC;WAEjC,QAAQ,eAAe;WACvB,YAAY;WACZ;WACA;WACA;WACA;WACA;;WAEA,OAAO;IACd,iBACF;;KAGU,kBACV,UAAU,QACV,UAAU,gCAAgC,iCACxC,gBAAgB,GAAG,KAAK,gBAAgB,GAAG,KAAK,gBAAgB,GAAG;;KAG3D;WACG,QAAQ,SAAS;WAAkB;WAA6C;;WAChF,QAAQ,SAAS;WAAkB,MAAM;WAAqB;;WAC9D,QAAQ,SAAS;WAAkB;;WACnC,QAAQ,SAAS;;WACjB,YAAY;WAA4B,OAAO;IAAc;;KAGhE,YAAY,KAAK;WAAqB,kBAAkB;IAChE,UAAU,oBACR,UAAU,oBACR,SAAS,kBACI,WAAW,SAAS,KAAK,SAAS,GAAG;;KAK9C,cAAc,KAAK,oBAC3B,aAAa,kBAAiB,UAAU,UACtC,aAAa,mDACC,WAAW,IAAI,UAAU,eAAe;WACzC,YAAY;aAAqB,kBAAkB;MACxD,eAAe,GAAG,OAAO,YAAY;MAGpC;WAAqB,cAAc;;WAAiB,QAAQ,YAAY,GAAG;cAC3E;WAAqB,YAAY,UAAU;;WAC7B,MAAM,kBAAkB,GAAG;cAEzC;WAAqB,WAAW;;WAClB,KAAK,iBAAiB,GAAG,aAAa,IAAI,OAAO,YAAY;cAE3E;WAAqB;;;iBAOpB,WAAW;;;;;;iBAcX,eAAe,eAAe;;iBAwK9B,sBACd,IAAI,gBACJ,MAAM,MACN,QAAQ,oBACP;KAME,eAAe,UAAU,UAAU,SAAS,MAC9C,aAAa;KACX;WACM,QAAQ,eAAe;WACvB;WACA;;KAEN,wBAAwB,QAC3B;;KAwBG,UAAU,QACZ,WAAW,UAAU,KAAK,UAAU,GAAG;EAAa;IAAoC,mBACnF,UAAU;;KAEb,kBAAkB,QACpB,WAAW,UAAU,KAAK,UAAU,GAAG;EAAa;IAAuB,mBACtE,UAAU;;KAEb,UAAU,QACZ,WAAW,UAAU,KAAK,UAAU,GAAG;EAAa;IAAiB,mBAChE,UAAU;;KAEb,YAAY,GAAG,gBAAgB,UAAU,MAAM,iBAChD,KAAK,KACL,UAAU,GAAG;EAAa,cAAc;IACtC,KAAK,KACL,UAAU,GAAG;EAAa,YAAY;IACpC;KAEH,SAAS,GAAG,gBAAgB,UAAU,MACvC,YAAY,GAAG,MACd,UAAU,GAAG;EAAa;;KAC1B,WAAW,GAAG,gBAAgB,UAAU,MACzC,SAAS,GAAG,KACZ,SAAS,SAAS,GAAG,OACpB,yBAAyB,UAAU,GAAG;EAAa,cAAc;IAAM;KACvE,gBAAgB,QAAQ,KAAK,kBAAkB,KAAK,SAAS,GAAG,WAClE,KAAK,QAAQ,UAAU,IAAI,kBAAkB,OAAO,SAAS,GAAG;KAE9D,iBAAiB,QAAQ,KAAK,kBAAkB,KAAK,SAAS,SAAS,GAAG,YAC5E,KAAK,QAAQ,UAAU,IAAI,kBAAkB,OAAO,SAAS,SAAS,GAAG;KAEvE,UAAU,KAAK,0BAA0B;;KAEzC,WAAW,GAAG,UAAU,eAAe,qBAAqB,gBAAgB,IAAI,EAAE;KAClF,WAAW,KAAK;YAAsB,YAAY,yBAAyB;IAAS;KACpF,eAAe,GAAG,wBACN,WAAW,gBAErB,QAAQ,WAAW,IAAI;KAGzB,cAAc,KAAK,UAAU,oBAAoB,IAAI,8BAA8B,QAAQ;KAC3F,eAAe,KAAK,0BAA0B;KAC9C,eAAe,GAAG,sBAAsB,eAAe,aAAa,eAAe,cAAc,IAAI;KACrG,iBAAiB,GAAG,SAAS,UAAU,QAAQ,UAAU,UAAU,4BACpE,aACG,KAAK,UAAU,MAAM,eAAe,WAAW,GAAG,IAAI;KAGxD,YAAY,UAAU,QAAQ,OAC7B,QAAQ,2DAEG,iBAAiB,QAAQ,gCAAgC,aAAa,kBACjF,QAAQ,kDAEN,iBAAiB,QAAQ,wBAAwB,aAAa;KACjE,iBAAiB,KAAK;WAAqB,cAAc;WAAY,YAAY;IAClF,WAAW,GAAG,wBAAwB,IAAI,QAAQ,QAAQ,aAAa,2BAEpE,WAAW,IAAI,UAAU,eACtB,EAAE,mCACG,WAAW,EAAE,KAAK,iBAAiB,EAAE,GAAG;KAIlD,kBAAkB,GAAG,UAAU,cAAc,mBAAmB,gFAEjE,aAAa,WAAW,gBAAgB,KACtC,QAAQ,UAAU,aAAa,KAAK,UAAU,oBAC5C,eAAe,KACb,iBAAiB,MAChB,UAAU,kBAAkB,gBAAgB,cAAc;KAGhE,aAAa,KAAK;WACR,QAAQ,eAAe;;WACvB,QAAQ,eAAe;;WACvB,QAAQ,eAAe;IAClC;KAEC,YAAY,KAAK;WACP,cAAc;;WACd,cAAc;;WACd,cAAc;IACzB;KAEC,eAAe,6BAGf;WAAqB;gBACN;WAAqB;iEACO;WAAqB"}
+{"version":3,"file":"execute.d.cts","names":[],"sources":["../../../src/queries/sql/execute.ts"],"mappings":";;;;;;;;;;UA4CiB,cAAc;EAC7B;EACA,MAAM;;;KAII,qBAAqB,oBAAoB,SAAS,eAAe;YACjE;YACA;YACA;;;KAIA,aAAa,UAAU,aAChC,KAAK,kBAAkB,KAAK,WAAW,GAAG,WAE1C,KAAK,QAAQ,UAAU,IAAI,kBAAkB,OAAO,WAAW,GAAG;;KAIzD,aAAa,UAAU,aAChC,KAAK,UAAU,MAAM,WAAW,GAAG;;KAI1B,gBACV,UAAU,QACV,UAAU,gCAAgC,+BAC1C,UAAU,aAAa,MAAM,iBAAiB,UAAU,SAAS,gBAAgB;WAExE,QAAQ,eAAe;WACvB,YAAY;WACZ;WACA;WACA;WACA;WACA;WACA;;WAEA,OAAO;IACd;WAEa,QAAQ,aAAa,cAAc,aAAa;WAAe;;WAC/D,MAAM,IAAI,kBAAkB,GAAG;WAAa;;;KAIjD,gBACV,UAAU,QACV,UAAU,gCAAgC;WAEjC,QAAQ,eAAe;WACvB,KAAK,aAAa;WAClB,YAAY;WACZ;WACA;WACA;WACA;;WAEA,OAAO;IACd,iBACF;;KAGU,gBACV,UAAU,QACV,UAAU,gCAAgC;WAEjC,QAAQ,eAAe;WACvB,YAAY;WACZ;WACA;WACA;WACA;WACA;;WAEA,OAAO;IACd,iBACF;;KAGU,kBACV,UAAU,QACV,UAAU,gCAAgC,iCACxC,gBAAgB,GAAG,KAAK,gBAAgB,GAAG,KAAK,gBAAgB,GAAG;;KAG3D;WACG,QAAQ,SAAS;WAAkB;WAA6C;;WAChF,QAAQ,SAAS;WAAkB,MAAM;WAAqB;;WAC9D,QAAQ,SAAS;WAAkB;;WACnC,QAAQ,SAAS;;WACjB,YAAY;WAA4B,OAAO;IAAc;;KAGhE,YAAY,KAAK;WAAqB,kBAAkB;IAChE,UAAU,oBACR,UAAU,oBACR,SAAS,kBACI,WAAW,SAAS,KAAK,SAAS,GAAG;;KAK9C,cAAc,KAAK,oBAC3B,aAAa,kBAAiB,UAAU,UACtC,aAAa,mDACC,WAAW,IAAI,UAAU,eAAe;WACzC,YAAY;aAAqB,kBAAkB;MACxD,eAAe,GAAG,OAAO,YAAY;MAGpC;WAAqB,cAAc;;WAAiB,QAAQ,YAAY,GAAG;cAC3E;WAAqB,YAAY,UAAU;;WAC7B,MAAM,kBAAkB,GAAG;cAEzC;WAAqB,WAAW;;WAClB,KAAK,iBAAiB,GAAG,aAAa,IAAI,OAAO,YAAY;cAE3E;WAAqB;;;iBAOpB,WAAW;;;;;;iBAcX,eAAe,eAAe;;iBAyK9B,sBACd,IAAI,gBACJ,MAAM,MACN,QAAQ,oBACP;KAME,eAAe,UAAU,UAAU,SAAS,MAC9C,aAAa;KACX;WACM,QAAQ,eAAe;;WAEvB;WACA;;KAEN,wBAAwB,QAC3B;;KAwBG,UAAU,QACZ,WAAW,UAAU,KAAK,UAAU,GAAG;EAAa;IAAoC,mBACnF,UAAU;;KAEb,kBAAkB,QACpB,WAAW,UAAU,KAAK,UAAU,GAAG;EAAa;IAAuB,mBACtE,UAAU;;KAEb,UAAU,QACZ,WAAW,UAAU,KAAK,UAAU,GAAG;EAAa;IAAiB,mBAChE,UAAU;;KAEb,YAAY,GAAG,gBAAgB,UAAU,MAAM,iBAChD,KAAK,KACL,UAAU,GAAG;EAAa,cAAc;IACtC,KAAK,KACL,UAAU,GAAG;EAAa,YAAY;IACpC;KAEH,SAAS,GAAG,gBAAgB,UAAU,MACvC,YAAY,GAAG,MACd,UAAU,GAAG;EAAa;;KAC1B,WAAW,GAAG,gBAAgB,UAAU,MACzC,SAAS,GAAG,KACZ,SAAS,SAAS,GAAG,OACpB,yBAAyB,UAAU,GAAG;EAAa,cAAc;IAAM;KACvE,gBAAgB,QAAQ,KAAK,kBAAkB,KAAK,SAAS,GAAG,WAClE,KAAK,QAAQ,UAAU,IAAI,kBAAkB,OAAO,SAAS,GAAG;KAE9D,iBAAiB,QAAQ,KAAK,kBAAkB,KAAK,SAAS,SAAS,GAAG,YAC5E,KAAK,QAAQ,UAAU,IAAI,kBAAkB,OAAO,SAAS,SAAS,GAAG;KAEvE,UAAU,KAAK,0BAA0B;;KAEzC,WAAW,GAAG,UAAU,eAAe,qBAAqB,gBAAgB,IAAI,EAAE;KAClF,WAAW,KAAK;YAAsB,YAAY,yBAAyB;IAAS;KACpF,eAAe,GAAG,wBACN,WAAW,gBAErB,QAAQ,WAAW,IAAI;KAGzB,cAAc,KAAK,UAAU,oBAAoB,IAAI,8BAA8B,QAAQ;KAC3F,eAAe,KAAK,0BAA0B;KAC9C,eAAe,GAAG,sBAAsB,eAAe,aAAa,eAAe,cAAc,IAAI;KACrG,iBAAiB,GAAG,SAAS,UAAU,QAAQ,UAAU,UAAU,4BACpE,aACG,KAAK,UAAU,MAAM,eAAe,WAAW,GAAG,IAAI;KAGxD,YAAY,UAAU,QAAQ,OAC7B,QAAQ,2DAEG,iBAAiB,QAAQ,gCAAgC,aAAa,kBACjF,QAAQ,kDAEN,iBAAiB,QAAQ,wBAAwB,aAAa;KACjE,iBAAiB,KAAK;WAAqB,cAAc;WAAY,YAAY;IAClF,WAAW,GAAG,wBAAwB,IAAI,QAAQ,QAAQ,aAAa,2BAEpE,WAAW,IAAI,UAAU,eACtB,EAAE,mCACG,WAAW,EAAE,KAAK,iBAAiB,EAAE,GAAG;KAIlD,kBAAkB,GAAG,UAAU,cAAc,mBAAmB,gFAEjE,aAAa,WAAW,gBAAgB,KACtC,QAAQ,UAAU,aAAa,KAAK,UAAU,oBAC5C,eAAe,KACb,iBAAiB,MAChB,UAAU,kBAAkB,gBAAgB,cAAc;KAGhE,aAAa,KAAK;WACR,QAAQ,eAAe;;WACvB,QAAQ,eAAe;;WACvB,QAAQ,eAAe;IAClC;KAEC,YAAY,KAAK;WACP,cAAc;;WACd,cAAc;;WACd,cAAc;IACzB;KAEC,eAAe,6BAGf;WAAqB;gBACN;WAAqB;iEACO;WAAqB"}

package/build/queries/sql/execute.d.mts

@@ -122,6 +122,7 @@ declare function decodeStatementResult(em: EntityHydrator, plan: Plan, result: D
 type MutationTarget<T extends Entity> = TableFor<T> & (TypeMapEntry<T, "supportsEmExecute"> extends true ? unknown : never);
 type MutationFilter = {
   readonly where?: SqlCondition | ExprLike<boolean>;
+  /** Allows a supplied where to be undefined or fully pruned; unnecessary when where is omitted. */
   readonly allowAll?: boolean;
   readonly softDeletes?: "include" | "exclude";
 };

package/build/queries/sql/execute.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"execute.d.mts","names":[],"sources":["../../../src/queries/sql/execute.ts"],"mappings":";;;;;;;;;;UA4CiB,cAAc;EAC7B;EACA,MAAM;;;KAII,qBAAqB,oBAAoB,SAAS,eAAe;YACjE;YACA;YACA;;;KAIA,aAAa,UAAU,aAChC,KAAK,kBAAkB,KAAK,WAAW,GAAG,WAE1C,KAAK,QAAQ,UAAU,IAAI,kBAAkB,OAAO,WAAW,GAAG;;KAIzD,aAAa,UAAU,aAChC,KAAK,UAAU,MAAM,WAAW,GAAG;;KAI1B,gBACV,UAAU,QACV,UAAU,gCAAgC,+BAC1C,UAAU,aAAa,MAAM,iBAAiB,UAAU,SAAS,gBAAgB;WAExE,QAAQ,eAAe;WACvB,YAAY;WACZ;WACA;WACA;WACA;WACA;WACA;;WAEA,OAAO;IACd;WAEa,QAAQ,aAAa,cAAc,aAAa;WAAe;;WAC/D,MAAM,IAAI,kBAAkB,GAAG;WAAa;;;KAIjD,gBACV,UAAU,QACV,UAAU,gCAAgC;WAEjC,QAAQ,eAAe;WACvB,KAAK,aAAa;WAClB,YAAY;WACZ;WACA;WACA;WACA;;WAEA,OAAO;IACd,iBACF;;KAGU,gBACV,UAAU,QACV,UAAU,gCAAgC;WAEjC,QAAQ,eAAe;WACvB,YAAY;WACZ;WACA;WACA;WACA;WACA;;WAEA,OAAO;IACd,iBACF;;KAGU,kBACV,UAAU,QACV,UAAU,gCAAgC,iCACxC,gBAAgB,GAAG,KAAK,gBAAgB,GAAG,KAAK,gBAAgB,GAAG;;KAG3D;WACG,QAAQ,SAAS;WAAkB;WAA6C;;WAChF,QAAQ,SAAS;WAAkB,MAAM;WAAqB;;WAC9D,QAAQ,SAAS;WAAkB;;WACnC,QAAQ,SAAS;;WACjB,YAAY;WAA4B,OAAO;IAAc;;KAGhE,YAAY,KAAK;WAAqB,kBAAkB;IAChE,UAAU,oBACR,UAAU,oBACR,SAAS,kBACI,WAAW,SAAS,KAAK,SAAS,GAAG;;KAK9C,cAAc,KAAK,oBAC3B,aAAa,kBAAiB,UAAU,UACtC,aAAa,mDACC,WAAW,IAAI,UAAU,eAAe;WACzC,YAAY;aAAqB,kBAAkB;MACxD,eAAe,GAAG,OAAO,YAAY;MAGpC;WAAqB,cAAc;;WAAiB,QAAQ,YAAY,GAAG;cAC3E;WAAqB,YAAY,UAAU;;WAC7B,MAAM,kBAAkB,GAAG;cAEzC;WAAqB,WAAW;;WAClB,KAAK,iBAAiB,GAAG,aAAa,IAAI,OAAO,YAAY;cAE3E;WAAqB;;;iBAOpB,WAAW;;;;;;iBAcX,eAAe,eAAe;;iBAwK9B,sBACd,IAAI,gBACJ,MAAM,MACN,QAAQ,oBACP;KAME,eAAe,UAAU,UAAU,SAAS,MAC9C,aAAa;KACX;WACM,QAAQ,eAAe;WACvB;WACA;;KAEN,wBAAwB,QAC3B;;KAwBG,UAAU,QACZ,WAAW,UAAU,KAAK,UAAU,GAAG;EAAa;IAAoC,mBACnF,UAAU;;KAEb,kBAAkB,QACpB,WAAW,UAAU,KAAK,UAAU,GAAG;EAAa;IAAuB,mBACtE,UAAU;;KAEb,UAAU,QACZ,WAAW,UAAU,KAAK,UAAU,GAAG;EAAa;IAAiB,mBAChE,UAAU;;KAEb,YAAY,GAAG,gBAAgB,UAAU,MAAM,iBAChD,KAAK,KACL,UAAU,GAAG;EAAa,cAAc;IACtC,KAAK,KACL,UAAU,GAAG;EAAa,YAAY;IACpC;KAEH,SAAS,GAAG,gBAAgB,UAAU,MACvC,YAAY,GAAG,MACd,UAAU,GAAG;EAAa;;KAC1B,WAAW,GAAG,gBAAgB,UAAU,MACzC,SAAS,GAAG,KACZ,SAAS,SAAS,GAAG,OACpB,yBAAyB,UAAU,GAAG;EAAa,cAAc;IAAM;KACvE,gBAAgB,QAAQ,KAAK,kBAAkB,KAAK,SAAS,GAAG,WAClE,KAAK,QAAQ,UAAU,IAAI,kBAAkB,OAAO,SAAS,GAAG;KAE9D,iBAAiB,QAAQ,KAAK,kBAAkB,KAAK,SAAS,SAAS,GAAG,YAC5E,KAAK,QAAQ,UAAU,IAAI,kBAAkB,OAAO,SAAS,SAAS,GAAG;KAEvE,UAAU,KAAK,0BAA0B;;KAEzC,WAAW,GAAG,UAAU,eAAe,qBAAqB,gBAAgB,IAAI,EAAE;KAClF,WAAW,KAAK;YAAsB,YAAY,yBAAyB;IAAS;KACpF,eAAe,GAAG,wBACN,WAAW,gBAErB,QAAQ,WAAW,IAAI;KAGzB,cAAc,KAAK,UAAU,oBAAoB,IAAI,8BAA8B,QAAQ;KAC3F,eAAe,KAAK,0BAA0B;KAC9C,eAAe,GAAG,sBAAsB,eAAe,aAAa,eAAe,cAAc,IAAI;KACrG,iBAAiB,GAAG,SAAS,UAAU,QAAQ,UAAU,UAAU,4BACpE,aACG,KAAK,UAAU,MAAM,eAAe,WAAW,GAAG,IAAI;KAGxD,YAAY,UAAU,QAAQ,OAC7B,QAAQ,2DAEG,iBAAiB,QAAQ,gCAAgC,aAAa,kBACjF,QAAQ,kDAEN,iBAAiB,QAAQ,wBAAwB,aAAa;KACjE,iBAAiB,KAAK;WAAqB,cAAc;WAAY,YAAY;IAClF,WAAW,GAAG,wBAAwB,IAAI,QAAQ,QAAQ,aAAa,2BAEpE,WAAW,IAAI,UAAU,eACtB,EAAE,mCACG,WAAW,EAAE,KAAK,iBAAiB,EAAE,GAAG;KAIlD,kBAAkB,GAAG,UAAU,cAAc,mBAAmB,gFAEjE,aAAa,WAAW,gBAAgB,KACtC,QAAQ,UAAU,aAAa,KAAK,UAAU,oBAC5C,eAAe,KACb,iBAAiB,MAChB,UAAU,kBAAkB,gBAAgB,cAAc;KAGhE,aAAa,KAAK;WACR,QAAQ,eAAe;;WACvB,QAAQ,eAAe;;WACvB,QAAQ,eAAe;IAClC;KAEC,YAAY,KAAK;WACP,cAAc;;WACd,cAAc;;WACd,cAAc;IACzB;KAEC,eAAe,6BAGf;WAAqB;gBACN;WAAqB;iEACO;WAAqB"}
+{"version":3,"file":"execute.d.mts","names":[],"sources":["../../../src/queries/sql/execute.ts"],"mappings":";;;;;;;;;;UA4CiB,cAAc;EAC7B;EACA,MAAM;;;KAII,qBAAqB,oBAAoB,SAAS,eAAe;YACjE;YACA;YACA;;;KAIA,aAAa,UAAU,aAChC,KAAK,kBAAkB,KAAK,WAAW,GAAG,WAE1C,KAAK,QAAQ,UAAU,IAAI,kBAAkB,OAAO,WAAW,GAAG;;KAIzD,aAAa,UAAU,aAChC,KAAK,UAAU,MAAM,WAAW,GAAG;;KAI1B,gBACV,UAAU,QACV,UAAU,gCAAgC,+BAC1C,UAAU,aAAa,MAAM,iBAAiB,UAAU,SAAS,gBAAgB;WAExE,QAAQ,eAAe;WACvB,YAAY;WACZ;WACA;WACA;WACA;WACA;WACA;;WAEA,OAAO;IACd;WAEa,QAAQ,aAAa,cAAc,aAAa;WAAe;;WAC/D,MAAM,IAAI,kBAAkB,GAAG;WAAa;;;KAIjD,gBACV,UAAU,QACV,UAAU,gCAAgC;WAEjC,QAAQ,eAAe;WACvB,KAAK,aAAa;WAClB,YAAY;WACZ;WACA;WACA;WACA;;WAEA,OAAO;IACd,iBACF;;KAGU,gBACV,UAAU,QACV,UAAU,gCAAgC;WAEjC,QAAQ,eAAe;WACvB,YAAY;WACZ;WACA;WACA;WACA;WACA;;WAEA,OAAO;IACd,iBACF;;KAGU,kBACV,UAAU,QACV,UAAU,gCAAgC,iCACxC,gBAAgB,GAAG,KAAK,gBAAgB,GAAG,KAAK,gBAAgB,GAAG;;KAG3D;WACG,QAAQ,SAAS;WAAkB;WAA6C;;WAChF,QAAQ,SAAS;WAAkB,MAAM;WAAqB;;WAC9D,QAAQ,SAAS;WAAkB;;WACnC,QAAQ,SAAS;;WACjB,YAAY;WAA4B,OAAO;IAAc;;KAGhE,YAAY,KAAK;WAAqB,kBAAkB;IAChE,UAAU,oBACR,UAAU,oBACR,SAAS,kBACI,WAAW,SAAS,KAAK,SAAS,GAAG;;KAK9C,cAAc,KAAK,oBAC3B,aAAa,kBAAiB,UAAU,UACtC,aAAa,mDACC,WAAW,IAAI,UAAU,eAAe;WACzC,YAAY;aAAqB,kBAAkB;MACxD,eAAe,GAAG,OAAO,YAAY;MAGpC;WAAqB,cAAc;;WAAiB,QAAQ,YAAY,GAAG;cAC3E;WAAqB,YAAY,UAAU;;WAC7B,MAAM,kBAAkB,GAAG;cAEzC;WAAqB,WAAW;;WAClB,KAAK,iBAAiB,GAAG,aAAa,IAAI,OAAO,YAAY;cAE3E;WAAqB;;;iBAOpB,WAAW;;;;;;iBAcX,eAAe,eAAe;;iBAyK9B,sBACd,IAAI,gBACJ,MAAM,MACN,QAAQ,oBACP;KAME,eAAe,UAAU,UAAU,SAAS,MAC9C,aAAa;KACX;WACM,QAAQ,eAAe;;WAEvB;WACA;;KAEN,wBAAwB,QAC3B;;KAwBG,UAAU,QACZ,WAAW,UAAU,KAAK,UAAU,GAAG;EAAa;IAAoC,mBACnF,UAAU;;KAEb,kBAAkB,QACpB,WAAW,UAAU,KAAK,UAAU,GAAG;EAAa;IAAuB,mBACtE,UAAU;;KAEb,UAAU,QACZ,WAAW,UAAU,KAAK,UAAU,GAAG;EAAa;IAAiB,mBAChE,UAAU;;KAEb,YAAY,GAAG,gBAAgB,UAAU,MAAM,iBAChD,KAAK,KACL,UAAU,GAAG;EAAa,cAAc;IACtC,KAAK,KACL,UAAU,GAAG;EAAa,YAAY;IACpC;KAEH,SAAS,GAAG,gBAAgB,UAAU,MACvC,YAAY,GAAG,MACd,UAAU,GAAG;EAAa;;KAC1B,WAAW,GAAG,gBAAgB,UAAU,MACzC,SAAS,GAAG,KACZ,SAAS,SAAS,GAAG,OACpB,yBAAyB,UAAU,GAAG;EAAa,cAAc;IAAM;KACvE,gBAAgB,QAAQ,KAAK,kBAAkB,KAAK,SAAS,GAAG,WAClE,KAAK,QAAQ,UAAU,IAAI,kBAAkB,OAAO,SAAS,GAAG;KAE9D,iBAAiB,QAAQ,KAAK,kBAAkB,KAAK,SAAS,SAAS,GAAG,YAC5E,KAAK,QAAQ,UAAU,IAAI,kBAAkB,OAAO,SAAS,SAAS,GAAG;KAEvE,UAAU,KAAK,0BAA0B;;KAEzC,WAAW,GAAG,UAAU,eAAe,qBAAqB,gBAAgB,IAAI,EAAE;KAClF,WAAW,KAAK;YAAsB,YAAY,yBAAyB;IAAS;KACpF,eAAe,GAAG,wBACN,WAAW,gBAErB,QAAQ,WAAW,IAAI;KAGzB,cAAc,KAAK,UAAU,oBAAoB,IAAI,8BAA8B,QAAQ;KAC3F,eAAe,KAAK,0BAA0B;KAC9C,eAAe,GAAG,sBAAsB,eAAe,aAAa,eAAe,cAAc,IAAI;KACrG,iBAAiB,GAAG,SAAS,UAAU,QAAQ,UAAU,UAAU,4BACpE,aACG,KAAK,UAAU,MAAM,eAAe,WAAW,GAAG,IAAI;KAGxD,YAAY,UAAU,QAAQ,OAC7B,QAAQ,2DAEG,iBAAiB,QAAQ,gCAAgC,aAAa,kBACjF,QAAQ,kDAEN,iBAAiB,QAAQ,wBAAwB,aAAa;KACjE,iBAAiB,KAAK;WAAqB,cAAc;WAAY,YAAY;IAClF,WAAW,GAAG,wBAAwB,IAAI,QAAQ,QAAQ,aAAa,2BAEpE,WAAW,IAAI,UAAU,eACtB,EAAE,mCACG,WAAW,EAAE,KAAK,iBAAiB,EAAE,GAAG;KAIlD,kBAAkB,GAAG,UAAU,cAAc,mBAAmB,gFAEjE,aAAa,WAAW,gBAAgB,KACtC,QAAQ,UAAU,aAAa,KAAK,UAAU,oBAC5C,eAAe,KACb,iBAAiB,MAChB,UAAU,kBAAkB,gBAAgB,cAAc;KAGhE,aAAa,KAAK;WACR,QAAQ,eAAe;;WACvB,QAAQ,eAAe;;WACvB,QAAQ,eAAe;IAClC;KAEC,YAAY,KAAK;WACP,cAAc;;WACd,cAAc;;WACd,cAAc;IACzB;KAEC,eAAe,6BAGf;WAAqB;gBACN;WAAqB;iEACO;WAAqB"}

package/build/queries/sql/execute.js

@@ -106,8 +106,8 @@ function parseStatement(arg) {
 	} else {
 		if (statement.allowAll !== void 0 && typeof statement.allowAll !== "boolean") fail("allowAll must be a boolean");
 		if (statement.softDeletes !== void 0 && statement.softDeletes !== "include" && statement.softDeletes !== "exclude") fail("softDeletes must be 'include' or 'exclude'");
-		const user = mutationCondition(statement.where, ctx);
-		if (!user && statement.allowAll !== true) fail("UPDATE and DELETE require a nonempty user where or allowAll: true");
+		const whereCondition = mutationCondition(statement.where, ctx);
+		if (Object.hasOwn(statement, "where") && !whereCondition && statement.allowAll !== true) fail("UPDATE and DELETE require allowAll: true when a supplied where is undefined or fully pruned");
 		if (operation === "update") {
 			const entries = assignments(meta, statement.set, "update");
 			sql += " SET " + entries.map((entry) => {
@@ -119,7 +119,7 @@ function parseStatement(arg) {
 				return `${kq(field.columnName)} = ${cell.sql}`;
 			}).join(", ");
 		}
-		const conditions = [user, conditionToSql({ and: injectedConditions({
+		const conditions = [whereCondition, conditionToSql({ and: injectedConditions({
 			meta,
 			alias
 		}, statement.softDeletes ?? "exclude") }, ctx, true)].filter((condition) => condition !== void 0);

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

@@ -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 { 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 { type TableFor, getTableMgmt, isTable, tableMgmt } from \"src/queries/sql/Tables.ts\";\nimport type { Column } from \"src/serde/columns.ts\";\nimport type { ColumnsOf, TypeMapEntry } from \"src/typeMap.ts\";\nimport { fail } from \"src/utils.ts\";\n\n/** The native command count and decoded rows from one immediate SQL statement. */\nexport interface ExecuteResult<R> {\n  rowCount: number;\n  rows: R[];\n}\n\n/** A mutation's RETURNING projection: one SQL expression or a named object of expressions. */\nexport type MutationReturning = (ExprLike<unknown> | Readonly<Record<string, ExprLike<unknown>>>) & {\n  readonly [tableMgmt]?: never;\n  readonly [subqueryBrand]?: never;\n  readonly [entityQueryBrand]?: never;\n};\n\n/** SQL INSERT inputs, based on physical storage rather than entity creation options. */\nexport type InsertValues<T extends Entity> = {\n  [K in RequiredInsertKey<T>]: Assignment<T, K>;\n} & {\n  [K in Exclude<InsertKey<T>, RequiredInsertKey<T>>]?: Assignment<T, K> | undefined;\n};\n\n/** SQL UPDATE inputs include persisted derived columns, but never primary keys. */\nexport type UpdateValues<T extends Entity> = {\n  [K in UpdateKey<T>]?: Assignment<T, K> | undefined;\n};\n\n/** A reusable INSERT POJO; use a concrete Q for annotated INSERT SELECT source checking. */\nexport type InsertStatement<\n  T extends Entity,\n  R extends MutationReturning | undefined = MutationReturning | undefined,\n  Q extends SetOperand = Query<InsertProjection<T>, []> | Subquery<InsertSourceRow<T>, string>,\n> = {\n  readonly insert: MutationTarget<T>;\n  readonly returning?: R;\n  readonly update?: never;\n  readonly delete?: never;\n  readonly set?: never;\n  readonly where?: never;\n  readonly allowAll?: never;\n  readonly softDeletes?: never;\n  /** CTEs to add to a `WITH` before the INSERT; see `Clauses.with`. */\n  readonly with?: WithInput;\n} & NoMutationReadClauses &\n  (\n    | { readonly values: InsertValues<T> | readonly InsertValues<T>[]; readonly from?: never }\n    | { readonly from: Q & CheckInsertSource<T, Q>; readonly values?: never }\n  );\n\n/** A reusable guarded UPDATE POJO. Undefined assignments leave existing columns unchanged. */\nexport type UpdateStatement<\n  T extends Entity,\n  R extends MutationReturning | undefined = MutationReturning | undefined,\n> = {\n  readonly update: MutationTarget<T>;\n  readonly set: UpdateValues<T>;\n  readonly returning?: R;\n  readonly insert?: never;\n  readonly delete?: never;\n  readonly values?: never;\n  readonly from?: never;\n  /** CTEs to add to a `WITH` before the UPDATE; see `Clauses.with`. */\n  readonly with?: WithInput;\n} & MutationFilter &\n  NoMutationReadClauses;\n\n/** A reusable guarded physical DELETE POJO, not an ORM soft delete. */\nexport type DeleteStatement<\n  T extends Entity,\n  R extends MutationReturning | undefined = MutationReturning | undefined,\n> = {\n  readonly delete: MutationTarget<T>;\n  readonly returning?: R;\n  readonly insert?: never;\n  readonly update?: never;\n  readonly values?: never;\n  readonly from?: never;\n  readonly set?: never;\n  /** CTEs to add to a `WITH` before the DELETE; see `Clauses.with`. */\n  readonly with?: WithInput;\n} & MutationFilter &\n  NoMutationReadClauses;\n\n/** Public statement annotations retain the target's physical field policy. */\nexport type MutationStatement<\n  T extends Entity,\n  R extends MutationReturning | undefined = MutationReturning | undefined,\n> = InsertStatement<T, R> | UpdateStatement<T, R> | DeleteStatement<T, R>;\n\n/** Inference starts with the literal POJO; CheckMutation checks its target and every supplied key. */\nexport type MutationInput = (\n  | { readonly insert: TableFor<Entity>; readonly values: object | readonly object[]; readonly from?: never }\n  | { readonly insert: TableFor<Entity>; readonly from: SetOperand; readonly values?: never }\n  | { readonly update: TableFor<Entity>; readonly set: object }\n  | { readonly delete: TableFor<Entity> }\n) & { readonly returning?: MutationReturning; readonly with?: WithInput } & MutationFilter;\n\n/** Without RETURNING the row type is never; scalar expressions produce scalar rows. */\nexport type MutationRow<M> = M extends { readonly returning?: infer R }\n  ? R extends MutationReturning\n    ? R extends ExprLike<unknown>\n      ? QueryRow<R>\n      : { -readonly [K in keyof QueryRow<R>]: QueryRow<R>[K] }\n    : never\n  : never;\n\n/** Checks nonliteral statements as well as fresh literals without widening their inferred result. */\nexport type CheckMutation<M> = M extends unknown\n  ? TargetEntity<M> extends infer T extends Entity\n    ? TypeMapEntry<T, \"supportsEmExecute\"> extends true\n      ? { readonly [K in keyof M]: K extends MutationClause<M> ? unknown : never } & {\n          readonly returning?: M extends { readonly returning?: infer R }\n            ? CheckReturning<R, NameOf<TargetTable<M>>>\n            : never;\n        } & (\n            | (M extends { readonly values: infer V } ? { readonly values: CheckValues<T, V> } : never)\n            | (M extends { readonly from: infer Q extends SetOperand }\n                ? { readonly from: CheckInsertSource<T, Q> }\n                : never)\n            | (M extends { readonly set: infer V }\n                ? { readonly set: CheckAssignments<V, UpdateValues<T>, NameOf<TargetTable<M>>> }\n                : never)\n            | (M extends { readonly delete: unknown } ? unknown : never)\n          )\n      : \"SQL mutations require a supported non-inherited target and regenerated metadata\"\n    : never\n  : never;\n\n/** Classifies mutation roots before EntityManager applies write permissions, including malformed roots. */\nexport function isMutation(arg: unknown): boolean {\n  return (\n    typeof arg === \"object\" &&\n    arg !== null &&\n    !isReadQueryValue(arg) &&\n    [\"insert\", \"update\", \"delete\"].some((key) => key in arg)\n  );\n}\n\n/**\n * Compiles one immediate statement using the read compiler's scopes, projections, and codecs.\n * INSERT SELECT keeps source rows in PostgreSQL; only RETURNING rows pass through JS decoders.\n * An undefined plan represents a validated standalone empty VALUES array, not DEFAULT VALUES.\n */\nexport function parseStatement(arg: unknown): Plan | undefined {\n  if (!isMutation(arg)) return parseUserQuery(arg);\n  const statement = arg as Record<string, unknown>;\n  const roots = [\"insert\", \"update\", \"delete\"].filter((key) => key in statement);\n  if (roots.length !== 1) fail(\"A mutation requires exactly one insert, update, or delete root\");\n  const operation = roots[0];\n  const allowed =\n    operation === \"insert\"\n      ? [\"insert\", \"values\", \"from\", \"returning\", \"with\"]\n      : [\n          operation,\n          \"where\",\n          \"allowAll\",\n          \"softDeletes\",\n          \"returning\",\n          \"with\",\n          ...(operation === \"update\" ? [\"set\"] : []),\n        ];\n  checkPojo(statement, allowed, `SQL ${operation}`);\n  const target = statement[operation];\n  if (!isTable(target)) fail(\"A mutation target must be an entity table\");\n  const mgmt = getTableMgmt(target);\n  const meta = mgmt.meta;\n  if (meta.inheritanceType || meta.baseType || meta.baseTypes.length || meta.subTypes.length) {\n    fail(\"SQL mutations do not support CTI/STI targets or inherited table families\");\n  }\n  if (meta.supportsEmExecute !== true)\n    fail(`SQL mutations require supported physical metadata for ${meta.type}; run codegen`);\n  const fields = Object.entries(meta.columns);\n  for (const [, field] of fields) {\n    requireColumnMetadata(meta, field);\n  }\n  const assigner = new AliasAssigner();\n  // A CTE is in scope for the whole statement, so its scope is the parent of every other one here. It\n  // deliberately holds no target alias, which is what lets INSERT VALUES cells and the INSERT SELECT\n  // source read the CTEs without also seeing the row being written.\n  const withCtx = new Ctx(assigner, undefined);\n  const ctes = registerCtes(statement, withCtx, assigner);\n  // Aliases the rest of the statement reads, so an unread CTE prunes like it does on a read query.\n  const refs: string[] = [];\n  const ctx = new Ctx(assigner, withCtx);\n  const alias = assigner.getAlias(meta.tableName);\n  ctx.register(mgmt, alias);\n  const returning = statement.returning === undefined ? undefined : projectionToSql(statement.returning, ctx);\n  if (returning) for (const select of returning.selects) refs.push(...select.refs);\n  let sql = `${operation === \"delete\" ? \"DELETE FROM\" : operation.toUpperCase() + (operation === \"insert\" ? \" INTO\" : \"\")} ${kq(meta.tableName)} AS ${kq(alias)}`;\n  const bindings: unknown[] = [];\n  if (operation === \"insert\") {\n    if (\"values\" in statement === \"from\" in statement) fail(\"INSERT requires exactly one of values or from\");\n    const required = fields.filter(([, column]) => column.insert === \"required\");\n    if (\"values\" in statement) {\n      const rows = Array.isArray(statement.values) ? statement.values : [statement.values];\n      // A VALUES cell *is* the new row, so there is no existing row for it to read: this scope skips\n      // the `ctx.register(mgmt, alias)` above, so a cell naming the target fails instead of emitting a\n      // `b` with no FROM clause. I.e. an UPDATE can say `set: { title: b.title }`; an INSERT cannot.\n      // A value subquery still works, because it brings its own sources, and the parent here is the CTE\n      // scope rather than `ctx`, so a cell can read a `with` entry but not the row being written.\n      const valuesCtx = new Ctx(assigner, withCtx);\n      const entries = rows.map((row) => assignments(meta, row, \"insert\"));\n      for (const row of entries) {\n        for (const [key] of required) {\n          if (!row.some((entry) => entry[0] === key)) fail(`INSERT requires ${meta.type}.${key}`);\n        }\n      }\n      if (rows.length === 0) return undefined;\n      const keys = fields.filter(([key]) => entries.some((row) => row.some((entry) => entry[0] === key)));\n      sql += ` (${keys.map(([, field]) => kq(field.columnName)).join(\", \")}) VALUES `;\n      sql += entries\n        .map((row) => {\n          const cells = keys.map(([key, field]) => {\n            const entry = row.find((entry) => entry[0] === key);\n            if (!entry) return \"DEFAULT\";\n            const cell = assignmentToSql(meta, field, entry[1], valuesCtx);\n            bindings.push(...cell.bindings);\n            refs.push(...cell.refs);\n            return cell.sql;\n          });\n          return `(${cells.join(\", \")})`;\n        })\n        .join(\", \");\n    } else {\n      const source = parseNestedQuery(statement.from, withCtx, assigner);\n      if (source.output.kind !== \"pojo\") fail(\"INSERT SELECT requires named POJO output columns\");\n      const columns = source.output.columns;\n      for (const [key] of required) {\n        if (!columns.some((column) => column[0] === key)) fail(`INSERT requires ${meta.type}.${key}`);\n      }\n      for (const [key, expr] of columns) {\n        const field = writableField(meta, key, \"insert\");\n        const left = field.outputType;\n        const right = expr.outputType;\n        if (\n          !left ||\n          !right ||\n          left.dbType !== right.dbType ||\n          left.domain !== right.domain ||\n          left.idMeta !== right.idMeta\n        ) {\n          fail(`INSERT SELECT ${meta.type}.${key} has incompatible or unknown storage codecs`);\n        }\n        if (!field.sqlNullable && expr.sqlNullable === true)\n          fail(`INSERT SELECT ${meta.type}.${key} cannot accept a nullable output`);\n      }\n      const keys = fields.filter(([key]) => columns.some((column) => column[0] === key));\n      const sourceAlias = safeKq(assigner.getLiteralAlias(\"sq\"));\n      sql += ` (${keys.map(([, field]) => kq(field.columnName)).join(\", \")}) SELECT ${keys.map(([key]) => `${sourceAlias}.${safeKq(key)}`).join(\", \")} FROM (${source.sql}) AS ${sourceAlias}`;\n      bindings.push(...source.bindings);\n      refs.push(...source.outerRefs);\n    }\n  } else {\n    if (statement.allowAll !== undefined && typeof statement.allowAll !== \"boolean\") fail(\"allowAll must be a boolean\");\n    if (\n      statement.softDeletes !== undefined &&\n      statement.softDeletes !== \"include\" &&\n      statement.softDeletes !== \"exclude\"\n    )\n      fail(\"softDeletes must be 'include' or 'exclude'\");\n    const user = mutationCondition(statement.where, ctx);\n    if (!user && statement.allowAll !== true) fail(\"UPDATE and DELETE require a nonempty user where or allowAll: true\");\n    if (operation === \"update\") {\n      const entries = assignments(meta, statement.set, \"update\");\n      sql +=\n        \" SET \" +\n        entries\n          .map((entry) => {\n            const [key, value] = entry;\n            const field = writableField(meta, key, \"update\");\n            const cell = assignmentToSql(meta, field, value, ctx);\n            bindings.push(...cell.bindings);\n            refs.push(...cell.refs);\n            return `${kq(field.columnName)} = ${cell.sql}`;\n          })\n          .join(\", \");\n    }\n    const injected = conditionToSql(\n      { and: injectedConditions({ meta, alias }, statement.softDeletes ?? \"exclude\") },\n      ctx,\n      true,\n    );\n    const conditions = [user, injected].filter((condition) => condition !== undefined);\n    if (conditions.length) {\n      sql += ` WHERE ${conditions.map((condition) => `(${condition.sql})`).join(\" AND \")}`;\n      for (const condition of conditions) {\n        bindings.push(...condition.bindings);\n        refs.push(...condition.refs);\n      }\n    }\n  }\n  if (returning) {\n    sql += ` RETURNING ${returning.selects.map((select) => select.sql).join(\", \")}`;\n    for (const select of returning.selects) bindings.push(...select.bindings);\n  }\n  const keptCtes = pruneCtes(ctes, new Set(refs));\n  if (keptCtes.length > 0) {\n    const clause = withFragment(keptCtes);\n    sql = clause.sql + sql;\n    bindings.unshift(...clause.bindings);\n  }\n  return {\n    sql,\n    bindings,\n    outerRefs: [],\n    output: returning?.output ?? { kind: \"pojo\", columns: [] },\n    decodeRows: returning?.decodeRows ?? (() => []),\n  };\n}\n\n/** Retains native counts even when no rows return, and propagates decoding failures after execution. */\nexport function decodeStatementResult(\n  em: EntityHydrator,\n  plan: Plan,\n  result: DriverQueryResult,\n): ExecuteResult<unknown> {\n  if (typeof result.rowCount !== \"number\" || !Number.isInteger(result.rowCount) || result.rowCount < 0)\n    fail(\"The driver did not return a numeric command rowCount\");\n  return { rowCount: result.rowCount, rows: plan.decodeRows(em, result.rows) };\n}\n\ntype MutationTarget<T extends Entity> = TableFor<T> &\n  (TypeMapEntry<T, \"supportsEmExecute\"> extends true ? unknown : never);\ntype MutationFilter = {\n  readonly where?: SqlCondition | ExprLike<boolean>;\n  readonly allowAll?: boolean;\n  readonly softDeletes?: \"include\" | \"exclude\";\n};\ntype NoMutationReadClauses = Partial<\n  Record<\n    | \"select\"\n    | \"join\"\n    | \"groupBy\"\n    | \"having\"\n    | \"orderBy\"\n    | \"limit\"\n    | \"offset\"\n    | \"distinct\"\n    | \"pruneJoins\"\n    | \"as\"\n    | \"union\"\n    | \"unionAll\"\n    | \"intersect\"\n    | \"intersectAll\"\n    | \"except\"\n    | \"exceptAll\"\n    | \"ctes\"\n    | \"using\"\n    | \"onConflict\",\n    never\n  >\n>;\n/** Column keys allowed in INSERT, i.e. Book's optional `id` and required `authorId`. */\ntype InsertKey<T> = {\n  [K in keyof ColumnsOf<T>]: ColumnsOf<T>[K] extends { insert: \"required\" | \"optional\" } ? K : never;\n}[keyof ColumnsOf<T>];\n/** Column keys that each INSERT row must supply, i.e. Book's `authorId` despite its ORM default. */\ntype RequiredInsertKey<T> = {\n  [K in keyof ColumnsOf<T>]: ColumnsOf<T>[K] extends { insert: \"required\" } ? K : never;\n}[keyof ColumnsOf<T>];\n/** Column keys allowed in UPDATE SET, i.e. Book's `title` and `authorId`, but not `id`. */\ntype UpdateKey<T> = {\n  [K in keyof ColumnsOf<T>]: ColumnsOf<T>[K] extends { update: true } ? K : never;\n}[keyof ColumnsOf<T>];\n/** A column's domain value before SQL nullability is added, i.e. Book's `id` is BookId and `authorId` is AuthorId. */\ntype DomainValue<T, K extends keyof ColumnsOf<T>> = K extends \"id\"\n  ? IdOf<T>\n  : ColumnsOf<T>[K] extends { entity: infer U }\n    ? IdOf<U>\n    : ColumnsOf<T>[K] extends { type: infer V }\n      ? V\n      : never;\ntype SqlValue<T, K extends keyof ColumnsOf<T>> =\n  | DomainValue<T, K>\n  | (ColumnsOf<T>[K] extends { nullable: true } ? null : never);\ntype Assignment<T, K extends keyof ColumnsOf<T>> =\n  | SqlValue<T, K>\n  | ExprLike<SqlValue<T, K>>\n  | (K extends \"id\" ? never : ColumnsOf<T>[K] extends { entity: infer U } ? U : never);\ntype InsertSourceRow<T> = { [K in RequiredInsertKey<T>]: SqlValue<T, K> } & {\n  [K in Exclude<InsertKey<T>, RequiredInsertKey<T>>]?: SqlValue<T, K>;\n};\ntype InsertProjection<T> = { [K in RequiredInsertKey<T>]: ExprLike<SqlValue<T, K>> } & {\n  [K in Exclude<InsertKey<T>, RequiredInsertKey<T>>]?: ExprLike<SqlValue<T, K>>;\n};\ntype UnionKeys<V> = V extends unknown ? keyof V : never;\n/** Collects every alternative before scope checking; a valid branch cannot hide an unrelated alias. */\ntype UnionValue<V, K extends PropertyKey> = V extends unknown ? (K extends keyof V ? V[K] : never) : never;\ntype ExprSource<V> = V extends { readonly [exprBrand]: ExprBrand<unknown, infer Src> } ? Src : never;\ntype CheckExprScope<V, Scope> =\n  string extends ExprSource<V>\n    ? unknown\n    : [Exclude<ExprSource<V>, Scope>] extends [never]\n      ? unknown\n      : \"Expression source is not in the statement scope\";\ntype ReturningExpr<R> = R extends ExprLike<unknown> ? R : R extends undefined ? never : R[keyof R];\ntype EmptyReturning<R> = R extends object ? (keyof R extends never ? true : false) : false;\ntype CheckReturning<R, Scope> = true extends EmptyReturning<R> ? never : CheckExprScope<ReturningExpr<R>, Scope>;\ntype CheckAssignments<V, Allowed, Scope> = [Exclude<UnionKeys<V>, keyof Allowed>] extends [never]\n  ? Allowed & {\n      [K in UnionKeys<V>]?: CheckExprScope<UnionValue<V, K>, Scope>;\n    }\n  : \"SQL assignments have unknown target fields\";\ntype CheckValues<T extends Entity, V> =\n  | ([Extract<V, readonly unknown[]>] extends [never]\n      ? never\n      : readonly CheckAssignments<Extract<V, readonly unknown[]>[number], InsertValues<T>, never>[])\n  | ([Exclude<V, readonly unknown[]>] extends [never]\n      ? never\n      : CheckAssignments<Exclude<V, readonly unknown[]>, InsertValues<T>, never>);\ntype CheckSourceScope<Q> = Q extends { readonly select: infer S; readonly from: infer F }\n  ? CheckScope<S, F, \"join\" extends keyof Q ? Extract<Q[keyof Q & \"join\"], 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    };\ntype CheckInsertSource<T, Q extends SetOperand> = SetOperand extends Q\n  ? \"INSERT source was typed too generically; retain its named output fields\"\n  : ReadQueryRow<Q> extends InsertSourceRow<T>\n    ? Exclude<UnionKeys<ReadQueryRow<Q>>, InsertKey<T>> extends never\n      ? CheckReadQuery<Q> &\n          CheckSourceScope<Q> &\n          (Q extends SetQuery<readonly SetOperand[]> ? CheckSetQuery<Q> : unknown)\n      : \"INSERT SELECT has unknown target fields\"\n    : \"INSERT SELECT requires compatible values for all SQL-required fields\";\ntype TargetEntity<M> = M extends\n  | { readonly insert: TableFor<infer T> }\n  | { readonly update: TableFor<infer T> }\n  | { readonly delete: TableFor<infer T> }\n  ? T\n  : never;\ntype TargetTable<M> = M extends\n  | { readonly insert: infer A }\n  | { readonly update: infer A }\n  | { readonly delete: infer A }\n  ? A\n  : never;\ntype MutationClause<M> =\n  | \"returning\"\n  | \"with\"\n  | (M extends { readonly insert: unknown }\n      ? \"insert\" | (M extends { readonly values: unknown } ? \"values\" : \"from\")\n      : \"where\" | \"allowAll\" | \"softDeletes\" | (M extends { readonly update: unknown } ? \"update\" | \"set\" : \"delete\"));\n/** SQL mutations require complete physical metadata. */\nfunction requireColumnMetadata(meta: EntityMetadata, column: Column): void {\n  if (\n    typeof column.sqlNullable !== \"boolean\" ||\n    typeof column.hasDefault !== \"boolean\" ||\n    typeof column.isGenerated !== \"boolean\"\n  )\n    fail(`Missing physical metadata for ${meta.type}.${column.columnName}; run codegen`);\n}\n\n/** Validates every supplied key, including undefined fields, before pruning omitted values. */\nfunction assignments(meta: EntityMetadata, value: unknown, operation: \"insert\" | \"update\"): [string, unknown][] {\n  if (!value || typeof value !== \"object\" || Array.isArray(value) || isExpr(value) || isEntity(value))\n    fail(`${operation} assignments must be a field POJO`);\n  const entries = Object.entries(value);\n  for (const [key] of entries) writableField(meta, key, operation);\n  checkPojo(value, Object.keys(meta.columns), `${operation} assignments`);\n  const defined = entries.filter((entry) => entry[1] !== undefined);\n  if (!defined.length) fail(`${operation} requires at least one defined field; empty rows/sets are not DEFAULT VALUES`);\n  return defined;\n}\n\n/** Applies physical write restrictions, not ORM-derived, protected, or business-immutable flags. */\nfunction writableField(meta: EntityMetadata, key: string, operation: \"insert\" | \"update\"): Column {\n  const column = Object.hasOwn(meta.columns, key) ? meta.columns[key] : undefined;\n  if (!column) fail(`Unsupported SQL mutation field ${meta.type}.${key}`);\n  requireColumnMetadata(meta, column);\n  if (operation === \"update\" && key === \"id\") fail(\"UPDATE primary-key assignments are not supported\");\n  if (column.isGenerated) fail(`Generated field ${meta.type}.${key} is omit-only`);\n  if (operation === \"update\" ? !column.update : column.insert === \"never\")\n    fail(`Unsupported SQL mutation field ${meta.type}.${key}`);\n  return column;\n}\n\n/**\n * Classifies SQL expressions and SQL NULL before invoking the column's entity-independent write codec.\n * Normalizes public PK/FK ids to internal tagged ids using the target entity's idType.\n */\nfunction assignmentToSql(meta: EntityMetadata, column: Column, value: unknown, ctx: Ctx): SqlFragment {\n  if (isExpr(value)) return asNode(value).toSql(ctx);\n  if (value === null) {\n    if (!column.sqlNullable) fail(`${meta.type}.${column.columnName} is physically NOT NULL`);\n    return { sql: \"NULL\", bindings: [], refs: [] };\n  }\n  if (column.idMetadata) {\n    const other = column.idMetadata();\n    if (isEntity(value)) {\n      if (column.columnName === \"id\" || !(value instanceof other.cstr)) fail(`Expected a ${other.type} reference`);\n      if (value.isNewEntity || value.idTaggedMaybe === undefined)\n        fail(`Cannot reference an unflushed ${other.type}, even with an assigned ID`);\n      value = value.idTaggedMaybe;\n    } else if (typeof value !== (other.idType === \"number\" ? \"number\" : \"string\")) {\n      fail(`Expected a persisted ${other.type} or its ID; nested creation is not supported`);\n    } else {\n      // Public untagged TEXT ids may contain delimiters or start with the entity tag.\n      value =\n        other.idType === \"untagged-string\"\n          ? keyToTaggedId(other, value as string)\n          : toTaggedId(other, value as string | number);\n    }\n  }\n  if (!column.codec.mapToDbValue)\n    fail(`The codec for ${meta.type}.${column.columnName} does not support SQL value writes`);\n  return { sql: \"?\", bindings: [column.mapToDbValue(value)], refs: [] };\n}\n\n/** Checks the user predicate independently so metadata filters cannot turn a pruned guard into consent. */\nfunction mutationCondition(value: unknown, ctx: Ctx): SqlFragment | undefined {\n  if (isExpr(value)) return asNode(value).toSql(ctx);\n  return conditionToSql(value as SqlCondition | undefined, ctx, true);\n}\n\n/** Only own enumerable POJO clauses count as input or explicit full-table consent. */\nfunction checkPojo(value: object, allowed: readonly PropertyKey[], description: string): void {\n  if (Object.getPrototypeOf(value) !== Object.prototype && Object.getPrototypeOf(value) !== null)\n    fail(`${description} must be a plain POJO`);\n  for (const key of Reflect.ownKeys(value)) {\n    if (!allowed.includes(key)) fail(`${description} does not support '${String(key)}'`);\n    if (typeof key === \"string\" && !Object.prototype.propertyIsEnumerable.call(value, key))\n      fail(`${description} requires enumerable fields`);\n  }\n}\n"],"mappings":";;;;;;;;;;AA0KA,SAAgB,WAAW,KAAuB;CAChD,OACE,OAAO,QAAQ,YACf,QAAQ,QACR,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,2CAA2C;CACtE,MAAM,OAAO,aAAa,MAAM;CAChC,MAAM,OAAO,KAAK;CAClB,IAAI,KAAK,mBAAmB,KAAK,YAAY,KAAK,UAAU,UAAU,KAAK,SAAS,QAClF,KAAK,0EAA0E;CAEjF,IAAI,KAAK,sBAAsB,MAC7B,KAAK,yDAAyD,KAAK,KAAK,cAAc;CACxF,MAAM,SAAS,OAAO,QAAQ,KAAK,OAAO;CAC1C,KAAK,MAAM,GAAG,UAAU,QACtB,sBAAsB,MAAM,KAAK;CAEnC,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,GAAG,KAAK,SAAS,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,MAAM,OAAO,MAAM,QAAQ,UAAU,MAAM,IAAI,UAAU,SAAS,CAAC,UAAU,MAAM;GAMnF,MAAM,YAAY,IAAI,IAAI,UAAU,OAAO;GAC3C,MAAM,UAAU,KAAK,KAAK,QAAQ,YAAY,MAAM,KAAK,QAAQ,CAAC;GAClE,KAAK,MAAM,OAAO,SAChB,KAAK,MAAM,CAAC,QAAQ,UAClB,IAAI,CAAC,IAAI,MAAM,UAAU,MAAM,OAAO,GAAG,GAAG,KAAK,mBAAmB,KAAK,KAAK,GAAG,KAAK;GAG1F,IAAI,KAAK,WAAW,GAAG,OAAO,KAAA;GAC9B,MAAM,OAAO,OAAO,QAAQ,CAAC,SAAS,QAAQ,MAAM,QAAQ,IAAI,MAAM,UAAU,MAAM,OAAO,GAAG,CAAC,CAAC;GAClG,OAAO,KAAK,KAAK,KAAK,GAAG,WAAW,GAAG,MAAM,UAAU,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE;GACrE,OAAO,QACJ,KAAK,QAAQ;IASZ,OAAO,IARO,KAAK,KAAK,CAAC,KAAK,WAAW;KACvC,MAAM,QAAQ,IAAI,MAAM,UAAU,MAAM,OAAO,GAAG;KAClD,IAAI,CAAC,OAAO,OAAO;KACnB,MAAM,OAAO,gBAAgB,MAAM,OAAO,MAAM,IAAI,SAAS;KAC7D,SAAS,KAAK,GAAG,KAAK,QAAQ;KAC9B,KAAK,KAAK,GAAG,KAAK,IAAI;KACtB,OAAO,KAAK;IACd,CACe,CAAC,CAAC,KAAK,IAAI,EAAE;GAC9B,CAAC,CAAC,CACD,KAAK,IAAI;EACd,OAAO;GACL,MAAM,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,GAAG,KAAK,mBAAmB,KAAK,KAAK,GAAG,KAAK;GAE9F,KAAK,MAAM,CAAC,KAAK,SAAS,SAAS;IACjC,MAAM,QAAQ,cAAc,MAAM,KAAK,QAAQ;IAC/C,MAAM,OAAO,MAAM;IACnB,MAAM,QAAQ,KAAK;IACnB,IACE,CAAC,QACD,CAAC,SACD,KAAK,WAAW,MAAM,UACtB,KAAK,WAAW,MAAM,UACtB,KAAK,WAAW,MAAM,QAEtB,KAAK,iBAAiB,KAAK,KAAK,GAAG,IAAI,4CAA4C;IAErF,IAAI,CAAC,MAAM,eAAe,KAAK,gBAAgB,MAC7C,KAAK,iBAAiB,KAAK,KAAK,GAAG,IAAI,iCAAiC;GAC5E;GACA,MAAM,OAAO,OAAO,QAAQ,CAAC,SAAS,QAAQ,MAAM,WAAW,OAAO,OAAO,GAAG,CAAC;GACjF,MAAM,cAAc,OAAO,SAAS,gBAAgB,IAAI,CAAC;GACzD,OAAO,KAAK,KAAK,KAAK,GAAG,WAAW,GAAG,MAAM,UAAU,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;GAC3K,SAAS,KAAK,GAAG,OAAO,QAAQ;GAChC,KAAK,KAAK,GAAG,OAAO,SAAS;EAC/B;CACF,OAAO;EACL,IAAI,UAAU,aAAa,KAAA,KAAa,OAAO,UAAU,aAAa,WAAW,KAAK,4BAA4B;EAClH,IACE,UAAU,gBAAgB,KAAA,KAC1B,UAAU,gBAAgB,aAC1B,UAAU,gBAAgB,WAE1B,KAAK,4CAA4C;EACnD,MAAM,OAAO,kBAAkB,UAAU,OAAO,GAAG;EACnD,IAAI,CAAC,QAAQ,UAAU,aAAa,MAAM,KAAK,mEAAmE;EAClH,IAAI,cAAc,UAAU;GAC1B,MAAM,UAAU,YAAY,MAAM,UAAU,KAAK,QAAQ;GACzD,OACE,UACA,QACG,KAAK,UAAU;IACd,MAAM,CAAC,KAAK,SAAS;IACrB,MAAM,QAAQ,cAAc,MAAM,KAAK,QAAQ;IAC/C,MAAM,OAAO,gBAAgB,MAAM,OAAO,OAAO,GAAG;IACpD,SAAS,KAAK,GAAG,KAAK,QAAQ;IAC9B,KAAK,KAAK,GAAG,KAAK,IAAI;IACtB,OAAO,GAAG,GAAG,MAAM,UAAU,EAAE,KAAK,KAAK;GAC3C,CAAC,CAAC,CACD,KAAK,IAAI;EAChB;EAMA,MAAM,aAAa,CAAC,MALH,eACf,EAAE,KAAK,mBAAmB;GAAE;GAAM;EAAM,GAAG,UAAU,eAAe,SAAS,EAAE,GAC/E,KACA,IAE+B,CAAC,CAAC,CAAC,QAAQ,cAAc,cAAc,KAAA,CAAS;EACjF,IAAI,WAAW,QAAQ;GACrB,OAAO,UAAU,WAAW,KAAK,cAAc,IAAI,UAAU,IAAI,EAAE,CAAC,CAAC,KAAK,OAAO;GACjF,KAAK,MAAM,aAAa,YAAY;IAClC,SAAS,KAAK,GAAG,UAAU,QAAQ;IACnC,KAAK,KAAK,GAAG,UAAU,IAAI;GAC7B;EACF;CACF;CACA,IAAI,WAAW;EACb,OAAO,cAAc,UAAU,QAAQ,KAAK,WAAW,OAAO,GAAG,CAAC,CAAC,KAAK,IAAI;EAC5E,KAAK,MAAM,UAAU,UAAU,SAAS,SAAS,KAAK,GAAG,OAAO,QAAQ;CAC1E;CACA,MAAM,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;;AAgIA,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,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,kBAAkB,OAAgB,KAAmC;CAC5E,IAAI,OAAO,KAAK,GAAG,OAAO,OAAO,KAAK,CAAC,CAAC,MAAM,GAAG;CACjD,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"}
+{"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 { 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 { type TableFor, getTableMgmt, isTable, tableMgmt } from \"src/queries/sql/Tables.ts\";\nimport type { Column } from \"src/serde/columns.ts\";\nimport type { ColumnsOf, TypeMapEntry } from \"src/typeMap.ts\";\nimport { fail } from \"src/utils.ts\";\n\n/** The native command count and decoded rows from one immediate SQL statement. */\nexport interface ExecuteResult<R> {\n  rowCount: number;\n  rows: R[];\n}\n\n/** A mutation's RETURNING projection: one SQL expression or a named object of expressions. */\nexport type MutationReturning = (ExprLike<unknown> | Readonly<Record<string, ExprLike<unknown>>>) & {\n  readonly [tableMgmt]?: never;\n  readonly [subqueryBrand]?: never;\n  readonly [entityQueryBrand]?: never;\n};\n\n/** SQL INSERT inputs, based on physical storage rather than entity creation options. */\nexport type InsertValues<T extends Entity> = {\n  [K in RequiredInsertKey<T>]: Assignment<T, K>;\n} & {\n  [K in Exclude<InsertKey<T>, RequiredInsertKey<T>>]?: Assignment<T, K> | undefined;\n};\n\n/** SQL UPDATE inputs include persisted derived columns, but never primary keys. */\nexport type UpdateValues<T extends Entity> = {\n  [K in UpdateKey<T>]?: Assignment<T, K> | undefined;\n};\n\n/** A reusable INSERT POJO; use a concrete Q for annotated INSERT SELECT source checking. */\nexport type InsertStatement<\n  T extends Entity,\n  R extends MutationReturning | undefined = MutationReturning | undefined,\n  Q extends SetOperand = Query<InsertProjection<T>, []> | Subquery<InsertSourceRow<T>, string>,\n> = {\n  readonly insert: MutationTarget<T>;\n  readonly returning?: R;\n  readonly update?: never;\n  readonly delete?: never;\n  readonly set?: never;\n  readonly where?: never;\n  readonly allowAll?: never;\n  readonly softDeletes?: never;\n  /** CTEs to add to a `WITH` before the INSERT; see `Clauses.with`. */\n  readonly with?: WithInput;\n} & NoMutationReadClauses &\n  (\n    | { readonly values: InsertValues<T> | readonly InsertValues<T>[]; readonly from?: never }\n    | { readonly from: Q & CheckInsertSource<T, Q>; readonly values?: never }\n  );\n\n/** A reusable guarded UPDATE POJO. Undefined assignments leave existing columns unchanged. */\nexport type UpdateStatement<\n  T extends Entity,\n  R extends MutationReturning | undefined = MutationReturning | undefined,\n> = {\n  readonly update: MutationTarget<T>;\n  readonly set: UpdateValues<T>;\n  readonly returning?: R;\n  readonly insert?: never;\n  readonly delete?: never;\n  readonly values?: never;\n  readonly from?: never;\n  /** CTEs to add to a `WITH` before the UPDATE; see `Clauses.with`. */\n  readonly with?: WithInput;\n} & MutationFilter &\n  NoMutationReadClauses;\n\n/** A reusable guarded physical DELETE POJO, not an ORM soft delete. */\nexport type DeleteStatement<\n  T extends Entity,\n  R extends MutationReturning | undefined = MutationReturning | undefined,\n> = {\n  readonly delete: MutationTarget<T>;\n  readonly returning?: R;\n  readonly insert?: never;\n  readonly update?: never;\n  readonly values?: never;\n  readonly from?: never;\n  readonly set?: never;\n  /** CTEs to add to a `WITH` before the DELETE; see `Clauses.with`. */\n  readonly with?: WithInput;\n} & MutationFilter &\n  NoMutationReadClauses;\n\n/** Public statement annotations retain the target's physical field policy. */\nexport type MutationStatement<\n  T extends Entity,\n  R extends MutationReturning | undefined = MutationReturning | undefined,\n> = InsertStatement<T, R> | UpdateStatement<T, R> | DeleteStatement<T, R>;\n\n/** Inference starts with the literal POJO; CheckMutation checks its target and every supplied key. */\nexport type MutationInput = (\n  | { readonly insert: TableFor<Entity>; readonly values: object | readonly object[]; readonly from?: never }\n  | { readonly insert: TableFor<Entity>; readonly from: SetOperand; readonly values?: never }\n  | { readonly update: TableFor<Entity>; readonly set: object }\n  | { readonly delete: TableFor<Entity> }\n) & { readonly returning?: MutationReturning; readonly with?: WithInput } & MutationFilter;\n\n/** Without RETURNING the row type is never; scalar expressions produce scalar rows. */\nexport type MutationRow<M> = M extends { readonly returning?: infer R }\n  ? R extends MutationReturning\n    ? R extends ExprLike<unknown>\n      ? QueryRow<R>\n      : { -readonly [K in keyof QueryRow<R>]: QueryRow<R>[K] }\n    : never\n  : never;\n\n/** Checks nonliteral statements as well as fresh literals without widening their inferred result. */\nexport type CheckMutation<M> = M extends unknown\n  ? TargetEntity<M> extends infer T extends Entity\n    ? TypeMapEntry<T, \"supportsEmExecute\"> extends true\n      ? { readonly [K in keyof M]: K extends MutationClause<M> ? unknown : never } & {\n          readonly returning?: M extends { readonly returning?: infer R }\n            ? CheckReturning<R, NameOf<TargetTable<M>>>\n            : never;\n        } & (\n            | (M extends { readonly values: infer V } ? { readonly values: CheckValues<T, V> } : never)\n            | (M extends { readonly from: infer Q extends SetOperand }\n                ? { readonly from: CheckInsertSource<T, Q> }\n                : never)\n            | (M extends { readonly set: infer V }\n                ? { readonly set: CheckAssignments<V, UpdateValues<T>, NameOf<TargetTable<M>>> }\n                : never)\n            | (M extends { readonly delete: unknown } ? unknown : never)\n          )\n      : \"SQL mutations require a supported non-inherited target and regenerated metadata\"\n    : never\n  : never;\n\n/** Classifies mutation roots before EntityManager applies write permissions, including malformed roots. */\nexport function isMutation(arg: unknown): boolean {\n  return (\n    typeof arg === \"object\" &&\n    arg !== null &&\n    !isReadQueryValue(arg) &&\n    [\"insert\", \"update\", \"delete\"].some((key) => key in arg)\n  );\n}\n\n/**\n * Compiles one immediate statement using the read compiler's scopes, projections, and codecs.\n * INSERT SELECT keeps source rows in PostgreSQL; only RETURNING rows pass through JS decoders.\n * An undefined plan represents a validated standalone empty VALUES array, not DEFAULT VALUES.\n */\nexport function parseStatement(arg: unknown): Plan | undefined {\n  if (!isMutation(arg)) return parseUserQuery(arg);\n  const statement = arg as Record<string, unknown>;\n  const roots = [\"insert\", \"update\", \"delete\"].filter((key) => key in statement);\n  if (roots.length !== 1) fail(\"A mutation requires exactly one insert, update, or delete root\");\n  const operation = roots[0];\n  const allowed =\n    operation === \"insert\"\n      ? [\"insert\", \"values\", \"from\", \"returning\", \"with\"]\n      : [\n          operation,\n          \"where\",\n          \"allowAll\",\n          \"softDeletes\",\n          \"returning\",\n          \"with\",\n          ...(operation === \"update\" ? [\"set\"] : []),\n        ];\n  checkPojo(statement, allowed, `SQL ${operation}`);\n  const target = statement[operation];\n  if (!isTable(target)) fail(\"A mutation target must be an entity table\");\n  const mgmt = getTableMgmt(target);\n  const meta = mgmt.meta;\n  if (meta.inheritanceType || meta.baseType || meta.baseTypes.length || meta.subTypes.length) {\n    fail(\"SQL mutations do not support CTI/STI targets or inherited table families\");\n  }\n  if (meta.supportsEmExecute !== true)\n    fail(`SQL mutations require supported physical metadata for ${meta.type}; run codegen`);\n  const fields = Object.entries(meta.columns);\n  for (const [, field] of fields) {\n    requireColumnMetadata(meta, field);\n  }\n  const assigner = new AliasAssigner();\n  // A CTE is in scope for the whole statement, so its scope is the parent of every other one here. It\n  // deliberately holds no target alias, which is what lets INSERT VALUES cells and the INSERT SELECT\n  // source read the CTEs without also seeing the row being written.\n  const withCtx = new Ctx(assigner, undefined);\n  const ctes = registerCtes(statement, withCtx, assigner);\n  // Aliases the rest of the statement reads, so an unread CTE prunes like it does on a read query.\n  const refs: string[] = [];\n  const ctx = new Ctx(assigner, withCtx);\n  const alias = assigner.getAlias(meta.tableName);\n  ctx.register(mgmt, alias);\n  const returning = statement.returning === undefined ? undefined : projectionToSql(statement.returning, ctx);\n  if (returning) for (const select of returning.selects) refs.push(...select.refs);\n  let sql = `${operation === \"delete\" ? \"DELETE FROM\" : operation.toUpperCase() + (operation === \"insert\" ? \" INTO\" : \"\")} ${kq(meta.tableName)} AS ${kq(alias)}`;\n  const bindings: unknown[] = [];\n  if (operation === \"insert\") {\n    if (\"values\" in statement === \"from\" in statement) fail(\"INSERT requires exactly one of values or from\");\n    const required = fields.filter(([, column]) => column.insert === \"required\");\n    if (\"values\" in statement) {\n      const rows = Array.isArray(statement.values) ? statement.values : [statement.values];\n      // A VALUES cell *is* the new row, so there is no existing row for it to read: this scope skips\n      // the `ctx.register(mgmt, alias)` above, so a cell naming the target fails instead of emitting a\n      // `b` with no FROM clause. I.e. an UPDATE can say `set: { title: b.title }`; an INSERT cannot.\n      // A value subquery still works, because it brings its own sources, and the parent here is the CTE\n      // scope rather than `ctx`, so a cell can read a `with` entry but not the row being written.\n      const valuesCtx = new Ctx(assigner, withCtx);\n      const entries = rows.map((row) => assignments(meta, row, \"insert\"));\n      for (const row of entries) {\n        for (const [key] of required) {\n          if (!row.some((entry) => entry[0] === key)) fail(`INSERT requires ${meta.type}.${key}`);\n        }\n      }\n      if (rows.length === 0) return undefined;\n      const keys = fields.filter(([key]) => entries.some((row) => row.some((entry) => entry[0] === key)));\n      sql += ` (${keys.map(([, field]) => kq(field.columnName)).join(\", \")}) VALUES `;\n      sql += entries\n        .map((row) => {\n          const cells = keys.map(([key, field]) => {\n            const entry = row.find((entry) => entry[0] === key);\n            if (!entry) return \"DEFAULT\";\n            const cell = assignmentToSql(meta, field, entry[1], valuesCtx);\n            bindings.push(...cell.bindings);\n            refs.push(...cell.refs);\n            return cell.sql;\n          });\n          return `(${cells.join(\", \")})`;\n        })\n        .join(\", \");\n    } else {\n      const source = parseNestedQuery(statement.from, withCtx, assigner);\n      if (source.output.kind !== \"pojo\") fail(\"INSERT SELECT requires named POJO output columns\");\n      const columns = source.output.columns;\n      for (const [key] of required) {\n        if (!columns.some((column) => column[0] === key)) fail(`INSERT requires ${meta.type}.${key}`);\n      }\n      for (const [key, expr] of columns) {\n        const field = writableField(meta, key, \"insert\");\n        const left = field.outputType;\n        const right = expr.outputType;\n        if (\n          !left ||\n          !right ||\n          left.dbType !== right.dbType ||\n          left.domain !== right.domain ||\n          left.idMeta !== right.idMeta\n        ) {\n          fail(`INSERT SELECT ${meta.type}.${key} has incompatible or unknown storage codecs`);\n        }\n        if (!field.sqlNullable && expr.sqlNullable === true)\n          fail(`INSERT SELECT ${meta.type}.${key} cannot accept a nullable output`);\n      }\n      const keys = fields.filter(([key]) => columns.some((column) => column[0] === key));\n      const sourceAlias = safeKq(assigner.getLiteralAlias(\"sq\"));\n      sql += ` (${keys.map(([, field]) => kq(field.columnName)).join(\", \")}) SELECT ${keys.map(([key]) => `${sourceAlias}.${safeKq(key)}`).join(\", \")} FROM (${source.sql}) AS ${sourceAlias}`;\n      bindings.push(...source.bindings);\n      refs.push(...source.outerRefs);\n    }\n  } else {\n    if (statement.allowAll !== undefined && typeof statement.allowAll !== \"boolean\") fail(\"allowAll must be a boolean\");\n    if (\n      statement.softDeletes !== undefined &&\n      statement.softDeletes !== \"include\" &&\n      statement.softDeletes !== \"exclude\"\n    )\n      fail(\"softDeletes must be 'include' or 'exclude'\");\n    const 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(meta, statement.set, \"update\");\n      sql +=\n        \" SET \" +\n        entries\n          .map((entry) => {\n            const [key, value] = entry;\n            const field = writableField(meta, key, \"update\");\n            const cell = assignmentToSql(meta, field, value, ctx);\n            bindings.push(...cell.bindings);\n            refs.push(...cell.refs);\n            return `${kq(field.columnName)} = ${cell.sql}`;\n          })\n          .join(\", \");\n    }\n    const injected = conditionToSql(\n      { and: injectedConditions({ meta, alias }, statement.softDeletes ?? \"exclude\") },\n      ctx,\n      true,\n    );\n    const conditions = [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\ntype MutationTarget<T extends Entity> = TableFor<T> &\n  (TypeMapEntry<T, \"supportsEmExecute\"> extends true ? unknown : never);\ntype MutationFilter = {\n  readonly where?: SqlCondition | ExprLike<boolean>;\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};\ntype NoMutationReadClauses = Partial<\n  Record<\n    | \"select\"\n    | \"join\"\n    | \"groupBy\"\n    | \"having\"\n    | \"orderBy\"\n    | \"limit\"\n    | \"offset\"\n    | \"distinct\"\n    | \"pruneJoins\"\n    | \"as\"\n    | \"union\"\n    | \"unionAll\"\n    | \"intersect\"\n    | \"intersectAll\"\n    | \"except\"\n    | \"exceptAll\"\n    | \"ctes\"\n    | \"using\"\n    | \"onConflict\",\n    never\n  >\n>;\n/** Column keys allowed in INSERT, i.e. Book's optional `id` and required `authorId`. */\ntype InsertKey<T> = {\n  [K in keyof ColumnsOf<T>]: ColumnsOf<T>[K] extends { insert: \"required\" | \"optional\" } ? K : never;\n}[keyof ColumnsOf<T>];\n/** Column keys that each INSERT row must supply, i.e. Book's `authorId` despite its ORM default. */\ntype RequiredInsertKey<T> = {\n  [K in keyof ColumnsOf<T>]: ColumnsOf<T>[K] extends { insert: \"required\" } ? K : never;\n}[keyof ColumnsOf<T>];\n/** Column keys allowed in UPDATE SET, i.e. Book's `title` and `authorId`, but not `id`. */\ntype UpdateKey<T> = {\n  [K in keyof ColumnsOf<T>]: ColumnsOf<T>[K] extends { update: true } ? K : never;\n}[keyof ColumnsOf<T>];\n/** A column's domain value before SQL nullability is added, i.e. Book's `id` is BookId and `authorId` is AuthorId. */\ntype DomainValue<T, K extends keyof ColumnsOf<T>> = K extends \"id\"\n  ? IdOf<T>\n  : ColumnsOf<T>[K] extends { entity: infer U }\n    ? IdOf<U>\n    : ColumnsOf<T>[K] extends { type: infer V }\n      ? V\n      : never;\ntype SqlValue<T, K extends keyof ColumnsOf<T>> =\n  | DomainValue<T, K>\n  | (ColumnsOf<T>[K] extends { nullable: true } ? null : never);\ntype Assignment<T, K extends keyof ColumnsOf<T>> =\n  | SqlValue<T, K>\n  | ExprLike<SqlValue<T, K>>\n  | (K extends \"id\" ? never : ColumnsOf<T>[K] extends { entity: infer U } ? U : never);\ntype InsertSourceRow<T> = { [K in RequiredInsertKey<T>]: SqlValue<T, K> } & {\n  [K in Exclude<InsertKey<T>, RequiredInsertKey<T>>]?: SqlValue<T, K>;\n};\ntype InsertProjection<T> = { [K in RequiredInsertKey<T>]: ExprLike<SqlValue<T, K>> } & {\n  [K in Exclude<InsertKey<T>, RequiredInsertKey<T>>]?: ExprLike<SqlValue<T, K>>;\n};\ntype UnionKeys<V> = V extends unknown ? keyof V : never;\n/** Collects every alternative before scope checking; a valid branch cannot hide an unrelated alias. */\ntype UnionValue<V, K extends PropertyKey> = V extends unknown ? (K extends keyof V ? V[K] : never) : never;\ntype ExprSource<V> = V extends { readonly [exprBrand]: ExprBrand<unknown, infer Src> } ? Src : never;\ntype CheckExprScope<V, Scope> =\n  string extends ExprSource<V>\n    ? unknown\n    : [Exclude<ExprSource<V>, Scope>] extends [never]\n      ? unknown\n      : \"Expression source is not in the statement scope\";\ntype ReturningExpr<R> = R extends ExprLike<unknown> ? R : R extends undefined ? never : R[keyof R];\ntype EmptyReturning<R> = R extends object ? (keyof R extends never ? true : false) : false;\ntype CheckReturning<R, Scope> = true extends EmptyReturning<R> ? never : CheckExprScope<ReturningExpr<R>, Scope>;\ntype CheckAssignments<V, Allowed, Scope> = [Exclude<UnionKeys<V>, keyof Allowed>] extends [never]\n  ? Allowed & {\n      [K in UnionKeys<V>]?: CheckExprScope<UnionValue<V, K>, Scope>;\n    }\n  : \"SQL assignments have unknown target fields\";\ntype CheckValues<T extends Entity, V> =\n  | ([Extract<V, readonly unknown[]>] extends [never]\n      ? never\n      : readonly CheckAssignments<Extract<V, readonly unknown[]>[number], InsertValues<T>, never>[])\n  | ([Exclude<V, readonly unknown[]>] extends [never]\n      ? never\n      : CheckAssignments<Exclude<V, readonly unknown[]>, InsertValues<T>, never>);\ntype CheckSourceScope<Q> = Q extends { readonly select: infer S; readonly from: infer F }\n  ? CheckScope<S, F, \"join\" extends keyof Q ? Extract<Q[keyof Q & \"join\"], 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    };\ntype CheckInsertSource<T, Q extends SetOperand> = SetOperand extends Q\n  ? \"INSERT source was typed too generically; retain its named output fields\"\n  : ReadQueryRow<Q> extends InsertSourceRow<T>\n    ? Exclude<UnionKeys<ReadQueryRow<Q>>, InsertKey<T>> extends never\n      ? CheckReadQuery<Q> &\n          CheckSourceScope<Q> &\n          (Q extends SetQuery<readonly SetOperand[]> ? CheckSetQuery<Q> : unknown)\n      : \"INSERT SELECT has unknown target fields\"\n    : \"INSERT SELECT requires compatible values for all SQL-required fields\";\ntype TargetEntity<M> = M extends\n  | { readonly insert: TableFor<infer T> }\n  | { readonly update: TableFor<infer T> }\n  | { readonly delete: TableFor<infer T> }\n  ? T\n  : never;\ntype TargetTable<M> = M extends\n  | { readonly insert: infer A }\n  | { readonly update: infer A }\n  | { readonly delete: infer A }\n  ? A\n  : never;\ntype MutationClause<M> =\n  | \"returning\"\n  | \"with\"\n  | (M extends { readonly insert: unknown }\n      ? \"insert\" | (M extends { readonly values: unknown } ? \"values\" : \"from\")\n      : \"where\" | \"allowAll\" | \"softDeletes\" | (M extends { readonly update: unknown } ? \"update\" | \"set\" : \"delete\"));\n/** SQL mutations require complete physical metadata. */\nfunction requireColumnMetadata(meta: EntityMetadata, column: Column): void {\n  if (\n    typeof column.sqlNullable !== \"boolean\" ||\n    typeof column.hasDefault !== \"boolean\" ||\n    typeof column.isGenerated !== \"boolean\"\n  )\n    fail(`Missing physical metadata for ${meta.type}.${column.columnName}; run codegen`);\n}\n\n/** Validates every supplied key, including undefined fields, before pruning omitted values. */\nfunction assignments(meta: EntityMetadata, value: unknown, operation: \"insert\" | \"update\"): [string, unknown][] {\n  if (!value || typeof value !== \"object\" || Array.isArray(value) || isExpr(value) || isEntity(value))\n    fail(`${operation} assignments must be a field POJO`);\n  const entries = Object.entries(value);\n  for (const [key] of entries) writableField(meta, key, operation);\n  checkPojo(value, Object.keys(meta.columns), `${operation} assignments`);\n  const defined = entries.filter((entry) => entry[1] !== undefined);\n  if (!defined.length) fail(`${operation} requires at least one defined field; empty rows/sets are not DEFAULT VALUES`);\n  return defined;\n}\n\n/** Applies physical write restrictions, not ORM-derived, protected, or business-immutable flags. */\nfunction writableField(meta: EntityMetadata, key: string, operation: \"insert\" | \"update\"): Column {\n  const column = Object.hasOwn(meta.columns, key) ? meta.columns[key] : undefined;\n  if (!column) fail(`Unsupported SQL mutation field ${meta.type}.${key}`);\n  requireColumnMetadata(meta, column);\n  if (operation === \"update\" && key === \"id\") fail(\"UPDATE primary-key assignments are not supported\");\n  if (column.isGenerated) fail(`Generated field ${meta.type}.${key} is omit-only`);\n  if (operation === \"update\" ? !column.update : column.insert === \"never\")\n    fail(`Unsupported SQL mutation field ${meta.type}.${key}`);\n  return column;\n}\n\n/**\n * Classifies SQL expressions and SQL NULL before invoking the column's entity-independent write codec.\n * Normalizes public PK/FK ids to internal tagged ids using the target entity's idType.\n */\nfunction assignmentToSql(meta: EntityMetadata, column: Column, value: unknown, ctx: Ctx): SqlFragment {\n  if (isExpr(value)) return asNode(value).toSql(ctx);\n  if (value === null) {\n    if (!column.sqlNullable) fail(`${meta.type}.${column.columnName} is physically NOT NULL`);\n    return { sql: \"NULL\", bindings: [], refs: [] };\n  }\n  if (column.idMetadata) {\n    const other = column.idMetadata();\n    if (isEntity(value)) {\n      if (column.columnName === \"id\" || !(value instanceof other.cstr)) fail(`Expected a ${other.type} reference`);\n      if (value.isNewEntity || value.idTaggedMaybe === undefined)\n        fail(`Cannot reference an unflushed ${other.type}, even with an assigned ID`);\n      value = value.idTaggedMaybe;\n    } else if (typeof value !== (other.idType === \"number\" ? \"number\" : \"string\")) {\n      fail(`Expected a persisted ${other.type} or its ID; nested creation is not supported`);\n    } else {\n      // Public untagged TEXT ids may contain delimiters or start with the entity tag.\n      value =\n        other.idType === \"untagged-string\"\n          ? keyToTaggedId(other, value as string)\n          : toTaggedId(other, value as string | number);\n    }\n  }\n  if (!column.codec.mapToDbValue)\n    fail(`The codec for ${meta.type}.${column.columnName} does not support SQL value writes`);\n  return { sql: \"?\", bindings: [column.mapToDbValue(value)], refs: [] };\n}\n\n/** Checks the user predicate independently so metadata filters cannot turn a pruned guard into consent. */\nfunction mutationCondition(value: unknown, ctx: Ctx): SqlFragment | undefined {\n  if (isExpr(value)) return asNode(value).toSql(ctx);\n  return conditionToSql(value as SqlCondition | undefined, ctx, true);\n}\n\n/** Only own enumerable POJO clauses count as input or explicit full-table consent. */\nfunction checkPojo(value: object, allowed: readonly PropertyKey[], description: string): void {\n  if (Object.getPrototypeOf(value) !== Object.prototype && Object.getPrototypeOf(value) !== null)\n    fail(`${description} must be a plain POJO`);\n  for (const key of Reflect.ownKeys(value)) {\n    if (!allowed.includes(key)) fail(`${description} does not support '${String(key)}'`);\n    if (typeof key === \"string\" && !Object.prototype.propertyIsEnumerable.call(value, key))\n      fail(`${description} requires enumerable fields`);\n  }\n}\n"],"mappings":";;;;;;;;;;AA0KA,SAAgB,WAAW,KAAuB;CAChD,OACE,OAAO,QAAQ,YACf,QAAQ,QACR,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,2CAA2C;CACtE,MAAM,OAAO,aAAa,MAAM;CAChC,MAAM,OAAO,KAAK;CAClB,IAAI,KAAK,mBAAmB,KAAK,YAAY,KAAK,UAAU,UAAU,KAAK,SAAS,QAClF,KAAK,0EAA0E;CAEjF,IAAI,KAAK,sBAAsB,MAC7B,KAAK,yDAAyD,KAAK,KAAK,cAAc;CACxF,MAAM,SAAS,OAAO,QAAQ,KAAK,OAAO;CAC1C,KAAK,MAAM,GAAG,UAAU,QACtB,sBAAsB,MAAM,KAAK;CAEnC,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,GAAG,KAAK,SAAS,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,MAAM,OAAO,MAAM,QAAQ,UAAU,MAAM,IAAI,UAAU,SAAS,CAAC,UAAU,MAAM;GAMnF,MAAM,YAAY,IAAI,IAAI,UAAU,OAAO;GAC3C,MAAM,UAAU,KAAK,KAAK,QAAQ,YAAY,MAAM,KAAK,QAAQ,CAAC;GAClE,KAAK,MAAM,OAAO,SAChB,KAAK,MAAM,CAAC,QAAQ,UAClB,IAAI,CAAC,IAAI,MAAM,UAAU,MAAM,OAAO,GAAG,GAAG,KAAK,mBAAmB,KAAK,KAAK,GAAG,KAAK;GAG1F,IAAI,KAAK,WAAW,GAAG,OAAO,KAAA;GAC9B,MAAM,OAAO,OAAO,QAAQ,CAAC,SAAS,QAAQ,MAAM,QAAQ,IAAI,MAAM,UAAU,MAAM,OAAO,GAAG,CAAC,CAAC;GAClG,OAAO,KAAK,KAAK,KAAK,GAAG,WAAW,GAAG,MAAM,UAAU,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE;GACrE,OAAO,QACJ,KAAK,QAAQ;IASZ,OAAO,IARO,KAAK,KAAK,CAAC,KAAK,WAAW;KACvC,MAAM,QAAQ,IAAI,MAAM,UAAU,MAAM,OAAO,GAAG;KAClD,IAAI,CAAC,OAAO,OAAO;KACnB,MAAM,OAAO,gBAAgB,MAAM,OAAO,MAAM,IAAI,SAAS;KAC7D,SAAS,KAAK,GAAG,KAAK,QAAQ;KAC9B,KAAK,KAAK,GAAG,KAAK,IAAI;KACtB,OAAO,KAAK;IACd,CACe,CAAC,CAAC,KAAK,IAAI,EAAE;GAC9B,CAAC,CAAC,CACD,KAAK,IAAI;EACd,OAAO;GACL,MAAM,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,GAAG,KAAK,mBAAmB,KAAK,KAAK,GAAG,KAAK;GAE9F,KAAK,MAAM,CAAC,KAAK,SAAS,SAAS;IACjC,MAAM,QAAQ,cAAc,MAAM,KAAK,QAAQ;IAC/C,MAAM,OAAO,MAAM;IACnB,MAAM,QAAQ,KAAK;IACnB,IACE,CAAC,QACD,CAAC,SACD,KAAK,WAAW,MAAM,UACtB,KAAK,WAAW,MAAM,UACtB,KAAK,WAAW,MAAM,QAEtB,KAAK,iBAAiB,KAAK,KAAK,GAAG,IAAI,4CAA4C;IAErF,IAAI,CAAC,MAAM,eAAe,KAAK,gBAAgB,MAC7C,KAAK,iBAAiB,KAAK,KAAK,GAAG,IAAI,iCAAiC;GAC5E;GACA,MAAM,OAAO,OAAO,QAAQ,CAAC,SAAS,QAAQ,MAAM,WAAW,OAAO,OAAO,GAAG,CAAC;GACjF,MAAM,cAAc,OAAO,SAAS,gBAAgB,IAAI,CAAC;GACzD,OAAO,KAAK,KAAK,KAAK,GAAG,WAAW,GAAG,MAAM,UAAU,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;GAC3K,SAAS,KAAK,GAAG,OAAO,QAAQ;GAChC,KAAK,KAAK,GAAG,OAAO,SAAS;EAC/B;CACF,OAAO;EACL,IAAI,UAAU,aAAa,KAAA,KAAa,OAAO,UAAU,aAAa,WAAW,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,MAAM,UAAU,KAAK,QAAQ;GACzD,OACE,UACA,QACG,KAAK,UAAU;IACd,MAAM,CAAC,KAAK,SAAS;IACrB,MAAM,QAAQ,cAAc,MAAM,KAAK,QAAQ;IAC/C,MAAM,OAAO,gBAAgB,MAAM,OAAO,OAAO,GAAG;IACpD,SAAS,KAAK,GAAG,KAAK,QAAQ;IAC9B,KAAK,KAAK,GAAG,KAAK,IAAI;IACtB,OAAO,GAAG,GAAG,MAAM,UAAU,EAAE,KAAK,KAAK;GAC3C,CAAC,CAAC,CACD,KAAK,IAAI;EAChB;EAMA,MAAM,aAAa,CAAC,gBALH,eACf,EAAE,KAAK,mBAAmB;GAAE;GAAM;EAAM,GAAG,UAAU,eAAe,SAAS,EAAE,GAC/E,KACA,IAEyC,CAAC,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;;AAiIA,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,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,kBAAkB,OAAgB,KAAmC;CAC5E,IAAI,OAAO,KAAK,GAAG,OAAO,OAAO,KAAK,CAAC,CAAC,MAAM,GAAG;CACjD,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"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "joist-core",
-  "version": "2.3.0-next.101",
+  "version": "2.3.0-next.102",
   "license": "MIT",
   "type": "module",
   "repository": {
@@ -42,7 +42,7 @@
     "build"
   ],
   "peerDependencies": {
-    "joist-utils": "2.3.0-next.101"
+    "joist-utils": "2.3.0-next.102"
   },
   "dependencies": {
     "ansis": "^4.3.1",