@prisma-next/sql-contract 0.8.0 → 0.9.0-dev.1

package/dist/validators-Dm5X-Hvg.mjs.map

@@ -1 +0,0 @@
-{"version":3,"file":"validators-Dm5X-Hvg.mjs","names":[],"sources":["../src/validators.ts"],"sourcesContent":["import type { Contract } from '@prisma-next/contract/types';\nimport { ContractValidationError } from '@prisma-next/contract/validate-contract';\nimport { type } from 'arktype';\nimport type {\n  ForeignKey,\n  ForeignKeyReferences,\n  PrimaryKey,\n  ReferentialAction,\n  SqlStorage,\n  StorageTypeInstance,\n  UniqueConstraint,\n} from './types';\n\ntype ColumnDefaultLiteral = {\n  readonly kind: 'literal';\n  readonly value: string | number | boolean | Record<string, unknown> | unknown[] | null;\n};\ntype ColumnDefaultFunction = { readonly kind: 'function'; readonly expression: string };\nconst literalKindSchema = type(\"'literal'\");\nconst functionKindSchema = type(\"'function'\");\nconst generatorKindSchema = type(\"'generator'\");\nconst generatorIdSchema = type('string').narrow((value, ctx) => {\n  return /^[A-Za-z0-9][A-Za-z0-9_-]*$/.test(value) ? true : ctx.mustBe('a flat generator id');\n});\n\nexport const ColumnDefaultLiteralSchema = type.declare<ColumnDefaultLiteral>().type({\n  kind: literalKindSchema,\n  value: 'string | number | boolean | null | unknown[] | Record<string, unknown>',\n});\n\nexport const ColumnDefaultFunctionSchema = type.declare<ColumnDefaultFunction>().type({\n  kind: functionKindSchema,\n  expression: 'string',\n});\n\nexport const ColumnDefaultSchema = ColumnDefaultLiteralSchema.or(ColumnDefaultFunctionSchema);\n\nconst ExecutionMutationDefaultValueSchema = type({\n  '+': 'reject',\n  kind: generatorKindSchema,\n  id: generatorIdSchema,\n  'params?': 'Record<string, unknown>',\n});\n\nconst ExecutionMutationDefaultSchema = type({\n  '+': 'reject',\n  ref: {\n    '+': 'reject',\n    table: 'string',\n    column: 'string',\n  },\n  'onCreate?': ExecutionMutationDefaultValueSchema,\n  'onUpdate?': ExecutionMutationDefaultValueSchema,\n});\n\nconst ExecutionSchema = type({\n  '+': 'reject',\n  executionHash: 'string',\n  mutations: {\n    '+': 'reject',\n    defaults: ExecutionMutationDefaultSchema.array().readonly(),\n  },\n});\n\nconst StorageColumnSchema = type({\n  '+': 'reject',\n  nativeType: 'string',\n  codecId: 'string',\n  nullable: 'boolean',\n  'typeParams?': 'Record<string, unknown>',\n  'typeRef?': 'string',\n  'default?': ColumnDefaultSchema,\n}).narrow((col, ctx) => {\n  if (col.typeParams !== undefined && col.typeRef !== undefined) {\n    return ctx.mustBe('a column with either typeParams or typeRef, not both');\n  }\n  return true;\n});\n\nconst StorageTypeInstanceSchema = type.declare<StorageTypeInstance>().type({\n  codecId: 'string',\n  nativeType: 'string',\n  typeParams: 'Record<string, unknown>',\n});\n\nconst PrimaryKeySchema = type.declare<PrimaryKey>().type({\n  columns: type.string.array().readonly(),\n  'name?': 'string',\n});\n\nconst UniqueConstraintSchema = type.declare<UniqueConstraint>().type({\n  columns: type.string.array().readonly(),\n  'name?': 'string',\n});\n\nexport const IndexSchema = type({\n  columns: type.string.array().readonly(),\n  'name?': 'string',\n  'type?': 'string',\n  'options?': 'Record<string, unknown>',\n});\n\nexport const ForeignKeyReferencesSchema = type.declare<ForeignKeyReferences>().type({\n  table: 'string',\n  columns: type.string.array().readonly(),\n});\n\nexport const ReferentialActionSchema = type\n  .declare<ReferentialAction>()\n  .type(\"'noAction' | 'restrict' | 'cascade' | 'setNull' | 'setDefault'\");\n\nexport const ForeignKeySchema = type.declare<ForeignKey>().type({\n  columns: type.string.array().readonly(),\n  references: ForeignKeyReferencesSchema,\n  'name?': 'string',\n  'onDelete?': ReferentialActionSchema,\n  'onUpdate?': ReferentialActionSchema,\n  constraint: 'boolean',\n  index: 'boolean',\n});\n\nconst StorageTableSchema = type({\n  '+': 'reject',\n  columns: type({ '[string]': StorageColumnSchema }),\n  'primaryKey?': PrimaryKeySchema,\n  uniques: UniqueConstraintSchema.array().readonly(),\n  indexes: IndexSchema.array().readonly(),\n  foreignKeys: ForeignKeySchema.array().readonly(),\n});\n\nconst StorageSchema = type({\n  '+': 'reject',\n  storageHash: 'string',\n  tables: type({ '[string]': StorageTableSchema }),\n  'types?': type({ '[string]': StorageTypeInstanceSchema }),\n});\n\nfunction isPlainRecord(value: unknown): value is Record<string, unknown> {\n  return typeof value === 'object' && value !== null && !Array.isArray(value);\n}\n\nfunction findDuplicateValue(values: readonly string[]): string | undefined {\n  const seen = new Set<string>();\n  for (const value of values) {\n    if (seen.has(value)) {\n      return value;\n    }\n    seen.add(value);\n  }\n  return undefined;\n}\n\nfunction isContractFieldType(value: unknown): boolean {\n  if (!isPlainRecord(value)) return false;\n  const kind = value['kind'];\n  if (kind === 'scalar') {\n    if (typeof value['codecId'] !== 'string') return false;\n    const typeParams = value['typeParams'];\n    if (typeParams !== undefined && !isPlainRecord(typeParams)) return false;\n    return true;\n  }\n  if (kind === 'valueObject') {\n    return typeof value['name'] === 'string';\n  }\n  if (kind === 'union') {\n    const members = value['members'];\n    if (!Array.isArray(members)) return false;\n    return members.every((m) => isContractFieldType(m));\n  }\n  return false;\n}\n\nconst ContractFieldTypeSchema = type('unknown').narrow((value, ctx) =>\n  isContractFieldType(value) ? true : ctx.mustBe('scalar, valueObject, or union field type'),\n);\n\nconst ModelFieldSchema = type({\n  '+': 'reject',\n  nullable: 'boolean',\n  type: ContractFieldTypeSchema,\n  'many?': 'true',\n  'dict?': 'true',\n});\n\nconst ModelStorageFieldSchema = type({\n  column: 'string',\n  'codecId?': 'string',\n  'nullable?': 'boolean',\n});\n\nconst ModelStorageSchema = type({\n  table: 'string',\n  fields: type({ '[string]': ModelStorageFieldSchema }),\n});\n\nconst ModelSchema = type({\n  storage: ModelStorageSchema,\n  'fields?': type({ '[string]': ModelFieldSchema }),\n  'relations?': type({ '[string]': 'unknown' }),\n  'discriminator?': 'unknown',\n  'variants?': 'unknown',\n  'base?': 'string',\n  'owner?': 'string',\n});\n\nconst ContractMetaSchema = type({\n  '[string]': 'unknown',\n});\n\nconst SqlContractSchema = type({\n  '+': 'reject',\n  target: 'string',\n  targetFamily: \"'sql'\",\n  'coreHash?': 'string',\n  profileHash: 'string',\n  'capabilities?': 'Record<string, Record<string, boolean>>',\n  'extensionPacks?': 'Record<string, unknown>',\n  'meta?': ContractMetaSchema,\n  'roots?': 'Record<string, string>',\n  models: type({ '[string]': ModelSchema }),\n  'valueObjects?': 'Record<string, unknown>',\n  storage: StorageSchema,\n  'execution?': ExecutionSchema,\n});\n\n// NOTE: StorageColumnSchema, StorageTableSchema, and StorageSchema use bare type()\n// instead of type.declare<T>().type() because the ColumnDefault union's value field\n// includes bigint | Date (runtime-only types after decoding) which cannot be expressed\n// in Arktype's JSON validation DSL. The `as SqlStorage` cast in validateStorage() bridges\n// the gap between the JSON-safe Arktype output and the runtime TypeScript type.\n// See decodeContractDefaults() in validate.ts for the decoding step.\n\n/**\n * Validates the structural shape of SqlStorage using Arktype.\n *\n * @param value - The storage value to validate\n * @returns The validated storage if structure is valid\n * @throws Error if the storage structure is invalid\n */\nexport function validateStorage(value: unknown): SqlStorage {\n  const result = StorageSchema(value);\n  if (result instanceof type.errors) {\n    const messages = result.map((p: { message: string }) => p.message).join('; ');\n    throw new Error(`Storage validation failed: ${messages}`);\n  }\n  return result as SqlStorage;\n}\n\nexport function validateModel(value: unknown): unknown {\n  const result = ModelSchema(value);\n  if (result instanceof type.errors) {\n    const messages = result.map((p: { message: string }) => p.message).join('; ');\n    throw new Error(`Model validation failed: ${messages}`);\n  }\n  return result;\n}\n\n/**\n * Validates the structural shape of an SQL contract using Arktype.\n *\n * Ensures all required fields are present and have the correct types,\n * including SQL-specific storage structure (tables, columns, constraints).\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 ContractValidationError if the contract structure is invalid\n */\nexport function validateSqlContract<T extends Contract<SqlStorage>>(value: unknown): T {\n  if (typeof value !== 'object' || value === null) {\n    throw new ContractValidationError(\n      'Contract structural validation failed: value must be an object',\n      'structural',\n    );\n  }\n\n  const rawValue = value as { targetFamily?: string };\n  if (rawValue.targetFamily !== undefined && rawValue.targetFamily !== 'sql') {\n    throw new ContractValidationError(\n      `Unsupported target family: ${rawValue.targetFamily}`,\n      'structural',\n    );\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 ContractValidationError(\n      `Contract structural validation failed: ${messages}`,\n      'structural',\n    );\n  }\n\n  // Arktype's inferred output type differs from T due to exactOptionalPropertyTypes\n  // and branded hash types — the runtime value is structurally compatible after validation\n  return contractResult as unknown as T;\n}\n\n/**\n * Validates semantic constraints on SqlStorage that cannot be expressed in Arktype schemas.\n *\n * Returns an array of human-readable error strings. Empty array = valid.\n *\n * Currently checks:\n * - duplicate named primary key / unique / index / foreign key objects within a table\n * - duplicate unique, index, or foreign key declarations within a table\n * - duplicate columns within primary key / unique / index definitions\n * - nullable columns in primary key definitions\n * - `setNull` referential action on a non-nullable FK column (would fail at runtime)\n * - `setDefault` referential action on a non-nullable FK column without a DEFAULT (would fail at runtime)\n */\nexport function validateStorageSemantics(storage: SqlStorage): string[] {\n  const errors: string[] = [];\n\n  for (const [tableName, table] of Object.entries(storage.tables)) {\n    const namedObjects = new Map<string, string[]>();\n    const registerNamedObject = (kind: string, name: string | undefined) => {\n      if (!name) return;\n      namedObjects.set(name, [...(namedObjects.get(name) ?? []), kind]);\n    };\n\n    registerNamedObject('primary key', table.primaryKey?.name);\n    for (const unique of table.uniques) {\n      registerNamedObject('unique constraint', unique.name);\n    }\n    for (const index of table.indexes) {\n      registerNamedObject('index', index.name);\n    }\n    for (const fk of table.foreignKeys) {\n      registerNamedObject('foreign key', fk.name);\n    }\n\n    for (const [name, kinds] of namedObjects) {\n      if (kinds.length > 1) {\n        errors.push(\n          `Table \"${tableName}\": named object \"${name}\" is declared multiple times (${kinds.join(', ')})`,\n        );\n      }\n    }\n\n    if (table.primaryKey) {\n      const duplicateColumn = findDuplicateValue(table.primaryKey.columns);\n      if (duplicateColumn !== undefined) {\n        errors.push(\n          `Table \"${tableName}\": primary key contains duplicate column \"${duplicateColumn}\"`,\n        );\n      }\n\n      for (const columnName of table.primaryKey.columns) {\n        const column = table.columns[columnName];\n        if (column?.nullable === true) {\n          errors.push(\n            `Table \"${tableName}\": primary key column \"${columnName}\" is nullable; primary key columns must be NOT NULL`,\n          );\n        }\n      }\n    }\n\n    const seenUniqueDefinitions = new Set<string>();\n    for (const unique of table.uniques) {\n      const duplicateColumn = findDuplicateValue(unique.columns);\n      if (duplicateColumn !== undefined) {\n        errors.push(\n          `Table \"${tableName}\": unique constraint contains duplicate column \"${duplicateColumn}\"`,\n        );\n      }\n\n      const signature = JSON.stringify({ columns: unique.columns });\n      if (seenUniqueDefinitions.has(signature)) {\n        errors.push(\n          `Table \"${tableName}\": duplicate unique constraint definition on columns [${unique.columns.join(', ')}]`,\n        );\n        continue;\n      }\n      seenUniqueDefinitions.add(signature);\n    }\n\n    const sortOptions = (o: Record<string, unknown> | undefined): Record<string, unknown> | null =>\n      o ? Object.fromEntries(Object.entries(o).sort(([a], [b]) => a.localeCompare(b))) : null;\n\n    const seenIndexDefinitions = new Set<string>();\n    for (const index of table.indexes) {\n      const duplicateColumn = findDuplicateValue(index.columns);\n      if (duplicateColumn !== undefined) {\n        errors.push(`Table \"${tableName}\": index contains duplicate column \"${duplicateColumn}\"`);\n      }\n\n      const signature = JSON.stringify({\n        columns: index.columns,\n        type: index.type ?? null,\n        options: sortOptions(index.options),\n      });\n      if (seenIndexDefinitions.has(signature)) {\n        errors.push(\n          `Table \"${tableName}\": duplicate index definition on columns [${index.columns.join(', ')}]`,\n        );\n        continue;\n      }\n      seenIndexDefinitions.add(signature);\n    }\n\n    const seenForeignKeyDefinitions = new Set<string>();\n    for (const fk of table.foreignKeys) {\n      const signature = JSON.stringify({\n        columns: fk.columns,\n        references: fk.references,\n        onDelete: fk.onDelete ?? null,\n        onUpdate: fk.onUpdate ?? null,\n        constraint: fk.constraint,\n        index: fk.index,\n      });\n      if (seenForeignKeyDefinitions.has(signature)) {\n        errors.push(\n          `Table \"${tableName}\": duplicate foreign key definition on columns [${fk.columns.join(', ')}]`,\n        );\n        continue;\n      }\n      seenForeignKeyDefinitions.add(signature);\n    }\n\n    for (const fk of table.foreignKeys) {\n      for (const colName of fk.columns) {\n        const column = table.columns[colName];\n        if (!column) continue;\n\n        if (fk.onDelete === 'setNull' && !column.nullable) {\n          errors.push(\n            `Table \"${tableName}\": onDelete setNull on foreign key column \"${colName}\" which is NOT NULL`,\n          );\n        }\n        if (fk.onUpdate === 'setNull' && !column.nullable) {\n          errors.push(\n            `Table \"${tableName}\": onUpdate setNull on foreign key column \"${colName}\" which is NOT NULL`,\n          );\n        }\n        if (fk.onDelete === 'setDefault' && !column.nullable && column.default === undefined) {\n          errors.push(\n            `Table \"${tableName}\": onDelete setDefault on foreign key column \"${colName}\" which is NOT NULL and has no DEFAULT`,\n          );\n        }\n        if (fk.onUpdate === 'setDefault' && !column.nullable && column.default === undefined) {\n          errors.push(\n            `Table \"${tableName}\": onUpdate setDefault on foreign key column \"${colName}\" which is NOT NULL and has no DEFAULT`,\n          );\n        }\n      }\n    }\n  }\n\n  return errors;\n}\n"],"mappings":";;;AAkBA,MAAM,oBAAoB,KAAK,YAAY;AAC3C,MAAM,qBAAqB,KAAK,aAAa;AAC7C,MAAM,sBAAsB,KAAK,cAAc;AAC/C,MAAM,oBAAoB,KAAK,SAAS,CAAC,QAAQ,OAAO,QAAQ;CAC9D,OAAO,8BAA8B,KAAK,MAAM,GAAG,OAAO,IAAI,OAAO,sBAAsB;EAC3F;AAEF,MAAa,6BAA6B,KAAK,SAA+B,CAAC,KAAK;CAClF,MAAM;CACN,OAAO;CACR,CAAC;AAEF,MAAa,8BAA8B,KAAK,SAAgC,CAAC,KAAK;CACpF,MAAM;CACN,YAAY;CACb,CAAC;AAEF,MAAa,sBAAsB,2BAA2B,GAAG,4BAA4B;AAE7F,MAAM,sCAAsC,KAAK;CAC/C,KAAK;CACL,MAAM;CACN,IAAI;CACJ,WAAW;CACZ,CAAC;AAaF,MAAM,kBAAkB,KAAK;CAC3B,KAAK;CACL,eAAe;CACf,WAAW;EACT,KAAK;EACL,UAhBmC,KAAK;GAC1C,KAAK;GACL,KAAK;IACH,KAAK;IACL,OAAO;IACP,QAAQ;IACT;GACD,aAAa;GACb,aAAa;GACd,CAO2C,CAAC,OAAO,CAAC,UAAU;EAC5D;CACF,CAAC;AAEF,MAAM,sBAAsB,KAAK;CAC/B,KAAK;CACL,YAAY;CACZ,SAAS;CACT,UAAU;CACV,eAAe;CACf,YAAY;CACZ,YAAY;CACb,CAAC,CAAC,QAAQ,KAAK,QAAQ;CACtB,IAAI,IAAI,eAAe,KAAA,KAAa,IAAI,YAAY,KAAA,GAClD,OAAO,IAAI,OAAO,uDAAuD;CAE3E,OAAO;EACP;AAEF,MAAM,4BAA4B,KAAK,SAA8B,CAAC,KAAK;CACzE,SAAS;CACT,YAAY;CACZ,YAAY;CACb,CAAC;AAEF,MAAM,mBAAmB,KAAK,SAAqB,CAAC,KAAK;CACvD,SAAS,KAAK,OAAO,OAAO,CAAC,UAAU;CACvC,SAAS;CACV,CAAC;AAEF,MAAM,yBAAyB,KAAK,SAA2B,CAAC,KAAK;CACnE,SAAS,KAAK,OAAO,OAAO,CAAC,UAAU;CACvC,SAAS;CACV,CAAC;AAEF,MAAa,cAAc,KAAK;CAC9B,SAAS,KAAK,OAAO,OAAO,CAAC,UAAU;CACvC,SAAS;CACT,SAAS;CACT,YAAY;CACb,CAAC;AAEF,MAAa,6BAA6B,KAAK,SAA+B,CAAC,KAAK;CAClF,OAAO;CACP,SAAS,KAAK,OAAO,OAAO,CAAC,UAAU;CACxC,CAAC;AAEF,MAAa,0BAA0B,KACpC,SAA4B,CAC5B,KAAK,iEAAiE;AAEzE,MAAa,mBAAmB,KAAK,SAAqB,CAAC,KAAK;CAC9D,SAAS,KAAK,OAAO,OAAO,CAAC,UAAU;CACvC,YAAY;CACZ,SAAS;CACT,aAAa;CACb,aAAa;CACb,YAAY;CACZ,OAAO;CACR,CAAC;AAWF,MAAM,gBAAgB,KAAK;CACzB,KAAK;CACL,aAAa;CACb,QAAQ,KAAK,EAAE,YAZU,KAAK;EAC9B,KAAK;EACL,SAAS,KAAK,EAAE,YAAY,qBAAqB,CAAC;EAClD,eAAe;EACf,SAAS,uBAAuB,OAAO,CAAC,UAAU;EAClD,SAAS,YAAY,OAAO,CAAC,UAAU;EACvC,aAAa,iBAAiB,OAAO,CAAC,UAAU;EACjD,CAK8C,EAAE,CAAC;CAChD,UAAU,KAAK,EAAE,YAAY,2BAA2B,CAAC;CAC1D,CAAC;AAEF,SAAS,cAAc,OAAkD;CACvE,OAAO,OAAO,UAAU,YAAY,UAAU,QAAQ,CAAC,MAAM,QAAQ,MAAM;;AAG7E,SAAS,mBAAmB,QAA+C;CACzE,MAAM,uBAAO,IAAI,KAAa;CAC9B,KAAK,MAAM,SAAS,QAAQ;EAC1B,IAAI,KAAK,IAAI,MAAM,EACjB,OAAO;EAET,KAAK,IAAI,MAAM;;;AAKnB,SAAS,oBAAoB,OAAyB;CACpD,IAAI,CAAC,cAAc,MAAM,EAAE,OAAO;CAClC,MAAM,OAAO,MAAM;CACnB,IAAI,SAAS,UAAU;EACrB,IAAI,OAAO,MAAM,eAAe,UAAU,OAAO;EACjD,MAAM,aAAa,MAAM;EACzB,IAAI,eAAe,KAAA,KAAa,CAAC,cAAc,WAAW,EAAE,OAAO;EACnE,OAAO;;CAET,IAAI,SAAS,eACX,OAAO,OAAO,MAAM,YAAY;CAElC,IAAI,SAAS,SAAS;EACpB,MAAM,UAAU,MAAM;EACtB,IAAI,CAAC,MAAM,QAAQ,QAAQ,EAAE,OAAO;EACpC,OAAO,QAAQ,OAAO,MAAM,oBAAoB,EAAE,CAAC;;CAErD,OAAO;;AAOT,MAAM,mBAAmB,KAAK;CAC5B,KAAK;CACL,UAAU;CACV,MAP8B,KAAK,UAAU,CAAC,QAAQ,OAAO,QAC7D,oBAAoB,MAAM,GAAG,OAAO,IAAI,OAAO,2CAA2C,CAM7D;CAC7B,SAAS;CACT,SAAS;CACV,CAAC;AAaF,MAAM,cAAc,KAAK;CACvB,SANyB,KAAK;EAC9B,OAAO;EACP,QAAQ,KAAK,EAAE,YARe,KAAK;GACnC,QAAQ;GACR,YAAY;GACZ,aAAa;GACd,CAImD,EAAE,CAAC;EACtD,CAG4B;CAC3B,WAAW,KAAK,EAAE,YAAY,kBAAkB,CAAC;CACjD,cAAc,KAAK,EAAE,YAAY,WAAW,CAAC;CAC7C,kBAAkB;CAClB,aAAa;CACb,SAAS;CACT,UAAU;CACX,CAAC;AAMF,MAAM,oBAAoB,KAAK;CAC7B,KAAK;CACL,QAAQ;CACR,cAAc;CACd,aAAa;CACb,aAAa;CACb,iBAAiB;CACjB,mBAAmB;CACnB,SAZyB,KAAK,EAC9B,YAAY,WACb,CAU4B;CAC3B,UAAU;CACV,QAAQ,KAAK,EAAE,YAAY,aAAa,CAAC;CACzC,iBAAiB;CACjB,SAAS;CACT,cAAc;CACf,CAAC;;;;;;;;AAgBF,SAAgB,gBAAgB,OAA4B;CAC1D,MAAM,SAAS,cAAc,MAAM;CACnC,IAAI,kBAAkB,KAAK,QAAQ;EACjC,MAAM,WAAW,OAAO,KAAK,MAA2B,EAAE,QAAQ,CAAC,KAAK,KAAK;EAC7E,MAAM,IAAI,MAAM,8BAA8B,WAAW;;CAE3D,OAAO;;AAGT,SAAgB,cAAc,OAAyB;CACrD,MAAM,SAAS,YAAY,MAAM;CACjC,IAAI,kBAAkB,KAAK,QAAQ;EACjC,MAAM,WAAW,OAAO,KAAK,MAA2B,EAAE,QAAQ,CAAC,KAAK,KAAK;EAC7E,MAAM,IAAI,MAAM,4BAA4B,WAAW;;CAEzD,OAAO;;;;;;;;;;;;AAaT,SAAgB,oBAAoD,OAAmB;CACrF,IAAI,OAAO,UAAU,YAAY,UAAU,MACzC,MAAM,IAAI,wBACR,kEACA,aACD;CAGH,MAAM,WAAW;CACjB,IAAI,SAAS,iBAAiB,KAAA,KAAa,SAAS,iBAAiB,OACnE,MAAM,IAAI,wBACR,8BAA8B,SAAS,gBACvC,aACD;CAGH,MAAM,iBAAiB,kBAAkB,MAAM;CAE/C,IAAI,0BAA0B,KAAK,QAEjC,MAAM,IAAI,wBACR,0CAFe,eAAe,KAAK,MAA2B,EAAE,QAAQ,CAAC,KAAK,KAE5B,IAClD,aACD;CAKH,OAAO;;;;;;;;;;;;;;;AAgBT,SAAgB,yBAAyB,SAA+B;CACtE,MAAM,SAAmB,EAAE;CAE3B,KAAK,MAAM,CAAC,WAAW,UAAU,OAAO,QAAQ,QAAQ,OAAO,EAAE;EAC/D,MAAM,+BAAe,IAAI,KAAuB;EAChD,MAAM,uBAAuB,MAAc,SAA6B;GACtE,IAAI,CAAC,MAAM;GACX,aAAa,IAAI,MAAM,CAAC,GAAI,aAAa,IAAI,KAAK,IAAI,EAAE,EAAG,KAAK,CAAC;;EAGnE,oBAAoB,eAAe,MAAM,YAAY,KAAK;EAC1D,KAAK,MAAM,UAAU,MAAM,SACzB,oBAAoB,qBAAqB,OAAO,KAAK;EAEvD,KAAK,MAAM,SAAS,MAAM,SACxB,oBAAoB,SAAS,MAAM,KAAK;EAE1C,KAAK,MAAM,MAAM,MAAM,aACrB,oBAAoB,eAAe,GAAG,KAAK;EAG7C,KAAK,MAAM,CAAC,MAAM,UAAU,cAC1B,IAAI,MAAM,SAAS,GACjB,OAAO,KACL,UAAU,UAAU,mBAAmB,KAAK,gCAAgC,MAAM,KAAK,KAAK,CAAC,GAC9F;EAIL,IAAI,MAAM,YAAY;GACpB,MAAM,kBAAkB,mBAAmB,MAAM,WAAW,QAAQ;GACpE,IAAI,oBAAoB,KAAA,GACtB,OAAO,KACL,UAAU,UAAU,4CAA4C,gBAAgB,GACjF;GAGH,KAAK,MAAM,cAAc,MAAM,WAAW,SAExC,IADe,MAAM,QAAQ,aACjB,aAAa,MACvB,OAAO,KACL,UAAU,UAAU,yBAAyB,WAAW,qDACzD;;EAKP,MAAM,wCAAwB,IAAI,KAAa;EAC/C,KAAK,MAAM,UAAU,MAAM,SAAS;GAClC,MAAM,kBAAkB,mBAAmB,OAAO,QAAQ;GAC1D,IAAI,oBAAoB,KAAA,GACtB,OAAO,KACL,UAAU,UAAU,kDAAkD,gBAAgB,GACvF;GAGH,MAAM,YAAY,KAAK,UAAU,EAAE,SAAS,OAAO,SAAS,CAAC;GAC7D,IAAI,sBAAsB,IAAI,UAAU,EAAE;IACxC,OAAO,KACL,UAAU,UAAU,wDAAwD,OAAO,QAAQ,KAAK,KAAK,CAAC,GACvG;IACD;;GAEF,sBAAsB,IAAI,UAAU;;EAGtC,MAAM,eAAe,MACnB,IAAI,OAAO,YAAY,OAAO,QAAQ,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,cAAc,EAAE,CAAC,CAAC,GAAG;EAErF,MAAM,uCAAuB,IAAI,KAAa;EAC9C,KAAK,MAAM,SAAS,MAAM,SAAS;GACjC,MAAM,kBAAkB,mBAAmB,MAAM,QAAQ;GACzD,IAAI,oBAAoB,KAAA,GACtB,OAAO,KAAK,UAAU,UAAU,sCAAsC,gBAAgB,GAAG;GAG3F,MAAM,YAAY,KAAK,UAAU;IAC/B,SAAS,MAAM;IACf,MAAM,MAAM,QAAQ;IACpB,SAAS,YAAY,MAAM,QAAQ;IACpC,CAAC;GACF,IAAI,qBAAqB,IAAI,UAAU,EAAE;IACvC,OAAO,KACL,UAAU,UAAU,4CAA4C,MAAM,QAAQ,KAAK,KAAK,CAAC,GAC1F;IACD;;GAEF,qBAAqB,IAAI,UAAU;;EAGrC,MAAM,4CAA4B,IAAI,KAAa;EACnD,KAAK,MAAM,MAAM,MAAM,aAAa;GAClC,MAAM,YAAY,KAAK,UAAU;IAC/B,SAAS,GAAG;IACZ,YAAY,GAAG;IACf,UAAU,GAAG,YAAY;IACzB,UAAU,GAAG,YAAY;IACzB,YAAY,GAAG;IACf,OAAO,GAAG;IACX,CAAC;GACF,IAAI,0BAA0B,IAAI,UAAU,EAAE;IAC5C,OAAO,KACL,UAAU,UAAU,kDAAkD,GAAG,QAAQ,KAAK,KAAK,CAAC,GAC7F;IACD;;GAEF,0BAA0B,IAAI,UAAU;;EAG1C,KAAK,MAAM,MAAM,MAAM,aACrB,KAAK,MAAM,WAAW,GAAG,SAAS;GAChC,MAAM,SAAS,MAAM,QAAQ;GAC7B,IAAI,CAAC,QAAQ;GAEb,IAAI,GAAG,aAAa,aAAa,CAAC,OAAO,UACvC,OAAO,KACL,UAAU,UAAU,6CAA6C,QAAQ,qBAC1E;GAEH,IAAI,GAAG,aAAa,aAAa,CAAC,OAAO,UACvC,OAAO,KACL,UAAU,UAAU,6CAA6C,QAAQ,qBAC1E;GAEH,IAAI,GAAG,aAAa,gBAAgB,CAAC,OAAO,YAAY,OAAO,YAAY,KAAA,GACzE,OAAO,KACL,UAAU,UAAU,gDAAgD,QAAQ,wCAC7E;GAEH,IAAI,GAAG,aAAa,gBAAgB,CAAC,OAAO,YAAY,OAAO,YAAY,KAAA,GACzE,OAAO,KACL,UAAU,UAAU,gDAAgD,QAAQ,wCAC7E;;;CAMT,OAAO"}

package/src/exports/validate.ts

@@ -1 +0,0 @@
-export { validateContract } from '../validate';

package/src/validate.ts

@@ -1,227 +0,0 @@
-import type {
-  ColumnDefaultLiteralInputValue,
-  Contract,
-  ContractField,
-  ContractModel,
-  JsonValue,
-} from '@prisma-next/contract/types';
-import {
-  ContractValidationError,
-  validateContract as frameworkValidateContract,
-} from '@prisma-next/contract/validate-contract';
-import type { CodecLookup } from '@prisma-next/framework-components/codec';
-import type { SqlModelStorage, SqlStorage, StorageColumn, StorageTable } from './types';
-import { validateSqlContract, validateStorageSemantics } from './validators';
-
-type SqlValidationContract = Contract<SqlStorage, Record<string, ContractModel<SqlModelStorage>>>;
-
-function validateModelStorageReferences(contract: SqlValidationContract): void {
-  for (const [modelName, model] of Object.entries(contract.models)) {
-    const storageTable = model.storage.table;
-
-    const table = contract.storage.tables[storageTable] as
-      | (typeof contract.storage.tables)[string]
-      | undefined;
-    if (!table) {
-      throw new ContractValidationError(
-        `Model "${modelName}" references non-existent table "${storageTable}"`,
-        'storage',
-      );
-    }
-
-    const columnNames = new Set(Object.keys(table.columns));
-    for (const [fieldName, field] of Object.entries(model.storage.fields)) {
-      if (!columnNames.has(field.column)) {
-        throw new ContractValidationError(
-          `Model "${modelName}" field "${fieldName}" references non-existent column "${field.column}" in table "${storageTable}"`,
-          'storage',
-        );
-      }
-    }
-
-    const JSON_NATIVE_TYPES = new Set(['json', 'jsonb']);
-    for (const [fieldName, domainField] of Object.entries(model.fields)) {
-      const f = domainField as ContractField;
-      if (f.type?.kind !== 'valueObject') continue;
-      const storageField = model.storage.fields[fieldName];
-      if (!storageField) continue;
-      const column = table.columns[storageField.column];
-      if (!column) continue;
-      if (!JSON_NATIVE_TYPES.has(column.nativeType)) {
-        throw new ContractValidationError(
-          `Model "${modelName}" field "${fieldName}" is a value object but storage column "${storageField.column}" has nativeType "${column.nativeType}" (expected json or jsonb)`,
-          'storage',
-        );
-      }
-    }
-  }
-}
-
-function validateContractLogic(contract: Contract<SqlStorage>): void {
-  const tableNames = new Set(Object.keys(contract.storage.tables));
-
-  for (const [tableName, table] of Object.entries(contract.storage.tables)) {
-    const columnNames = new Set(Object.keys(table.columns));
-
-    if (table.primaryKey) {
-      for (const colName of table.primaryKey.columns) {
-        if (!columnNames.has(colName)) {
-          throw new ContractValidationError(
-            `Table "${tableName}" primaryKey references non-existent column "${colName}"`,
-            'storage',
-          );
-        }
-      }
-    }
-
-    for (const unique of table.uniques) {
-      for (const colName of unique.columns) {
-        if (!columnNames.has(colName)) {
-          throw new ContractValidationError(
-            `Table "${tableName}" unique constraint references non-existent column "${colName}"`,
-            'storage',
-          );
-        }
-      }
-    }
-
-    for (const index of table.indexes) {
-      for (const colName of index.columns) {
-        if (!columnNames.has(colName)) {
-          throw new ContractValidationError(
-            `Table "${tableName}" index references non-existent column "${colName}"`,
-            'storage',
-          );
-        }
-      }
-    }
-
-    for (const [colName, column] of Object.entries(table.columns)) {
-      if (!column.nullable && column.default?.kind === 'literal' && column.default.value === null) {
-        throw new ContractValidationError(
-          `Table "${tableName}" column "${colName}" is NOT NULL but has a literal null default`,
-          'storage',
-        );
-      }
-    }
-
-    for (const fk of table.foreignKeys) {
-      for (const colName of fk.columns) {
-        if (!columnNames.has(colName)) {
-          throw new ContractValidationError(
-            `Table "${tableName}" foreignKey references non-existent column "${colName}"`,
-            'storage',
-          );
-        }
-      }
-
-      if (!tableNames.has(fk.references.table)) {
-        throw new ContractValidationError(
-          `Table "${tableName}" foreignKey references non-existent table "${fk.references.table}"`,
-          'storage',
-        );
-      }
-
-      const referencedTable = contract.storage.tables[fk.references.table];
-      if (!referencedTable) continue;
-      const referencedColumnNames = new Set(Object.keys(referencedTable.columns));
-      for (const colName of fk.references.columns) {
-        if (!referencedColumnNames.has(colName)) {
-          throw new ContractValidationError(
-            `Table "${tableName}" foreignKey references non-existent column "${colName}" in table "${fk.references.table}"`,
-            'storage',
-          );
-        }
-      }
-
-      if (fk.columns.length !== fk.references.columns.length) {
-        throw new ContractValidationError(
-          `Table "${tableName}" foreignKey column count (${fk.columns.length}) does not match referenced column count (${fk.references.columns.length})`,
-          'storage',
-        );
-      }
-    }
-  }
-}
-
-function validateSqlStorage(contract: Contract): void {
-  const sqlContract = validateSqlContract<SqlValidationContract>(contract);
-  validateContractLogic(sqlContract);
-  validateModelStorageReferences(sqlContract);
-  const semanticErrors = validateStorageSemantics(sqlContract.storage);
-  if (semanticErrors.length > 0) {
-    throw new ContractValidationError(
-      `Contract semantic validation failed: ${semanticErrors.join('; ')}`,
-      'storage',
-    );
-  }
-}
-
-function decodeContractDefaults<T extends Contract<SqlStorage>>(
-  contract: T,
-  codecLookup: CodecLookup,
-): T {
-  const tables = contract.storage.tables;
-  let tablesChanged = false;
-  const decodedTables: Record<string, StorageTable> = {};
-
-  for (const [tableName, table] of Object.entries(tables)) {
-    let columnsChanged = false;
-    const decodedColumns: Record<string, StorageColumn> = {};
-
-    for (const [columnName, column] of Object.entries(table.columns)) {
-      if (column.default?.kind === 'literal') {
-        const codec = codecLookup.get(column.codecId);
-        if (codec) {
-          const decodedValue = codec.decodeJson(
-            column.default.value as JsonValue,
-          ) as ColumnDefaultLiteralInputValue;
-          if (decodedValue !== column.default.value) {
-            columnsChanged = true;
-            decodedColumns[columnName] = {
-              ...column,
-              default: { kind: 'literal', value: decodedValue },
-            };
-            continue;
-          }
-        }
-      }
-      decodedColumns[columnName] = column;
-    }
-
-    if (columnsChanged) {
-      tablesChanged = true;
-      decodedTables[tableName] = { ...table, columns: decodedColumns };
-    } else {
-      decodedTables[tableName] = table;
-    }
-  }
-
-  if (!tablesChanged) {
-    return contract;
-  }
-
-  return {
-    ...contract,
-    storage: {
-      ...contract.storage,
-      tables: decodedTables,
-    },
-  } as T;
-}
-
-export function validateContract<TContract extends Contract<SqlStorage>>(
-  value: unknown,
-  codecLookup: CodecLookup,
-): TContract {
-  const validated = frameworkValidateContract<TContract>(value, validateSqlStorage);
-  try {
-    return decodeContractDefaults(validated, codecLookup);
-  } catch (error) {
-    if (error instanceof ContractValidationError) throw error;
-    throw new ContractValidationError(
-      error instanceof Error ? error.message : String(error),
-      'storage',
-    );
-  }
-}