@prisma-next/sql-contract 0.3.0-dev.130 → 0.3.0-dev.132

package/dist/validate.mjs

@@ -1,87 +1,15 @@
 import { r as applyFkDefaults } from "./types-DRR5stkj.mjs";
-import { d as validateStorageSemantics, l as validateSqlContract } from "./validators-CNxeypbZ.mjs";
+import { d as validateStorageSemantics, l as validateSqlContract } from "./validators-_1sYf-29.mjs";
 import { isTaggedBigInt, isTaggedRaw } from "@prisma-next/contract/types";
 import { validateContractDomain } from "@prisma-next/contract/validate-domain";
 
 //#region src/construct.ts
-function computeDefaultMappings(models) {
-	const modelToTable = {};
-	const tableToModel = {};
-	const fieldToColumn = {};
-	const columnToField = {};
-	for (const [modelName, model] of Object.entries(models)) {
-		const tableName = model.storage.table;
-		modelToTable[modelName] = tableName;
-		tableToModel[tableName] = modelName;
-		const modelFieldToColumn = {};
-		for (const [fieldName, field] of Object.entries(model.fields)) {
-			const columnName = field.column;
-			modelFieldToColumn[fieldName] = columnName;
-			if (!columnToField[tableName]) columnToField[tableName] = {};
-			columnToField[tableName][columnName] = fieldName;
-		}
-		fieldToColumn[modelName] = modelFieldToColumn;
-	}
-	return {
-		modelToTable,
-		tableToModel,
-		fieldToColumn,
-		columnToField
-	};
-}
-function assertInverseModelMappings(modelToTable, tableToModel) {
-	for (const [model, table] of Object.entries(modelToTable)) if (tableToModel[table] !== model) throw new Error(`Mappings override mismatch: modelToTable.${model}="${table}" is not mirrored in tableToModel`);
-	for (const [table, model] of Object.entries(tableToModel)) if (modelToTable[model] !== table) throw new Error(`Mappings override mismatch: tableToModel.${table}="${model}" is not mirrored in modelToTable`);
-}
-function assertInverseFieldMappings(fieldToColumn, columnToField, modelToTable, tableToModel) {
-	for (const [model, fields] of Object.entries(fieldToColumn)) {
-		const table = modelToTable[model];
-		if (!table) throw new Error(`Mappings override mismatch: fieldToColumn references unknown model "${model}"`);
-		const reverseFields = columnToField[table];
-		if (!reverseFields) throw new Error(`Mappings override mismatch: columnToField is missing table "${table}" for model "${model}"`);
-		for (const [field, column] of Object.entries(fields)) if (reverseFields[column] !== field) throw new Error(`Mappings override mismatch: fieldToColumn.${model}.${field}="${column}" is not mirrored in columnToField.${table}`);
-	}
-	for (const [table, columns] of Object.entries(columnToField)) {
-		const model = tableToModel[table];
-		if (!model) throw new Error(`Mappings override mismatch: columnToField references unknown table "${table}"`);
-		const forwardFields = fieldToColumn[model];
-		if (!forwardFields) throw new Error(`Mappings override mismatch: fieldToColumn is missing model "${model}" for table "${table}"`);
-		for (const [column, field] of Object.entries(columns)) if (forwardFields[field] !== column) throw new Error(`Mappings override mismatch: columnToField.${table}.${column}="${field}" is not mirrored in fieldToColumn.${model}`);
-	}
-}
-function mergeMappings(defaults, existingMappings) {
-	const hasModelToTable = existingMappings?.modelToTable !== void 0;
-	const hasTableToModel = existingMappings?.tableToModel !== void 0;
-	if (hasModelToTable !== hasTableToModel) throw new Error("Mappings override mismatch: modelToTable and tableToModel must be provided together");
-	const hasFieldToColumn = existingMappings?.fieldToColumn !== void 0;
-	const hasColumnToField = existingMappings?.columnToField !== void 0;
-	if (hasFieldToColumn !== hasColumnToField) throw new Error("Mappings override mismatch: fieldToColumn and columnToField must be provided together");
-	const modelToTable = hasModelToTable ? existingMappings?.modelToTable ?? {} : defaults.modelToTable;
-	const tableToModel = hasTableToModel ? existingMappings?.tableToModel ?? {} : defaults.tableToModel;
-	assertInverseModelMappings(modelToTable, tableToModel);
-	const fieldToColumn = hasFieldToColumn ? existingMappings?.fieldToColumn ?? {} : defaults.fieldToColumn;
-	const columnToField = hasColumnToField ? existingMappings?.columnToField ?? {} : defaults.columnToField;
-	assertInverseFieldMappings(fieldToColumn, columnToField, modelToTable, tableToModel);
-	return {
-		modelToTable,
-		tableToModel,
-		fieldToColumn,
-		columnToField
-	};
-}
 function stripGenerated(obj) {
 	const { _generated: _, ...rest } = obj;
 	return rest;
 }
 function constructContract(input) {
-	const existingMappings = input.mappings;
-	const mappings = mergeMappings(computeDefaultMappings(input.models), existingMappings);
-	const stripped = stripGenerated(input);
-	return {
-		...stripped,
-		mappings,
-		roots: stripped.roots
-	};
+	return stripGenerated(input);
 }
 
 //#endregion
@@ -92,6 +20,22 @@ function extractDomainShape(contract) {
 		models: contract.models
 	};
 }
+function validateModelStorageReferences(contract) {
+	const models = contract.models;
+	for (const [modelName, model] of Object.entries(models)) {
+		const storageTable = model.storage?.table;
+		if (!storageTable) continue;
+		const table = contract.storage.tables[storageTable];
+		if (!table) throw new Error(`Model "${modelName}" references non-existent table "${storageTable}"`);
+		const storageFields = model.storage?.fields;
+		if (!storageFields) continue;
+		const columnNames = new Set(Object.keys(table.columns));
+		for (const [fieldName, field] of Object.entries(storageFields)) {
+			const column = field.column;
+			if (column && !columnNames.has(column)) throw new Error(`Model "${modelName}" field "${fieldName}" references non-existent column "${column}" in table "${storageTable}"`);
+		}
+	}
+}
 function validateContractLogic(contract) {
 	const tableNames = new Set(Object.keys(contract.storage.tables));
 	for (const [tableName, table] of Object.entries(contract.storage.tables)) {
@@ -213,220 +157,45 @@ function normalizeStorage(contractObj) {
 		tables: normalizedTables
 	};
 }
-function detectFormat(models) {
-	for (const model of Object.values(models)) {
-		const fields = model["fields"];
-		if (!fields) continue;
-		for (const field of Object.values(fields)) {
-			if ("column" in field) return "old";
-			if ("codecId" in field) return "new";
-		}
-	}
-	return "old";
-}
-function buildColumnToFieldMap(fields, modelName) {
-	const map = {};
-	for (const [fieldName, field] of Object.entries(fields)) {
-		const col = field["column"];
-		if (!col) continue;
-		if (Object.hasOwn(map, col)) throw new Error(`Model "${modelName}" has duplicate column mapping: fields "${map[col]}" and "${fieldName}" both map to column "${col}"`);
-		map[col] = fieldName;
-	}
-	return map;
-}
-function enrichOldFormatModels(models, storageObj, topRelations) {
-	const roots = {};
-	const tableToModel = {};
-	for (const [modelName, model] of Object.entries(models)) {
-		const tableName = model["storage"]?.["table"];
-		if (tableName) {
-			if (!model["owner"]) roots[modelName] = modelName;
-			tableToModel[tableName] = modelName;
-		}
-	}
-	const enrichedModels = {};
-	for (const [modelName, model] of Object.entries(models)) {
-		const fields = model["fields"] ?? {};
-		const modelStorage = model["storage"];
-		const tableName = modelStorage?.["table"];
-		const storageColumns = (tableName ? storageObj.tables[tableName] : void 0)?.["columns"] ?? {};
-		const enrichedFields = {};
-		const modelStorageFields = {};
-		const hasStorageColumns = Object.keys(storageColumns).length > 0;
-		for (const [fieldName, field] of Object.entries(fields)) {
-			const colName = field["column"];
-			const storageCol = storageColumns[colName];
-			if (!storageCol && hasStorageColumns && colName) throw new Error(`Model "${modelName}" field "${fieldName}" references non-existent column "${colName}" in table "${tableName}"`);
-			enrichedFields[fieldName] = {
-				...field,
-				nullable: storageCol?.["nullable"] ?? false,
-				codecId: storageCol?.["codecId"] ?? ""
-			};
-			modelStorageFields[fieldName] = { column: colName };
-		}
-		const enrichedStorage = {
-			...modelStorage ?? {},
-			fields: modelStorageFields
-		};
-		enrichedModels[modelName] = {
-			...model,
-			fields: enrichedFields,
-			storage: enrichedStorage,
-			relations: model["relations"] ?? {}
-		};
-	}
-	for (const [tableName, tableRels] of Object.entries(topRelations)) {
-		const modelName = tableToModel[tableName];
-		if (!modelName) continue;
-		const existingModel = enrichedModels[modelName];
-		if (!existingModel) continue;
-		const existingRels = existingModel["relations"] ?? {};
-		const targetColumnToField = {};
-		const modelRelations = { ...existingRels };
-		for (const [relName, rel] of Object.entries(tableRels)) {
-			const on = rel["on"];
-			const parentCols = on?.["parentCols"] ?? [];
-			const childCols = on?.["childCols"] ?? [];
-			const toModel = rel["to"];
-			const sourceColToField = buildColumnToFieldMap(existingModel["fields"] ?? {}, modelName);
-			if (!targetColumnToField[toModel]) {
-				const targetModelObj = enrichedModels[toModel];
-				if (targetModelObj) targetColumnToField[toModel] = buildColumnToFieldMap(targetModelObj["fields"] ?? {}, toModel);
-				else targetColumnToField[toModel] = {};
-			}
-			const targetColToField = targetColumnToField[toModel] ?? {};
-			const localFields = parentCols.map((c) => sourceColToField[c] ?? c);
-			const targetFields = childCols.map((c) => targetColToField[c] ?? c);
-			modelRelations[relName] = {
-				to: toModel,
-				cardinality: rel["cardinality"],
-				on: {
-					localFields,
-					targetFields
-				}
-			};
-		}
-		enrichedModels[modelName] = {
-			...existingModel,
-			relations: modelRelations
-		};
-	}
-	return {
-		enrichedModels,
-		roots
-	};
-}
-function enrichNewFormatModels(models) {
-	const enrichedModels = {};
-	const topRelations = {};
-	const modelToTable = {};
-	for (const [modelName, model] of Object.entries(models)) {
-		const tableName = model["storage"]?.["table"];
-		if (tableName) modelToTable[modelName] = tableName;
-	}
-	for (const [modelName, model] of Object.entries(models)) {
-		const fields = model["fields"] ?? {};
-		const storageFields = model["storage"]?.["fields"] ?? {};
-		const enrichedFields = {};
-		for (const [fieldName, field] of Object.entries(fields)) {
-			const column = storageFields[fieldName]?.["column"];
-			enrichedFields[fieldName] = column ? {
-				...field,
-				column
-			} : { ...field };
-		}
-		enrichedModels[modelName] = {
-			...model,
-			fields: enrichedFields,
-			relations: model["relations"] ?? {}
-		};
-		const modelRels = model["relations"] ?? {};
-		const tableName = modelToTable[modelName];
-		if (!tableName) continue;
-		for (const [relName, rel] of Object.entries(modelRels)) {
-			const on = rel["on"];
-			if (!on) continue;
-			const toModel = rel["to"];
-			if (!modelToTable[toModel]) continue;
-			const sourceFields = enrichedFields;
-			const targetModelObj = models[toModel];
-			const targetFields = targetModelObj?.["fields"] ?? {};
-			const targetStorageFields = (targetModelObj?.["storage"])?.["fields"] ?? {};
-			const parentCols = (on.localFields ?? []).map((f) => {
-				return storageFields[f]?.["column"] ?? sourceFields[f]?.["column"] ?? f;
-			});
-			const childCols = (on.targetFields ?? []).map((f) => {
-				return targetStorageFields[f]?.["column"] ?? targetFields[f]?.["column"] ?? f;
-			});
-			if (!topRelations[tableName]) topRelations[tableName] = {};
-			topRelations[tableName][relName] = {
-				to: toModel,
-				cardinality: rel["cardinality"],
-				on: {
-					parentCols,
-					childCols
-				}
-			};
-		}
-	}
-	return {
-		enrichedModels,
-		topRelations
+function normalizeModels(models) {
+	const normalized = {};
+	for (const [modelName, model] of Object.entries(models)) normalized[modelName] = {
+		...model,
+		relations: model["relations"] ?? {}
 	};
+	return normalized;
 }
 function normalizeContract(contract) {
 	if (typeof contract !== "object" || contract === null) return contract;
 	const contractObj = contract;
 	const normalizedStorage = normalizeStorage(contractObj);
 	const rawModels = contractObj["models"];
-	if (!rawModels || typeof rawModels !== "object" || rawModels === null) return {
-		...contractObj,
-		roots: contractObj["roots"] ?? {},
-		models: rawModels ?? {},
-		relations: contractObj["relations"] ?? {},
-		storage: normalizedStorage,
-		extensionPacks: contractObj["extensionPacks"] ?? {},
-		capabilities: contractObj["capabilities"] ?? {},
-		meta: contractObj["meta"] ?? {},
-		sources: contractObj["sources"] ?? {}
-	};
-	const modelsObj = rawModels;
-	const format = detectFormat(modelsObj);
-	let normalizedModels;
-	let roots;
-	let topRelations;
-	if (format === "new") {
-		const result = enrichNewFormatModels(modelsObj);
-		normalizedModels = result.enrichedModels;
-		topRelations = {
-			...contractObj["relations"] ?? {},
-			...result.topRelations
-		};
-		roots = contractObj["roots"] ?? {};
-	} else {
-		const storageObj = { tables: (normalizedStorage && typeof normalizedStorage === "object" ? normalizedStorage : {})["tables"] ?? {} };
-		const existingRelations = contractObj["relations"] ?? {};
-		const result = enrichOldFormatModels(modelsObj, storageObj, existingRelations);
-		normalizedModels = result.enrichedModels;
-		roots = result.roots;
-		topRelations = existingRelations;
-	}
+	const models = rawModels && typeof rawModels === "object" && rawModels !== null ? normalizeModels(rawModels) : rawModels ?? {};
+	const pick = (key) => key in contractObj && contractObj[key] !== void 0 ? { [key]: contractObj[key] } : {};
 	return {
-		...contractObj,
-		roots,
-		models: normalizedModels,
-		relations: topRelations,
+		...pick("schemaVersion"),
+		target: contractObj["target"],
+		targetFamily: contractObj["targetFamily"],
+		...pick("coreHash"),
+		storageHash: contractObj["storageHash"],
+		...pick("executionHash"),
+		...pick("profileHash"),
+		...pick("_generated"),
+		roots: contractObj["roots"] ?? {},
+		models,
 		storage: normalizedStorage,
 		extensionPacks: contractObj["extensionPacks"] ?? {},
 		capabilities: contractObj["capabilities"] ?? {},
 		meta: contractObj["meta"] ?? {},
-		sources: contractObj["sources"] ?? {}
+		sources: contractObj["sources"] ?? {},
+		...pick("execution")
 	};
 }
 function validateContract(value) {
 	const structurallyValid = validateSqlContract(normalizeContract(value));
 	validateContractDomain(extractDomainShape(structurallyValid));
 	validateContractLogic(structurallyValid);
+	validateModelStorageReferences(structurallyValid);
 	const semanticErrors = validateStorageSemantics(structurallyValid.storage);
 	if (semanticErrors.length > 0) throw new Error(`Contract semantic validation failed: ${semanticErrors.join("; ")}`);
 	return decodeContractDefaults(constructContract(structurallyValid));

package/dist/validate.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"validate.mjs","names":["modelToTable: Record<string, string>","tableToModel: Record<string, string>","fieldToColumn: Record<string, Record<string, string>>","columnToField: Record<string, Record<string, string>>","modelFieldToColumn: Record<string, string>","decodedTables: Record<string, StorageTable>","decodedColumns: Record<string, StorageColumn>","normalizedTables: Record<string, unknown>","normalizedColumns: Record<string, unknown>","map: Record<string, string>","roots: Record<string, string>","tableToModel: Record<string, string>","enrichedModels: Record<string, RawModel>","enrichedFields: Record<string, RawField>","modelStorageFields: Record<string, { column: string }>","targetColumnToField: Record<string, Record<string, string>>","modelRelations: Record<string, unknown>","topRelations: Record<string, Record<string, unknown>>","modelToTable: Record<string, string>","normalizedModels: Record<string, RawModel>"],"sources":["../src/construct.ts","../src/validate.ts"],"sourcesContent":["import type { ModelDefinition, SqlContract, SqlMappings, SqlStorage } from './types';\n\ntype ResolvedMappings = {\n  modelToTable: Record<string, string>;\n  tableToModel: Record<string, string>;\n  fieldToColumn: Record<string, Record<string, string>>;\n  columnToField: Record<string, Record<string, string>>;\n};\n\nfunction computeDefaultMappings(models: Record<string, ModelDefinition>): ResolvedMappings {\n  const modelToTable: Record<string, string> = {};\n  const tableToModel: Record<string, string> = {};\n  const fieldToColumn: Record<string, Record<string, string>> = {};\n  const columnToField: Record<string, Record<string, string>> = {};\n\n  for (const [modelName, model] of Object.entries(models)) {\n    const tableName = model.storage.table;\n    modelToTable[modelName] = tableName;\n    tableToModel[tableName] = modelName;\n\n    const modelFieldToColumn: Record<string, string> = {};\n    for (const [fieldName, field] of Object.entries(model.fields)) {\n      const columnName = field.column;\n      modelFieldToColumn[fieldName] = columnName;\n      if (!columnToField[tableName]) {\n        columnToField[tableName] = {};\n      }\n      columnToField[tableName][columnName] = fieldName;\n    }\n\n    fieldToColumn[modelName] = modelFieldToColumn;\n  }\n\n  return {\n    modelToTable,\n    tableToModel,\n    fieldToColumn,\n    columnToField,\n  };\n}\n\nfunction assertInverseModelMappings(\n  modelToTable: Record<string, string>,\n  tableToModel: Record<string, string>,\n): void {\n  for (const [model, table] of Object.entries(modelToTable)) {\n    if (tableToModel[table] !== model) {\n      throw new Error(\n        `Mappings override mismatch: modelToTable.${model}=\"${table}\" is not mirrored in tableToModel`,\n      );\n    }\n  }\n  for (const [table, model] of Object.entries(tableToModel)) {\n    if (modelToTable[model] !== table) {\n      throw new Error(\n        `Mappings override mismatch: tableToModel.${table}=\"${model}\" is not mirrored in modelToTable`,\n      );\n    }\n  }\n}\n\nfunction assertInverseFieldMappings(\n  fieldToColumn: Record<string, Record<string, string>>,\n  columnToField: Record<string, Record<string, string>>,\n  modelToTable: Record<string, string>,\n  tableToModel: Record<string, string>,\n): void {\n  for (const [model, fields] of Object.entries(fieldToColumn)) {\n    const table = modelToTable[model];\n    if (!table) {\n      throw new Error(\n        `Mappings override mismatch: fieldToColumn references unknown model \"${model}\"`,\n      );\n    }\n    const reverseFields = columnToField[table];\n    if (!reverseFields) {\n      throw new Error(\n        `Mappings override mismatch: columnToField is missing table \"${table}\" for model \"${model}\"`,\n      );\n    }\n    for (const [field, column] of Object.entries(fields)) {\n      if (reverseFields[column] !== field) {\n        throw new Error(\n          `Mappings override mismatch: fieldToColumn.${model}.${field}=\"${column}\" is not mirrored in columnToField.${table}`,\n        );\n      }\n    }\n  }\n\n  for (const [table, columns] of Object.entries(columnToField)) {\n    const model = tableToModel[table];\n    if (!model) {\n      throw new Error(\n        `Mappings override mismatch: columnToField references unknown table \"${table}\"`,\n      );\n    }\n    const forwardFields = fieldToColumn[model];\n    if (!forwardFields) {\n      throw new Error(\n        `Mappings override mismatch: fieldToColumn is missing model \"${model}\" for table \"${table}\"`,\n      );\n    }\n    for (const [column, field] of Object.entries(columns)) {\n      if (forwardFields[field] !== column) {\n        throw new Error(\n          `Mappings override mismatch: columnToField.${table}.${column}=\"${field}\" is not mirrored in fieldToColumn.${model}`,\n        );\n      }\n    }\n  }\n}\n\nfunction mergeMappings(\n  defaults: ResolvedMappings,\n  existingMappings?: Partial<SqlMappings>,\n): ResolvedMappings {\n  const hasModelToTable = existingMappings?.modelToTable !== undefined;\n  const hasTableToModel = existingMappings?.tableToModel !== undefined;\n  if (hasModelToTable !== hasTableToModel) {\n    throw new Error(\n      'Mappings override mismatch: modelToTable and tableToModel must be provided together',\n    );\n  }\n\n  const hasFieldToColumn = existingMappings?.fieldToColumn !== undefined;\n  const hasColumnToField = existingMappings?.columnToField !== undefined;\n  if (hasFieldToColumn !== hasColumnToField) {\n    throw new Error(\n      'Mappings override mismatch: fieldToColumn and columnToField must be provided together',\n    );\n  }\n\n  const modelToTable: Record<string, string> = hasModelToTable\n    ? (existingMappings?.modelToTable ?? {})\n    : defaults.modelToTable;\n  const tableToModel: Record<string, string> = hasTableToModel\n    ? (existingMappings?.tableToModel ?? {})\n    : defaults.tableToModel;\n  assertInverseModelMappings(modelToTable, tableToModel);\n\n  const fieldToColumn: Record<string, Record<string, string>> = hasFieldToColumn\n    ? (existingMappings?.fieldToColumn ?? {})\n    : defaults.fieldToColumn;\n  const columnToField: Record<string, Record<string, string>> = hasColumnToField\n    ? (existingMappings?.columnToField ?? {})\n    : defaults.columnToField;\n  assertInverseFieldMappings(fieldToColumn, columnToField, modelToTable, tableToModel);\n\n  return {\n    modelToTable,\n    tableToModel,\n    fieldToColumn,\n    columnToField,\n  };\n}\n\ntype ValidatedContractInput = SqlContract<SqlStorage> & { _generated?: unknown };\n\nfunction stripGenerated(obj: ValidatedContractInput): Omit<ValidatedContractInput, '_generated'> {\n  const input = obj as unknown as Record<string, unknown>;\n  const { _generated: _, ...rest } = input;\n  return rest as Omit<ValidatedContractInput, '_generated'>;\n}\n\nexport function constructContract<TContract extends SqlContract<SqlStorage>>(\n  input: ValidatedContractInput,\n): TContract {\n  const existingMappings = (input as { mappings?: Partial<SqlMappings> }).mappings;\n  const defaultMappings = computeDefaultMappings(input.models as Record<string, ModelDefinition>);\n  const mappings = mergeMappings(defaultMappings, existingMappings);\n\n  const stripped = stripGenerated(input);\n\n  const contractWithMappings = {\n    ...stripped,\n    mappings,\n    roots: stripped.roots,\n  };\n\n  return contractWithMappings as TContract;\n}\n","import type { ColumnDefaultLiteralInputValue } from '@prisma-next/contract/types';\nimport { isTaggedBigInt, isTaggedRaw } from '@prisma-next/contract/types';\nimport type { DomainContractShape, DomainModelShape } from '@prisma-next/contract/validate-domain';\nimport { validateContractDomain } from '@prisma-next/contract/validate-domain';\nimport { constructContract } from './construct';\nimport type { SqlContract, SqlStorage, StorageColumn, StorageTable } from './types';\nimport { applyFkDefaults } from './types';\nimport { validateSqlContract, validateStorageSemantics } from './validators';\n\nfunction extractDomainShape(contract: SqlContract<SqlStorage>): DomainContractShape {\n  return {\n    roots: contract.roots,\n    models: contract.models as Record<string, DomainModelShape>,\n  };\n}\n\nfunction validateContractLogic(contract: SqlContract<SqlStorage>): void {\n  const tableNames = new Set(Object.keys(contract.storage.tables));\n\n  for (const [tableName, table] of Object.entries(contract.storage.tables)) {\n    const columnNames = new Set(Object.keys(table.columns));\n\n    if (table.primaryKey) {\n      for (const colName of table.primaryKey.columns) {\n        if (!columnNames.has(colName)) {\n          throw new Error(\n            `Table \"${tableName}\" primaryKey references non-existent column \"${colName}\"`,\n          );\n        }\n      }\n    }\n\n    for (const unique of table.uniques) {\n      for (const colName of unique.columns) {\n        if (!columnNames.has(colName)) {\n          throw new Error(\n            `Table \"${tableName}\" unique constraint references non-existent column \"${colName}\"`,\n          );\n        }\n      }\n    }\n\n    for (const index of table.indexes) {\n      for (const colName of index.columns) {\n        if (!columnNames.has(colName)) {\n          throw new Error(`Table \"${tableName}\" index references non-existent column \"${colName}\"`);\n        }\n      }\n    }\n\n    for (const [colName, column] of Object.entries(table.columns)) {\n      if (!column.nullable && column.default?.kind === 'literal' && column.default.value === null) {\n        throw new Error(\n          `Table \"${tableName}\" column \"${colName}\" is NOT NULL but has a literal null default`,\n        );\n      }\n    }\n\n    for (const fk of table.foreignKeys) {\n      for (const colName of fk.columns) {\n        if (!columnNames.has(colName)) {\n          throw new Error(\n            `Table \"${tableName}\" foreignKey references non-existent column \"${colName}\"`,\n          );\n        }\n      }\n\n      if (!tableNames.has(fk.references.table)) {\n        throw new Error(\n          `Table \"${tableName}\" foreignKey references non-existent table \"${fk.references.table}\"`,\n        );\n      }\n\n      const referencedTable = contract.storage.tables[\n        fk.references.table\n      ] as (typeof contract.storage.tables)[string];\n      const referencedColumnNames = new Set(Object.keys(referencedTable.columns));\n      for (const colName of fk.references.columns) {\n        if (!referencedColumnNames.has(colName)) {\n          throw new Error(\n            `Table \"${tableName}\" foreignKey references non-existent column \"${colName}\" in table \"${fk.references.table}\"`,\n          );\n        }\n      }\n\n      if (fk.columns.length !== fk.references.columns.length) {\n        throw new Error(\n          `Table \"${tableName}\" foreignKey column count (${fk.columns.length}) does not match referenced column count (${fk.references.columns.length})`,\n        );\n      }\n    }\n  }\n}\n\nconst BIGINT_NATIVE_TYPES = new Set(['bigint', 'int8']);\n\nexport function isBigIntColumn(column: StorageColumn): boolean {\n  const nativeType = column.nativeType?.toLowerCase() ?? '';\n  if (BIGINT_NATIVE_TYPES.has(nativeType)) return true;\n  const codecId = column.codecId?.toLowerCase() ?? '';\n  return codecId.includes('int8') || codecId.includes('bigint');\n}\n\nexport function decodeDefaultLiteralValue(\n  value: ColumnDefaultLiteralInputValue,\n  column: StorageColumn,\n  tableName: string,\n  columnName: string,\n): ColumnDefaultLiteralInputValue {\n  if (value instanceof Date) {\n    return value;\n  }\n  if (isTaggedRaw(value)) {\n    return value.value;\n  }\n  if (isTaggedBigInt(value)) {\n    if (!isBigIntColumn(column)) {\n      return value;\n    }\n    try {\n      return BigInt(value.value);\n    } catch {\n      throw new Error(\n        `Invalid tagged bigint for default value on \"${tableName}.${columnName}\": \"${value.value}\" is not a valid integer`,\n      );\n    }\n  }\n  return value;\n}\n\nexport function decodeContractDefaults<T extends SqlContract<SqlStorage>>(contract: T): T {\n  const tables = contract.storage.tables;\n  let tablesChanged = false;\n  const decodedTables: Record<string, StorageTable> = {};\n\n  for (const [tableName, table] of Object.entries(tables)) {\n    let columnsChanged = false;\n    const decodedColumns: Record<string, StorageColumn> = {};\n\n    for (const [columnName, column] of Object.entries(table.columns)) {\n      if (column.default?.kind === 'literal') {\n        const decodedValue = decodeDefaultLiteralValue(\n          column.default.value,\n          column,\n          tableName,\n          columnName,\n        );\n        if (decodedValue !== column.default.value) {\n          columnsChanged = true;\n          decodedColumns[columnName] = {\n            ...column,\n            default: { kind: 'literal', value: decodedValue },\n          };\n          continue;\n        }\n      }\n      decodedColumns[columnName] = column;\n    }\n\n    if (columnsChanged) {\n      tablesChanged = true;\n      decodedTables[tableName] = { ...table, columns: decodedColumns };\n    } else {\n      decodedTables[tableName] = table;\n    }\n  }\n\n  if (!tablesChanged) {\n    return contract;\n  }\n\n  // The spread widens to SqlContract<SqlStorage>, but this transformation only\n  // decodes tagged bigint defaults for bigint-like columns and preserves all\n  // other properties of T.\n  return {\n    ...contract,\n    storage: {\n      ...contract.storage,\n      tables: decodedTables,\n    },\n  } as T;\n}\n\nfunction normalizeStorage(contractObj: Record<string, unknown>): Record<string, unknown> {\n  const normalizedStorage = contractObj['storage'];\n  if (!normalizedStorage || typeof normalizedStorage !== 'object')\n    return normalizedStorage as Record<string, unknown>;\n\n  const storage = normalizedStorage as Record<string, unknown>;\n  const tables = storage['tables'] as Record<string, unknown> | undefined;\n  if (!tables) return storage;\n\n  const normalizedTables: Record<string, unknown> = {};\n  for (const [tableName, table] of Object.entries(tables)) {\n    const tableObj = table as Record<string, unknown>;\n    const columns = tableObj['columns'] as Record<string, unknown> | undefined;\n\n    if (columns) {\n      const normalizedColumns: Record<string, unknown> = {};\n      for (const [columnName, column] of Object.entries(columns)) {\n        const columnObj = column as Record<string, unknown>;\n        normalizedColumns[columnName] = {\n          ...columnObj,\n          nullable: columnObj['nullable'] ?? false,\n        };\n      }\n\n      const rawForeignKeys = (tableObj['foreignKeys'] ?? []) as Array<Record<string, unknown>>;\n      const normalizedForeignKeys = rawForeignKeys.map((fk) => ({\n        ...fk,\n        ...applyFkDefaults({\n          constraint: typeof fk['constraint'] === 'boolean' ? fk['constraint'] : undefined,\n          index: typeof fk['index'] === 'boolean' ? fk['index'] : undefined,\n        }),\n      }));\n\n      normalizedTables[tableName] = {\n        ...tableObj,\n        columns: normalizedColumns,\n        uniques: tableObj['uniques'] ?? [],\n        indexes: tableObj['indexes'] ?? [],\n        foreignKeys: normalizedForeignKeys,\n      };\n    } else {\n      normalizedTables[tableName] = tableObj;\n    }\n  }\n\n  return { ...storage, tables: normalizedTables };\n}\n\ntype RawModel = Record<string, unknown>;\ntype RawField = Record<string, unknown>;\ntype RawRelation = Record<string, unknown>;\ntype RawStorageObj = { tables: Record<string, Record<string, unknown>> };\n\nfunction detectFormat(models: Record<string, RawModel>): 'old' | 'new' {\n  for (const model of Object.values(models)) {\n    const fields = model['fields'] as Record<string, RawField> | undefined;\n    if (!fields) continue;\n    for (const field of Object.values(fields)) {\n      if ('column' in field) return 'old';\n      if ('codecId' in field) return 'new';\n    }\n  }\n  return 'old';\n}\n\nfunction buildColumnToFieldMap(\n  fields: Record<string, RawField>,\n  modelName: string,\n): Record<string, string> {\n  const map: Record<string, string> = {};\n  for (const [fieldName, field] of Object.entries(fields)) {\n    const col = field['column'] as string | undefined;\n    if (!col) continue;\n    if (Object.hasOwn(map, col)) {\n      throw new Error(\n        `Model \"${modelName}\" has duplicate column mapping: fields \"${map[col]}\" and \"${fieldName}\" both map to column \"${col}\"`,\n      );\n    }\n    map[col] = fieldName;\n  }\n  return map;\n}\n\nfunction enrichOldFormatModels(\n  models: Record<string, RawModel>,\n  storageObj: RawStorageObj,\n  topRelations: Record<string, Record<string, RawRelation>>,\n): { enrichedModels: Record<string, RawModel>; roots: Record<string, string> } {\n  const roots: Record<string, string> = {};\n  const tableToModel: Record<string, string> = {};\n\n  for (const [modelName, model] of Object.entries(models)) {\n    const modelStorage = model['storage'] as Record<string, unknown> | undefined;\n    const tableName = modelStorage?.['table'] as string | undefined;\n    if (tableName) {\n      if (!model['owner']) {\n        roots[modelName] = modelName;\n      }\n      tableToModel[tableName] = modelName;\n    }\n  }\n\n  const enrichedModels: Record<string, RawModel> = {};\n\n  for (const [modelName, model] of Object.entries(models)) {\n    const fields = (model['fields'] ?? {}) as Record<string, RawField>;\n    const modelStorage = model['storage'] as Record<string, unknown> | undefined;\n    const tableName = modelStorage?.['table'] as string | undefined;\n    const storageTable = tableName\n      ? (storageObj.tables[tableName] as Record<string, unknown> | undefined)\n      : undefined;\n    const storageColumns = (storageTable?.['columns'] ?? {}) as Record<\n      string,\n      Record<string, unknown>\n    >;\n\n    const enrichedFields: Record<string, RawField> = {};\n    const modelStorageFields: Record<string, { column: string }> = {};\n\n    const hasStorageColumns = Object.keys(storageColumns).length > 0;\n    for (const [fieldName, field] of Object.entries(fields)) {\n      const colName = field['column'] as string;\n      const storageCol = storageColumns[colName];\n      if (!storageCol && hasStorageColumns && colName) {\n        throw new Error(\n          `Model \"${modelName}\" field \"${fieldName}\" references non-existent column \"${colName}\" in table \"${tableName}\"`,\n        );\n      }\n      enrichedFields[fieldName] = {\n        ...field,\n        nullable: storageCol?.['nullable'] ?? false,\n        codecId: storageCol?.['codecId'] ?? '',\n      };\n      modelStorageFields[fieldName] = { column: colName };\n    }\n\n    const enrichedStorage = {\n      ...(modelStorage ?? {}),\n      fields: modelStorageFields,\n    };\n\n    enrichedModels[modelName] = {\n      ...model,\n      fields: enrichedFields,\n      storage: enrichedStorage,\n      relations: model['relations'] ?? {},\n    };\n  }\n\n  for (const [tableName, tableRels] of Object.entries(topRelations)) {\n    const modelName = tableToModel[tableName];\n    if (!modelName) continue;\n    const existingModel = enrichedModels[modelName];\n    if (!existingModel) continue;\n\n    const existingRels = (existingModel['relations'] ?? {}) as Record<string, unknown>;\n    const targetColumnToField: Record<string, Record<string, string>> = {};\n\n    const modelRelations: Record<string, unknown> = { ...existingRels };\n    for (const [relName, rel] of Object.entries(tableRels)) {\n      const on = rel['on'] as { childCols?: string[]; parentCols?: string[] } | undefined;\n      const parentCols = on?.['parentCols'] ?? [];\n      const childCols = on?.['childCols'] ?? [];\n\n      const toModel = rel['to'] as string;\n      const sourceFields = (existingModel['fields'] ?? {}) as Record<string, RawField>;\n      const sourceColToField = buildColumnToFieldMap(sourceFields, modelName);\n\n      if (!targetColumnToField[toModel]) {\n        const targetModelObj = enrichedModels[toModel];\n        if (targetModelObj) {\n          targetColumnToField[toModel] = buildColumnToFieldMap(\n            (targetModelObj['fields'] ?? {}) as Record<string, RawField>,\n            toModel,\n          );\n        } else {\n          targetColumnToField[toModel] = {};\n        }\n      }\n      const targetColToField = targetColumnToField[toModel] ?? {};\n\n      // Old format: parentCols = columns on FK-holding table (local), childCols = columns on referenced table (target)\n      const localFields = parentCols.map((c: string) => sourceColToField[c] ?? c);\n      const targetFields = childCols.map((c: string) => targetColToField[c] ?? c);\n\n      modelRelations[relName] = {\n        to: toModel,\n        cardinality: rel['cardinality'],\n        on: { localFields, targetFields },\n      };\n    }\n\n    enrichedModels[modelName] = {\n      ...existingModel,\n      relations: modelRelations,\n    };\n  }\n\n  return { enrichedModels, roots };\n}\n\nfunction enrichNewFormatModels(models: Record<string, RawModel>): {\n  enrichedModels: Record<string, RawModel>;\n  topRelations: Record<string, Record<string, unknown>>;\n} {\n  const enrichedModels: Record<string, RawModel> = {};\n  const topRelations: Record<string, Record<string, unknown>> = {};\n  const modelToTable: Record<string, string> = {};\n\n  for (const [modelName, model] of Object.entries(models)) {\n    const modelStorage = model['storage'] as Record<string, unknown> | undefined;\n    const tableName = modelStorage?.['table'] as string | undefined;\n    if (tableName) modelToTable[modelName] = tableName;\n  }\n\n  for (const [modelName, model] of Object.entries(models)) {\n    const fields = (model['fields'] ?? {}) as Record<string, RawField>;\n    const modelStorage = model['storage'] as Record<string, unknown> | undefined;\n    const storageFields = (modelStorage?.['fields'] ?? {}) as Record<\n      string,\n      Record<string, unknown>\n    >;\n\n    const enrichedFields: Record<string, RawField> = {};\n    for (const [fieldName, field] of Object.entries(fields)) {\n      const sfEntry = storageFields[fieldName];\n      const column = sfEntry?.['column'] as string | undefined;\n      enrichedFields[fieldName] = column ? { ...field, column } : { ...field };\n    }\n\n    enrichedModels[modelName] = {\n      ...model,\n      fields: enrichedFields,\n      relations: model['relations'] ?? {},\n    };\n\n    const modelRels = (model['relations'] ?? {}) as Record<string, RawRelation>;\n    const tableName = modelToTable[modelName];\n    if (!tableName) continue;\n\n    for (const [relName, rel] of Object.entries(modelRels)) {\n      const on = rel['on'] as { localFields?: string[]; targetFields?: string[] } | undefined;\n      if (!on) continue;\n      const toModel = rel['to'] as string;\n      const toTable = modelToTable[toModel];\n      if (!toTable) continue;\n\n      const sourceFields = enrichedFields;\n      const targetModelObj = models[toModel];\n      const targetFields = (targetModelObj?.['fields'] ?? {}) as Record<string, RawField>;\n      const targetStorageObj = targetModelObj?.['storage'] as Record<string, unknown> | undefined;\n      const targetStorageFields = (targetStorageObj?.['fields'] ?? {}) as Record<\n        string,\n        Record<string, unknown>\n      >;\n\n      const parentCols = (on.localFields ?? []).map((f: string) => {\n        const sf = storageFields[f];\n        return (\n          (sf?.['column'] as string | undefined) ??\n          (sourceFields[f]?.['column'] as string | undefined) ??\n          f\n        );\n      });\n\n      const childCols = (on.targetFields ?? []).map((f: string) => {\n        const tsf = targetStorageFields[f];\n        return (\n          (tsf?.['column'] as string | undefined) ??\n          (targetFields[f]?.['column'] as string | undefined) ??\n          f\n        );\n      });\n\n      if (!topRelations[tableName]) topRelations[tableName] = {};\n      topRelations[tableName][relName] = {\n        to: toModel,\n        cardinality: rel['cardinality'],\n        on: { parentCols, childCols },\n      };\n    }\n  }\n\n  return { enrichedModels, topRelations };\n}\n\nexport function normalizeContract(contract: unknown): SqlContract<SqlStorage> {\n  if (typeof contract !== 'object' || contract === null) {\n    return contract as SqlContract<SqlStorage>;\n  }\n\n  const contractObj = contract as Record<string, unknown>;\n  const normalizedStorage = normalizeStorage(contractObj);\n\n  const rawModels = contractObj['models'];\n  if (!rawModels || typeof rawModels !== 'object' || rawModels === null) {\n    return {\n      ...contractObj,\n      roots: contractObj['roots'] ?? {},\n      models: rawModels ?? {},\n      relations: contractObj['relations'] ?? {},\n      storage: normalizedStorage,\n      extensionPacks: contractObj['extensionPacks'] ?? {},\n      capabilities: contractObj['capabilities'] ?? {},\n      meta: contractObj['meta'] ?? {},\n      sources: contractObj['sources'] ?? {},\n    } as SqlContract<SqlStorage>;\n  }\n\n  const modelsObj = rawModels as Record<string, RawModel>;\n  const format = detectFormat(modelsObj);\n\n  let normalizedModels: Record<string, RawModel>;\n  let roots: Record<string, string>;\n  let topRelations: Record<string, Record<string, unknown>>;\n\n  if (format === 'new') {\n    const result = enrichNewFormatModels(modelsObj);\n    normalizedModels = result.enrichedModels;\n    topRelations = {\n      ...((contractObj['relations'] ?? {}) as Record<string, Record<string, unknown>>),\n      ...result.topRelations,\n    };\n    roots = (contractObj['roots'] as Record<string, string>) ?? {};\n  } else {\n    const rawStorageObj =\n      normalizedStorage && typeof normalizedStorage === 'object'\n        ? (normalizedStorage as Record<string, unknown>)\n        : {};\n    const storageObj = {\n      tables: ((rawStorageObj as Record<string, unknown>)['tables'] ?? {}) as Record<\n        string,\n        Record<string, unknown>\n      >,\n    };\n    const existingRelations = (contractObj['relations'] ?? {}) as Record<\n      string,\n      Record<string, RawRelation>\n    >;\n    const result = enrichOldFormatModels(modelsObj, storageObj, existingRelations);\n    normalizedModels = result.enrichedModels;\n    roots = result.roots;\n    topRelations = existingRelations;\n  }\n\n  return {\n    ...contractObj,\n    roots,\n    models: normalizedModels,\n    relations: topRelations,\n    storage: normalizedStorage,\n    extensionPacks: contractObj['extensionPacks'] ?? {},\n    capabilities: contractObj['capabilities'] ?? {},\n    meta: contractObj['meta'] ?? {},\n    sources: contractObj['sources'] ?? {},\n  } as SqlContract<SqlStorage>;\n}\n\nexport function validateContract<TContract extends SqlContract<SqlStorage>>(\n  value: unknown,\n): TContract {\n  const normalized = normalizeContract(value);\n\n  const structurallyValid = validateSqlContract<SqlContract<SqlStorage>>(normalized);\n\n  validateContractDomain(extractDomainShape(structurallyValid));\n\n  validateContractLogic(structurallyValid);\n\n  const semanticErrors = validateStorageSemantics(structurallyValid.storage);\n  if (semanticErrors.length > 0) {\n    throw new Error(`Contract semantic validation failed: ${semanticErrors.join('; ')}`);\n  }\n\n  const constructed = constructContract<TContract>(structurallyValid);\n  return decodeContractDefaults(constructed) as TContract;\n}\n"],"mappings":";;;;;;AASA,SAAS,uBAAuB,QAA2D;CACzF,MAAMA,eAAuC,EAAE;CAC/C,MAAMC,eAAuC,EAAE;CAC/C,MAAMC,gBAAwD,EAAE;CAChE,MAAMC,gBAAwD,EAAE;AAEhE,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;EACvD,MAAM,YAAY,MAAM,QAAQ;AAChC,eAAa,aAAa;AAC1B,eAAa,aAAa;EAE1B,MAAMC,qBAA6C,EAAE;AACrD,OAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,MAAM,OAAO,EAAE;GAC7D,MAAM,aAAa,MAAM;AACzB,sBAAmB,aAAa;AAChC,OAAI,CAAC,cAAc,WACjB,eAAc,aAAa,EAAE;AAE/B,iBAAc,WAAW,cAAc;;AAGzC,gBAAc,aAAa;;AAG7B,QAAO;EACL;EACA;EACA;EACA;EACD;;AAGH,SAAS,2BACP,cACA,cACM;AACN,MAAK,MAAM,CAAC,OAAO,UAAU,OAAO,QAAQ,aAAa,CACvD,KAAI,aAAa,WAAW,MAC1B,OAAM,IAAI,MACR,4CAA4C,MAAM,IAAI,MAAM,mCAC7D;AAGL,MAAK,MAAM,CAAC,OAAO,UAAU,OAAO,QAAQ,aAAa,CACvD,KAAI,aAAa,WAAW,MAC1B,OAAM,IAAI,MACR,4CAA4C,MAAM,IAAI,MAAM,mCAC7D;;AAKP,SAAS,2BACP,eACA,eACA,cACA,cACM;AACN,MAAK,MAAM,CAAC,OAAO,WAAW,OAAO,QAAQ,cAAc,EAAE;EAC3D,MAAM,QAAQ,aAAa;AAC3B,MAAI,CAAC,MACH,OAAM,IAAI,MACR,uEAAuE,MAAM,GAC9E;EAEH,MAAM,gBAAgB,cAAc;AACpC,MAAI,CAAC,cACH,OAAM,IAAI,MACR,+DAA+D,MAAM,eAAe,MAAM,GAC3F;AAEH,OAAK,MAAM,CAAC,OAAO,WAAW,OAAO,QAAQ,OAAO,CAClD,KAAI,cAAc,YAAY,MAC5B,OAAM,IAAI,MACR,6CAA6C,MAAM,GAAG,MAAM,IAAI,OAAO,qCAAqC,QAC7G;;AAKP,MAAK,MAAM,CAAC,OAAO,YAAY,OAAO,QAAQ,cAAc,EAAE;EAC5D,MAAM,QAAQ,aAAa;AAC3B,MAAI,CAAC,MACH,OAAM,IAAI,MACR,uEAAuE,MAAM,GAC9E;EAEH,MAAM,gBAAgB,cAAc;AACpC,MAAI,CAAC,cACH,OAAM,IAAI,MACR,+DAA+D,MAAM,eAAe,MAAM,GAC3F;AAEH,OAAK,MAAM,CAAC,QAAQ,UAAU,OAAO,QAAQ,QAAQ,CACnD,KAAI,cAAc,WAAW,OAC3B,OAAM,IAAI,MACR,6CAA6C,MAAM,GAAG,OAAO,IAAI,MAAM,qCAAqC,QAC7G;;;AAMT,SAAS,cACP,UACA,kBACkB;CAClB,MAAM,kBAAkB,kBAAkB,iBAAiB;CAC3D,MAAM,kBAAkB,kBAAkB,iBAAiB;AAC3D,KAAI,oBAAoB,gBACtB,OAAM,IAAI,MACR,sFACD;CAGH,MAAM,mBAAmB,kBAAkB,kBAAkB;CAC7D,MAAM,mBAAmB,kBAAkB,kBAAkB;AAC7D,KAAI,qBAAqB,iBACvB,OAAM,IAAI,MACR,wFACD;CAGH,MAAMJ,eAAuC,kBACxC,kBAAkB,gBAAgB,EAAE,GACrC,SAAS;CACb,MAAMC,eAAuC,kBACxC,kBAAkB,gBAAgB,EAAE,GACrC,SAAS;AACb,4BAA2B,cAAc,aAAa;CAEtD,MAAMC,gBAAwD,mBACzD,kBAAkB,iBAAiB,EAAE,GACtC,SAAS;CACb,MAAMC,gBAAwD,mBACzD,kBAAkB,iBAAiB,EAAE,GACtC,SAAS;AACb,4BAA2B,eAAe,eAAe,cAAc,aAAa;AAEpF,QAAO;EACL;EACA;EACA;EACA;EACD;;AAKH,SAAS,eAAe,KAAyE;CAE/F,MAAM,EAAE,YAAY,GAAG,GAAG,SADZ;AAEd,QAAO;;AAGT,SAAgB,kBACd,OACW;CACX,MAAM,mBAAoB,MAA8C;CAExE,MAAM,WAAW,cADO,uBAAuB,MAAM,OAA0C,EAC/C,iBAAiB;CAEjE,MAAM,WAAW,eAAe,MAAM;AAQtC,QAN6B;EAC3B,GAAG;EACH;EACA,OAAO,SAAS;EACjB;;;;;ACxKH,SAAS,mBAAmB,UAAwD;AAClF,QAAO;EACL,OAAO,SAAS;EAChB,QAAQ,SAAS;EAClB;;AAGH,SAAS,sBAAsB,UAAyC;CACtE,MAAM,aAAa,IAAI,IAAI,OAAO,KAAK,SAAS,QAAQ,OAAO,CAAC;AAEhE,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,SAAS,QAAQ,OAAO,EAAE;EACxE,MAAM,cAAc,IAAI,IAAI,OAAO,KAAK,MAAM,QAAQ,CAAC;AAEvD,MAAI,MAAM,YACR;QAAK,MAAM,WAAW,MAAM,WAAW,QACrC,KAAI,CAAC,YAAY,IAAI,QAAQ,CAC3B,OAAM,IAAI,MACR,UAAU,UAAU,+CAA+C,QAAQ,GAC5E;;AAKP,OAAK,MAAM,UAAU,MAAM,QACzB,MAAK,MAAM,WAAW,OAAO,QAC3B,KAAI,CAAC,YAAY,IAAI,QAAQ,CAC3B,OAAM,IAAI,MACR,UAAU,UAAU,sDAAsD,QAAQ,GACnF;AAKP,OAAK,MAAM,SAAS,MAAM,QACxB,MAAK,MAAM,WAAW,MAAM,QAC1B,KAAI,CAAC,YAAY,IAAI,QAAQ,CAC3B,OAAM,IAAI,MAAM,UAAU,UAAU,0CAA0C,QAAQ,GAAG;AAK/F,OAAK,MAAM,CAAC,SAAS,WAAW,OAAO,QAAQ,MAAM,QAAQ,CAC3D,KAAI,CAAC,OAAO,YAAY,OAAO,SAAS,SAAS,aAAa,OAAO,QAAQ,UAAU,KACrF,OAAM,IAAI,MACR,UAAU,UAAU,YAAY,QAAQ,8CACzC;AAIL,OAAK,MAAM,MAAM,MAAM,aAAa;AAClC,QAAK,MAAM,WAAW,GAAG,QACvB,KAAI,CAAC,YAAY,IAAI,QAAQ,CAC3B,OAAM,IAAI,MACR,UAAU,UAAU,+CAA+C,QAAQ,GAC5E;AAIL,OAAI,CAAC,WAAW,IAAI,GAAG,WAAW,MAAM,CACtC,OAAM,IAAI,MACR,UAAU,UAAU,8CAA8C,GAAG,WAAW,MAAM,GACvF;GAGH,MAAM,kBAAkB,SAAS,QAAQ,OACvC,GAAG,WAAW;GAEhB,MAAM,wBAAwB,IAAI,IAAI,OAAO,KAAK,gBAAgB,QAAQ,CAAC;AAC3E,QAAK,MAAM,WAAW,GAAG,WAAW,QAClC,KAAI,CAAC,sBAAsB,IAAI,QAAQ,CACrC,OAAM,IAAI,MACR,UAAU,UAAU,+CAA+C,QAAQ,cAAc,GAAG,WAAW,MAAM,GAC9G;AAIL,OAAI,GAAG,QAAQ,WAAW,GAAG,WAAW,QAAQ,OAC9C,OAAM,IAAI,MACR,UAAU,UAAU,6BAA6B,GAAG,QAAQ,OAAO,4CAA4C,GAAG,WAAW,QAAQ,OAAO,GAC7I;;;;AAMT,MAAM,sBAAsB,IAAI,IAAI,CAAC,UAAU,OAAO,CAAC;AAEvD,SAAgB,eAAe,QAAgC;CAC7D,MAAM,aAAa,OAAO,YAAY,aAAa,IAAI;AACvD,KAAI,oBAAoB,IAAI,WAAW,CAAE,QAAO;CAChD,MAAM,UAAU,OAAO,SAAS,aAAa,IAAI;AACjD,QAAO,QAAQ,SAAS,OAAO,IAAI,QAAQ,SAAS,SAAS;;AAG/D,SAAgB,0BACd,OACA,QACA,WACA,YACgC;AAChC,KAAI,iBAAiB,KACnB,QAAO;AAET,KAAI,YAAY,MAAM,CACpB,QAAO,MAAM;AAEf,KAAI,eAAe,MAAM,EAAE;AACzB,MAAI,CAAC,eAAe,OAAO,CACzB,QAAO;AAET,MAAI;AACF,UAAO,OAAO,MAAM,MAAM;UACpB;AACN,SAAM,IAAI,MACR,+CAA+C,UAAU,GAAG,WAAW,MAAM,MAAM,MAAM,0BAC1F;;;AAGL,QAAO;;AAGT,SAAgB,uBAA0D,UAAgB;CACxF,MAAM,SAAS,SAAS,QAAQ;CAChC,IAAI,gBAAgB;CACpB,MAAME,gBAA8C,EAAE;AAEtD,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;EACvD,IAAI,iBAAiB;EACrB,MAAMC,iBAAgD,EAAE;AAExD,OAAK,MAAM,CAAC,YAAY,WAAW,OAAO,QAAQ,MAAM,QAAQ,EAAE;AAChE,OAAI,OAAO,SAAS,SAAS,WAAW;IACtC,MAAM,eAAe,0BACnB,OAAO,QAAQ,OACf,QACA,WACA,WACD;AACD,QAAI,iBAAiB,OAAO,QAAQ,OAAO;AACzC,sBAAiB;AACjB,oBAAe,cAAc;MAC3B,GAAG;MACH,SAAS;OAAE,MAAM;OAAW,OAAO;OAAc;MAClD;AACD;;;AAGJ,kBAAe,cAAc;;AAG/B,MAAI,gBAAgB;AAClB,mBAAgB;AAChB,iBAAc,aAAa;IAAE,GAAG;IAAO,SAAS;IAAgB;QAEhE,eAAc,aAAa;;AAI/B,KAAI,CAAC,cACH,QAAO;AAMT,QAAO;EACL,GAAG;EACH,SAAS;GACP,GAAG,SAAS;GACZ,QAAQ;GACT;EACF;;AAGH,SAAS,iBAAiB,aAA+D;CACvF,MAAM,oBAAoB,YAAY;AACtC,KAAI,CAAC,qBAAqB,OAAO,sBAAsB,SACrD,QAAO;CAET,MAAM,UAAU;CAChB,MAAM,SAAS,QAAQ;AACvB,KAAI,CAAC,OAAQ,QAAO;CAEpB,MAAMC,mBAA4C,EAAE;AACpD,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;EACvD,MAAM,WAAW;EACjB,MAAM,UAAU,SAAS;AAEzB,MAAI,SAAS;GACX,MAAMC,oBAA6C,EAAE;AACrD,QAAK,MAAM,CAAC,YAAY,WAAW,OAAO,QAAQ,QAAQ,EAAE;IAC1D,MAAM,YAAY;AAClB,sBAAkB,cAAc;KAC9B,GAAG;KACH,UAAU,UAAU,eAAe;KACpC;;GAIH,MAAM,yBADkB,SAAS,kBAAkB,EAAE,EACR,KAAK,QAAQ;IACxD,GAAG;IACH,GAAG,gBAAgB;KACjB,YAAY,OAAO,GAAG,kBAAkB,YAAY,GAAG,gBAAgB;KACvE,OAAO,OAAO,GAAG,aAAa,YAAY,GAAG,WAAW;KACzD,CAAC;IACH,EAAE;AAEH,oBAAiB,aAAa;IAC5B,GAAG;IACH,SAAS;IACT,SAAS,SAAS,cAAc,EAAE;IAClC,SAAS,SAAS,cAAc,EAAE;IAClC,aAAa;IACd;QAED,kBAAiB,aAAa;;AAIlC,QAAO;EAAE,GAAG;EAAS,QAAQ;EAAkB;;AAQjD,SAAS,aAAa,QAAiD;AACrE,MAAK,MAAM,SAAS,OAAO,OAAO,OAAO,EAAE;EACzC,MAAM,SAAS,MAAM;AACrB,MAAI,CAAC,OAAQ;AACb,OAAK,MAAM,SAAS,OAAO,OAAO,OAAO,EAAE;AACzC,OAAI,YAAY,MAAO,QAAO;AAC9B,OAAI,aAAa,MAAO,QAAO;;;AAGnC,QAAO;;AAGT,SAAS,sBACP,QACA,WACwB;CACxB,MAAMC,MAA8B,EAAE;AACtC,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;EACvD,MAAM,MAAM,MAAM;AAClB,MAAI,CAAC,IAAK;AACV,MAAI,OAAO,OAAO,KAAK,IAAI,CACzB,OAAM,IAAI,MACR,UAAU,UAAU,0CAA0C,IAAI,KAAK,SAAS,UAAU,wBAAwB,IAAI,GACvH;AAEH,MAAI,OAAO;;AAEb,QAAO;;AAGT,SAAS,sBACP,QACA,YACA,cAC6E;CAC7E,MAAMC,QAAgC,EAAE;CACxC,MAAMC,eAAuC,EAAE;AAE/C,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;EAEvD,MAAM,YADe,MAAM,aACM;AACjC,MAAI,WAAW;AACb,OAAI,CAAC,MAAM,SACT,OAAM,aAAa;AAErB,gBAAa,aAAa;;;CAI9B,MAAMC,iBAA2C,EAAE;AAEnD,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;EACvD,MAAM,SAAU,MAAM,aAAa,EAAE;EACrC,MAAM,eAAe,MAAM;EAC3B,MAAM,YAAY,eAAe;EAIjC,MAAM,kBAHe,YAChB,WAAW,OAAO,aACnB,UACmC,cAAc,EAAE;EAKvD,MAAMC,iBAA2C,EAAE;EACnD,MAAMC,qBAAyD,EAAE;EAEjE,MAAM,oBAAoB,OAAO,KAAK,eAAe,CAAC,SAAS;AAC/D,OAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;GACvD,MAAM,UAAU,MAAM;GACtB,MAAM,aAAa,eAAe;AAClC,OAAI,CAAC,cAAc,qBAAqB,QACtC,OAAM,IAAI,MACR,UAAU,UAAU,WAAW,UAAU,oCAAoC,QAAQ,cAAc,UAAU,GAC9G;AAEH,kBAAe,aAAa;IAC1B,GAAG;IACH,UAAU,aAAa,eAAe;IACtC,SAAS,aAAa,cAAc;IACrC;AACD,sBAAmB,aAAa,EAAE,QAAQ,SAAS;;EAGrD,MAAM,kBAAkB;GACtB,GAAI,gBAAgB,EAAE;GACtB,QAAQ;GACT;AAED,iBAAe,aAAa;GAC1B,GAAG;GACH,QAAQ;GACR,SAAS;GACT,WAAW,MAAM,gBAAgB,EAAE;GACpC;;AAGH,MAAK,MAAM,CAAC,WAAW,cAAc,OAAO,QAAQ,aAAa,EAAE;EACjE,MAAM,YAAY,aAAa;AAC/B,MAAI,CAAC,UAAW;EAChB,MAAM,gBAAgB,eAAe;AACrC,MAAI,CAAC,cAAe;EAEpB,MAAM,eAAgB,cAAc,gBAAgB,EAAE;EACtD,MAAMC,sBAA8D,EAAE;EAEtE,MAAMC,iBAA0C,EAAE,GAAG,cAAc;AACnE,OAAK,MAAM,CAAC,SAAS,QAAQ,OAAO,QAAQ,UAAU,EAAE;GACtD,MAAM,KAAK,IAAI;GACf,MAAM,aAAa,KAAK,iBAAiB,EAAE;GAC3C,MAAM,YAAY,KAAK,gBAAgB,EAAE;GAEzC,MAAM,UAAU,IAAI;GAEpB,MAAM,mBAAmB,sBADH,cAAc,aAAa,EAAE,EACU,UAAU;AAEvE,OAAI,CAAC,oBAAoB,UAAU;IACjC,MAAM,iBAAiB,eAAe;AACtC,QAAI,eACF,qBAAoB,WAAW,sBAC5B,eAAe,aAAa,EAAE,EAC/B,QACD;QAED,qBAAoB,WAAW,EAAE;;GAGrC,MAAM,mBAAmB,oBAAoB,YAAY,EAAE;GAG3D,MAAM,cAAc,WAAW,KAAK,MAAc,iBAAiB,MAAM,EAAE;GAC3E,MAAM,eAAe,UAAU,KAAK,MAAc,iBAAiB,MAAM,EAAE;AAE3E,kBAAe,WAAW;IACxB,IAAI;IACJ,aAAa,IAAI;IACjB,IAAI;KAAE;KAAa;KAAc;IAClC;;AAGH,iBAAe,aAAa;GAC1B,GAAG;GACH,WAAW;GACZ;;AAGH,QAAO;EAAE;EAAgB;EAAO;;AAGlC,SAAS,sBAAsB,QAG7B;CACA,MAAMJ,iBAA2C,EAAE;CACnD,MAAMK,eAAwD,EAAE;CAChE,MAAMC,eAAuC,EAAE;AAE/C,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;EAEvD,MAAM,YADe,MAAM,aACM;AACjC,MAAI,UAAW,cAAa,aAAa;;AAG3C,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;EACvD,MAAM,SAAU,MAAM,aAAa,EAAE;EAErC,MAAM,gBADe,MAAM,aACW,aAAa,EAAE;EAKrD,MAAML,iBAA2C,EAAE;AACnD,OAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;GAEvD,MAAM,SADU,cAAc,aACL;AACzB,kBAAe,aAAa,SAAS;IAAE,GAAG;IAAO;IAAQ,GAAG,EAAE,GAAG,OAAO;;AAG1E,iBAAe,aAAa;GAC1B,GAAG;GACH,QAAQ;GACR,WAAW,MAAM,gBAAgB,EAAE;GACpC;EAED,MAAM,YAAa,MAAM,gBAAgB,EAAE;EAC3C,MAAM,YAAY,aAAa;AAC/B,MAAI,CAAC,UAAW;AAEhB,OAAK,MAAM,CAAC,SAAS,QAAQ,OAAO,QAAQ,UAAU,EAAE;GACtD,MAAM,KAAK,IAAI;AACf,OAAI,CAAC,GAAI;GACT,MAAM,UAAU,IAAI;AAEpB,OAAI,CADY,aAAa,SACf;GAEd,MAAM,eAAe;GACrB,MAAM,iBAAiB,OAAO;GAC9B,MAAM,eAAgB,iBAAiB,aAAa,EAAE;GAEtD,MAAM,uBADmB,iBAAiB,cACM,aAAa,EAAE;GAK/D,MAAM,cAAc,GAAG,eAAe,EAAE,EAAE,KAAK,MAAc;AAE3D,WADW,cAAc,KAEjB,aACL,aAAa,KAAK,aACnB;KAEF;GAEF,MAAM,aAAa,GAAG,gBAAgB,EAAE,EAAE,KAAK,MAAc;AAE3D,WADY,oBAAoB,KAEvB,aACN,aAAa,KAAK,aACnB;KAEF;AAEF,OAAI,CAAC,aAAa,WAAY,cAAa,aAAa,EAAE;AAC1D,gBAAa,WAAW,WAAW;IACjC,IAAI;IACJ,aAAa,IAAI;IACjB,IAAI;KAAE;KAAY;KAAW;IAC9B;;;AAIL,QAAO;EAAE;EAAgB;EAAc;;AAGzC,SAAgB,kBAAkB,UAA4C;AAC5E,KAAI,OAAO,aAAa,YAAY,aAAa,KAC/C,QAAO;CAGT,MAAM,cAAc;CACpB,MAAM,oBAAoB,iBAAiB,YAAY;CAEvD,MAAM,YAAY,YAAY;AAC9B,KAAI,CAAC,aAAa,OAAO,cAAc,YAAY,cAAc,KAC/D,QAAO;EACL,GAAG;EACH,OAAO,YAAY,YAAY,EAAE;EACjC,QAAQ,aAAa,EAAE;EACvB,WAAW,YAAY,gBAAgB,EAAE;EACzC,SAAS;EACT,gBAAgB,YAAY,qBAAqB,EAAE;EACnD,cAAc,YAAY,mBAAmB,EAAE;EAC/C,MAAM,YAAY,WAAW,EAAE;EAC/B,SAAS,YAAY,cAAc,EAAE;EACtC;CAGH,MAAM,YAAY;CAClB,MAAM,SAAS,aAAa,UAAU;CAEtC,IAAIM;CACJ,IAAIT;CACJ,IAAIO;AAEJ,KAAI,WAAW,OAAO;EACpB,MAAM,SAAS,sBAAsB,UAAU;AAC/C,qBAAmB,OAAO;AAC1B,iBAAe;GACb,GAAK,YAAY,gBAAgB,EAAE;GACnC,GAAG,OAAO;GACX;AACD,UAAS,YAAY,YAAuC,EAAE;QACzD;EAKL,MAAM,aAAa,EACjB,SAJA,qBAAqB,OAAO,sBAAsB,WAC7C,oBACD,EAAE,EAE8C,aAAa,EAAE,EAIpE;EACD,MAAM,oBAAqB,YAAY,gBAAgB,EAAE;EAIzD,MAAM,SAAS,sBAAsB,WAAW,YAAY,kBAAkB;AAC9E,qBAAmB,OAAO;AAC1B,UAAQ,OAAO;AACf,iBAAe;;AAGjB,QAAO;EACL,GAAG;EACH;EACA,QAAQ;EACR,WAAW;EACX,SAAS;EACT,gBAAgB,YAAY,qBAAqB,EAAE;EACnD,cAAc,YAAY,mBAAmB,EAAE;EAC/C,MAAM,YAAY,WAAW,EAAE;EAC/B,SAAS,YAAY,cAAc,EAAE;EACtC;;AAGH,SAAgB,iBACd,OACW;CAGX,MAAM,oBAAoB,oBAFP,kBAAkB,MAAM,CAEuC;AAElF,wBAAuB,mBAAmB,kBAAkB,CAAC;AAE7D,uBAAsB,kBAAkB;CAExC,MAAM,iBAAiB,yBAAyB,kBAAkB,QAAQ;AAC1E,KAAI,eAAe,SAAS,EAC1B,OAAM,IAAI,MAAM,wCAAwC,eAAe,KAAK,KAAK,GAAG;AAItF,QAAO,uBADa,kBAA6B,kBAAkB,CACzB"}
+{"version":3,"file":"validate.mjs","names":["decodedTables: Record<string, StorageTable>","decodedColumns: Record<string, StorageColumn>","normalizedTables: Record<string, unknown>","normalizedColumns: Record<string, unknown>","normalized: Record<string, Record<string, unknown>>"],"sources":["../src/construct.ts","../src/validate.ts"],"sourcesContent":["import type { SqlContract, SqlStorage } from './types';\n\ntype ValidatedContractInput = SqlContract<SqlStorage> & { _generated?: unknown };\n\nfunction stripGenerated(obj: ValidatedContractInput): Omit<ValidatedContractInput, '_generated'> {\n  const input = obj as unknown as Record<string, unknown>;\n  const { _generated: _, ...rest } = input;\n  return rest as Omit<ValidatedContractInput, '_generated'>;\n}\n\nexport function constructContract<TContract extends SqlContract<SqlStorage>>(\n  input: ValidatedContractInput,\n): TContract {\n  const stripped = stripGenerated(input);\n  return stripped as TContract;\n}\n","import type { ColumnDefaultLiteralInputValue } from '@prisma-next/contract/types';\nimport { isTaggedBigInt, isTaggedRaw } from '@prisma-next/contract/types';\nimport type { DomainContractShape, DomainModelShape } from '@prisma-next/contract/validate-domain';\nimport { validateContractDomain } from '@prisma-next/contract/validate-domain';\nimport { constructContract } from './construct';\nimport type { SqlContract, SqlStorage, StorageColumn, StorageTable } from './types';\nimport { applyFkDefaults } from './types';\nimport { validateSqlContract, validateStorageSemantics } from './validators';\n\nfunction extractDomainShape(contract: SqlContract<SqlStorage>): DomainContractShape {\n  return {\n    roots: contract.roots,\n    models: contract.models as Record<string, DomainModelShape>,\n  };\n}\n\nfunction validateModelStorageReferences(contract: SqlContract<SqlStorage>): void {\n  const models = contract.models as Record<\n    string,\n    { storage?: { table?: string; fields?: Record<string, { column?: string }> } }\n  >;\n\n  for (const [modelName, model] of Object.entries(models)) {\n    const storageTable = model.storage?.table;\n    if (!storageTable) continue;\n\n    const table = contract.storage.tables[storageTable] as\n      | (typeof contract.storage.tables)[string]\n      | undefined;\n    if (!table) {\n      throw new Error(`Model \"${modelName}\" references non-existent table \"${storageTable}\"`);\n    }\n\n    const storageFields = model.storage?.fields;\n    if (!storageFields) continue;\n\n    const columnNames = new Set(Object.keys(table.columns));\n    for (const [fieldName, field] of Object.entries(storageFields)) {\n      const column = field.column;\n      if (column && !columnNames.has(column)) {\n        throw new Error(\n          `Model \"${modelName}\" field \"${fieldName}\" references non-existent column \"${column}\" in table \"${storageTable}\"`,\n        );\n      }\n    }\n  }\n}\n\nfunction validateContractLogic(contract: SqlContract<SqlStorage>): void {\n  const tableNames = new Set(Object.keys(contract.storage.tables));\n\n  for (const [tableName, table] of Object.entries(contract.storage.tables)) {\n    const columnNames = new Set(Object.keys(table.columns));\n\n    if (table.primaryKey) {\n      for (const colName of table.primaryKey.columns) {\n        if (!columnNames.has(colName)) {\n          throw new Error(\n            `Table \"${tableName}\" primaryKey references non-existent column \"${colName}\"`,\n          );\n        }\n      }\n    }\n\n    for (const unique of table.uniques) {\n      for (const colName of unique.columns) {\n        if (!columnNames.has(colName)) {\n          throw new Error(\n            `Table \"${tableName}\" unique constraint references non-existent column \"${colName}\"`,\n          );\n        }\n      }\n    }\n\n    for (const index of table.indexes) {\n      for (const colName of index.columns) {\n        if (!columnNames.has(colName)) {\n          throw new Error(`Table \"${tableName}\" index references non-existent column \"${colName}\"`);\n        }\n      }\n    }\n\n    for (const [colName, column] of Object.entries(table.columns)) {\n      if (!column.nullable && column.default?.kind === 'literal' && column.default.value === null) {\n        throw new Error(\n          `Table \"${tableName}\" column \"${colName}\" is NOT NULL but has a literal null default`,\n        );\n      }\n    }\n\n    for (const fk of table.foreignKeys) {\n      for (const colName of fk.columns) {\n        if (!columnNames.has(colName)) {\n          throw new Error(\n            `Table \"${tableName}\" foreignKey references non-existent column \"${colName}\"`,\n          );\n        }\n      }\n\n      if (!tableNames.has(fk.references.table)) {\n        throw new Error(\n          `Table \"${tableName}\" foreignKey references non-existent table \"${fk.references.table}\"`,\n        );\n      }\n\n      const referencedTable = contract.storage.tables[\n        fk.references.table\n      ] as (typeof contract.storage.tables)[string];\n      const referencedColumnNames = new Set(Object.keys(referencedTable.columns));\n      for (const colName of fk.references.columns) {\n        if (!referencedColumnNames.has(colName)) {\n          throw new Error(\n            `Table \"${tableName}\" foreignKey references non-existent column \"${colName}\" in table \"${fk.references.table}\"`,\n          );\n        }\n      }\n\n      if (fk.columns.length !== fk.references.columns.length) {\n        throw new Error(\n          `Table \"${tableName}\" foreignKey column count (${fk.columns.length}) does not match referenced column count (${fk.references.columns.length})`,\n        );\n      }\n    }\n  }\n}\n\nconst BIGINT_NATIVE_TYPES = new Set(['bigint', 'int8']);\n\nexport function isBigIntColumn(column: StorageColumn): boolean {\n  const nativeType = column.nativeType?.toLowerCase() ?? '';\n  if (BIGINT_NATIVE_TYPES.has(nativeType)) return true;\n  const codecId = column.codecId?.toLowerCase() ?? '';\n  return codecId.includes('int8') || codecId.includes('bigint');\n}\n\nexport function decodeDefaultLiteralValue(\n  value: ColumnDefaultLiteralInputValue,\n  column: StorageColumn,\n  tableName: string,\n  columnName: string,\n): ColumnDefaultLiteralInputValue {\n  if (value instanceof Date) {\n    return value;\n  }\n  if (isTaggedRaw(value)) {\n    return value.value;\n  }\n  if (isTaggedBigInt(value)) {\n    if (!isBigIntColumn(column)) {\n      return value;\n    }\n    try {\n      return BigInt(value.value);\n    } catch {\n      throw new Error(\n        `Invalid tagged bigint for default value on \"${tableName}.${columnName}\": \"${value.value}\" is not a valid integer`,\n      );\n    }\n  }\n  return value;\n}\n\nexport function decodeContractDefaults<T extends SqlContract<SqlStorage>>(contract: T): T {\n  const tables = contract.storage.tables;\n  let tablesChanged = false;\n  const decodedTables: Record<string, StorageTable> = {};\n\n  for (const [tableName, table] of Object.entries(tables)) {\n    let columnsChanged = false;\n    const decodedColumns: Record<string, StorageColumn> = {};\n\n    for (const [columnName, column] of Object.entries(table.columns)) {\n      if (column.default?.kind === 'literal') {\n        const decodedValue = decodeDefaultLiteralValue(\n          column.default.value,\n          column,\n          tableName,\n          columnName,\n        );\n        if (decodedValue !== column.default.value) {\n          columnsChanged = true;\n          decodedColumns[columnName] = {\n            ...column,\n            default: { kind: 'literal', value: decodedValue },\n          };\n          continue;\n        }\n      }\n      decodedColumns[columnName] = column;\n    }\n\n    if (columnsChanged) {\n      tablesChanged = true;\n      decodedTables[tableName] = { ...table, columns: decodedColumns };\n    } else {\n      decodedTables[tableName] = table;\n    }\n  }\n\n  if (!tablesChanged) {\n    return contract;\n  }\n\n  return {\n    ...contract,\n    storage: {\n      ...contract.storage,\n      tables: decodedTables,\n    },\n  } as T;\n}\n\nfunction normalizeStorage(contractObj: Record<string, unknown>): Record<string, unknown> {\n  const normalizedStorage = contractObj['storage'];\n  if (!normalizedStorage || typeof normalizedStorage !== 'object')\n    return normalizedStorage as Record<string, unknown>;\n\n  const storage = normalizedStorage as Record<string, unknown>;\n  const tables = storage['tables'] as Record<string, unknown> | undefined;\n  if (!tables) return storage;\n\n  const normalizedTables: Record<string, unknown> = {};\n  for (const [tableName, table] of Object.entries(tables)) {\n    const tableObj = table as Record<string, unknown>;\n    const columns = tableObj['columns'] as Record<string, unknown> | undefined;\n\n    if (columns) {\n      const normalizedColumns: Record<string, unknown> = {};\n      for (const [columnName, column] of Object.entries(columns)) {\n        const columnObj = column as Record<string, unknown>;\n        normalizedColumns[columnName] = {\n          ...columnObj,\n          nullable: columnObj['nullable'] ?? false,\n        };\n      }\n\n      const rawForeignKeys = (tableObj['foreignKeys'] ?? []) as Array<Record<string, unknown>>;\n      const normalizedForeignKeys = rawForeignKeys.map((fk) => ({\n        ...fk,\n        ...applyFkDefaults({\n          constraint: typeof fk['constraint'] === 'boolean' ? fk['constraint'] : undefined,\n          index: typeof fk['index'] === 'boolean' ? fk['index'] : undefined,\n        }),\n      }));\n\n      normalizedTables[tableName] = {\n        ...tableObj,\n        columns: normalizedColumns,\n        uniques: tableObj['uniques'] ?? [],\n        indexes: tableObj['indexes'] ?? [],\n        foreignKeys: normalizedForeignKeys,\n      };\n    } else {\n      normalizedTables[tableName] = tableObj;\n    }\n  }\n\n  return { ...storage, tables: normalizedTables };\n}\n\nfunction normalizeModels(\n  models: Record<string, Record<string, unknown>>,\n): Record<string, Record<string, unknown>> {\n  const normalized: Record<string, Record<string, unknown>> = {};\n  for (const [modelName, model] of Object.entries(models)) {\n    normalized[modelName] = {\n      ...model,\n      relations: model['relations'] ?? {},\n    };\n  }\n  return normalized;\n}\n\nexport function normalizeContract(contract: unknown): SqlContract<SqlStorage> {\n  if (typeof contract !== 'object' || contract === null) {\n    return contract as SqlContract<SqlStorage>;\n  }\n\n  const contractObj = contract as Record<string, unknown>;\n  const normalizedStorage = normalizeStorage(contractObj);\n\n  const rawModels = contractObj['models'];\n  const models =\n    rawModels && typeof rawModels === 'object' && rawModels !== null\n      ? normalizeModels(rawModels as Record<string, Record<string, unknown>>)\n      : (rawModels ?? {});\n\n  const pick = (key: string) =>\n    key in contractObj && contractObj[key] !== undefined ? { [key]: contractObj[key] } : {};\n\n  return {\n    ...pick('schemaVersion'),\n    target: contractObj['target'],\n    targetFamily: contractObj['targetFamily'],\n    ...pick('coreHash'),\n    storageHash: contractObj['storageHash'],\n    ...pick('executionHash'),\n    ...pick('profileHash'),\n    ...pick('_generated'),\n    roots: contractObj['roots'] ?? {},\n    models,\n    storage: normalizedStorage,\n    extensionPacks: contractObj['extensionPacks'] ?? {},\n    capabilities: contractObj['capabilities'] ?? {},\n    meta: contractObj['meta'] ?? {},\n    sources: contractObj['sources'] ?? {},\n    ...pick('execution'),\n  } as SqlContract<SqlStorage>;\n}\n\nexport function validateContract<TContract extends SqlContract<SqlStorage>>(\n  value: unknown,\n): TContract {\n  const normalized = normalizeContract(value);\n\n  const structurallyValid = validateSqlContract<SqlContract<SqlStorage>>(normalized);\n\n  validateContractDomain(extractDomainShape(structurallyValid));\n\n  validateContractLogic(structurallyValid);\n\n  validateModelStorageReferences(structurallyValid);\n\n  const semanticErrors = validateStorageSemantics(structurallyValid.storage);\n  if (semanticErrors.length > 0) {\n    throw new Error(`Contract semantic validation failed: ${semanticErrors.join('; ')}`);\n  }\n\n  const constructed = constructContract<TContract>(structurallyValid);\n  return decodeContractDefaults(constructed) as TContract;\n}\n"],"mappings":";;;;;;AAIA,SAAS,eAAe,KAAyE;CAE/F,MAAM,EAAE,YAAY,GAAG,GAAG,SADZ;AAEd,QAAO;;AAGT,SAAgB,kBACd,OACW;AAEX,QADiB,eAAe,MAAM;;;;;ACJxC,SAAS,mBAAmB,UAAwD;AAClF,QAAO;EACL,OAAO,SAAS;EAChB,QAAQ,SAAS;EAClB;;AAGH,SAAS,+BAA+B,UAAyC;CAC/E,MAAM,SAAS,SAAS;AAKxB,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;EACvD,MAAM,eAAe,MAAM,SAAS;AACpC,MAAI,CAAC,aAAc;EAEnB,MAAM,QAAQ,SAAS,QAAQ,OAAO;AAGtC,MAAI,CAAC,MACH,OAAM,IAAI,MAAM,UAAU,UAAU,mCAAmC,aAAa,GAAG;EAGzF,MAAM,gBAAgB,MAAM,SAAS;AACrC,MAAI,CAAC,cAAe;EAEpB,MAAM,cAAc,IAAI,IAAI,OAAO,KAAK,MAAM,QAAQ,CAAC;AACvD,OAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,cAAc,EAAE;GAC9D,MAAM,SAAS,MAAM;AACrB,OAAI,UAAU,CAAC,YAAY,IAAI,OAAO,CACpC,OAAM,IAAI,MACR,UAAU,UAAU,WAAW,UAAU,oCAAoC,OAAO,cAAc,aAAa,GAChH;;;;AAMT,SAAS,sBAAsB,UAAyC;CACtE,MAAM,aAAa,IAAI,IAAI,OAAO,KAAK,SAAS,QAAQ,OAAO,CAAC;AAEhE,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,SAAS,QAAQ,OAAO,EAAE;EACxE,MAAM,cAAc,IAAI,IAAI,OAAO,KAAK,MAAM,QAAQ,CAAC;AAEvD,MAAI,MAAM,YACR;QAAK,MAAM,WAAW,MAAM,WAAW,QACrC,KAAI,CAAC,YAAY,IAAI,QAAQ,CAC3B,OAAM,IAAI,MACR,UAAU,UAAU,+CAA+C,QAAQ,GAC5E;;AAKP,OAAK,MAAM,UAAU,MAAM,QACzB,MAAK,MAAM,WAAW,OAAO,QAC3B,KAAI,CAAC,YAAY,IAAI,QAAQ,CAC3B,OAAM,IAAI,MACR,UAAU,UAAU,sDAAsD,QAAQ,GACnF;AAKP,OAAK,MAAM,SAAS,MAAM,QACxB,MAAK,MAAM,WAAW,MAAM,QAC1B,KAAI,CAAC,YAAY,IAAI,QAAQ,CAC3B,OAAM,IAAI,MAAM,UAAU,UAAU,0CAA0C,QAAQ,GAAG;AAK/F,OAAK,MAAM,CAAC,SAAS,WAAW,OAAO,QAAQ,MAAM,QAAQ,CAC3D,KAAI,CAAC,OAAO,YAAY,OAAO,SAAS,SAAS,aAAa,OAAO,QAAQ,UAAU,KACrF,OAAM,IAAI,MACR,UAAU,UAAU,YAAY,QAAQ,8CACzC;AAIL,OAAK,MAAM,MAAM,MAAM,aAAa;AAClC,QAAK,MAAM,WAAW,GAAG,QACvB,KAAI,CAAC,YAAY,IAAI,QAAQ,CAC3B,OAAM,IAAI,MACR,UAAU,UAAU,+CAA+C,QAAQ,GAC5E;AAIL,OAAI,CAAC,WAAW,IAAI,GAAG,WAAW,MAAM,CACtC,OAAM,IAAI,MACR,UAAU,UAAU,8CAA8C,GAAG,WAAW,MAAM,GACvF;GAGH,MAAM,kBAAkB,SAAS,QAAQ,OACvC,GAAG,WAAW;GAEhB,MAAM,wBAAwB,IAAI,IAAI,OAAO,KAAK,gBAAgB,QAAQ,CAAC;AAC3E,QAAK,MAAM,WAAW,GAAG,WAAW,QAClC,KAAI,CAAC,sBAAsB,IAAI,QAAQ,CACrC,OAAM,IAAI,MACR,UAAU,UAAU,+CAA+C,QAAQ,cAAc,GAAG,WAAW,MAAM,GAC9G;AAIL,OAAI,GAAG,QAAQ,WAAW,GAAG,WAAW,QAAQ,OAC9C,OAAM,IAAI,MACR,UAAU,UAAU,6BAA6B,GAAG,QAAQ,OAAO,4CAA4C,GAAG,WAAW,QAAQ,OAAO,GAC7I;;;;AAMT,MAAM,sBAAsB,IAAI,IAAI,CAAC,UAAU,OAAO,CAAC;AAEvD,SAAgB,eAAe,QAAgC;CAC7D,MAAM,aAAa,OAAO,YAAY,aAAa,IAAI;AACvD,KAAI,oBAAoB,IAAI,WAAW,CAAE,QAAO;CAChD,MAAM,UAAU,OAAO,SAAS,aAAa,IAAI;AACjD,QAAO,QAAQ,SAAS,OAAO,IAAI,QAAQ,SAAS,SAAS;;AAG/D,SAAgB,0BACd,OACA,QACA,WACA,YACgC;AAChC,KAAI,iBAAiB,KACnB,QAAO;AAET,KAAI,YAAY,MAAM,CACpB,QAAO,MAAM;AAEf,KAAI,eAAe,MAAM,EAAE;AACzB,MAAI,CAAC,eAAe,OAAO,CACzB,QAAO;AAET,MAAI;AACF,UAAO,OAAO,MAAM,MAAM;UACpB;AACN,SAAM,IAAI,MACR,+CAA+C,UAAU,GAAG,WAAW,MAAM,MAAM,MAAM,0BAC1F;;;AAGL,QAAO;;AAGT,SAAgB,uBAA0D,UAAgB;CACxF,MAAM,SAAS,SAAS,QAAQ;CAChC,IAAI,gBAAgB;CACpB,MAAMA,gBAA8C,EAAE;AAEtD,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;EACvD,IAAI,iBAAiB;EACrB,MAAMC,iBAAgD,EAAE;AAExD,OAAK,MAAM,CAAC,YAAY,WAAW,OAAO,QAAQ,MAAM,QAAQ,EAAE;AAChE,OAAI,OAAO,SAAS,SAAS,WAAW;IACtC,MAAM,eAAe,0BACnB,OAAO,QAAQ,OACf,QACA,WACA,WACD;AACD,QAAI,iBAAiB,OAAO,QAAQ,OAAO;AACzC,sBAAiB;AACjB,oBAAe,cAAc;MAC3B,GAAG;MACH,SAAS;OAAE,MAAM;OAAW,OAAO;OAAc;MAClD;AACD;;;AAGJ,kBAAe,cAAc;;AAG/B,MAAI,gBAAgB;AAClB,mBAAgB;AAChB,iBAAc,aAAa;IAAE,GAAG;IAAO,SAAS;IAAgB;QAEhE,eAAc,aAAa;;AAI/B,KAAI,CAAC,cACH,QAAO;AAGT,QAAO;EACL,GAAG;EACH,SAAS;GACP,GAAG,SAAS;GACZ,QAAQ;GACT;EACF;;AAGH,SAAS,iBAAiB,aAA+D;CACvF,MAAM,oBAAoB,YAAY;AACtC,KAAI,CAAC,qBAAqB,OAAO,sBAAsB,SACrD,QAAO;CAET,MAAM,UAAU;CAChB,MAAM,SAAS,QAAQ;AACvB,KAAI,CAAC,OAAQ,QAAO;CAEpB,MAAMC,mBAA4C,EAAE;AACpD,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;EACvD,MAAM,WAAW;EACjB,MAAM,UAAU,SAAS;AAEzB,MAAI,SAAS;GACX,MAAMC,oBAA6C,EAAE;AACrD,QAAK,MAAM,CAAC,YAAY,WAAW,OAAO,QAAQ,QAAQ,EAAE;IAC1D,MAAM,YAAY;AAClB,sBAAkB,cAAc;KAC9B,GAAG;KACH,UAAU,UAAU,eAAe;KACpC;;GAIH,MAAM,yBADkB,SAAS,kBAAkB,EAAE,EACR,KAAK,QAAQ;IACxD,GAAG;IACH,GAAG,gBAAgB;KACjB,YAAY,OAAO,GAAG,kBAAkB,YAAY,GAAG,gBAAgB;KACvE,OAAO,OAAO,GAAG,aAAa,YAAY,GAAG,WAAW;KACzD,CAAC;IACH,EAAE;AAEH,oBAAiB,aAAa;IAC5B,GAAG;IACH,SAAS;IACT,SAAS,SAAS,cAAc,EAAE;IAClC,SAAS,SAAS,cAAc,EAAE;IAClC,aAAa;IACd;QAED,kBAAiB,aAAa;;AAIlC,QAAO;EAAE,GAAG;EAAS,QAAQ;EAAkB;;AAGjD,SAAS,gBACP,QACyC;CACzC,MAAMC,aAAsD,EAAE;AAC9D,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,CACrD,YAAW,aAAa;EACtB,GAAG;EACH,WAAW,MAAM,gBAAgB,EAAE;EACpC;AAEH,QAAO;;AAGT,SAAgB,kBAAkB,UAA4C;AAC5E,KAAI,OAAO,aAAa,YAAY,aAAa,KAC/C,QAAO;CAGT,MAAM,cAAc;CACpB,MAAM,oBAAoB,iBAAiB,YAAY;CAEvD,MAAM,YAAY,YAAY;CAC9B,MAAM,SACJ,aAAa,OAAO,cAAc,YAAY,cAAc,OACxD,gBAAgB,UAAqD,GACpE,aAAa,EAAE;CAEtB,MAAM,QAAQ,QACZ,OAAO,eAAe,YAAY,SAAS,SAAY,GAAG,MAAM,YAAY,MAAM,GAAG,EAAE;AAEzF,QAAO;EACL,GAAG,KAAK,gBAAgB;EACxB,QAAQ,YAAY;EACpB,cAAc,YAAY;EAC1B,GAAG,KAAK,WAAW;EACnB,aAAa,YAAY;EACzB,GAAG,KAAK,gBAAgB;EACxB,GAAG,KAAK,cAAc;EACtB,GAAG,KAAK,aAAa;EACrB,OAAO,YAAY,YAAY,EAAE;EACjC;EACA,SAAS;EACT,gBAAgB,YAAY,qBAAqB,EAAE;EACnD,cAAc,YAAY,mBAAmB,EAAE;EAC/C,MAAM,YAAY,WAAW,EAAE;EAC/B,SAAS,YAAY,cAAc,EAAE;EACrC,GAAG,KAAK,YAAY;EACrB;;AAGH,SAAgB,iBACd,OACW;CAGX,MAAM,oBAAoB,oBAFP,kBAAkB,MAAM,CAEuC;AAElF,wBAAuB,mBAAmB,kBAAkB,CAAC;AAE7D,uBAAsB,kBAAkB;AAExC,gCAA+B,kBAAkB;CAEjD,MAAM,iBAAiB,yBAAyB,kBAAkB,QAAQ;AAC1E,KAAI,eAAe,SAAS,EAC1B,OAAM,IAAI,MAAM,wCAAwC,eAAe,KAAK,KAAK,GAAG;AAItF,QAAO,uBADa,kBAA6B,kBAAkB,CACzB"}

package/dist/{validators-CNxeypbZ.mjs → validators-_1sYf-29.mjs}

@@ -98,7 +98,6 @@ const StorageSchema = type({
 	"types?": type({ "[string]": StorageTypeInstanceSchema })
 });
 const ModelFieldSchema = type({
-	"column?": "string",
 	"nullable?": "boolean",
 	"codecId?": "string"
 });
@@ -110,24 +109,15 @@ const ModelStorageFieldSchema = type({
 const ModelSchema = type({
 	storage: type({
 		table: "string",
-		"fields?": type({ "[string]": ModelStorageFieldSchema })
+		fields: type({ "[string]": ModelStorageFieldSchema })
 	}),
-	fields: type({ "[string]": ModelFieldSchema }),
-	relations: type({ "[string]": "unknown" }),
+	"fields?": type({ "[string]": ModelFieldSchema }),
+	"relations?": type({ "[string]": "unknown" }),
 	"discriminator?": "unknown",
 	"variants?": "unknown",
 	"base?": "string",
 	"owner?": "string"
 });
-const MappingsSchema = type({
-	"+": "reject",
-	"modelToTable?": "null | Record<string, string>",
-	"tableToModel?": "null | Record<string, string>",
-	"fieldToColumn?": "null | Record<string, Record<string, string>>",
-	"columnToField?": "null | Record<string, Record<string, string>>",
-	"codecTypes?": "null | Record<string, unknown>",
-	"operationTypes?": "null | Record<string, Record<string, unknown>>"
-});
 const ContractMetaSchema = type({ "[string]": "unknown" });
 const SqlContractSchema = type({
 	"+": "reject",
@@ -143,9 +133,7 @@ const SqlContractSchema = type({
 	"extensionPacks?": "Record<string, unknown>",
 	"meta?": ContractMetaSchema,
 	"sources?": "Record<string, unknown>",
-	"relations?": type({ "[string]": "unknown" }),
 	"roots?": "Record<string, string>",
-	"mappings?": MappingsSchema,
 	models: type({ "[string]": ModelSchema }),
 	storage: StorageSchema,
 	"execution?": ExecutionSchema
@@ -165,13 +153,6 @@ function validateStorage(value) {
 	}
 	return result;
 }
-/**
-* Validates the structural shape of ModelDefinition using Arktype.
-*
-* @param value - The model value to validate
-* @returns The validated model if structure is valid
-* @throws Error if the model structure is invalid
-*/
 function validateModel(value) {
 	const result = ModelSchema(value);
 	if (result instanceof type.errors) {
@@ -231,4 +212,4 @@ function validateStorageSemantics(storage) {
 
 //#endregion
 export { ForeignKeySchema as a, validateModel as c, validateStorageSemantics as d, ForeignKeyReferencesSchema as i, validateSqlContract as l, ColumnDefaultLiteralSchema as n, IndexSchema as o, ColumnDefaultSchema as r, ReferentialActionSchema as s, ColumnDefaultFunctionSchema as t, validateStorage as u };
-//# sourceMappingURL=validators-CNxeypbZ.mjs.map
+//# sourceMappingURL=validators-_1sYf-29.mjs.map

package/dist/validators-_1sYf-29.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"validators-_1sYf-29.mjs","names":["errors: string[]"],"sources":["../src/validators.ts"],"sourcesContent":["import { type } from 'arktype';\nimport type {\n  ForeignKey,\n  ForeignKeyReferences,\n  PrimaryKey,\n  ReferentialAction,\n  SqlContract,\n  SqlStorage,\n  StorageTypeInstance,\n  UniqueConstraint,\n} from './types';\n\ntype ColumnDefaultLiteral = {\n  readonly kind: 'literal';\n  readonly value: string | number | boolean | Record<string, unknown> | unknown[] | null;\n};\ntype ColumnDefaultFunction = { readonly kind: 'function'; readonly expression: string };\nconst literalKindSchema = type(\"'literal'\");\nconst functionKindSchema = type(\"'function'\");\nconst generatorKindSchema = type(\"'generator'\");\nconst generatorIdSchema = type('string').narrow((value, ctx) => {\n  return /^[A-Za-z0-9][A-Za-z0-9_-]*$/.test(value) ? true : ctx.mustBe('a flat generator id');\n});\n\nexport const ColumnDefaultLiteralSchema = type.declare<ColumnDefaultLiteral>().type({\n  kind: literalKindSchema,\n  value: 'string | number | boolean | null | unknown[] | Record<string, unknown>',\n});\n\nexport const ColumnDefaultFunctionSchema = type.declare<ColumnDefaultFunction>().type({\n  kind: functionKindSchema,\n  expression: 'string',\n});\n\nexport const ColumnDefaultSchema = ColumnDefaultLiteralSchema.or(ColumnDefaultFunctionSchema);\n\nconst ExecutionMutationDefaultValueSchema = type({\n  '+': 'reject',\n  kind: generatorKindSchema,\n  id: generatorIdSchema,\n  'params?': 'Record<string, unknown>',\n});\n\nconst ExecutionMutationDefaultSchema = type({\n  '+': 'reject',\n  ref: {\n    '+': 'reject',\n    table: 'string',\n    column: 'string',\n  },\n  'onCreate?': ExecutionMutationDefaultValueSchema,\n  'onUpdate?': ExecutionMutationDefaultValueSchema,\n});\n\nconst ExecutionSchema = type({\n  '+': 'reject',\n  mutations: {\n    '+': 'reject',\n    defaults: ExecutionMutationDefaultSchema.array().readonly(),\n  },\n});\n\nconst StorageColumnSchema = type({\n  '+': 'reject',\n  nativeType: 'string',\n  codecId: 'string',\n  nullable: 'boolean',\n  'typeParams?': 'Record<string, unknown>',\n  'typeRef?': 'string',\n  'default?': ColumnDefaultSchema,\n}).narrow((col, ctx) => {\n  if (col.typeParams !== undefined && col.typeRef !== undefined) {\n    return ctx.mustBe('a column with either typeParams or typeRef, not both');\n  }\n  return true;\n});\n\nconst StorageTypeInstanceSchema = type.declare<StorageTypeInstance>().type({\n  codecId: 'string',\n  nativeType: 'string',\n  typeParams: 'Record<string, unknown>',\n});\n\nconst PrimaryKeySchema = type.declare<PrimaryKey>().type({\n  columns: type.string.array().readonly(),\n  'name?': 'string',\n});\n\nconst UniqueConstraintSchema = type.declare<UniqueConstraint>().type({\n  columns: type.string.array().readonly(),\n  'name?': 'string',\n});\n\nexport const IndexSchema = type({\n  columns: type.string.array().readonly(),\n  'name?': 'string',\n  'using?': 'string',\n  'config?': 'Record<string, unknown>',\n});\n\nexport const ForeignKeyReferencesSchema = type.declare<ForeignKeyReferences>().type({\n  table: 'string',\n  columns: type.string.array().readonly(),\n});\n\nexport const ReferentialActionSchema = type\n  .declare<ReferentialAction>()\n  .type(\"'noAction' | 'restrict' | 'cascade' | 'setNull' | 'setDefault'\");\n\nexport const ForeignKeySchema = type.declare<ForeignKey>().type({\n  columns: type.string.array().readonly(),\n  references: ForeignKeyReferencesSchema,\n  'name?': 'string',\n  'onDelete?': ReferentialActionSchema,\n  'onUpdate?': ReferentialActionSchema,\n  constraint: 'boolean',\n  index: 'boolean',\n});\n\nconst StorageTableSchema = type({\n  '+': 'reject',\n  columns: type({ '[string]': StorageColumnSchema }),\n  'primaryKey?': PrimaryKeySchema,\n  uniques: UniqueConstraintSchema.array().readonly(),\n  indexes: IndexSchema.array().readonly(),\n  foreignKeys: ForeignKeySchema.array().readonly(),\n});\n\nconst StorageSchema = type({\n  '+': 'reject',\n  tables: type({ '[string]': StorageTableSchema }),\n  'types?': type({ '[string]': StorageTypeInstanceSchema }),\n});\n\nconst ModelFieldSchema = type({\n  'nullable?': 'boolean',\n  'codecId?': 'string',\n});\n\nconst ModelStorageFieldSchema = type({\n  column: 'string',\n  'codecId?': 'string',\n  'nullable?': 'boolean',\n});\n\nconst ModelStorageSchema = type({\n  table: 'string',\n  fields: type({ '[string]': ModelStorageFieldSchema }),\n});\n\nconst ModelSchema = type({\n  storage: ModelStorageSchema,\n  'fields?': type({ '[string]': ModelFieldSchema }),\n  'relations?': type({ '[string]': 'unknown' }),\n  'discriminator?': 'unknown',\n  'variants?': 'unknown',\n  'base?': 'string',\n  'owner?': 'string',\n});\n\nconst ContractMetaSchema = type({\n  '[string]': 'unknown',\n});\n\nconst SqlContractSchema = type({\n  '+': 'reject',\n  'schemaVersion?': \"'1'\",\n  target: 'string',\n  targetFamily: \"'sql'\",\n  'coreHash?': 'string',\n  storageHash: 'string',\n  'executionHash?': 'string',\n  'profileHash?': 'string',\n  '_generated?': 'Record<string, unknown>',\n  'capabilities?': 'Record<string, Record<string, boolean>>',\n  'extensionPacks?': 'Record<string, unknown>',\n  'meta?': ContractMetaSchema,\n  'sources?': 'Record<string, unknown>',\n  'roots?': 'Record<string, string>',\n  models: type({ '[string]': ModelSchema }),\n  storage: StorageSchema,\n  'execution?': ExecutionSchema,\n});\n\n// NOTE: StorageColumnSchema, StorageTableSchema, and StorageSchema use bare type()\n// instead of type.declare<T>().type() because the ColumnDefault union's value field\n// includes bigint | Date (runtime-only types after decoding) which cannot be expressed\n// in Arktype's JSON validation DSL. The `as SqlStorage` cast in validateStorage() bridges\n// the gap between the JSON-safe Arktype output and the runtime TypeScript type.\n// See decodeContractDefaults() in validate.ts for the decoding step.\n\n/**\n * Validates the structural shape of SqlStorage using Arktype.\n *\n * @param value - The storage value to validate\n * @returns The validated storage if structure is valid\n * @throws Error if the storage structure is invalid\n */\nexport function validateStorage(value: unknown): SqlStorage {\n  const result = StorageSchema(value);\n  if (result instanceof type.errors) {\n    const messages = result.map((p: { message: string }) => p.message).join('; ');\n    throw new Error(`Storage validation failed: ${messages}`);\n  }\n  return result as SqlStorage;\n}\n\nexport function validateModel(value: unknown): unknown {\n  const result = ModelSchema(value);\n  if (result instanceof type.errors) {\n    const messages = result.map((p: { message: string }) => p.message).join('; ');\n    throw new Error(`Model validation failed: ${messages}`);\n  }\n  return result;\n}\n\n/**\n * Validates the structural shape of a SqlContract using Arktype.\n *\n * **Responsibility: Validation Only**\n * This function validates that the contract has the correct structure and types.\n * It does NOT normalize the contract - normalization must happen in the contract builder.\n *\n * The contract passed to this function must already be normalized (all required fields present).\n * If normalization is needed, it should be done by the contract builder before calling this function.\n *\n * This ensures all required fields are present and have the correct types.\n *\n * @param value - The contract value to validate (typically from a JSON import)\n * @returns The validated contract if structure is valid\n * @throws Error if the contract structure is invalid\n */\nexport function validateSqlContract<T extends SqlContract<SqlStorage>>(value: unknown): T {\n  if (typeof value !== 'object' || value === null) {\n    throw new Error('Contract structural validation failed: value must be an object');\n  }\n\n  // Check targetFamily first to provide a clear error message for unsupported target families\n  const rawValue = value as { targetFamily?: string };\n  if (rawValue.targetFamily !== undefined && rawValue.targetFamily !== 'sql') {\n    throw new Error(`Unsupported target family: ${rawValue.targetFamily}`);\n  }\n\n  const contractResult = SqlContractSchema(value);\n\n  if (contractResult instanceof type.errors) {\n    const messages = contractResult.map((p: { message: string }) => p.message).join('; ');\n    throw new Error(`Contract structural validation failed: ${messages}`);\n  }\n\n  // After validation, contractResult matches the schema and preserves the input structure\n  // TypeScript needs an assertion here due to exactOptionalPropertyTypes differences\n  // between Arktype's inferred type and the generic T, but runtime-wise they're compatible\n  return contractResult as T;\n}\n\n/**\n * Validates semantic constraints on SqlStorage that cannot be expressed in Arktype schemas.\n *\n * Returns an array of human-readable error strings. Empty array = valid.\n *\n * Currently checks:\n * - `setNull` referential action on a non-nullable FK column (would fail at runtime)\n * - `setDefault` referential action on a non-nullable FK column without a DEFAULT (would fail at runtime)\n */\nexport function validateStorageSemantics(storage: SqlStorage): string[] {\n  const errors: string[] = [];\n\n  for (const [tableName, table] of Object.entries(storage.tables)) {\n    for (const fk of table.foreignKeys) {\n      for (const colName of fk.columns) {\n        const column = table.columns[colName];\n        if (!column) continue;\n\n        if (fk.onDelete === 'setNull' && !column.nullable) {\n          errors.push(\n            `Table \"${tableName}\": onDelete setNull on foreign key column \"${colName}\" which is NOT NULL`,\n          );\n        }\n        if (fk.onUpdate === 'setNull' && !column.nullable) {\n          errors.push(\n            `Table \"${tableName}\": onUpdate setNull on foreign key column \"${colName}\" which is NOT NULL`,\n          );\n        }\n        if (fk.onDelete === 'setDefault' && !column.nullable && column.default === undefined) {\n          errors.push(\n            `Table \"${tableName}\": onDelete setDefault on foreign key column \"${colName}\" which is NOT NULL and has no DEFAULT`,\n          );\n        }\n        if (fk.onUpdate === 'setDefault' && !column.nullable && column.default === undefined) {\n          errors.push(\n            `Table \"${tableName}\": onUpdate setDefault on foreign key column \"${colName}\" which is NOT NULL and has no DEFAULT`,\n          );\n        }\n      }\n    }\n  }\n\n  return errors;\n}\n"],"mappings":";;;AAiBA,MAAM,oBAAoB,KAAK,YAAY;AAC3C,MAAM,qBAAqB,KAAK,aAAa;AAC7C,MAAM,sBAAsB,KAAK,cAAc;AAC/C,MAAM,oBAAoB,KAAK,SAAS,CAAC,QAAQ,OAAO,QAAQ;AAC9D,QAAO,8BAA8B,KAAK,MAAM,GAAG,OAAO,IAAI,OAAO,sBAAsB;EAC3F;AAEF,MAAa,6BAA6B,KAAK,SAA+B,CAAC,KAAK;CAClF,MAAM;CACN,OAAO;CACR,CAAC;AAEF,MAAa,8BAA8B,KAAK,SAAgC,CAAC,KAAK;CACpF,MAAM;CACN,YAAY;CACb,CAAC;AAEF,MAAa,sBAAsB,2BAA2B,GAAG,4BAA4B;AAE7F,MAAM,sCAAsC,KAAK;CAC/C,KAAK;CACL,MAAM;CACN,IAAI;CACJ,WAAW;CACZ,CAAC;AAEF,MAAM,iCAAiC,KAAK;CAC1C,KAAK;CACL,KAAK;EACH,KAAK;EACL,OAAO;EACP,QAAQ;EACT;CACD,aAAa;CACb,aAAa;CACd,CAAC;AAEF,MAAM,kBAAkB,KAAK;CAC3B,KAAK;CACL,WAAW;EACT,KAAK;EACL,UAAU,+BAA+B,OAAO,CAAC,UAAU;EAC5D;CACF,CAAC;AAEF,MAAM,sBAAsB,KAAK;CAC/B,KAAK;CACL,YAAY;CACZ,SAAS;CACT,UAAU;CACV,eAAe;CACf,YAAY;CACZ,YAAY;CACb,CAAC,CAAC,QAAQ,KAAK,QAAQ;AACtB,KAAI,IAAI,eAAe,UAAa,IAAI,YAAY,OAClD,QAAO,IAAI,OAAO,uDAAuD;AAE3E,QAAO;EACP;AAEF,MAAM,4BAA4B,KAAK,SAA8B,CAAC,KAAK;CACzE,SAAS;CACT,YAAY;CACZ,YAAY;CACb,CAAC;AAEF,MAAM,mBAAmB,KAAK,SAAqB,CAAC,KAAK;CACvD,SAAS,KAAK,OAAO,OAAO,CAAC,UAAU;CACvC,SAAS;CACV,CAAC;AAEF,MAAM,yBAAyB,KAAK,SAA2B,CAAC,KAAK;CACnE,SAAS,KAAK,OAAO,OAAO,CAAC,UAAU;CACvC,SAAS;CACV,CAAC;AAEF,MAAa,cAAc,KAAK;CAC9B,SAAS,KAAK,OAAO,OAAO,CAAC,UAAU;CACvC,SAAS;CACT,UAAU;CACV,WAAW;CACZ,CAAC;AAEF,MAAa,6BAA6B,KAAK,SAA+B,CAAC,KAAK;CAClF,OAAO;CACP,SAAS,KAAK,OAAO,OAAO,CAAC,UAAU;CACxC,CAAC;AAEF,MAAa,0BAA0B,KACpC,SAA4B,CAC5B,KAAK,iEAAiE;AAEzE,MAAa,mBAAmB,KAAK,SAAqB,CAAC,KAAK;CAC9D,SAAS,KAAK,OAAO,OAAO,CAAC,UAAU;CACvC,YAAY;CACZ,SAAS;CACT,aAAa;CACb,aAAa;CACb,YAAY;CACZ,OAAO;CACR,CAAC;AAEF,MAAM,qBAAqB,KAAK;CAC9B,KAAK;CACL,SAAS,KAAK,EAAE,YAAY,qBAAqB,CAAC;CAClD,eAAe;CACf,SAAS,uBAAuB,OAAO,CAAC,UAAU;CAClD,SAAS,YAAY,OAAO,CAAC,UAAU;CACvC,aAAa,iBAAiB,OAAO,CAAC,UAAU;CACjD,CAAC;AAEF,MAAM,gBAAgB,KAAK;CACzB,KAAK;CACL,QAAQ,KAAK,EAAE,YAAY,oBAAoB,CAAC;CAChD,UAAU,KAAK,EAAE,YAAY,2BAA2B,CAAC;CAC1D,CAAC;AAEF,MAAM,mBAAmB,KAAK;CAC5B,aAAa;CACb,YAAY;CACb,CAAC;AAEF,MAAM,0BAA0B,KAAK;CACnC,QAAQ;CACR,YAAY;CACZ,aAAa;CACd,CAAC;AAOF,MAAM,cAAc,KAAK;CACvB,SANyB,KAAK;EAC9B,OAAO;EACP,QAAQ,KAAK,EAAE,YAAY,yBAAyB,CAAC;EACtD,CAAC;CAIA,WAAW,KAAK,EAAE,YAAY,kBAAkB,CAAC;CACjD,cAAc,KAAK,EAAE,YAAY,WAAW,CAAC;CAC7C,kBAAkB;CAClB,aAAa;CACb,SAAS;CACT,UAAU;CACX,CAAC;AAEF,MAAM,qBAAqB,KAAK,EAC9B,YAAY,WACb,CAAC;AAEF,MAAM,oBAAoB,KAAK;CAC7B,KAAK;CACL,kBAAkB;CAClB,QAAQ;CACR,cAAc;CACd,aAAa;CACb,aAAa;CACb,kBAAkB;CAClB,gBAAgB;CAChB,eAAe;CACf,iBAAiB;CACjB,mBAAmB;CACnB,SAAS;CACT,YAAY;CACZ,UAAU;CACV,QAAQ,KAAK,EAAE,YAAY,aAAa,CAAC;CACzC,SAAS;CACT,cAAc;CACf,CAAC;;;;;;;;AAgBF,SAAgB,gBAAgB,OAA4B;CAC1D,MAAM,SAAS,cAAc,MAAM;AACnC,KAAI,kBAAkB,KAAK,QAAQ;EACjC,MAAM,WAAW,OAAO,KAAK,MAA2B,EAAE,QAAQ,CAAC,KAAK,KAAK;AAC7E,QAAM,IAAI,MAAM,8BAA8B,WAAW;;AAE3D,QAAO;;AAGT,SAAgB,cAAc,OAAyB;CACrD,MAAM,SAAS,YAAY,MAAM;AACjC,KAAI,kBAAkB,KAAK,QAAQ;EACjC,MAAM,WAAW,OAAO,KAAK,MAA2B,EAAE,QAAQ,CAAC,KAAK,KAAK;AAC7E,QAAM,IAAI,MAAM,4BAA4B,WAAW;;AAEzD,QAAO;;;;;;;;;;;;;;;;;;AAmBT,SAAgB,oBAAuD,OAAmB;AACxF,KAAI,OAAO,UAAU,YAAY,UAAU,KACzC,OAAM,IAAI,MAAM,iEAAiE;CAInF,MAAM,WAAW;AACjB,KAAI,SAAS,iBAAiB,UAAa,SAAS,iBAAiB,MACnE,OAAM,IAAI,MAAM,8BAA8B,SAAS,eAAe;CAGxE,MAAM,iBAAiB,kBAAkB,MAAM;AAE/C,KAAI,0BAA0B,KAAK,QAAQ;EACzC,MAAM,WAAW,eAAe,KAAK,MAA2B,EAAE,QAAQ,CAAC,KAAK,KAAK;AACrF,QAAM,IAAI,MAAM,0CAA0C,WAAW;;AAMvE,QAAO;;;;;;;;;;;AAYT,SAAgB,yBAAyB,SAA+B;CACtE,MAAMA,SAAmB,EAAE;AAE3B,MAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,QAAQ,OAAO,CAC7D,MAAK,MAAM,MAAM,MAAM,YACrB,MAAK,MAAM,WAAW,GAAG,SAAS;EAChC,MAAM,SAAS,MAAM,QAAQ;AAC7B,MAAI,CAAC,OAAQ;AAEb,MAAI,GAAG,aAAa,aAAa,CAAC,OAAO,SACvC,QAAO,KACL,UAAU,UAAU,6CAA6C,QAAQ,qBAC1E;AAEH,MAAI,GAAG,aAAa,aAAa,CAAC,OAAO,SACvC,QAAO,KACL,UAAU,UAAU,6CAA6C,QAAQ,qBAC1E;AAEH,MAAI,GAAG,aAAa,gBAAgB,CAAC,OAAO,YAAY,OAAO,YAAY,OACzE,QAAO,KACL,UAAU,UAAU,gDAAgD,QAAQ,wCAC7E;AAEH,MAAI,GAAG,aAAa,gBAAgB,CAAC,OAAO,YAAY,OAAO,YAAY,OACzE,QAAO,KACL,UAAU,UAAU,gDAAgD,QAAQ,wCAC7E;;AAMT,QAAO"}

package/dist/validators.d.mts

@@ -1,4 +1,4 @@
-import { A as SqlStorage, d as ForeignKeyReferences, l as ForeignKey, p as ModelDefinition, w as SqlContract, x as ReferentialAction } from "./types-CB821Pqa.mjs";
+import { E as SqlStorage, d as ForeignKeyReferences, l as ForeignKey, v as ReferentialAction, x as SqlContract } from "./types-D6K16_9R.mjs";
 import * as arktype_internal_variants_object_ts0 from "arktype/internal/variants/object.ts";
 import * as arktype_internal_variants_string_ts0 from "arktype/internal/variants/string.ts";
 
@@ -31,14 +31,7 @@ declare const ForeignKeySchema: arktype_internal_variants_object_ts0.ObjectType<
  * @throws Error if the storage structure is invalid
  */
 declare function validateStorage(value: unknown): SqlStorage;
-/**
- * Validates the structural shape of ModelDefinition using Arktype.
- *
- * @param value - The model value to validate
- * @returns The validated model if structure is valid
- * @throws Error if the model structure is invalid
- */
-declare function validateModel(value: unknown): ModelDefinition;
+declare function validateModel(value: unknown): unknown;
 /**
  * Validates the structural shape of a SqlContract using Arktype.
  *

package/dist/validators.d.mts.map

@@ -1 +1 @@
-{"version":3,"file":"validators.d.mts","names":[],"sources":["../src/validators.ts"],"sourcesContent":[],"mappings":";;;;;KAaK,oBAAA;;8CAEyC;;AAJ7B,KAMZ,qBAAA,GAJoB;EAIpB,SAAA,IAAA,EAAA,UAAqB;EAQb,SAAA,UAAA,EAAA,MAAA;AAKb,CAAA;AAKa,cAVA,0BAUgF,EAVtD,oCAAA,CAAA,UAUsD,CAVtD,oBAUsD,EAAA,CAAA,CAAA,CAAA;AAA7D,cALnB,2BAKmB,EALQ,oCAAA,CAAA,UAKR,CALQ,qBAKR,EAAA,CAAA,CAAA,CAAA;AAAA,cAAnB,mBAAmB,EAAA,oCAAA,CAAA,UAAA,CAAA,oBAAA,GAAA,qBAAA,EAAA,CAAA,CAAA,CAAA;AAAA,cA2DnB,WA3DmB,EAgE9B,oCAAA,CALsB,UA3DQ,CAAA;EAAA,OAAA,EAAA,SAAA,MAAA,EAAA;EA2DnB,IAAA,CAAA,EAAA,MAAA;EAOA,KAAA,CAAA,EAAA,MAAA;EAKA,MAAA,CAAA,EAPX,MAOW,CAAA,MAAA,EAAA,OAE4D,CAAA;AAEzE,CAAA,EAAA,CAAa,CAAA,CAAA;AAsGG,cA/GH,0BA+G8C,EA/GpB,oCAAA,CAAA,UA+GoB,CA/GpB,oBA+GoB,EAAA,CAAA,CAAA,CAAA;AAgB3C,cA1HH,uBA0HkC,EA1HX,oCAAA,CAAA,UA0H0B,CA1H1B,iBA0H0B,EAAA,CAAA,CAAA,CAAA;AAyB9C,cA/IH,gBA+IsB,EA/IN,oCAAA,CAAA,UA+IM,CA/IN,UA+IM,EAAA,CAAA,CAAA,CAAA;;;;;AAiCnC;;;iBA1EgB,eAAA,kBAAiC;;;;;;;;iBAgBjC,aAAA,kBAA+B;;;;;;;;;;;;;;;;;iBAyB/B,8BAA8B,YAAY,8BAA8B;;;;;;;;;;iBAiCxE,wBAAA,UAAkC"}
+{"version":3,"file":"validators.d.mts","names":[],"sources":["../src/validators.ts"],"sourcesContent":[],"mappings":";;;;;KAYK,oBAAA;;8CAEyC;;AAJ7B,KAMZ,qBAAA,GAJoB;EAIpB,SAAA,IAAA,EAAA,UAAqB;EAQb,SAAA,UAAA,EAAA,MAAA;AAKb,CAAA;AAKa,cAVA,0BAUgF,EAVtD,oCAAA,CAAA,UAUsD,CAVtD,oBAUsD,EAAA,CAAA,CAAA,CAAA;AAA7D,cALnB,2BAKmB,EALQ,oCAAA,CAAA,UAKR,CALQ,qBAKR,EAAA,CAAA,CAAA,CAAA;AAAA,cAAnB,mBAAmB,EAAA,oCAAA,CAAA,UAAA,CAAA,oBAAA,GAAA,qBAAA,EAAA,CAAA,CAAA,CAAA;AAAA,cA2DnB,WA3DmB,EAgE9B,oCAAA,CALsB,UA3DQ,CAAA;EAAA,OAAA,EAAA,SAAA,MAAA,EAAA;EA2DnB,IAAA,CAAA,EAAA,MAAA;EAOA,KAAA,CAAA,EAAA,MAAA;EAKA,MAAA,CAAA,EAPX,MAOW,CAAA,MAAA,EAAA,OAE4D,CAAA;AAEzE,CAAA,EAAA,CAAa,CAAA,CAAA;AAyFG,cAlGH,0BAkG8C,EAlGpB,oCAAA,CAAA,UAkGoB,CAlGpB,oBAkGoB,EAAA,CAAA,CAAA,CAAA;AAS3C,cAtGH,uBAsGgB,EAtGO,oCAAA,CAAA,UAsGP,CAtGO,iBAsGP,EAAA,CAAA,CAAA,CAAA;AAyBb,cA3HH,gBA2HsB,EA3HN,oCAAA,CAAA,UA2HM,CA3HN,UA2HM,EAAA,CAAA,CAAA,CAAA;;;;;AAiCnC;;;iBAnEgB,eAAA,kBAAiC;iBASjC,aAAA;;;;;;;;;;;;;;;;;iBAyBA,8BAA8B,YAAY,8BAA8B;;;;;;;;;;iBAiCxE,wBAAA,UAAkC"}

package/dist/validators.mjs

@@ -1,3 +1,3 @@
-import { a as ForeignKeySchema, c as validateModel, d as validateStorageSemantics, i as ForeignKeyReferencesSchema, l as validateSqlContract, n as ColumnDefaultLiteralSchema, o as IndexSchema, r as ColumnDefaultSchema, s as ReferentialActionSchema, t as ColumnDefaultFunctionSchema, u as validateStorage } from "./validators-CNxeypbZ.mjs";
+import { a as ForeignKeySchema, c as validateModel, d as validateStorageSemantics, i as ForeignKeyReferencesSchema, l as validateSqlContract, n as ColumnDefaultLiteralSchema, o as IndexSchema, r as ColumnDefaultSchema, s as ReferentialActionSchema, t as ColumnDefaultFunctionSchema, u as validateStorage } from "./validators-_1sYf-29.mjs";
 
 export { ColumnDefaultFunctionSchema, ColumnDefaultLiteralSchema, ColumnDefaultSchema, ForeignKeyReferencesSchema, ForeignKeySchema, IndexSchema, ReferentialActionSchema, validateModel, validateSqlContract, validateStorage, validateStorageSemantics };