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

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.
Files changed (58) hide show
  1. package/README.md +79 -10
  2. package/dist/factories.d.mts +48 -0
  3. package/dist/factories.d.mts.map +1 -0
  4. package/dist/factories.mjs +84 -0
  5. package/dist/factories.mjs.map +1 -0
  6. package/dist/pack-types.d.mts +13 -0
  7. package/dist/pack-types.d.mts.map +1 -0
  8. package/dist/pack-types.mjs +1 -0
  9. package/dist/types-T6o5-ZB3.d.mts +145 -0
  10. package/dist/types-T6o5-ZB3.d.mts.map +1 -0
  11. package/dist/types-kacOgEya.mjs +17 -0
  12. package/dist/types-kacOgEya.mjs.map +1 -0
  13. package/dist/types.d.mts +2 -0
  14. package/dist/types.mjs +3 -0
  15. package/dist/validate.d.mts +11 -0
  16. package/dist/validate.d.mts.map +1 -0
  17. package/dist/validate.mjs +244 -0
  18. package/dist/validate.mjs.map +1 -0
  19. package/dist/validators-Dz93b38w.mjs +214 -0
  20. package/dist/validators-Dz93b38w.mjs.map +1 -0
  21. package/dist/validators.d.mts +65 -0
  22. package/dist/validators.d.mts.map +1 -0
  23. package/dist/validators.mjs +3 -0
  24. package/package.json +23 -27
  25. package/src/exports/types.ts +5 -0
  26. package/src/exports/validate.ts +6 -0
  27. package/src/exports/validators.ts +1 -1
  28. package/src/factories.ts +41 -8
  29. package/src/index.ts +1 -0
  30. package/src/types.ts +88 -2
  31. package/src/validate.ts +448 -0
  32. package/src/validators.ts +161 -10
  33. package/dist/exports/factories.d.ts +0 -2
  34. package/dist/exports/factories.d.ts.map +0 -1
  35. package/dist/exports/factories.js +0 -83
  36. package/dist/exports/factories.js.map +0 -1
  37. package/dist/exports/pack-types.d.ts +0 -2
  38. package/dist/exports/pack-types.d.ts.map +0 -1
  39. package/dist/exports/pack-types.js +0 -1
  40. package/dist/exports/pack-types.js.map +0 -1
  41. package/dist/exports/types.d.ts +0 -2
  42. package/dist/exports/types.d.ts.map +0 -1
  43. package/dist/exports/types.js +0 -1
  44. package/dist/exports/types.js.map +0 -1
  45. package/dist/exports/validators.d.ts +0 -2
  46. package/dist/exports/validators.d.ts.map +0 -1
  47. package/dist/exports/validators.js +0 -96
  48. package/dist/exports/validators.js.map +0 -1
  49. package/dist/factories.d.ts +0 -38
  50. package/dist/factories.d.ts.map +0 -1
  51. package/dist/index.d.ts +0 -4
  52. package/dist/index.d.ts.map +0 -1
  53. package/dist/pack-types.d.ts +0 -10
  54. package/dist/pack-types.d.ts.map +0 -1
  55. package/dist/types.d.ts +0 -68
  56. package/dist/types.d.ts.map +0 -1
  57. package/dist/validators.d.ts +0 -35
  58. package/dist/validators.d.ts.map +0 -1
@@ -0,0 +1,448 @@
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';
11
+ import { applyFkDefaults } from './types';
12
+ import { validateSqlContract, validateStorageSemantics } from './validators';
13
+
14
+ type ResolvedMappings = {
15
+ modelToTable: Record<string, string>;
16
+ tableToModel: Record<string, string>;
17
+ fieldToColumn: Record<string, Record<string, string>>;
18
+ columnToField: Record<string, Record<string, string>>;
19
+ codecTypes: Record<string, { readonly output: unknown }>;
20
+ operationTypes: Record<string, Record<string, unknown>>;
21
+ };
22
+
23
+ function computeDefaultMappings(models: Record<string, ModelDefinition>): ResolvedMappings {
24
+ const modelToTable: Record<string, string> = {};
25
+ const tableToModel: Record<string, string> = {};
26
+ const fieldToColumn: Record<string, Record<string, string>> = {};
27
+ const columnToField: Record<string, Record<string, string>> = {};
28
+
29
+ for (const [modelName, model] of Object.entries(models)) {
30
+ const tableName = model.storage.table;
31
+ modelToTable[modelName] = tableName;
32
+ tableToModel[tableName] = modelName;
33
+
34
+ const modelFieldToColumn: Record<string, string> = {};
35
+ for (const [fieldName, field] of Object.entries(model.fields)) {
36
+ const columnName = field.column;
37
+ modelFieldToColumn[fieldName] = columnName;
38
+ if (!columnToField[tableName]) {
39
+ columnToField[tableName] = {};
40
+ }
41
+ columnToField[tableName][columnName] = fieldName;
42
+ }
43
+
44
+ fieldToColumn[modelName] = modelFieldToColumn;
45
+ }
46
+
47
+ return {
48
+ modelToTable,
49
+ tableToModel,
50
+ fieldToColumn,
51
+ columnToField,
52
+ codecTypes: {},
53
+ operationTypes: {},
54
+ };
55
+ }
56
+
57
+ function assertInverseModelMappings(
58
+ modelToTable: Record<string, string>,
59
+ tableToModel: Record<string, string>,
60
+ ) {
61
+ for (const [model, table] of Object.entries(modelToTable)) {
62
+ if (tableToModel[table] !== model) {
63
+ throw new Error(
64
+ `Mappings override mismatch: modelToTable.${model}="${table}" is not mirrored in tableToModel`,
65
+ );
66
+ }
67
+ }
68
+ for (const [table, model] of Object.entries(tableToModel)) {
69
+ if (modelToTable[model] !== table) {
70
+ throw new Error(
71
+ `Mappings override mismatch: tableToModel.${table}="${model}" is not mirrored in modelToTable`,
72
+ );
73
+ }
74
+ }
75
+ }
76
+
77
+ function assertInverseFieldMappings(
78
+ fieldToColumn: Record<string, Record<string, string>>,
79
+ columnToField: Record<string, Record<string, string>>,
80
+ modelToTable: Record<string, string>,
81
+ tableToModel: Record<string, string>,
82
+ ) {
83
+ for (const [model, fields] of Object.entries(fieldToColumn)) {
84
+ const table = modelToTable[model];
85
+ if (!table) {
86
+ throw new Error(
87
+ `Mappings override mismatch: fieldToColumn references unknown model "${model}"`,
88
+ );
89
+ }
90
+ const reverseFields = columnToField[table];
91
+ if (!reverseFields) {
92
+ throw new Error(
93
+ `Mappings override mismatch: columnToField is missing table "${table}" for model "${model}"`,
94
+ );
95
+ }
96
+ for (const [field, column] of Object.entries(fields)) {
97
+ if (reverseFields[column] !== field) {
98
+ throw new Error(
99
+ `Mappings override mismatch: fieldToColumn.${model}.${field}="${column}" is not mirrored in columnToField.${table}`,
100
+ );
101
+ }
102
+ }
103
+ }
104
+
105
+ for (const [table, columns] of Object.entries(columnToField)) {
106
+ const model = tableToModel[table];
107
+ if (!model) {
108
+ throw new Error(
109
+ `Mappings override mismatch: columnToField references unknown table "${table}"`,
110
+ );
111
+ }
112
+ const forwardFields = fieldToColumn[model];
113
+ if (!forwardFields) {
114
+ throw new Error(
115
+ `Mappings override mismatch: fieldToColumn is missing model "${model}" for table "${table}"`,
116
+ );
117
+ }
118
+ for (const [column, field] of Object.entries(columns)) {
119
+ if (forwardFields[field] !== column) {
120
+ throw new Error(
121
+ `Mappings override mismatch: columnToField.${table}.${column}="${field}" is not mirrored in fieldToColumn.${model}`,
122
+ );
123
+ }
124
+ }
125
+ }
126
+ }
127
+
128
+ function mergeMappings(
129
+ defaults: ResolvedMappings,
130
+ existingMappings?: Partial<SqlMappings>,
131
+ ): ResolvedMappings {
132
+ const hasModelToTable = existingMappings?.modelToTable !== undefined;
133
+ const hasTableToModel = existingMappings?.tableToModel !== undefined;
134
+ if (hasModelToTable !== hasTableToModel) {
135
+ throw new Error(
136
+ 'Mappings override mismatch: modelToTable and tableToModel must be provided together',
137
+ );
138
+ }
139
+
140
+ const hasFieldToColumn = existingMappings?.fieldToColumn !== undefined;
141
+ const hasColumnToField = existingMappings?.columnToField !== undefined;
142
+ if (hasFieldToColumn !== hasColumnToField) {
143
+ throw new Error(
144
+ 'Mappings override mismatch: fieldToColumn and columnToField must be provided together',
145
+ );
146
+ }
147
+
148
+ const modelToTable: Record<string, string> = hasModelToTable
149
+ ? (existingMappings?.modelToTable ?? {})
150
+ : defaults.modelToTable;
151
+ const tableToModel: Record<string, string> = hasTableToModel
152
+ ? (existingMappings?.tableToModel ?? {})
153
+ : defaults.tableToModel;
154
+ assertInverseModelMappings(modelToTable, tableToModel);
155
+
156
+ const fieldToColumn: Record<string, Record<string, string>> = hasFieldToColumn
157
+ ? (existingMappings?.fieldToColumn ?? {})
158
+ : defaults.fieldToColumn;
159
+ const columnToField: Record<string, Record<string, string>> = hasColumnToField
160
+ ? (existingMappings?.columnToField ?? {})
161
+ : defaults.columnToField;
162
+ assertInverseFieldMappings(fieldToColumn, columnToField, modelToTable, tableToModel);
163
+
164
+ return {
165
+ modelToTable,
166
+ tableToModel,
167
+ fieldToColumn,
168
+ columnToField,
169
+ codecTypes: { ...defaults.codecTypes, ...(existingMappings?.codecTypes ?? {}) },
170
+ operationTypes: { ...defaults.operationTypes, ...(existingMappings?.operationTypes ?? {}) },
171
+ };
172
+ }
173
+
174
+ function validateContractLogic(contract: SqlContract<SqlStorage>): void {
175
+ const tableNames = new Set(Object.keys(contract.storage.tables));
176
+
177
+ for (const [tableName, table] of Object.entries(contract.storage.tables)) {
178
+ const columnNames = new Set(Object.keys(table.columns));
179
+
180
+ if (table.primaryKey) {
181
+ for (const colName of table.primaryKey.columns) {
182
+ if (!columnNames.has(colName)) {
183
+ throw new Error(
184
+ `Table "${tableName}" primaryKey references non-existent column "${colName}"`,
185
+ );
186
+ }
187
+ }
188
+ }
189
+
190
+ for (const unique of table.uniques) {
191
+ for (const colName of unique.columns) {
192
+ if (!columnNames.has(colName)) {
193
+ throw new Error(
194
+ `Table "${tableName}" unique constraint references non-existent column "${colName}"`,
195
+ );
196
+ }
197
+ }
198
+ }
199
+
200
+ for (const index of table.indexes) {
201
+ for (const colName of index.columns) {
202
+ if (!columnNames.has(colName)) {
203
+ throw new Error(`Table "${tableName}" index references non-existent column "${colName}"`);
204
+ }
205
+ }
206
+ }
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
+
216
+ for (const fk of table.foreignKeys) {
217
+ for (const colName of fk.columns) {
218
+ if (!columnNames.has(colName)) {
219
+ throw new Error(
220
+ `Table "${tableName}" foreignKey references non-existent column "${colName}"`,
221
+ );
222
+ }
223
+ }
224
+
225
+ if (!tableNames.has(fk.references.table)) {
226
+ throw new Error(
227
+ `Table "${tableName}" foreignKey references non-existent table "${fk.references.table}"`,
228
+ );
229
+ }
230
+
231
+ const referencedTable = contract.storage.tables[
232
+ fk.references.table
233
+ ] as (typeof contract.storage.tables)[string];
234
+ const referencedColumnNames = new Set(Object.keys(referencedTable.columns));
235
+ for (const colName of fk.references.columns) {
236
+ if (!referencedColumnNames.has(colName)) {
237
+ throw new Error(
238
+ `Table "${tableName}" foreignKey references non-existent column "${colName}" in table "${fk.references.table}"`,
239
+ );
240
+ }
241
+ }
242
+
243
+ if (fk.columns.length !== fk.references.columns.length) {
244
+ throw new Error(
245
+ `Table "${tableName}" foreignKey column count (${fk.columns.length}) does not match referenced column count (${fk.references.columns.length})`,
246
+ );
247
+ }
248
+ }
249
+ }
250
+ }
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
+
341
+ export function normalizeContract(contract: unknown): SqlContract<SqlStorage> {
342
+ if (typeof contract !== 'object' || contract === null) {
343
+ return contract as SqlContract<SqlStorage>;
344
+ }
345
+
346
+ const contractObj = contract as Record<string, unknown>;
347
+
348
+ let normalizedStorage = contractObj['storage'];
349
+ if (normalizedStorage && typeof normalizedStorage === 'object' && normalizedStorage !== null) {
350
+ const storage = normalizedStorage as Record<string, unknown>;
351
+ const tables = storage['tables'] as Record<string, unknown> | undefined;
352
+
353
+ if (tables) {
354
+ const normalizedTables: Record<string, unknown> = {};
355
+ for (const [tableName, table] of Object.entries(tables)) {
356
+ const tableObj = table as Record<string, unknown>;
357
+ const columns = tableObj['columns'] as Record<string, unknown> | undefined;
358
+
359
+ if (columns) {
360
+ const normalizedColumns: Record<string, unknown> = {};
361
+ for (const [columnName, column] of Object.entries(columns)) {
362
+ const columnObj = column as Record<string, unknown>;
363
+ normalizedColumns[columnName] = {
364
+ ...columnObj,
365
+ nullable: columnObj['nullable'] ?? false,
366
+ };
367
+ }
368
+
369
+ // Normalize foreign keys: add constraint/index defaults if missing
370
+ const rawForeignKeys = (tableObj['foreignKeys'] ?? []) as Array<Record<string, unknown>>;
371
+ const normalizedForeignKeys = rawForeignKeys.map((fk) => ({
372
+ ...fk,
373
+ ...applyFkDefaults({
374
+ constraint: typeof fk['constraint'] === 'boolean' ? fk['constraint'] : undefined,
375
+ index: typeof fk['index'] === 'boolean' ? fk['index'] : undefined,
376
+ }),
377
+ }));
378
+
379
+ normalizedTables[tableName] = {
380
+ ...tableObj,
381
+ columns: normalizedColumns,
382
+ uniques: tableObj['uniques'] ?? [],
383
+ indexes: tableObj['indexes'] ?? [],
384
+ foreignKeys: normalizedForeignKeys,
385
+ };
386
+ } else {
387
+ normalizedTables[tableName] = tableObj;
388
+ }
389
+ }
390
+
391
+ normalizedStorage = {
392
+ ...storage,
393
+ tables: normalizedTables,
394
+ };
395
+ }
396
+ }
397
+
398
+ let normalizedModels = contractObj['models'];
399
+ if (normalizedModels && typeof normalizedModels === 'object' && normalizedModels !== null) {
400
+ const models = normalizedModels as Record<string, unknown>;
401
+ const normalizedModelsObj: Record<string, unknown> = {};
402
+ for (const [modelName, model] of Object.entries(models)) {
403
+ const modelObj = model as Record<string, unknown>;
404
+ normalizedModelsObj[modelName] = {
405
+ ...modelObj,
406
+ relations: modelObj['relations'] ?? {},
407
+ };
408
+ }
409
+ normalizedModels = normalizedModelsObj;
410
+ }
411
+
412
+ return {
413
+ ...contractObj,
414
+ models: normalizedModels,
415
+ relations: contractObj['relations'] ?? {},
416
+ storage: normalizedStorage,
417
+ extensionPacks: contractObj['extensionPacks'] ?? {},
418
+ capabilities: contractObj['capabilities'] ?? {},
419
+ meta: contractObj['meta'] ?? {},
420
+ sources: contractObj['sources'] ?? {},
421
+ } as SqlContract<SqlStorage>;
422
+ }
423
+
424
+ export function validateContract<TContract extends SqlContract<SqlStorage>>(
425
+ value: unknown,
426
+ ): TContract {
427
+ const normalized = normalizeContract(value);
428
+ const structurallyValid = validateSqlContract<SqlContract<SqlStorage>>(normalized);
429
+ validateContractLogic(structurallyValid);
430
+
431
+ const semanticErrors = validateStorageSemantics(structurallyValid.storage);
432
+ if (semanticErrors.length > 0) {
433
+ throw new Error(`Contract semantic validation failed: ${semanticErrors.join('; ')}`);
434
+ }
435
+
436
+ const existingMappings = (structurallyValid as { mappings?: Partial<SqlMappings> }).mappings;
437
+ const defaultMappings = computeDefaultMappings(
438
+ structurallyValid.models as Record<string, ModelDefinition>,
439
+ );
440
+ const mappings = mergeMappings(defaultMappings, existingMappings);
441
+
442
+ const contractWithMappings = {
443
+ ...structurallyValid,
444
+ mappings,
445
+ };
446
+
447
+ return decodeContractDefaults(contractWithMappings) as TContract;
448
+ }
package/src/validators.ts CHANGED
@@ -7,17 +7,80 @@ import type {
7
7
  ModelField,
8
8
  ModelStorage,
9
9
  PrimaryKey,
10
+ ReferentialAction,
10
11
  SqlContract,
11
12
  SqlStorage,
12
- StorageColumn,
13
- StorageTable,
13
+ StorageTypeInstance,
14
14
  UniqueConstraint,
15
15
  } from './types';
16
16
 
17
- const StorageColumnSchema = type.declare<StorageColumn>().type({
17
+ type ColumnDefaultLiteral = {
18
+ readonly kind: 'literal';
19
+ readonly value: string | number | boolean | Record<string, unknown> | unknown[] | null;
20
+ };
21
+ type ColumnDefaultFunction = { readonly kind: 'function'; readonly expression: string };
22
+ const literalKindSchema = type("'literal'");
23
+ const functionKindSchema = type("'function'");
24
+ const generatorKindSchema = type("'generator'");
25
+ const generatorIdSchema = type("'ulid' | 'nanoid' | 'uuidv7' | 'uuidv4' | 'cuid2' | 'ksuid'");
26
+
27
+ export const ColumnDefaultLiteralSchema = type.declare<ColumnDefaultLiteral>().type({
28
+ kind: literalKindSchema,
29
+ value: 'string | number | boolean | null | unknown[] | Record<string, unknown>',
30
+ });
31
+
32
+ export const ColumnDefaultFunctionSchema = type.declare<ColumnDefaultFunction>().type({
33
+ kind: functionKindSchema,
34
+ expression: 'string',
35
+ });
36
+
37
+ export const ColumnDefaultSchema = ColumnDefaultLiteralSchema.or(ColumnDefaultFunctionSchema);
38
+
39
+ const ExecutionMutationDefaultValueSchema = type({
40
+ '+': 'reject',
41
+ kind: generatorKindSchema,
42
+ id: generatorIdSchema,
43
+ 'params?': 'Record<string, unknown>',
44
+ });
45
+
46
+ const ExecutionMutationDefaultSchema = type({
47
+ '+': 'reject',
48
+ ref: {
49
+ '+': 'reject',
50
+ table: 'string',
51
+ column: 'string',
52
+ },
53
+ 'onCreate?': ExecutionMutationDefaultValueSchema,
54
+ 'onUpdate?': ExecutionMutationDefaultValueSchema,
55
+ });
56
+
57
+ const ExecutionSchema = type({
58
+ '+': 'reject',
59
+ mutations: {
60
+ '+': 'reject',
61
+ defaults: ExecutionMutationDefaultSchema.array().readonly(),
62
+ },
63
+ });
64
+
65
+ const StorageColumnSchema = type({
66
+ '+': 'reject',
18
67
  nativeType: 'string',
19
68
  codecId: 'string',
20
69
  nullable: 'boolean',
70
+ 'typeParams?': 'Record<string, unknown>',
71
+ 'typeRef?': 'string',
72
+ 'default?': ColumnDefaultSchema,
73
+ }).narrow((col, ctx) => {
74
+ if (col.typeParams !== undefined && col.typeRef !== undefined) {
75
+ return ctx.mustBe('a column with either typeParams or typeRef, not both');
76
+ }
77
+ return true;
78
+ });
79
+
80
+ const StorageTypeInstanceSchema = type.declare<StorageTypeInstance>().type({
81
+ codecId: 'string',
82
+ nativeType: 'string',
83
+ typeParams: 'Record<string, unknown>',
21
84
  });
22
85
 
23
86
  const PrimaryKeySchema = type.declare<PrimaryKey>().type({
@@ -35,18 +98,27 @@ const IndexSchema = type.declare<Index>().type({
35
98
  'name?': 'string',
36
99
  });
37
100
 
38
- const ForeignKeyReferencesSchema = type.declare<ForeignKeyReferences>().type({
101
+ export const ForeignKeyReferencesSchema = type.declare<ForeignKeyReferences>().type({
39
102
  table: 'string',
40
103
  columns: type.string.array().readonly(),
41
104
  });
42
105
 
43
- const ForeignKeySchema = type.declare<ForeignKey>().type({
106
+ export const ReferentialActionSchema = type
107
+ .declare<ReferentialAction>()
108
+ .type("'noAction' | 'restrict' | 'cascade' | 'setNull' | 'setDefault'");
109
+
110
+ export const ForeignKeySchema = type.declare<ForeignKey>().type({
44
111
  columns: type.string.array().readonly(),
45
112
  references: ForeignKeyReferencesSchema,
46
113
  'name?': 'string',
114
+ 'onDelete?': ReferentialActionSchema,
115
+ 'onUpdate?': ReferentialActionSchema,
116
+ constraint: 'boolean',
117
+ index: 'boolean',
47
118
  });
48
119
 
49
- const StorageTableSchema = type.declare<StorageTable>().type({
120
+ const StorageTableSchema = type({
121
+ '+': 'reject',
50
122
  columns: type({ '[string]': StorageColumnSchema }),
51
123
  'primaryKey?': PrimaryKeySchema,
52
124
  uniques: UniqueConstraintSchema.array().readonly(),
@@ -54,8 +126,10 @@ const StorageTableSchema = type.declare<StorageTable>().type({
54
126
  foreignKeys: ForeignKeySchema.array().readonly(),
55
127
  });
56
128
 
57
- const StorageSchema = type.declare<SqlStorage>().type({
129
+ const StorageSchema = type({
130
+ '+': 'reject',
58
131
  tables: type({ '[string]': StorageTableSchema }),
132
+ 'types?': type({ '[string]': StorageTypeInstanceSchema }),
59
133
  });
60
134
 
61
135
  const ModelFieldSchema = type.declare<ModelField>().type({
@@ -72,20 +146,48 @@ const ModelSchema = type.declare<ModelDefinition>().type({
72
146
  relations: type({ '[string]': 'unknown' }),
73
147
  });
74
148
 
149
+ const MappingsSchema = type({
150
+ '+': 'reject',
151
+ 'modelToTable?': 'null | Record<string, string>',
152
+ 'tableToModel?': 'null | Record<string, string>',
153
+ 'fieldToColumn?': 'null | Record<string, Record<string, string>>',
154
+ 'columnToField?': 'null | Record<string, Record<string, string>>',
155
+ 'codecTypes?': 'null | Record<string, unknown>',
156
+ 'operationTypes?': 'null | Record<string, Record<string, unknown>>',
157
+ });
158
+
159
+ const ContractMetaSchema = type({
160
+ '[string]': 'unknown',
161
+ });
162
+
75
163
  const SqlContractSchema = type({
164
+ '+': 'reject',
76
165
  'schemaVersion?': "'1'",
77
166
  target: 'string',
78
167
  targetFamily: "'sql'",
79
- coreHash: 'string',
168
+ 'coreHash?': 'string',
169
+ storageHash: 'string',
170
+ 'executionHash?': 'string',
80
171
  'profileHash?': 'string',
172
+ '_generated?': 'Record<string, unknown>',
81
173
  'capabilities?': 'Record<string, Record<string, boolean>>',
82
174
  'extensionPacks?': 'Record<string, unknown>',
83
- 'meta?': 'Record<string, unknown>',
175
+ 'meta?': ContractMetaSchema,
84
176
  'sources?': 'Record<string, unknown>',
177
+ 'relations?': type({ '[string]': 'unknown' }),
178
+ 'mappings?': MappingsSchema,
85
179
  models: type({ '[string]': ModelSchema }),
86
180
  storage: StorageSchema,
181
+ 'execution?': ExecutionSchema,
87
182
  });
88
183
 
184
+ // NOTE: StorageColumnSchema, StorageTableSchema, and StorageSchema use bare type()
185
+ // instead of type.declare<T>().type() because the ColumnDefault union's value field
186
+ // includes bigint | Date (runtime-only types after decoding) which cannot be expressed
187
+ // in Arktype's JSON validation DSL. The `as SqlStorage` cast in validateStorage() bridges
188
+ // the gap between the JSON-safe Arktype output and the runtime TypeScript type.
189
+ // See decodeContractDefaults() in validate.ts for the decoding step.
190
+
89
191
  /**
90
192
  * Validates the structural shape of SqlStorage using Arktype.
91
193
  *
@@ -99,7 +201,7 @@ export function validateStorage(value: unknown): SqlStorage {
99
201
  const messages = result.map((p: { message: string }) => p.message).join('; ');
100
202
  throw new Error(`Storage validation failed: ${messages}`);
101
203
  }
102
- return result;
204
+ return result as SqlStorage;
103
205
  }
104
206
 
105
207
  /**
@@ -135,6 +237,10 @@ export function validateModel(value: unknown): ModelDefinition {
135
237
  * @throws Error if the contract structure is invalid
136
238
  */
137
239
  export function validateSqlContract<T extends SqlContract<SqlStorage>>(value: unknown): T {
240
+ if (typeof value !== 'object' || value === null) {
241
+ throw new Error('Contract structural validation failed: value must be an object');
242
+ }
243
+
138
244
  // Check targetFamily first to provide a clear error message for unsupported target families
139
245
  const rawValue = value as { targetFamily?: string };
140
246
  if (rawValue.targetFamily !== undefined && rawValue.targetFamily !== 'sql') {
@@ -153,3 +259,48 @@ export function validateSqlContract<T extends SqlContract<SqlStorage>>(value: un
153
259
  // between Arktype's inferred type and the generic T, but runtime-wise they're compatible
154
260
  return contractResult as T;
155
261
  }
262
+
263
+ /**
264
+ * Validates semantic constraints on SqlStorage that cannot be expressed in Arktype schemas.
265
+ *
266
+ * Returns an array of human-readable error strings. Empty array = valid.
267
+ *
268
+ * Currently checks:
269
+ * - `setNull` referential action on a non-nullable FK column (would fail at runtime)
270
+ * - `setDefault` referential action on a non-nullable FK column without a DEFAULT (would fail at runtime)
271
+ */
272
+ export function validateStorageSemantics(storage: SqlStorage): string[] {
273
+ const errors: string[] = [];
274
+
275
+ for (const [tableName, table] of Object.entries(storage.tables)) {
276
+ for (const fk of table.foreignKeys) {
277
+ for (const colName of fk.columns) {
278
+ const column = table.columns[colName];
279
+ if (!column) continue;
280
+
281
+ if (fk.onDelete === 'setNull' && !column.nullable) {
282
+ errors.push(
283
+ `Table "${tableName}": onDelete setNull on foreign key column "${colName}" which is NOT NULL`,
284
+ );
285
+ }
286
+ if (fk.onUpdate === 'setNull' && !column.nullable) {
287
+ errors.push(
288
+ `Table "${tableName}": onUpdate setNull on foreign key column "${colName}" which is NOT NULL`,
289
+ );
290
+ }
291
+ if (fk.onDelete === 'setDefault' && !column.nullable && column.default === undefined) {
292
+ errors.push(
293
+ `Table "${tableName}": onDelete setDefault on foreign key column "${colName}" which is NOT NULL and has no DEFAULT`,
294
+ );
295
+ }
296
+ if (fk.onUpdate === 'setDefault' && !column.nullable && column.default === undefined) {
297
+ errors.push(
298
+ `Table "${tableName}": onUpdate setDefault on foreign key column "${colName}" which is NOT NULL and has no DEFAULT`,
299
+ );
300
+ }
301
+ }
302
+ }
303
+ }
304
+
305
+ return errors;
306
+ }
@@ -1,2 +0,0 @@
1
- export { col, contract, fk, index, model, pk, storage, table, unique, } from '../factories';
2
- //# sourceMappingURL=factories.d.ts.map
@@ -1 +0,0 @@
1
- {"version":3,"file":"factories.d.ts","sourceRoot":"","sources":["../../src/exports/factories.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,GAAG,EACH,QAAQ,EACR,EAAE,EACF,KAAK,EACL,KAAK,EACL,EAAE,EACF,OAAO,EACP,KAAK,EACL,MAAM,GACP,MAAM,cAAc,CAAC"}