@prisma-next/sql-contract-ts 0.3.0-dev.13 → 0.3.0-dev.131

package/schemas/data-contract-sql-v1.json

@@ -24,10 +24,15 @@
       "enum": ["sql"],
       "description": "Target family classification"
     },
-    "coreHash": {
+    "storageHash": {
       "type": "string",
       "pattern": "^sha256:[a-f0-9]{64}$",
-      "description": "SHA-256 hash of the core schema structure (models, fields, relations, storage layout)"
+      "description": "SHA-256 hash of the storage section (DB-satisfied expectations)"
+    },
+    "executionHash": {
+      "type": "string",
+      "pattern": "^sha256:[a-f0-9]{64}$",
+      "description": "SHA-256 hash of the execution section (client-side behavior)"
     },
     "profileHash": {
       "type": "string",
@@ -61,6 +66,13 @@
         "$ref": "#/$defs/Source"
       }
     },
+    "roots": {
+      "type": "object",
+      "description": "Mapping of root model names to their identifiers",
+      "additionalProperties": {
+        "type": "string"
+      }
+    },
     "models": {
       "type": "object",
       "description": "Model definitions mapping application-level models to storage tables",
@@ -79,12 +91,46 @@
           "additionalProperties": {
             "$ref": "#/$defs/StorageTable"
           }
+        },
+        "types": {
+          "type": "object",
+          "description": "Named type instances for parameterized/custom types (e.g., vectors, enums)",
+          "additionalProperties": {
+            "$ref": "#/$defs/StorageTypeInstance"
+          }
         }
       },
       "required": ["tables"]
+    },
+    "execution": {
+      "type": "object",
+      "description": "Execution-only behavior not satisfied by the database",
+      "additionalProperties": false,
+      "properties": {
+        "mutations": {
+          "type": "object",
+          "additionalProperties": false,
+          "properties": {
+            "defaults": {
+              "type": "array",
+              "items": { "$ref": "#/$defs/ExecutionMutationDefault" }
+            }
+          },
+          "required": ["defaults"]
+        }
+      },
+      "required": ["mutations"]
     }
   },
-  "required": ["schemaVersion", "target", "targetFamily", "coreHash", "models", "storage"],
+  "required": [
+    "schemaVersion",
+    "target",
+    "targetFamily",
+    "storageHash",
+    "models",
+    "storage",
+    "roots"
+  ],
   "$defs": {
     "StorageTable": {
       "type": "object",
@@ -126,21 +172,142 @@
       },
       "required": ["columns"]
     },
+    "ColumnDefault": {
+      "description": "Column default value. Can be a literal value or a database function expression.",
+      "oneOf": [
+        {
+          "type": "object",
+          "description": "Static literal value",
+          "additionalProperties": false,
+          "properties": {
+            "kind": {
+              "type": "string",
+              "enum": ["literal"]
+            },
+            "value": {
+              "description": "JSON literal value (or tagged bigint) for the default value",
+              "oneOf": [
+                { "type": "string" },
+                { "type": "number" },
+                { "type": "boolean" },
+                { "type": "null" },
+                { "type": "array" },
+                { "type": "object" }
+              ]
+            }
+          },
+          "required": ["kind", "value"]
+        },
+        {
+          "type": "object",
+          "description": "Database function expression (e.g., 'autoincrement()', 'now()', 'gen_random_uuid()')",
+          "additionalProperties": false,
+          "properties": {
+            "kind": {
+              "type": "string",
+              "enum": ["function"]
+            },
+            "expression": {
+              "type": "string",
+              "description": "The function expression (e.g., 'autoincrement()', 'now()', 'gen_random_uuid()')"
+            }
+          },
+          "required": ["kind", "expression"]
+        }
+      ]
+    },
+    "ExecutionMutationDefaultValue": {
+      "type": "object",
+      "description": "Execution-time default value applied before a write",
+      "additionalProperties": false,
+      "properties": {
+        "kind": {
+          "type": "string",
+          "enum": ["generator"]
+        },
+        "id": {
+          "type": "string",
+          "pattern": "^[A-Za-z0-9][A-Za-z0-9_-]*$"
+        },
+        "params": {
+          "type": "object",
+          "additionalProperties": true
+        }
+      },
+      "required": ["kind", "id"]
+    },
+    "ExecutionMutationDefault": {
+      "type": "object",
+      "additionalProperties": false,
+      "properties": {
+        "ref": {
+          "type": "object",
+          "additionalProperties": false,
+          "properties": {
+            "table": { "type": "string" },
+            "column": { "type": "string" }
+          },
+          "required": ["table", "column"]
+        },
+        "onCreate": { "$ref": "#/$defs/ExecutionMutationDefaultValue" },
+        "onUpdate": { "$ref": "#/$defs/ExecutionMutationDefaultValue" }
+      },
+      "required": ["ref"]
+    },
     "StorageColumn": {
       "type": "object",
-      "description": "Column definition with type and nullability",
+      "description": "Column definition with type, nullability, and optional parameterized type info",
       "additionalProperties": false,
       "properties": {
-        "type": {
+        "nativeType": {
           "type": "string",
-          "description": "Column type (e.g., 'text', 'int4', 'timestamptz', 'bool')"
+          "description": "Database-native type (e.g., 'text', 'int4', 'timestamptz', 'vector(1536)')"
+        },
+        "codecId": {
+          "type": "string",
+          "description": "Codec identifier for encoding/decoding (e.g., 'pg/text@1', 'pg/vector@1')"
         },
         "nullable": {
           "type": "boolean",
           "default": false,
           "description": "Whether the column allows NULL values"
+        },
+        "typeParams": {
+          "type": "object",
+          "description": "Opaque, codec-owned JS/type parameters (e.g., { length: 1536 } for vectors)",
+          "additionalProperties": true
+        },
+        "typeRef": {
+          "type": "string",
+          "description": "Reference to a named type instance in storage.types"
+        },
+        "default": {
+          "$ref": "#/$defs/ColumnDefault",
+          "description": "Default value for the column"
         }
-      }
+      },
+      "required": ["nativeType", "codecId", "nullable"]
+    },
+    "StorageTypeInstance": {
+      "type": "object",
+      "description": "Named, parameterized type instance for reuse across columns",
+      "additionalProperties": false,
+      "properties": {
+        "codecId": {
+          "type": "string",
+          "description": "Codec identifier for encoding/decoding"
+        },
+        "nativeType": {
+          "type": "string",
+          "description": "Database-native type"
+        },
+        "typeParams": {
+          "type": "object",
+          "description": "Codec-owned type parameters",
+          "additionalProperties": true
+        }
+      },
+      "required": ["codecId", "nativeType", "typeParams"]
     },
     "PrimaryKey": {
       "type": "object",
@@ -234,9 +401,17 @@
         "name": {
           "type": "string",
           "description": "Foreign key constraint name"
+        },
+        "constraint": {
+          "type": "boolean",
+          "description": "Whether to emit FK constraint DDL (ALTER TABLE … ADD CONSTRAINT … FOREIGN KEY)"
+        },
+        "index": {
+          "type": "boolean",
+          "description": "Whether to emit a backing index for the FK columns"
         }
       },
-      "required": ["columns", "references"]
+      "required": ["columns", "references", "constraint", "index"]
     },
     "FieldType": {
       "type": "object",
@@ -310,6 +485,13 @@
             "table": {
               "type": "string",
               "description": "Table name in storage.tables"
+            },
+            "fields": {
+              "type": "object",
+              "description": "Per-field storage mappings",
+              "additionalProperties": {
+                "$ref": "#/$defs/ModelStorageField"
+              }
             }
           },
           "required": ["table"]
@@ -327,26 +509,56 @@
           "additionalProperties": {
             "$ref": "#/$defs/ModelRelation"
           }
+        },
+        "owner": {
+          "type": "string",
+          "description": "Owner model name — declares this model belongs to another model's aggregate (per ADR 177)"
         }
       },
       "required": ["storage", "fields"]
     },
     "ModelField": {
       "type": "object",
-      "description": "Model field definition mapping to storage column",
+      "description": "Domain field definition. New format has codecId + nullable (column lives in model.storage.fields). Old format has column only.",
+      "additionalProperties": false,
+      "properties": {
+        "column": {
+          "type": "string",
+          "description": "Column name in the model's backing table (old format; new format uses model.storage.fields)"
+        },
+        "codecId": {
+          "type": "string",
+          "description": "Codec identifier for the field"
+        },
+        "nullable": {
+          "type": "boolean",
+          "description": "Whether the field allows NULL values"
+        }
+      }
+    },
+    "ModelStorageField": {
+      "type": "object",
+      "description": "Per-field storage mapping",
       "additionalProperties": false,
       "properties": {
         "column": {
           "type": "string",
           "description": "Column name in the model's backing table"
+        },
+        "codecId": {
+          "type": "string",
+          "description": "Codec identifier for the field (derived from storage column)"
+        },
+        "nullable": {
+          "type": "boolean",
+          "description": "Whether the field allows NULL values (derived from storage column)"
         }
       },
       "required": ["column"]
     },
     "ModelRelation": {
       "type": "object",
-      "description": "Model relation definition",
-      "additionalProperties": false,
+      "description": "Model relation definition (domain format with localFields/targetFields, or storage format with parentCols/childCols)",
       "properties": {
         "to": {
           "type": "string",
@@ -357,30 +569,39 @@
           "enum": ["1:1", "1:N", "N:1", "N:M"],
           "description": "Relation cardinality"
         },
+        "strategy": {
+          "type": "string",
+          "enum": ["reference", "embed"],
+          "description": "Relation strategy"
+        },
         "on": {
           "type": "object",
           "description": "Relation field mappings",
-          "additionalProperties": false,
           "properties": {
             "parentCols": {
               "type": "array",
-              "description": "Parent table columns",
-              "items": {
-                "type": "string"
-              }
+              "description": "Parent table columns (storage format)",
+              "items": { "type": "string" }
             },
             "childCols": {
               "type": "array",
-              "description": "Child table columns",
-              "items": {
-                "type": "string"
-              }
+              "description": "Child table columns (storage format)",
+              "items": { "type": "string" }
+            },
+            "localFields": {
+              "type": "array",
+              "description": "Local model fields (domain format)",
+              "items": { "type": "string" }
+            },
+            "targetFields": {
+              "type": "array",
+              "description": "Target model fields (domain format)",
+              "items": { "type": "string" }
             }
-          },
-          "required": ["parentCols", "childCols"]
+          }
         }
       },
-      "required": ["to", "cardinality", "on"]
+      "required": ["to", "cardinality"]
     }
   }
 }

package/src/config-types.ts

@@ -0,0 +1,11 @@
+import type { ContractConfig } from '@prisma-next/config/config-types';
+import type { ContractIR } from '@prisma-next/contract/ir';
+import { ifDefined } from '@prisma-next/utils/defined';
+import { ok } from '@prisma-next/utils/result';
+
+export function typescriptContract(contractIR: ContractIR, output?: string): ContractConfig {
+  return {
+    source: async (_context) => ok(contractIR),
+    ...ifDefined('output', output),
+  };
+}