@prisma-next/target-postgres 0.3.0-dev.40 → 0.3.0-dev.43

package/README.md

@@ -34,7 +34,7 @@ This package spans multiple planes:
 
 This package provides the Postgres implementation of the SQL migration planner/runner used by `prisma-next db init`:
 
-- **Planner** (`src/core/migrations/planner.ts`): produces an additive-only `MigrationPlan` to bring the database schema in line with a destination contract. Extra unrelated schema is tolerated; non-additive mismatches (type/nullability/constraint incompatibilities) surface as structured conflicts. Storage type operations (from codec-owned hooks) are emitted before table operations when `storage.types` are present. The planner respects the contract's `foreignKeys` configuration: when `foreignKeys.constraints` is `false`, FK constraint operations are skipped; when `foreignKeys.indexes` is `false`, FK-backing indexes are omitted. See [ADR 161](../../../docs/architecture%20docs/adrs/ADR%20161%20-%20Explicit%20foreign%20key%20constraint%20and%20index%20configuration.md).
+- **Planner** (`src/core/migrations/planner.ts`): produces an additive-only `MigrationPlan` to bring the database schema in line with a destination contract. Extra unrelated schema is tolerated; non-additive mismatches (type/nullability/constraint incompatibilities) surface as structured conflicts. Storage type operations (from codec-owned hooks) are emitted before table operations when `storage.types` are present. The planner respects the contract's `foreignKeys` configuration: when `foreignKeys.constraints` is `false`, FK constraint operations are skipped; when `foreignKeys.indexes` is `false`, FK-backing indexes are omitted. See [ADR 161](../../../docs/architecture%20docs/adrs/ADR%20161%20-%20Explicit%20foreign%20key%20constraint%20and%20index%20configuration.md). The planner also emits `ON DELETE` and `ON UPDATE` referential action clauses when specified on foreign keys (see [ADR 162](../../../docs/architecture%20docs/adrs/ADR%20162%20-%20Referential%20actions%20for%20foreign%20keys.md)).
 - **Runner** (`src/core/migrations/runner.ts`): executes a plan under an advisory lock, verifies the post-state schema, then writes the contract marker and appends a ledger entry in the `prisma_contract` schema.
 
 For the CLI orchestration, see `packages/1-framework/3-tooling/cli/src/commands/db-init.ts`.
@@ -154,6 +154,7 @@ This package ships a mix of fast planner unit tests and slower runner integratio
 - **Test files**:
   - `test/migrations/planner.behavior.test.ts`: Planner unit tests (classification, conflicts, dependency ops)
   - `test/migrations/planner.fk-config.test.ts`: Planner unit tests for FK constraint/index configuration combinations
+  - `test/migrations/planner.referential-actions.test.ts`: Planner unit tests for ON DELETE/ON UPDATE DDL emission
   - `test/migrations/planner.integration.test.ts`: Planner integration tests
   - `test/migrations/runner.*.integration.test.ts`: Runner integration tests (basic, errors, idempotency, policy)
 

package/dist/control.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"control.d.mts","names":[],"sources":["../src/core/migrations/planner.ts","../src/exports/control.ts"],"sourcesContent":[],"mappings":";;;KAuCK,cAAA;UAuBY,yBAAA;EAvBZ,SAAA,MAAA,EAAc,MAAA;EAuBF,SAAA,UAAA,EAEM,cAFmB;;;;;;cChDpC,0BAA0B,uCAAuC"}
+{"version":3,"file":"control.d.mts","names":[],"sources":["../src/core/migrations/planner.ts","../src/exports/control.ts"],"sourcesContent":[],"mappings":";;;KAyCK,cAAA;UAuBY,yBAAA;EAvBZ,SAAA,MAAA,EAAc,MAAA;EAuBF,SAAA,UAAA,EAEM,cAFmB;;;;;;cClDpC,0BAA0B,uCAAuC"}

package/dist/control.mjs

@@ -2,37 +2,13 @@ import { t as postgresTargetDescriptorMeta } from "./descriptor-meta-DxB8oZzB.mj
 import { SQL_CHAR_CODEC_ID, SQL_FLOAT_CODEC_ID, SQL_INT_CODEC_ID, SQL_VARCHAR_CODEC_ID } from "@prisma-next/sql-relational-core/ast";
 import { arraysEqual, isIndexSatisfied, isUniqueConstraintSatisfied, verifySqlSchema } from "@prisma-next/family-sql/schema-verify";
 import { ifDefined } from "@prisma-next/utils/defined";
+import { bigintJsonReplacer, isTaggedBigInt } from "@prisma-next/contract/types";
 import { createMigrationPlan, extractCodecControlHooks, plannerFailure, plannerSuccess, runnerFailure, runnerSuccess } from "@prisma-next/family-sql/control";
 import { readMarker } from "@prisma-next/family-sql/verify";
 import { SqlQueryError } from "@prisma-next/sql-errors";
 import { ok, okVoid } from "@prisma-next/utils/result";
 
-//#region ../../6-adapters/postgres/dist/codec-ids-Bsm9c7ns.mjs
-const PG_TEXT_CODEC_ID = "pg/text@1";
-const PG_ENUM_CODEC_ID = "pg/enum@1";
-const PG_CHAR_CODEC_ID = "pg/char@1";
-const PG_VARCHAR_CODEC_ID = "pg/varchar@1";
-const PG_INT_CODEC_ID = "pg/int@1";
-const PG_INT2_CODEC_ID = "pg/int2@1";
-const PG_INT4_CODEC_ID = "pg/int4@1";
-const PG_INT8_CODEC_ID = "pg/int8@1";
-const PG_FLOAT_CODEC_ID = "pg/float@1";
-const PG_FLOAT4_CODEC_ID = "pg/float4@1";
-const PG_FLOAT8_CODEC_ID = "pg/float8@1";
-const PG_NUMERIC_CODEC_ID = "pg/numeric@1";
-const PG_BOOL_CODEC_ID = "pg/bool@1";
-const PG_BIT_CODEC_ID = "pg/bit@1";
-const PG_VARBIT_CODEC_ID = "pg/varbit@1";
-const PG_TIMESTAMP_CODEC_ID = "pg/timestamp@1";
-const PG_TIMESTAMPTZ_CODEC_ID = "pg/timestamptz@1";
-const PG_TIME_CODEC_ID = "pg/time@1";
-const PG_TIMETZ_CODEC_ID = "pg/timetz@1";
-const PG_INTERVAL_CODEC_ID = "pg/interval@1";
-const PG_JSON_CODEC_ID = "pg/json@1";
-const PG_JSONB_CODEC_ID = "pg/jsonb@1";
-
-//#endregion
-//#region ../../6-adapters/postgres/dist/descriptor-meta-D7pxo-wo.mjs
+//#region ../../6-adapters/postgres/dist/sql-utils-CSfAGEwF.mjs
 /**
 * Shared SQL utility functions for the Postgres adapter.
 *
@@ -106,6 +82,34 @@ function qualifyName(schemaName, objectName) {
 function validateEnumValueLength(value, enumTypeName) {
 	if (value.length > MAX_IDENTIFIER_LENGTH$1) throw new SqlEscapeError(`Enum value "${value.slice(0, 20)}..." for type "${enumTypeName}" exceeds PostgreSQL's ${MAX_IDENTIFIER_LENGTH$1}-character label limit`, value, "literal");
 }
+
+//#endregion
+//#region ../../6-adapters/postgres/dist/codec-ids-Bsm9c7ns.mjs
+const PG_TEXT_CODEC_ID = "pg/text@1";
+const PG_ENUM_CODEC_ID = "pg/enum@1";
+const PG_CHAR_CODEC_ID = "pg/char@1";
+const PG_VARCHAR_CODEC_ID = "pg/varchar@1";
+const PG_INT_CODEC_ID = "pg/int@1";
+const PG_INT2_CODEC_ID = "pg/int2@1";
+const PG_INT4_CODEC_ID = "pg/int4@1";
+const PG_INT8_CODEC_ID = "pg/int8@1";
+const PG_FLOAT_CODEC_ID = "pg/float@1";
+const PG_FLOAT4_CODEC_ID = "pg/float4@1";
+const PG_FLOAT8_CODEC_ID = "pg/float8@1";
+const PG_NUMERIC_CODEC_ID = "pg/numeric@1";
+const PG_BOOL_CODEC_ID = "pg/bool@1";
+const PG_BIT_CODEC_ID = "pg/bit@1";
+const PG_VARBIT_CODEC_ID = "pg/varbit@1";
+const PG_TIMESTAMP_CODEC_ID = "pg/timestamp@1";
+const PG_TIMESTAMPTZ_CODEC_ID = "pg/timestamptz@1";
+const PG_TIME_CODEC_ID = "pg/time@1";
+const PG_TIMETZ_CODEC_ID = "pg/timetz@1";
+const PG_INTERVAL_CODEC_ID = "pg/interval@1";
+const PG_JSON_CODEC_ID = "pg/json@1";
+const PG_JSONB_CODEC_ID = "pg/jsonb@1";
+
+//#endregion
+//#region ../../6-adapters/postgres/dist/descriptor-meta-ilnFI7bx.mjs
 const ENUM_INTROSPECT_QUERY = `
   SELECT
     n.nspname AS schema_name,
@@ -1037,6 +1041,8 @@ const STRING_LITERAL_PATTERN = /^'((?:[^']|'')*)'(?:::(?:"[^"]+"|[\w\s]+)(?:\(\d
 */
 function parsePostgresDefault(rawDefault, _nativeType) {
 	const trimmed = rawDefault.trim();
+	const normalizedType = _nativeType?.toLowerCase();
+	const isBigInt = normalizedType === "bigint" || normalizedType === "int8";
 	if (NEXTVAL_PATTERN.test(trimmed)) return {
 		kind: "function",
 		expression: "autoincrement()"
@@ -1055,21 +1061,39 @@ function parsePostgresDefault(rawDefault, _nativeType) {
 	};
 	if (TRUE_PATTERN.test(trimmed)) return {
 		kind: "literal",
-		expression: "true"
+		value: true
 	};
 	if (FALSE_PATTERN.test(trimmed)) return {
 		kind: "literal",
-		expression: "false"
-	};
-	if (NUMERIC_PATTERN.test(trimmed)) return {
-		kind: "literal",
-		expression: trimmed
+		value: false
 	};
+	if (NUMERIC_PATTERN.test(trimmed)) {
+		if (isBigInt) return {
+			kind: "literal",
+			value: {
+				$type: "bigint",
+				value: trimmed
+			}
+		};
+		return {
+			kind: "literal",
+			value: Number(trimmed)
+		};
+	}
 	const stringMatch = trimmed.match(STRING_LITERAL_PATTERN);
-	if (stringMatch?.[1] !== void 0) return {
-		kind: "literal",
-		expression: `'${stringMatch[1]}'`
-	};
+	if (stringMatch?.[1] !== void 0) {
+		const unescaped = stringMatch[1].replace(/''/g, "'");
+		if (normalizedType === "json" || normalizedType === "jsonb") try {
+			return {
+				kind: "literal",
+				value: JSON.parse(unescaped)
+			};
+		} catch {}
+		return {
+			kind: "literal",
+			value: unescaped
+		};
+	}
 	return {
 		kind: "function",
 		expression: trimmed
@@ -1160,17 +1184,31 @@ var PostgresControlAdapter = class {
            tc.constraint_name,
            kcu.column_name,
            kcu.ordinal_position,
-           ccu.table_schema AS referenced_table_schema,
-           ccu.table_name AS referenced_table_name,
-           ccu.column_name AS referenced_column_name
+           ref_ns.nspname AS referenced_table_schema,
+           ref_cl.relname AS referenced_table_name,
+           ref_att.attname AS referenced_column_name,
+           rc.delete_rule,
+           rc.update_rule
          FROM information_schema.table_constraints tc
          JOIN information_schema.key_column_usage kcu
            ON tc.constraint_name = kcu.constraint_name
            AND tc.table_schema = kcu.table_schema
            AND tc.table_name = kcu.table_name
-         JOIN information_schema.constraint_column_usage ccu
-           ON ccu.constraint_name = tc.constraint_name
-           AND ccu.table_schema = tc.table_schema
+         JOIN pg_catalog.pg_constraint pgc
+           ON pgc.conname = tc.constraint_name
+           AND pgc.connamespace = (
+             SELECT oid FROM pg_catalog.pg_namespace WHERE nspname = tc.table_schema
+           )
+         JOIN pg_catalog.pg_class ref_cl
+           ON ref_cl.oid = pgc.confrelid
+         JOIN pg_catalog.pg_namespace ref_ns
+           ON ref_ns.oid = ref_cl.relnamespace
+         JOIN pg_catalog.pg_attribute ref_att
+           ON ref_att.attrelid = pgc.confrelid
+           AND ref_att.attnum = pgc.confkey[kcu.ordinal_position]
+         JOIN information_schema.referential_constraints rc
+           ON rc.constraint_name = tc.constraint_name
+           AND rc.constraint_schema = tc.table_schema
          WHERE tc.table_schema = $1
            AND tc.constraint_type = 'FOREIGN KEY'
          ORDER BY tc.table_name, tc.constraint_name, kcu.ordinal_position`, [schema]),
@@ -1264,14 +1302,18 @@ var PostgresControlAdapter = class {
 					columns: [fkRow.column_name],
 					referencedTable: fkRow.referenced_table_name,
 					referencedColumns: [fkRow.referenced_column_name],
-					name: fkRow.constraint_name
+					name: fkRow.constraint_name,
+					deleteRule: fkRow.delete_rule,
+					updateRule: fkRow.update_rule
 				});
 			}
 			const foreignKeys = Array.from(foreignKeysMap.values()).map((fk) => ({
 				columns: Object.freeze([...fk.columns]),
 				referencedTable: fk.referencedTable,
 				referencedColumns: Object.freeze([...fk.referencedColumns]),
-				name: fk.name
+				name: fk.name,
+				...ifDefined("onDelete", mapReferentialAction(fk.deleteRule)),
+				...ifDefined("onUpdate", mapReferentialAction(fk.updateRule))
 			}));
 			const pkConstraints = pkConstraintsByTable.get(tableName) ?? /* @__PURE__ */ new Set();
 			const uniquesMap = /* @__PURE__ */ new Map();
@@ -1378,6 +1420,24 @@ function normalizeFormattedType(formattedType, dataType, udtName) {
 	if (formattedType.startsWith("\"") && formattedType.endsWith("\"")) return formattedType.slice(1, -1);
 	return formattedType;
 }
+const PG_REFERENTIAL_ACTION_MAP = {
+	"NO ACTION": "noAction",
+	RESTRICT: "restrict",
+	CASCADE: "cascade",
+	"SET NULL": "setNull",
+	"SET DEFAULT": "setDefault"
+};
+/**
+* Maps a Postgres referential action rule to the canonical SqlReferentialAction.
+* Returns undefined for 'NO ACTION' (the database default) to keep the IR sparse.
+* Throws for unrecognized rules to prevent silent data loss.
+*/
+function mapReferentialAction(rule) {
+	const mapped = PG_REFERENTIAL_ACTION_MAP[rule];
+	if (mapped === void 0) throw new Error(`Unknown PostgreSQL referential action rule: "${rule}". Expected one of: NO ACTION, RESTRICT, CASCADE, SET NULL, SET DEFAULT.`);
+	if (mapped === "noAction") return void 0;
+	return mapped;
+}
 /**
 * Groups an array of objects by a specified key.
 * Returns a Map for O(1) lookup by group key.
@@ -1782,10 +1842,7 @@ UNIQUE (${unique.columns.map(quoteIdentifier).join(", ")})`
 					}],
 					execute: [{
 						description: `add foreign key "${fkName}"`,
-						sql: `ALTER TABLE ${qualifyTableName(schemaName, tableName)}
-ADD CONSTRAINT ${quoteIdentifier(fkName)}
-FOREIGN KEY (${foreignKey.columns.map(quoteIdentifier).join(", ")})
-REFERENCES ${qualifyTableName(schemaName, foreignKey.references.table)} (${foreignKey.references.columns.map(quoteIdentifier).join(", ")})`
+						sql: buildForeignKeySql(schemaName, tableName, fkName, foreignKey)
 					}],
 					postcheck: [{
 						description: `verify foreign key "${fkName}" exists`,
@@ -1875,7 +1932,7 @@ function buildCreateTableSql(qualifiedTableName, table) {
 		return [
 			quoteIdentifier(columnName),
 			buildColumnTypeSql(column),
-			buildColumnDefaultSql(column.default),
+			buildColumnDefaultSql(column.default, column),
 			column.nullable ? "" : "NOT NULL"
 		].filter(Boolean).join(" ");
 	});
@@ -1919,16 +1976,31 @@ function renderParameterizedTypeSql(column) {
 *
 * Note: autoincrement is handled specially via SERIAL types, so we skip it here.
 */
-function buildColumnDefaultSql(columnDefault) {
+function buildColumnDefaultSql(columnDefault, column) {
 	if (!columnDefault) return "";
 	switch (columnDefault.kind) {
-		case "literal": return `DEFAULT ${columnDefault.expression}`;
+		case "literal": return `DEFAULT ${renderDefaultLiteral(columnDefault.value, column)}`;
 		case "function":
 			if (columnDefault.expression === "autoincrement()") return "";
 			return `DEFAULT ${columnDefault.expression}`;
 		case "sequence": return `DEFAULT nextval(${quoteIdentifier(columnDefault.name)}::regclass)`;
 	}
 }
+function renderDefaultLiteral(value, column) {
+	const isJsonColumn = column?.nativeType === "json" || column?.nativeType === "jsonb";
+	if (value instanceof Date) return `'${escapeLiteral(value.toISOString())}'`;
+	if (!isJsonColumn && isTaggedBigInt(value)) {
+		if (!/^-?\d+$/.test(value.value)) throw new Error(`Invalid tagged bigint value: "${value.value}" is not a valid integer`);
+		return value.value;
+	}
+	if (typeof value === "bigint") return value.toString();
+	if (typeof value === "string") return `'${escapeLiteral(value)}'`;
+	if (typeof value === "number" || typeof value === "boolean") return String(value);
+	if (value === null) return "NULL";
+	const json = JSON.stringify(value);
+	if (isJsonColumn) return `'${escapeLiteral(json)}'::${column.nativeType}`;
+	return `'${escapeLiteral(json)}'`;
+}
 function qualifyTableName(schema, table) {
 	return `${quoteIdentifier(schema)}.${quoteIdentifier(table)}`;
 }
@@ -1970,7 +2042,7 @@ function tableIsEmptyCheck(qualifiedTableName) {
 }
 function buildAddColumnSql(qualifiedTableName, columnName, column) {
 	const typeSql = buildColumnTypeSql(column);
-	const defaultSql = buildColumnDefaultSql(column.default);
+	const defaultSql = buildColumnDefaultSql(column.default, column);
 	return [
 		`ALTER TABLE ${qualifiedTableName}`,
 		`ADD COLUMN ${quoteIdentifier(columnName)} ${typeSql}`,
@@ -2049,6 +2121,30 @@ function compareStrings(a, b) {
 	if (b === void 0) return 1;
 	return a < b ? -1 : 1;
 }
+const REFERENTIAL_ACTION_SQL = {
+	noAction: "NO ACTION",
+	restrict: "RESTRICT",
+	cascade: "CASCADE",
+	setNull: "SET NULL",
+	setDefault: "SET DEFAULT"
+};
+function buildForeignKeySql(schemaName, tableName, fkName, foreignKey) {
+	let sql = `ALTER TABLE ${qualifyTableName(schemaName, tableName)}
+ADD CONSTRAINT ${quoteIdentifier(fkName)}
+FOREIGN KEY (${foreignKey.columns.map(quoteIdentifier).join(", ")})
+REFERENCES ${qualifyTableName(schemaName, foreignKey.references.table)} (${foreignKey.references.columns.map(quoteIdentifier).join(", ")})`;
+	if (foreignKey.onDelete !== void 0) {
+		const action = REFERENTIAL_ACTION_SQL[foreignKey.onDelete];
+		if (!action) throw new Error(`Unknown referential action for onDelete: ${String(foreignKey.onDelete)}`);
+		sql += `\nON DELETE ${action}`;
+	}
+	if (foreignKey.onUpdate !== void 0) {
+		const action = REFERENTIAL_ACTION_SQL[foreignKey.onUpdate];
+		if (!action) throw new Error(`Unknown referential action for onUpdate: ${String(foreignKey.onUpdate)}`);
+		sql += `\nON UPDATE ${action}`;
+	}
+	return sql;
+}
 
 //#endregion
 //#region src/core/migrations/statement-builders.ts
@@ -2161,7 +2257,7 @@ function buildLedgerInsertStatement(input) {
 	};
 }
 function jsonParam(value) {
-	return JSON.stringify(value ?? null);
+	return JSON.stringify(value ?? null, bigintJsonReplacer);
 }
 
 //#endregion