@prisma-next/sql-contract-ts 0.12.0-dev.5 → 0.12.0-dev.50

package/README.md

@@ -260,6 +260,14 @@ export default defineConfig({
 });
 ```
 
+Optional third argument (options bag) for `typescriptContract` / `typescriptContractFromPath`, and `defaultControlPolicy` on `emptyContract`:
+
+```typescript
+typescriptContract(contract, 'src/prisma/contract.json', { defaultControlPolicy: 'external' });
+```
+
+The specifier value applies only when the loaded contract omits `defaultControlPolicy` (a value authored on the contract module wins).
+
 ## Dependencies
 
 - **`@prisma-next/config`** - `ContractConfig` types used by `typescriptContract(...)`

package/dist/{build-contract-BCYW3_wE.mjs → build-contract-B1odoaHR.mjs}

@@ -1,4 +1,5 @@
 import { blindCast } from "@prisma-next/utils/casts";
+import { ifDefined } from "@prisma-next/utils/defined";
 import { computeExecutionHash, computeProfileHash, computeStorageHash } from "@prisma-next/contract/hashing";
 import { asNamespaceId, coreHash, crossRef } from "@prisma-next/contract/types";
 import { mergeCapabilityMatrices } from "@prisma-next/contract-authoring";
@@ -8,7 +9,6 @@ import { validateIndexTypes } from "@prisma-next/sql-contract/index-type-validat
 import { createIndexTypeRegistry } from "@prisma-next/sql-contract/index-types";
 import { SqlStorage, StorageTable, applyFkDefaults, buildSqlNamespace, isPostgresEnumStorageEntry, toStorageTypeInstance } from "@prisma-next/sql-contract/types";
 import { validateStorageSemantics } from "@prisma-next/sql-contract/validators";
-import { ifDefined } from "@prisma-next/utils/defined";
 //#region src/build-contract.ts
 function encodeDefaultLiteralValue(value, codecId, codecLookup) {
 	const codec = codecLookup?.get(codecId);
@@ -51,9 +51,9 @@ function isValueObjectField(field) {
 }
 const JSONB_CODEC_ID = "pg/jsonb@1";
 const JSONB_NATIVE_TYPE = "jsonb";
-function resolveModelNamespaceId(model, modelNameToNamespaceId, targetId) {
+function resolveModelNamespaceId(model, modelNameToNamespaceId, defaultNamespaceId) {
 	if (model.namespaceId !== void 0 && model.namespaceId.length > 0) return model.namespaceId;
-	return modelNameToNamespaceId.get(model.modelName) ?? defaultModelNamespaceId(targetId);
+	return modelNameToNamespaceId.get(model.modelName) ?? defaultNamespaceId;
 }
 function buildStorageColumn(field, codecLookup) {
 	if (isValueObjectField(field)) {
@@ -102,16 +102,24 @@ function buildDomainField(field, column) {
 }
 function collectStorageNamespaceCoordinateIds(definition) {
 	const ids = /* @__PURE__ */ new Set();
-	ids.add(defaultModelNamespaceId(definition.target.targetId));
+	ids.add(definition.target.defaultNamespaceId);
 	for (const id of definition.namespaces ?? []) if (id.length > 0) ids.add(id);
 	for (const model of definition.models) if (model.namespaceId !== void 0 && model.namespaceId.length > 0) ids.add(model.namespaceId);
 	return ids;
 }
-const POSTGRES_ENUM_NAMESPACE_ID = "public";
-const POSTGRES_DEFAULT_NAMESPACE_ID = "public";
-function defaultModelNamespaceId(targetId) {
-	return targetId === "postgres" ? POSTGRES_DEFAULT_NAMESPACE_ID : UNBOUND_NAMESPACE_ID;
+function ensureUnboundNamespaceSlot(namespaces, createNamespace) {
+	if (Object.hasOwn(namespaces, UNBOUND_NAMESPACE_ID)) return namespaces;
+	const unboundInput = {
+		id: UNBOUND_NAMESPACE_ID,
+		entries: { table: {} }
+	};
+	const unbound = createNamespace ? createNamespace(unboundInput) : buildSqlNamespace(unboundInput);
+	return blindCast({
+		[UNBOUND_NAMESPACE_ID]: unbound,
+		...namespaces
+	});
 }
+const POSTGRES_ENUM_NAMESPACE_ID = "public";
 function partitionStorageTypesForTarget(targetId, types, namespaceTypes) {
 	const documentTypes = {};
 	const namespaceEnumTypesById = {};
@@ -144,6 +152,7 @@ function partitionStorageTypesForTarget(targetId, types, namespaceTypes) {
 }
 function buildSqlContractFromDefinition(definition, codecLookup) {
 	const target = definition.target.targetId;
+	const defaultNamespaceId = definition.target.defaultNamespaceId;
 	const targetFamily = "sql";
 	const modelsByName = new Map(definition.models.map((m) => [m.modelName, m]));
 	const tablesByNamespace = {};
@@ -154,9 +163,9 @@ function buildSqlContractFromDefinition(definition, codecLookup) {
 	const roots = {};
 	for (const semanticModel of definition.models) {
 		const tableName = semanticModel.tableName;
-		const namespaceId = semanticModel.namespaceId !== void 0 && semanticModel.namespaceId.length > 0 ? semanticModel.namespaceId : defaultModelNamespaceId(target);
+		const namespaceId = semanticModel.namespaceId !== void 0 && semanticModel.namespaceId.length > 0 ? semanticModel.namespaceId : defaultNamespaceId;
 		modelNameToNamespaceId.set(semanticModel.modelName, namespaceId);
-		roots[tableName] = crossRef(semanticModel.modelName, namespaceId);
+		if (!semanticModel.sharesBaseTable) roots[tableName] = crossRef(semanticModel.modelName, namespaceId);
 		const columns = {};
 		const fieldToColumn = {};
 		const domainFields = {};
@@ -192,7 +201,7 @@ function buildSqlContractFromDefinition(definition, codecLookup) {
 		const foreignKeys = (semanticModel.foreignKeys ?? []).map((fk) => {
 			const targetModel = assertKnownTargetModel(modelsByName, semanticModel.modelName, fk.references.model, "Foreign key");
 			assertTargetTableMatches(semanticModel.modelName, targetModel, fk.references.table, "Foreign key");
-			const targetNamespaceId = fk.references.namespaceId ?? (targetModel.namespaceId !== void 0 && targetModel.namespaceId.length > 0 ? targetModel.namespaceId : defaultModelNamespaceId(target));
+			const targetNamespaceId = fk.references.namespaceId ?? (targetModel.namespaceId !== void 0 && targetModel.namespaceId.length > 0 ? targetModel.namespaceId : defaultNamespaceId);
 			return {
 				source: {
 					namespaceId: asNamespaceId(namespaceId),
@@ -213,34 +222,37 @@ function buildSqlContractFromDefinition(definition, codecLookup) {
 				...ifDefined("onUpdate", fk.onUpdate)
 			};
 		});
-		const existingNs = tableNameToNamespaceId.get(tableName);
-		if (existingNs !== void 0 && existingNs !== namespaceId) throw new Error(`buildSqlContractFromDefinition: table "${tableName}" is mapped in namespace "${namespaceId}" but already exists in namespace "${existingNs}".`);
-		tableNameToNamespaceId.set(tableName, namespaceId);
-		const tableInput = {
-			columns,
-			uniques: (semanticModel.uniques ?? []).map((u) => ({
-				columns: u.columns,
-				...ifDefined("name", u.name)
-			})),
-			indexes: (semanticModel.indexes ?? []).map((i) => ({
-				columns: i.columns,
-				...ifDefined("name", i.name),
-				...ifDefined("type", i.type),
-				...ifDefined("options", i.options)
-			})),
-			foreignKeys,
-			...semanticModel.id ? { primaryKey: {
-				columns: semanticModel.id.columns,
-				...ifDefined("name", semanticModel.id.name)
-			} } : {}
-		};
-		let nsTables = tablesByNamespace[namespaceId];
-		if (nsTables === void 0) {
-			nsTables = {};
-			tablesByNamespace[namespaceId] = nsTables;
+		if (!semanticModel.sharesBaseTable) {
+			const existingNs = tableNameToNamespaceId.get(tableName);
+			if (existingNs !== void 0 && existingNs !== namespaceId) throw new Error(`buildSqlContractFromDefinition: table "${tableName}" is mapped in namespace "${namespaceId}" but already exists in namespace "${existingNs}".`);
+			tableNameToNamespaceId.set(tableName, namespaceId);
+			const tableInput = {
+				columns,
+				...ifDefined("control", semanticModel.control),
+				uniques: (semanticModel.uniques ?? []).map((u) => ({
+					columns: u.columns,
+					...ifDefined("name", u.name)
+				})),
+				indexes: (semanticModel.indexes ?? []).map((i) => ({
+					columns: i.columns,
+					...ifDefined("name", i.name),
+					...ifDefined("type", i.type),
+					...ifDefined("options", i.options)
+				})),
+				foreignKeys,
+				...semanticModel.id ? { primaryKey: {
+					columns: semanticModel.id.columns,
+					...ifDefined("name", semanticModel.id.name)
+				} } : {}
+			};
+			let nsTables = tablesByNamespace[namespaceId];
+			if (nsTables === void 0) {
+				nsTables = {};
+				tablesByNamespace[namespaceId] = nsTables;
+			}
+			if (nsTables[tableName] !== void 0) throw new Error(`buildSqlContractFromDefinition: duplicate table "${tableName}" in namespace "${namespaceId}".`);
+			nsTables[tableName] = new StorageTable(tableInput);
 		}
-		if (nsTables[tableName] !== void 0) throw new Error(`buildSqlContractFromDefinition: duplicate table "${tableName}" in namespace "${namespaceId}".`);
-		nsTables[tableName] = new StorageTable(tableInput);
 		const storageFields = {};
 		for (const [fieldName, columnName] of Object.entries(fieldToColumn)) storageFields[fieldName] = { column: columnName };
 		const columnToField = new Map(Object.entries(fieldToColumn).map(([field, col]) => [col, field]));
@@ -251,7 +263,7 @@ function buildSqlContractFromDefinition(definition, codecLookup) {
 			if (relation.cardinality === "N:M" && !relation.through) throw new Error(`Relation "${semanticModel.modelName}.${relation.fieldName}" with cardinality "N:M" requires through metadata`);
 			const targetColumnToField = new Map(targetModel.fields.map((f) => [f.columnName, f.fieldName]));
 			modelRelations[relation.fieldName] = {
-				to: crossRef(relation.toModel, resolveModelNamespaceId(targetModel, modelNameToNamespaceId, target)),
+				to: crossRef(relation.toModel, resolveModelNamespaceId(targetModel, modelNameToNamespaceId, defaultNamespaceId)),
 				cardinality: relation.cardinality,
 				on: {
 					localFields: relation.on.parentColumns.map((col) => columnToField.get(col) ?? col),
@@ -272,6 +284,7 @@ function buildSqlContractFromDefinition(definition, codecLookup) {
 		namespaceModels[semanticModel.modelName] = {
 			storage: {
 				table: tableName,
+				namespaceId,
 				fields: storageFields
 			},
 			fields: domainFields,
@@ -295,14 +308,13 @@ function buildSqlContractFromDefinition(definition, codecLookup) {
 		const enumTypes = namespaceEnumTypesById[id];
 		const nsInput = {
 			id,
-			tables: tablesByNamespace[id] ?? {},
-			...ifDefined("enum", enumTypes)
+			entries: { table: tablesByNamespace[id] ?? {} }
 		};
-		return [id, createNamespace ? createNamespace(nsInput) : buildSqlNamespace(nsInput)];
+		return [id, createNamespace ? createNamespace(nsInput, enumTypes) : buildSqlNamespace(nsInput)];
 	})));
 	const storageWithoutHash = {
 		...Object.keys(documentTypes).length > 0 ? { types: documentTypes } : {},
-		namespaces
+		namespaces: ensureUnboundNamespaceSlot(namespaces, createNamespace)
 	};
 	const storageHash = definition.storageHash ? coreHash(definition.storageHash) : computeStorageHash({
 		target,
@@ -354,20 +366,21 @@ function buildSqlContractFromDefinition(definition, codecLookup) {
 		},
 		nullable: f.nullable
 	}])) }])) : void 0;
-	const defaultNamespaceId = defaultModelNamespaceId(target);
 	const domainNamespaceIds = new Set(Object.keys(modelsByNamespace));
 	if (domainNamespaceIds.size === 0) domainNamespaceIds.add(defaultNamespaceId);
 	if (valueObjects !== void 0) domainNamespaceIds.add(defaultNamespaceId);
+	const domainNamespaces = Object.fromEntries([...domainNamespaceIds].sort().map((namespaceId) => {
+		const modelsInNs = modelsByNamespace[namespaceId] ?? {};
+		return [namespaceId, namespaceId === defaultNamespaceId && valueObjects !== void 0 ? {
+			models: modelsInNs,
+			valueObjects
+		} : { models: modelsInNs }];
+	}));
 	const contract = {
 		target,
 		targetFamily,
-		domain: { namespaces: Object.fromEntries([...domainNamespaceIds].sort().map((namespaceId) => {
-			const modelsInNs = modelsByNamespace[namespaceId] ?? {};
-			return [namespaceId, namespaceId === defaultNamespaceId && valueObjects !== void 0 ? {
-				models: modelsInNs,
-				valueObjects
-			} : { models: modelsInNs }];
-		})) },
+		...ifDefined("defaultControlPolicy", definition.defaultControlPolicy),
+		domain: { namespaces: domainNamespaces },
 		roots,
 		storage,
 		...executionWithHash ? { execution: executionWithHash } : {},
@@ -382,4 +395,4 @@ function buildSqlContractFromDefinition(definition, codecLookup) {
 //#endregion
 export { buildSqlContractFromDefinition as t };
 
-//# sourceMappingURL=build-contract-BCYW3_wE.mjs.map
+//# sourceMappingURL=build-contract-B1odoaHR.mjs.map

package/dist/build-contract-B1odoaHR.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"build-contract-B1odoaHR.mjs","names":[],"sources":["../src/build-contract.ts"],"sourcesContent":["import {\n  computeExecutionHash,\n  computeProfileHash,\n  computeStorageHash,\n} from '@prisma-next/contract/hashing';\nimport {\n  asNamespaceId,\n  type ColumnDefault,\n  type ColumnDefaultLiteralInputValue,\n  type Contract,\n  type ContractField,\n  type ContractModel,\n  type ContractRelation,\n  type ContractValueObject,\n  type CrossReference,\n  coreHash,\n  crossRef,\n  type ExecutionMutationDefault,\n  type JsonValue,\n  type StorageHashBase,\n} from '@prisma-next/contract/types';\nimport { type CapabilityMatrix, mergeCapabilityMatrices } from '@prisma-next/contract-authoring';\nimport type { CodecLookup } from '@prisma-next/framework-components/codec';\nimport { UNBOUND_NAMESPACE_ID } from '@prisma-next/framework-components/ir';\nimport { sqlContractCanonicalizationHooks } from '@prisma-next/sql-contract/canonicalization-hooks';\nimport { validateIndexTypes } from '@prisma-next/sql-contract/index-type-validation';\nimport {\n  createIndexTypeRegistry,\n  type IndexTypeMap,\n  type IndexTypeRegistration,\n} from '@prisma-next/sql-contract/index-types';\nimport {\n  applyFkDefaults,\n  buildSqlNamespace,\n  isPostgresEnumStorageEntry,\n  type PostgresEnumStorageEntry,\n  type SqlNamespaceTablesInput,\n  SqlStorage,\n  type SqlStorageInput,\n  type StorageColumn,\n  StorageTable,\n  type StorageTableInput,\n  type StorageTypeInstance,\n  toStorageTypeInstance,\n} from '@prisma-next/sql-contract/types';\nimport { validateStorageSemantics } from '@prisma-next/sql-contract/validators';\nimport { blindCast } from '@prisma-next/utils/casts';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport type {\n  ContractDefinition,\n  FieldNode,\n  ModelNode,\n  ValueObjectFieldNode,\n} from './contract-definition';\n\ntype DomainFieldRef =\n  | { readonly kind: 'scalar'; readonly many?: boolean }\n  | { readonly kind: 'valueObject'; readonly name: string; readonly many?: boolean };\n\nfunction encodeDefaultLiteralValue(\n  value: ColumnDefaultLiteralInputValue,\n  codecId: string,\n  codecLookup?: CodecLookup,\n): JsonValue {\n  const codec = codecLookup?.get(codecId);\n  if (codec) {\n    return codec.encodeJson(value);\n  }\n  return value as JsonValue;\n}\n\nfunction encodeColumnDefault(\n  defaultInput: ColumnDefault,\n  codecId: string,\n  codecLookup?: CodecLookup,\n): ColumnDefault {\n  if (defaultInput.kind === 'function') {\n    return { kind: 'function', expression: defaultInput.expression };\n  }\n  return {\n    kind: 'literal',\n    value: encodeDefaultLiteralValue(defaultInput.value, codecId, codecLookup),\n  };\n}\n\nfunction assertStorageSemantics(\n  definition: ContractDefinition,\n  contract: Contract<SqlStorage>,\n): void {\n  const semanticErrors = validateStorageSemantics(contract.storage);\n  if (semanticErrors.length > 0) {\n    throw new Error(`Contract semantic validation failed: ${semanticErrors.join('; ')}`);\n  }\n\n  const indexTypeRegistry = createIndexTypeRegistry();\n  const packsToRegister: ReadonlyArray<{ readonly id?: string; readonly indexTypes?: unknown }> = [\n    definition.target,\n    ...Object.values(definition.extensionPacks ?? {}),\n  ];\n  for (const pack of packsToRegister) {\n    const registration = pack.indexTypes;\n    if (registration === undefined) continue;\n    if (\n      typeof registration !== 'object' ||\n      registration === null ||\n      !Array.isArray((registration as { entries?: unknown }).entries)\n    ) {\n      throw new Error(\n        `Pack \"${pack.id ?? '<unknown>'}\" declares \"indexTypes\" but its value is not an IndexTypeRegistration (expected an object with an \"entries\" array; got ${typeof registration}).`,\n      );\n    }\n    for (const entry of (registration as IndexTypeRegistration<IndexTypeMap>).entries) {\n      indexTypeRegistry.register(entry);\n    }\n  }\n  validateIndexTypes(contract, indexTypeRegistry);\n}\n\nfunction assertKnownTargetModel(\n  modelsByName: ReadonlyMap<string, ModelNode>,\n  sourceModelName: string,\n  targetModelName: string,\n  context: string,\n): ModelNode {\n  const targetModel = modelsByName.get(targetModelName);\n  if (!targetModel) {\n    throw new Error(\n      `${context} on model \"${sourceModelName}\" references unknown model \"${targetModelName}\"`,\n    );\n  }\n  return targetModel;\n}\n\nfunction assertTargetTableMatches(\n  sourceModelName: string,\n  targetModel: ModelNode,\n  referencedTableName: string,\n  context: string,\n): void {\n  if (targetModel.tableName !== referencedTableName) {\n    throw new Error(\n      `${context} on model \"${sourceModelName}\" references table \"${referencedTableName}\" but model \"${targetModel.modelName}\" maps to \"${targetModel.tableName}\"`,\n    );\n  }\n}\n\nfunction isValueObjectField(\n  field: FieldNode | ValueObjectFieldNode,\n): field is ValueObjectFieldNode {\n  return 'valueObjectName' in field;\n}\n\nconst JSONB_CODEC_ID = 'pg/jsonb@1';\nconst JSONB_NATIVE_TYPE = 'jsonb';\n\nfunction resolveModelNamespaceId(\n  model: ModelNode,\n  modelNameToNamespaceId: ReadonlyMap<string, string>,\n  defaultNamespaceId: string,\n): string {\n  if (model.namespaceId !== undefined && model.namespaceId.length > 0) {\n    return model.namespaceId;\n  }\n  return modelNameToNamespaceId.get(model.modelName) ?? defaultNamespaceId;\n}\n\nfunction buildStorageColumn(\n  field: FieldNode | ValueObjectFieldNode,\n  codecLookup?: CodecLookup,\n): StorageColumn {\n  if (isValueObjectField(field)) {\n    const encodedDefault =\n      field.default !== undefined\n        ? encodeColumnDefault(field.default, JSONB_CODEC_ID, codecLookup)\n        : undefined;\n\n    return {\n      nativeType: JSONB_NATIVE_TYPE,\n      codecId: JSONB_CODEC_ID,\n      nullable: field.nullable,\n      ...ifDefined('default', encodedDefault),\n    };\n  }\n\n  if (field.many) {\n    return {\n      nativeType: JSONB_NATIVE_TYPE,\n      codecId: JSONB_CODEC_ID,\n      nullable: field.nullable,\n    };\n  }\n\n  const codecId = field.descriptor.codecId;\n  const encodedDefault =\n    field.default !== undefined\n      ? encodeColumnDefault(field.default, codecId, codecLookup)\n      : undefined;\n\n  return {\n    nativeType: field.descriptor.nativeType,\n    codecId,\n    nullable: field.nullable,\n    ...ifDefined('typeParams', field.descriptor.typeParams),\n    ...ifDefined('default', encodedDefault),\n    ...ifDefined('typeRef', field.descriptor.typeRef),\n  };\n}\n\nfunction buildDomainField(\n  field: FieldNode | ValueObjectFieldNode,\n  column: StorageColumn,\n): ContractField {\n  if (isValueObjectField(field)) {\n    return {\n      type: { kind: 'valueObject', name: field.valueObjectName },\n      nullable: field.nullable,\n      ...(field.many ? { many: true } : {}),\n    };\n  }\n\n  return {\n    type: {\n      kind: 'scalar',\n      codecId: column.codecId,\n      ...ifDefined('typeParams', column.typeParams),\n    },\n    nullable: column.nullable,\n    ...(field.many ? { many: true } : {}),\n  };\n}\n\nfunction collectStorageNamespaceCoordinateIds(definition: ContractDefinition): Set<string> {\n  const ids = new Set<string>();\n  ids.add(definition.target.defaultNamespaceId);\n  for (const id of definition.namespaces ?? []) {\n    if (id.length > 0) {\n      ids.add(id);\n    }\n  }\n  for (const model of definition.models) {\n    if (model.namespaceId !== undefined && model.namespaceId.length > 0) {\n      ids.add(model.namespaceId);\n    }\n  }\n  return ids;\n}\n\nfunction ensureUnboundNamespaceSlot(\n  namespaces: SqlStorageInput['namespaces'],\n  createNamespace: ContractDefinition['createNamespace'],\n): SqlStorageInput['namespaces'] {\n  if (Object.hasOwn(namespaces, UNBOUND_NAMESPACE_ID)) {\n    return namespaces;\n  }\n  const unboundInput: SqlNamespaceTablesInput = {\n    id: UNBOUND_NAMESPACE_ID,\n    entries: { table: {} },\n  };\n  const unbound = createNamespace ? createNamespace(unboundInput) : buildSqlNamespace(unboundInput);\n  return blindCast<\n    SqlStorageInput['namespaces'],\n    'createNamespace may return a target namespace concretion; the unbound slot matches SqlNamespace at runtime'\n  >({\n    [UNBOUND_NAMESPACE_ID]: unbound,\n    ...namespaces,\n  });\n}\n\nconst POSTGRES_ENUM_NAMESPACE_ID = 'public';\n\nfunction partitionStorageTypesForTarget(\n  targetId: string,\n  types: Record<string, StorageTypeInstance | PostgresEnumStorageEntry>,\n  namespaceTypes?: Readonly<Record<string, Readonly<Record<string, PostgresEnumStorageEntry>>>>,\n): {\n  readonly documentTypes: Record<string, StorageTypeInstance>;\n  readonly namespaceEnumTypesById: Record<string, Record<string, PostgresEnumStorageEntry>>;\n} {\n  const documentTypes: Record<string, StorageTypeInstance> = {};\n  const namespaceEnumTypesById: Record<string, Record<string, PostgresEnumStorageEntry>> = {};\n  for (const [name, entry] of Object.entries(types)) {\n    if (isPostgresEnumStorageEntry(entry)) {\n      if (targetId !== 'postgres') {\n        throw new Error(\n          `buildSqlContractFromDefinition: postgres enum \"${name}\" is only valid when target is \"postgres\" (got \"${targetId}\").`,\n        );\n      }\n      let slot = namespaceEnumTypesById[POSTGRES_ENUM_NAMESPACE_ID];\n      if (slot === undefined) {\n        slot = {};\n        namespaceEnumTypesById[POSTGRES_ENUM_NAMESPACE_ID] = slot;\n      }\n      slot[name] = entry;\n      continue;\n    }\n    documentTypes[name] = entry;\n  }\n  if (namespaceTypes !== undefined) {\n    for (const [nsId, enumsInNs] of Object.entries(namespaceTypes)) {\n      for (const [name, entry] of Object.entries(enumsInNs)) {\n        if (targetId !== 'postgres') {\n          throw new Error(\n            `buildSqlContractFromDefinition: postgres enum \"${name}\" is only valid when target is \"postgres\" (got \"${targetId}\").`,\n          );\n        }\n        let slot = namespaceEnumTypesById[nsId];\n        if (slot === undefined) {\n          slot = {};\n          namespaceEnumTypesById[nsId] = slot;\n        }\n        slot[name] = entry;\n      }\n    }\n  }\n  return { documentTypes, namespaceEnumTypesById };\n}\n\nexport function buildSqlContractFromDefinition(\n  definition: ContractDefinition,\n  codecLookup?: CodecLookup,\n): Contract<SqlStorage> {\n  const target = definition.target.targetId;\n  const defaultNamespaceId = definition.target.defaultNamespaceId;\n  const targetFamily = 'sql';\n  const modelsByName = new Map(definition.models.map((m) => [m.modelName, m]));\n\n  const tablesByNamespace: Record<string, Record<string, StorageTable>> = {};\n  const tableNameToNamespaceId = new Map<string, string>();\n  const modelNameToNamespaceId = new Map<string, string>();\n  const executionDefaults: ExecutionMutationDefault[] = [];\n  const modelsByNamespace: Record<string, Record<string, ContractModel>> = {};\n  const roots: Record<string, CrossReference> = {};\n\n  for (const semanticModel of definition.models) {\n    const tableName = semanticModel.tableName;\n    const namespaceId =\n      semanticModel.namespaceId !== undefined && semanticModel.namespaceId.length > 0\n        ? semanticModel.namespaceId\n        : defaultNamespaceId;\n    modelNameToNamespaceId.set(semanticModel.modelName, namespaceId);\n    // STI variants share the base table; the base model already owns this\n    // table name and its root, so the variant contributes neither.\n    if (!semanticModel.sharesBaseTable) {\n      roots[tableName] = crossRef(semanticModel.modelName, namespaceId);\n    }\n\n    // --- Build storage table ---\n\n    const columns: Record<string, StorageColumn> = {};\n    const fieldToColumn: Record<string, string> = {};\n    const domainFields: Record<string, ContractField> = {};\n    const domainFieldRefs: Record<string, DomainFieldRef> = {};\n\n    for (const field of semanticModel.fields) {\n      const executionDefaultPhases =\n        field.executionDefaults?.onCreate || field.executionDefaults?.onUpdate\n          ? field.executionDefaults\n          : undefined;\n      if (executionDefaultPhases) {\n        if (field.default !== undefined) {\n          throw new Error(\n            `Field \"${semanticModel.modelName}.${field.fieldName}\" cannot define both default and executionDefaults.`,\n          );\n        }\n        if (field.nullable) {\n          throw new Error(\n            `Field \"${semanticModel.modelName}.${field.fieldName}\" cannot be nullable when executionDefaults are present.`,\n          );\n        }\n      }\n\n      const column = buildStorageColumn(field, codecLookup);\n      columns[field.columnName] = column;\n      fieldToColumn[field.fieldName] = field.columnName;\n\n      domainFields[field.fieldName] = buildDomainField(field, column);\n\n      if (isValueObjectField(field)) {\n        domainFieldRefs[field.fieldName] = {\n          kind: 'valueObject',\n          name: field.valueObjectName,\n          ...(field.many ? { many: true } : {}),\n        };\n      } else if (field.many) {\n        domainFieldRefs[field.fieldName] = { kind: 'scalar', many: true };\n      }\n\n      if (executionDefaultPhases) {\n        executionDefaults.push({\n          ref: { table: tableName, column: field.columnName },\n          ...ifDefined('onCreate', executionDefaultPhases.onCreate),\n          ...ifDefined('onUpdate', executionDefaultPhases.onUpdate),\n        });\n      }\n    }\n\n    const foreignKeys = (semanticModel.foreignKeys ?? []).map((fk) => {\n      const targetModel = assertKnownTargetModel(\n        modelsByName,\n        semanticModel.modelName,\n        fk.references.model,\n        'Foreign key',\n      );\n      assertTargetTableMatches(\n        semanticModel.modelName,\n        targetModel,\n        fk.references.table,\n        'Foreign key',\n      );\n      const targetNamespaceId =\n        fk.references.namespaceId ??\n        (targetModel.namespaceId !== undefined && targetModel.namespaceId.length > 0\n          ? targetModel.namespaceId\n          : defaultNamespaceId);\n      return {\n        source: { namespaceId: asNamespaceId(namespaceId), tableName, columns: fk.columns },\n        target: {\n          namespaceId: asNamespaceId(targetNamespaceId),\n          tableName: fk.references.table,\n          columns: fk.references.columns,\n        },\n        ...applyFkDefaults(\n          {\n            ...ifDefined('constraint', fk.constraint),\n            ...ifDefined('index', fk.index),\n          },\n          definition.foreignKeyDefaults,\n        ),\n        ...ifDefined('name', fk.name),\n        ...ifDefined('onDelete', fk.onDelete),\n        ...ifDefined('onUpdate', fk.onUpdate),\n      };\n    });\n\n    // STI variants share the base table: their columns are already\n    // materialised onto the base `ModelNode`, so the variant builds a domain\n    // model (below) but no storage table of its own.\n    if (!semanticModel.sharesBaseTable) {\n      const existingNs = tableNameToNamespaceId.get(tableName);\n      if (existingNs !== undefined && existingNs !== namespaceId) {\n        throw new Error(\n          `buildSqlContractFromDefinition: table \"${tableName}\" is mapped in namespace \"${namespaceId}\" but already exists in namespace \"${existingNs}\".`,\n        );\n      }\n      tableNameToNamespaceId.set(tableName, namespaceId);\n\n      const tableInput: StorageTableInput = {\n        columns,\n        ...ifDefined('control', semanticModel.control),\n        uniques: (semanticModel.uniques ?? []).map((u) => ({\n          columns: u.columns,\n          ...ifDefined('name', u.name),\n        })),\n        indexes: (semanticModel.indexes ?? []).map((i) => ({\n          columns: i.columns,\n          ...ifDefined('name', i.name),\n          ...ifDefined('type', i.type),\n          ...ifDefined('options', i.options),\n        })),\n        foreignKeys,\n        ...(semanticModel.id\n          ? {\n              primaryKey: {\n                columns: semanticModel.id.columns,\n                ...ifDefined('name', semanticModel.id.name),\n              },\n            }\n          : {}),\n      };\n\n      let nsTables = tablesByNamespace[namespaceId];\n      if (nsTables === undefined) {\n        nsTables = {};\n        tablesByNamespace[namespaceId] = nsTables;\n      }\n      if (nsTables[tableName] !== undefined) {\n        throw new Error(\n          `buildSqlContractFromDefinition: duplicate table \"${tableName}\" in namespace \"${namespaceId}\".`,\n        );\n      }\n      nsTables[tableName] = new StorageTable(tableInput);\n    }\n\n    // --- Build contract model ---\n\n    const storageFields: Record<string, { readonly column: string }> = {};\n    for (const [fieldName, columnName] of Object.entries(fieldToColumn)) {\n      storageFields[fieldName] = { column: columnName };\n    }\n\n    const columnToField = new Map(\n      Object.entries(fieldToColumn).map(([field, col]) => [col, field]),\n    );\n    const modelRelations: Record<string, ContractRelation> = {};\n    for (const relation of semanticModel.relations ?? []) {\n      const targetModel = assertKnownTargetModel(\n        modelsByName,\n        semanticModel.modelName,\n        relation.toModel,\n        'Relation',\n      );\n      assertTargetTableMatches(semanticModel.modelName, targetModel, relation.toTable, 'Relation');\n\n      if (relation.cardinality === 'N:M' && !relation.through) {\n        throw new Error(\n          `Relation \"${semanticModel.modelName}.${relation.fieldName}\" with cardinality \"N:M\" requires through metadata`,\n        );\n      }\n\n      const targetColumnToField = new Map(\n        targetModel.fields.map((f) => [f.columnName, f.fieldName]),\n      );\n\n      modelRelations[relation.fieldName] = {\n        to: crossRef(\n          relation.toModel,\n          resolveModelNamespaceId(targetModel, modelNameToNamespaceId, defaultNamespaceId),\n        ),\n        // RelationDefinition.cardinality includes 'N:M' which isn't in\n        // ContractReferenceRelation yet — cast is needed until the contract\n        // type is extended to cover many-to-many.\n        cardinality: relation.cardinality as ContractRelation['cardinality'],\n        on: {\n          localFields: relation.on.parentColumns.map((col) => columnToField.get(col) ?? col),\n          targetFields: relation.on.childColumns.map((col) => targetColumnToField.get(col) ?? col),\n        },\n        ...(relation.through\n          ? {\n              through: {\n                table: relation.through.table,\n                parentCols: relation.through.parentColumns,\n                childCols: relation.through.childColumns,\n              },\n            }\n          : undefined),\n      };\n    }\n\n    let namespaceModels = modelsByNamespace[namespaceId];\n    if (namespaceModels === undefined) {\n      namespaceModels = {};\n      modelsByNamespace[namespaceId] = namespaceModels;\n    }\n    namespaceModels[semanticModel.modelName] = {\n      storage: {\n        table: tableName,\n        namespaceId,\n        fields: storageFields,\n      },\n      fields: domainFields,\n      relations: modelRelations,\n    };\n  }\n\n  // --- Assemble contract ---\n\n  // Normalise raw codec-triple inputs to the `kind: 'codec-instance'`\n  // discriminator shape before hashing so the storageHash matches the\n  // persisted JSON envelope produced from the SqlStorage class instance\n  // (which always carries the discriminator).\n  const rawStorageTypes = (definition.storageTypes ?? {}) as Record<\n    string,\n    StorageTypeInstance | PostgresEnumStorageEntry\n  >;\n  const storageTypes = Object.fromEntries(\n    Object.entries(rawStorageTypes).map(([name, entry]) => {\n      if (isPostgresEnumStorageEntry(entry)) return [name, entry];\n      if ((entry as { kind?: unknown }).kind === 'codec-instance') return [name, entry];\n      return [\n        name,\n        toStorageTypeInstance({\n          codecId: entry.codecId,\n          nativeType: entry.nativeType,\n          typeParams: (entry as { typeParams?: Record<string, unknown> }).typeParams ?? {},\n        }),\n      ];\n    }),\n  );\n  const { documentTypes, namespaceEnumTypesById } = partitionStorageTypesForTarget(\n    target,\n    storageTypes,\n    definition.namespaceTypes,\n  );\n  const namespaceCoordinateIds = collectStorageNamespaceCoordinateIds(definition);\n  for (const id of Object.keys(namespaceEnumTypesById)) {\n    namespaceCoordinateIds.add(id);\n  }\n  const { createNamespace } = definition;\n  const namespaces = blindCast<\n    SqlStorageInput['namespaces'],\n    'contract authoring materialises each namespace coordinate from the model set and explicit namespace list'\n  >(\n    Object.fromEntries(\n      [...namespaceCoordinateIds].sort().map((id) => {\n        const enumTypes = namespaceEnumTypesById[id];\n        const nsInput: SqlNamespaceTablesInput = {\n          id,\n          entries: {\n            table: tablesByNamespace[id] ?? {},\n          },\n        };\n        return [\n          id,\n          createNamespace ? createNamespace(nsInput, enumTypes) : buildSqlNamespace(nsInput),\n        ];\n      }),\n    ),\n  );\n  const storageWithoutHash = {\n    ...(Object.keys(documentTypes).length > 0 ? { types: documentTypes } : {}),\n    namespaces: ensureUnboundNamespaceSlot(namespaces, createNamespace),\n  };\n  const storageHash: StorageHashBase<string> = definition.storageHash\n    ? coreHash(definition.storageHash)\n    : computeStorageHash({\n        target,\n        targetFamily,\n        storage: storageWithoutHash as Record<string, unknown>,\n        ...sqlContractCanonicalizationHooks,\n      });\n  const storage = new SqlStorage({ ...storageWithoutHash, storageHash });\n\n  const executionSection =\n    executionDefaults.length > 0\n      ? {\n          mutations: {\n            defaults: executionDefaults.sort((a, b) => {\n              const tableCompare = a.ref.table.localeCompare(b.ref.table);\n              if (tableCompare !== 0) {\n                return tableCompare;\n              }\n              return a.ref.column.localeCompare(b.ref.column);\n            }),\n          },\n        }\n      : undefined;\n\n  const extensionNamespaces = definition.extensionPacks\n    ? Object.values(definition.extensionPacks).map((pack) => pack.id)\n    : undefined;\n\n  const extensionPacks: Record<string, unknown> = { ...(definition.extensionPacks || {}) };\n  if (extensionNamespaces) {\n    for (const namespace of extensionNamespaces) {\n      if (!Object.hasOwn(extensionPacks, namespace)) {\n        extensionPacks[namespace] = {};\n      }\n    }\n  }\n\n  const extensionPackCapabilitySources = definition.extensionPacks\n    ? Object.values(definition.extensionPacks).map(\n        (pack) => pack.capabilities as CapabilityMatrix | undefined,\n      )\n    : [];\n  const capabilities = mergeCapabilityMatrices(\n    definition.target.capabilities as CapabilityMatrix | undefined,\n    ...extensionPackCapabilitySources,\n  );\n  // Internal `profileHash` computation is unchanged from `origin/main`: it\n  // continues to fingerprint the author-declared capability subset. With\n  // `capabilities` removed from the `defineContract` input that subset is\n  // now always empty, so the hash naturally stabilises at `hash({})`.\n  const profileHash = computeProfileHash({\n    target,\n    targetFamily,\n    capabilities: {},\n  });\n\n  const executionWithHash = executionSection\n    ? {\n        ...executionSection,\n        executionHash: computeExecutionHash({ target, targetFamily, execution: executionSection }),\n      }\n    : undefined;\n\n  const valueObjects: Record<string, ContractValueObject> | undefined =\n    definition.valueObjects && definition.valueObjects.length > 0\n      ? Object.fromEntries(\n          definition.valueObjects.map((vo) => [\n            vo.name,\n            {\n              fields: Object.fromEntries(\n                vo.fields.map((f) => [\n                  f.fieldName,\n                  isValueObjectField(f)\n                    ? {\n                        type: { kind: 'valueObject' as const, name: f.valueObjectName },\n                        nullable: f.nullable,\n                        ...(f.many ? { many: true } : {}),\n                      }\n                    : {\n                        type: {\n                          kind: 'scalar' as const,\n                          codecId: f.descriptor.codecId,\n                          ...ifDefined('typeParams', f.descriptor.typeParams),\n                        },\n                        nullable: f.nullable,\n                      },\n                ]),\n              ),\n            },\n          ]),\n        )\n      : undefined;\n\n  const domainNamespaceIds = new Set(Object.keys(modelsByNamespace));\n  if (domainNamespaceIds.size === 0) {\n    domainNamespaceIds.add(defaultNamespaceId);\n  }\n  if (valueObjects !== undefined) {\n    domainNamespaceIds.add(defaultNamespaceId);\n  }\n  const domainNamespaces = Object.fromEntries(\n    [...domainNamespaceIds].sort().map((namespaceId) => {\n      const modelsInNs = modelsByNamespace[namespaceId] ?? {};\n      const namespaceSlice =\n        namespaceId === defaultNamespaceId && valueObjects !== undefined\n          ? { models: modelsInNs, valueObjects }\n          : { models: modelsInNs };\n      return [namespaceId, namespaceSlice];\n    }),\n  );\n\n  const contract: Contract<SqlStorage> = {\n    target,\n    targetFamily,\n    ...ifDefined('defaultControlPolicy', definition.defaultControlPolicy),\n    domain: { namespaces: domainNamespaces },\n    roots,\n    storage,\n    ...(executionWithHash ? { execution: executionWithHash } : {}),\n    extensionPacks,\n    capabilities,\n    profileHash,\n    meta: {},\n  };\n\n  assertStorageSemantics(definition, contract);\n\n  return contract;\n}\n"],"mappings":";;;;;;;;;;;;AA2DA,SAAS,0BACP,OACA,SACA,aACW;CACX,MAAM,QAAQ,aAAa,IAAI,OAAO;CACtC,IAAI,OACF,OAAO,MAAM,WAAW,KAAK;CAE/B,OAAO;AACT;AAEA,SAAS,oBACP,cACA,SACA,aACe;CACf,IAAI,aAAa,SAAS,YACxB,OAAO;EAAE,MAAM;EAAY,YAAY,aAAa;CAAW;CAEjE,OAAO;EACL,MAAM;EACN,OAAO,0BAA0B,aAAa,OAAO,SAAS,WAAW;CAC3E;AACF;AAEA,SAAS,uBACP,YACA,UACM;CACN,MAAM,iBAAiB,yBAAyB,SAAS,OAAO;CAChE,IAAI,eAAe,SAAS,GAC1B,MAAM,IAAI,MAAM,wCAAwC,eAAe,KAAK,IAAI,GAAG;CAGrF,MAAM,oBAAoB,wBAAwB;CAClD,MAAM,kBAA0F,CAC9F,WAAW,QACX,GAAG,OAAO,OAAO,WAAW,kBAAkB,CAAC,CAAC,CAClD;CACA,KAAK,MAAM,QAAQ,iBAAiB;EAClC,MAAM,eAAe,KAAK;EAC1B,IAAI,iBAAiB,KAAA,GAAW;EAChC,IACE,OAAO,iBAAiB,YACxB,iBAAiB,QACjB,CAAC,MAAM,QAAS,aAAuC,OAAO,GAE9D,MAAM,IAAI,MACR,SAAS,KAAK,MAAM,YAAY,yHAAyH,OAAO,aAAa,GAC/K;EAEF,KAAK,MAAM,SAAU,aAAqD,SACxE,kBAAkB,SAAS,KAAK;CAEpC;CACA,mBAAmB,UAAU,iBAAiB;AAChD;AAEA,SAAS,uBACP,cACA,iBACA,iBACA,SACW;CACX,MAAM,cAAc,aAAa,IAAI,eAAe;CACpD,IAAI,CAAC,aACH,MAAM,IAAI,MACR,GAAG,QAAQ,aAAa,gBAAgB,8BAA8B,gBAAgB,EACxF;CAEF,OAAO;AACT;AAEA,SAAS,yBACP,iBACA,aACA,qBACA,SACM;CACN,IAAI,YAAY,cAAc,qBAC5B,MAAM,IAAI,MACR,GAAG,QAAQ,aAAa,gBAAgB,sBAAsB,oBAAoB,eAAe,YAAY,UAAU,aAAa,YAAY,UAAU,EAC5J;AAEJ;AAEA,SAAS,mBACP,OAC+B;CAC/B,OAAO,qBAAqB;AAC9B;AAEA,MAAM,iBAAiB;AACvB,MAAM,oBAAoB;AAE1B,SAAS,wBACP,OACA,wBACA,oBACQ;CACR,IAAI,MAAM,gBAAgB,KAAA,KAAa,MAAM,YAAY,SAAS,GAChE,OAAO,MAAM;CAEf,OAAO,uBAAuB,IAAI,MAAM,SAAS,KAAK;AACxD;AAEA,SAAS,mBACP,OACA,aACe;CACf,IAAI,mBAAmB,KAAK,GAAG;EAC7B,MAAM,iBACJ,MAAM,YAAY,KAAA,IACd,oBAAoB,MAAM,SAAS,gBAAgB,WAAW,IAC9D,KAAA;EAEN,OAAO;GACL,YAAY;GACZ,SAAS;GACT,UAAU,MAAM;GAChB,GAAG,UAAU,WAAW,cAAc;EACxC;CACF;CAEA,IAAI,MAAM,MACR,OAAO;EACL,YAAY;EACZ,SAAS;EACT,UAAU,MAAM;CAClB;CAGF,MAAM,UAAU,MAAM,WAAW;CACjC,MAAM,iBACJ,MAAM,YAAY,KAAA,IACd,oBAAoB,MAAM,SAAS,SAAS,WAAW,IACvD,KAAA;CAEN,OAAO;EACL,YAAY,MAAM,WAAW;EAC7B;EACA,UAAU,MAAM;EAChB,GAAG,UAAU,cAAc,MAAM,WAAW,UAAU;EACtD,GAAG,UAAU,WAAW,cAAc;EACtC,GAAG,UAAU,WAAW,MAAM,WAAW,OAAO;CAClD;AACF;AAEA,SAAS,iBACP,OACA,QACe;CACf,IAAI,mBAAmB,KAAK,GAC1B,OAAO;EACL,MAAM;GAAE,MAAM;GAAe,MAAM,MAAM;EAAgB;EACzD,UAAU,MAAM;EAChB,GAAI,MAAM,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;CACrC;CAGF,OAAO;EACL,MAAM;GACJ,MAAM;GACN,SAAS,OAAO;GAChB,GAAG,UAAU,cAAc,OAAO,UAAU;EAC9C;EACA,UAAU,OAAO;EACjB,GAAI,MAAM,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;CACrC;AACF;AAEA,SAAS,qCAAqC,YAA6C;CACzF,MAAM,sBAAM,IAAI,IAAY;CAC5B,IAAI,IAAI,WAAW,OAAO,kBAAkB;CAC5C,KAAK,MAAM,MAAM,WAAW,cAAc,CAAC,GACzC,IAAI,GAAG,SAAS,GACd,IAAI,IAAI,EAAE;CAGd,KAAK,MAAM,SAAS,WAAW,QAC7B,IAAI,MAAM,gBAAgB,KAAA,KAAa,MAAM,YAAY,SAAS,GAChE,IAAI,IAAI,MAAM,WAAW;CAG7B,OAAO;AACT;AAEA,SAAS,2BACP,YACA,iBAC+B;CAC/B,IAAI,OAAO,OAAO,YAAY,oBAAoB,GAChD,OAAO;CAET,MAAM,eAAwC;EAC5C,IAAI;EACJ,SAAS,EAAE,OAAO,CAAC,EAAE;CACvB;CACA,MAAM,UAAU,kBAAkB,gBAAgB,YAAY,IAAI,kBAAkB,YAAY;CAChG,OAAO,UAGL;GACC,uBAAuB;EACxB,GAAG;CACL,CAAC;AACH;AAEA,MAAM,6BAA6B;AAEnC,SAAS,+BACP,UACA,OACA,gBAIA;CACA,MAAM,gBAAqD,CAAC;CAC5D,MAAM,yBAAmF,CAAC;CAC1F,KAAK,MAAM,CAAC,MAAM,UAAU,OAAO,QAAQ,KAAK,GAAG;EACjD,IAAI,2BAA2B,KAAK,GAAG;GACrC,IAAI,aAAa,YACf,MAAM,IAAI,MACR,kDAAkD,KAAK,kDAAkD,SAAS,IACpH;GAEF,IAAI,OAAO,uBAAuB;GAClC,IAAI,SAAS,KAAA,GAAW;IACtB,OAAO,CAAC;IACR,uBAAuB,8BAA8B;GACvD;GACA,KAAK,QAAQ;GACb;EACF;EACA,cAAc,QAAQ;CACxB;CACA,IAAI,mBAAmB,KAAA,GACrB,KAAK,MAAM,CAAC,MAAM,cAAc,OAAO,QAAQ,cAAc,GAC3D,KAAK,MAAM,CAAC,MAAM,UAAU,OAAO,QAAQ,SAAS,GAAG;EACrD,IAAI,aAAa,YACf,MAAM,IAAI,MACR,kDAAkD,KAAK,kDAAkD,SAAS,IACpH;EAEF,IAAI,OAAO,uBAAuB;EAClC,IAAI,SAAS,KAAA,GAAW;GACtB,OAAO,CAAC;GACR,uBAAuB,QAAQ;EACjC;EACA,KAAK,QAAQ;CACf;CAGJ,OAAO;EAAE;EAAe;CAAuB;AACjD;AAEA,SAAgB,+BACd,YACA,aACsB;CACtB,MAAM,SAAS,WAAW,OAAO;CACjC,MAAM,qBAAqB,WAAW,OAAO;CAC7C,MAAM,eAAe;CACrB,MAAM,eAAe,IAAI,IAAI,WAAW,OAAO,KAAK,MAAM,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC;CAE3E,MAAM,oBAAkE,CAAC;CACzE,MAAM,yCAAyB,IAAI,IAAoB;CACvD,MAAM,yCAAyB,IAAI,IAAoB;CACvD,MAAM,oBAAgD,CAAC;CACvD,MAAM,oBAAmE,CAAC;CAC1E,MAAM,QAAwC,CAAC;CAE/C,KAAK,MAAM,iBAAiB,WAAW,QAAQ;EAC7C,MAAM,YAAY,cAAc;EAChC,MAAM,cACJ,cAAc,gBAAgB,KAAA,KAAa,cAAc,YAAY,SAAS,IAC1E,cAAc,cACd;EACN,uBAAuB,IAAI,cAAc,WAAW,WAAW;EAG/D,IAAI,CAAC,cAAc,iBACjB,MAAM,aAAa,SAAS,cAAc,WAAW,WAAW;EAKlE,MAAM,UAAyC,CAAC;EAChD,MAAM,gBAAwC,CAAC;EAC/C,MAAM,eAA8C,CAAC;EACrD,MAAM,kBAAkD,CAAC;EAEzD,KAAK,MAAM,SAAS,cAAc,QAAQ;GACxC,MAAM,yBACJ,MAAM,mBAAmB,YAAY,MAAM,mBAAmB,WAC1D,MAAM,oBACN,KAAA;GACN,IAAI,wBAAwB;IAC1B,IAAI,MAAM,YAAY,KAAA,GACpB,MAAM,IAAI,MACR,UAAU,cAAc,UAAU,GAAG,MAAM,UAAU,oDACvD;IAEF,IAAI,MAAM,UACR,MAAM,IAAI,MACR,UAAU,cAAc,UAAU,GAAG,MAAM,UAAU,yDACvD;GAEJ;GAEA,MAAM,SAAS,mBAAmB,OAAO,WAAW;GACpD,QAAQ,MAAM,cAAc;GAC5B,cAAc,MAAM,aAAa,MAAM;GAEvC,aAAa,MAAM,aAAa,iBAAiB,OAAO,MAAM;GAE9D,IAAI,mBAAmB,KAAK,GAC1B,gBAAgB,MAAM,aAAa;IACjC,MAAM;IACN,MAAM,MAAM;IACZ,GAAI,MAAM,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;GACrC;QACK,IAAI,MAAM,MACf,gBAAgB,MAAM,aAAa;IAAE,MAAM;IAAU,MAAM;GAAK;GAGlE,IAAI,wBACF,kBAAkB,KAAK;IACrB,KAAK;KAAE,OAAO;KAAW,QAAQ,MAAM;IAAW;IAClD,GAAG,UAAU,YAAY,uBAAuB,QAAQ;IACxD,GAAG,UAAU,YAAY,uBAAuB,QAAQ;GAC1D,CAAC;EAEL;EAEA,MAAM,eAAe,cAAc,eAAe,CAAC,GAAG,KAAK,OAAO;GAChE,MAAM,cAAc,uBAClB,cACA,cAAc,WACd,GAAG,WAAW,OACd,aACF;GACA,yBACE,cAAc,WACd,aACA,GAAG,WAAW,OACd,aACF;GACA,MAAM,oBACJ,GAAG,WAAW,gBACb,YAAY,gBAAgB,KAAA,KAAa,YAAY,YAAY,SAAS,IACvE,YAAY,cACZ;GACN,OAAO;IACL,QAAQ;KAAE,aAAa,cAAc,WAAW;KAAG;KAAW,SAAS,GAAG;IAAQ;IAClF,QAAQ;KACN,aAAa,cAAc,iBAAiB;KAC5C,WAAW,GAAG,WAAW;KACzB,SAAS,GAAG,WAAW;IACzB;IACA,GAAG,gBACD;KACE,GAAG,UAAU,cAAc,GAAG,UAAU;KACxC,GAAG,UAAU,SAAS,GAAG,KAAK;IAChC,GACA,WAAW,kBACb;IACA,GAAG,UAAU,QAAQ,GAAG,IAAI;IAC5B,GAAG,UAAU,YAAY,GAAG,QAAQ;IACpC,GAAG,UAAU,YAAY,GAAG,QAAQ;GACtC;EACF,CAAC;EAKD,IAAI,CAAC,cAAc,iBAAiB;GAClC,MAAM,aAAa,uBAAuB,IAAI,SAAS;GACvD,IAAI,eAAe,KAAA,KAAa,eAAe,aAC7C,MAAM,IAAI,MACR,0CAA0C,UAAU,4BAA4B,YAAY,qCAAqC,WAAW,GAC9I;GAEF,uBAAuB,IAAI,WAAW,WAAW;GAEjD,MAAM,aAAgC;IACpC;IACA,GAAG,UAAU,WAAW,cAAc,OAAO;IAC7C,UAAU,cAAc,WAAW,CAAC,GAAG,KAAK,OAAO;KACjD,SAAS,EAAE;KACX,GAAG,UAAU,QAAQ,EAAE,IAAI;IAC7B,EAAE;IACF,UAAU,cAAc,WAAW,CAAC,GAAG,KAAK,OAAO;KACjD,SAAS,EAAE;KACX,GAAG,UAAU,QAAQ,EAAE,IAAI;KAC3B,GAAG,UAAU,QAAQ,EAAE,IAAI;KAC3B,GAAG,UAAU,WAAW,EAAE,OAAO;IACnC,EAAE;IACF;IACA,GAAI,cAAc,KACd,EACE,YAAY;KACV,SAAS,cAAc,GAAG;KAC1B,GAAG,UAAU,QAAQ,cAAc,GAAG,IAAI;IAC5C,EACF,IACA,CAAC;GACP;GAEA,IAAI,WAAW,kBAAkB;GACjC,IAAI,aAAa,KAAA,GAAW;IAC1B,WAAW,CAAC;IACZ,kBAAkB,eAAe;GACnC;GACA,IAAI,SAAS,eAAe,KAAA,GAC1B,MAAM,IAAI,MACR,oDAAoD,UAAU,kBAAkB,YAAY,GAC9F;GAEF,SAAS,aAAa,IAAI,aAAa,UAAU;EACnD;EAIA,MAAM,gBAA6D,CAAC;EACpE,KAAK,MAAM,CAAC,WAAW,eAAe,OAAO,QAAQ,aAAa,GAChE,cAAc,aAAa,EAAE,QAAQ,WAAW;EAGlD,MAAM,gBAAgB,IAAI,IACxB,OAAO,QAAQ,aAAa,EAAE,KAAK,CAAC,OAAO,SAAS,CAAC,KAAK,KAAK,CAAC,CAClE;EACA,MAAM,iBAAmD,CAAC;EAC1D,KAAK,MAAM,YAAY,cAAc,aAAa,CAAC,GAAG;GACpD,MAAM,cAAc,uBAClB,cACA,cAAc,WACd,SAAS,SACT,UACF;GACA,yBAAyB,cAAc,WAAW,aAAa,SAAS,SAAS,UAAU;GAE3F,IAAI,SAAS,gBAAgB,SAAS,CAAC,SAAS,SAC9C,MAAM,IAAI,MACR,aAAa,cAAc,UAAU,GAAG,SAAS,UAAU,mDAC7D;GAGF,MAAM,sBAAsB,IAAI,IAC9B,YAAY,OAAO,KAAK,MAAM,CAAC,EAAE,YAAY,EAAE,SAAS,CAAC,CAC3D;GAEA,eAAe,SAAS,aAAa;IACnC,IAAI,SACF,SAAS,SACT,wBAAwB,aAAa,wBAAwB,kBAAkB,CACjF;IAIA,aAAa,SAAS;IACtB,IAAI;KACF,aAAa,SAAS,GAAG,cAAc,KAAK,QAAQ,cAAc,IAAI,GAAG,KAAK,GAAG;KACjF,cAAc,SAAS,GAAG,aAAa,KAAK,QAAQ,oBAAoB,IAAI,GAAG,KAAK,GAAG;IACzF;IACA,GAAI,SAAS,UACT,EACE,SAAS;KACP,OAAO,SAAS,QAAQ;KACxB,YAAY,SAAS,QAAQ;KAC7B,WAAW,SAAS,QAAQ;IAC9B,EACF,IACA,KAAA;GACN;EACF;EAEA,IAAI,kBAAkB,kBAAkB;EACxC,IAAI,oBAAoB,KAAA,GAAW;GACjC,kBAAkB,CAAC;GACnB,kBAAkB,eAAe;EACnC;EACA,gBAAgB,cAAc,aAAa;GACzC,SAAS;IACP,OAAO;IACP;IACA,QAAQ;GACV;GACA,QAAQ;GACR,WAAW;EACb;CACF;CAQA,MAAM,kBAAmB,WAAW,gBAAgB,CAAC;CAkBrD,MAAM,EAAE,eAAe,2BAA2B,+BAChD,QAfmB,OAAO,YAC1B,OAAO,QAAQ,eAAe,EAAE,KAAK,CAAC,MAAM,WAAW;EACrD,IAAI,2BAA2B,KAAK,GAAG,OAAO,CAAC,MAAM,KAAK;EAC1D,IAAK,MAA6B,SAAS,kBAAkB,OAAO,CAAC,MAAM,KAAK;EAChF,OAAO,CACL,MACA,sBAAsB;GACpB,SAAS,MAAM;GACf,YAAY,MAAM;GAClB,YAAa,MAAmD,cAAc,CAAC;EACjF,CAAC,CACH;CACF,CAAC,CAIU,GACX,WAAW,cACb;CACA,MAAM,yBAAyB,qCAAqC,UAAU;CAC9E,KAAK,MAAM,MAAM,OAAO,KAAK,sBAAsB,GACjD,uBAAuB,IAAI,EAAE;CAE/B,MAAM,EAAE,oBAAoB;CAC5B,MAAM,aAAa,UAIjB,OAAO,YACL,CAAC,GAAG,sBAAsB,EAAE,KAAK,EAAE,KAAK,OAAO;EAC7C,MAAM,YAAY,uBAAuB;EACzC,MAAM,UAAmC;GACvC;GACA,SAAS,EACP,OAAO,kBAAkB,OAAO,CAAC,EACnC;EACF;EACA,OAAO,CACL,IACA,kBAAkB,gBAAgB,SAAS,SAAS,IAAI,kBAAkB,OAAO,CACnF;CACF,CAAC,CACH,CACF;CACA,MAAM,qBAAqB;EACzB,GAAI,OAAO,KAAK,aAAa,EAAE,SAAS,IAAI,EAAE,OAAO,cAAc,IAAI,CAAC;EACxE,YAAY,2BAA2B,YAAY,eAAe;CACpE;CACA,MAAM,cAAuC,WAAW,cACpD,SAAS,WAAW,WAAW,IAC/B,mBAAmB;EACjB;EACA;EACA,SAAS;EACT,GAAG;CACL,CAAC;CACL,MAAM,UAAU,IAAI,WAAW;EAAE,GAAG;EAAoB;CAAY,CAAC;CAErE,MAAM,mBACJ,kBAAkB,SAAS,IACvB,EACE,WAAW,EACT,UAAU,kBAAkB,MAAM,GAAG,MAAM;EACzC,MAAM,eAAe,EAAE,IAAI,MAAM,cAAc,EAAE,IAAI,KAAK;EAC1D,IAAI,iBAAiB,GACnB,OAAO;EAET,OAAO,EAAE,IAAI,OAAO,cAAc,EAAE,IAAI,MAAM;CAChD,CAAC,EACH,EACF,IACA,KAAA;CAEN,MAAM,sBAAsB,WAAW,iBACnC,OAAO,OAAO,WAAW,cAAc,EAAE,KAAK,SAAS,KAAK,EAAE,IAC9D,KAAA;CAEJ,MAAM,iBAA0C,EAAE,GAAI,WAAW,kBAAkB,CAAC,EAAG;CACvF,IAAI;OACG,MAAM,aAAa,qBACtB,IAAI,CAAC,OAAO,OAAO,gBAAgB,SAAS,GAC1C,eAAe,aAAa,CAAC;CAAA;CAKnC,MAAM,iCAAiC,WAAW,iBAC9C,OAAO,OAAO,WAAW,cAAc,EAAE,KACtC,SAAS,KAAK,YACjB,IACA,CAAC;CACL,MAAM,eAAe,wBACnB,WAAW,OAAO,cAClB,GAAG,8BACL;CAKA,MAAM,cAAc,mBAAmB;EACrC;EACA;EACA,cAAc,CAAC;CACjB,CAAC;CAED,MAAM,oBAAoB,mBACtB;EACE,GAAG;EACH,eAAe,qBAAqB;GAAE;GAAQ;GAAc,WAAW;EAAiB,CAAC;CAC3F,IACA,KAAA;CAEJ,MAAM,eACJ,WAAW,gBAAgB,WAAW,aAAa,SAAS,IACxD,OAAO,YACL,WAAW,aAAa,KAAK,OAAO,CAClC,GAAG,MACH,EACE,QAAQ,OAAO,YACb,GAAG,OAAO,KAAK,MAAM,CACnB,EAAE,WACF,mBAAmB,CAAC,IAChB;EACE,MAAM;GAAE,MAAM;GAAwB,MAAM,EAAE;EAAgB;EAC9D,UAAU,EAAE;EACZ,GAAI,EAAE,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;CACjC,IACA;EACE,MAAM;GACJ,MAAM;GACN,SAAS,EAAE,WAAW;GACtB,GAAG,UAAU,cAAc,EAAE,WAAW,UAAU;EACpD;EACA,UAAU,EAAE;CACd,CACN,CAAC,CACH,EACF,CACF,CAAC,CACH,IACA,KAAA;CAEN,MAAM,qBAAqB,IAAI,IAAI,OAAO,KAAK,iBAAiB,CAAC;CACjE,IAAI,mBAAmB,SAAS,GAC9B,mBAAmB,IAAI,kBAAkB;CAE3C,IAAI,iBAAiB,KAAA,GACnB,mBAAmB,IAAI,kBAAkB;CAE3C,MAAM,mBAAmB,OAAO,YAC9B,CAAC,GAAG,kBAAkB,EAAE,KAAK,EAAE,KAAK,gBAAgB;EAClD,MAAM,aAAa,kBAAkB,gBAAgB,CAAC;EAKtD,OAAO,CAAC,aAHN,gBAAgB,sBAAsB,iBAAiB,KAAA,IACnD;GAAE,QAAQ;GAAY;EAAa,IACnC,EAAE,QAAQ,WAAW,CACQ;CACrC,CAAC,CACH;CAEA,MAAM,WAAiC;EACrC;EACA;EACA,GAAG,UAAU,wBAAwB,WAAW,oBAAoB;EACpE,QAAQ,EAAE,YAAY,iBAAiB;EACvC;EACA;EACA,GAAI,oBAAoB,EAAE,WAAW,kBAAkB,IAAI,CAAC;EAC5D;EACA;EACA;EACA,MAAM,CAAC;CACT;CAEA,uBAAuB,YAAY,QAAQ;CAE3C,OAAO;AACT"}

package/dist/config-types.d.mts

@@ -1,14 +1,18 @@
-import { Contract } from "@prisma-next/contract/types";
+import { Contract, ControlPolicy } from "@prisma-next/contract/types";
 import { ContractConfig, ContractConfig as ContractConfig$1 } from "@prisma-next/config/config-types";
 import { TargetPackRef } from "@prisma-next/framework-components/components";
 
 //#region src/config-types.d.ts
+interface TypeScriptContractSpecifierOptions {
+  readonly defaultControlPolicy?: ControlPolicy;
+}
 declare function emptyContract(options: {
   readonly output?: string;
   readonly target: TargetPackRef<'sql', string>;
+  readonly defaultControlPolicy?: ControlPolicy;
 }): ContractConfig$1;
-declare function typescriptContract(contract: Contract, output?: string): ContractConfig$1;
-declare function typescriptContractFromPath(contractPath: string, output?: string): ContractConfig$1;
+declare function typescriptContract(contract: Contract, output?: string, options?: TypeScriptContractSpecifierOptions): ContractConfig$1;
+declare function typescriptContractFromPath(contractPath: string, output?: string, options?: TypeScriptContractSpecifierOptions): ContractConfig$1;
 //#endregion
 export { type ContractConfig, emptyContract, typescriptContract, typescriptContractFromPath };
 //# sourceMappingURL=config-types.d.mts.map

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

@@ -1 +1 @@
-{"version":3,"file":"config-types.d.mts","names":[],"sources":["../src/config-types.ts"],"mappings":";;;;;iBAqBgB,aAAA,CAAc,OAAA;EAAA,SACnB,MAAA;EAAA,SACA,MAAA,EAAQ,aAAA;AAAA,IACf,gBAAc;AAAA,iBASF,kBAAA,CAAmB,QAAA,EAAU,QAAA,EAAU,MAAA,YAAkB,gBAAc;AAAA,iBAWvE,0BAAA,CAA2B,YAAA,UAAsB,MAAA,YAAkB,gBAAc"}
+{"version":3,"file":"config-types.d.mts","names":[],"sources":["../src/config-types.ts"],"mappings":";;;;;UAsBiB,kCAAA;EAAA,SACN,oBAAA,GAAuB,aAAa;AAAA;AAAA,iBAG/B,aAAA,CAAc,OAAA;EAAA,SACnB,MAAA;EAAA,SACA,MAAA,EAAQ,aAAA;EAAA,SACR,oBAAA,GAAuB,aAAA;AAAA,IAC9B,gBAAA;AAAA,iBAYY,kBAAA,CACd,QAAA,EAAU,QAAA,EACV,MAAA,WACA,OAAA,GAAU,kCAAA,GACT,gBAAA;AAAA,iBAYa,0BAAA,CACd,YAAA,UACA,MAAA,WACA,OAAA,GAAU,kCAAA,GACT,gBAAc"}

package/dist/config-types.mjs

@@ -1,6 +1,7 @@
-import { t as buildSqlContractFromDefinition } from "./build-contract-BCYW3_wE.mjs";
+import { t as buildSqlContractFromDefinition } from "./build-contract-B1odoaHR.mjs";
 import { ifDefined } from "@prisma-next/utils/defined";
 import { pathToFileURL } from "node:url";
+import { applySpecifierDefaultControlPolicy } from "@prisma-next/contract/apply-specifier-default-control-policy";
 import { ok } from "@prisma-next/utils/result";
 import { extname } from "pathe";
 //#region src/config-types.ts
@@ -17,20 +18,22 @@ function defaultOutputFromContractPath(contractPath) {
 }
 function emptyContract(options) {
 	return {
-		source: { load: async () => ok(buildSqlContractFromDefinition({
-			target: options.target,
-			models: []
-		})) },
+		source: { load: async () => {
+			return ok(applySpecifierDefaultControlPolicy(buildSqlContractFromDefinition({
+				target: options.target,
+				models: []
+			}), options.defaultControlPolicy));
+		} },
 		...ifDefined("output", options.output)
 	};
 }
-function typescriptContract(contract, output) {
+function typescriptContract(contract, output, options) {
 	return {
-		source: { load: async () => ok(contract) },
+		source: { load: async () => ok(applySpecifierDefaultControlPolicy(contract, options?.defaultControlPolicy)) },
 		...ifDefined("output", output)
 	};
 }
-function typescriptContractFromPath(contractPath, output) {
+function typescriptContractFromPath(contractPath, output, options) {
 	return {
 		source: {
 			inputs: [contractPath],
@@ -40,7 +43,7 @@ function typescriptContractFromPath(contractPath, output) {
 				const mod = await import(pathToFileURL(absolutePath).href);
 				const contract = mod.default ?? mod.contract;
 				if (contract === void 0) throw new Error(`typescriptContractFromPath: module at "${absolutePath}" has no "default" or "contract" export.`);
-				return ok(contract);
+				return ok(applySpecifierDefaultControlPolicy(contract, options?.defaultControlPolicy));
 			}
 		},
 		output: output ?? defaultOutputFromContractPath(contractPath)

package/dist/config-types.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"config-types.mjs","names":[],"sources":["../src/config-types.ts"],"sourcesContent":["import { pathToFileURL } from 'node:url';\nimport type { ContractConfig } from '@prisma-next/config/config-types';\nimport type { Contract } from '@prisma-next/contract/types';\nimport type { TargetPackRef } from '@prisma-next/framework-components/components';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport { ok } from '@prisma-next/utils/result';\nimport { extname } from 'pathe';\nimport { buildSqlContractFromDefinition } from './build-contract';\n\n/**\n * Derives the emit output path from the TS contract input so artefacts land\n * colocated with the source (e.g. `prisma/contract.ts` →\n * `prisma/contract.json`). Mirrors the same default-derivation logic in\n * `@prisma-next/sql-contract-psl/provider`.\n */\nfunction defaultOutputFromContractPath(contractPath: string): string {\n  const ext = extname(contractPath);\n  if (ext.length === 0) return `${contractPath}.json`;\n  return `${contractPath.slice(0, -ext.length)}.json`;\n}\n\nexport function emptyContract(options: {\n  readonly output?: string;\n  readonly target: TargetPackRef<'sql', string>;\n}): ContractConfig {\n  return {\n    source: {\n      load: async () => ok(buildSqlContractFromDefinition({ target: options.target, models: [] })),\n    },\n    ...ifDefined('output', options.output),\n  };\n}\n\nexport function typescriptContract(contract: Contract, output?: string): ContractConfig {\n  return {\n    source: {\n      load: async () => ok(contract),\n    },\n    // The in-memory variant has no input path to anchor on; fall through to\n    // the global default in `normalizeContractConfig` when caller doesn't pin it.\n    ...ifDefined('output', output),\n  };\n}\n\nexport function typescriptContractFromPath(contractPath: string, output?: string): ContractConfig {\n  return {\n    source: {\n      inputs: [contractPath],\n      load: async (context) => {\n        const [absolutePath] = context.resolvedInputs;\n        if (absolutePath === undefined) {\n          throw new Error(\n            'typescriptContractFromPath: context.resolvedInputs is empty. The CLI config loader should populate it positional-matched with source.inputs.',\n          );\n        }\n        const mod = await import(pathToFileURL(absolutePath).href);\n        const contract: Contract | undefined = mod.default ?? mod.contract;\n        if (contract === undefined) {\n          throw new Error(\n            `typescriptContractFromPath: module at \"${absolutePath}\" has no \"default\" or \"contract\" export.`,\n          );\n        }\n        return ok(contract);\n      },\n    },\n    output: output ?? defaultOutputFromContractPath(contractPath),\n  };\n}\n"],"mappings":";;;;;;;;;;;;AAeA,SAAS,8BAA8B,cAA8B;CACnE,MAAM,MAAM,QAAQ,YAAY;CAChC,IAAI,IAAI,WAAW,GAAG,OAAO,GAAG,aAAa;CAC7C,OAAO,GAAG,aAAa,MAAM,GAAG,CAAC,IAAI,MAAM,EAAE;AAC/C;AAEA,SAAgB,cAAc,SAGX;CACjB,OAAO;EACL,QAAQ,EACN,MAAM,YAAY,GAAG,+BAA+B;GAAE,QAAQ,QAAQ;GAAQ,QAAQ,CAAC;EAAE,CAAC,CAAC,EAC7F;EACA,GAAG,UAAU,UAAU,QAAQ,MAAM;CACvC;AACF;AAEA,SAAgB,mBAAmB,UAAoB,QAAiC;CACtF,OAAO;EACL,QAAQ,EACN,MAAM,YAAY,GAAG,QAAQ,EAC/B;EAGA,GAAG,UAAU,UAAU,MAAM;CAC/B;AACF;AAEA,SAAgB,2BAA2B,cAAsB,QAAiC;CAChG,OAAO;EACL,QAAQ;GACN,QAAQ,CAAC,YAAY;GACrB,MAAM,OAAO,YAAY;IACvB,MAAM,CAAC,gBAAgB,QAAQ;IAC/B,IAAI,iBAAiB,KAAA,GACnB,MAAM,IAAI,MACR,8IACF;IAEF,MAAM,MAAM,MAAM,OAAO,cAAc,YAAY,EAAE;IACrD,MAAM,WAAiC,IAAI,WAAW,IAAI;IAC1D,IAAI,aAAa,KAAA,GACf,MAAM,IAAI,MACR,0CAA0C,aAAa,yCACzD;IAEF,OAAO,GAAG,QAAQ;GACpB;EACF;EACA,QAAQ,UAAU,8BAA8B,YAAY;CAC9D;AACF"}
+{"version":3,"file":"config-types.mjs","names":[],"sources":["../src/config-types.ts"],"sourcesContent":["import { pathToFileURL } from 'node:url';\nimport type { ContractConfig } from '@prisma-next/config/config-types';\nimport { applySpecifierDefaultControlPolicy } from '@prisma-next/contract/apply-specifier-default-control-policy';\nimport type { Contract, ControlPolicy } from '@prisma-next/contract/types';\nimport type { TargetPackRef } from '@prisma-next/framework-components/components';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport { ok } from '@prisma-next/utils/result';\nimport { extname } from 'pathe';\nimport { buildSqlContractFromDefinition } from './build-contract';\n\n/**\n * Derives the emit output path from the TS contract input so artefacts land\n * colocated with the source (e.g. `prisma/contract.ts` →\n * `prisma/contract.json`). Mirrors the same default-derivation logic in\n * `@prisma-next/sql-contract-psl/provider`.\n */\nfunction defaultOutputFromContractPath(contractPath: string): string {\n  const ext = extname(contractPath);\n  if (ext.length === 0) return `${contractPath}.json`;\n  return `${contractPath.slice(0, -ext.length)}.json`;\n}\n\nexport interface TypeScriptContractSpecifierOptions {\n  readonly defaultControlPolicy?: ControlPolicy;\n}\n\nexport function emptyContract(options: {\n  readonly output?: string;\n  readonly target: TargetPackRef<'sql', string>;\n  readonly defaultControlPolicy?: ControlPolicy;\n}): ContractConfig {\n  return {\n    source: {\n      load: async () => {\n        const built = buildSqlContractFromDefinition({ target: options.target, models: [] });\n        return ok(applySpecifierDefaultControlPolicy(built, options.defaultControlPolicy));\n      },\n    },\n    ...ifDefined('output', options.output),\n  };\n}\n\nexport function typescriptContract(\n  contract: Contract,\n  output?: string,\n  options?: TypeScriptContractSpecifierOptions,\n): ContractConfig {\n  return {\n    source: {\n      load: async () =>\n        ok(applySpecifierDefaultControlPolicy(contract, options?.defaultControlPolicy)),\n    },\n    // The in-memory variant has no input path to anchor on; fall through to\n    // the global default in `normalizeContractConfig` when caller doesn't pin it.\n    ...ifDefined('output', output),\n  };\n}\n\nexport function typescriptContractFromPath(\n  contractPath: string,\n  output?: string,\n  options?: TypeScriptContractSpecifierOptions,\n): ContractConfig {\n  return {\n    source: {\n      inputs: [contractPath],\n      load: async (context) => {\n        const [absolutePath] = context.resolvedInputs;\n        if (absolutePath === undefined) {\n          throw new Error(\n            'typescriptContractFromPath: context.resolvedInputs is empty. The CLI config loader should populate it positional-matched with source.inputs.',\n          );\n        }\n        const mod = await import(pathToFileURL(absolutePath).href);\n        const contract: Contract | undefined = mod.default ?? mod.contract;\n        if (contract === undefined) {\n          throw new Error(\n            `typescriptContractFromPath: module at \"${absolutePath}\" has no \"default\" or \"contract\" export.`,\n          );\n        }\n        return ok(applySpecifierDefaultControlPolicy(contract, options?.defaultControlPolicy));\n      },\n    },\n    output: output ?? defaultOutputFromContractPath(contractPath),\n  };\n}\n"],"mappings":";;;;;;;;;;;;;AAgBA,SAAS,8BAA8B,cAA8B;CACnE,MAAM,MAAM,QAAQ,YAAY;CAChC,IAAI,IAAI,WAAW,GAAG,OAAO,GAAG,aAAa;CAC7C,OAAO,GAAG,aAAa,MAAM,GAAG,CAAC,IAAI,MAAM,EAAE;AAC/C;AAMA,SAAgB,cAAc,SAIX;CACjB,OAAO;EACL,QAAQ,EACN,MAAM,YAAY;GAEhB,OAAO,GAAG,mCADI,+BAA+B;IAAE,QAAQ,QAAQ;IAAQ,QAAQ,CAAC;GAAE,CACjC,GAAG,QAAQ,oBAAoB,CAAC;EACnF,EACF;EACA,GAAG,UAAU,UAAU,QAAQ,MAAM;CACvC;AACF;AAEA,SAAgB,mBACd,UACA,QACA,SACgB;CAChB,OAAO;EACL,QAAQ,EACN,MAAM,YACJ,GAAG,mCAAmC,UAAU,SAAS,oBAAoB,CAAC,EAClF;EAGA,GAAG,UAAU,UAAU,MAAM;CAC/B;AACF;AAEA,SAAgB,2BACd,cACA,QACA,SACgB;CAChB,OAAO;EACL,QAAQ;GACN,QAAQ,CAAC,YAAY;GACrB,MAAM,OAAO,YAAY;IACvB,MAAM,CAAC,gBAAgB,QAAQ;IAC/B,IAAI,iBAAiB,KAAA,GACnB,MAAM,IAAI,MACR,8IACF;IAEF,MAAM,MAAM,MAAM,OAAO,cAAc,YAAY,EAAE;IACrD,MAAM,WAAiC,IAAI,WAAW,IAAI;IAC1D,IAAI,aAAa,KAAA,GACf,MAAM,IAAI,MACR,0CAA0C,aAAa,yCACzD;IAEF,OAAO,GAAG,mCAAmC,UAAU,SAAS,oBAAoB,CAAC;GACvF;EACF;EACA,QAAQ,UAAU,8BAA8B,YAAY;CAC9D;AACF"}

package/dist/contract-builder.d.mts

@@ -1,6 +1,6 @@
-import { ColumnDefault, ColumnDefaultLiteralInputValue, Contract, ContractRelation, ExecutionMutationDefaultPhases, ExecutionMutationDefaultPhases as ExecutionMutationDefaultPhases$1, ExecutionMutationDefaultValue, NamespaceId, StorageHashBase } from "@prisma-next/contract/types";
+import { ColumnDefault, ColumnDefaultLiteralInputValue, Contract, ContractRelation, ControlPolicy, ExecutionMutationDefaultPhases, ExecutionMutationDefaultPhases as ExecutionMutationDefaultPhases$1, ExecutionMutationDefaultValue, NamespaceId, StorageHashBase } from "@prisma-next/contract/types";
 import { EntityHelpersFromNamespace, ExtractAuthoringNamespaceFromPack, ForeignKeyDefaultsState, MergeExtensionAuthoringNamespaces } from "@prisma-next/contract-authoring";
-import { Namespace } from "@prisma-next/framework-components/ir";
+import { Namespace, StorageType } from "@prisma-next/framework-components/ir";
 import { IndexTypeRegistration } from "@prisma-next/sql-contract/index-types";
 import { ContractWithTypeMaps, Index as Index$1, PostgresEnumStorageEntry, ReferentialAction, SqlNamespaceTablesInput, SqlStorage, StorageTypeInstance, TypeMaps } from "@prisma-next/sql-contract/types";
 import { AuthoringArgumentDescriptor, AuthoringFieldPresetDescriptor, AuthoringTypeConstructorDescriptor } from "@prisma-next/framework-components/authoring";
@@ -227,6 +227,7 @@ type ModelAttributesSpec = {
 };
 type SqlStageSpec = {
   readonly table?: string;
+  readonly control?: ControlPolicy;
   readonly indexes?: readonly IndexConstraint[];
   readonly foreignKeys?: readonly ForeignKeyConstraint[];
 };
@@ -318,6 +319,7 @@ type ContractInput<Family extends FamilyPackRef<string> = FamilyPackRef<string>,
   readonly naming?: NamingConfig;
   readonly storageHash?: string;
   readonly foreignKeyDefaults?: ForeignKeyDefaultsState;
+  readonly defaultControlPolicy?: ControlPolicy;
   /**
    * Declared namespace coordinates the contract recognises. Per-model
    * `namespace` references must reference an entry in this list (or the
@@ -513,7 +515,7 @@ type DefinitionNamespaces<Definition> = Definition extends {
 } ? string[] extends Names ? never : readonly string[] extends Names ? never : Names[number] : never;
 type DefinitionTypes<Definition> = Definition extends {
   readonly types?: unknown;
-} ? Present<Definition['types']> extends Record<string, StorageTypeInstance | PostgresEnumStorageEntry> ? Present<Definition['types']> : Record<never, never> : Record<never, never>;
+} ? Present<Definition['types']> extends Record<string, StorageType> ? Present<Definition['types']> : Record<never, never> : Record<never, never>;
 type DefinitionTableNaming<Definition> = Definition extends {
   readonly naming?: {
     readonly tables?: infer Strategy extends string;
@@ -577,8 +579,8 @@ type DescriptorTypeParams<Descriptor> = Descriptor extends {
 type DescriptorTypeRef<Descriptor> = Descriptor extends {
   readonly typeRef: infer TypeRef extends string;
 } ? TypeRef : undefined;
-type LookupNamedStorageTypeKeyByValue<Definition, TypeRef extends StorageTypeInstance | PostgresEnumStorageEntry> = { [TypeName in keyof DefinitionTypes<Definition> & string]: [TypeRef] extends [DefinitionTypes<Definition>[TypeName]] ? [DefinitionTypes<Definition>[TypeName]] extends [TypeRef] ? TypeName : never : never }[keyof DefinitionTypes<Definition> & string];
-type ResolveNamedStorageTypeKey<Definition, TypeRef> = TypeRef extends string ? TypeRef : TypeRef extends StorageTypeInstance | PostgresEnumStorageEntry ? [LookupNamedStorageTypeKeyByValue<Definition, TypeRef>] extends [never] ? string : LookupNamedStorageTypeKeyByValue<Definition, TypeRef> : never;
+type LookupNamedStorageTypeKeyByValue<Definition, TypeRef extends StorageType> = { [TypeName in keyof DefinitionTypes<Definition> & string]: [TypeRef] extends [DefinitionTypes<Definition>[TypeName]] ? [DefinitionTypes<Definition>[TypeName]] extends [TypeRef] ? TypeName : never : never }[keyof DefinitionTypes<Definition> & string];
+type ResolveNamedStorageTypeKey<Definition, TypeRef> = TypeRef extends string ? TypeRef : TypeRef extends StorageType ? [LookupNamedStorageTypeKeyByValue<Definition, TypeRef>] extends [never] ? string : LookupNamedStorageTypeKeyByValue<Definition, TypeRef> : never;
 type ResolveNamedStorageType<Definition, TypeRef> = ResolveNamedStorageTypeKey<Definition, TypeRef> extends infer TypeName extends string ? TypeName extends keyof DefinitionTypes<Definition> ? DefinitionTypes<Definition>[TypeName] : StorageTypeInstance : StorageTypeInstance;
 type ResolveFieldDescriptor<Definition, FieldState> = [FieldDescriptorOf<FieldState>] extends [never] ? ResolveNamedStorageType<Definition, FieldTypeRefOf<FieldState>> : FieldDescriptorOf<FieldState>;
 type ResolveFieldColumnTypeRef<Definition, FieldState> = [FieldTypeRefOf<FieldState>] extends [never] ? DescriptorTypeRef<FieldDescriptorOf<FieldState>> : ResolveNamedStorageTypeKey<Definition, FieldTypeRefOf<FieldState>>;
@@ -663,7 +665,7 @@ type BuiltStorageTables<Definition> = { readonly [ModelName in ModelNames<Defini
     readonly name?: ModelIdName<Definition, ModelName>;
   };
 } : Record<string, never>) };
-type BuiltDocumentScopedTypes<Definition> = { readonly [K in keyof DefinitionTypes<Definition> as DefinitionTypes<Definition>[K] extends PostgresEnumStorageEntry ? never : K]: DefinitionTypes<Definition>[K] };
+type BuiltDocumentScopedTypes<Definition> = { readonly [K in keyof DefinitionTypes<Definition> as DefinitionTypes<Definition>[K] extends StorageTypeInstance ? K : never]: DefinitionTypes<Definition>[K] };
 type BuiltDomain<Definition> = BuiltDocumentScopedTypes<Definition> extends Record<never, never> ? Record<string, never> : {
   readonly __unbound__: {
     readonly types: BuiltDocumentScopedTypes<Definition>;
@@ -676,13 +678,15 @@ type BuiltStorage<Definition> = {
   readonly namespaces: { readonly [K in DefaultStorageNamespaceId<Definition>]: {
     readonly id: K;
     readonly kind: string;
-    readonly tables: BuiltStorageTables<Definition>;
-    readonly enum?: Readonly<Record<string, PostgresEnumStorageEntry>>;
+    readonly entries: {
+      readonly table: BuiltStorageTables<Definition>;
+    };
   } } & { readonly [Ns in Exclude<DefinitionNamespaces<Definition>, DefaultStorageNamespaceId<Definition>>]: {
     readonly id: Ns;
     readonly kind: string;
-    readonly tables: Record<never, never>;
-    readonly enum?: Readonly<Record<string, PostgresEnumStorageEntry>>;
+    readonly entries: {
+      readonly table: Record<never, never>;
+    };
   } };
 };
 type FieldOutputType<Definition, ModelName extends ModelNames<Definition>, FieldName extends ModelFieldNames<Definition, ModelName>> = ModelStorageColumn<Definition, ModelName, FieldName> extends infer Col ? Col extends {
@@ -843,9 +847,19 @@ interface ModelNode {
   readonly indexes?: readonly IndexNode[];
   readonly foreignKeys?: readonly ForeignKeyNode[];
   readonly relations?: readonly RelationNode[];
+  readonly control?: ControlPolicy;
+  /**
+   * Single-table-inheritance variants share their base model's storage table:
+   * the variant's columns are materialised onto the base `ModelNode`, and this
+   * model contributes a domain model but no storage table of its own. When set,
+   * the assembler builds the domain model but skips creating a (shadow) storage
+   * table and a root for this model — the base owns both.
+   */
+  readonly sharesBaseTable?: boolean;
 }
 interface ContractDefinition {
   readonly target: TargetPackRef<'sql', string>;
+  readonly defaultControlPolicy?: ControlPolicy;
   readonly extensionPacks?: Record<string, ExtensionPackRef<'sql', string>>;
   readonly storageHash?: string;
   readonly foreignKeyDefaults?: ForeignKeyDefaultsState;
@@ -853,7 +867,7 @@ interface ContractDefinition {
   /**
    * Enum types declared inside a named `namespace { enum … }` block,
    * keyed first by namespace id then by type name. These are routed to
-   * `storage.namespaces[nsId].enum` rather than the implicit fallback
+   * `storage.namespaces[nsId].entries.type` rather than the implicit fallback
    * namespace used for top-level `storageTypes` enums.
    */
   readonly namespaceTypes?: Readonly<Record<string, Readonly<Record<string, PostgresEnumStorageEntry>>>>;
@@ -866,8 +880,11 @@ interface ContractDefinition {
    * Target-supplied factory that materialises a `Namespace` concretion
    * for a declared namespace coordinate. Mirrors
    * `ContractInput.createNamespace`.
+   *
+   * The optional second argument carries target-specific enum types for the
+   * namespace (e.g. postgres enum registrations keyed by type name).
    */
-  readonly createNamespace?: (input: SqlNamespaceTablesInput) => Namespace;
+  readonly createNamespace?: (input: SqlNamespaceTablesInput, enumTypes?: Readonly<Record<string, PostgresEnumStorageEntry>>) => Namespace;
   readonly models: readonly ModelNode[];
   readonly valueObjects?: readonly ValueObjectNode[];
 }
@@ -895,6 +912,7 @@ type ContractDefinition$1<Family extends FamilyPackRef<string>, Target extends T
   readonly naming?: Naming;
   readonly storageHash?: StorageHash;
   readonly foreignKeyDefaults?: ForeignKeyDefaults;
+  readonly defaultControlPolicy?: ControlPolicy;
   readonly namespaces?: Namespaces;
   readonly createNamespace?: (input: SqlNamespaceTablesInput) => Namespace;
   readonly types?: Types;
@@ -908,6 +926,7 @@ type ContractScaffold<Family extends FamilyPackRef<string>, Target extends Targe
   readonly naming?: Naming;
   readonly storageHash?: StorageHash;
   readonly foreignKeyDefaults?: ForeignKeyDefaults;
+  readonly defaultControlPolicy?: ControlPolicy;
   readonly namespaces?: Namespaces;
   readonly createNamespace?: (input: SqlNamespaceTablesInput) => Namespace;
   readonly types?: never;
@@ -918,8 +937,40 @@ type ContractFactory<Family extends FamilyPackRef<string>, Target extends Target
   readonly types?: Types;
   readonly models?: Models;
 };
+type BoundDefinitionInput<Types extends Record<string, StorageTypeInstance | PostgresEnumStorageEntry> = Record<never, never>, Models extends Record<string, ModelLike> = Record<never, never>, ExtensionPacks extends Record<string, ExtensionPackRef<'sql', string>> | undefined = undefined, Naming extends ContractInput['naming'] | undefined = undefined, StorageHash extends string | undefined = undefined, ForeignKeyDefaults extends ForeignKeyDefaultsState | undefined = undefined, Namespaces extends readonly string[] | undefined = undefined> = {
+  readonly extensionPacks?: ExtensionPacks;
+  readonly naming?: Naming;
+  readonly storageHash?: StorageHash;
+  readonly foreignKeyDefaults?: ForeignKeyDefaults;
+  readonly defaultControlPolicy?: ControlPolicy;
+  readonly namespaces?: Namespaces;
+  readonly createNamespace?: (input: SqlNamespaceTablesInput) => Namespace;
+  readonly types?: Types;
+  readonly models?: Models;
+  readonly codecLookup?: CodecLookup;
+};
+type WithFamilyTarget<Input, F extends FamilyPackRef<string>, T extends TargetPackRef<'sql', string>> = Input & {
+  readonly family: F;
+  readonly target: T;
+};
+/**
+ * Shared builder that assembles a SqlContract with pre-bound family and target.
+ * Extension wrappers keep their own public overloads and delegate their impl body here;
+ * this is a plain overloaded function (not a factory returning an overloaded function)
+ * so no overloaded-function-return cast is needed.
+ *
+ * Overload 1: definition form (no factory).
+ */
+declare function buildBoundContract<const F extends FamilyPackRef<string>, const T extends TargetPackRef<'sql', string>, const Definition extends BoundDefinitionInput<Record<string, StorageTypeInstance | PostgresEnumStorageEntry>, Record<string, ModelLike>, Record<string, ExtensionPackRef<'sql', string>> | undefined, ContractInput['naming'] | undefined, string | undefined, ForeignKeyDefaultsState | undefined, readonly string[] | undefined>>(family: F, target: T, definition: Definition, factory?: undefined): SqlContractResult<WithFamilyTarget<Definition, F, T>>;
+/**
+ * Overload 2: factory form.
+ */
+declare function buildBoundContract<const F extends FamilyPackRef<string>, const T extends TargetPackRef<'sql', string>, const Definition extends BoundDefinitionInput<Record<string, StorageTypeInstance | PostgresEnumStorageEntry>, Record<string, ModelLike>, Record<string, ExtensionPackRef<'sql', string>> | undefined, ContractInput['naming'] | undefined, string | undefined, ForeignKeyDefaultsState | undefined, readonly string[] | undefined>, const Built extends {
+  readonly types?: Record<string, StorageTypeInstance | PostgresEnumStorageEntry>;
+  readonly models?: Record<string, ModelLike>;
+}>(family: F, target: T, definition: Definition, factory: (helpers: ComposedAuthoringHelpers<F, T, NonNullable<Definition['extensionPacks']>>) => Built): SqlContractResult<WithFamilyTarget<Definition & Built, F, T>>;
 declare function defineContract<const Family extends FamilyPackRef<string>, const Target extends TargetPackRef<'sql', string>, const Types extends Record<string, StorageTypeInstance | PostgresEnumStorageEntry> = Record<never, never>, const Models extends Record<string, ModelLike> = Record<never, never>, const ExtensionPacks extends Record<string, ExtensionPackRef<'sql', string>> | undefined = undefined, const Naming extends ContractInput['naming'] | undefined = undefined, const StorageHash extends string | undefined = undefined, const ForeignKeyDefaults extends ForeignKeyDefaultsState | undefined = undefined, const Namespaces extends readonly string[] | undefined = undefined>(definition: ContractDefinition$1<Family, Target, Types, Models, ExtensionPacks, Naming, StorageHash, ForeignKeyDefaults, Namespaces>): SqlContractResult<ContractDefinition$1<Family, Target, Types, Models, ExtensionPacks, Naming, StorageHash, ForeignKeyDefaults, Namespaces>>;
 declare function defineContract<const Family extends FamilyPackRef<string>, const Target extends TargetPackRef<'sql', string>, const Types extends Record<string, StorageTypeInstance | PostgresEnumStorageEntry> = Record<never, never>, const Models extends Record<string, ModelLike> = Record<never, never>, const ExtensionPacks extends Record<string, ExtensionPackRef<'sql', string>> | undefined = undefined, const Naming extends ContractInput['naming'] | undefined = undefined, const StorageHash extends string | undefined = undefined, const ForeignKeyDefaults extends ForeignKeyDefaultsState | undefined = undefined, const Namespaces extends readonly string[] | undefined = undefined>(definition: ContractScaffold<Family, Target, ExtensionPacks, Naming, StorageHash, ForeignKeyDefaults, Namespaces>, factory: ContractFactory<Family, Target, Types, Models, ExtensionPacks>): SqlContractResult<ContractDefinition$1<Family, Target, Types, Models, ExtensionPacks, Naming, StorageHash, ForeignKeyDefaults, Namespaces>>;
 //#endregion
-export { type ComposedAuthoringHelpers, type ContractDefinition, type ContractInput, type ContractModelBuilder, type FieldNode, type ForeignKeyNode, type IndexNode, type ModelLike, type ModelNode, type PrimaryKeyNode, type RelationNode, type ScalarFieldBuilder, type UniqueConstraintNode, buildSqlContractFromDefinition, defineContract, field, model, rel };
+export { type ComposedAuthoringHelpers, type ContractDefinition, type ContractInput, type ContractModelBuilder, type FieldNode, type ForeignKeyNode, type IndexNode, type ModelLike, type ModelNode, type PrimaryKeyNode, type RelationNode, type ScalarFieldBuilder, type UniqueConstraintNode, buildBoundContract, buildSqlContractFromDefinition, defineContract, field, model, rel };
 //# sourceMappingURL=contract-builder.d.mts.map