@prisma-next/sql-contract-ts 0.3.0-dev.9 → 0.3.0-dev.91

package/LICENSE

@@ -0,0 +1,201 @@
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright [2026] [Prisma Data, Inc]
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

package/README.md

@@ -16,15 +16,15 @@ This package contains the SQL-specific TypeScript contract authoring surface for
 
 This package is part of the SQL family namespace (`packages/2-sql/2-authoring/contract-ts`) and provides:
 - SQL contract builder (`defineContract`) - TypeScript builder for creating SQL contracts programmatically
-- SQL contract validation (`validateContract`) - Structural and logical validation for SQL contracts
 - SQL contract JSON schema - JSON schema for validating contract structure
 
 ## Responsibilities
 
 - **SQL Contract Builder**: Provides the `defineContract()` builder API for creating SQL contracts programmatically with type safety, including pack-ref based `.target()` and `.extensionPacks()` helpers
-- **SQL Contract Validation**: Implements SQL-specific contract validation (`validateContractStructure`, `validateContractLogic`, `validateContract`) and normalization
+- **Storage Type Authoring**: Supports `storage.types` declarations and `typeRef` columns via the SQL builder
 - **SQL Contract JSON Schema**: Provides JSON schema for validating contract structure in IDEs and tooling
 - **Composition Layer**: Composes the target-agnostic builder core from `@prisma-next/contract-authoring` with SQL-specific types and validation logic
+- **Generated Defaults**: Supports client-generated defaults via `ColumnDefault.kind = 'generated'` in contract authoring
 
 ## Package Status
 
@@ -34,9 +34,16 @@ This package was created in Phase 1 and refactored in Phase 2. It now composes t
 
 - **Composes generic core**: Uses `@prisma-next/contract-authoring` for generic builder state management (`TableBuilder`, `ModelBuilder`, `ContractBuilder` base class)
 - **SQL-specific types**: Provides SQL-specific contract types (`SqlContract`, `SqlStorage`, `SqlMappings`) from `@prisma-next/sql-contract/types`
-- **SQL-specific validation**: Implements SQL-specific contract validation (`validateContractStructure`, `validateContractLogic`, `validateContract`) and normalization (`normalizeContract`)
 - **SQL-specific build()**: Implements SQL-specific `build()` method in `SqlContractBuilder` that constructs `SqlContract` instances with SQL-specific structure (uniques, indexes, foreignKeys arrays)
 
+```mermaid
+flowchart LR
+  builderInput[TS builder calls] --> sqlContractTs[@prisma-next/sql-contract-ts]
+  sqlContractTs --> authoringCore[@prisma-next/contract-authoring]
+  sqlContractTs --> sqlTypes[@prisma-next/sql-contract/types]
+  sqlContractTs --> contractIR[SQL ContractIR]
+```
+
 This package is part of the package layering architecture:
 - **Location**: `packages/2-sql/2-authoring/contract-ts` (SQL family namespace)
 - **Ring**: SQL family namespace (can import from core, authoring, targets, and other SQL family packages)
@@ -44,7 +51,7 @@ This package is part of the package layering architecture:
 ## Exports
 
 - `./contract-builder` - Contract builder API (`defineContract`, `ColumnBuilder`)
-- `./contract` - Contract validation (`validateContract`, `computeMappings`)
+- `./config-types` - TypeScript contract config helper (`typescriptContract`)
 - `./schema-sql` - SQL contract JSON schema (`data-contract-sql-v1.json`)
 
 ## Usage
@@ -53,42 +60,98 @@ This package is part of the package layering architecture:
 
 ```typescript
 import { defineContract } from '@prisma-next/sql-contract-ts/contract-builder';
-import type { CodecTypes } from '@prisma-next/adapter-postgres/codec-types';
 import postgresPack from '@prisma-next/target-postgres/pack';
 import pgvector from '@prisma-next/extension-pgvector/pack';
-import { int4Column, textColumn } from '@prisma-next/adapter-postgres/column-types';
+import { enumColumn, enumType, int4Column, textColumn } from '@prisma-next/adapter-postgres/column-types';
 
-const contract = defineContract<CodecTypes>()
+const contract = defineContract()
   .target(postgresPack)
   .extensionPacks({ pgvector })
+  .storageType('Role', enumType('role', ['USER', 'ADMIN']))
   .table('user', (t) =>
     t
       .column('id', { type: int4Column, nullable: false })
       .column('email', { type: textColumn, nullable: false })
-      .primaryKey(['id']),
+      .column('role', { type: enumColumn('Role', 'role') })
+      .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'))
+  .foreignKeys({ constraints: true, indexes: false })  // Optional FK config
+  .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 |
+
+#### Contract-Level Foreign Key Configuration
+
+The builder supports a `.foreignKeys()` method to control FK constraint and index emission:
+
+```typescript
+const contract = defineContract<CodecTypes>()
+  .target(postgresPack)
+  // ...tables and models...
+  .foreignKeys({ constraints: true, indexes: false })  // Emit FK constraints but skip backing indexes
   .build();
 ```
 
+| Config | Default | Description |
+|--------|---------|-------------|
+| `constraints` | `true` | Emit `FOREIGN KEY` constraints in DDL |
+| `indexes` | `true` | Emit FK-backing indexes (e.g., `CREATE INDEX ... ON post (user_id)`) |
+
+When `.foreignKeys()` is not called, defaults to `{ constraints: true, indexes: true }`. See [ADR 161](../../../docs/architecture%20docs/adrs/ADR%20161%20-%20Explicit%20foreign%20key%20constraint%20and%20index%20configuration.md).
+
 ### Validating Contracts
 
+Contract JSON validation now lives in `@prisma-next/sql-contract/validate` (shared plane), while this package focuses on authoring/building contracts.
+
 ```typescript
-import { validateContract } from '@prisma-next/sql-contract-ts/contract';
-import type { SqlContract, SqlStorage } from '@prisma-next/sql-contract/types';
+import { validateContract } from '@prisma-next/sql-contract/validate';
 import type { Contract } from './contract.d';
 
-// From JSON import
 const contract = validateContract<Contract>(contractJson);
+```
 
-// Or with generic type (less type-safe)
-const contract = validateContract<SqlContract<SqlStorage>>(contractJson);
+### Config Helper
+
+Use `typescriptContract` from this package when wiring TS-authored contracts in `prisma-next.config.ts`.
+
+```typescript
+import { defineConfig } from '@prisma-next/cli/config-types';
+import { typescriptContract } from '@prisma-next/sql-contract-ts/config-types';
+import { contract } from './src/prisma/contract';
+
+export default defineConfig({
+  // ...
+  contract: typescriptContract(contract, 'src/prisma/contract.json'),
+});
 ```
 
 ## Dependencies
 
 - **`@prisma-next/contract-authoring`** - Target-agnostic builder core (builder state types, builder classes, type helpers)
 - **`@prisma-next/contract`** - Core contract types (`ContractBase`)
+- **`@prisma-next/core-control-plane`** - Contract config types used by `typescriptContract`
 - **`@prisma-next/sql-contract`** - SQL contract types (`SqlContract`, `SqlStorage`, `SqlMappings`)
 - **`arktype`** - Runtime validation
 - **`ts-toolbelt`** - Type utilities
@@ -106,4 +169,6 @@ Integration tests that depend on both `sql-contract-ts` and `sql-query` are loca
 ## See Also
 
 - `@prisma-next/contract-authoring` - Target-agnostic builder core that this package composes
+- `@prisma-next/sql-contract-psl` - PSL parser-output to SQL `ContractIR` interpreter for provider-based flows
+- `@prisma-next/sql-contract-psl/provider` - SQL PSL-first `prismaContract()` helper (read -> parse -> interpret)
 

package/dist/config-types.d.mts

@@ -0,0 +1,8 @@
+import { ContractConfig, ContractConfig as ContractConfig$1 } from "@prisma-next/config/config-types";
+import { ContractIR } from "@prisma-next/contract/ir";
+
+//#region src/config-types.d.ts
+declare function typescriptContract(contractIR: ContractIR, output?: string): ContractConfig$1;
+//#endregion
+export { type ContractConfig, typescriptContract };
+//# sourceMappingURL=config-types.d.mts.map

package/dist/config-types.d.mts.map

@@ -0,0 +1 @@
+{"version":3,"file":"config-types.d.mts","names":[],"sources":["../src/config-types.ts"],"sourcesContent":[],"mappings":";;;;iBAKgB,kBAAA,aAA+B,8BAA8B"}

package/dist/config-types.mjs

@@ -0,0 +1,14 @@
+import { ifDefined } from "@prisma-next/utils/defined";
+import { ok } from "@prisma-next/utils/result";
+
+//#region src/config-types.ts
+function typescriptContract(contractIR, output) {
+	return {
+		source: async (_context) => ok(contractIR),
+		...ifDefined("output", output)
+	};
+}
+
+//#endregion
+export { typescriptContract };
+//# sourceMappingURL=config-types.mjs.map

package/dist/config-types.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"config-types.mjs","names":[],"sources":["../src/config-types.ts"],"sourcesContent":["import type { ContractConfig } from '@prisma-next/config/config-types';\nimport type { ContractIR } from '@prisma-next/contract/ir';\nimport { ifDefined } from '@prisma-next/utils/defined';\nimport { ok } from '@prisma-next/utils/result';\n\nexport function typescriptContract(contractIR: ContractIR, output?: string): ContractConfig {\n  return {\n    source: async (_context) => ok(contractIR),\n    ...ifDefined('output', output),\n  };\n}\n"],"mappings":";;;;AAKA,SAAgB,mBAAmB,YAAwB,QAAiC;AAC1F,QAAO;EACL,QAAQ,OAAO,aAAa,GAAG,WAAW;EAC1C,GAAG,UAAU,UAAU,OAAO;EAC/B"}

package/dist/contract-builder.d.mts

@@ -0,0 +1,97 @@
+import { BuildModels, BuildRelations, BuildStorageColumn, ColumnBuilderState, ContractBuilder, ContractBuilderState, ExtractColumns, ExtractPrimaryKey, ForeignKeyDefaultsState, ModelBuilder, ModelBuilderState, RelationDefinition, TableBuilder, TableBuilderState } from "@prisma-next/contract-authoring";
+import { ContractWithTypeMaps, Index, ReferentialAction, SqlContract, SqlMappings, StorageTypeInstance, TypeMaps } from "@prisma-next/sql-contract/types";
+import { ExtensionPackRef, TargetPackRef } from "@prisma-next/contract/framework-components";
+
+//#region src/contract-builder.d.ts
+
+type ContractBuilderMappings = SqlMappings;
+type ExtractCodecTypesFromPack<P> = P extends {
+  __codecTypes?: infer C;
+} ? C extends Record<string, {
+  output: unknown;
+}> ? C : Record<string, never> : Record<string, never>;
+type UnionToIntersection<U> = (U extends unknown ? (k: U) => void : never) extends ((k: infer I) => void) ? I : never;
+type MergeExtensionCodecTypes<Packs extends Record<string, unknown>> = UnionToIntersection<{ [K in keyof Packs]: ExtractCodecTypesFromPack<Packs[K]> }[keyof Packs]>;
+type BuildStorageTable<_TableName extends string, Columns extends Record<string, ColumnBuilderState<string, boolean, string>>, PK extends readonly string[] | undefined> = {
+  readonly columns: { readonly [K in keyof Columns]: Columns[K] extends ColumnBuilderState<string, infer Null, infer TType> ? BuildStorageColumn<Null & boolean, TType> : never };
+  readonly uniques: ReadonlyArray<{
+    readonly columns: readonly string[];
+    readonly name?: string;
+  }>;
+  readonly indexes: ReadonlyArray<Index>;
+  readonly foreignKeys: ReadonlyArray<{
+    readonly columns: readonly string[];
+    readonly references: {
+      readonly table: string;
+      readonly columns: readonly string[];
+    };
+    readonly name?: string;
+    readonly onDelete?: ReferentialAction;
+    readonly onUpdate?: ReferentialAction;
+    readonly constraint: boolean;
+    readonly index: boolean;
+  }>;
+} & (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>>, Types extends Record<string, StorageTypeInstance>> = {
+  readonly tables: { readonly [K in keyof Tables]: BuildStorageTable<K & string, ExtractColumns<Tables[K]>, ExtractPrimaryKey<Tables[K]>> };
+  readonly types: Types;
+};
+interface ColumnBuilder<Name extends string, Nullable extends boolean, Type extends string> {
+  nullable<Value extends boolean>(value?: Value): ColumnBuilder<Name, Value, Type>;
+  type<Id extends string>(id: Id): ColumnBuilder<Name, Nullable, Id>;
+  build(): ColumnBuilderState<Name, Nullable, Type>;
+}
+declare class SqlContractBuilder<CodecTypes extends Record<string, {
+  output: unknown;
+}> = Record<string, never>, Target extends string | undefined = undefined, Tables extends Record<string, TableBuilderState<string, Record<string, ColumnBuilderState<string, boolean, string>>, readonly string[] | undefined>> = Record<never, never>, Models extends Record<string, ModelBuilderState<string, string, Record<string, string>, Record<string, RelationDefinition>>> = Record<never, never>, Types extends Record<string, StorageTypeInstance> = Record<never, never>, StorageHash extends string | undefined = undefined, ExtensionPacks extends Record<string, unknown> | undefined = undefined, Capabilities extends Record<string, Record<string, boolean>> | undefined = undefined> extends ContractBuilder<Target, Tables, Models, StorageHash, ExtensionPacks, Capabilities> {
+  protected readonly state: ContractBuilderState<Target, Tables, Models, StorageHash, ExtensionPacks, Capabilities> & {
+    readonly storageTypes?: Types;
+  };
+  /**
+   * This method is responsible for normalizing the contract IR by setting default values
+   * for all required fields:
+   * - `nullable`: defaults to `false` if not provided
+   * - `uniques`: defaults to `[]` (empty array)
+   * - `indexes`: defaults to `[]` (empty array)
+   * - `foreignKeys`: defaults to `[]` (empty array)
+   * - `relations`: defaults to `{}` (empty object) for both model-level and contract-level
+   * - `nativeType`: required field set from column type descriptor when columns are defined
+   *
+   * The contract builder is the **only** place where normalization should occur.
+   * Validators, parsers, and emitters should assume the contract is already normalized.
+   *
+   * **Required**: Use column type descriptors (e.g., `int4Column`, `textColumn`) when defining columns.
+   * This ensures `nativeType` is set correctly at build time.
+   *
+   * @returns A normalized SqlContract with all required fields present
+   */
+  build(): Target extends string ? ContractWithTypeMaps<SqlContract<BuildStorage<Tables, Types>, BuildModels<Models>, BuildRelations<Models>, ContractBuilderMappings> & {
+    readonly schemaVersion: '1';
+    readonly target: Target;
+    readonly targetFamily: 'sql';
+    readonly storageHash: StorageHash extends string ? StorageHash : string;
+  } & (ExtensionPacks extends Record<string, unknown> ? {
+    readonly extensionPacks: ExtensionPacks;
+  } : Record<string, never>) & (Capabilities extends Record<string, Record<string, boolean>> ? {
+    readonly capabilities: Capabilities;
+  } : Record<string, never>), TypeMaps<CodecTypes, Record<string, never>>> : never;
+  target<T extends string, TPack extends TargetPackRef<string, T> = TargetPackRef<string, T>>(packRef: TPack & TargetPackRef<string, T>): SqlContractBuilder<ExtractCodecTypesFromPack<TPack> extends Record<string, never> ? CodecTypes : ExtractCodecTypesFromPack<TPack>, T, Tables, Models, Types, StorageHash, ExtensionPacks, Capabilities>;
+  extensionPacks<const Packs extends Record<string, ExtensionPackRef<'sql', string>>>(packs: Packs): SqlContractBuilder<CodecTypes & MergeExtensionCodecTypes<Packs>, Target, Tables, Models, Types, StorageHash, ExtensionPacks, Capabilities>;
+  capabilities<C extends Record<string, Record<string, boolean>>>(capabilities: C): SqlContractBuilder<CodecTypes, Target, Tables, Models, Types, StorageHash, ExtensionPacks, C>;
+  storageHash<H extends string>(hash: H): SqlContractBuilder<CodecTypes, Target, Tables, Models, Types, H, ExtensionPacks, Capabilities>;
+  table<TableName extends string, T extends TableBuilder<TableName, Record<string, ColumnBuilderState<string, boolean, string>>, readonly string[] | undefined>>(name: TableName, callback: (t: TableBuilder<TableName>) => T | undefined): SqlContractBuilder<CodecTypes, Target, Tables & Record<TableName, ReturnType<T['build']>>, Models, Types, StorageHash, ExtensionPacks, Capabilities>;
+  model<ModelName extends string, TableName extends string, M extends ModelBuilder<ModelName, TableName, Record<string, string>, Record<string, RelationDefinition>>>(name: ModelName, table: TableName, callback: (m: ModelBuilder<ModelName, TableName, Record<never, never>, Record<never, never>>) => M | undefined): SqlContractBuilder<CodecTypes, Target, Tables, Models & Record<ModelName, ReturnType<M['build']>>, Types, StorageHash, ExtensionPacks, Capabilities>;
+  foreignKeyDefaults(config: ForeignKeyDefaultsState): SqlContractBuilder<CodecTypes, Target, Tables, Models, Types, StorageHash, ExtensionPacks, Capabilities>;
+  storageType<Name extends string, Type extends StorageTypeInstance>(name: Name, typeInstance: Type): SqlContractBuilder<CodecTypes, Target, Tables, Models, Types & Record<Name, Type>, StorageHash, ExtensionPacks, Capabilities>;
+}
+declare function defineContract<CodecTypes extends Record<string, {
+  output: unknown;
+}> = Record<string, never>>(): SqlContractBuilder<CodecTypes>;
+//#endregion
+export { type ColumnBuilder, defineContract };
+//# sourceMappingURL=contract-builder.d.mts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"contract-builder.d.mts","names":[],"sources":["../src/contract-builder.ts"],"sourcesContent":[],"mappings":";;;;;;KAsIK,uBAAA,GAA0B,WA0DA;KAxD1B,yBAwDW,CAAA,CAAA,CAAA,GAxDoB,CAwDpB,SAAA;EAGS,YAAA,CAAA,EAAA,KAAA,EAAA;CACnB,GAAA,CAAA,SA3DQ,MA2DR,CAAA,MAAA,EAAA;EACe,MAAA,EAAA,OAAA;CAAO,CAAA,GAAA,CAAA,GA1DtB,MA0DsB,CAAA,MAAA,EAAA,KAAA,CAAA,GAzDxB,MAyDwB,CAAA,MAAA,EAAA,KAAA,CAAA;KAvDvB,mBAuDC,CAAA,CAAA,CAAA,GAAA,CAvDyB,CAuDzB,SAAA,OAAA,GAAA,CAAA,CAAA,EAvDiD,CAuDjD,EAAA,GAAA,IAAA,GAAA,KAAA,CAAA,UAAA,CAAA,CAAA,EAAA,KAAA,EAAA,EAAA,GAAA,IAAA,IAAA,CAAA,GAAA,KAAA;KAjDD,wBAkDmB,CAAA,cAlDoB,MAkDpB,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA,GAlD+C,mBAkD/C,CAAA,QAAO,MAhDf,KAgDe,GAhDP,yBAgDO,CAhDmB,KAgDnB,CAhDyB,CAgDzB,CAAA,CAAA,EAAzB,CAAA,MA/CI,KA+CJ,CAAA,CAAA;KA5CD,iBAyC6B,CAAA,mBAAA,MAAA,EAAA,gBAvChB,MAuCgB,CAAA,MAAA,EAvCD,kBAuCC,CAAA,MAAA,EAAA,OAAA,EAAA,MAAA,CAAA,CAAA,EAAA,WAAA,SAAA,MAAA,EAAA,GAAA,SAAA,CAAA,GAAA;EAMhB,SAAA,OAAA,EAAA,iBAAK,MAzCE,OAyCF,GAzCY,OAyCZ,CAzCoB,CAyCpB,CAAA,SAzC+B,kBAyC/B,CAAA,MAAA,EAAA,KAAA,KAAA,EAAA,KAAA,MAAA,CAAA,GApCf,kBAoCe,CApCI,IAoCJ,GAAA,OAAA,EApCoB,KAoCpB,CAAA,GAAA,KAAA,EAoBN;EACyB,SAAA,OAAA,EAtDtB,aAsDsB,CAAA;IAAsB,SAAA,OAAA,EAAA,SAAA,MAAA,EAAA;IAAM,SAAA,IAAA,CAAA,EAAA,MAAA;EAAO,CAAA,CAAA;EAA3B,SAAA,OAAA,EArD9B,aAqD8B,CArDhB,KAqDgB,CAAA;EACpB,SAAA,WAAA,EArDN,aAqDM,CAAA;IAAmB,SAAA,OAAA,EAAA,SAAA,MAAA,EAAA;IAAM,SAAA,UAAA,EAAA;MAAU,SAAA,KAAA,EAAA,MAAA;MAA9B,SAAA,OAAA,EAAA,SAAA,MAAA,EAAA;IACL,CAAA;IAAM,SAAA,IAAA,CAAA,EAAA,MAAA;IAAU,SAAA,QAAA,CAAA,EAlDtB,iBAkDsB;IAAnC,SAAA,QAAA,CAAA,EAjDa,iBAiDb;IAAkB,SAAA,UAAA,EAAA,OAAA;IAiDvB,SAAA,KAAA,EAAA,OAAkB;EACH,CAAA,CAAA;CAAsC,GAAA,CA/FtD,EA+FsD,SAAA,SAAA,MAAA,EAAA,GAAA;EAMtC,SAAA,UAAA,EAAA;IAAf,SAAA,OAAA,EApGyC,EAoGzC;IAFF,SAAA,IAAA,CAAA,EAAA,MAAA;EAFa,CAAA;CAOX,GAtGF,MAsGE,CAAA,MAAA,EAAA,KAAA,CAAA,CAAA;KApGD,YAuGiC,CAAA,eAtGrB,MAsGqB,CAAA,MAAA,EApGlC,iBAoGkC,CAAA,MAAA,EAlGhC,MAkGgC,CAAA,MAAA,EAlGjB,kBAkGiB,CAAA,MAAA,EAAA,OAAA,EAAA,MAAA,CAAA,CAAA,EAAA,SAAA,MAAA,EAAA,GAAA,SAAA,CAAA,CAAA,EAAA,cA9FtB,MA8FsB,CAAA,MAAA,EA9FP,mBA8FO,CAAA,CAAA,GAAA;EAAuC,SAAA,MAAA,EAAA,iBAAf,MA3FrC,MA2FqC,GA3F5B,iBA2F4B,CA1FxD,CA0FwD,GAAA,MAAA,EAzFxD,cAyFwD,CAzFzC,MAyFyC,CAzFlC,CAyFkC,CAAA,CAAA,EAxFxD,iBAwFwD,CAxFtC,MAwFsC,CAxF/B,CAwF+B,CAAA,CAAA,CAAA,EAA1D;EAFa,SAAA,KAAA,EAnFC,KAmFD;CAGX;AACyB,UAnEd,aAmEc,CAAA,aAAA,MAAA,EAAA,iBAAA,OAAA,EAAA,aAAA,MAAA,CAAA,CAAA;EAAf,QAAA,CAAA,cAAA,OAAA,CAAA,CAAA,KAAA,CAAA,EAlE0B,KAkE1B,CAAA,EAlEkC,aAkElC,CAlEgD,IAkEhD,EAlEsD,KAkEtD,EAlE6D,IAkE7D,CAAA;EAAsC,IAAA,CAAA,WAAA,MAAA,CAAA,CAAA,EAAA,EAjExB,EAiEwB,CAAA,EAjEnB,aAiEmB,CAjEL,IAiEK,EAjEC,QAiED,EAjEW,EAiEX,CAAA;EAE7B,KAAA,EAAA,EAlEd,kBAkEc,CAlEK,IAkEL,EAlEW,QAkEX,EAlEqB,IAkErB,CAAA;;cAjBnB,kBAkBiB,CAAA,mBAjBF,MAiBE,CAAA,MAAA,EAAA;EACG,MAAA,EAAA,OAAA;CAAQ,CAAA,GAlByB,MAkBzB,CAAA,MAAA,EAAA,KAAA,CAAA,EAAA,eAAA,MAAA,GAAA,SAAA,GAAA,SAAA,EAAA,eAhBjB,MAgBiB,CAAA,MAAA,EAd9B,iBAc8B,CAAA,MAAA,EAZ5B,MAY4B,CAAA,MAAA,EAZb,kBAYa,CAAA,MAAA,EAAA,OAAA,EAAA,MAAA,CAAA,CAAA,EAAA,SAAA,MAAA,EAAA,GAAA,SAAA,CAAA,CAAA,GAT5B,MAS4B,CAAA,KAAA,EAAA,KAAA,CAAA,EAAA,eARjB,MAQiB,CAAA,MAAA,EAN9B,iBAM8B,CAAA,MAAA,EAAA,MAAA,EANI,MAMJ,CAAA,MAAA,EAAA,MAAA,CAAA,EAN4B,MAM5B,CAAA,MAAA,EAN2C,kBAM3C,CAAA,CAAA,CAAA,GAL5B,MAK4B,CAAA,KAAA,EAAA,KAAA,CAAA,EAAA,cAJlB,MAIkB,CAAA,MAAA,EAJH,mBAIG,CAAA,GAJoB,MAIpB,CAAA,KAAA,EAAA,KAAA,CAAA,EAAA,oBAAA,MAAA,GAAA,SAAA,GAAA,SAAA,EAAA,uBAFT,MAES,CAAA,MAAA,EAAA,OAAA,CAAA,GAAA,SAAA,GAAA,SAAA,EAAA,qBADX,MACW,CAAA,MAAA,EADI,MACJ,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA,GAAA,SAAA,GAAA,SAAA,CAAA,SAAxB,eAAwB,CAAR,MAAQ,EAAA,MAAA,EAAQ,MAAR,EAAgB,WAAhB,EAA6B,cAA7B,EAA6C,YAA7C,CAAA,CAAA;EAAQ,mBAAA,KAAA,EACN,oBADM,CAEtC,MAFsC,EAGtC,MAHsC,EAItC,MAJsC,EAKtC,WALsC,EAMtC,cANsC,EAOtC,YAPsC,CAAA,GAAA;IAAQ,SAAA,YAAA,CAAA,EAStB,KATsB;EAAa,CAAA;EAAgB;;;;;;;;;;;;;;;;;;EA+BvE,KAAA,CAAA,CAAA,EAFG,MAEH,SAAA,MAAA,GADF,oBACE,CAAA,WAAA,CACE,YADF,CACe,MADf,EACuB,KADvB,CAAA,EAEE,WAFF,CAEc,MAFd,CAAA,EAGE,cAHF,CAGiB,MAHjB,CAAA,EAIE,uBAJF,CAAA,GAAA;IAOmB,SAAA,aAAA,EAAA,GAAA;IAEK,SAAA,MAAA,EAFL,MAEK;IAA6B,SAAA,YAAA,EAAA,KAAA;IAChD,SAAA,WAAA,EADmB,WACnB,SAAA,MAAA,GADgD,WAChD,GAAA,MAAA;EAAuB,CAAA,GAAA,CAAvB,cAAuB,SAAA,MAAA,CAAA,MAAA,EAAA,OAAA,CAAA,GAAA;IACK,SAAA,cAAA,EAAA,cAAA;EAC3B,CAAA,GAAA,MAAA,CAAA,MAAA,EAAA,KAAA,CAAA,CAAA,GAAA,CACH,YADG,SACkB,MADlB,CAAA,MAAA,EACiC,MADjC,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA,GAAA;IACH,SAAA,YAAA,EAC4B,YAD5B;EAAoC,CAAA,GAEjC,MAFiC,CAAA,MAAA,EAAA,KAAA,CAAA,CAAA,EAGvC,QAHuC,CAG9B,UAH8B,EAGlB,MAHkB,CAAA,MAAA,EAAA,KAAA,CAAA,CAAA,CAAA,GAAA,KAAA;EAAf,MAAA,CAAA,UAAA,MAAA,EAAA,cAsRd,aAtRc,CAAA,MAAA,EAsRQ,CAtRR,CAAA,GAsRa,aAtRb,CAAA,MAAA,EAsRmC,CAtRnC,CAAA,CAAA,CAAA,OAAA,EAwRnB,KAxRmB,GAwRX,aAxRW,CAAA,MAAA,EAwRW,CAxRX,CAAA,CAAA,EAyR3B,kBAzR2B,CA0R5B,yBA1R4B,CA0RF,KA1RE,CAAA,SA0Ra,MA1Rb,CAAA,MAAA,EAAA,KAAA,CAAA,GA2RxB,UA3RwB,GA4RxB,yBA5RwB,CA4RE,KA5RF,CAAA,EA6R5B,CA7R4B,EA8R5B,MA9R4B,EA+R5B,MA/R4B,EAgS5B,KAhS4B,EAiS5B,WAjS4B,EAkS5B,cAlS4B,EAmS5B,YAnS4B,CAAA;EACO,cAAA,CAAA,oBAgUF,MAhUE,CAAA,MAAA,EAgUa,gBAhUb,CAAA,KAAA,EAAA,MAAA,CAAA,CAAA,CAAA,CAAA,KAAA,EAiU5B,KAjU4B,CAAA,EAkUlC,kBAlUkC,CAmUnC,UAnUmC,GAmUtB,wBAnUsB,CAmUG,KAnUH,CAAA,EAoUnC,MApUmC,EAqUnC,MArUmC,EAsUnC,MAtUmC,EAuUnC,KAvUmC,EAwUnC,WAxUmC,EAyUnC,cAzUmC,EA0UnC,YA1UmC,CAAA;EACzB,YAAA,CAAA,UAwXoB,MAxXpB,CAAA,MAAA,EAwXmC,MAxXnC,CAAA,MAAA,EAAA,OAAA,CAAA,CAAA,CAAA,CAAA,YAAA,EAyXI,CAzXJ,CAAA,EA0XT,kBA1XS,CA0XU,UA1XV,EA0XsB,MA1XtB,EA0X8B,MA1X9B,EA0XsC,MA1XtC,EA0X8C,KA1X9C,EA0XqD,WA1XrD,EA0XkE,cA1XlE,EA0XkF,CA1XlF,CAAA;EACG,WAAA,CAAA,UAAA,MAAA,CAAA,CAAA,IAAA,EA0YP,CA1YO,CAAA,EA2YZ,kBA3YY,CA4Yb,UA5Ya,EA6Yb,MA7Ya,EA8Yb,MA9Ya,EA+Yb,MA/Ya,EAgZb,KAhZa,EAiZb,CAjZa,EAkZb,cAlZa,EAmZb,YAnZa,CAAA;EAAY,KAAA,CAAA,kBAAA,MAAA,EAAA,UAsaf,YAtae,CAuavB,SAvauB,EAwavB,MAxauB,CAAA,MAAA,EAwaR,kBAxaQ,CAAA,MAAA,EAAA,OAAA,EAAA,MAAA,CAAA,CAAA,EAAA,SAAA,MAAA,EAAA,GAAA,SAAA,CAAA,CAAA,CAAA,IAAA,EA4anB,SA5amB,EAAA,QAAA,EAAA,CAAA,CAAA,EA6aX,YA7aW,CA6aE,SA7aF,CAAA,EAAA,GA6aiB,CA7ajB,GAAA,SAAA,CAAA,EA8axB,kBA9awB,CA+azB,UA/ayB,EAgbzB,MAhbyB,EAibzB,MAjbyB,GAibhB,MAjbgB,CAibT,SAjbS,EAibE,UAjbF,CAiba,CAjbb,CAAA,OAAA,CAAA,CAAA,CAAA,EAkbzB,MAlbyB,EAmbzB,KAnbyB,EAobzB,WApbyB,EAqbzB,cArbyB,EAsbzB,YAtbyB,CAAA;EAArB,KAAA,CAAA,kBAAA,MAAA,EAAA,kBAAA,MAAA,EAAA,UAqdM,YArdN,CAsdF,SAtdE,EAudF,SAvdE,EAwdF,MAxdE,CAAA,MAAA,EAAA,MAAA,CAAA,EAydF,MAzdE,CAAA,MAAA,EAyda,kBAzdb,CAAA,CAAA,CAAA,CAAA,IAAA,EA4dE,SA5dF,EAAA,KAAA,EA6dG,SA7dH,EAAA,QAAA,EAAA,CAAA,CAAA,EA+dC,YA/dD,CA+dc,SA/dd,EA+dyB,SA/dzB,EA+doC,MA/dpC,CAAA,KAAA,EAAA,KAAA,CAAA,EA+d0D,MA/d1D,CAAA,KAAA,EAAA,KAAA,CAAA,CAAA,EAAA,GAgeC,CAheD,GAAA,SAAA,CAAA,EAieH,kBAjeG,CAkeJ,UAleI,EAmeJ,MAneI,EAoeJ,MApeI,EAqeJ,MAreI,GAqeK,MAreL,CAqeY,SAreZ,EAqeuB,UArevB,CAqekC,CArelC,CAAA,OAAA,CAAA,CAAA,CAAA,EAseJ,KAteI,EAueJ,WAveI,EAweJ,cAxeI,EAyeJ,YAzeI,CAAA;EAjBF,kBAAA,CAAA,MAAA,EAkhBM,uBAlhBN,CAAA,EAmhBD,kBAnhBC,CAohBF,UAphBE,EAqhBF,MArhBE,EAshBF,MAthBE,EAuhBF,MAvhBE,EAwhBF,KAxhBE,EAyhBF,WAzhBE,EA0hBF,cA1hBE,EA2hBF,YA3hBE,CAAA;EAoSkC,WAAA,CAAA,aAAA,MAAA,EAAA,aAwQQ,mBAxQR,CAAA,CAAA,IAAA,EAyQ9B,IAzQ8B,EAAA,YAAA,EA0QtB,IA1QsB,CAAA,EA2QnC,kBA3QmC,CA4QpC,UA5QoC,EA6QpC,MA7QoC,EA8QpC,MA9QoC,EA+QpC,MA/QoC,EAgRpC,KAhRoC,GAgR5B,MAhR4B,CAgRrB,IAhRqB,EAgRf,IAhRe,CAAA,EAiRpC,WAjRoC,EAkRpC,cAlRoC,EAmRpC,YAnRoC,CAAA;;AAA2B,iBAwSnD,cAxSmD,CAAA,mBAyS9C,MAzS8C,CAAA,MAAA,EAAA;EAAtB,MAAA,EAAA,OAAA;CAEhC,CAAA,GAuS8C,MAvS9C,CAAA,MAAA,EAAA,KAAA,CAAA,CAAA,CAAA,CAAA,EAwSR,kBAxSQ,CAwSW,UAxSX,CAAA"}