@prisma-next/target-postgres 0.2.0 → 0.3.0-dev.10

package/README.md

@@ -17,8 +17,8 @@ Provides the Postgres target descriptor (`SqlControlTargetDescriptor`) for CLI c
 - **Target Descriptor Export**: Exports the Postgres `SqlControlTargetDescriptor` for use in CLI configuration files
 - **Descriptor-First Design**: All declarative fields (version, capabilities, types, operations) are properties directly on the descriptor, eliminating the need for separate manifest files
 - **Multi-Plane Support**: Provides both migration-plane (control) and runtime-plane entry points for the Postgres target
-- **Planner Factory**: Implements `createPlanner()` to create Postgres-specific migration planners
-- **Runner Factory**: Implements `createRunner()` to create Postgres-specific migration runners
+- **Planner Factory**: Implements `migrations.createPlanner()` to create Postgres-specific migration planners
+- **Runner Factory**: Implements `migrations.createRunner()` to create Postgres-specific migration runners
 - **Database Dependency Consumption**: The planner extracts database dependencies from the configured framework components (passed as `frameworkComponents`), verifies each dependency against the live schema, and only emits install operations when required. The runner reuses the same metadata for post-apply verification, so there are no hardcoded extension mappings—database dependencies stay component-owned.
 
 This package spans multiple planes:
@@ -26,6 +26,15 @@ This package spans multiple planes:
 - **Runtime plane** (`src/exports/runtime.ts`): Runtime entry point for target-specific runtime code (future)
 - **Authoring pack ref** (`src/exports/pack.ts`): Pure data surface for contract builder workflows
 
+## `db init`
+
+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.
+- **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`.
+
 ## Usage
 
 ### Control Plane (CLI)
@@ -43,8 +52,8 @@ import postgresDriver from '@prisma-next/driver-postgres/control';
 // - id: 'postgres'
 // - version: '0.0.1'
 // - capabilities, types, operations (directly on descriptor)
-// - createPlanner(): creates a Postgres migration planner
-// - createRunner(): creates a Postgres migration runner
+// - migrations.createPlanner(): creates a Postgres migration planner
+// - migrations.createRunner(): creates a Postgres migration runner
 
 // Create family instance with target, adapter, and driver
 const family = sqlFamilyDescriptor.create({
@@ -54,18 +63,23 @@ const family = sqlFamilyDescriptor.create({
   extensions: [],
 });
 
+// Include the active framework components so planner/runner can resolve
+// component-owned database dependencies (e.g., extension installs).
+const frameworkComponents = [postgres, postgresAdapter];
+
 // Create planner and runner from target descriptor
-const planner = postgres.createPlanner(family);
-const runner = postgres.createRunner(family);
+const planner = postgres.migrations.createPlanner(family);
+const runner = postgres.migrations.createRunner(family);
 
 // Plan and execute migrations
-const planResult = planner.plan({ contract, schema, policy });
+const planResult = planner.plan({ contract, schema, policy, frameworkComponents });
 if (planResult.kind === 'success') {
   const executeResult = await runner.execute({
     plan: planResult.plan,
     driver,
     destinationContract: contract,
     policy,
+    frameworkComponents,
   });
   if (!executeResult.ok) {
     // Handle structured failure (e.g., EXECUTION_FAILED, PRECHECK_FAILED)
@@ -134,7 +148,8 @@ This package ships a mix of fast planner unit tests and slower runner integratio
 
 - **Default (`pnpm --filter @prisma-next/target-postgres test`)**: runs all tests including integration tests
 - **Test files**:
-  - `test/migrations/planner.case1.test.ts`: Planner unit tests
+  - `test/migrations/planner.behavior.test.ts`: Planner unit tests (classification, conflicts, dependency ops)
+  - `test/migrations/planner.integration.test.ts`: Planner integration tests
   - `test/migrations/runner.*.integration.test.ts`: Runner integration tests (basic, errors, idempotency, policy)
 
 ```bash

package/dist/{exports/chunk-2EJEPMD3.js → chunk-RKEXRSSI.js}

@@ -11,4 +11,4 @@ var postgresTargetDescriptorMeta = {
 export {
   postgresTargetDescriptorMeta
 };
-//# sourceMappingURL=chunk-2EJEPMD3.js.map
+//# sourceMappingURL=chunk-RKEXRSSI.js.map

package/dist/chunk-RKEXRSSI.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/core/descriptor-meta.ts"],"sourcesContent":["export const postgresTargetDescriptorMeta = {\n  kind: 'target',\n  familyId: 'sql',\n  targetId: 'postgres',\n  id: 'postgres',\n  version: '0.0.1',\n  capabilities: {},\n} as const;\n"],"mappings":";AAAO,IAAM,+BAA+B;AAAA,EAC1C,MAAM;AAAA,EACN,UAAU;AAAA,EACV,UAAU;AAAA,EACV,IAAI;AAAA,EACJ,SAAS;AAAA,EACT,cAAc,CAAC;AACjB;","names":[]}

package/dist/core/descriptor-meta.d.ts

@@ -0,0 +1,9 @@
+export declare const postgresTargetDescriptorMeta: {
+    readonly kind: "target";
+    readonly familyId: "sql";
+    readonly targetId: "postgres";
+    readonly id: "postgres";
+    readonly version: "0.0.1";
+    readonly capabilities: {};
+};
+//# sourceMappingURL=descriptor-meta.d.ts.map

package/dist/core/descriptor-meta.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"descriptor-meta.d.ts","sourceRoot":"","sources":["../../src/core/descriptor-meta.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,4BAA4B;;;;;;;CAO/B,CAAC"}

package/dist/core/migrations/planner.d.ts

@@ -0,0 +1,14 @@
+import type { SqlMigrationPlanner } from '@prisma-next/family-sql/control';
+type OperationClass = 'extension' | 'table' | 'unique' | 'index' | 'foreignKey';
+export interface PostgresPlanTargetDetails {
+    readonly schema: string;
+    readonly objectType: OperationClass;
+    readonly name: string;
+    readonly table?: string;
+}
+interface PlannerConfig {
+    readonly defaultSchema: string;
+}
+export declare function createPostgresMigrationPlanner(config?: Partial<PlannerConfig>): SqlMigrationPlanner<PostgresPlanTargetDetails>;
+export {};
+//# sourceMappingURL=planner.d.ts.map

package/dist/core/migrations/planner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"planner.d.ts","sourceRoot":"","sources":["../../../src/core/migrations/planner.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAEV,mBAAmB,EAIpB,MAAM,iCAAiC,CAAC;AAgBzC,KAAK,cAAc,GAAG,WAAW,GAAG,OAAO,GAAG,QAAQ,GAAG,OAAO,GAAG,YAAY,CAAC;AAuBhF,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,UAAU,aAAa;IACrB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC;AAMD,wBAAgB,8BAA8B,CAC5C,MAAM,GAAE,OAAO,CAAC,aAAa,CAAM,GAClC,mBAAmB,CAAC,yBAAyB,CAAC,CAKhD"}

package/dist/core/migrations/runner.d.ts

@@ -0,0 +1,8 @@
+import type { SqlControlFamilyInstance, SqlMigrationRunner } from '@prisma-next/family-sql/control';
+import type { PostgresPlanTargetDetails } from './planner';
+interface RunnerConfig {
+    readonly defaultSchema: string;
+}
+export declare function createPostgresMigrationRunner(family: SqlControlFamilyInstance, config?: Partial<RunnerConfig>): SqlMigrationRunner<PostgresPlanTargetDetails>;
+export {};
+//# sourceMappingURL=runner.d.ts.map

package/dist/core/migrations/runner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runner.d.ts","sourceRoot":"","sources":["../../../src/core/migrations/runner.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAEV,wBAAwB,EAIxB,kBAAkB,EAInB,MAAM,iCAAiC,CAAC;AAOzC,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,WAAW,CAAC;AAU3D,UAAU,YAAY;IACpB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC;AAoCD,wBAAgB,6BAA6B,CAC3C,MAAM,EAAE,wBAAwB,EAChC,MAAM,GAAE,OAAO,CAAC,YAAY,CAAM,GACjC,kBAAkB,CAAC,yBAAyB,CAAC,CAE/C"}

package/dist/core/migrations/statement-builders.d.ts

@@ -0,0 +1,30 @@
+export interface SqlStatement {
+    readonly sql: string;
+    readonly params: readonly unknown[];
+}
+export declare const ensurePrismaContractSchemaStatement: SqlStatement;
+export declare const ensureMarkerTableStatement: SqlStatement;
+export declare const ensureLedgerTableStatement: SqlStatement;
+export interface WriteMarkerInput {
+    readonly coreHash: string;
+    readonly profileHash: string;
+    readonly contractJson?: unknown;
+    readonly canonicalVersion?: number | null;
+    readonly appTag?: string | null;
+    readonly meta?: Record<string, unknown>;
+}
+export declare function buildWriteMarkerStatements(input: WriteMarkerInput): {
+    readonly insert: SqlStatement;
+    readonly update: SqlStatement;
+};
+export interface LedgerInsertInput {
+    readonly originCoreHash?: string | null;
+    readonly originProfileHash?: string | null;
+    readonly destinationCoreHash: string;
+    readonly destinationProfileHash?: string | null;
+    readonly contractJsonBefore?: unknown;
+    readonly contractJsonAfter?: unknown;
+    readonly operations: unknown;
+}
+export declare function buildLedgerInsertStatement(input: LedgerInsertInput): SqlStatement;
+//# sourceMappingURL=statement-builders.d.ts.map

package/dist/core/migrations/statement-builders.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"statement-builders.d.ts","sourceRoot":"","sources":["../../../src/core/migrations/statement-builders.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,SAAS,OAAO,EAAE,CAAC;CACrC;AAED,eAAO,MAAM,mCAAmC,EAAE,YAGjD,CAAC;AAEF,eAAO,MAAM,0BAA0B,EAAE,YAYxC,CAAC;AAEF,eAAO,MAAM,0BAA0B,EAAE,YAaxC,CAAC;AAEF,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAChC,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1C,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;CACzC;AAED,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,gBAAgB,GAAG;IACnE,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;CAC/B,CA+CA;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IACxC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3C,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,sBAAsB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAChD,QAAQ,CAAC,kBAAkB,CAAC,EAAE,OAAO,CAAC;IACtC,QAAQ,CAAC,iBAAiB,CAAC,EAAE,OAAO,CAAC;IACrC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;CAC9B;AAED,wBAAgB,0BAA0B,CAAC,KAAK,EAAE,iBAAiB,GAAG,YAAY,CA6BjF"}

package/dist/exports/control.d.ts

@@ -1,16 +1,8 @@
-import { SqlControlTargetDescriptor } from '@prisma-next/family-sql/control';
-
-type OperationClass = 'extension' | 'table' | 'unique' | 'index' | 'foreignKey';
-interface PostgresPlanTargetDetails {
-    readonly schema: string;
-    readonly objectType: OperationClass;
-    readonly name: string;
-    readonly table?: string;
-}
-
+import type { SqlControlTargetDescriptor } from '@prisma-next/family-sql/control';
+import type { PostgresPlanTargetDetails } from '../core/migrations/planner';
 /**
  * Postgres target descriptor for CLI config.
  */
 declare const postgresTargetDescriptor: SqlControlTargetDescriptor<'postgres', PostgresPlanTargetDetails>;
-
-export { postgresTargetDescriptor as default };
+export default postgresTargetDescriptor;
+//# sourceMappingURL=control.d.ts.map

package/dist/exports/control.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"control.d.ts","sourceRoot":"","sources":["../../src/exports/control.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAEV,0BAA0B,EAC3B,MAAM,iCAAiC,CAAC;AAEzC,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAC;AAI5E;;GAEG;AACH,QAAA,MAAM,wBAAwB,EAAE,0BAA0B,CAAC,UAAU,EAAE,yBAAyB,CAoC7F,CAAC;AAEJ,eAAe,wBAAwB,CAAC"}

package/dist/exports/control.js

@@ -1,6 +1,6 @@
 import {
   postgresTargetDescriptorMeta
-} from "./chunk-2EJEPMD3.js";
+} from "../chunk-RKEXRSSI.js";
 
 // src/core/migrations/planner.ts
 import {

package/dist/exports/pack.d.ts

@@ -1,5 +1,4 @@
-import { TargetPackRef } from '@prisma-next/contract/framework-components';
-
+import type { TargetPackRef } from '@prisma-next/contract/framework-components';
 declare const postgresPack: TargetPackRef<'sql', 'postgres'>;
-
-export { postgresPack as default };
+export default postgresPack;
+//# sourceMappingURL=pack.d.ts.map

package/dist/exports/pack.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pack.d.ts","sourceRoot":"","sources":["../../src/exports/pack.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,4CAA4C,CAAC;AAGhF,QAAA,MAAM,YAAY,EAAE,aAAa,CAAC,KAAK,EAAE,UAAU,CAAgC,CAAC;AAEpF,eAAe,YAAY,CAAC"}

package/dist/exports/pack.js

@@ -1,6 +1,6 @@
 import {
   postgresTargetDescriptorMeta
-} from "./chunk-2EJEPMD3.js";
+} from "../chunk-RKEXRSSI.js";
 
 // src/exports/pack.ts
 var postgresPack = postgresTargetDescriptorMeta;

package/dist/exports/runtime.d.ts

@@ -1,13 +1,12 @@
-import { RuntimeTargetDescriptor, RuntimeTargetInstance } from '@prisma-next/core-execution-plane/types';
-
+import type { RuntimeTargetDescriptor, RuntimeTargetInstance } from '@prisma-next/core-execution-plane/types';
 /**
  * Postgres runtime target instance interface.
  */
-interface PostgresRuntimeTargetInstance extends RuntimeTargetInstance<'sql', 'postgres'> {
+export interface PostgresRuntimeTargetInstance extends RuntimeTargetInstance<'sql', 'postgres'> {
 }
 /**
  * Postgres target descriptor for runtime plane.
  */
 declare const postgresRuntimeTargetDescriptor: RuntimeTargetDescriptor<'sql', 'postgres', PostgresRuntimeTargetInstance>;
-
-export { type PostgresRuntimeTargetInstance, postgresRuntimeTargetDescriptor as default };
+export default postgresRuntimeTargetDescriptor;
+//# sourceMappingURL=runtime.d.ts.map

package/dist/exports/runtime.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime.d.ts","sourceRoot":"","sources":["../../src/exports/runtime.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,uBAAuB,EACvB,qBAAqB,EACtB,MAAM,yCAAyC,CAAC;AAGjD;;GAEG;AACH,MAAM,WAAW,6BAA8B,SAAQ,qBAAqB,CAAC,KAAK,EAAE,UAAU,CAAC;CAAG;AAElG;;GAEG;AACH,QAAA,MAAM,+BAA+B,EAAE,uBAAuB,CAC5D,KAAK,EACL,UAAU,EACV,6BAA6B,CAS9B,CAAC;AAEF,eAAe,+BAA+B,CAAC"}

package/dist/exports/runtime.js

@@ -1,6 +1,6 @@
 import {
   postgresTargetDescriptorMeta
-} from "./chunk-2EJEPMD3.js";
+} from "../chunk-RKEXRSSI.js";
 
 // src/exports/runtime.ts
 var postgresRuntimeTargetDescriptor = {

package/package.json

@@ -1,33 +1,33 @@
 {
   "name": "@prisma-next/target-postgres",
-  "version": "0.2.0",
+  "version": "0.3.0-dev.10",
   "type": "module",
   "sideEffects": false,
   "description": "Postgres target pack for Prisma Next",
   "dependencies": {
     "arktype": "^2.0.0",
-    "@prisma-next/family-sql": "0.2.0",
-    "@prisma-next/cli": "0.2.0",
-    "@prisma-next/contract": "0.2.0",
-    "@prisma-next/sql-contract": "0.2.0",
-    "@prisma-next/sql-errors": "0.2.0",
-    "@prisma-next/sql-schema-ir": "0.2.0",
-    "@prisma-next/core-control-plane": "0.2.0",
-    "@prisma-next/core-execution-plane": "0.2.0",
-    "@prisma-next/utils": "0.2.0"
+    "@prisma-next/contract": "0.3.0-dev.10",
+    "@prisma-next/cli": "0.3.0-dev.10",
+    "@prisma-next/core-execution-plane": "0.3.0-dev.10",
+    "@prisma-next/core-control-plane": "0.3.0-dev.10",
+    "@prisma-next/family-sql": "0.3.0-dev.10",
+    "@prisma-next/sql-contract": "0.3.0-dev.10",
+    "@prisma-next/sql-errors": "0.3.0-dev.10",
+    "@prisma-next/sql-schema-ir": "0.3.0-dev.10",
+    "@prisma-next/utils": "0.3.0-dev.10"
   },
   "devDependencies": {
-    "@vitest/coverage-v8": "^4.0.0",
-    "vite-tsconfig-paths": "^5.1.4",
-    "tsup": "^8.3.0",
-    "typescript": "^5.9.3",
-    "vitest": "^4.0.16",
-    "@prisma-next/adapter-postgres": "0.2.0",
-    "@prisma-next/driver-postgres": "0.2.0",
+    "@vitest/coverage-v8": "4.0.16",
+    "tsup": "8.5.1",
+    "typescript": "5.9.3",
+    "vitest": "4.0.16",
+    "@prisma-next/adapter-postgres": "0.3.0-dev.10",
+    "@prisma-next/driver-postgres": "0.3.0-dev.10",
     "@prisma-next/test-utils": "0.0.1"
   },
   "files": [
     "dist",
+    "src",
     "packs"
   ],
   "exports": {
@@ -45,7 +45,7 @@
     }
   },
   "scripts": {
-    "build": "tsup --config tsup.config.ts",
+    "build": "tsup --config tsup.config.ts && tsc --project tsconfig.build.json",
     "test": "vitest run --passWithNoTests",
     "test:coverage": "vitest run --coverage --passWithNoTests",
     "typecheck": "tsc --project tsconfig.json --noEmit",

package/src/core/descriptor-meta.ts

@@ -0,0 +1,8 @@
+export const postgresTargetDescriptorMeta = {
+  kind: 'target',
+  familyId: 'sql',
+  targetId: 'postgres',
+  id: 'postgres',
+  version: '0.0.1',
+  capabilities: {},
+} as const;