@prisma-next/family-sql 0.14.0-dev.4 → 0.14.0-dev.40

package/dist/{types-kgstZ_Zd.d.mts → types-CkOIJXxU.d.mts}

@@ -1,13 +1,13 @@
-import { r as SqlControlAdapter } from "./control-adapter-Cmw9LvEP.mjs";
-import { ContractSerializer, ContractSpace, ControlAdapterDescriptor, ControlExtensionDescriptor, ControlFamilyInstance, ControlStack, MigratableTargetDescriptor, MigrationOperationPolicy, MigrationPlan, MigrationPlanOperation, MigrationPlannerConflict, MigrationPlannerFailureResult, MigrationPlannerSuccessResult, MigrationRunnerExecutionChecks, MigrationRunnerFailure, MigrationRunnerPerSpaceSuccessValue, MigrationRunnerResult, OpFactoryCall, OperationContext, OperationPreview, OperationPreviewCapable, PslContractInferCapable, SchemaIssue, SchemaVerifier, SchemaViewCapable, SignDatabaseResult, VerifyDatabaseResult, VerifyDatabaseSchemaResult } from "@prisma-next/framework-components/control";
+import { r as SqlControlAdapter } from "./control-adapter-DHYFuOBy.mjs";
+import { Contract, ControlPolicy } from "@prisma-next/contract/types";
+import { ContractSerializer, ContractSpace, ControlAdapterDescriptor, ControlExtensionDescriptor, ControlFamilyInstance, ControlStack, DiffIssue, MigratableTargetDescriptor, MigrationOperationPolicy, MigrationPlan, MigrationPlanOperation, MigrationPlannerConflict, MigrationPlannerFailureResult, MigrationPlannerSuccessResult, MigrationRunnerExecutionChecks, MigrationRunnerFailure, MigrationRunnerPerSpaceSuccessValue, MigrationRunnerResult, OpFactoryCall, OperationContext, OperationPreview, OperationPreviewCapable, PslContractInferCapable, SchemaDiffer, SchemaIssue, SchemaVerifier, SchemaViewCapable, SignDatabaseResult, VerifyDatabaseResult, VerifyDatabaseSchemaResult } from "@prisma-next/framework-components/control";
 import { SqlControlDriverInstance, SqlStorage, StorageColumn, StorageTable, StorageTypeInstance } from "@prisma-next/sql-contract/types";
-import { PslDocumentAst } from "@prisma-next/framework-components/psl-ast";
-import { Contract } from "@prisma-next/contract/types";
 import { Result } from "@prisma-next/utils/result";
 import { AnyQueryAst, DdlNode, LowererContext, SqlExecuteRequest } from "@prisma-next/sql-relational-core/ast";
-import { SqlSchemaIR } from "@prisma-next/sql-schema-ir/types";
+import { SqlSchemaIR, SqlSchemaIRNode } from "@prisma-next/sql-schema-ir/types";
 import { TargetBoundComponentDescriptor } from "@prisma-next/framework-components/components";
 import { TypesImportSpec } from "@prisma-next/framework-components/emission";
+import { PslDocumentAst } from "@prisma-next/framework-components/psl-ast";
 import { AggregateMigrationEdgeRef } from "@prisma-next/migration-tools/aggregate";
 import { SqlOperationDescriptors } from "@prisma-next/sql-operations";
 
@@ -24,7 +24,7 @@ interface SqlFamilyInstanceState {
   readonly extensionIds: ReadonlyArray<string>;
   readonly typeMetadataRegistry: SqlTypeMetadataRegistry;
 }
-interface SqlControlFamilyInstance extends ControlFamilyInstance<'sql', SqlSchemaIR>, SchemaViewCapable<SqlSchemaIR>, PslContractInferCapable<SqlSchemaIR>, OperationPreviewCapable, SqlFamilyInstanceState {
+interface SqlControlFamilyInstance extends ControlFamilyInstance<'sql', SqlSchemaIRNode>, SchemaViewCapable<SqlSchemaIRNode>, PslContractInferCapable<SqlSchemaIRNode>, OperationPreviewCapable, SqlFamilyInstanceState {
   /**
    * The family seam-of-record for on-disk contract reads. Structurally
    * validates the JSON envelope, then hydrates IR-class instances via
@@ -42,18 +42,17 @@ interface SqlControlFamilyInstance extends ControlFamilyInstance<'sql', SqlSchem
     readonly configPath?: string;
   }): Promise<VerifyDatabaseResult>;
   /**
-   * Verify a contract against an already-introspected schema slice.
+   * Verify a contract against an already-introspected schema.
    *
    * Callers that need to verify against the live database compose
    * `introspect({ driver })` + `verifySchema({ contract, schema, ... })`.
-   * The aggregate verifier projects each member's claimed slice via
-   * `projectSchemaToSpace` and hands the projected slice in — this
-   * keeps per-member verification from surfacing sibling-space tables
-   * as `extras`.
+   * The aggregate verifier hands in the full introspected schema and scopes
+   * the returned result to each member's contract space afterwards — so
+   * sibling-space tables never survive as `extras`.
    */
   verifySchema(options: {
     readonly contract: unknown;
-    readonly schema: SqlSchemaIR;
+    readonly schema: SqlSchemaIRNode;
     readonly strict: boolean;
     readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;
   }): VerifyDatabaseSchemaResult;
@@ -66,8 +65,8 @@ interface SqlControlFamilyInstance extends ControlFamilyInstance<'sql', SqlSchem
   introspect(options: {
     readonly driver: SqlControlDriverInstance<string>;
     readonly contract?: unknown;
-  }): Promise<SqlSchemaIR>;
-  inferPslContract(schemaIR: SqlSchemaIR): PslDocumentAst;
+  }): Promise<SqlSchemaIRNode>;
+  inferPslContract(schemaIR: SqlSchemaIRNode): PslDocumentAst;
   lowerAst(ast: AnyQueryAst | DdlNode, context: LowererContext<unknown>): Promise<SqlExecuteRequest>;
   /**
    * Inserts the initial marker row for `space` (upsert on `space`).
@@ -114,10 +113,40 @@ interface SqlControlFamilyInstance extends ControlFamilyInstance<'sql', SqlSchem
     };
   }): Promise<void>;
   bootstrapControlTableQueries(): readonly DdlNode[];
-  bootstrapSignMarkerQueries(): readonly DdlNode[];
   toOperationPreview(operations: readonly MigrationPlanOperation[]): OperationPreview;
 }
 //#endregion
+//#region src/core/migrations/schema-differ.d.ts
+/**
+ * Inputs to a SQL target's schema-differ (`diffDatabaseSchema` /
+ * `verifyDatabaseSchema` on the descriptor): the contract (the expected side
+ * derives from it), the introspected actual schema node, and the resolution
+ * context the relational diff needs.
+ */
+interface DiffDatabaseSchemaInput {
+  readonly contract: Contract<SqlStorage>;
+  readonly schema: SqlSchemaIRNode;
+  readonly strict: boolean;
+  readonly typeMetadataRegistry: ReadonlyMap<string, {
+    readonly nativeType?: string;
+  }>;
+  readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;
+}
+/**
+ * The `SchemaDiffer` a SQL target implements: the black-box comparison of the
+ * contract's expected schema against the introspected actual schema, projected
+ * to the two issue lists. How it computes them is private to the target.
+ */
+type SqlDiffDatabaseSchema = SchemaDiffer<DiffDatabaseSchemaInput>['diff'];
+/**
+ * The same combined comparison as {@link SqlDiffDatabaseSchema}, wrapped in the
+ * verify envelope (`ok`/`summary`/`code`/`target`/`timings`) plus the
+ * pass/warn/fail tree the CLI renders. Verify calls this instead of the diff so
+ * the relational walk that produces the tree runs once per verify, not once for
+ * the diff and again for the tree.
+ */
+type SqlVerifyDatabaseSchema = (input: DiffDatabaseSchemaInput) => VerifyDatabaseSchemaResult;
+//#endregion
 //#region src/core/migrations/types.d.ts
 type AnyRecord = Readonly<Record<string, unknown>>;
 interface StorageTypePlanResult<TTargetDetails> {
@@ -356,7 +385,12 @@ interface SqlPlannerFailureResult extends Omit<MigrationPlannerFailureResult, 'c
 type SqlPlannerResult<TTargetDetails> = SqlPlannerSuccessResult<TTargetDetails> | SqlPlannerFailureResult;
 interface SqlMigrationPlannerPlanOptions {
   readonly contract: Contract<SqlStorage>;
-  readonly schema: SqlSchemaIR;
+  /**
+   * The "from"/live schema as the target's introspected node (SQLite a flat
+   * `SqlSchemaIR`, Postgres a `PostgresDatabaseSchemaNode` root). Structure-aware
+   * consumers narrow the concrete shape before walking it.
+   */
+  readonly schema: SqlSchemaIRNode;
   readonly policy: MigrationOperationPolicy;
   readonly schemaName?: string;
   /**
@@ -391,6 +425,16 @@ interface SqlMigrationPlannerPlanOptions {
    * All components must have matching familyId ('sql') and targetId.
    */
   readonly frameworkComponents: ReadonlyArray<TargetBoundComponentDescriptor<'sql', string>>;
+  /**
+   * Caller-supplied keep-predicate the planner applies to its schema diff
+   * (via `SchemaDiff.filter`) before building operations. The orchestration
+   * constructs it so the diff findings reaching op-building are exactly the
+   * contract space's own — e.g. dropping the `extra` findings for elements a
+   * sibling contract space declares, so the planner never emits DROP ops
+   * against another space's tables. The planner applies it blindly and holds
+   * no ownership logic. Absent for single-space plans.
+   */
+  readonly keepDiffIssue?: (issue: DiffIssue) => boolean;
 }
 interface SqlMigrationPlanner<TTargetDetails> {
   plan(options: SqlMigrationPlannerPlanOptions): SqlPlannerResult<TTargetDetails>;
@@ -495,6 +539,29 @@ interface SqlControlTargetDescriptor<TTargetId extends string, TTargetDetails, T
    * the base, the target-specific dispatch on the subclass.
    */
   readonly schemaVerifier: SchemaVerifier<TContract, SqlSchemaIR>;
+  /**
+   * Database→PSL inference for `contract infer`. Target logic (owns the dialect
+   * maps), so it lives on the descriptor. Optional: targets without `contract
+   * infer` (Mongo) omit it, and the family instance throws when it is absent.
+   */
+  readonly inferPslContract?: (schema: SqlSchemaIRNode) => PslDocumentAst;
+  /**
+   * The single combined database-schema diff of two derived representations —
+   * the target's black-box comparison. Every SQL target provides it (Postgres
+   * returns relational + policy issues; SQLite returns relational only). It is
+   * schema logic on the target, not database I/O, so it lives here rather than
+   * on the control adapter. How it computes the two issue sets is private.
+   * See {@link SqlDiffDatabaseSchema} / {@link SqlVerifyDatabaseSchema}.
+   */
+  readonly diffDatabaseSchema: SqlDiffDatabaseSchema;
+  /**
+   * The same combined comparison as {@link diffDatabaseSchema}, wrapped in the
+   * verify envelope (`ok`/`summary`/`code`/`target`/`timings`) plus the
+   * pass/warn/fail tree the CLI renders. Verify calls this instead of
+   * `diffDatabaseSchema` so the relational walk that produces the tree runs
+   * once per verify, not once for the diff and again for the tree.
+   */
+  readonly verifyDatabaseSchema: SqlVerifyDatabaseSchema;
   createPlanner(adapter: SqlControlAdapter<TTargetId>): SqlMigrationPlanner<TTargetDetails>;
   createRunner(family: SqlControlFamilyInstance): SqlMigrationRunner<TTargetDetails>;
 }
@@ -517,4 +584,4 @@ interface CreateSqlMigrationPlanOptions<TTargetDetails> {
 }
 //#endregion
 export { SqlPlannerResult as A, SqlMigrationRunnerResult as C, SqlPlannerConflictKind as D, SqlPlannerConflict as E, StorageTypePlanResult as M, SqlControlFamilyInstance as N, SqlPlannerConflictLocation as O, SqlMigrationRunnerFailure as S, SqlPlanTargetDetails as T, SqlMigrationPlannerPlanOptions as _, FieldEvent as a, SqlMigrationRunnerExecuteCallbacks as b, SqlControlAdapterDescriptor as c, SqlMigrationPlan as d, SqlMigrationPlanContractInfo as f, SqlMigrationPlanner as g, SqlMigrationPlanOperationTarget as h, ExpandNativeTypeInput as i, SqlPlannerSuccessResult as j, SqlPlannerFailureResult as k, SqlControlExtensionDescriptor as l, SqlMigrationPlanOperationStep as m, CodecControlHooks as n, FieldEventContext as o, SqlMigrationPlanOperation as p, CreateSqlMigrationPlanOptions as r, ResolveIdentityValueInput as s, AnyRecord as t, SqlControlTargetDescriptor as u, SqlMigrationRunner as v, SqlMigrationRunnerSuccessValue as w, SqlMigrationRunnerExecuteOptions as x, SqlMigrationRunnerErrorCode as y };
-//# sourceMappingURL=types-kgstZ_Zd.d.mts.map
+//# sourceMappingURL=types-CkOIJXxU.d.mts.map

package/dist/types-CkOIJXxU.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types-CkOIJXxU.d.mts","names":[],"sources":["../src/core/control-instance.ts","../src/core/migrations/schema-differ.ts","../src/core/migrations/types.ts"],"mappings":";;;;;;;;;;;;;;UAiLU,eAAA;EAAA,SACC,MAAA;EAAA,SACA,QAAA;EAAA,SACA,QAAA;EAAA,SACA,UAAA;AAAA;AAAA,KAGN,uBAAA,GAA0B,GAAG,SAAS,eAAA;AAAA,UAEjC,sBAAA;EAAA,SACC,gBAAA,EAAkB,aAAA,CAAc,eAAA;EAAA,SAChC,YAAA,EAAc,aAAA;EAAA,SACd,oBAAA,EAAsB,uBAAA;AAAA;AAAA,UAGhB,wBAAA,SACP,qBAAA,QAA6B,eAAA,GACnC,iBAAA,CAAkB,eAAA,GAClB,uBAAA,CAAwB,eAAA,GACxB,uBAAA,EACA,sBAAA;EAhBO;;AAAU;AAAA;;;;AAGqC;EAsBxD,mBAAA,CAAoB,YAAA,YAAwB,QAAA;EAE5C,MAAA,CAAO,OAAA;IAAA,SACI,MAAA,EAAQ,wBAAA;IAAA,SACR,QAAA;IAAA,SACA,gBAAA;IAAA,SACA,YAAA;IAAA,SACA,UAAA;EAAA,IACP,OAAA,CAAQ,oBAAA;EAzB0C;;;;;;;;;EAoCtD,YAAA,CAAa,OAAA;IAAA,SACF,QAAA;IAAA,SACA,MAAA,EAAQ,eAAA;IAAA,SACR,MAAA;IAAA,SACA,mBAAA,EAAqB,aAAA,CAAc,8BAAA;EAAA,IAC1C,0BAAA;EAEJ,IAAA,CAAK,OAAA;IAAA,SACM,MAAA,EAAQ,wBAAA;IAAA,SACR,QAAA;IAAA,SACA,YAAA;IAAA,SACA,UAAA;EAAA,IACP,OAAA,CAAQ,kBAAA;EAEZ,UAAA,CAAW,OAAA;IAAA,SACA,MAAA,EAAQ,wBAAA;IAAA,SACR,QAAA;EAAA,IACP,OAAA,CAAQ,eAAA;EAEZ,gBAAA,CAAiB,QAAA,EAAU,eAAA,GAAkB,cAAA;EAE7C,QAAA,CACE,GAAA,EAAK,WAAA,GAAc,OAAA,EACnB,OAAA,EAAS,cAAA,YACR,OAAA,CAAQ,iBAAA;EATQ;;;;;EAgBnB,UAAA,CAAW,OAAA;IAAA,SACA,MAAA,EAAQ,wBAAA;IAAA,SACR,KAAA;IAAA,SACA,WAAA;MAAA,SACE,WAAA;MAAA,SACA,WAAA;MAAA,SACA,UAAA;IAAA;EAAA,IAET,OAAA;EAsBe;;;;EAhBnB,YAAA,CAAa,OAAA;IAAA,SACF,MAAA,EAAQ,wBAAA;IAAA,SACR,KAAA;IAAA,SACA,YAAA;IAAA,SACA,WAAA;MAAA,SACE,WAAA;MAAA,SACA,WAAA;MAAA,SACA,UAAA;IAAA;EAAA,IAET,OAAA;EArFF;;;;EA2FF,gBAAA,CAAiB,OAAA;IAAA,SACN,MAAA,EAAQ,wBAAA;IAAA,SACR,KAAA;IAAA,SACA,KAAA;MAAA,SACE,MAAA;MAAA,SACA,IAAA;MAAA,SACA,EAAA;MAAA,SACA,aAAA;MAAA,SACA,aAAA;MAAA,SACA,UAAA;IAAA;EAAA,IAET,OAAA;EAEJ,4BAAA,aAAyC,OAAA;EAEzC,kBAAA,CAAmB,UAAA,WAAqB,sBAAA,KAA2B,gBAAA;AAAA;;;;;;;;;UC7RpD,uBAAA;EAAA,SACN,QAAA,EAAU,QAAA,CAAS,UAAA;EAAA,SACnB,MAAA,EAAQ,eAAA;EAAA,SACR,MAAA;EAAA,SACA,oBAAA,EAAsB,WAAA;IAAA,SAA+B,UAAA;EAAA;EAAA,SACrD,mBAAA,EAAqB,aAAA,CAAc,8BAAA;AAAA;;;;ADiKzB;AAAA;KCzJT,qBAAA,GAAwB,YAAY,CAAC,uBAAA;;;AD4JS;AAAA;;;;KCnJ9C,uBAAA,IACV,KAAA,EAAO,uBAAA,KACJ,0BAA0B;;;KCCnB,SAAA,GAAY,QAAQ,CAAC,MAAA;AAAA,UAEhB,qBAAA;EAAA,SACN,UAAA,WAAqB,yBAAyB,CAAC,cAAA;AAAA;;;;UAMzC,qBAAA;EAAA,SACN,UAAA;EAAA,SACA,OAAA;EAAA,SACA,UAAA,GAAa,MAAM;AAAA;AFiIT;;;;AAGqC;AAAA;;AAHrC,UEvHJ,yBAAA;EAAA,SACN,UAAA;EAAA,SACA,OAAA;EAAA,SACA,UAAA,GAAa,MAAM;AAAA;;;;;;;;;;;AF4H0B;AAGxD;;;KE9GY,UAAA;;;;;;;;;;;;;UAcK,iBAAA;EAAA,SACN,WAAA;EAAA,SACA,SAAA;EAAA,SACA,SAAA;EAAA,SACA,UAAA,GAAa,YAAA;EAAA,SACb,QAAA,GAAW,YAAA;EAAA,SACX,UAAA,GAAa,aAAA;EAAA,SACb,QAAA,GAAW,aAAA;AAAA;AAAA,UAGL,iBAAA;EACf,kBAAA,IAAsB,OAAA;IAAA,SACX,QAAA;IAAA,SACA,YAAA,EAAc,mBAAA;IAAA,SACd,QAAA,EAAU,QAAA,CAAS,UAAA;IAAA,SACnB,MAAA,EAAQ,WAAA;IAAA,SACR,UAAA;IAAA,SACA,MAAA,EAAQ,wBAAA;EAAA,MACb,qBAAA,CAAsB,cAAA;EAC5B,UAAA,IAAc,OAAA;IAAA,SACH,QAAA;IAAA,SACA,YAAA,EAAc,mBAAA;IAAA,SACd,MAAA,EAAQ,WAAA;IAAA,SACR,UAAA;EAAA,eACI,WAAA;EACf,eAAA,IAAmB,OAAA;IAAA,SACR,MAAA,EAAQ,wBAAA;IAAA,SACR,UAAA;EAAA,MACL,OAAA,CAAQ,MAAA,SAAe,mBAAA;EFqEQ;;;;;;;;;;EE1DrC,gBAAA,IAAoB,KAAA,EAAO,qBAAA;EF0EhB;;;;;;;;;EEhEX,oBAAA,IAAwB,KAAA,EAAO,yBAAA;EFiFpB;;;;;;;;;;;;;;EElEX,YAAA,IAAgB,KAAA,EAAO,UAAA,EAAY,GAAA,EAAK,iBAAA,cAA+B,aAAA;AAAA;AAAA,UAGxD,6BAAA,mCACP,0BAAA,QAAkC,SAAA;EAAA,SACjC,eAAA,SAAwB,uBAAA;EF0EjC;;;;;;;;;;;EAAA,SE9DS,aAAA,GAAgB,aAAA,CAAc,QAAA,CAAS,UAAA;AAAA;AAAA,UAGjC,2BAAA,mCACP,wBAAA,QAAgC,SAAA,EAAW,iBAAA,CAAkB,SAAA;EAAA,SAC5D,eAAA,SAAwB,uBAAA;AAAA;AAAA,UAGlB,6BAAA;EAAA,SACN,WAAA;EAAA,SACA,GAAA;EFqET;;;;;;;;EAAA,SE5DS,MAAA;EAAA,SACA,IAAA,GAAO,SAAS;AAAA;;;;;;;;UAUV,oBAAA;EAAA,SACN,MAAA;EAAA,SACA,IAAI;AAAA;AAAA,UAGE,+BAAA;EAAA,SACN,EAAA;EAAA,SACA,OAAA,GAAU,cAAc;AAAA;AAAA,UAGlB,yBAAA,yBAAkD,sBAAA;EAAA,SACxD,OAAA;EAAA,SACA,MAAA,EAAQ,+BAAA,CAAgC,cAAA;EAAA,SACxC,QAAA,WAAmB,6BAAA;EAAA,SACnB,OAAA,WAAkB,6BAAA;EAAA,SAClB,SAAA,WAAoB,6BAAA;EAAA,SACpB,IAAA,GAAO,SAAA;AAAA;AAAA,UAGD,4BAAA;EAAA,SACN,WAAA;EAAA,SACA,WAAW;AAAA;AAAA,UAGL,gBAAA,yBAAyC,aAAA;EFqEW;;AAAgB;;;;AC7RrF;;;;;;;;ED6RqE,SEtD1D,OAAA;EDlOkC;;;;EAAA,SCuOlC,MAAA,GAAS,4BAAA;ED1OT;;;EAAA,SC8OA,WAAA,EAAa,4BAAA;EAAA,SACb,UAAA,YACL,yBAAA,CAA0B,cAAA,IAC1B,OAAA,CAAQ,yBAAA,CAA0B,cAAA;ED/OwB;;;;;AACY;AAQ5E;;EATgE,SCyPrD,kBAAA;EAAA,SACA,IAAA,GAAO,SAAA;AAAA;AAAA,KAGN,sBAAA;AAAA,UASK,0BAAA;EAAA,SACN,SAAA;EAAA,SACA,KAAA;EAAA,SACA,MAAA;EAAA,SACA,KAAA;EAAA,SACA,UAAA;EAAA,SACA,IAAA;AAAA;AAAA,UAGM,kBAAA,SAA2B,wBAAA;EAAA,SACjC,IAAA,EAAM,sBAAA;EAAA,SACN,QAAA,GAAW,0BAAA;EAAA,SACX,IAAA,GAAO,SAAA;AAAA;AAAA,UAGD,uBAAA,yBACP,IAAA,CAAK,6BAAA;EAAA,SACJ,IAAA;EAAA,SACA,IAAA,EAAM,gBAAA,CAAiB,cAAA;AAAA;AAAA,UAGjB,uBAAA,SAAgC,IAAA,CAAK,6BAAA;EAAA,SAC3C,IAAA;EAAA,SACA,SAAA,WAAoB,kBAAA;AAAA;AAAA,KAGnB,gBAAA,mBACR,uBAAA,CAAwB,cAAA,IACxB,uBAAA;AAAA,UAEa,8BAAA;EAAA,SACN,QAAA,EAAU,QAAA,CAAS,UAAA;EA7Q0C;AAAA;AAMxE;;;EANwE,SAmR7D,MAAA,EAAQ,eAAA;EAAA,SACR,MAAA,EAAQ,wBAAA;EAAA,SACR,UAAA;EA5QA;;;AAAmB;AAU9B;;;EAVW,SAoRA,OAAA;EAzQA;;;;;AAEmB;AAiB9B;;;;AAAsB;AActB;;;;;EAjCW,SA0RA,YAAA,EAAc,QAAA,CAAS,UAAA;EAlPZ;;;;;;EAAA,SAyPX,mBAAA,EAAqB,aAAA,CAAc,8BAAA;EA5PtB;;;;;;;;AAGW;EAHX,SAsQb,aAAA,IAAiB,KAAA,EAAO,SAAA;AAAA;AAAA,UAGlB,mBAAA;EACf,IAAA,CAAK,OAAA,EAAS,8BAAA,GAAiC,gBAAA,CAAiB,cAAA;AAAA;AAAA,UAGjD,kCAAA;EACf,gBAAA,EAAkB,SAAA,EAAW,yBAAA,CAA0B,cAAA;EACvD,mBAAA,EAAqB,SAAA,EAAW,yBAAA,CAA0B,cAAA;AAAA;AAAA,UAG3C,gCAAA;EAAA,SACN,IAAA,EAAM,gBAAA,CAAiB,cAAA;EAAA,SACvB,MAAA,EAAQ,wBAAA;EAhQF;;;;;;;EAAA,SAwQN,KAAA;EAhO+B;;;;EAAA,SAqO/B,mBAAA,EAAqB,QAAA,CAAS,UAAA;EA1RvC;;;;EAAA,SA+RS,MAAA,EAAQ,wBAAA;EAAA,SACR,UAAA;EAAA,SACA,kBAAA;EAAA,SACA,SAAA,GAAY,kCAAA,CAAmC,cAAA;EAAA,SAC/C,OAAA,GAAU,gBAAA;EA9RR;;;;EAAA,SAmSF,eAAA,GAAkB,8BAAA;EAjSC;;;;;;EAAA,SAwSnB,mBAAA,EAAqB,aAAA,CAAc,8BAAA;EAnSjC;;;;EAAA,SAwSF,cAAA,WAAyB,yBAAA;AAAA;AAAA,KAGxB,2BAAA;AAAA,UAYK,yBAAA,SAAkC,sBAAA;EAAA,SACxC,IAAA,EAAM,2BAAA;EAAA,SACN,IAAA,GAAO,SAAA;AAAA;AAAA,UAGD,8BAAA,SAAuC,mCAAmC;AAAA,KAE/E,wBAAA,GAA2B,MAAA,CACrC,8BAAA,EACA,yBAAA;AAAA,UAGe,kBAAA;EAzSgB;;;;;;;;;AAeqD;AAGtF;;;EAqSE,OAAA,CAAQ,OAAA;IAAA,SACG,MAAA,EAAQ,wBAAA;IAAA,SACR,eAAA,EAAiB,aAAA,CAAc,gCAAA,CAAiC,cAAA;EAAA,IACvE,OAAA,CAAQ,qBAAA;EA1Ra;;;;;;;;;;EAsSzB,mBAAA,CACE,OAAA,EAAS,gCAAA,CAAiC,cAAA,IACzC,OAAA,CAAQ,wBAAA;AAAA;AAAA,UAGI,0BAAA,6DAGG,QAAA,CAAS,UAAA,IAAc,QAAA,CAAS,UAAA,WAC1C,0BAAA,QAAkC,SAAA,EAAW,wBAAA;EAAA,SAC5C,eAAA,SAAwB,uBAAA;EAhTyB;AAG5D;;;;;EAH4D,SAuTjD,kBAAA,EAAoB,kBAAA,CAAmB,SAAA;EAlTf;;;;;;EAAA,SAyTxB,cAAA,EAAgB,cAAA,CAAe,SAAA,EAAW,WAAA;EA1TA;;;;;EAAA,SAgU1C,gBAAA,IAAoB,MAAA,EAAQ,eAAA,KAAoB,cAAA;EA5T1C;;;;;;;;EAAA,SAqUN,kBAAA,EAAoB,qBAAA;EAzTJ;AAAA;AAU3B;;;;AAEe;EAZY,SAiUhB,oBAAA,EAAsB,uBAAA;EAC/B,aAAA,CAAc,OAAA,EAAS,iBAAA,CAAkB,SAAA,IAAa,mBAAA,CAAoB,cAAA;EAC1E,YAAA,CAAa,MAAA,EAAQ,wBAAA,GAA2B,kBAAA,CAAmB,cAAA;AAAA;AAAA,UAGpD,6BAAA;EAAA,SACN,QAAA;EAtTA;;;EAAA,SA0TA,OAAA;EAAA,SACA,MAAA,GAAS,4BAAA;EAAA,SACT,WAAA,EAAa,4BAAA;EAAA,SACb,UAAA,WAAqB,yBAAA,CAA0B,cAAA;EAxTP;;;;;EAAA,SA8TxC,kBAAA;EAAA,SACA,IAAA,GAAO,SAAA;AAAA"}

package/package.json

@@ -1,34 +1,34 @@
 {
   "name": "@prisma-next/family-sql",
-  "version": "0.14.0-dev.4",
+  "version": "0.14.0-dev.40",
   "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
   "description": "SQL family descriptor for Prisma Next",
   "dependencies": {
-    "@prisma-next/contract": "0.14.0-dev.4",
-    "@prisma-next/emitter": "0.14.0-dev.4",
-    "@prisma-next/framework-components": "0.14.0-dev.4",
-    "@prisma-next/migration-tools": "0.14.0-dev.4",
-    "@prisma-next/operations": "0.14.0-dev.4",
-    "@prisma-next/sql-contract": "0.14.0-dev.4",
-    "@prisma-next/sql-contract-emitter": "0.14.0-dev.4",
-    "@prisma-next/sql-contract-ts": "0.14.0-dev.4",
-    "@prisma-next/sql-operations": "0.14.0-dev.4",
-    "@prisma-next/sql-relational-core": "0.14.0-dev.4",
-    "@prisma-next/sql-runtime": "0.14.0-dev.4",
-    "@prisma-next/sql-schema-ir": "0.14.0-dev.4",
-    "@prisma-next/utils": "0.14.0-dev.4",
+    "@prisma-next/contract": "0.14.0-dev.40",
+    "@prisma-next/emitter": "0.14.0-dev.40",
+    "@prisma-next/framework-components": "0.14.0-dev.40",
+    "@prisma-next/migration-tools": "0.14.0-dev.40",
+    "@prisma-next/operations": "0.14.0-dev.40",
+    "@prisma-next/sql-contract": "0.14.0-dev.40",
+    "@prisma-next/sql-contract-emitter": "0.14.0-dev.40",
+    "@prisma-next/sql-contract-ts": "0.14.0-dev.40",
+    "@prisma-next/sql-operations": "0.14.0-dev.40",
+    "@prisma-next/sql-relational-core": "0.14.0-dev.40",
+    "@prisma-next/sql-runtime": "0.14.0-dev.40",
+    "@prisma-next/sql-schema-ir": "0.14.0-dev.40",
+    "@prisma-next/utils": "0.14.0-dev.40",
     "arktype": "^2.2.0"
   },
   "devDependencies": {
-    "@prisma-next/driver-postgres": "0.14.0-dev.4",
-    "@prisma-next/psl-parser": "0.14.0-dev.4",
-    "@prisma-next/psl-printer": "0.14.0-dev.4",
-    "@prisma-next/sql-contract-psl": "0.14.0-dev.4",
-    "@prisma-next/test-utils": "0.14.0-dev.4",
-    "@prisma-next/tsconfig": "0.14.0-dev.4",
-    "@prisma-next/tsdown": "0.14.0-dev.4",
+    "@prisma-next/driver-postgres": "0.14.0-dev.40",
+    "@prisma-next/psl-parser": "0.14.0-dev.40",
+    "@prisma-next/psl-printer": "0.14.0-dev.40",
+    "@prisma-next/sql-contract-psl": "0.14.0-dev.40",
+    "@prisma-next/test-utils": "0.14.0-dev.40",
+    "@prisma-next/tsconfig": "0.14.0-dev.40",
+    "@prisma-next/tsdown": "0.14.0-dev.40",
     "tsdown": "0.22.1",
     "typescript": "5.9.3",
     "vitest": "4.1.8"
@@ -48,12 +48,12 @@
   "exports": {
     "./control": "./dist/control.mjs",
     "./control-adapter": "./dist/control-adapter.mjs",
+    "./diff": "./dist/diff.mjs",
     "./ir": "./dist/ir.mjs",
     "./migration": "./dist/migration.mjs",
     "./pack": "./dist/pack.mjs",
+    "./psl-infer": "./dist/psl-infer.mjs",
     "./runtime": "./dist/runtime.mjs",
-    "./schema-verify": "./dist/schema-verify.mjs",
-    "./test-utils": "./dist/test-utils.mjs",
     "./verify": "./dist/verify.mjs",
     "./package.json": "./package.json"
   },

package/src/core/authoring-entity-types.ts

@@ -1,21 +1,15 @@
 import type { JsonValue } from '@prisma-next/contract/types';
-import type {
-  AuthoringEntityContext,
-  AuthoringEntityTypeDescriptor,
-  AuthoringEntityTypeNamespace,
-  AuthoringPslBlockDescriptorNamespace,
-  PslExtensionBlock,
+import {
+  type AuthoringEntityContext,
+  type AuthoringEntityTypeDescriptor,
+  type AuthoringEntityTypeNamespace,
+  type AuthoringPslBlockDescriptorNamespace,
+  type PslExtensionBlock,
+  resolveEnumCodecId,
 } from '@prisma-next/framework-components/authoring';
 import { type EnumTypeHandle, enumType } from '@prisma-next/sql-contract-ts/contract-builder';
 import { blindCast } from '@prisma-next/utils/casts';
 
-function parseQuotedString(raw: string): string | undefined {
-  if (raw.startsWith('"') && raw.endsWith('"') && raw.length >= 2) {
-    return raw.slice(1, -1);
-  }
-  return undefined;
-}
-
 export const sqlFamilyEnumEntityDescriptor = {
   kind: 'entity' as const,
   discriminator: 'enum',
@@ -27,49 +21,30 @@ export const sqlFamilyEnumEntityDescriptor = {
       const sourceId = ctx.sourceId ?? 'unknown';
       const diagnostics = ctx.diagnostics;
 
-      const typeAttr = block.blockAttributes.find((a) => a.name === 'type');
-      if (!typeAttr) {
-        diagnostics?.push({
-          code: 'PSL_ENUM_MISSING_TYPE',
-          message: `enum "${block.name}" is missing a @@type("codecId") attribute`,
-          sourceId,
-          span: block.span,
-        });
-        return undefined;
-      }
-
-      const rawCodecArg = typeAttr.args[0]?.value;
-      const codecId = rawCodecArg !== undefined ? parseQuotedString(rawCodecArg) : undefined;
-      if (!codecId) {
-        diagnostics?.push({
-          code: 'PSL_ENUM_MISSING_TYPE',
-          message: `enum "${block.name}" @@type attribute must have a quoted codec id argument`,
-          sourceId,
-          span: typeAttr.span,
-        });
+      const resolved = resolveEnumCodecId(block, ctx);
+      if (resolved === undefined) {
         return undefined;
       }
+      const { codecId, codecSpan } = resolved;
 
       const nativeType = ctx.codecLookup?.targetTypesFor(codecId)?.[0];
       if (nativeType === undefined) {
-        const typeArgSpan = typeAttr.args[0]?.span ?? typeAttr.span;
         diagnostics?.push({
           code: 'PSL_EXTENSION_INVALID_VALUE',
           message: `enum "${block.name}" @@type references unknown codec "${codecId}"`,
           sourceId,
-          span: typeArgSpan,
+          span: codecSpan,
         });
         return undefined;
       }
 
       const codec = ctx.codecLookup?.get(codecId);
       if (codec === undefined) {
-        const typeArgSpan = typeAttr.args[0]?.span ?? typeAttr.span;
         diagnostics?.push({
           code: 'PSL_EXTENSION_INVALID_VALUE',
           message: `enum "${block.name}" @@type codec "${codecId}" resolves in targetTypesFor but is absent from codecLookup.get`,
           sourceId,
-          span: typeArgSpan,
+          span: codecSpan,
         });
         return undefined;
       }

package/src/core/control-adapter.ts

@@ -11,8 +11,8 @@ import type {
   LowererContext,
   SqlExecuteRequest,
 } from '@prisma-next/sql-relational-core/ast';
-import type { SqlSchemaIR } from '@prisma-next/sql-schema-ir/types';
-import type { DefaultNormalizer, NativeTypeNormalizer } from './schema-verify/verify-sql-schema';
+import type { SqlSchemaIRNode } from '@prisma-next/sql-schema-ir/types';
+import type { DefaultNormalizer, NativeTypeNormalizer } from './diff/sql-schema-diff';
 
 /**
  * Structural interface for anything that can lower a SQL/DDL AST node to a
@@ -157,22 +157,27 @@ export interface SqlControlAdapter<TTarget extends string = string>
   ): Promise<void>;
 
   /**
-   * Introspects a database schema and returns a raw SqlSchemaIR.
+   * Introspects a database schema and returns the target's schema-IR node.
    *
    * This is a pure schema discovery operation that queries the database catalog
    * and returns the schema structure without type mapping or contract enrichment.
    * Type mapping and enrichment are handled separately by enrichment helpers.
    *
+   * The return type is the family-base `SqlSchemaIRNode` so each target returns
+   * its own node shape: SQLite returns a flat `SqlSchemaIR`, Postgres returns a
+   * `PostgresDatabaseSchemaNode` tree root. Consumers `ensure` the concrete
+   * target type before walking it.
+   *
    * @param driver - ControlDriverInstance instance for executing queries (target-specific)
    * @param contract - Optional contract for contract-guided introspection (filtering, optimization)
    * @param schema - Schema name to introspect (defaults to 'public')
-   * @returns Promise resolving to SqlSchemaIR representing the live database schema
+   * @returns Promise resolving to the live database schema node
    */
   introspect(
     driver: SqlControlDriverInstance<TTarget>,
     contract?: unknown,
     schema?: string,
-  ): Promise<SqlSchemaIR>;
+  ): Promise<SqlSchemaIRNode>;
 
   /**
    * Optional target-specific normalizer for raw database default expressions.