@prisma-next/sql-contract-psl 0.11.0 → 0.12.0

package/package.json

@@ -1,40 +1,51 @@
 {
   "name": "@prisma-next/sql-contract-psl",
-  "version": "0.11.0",
+  "version": "0.12.0",
   "license": "Apache-2.0",
   "type": "module",
   "sideEffects": false,
   "description": "PSL-to-SQL ContractIR interpreter for Prisma Next",
   "dependencies": {
-    "@prisma-next/config": "0.11.0",
-    "@prisma-next/contract": "0.11.0",
-    "@prisma-next/framework-components": "0.11.0",
-    "@prisma-next/psl-parser": "0.11.0",
-    "@prisma-next/sql-contract": "0.11.0",
-    "@prisma-next/sql-contract-ts": "0.11.0",
-    "@prisma-next/utils": "0.11.0",
+    "@prisma-next/config": "0.12.0",
+    "@prisma-next/contract": "0.12.0",
+    "@prisma-next/framework-components": "0.12.0",
+    "@prisma-next/psl-parser": "0.12.0",
+    "@prisma-next/sql-contract": "0.12.0",
+    "@prisma-next/sql-contract-ts": "0.12.0",
+    "@prisma-next/utils": "0.12.0",
     "pathe": "^2.0.3"
   },
   "devDependencies": {
-    "@prisma-next/contract-authoring": "0.11.0",
-    "@prisma-next/test-utils": "0.11.0",
-    "@prisma-next/tsconfig": "0.11.0",
-    "@prisma-next/tsdown": "0.11.0",
+    "@prisma-next/contract-authoring": "0.12.0",
+    "@prisma-next/test-utils": "0.12.0",
+    "@prisma-next/tsconfig": "0.12.0",
+    "@prisma-next/tsdown": "0.12.0",
     "arktype": "^2.2.0",
     "tsdown": "0.22.0",
     "typescript": "5.9.3",
     "vitest": "4.1.6"
   },
+  "peerDependencies": {
+    "typescript": ">=5.9"
+  },
+  "peerDependenciesMeta": {
+    "typescript": {
+      "optional": true
+    }
+  },
   "files": [
     "dist",
     "src"
   ],
+  "types": "./dist/index.d.mts",
   "exports": {
     ".": "./dist/index.mjs",
     "./provider": "./dist/provider.mjs",
     "./package.json": "./package.json"
   },
-  "types": "./dist/index.d.mts",
+  "engines": {
+    "node": ">=24"
+  },
   "repository": {
     "type": "git",
     "url": "https://github.com/prisma/prisma-next.git",

package/src/interpreter.ts

@@ -9,6 +9,7 @@ import type {
   ContractModel,
   ContractValueObject,
 } from '@prisma-next/contract/types';
+import { crossRef } from '@prisma-next/contract/types';
 import type {
   AuthoringContributions,
   AuthoringEntityContext,
@@ -22,6 +23,7 @@ import type {
   MutationDefaultGeneratorDescriptor,
 } from '@prisma-next/framework-components/control';
 import type { Namespace } from '@prisma-next/framework-components/ir';
+import { UNBOUND_NAMESPACE_ID } from '@prisma-next/framework-components/ir';
 import type {
   ParsePslDocumentResult,
   PslAttribute,
@@ -227,6 +229,10 @@ const UNSPECIFIED_PSL_NAMESPACE_NAME = '__unspecified__';
  * slot empty (which means the late-bound default at the `StorageTable`
  * layer; emitted JSON omits the field).
  */
+function defaultSqlNamespaceIdForTarget(targetId: string): string {
+  return targetId === 'postgres' ? 'public' : UNBOUND_NAMESPACE_ID;
+}
+
 function resolveNamespaceIdForSqlTarget(input: {
   readonly bucketName: string;
   readonly targetId: string;
@@ -235,7 +241,7 @@ function resolveNamespaceIdForSqlTarget(input: {
     return undefined;
   }
   if (input.bucketName === UNSPECIFIED_PSL_NAMESPACE_NAME) {
-    return undefined;
+    return 'public';
   }
   if (input.bucketName === 'unbound') {
     return '__unbound__';
@@ -1303,6 +1309,8 @@ function resolvePolymorphism(
   baseDeclarations: Map<string, BaseDeclaration>,
   modelNames: Set<string>,
   modelMappings: ReadonlyMap<string, ModelNameMapping>,
+  modelNamespaceIds: ReadonlyMap<string, string>,
+  targetId: string,
   sourceId: string,
   diagnostics: ContractSourceDiagnostic[],
 ): Record<string, ContractModel> {
@@ -1406,7 +1414,10 @@ function resolvePolymorphism(
       ...patched,
       [variantName]: {
         ...variantModel,
-        base: baseDecl.baseName,
+        base: crossRef(
+          baseDecl.baseName,
+          modelNamespaceIds.get(baseDecl.baseName) ?? defaultSqlNamespaceIdForTarget(targetId),
+        ),
         ...(resolvedTable ? { storage: { ...variantModel.storage, table: resolvedTable } } : {}),
       },
     };
@@ -1668,10 +1679,18 @@ export function interpretPslDocumentToSqlContract(
     })),
   });
 
-  let patchedModels = patchModelDomainFields(
-    contract.models as Record<string, ContractModel>,
-    modelResolvedFields,
-  );
+  const modelsForPatch: Record<string, ContractModel> = {};
+  for (const namespaceSlice of Object.values(contract.domain.namespaces)) {
+    for (const [modelName, model] of Object.entries(namespaceSlice.models)) {
+      if (Object.hasOwn(modelsForPatch, modelName)) {
+        throw new Error(
+          `duplicate model name "${modelName}" across domain namespaces during PSL interpretation`,
+        );
+      }
+      modelsForPatch[modelName] = model as ContractModel;
+    }
+  }
+  let patchedModels = patchModelDomainFields(modelsForPatch, modelResolvedFields);
 
   const polyDiagnostics: ContractSourceDiagnostic[] = [];
   patchedModels = resolvePolymorphism(
@@ -1680,6 +1699,8 @@ export function interpretPslDocumentToSqlContract(
     baseDeclarations,
     modelNames,
     modelMappings,
+    modelNamespaceIds,
+    input.target.targetId,
     sourceId,
     polyDiagnostics,
   );
@@ -1693,14 +1714,36 @@ export function interpretPslDocumentToSqlContract(
 
   const variantModelNames = new Set(baseDeclarations.keys());
   const filteredRoots = Object.fromEntries(
-    Object.entries(contract.roots).filter(([, modelName]) => !variantModelNames.has(modelName)),
+    Object.entries(contract.roots).filter(
+      ([, crossReference]) => !variantModelNames.has(crossReference.model),
+    ),
   );
 
   const patchedContract: Contract = {
     ...contract,
     roots: filteredRoots,
-    models: patchedModels,
-    ...(Object.keys(valueObjects).length > 0 ? { valueObjects } : {}),
+    domain: {
+      namespaces: Object.fromEntries(
+        Object.entries(contract.domain.namespaces).map(([namespaceId, namespaceSlice]) => [
+          namespaceId,
+          {
+            models: Object.fromEntries(
+              Object.entries(namespaceSlice.models).map(([modelName, model]) => [
+                modelName,
+                patchedModels[modelName] ?? model,
+              ]),
+            ),
+            ...(namespaceSlice.valueObjects !== undefined
+              ? { valueObjects: namespaceSlice.valueObjects }
+              : {}),
+            ...(namespaceId === defaultSqlNamespaceIdForTarget(input.target.targetId) &&
+            Object.keys(valueObjects).length > 0
+              ? { valueObjects }
+              : {}),
+          },
+        ]),
+      ),
+    },
   };
 
   return ok(patchedContract);