@prisma-next/sql-contract 0.3.0-dev.40 → 0.3.0-dev.41
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/validate.d.mts +5 -2
- package/dist/validate.d.mts.map +1 -1
- package/dist/validate.mjs +67 -4
- package/dist/validate.mjs.map +1 -1
- package/dist/{validators-Dfw5_HSi.mjs → validators-DG6QQnb9.mjs} +4 -4
- package/dist/validators-DG6QQnb9.mjs.map +1 -0
- package/dist/validators.d.mts +1 -1
- package/dist/validators.d.mts.map +1 -1
- package/dist/validators.mjs +1 -1
- package/package.json +4 -4
- package/src/exports/validate.ts +6 -1
- package/src/validate.ts +111 -3
- package/src/validators.ts +15 -6
- package/dist/validators-Dfw5_HSi.mjs.map +0 -1
package/dist/validate.d.mts
CHANGED
|
@@ -1,8 +1,11 @@
|
|
|
1
|
-
import { f as SqlContract, m as SqlStorage } from "./types-DTFobApb.mjs";
|
|
1
|
+
import { f as SqlContract, h as StorageColumn, m as SqlStorage } from "./types-DTFobApb.mjs";
|
|
2
|
+
import "@prisma-next/contract/types";
|
|
2
3
|
|
|
3
4
|
//#region src/validate.d.ts
|
|
5
|
+
declare function isBigIntColumn(column: StorageColumn): boolean;
|
|
6
|
+
declare function decodeContractDefaults<T extends SqlContract<SqlStorage>>(contract: T): T;
|
|
4
7
|
declare function normalizeContract(contract: unknown): SqlContract<SqlStorage>;
|
|
5
8
|
declare function validateContract<TContract extends SqlContract<SqlStorage>>(value: unknown): TContract;
|
|
6
9
|
//#endregion
|
|
7
|
-
export { normalizeContract, validateContract };
|
|
10
|
+
export { decodeContractDefaults, isBigIntColumn, normalizeContract, validateContract };
|
|
8
11
|
//# sourceMappingURL=validate.d.mts.map
|
package/dist/validate.d.mts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"validate.d.mts","names":[],"sources":["../src/validate.ts"],"sourcesContent":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"validate.d.mts","names":[],"sources":["../src/validate.ts"],"sourcesContent":[],"mappings":";;;;iBA6PgB,cAAA,SAAuB;AAAvB,iBAkCA,sBAlCuB,CAAa,UAkCH,WAlCG,CAkCS,UAlCT,CAAA,CAAA,CAAA,QAAA,EAkCgC,CAlChC,CAAA,EAkCoC,CAlCpC;AAkCpC,iBAqDA,iBAAA,CArDsB,QAAA,EAAA,OAAA,CAAA,EAqDgB,WArDhB,CAqD4B,UArD5B,CAAA;AAAuB,iBAwI7C,gBAxI6C,CAAA,kBAwIV,WAxIU,CAwIE,UAxIF,CAAA,CAAA,CAAA,KAAA,EAAA,OAAA,CAAA,EA0I1D,SA1I0D"}
|
package/dist/validate.mjs
CHANGED
|
@@ -1,5 +1,6 @@
|
|
|
1
1
|
import { r as applyFkDefaults } from "./types-kacOgEya.mjs";
|
|
2
|
-
import { a as validateSqlContract } from "./validators-
|
|
2
|
+
import { a as validateSqlContract } from "./validators-DG6QQnb9.mjs";
|
|
3
|
+
import { isTaggedBigInt, isTaggedRaw } from "@prisma-next/contract/types";
|
|
3
4
|
|
|
4
5
|
//#region src/validate.ts
|
|
5
6
|
function computeDefaultMappings(models) {
|
|
@@ -86,6 +87,7 @@ function validateContractLogic(contract) {
|
|
|
86
87
|
}
|
|
87
88
|
for (const unique of table.uniques) for (const colName of unique.columns) if (!columnNames.has(colName)) throw new Error(`Table "${tableName}" unique constraint references non-existent column "${colName}"`);
|
|
88
89
|
for (const index of table.indexes) for (const colName of index.columns) if (!columnNames.has(colName)) throw new Error(`Table "${tableName}" index references non-existent column "${colName}"`);
|
|
90
|
+
for (const [colName, column] of Object.entries(table.columns)) if (!column.nullable && column.default?.kind === "literal" && column.default.value === null) throw new Error(`Table "${tableName}" column "${colName}" is NOT NULL but has a literal null default`);
|
|
89
91
|
for (const fk of table.foreignKeys) {
|
|
90
92
|
for (const colName of fk.columns) if (!columnNames.has(colName)) throw new Error(`Table "${tableName}" foreignKey references non-existent column "${colName}"`);
|
|
91
93
|
if (!tableNames.has(fk.references.table)) throw new Error(`Table "${tableName}" foreignKey references non-existent table "${fk.references.table}"`);
|
|
@@ -96,6 +98,67 @@ function validateContractLogic(contract) {
|
|
|
96
98
|
}
|
|
97
99
|
}
|
|
98
100
|
}
|
|
101
|
+
const BIGINT_NATIVE_TYPES = new Set(["bigint", "int8"]);
|
|
102
|
+
function isBigIntColumn(column) {
|
|
103
|
+
const nativeType = column.nativeType?.toLowerCase() ?? "";
|
|
104
|
+
if (BIGINT_NATIVE_TYPES.has(nativeType)) return true;
|
|
105
|
+
const codecId = column.codecId?.toLowerCase() ?? "";
|
|
106
|
+
return codecId.includes("int8") || codecId.includes("bigint");
|
|
107
|
+
}
|
|
108
|
+
function decodeDefaultLiteralValue(value, column, tableName, columnName) {
|
|
109
|
+
if (value instanceof Date) return value;
|
|
110
|
+
if (isTaggedRaw(value)) return value.value;
|
|
111
|
+
if (isTaggedBigInt(value)) {
|
|
112
|
+
if (!isBigIntColumn(column)) return value;
|
|
113
|
+
try {
|
|
114
|
+
return BigInt(value.value);
|
|
115
|
+
} catch {
|
|
116
|
+
throw new Error(`Invalid tagged bigint for default value on "${tableName}.${columnName}": "${value.value}" is not a valid integer`);
|
|
117
|
+
}
|
|
118
|
+
}
|
|
119
|
+
return value;
|
|
120
|
+
}
|
|
121
|
+
function decodeContractDefaults(contract) {
|
|
122
|
+
const tables = contract.storage.tables;
|
|
123
|
+
let tablesChanged = false;
|
|
124
|
+
const decodedTables = {};
|
|
125
|
+
for (const [tableName, table] of Object.entries(tables)) {
|
|
126
|
+
let columnsChanged = false;
|
|
127
|
+
const decodedColumns = {};
|
|
128
|
+
for (const [columnName, column] of Object.entries(table.columns)) {
|
|
129
|
+
if (column.default?.kind === "literal") {
|
|
130
|
+
const decodedValue = decodeDefaultLiteralValue(column.default.value, column, tableName, columnName);
|
|
131
|
+
if (decodedValue !== column.default.value) {
|
|
132
|
+
columnsChanged = true;
|
|
133
|
+
decodedColumns[columnName] = {
|
|
134
|
+
...column,
|
|
135
|
+
default: {
|
|
136
|
+
kind: "literal",
|
|
137
|
+
value: decodedValue
|
|
138
|
+
}
|
|
139
|
+
};
|
|
140
|
+
continue;
|
|
141
|
+
}
|
|
142
|
+
}
|
|
143
|
+
decodedColumns[columnName] = column;
|
|
144
|
+
}
|
|
145
|
+
if (columnsChanged) {
|
|
146
|
+
tablesChanged = true;
|
|
147
|
+
decodedTables[tableName] = {
|
|
148
|
+
...table,
|
|
149
|
+
columns: decodedColumns
|
|
150
|
+
};
|
|
151
|
+
} else decodedTables[tableName] = table;
|
|
152
|
+
}
|
|
153
|
+
if (!tablesChanged) return contract;
|
|
154
|
+
return {
|
|
155
|
+
...contract,
|
|
156
|
+
storage: {
|
|
157
|
+
...contract.storage,
|
|
158
|
+
tables: decodedTables
|
|
159
|
+
}
|
|
160
|
+
};
|
|
161
|
+
}
|
|
99
162
|
function normalizeContract(contract) {
|
|
100
163
|
if (typeof contract !== "object" || contract === null) return contract;
|
|
101
164
|
const contractObj = contract;
|
|
@@ -168,12 +231,12 @@ function validateContract(value) {
|
|
|
168
231
|
validateContractLogic(structurallyValid);
|
|
169
232
|
const existingMappings = structurallyValid.mappings;
|
|
170
233
|
const mappings = mergeMappings(computeDefaultMappings(structurallyValid.models), existingMappings);
|
|
171
|
-
return {
|
|
234
|
+
return decodeContractDefaults({
|
|
172
235
|
...structurallyValid,
|
|
173
236
|
mappings
|
|
174
|
-
};
|
|
237
|
+
});
|
|
175
238
|
}
|
|
176
239
|
|
|
177
240
|
//#endregion
|
|
178
|
-
export { normalizeContract, validateContract };
|
|
241
|
+
export { decodeContractDefaults, isBigIntColumn, normalizeContract, validateContract };
|
|
179
242
|
//# sourceMappingURL=validate.mjs.map
|
package/dist/validate.mjs.map
CHANGED
|
@@ -1 +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>","normalizedTables: Record<string, unknown>","normalizedColumns: Record<string, unknown>","normalizedModelsObj: Record<string, unknown>"],"sources":["../src/validate.ts"],"sourcesContent":["import type { ModelDefinition, SqlContract, SqlMappings, SqlStorage } from './types';\nimport { applyFkDefaults } from './types';\nimport { validateSqlContract } from './validators';\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 codecTypes: Record<string, { readonly output: unknown }>;\n operationTypes: Record<string, Record<string, unknown>>;\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 codecTypes: {},\n operationTypes: {},\n };\n}\n\nfunction assertInverseModelMappings(\n modelToTable: Record<string, string>,\n tableToModel: Record<string, string>,\n) {\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) {\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 codecTypes: { ...defaults.codecTypes, ...(existingMappings?.codecTypes ?? {}) },\n operationTypes: { ...defaults.operationTypes, ...(existingMappings?.operationTypes ?? {}) },\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 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\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\n let normalizedStorage = contractObj['storage'];\n if (normalizedStorage && typeof normalizedStorage === 'object' && normalizedStorage !== null) {\n const storage = normalizedStorage as Record<string, unknown>;\n const tables = storage['tables'] as Record<string, unknown> | undefined;\n\n if (tables) {\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 // Normalize foreign keys: add constraint/index defaults if missing\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 normalizedStorage = {\n ...storage,\n tables: normalizedTables,\n };\n }\n }\n\n let normalizedModels = contractObj['models'];\n if (normalizedModels && typeof normalizedModels === 'object' && normalizedModels !== null) {\n const models = normalizedModels as Record<string, unknown>;\n const normalizedModelsObj: Record<string, unknown> = {};\n for (const [modelName, model] of Object.entries(models)) {\n const modelObj = model as Record<string, unknown>;\n normalizedModelsObj[modelName] = {\n ...modelObj,\n relations: modelObj['relations'] ?? {},\n };\n }\n normalizedModels = normalizedModelsObj;\n }\n\n return {\n ...contractObj,\n models: normalizedModels,\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\nexport function validateContract<TContract extends SqlContract<SqlStorage>>(\n value: unknown,\n): TContract {\n const normalized = normalizeContract(value);\n const structurallyValid = validateSqlContract<SqlContract<SqlStorage>>(normalized);\n validateContractLogic(structurallyValid);\n\n const existingMappings = (structurallyValid as { mappings?: Partial<SqlMappings> }).mappings;\n const defaultMappings = computeDefaultMappings(\n structurallyValid.models as Record<string, ModelDefinition>,\n );\n const mappings = mergeMappings(defaultMappings, existingMappings);\n\n return {\n ...structurallyValid,\n mappings,\n } as TContract;\n}\n"],"mappings":";;;;AAaA,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;EACA,YAAY,EAAE;EACd,gBAAgB,EAAE;EACnB;;AAGH,SAAS,2BACP,cACA,cACA;AACA,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,cACA;AACA,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;EACA,YAAY;GAAE,GAAG,SAAS;GAAY,GAAI,kBAAkB,cAAc,EAAE;GAAG;EAC/E,gBAAgB;GAAE,GAAG,SAAS;GAAgB,GAAI,kBAAkB,kBAAkB,EAAE;GAAG;EAC5F;;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,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,SAAgB,kBAAkB,UAA4C;AAC5E,KAAI,OAAO,aAAa,YAAY,aAAa,KAC/C,QAAO;CAGT,MAAM,cAAc;CAEpB,IAAI,oBAAoB,YAAY;AACpC,KAAI,qBAAqB,OAAO,sBAAsB,YAAY,sBAAsB,MAAM;EAC5F,MAAM,UAAU;EAChB,MAAM,SAAS,QAAQ;AAEvB,MAAI,QAAQ;GACV,MAAME,mBAA4C,EAAE;AACpD,QAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;IACvD,MAAM,WAAW;IACjB,MAAM,UAAU,SAAS;AAEzB,QAAI,SAAS;KACX,MAAMC,oBAA6C,EAAE;AACrD,UAAK,MAAM,CAAC,YAAY,WAAW,OAAO,QAAQ,QAAQ,EAAE;MAC1D,MAAM,YAAY;AAClB,wBAAkB,cAAc;OAC9B,GAAG;OACH,UAAU,UAAU,eAAe;OACpC;;KAKH,MAAM,yBADkB,SAAS,kBAAkB,EAAE,EACR,KAAK,QAAQ;MACxD,GAAG;MACH,GAAG,gBAAgB;OACjB,YAAY,OAAO,GAAG,kBAAkB,YAAY,GAAG,gBAAgB;OACvE,OAAO,OAAO,GAAG,aAAa,YAAY,GAAG,WAAW;OACzD,CAAC;MACH,EAAE;AAEH,sBAAiB,aAAa;MAC5B,GAAG;MACH,SAAS;MACT,SAAS,SAAS,cAAc,EAAE;MAClC,SAAS,SAAS,cAAc,EAAE;MAClC,aAAa;MACd;UAED,kBAAiB,aAAa;;AAIlC,uBAAoB;IAClB,GAAG;IACH,QAAQ;IACT;;;CAIL,IAAI,mBAAmB,YAAY;AACnC,KAAI,oBAAoB,OAAO,qBAAqB,YAAY,qBAAqB,MAAM;EACzF,MAAM,SAAS;EACf,MAAMC,sBAA+C,EAAE;AACvD,OAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;GACvD,MAAM,WAAW;AACjB,uBAAoB,aAAa;IAC/B,GAAG;IACH,WAAW,SAAS,gBAAgB,EAAE;IACvC;;AAEH,qBAAmB;;AAGrB,QAAO;EACL,GAAG;EACH,QAAQ;EACR,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;;AAGH,SAAgB,iBACd,OACW;CAEX,MAAM,oBAAoB,oBADP,kBAAkB,MAAM,CACuC;AAClF,uBAAsB,kBAAkB;CAExC,MAAM,mBAAoB,kBAA0D;CAIpF,MAAM,WAAW,cAHO,uBACtB,kBAAkB,OACnB,EAC+C,iBAAiB;AAEjE,QAAO;EACL,GAAG;EACH;EACD"}
|
|
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>","normalizedModelsObj: Record<string, unknown>"],"sources":["../src/validate.ts"],"sourcesContent":["import type { ColumnDefaultLiteralInputValue } from '@prisma-next/contract/types';\nimport { isTaggedBigInt, isTaggedRaw } from '@prisma-next/contract/types';\nimport type {\n ModelDefinition,\n SqlContract,\n SqlMappings,\n SqlStorage,\n StorageColumn,\n StorageTable,\n} from './types';\nimport { applyFkDefaults } from './types';\nimport { validateSqlContract } from './validators';\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 codecTypes: Record<string, { readonly output: unknown }>;\n operationTypes: Record<string, Record<string, unknown>>;\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 codecTypes: {},\n operationTypes: {},\n };\n}\n\nfunction assertInverseModelMappings(\n modelToTable: Record<string, string>,\n tableToModel: Record<string, string>,\n) {\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) {\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 codecTypes: { ...defaults.codecTypes, ...(existingMappings?.codecTypes ?? {}) },\n operationTypes: { ...defaults.operationTypes, ...(existingMappings?.operationTypes ?? {}) },\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\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\n let normalizedStorage = contractObj['storage'];\n if (normalizedStorage && typeof normalizedStorage === 'object' && normalizedStorage !== null) {\n const storage = normalizedStorage as Record<string, unknown>;\n const tables = storage['tables'] as Record<string, unknown> | undefined;\n\n if (tables) {\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 // Normalize foreign keys: add constraint/index defaults if missing\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 normalizedStorage = {\n ...storage,\n tables: normalizedTables,\n };\n }\n }\n\n let normalizedModels = contractObj['models'];\n if (normalizedModels && typeof normalizedModels === 'object' && normalizedModels !== null) {\n const models = normalizedModels as Record<string, unknown>;\n const normalizedModelsObj: Record<string, unknown> = {};\n for (const [modelName, model] of Object.entries(models)) {\n const modelObj = model as Record<string, unknown>;\n normalizedModelsObj[modelName] = {\n ...modelObj,\n relations: modelObj['relations'] ?? {},\n };\n }\n normalizedModels = normalizedModelsObj;\n }\n\n return {\n ...contractObj,\n models: normalizedModels,\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\nexport function validateContract<TContract extends SqlContract<SqlStorage>>(\n value: unknown,\n): TContract {\n const normalized = normalizeContract(value);\n const structurallyValid = validateSqlContract<SqlContract<SqlStorage>>(normalized);\n validateContractLogic(structurallyValid);\n\n const existingMappings = (structurallyValid as { mappings?: Partial<SqlMappings> }).mappings;\n const defaultMappings = computeDefaultMappings(\n structurallyValid.models as Record<string, ModelDefinition>,\n );\n const mappings = mergeMappings(defaultMappings, existingMappings);\n\n const contractWithMappings = {\n ...structurallyValid,\n mappings,\n };\n\n return decodeContractDefaults(contractWithMappings) as TContract;\n}\n"],"mappings":";;;;;AAsBA,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;EACA,YAAY,EAAE;EACd,gBAAgB,EAAE;EACnB;;AAGH,SAAS,2BACP,cACA,cACA;AACA,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,cACA;AACA,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;EACA,YAAY;GAAE,GAAG,SAAS;GAAY,GAAI,kBAAkB,cAAc,EAAE;GAAG;EAC/E,gBAAgB;GAAE,GAAG,SAAS;GAAgB,GAAI,kBAAkB,kBAAkB,EAAE;GAAG;EAC5F;;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,SAAgB,kBAAkB,UAA4C;AAC5E,KAAI,OAAO,aAAa,YAAY,aAAa,KAC/C,QAAO;CAGT,MAAM,cAAc;CAEpB,IAAI,oBAAoB,YAAY;AACpC,KAAI,qBAAqB,OAAO,sBAAsB,YAAY,sBAAsB,MAAM;EAC5F,MAAM,UAAU;EAChB,MAAM,SAAS,QAAQ;AAEvB,MAAI,QAAQ;GACV,MAAMC,mBAA4C,EAAE;AACpD,QAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;IACvD,MAAM,WAAW;IACjB,MAAM,UAAU,SAAS;AAEzB,QAAI,SAAS;KACX,MAAMC,oBAA6C,EAAE;AACrD,UAAK,MAAM,CAAC,YAAY,WAAW,OAAO,QAAQ,QAAQ,EAAE;MAC1D,MAAM,YAAY;AAClB,wBAAkB,cAAc;OAC9B,GAAG;OACH,UAAU,UAAU,eAAe;OACpC;;KAKH,MAAM,yBADkB,SAAS,kBAAkB,EAAE,EACR,KAAK,QAAQ;MACxD,GAAG;MACH,GAAG,gBAAgB;OACjB,YAAY,OAAO,GAAG,kBAAkB,YAAY,GAAG,gBAAgB;OACvE,OAAO,OAAO,GAAG,aAAa,YAAY,GAAG,WAAW;OACzD,CAAC;MACH,EAAE;AAEH,sBAAiB,aAAa;MAC5B,GAAG;MACH,SAAS;MACT,SAAS,SAAS,cAAc,EAAE;MAClC,SAAS,SAAS,cAAc,EAAE;MAClC,aAAa;MACd;UAED,kBAAiB,aAAa;;AAIlC,uBAAoB;IAClB,GAAG;IACH,QAAQ;IACT;;;CAIL,IAAI,mBAAmB,YAAY;AACnC,KAAI,oBAAoB,OAAO,qBAAqB,YAAY,qBAAqB,MAAM;EACzF,MAAM,SAAS;EACf,MAAMC,sBAA+C,EAAE;AACvD,OAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,OAAO,EAAE;GACvD,MAAM,WAAW;AACjB,uBAAoB,aAAa;IAC/B,GAAG;IACH,WAAW,SAAS,gBAAgB,EAAE;IACvC;;AAEH,qBAAmB;;AAGrB,QAAO;EACL,GAAG;EACH,QAAQ;EACR,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;;AAGH,SAAgB,iBACd,OACW;CAEX,MAAM,oBAAoB,oBADP,kBAAkB,MAAM,CACuC;AAClF,uBAAsB,kBAAkB;CAExC,MAAM,mBAAoB,kBAA0D;CAIpF,MAAM,WAAW,cAHO,uBACtB,kBAAkB,OACnB,EAC+C,iBAAiB;AAOjE,QAAO,uBALsB;EAC3B,GAAG;EACH;EACD,CAEkD"}
|
|
@@ -7,7 +7,7 @@ const generatorKindSchema = type("'generator'");
|
|
|
7
7
|
const generatorIdSchema = type("'ulid' | 'nanoid' | 'uuidv7' | 'uuidv4' | 'cuid2' | 'ksuid'");
|
|
8
8
|
const ColumnDefaultLiteralSchema = type.declare().type({
|
|
9
9
|
kind: literalKindSchema,
|
|
10
|
-
|
|
10
|
+
value: "string | number | boolean | null | unknown[] | Record<string, unknown>"
|
|
11
11
|
});
|
|
12
12
|
const ColumnDefaultFunctionSchema = type.declare().type({
|
|
13
13
|
kind: functionKindSchema,
|
|
@@ -66,14 +66,14 @@ const ForeignKeySchema = type.declare().type({
|
|
|
66
66
|
constraint: "boolean",
|
|
67
67
|
index: "boolean"
|
|
68
68
|
});
|
|
69
|
-
const StorageTableSchema = type
|
|
69
|
+
const StorageTableSchema = type({
|
|
70
70
|
columns: type({ "[string]": StorageColumnSchema }),
|
|
71
71
|
"primaryKey?": PrimaryKeySchema,
|
|
72
72
|
uniques: UniqueConstraintSchema.array().readonly(),
|
|
73
73
|
indexes: IndexSchema.array().readonly(),
|
|
74
74
|
foreignKeys: ForeignKeySchema.array().readonly()
|
|
75
75
|
});
|
|
76
|
-
const StorageSchema = type
|
|
76
|
+
const StorageSchema = type({
|
|
77
77
|
tables: type({ "[string]": StorageTableSchema }),
|
|
78
78
|
"types?": type({ "[string]": StorageTypeInstanceSchema })
|
|
79
79
|
});
|
|
@@ -159,4 +159,4 @@ function validateSqlContract(value) {
|
|
|
159
159
|
|
|
160
160
|
//#endregion
|
|
161
161
|
export { validateSqlContract as a, validateModel as i, ColumnDefaultLiteralSchema as n, validateStorage as o, ColumnDefaultSchema as r, ColumnDefaultFunctionSchema as t };
|
|
162
|
-
//# sourceMappingURL=validators-
|
|
162
|
+
//# sourceMappingURL=validators-DG6QQnb9.mjs.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"validators-DG6QQnb9.mjs","names":[],"sources":["../src/validators.ts"],"sourcesContent":["import { type } from 'arktype';\nimport type {\n ForeignKey,\n ForeignKeyReferences,\n Index,\n ModelDefinition,\n ModelField,\n ModelStorage,\n PrimaryKey,\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(\"'ulid' | 'nanoid' | 'uuidv7' | 'uuidv4' | 'cuid2' | 'ksuid'\");\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 kind: generatorKindSchema,\n id: generatorIdSchema,\n 'params?': 'Record<string, unknown>',\n});\n\nconst ExecutionMutationDefaultSchema = type({\n ref: {\n table: 'string',\n column: 'string',\n },\n 'onCreate?': ExecutionMutationDefaultValueSchema,\n 'onUpdate?': ExecutionMutationDefaultValueSchema,\n});\n\nconst ExecutionSchema = type({\n mutations: {\n defaults: ExecutionMutationDefaultSchema.array().readonly(),\n },\n});\n\nconst StorageColumnSchema = type({\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\nconst IndexSchema = type.declare<Index>().type({\n columns: type.string.array().readonly(),\n 'name?': 'string',\n});\n\nconst ForeignKeyReferencesSchema = type.declare<ForeignKeyReferences>().type({\n table: 'string',\n columns: type.string.array().readonly(),\n});\n\nconst ForeignKeySchema = type.declare<ForeignKey>().type({\n columns: type.string.array().readonly(),\n references: ForeignKeyReferencesSchema,\n 'name?': 'string',\n constraint: 'boolean',\n index: 'boolean',\n});\n\nconst StorageTableSchema = type({\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 tables: type({ '[string]': StorageTableSchema }),\n 'types?': type({ '[string]': StorageTypeInstanceSchema }),\n});\n\nconst ModelFieldSchema = type.declare<ModelField>().type({\n column: 'string',\n});\n\nconst ModelStorageSchema = type.declare<ModelStorage>().type({\n table: 'string',\n});\n\nconst ModelSchema = type.declare<ModelDefinition>().type({\n storage: ModelStorageSchema,\n fields: type({ '[string]': ModelFieldSchema }),\n relations: type({ '[string]': 'unknown' }),\n});\n\nconst SqlContractSchema = type({\n 'schemaVersion?': \"'1'\",\n target: 'string',\n targetFamily: \"'sql'\",\n storageHash: 'string',\n 'executionHash?': 'string',\n 'profileHash?': 'string',\n 'capabilities?': 'Record<string, Record<string, boolean>>',\n 'extensionPacks?': 'Record<string, unknown>',\n 'meta?': 'Record<string, unknown>',\n 'sources?': 'Record<string, unknown>',\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\n/**\n * Validates the structural shape of ModelDefinition using Arktype.\n *\n * @param value - The model value to validate\n * @returns The validated model if structure is valid\n * @throws Error if the model structure is invalid\n */\nexport function validateModel(value: unknown): ModelDefinition {\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"],"mappings":";;;AAoBA,MAAM,oBAAoB,KAAK,YAAY;AAC3C,MAAM,qBAAqB,KAAK,aAAa;AAC7C,MAAM,sBAAsB,KAAK,cAAc;AAC/C,MAAM,oBAAoB,KAAK,8DAA8D;AAE7F,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,MAAM;CACN,IAAI;CACJ,WAAW;CACZ,CAAC;AAWF,MAAM,kBAAkB,KAAK,EAC3B,WAAW,EACT,UAXmC,KAAK;CAC1C,KAAK;EACH,OAAO;EACP,QAAQ;EACT;CACD,aAAa;CACb,aAAa;CACd,CAAC,CAI2C,OAAO,CAAC,UAAU,EAC5D,EACF,CAAC;AAEF,MAAM,sBAAsB,KAAK;CAC/B,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,MAAM,cAAc,KAAK,SAAgB,CAAC,KAAK;CAC7C,SAAS,KAAK,OAAO,OAAO,CAAC,UAAU;CACvC,SAAS;CACV,CAAC;AAEF,MAAM,6BAA6B,KAAK,SAA+B,CAAC,KAAK;CAC3E,OAAO;CACP,SAAS,KAAK,OAAO,OAAO,CAAC,UAAU;CACxC,CAAC;AAEF,MAAM,mBAAmB,KAAK,SAAqB,CAAC,KAAK;CACvD,SAAS,KAAK,OAAO,OAAO,CAAC,UAAU;CACvC,YAAY;CACZ,SAAS;CACT,YAAY;CACZ,OAAO;CACR,CAAC;AAEF,MAAM,qBAAqB,KAAK;CAC9B,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,QAAQ,KAAK,EAAE,YAAY,oBAAoB,CAAC;CAChD,UAAU,KAAK,EAAE,YAAY,2BAA2B,CAAC;CAC1D,CAAC;AAEF,MAAM,mBAAmB,KAAK,SAAqB,CAAC,KAAK,EACvD,QAAQ,UACT,CAAC;AAEF,MAAM,qBAAqB,KAAK,SAAuB,CAAC,KAAK,EAC3D,OAAO,UACR,CAAC;AAEF,MAAM,cAAc,KAAK,SAA0B,CAAC,KAAK;CACvD,SAAS;CACT,QAAQ,KAAK,EAAE,YAAY,kBAAkB,CAAC;CAC9C,WAAW,KAAK,EAAE,YAAY,WAAW,CAAC;CAC3C,CAAC;AAEF,MAAM,oBAAoB,KAAK;CAC7B,kBAAkB;CAClB,QAAQ;CACR,cAAc;CACd,aAAa;CACb,kBAAkB;CAClB,gBAAgB;CAChB,iBAAiB;CACjB,mBAAmB;CACnB,SAAS;CACT,YAAY;CACZ,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;;;;;;;;;AAUT,SAAgB,cAAc,OAAiC;CAC7D,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"}
|
package/dist/validators.d.mts
CHANGED
|
@@ -4,7 +4,7 @@ import * as arktype_internal_variants_object_ts0 from "arktype/internal/variants
|
|
|
4
4
|
//#region src/validators.d.ts
|
|
5
5
|
type ColumnDefaultLiteral = {
|
|
6
6
|
readonly kind: 'literal';
|
|
7
|
-
readonly
|
|
7
|
+
readonly value: string | number | boolean | Record<string, unknown> | unknown[] | null;
|
|
8
8
|
};
|
|
9
9
|
type ColumnDefaultFunction = {
|
|
10
10
|
readonly kind: 'function';
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"validators.d.mts","names":[],"sources":["../src/validators.ts"],"sourcesContent":[],"mappings":";;;;
|
|
1
|
+
{"version":3,"file":"validators.d.mts","names":[],"sources":["../src/validators.ts"],"sourcesContent":[],"mappings":";;;;KAeK,oBAAA;;8CAEyC;AAJ7B,CAAA;AAImC,KAE/C,qBAAA,GAAqB;EAMb,SAAA,IAAA,EAAA,UAAA;EAKA,SAAA,UAAA,EAAA,MAAA;AAKb,CAAA;AAAgC,cAVnB,0BAUmB,EAVO,oCAAA,CAAA,UAUP,CAVO,oBAUP,EAAA,CAAA,CAAA,CAAA;AAAA,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;;AAgIhC;AAgBA;AAyBA;;;;AAAyF,iBAzCzE,eAAA,CAyCyE,KAAA,EAAA,OAAA,CAAA,EAzCxC,UAyCwC;;;;;;;;iBAzBzE,aAAA,kBAA+B;;;;;;;;;;;;;;;;;iBAyB/B,8BAA8B,YAAY,8BAA8B"}
|
package/dist/validators.mjs
CHANGED
|
@@ -1,3 +1,3 @@
|
|
|
1
|
-
import { a as validateSqlContract, i as validateModel, n as ColumnDefaultLiteralSchema, o as validateStorage, r as ColumnDefaultSchema, t as ColumnDefaultFunctionSchema } from "./validators-
|
|
1
|
+
import { a as validateSqlContract, i as validateModel, n as ColumnDefaultLiteralSchema, o as validateStorage, r as ColumnDefaultSchema, t as ColumnDefaultFunctionSchema } from "./validators-DG6QQnb9.mjs";
|
|
2
2
|
|
|
3
3
|
export { ColumnDefaultFunctionSchema, ColumnDefaultLiteralSchema, ColumnDefaultSchema, validateModel, validateSqlContract, validateStorage };
|
package/package.json
CHANGED
|
@@ -1,21 +1,21 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@prisma-next/sql-contract",
|
|
3
|
-
"version": "0.3.0-dev.
|
|
3
|
+
"version": "0.3.0-dev.41",
|
|
4
4
|
"type": "module",
|
|
5
5
|
"plane": "shared",
|
|
6
6
|
"sideEffects": false,
|
|
7
7
|
"description": "SQL contract types, validators, and IR factories for Prisma Next",
|
|
8
8
|
"dependencies": {
|
|
9
9
|
"arktype": "^2.1.25",
|
|
10
|
-
"@prisma-next/contract": "0.3.0-dev.
|
|
10
|
+
"@prisma-next/contract": "0.3.0-dev.41"
|
|
11
11
|
},
|
|
12
12
|
"devDependencies": {
|
|
13
13
|
"tsdown": "0.18.4",
|
|
14
14
|
"typescript": "5.9.3",
|
|
15
15
|
"vitest": "4.0.17",
|
|
16
|
+
"@prisma-next/test-utils": "0.0.1",
|
|
16
17
|
"@prisma-next/tsconfig": "0.0.0",
|
|
17
|
-
"@prisma-next/tsdown": "0.0.0"
|
|
18
|
-
"@prisma-next/test-utils": "0.0.1"
|
|
18
|
+
"@prisma-next/tsdown": "0.0.0"
|
|
19
19
|
},
|
|
20
20
|
"files": [
|
|
21
21
|
"dist",
|
package/src/exports/validate.ts
CHANGED
package/src/validate.ts
CHANGED
|
@@ -1,4 +1,13 @@
|
|
|
1
|
-
import type {
|
|
1
|
+
import type { ColumnDefaultLiteralInputValue } from '@prisma-next/contract/types';
|
|
2
|
+
import { isTaggedBigInt, isTaggedRaw } from '@prisma-next/contract/types';
|
|
3
|
+
import type {
|
|
4
|
+
ModelDefinition,
|
|
5
|
+
SqlContract,
|
|
6
|
+
SqlMappings,
|
|
7
|
+
SqlStorage,
|
|
8
|
+
StorageColumn,
|
|
9
|
+
StorageTable,
|
|
10
|
+
} from './types';
|
|
2
11
|
import { applyFkDefaults } from './types';
|
|
3
12
|
import { validateSqlContract } from './validators';
|
|
4
13
|
|
|
@@ -196,6 +205,14 @@ function validateContractLogic(contract: SqlContract<SqlStorage>): void {
|
|
|
196
205
|
}
|
|
197
206
|
}
|
|
198
207
|
|
|
208
|
+
for (const [colName, column] of Object.entries(table.columns)) {
|
|
209
|
+
if (!column.nullable && column.default?.kind === 'literal' && column.default.value === null) {
|
|
210
|
+
throw new Error(
|
|
211
|
+
`Table "${tableName}" column "${colName}" is NOT NULL but has a literal null default`,
|
|
212
|
+
);
|
|
213
|
+
}
|
|
214
|
+
}
|
|
215
|
+
|
|
199
216
|
for (const fk of table.foreignKeys) {
|
|
200
217
|
for (const colName of fk.columns) {
|
|
201
218
|
if (!columnNames.has(colName)) {
|
|
@@ -232,6 +249,95 @@ function validateContractLogic(contract: SqlContract<SqlStorage>): void {
|
|
|
232
249
|
}
|
|
233
250
|
}
|
|
234
251
|
|
|
252
|
+
const BIGINT_NATIVE_TYPES = new Set(['bigint', 'int8']);
|
|
253
|
+
|
|
254
|
+
export function isBigIntColumn(column: StorageColumn): boolean {
|
|
255
|
+
const nativeType = column.nativeType?.toLowerCase() ?? '';
|
|
256
|
+
if (BIGINT_NATIVE_TYPES.has(nativeType)) return true;
|
|
257
|
+
const codecId = column.codecId?.toLowerCase() ?? '';
|
|
258
|
+
return codecId.includes('int8') || codecId.includes('bigint');
|
|
259
|
+
}
|
|
260
|
+
|
|
261
|
+
export function decodeDefaultLiteralValue(
|
|
262
|
+
value: ColumnDefaultLiteralInputValue,
|
|
263
|
+
column: StorageColumn,
|
|
264
|
+
tableName: string,
|
|
265
|
+
columnName: string,
|
|
266
|
+
): ColumnDefaultLiteralInputValue {
|
|
267
|
+
if (value instanceof Date) {
|
|
268
|
+
return value;
|
|
269
|
+
}
|
|
270
|
+
if (isTaggedRaw(value)) {
|
|
271
|
+
return value.value;
|
|
272
|
+
}
|
|
273
|
+
if (isTaggedBigInt(value)) {
|
|
274
|
+
if (!isBigIntColumn(column)) {
|
|
275
|
+
return value;
|
|
276
|
+
}
|
|
277
|
+
try {
|
|
278
|
+
return BigInt(value.value);
|
|
279
|
+
} catch {
|
|
280
|
+
throw new Error(
|
|
281
|
+
`Invalid tagged bigint for default value on "${tableName}.${columnName}": "${value.value}" is not a valid integer`,
|
|
282
|
+
);
|
|
283
|
+
}
|
|
284
|
+
}
|
|
285
|
+
return value;
|
|
286
|
+
}
|
|
287
|
+
|
|
288
|
+
export function decodeContractDefaults<T extends SqlContract<SqlStorage>>(contract: T): T {
|
|
289
|
+
const tables = contract.storage.tables;
|
|
290
|
+
let tablesChanged = false;
|
|
291
|
+
const decodedTables: Record<string, StorageTable> = {};
|
|
292
|
+
|
|
293
|
+
for (const [tableName, table] of Object.entries(tables)) {
|
|
294
|
+
let columnsChanged = false;
|
|
295
|
+
const decodedColumns: Record<string, StorageColumn> = {};
|
|
296
|
+
|
|
297
|
+
for (const [columnName, column] of Object.entries(table.columns)) {
|
|
298
|
+
if (column.default?.kind === 'literal') {
|
|
299
|
+
const decodedValue = decodeDefaultLiteralValue(
|
|
300
|
+
column.default.value,
|
|
301
|
+
column,
|
|
302
|
+
tableName,
|
|
303
|
+
columnName,
|
|
304
|
+
);
|
|
305
|
+
if (decodedValue !== column.default.value) {
|
|
306
|
+
columnsChanged = true;
|
|
307
|
+
decodedColumns[columnName] = {
|
|
308
|
+
...column,
|
|
309
|
+
default: { kind: 'literal', value: decodedValue },
|
|
310
|
+
};
|
|
311
|
+
continue;
|
|
312
|
+
}
|
|
313
|
+
}
|
|
314
|
+
decodedColumns[columnName] = column;
|
|
315
|
+
}
|
|
316
|
+
|
|
317
|
+
if (columnsChanged) {
|
|
318
|
+
tablesChanged = true;
|
|
319
|
+
decodedTables[tableName] = { ...table, columns: decodedColumns };
|
|
320
|
+
} else {
|
|
321
|
+
decodedTables[tableName] = table;
|
|
322
|
+
}
|
|
323
|
+
}
|
|
324
|
+
|
|
325
|
+
if (!tablesChanged) {
|
|
326
|
+
return contract;
|
|
327
|
+
}
|
|
328
|
+
|
|
329
|
+
// The spread widens to SqlContract<SqlStorage>, but this transformation only
|
|
330
|
+
// decodes tagged bigint defaults for bigint-like columns and preserves all
|
|
331
|
+
// other properties of T.
|
|
332
|
+
return {
|
|
333
|
+
...contract,
|
|
334
|
+
storage: {
|
|
335
|
+
...contract.storage,
|
|
336
|
+
tables: decodedTables,
|
|
337
|
+
},
|
|
338
|
+
} as T;
|
|
339
|
+
}
|
|
340
|
+
|
|
235
341
|
export function normalizeContract(contract: unknown): SqlContract<SqlStorage> {
|
|
236
342
|
if (typeof contract !== 'object' || contract === null) {
|
|
237
343
|
return contract as SqlContract<SqlStorage>;
|
|
@@ -328,8 +434,10 @@ export function validateContract<TContract extends SqlContract<SqlStorage>>(
|
|
|
328
434
|
);
|
|
329
435
|
const mappings = mergeMappings(defaultMappings, existingMappings);
|
|
330
436
|
|
|
331
|
-
|
|
437
|
+
const contractWithMappings = {
|
|
332
438
|
...structurallyValid,
|
|
333
439
|
mappings,
|
|
334
|
-
}
|
|
440
|
+
};
|
|
441
|
+
|
|
442
|
+
return decodeContractDefaults(contractWithMappings) as TContract;
|
|
335
443
|
}
|
package/src/validators.ts
CHANGED
|
@@ -9,12 +9,14 @@ import type {
|
|
|
9
9
|
PrimaryKey,
|
|
10
10
|
SqlContract,
|
|
11
11
|
SqlStorage,
|
|
12
|
-
StorageTable,
|
|
13
12
|
StorageTypeInstance,
|
|
14
13
|
UniqueConstraint,
|
|
15
14
|
} from './types';
|
|
16
15
|
|
|
17
|
-
type ColumnDefaultLiteral = {
|
|
16
|
+
type ColumnDefaultLiteral = {
|
|
17
|
+
readonly kind: 'literal';
|
|
18
|
+
readonly value: string | number | boolean | Record<string, unknown> | unknown[] | null;
|
|
19
|
+
};
|
|
18
20
|
type ColumnDefaultFunction = { readonly kind: 'function'; readonly expression: string };
|
|
19
21
|
const literalKindSchema = type("'literal'");
|
|
20
22
|
const functionKindSchema = type("'function'");
|
|
@@ -23,7 +25,7 @@ const generatorIdSchema = type("'ulid' | 'nanoid' | 'uuidv7' | 'uuidv4' | 'cuid2
|
|
|
23
25
|
|
|
24
26
|
export const ColumnDefaultLiteralSchema = type.declare<ColumnDefaultLiteral>().type({
|
|
25
27
|
kind: literalKindSchema,
|
|
26
|
-
|
|
28
|
+
value: 'string | number | boolean | null | unknown[] | Record<string, unknown>',
|
|
27
29
|
});
|
|
28
30
|
|
|
29
31
|
export const ColumnDefaultFunctionSchema = type.declare<ColumnDefaultFunction>().type({
|
|
@@ -102,7 +104,7 @@ const ForeignKeySchema = type.declare<ForeignKey>().type({
|
|
|
102
104
|
index: 'boolean',
|
|
103
105
|
});
|
|
104
106
|
|
|
105
|
-
const StorageTableSchema = type
|
|
107
|
+
const StorageTableSchema = type({
|
|
106
108
|
columns: type({ '[string]': StorageColumnSchema }),
|
|
107
109
|
'primaryKey?': PrimaryKeySchema,
|
|
108
110
|
uniques: UniqueConstraintSchema.array().readonly(),
|
|
@@ -110,7 +112,7 @@ const StorageTableSchema = type.declare<StorageTable>().type({
|
|
|
110
112
|
foreignKeys: ForeignKeySchema.array().readonly(),
|
|
111
113
|
});
|
|
112
114
|
|
|
113
|
-
const StorageSchema = type
|
|
115
|
+
const StorageSchema = type({
|
|
114
116
|
tables: type({ '[string]': StorageTableSchema }),
|
|
115
117
|
'types?': type({ '[string]': StorageTypeInstanceSchema }),
|
|
116
118
|
});
|
|
@@ -145,6 +147,13 @@ const SqlContractSchema = type({
|
|
|
145
147
|
'execution?': ExecutionSchema,
|
|
146
148
|
});
|
|
147
149
|
|
|
150
|
+
// NOTE: StorageColumnSchema, StorageTableSchema, and StorageSchema use bare type()
|
|
151
|
+
// instead of type.declare<T>().type() because the ColumnDefault union's value field
|
|
152
|
+
// includes bigint | Date (runtime-only types after decoding) which cannot be expressed
|
|
153
|
+
// in Arktype's JSON validation DSL. The `as SqlStorage` cast in validateStorage() bridges
|
|
154
|
+
// the gap between the JSON-safe Arktype output and the runtime TypeScript type.
|
|
155
|
+
// See decodeContractDefaults() in validate.ts for the decoding step.
|
|
156
|
+
|
|
148
157
|
/**
|
|
149
158
|
* Validates the structural shape of SqlStorage using Arktype.
|
|
150
159
|
*
|
|
@@ -158,7 +167,7 @@ export function validateStorage(value: unknown): SqlStorage {
|
|
|
158
167
|
const messages = result.map((p: { message: string }) => p.message).join('; ');
|
|
159
168
|
throw new Error(`Storage validation failed: ${messages}`);
|
|
160
169
|
}
|
|
161
|
-
return result;
|
|
170
|
+
return result as SqlStorage;
|
|
162
171
|
}
|
|
163
172
|
|
|
164
173
|
/**
|
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"validators-Dfw5_HSi.mjs","names":[],"sources":["../src/validators.ts"],"sourcesContent":["import { type } from 'arktype';\nimport type {\n ForeignKey,\n ForeignKeyReferences,\n Index,\n ModelDefinition,\n ModelField,\n ModelStorage,\n PrimaryKey,\n SqlContract,\n SqlStorage,\n StorageTable,\n StorageTypeInstance,\n UniqueConstraint,\n} from './types';\n\ntype ColumnDefaultLiteral = { readonly kind: 'literal'; readonly expression: string };\ntype ColumnDefaultFunction = { readonly kind: 'function'; readonly expression: string };\nconst literalKindSchema = type(\"'literal'\");\nconst functionKindSchema = type(\"'function'\");\nconst generatorKindSchema = type(\"'generator'\");\nconst generatorIdSchema = type(\"'ulid' | 'nanoid' | 'uuidv7' | 'uuidv4' | 'cuid2' | 'ksuid'\");\n\nexport const ColumnDefaultLiteralSchema = type.declare<ColumnDefaultLiteral>().type({\n kind: literalKindSchema,\n expression: 'string',\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 kind: generatorKindSchema,\n id: generatorIdSchema,\n 'params?': 'Record<string, unknown>',\n});\n\nconst ExecutionMutationDefaultSchema = type({\n ref: {\n table: 'string',\n column: 'string',\n },\n 'onCreate?': ExecutionMutationDefaultValueSchema,\n 'onUpdate?': ExecutionMutationDefaultValueSchema,\n});\n\nconst ExecutionSchema = type({\n mutations: {\n defaults: ExecutionMutationDefaultSchema.array().readonly(),\n },\n});\n\nconst StorageColumnSchema = type({\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\nconst IndexSchema = type.declare<Index>().type({\n columns: type.string.array().readonly(),\n 'name?': 'string',\n});\n\nconst ForeignKeyReferencesSchema = type.declare<ForeignKeyReferences>().type({\n table: 'string',\n columns: type.string.array().readonly(),\n});\n\nconst ForeignKeySchema = type.declare<ForeignKey>().type({\n columns: type.string.array().readonly(),\n references: ForeignKeyReferencesSchema,\n 'name?': 'string',\n constraint: 'boolean',\n index: 'boolean',\n});\n\nconst StorageTableSchema = type.declare<StorageTable>().type({\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.declare<SqlStorage>().type({\n tables: type({ '[string]': StorageTableSchema }),\n 'types?': type({ '[string]': StorageTypeInstanceSchema }),\n});\n\nconst ModelFieldSchema = type.declare<ModelField>().type({\n column: 'string',\n});\n\nconst ModelStorageSchema = type.declare<ModelStorage>().type({\n table: 'string',\n});\n\nconst ModelSchema = type.declare<ModelDefinition>().type({\n storage: ModelStorageSchema,\n fields: type({ '[string]': ModelFieldSchema }),\n relations: type({ '[string]': 'unknown' }),\n});\n\nconst SqlContractSchema = type({\n 'schemaVersion?': \"'1'\",\n target: 'string',\n targetFamily: \"'sql'\",\n storageHash: 'string',\n 'executionHash?': 'string',\n 'profileHash?': 'string',\n 'capabilities?': 'Record<string, Record<string, boolean>>',\n 'extensionPacks?': 'Record<string, unknown>',\n 'meta?': 'Record<string, unknown>',\n 'sources?': 'Record<string, unknown>',\n models: type({ '[string]': ModelSchema }),\n storage: StorageSchema,\n 'execution?': ExecutionSchema,\n});\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;\n}\n\n/**\n * Validates the structural shape of ModelDefinition using Arktype.\n *\n * @param value - The model value to validate\n * @returns The validated model if structure is valid\n * @throws Error if the model structure is invalid\n */\nexport function validateModel(value: unknown): ModelDefinition {\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"],"mappings":";;;AAkBA,MAAM,oBAAoB,KAAK,YAAY;AAC3C,MAAM,qBAAqB,KAAK,aAAa;AAC7C,MAAM,sBAAsB,KAAK,cAAc;AAC/C,MAAM,oBAAoB,KAAK,8DAA8D;AAE7F,MAAa,6BAA6B,KAAK,SAA+B,CAAC,KAAK;CAClF,MAAM;CACN,YAAY;CACb,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,MAAM;CACN,IAAI;CACJ,WAAW;CACZ,CAAC;AAWF,MAAM,kBAAkB,KAAK,EAC3B,WAAW,EACT,UAXmC,KAAK;CAC1C,KAAK;EACH,OAAO;EACP,QAAQ;EACT;CACD,aAAa;CACb,aAAa;CACd,CAAC,CAI2C,OAAO,CAAC,UAAU,EAC5D,EACF,CAAC;AAEF,MAAM,sBAAsB,KAAK;CAC/B,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,MAAM,cAAc,KAAK,SAAgB,CAAC,KAAK;CAC7C,SAAS,KAAK,OAAO,OAAO,CAAC,UAAU;CACvC,SAAS;CACV,CAAC;AAEF,MAAM,6BAA6B,KAAK,SAA+B,CAAC,KAAK;CAC3E,OAAO;CACP,SAAS,KAAK,OAAO,OAAO,CAAC,UAAU;CACxC,CAAC;AAEF,MAAM,mBAAmB,KAAK,SAAqB,CAAC,KAAK;CACvD,SAAS,KAAK,OAAO,OAAO,CAAC,UAAU;CACvC,YAAY;CACZ,SAAS;CACT,YAAY;CACZ,OAAO;CACR,CAAC;AAEF,MAAM,qBAAqB,KAAK,SAAuB,CAAC,KAAK;CAC3D,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,SAAqB,CAAC,KAAK;CACpD,QAAQ,KAAK,EAAE,YAAY,oBAAoB,CAAC;CAChD,UAAU,KAAK,EAAE,YAAY,2BAA2B,CAAC;CAC1D,CAAC;AAEF,MAAM,mBAAmB,KAAK,SAAqB,CAAC,KAAK,EACvD,QAAQ,UACT,CAAC;AAEF,MAAM,qBAAqB,KAAK,SAAuB,CAAC,KAAK,EAC3D,OAAO,UACR,CAAC;AAEF,MAAM,cAAc,KAAK,SAA0B,CAAC,KAAK;CACvD,SAAS;CACT,QAAQ,KAAK,EAAE,YAAY,kBAAkB,CAAC;CAC9C,WAAW,KAAK,EAAE,YAAY,WAAW,CAAC;CAC3C,CAAC;AAEF,MAAM,oBAAoB,KAAK;CAC7B,kBAAkB;CAClB,QAAQ;CACR,cAAc;CACd,aAAa;CACb,kBAAkB;CAClB,gBAAgB;CAChB,iBAAiB;CACjB,mBAAmB;CACnB,SAAS;CACT,YAAY;CACZ,QAAQ,KAAK,EAAE,YAAY,aAAa,CAAC;CACzC,SAAS;CACT,cAAc;CACf,CAAC;;;;;;;;AASF,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;;;;;;;;;AAUT,SAAgB,cAAc,OAAiC;CAC7D,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"}
|