@prisma-next/sql-contract-ts 0.3.0-dev.8 → 0.3.0-pr.100.1

package/README.md

@@ -10,7 +10,7 @@ This package contains the SQL-specific TypeScript contract authoring surface for
 - **Layer**: authoring
 - **Plane**: migration
 
-**Note**: SQL authoring may depend on SQL targets layer (e.g., `@prisma-next/sql-contract-types`) within the same domain.
+**Note**: SQL authoring may depend on SQL core layer (e.g., `@prisma-next/sql-contract/types`) within the same domain.
 
 ## Overview
 
@@ -65,12 +65,34 @@ const contract = defineContract<CodecTypes>()
     t
       .column('id', { type: int4Column, nullable: false })
       .column('email', { type: textColumn, nullable: false })
-      .primaryKey(['id']),
+      .primaryKey(['id'], 'user_pkey')           // Named primary key
+      .unique(['email'], 'user_email_unique')    // Named unique constraint
+      .index(['email'], 'user_email_idx'),       // Named index
+  )
+  .table('post', (t) =>
+    t
+      .column('id', { type: int4Column, nullable: false })
+      .column('userId', { type: int4Column, nullable: false })
+      .column('title', { type: textColumn, nullable: false })
+      .primaryKey(['id'])
+      .foreignKey(['userId'], { table: 'user', columns: ['id'] }, 'post_userId_fkey'),  // Named FK
   )
   .model('User', 'user', (m) => m.field('id', 'id').field('email', 'email'))
+  .model('Post', 'post', (m) => m.field('id', 'id').field('userId', 'userId').field('title', 'title'))
   .build();
 ```
 
+#### Table Builder Methods
+
+The table builder supports the following constraint methods:
+
+| Method | Description |
+|--------|-------------|
+| `.primaryKey(columns, name?)` | Define primary key with optional name |
+| `.unique(columns, name?)` | Add unique constraint with optional name |
+| `.index(columns, name?)` | Add index with optional name |
+| `.foreignKey(columns, references, name?)` | Add foreign key with optional name |
+
 ### Validating Contracts
 
 ```typescript

package/dist/{chunk-SEOX3AAQ.js → chunk-HTNUNGA2.js}

@@ -3,7 +3,14 @@ import { type } from "arktype";
 var StorageColumnSchema = type.declare().type({
   nativeType: "string",
   codecId: "string",
-  nullable: "boolean"
+  nullable: "boolean",
+  "typeParams?": "Record<string, unknown>",
+  "typeRef?": "string"
+});
+var StorageTypeInstanceSchema = type.declare().type({
+  codecId: "string",
+  nativeType: "string",
+  typeParams: "Record<string, unknown>"
 });
 var PrimaryKeySchema = type.declare().type({
   columns: type.string.array().readonly(),
@@ -34,7 +41,8 @@ var StorageTableSchema = type.declare().type({
   foreignKeys: ForeignKeySchema.array().readonly()
 });
 var StorageSchema = type.declare().type({
-  tables: type({ "[string]": StorageTableSchema })
+  tables: type({ "[string]": StorageTableSchema }),
+  "types?": type({ "[string]": StorageTypeInstanceSchema })
 });
 var ModelFieldSchema = type.declare().type({
   column: "string"
@@ -104,6 +112,35 @@ function computeMappings(models, _storage, existingMappings) {
 function validateContractLogic(structurallyValidatedContract) {
   const { storage, models } = structurallyValidatedContract;
   const tableNames = new Set(Object.keys(storage.tables));
+  const typeInstanceNames = new Set(Object.keys(storage.types ?? {}));
+  if (storage.types) {
+    for (const [typeName, typeInstance] of Object.entries(storage.types)) {
+      if (Array.isArray(typeInstance.typeParams)) {
+        throw new Error(
+          `Type instance "${typeName}" has invalid typeParams: must be a plain object, not an array`
+        );
+      }
+    }
+  }
+  for (const [tableName, table] of Object.entries(storage.tables)) {
+    for (const [columnName, column] of Object.entries(table.columns)) {
+      if (column.typeParams !== void 0 && column.typeRef !== void 0) {
+        throw new Error(
+          `Column "${columnName}" in table "${tableName}" has both typeParams and typeRef; these are mutually exclusive`
+        );
+      }
+      if (column.typeParams !== void 0 && Array.isArray(column.typeParams)) {
+        throw new Error(
+          `Column "${columnName}" in table "${tableName}" has invalid typeParams: must be a plain object, not an array`
+        );
+      }
+      if (column.typeRef !== void 0 && !typeInstanceNames.has(column.typeRef)) {
+        throw new Error(
+          `Column "${columnName}" in table "${tableName}" references non-existent type instance "${column.typeRef}" (not found in storage.types)`
+        );
+      }
+    }
+  }
   for (const [modelName, modelUnknown] of Object.entries(models)) {
     const model = modelUnknown;
     if (!model.storage?.table) {
@@ -306,4 +343,4 @@ export {
   computeMappings,
   validateContract
 };
-//# sourceMappingURL=chunk-SEOX3AAQ.js.map
+//# sourceMappingURL=chunk-HTNUNGA2.js.map

package/dist/chunk-HTNUNGA2.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/contract.ts"],"sourcesContent":["import type {\n  ForeignKey,\n  ForeignKeyReferences,\n  Index,\n  ModelDefinition,\n  ModelField,\n  ModelStorage,\n  PrimaryKey,\n  SqlContract,\n  SqlMappings,\n  SqlStorage,\n  StorageColumn,\n  StorageTable,\n  StorageTypeInstance,\n  UniqueConstraint,\n} from '@prisma-next/sql-contract/types';\nimport { type } from 'arktype';\nimport type { O } from 'ts-toolbelt';\n\n/**\n * Structural validation schema for SqlContract using Arktype.\n * This validates the shape and types of the contract structure.\n */\nconst StorageColumnSchema = type.declare<StorageColumn>().type({\n  nativeType: 'string',\n  codecId: 'string',\n  nullable: 'boolean',\n  'typeParams?': 'Record<string, unknown>',\n  'typeRef?': 'string',\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});\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\n/**\n * Complete SqlContract schema for structural validation.\n * This validates the entire contract structure at once.\n */\nconst SqlContractSchema = type({\n  'schemaVersion?': \"'1'\",\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?': 'Record<string, unknown>',\n  'sources?': 'Record<string, unknown>',\n  models: type({ '[string]': ModelSchema }),\n  storage: StorageSchema,\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 */\nfunction validateContractStructure<T extends SqlContract<SqlStorage>>(\n  value: unknown,\n): O.Overwrite<T, { targetFamily: 'sql' }> {\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    /* c8 ignore next */\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 O.Overwrite<T, { targetFamily: 'sql' }>;\n}\n\n/**\n * Computes mapping dictionaries from models and storage structures.\n * Assumes valid input - validation happens separately in validateContractLogic().\n *\n * @param models - Models object from contract\n * @param storage - Storage object from contract\n * @param existingMappings - Existing mappings from contract input (optional)\n * @returns Computed mappings dictionary\n */\nexport function computeMappings(\n  models: Record<string, ModelDefinition>,\n  _storage: SqlStorage,\n  existingMappings?: Partial<SqlMappings>,\n): SqlMappings {\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\n      if (!columnToField[tableName]) {\n        columnToField[tableName] = {};\n      }\n      columnToField[tableName][columnName] = fieldName;\n    }\n    fieldToColumn[modelName] = modelFieldToColumn;\n  }\n\n  // Preserve existing mappings if provided, otherwise use computed ones\n  return {\n    modelToTable: existingMappings?.modelToTable ?? modelToTable,\n    tableToModel: existingMappings?.tableToModel ?? tableToModel,\n    fieldToColumn: existingMappings?.fieldToColumn ?? fieldToColumn,\n    columnToField: existingMappings?.columnToField ?? columnToField,\n    codecTypes: existingMappings?.codecTypes ?? {},\n    operationTypes: existingMappings?.operationTypes ?? {},\n  };\n}\n\n/**\n * Validates logical consistency of a **structurally validated** SqlContract.\n * This checks that references (e.g., foreign keys, primary keys, uniques) point to storage objects that already exist.\n * Structural validation is expected to have already completed before this helper runs.\n *\n * @param structurallyValidatedContract - The contract whose structure has already been validated\n * @throws Error if logical validation fails\n */\nfunction validateContractLogic(structurallyValidatedContract: SqlContract<SqlStorage>): void {\n  const { storage, models } = structurallyValidatedContract;\n  const tableNames = new Set(Object.keys(storage.tables));\n  const typeInstanceNames = new Set(Object.keys(storage.types ?? {}));\n\n  // Validate storage.types if present\n  if (storage.types) {\n    for (const [typeName, typeInstance] of Object.entries(storage.types)) {\n      // Validate typeParams is not an array (arrays are objects in JS but not valid here)\n      if (Array.isArray(typeInstance.typeParams)) {\n        throw new Error(\n          `Type instance \"${typeName}\" has invalid typeParams: must be a plain object, not an array`,\n        );\n      }\n    }\n  }\n\n  // Validate columns in all tables\n  for (const [tableName, table] of Object.entries(storage.tables)) {\n    for (const [columnName, column] of Object.entries(table.columns)) {\n      // Validate typeParams and typeRef are mutually exclusive\n      if (column.typeParams !== undefined && column.typeRef !== undefined) {\n        throw new Error(\n          `Column \"${columnName}\" in table \"${tableName}\" has both typeParams and typeRef; these are mutually exclusive`,\n        );\n      }\n\n      // Validate typeParams is not an array (arrays are objects in JS but not valid here)\n      if (column.typeParams !== undefined && Array.isArray(column.typeParams)) {\n        throw new Error(\n          `Column \"${columnName}\" in table \"${tableName}\" has invalid typeParams: must be a plain object, not an array`,\n        );\n      }\n\n      // Validate typeRef points to an existing storage.types key\n      if (column.typeRef !== undefined && !typeInstanceNames.has(column.typeRef)) {\n        throw new Error(\n          `Column \"${columnName}\" in table \"${tableName}\" references non-existent type instance \"${column.typeRef}\" (not found in storage.types)`,\n        );\n      }\n    }\n  }\n\n  // Validate models\n  for (const [modelName, modelUnknown] of Object.entries(models)) {\n    const model = modelUnknown as ModelDefinition;\n    // Validate model has storage.table\n    if (!model.storage?.table) {\n      /* c8 ignore next */\n      throw new Error(`Model \"${modelName}\" is missing storage.table`);\n    }\n\n    const tableName = model.storage.table;\n\n    // Validate model's table exists in storage\n    if (!tableNames.has(tableName)) {\n      /* c8 ignore next */\n      throw new Error(`Model \"${modelName}\" references non-existent table \"${tableName}\"`);\n    }\n\n    const table = storage.tables[tableName];\n    if (!table) {\n      /* c8 ignore next */\n      throw new Error(`Model \"${modelName}\" references non-existent table \"${tableName}\"`);\n    }\n\n    // Validate model's table has a primary key\n    if (!table.primaryKey) {\n      /* c8 ignore next */\n      throw new Error(`Model \"${modelName}\" table \"${tableName}\" is missing a primary key`);\n    }\n\n    const columnNames = new Set(Object.keys(table.columns));\n\n    // Validate model fields\n    if (!model.fields) {\n      /* c8 ignore next */\n      throw new Error(`Model \"${modelName}\" is missing fields`);\n    }\n\n    for (const [fieldName, fieldUnknown] of Object.entries(model.fields)) {\n      const field = fieldUnknown as { column: string };\n      // Validate field has column property\n      if (!field.column) {\n        /* c8 ignore next */\n        throw new Error(`Model \"${modelName}\" field \"${fieldName}\" is missing column property`);\n      }\n\n      // Validate field's column exists in the model's backing table\n      if (!columnNames.has(field.column)) {\n        /* c8 ignore next */\n        throw new Error(\n          `Model \"${modelName}\" field \"${fieldName}\" references non-existent column \"${field.column}\" in table \"${tableName}\"`,\n        );\n      }\n    }\n\n    // Validate model relations have corresponding foreign keys\n    if (model.relations) {\n      for (const [relationName, relation] of Object.entries(model.relations)) {\n        // For now, we'll do basic validation. Full FK validation can be added later\n        // This would require checking that the relation's on.parentCols/childCols match FKs\n        if (\n          typeof relation === 'object' &&\n          relation !== null &&\n          'on' in relation &&\n          'to' in relation\n        ) {\n          const on = relation.on as { parentCols?: string[]; childCols?: string[] };\n          const cardinality = (relation as { cardinality?: string }).cardinality;\n          if (on.parentCols && on.childCols) {\n            // For 1:N relations, the foreign key is on the child table\n            // For N:1 relations, the foreign key is on the parent table (this table)\n            // For now, we'll skip validation for 1:N relations as the FK is on the child table\n            // and we'll validate it when we process the child model\n            if (cardinality === '1:N') {\n              // Foreign key is on the child table, skip validation here\n              // It will be validated when we process the child model\n              continue;\n            }\n\n            // For N:1 relations, check that there's a foreign key matching this relation\n            const hasMatchingFk = table.foreignKeys?.some((fk) => {\n              return (\n                fk.columns.length === on.childCols?.length &&\n                fk.columns.every((col, i) => col === on.childCols?.[i]) &&\n                fk.references.table &&\n                fk.references.columns.length === on.parentCols?.length &&\n                fk.references.columns.every((col, i) => col === on.parentCols?.[i])\n              );\n            });\n\n            if (!hasMatchingFk) {\n              /* c8 ignore next */\n              throw new Error(\n                `Model \"${modelName}\" relation \"${relationName}\" does not have a corresponding foreign key in table \"${tableName}\"`,\n              );\n            }\n          }\n        }\n      }\n    }\n  }\n\n  for (const [tableName, table] of Object.entries(storage.tables)) {\n    const columnNames = new Set(Object.keys(table.columns));\n\n    // Validate primaryKey references existing columns\n    if (table.primaryKey) {\n      for (const colName of table.primaryKey.columns) {\n        if (!columnNames.has(colName)) {\n          /* c8 ignore next */\n          throw new Error(\n            `Table \"${tableName}\" primaryKey references non-existent column \"${colName}\"`,\n          );\n        }\n      }\n    }\n\n    // Validate unique constraints reference existing columns\n    for (const unique of table.uniques) {\n      for (const colName of unique.columns) {\n        if (!columnNames.has(colName)) {\n          /* c8 ignore next */\n          throw new Error(\n            `Table \"${tableName}\" unique constraint references non-existent column \"${colName}\"`,\n          );\n        }\n      }\n    }\n\n    // Validate indexes reference existing columns\n    for (const index of table.indexes) {\n      for (const colName of index.columns) {\n        if (!columnNames.has(colName)) {\n          /* c8 ignore next */\n          throw new Error(`Table \"${tableName}\" index references non-existent column \"${colName}\"`);\n        }\n      }\n    }\n\n    // Validate foreignKeys reference existing tables and columns\n    for (const fk of table.foreignKeys) {\n      // Validate FK columns exist in the referencing table\n      for (const colName of fk.columns) {\n        if (!columnNames.has(colName)) {\n          /* c8 ignore next */\n          throw new Error(\n            `Table \"${tableName}\" foreignKey references non-existent column \"${colName}\"`,\n          );\n        }\n      }\n\n      // Validate referenced table exists\n      if (!tableNames.has(fk.references.table)) {\n        /* c8 ignore next */\n        throw new Error(\n          `Table \"${tableName}\" foreignKey references non-existent table \"${fk.references.table}\"`,\n        );\n      }\n\n      // Validate referenced columns exist in the referenced table\n      const referencedTable = storage.tables[fk.references.table];\n      if (!referencedTable) {\n        /* c8 ignore next */\n        throw new Error(\n          `Table \"${tableName}\" foreignKey references non-existent table \"${fk.references.table}\"`,\n        );\n      }\n      const referencedColumnNames = new Set(Object.keys(referencedTable.columns));\n\n      for (const colName of fk.references.columns) {\n        if (!referencedColumnNames.has(colName)) {\n          /* c8 ignore next */\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        /* c8 ignore next */\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  const contractObj = contract as Record<string, unknown>;\n\n  // Only normalize if storage exists (validation will catch if it's missing)\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      // Normalize storage 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          // Normalize columns: add nullable: false if missing\n          const normalizedColumns: Record<string, unknown> = {};\n          for (const [columnName, column] of Object.entries(columns)) {\n            const columnObj = column as Record<string, unknown>;\n            const normalizedColumn: Record<string, unknown> = {\n              ...columnObj,\n              nullable: columnObj['nullable'] ?? false,\n            };\n\n            normalizedColumns[columnName] = normalizedColumn;\n          }\n\n          // Normalize table arrays: add empty arrays if missing\n          normalizedTables[tableName] = {\n            ...tableObj,\n            columns: normalizedColumns,\n            uniques: tableObj['uniques'] ?? [],\n            indexes: tableObj['indexes'] ?? [],\n            foreignKeys: tableObj['foreignKeys'] ?? [],\n          };\n        } else {\n          normalizedTables[tableName] = tableObj;\n        }\n      }\n\n      normalizedStorage = {\n        ...storage,\n        tables: normalizedTables,\n      };\n    }\n  }\n\n  // Only normalize if models exists (validation will catch if it's missing)\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  // Normalize top-level fields: add empty objects if missing\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\n/**\n * Validates that a JSON import conforms to the SqlContract structure\n * and returns a fully typed SqlContract.\n *\n * This function is specifically for validating JSON imports (e.g., from contract.json).\n * Contracts created via the builder API (defineContract) are already valid and should\n * not be passed to this function - use them directly without validation.\n *\n * Performs both structural validation (using Arktype) and logical validation\n * (ensuring all references are valid).\n *\n *\n * The type parameter `TContract` must be a fully-typed contract type (e.g., from `contract.d.ts`),\n * NOT a generic `SqlContract<SqlStorage>`.\n *\n * **Correct:**\n * ```typescript\n * import type { Contract } from './contract.d';\n * const contract = validateContract<Contract>(contractJson);\n * ```\n *\n * **Incorrect:**\n * ```typescript\n * import type { SqlContract, SqlStorage } from '@prisma-next/sql-contract/types';\n * const contract = validateContract<SqlContract<SqlStorage>>(contractJson);\n * // ❌ Types will be inferred as 'unknown' - this won't work!\n * ```\n *\n * The type parameter provides the specific table structure, column types, and model definitions.\n * This function validates the runtime structure matches the type, but does not infer types\n * from JSON (as JSON imports lose literal type information).\n *\n * @param value - The contract value to validate (must be from a JSON import, not a builder)\n * @returns A validated contract matching the TContract type\n * @throws Error if the contract structure or logic is invalid\n */\nexport function validateContract<TContract extends SqlContract<SqlStorage>>(\n  value: unknown,\n): TContract {\n  // Normalize contract first (add defaults for missing fields)\n  const normalized = normalizeContract(value);\n\n  const structurallyValid = validateContractStructure<SqlContract<SqlStorage>>(normalized);\n\n  const contractForValidation = structurallyValid as SqlContract<SqlStorage>;\n\n  // Validate contract logic (contracts must already have fully qualified type IDs)\n  validateContractLogic(contractForValidation);\n\n  // Extract existing mappings (optional - will be computed if missing)\n  const existingMappings = (contractForValidation as { mappings?: Partial<SqlMappings> }).mappings;\n\n  // Compute mappings from models and storage\n  const mappings = computeMappings(\n    contractForValidation.models as Record<string, ModelDefinition>,\n    contractForValidation.storage,\n    existingMappings,\n  );\n\n  // Add default values for optional metadata fields if missing\n  const contractWithMappings = {\n    ...structurallyValid,\n    models: contractForValidation.models,\n    relations: contractForValidation.relations,\n    storage: contractForValidation.storage,\n    mappings,\n  };\n\n  // Type assertion: The caller provides the strict type via TContract.\n  // We validate the structure matches, but the precise types come from contract.d.ts\n  return contractWithMappings as TContract;\n}\n"],"mappings":";AAgBA,SAAS,YAAY;AAOrB,IAAM,sBAAsB,KAAK,QAAuB,EAAE,KAAK;AAAA,EAC7D,YAAY;AAAA,EACZ,SAAS;AAAA,EACT,UAAU;AAAA,EACV,eAAe;AAAA,EACf,YAAY;AACd,CAAC;AAED,IAAM,4BAA4B,KAAK,QAA6B,EAAE,KAAK;AAAA,EACzE,SAAS;AAAA,EACT,YAAY;AAAA,EACZ,YAAY;AACd,CAAC;AAED,IAAM,mBAAmB,KAAK,QAAoB,EAAE,KAAK;AAAA,EACvD,SAAS,KAAK,OAAO,MAAM,EAAE,SAAS;AAAA,EACtC,SAAS;AACX,CAAC;AAED,IAAM,yBAAyB,KAAK,QAA0B,EAAE,KAAK;AAAA,EACnE,SAAS,KAAK,OAAO,MAAM,EAAE,SAAS;AAAA,EACtC,SAAS;AACX,CAAC;AAED,IAAM,cAAc,KAAK,QAAe,EAAE,KAAK;AAAA,EAC7C,SAAS,KAAK,OAAO,MAAM,EAAE,SAAS;AAAA,EACtC,SAAS;AACX,CAAC;AAED,IAAM,6BAA6B,KAAK,QAA8B,EAAE,KAAK;AAAA,EAC3E,OAAO;AAAA,EACP,SAAS,KAAK,OAAO,MAAM,EAAE,SAAS;AACxC,CAAC;AAED,IAAM,mBAAmB,KAAK,QAAoB,EAAE,KAAK;AAAA,EACvD,SAAS,KAAK,OAAO,MAAM,EAAE,SAAS;AAAA,EACtC,YAAY;AAAA,EACZ,SAAS;AACX,CAAC;AAED,IAAM,qBAAqB,KAAK,QAAsB,EAAE,KAAK;AAAA,EAC3D,SAAS,KAAK,EAAE,YAAY,oBAAoB,CAAC;AAAA,EACjD,eAAe;AAAA,EACf,SAAS,uBAAuB,MAAM,EAAE,SAAS;AAAA,EACjD,SAAS,YAAY,MAAM,EAAE,SAAS;AAAA,EACtC,aAAa,iBAAiB,MAAM,EAAE,SAAS;AACjD,CAAC;AAED,IAAM,gBAAgB,KAAK,QAAoB,EAAE,KAAK;AAAA,EACpD,QAAQ,KAAK,EAAE,YAAY,mBAAmB,CAAC;AAAA,EAC/C,UAAU,KAAK,EAAE,YAAY,0BAA0B,CAAC;AAC1D,CAAC;AAED,IAAM,mBAAmB,KAAK,QAAoB,EAAE,KAAK;AAAA,EACvD,QAAQ;AACV,CAAC;AAED,IAAM,qBAAqB,KAAK,QAAsB,EAAE,KAAK;AAAA,EAC3D,OAAO;AACT,CAAC;AAED,IAAM,cAAc,KAAK,QAAyB,EAAE,KAAK;AAAA,EACvD,SAAS;AAAA,EACT,QAAQ,KAAK,EAAE,YAAY,iBAAiB,CAAC;AAAA,EAC7C,WAAW,KAAK,EAAE,YAAY,UAAU,CAAC;AAC3C,CAAC;AAMD,IAAM,oBAAoB,KAAK;AAAA,EAC7B,kBAAkB;AAAA,EAClB,QAAQ;AAAA,EACR,cAAc;AAAA,EACd,UAAU;AAAA,EACV,gBAAgB;AAAA,EAChB,iBAAiB;AAAA,EACjB,mBAAmB;AAAA,EACnB,SAAS;AAAA,EACT,YAAY;AAAA,EACZ,QAAQ,KAAK,EAAE,YAAY,YAAY,CAAC;AAAA,EACxC,SAAS;AACX,CAAC;AAkBD,SAAS,0BACP,OACyC;AAEzC,QAAM,WAAW;AACjB,MAAI,SAAS,iBAAiB,UAAa,SAAS,iBAAiB,OAAO;AAE1E,UAAM,IAAI,MAAM,8BAA8B,SAAS,YAAY,EAAE;AAAA,EACvE;AAEA,QAAM,iBAAiB,kBAAkB,KAAK;AAE9C,MAAI,0BAA0B,KAAK,QAAQ;AACzC,UAAM,WAAW,eAAe,IAAI,CAAC,MAA2B,EAAE,OAAO,EAAE,KAAK,IAAI;AACpF,UAAM,IAAI,MAAM,0CAA0C,QAAQ,EAAE;AAAA,EACtE;AAKA,SAAO;AACT;AAWO,SAAS,gBACd,QACA,UACA,kBACa;AACb,QAAM,eAAuC,CAAC;AAC9C,QAAM,eAAuC,CAAC;AAC9C,QAAM,gBAAwD,CAAC;AAC/D,QAAM,gBAAwD,CAAC;AAE/D,aAAW,CAAC,WAAW,KAAK,KAAK,OAAO,QAAQ,MAAM,GAAG;AACvD,UAAM,YAAY,MAAM,QAAQ;AAChC,iBAAa,SAAS,IAAI;AAC1B,iBAAa,SAAS,IAAI;AAE1B,UAAM,qBAA6C,CAAC;AACpD,eAAW,CAAC,WAAW,KAAK,KAAK,OAAO,QAAQ,MAAM,MAAM,GAAG;AAC7D,YAAM,aAAa,MAAM;AACzB,yBAAmB,SAAS,IAAI;AAEhC,UAAI,CAAC,cAAc,SAAS,GAAG;AAC7B,sBAAc,SAAS,IAAI,CAAC;AAAA,MAC9B;AACA,oBAAc,SAAS,EAAE,UAAU,IAAI;AAAA,IACzC;AACA,kBAAc,SAAS,IAAI;AAAA,EAC7B;AAGA,SAAO;AAAA,IACL,cAAc,kBAAkB,gBAAgB;AAAA,IAChD,cAAc,kBAAkB,gBAAgB;AAAA,IAChD,eAAe,kBAAkB,iBAAiB;AAAA,IAClD,eAAe,kBAAkB,iBAAiB;AAAA,IAClD,YAAY,kBAAkB,cAAc,CAAC;AAAA,IAC7C,gBAAgB,kBAAkB,kBAAkB,CAAC;AAAA,EACvD;AACF;AAUA,SAAS,sBAAsB,+BAA8D;AAC3F,QAAM,EAAE,SAAS,OAAO,IAAI;AAC5B,QAAM,aAAa,IAAI,IAAI,OAAO,KAAK,QAAQ,MAAM,CAAC;AACtD,QAAM,oBAAoB,IAAI,IAAI,OAAO,KAAK,QAAQ,SAAS,CAAC,CAAC,CAAC;AAGlE,MAAI,QAAQ,OAAO;AACjB,eAAW,CAAC,UAAU,YAAY,KAAK,OAAO,QAAQ,QAAQ,KAAK,GAAG;AAEpE,UAAI,MAAM,QAAQ,aAAa,UAAU,GAAG;AAC1C,cAAM,IAAI;AAAA,UACR,kBAAkB,QAAQ;AAAA,QAC5B;AAAA,MACF;AAAA,IACF;AAAA,EACF;AAGA,aAAW,CAAC,WAAW,KAAK,KAAK,OAAO,QAAQ,QAAQ,MAAM,GAAG;AAC/D,eAAW,CAAC,YAAY,MAAM,KAAK,OAAO,QAAQ,MAAM,OAAO,GAAG;AAEhE,UAAI,OAAO,eAAe,UAAa,OAAO,YAAY,QAAW;AACnE,cAAM,IAAI;AAAA,UACR,WAAW,UAAU,eAAe,SAAS;AAAA,QAC/C;AAAA,MACF;AAGA,UAAI,OAAO,eAAe,UAAa,MAAM,QAAQ,OAAO,UAAU,GAAG;AACvE,cAAM,IAAI;AAAA,UACR,WAAW,UAAU,eAAe,SAAS;AAAA,QAC/C;AAAA,MACF;AAGA,UAAI,OAAO,YAAY,UAAa,CAAC,kBAAkB,IAAI,OAAO,OAAO,GAAG;AAC1E,cAAM,IAAI;AAAA,UACR,WAAW,UAAU,eAAe,SAAS,4CAA4C,OAAO,OAAO;AAAA,QACzG;AAAA,MACF;AAAA,IACF;AAAA,EACF;AAGA,aAAW,CAAC,WAAW,YAAY,KAAK,OAAO,QAAQ,MAAM,GAAG;AAC9D,UAAM,QAAQ;AAEd,QAAI,CAAC,MAAM,SAAS,OAAO;AAEzB,YAAM,IAAI,MAAM,UAAU,SAAS,4BAA4B;AAAA,IACjE;AAEA,UAAM,YAAY,MAAM,QAAQ;AAGhC,QAAI,CAAC,WAAW,IAAI,SAAS,GAAG;AAE9B,YAAM,IAAI,MAAM,UAAU,SAAS,oCAAoC,SAAS,GAAG;AAAA,IACrF;AAEA,UAAM,QAAQ,QAAQ,OAAO,SAAS;AACtC,QAAI,CAAC,OAAO;AAEV,YAAM,IAAI,MAAM,UAAU,SAAS,oCAAoC,SAAS,GAAG;AAAA,IACrF;AAGA,QAAI,CAAC,MAAM,YAAY;AAErB,YAAM,IAAI,MAAM,UAAU,SAAS,YAAY,SAAS,4BAA4B;AAAA,IACtF;AAEA,UAAM,cAAc,IAAI,IAAI,OAAO,KAAK,MAAM,OAAO,CAAC;AAGtD,QAAI,CAAC,MAAM,QAAQ;AAEjB,YAAM,IAAI,MAAM,UAAU,SAAS,qBAAqB;AAAA,IAC1D;AAEA,eAAW,CAAC,WAAW,YAAY,KAAK,OAAO,QAAQ,MAAM,MAAM,GAAG;AACpE,YAAM,QAAQ;AAEd,UAAI,CAAC,MAAM,QAAQ;AAEjB,cAAM,IAAI,MAAM,UAAU,SAAS,YAAY,SAAS,8BAA8B;AAAA,MACxF;AAGA,UAAI,CAAC,YAAY,IAAI,MAAM,MAAM,GAAG;AAElC,cAAM,IAAI;AAAA,UACR,UAAU,SAAS,YAAY,SAAS,qCAAqC,MAAM,MAAM,eAAe,SAAS;AAAA,QACnH;AAAA,MACF;AAAA,IACF;AAGA,QAAI,MAAM,WAAW;AACnB,iBAAW,CAAC,cAAc,QAAQ,KAAK,OAAO,QAAQ,MAAM,SAAS,GAAG;AAGtE,YACE,OAAO,aAAa,YACpB,aAAa,QACb,QAAQ,YACR,QAAQ,UACR;AACA,gBAAM,KAAK,SAAS;AACpB,gBAAM,cAAe,SAAsC;AAC3D,cAAI,GAAG,cAAc,GAAG,WAAW;AAKjC,gBAAI,gBAAgB,OAAO;AAGzB;AAAA,YACF;AAGA,kBAAM,gBAAgB,MAAM,aAAa,KAAK,CAAC,OAAO;AACpD,qBACE,GAAG,QAAQ,WAAW,GAAG,WAAW,UACpC,GAAG,QAAQ,MAAM,CAAC,KAAK,MAAM,QAAQ,GAAG,YAAY,CAAC,CAAC,KACtD,GAAG,WAAW,SACd,GAAG,WAAW,QAAQ,WAAW,GAAG,YAAY,UAChD,GAAG,WAAW,QAAQ,MAAM,CAAC,KAAK,MAAM,QAAQ,GAAG,aAAa,CAAC,CAAC;AAAA,YAEtE,CAAC;AAED,gBAAI,CAAC,eAAe;AAElB,oBAAM,IAAI;AAAA,gBACR,UAAU,SAAS,eAAe,YAAY,yDAAyD,SAAS;AAAA,cAClH;AAAA,YACF;AAAA,UACF;AAAA,QACF;AAAA,MACF;AAAA,IACF;AAAA,EACF;AAEA,aAAW,CAAC,WAAW,KAAK,KAAK,OAAO,QAAQ,QAAQ,MAAM,GAAG;AAC/D,UAAM,cAAc,IAAI,IAAI,OAAO,KAAK,MAAM,OAAO,CAAC;AAGtD,QAAI,MAAM,YAAY;AACpB,iBAAW,WAAW,MAAM,WAAW,SAAS;AAC9C,YAAI,CAAC,YAAY,IAAI,OAAO,GAAG;AAE7B,gBAAM,IAAI;AAAA,YACR,UAAU,SAAS,gDAAgD,OAAO;AAAA,UAC5E;AAAA,QACF;AAAA,MACF;AAAA,IACF;AAGA,eAAW,UAAU,MAAM,SAAS;AAClC,iBAAW,WAAW,OAAO,SAAS;AACpC,YAAI,CAAC,YAAY,IAAI,OAAO,GAAG;AAE7B,gBAAM,IAAI;AAAA,YACR,UAAU,SAAS,uDAAuD,OAAO;AAAA,UACnF;AAAA,QACF;AAAA,MACF;AAAA,IACF;AAGA,eAAW,SAAS,MAAM,SAAS;AACjC,iBAAW,WAAW,MAAM,SAAS;AACnC,YAAI,CAAC,YAAY,IAAI,OAAO,GAAG;AAE7B,gBAAM,IAAI,MAAM,UAAU,SAAS,2CAA2C,OAAO,GAAG;AAAA,QAC1F;AAAA,MACF;AAAA,IACF;AAGA,eAAW,MAAM,MAAM,aAAa;AAElC,iBAAW,WAAW,GAAG,SAAS;AAChC,YAAI,CAAC,YAAY,IAAI,OAAO,GAAG;AAE7B,gBAAM,IAAI;AAAA,YACR,UAAU,SAAS,gDAAgD,OAAO;AAAA,UAC5E;AAAA,QACF;AAAA,MACF;AAGA,UAAI,CAAC,WAAW,IAAI,GAAG,WAAW,KAAK,GAAG;AAExC,cAAM,IAAI;AAAA,UACR,UAAU,SAAS,+CAA+C,GAAG,WAAW,KAAK;AAAA,QACvF;AAAA,MACF;AAGA,YAAM,kBAAkB,QAAQ,OAAO,GAAG,WAAW,KAAK;AAC1D,UAAI,CAAC,iBAAiB;AAEpB,cAAM,IAAI;AAAA,UACR,UAAU,SAAS,+CAA+C,GAAG,WAAW,KAAK;AAAA,QACvF;AAAA,MACF;AACA,YAAM,wBAAwB,IAAI,IAAI,OAAO,KAAK,gBAAgB,OAAO,CAAC;AAE1E,iBAAW,WAAW,GAAG,WAAW,SAAS;AAC3C,YAAI,CAAC,sBAAsB,IAAI,OAAO,GAAG;AAEvC,gBAAM,IAAI;AAAA,YACR,UAAU,SAAS,gDAAgD,OAAO,eAAe,GAAG,WAAW,KAAK;AAAA,UAC9G;AAAA,QACF;AAAA,MACF;AAEA,UAAI,GAAG,QAAQ,WAAW,GAAG,WAAW,QAAQ,QAAQ;AAEtD,cAAM,IAAI;AAAA,UACR,UAAU,SAAS,8BAA8B,GAAG,QAAQ,MAAM,6CAA6C,GAAG,WAAW,QAAQ,MAAM;AAAA,QAC7I;AAAA,MACF;AAAA,IACF;AAAA,EACF;AACF;AAEO,SAAS,kBAAkB,UAA4C;AAC5E,QAAM,cAAc;AAGpB,MAAI,oBAAoB,YAAY,SAAS;AAC7C,MAAI,qBAAqB,OAAO,sBAAsB,YAAY,sBAAsB,MAAM;AAC5F,UAAM,UAAU;AAChB,UAAM,SAAS,QAAQ,QAAQ;AAE/B,QAAI,QAAQ;AAEV,YAAM,mBAA4C,CAAC;AACnD,iBAAW,CAAC,WAAW,KAAK,KAAK,OAAO,QAAQ,MAAM,GAAG;AACvD,cAAM,WAAW;AACjB,cAAM,UAAU,SAAS,SAAS;AAElC,YAAI,SAAS;AAEX,gBAAM,oBAA6C,CAAC;AACpD,qBAAW,CAAC,YAAY,MAAM,KAAK,OAAO,QAAQ,OAAO,GAAG;AAC1D,kBAAM,YAAY;AAClB,kBAAM,mBAA4C;AAAA,cAChD,GAAG;AAAA,cACH,UAAU,UAAU,UAAU,KAAK;AAAA,YACrC;AAEA,8BAAkB,UAAU,IAAI;AAAA,UAClC;AAGA,2BAAiB,SAAS,IAAI;AAAA,YAC5B,GAAG;AAAA,YACH,SAAS;AAAA,YACT,SAAS,SAAS,SAAS,KAAK,CAAC;AAAA,YACjC,SAAS,SAAS,SAAS,KAAK,CAAC;AAAA,YACjC,aAAa,SAAS,aAAa,KAAK,CAAC;AAAA,UAC3C;AAAA,QACF,OAAO;AACL,2BAAiB,SAAS,IAAI;AAAA,QAChC;AAAA,MACF;AAEA,0BAAoB;AAAA,QAClB,GAAG;AAAA,QACH,QAAQ;AAAA,MACV;AAAA,IACF;AAAA,EACF;AAGA,MAAI,mBAAmB,YAAY,QAAQ;AAC3C,MAAI,oBAAoB,OAAO,qBAAqB,YAAY,qBAAqB,MAAM;AACzF,UAAM,SAAS;AACf,UAAM,sBAA+C,CAAC;AACtD,eAAW,CAAC,WAAW,KAAK,KAAK,OAAO,QAAQ,MAAM,GAAG;AACvD,YAAM,WAAW;AACjB,0BAAoB,SAAS,IAAI;AAAA,QAC/B,GAAG;AAAA,QACH,WAAW,SAAS,WAAW,KAAK,CAAC;AAAA,MACvC;AAAA,IACF;AACA,uBAAmB;AAAA,EACrB;AAGA,SAAO;AAAA,IACL,GAAG;AAAA,IACH,QAAQ;AAAA,IACR,WAAW,YAAY,WAAW,KAAK,CAAC;AAAA,IACxC,SAAS;AAAA,IACT,gBAAgB,YAAY,gBAAgB,KAAK,CAAC;AAAA,IAClD,cAAc,YAAY,cAAc,KAAK,CAAC;AAAA,IAC9C,MAAM,YAAY,MAAM,KAAK,CAAC;AAAA,IAC9B,SAAS,YAAY,SAAS,KAAK,CAAC;AAAA,EACtC;AACF;AAsCO,SAAS,iBACd,OACW;AAEX,QAAM,aAAa,kBAAkB,KAAK;AAE1C,QAAM,oBAAoB,0BAAmD,UAAU;AAEvF,QAAM,wBAAwB;AAG9B,wBAAsB,qBAAqB;AAG3C,QAAM,mBAAoB,sBAA8D;AAGxF,QAAM,WAAW;AAAA,IACf,sBAAsB;AAAA,IACtB,sBAAsB;AAAA,IACtB;AAAA,EACF;AAGA,QAAM,uBAAuB;AAAA,IAC3B,GAAG;AAAA,IACH,QAAQ,sBAAsB;AAAA,IAC9B,WAAW,sBAAsB;AAAA,IACjC,SAAS,sBAAsB;AAAA,IAC/B;AAAA,EACF;AAIA,SAAO;AACT;","names":[]}

package/dist/contract-builder.d.ts

@@ -24,12 +24,26 @@ type BuildStorageTable<_TableName extends string, Columns extends Record<string,
     readonly columns: {
         readonly [K in keyof Columns]: Columns[K] extends ColumnBuilderState<string, infer Null, infer TType> ? BuildStorageColumn<Null & boolean, TType> : never;
     };
-    readonly uniques: ReadonlyArray<never>;
-    readonly indexes: ReadonlyArray<never>;
-    readonly foreignKeys: ReadonlyArray<never>;
+    readonly uniques: ReadonlyArray<{
+        readonly columns: readonly string[];
+        readonly name?: string;
+    }>;
+    readonly indexes: ReadonlyArray<{
+        readonly columns: readonly string[];
+        readonly name?: string;
+    }>;
+    readonly foreignKeys: ReadonlyArray<{
+        readonly columns: readonly string[];
+        readonly references: {
+            readonly table: string;
+            readonly columns: readonly string[];
+        };
+        readonly name?: string;
+    }>;
 } & (PK extends readonly string[] ? {
     readonly primaryKey: {
         readonly columns: PK;
+        readonly name?: string;
     };
 } : Record<string, never>);
 type BuildStorage<Tables extends Record<string, TableBuilderState<string, Record<string, ColumnBuilderState<string, boolean, string>>, readonly string[] | undefined>>> = {

package/dist/contract-builder.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"contract-builder.d.ts","sourceRoot":"","sources":["../src/contract-builder.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,4CAA4C,CAAC;AAClG,OAAO,KAAK,EACV,kBAAkB,EAClB,iBAAiB,EACjB,kBAAkB,EAClB,iBAAiB,EAClB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EACL,KAAK,WAAW,EAChB,KAAK,cAAc,EACnB,KAAK,kBAAkB,EACvB,eAAe,EACf,KAAK,cAAc,EACnB,KAAK,iBAAiB,EACtB,YAAY,EAEZ,YAAY,EACb,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EAGV,WAAW,EACX,WAAW,EAEZ,MAAM,iCAAiC,CAAC;AAGzC;;;;;;;;;;;GAWG;AACH,KAAK,uBAAuB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE;IAAE,MAAM,EAAE,OAAO,CAAA;CAAE,CAAC,IAAI,IAAI,CAChF,WAAW,EACX,YAAY,GAAG,gBAAgB,CAChC,GAAG;IACF,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC;IACvB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;CAChD,CAAC;AAEF,KAAK,iBAAiB,CACpB,UAAU,SAAS,MAAM,EACzB,OAAO,SAAS,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,EAC3E,EAAE,SAAS,SAAS,MAAM,EAAE,GAAG,SAAS,IACtC;IACF,QAAQ,CAAC,OAAO,EAAE;QAChB,QAAQ,EAAE,CAAC,IAAI,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,kBAAkB,CAClE,MAAM,EACN,MAAM,IAAI,EACV,MAAM,KAAK,CACZ,GACG,kBAAkB,CAAC,IAAI,GAAG,OAAO,EAAE,KAAK,CAAC,GACzC,KAAK;KACV,CAAC;IACF,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC;IACvC,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC;CAC5C,GAAG,CAAC,EAAE,SAAS,SAAS,MAAM,EAAE,GAC7B;IAAE,QAAQ,CAAC,UAAU,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAA;KAAE,CAAA;CAAE,GACjD,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;AAE3B,KAAK,YAAY,CACf,MAAM,SAAS,MAAM,CACnB,MAAM,EACN,iBAAiB,CACf,MAAM,EACN,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,EAC3D,SAAS,MAAM,EAAE,GAAG,SAAS,CAC9B,CACF,IACC;IACF,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,EAAE,CAAC,IAAI,MAAM,MAAM,GAAG,iBAAiB,CAC7C,CAAC,GAAG,MAAM,EACV,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EACzB,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAC7B;KACF,CAAC;CACH,CAAC;AAmBF,MAAM,WAAW,aAAa,CAAC,IAAI,SAAS,MAAM,EAAE,QAAQ,SAAS,OAAO,EAAE,IAAI,SAAS,MAAM;IAC/F,QAAQ,CAAC,KAAK,SAAS,OAAO,EAAE,KAAK,CAAC,EAAE,KAAK,GAAG,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IACjF,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,EAAE,EAAE,EAAE,GAAG,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;IACnE,KAAK,IAAI,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;CACnD;AAED,cAAM,kBAAkB,CACtB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE;IAAE,MAAM,EAAE,OAAO,CAAA;CAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,EAC9E,MAAM,SAAS,MAAM,GAAG,SAAS,GAAG,SAAS,EAC7C,MAAM,SAAS,MAAM,CACnB,MAAM,EACN,iBAAiB,CACf,MAAM,EACN,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,EAC3D,SAAS,MAAM,EAAE,GAAG,SAAS,CAC9B,CACF,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EACxB,MAAM,SAAS,MAAM,CACnB,MAAM,EACN,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC,CAC9F,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EACxB,QAAQ,SAAS,MAAM,GAAG,SAAS,GAAG,SAAS,EAC/C,cAAc,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,GAAG,SAAS,EACtE,YAAY,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,SAAS,GAAG,SAAS,CACpF,SAAQ,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,cAAc,EAAE,YAAY,CAAC;IACvF;;;;;;;;;;;;;;;;;OAiBG;IACH,KAAK,IAAI,MAAM,SAAS,MAAM,GAC1B,WAAW,CACT,YAAY,CAAC,MAAM,CAAC,EACpB,WAAW,CAAC,MAAM,CAAC,EACnB,cAAc,CAAC,MAAM,CAAC,EACtB,uBAAuB,CAAC,UAAU,CAAC,CACpC,GAAG;QACF,QAAQ,CAAC,aAAa,EAAE,GAAG,CAAC;QAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,YAAY,EAAE,KAAK,CAAC;QAC7B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,SAAS,MAAM,GAAG,QAAQ,GAAG,MAAM,CAAC;KAChE,GAAG,CAAC,cAAc,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC7C;QAAE,QAAQ,CAAC,cAAc,EAAE,cAAc,CAAA;KAAE,GAC3C,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,GAC1B,CAAC,YAAY,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACzD;QAAE,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAA;KAAE,GACvC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,GAC5B,KAAK;IAkNA,MAAM,CAAC,CAAC,SAAS,MAAM,EAC9B,OAAO,EAAE,aAAa,CAAC,KAAK,EAAE,CAAC,CAAC,GAC/B,kBAAkB,CAAC,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,cAAc,EAAE,YAAY,CAAC;IAe5F,cAAc,CACZ,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,GACrD,kBAAkB,CACnB,UAAU,EACV,MAAM,EACN,MAAM,EACN,MAAM,EACN,QAAQ,EACR,cAAc,EACd,YAAY,CACb;IA6CQ,YAAY,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACrE,YAAY,EAAE,CAAC,GACd,kBAAkB,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC,CAAC;IAO7E,QAAQ,CAAC,CAAC,SAAS,MAAM,EAChC,IAAI,EAAE,CAAC,GACN,kBAAkB,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,cAAc,EAAE,YAAY,CAAC;IAejF,KAAK,CACZ,SAAS,SAAS,MAAM,EACxB,CAAC,SAAS,YAAY,CACpB,SAAS,EACT,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,EAC3D,SAAS,MAAM,EAAE,GAAG,SAAS,CAC9B,EAED,IAAI,EAAE,SAAS,EACf,QAAQ,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,SAAS,GACtD,kBAAkB,CACnB,UAAU,EACV,MAAM,EACN,MAAM,GAAG,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAClD,MAAM,EACN,QAAQ,EACR,cAAc,EACd,YAAY,CACb;IAqBQ,KAAK,CACZ,SAAS,SAAS,MAAM,EACxB,SAAS,SAAS,MAAM,EACxB,CAAC,SAAS,YAAY,CACpB,SAAS,EACT,SAAS,EACT,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EACtB,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CACnC,EAED,IAAI,EAAE,SAAS,EACf,KAAK,EAAE,SAAS,EAChB,QAAQ,EAAE,CACR,CAAC,EAAE,YAAY,CAAC,SAAS,EAAE,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,KAChF,CAAC,GAAG,SAAS,GACjB,kBAAkB,CACnB,UAAU,EACV,MAAM,EACN,MAAM,EACN,MAAM,GAAG,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAClD,QAAQ,EACR,cAAc,EACd,YAAY,CACb;CAoBF;AAED,wBAAgB,cAAc,CAC5B,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE;IAAE,MAAM,EAAE,OAAO,CAAA;CAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,KAC3E,kBAAkB,CAAC,UAAU,CAAC,CAElC"}
+{"version":3,"file":"contract-builder.d.ts","sourceRoot":"","sources":["../src/contract-builder.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,4CAA4C,CAAC;AAClG,OAAO,KAAK,EACV,kBAAkB,EAClB,iBAAiB,EACjB,kBAAkB,EAClB,iBAAiB,EAClB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EACL,KAAK,WAAW,EAChB,KAAK,cAAc,EACnB,KAAK,kBAAkB,EACvB,eAAe,EAEf,KAAK,cAAc,EACnB,KAAK,iBAAiB,EACtB,YAAY,EAEZ,YAAY,EACb,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EAGV,WAAW,EACX,WAAW,EAEZ,MAAM,iCAAiC,CAAC;AAGzC;;;;;;;;;;;GAWG;AACH,KAAK,uBAAuB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE;IAAE,MAAM,EAAE,OAAO,CAAA;CAAE,CAAC,IAAI,IAAI,CAChF,WAAW,EACX,YAAY,GAAG,gBAAgB,CAChC,GAAG;IACF,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC;IACvB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;CAChD,CAAC;AAEF,KAAK,iBAAiB,CACpB,UAAU,SAAS,MAAM,EACzB,OAAO,SAAS,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,EAC3E,EAAE,SAAS,SAAS,MAAM,EAAE,GAAG,SAAS,IACtC;IACF,QAAQ,CAAC,OAAO,EAAE;QAChB,QAAQ,EAAE,CAAC,IAAI,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,kBAAkB,CAClE,MAAM,EACN,MAAM,IAAI,EACV,MAAM,KAAK,CACZ,GACG,kBAAkB,CAAC,IAAI,GAAG,OAAO,EAAE,KAAK,CAAC,GACzC,KAAK;KACV,CAAC;IACF,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;QAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;QAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACjG,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;QAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;QAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACjG,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC;QAClC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;QACpC,QAAQ,CAAC,UAAU,EAAE;YAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;YAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;SAAE,CAAC;QACrF,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;KACxB,CAAC,CAAC;CACJ,GAAG,CAAC,EAAE,SAAS,SAAS,MAAM,EAAE,GAC7B;IAAE,QAAQ,CAAC,UAAU,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC;QAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;KAAE,CAAA;CAAE,GACzE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;AAE3B,KAAK,YAAY,CACf,MAAM,SAAS,MAAM,CACnB,MAAM,EACN,iBAAiB,CACf,MAAM,EACN,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,EAC3D,SAAS,MAAM,EAAE,GAAG,SAAS,CAC9B,CACF,IACC;IACF,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,EAAE,CAAC,IAAI,MAAM,MAAM,GAAG,iBAAiB,CAC7C,CAAC,GAAG,MAAM,EACV,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EACzB,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAC7B;KACF,CAAC;CACH,CAAC;AAmBF,MAAM,WAAW,aAAa,CAAC,IAAI,SAAS,MAAM,EAAE,QAAQ,SAAS,OAAO,EAAE,IAAI,SAAS,MAAM;IAC/F,QAAQ,CAAC,KAAK,SAAS,OAAO,EAAE,KAAK,CAAC,EAAE,KAAK,GAAG,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IACjF,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,EAAE,EAAE,EAAE,GAAG,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;IACnE,KAAK,IAAI,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;CACnD;AAED,cAAM,kBAAkB,CACtB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE;IAAE,MAAM,EAAE,OAAO,CAAA;CAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,EAC9E,MAAM,SAAS,MAAM,GAAG,SAAS,GAAG,SAAS,EAC7C,MAAM,SAAS,MAAM,CACnB,MAAM,EACN,iBAAiB,CACf,MAAM,EACN,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,EAC3D,SAAS,MAAM,EAAE,GAAG,SAAS,CAC9B,CACF,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EACxB,MAAM,SAAS,MAAM,CACnB,MAAM,EACN,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC,CAC9F,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EACxB,QAAQ,SAAS,MAAM,GAAG,SAAS,GAAG,SAAS,EAC/C,cAAc,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,GAAG,SAAS,EACtE,YAAY,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,SAAS,GAAG,SAAS,CACpF,SAAQ,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,cAAc,EAAE,YAAY,CAAC;IACvF;;;;;;;;;;;;;;;;;OAiBG;IACH,KAAK,IAAI,MAAM,SAAS,MAAM,GAC1B,WAAW,CACT,YAAY,CAAC,MAAM,CAAC,EACpB,WAAW,CAAC,MAAM,CAAC,EACnB,cAAc,CAAC,MAAM,CAAC,EACtB,uBAAuB,CAAC,UAAU,CAAC,CACpC,GAAG;QACF,QAAQ,CAAC,aAAa,EAAE,GAAG,CAAC;QAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,YAAY,EAAE,KAAK,CAAC;QAC7B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,SAAS,MAAM,GAAG,QAAQ,GAAG,MAAM,CAAC;KAChE,GAAG,CAAC,cAAc,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC7C;QAAE,QAAQ,CAAC,cAAc,EAAE,cAAc,CAAA;KAAE,GAC3C,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,GAC1B,CAAC,YAAY,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACzD;QAAE,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAA;KAAE,GACvC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,GAC5B,KAAK;IAsOA,MAAM,CAAC,CAAC,SAAS,MAAM,EAC9B,OAAO,EAAE,aAAa,CAAC,KAAK,EAAE,CAAC,CAAC,GAC/B,kBAAkB,CAAC,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,cAAc,EAAE,YAAY,CAAC;IAe5F,cAAc,CACZ,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,GACrD,kBAAkB,CACnB,UAAU,EACV,MAAM,EACN,MAAM,EACN,MAAM,EACN,QAAQ,EACR,cAAc,EACd,YAAY,CACb;IA6CQ,YAAY,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACrE,YAAY,EAAE,CAAC,GACd,kBAAkB,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC,CAAC;IAO7E,QAAQ,CAAC,CAAC,SAAS,MAAM,EAChC,IAAI,EAAE,CAAC,GACN,kBAAkB,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,cAAc,EAAE,YAAY,CAAC;IAejF,KAAK,CACZ,SAAS,SAAS,MAAM,EACxB,CAAC,SAAS,YAAY,CACpB,SAAS,EACT,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,EAC3D,SAAS,MAAM,EAAE,GAAG,SAAS,CAC9B,EAED,IAAI,EAAE,SAAS,EACf,QAAQ,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,SAAS,GACtD,kBAAkB,CACnB,UAAU,EACV,MAAM,EACN,MAAM,GAAG,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAClD,MAAM,EACN,QAAQ,EACR,cAAc,EACd,YAAY,CACb;IAqBQ,KAAK,CACZ,SAAS,SAAS,MAAM,EACxB,SAAS,SAAS,MAAM,EACxB,CAAC,SAAS,YAAY,CACpB,SAAS,EACT,SAAS,EACT,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EACtB,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CACnC,EAED,IAAI,EAAE,SAAS,EACf,KAAK,EAAE,SAAS,EAChB,QAAQ,EAAE,CACR,CAAC,EAAE,YAAY,CAAC,SAAS,EAAE,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,KAChF,CAAC,GAAG,SAAS,GACjB,kBAAkB,CACnB,UAAU,EACV,MAAM,EACN,MAAM,EACN,MAAM,GAAG,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAClD,QAAQ,EACR,cAAc,EACd,YAAY,CACb;CAoBF;AAED,wBAAgB,cAAc,CAC5B,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE;IAAE,MAAM,EAAE,OAAO,CAAA;CAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,KAC3E,kBAAkB,CAAC,UAAU,CAAC,CAElC"}

package/dist/contract.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"contract.d.ts","sourceRoot":"","sources":["../src/contract.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAIV,eAAe,EAIf,WAAW,EACX,WAAW,EACX,UAAU,EAIX,MAAM,iCAAiC,CAAC;AA2HzC;;;;;;;;GAQG;AACH,wBAAgB,eAAe,CAC7B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,EACvC,QAAQ,EAAE,UAAU,EACpB,gBAAgB,CAAC,EAAE,OAAO,CAAC,WAAW,CAAC,GACtC,WAAW,CAiCb;AAyMD,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,OAAO,GAAG,WAAW,CAAC,UAAU,CAAC,CA2E5E;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AACH,wBAAgB,gBAAgB,CAAC,SAAS,SAAS,WAAW,CAAC,UAAU,CAAC,EACxE,KAAK,EAAE,OAAO,GACb,SAAS,CAiCX"}
+{"version":3,"file":"contract.d.ts","sourceRoot":"","sources":["../src/contract.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAIV,eAAe,EAIf,WAAW,EACX,WAAW,EACX,UAAU,EAKX,MAAM,iCAAiC,CAAC;AAoIzC;;;;;;;;GAQG;AACH,wBAAgB,eAAe,CAC7B,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,EACvC,QAAQ,EAAE,UAAU,EACpB,gBAAgB,CAAC,EAAE,OAAO,CAAC,WAAW,CAAC,GACtC,WAAW,CAiCb;AAgPD,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,OAAO,GAAG,WAAW,CAAC,UAAU,CAAC,CA2E5E;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AACH,wBAAgB,gBAAgB,CAAC,SAAS,SAAS,WAAW,CAAC,UAAU,CAAC,EACxE,KAAK,EAAE,OAAO,GACb,SAAS,CAiCX"}

package/dist/exports/contract-builder.js

@@ -1,10 +1,11 @@
 import {
   computeMappings
-} from "../chunk-SEOX3AAQ.js";
+} from "../chunk-HTNUNGA2.js";
 
 // src/contract-builder.ts
 import {
   ContractBuilder,
+  createTable,
   ModelBuilder,
   TableBuilder
 } from "@prisma-next/contract-authoring";
@@ -48,14 +49,28 @@ var SqlContractBuilder = class _SqlContractBuilder extends ContractBuilder {
           nullable: columnState.nullable ?? false
         };
       }
+      const uniques = (tableState.uniques ?? []).map((u) => ({
+        columns: u.columns,
+        ...u.name ? { name: u.name } : {}
+      }));
+      const indexes = (tableState.indexes ?? []).map((i) => ({
+        columns: i.columns,
+        ...i.name ? { name: i.name } : {}
+      }));
+      const foreignKeys = (tableState.foreignKeys ?? []).map((fk) => ({
+        columns: fk.columns,
+        references: fk.references,
+        ...fk.name ? { name: fk.name } : {}
+      }));
       const table = {
         columns,
-        uniques: [],
-        indexes: [],
-        foreignKeys: [],
+        uniques,
+        indexes,
+        foreignKeys,
         ...tableState.primaryKey ? {
           primaryKey: {
-            columns: tableState.primaryKey
+            columns: tableState.primaryKey,
+            ...tableState.primaryKeyName ? { name: tableState.primaryKeyName } : {}
           }
         } : {}
       };
@@ -187,7 +202,7 @@ var SqlContractBuilder = class _SqlContractBuilder extends ContractBuilder {
     });
   }
   table(name, callback) {
-    const tableBuilder = new TableBuilder(name);
+    const tableBuilder = createTable(name);
     const result = callback(tableBuilder);
     const finalBuilder = result instanceof TableBuilder ? result : tableBuilder;
     const tableState = finalBuilder.build();

package/dist/exports/contract-builder.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../src/contract-builder.ts"],"sourcesContent":["import type { ExtensionPackRef, TargetPackRef } from '@prisma-next/contract/framework-components';\nimport type {\n  ColumnBuilderState,\n  ModelBuilderState,\n  RelationDefinition,\n  TableBuilderState,\n} from '@prisma-next/contract-authoring';\nimport {\n  type BuildModels,\n  type BuildRelations,\n  type BuildStorageColumn,\n  ContractBuilder,\n  type ExtractColumns,\n  type ExtractPrimaryKey,\n  ModelBuilder,\n  type Mutable,\n  TableBuilder,\n} from '@prisma-next/contract-authoring';\nimport type {\n  ModelDefinition,\n  ModelField,\n  SqlContract,\n  SqlMappings,\n  SqlStorage,\n} from '@prisma-next/sql-contract/types';\nimport { computeMappings } from './contract';\n\n/**\n * Type-level mappings structure for contracts built via `defineContract()`.\n *\n * Compile-time type helper (not a runtime object) that ensures mappings match what the builder\n * produces. `codecTypes` uses the generic `CodecTypes` parameter; `operationTypes` is always\n * empty since operations are added via extensions at runtime.\n *\n * **Difference from RuntimeContext**: This is a compile-time type for contract construction.\n * `RuntimeContext` is a runtime object with populated registries for query execution.\n *\n * @template C - The `CodecTypes` generic parameter passed to `defineContract<CodecTypes>()`\n */\ntype ContractBuilderMappings<C extends Record<string, { output: unknown }>> = Omit<\n  SqlMappings,\n  'codecTypes' | 'operationTypes'\n> & {\n  readonly codecTypes: C;\n  readonly operationTypes: Record<string, never>;\n};\n\ntype BuildStorageTable<\n  _TableName extends string,\n  Columns extends Record<string, ColumnBuilderState<string, boolean, string>>,\n  PK extends readonly string[] | undefined,\n> = {\n  readonly columns: {\n    readonly [K in keyof Columns]: Columns[K] extends ColumnBuilderState<\n      string,\n      infer Null,\n      infer TType\n    >\n      ? BuildStorageColumn<Null & boolean, TType>\n      : never;\n  };\n  readonly uniques: ReadonlyArray<never>;\n  readonly indexes: ReadonlyArray<never>;\n  readonly foreignKeys: ReadonlyArray<never>;\n} & (PK extends readonly string[]\n  ? { readonly primaryKey: { readonly columns: PK } }\n  : Record<string, never>);\n\ntype BuildStorage<\n  Tables extends Record<\n    string,\n    TableBuilderState<\n      string,\n      Record<string, ColumnBuilderState<string, boolean, string>>,\n      readonly string[] | undefined\n    >\n  >,\n> = {\n  readonly tables: {\n    readonly [K in keyof Tables]: BuildStorageTable<\n      K & string,\n      ExtractColumns<Tables[K]>,\n      ExtractPrimaryKey<Tables[K]>\n    >;\n  };\n};\n\ntype BuildStorageTables<\n  Tables extends Record<\n    string,\n    TableBuilderState<\n      string,\n      Record<string, ColumnBuilderState<string, boolean, string>>,\n      readonly string[] | undefined\n    >\n  >,\n> = {\n  readonly [K in keyof Tables]: BuildStorageTable<\n    K & string,\n    ExtractColumns<Tables[K]>,\n    ExtractPrimaryKey<Tables[K]>\n  >;\n};\n\nexport interface ColumnBuilder<Name extends string, Nullable extends boolean, Type extends string> {\n  nullable<Value extends boolean>(value?: Value): ColumnBuilder<Name, Value, Type>;\n  type<Id extends string>(id: Id): ColumnBuilder<Name, Nullable, Id>;\n  build(): ColumnBuilderState<Name, Nullable, Type>;\n}\n\nclass SqlContractBuilder<\n  CodecTypes extends Record<string, { output: unknown }> = Record<string, never>,\n  Target extends string | undefined = undefined,\n  Tables extends Record<\n    string,\n    TableBuilderState<\n      string,\n      Record<string, ColumnBuilderState<string, boolean, string>>,\n      readonly string[] | undefined\n    >\n  > = Record<never, never>,\n  Models extends Record<\n    string,\n    ModelBuilderState<string, string, Record<string, string>, Record<string, RelationDefinition>>\n  > = Record<never, never>,\n  CoreHash extends string | undefined = undefined,\n  ExtensionPacks extends Record<string, unknown> | undefined = undefined,\n  Capabilities extends Record<string, Record<string, boolean>> | undefined = undefined,\n> extends ContractBuilder<Target, Tables, Models, CoreHash, ExtensionPacks, Capabilities> {\n  /**\n   * This method is responsible for normalizing the contract IR by setting default values\n   * for all required fields:\n   * - `nullable`: defaults to `false` if not provided\n   * - `uniques`: defaults to `[]` (empty array)\n   * - `indexes`: defaults to `[]` (empty array)\n   * - `foreignKeys`: defaults to `[]` (empty array)\n   * - `relations`: defaults to `{}` (empty object) for both model-level and contract-level\n   * - `nativeType`: required field set from column type descriptor when columns are defined\n   *\n   * The contract builder is the **only** place where normalization should occur.\n   * Validators, parsers, and emitters should assume the contract is already normalized.\n   *\n   * **Required**: Use column type descriptors (e.g., `int4Column`, `textColumn`) when defining columns.\n   * This ensures `nativeType` is set correctly at build time.\n   *\n   * @returns A normalized SqlContract with all required fields present\n   */\n  build(): Target extends string\n    ? SqlContract<\n        BuildStorage<Tables>,\n        BuildModels<Models>,\n        BuildRelations<Models>,\n        ContractBuilderMappings<CodecTypes>\n      > & {\n        readonly schemaVersion: '1';\n        readonly target: Target;\n        readonly targetFamily: 'sql';\n        readonly coreHash: CoreHash extends string ? CoreHash : string;\n      } & (ExtensionPacks extends Record<string, unknown>\n          ? { readonly extensionPacks: ExtensionPacks }\n          : Record<string, never>) &\n        (Capabilities extends Record<string, Record<string, boolean>>\n          ? { readonly capabilities: Capabilities }\n          : Record<string, never>)\n    : never {\n    // Type helper to ensure literal types are preserved in return type\n    type BuiltContract = Target extends string\n      ? SqlContract<\n          BuildStorage<Tables>,\n          BuildModels<Models>,\n          BuildRelations<Models>,\n          ContractBuilderMappings<CodecTypes>\n        > & {\n          readonly schemaVersion: '1';\n          readonly target: Target;\n          readonly targetFamily: 'sql';\n          readonly coreHash: CoreHash extends string ? CoreHash : string;\n        } & (ExtensionPacks extends Record<string, unknown>\n            ? { readonly extensionPacks: ExtensionPacks }\n            : Record<string, never>) &\n          (Capabilities extends Record<string, Record<string, boolean>>\n            ? { readonly capabilities: Capabilities }\n            : Record<string, never>)\n      : never;\n    if (!this.state.target) {\n      throw new Error('target is required. Call .target() before .build()');\n    }\n\n    const target = this.state.target as Target & string;\n\n    const storageTables = {} as Partial<Mutable<BuildStorageTables<Tables>>>;\n\n    for (const tableName of Object.keys(this.state.tables) as Array<keyof Tables & string>) {\n      const tableState = this.state.tables[tableName];\n      if (!tableState) continue;\n\n      type TableKey = typeof tableName;\n      type ColumnDefs = ExtractColumns<Tables[TableKey]>;\n      type PrimaryKey = ExtractPrimaryKey<Tables[TableKey]>;\n\n      const columns = {} as Partial<{\n        [K in keyof ColumnDefs]: BuildStorageColumn<\n          ColumnDefs[K]['nullable'] & boolean,\n          ColumnDefs[K]['type']\n        >;\n      }>;\n\n      for (const columnName in tableState.columns) {\n        const columnState = tableState.columns[columnName];\n        if (!columnState) continue;\n        const codecId = columnState.type;\n        const nativeType = columnState.nativeType;\n\n        columns[columnName as keyof ColumnDefs] = {\n          nativeType,\n          codecId,\n          nullable: (columnState.nullable ?? false) as ColumnDefs[keyof ColumnDefs]['nullable'] &\n            boolean,\n        } as BuildStorageColumn<\n          ColumnDefs[keyof ColumnDefs]['nullable'] & boolean,\n          ColumnDefs[keyof ColumnDefs]['type']\n        >;\n      }\n\n      const table = {\n        columns: columns as {\n          [K in keyof ColumnDefs]: BuildStorageColumn<\n            ColumnDefs[K]['nullable'] & boolean,\n            ColumnDefs[K]['type']\n          >;\n        },\n        uniques: [],\n        indexes: [],\n        foreignKeys: [],\n        ...(tableState.primaryKey\n          ? {\n              primaryKey: {\n                columns: tableState.primaryKey,\n              },\n            }\n          : {}),\n      } as unknown as BuildStorageTable<TableKey & string, ColumnDefs, PrimaryKey>;\n\n      (storageTables as Mutable<BuildStorageTables<Tables>>)[tableName] = table;\n    }\n\n    const storage = { tables: storageTables as BuildStorageTables<Tables> } as BuildStorage<Tables>;\n\n    // Build models - construct as partial first, then assert full type\n    const modelsPartial: Partial<BuildModels<Models>> = {};\n\n    // Iterate over models - TypeScript will see keys as string, but type assertion preserves literals\n    for (const modelName in this.state.models) {\n      const modelState = this.state.models[modelName];\n      if (!modelState) continue;\n\n      const modelStateTyped = modelState as unknown as {\n        name: string;\n        table: string;\n        fields: Record<string, string>;\n      };\n\n      // Build fields object\n      const fields: Partial<Record<string, ModelField>> = {};\n\n      // Iterate over fields\n      for (const fieldName in modelStateTyped.fields) {\n        const columnName = modelStateTyped.fields[fieldName];\n        if (columnName) {\n          fields[fieldName] = {\n            column: columnName,\n          };\n        }\n      }\n\n      // Assign to models - type assertion preserves literal keys\n      (modelsPartial as unknown as Record<string, ModelDefinition>)[modelName] = {\n        storage: {\n          table: modelStateTyped.table,\n        },\n        fields: fields as Record<string, ModelField>,\n        relations: {},\n      };\n    }\n\n    // Build relations object - organized by table name\n    const relationsPartial: Partial<Record<string, Record<string, RelationDefinition>>> = {};\n\n    // Iterate over models to collect relations\n    for (const modelName in this.state.models) {\n      const modelState = this.state.models[modelName];\n      if (!modelState) continue;\n\n      const modelStateTyped = modelState as unknown as {\n        name: string;\n        table: string;\n        fields: Record<string, string>;\n        relations: Record<string, RelationDefinition>;\n      };\n\n      const tableName = modelStateTyped.table;\n      if (!tableName) continue;\n\n      // Only initialize relations object for this table if it has relations\n      if (modelStateTyped.relations && Object.keys(modelStateTyped.relations).length > 0) {\n        if (!relationsPartial[tableName]) {\n          relationsPartial[tableName] = {};\n        }\n\n        // Add relations from this model to the table's relations\n        const tableRelations = relationsPartial[tableName];\n        if (tableRelations) {\n          for (const relationName in modelStateTyped.relations) {\n            const relation = modelStateTyped.relations[relationName];\n            if (relation) {\n              tableRelations[relationName] = relation;\n            }\n          }\n        }\n      }\n    }\n\n    const models = modelsPartial as unknown as BuildModels<Models>;\n\n    const baseMappings = computeMappings(\n      models as unknown as Record<string, ModelDefinition>,\n      storage as SqlStorage,\n    );\n\n    const mappings = {\n      ...baseMappings,\n      codecTypes: {} as CodecTypes,\n      operationTypes: {} as Record<string, never>,\n    } as ContractBuilderMappings<CodecTypes>;\n\n    const extensionNamespaces = this.state.extensionNamespaces ?? [];\n    const extensionPacks: Record<string, unknown> = { ...(this.state.extensionPacks || {}) };\n    for (const namespace of extensionNamespaces) {\n      if (!Object.hasOwn(extensionPacks, namespace)) {\n        extensionPacks[namespace] = {};\n      }\n    }\n\n    // Construct contract with explicit type that matches the generic parameters\n    // This ensures TypeScript infers literal types from the generics, not runtime values\n    // Always include relations, even if empty (normalized to empty object)\n    const contract = {\n      schemaVersion: '1' as const,\n      target,\n      targetFamily: 'sql' as const,\n      coreHash: this.state.coreHash || 'sha256:ts-builder-placeholder',\n      models,\n      relations: relationsPartial,\n      storage,\n      mappings,\n      extensionPacks,\n      capabilities: this.state.capabilities || {},\n      meta: {},\n      sources: {},\n    } as unknown as BuiltContract;\n\n    return contract as unknown as ReturnType<\n      SqlContractBuilder<\n        CodecTypes,\n        Target,\n        Tables,\n        Models,\n        CoreHash,\n        ExtensionPacks,\n        Capabilities\n      >['build']\n    >;\n  }\n\n  override target<T extends string>(\n    packRef: TargetPackRef<'sql', T>,\n  ): SqlContractBuilder<CodecTypes, T, Tables, Models, CoreHash, ExtensionPacks, Capabilities> {\n    return new SqlContractBuilder<\n      CodecTypes,\n      T,\n      Tables,\n      Models,\n      CoreHash,\n      ExtensionPacks,\n      Capabilities\n    >({\n      ...this.state,\n      target: packRef.targetId,\n    });\n  }\n\n  extensionPacks(\n    packs: Record<string, ExtensionPackRef<'sql', string>>,\n  ): SqlContractBuilder<\n    CodecTypes,\n    Target,\n    Tables,\n    Models,\n    CoreHash,\n    ExtensionPacks,\n    Capabilities\n  > {\n    if (!this.state.target) {\n      throw new Error('extensionPacks() requires target() to be called first');\n    }\n\n    const namespaces = new Set(this.state.extensionNamespaces ?? []);\n\n    for (const packRef of Object.values(packs)) {\n      if (!packRef) continue;\n\n      if (packRef.kind !== 'extension') {\n        throw new Error(\n          `extensionPacks() only accepts extension pack refs. Received kind \\\"${packRef.kind}\\\".`,\n        );\n      }\n\n      if (packRef.familyId !== 'sql') {\n        throw new Error(\n          `extension pack \\\"${packRef.id}\\\" targets family \\\"${packRef.familyId}\\\" but this builder targets \\\"sql\\\".`,\n        );\n      }\n\n      if (packRef.targetId && packRef.targetId !== this.state.target) {\n        throw new Error(\n          `extension pack \\\"${packRef.id}\\\" targets \\\"${packRef.targetId}\\\" but builder target is \\\"${this.state.target}\\\".`,\n        );\n      }\n\n      namespaces.add(packRef.id);\n    }\n\n    return new SqlContractBuilder<\n      CodecTypes,\n      Target,\n      Tables,\n      Models,\n      CoreHash,\n      ExtensionPacks,\n      Capabilities\n    >({\n      ...this.state,\n      extensionNamespaces: [...namespaces],\n    });\n  }\n\n  override capabilities<C extends Record<string, Record<string, boolean>>>(\n    capabilities: C,\n  ): SqlContractBuilder<CodecTypes, Target, Tables, Models, CoreHash, ExtensionPacks, C> {\n    return new SqlContractBuilder<CodecTypes, Target, Tables, Models, CoreHash, ExtensionPacks, C>({\n      ...this.state,\n      capabilities,\n    });\n  }\n\n  override coreHash<H extends string>(\n    hash: H,\n  ): SqlContractBuilder<CodecTypes, Target, Tables, Models, H, ExtensionPacks, Capabilities> {\n    return new SqlContractBuilder<\n      CodecTypes,\n      Target,\n      Tables,\n      Models,\n      H,\n      ExtensionPacks,\n      Capabilities\n    >({\n      ...this.state,\n      coreHash: hash,\n    });\n  }\n\n  override table<\n    TableName extends string,\n    T extends TableBuilder<\n      TableName,\n      Record<string, ColumnBuilderState<string, boolean, string>>,\n      readonly string[] | undefined\n    >,\n  >(\n    name: TableName,\n    callback: (t: TableBuilder<TableName>) => T | undefined,\n  ): SqlContractBuilder<\n    CodecTypes,\n    Target,\n    Tables & Record<TableName, ReturnType<T['build']>>,\n    Models,\n    CoreHash,\n    ExtensionPacks,\n    Capabilities\n  > {\n    const tableBuilder = new TableBuilder<TableName>(name);\n    const result = callback(tableBuilder);\n    const finalBuilder = result instanceof TableBuilder ? result : tableBuilder;\n    const tableState = finalBuilder.build();\n\n    return new SqlContractBuilder<\n      CodecTypes,\n      Target,\n      Tables & Record<TableName, ReturnType<T['build']>>,\n      Models,\n      CoreHash,\n      ExtensionPacks,\n      Capabilities\n    >({\n      ...this.state,\n      tables: { ...this.state.tables, [name]: tableState } as Tables &\n        Record<TableName, ReturnType<T['build']>>,\n    });\n  }\n\n  override model<\n    ModelName extends string,\n    TableName extends string,\n    M extends ModelBuilder<\n      ModelName,\n      TableName,\n      Record<string, string>,\n      Record<string, RelationDefinition>\n    >,\n  >(\n    name: ModelName,\n    table: TableName,\n    callback: (\n      m: ModelBuilder<ModelName, TableName, Record<string, string>, Record<never, never>>,\n    ) => M | undefined,\n  ): SqlContractBuilder<\n    CodecTypes,\n    Target,\n    Tables,\n    Models & Record<ModelName, ReturnType<M['build']>>,\n    CoreHash,\n    ExtensionPacks,\n    Capabilities\n  > {\n    const modelBuilder = new ModelBuilder<ModelName, TableName>(name, table);\n    const result = callback(modelBuilder);\n    const finalBuilder = result instanceof ModelBuilder ? result : modelBuilder;\n    const modelState = finalBuilder.build();\n\n    return new SqlContractBuilder<\n      CodecTypes,\n      Target,\n      Tables,\n      Models & Record<ModelName, ReturnType<M['build']>>,\n      CoreHash,\n      ExtensionPacks,\n      Capabilities\n    >({\n      ...this.state,\n      models: { ...this.state.models, [name]: modelState } as Models &\n        Record<ModelName, ReturnType<M['build']>>,\n    });\n  }\n}\n\nexport function defineContract<\n  CodecTypes extends Record<string, { output: unknown }> = Record<string, never>,\n>(): SqlContractBuilder<CodecTypes> {\n  return new SqlContractBuilder<CodecTypes>();\n}\n"],"mappings":";;;;;AAOA;AAAA,EAIE;AAAA,EAGA;AAAA,EAEA;AAAA,OACK;AA6FP,IAAM,qBAAN,MAAM,4BAkBI,gBAAgF;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAmBxF,QAiBU;AAoBR,QAAI,CAAC,KAAK,MAAM,QAAQ;AACtB,YAAM,IAAI,MAAM,oDAAoD;AAAA,IACtE;AAEA,UAAM,SAAS,KAAK,MAAM;AAE1B,UAAM,gBAAgB,CAAC;AAEvB,eAAW,aAAa,OAAO,KAAK,KAAK,MAAM,MAAM,GAAmC;AACtF,YAAM,aAAa,KAAK,MAAM,OAAO,SAAS;AAC9C,UAAI,CAAC,WAAY;AAMjB,YAAM,UAAU,CAAC;AAOjB,iBAAW,cAAc,WAAW,SAAS;AAC3C,cAAM,cAAc,WAAW,QAAQ,UAAU;AACjD,YAAI,CAAC,YAAa;AAClB,cAAM,UAAU,YAAY;AAC5B,cAAM,aAAa,YAAY;AAE/B,gBAAQ,UAA8B,IAAI;AAAA,UACxC;AAAA,UACA;AAAA,UACA,UAAW,YAAY,YAAY;AAAA,QAErC;AAAA,MAIF;AAEA,YAAM,QAAQ;AAAA,QACZ;AAAA,QAMA,SAAS,CAAC;AAAA,QACV,SAAS,CAAC;AAAA,QACV,aAAa,CAAC;AAAA,QACd,GAAI,WAAW,aACX;AAAA,UACE,YAAY;AAAA,YACV,SAAS,WAAW;AAAA,UACtB;AAAA,QACF,IACA,CAAC;AAAA,MACP;AAEA,MAAC,cAAsD,SAAS,IAAI;AAAA,IACtE;AAEA,UAAM,UAAU,EAAE,QAAQ,cAA4C;AAGtE,UAAM,gBAA8C,CAAC;AAGrD,eAAW,aAAa,KAAK,MAAM,QAAQ;AACzC,YAAM,aAAa,KAAK,MAAM,OAAO,SAAS;AAC9C,UAAI,CAAC,WAAY;AAEjB,YAAM,kBAAkB;AAOxB,YAAM,SAA8C,CAAC;AAGrD,iBAAW,aAAa,gBAAgB,QAAQ;AAC9C,cAAM,aAAa,gBAAgB,OAAO,SAAS;AACnD,YAAI,YAAY;AACd,iBAAO,SAAS,IAAI;AAAA,YAClB,QAAQ;AAAA,UACV;AAAA,QACF;AAAA,MACF;AAGA,MAAC,cAA6D,SAAS,IAAI;AAAA,QACzE,SAAS;AAAA,UACP,OAAO,gBAAgB;AAAA,QACzB;AAAA,QACA;AAAA,QACA,WAAW,CAAC;AAAA,MACd;AAAA,IACF;AAGA,UAAM,mBAAgF,CAAC;AAGvF,eAAW,aAAa,KAAK,MAAM,QAAQ;AACzC,YAAM,aAAa,KAAK,MAAM,OAAO,SAAS;AAC9C,UAAI,CAAC,WAAY;AAEjB,YAAM,kBAAkB;AAOxB,YAAM,YAAY,gBAAgB;AAClC,UAAI,CAAC,UAAW;AAGhB,UAAI,gBAAgB,aAAa,OAAO,KAAK,gBAAgB,SAAS,EAAE,SAAS,GAAG;AAClF,YAAI,CAAC,iBAAiB,SAAS,GAAG;AAChC,2BAAiB,SAAS,IAAI,CAAC;AAAA,QACjC;AAGA,cAAM,iBAAiB,iBAAiB,SAAS;AACjD,YAAI,gBAAgB;AAClB,qBAAW,gBAAgB,gBAAgB,WAAW;AACpD,kBAAM,WAAW,gBAAgB,UAAU,YAAY;AACvD,gBAAI,UAAU;AACZ,6BAAe,YAAY,IAAI;AAAA,YACjC;AAAA,UACF;AAAA,QACF;AAAA,MACF;AAAA,IACF;AAEA,UAAM,SAAS;AAEf,UAAM,eAAe;AAAA,MACnB;AAAA,MACA;AAAA,IACF;AAEA,UAAM,WAAW;AAAA,MACf,GAAG;AAAA,MACH,YAAY,CAAC;AAAA,MACb,gBAAgB,CAAC;AAAA,IACnB;AAEA,UAAM,sBAAsB,KAAK,MAAM,uBAAuB,CAAC;AAC/D,UAAM,iBAA0C,EAAE,GAAI,KAAK,MAAM,kBAAkB,CAAC,EAAG;AACvF,eAAW,aAAa,qBAAqB;AAC3C,UAAI,CAAC,OAAO,OAAO,gBAAgB,SAAS,GAAG;AAC7C,uBAAe,SAAS,IAAI,CAAC;AAAA,MAC/B;AAAA,IACF;AAKA,UAAM,WAAW;AAAA,MACf,eAAe;AAAA,MACf;AAAA,MACA,cAAc;AAAA,MACd,UAAU,KAAK,MAAM,YAAY;AAAA,MACjC;AAAA,MACA,WAAW;AAAA,MACX;AAAA,MACA;AAAA,MACA;AAAA,MACA,cAAc,KAAK,MAAM,gBAAgB,CAAC;AAAA,MAC1C,MAAM,CAAC;AAAA,MACP,SAAS,CAAC;AAAA,IACZ;AAEA,WAAO;AAAA,EAWT;AAAA,EAES,OACP,SAC2F;AAC3F,WAAO,IAAI,oBAQT;AAAA,MACA,GAAG,KAAK;AAAA,MACR,QAAQ,QAAQ;AAAA,IAClB,CAAC;AAAA,EACH;AAAA,EAEA,eACE,OASA;AACA,QAAI,CAAC,KAAK,MAAM,QAAQ;AACtB,YAAM,IAAI,MAAM,uDAAuD;AAAA,IACzE;AAEA,UAAM,aAAa,IAAI,IAAI,KAAK,MAAM,uBAAuB,CAAC,CAAC;AAE/D,eAAW,WAAW,OAAO,OAAO,KAAK,GAAG;AAC1C,UAAI,CAAC,QAAS;AAEd,UAAI,QAAQ,SAAS,aAAa;AAChC,cAAM,IAAI;AAAA,UACR,qEAAsE,QAAQ,IAAI;AAAA,QACpF;AAAA,MACF;AAEA,UAAI,QAAQ,aAAa,OAAO;AAC9B,cAAM,IAAI;AAAA,UACR,mBAAoB,QAAQ,EAAE,qBAAuB,QAAQ,QAAQ;AAAA,QACvE;AAAA,MACF;AAEA,UAAI,QAAQ,YAAY,QAAQ,aAAa,KAAK,MAAM,QAAQ;AAC9D,cAAM,IAAI;AAAA,UACR,mBAAoB,QAAQ,EAAE,cAAgB,QAAQ,QAAQ,4BAA8B,KAAK,MAAM,MAAM;AAAA,QAC/G;AAAA,MACF;AAEA,iBAAW,IAAI,QAAQ,EAAE;AAAA,IAC3B;AAEA,WAAO,IAAI,oBAQT;AAAA,MACA,GAAG,KAAK;AAAA,MACR,qBAAqB,CAAC,GAAG,UAAU;AAAA,IACrC,CAAC;AAAA,EACH;AAAA,EAES,aACP,cACqF;AACrF,WAAO,IAAI,oBAAoF;AAAA,MAC7F,GAAG,KAAK;AAAA,MACR;AAAA,IACF,CAAC;AAAA,EACH;AAAA,EAES,SACP,MACyF;AACzF,WAAO,IAAI,oBAQT;AAAA,MACA,GAAG,KAAK;AAAA,MACR,UAAU;AAAA,IACZ,CAAC;AAAA,EACH;AAAA,EAES,MAQP,MACA,UASA;AACA,UAAM,eAAe,IAAI,aAAwB,IAAI;AACrD,UAAM,SAAS,SAAS,YAAY;AACpC,UAAM,eAAe,kBAAkB,eAAe,SAAS;AAC/D,UAAM,aAAa,aAAa,MAAM;AAEtC,WAAO,IAAI,oBAQT;AAAA,MACA,GAAG,KAAK;AAAA,MACR,QAAQ,EAAE,GAAG,KAAK,MAAM,QAAQ,CAAC,IAAI,GAAG,WAAW;AAAA,IAErD,CAAC;AAAA,EACH;AAAA,EAES,MAUP,MACA,OACA,UAWA;AACA,UAAM,eAAe,IAAI,aAAmC,MAAM,KAAK;AACvE,UAAM,SAAS,SAAS,YAAY;AACpC,UAAM,eAAe,kBAAkB,eAAe,SAAS;AAC/D,UAAM,aAAa,aAAa,MAAM;AAEtC,WAAO,IAAI,oBAQT;AAAA,MACA,GAAG,KAAK;AAAA,MACR,QAAQ,EAAE,GAAG,KAAK,MAAM,QAAQ,CAAC,IAAI,GAAG,WAAW;AAAA,IAErD,CAAC;AAAA,EACH;AACF;AAEO,SAAS,iBAEoB;AAClC,SAAO,IAAI,mBAA+B;AAC5C;","names":[]}
+{"version":3,"sources":["../../src/contract-builder.ts"],"sourcesContent":["import type { ExtensionPackRef, TargetPackRef } from '@prisma-next/contract/framework-components';\nimport type {\n  ColumnBuilderState,\n  ModelBuilderState,\n  RelationDefinition,\n  TableBuilderState,\n} from '@prisma-next/contract-authoring';\nimport {\n  type BuildModels,\n  type BuildRelations,\n  type BuildStorageColumn,\n  ContractBuilder,\n  createTable,\n  type ExtractColumns,\n  type ExtractPrimaryKey,\n  ModelBuilder,\n  type Mutable,\n  TableBuilder,\n} from '@prisma-next/contract-authoring';\nimport type {\n  ModelDefinition,\n  ModelField,\n  SqlContract,\n  SqlMappings,\n  SqlStorage,\n} from '@prisma-next/sql-contract/types';\nimport { computeMappings } from './contract';\n\n/**\n * Type-level mappings structure for contracts built via `defineContract()`.\n *\n * Compile-time type helper (not a runtime object) that ensures mappings match what the builder\n * produces. `codecTypes` uses the generic `CodecTypes` parameter; `operationTypes` is always\n * empty since operations are added via extensions at runtime.\n *\n * **Difference from RuntimeContext**: This is a compile-time type for contract construction.\n * `RuntimeContext` is a runtime object with populated registries for query execution.\n *\n * @template C - The `CodecTypes` generic parameter passed to `defineContract<CodecTypes>()`\n */\ntype ContractBuilderMappings<C extends Record<string, { output: unknown }>> = Omit<\n  SqlMappings,\n  'codecTypes' | 'operationTypes'\n> & {\n  readonly codecTypes: C;\n  readonly operationTypes: Record<string, never>;\n};\n\ntype BuildStorageTable<\n  _TableName extends string,\n  Columns extends Record<string, ColumnBuilderState<string, boolean, string>>,\n  PK extends readonly string[] | undefined,\n> = {\n  readonly columns: {\n    readonly [K in keyof Columns]: Columns[K] extends ColumnBuilderState<\n      string,\n      infer Null,\n      infer TType\n    >\n      ? BuildStorageColumn<Null & boolean, TType>\n      : never;\n  };\n  readonly uniques: ReadonlyArray<{ readonly columns: readonly string[]; readonly name?: string }>;\n  readonly indexes: ReadonlyArray<{ readonly columns: readonly string[]; readonly name?: string }>;\n  readonly foreignKeys: ReadonlyArray<{\n    readonly columns: readonly string[];\n    readonly references: { readonly table: string; readonly columns: readonly string[] };\n    readonly name?: string;\n  }>;\n} & (PK extends readonly string[]\n  ? { readonly primaryKey: { readonly columns: PK; readonly name?: string } }\n  : Record<string, never>);\n\ntype BuildStorage<\n  Tables extends Record<\n    string,\n    TableBuilderState<\n      string,\n      Record<string, ColumnBuilderState<string, boolean, string>>,\n      readonly string[] | undefined\n    >\n  >,\n> = {\n  readonly tables: {\n    readonly [K in keyof Tables]: BuildStorageTable<\n      K & string,\n      ExtractColumns<Tables[K]>,\n      ExtractPrimaryKey<Tables[K]>\n    >;\n  };\n};\n\ntype BuildStorageTables<\n  Tables extends Record<\n    string,\n    TableBuilderState<\n      string,\n      Record<string, ColumnBuilderState<string, boolean, string>>,\n      readonly string[] | undefined\n    >\n  >,\n> = {\n  readonly [K in keyof Tables]: BuildStorageTable<\n    K & string,\n    ExtractColumns<Tables[K]>,\n    ExtractPrimaryKey<Tables[K]>\n  >;\n};\n\nexport interface ColumnBuilder<Name extends string, Nullable extends boolean, Type extends string> {\n  nullable<Value extends boolean>(value?: Value): ColumnBuilder<Name, Value, Type>;\n  type<Id extends string>(id: Id): ColumnBuilder<Name, Nullable, Id>;\n  build(): ColumnBuilderState<Name, Nullable, Type>;\n}\n\nclass SqlContractBuilder<\n  CodecTypes extends Record<string, { output: unknown }> = Record<string, never>,\n  Target extends string | undefined = undefined,\n  Tables extends Record<\n    string,\n    TableBuilderState<\n      string,\n      Record<string, ColumnBuilderState<string, boolean, string>>,\n      readonly string[] | undefined\n    >\n  > = Record<never, never>,\n  Models extends Record<\n    string,\n    ModelBuilderState<string, string, Record<string, string>, Record<string, RelationDefinition>>\n  > = Record<never, never>,\n  CoreHash extends string | undefined = undefined,\n  ExtensionPacks extends Record<string, unknown> | undefined = undefined,\n  Capabilities extends Record<string, Record<string, boolean>> | undefined = undefined,\n> extends ContractBuilder<Target, Tables, Models, CoreHash, ExtensionPacks, Capabilities> {\n  /**\n   * This method is responsible for normalizing the contract IR by setting default values\n   * for all required fields:\n   * - `nullable`: defaults to `false` if not provided\n   * - `uniques`: defaults to `[]` (empty array)\n   * - `indexes`: defaults to `[]` (empty array)\n   * - `foreignKeys`: defaults to `[]` (empty array)\n   * - `relations`: defaults to `{}` (empty object) for both model-level and contract-level\n   * - `nativeType`: required field set from column type descriptor when columns are defined\n   *\n   * The contract builder is the **only** place where normalization should occur.\n   * Validators, parsers, and emitters should assume the contract is already normalized.\n   *\n   * **Required**: Use column type descriptors (e.g., `int4Column`, `textColumn`) when defining columns.\n   * This ensures `nativeType` is set correctly at build time.\n   *\n   * @returns A normalized SqlContract with all required fields present\n   */\n  build(): Target extends string\n    ? SqlContract<\n        BuildStorage<Tables>,\n        BuildModels<Models>,\n        BuildRelations<Models>,\n        ContractBuilderMappings<CodecTypes>\n      > & {\n        readonly schemaVersion: '1';\n        readonly target: Target;\n        readonly targetFamily: 'sql';\n        readonly coreHash: CoreHash extends string ? CoreHash : string;\n      } & (ExtensionPacks extends Record<string, unknown>\n          ? { readonly extensionPacks: ExtensionPacks }\n          : Record<string, never>) &\n        (Capabilities extends Record<string, Record<string, boolean>>\n          ? { readonly capabilities: Capabilities }\n          : Record<string, never>)\n    : never {\n    // Type helper to ensure literal types are preserved in return type\n    type BuiltContract = Target extends string\n      ? SqlContract<\n          BuildStorage<Tables>,\n          BuildModels<Models>,\n          BuildRelations<Models>,\n          ContractBuilderMappings<CodecTypes>\n        > & {\n          readonly schemaVersion: '1';\n          readonly target: Target;\n          readonly targetFamily: 'sql';\n          readonly coreHash: CoreHash extends string ? CoreHash : string;\n        } & (ExtensionPacks extends Record<string, unknown>\n            ? { readonly extensionPacks: ExtensionPacks }\n            : Record<string, never>) &\n          (Capabilities extends Record<string, Record<string, boolean>>\n            ? { readonly capabilities: Capabilities }\n            : Record<string, never>)\n      : never;\n    if (!this.state.target) {\n      throw new Error('target is required. Call .target() before .build()');\n    }\n\n    const target = this.state.target as Target & string;\n\n    const storageTables = {} as Partial<Mutable<BuildStorageTables<Tables>>>;\n\n    for (const tableName of Object.keys(this.state.tables) as Array<keyof Tables & string>) {\n      const tableState = this.state.tables[tableName];\n      if (!tableState) continue;\n\n      type TableKey = typeof tableName;\n      type ColumnDefs = ExtractColumns<Tables[TableKey]>;\n      type PrimaryKey = ExtractPrimaryKey<Tables[TableKey]>;\n\n      const columns = {} as Partial<{\n        [K in keyof ColumnDefs]: BuildStorageColumn<\n          ColumnDefs[K]['nullable'] & boolean,\n          ColumnDefs[K]['type']\n        >;\n      }>;\n\n      for (const columnName in tableState.columns) {\n        const columnState = tableState.columns[columnName];\n        if (!columnState) continue;\n        const codecId = columnState.type;\n        const nativeType = columnState.nativeType;\n\n        columns[columnName as keyof ColumnDefs] = {\n          nativeType,\n          codecId,\n          nullable: (columnState.nullable ?? false) as ColumnDefs[keyof ColumnDefs]['nullable'] &\n            boolean,\n        } as BuildStorageColumn<\n          ColumnDefs[keyof ColumnDefs]['nullable'] & boolean,\n          ColumnDefs[keyof ColumnDefs]['type']\n        >;\n      }\n\n      // Build uniques from table state\n      const uniques = (tableState.uniques ?? []).map((u) => ({\n        columns: u.columns,\n        ...(u.name ? { name: u.name } : {}),\n      }));\n\n      // Build indexes from table state\n      const indexes = (tableState.indexes ?? []).map((i) => ({\n        columns: i.columns,\n        ...(i.name ? { name: i.name } : {}),\n      }));\n\n      // Build foreign keys from table state\n      const foreignKeys = (tableState.foreignKeys ?? []).map((fk) => ({\n        columns: fk.columns,\n        references: fk.references,\n        ...(fk.name ? { name: fk.name } : {}),\n      }));\n\n      const table = {\n        columns: columns as {\n          [K in keyof ColumnDefs]: BuildStorageColumn<\n            ColumnDefs[K]['nullable'] & boolean,\n            ColumnDefs[K]['type']\n          >;\n        },\n        uniques,\n        indexes,\n        foreignKeys,\n        ...(tableState.primaryKey\n          ? {\n              primaryKey: {\n                columns: tableState.primaryKey,\n                ...(tableState.primaryKeyName ? { name: tableState.primaryKeyName } : {}),\n              },\n            }\n          : {}),\n      } as unknown as BuildStorageTable<TableKey & string, ColumnDefs, PrimaryKey>;\n\n      (storageTables as Mutable<BuildStorageTables<Tables>>)[tableName] = table;\n    }\n\n    const storage = { tables: storageTables as BuildStorageTables<Tables> } as BuildStorage<Tables>;\n\n    // Build models - construct as partial first, then assert full type\n    const modelsPartial: Partial<BuildModels<Models>> = {};\n\n    // Iterate over models - TypeScript will see keys as string, but type assertion preserves literals\n    for (const modelName in this.state.models) {\n      const modelState = this.state.models[modelName];\n      if (!modelState) continue;\n\n      const modelStateTyped = modelState as unknown as {\n        name: string;\n        table: string;\n        fields: Record<string, string>;\n      };\n\n      // Build fields object\n      const fields: Partial<Record<string, ModelField>> = {};\n\n      // Iterate over fields\n      for (const fieldName in modelStateTyped.fields) {\n        const columnName = modelStateTyped.fields[fieldName];\n        if (columnName) {\n          fields[fieldName] = {\n            column: columnName,\n          };\n        }\n      }\n\n      // Assign to models - type assertion preserves literal keys\n      (modelsPartial as unknown as Record<string, ModelDefinition>)[modelName] = {\n        storage: {\n          table: modelStateTyped.table,\n        },\n        fields: fields as Record<string, ModelField>,\n        relations: {},\n      };\n    }\n\n    // Build relations object - organized by table name\n    const relationsPartial: Partial<Record<string, Record<string, RelationDefinition>>> = {};\n\n    // Iterate over models to collect relations\n    for (const modelName in this.state.models) {\n      const modelState = this.state.models[modelName];\n      if (!modelState) continue;\n\n      const modelStateTyped = modelState as unknown as {\n        name: string;\n        table: string;\n        fields: Record<string, string>;\n        relations: Record<string, RelationDefinition>;\n      };\n\n      const tableName = modelStateTyped.table;\n      if (!tableName) continue;\n\n      // Only initialize relations object for this table if it has relations\n      if (modelStateTyped.relations && Object.keys(modelStateTyped.relations).length > 0) {\n        if (!relationsPartial[tableName]) {\n          relationsPartial[tableName] = {};\n        }\n\n        // Add relations from this model to the table's relations\n        const tableRelations = relationsPartial[tableName];\n        if (tableRelations) {\n          for (const relationName in modelStateTyped.relations) {\n            const relation = modelStateTyped.relations[relationName];\n            if (relation) {\n              tableRelations[relationName] = relation;\n            }\n          }\n        }\n      }\n    }\n\n    const models = modelsPartial as unknown as BuildModels<Models>;\n\n    const baseMappings = computeMappings(\n      models as unknown as Record<string, ModelDefinition>,\n      storage as SqlStorage,\n    );\n\n    const mappings = {\n      ...baseMappings,\n      codecTypes: {} as CodecTypes,\n      operationTypes: {} as Record<string, never>,\n    } as ContractBuilderMappings<CodecTypes>;\n\n    const extensionNamespaces = this.state.extensionNamespaces ?? [];\n    const extensionPacks: Record<string, unknown> = { ...(this.state.extensionPacks || {}) };\n    for (const namespace of extensionNamespaces) {\n      if (!Object.hasOwn(extensionPacks, namespace)) {\n        extensionPacks[namespace] = {};\n      }\n    }\n\n    // Construct contract with explicit type that matches the generic parameters\n    // This ensures TypeScript infers literal types from the generics, not runtime values\n    // Always include relations, even if empty (normalized to empty object)\n    const contract = {\n      schemaVersion: '1' as const,\n      target,\n      targetFamily: 'sql' as const,\n      coreHash: this.state.coreHash || 'sha256:ts-builder-placeholder',\n      models,\n      relations: relationsPartial,\n      storage,\n      mappings,\n      extensionPacks,\n      capabilities: this.state.capabilities || {},\n      meta: {},\n      sources: {},\n    } as unknown as BuiltContract;\n\n    return contract as unknown as ReturnType<\n      SqlContractBuilder<\n        CodecTypes,\n        Target,\n        Tables,\n        Models,\n        CoreHash,\n        ExtensionPacks,\n        Capabilities\n      >['build']\n    >;\n  }\n\n  override target<T extends string>(\n    packRef: TargetPackRef<'sql', T>,\n  ): SqlContractBuilder<CodecTypes, T, Tables, Models, CoreHash, ExtensionPacks, Capabilities> {\n    return new SqlContractBuilder<\n      CodecTypes,\n      T,\n      Tables,\n      Models,\n      CoreHash,\n      ExtensionPacks,\n      Capabilities\n    >({\n      ...this.state,\n      target: packRef.targetId,\n    });\n  }\n\n  extensionPacks(\n    packs: Record<string, ExtensionPackRef<'sql', string>>,\n  ): SqlContractBuilder<\n    CodecTypes,\n    Target,\n    Tables,\n    Models,\n    CoreHash,\n    ExtensionPacks,\n    Capabilities\n  > {\n    if (!this.state.target) {\n      throw new Error('extensionPacks() requires target() to be called first');\n    }\n\n    const namespaces = new Set(this.state.extensionNamespaces ?? []);\n\n    for (const packRef of Object.values(packs)) {\n      if (!packRef) continue;\n\n      if (packRef.kind !== 'extension') {\n        throw new Error(\n          `extensionPacks() only accepts extension pack refs. Received kind \"${packRef.kind}\".`,\n        );\n      }\n\n      if (packRef.familyId !== 'sql') {\n        throw new Error(\n          `extension pack \"${packRef.id}\" targets family \"${packRef.familyId}\" but this builder targets \"sql\".`,\n        );\n      }\n\n      if (packRef.targetId && packRef.targetId !== this.state.target) {\n        throw new Error(\n          `extension pack \"${packRef.id}\" targets \"${packRef.targetId}\" but builder target is \"${this.state.target}\".`,\n        );\n      }\n\n      namespaces.add(packRef.id);\n    }\n\n    return new SqlContractBuilder<\n      CodecTypes,\n      Target,\n      Tables,\n      Models,\n      CoreHash,\n      ExtensionPacks,\n      Capabilities\n    >({\n      ...this.state,\n      extensionNamespaces: [...namespaces],\n    });\n  }\n\n  override capabilities<C extends Record<string, Record<string, boolean>>>(\n    capabilities: C,\n  ): SqlContractBuilder<CodecTypes, Target, Tables, Models, CoreHash, ExtensionPacks, C> {\n    return new SqlContractBuilder<CodecTypes, Target, Tables, Models, CoreHash, ExtensionPacks, C>({\n      ...this.state,\n      capabilities,\n    });\n  }\n\n  override coreHash<H extends string>(\n    hash: H,\n  ): SqlContractBuilder<CodecTypes, Target, Tables, Models, H, ExtensionPacks, Capabilities> {\n    return new SqlContractBuilder<\n      CodecTypes,\n      Target,\n      Tables,\n      Models,\n      H,\n      ExtensionPacks,\n      Capabilities\n    >({\n      ...this.state,\n      coreHash: hash,\n    });\n  }\n\n  override table<\n    TableName extends string,\n    T extends TableBuilder<\n      TableName,\n      Record<string, ColumnBuilderState<string, boolean, string>>,\n      readonly string[] | undefined\n    >,\n  >(\n    name: TableName,\n    callback: (t: TableBuilder<TableName>) => T | undefined,\n  ): SqlContractBuilder<\n    CodecTypes,\n    Target,\n    Tables & Record<TableName, ReturnType<T['build']>>,\n    Models,\n    CoreHash,\n    ExtensionPacks,\n    Capabilities\n  > {\n    const tableBuilder = createTable(name);\n    const result = callback(tableBuilder);\n    const finalBuilder = result instanceof TableBuilder ? result : tableBuilder;\n    const tableState = finalBuilder.build();\n\n    return new SqlContractBuilder<\n      CodecTypes,\n      Target,\n      Tables & Record<TableName, ReturnType<T['build']>>,\n      Models,\n      CoreHash,\n      ExtensionPacks,\n      Capabilities\n    >({\n      ...this.state,\n      tables: { ...this.state.tables, [name]: tableState } as Tables &\n        Record<TableName, ReturnType<T['build']>>,\n    });\n  }\n\n  override model<\n    ModelName extends string,\n    TableName extends string,\n    M extends ModelBuilder<\n      ModelName,\n      TableName,\n      Record<string, string>,\n      Record<string, RelationDefinition>\n    >,\n  >(\n    name: ModelName,\n    table: TableName,\n    callback: (\n      m: ModelBuilder<ModelName, TableName, Record<string, string>, Record<never, never>>,\n    ) => M | undefined,\n  ): SqlContractBuilder<\n    CodecTypes,\n    Target,\n    Tables,\n    Models & Record<ModelName, ReturnType<M['build']>>,\n    CoreHash,\n    ExtensionPacks,\n    Capabilities\n  > {\n    const modelBuilder = new ModelBuilder<ModelName, TableName>(name, table);\n    const result = callback(modelBuilder);\n    const finalBuilder = result instanceof ModelBuilder ? result : modelBuilder;\n    const modelState = finalBuilder.build();\n\n    return new SqlContractBuilder<\n      CodecTypes,\n      Target,\n      Tables,\n      Models & Record<ModelName, ReturnType<M['build']>>,\n      CoreHash,\n      ExtensionPacks,\n      Capabilities\n    >({\n      ...this.state,\n      models: { ...this.state.models, [name]: modelState } as Models &\n        Record<ModelName, ReturnType<M['build']>>,\n    });\n  }\n}\n\nexport function defineContract<\n  CodecTypes extends Record<string, { output: unknown }> = Record<string, never>,\n>(): SqlContractBuilder<CodecTypes> {\n  return new SqlContractBuilder<CodecTypes>();\n}\n"],"mappings":";;;;;AAOA;AAAA,EAIE;AAAA,EACA;AAAA,EAGA;AAAA,EAEA;AAAA,OACK;AAiGP,IAAM,qBAAN,MAAM,4BAkBI,gBAAgF;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAmBxF,QAiBU;AAoBR,QAAI,CAAC,KAAK,MAAM,QAAQ;AACtB,YAAM,IAAI,MAAM,oDAAoD;AAAA,IACtE;AAEA,UAAM,SAAS,KAAK,MAAM;AAE1B,UAAM,gBAAgB,CAAC;AAEvB,eAAW,aAAa,OAAO,KAAK,KAAK,MAAM,MAAM,GAAmC;AACtF,YAAM,aAAa,KAAK,MAAM,OAAO,SAAS;AAC9C,UAAI,CAAC,WAAY;AAMjB,YAAM,UAAU,CAAC;AAOjB,iBAAW,cAAc,WAAW,SAAS;AAC3C,cAAM,cAAc,WAAW,QAAQ,UAAU;AACjD,YAAI,CAAC,YAAa;AAClB,cAAM,UAAU,YAAY;AAC5B,cAAM,aAAa,YAAY;AAE/B,gBAAQ,UAA8B,IAAI;AAAA,UACxC;AAAA,UACA;AAAA,UACA,UAAW,YAAY,YAAY;AAAA,QAErC;AAAA,MAIF;AAGA,YAAM,WAAW,WAAW,WAAW,CAAC,GAAG,IAAI,CAAC,OAAO;AAAA,QACrD,SAAS,EAAE;AAAA,QACX,GAAI,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,IAAI,CAAC;AAAA,MACnC,EAAE;AAGF,YAAM,WAAW,WAAW,WAAW,CAAC,GAAG,IAAI,CAAC,OAAO;AAAA,QACrD,SAAS,EAAE;AAAA,QACX,GAAI,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,IAAI,CAAC;AAAA,MACnC,EAAE;AAGF,YAAM,eAAe,WAAW,eAAe,CAAC,GAAG,IAAI,CAAC,QAAQ;AAAA,QAC9D,SAAS,GAAG;AAAA,QACZ,YAAY,GAAG;AAAA,QACf,GAAI,GAAG,OAAO,EAAE,MAAM,GAAG,KAAK,IAAI,CAAC;AAAA,MACrC,EAAE;AAEF,YAAM,QAAQ;AAAA,QACZ;AAAA,QAMA;AAAA,QACA;AAAA,QACA;AAAA,QACA,GAAI,WAAW,aACX;AAAA,UACE,YAAY;AAAA,YACV,SAAS,WAAW;AAAA,YACpB,GAAI,WAAW,iBAAiB,EAAE,MAAM,WAAW,eAAe,IAAI,CAAC;AAAA,UACzE;AAAA,QACF,IACA,CAAC;AAAA,MACP;AAEA,MAAC,cAAsD,SAAS,IAAI;AAAA,IACtE;AAEA,UAAM,UAAU,EAAE,QAAQ,cAA4C;AAGtE,UAAM,gBAA8C,CAAC;AAGrD,eAAW,aAAa,KAAK,MAAM,QAAQ;AACzC,YAAM,aAAa,KAAK,MAAM,OAAO,SAAS;AAC9C,UAAI,CAAC,WAAY;AAEjB,YAAM,kBAAkB;AAOxB,YAAM,SAA8C,CAAC;AAGrD,iBAAW,aAAa,gBAAgB,QAAQ;AAC9C,cAAM,aAAa,gBAAgB,OAAO,SAAS;AACnD,YAAI,YAAY;AACd,iBAAO,SAAS,IAAI;AAAA,YAClB,QAAQ;AAAA,UACV;AAAA,QACF;AAAA,MACF;AAGA,MAAC,cAA6D,SAAS,IAAI;AAAA,QACzE,SAAS;AAAA,UACP,OAAO,gBAAgB;AAAA,QACzB;AAAA,QACA;AAAA,QACA,WAAW,CAAC;AAAA,MACd;AAAA,IACF;AAGA,UAAM,mBAAgF,CAAC;AAGvF,eAAW,aAAa,KAAK,MAAM,QAAQ;AACzC,YAAM,aAAa,KAAK,MAAM,OAAO,SAAS;AAC9C,UAAI,CAAC,WAAY;AAEjB,YAAM,kBAAkB;AAOxB,YAAM,YAAY,gBAAgB;AAClC,UAAI,CAAC,UAAW;AAGhB,UAAI,gBAAgB,aAAa,OAAO,KAAK,gBAAgB,SAAS,EAAE,SAAS,GAAG;AAClF,YAAI,CAAC,iBAAiB,SAAS,GAAG;AAChC,2BAAiB,SAAS,IAAI,CAAC;AAAA,QACjC;AAGA,cAAM,iBAAiB,iBAAiB,SAAS;AACjD,YAAI,gBAAgB;AAClB,qBAAW,gBAAgB,gBAAgB,WAAW;AACpD,kBAAM,WAAW,gBAAgB,UAAU,YAAY;AACvD,gBAAI,UAAU;AACZ,6BAAe,YAAY,IAAI;AAAA,YACjC;AAAA,UACF;AAAA,QACF;AAAA,MACF;AAAA,IACF;AAEA,UAAM,SAAS;AAEf,UAAM,eAAe;AAAA,MACnB;AAAA,MACA;AAAA,IACF;AAEA,UAAM,WAAW;AAAA,MACf,GAAG;AAAA,MACH,YAAY,CAAC;AAAA,MACb,gBAAgB,CAAC;AAAA,IACnB;AAEA,UAAM,sBAAsB,KAAK,MAAM,uBAAuB,CAAC;AAC/D,UAAM,iBAA0C,EAAE,GAAI,KAAK,MAAM,kBAAkB,CAAC,EAAG;AACvF,eAAW,aAAa,qBAAqB;AAC3C,UAAI,CAAC,OAAO,OAAO,gBAAgB,SAAS,GAAG;AAC7C,uBAAe,SAAS,IAAI,CAAC;AAAA,MAC/B;AAAA,IACF;AAKA,UAAM,WAAW;AAAA,MACf,eAAe;AAAA,MACf;AAAA,MACA,cAAc;AAAA,MACd,UAAU,KAAK,MAAM,YAAY;AAAA,MACjC;AAAA,MACA,WAAW;AAAA,MACX;AAAA,MACA;AAAA,MACA;AAAA,MACA,cAAc,KAAK,MAAM,gBAAgB,CAAC;AAAA,MAC1C,MAAM,CAAC;AAAA,MACP,SAAS,CAAC;AAAA,IACZ;AAEA,WAAO;AAAA,EAWT;AAAA,EAES,OACP,SAC2F;AAC3F,WAAO,IAAI,oBAQT;AAAA,MACA,GAAG,KAAK;AAAA,MACR,QAAQ,QAAQ;AAAA,IAClB,CAAC;AAAA,EACH;AAAA,EAEA,eACE,OASA;AACA,QAAI,CAAC,KAAK,MAAM,QAAQ;AACtB,YAAM,IAAI,MAAM,uDAAuD;AAAA,IACzE;AAEA,UAAM,aAAa,IAAI,IAAI,KAAK,MAAM,uBAAuB,CAAC,CAAC;AAE/D,eAAW,WAAW,OAAO,OAAO,KAAK,GAAG;AAC1C,UAAI,CAAC,QAAS;AAEd,UAAI,QAAQ,SAAS,aAAa;AAChC,cAAM,IAAI;AAAA,UACR,qEAAqE,QAAQ,IAAI;AAAA,QACnF;AAAA,MACF;AAEA,UAAI,QAAQ,aAAa,OAAO;AAC9B,cAAM,IAAI;AAAA,UACR,mBAAmB,QAAQ,EAAE,qBAAqB,QAAQ,QAAQ;AAAA,QACpE;AAAA,MACF;AAEA,UAAI,QAAQ,YAAY,QAAQ,aAAa,KAAK,MAAM,QAAQ;AAC9D,cAAM,IAAI;AAAA,UACR,mBAAmB,QAAQ,EAAE,cAAc,QAAQ,QAAQ,4BAA4B,KAAK,MAAM,MAAM;AAAA,QAC1G;AAAA,MACF;AAEA,iBAAW,IAAI,QAAQ,EAAE;AAAA,IAC3B;AAEA,WAAO,IAAI,oBAQT;AAAA,MACA,GAAG,KAAK;AAAA,MACR,qBAAqB,CAAC,GAAG,UAAU;AAAA,IACrC,CAAC;AAAA,EACH;AAAA,EAES,aACP,cACqF;AACrF,WAAO,IAAI,oBAAoF;AAAA,MAC7F,GAAG,KAAK;AAAA,MACR;AAAA,IACF,CAAC;AAAA,EACH;AAAA,EAES,SACP,MACyF;AACzF,WAAO,IAAI,oBAQT;AAAA,MACA,GAAG,KAAK;AAAA,MACR,UAAU;AAAA,IACZ,CAAC;AAAA,EACH;AAAA,EAES,MAQP,MACA,UASA;AACA,UAAM,eAAe,YAAY,IAAI;AACrC,UAAM,SAAS,SAAS,YAAY;AACpC,UAAM,eAAe,kBAAkB,eAAe,SAAS;AAC/D,UAAM,aAAa,aAAa,MAAM;AAEtC,WAAO,IAAI,oBAQT;AAAA,MACA,GAAG,KAAK;AAAA,MACR,QAAQ,EAAE,GAAG,KAAK,MAAM,QAAQ,CAAC,IAAI,GAAG,WAAW;AAAA,IAErD,CAAC;AAAA,EACH;AAAA,EAES,MAUP,MACA,OACA,UAWA;AACA,UAAM,eAAe,IAAI,aAAmC,MAAM,KAAK;AACvE,UAAM,SAAS,SAAS,YAAY;AACpC,UAAM,eAAe,kBAAkB,eAAe,SAAS;AAC/D,UAAM,aAAa,aAAa,MAAM;AAEtC,WAAO,IAAI,oBAQT;AAAA,MACA,GAAG,KAAK;AAAA,MACR,QAAQ,EAAE,GAAG,KAAK,MAAM,QAAQ,CAAC,IAAI,GAAG,WAAW;AAAA,IAErD,CAAC;AAAA,EACH;AACF;AAEO,SAAS,iBAEoB;AAClC,SAAO,IAAI,mBAA+B;AAC5C;","names":[]}

package/dist/exports/contract.js

@@ -1,7 +1,7 @@
 import {
   computeMappings,
   validateContract
-} from "../chunk-SEOX3AAQ.js";
+} from "../chunk-HTNUNGA2.js";
 export {
   computeMappings,
   validateContract

package/package.json

@@ -1,24 +1,24 @@
 {
   "name": "@prisma-next/sql-contract-ts",
-  "version": "0.3.0-dev.8",
+  "version": "0.3.0-pr.100.1",
   "type": "module",
   "sideEffects": false,
   "description": "SQL-specific TypeScript contract authoring surface for Prisma Next",
   "dependencies": {
     "arktype": "^2.1.25",
     "ts-toolbelt": "^9.6.0",
-    "@prisma-next/contract": "0.3.0-dev.8",
-    "@prisma-next/contract-authoring": "0.3.0-dev.8",
-    "@prisma-next/sql-contract": "0.3.0-dev.8"
+    "@prisma-next/contract": "0.3.0-pr.100.1",
+    "@prisma-next/sql-contract": "0.3.0-pr.100.1",
+    "@prisma-next/contract-authoring": "0.3.0-pr.100.1"
   },
   "devDependencies": {
     "@types/pg": "8.16.0",
-    "@vitest/coverage-v8": "4.0.16",
     "pg": "8.16.3",
     "tsup": "8.5.1",
     "typescript": "5.9.3",
     "vitest": "4.0.16",
-    "@prisma-next/test-utils": "0.0.1"
+    "@prisma-next/test-utils": "0.0.1",
+    "@prisma-next/tsconfig": "0.0.0"
   },
   "files": [
     "dist",
@@ -41,9 +41,9 @@
     "test": "vitest run",
     "test:coverage": "vitest run --coverage",
     "typecheck": "tsc --project tsconfig.json --noEmit",
-    "lint": "biome check . --config-path ../../../../biome.json --error-on-warnings",
-    "lint:fix": "biome check --write . --config-path ../../../../biome.json",
-    "lint:fix:unsafe": "biome check --write --unsafe . --config-path ../../../../biome.json",
-    "clean": "node ../../../../scripts/clean.mjs"
+    "lint": "biome check . --error-on-warnings",
+    "lint:fix": "biome check --write .",
+    "lint:fix:unsafe": "biome check --write --unsafe .",
+    "clean": "rm -rf dist coverage .tmp-output"
   }
 }

package/schemas/data-contract-sql-v1.json

@@ -79,6 +79,13 @@
           "additionalProperties": {
             "$ref": "#/$defs/StorageTable"
           }
+        },
+        "types": {
+          "type": "object",
+          "description": "Named type instances for parameterized/custom types (e.g., vectors, enums)",
+          "additionalProperties": {
+            "$ref": "#/$defs/StorageTypeInstance"
+          }
         }
       },
       "required": ["tables"]
@@ -128,19 +135,54 @@
     },
     "StorageColumn": {
       "type": "object",
-      "description": "Column definition with type and nullability",
+      "description": "Column definition with type, nullability, and optional parameterized type info",
       "additionalProperties": false,
       "properties": {
-        "type": {
+        "nativeType": {
+          "type": "string",
+          "description": "Database-native type (e.g., 'text', 'int4', 'timestamptz', 'vector(1536)')"
+        },
+        "codecId": {
           "type": "string",
-          "description": "Column type (e.g., 'text', 'int4', 'timestamptz', 'bool')"
+          "description": "Codec identifier for encoding/decoding (e.g., 'pg/text@1', 'pg/vector@1')"
         },
         "nullable": {
           "type": "boolean",
           "default": false,
           "description": "Whether the column allows NULL values"
+        },
+        "typeParams": {
+          "type": "object",
+          "description": "Opaque, codec-owned JS/type parameters (e.g., { length: 1536 } for vectors)",
+          "additionalProperties": true
+        },
+        "typeRef": {
+          "type": "string",
+          "description": "Reference to a named type instance in storage.types"
         }
-      }
+      },
+      "required": ["nativeType", "codecId", "nullable"]
+    },
+    "StorageTypeInstance": {
+      "type": "object",
+      "description": "Named, parameterized type instance for reuse across columns",
+      "additionalProperties": false,
+      "properties": {
+        "codecId": {
+          "type": "string",
+          "description": "Codec identifier for encoding/decoding"
+        },
+        "nativeType": {
+          "type": "string",
+          "description": "Database-native type"
+        },
+        "typeParams": {
+          "type": "object",
+          "description": "Codec-owned type parameters",
+          "additionalProperties": true
+        }
+      },
+      "required": ["codecId", "nativeType", "typeParams"]
     },
     "PrimaryKey": {
       "type": "object",

package/src/contract-builder.ts

@@ -10,6 +10,7 @@ import {
   type BuildRelations,
   type BuildStorageColumn,
   ContractBuilder,
+  createTable,
   type ExtractColumns,
   type ExtractPrimaryKey,
   ModelBuilder,
@@ -59,11 +60,15 @@ type BuildStorageTable<
       ? BuildStorageColumn<Null & boolean, TType>
       : never;
   };
-  readonly uniques: ReadonlyArray<never>;
-  readonly indexes: ReadonlyArray<never>;
-  readonly foreignKeys: ReadonlyArray<never>;
+  readonly uniques: ReadonlyArray<{ readonly columns: readonly string[]; readonly name?: string }>;
+  readonly indexes: ReadonlyArray<{ readonly columns: readonly string[]; readonly name?: string }>;
+  readonly foreignKeys: ReadonlyArray<{
+    readonly columns: readonly string[];
+    readonly references: { readonly table: string; readonly columns: readonly string[] };
+    readonly name?: string;
+  }>;
 } & (PK extends readonly string[]
-  ? { readonly primaryKey: { readonly columns: PK } }
+  ? { readonly primaryKey: { readonly columns: PK; readonly name?: string } }
   : Record<string, never>);
 
 type BuildStorage<
@@ -222,6 +227,25 @@ class SqlContractBuilder<
         >;
       }
 
+      // Build uniques from table state
+      const uniques = (tableState.uniques ?? []).map((u) => ({
+        columns: u.columns,
+        ...(u.name ? { name: u.name } : {}),
+      }));
+
+      // Build indexes from table state
+      const indexes = (tableState.indexes ?? []).map((i) => ({
+        columns: i.columns,
+        ...(i.name ? { name: i.name } : {}),
+      }));
+
+      // Build foreign keys from table state
+      const foreignKeys = (tableState.foreignKeys ?? []).map((fk) => ({
+        columns: fk.columns,
+        references: fk.references,
+        ...(fk.name ? { name: fk.name } : {}),
+      }));
+
       const table = {
         columns: columns as {
           [K in keyof ColumnDefs]: BuildStorageColumn<
@@ -229,13 +253,14 @@ class SqlContractBuilder<
             ColumnDefs[K]['type']
           >;
         },
-        uniques: [],
-        indexes: [],
-        foreignKeys: [],
+        uniques,
+        indexes,
+        foreignKeys,
         ...(tableState.primaryKey
           ? {
               primaryKey: {
                 columns: tableState.primaryKey,
+                ...(tableState.primaryKeyName ? { name: tableState.primaryKeyName } : {}),
               },
             }
           : {}),
@@ -411,19 +436,19 @@ class SqlContractBuilder<
 
       if (packRef.kind !== 'extension') {
         throw new Error(
-          `extensionPacks() only accepts extension pack refs. Received kind \"${packRef.kind}\".`,
+          `extensionPacks() only accepts extension pack refs. Received kind "${packRef.kind}".`,
         );
       }
 
       if (packRef.familyId !== 'sql') {
         throw new Error(
-          `extension pack \"${packRef.id}\" targets family \"${packRef.familyId}\" but this builder targets \"sql\".`,
+          `extension pack "${packRef.id}" targets family "${packRef.familyId}" but this builder targets "sql".`,
         );
       }
 
       if (packRef.targetId && packRef.targetId !== this.state.target) {
         throw new Error(
-          `extension pack \"${packRef.id}\" targets \"${packRef.targetId}\" but builder target is \"${this.state.target}\".`,
+          `extension pack "${packRef.id}" targets "${packRef.targetId}" but builder target is "${this.state.target}".`,
         );
       }
 
@@ -489,7 +514,7 @@ class SqlContractBuilder<
     ExtensionPacks,
     Capabilities
   > {
-    const tableBuilder = new TableBuilder<TableName>(name);
+    const tableBuilder = createTable(name);
     const result = callback(tableBuilder);
     const finalBuilder = result instanceof TableBuilder ? result : tableBuilder;
     const tableState = finalBuilder.build();

package/src/contract.ts

@@ -11,6 +11,7 @@ import type {
   SqlStorage,
   StorageColumn,
   StorageTable,
+  StorageTypeInstance,
   UniqueConstraint,
 } from '@prisma-next/sql-contract/types';
 import { type } from 'arktype';
@@ -24,6 +25,14 @@ const StorageColumnSchema = type.declare<StorageColumn>().type({
   nativeType: 'string',
   codecId: 'string',
   nullable: 'boolean',
+  'typeParams?': 'Record<string, unknown>',
+  'typeRef?': 'string',
+});
+
+const StorageTypeInstanceSchema = type.declare<StorageTypeInstance>().type({
+  codecId: 'string',
+  nativeType: 'string',
+  typeParams: 'Record<string, unknown>',
 });
 
 const PrimaryKeySchema = type.declare<PrimaryKey>().type({
@@ -62,6 +71,7 @@ const StorageTableSchema = type.declare<StorageTable>().type({
 
 const StorageSchema = type.declare<SqlStorage>().type({
   tables: type({ '[string]': StorageTableSchema }),
+  'types?': type({ '[string]': StorageTypeInstanceSchema }),
 });
 
 const ModelFieldSchema = type.declare<ModelField>().type({
@@ -194,6 +204,45 @@ export function computeMappings(
 function validateContractLogic(structurallyValidatedContract: SqlContract<SqlStorage>): void {
   const { storage, models } = structurallyValidatedContract;
   const tableNames = new Set(Object.keys(storage.tables));
+  const typeInstanceNames = new Set(Object.keys(storage.types ?? {}));
+
+  // Validate storage.types if present
+  if (storage.types) {
+    for (const [typeName, typeInstance] of Object.entries(storage.types)) {
+      // Validate typeParams is not an array (arrays are objects in JS but not valid here)
+      if (Array.isArray(typeInstance.typeParams)) {
+        throw new Error(
+          `Type instance "${typeName}" has invalid typeParams: must be a plain object, not an array`,
+        );
+      }
+    }
+  }
+
+  // Validate columns in all tables
+  for (const [tableName, table] of Object.entries(storage.tables)) {
+    for (const [columnName, column] of Object.entries(table.columns)) {
+      // Validate typeParams and typeRef are mutually exclusive
+      if (column.typeParams !== undefined && column.typeRef !== undefined) {
+        throw new Error(
+          `Column "${columnName}" in table "${tableName}" has both typeParams and typeRef; these are mutually exclusive`,
+        );
+      }
+
+      // Validate typeParams is not an array (arrays are objects in JS but not valid here)
+      if (column.typeParams !== undefined && Array.isArray(column.typeParams)) {
+        throw new Error(
+          `Column "${columnName}" in table "${tableName}" has invalid typeParams: must be a plain object, not an array`,
+        );
+      }
+
+      // Validate typeRef points to an existing storage.types key
+      if (column.typeRef !== undefined && !typeInstanceNames.has(column.typeRef)) {
+        throw new Error(
+          `Column "${columnName}" in table "${tableName}" references non-existent type instance "${column.typeRef}" (not found in storage.types)`,
+        );
+      }
+    }
+  }
 
   // Validate models
   for (const [modelName, modelUnknown] of Object.entries(models)) {

package/dist/chunk-SEOX3AAQ.js.map

@@ -1 +0,0 @@
-{"version":3,"sources":["../src/contract.ts"],"sourcesContent":["import type {\n  ForeignKey,\n  ForeignKeyReferences,\n  Index,\n  ModelDefinition,\n  ModelField,\n  ModelStorage,\n  PrimaryKey,\n  SqlContract,\n  SqlMappings,\n  SqlStorage,\n  StorageColumn,\n  StorageTable,\n  UniqueConstraint,\n} from '@prisma-next/sql-contract/types';\nimport { type } from 'arktype';\nimport type { O } from 'ts-toolbelt';\n\n/**\n * Structural validation schema for SqlContract using Arktype.\n * This validates the shape and types of the contract structure.\n */\nconst StorageColumnSchema = type.declare<StorageColumn>().type({\n  nativeType: 'string',\n  codecId: 'string',\n  nullable: 'boolean',\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});\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});\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\n/**\n * Complete SqlContract schema for structural validation.\n * This validates the entire contract structure at once.\n */\nconst SqlContractSchema = type({\n  'schemaVersion?': \"'1'\",\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?': 'Record<string, unknown>',\n  'sources?': 'Record<string, unknown>',\n  models: type({ '[string]': ModelSchema }),\n  storage: StorageSchema,\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 */\nfunction validateContractStructure<T extends SqlContract<SqlStorage>>(\n  value: unknown,\n): O.Overwrite<T, { targetFamily: 'sql' }> {\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    /* c8 ignore next */\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 O.Overwrite<T, { targetFamily: 'sql' }>;\n}\n\n/**\n * Computes mapping dictionaries from models and storage structures.\n * Assumes valid input - validation happens separately in validateContractLogic().\n *\n * @param models - Models object from contract\n * @param storage - Storage object from contract\n * @param existingMappings - Existing mappings from contract input (optional)\n * @returns Computed mappings dictionary\n */\nexport function computeMappings(\n  models: Record<string, ModelDefinition>,\n  _storage: SqlStorage,\n  existingMappings?: Partial<SqlMappings>,\n): SqlMappings {\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\n      if (!columnToField[tableName]) {\n        columnToField[tableName] = {};\n      }\n      columnToField[tableName][columnName] = fieldName;\n    }\n    fieldToColumn[modelName] = modelFieldToColumn;\n  }\n\n  // Preserve existing mappings if provided, otherwise use computed ones\n  return {\n    modelToTable: existingMappings?.modelToTable ?? modelToTable,\n    tableToModel: existingMappings?.tableToModel ?? tableToModel,\n    fieldToColumn: existingMappings?.fieldToColumn ?? fieldToColumn,\n    columnToField: existingMappings?.columnToField ?? columnToField,\n    codecTypes: existingMappings?.codecTypes ?? {},\n    operationTypes: existingMappings?.operationTypes ?? {},\n  };\n}\n\n/**\n * Validates logical consistency of a **structurally validated** SqlContract.\n * This checks that references (e.g., foreign keys, primary keys, uniques) point to storage objects that already exist.\n * Structural validation is expected to have already completed before this helper runs.\n *\n * @param structurallyValidatedContract - The contract whose structure has already been validated\n * @throws Error if logical validation fails\n */\nfunction validateContractLogic(structurallyValidatedContract: SqlContract<SqlStorage>): void {\n  const { storage, models } = structurallyValidatedContract;\n  const tableNames = new Set(Object.keys(storage.tables));\n\n  // Validate models\n  for (const [modelName, modelUnknown] of Object.entries(models)) {\n    const model = modelUnknown as ModelDefinition;\n    // Validate model has storage.table\n    if (!model.storage?.table) {\n      /* c8 ignore next */\n      throw new Error(`Model \"${modelName}\" is missing storage.table`);\n    }\n\n    const tableName = model.storage.table;\n\n    // Validate model's table exists in storage\n    if (!tableNames.has(tableName)) {\n      /* c8 ignore next */\n      throw new Error(`Model \"${modelName}\" references non-existent table \"${tableName}\"`);\n    }\n\n    const table = storage.tables[tableName];\n    if (!table) {\n      /* c8 ignore next */\n      throw new Error(`Model \"${modelName}\" references non-existent table \"${tableName}\"`);\n    }\n\n    // Validate model's table has a primary key\n    if (!table.primaryKey) {\n      /* c8 ignore next */\n      throw new Error(`Model \"${modelName}\" table \"${tableName}\" is missing a primary key`);\n    }\n\n    const columnNames = new Set(Object.keys(table.columns));\n\n    // Validate model fields\n    if (!model.fields) {\n      /* c8 ignore next */\n      throw new Error(`Model \"${modelName}\" is missing fields`);\n    }\n\n    for (const [fieldName, fieldUnknown] of Object.entries(model.fields)) {\n      const field = fieldUnknown as { column: string };\n      // Validate field has column property\n      if (!field.column) {\n        /* c8 ignore next */\n        throw new Error(`Model \"${modelName}\" field \"${fieldName}\" is missing column property`);\n      }\n\n      // Validate field's column exists in the model's backing table\n      if (!columnNames.has(field.column)) {\n        /* c8 ignore next */\n        throw new Error(\n          `Model \"${modelName}\" field \"${fieldName}\" references non-existent column \"${field.column}\" in table \"${tableName}\"`,\n        );\n      }\n    }\n\n    // Validate model relations have corresponding foreign keys\n    if (model.relations) {\n      for (const [relationName, relation] of Object.entries(model.relations)) {\n        // For now, we'll do basic validation. Full FK validation can be added later\n        // This would require checking that the relation's on.parentCols/childCols match FKs\n        if (\n          typeof relation === 'object' &&\n          relation !== null &&\n          'on' in relation &&\n          'to' in relation\n        ) {\n          const on = relation.on as { parentCols?: string[]; childCols?: string[] };\n          const cardinality = (relation as { cardinality?: string }).cardinality;\n          if (on.parentCols && on.childCols) {\n            // For 1:N relations, the foreign key is on the child table\n            // For N:1 relations, the foreign key is on the parent table (this table)\n            // For now, we'll skip validation for 1:N relations as the FK is on the child table\n            // and we'll validate it when we process the child model\n            if (cardinality === '1:N') {\n              // Foreign key is on the child table, skip validation here\n              // It will be validated when we process the child model\n              continue;\n            }\n\n            // For N:1 relations, check that there's a foreign key matching this relation\n            const hasMatchingFk = table.foreignKeys?.some((fk) => {\n              return (\n                fk.columns.length === on.childCols?.length &&\n                fk.columns.every((col, i) => col === on.childCols?.[i]) &&\n                fk.references.table &&\n                fk.references.columns.length === on.parentCols?.length &&\n                fk.references.columns.every((col, i) => col === on.parentCols?.[i])\n              );\n            });\n\n            if (!hasMatchingFk) {\n              /* c8 ignore next */\n              throw new Error(\n                `Model \"${modelName}\" relation \"${relationName}\" does not have a corresponding foreign key in table \"${tableName}\"`,\n              );\n            }\n          }\n        }\n      }\n    }\n  }\n\n  for (const [tableName, table] of Object.entries(storage.tables)) {\n    const columnNames = new Set(Object.keys(table.columns));\n\n    // Validate primaryKey references existing columns\n    if (table.primaryKey) {\n      for (const colName of table.primaryKey.columns) {\n        if (!columnNames.has(colName)) {\n          /* c8 ignore next */\n          throw new Error(\n            `Table \"${tableName}\" primaryKey references non-existent column \"${colName}\"`,\n          );\n        }\n      }\n    }\n\n    // Validate unique constraints reference existing columns\n    for (const unique of table.uniques) {\n      for (const colName of unique.columns) {\n        if (!columnNames.has(colName)) {\n          /* c8 ignore next */\n          throw new Error(\n            `Table \"${tableName}\" unique constraint references non-existent column \"${colName}\"`,\n          );\n        }\n      }\n    }\n\n    // Validate indexes reference existing columns\n    for (const index of table.indexes) {\n      for (const colName of index.columns) {\n        if (!columnNames.has(colName)) {\n          /* c8 ignore next */\n          throw new Error(`Table \"${tableName}\" index references non-existent column \"${colName}\"`);\n        }\n      }\n    }\n\n    // Validate foreignKeys reference existing tables and columns\n    for (const fk of table.foreignKeys) {\n      // Validate FK columns exist in the referencing table\n      for (const colName of fk.columns) {\n        if (!columnNames.has(colName)) {\n          /* c8 ignore next */\n          throw new Error(\n            `Table \"${tableName}\" foreignKey references non-existent column \"${colName}\"`,\n          );\n        }\n      }\n\n      // Validate referenced table exists\n      if (!tableNames.has(fk.references.table)) {\n        /* c8 ignore next */\n        throw new Error(\n          `Table \"${tableName}\" foreignKey references non-existent table \"${fk.references.table}\"`,\n        );\n      }\n\n      // Validate referenced columns exist in the referenced table\n      const referencedTable = storage.tables[fk.references.table];\n      if (!referencedTable) {\n        /* c8 ignore next */\n        throw new Error(\n          `Table \"${tableName}\" foreignKey references non-existent table \"${fk.references.table}\"`,\n        );\n      }\n      const referencedColumnNames = new Set(Object.keys(referencedTable.columns));\n\n      for (const colName of fk.references.columns) {\n        if (!referencedColumnNames.has(colName)) {\n          /* c8 ignore next */\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        /* c8 ignore next */\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  const contractObj = contract as Record<string, unknown>;\n\n  // Only normalize if storage exists (validation will catch if it's missing)\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      // Normalize storage 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          // Normalize columns: add nullable: false if missing\n          const normalizedColumns: Record<string, unknown> = {};\n          for (const [columnName, column] of Object.entries(columns)) {\n            const columnObj = column as Record<string, unknown>;\n            const normalizedColumn: Record<string, unknown> = {\n              ...columnObj,\n              nullable: columnObj['nullable'] ?? false,\n            };\n\n            normalizedColumns[columnName] = normalizedColumn;\n          }\n\n          // Normalize table arrays: add empty arrays if missing\n          normalizedTables[tableName] = {\n            ...tableObj,\n            columns: normalizedColumns,\n            uniques: tableObj['uniques'] ?? [],\n            indexes: tableObj['indexes'] ?? [],\n            foreignKeys: tableObj['foreignKeys'] ?? [],\n          };\n        } else {\n          normalizedTables[tableName] = tableObj;\n        }\n      }\n\n      normalizedStorage = {\n        ...storage,\n        tables: normalizedTables,\n      };\n    }\n  }\n\n  // Only normalize if models exists (validation will catch if it's missing)\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  // Normalize top-level fields: add empty objects if missing\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\n/**\n * Validates that a JSON import conforms to the SqlContract structure\n * and returns a fully typed SqlContract.\n *\n * This function is specifically for validating JSON imports (e.g., from contract.json).\n * Contracts created via the builder API (defineContract) are already valid and should\n * not be passed to this function - use them directly without validation.\n *\n * Performs both structural validation (using Arktype) and logical validation\n * (ensuring all references are valid).\n *\n *\n * The type parameter `TContract` must be a fully-typed contract type (e.g., from `contract.d.ts`),\n * NOT a generic `SqlContract<SqlStorage>`.\n *\n * **Correct:**\n * ```typescript\n * import type { Contract } from './contract.d';\n * const contract = validateContract<Contract>(contractJson);\n * ```\n *\n * **Incorrect:**\n * ```typescript\n * import type { SqlContract, SqlStorage } from '@prisma-next/sql-contract/types';\n * const contract = validateContract<SqlContract<SqlStorage>>(contractJson);\n * // ❌ Types will be inferred as 'unknown' - this won't work!\n * ```\n *\n * The type parameter provides the specific table structure, column types, and model definitions.\n * This function validates the runtime structure matches the type, but does not infer types\n * from JSON (as JSON imports lose literal type information).\n *\n * @param value - The contract value to validate (must be from a JSON import, not a builder)\n * @returns A validated contract matching the TContract type\n * @throws Error if the contract structure or logic is invalid\n */\nexport function validateContract<TContract extends SqlContract<SqlStorage>>(\n  value: unknown,\n): TContract {\n  // Normalize contract first (add defaults for missing fields)\n  const normalized = normalizeContract(value);\n\n  const structurallyValid = validateContractStructure<SqlContract<SqlStorage>>(normalized);\n\n  const contractForValidation = structurallyValid as SqlContract<SqlStorage>;\n\n  // Validate contract logic (contracts must already have fully qualified type IDs)\n  validateContractLogic(contractForValidation);\n\n  // Extract existing mappings (optional - will be computed if missing)\n  const existingMappings = (contractForValidation as { mappings?: Partial<SqlMappings> }).mappings;\n\n  // Compute mappings from models and storage\n  const mappings = computeMappings(\n    contractForValidation.models as Record<string, ModelDefinition>,\n    contractForValidation.storage,\n    existingMappings,\n  );\n\n  // Add default values for optional metadata fields if missing\n  const contractWithMappings = {\n    ...structurallyValid,\n    models: contractForValidation.models,\n    relations: contractForValidation.relations,\n    storage: contractForValidation.storage,\n    mappings,\n  };\n\n  // Type assertion: The caller provides the strict type via TContract.\n  // We validate the structure matches, but the precise types come from contract.d.ts\n  return contractWithMappings as TContract;\n}\n"],"mappings":";AAeA,SAAS,YAAY;AAOrB,IAAM,sBAAsB,KAAK,QAAuB,EAAE,KAAK;AAAA,EAC7D,YAAY;AAAA,EACZ,SAAS;AAAA,EACT,UAAU;AACZ,CAAC;AAED,IAAM,mBAAmB,KAAK,QAAoB,EAAE,KAAK;AAAA,EACvD,SAAS,KAAK,OAAO,MAAM,EAAE,SAAS;AAAA,EACtC,SAAS;AACX,CAAC;AAED,IAAM,yBAAyB,KAAK,QAA0B,EAAE,KAAK;AAAA,EACnE,SAAS,KAAK,OAAO,MAAM,EAAE,SAAS;AAAA,EACtC,SAAS;AACX,CAAC;AAED,IAAM,cAAc,KAAK,QAAe,EAAE,KAAK;AAAA,EAC7C,SAAS,KAAK,OAAO,MAAM,EAAE,SAAS;AAAA,EACtC,SAAS;AACX,CAAC;AAED,IAAM,6BAA6B,KAAK,QAA8B,EAAE,KAAK;AAAA,EAC3E,OAAO;AAAA,EACP,SAAS,KAAK,OAAO,MAAM,EAAE,SAAS;AACxC,CAAC;AAED,IAAM,mBAAmB,KAAK,QAAoB,EAAE,KAAK;AAAA,EACvD,SAAS,KAAK,OAAO,MAAM,EAAE,SAAS;AAAA,EACtC,YAAY;AAAA,EACZ,SAAS;AACX,CAAC;AAED,IAAM,qBAAqB,KAAK,QAAsB,EAAE,KAAK;AAAA,EAC3D,SAAS,KAAK,EAAE,YAAY,oBAAoB,CAAC;AAAA,EACjD,eAAe;AAAA,EACf,SAAS,uBAAuB,MAAM,EAAE,SAAS;AAAA,EACjD,SAAS,YAAY,MAAM,EAAE,SAAS;AAAA,EACtC,aAAa,iBAAiB,MAAM,EAAE,SAAS;AACjD,CAAC;AAED,IAAM,gBAAgB,KAAK,QAAoB,EAAE,KAAK;AAAA,EACpD,QAAQ,KAAK,EAAE,YAAY,mBAAmB,CAAC;AACjD,CAAC;AAED,IAAM,mBAAmB,KAAK,QAAoB,EAAE,KAAK;AAAA,EACvD,QAAQ;AACV,CAAC;AAED,IAAM,qBAAqB,KAAK,QAAsB,EAAE,KAAK;AAAA,EAC3D,OAAO;AACT,CAAC;AAED,IAAM,cAAc,KAAK,QAAyB,EAAE,KAAK;AAAA,EACvD,SAAS;AAAA,EACT,QAAQ,KAAK,EAAE,YAAY,iBAAiB,CAAC;AAAA,EAC7C,WAAW,KAAK,EAAE,YAAY,UAAU,CAAC;AAC3C,CAAC;AAMD,IAAM,oBAAoB,KAAK;AAAA,EAC7B,kBAAkB;AAAA,EAClB,QAAQ;AAAA,EACR,cAAc;AAAA,EACd,UAAU;AAAA,EACV,gBAAgB;AAAA,EAChB,iBAAiB;AAAA,EACjB,mBAAmB;AAAA,EACnB,SAAS;AAAA,EACT,YAAY;AAAA,EACZ,QAAQ,KAAK,EAAE,YAAY,YAAY,CAAC;AAAA,EACxC,SAAS;AACX,CAAC;AAkBD,SAAS,0BACP,OACyC;AAEzC,QAAM,WAAW;AACjB,MAAI,SAAS,iBAAiB,UAAa,SAAS,iBAAiB,OAAO;AAE1E,UAAM,IAAI,MAAM,8BAA8B,SAAS,YAAY,EAAE;AAAA,EACvE;AAEA,QAAM,iBAAiB,kBAAkB,KAAK;AAE9C,MAAI,0BAA0B,KAAK,QAAQ;AACzC,UAAM,WAAW,eAAe,IAAI,CAAC,MAA2B,EAAE,OAAO,EAAE,KAAK,IAAI;AACpF,UAAM,IAAI,MAAM,0CAA0C,QAAQ,EAAE;AAAA,EACtE;AAKA,SAAO;AACT;AAWO,SAAS,gBACd,QACA,UACA,kBACa;AACb,QAAM,eAAuC,CAAC;AAC9C,QAAM,eAAuC,CAAC;AAC9C,QAAM,gBAAwD,CAAC;AAC/D,QAAM,gBAAwD,CAAC;AAE/D,aAAW,CAAC,WAAW,KAAK,KAAK,OAAO,QAAQ,MAAM,GAAG;AACvD,UAAM,YAAY,MAAM,QAAQ;AAChC,iBAAa,SAAS,IAAI;AAC1B,iBAAa,SAAS,IAAI;AAE1B,UAAM,qBAA6C,CAAC;AACpD,eAAW,CAAC,WAAW,KAAK,KAAK,OAAO,QAAQ,MAAM,MAAM,GAAG;AAC7D,YAAM,aAAa,MAAM;AACzB,yBAAmB,SAAS,IAAI;AAEhC,UAAI,CAAC,cAAc,SAAS,GAAG;AAC7B,sBAAc,SAAS,IAAI,CAAC;AAAA,MAC9B;AACA,oBAAc,SAAS,EAAE,UAAU,IAAI;AAAA,IACzC;AACA,kBAAc,SAAS,IAAI;AAAA,EAC7B;AAGA,SAAO;AAAA,IACL,cAAc,kBAAkB,gBAAgB;AAAA,IAChD,cAAc,kBAAkB,gBAAgB;AAAA,IAChD,eAAe,kBAAkB,iBAAiB;AAAA,IAClD,eAAe,kBAAkB,iBAAiB;AAAA,IAClD,YAAY,kBAAkB,cAAc,CAAC;AAAA,IAC7C,gBAAgB,kBAAkB,kBAAkB,CAAC;AAAA,EACvD;AACF;AAUA,SAAS,sBAAsB,+BAA8D;AAC3F,QAAM,EAAE,SAAS,OAAO,IAAI;AAC5B,QAAM,aAAa,IAAI,IAAI,OAAO,KAAK,QAAQ,MAAM,CAAC;AAGtD,aAAW,CAAC,WAAW,YAAY,KAAK,OAAO,QAAQ,MAAM,GAAG;AAC9D,UAAM,QAAQ;AAEd,QAAI,CAAC,MAAM,SAAS,OAAO;AAEzB,YAAM,IAAI,MAAM,UAAU,SAAS,4BAA4B;AAAA,IACjE;AAEA,UAAM,YAAY,MAAM,QAAQ;AAGhC,QAAI,CAAC,WAAW,IAAI,SAAS,GAAG;AAE9B,YAAM,IAAI,MAAM,UAAU,SAAS,oCAAoC,SAAS,GAAG;AAAA,IACrF;AAEA,UAAM,QAAQ,QAAQ,OAAO,SAAS;AACtC,QAAI,CAAC,OAAO;AAEV,YAAM,IAAI,MAAM,UAAU,SAAS,oCAAoC,SAAS,GAAG;AAAA,IACrF;AAGA,QAAI,CAAC,MAAM,YAAY;AAErB,YAAM,IAAI,MAAM,UAAU,SAAS,YAAY,SAAS,4BAA4B;AAAA,IACtF;AAEA,UAAM,cAAc,IAAI,IAAI,OAAO,KAAK,MAAM,OAAO,CAAC;AAGtD,QAAI,CAAC,MAAM,QAAQ;AAEjB,YAAM,IAAI,MAAM,UAAU,SAAS,qBAAqB;AAAA,IAC1D;AAEA,eAAW,CAAC,WAAW,YAAY,KAAK,OAAO,QAAQ,MAAM,MAAM,GAAG;AACpE,YAAM,QAAQ;AAEd,UAAI,CAAC,MAAM,QAAQ;AAEjB,cAAM,IAAI,MAAM,UAAU,SAAS,YAAY,SAAS,8BAA8B;AAAA,MACxF;AAGA,UAAI,CAAC,YAAY,IAAI,MAAM,MAAM,GAAG;AAElC,cAAM,IAAI;AAAA,UACR,UAAU,SAAS,YAAY,SAAS,qCAAqC,MAAM,MAAM,eAAe,SAAS;AAAA,QACnH;AAAA,MACF;AAAA,IACF;AAGA,QAAI,MAAM,WAAW;AACnB,iBAAW,CAAC,cAAc,QAAQ,KAAK,OAAO,QAAQ,MAAM,SAAS,GAAG;AAGtE,YACE,OAAO,aAAa,YACpB,aAAa,QACb,QAAQ,YACR,QAAQ,UACR;AACA,gBAAM,KAAK,SAAS;AACpB,gBAAM,cAAe,SAAsC;AAC3D,cAAI,GAAG,cAAc,GAAG,WAAW;AAKjC,gBAAI,gBAAgB,OAAO;AAGzB;AAAA,YACF;AAGA,kBAAM,gBAAgB,MAAM,aAAa,KAAK,CAAC,OAAO;AACpD,qBACE,GAAG,QAAQ,WAAW,GAAG,WAAW,UACpC,GAAG,QAAQ,MAAM,CAAC,KAAK,MAAM,QAAQ,GAAG,YAAY,CAAC,CAAC,KACtD,GAAG,WAAW,SACd,GAAG,WAAW,QAAQ,WAAW,GAAG,YAAY,UAChD,GAAG,WAAW,QAAQ,MAAM,CAAC,KAAK,MAAM,QAAQ,GAAG,aAAa,CAAC,CAAC;AAAA,YAEtE,CAAC;AAED,gBAAI,CAAC,eAAe;AAElB,oBAAM,IAAI;AAAA,gBACR,UAAU,SAAS,eAAe,YAAY,yDAAyD,SAAS;AAAA,cAClH;AAAA,YACF;AAAA,UACF;AAAA,QACF;AAAA,MACF;AAAA,IACF;AAAA,EACF;AAEA,aAAW,CAAC,WAAW,KAAK,KAAK,OAAO,QAAQ,QAAQ,MAAM,GAAG;AAC/D,UAAM,cAAc,IAAI,IAAI,OAAO,KAAK,MAAM,OAAO,CAAC;AAGtD,QAAI,MAAM,YAAY;AACpB,iBAAW,WAAW,MAAM,WAAW,SAAS;AAC9C,YAAI,CAAC,YAAY,IAAI,OAAO,GAAG;AAE7B,gBAAM,IAAI;AAAA,YACR,UAAU,SAAS,gDAAgD,OAAO;AAAA,UAC5E;AAAA,QACF;AAAA,MACF;AAAA,IACF;AAGA,eAAW,UAAU,MAAM,SAAS;AAClC,iBAAW,WAAW,OAAO,SAAS;AACpC,YAAI,CAAC,YAAY,IAAI,OAAO,GAAG;AAE7B,gBAAM,IAAI;AAAA,YACR,UAAU,SAAS,uDAAuD,OAAO;AAAA,UACnF;AAAA,QACF;AAAA,MACF;AAAA,IACF;AAGA,eAAW,SAAS,MAAM,SAAS;AACjC,iBAAW,WAAW,MAAM,SAAS;AACnC,YAAI,CAAC,YAAY,IAAI,OAAO,GAAG;AAE7B,gBAAM,IAAI,MAAM,UAAU,SAAS,2CAA2C,OAAO,GAAG;AAAA,QAC1F;AAAA,MACF;AAAA,IACF;AAGA,eAAW,MAAM,MAAM,aAAa;AAElC,iBAAW,WAAW,GAAG,SAAS;AAChC,YAAI,CAAC,YAAY,IAAI,OAAO,GAAG;AAE7B,gBAAM,IAAI;AAAA,YACR,UAAU,SAAS,gDAAgD,OAAO;AAAA,UAC5E;AAAA,QACF;AAAA,MACF;AAGA,UAAI,CAAC,WAAW,IAAI,GAAG,WAAW,KAAK,GAAG;AAExC,cAAM,IAAI;AAAA,UACR,UAAU,SAAS,+CAA+C,GAAG,WAAW,KAAK;AAAA,QACvF;AAAA,MACF;AAGA,YAAM,kBAAkB,QAAQ,OAAO,GAAG,WAAW,KAAK;AAC1D,UAAI,CAAC,iBAAiB;AAEpB,cAAM,IAAI;AAAA,UACR,UAAU,SAAS,+CAA+C,GAAG,WAAW,KAAK;AAAA,QACvF;AAAA,MACF;AACA,YAAM,wBAAwB,IAAI,IAAI,OAAO,KAAK,gBAAgB,OAAO,CAAC;AAE1E,iBAAW,WAAW,GAAG,WAAW,SAAS;AAC3C,YAAI,CAAC,sBAAsB,IAAI,OAAO,GAAG;AAEvC,gBAAM,IAAI;AAAA,YACR,UAAU,SAAS,gDAAgD,OAAO,eAAe,GAAG,WAAW,KAAK;AAAA,UAC9G;AAAA,QACF;AAAA,MACF;AAEA,UAAI,GAAG,QAAQ,WAAW,GAAG,WAAW,QAAQ,QAAQ;AAEtD,cAAM,IAAI;AAAA,UACR,UAAU,SAAS,8BAA8B,GAAG,QAAQ,MAAM,6CAA6C,GAAG,WAAW,QAAQ,MAAM;AAAA,QAC7I;AAAA,MACF;AAAA,IACF;AAAA,EACF;AACF;AAEO,SAAS,kBAAkB,UAA4C;AAC5E,QAAM,cAAc;AAGpB,MAAI,oBAAoB,YAAY,SAAS;AAC7C,MAAI,qBAAqB,OAAO,sBAAsB,YAAY,sBAAsB,MAAM;AAC5F,UAAM,UAAU;AAChB,UAAM,SAAS,QAAQ,QAAQ;AAE/B,QAAI,QAAQ;AAEV,YAAM,mBAA4C,CAAC;AACnD,iBAAW,CAAC,WAAW,KAAK,KAAK,OAAO,QAAQ,MAAM,GAAG;AACvD,cAAM,WAAW;AACjB,cAAM,UAAU,SAAS,SAAS;AAElC,YAAI,SAAS;AAEX,gBAAM,oBAA6C,CAAC;AACpD,qBAAW,CAAC,YAAY,MAAM,KAAK,OAAO,QAAQ,OAAO,GAAG;AAC1D,kBAAM,YAAY;AAClB,kBAAM,mBAA4C;AAAA,cAChD,GAAG;AAAA,cACH,UAAU,UAAU,UAAU,KAAK;AAAA,YACrC;AAEA,8BAAkB,UAAU,IAAI;AAAA,UAClC;AAGA,2BAAiB,SAAS,IAAI;AAAA,YAC5B,GAAG;AAAA,YACH,SAAS;AAAA,YACT,SAAS,SAAS,SAAS,KAAK,CAAC;AAAA,YACjC,SAAS,SAAS,SAAS,KAAK,CAAC;AAAA,YACjC,aAAa,SAAS,aAAa,KAAK,CAAC;AAAA,UAC3C;AAAA,QACF,OAAO;AACL,2BAAiB,SAAS,IAAI;AAAA,QAChC;AAAA,MACF;AAEA,0BAAoB;AAAA,QAClB,GAAG;AAAA,QACH,QAAQ;AAAA,MACV;AAAA,IACF;AAAA,EACF;AAGA,MAAI,mBAAmB,YAAY,QAAQ;AAC3C,MAAI,oBAAoB,OAAO,qBAAqB,YAAY,qBAAqB,MAAM;AACzF,UAAM,SAAS;AACf,UAAM,sBAA+C,CAAC;AACtD,eAAW,CAAC,WAAW,KAAK,KAAK,OAAO,QAAQ,MAAM,GAAG;AACvD,YAAM,WAAW;AACjB,0BAAoB,SAAS,IAAI;AAAA,QAC/B,GAAG;AAAA,QACH,WAAW,SAAS,WAAW,KAAK,CAAC;AAAA,MACvC;AAAA,IACF;AACA,uBAAmB;AAAA,EACrB;AAGA,SAAO;AAAA,IACL,GAAG;AAAA,IACH,QAAQ;AAAA,IACR,WAAW,YAAY,WAAW,KAAK,CAAC;AAAA,IACxC,SAAS;AAAA,IACT,gBAAgB,YAAY,gBAAgB,KAAK,CAAC;AAAA,IAClD,cAAc,YAAY,cAAc,KAAK,CAAC;AAAA,IAC9C,MAAM,YAAY,MAAM,KAAK,CAAC;AAAA,IAC9B,SAAS,YAAY,SAAS,KAAK,CAAC;AAAA,EACtC;AACF;AAsCO,SAAS,iBACd,OACW;AAEX,QAAM,aAAa,kBAAkB,KAAK;AAE1C,QAAM,oBAAoB,0BAAmD,UAAU;AAEvF,QAAM,wBAAwB;AAG9B,wBAAsB,qBAAqB;AAG3C,QAAM,mBAAoB,sBAA8D;AAGxF,QAAM,WAAW;AAAA,IACf,sBAAsB;AAAA,IACtB,sBAAsB;AAAA,IACtB;AAAA,EACF;AAGA,QAAM,uBAAuB;AAAA,IAC3B,GAAG;AAAA,IACH,QAAQ,sBAAsB;AAAA,IAC9B,WAAW,sBAAsB;AAAA,IACjC,SAAS,sBAAsB;AAAA,IAC/B;AAAA,EACF;AAIA,SAAO;AACT;","names":[]}