@prisma-next/contract-authoring 0.3.0-dev.4 → 0.3.0-dev.6

package/dist/builder-state.d.ts

@@ -0,0 +1,60 @@
+/**
+ * Column type descriptor containing both codec ID and native type.
+ * Used when defining columns with descriptor objects instead of string IDs.
+ */
+export type ColumnTypeDescriptor = {
+    readonly codecId: string;
+    readonly nativeType: string;
+};
+export interface ColumnBuilderState<Name extends string, Nullable extends boolean, Type extends string> {
+    readonly name: Name;
+    readonly nullable: Nullable;
+    readonly type: Type;
+    readonly nativeType: string;
+}
+export interface TableBuilderState<Name extends string, Columns extends Record<string, ColumnBuilderState<string, boolean, string>>, PrimaryKey extends readonly string[] | undefined> {
+    readonly name: Name;
+    readonly columns: Columns;
+    readonly primaryKey?: PrimaryKey;
+}
+export type RelationDefinition = {
+    readonly to: string;
+    readonly cardinality: '1:1' | '1:N' | 'N:1' | 'N:M';
+    readonly on: {
+        readonly parentCols: readonly string[];
+        readonly childCols: readonly string[];
+    };
+    readonly through?: {
+        readonly table: string;
+        readonly parentCols: readonly string[];
+        readonly childCols: readonly string[];
+    };
+};
+export interface ModelBuilderState<Name extends string, Table extends string, Fields extends Record<string, string>, Relations extends Record<string, RelationDefinition>> {
+    readonly name: Name;
+    readonly table: Table;
+    readonly fields: Fields;
+    readonly relations: Relations;
+}
+export interface ContractBuilderState<Target extends string | undefined = string | undefined, Tables extends Record<string, TableBuilderState<string, Record<string, ColumnBuilderState<string, boolean, string>>, readonly string[] | undefined>> = Record<never, TableBuilderState<string, Record<string, ColumnBuilderState<string, boolean, string>>, readonly string[] | undefined>>, Models extends Record<string, ModelBuilderState<string, string, Record<string, string>, Record<string, RelationDefinition>>> = Record<never, ModelBuilderState<string, string, Record<string, string>, Record<string, RelationDefinition>>>, CoreHash extends string | undefined = string | undefined, ExtensionPacks extends Record<string, unknown> | undefined = undefined, Capabilities extends Record<string, Record<string, boolean>> | undefined = undefined> {
+    readonly target?: Target;
+    readonly tables: Tables;
+    readonly models: Models;
+    readonly coreHash?: CoreHash;
+    readonly extensionPacks?: ExtensionPacks;
+    readonly capabilities?: Capabilities;
+    /**
+     * Array of extension pack namespace identifiers (e.g., ['pgvector', 'postgis']).
+     * Populated when extension packs are registered during contract building.
+     * Used to track which extension packs are included in the contract.
+     * Can be undefined or empty if no extension packs are registered.
+     * Namespace format matches the extension pack ID (e.g., 'pgvector', not 'pgvector@1.0.0').
+     */
+    readonly extensionNamespaces?: readonly string[];
+}
+export 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>;
+}
+//# sourceMappingURL=builder-state.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"builder-state.d.ts","sourceRoot":"","sources":["../src/builder-state.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,CAAC;AAEF,MAAM,WAAW,kBAAkB,CACjC,IAAI,SAAS,MAAM,EACnB,QAAQ,SAAS,OAAO,EACxB,IAAI,SAAS,MAAM;IAEnB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,iBAAiB,CAChC,IAAI,SAAS,MAAM,EACnB,OAAO,SAAS,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,EAC3E,UAAU,SAAS,SAAS,MAAM,EAAE,GAAG,SAAS;IAEhD,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC;CAClC;AAED,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,WAAW,EAAE,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,CAAC;IACpD,QAAQ,CAAC,EAAE,EAAE;QACX,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;QACvC,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;KACvC,CAAC;IACF,QAAQ,CAAC,OAAO,CAAC,EAAE;QACjB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;QACvB,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;QACvC,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;KACvC,CAAC;CACH,CAAC;AAEF,MAAM,WAAW,iBAAiB,CAChC,IAAI,SAAS,MAAM,EACnB,KAAK,SAAS,MAAM,EACpB,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EACrC,SAAS,SAAS,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC;IAEpD,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;CAC/B;AAED,MAAM,WAAW,oBAAoB,CACnC,MAAM,SAAS,MAAM,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS,EACtD,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,CACR,KAAK,EACL,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,EACD,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,CACR,KAAK,EACL,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC,CAC9F,EACD,QAAQ,SAAS,MAAM,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS,EACxD,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;IAEpF,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC;IAC7B,QAAQ,CAAC,cAAc,CAAC,EAAE,cAAc,CAAC;IACzC,QAAQ,CAAC,YAAY,CAAC,EAAE,YAAY,CAAC;IACrC;;;;;;OAMG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAClD;AAED,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"}

package/dist/contract-builder.d.ts

@@ -0,0 +1,15 @@
+import type { TargetPackRef } from '@prisma-next/contract/framework-components';
+import type { ColumnBuilderState, ContractBuilderState, ModelBuilderState, RelationDefinition, TableBuilderState } from './builder-state';
+import { ModelBuilder } from './model-builder';
+import { TableBuilder } from './table-builder';
+export declare class ContractBuilder<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>, CoreHash extends string | undefined = undefined, ExtensionPacks extends Record<string, unknown> | undefined = undefined, Capabilities extends Record<string, Record<string, boolean>> | undefined = undefined> {
+    protected readonly state: ContractBuilderState<Target, Tables, Models, CoreHash, ExtensionPacks, Capabilities>;
+    constructor(state?: ContractBuilderState<Target, Tables, Models, CoreHash, ExtensionPacks, Capabilities>);
+    target<T extends string>(packRef: TargetPackRef<string, T>): ContractBuilder<T, Tables, Models, CoreHash, ExtensionPacks, Capabilities>;
+    capabilities<C extends Record<string, Record<string, boolean>>>(capabilities: C): ContractBuilder<Target, Tables, Models, CoreHash, ExtensionPacks, C>;
+    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): ContractBuilder<Target, Tables & Record<TableName, ReturnType<T['build']>>, Models, CoreHash, 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<string, string>, Record<never, never>>) => M | undefined): ContractBuilder<Target, Tables, Models & Record<ModelName, ReturnType<M['build']>>, CoreHash, ExtensionPacks, Capabilities>;
+    coreHash<H extends string>(hash: H): ContractBuilder<Target, Tables, Models, H, ExtensionPacks, Capabilities>;
+}
+export declare function defineContract(): ContractBuilder;
+//# sourceMappingURL=contract-builder.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"contract-builder.d.ts","sourceRoot":"","sources":["../src/contract-builder.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,4CAA4C,CAAC;AAChF,OAAO,KAAK,EACV,kBAAkB,EAClB,oBAAoB,EACpB,iBAAiB,EACjB,kBAAkB,EAClB,iBAAiB,EAClB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,qBAAa,eAAe,CAC1B,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;IAEpF,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,oBAAoB,CAC5C,MAAM,EACN,MAAM,EACN,MAAM,EACN,QAAQ,EACR,cAAc,EACd,YAAY,CACb,CAAC;gBAGA,KAAK,CAAC,EAAE,oBAAoB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,cAAc,EAAE,YAAY,CAAC;IAU9F,MAAM,CAAC,CAAC,SAAS,MAAM,EACrB,OAAO,EAAE,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC,GAChC,eAAe,CAAC,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,cAAc,EAAE,YAAY,CAAC;IAO7E,YAAY,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAC5D,YAAY,EAAE,CAAC,GACd,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC,CAAC;IAOvE,KAAK,CACH,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,eAAe,CAChB,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;IAoBD,KAAK,CACH,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,eAAe,CAChB,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;IAoBD,QAAQ,CAAC,CAAC,SAAS,MAAM,EACvB,IAAI,EAAE,CAAC,GACN,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,cAAc,EAAE,YAAY,CAAC;CAM5E;AAED,wBAAgB,cAAc,IAAI,eAAe,CAEhD"}

package/dist/index.d.ts

@@ -1,175 +1,6 @@
-import { TargetPackRef } from '@prisma-next/contract/framework-components';
-
-/**
- * Column type descriptor containing both codec ID and native type.
- * Used when defining columns with descriptor objects instead of string IDs.
- */
-type ColumnTypeDescriptor = {
-    readonly codecId: string;
-    readonly nativeType: string;
-};
-interface ColumnBuilderState<Name extends string, Nullable extends boolean, Type extends string> {
-    readonly name: Name;
-    readonly nullable: Nullable;
-    readonly type: Type;
-    readonly nativeType: string;
-}
-interface TableBuilderState<Name extends string, Columns extends Record<string, ColumnBuilderState<string, boolean, string>>, PrimaryKey extends readonly string[] | undefined> {
-    readonly name: Name;
-    readonly columns: Columns;
-    readonly primaryKey?: PrimaryKey;
-}
-type RelationDefinition = {
-    readonly to: string;
-    readonly cardinality: '1:1' | '1:N' | 'N:1' | 'N:M';
-    readonly on: {
-        readonly parentCols: readonly string[];
-        readonly childCols: readonly string[];
-    };
-    readonly through?: {
-        readonly table: string;
-        readonly parentCols: readonly string[];
-        readonly childCols: readonly string[];
-    };
-};
-interface ModelBuilderState<Name extends string, Table extends string, Fields extends Record<string, string>, Relations extends Record<string, RelationDefinition>> {
-    readonly name: Name;
-    readonly table: Table;
-    readonly fields: Fields;
-    readonly relations: Relations;
-}
-interface ContractBuilderState<Target extends string | undefined = string | undefined, Tables extends Record<string, TableBuilderState<string, Record<string, ColumnBuilderState<string, boolean, string>>, readonly string[] | undefined>> = Record<never, TableBuilderState<string, Record<string, ColumnBuilderState<string, boolean, string>>, readonly string[] | undefined>>, Models extends Record<string, ModelBuilderState<string, string, Record<string, string>, Record<string, RelationDefinition>>> = Record<never, ModelBuilderState<string, string, Record<string, string>, Record<string, RelationDefinition>>>, CoreHash extends string | undefined = string | undefined, ExtensionPacks extends Record<string, unknown> | undefined = undefined, Capabilities extends Record<string, Record<string, boolean>> | undefined = undefined> {
-    readonly target?: Target;
-    readonly tables: Tables;
-    readonly models: Models;
-    readonly coreHash?: CoreHash;
-    readonly extensionPacks?: ExtensionPacks;
-    readonly capabilities?: Capabilities;
-    /**
-     * Array of extension pack namespace identifiers (e.g., ['pgvector', 'postgis']).
-     * Populated when extension packs are registered during contract building.
-     * Used to track which extension packs are included in the contract.
-     * Can be undefined or empty if no extension packs are registered.
-     * Namespace format matches the extension pack ID (e.g., 'pgvector', not 'pgvector@1.0.0').
-     */
-    readonly extensionNamespaces?: readonly string[];
-}
-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 ModelBuilder<Name extends string, Table extends string, Fields extends Record<string, string> = Record<never, never>, Relations extends Record<string, RelationDefinition> = Record<never, never>> {
-    private readonly _name;
-    private readonly _table;
-    private readonly _fields;
-    private readonly _relations;
-    constructor(name: Name, table: Table, fields?: Fields, relations?: Relations);
-    field<FieldName extends string, ColumnName extends string>(fieldName: FieldName, columnName: ColumnName): ModelBuilder<Name, Table, Fields & Record<FieldName, ColumnName>, Relations>;
-    relation<RelationName extends string, ToModel extends string, ToTable extends string>(name: RelationName, options: {
-        toModel: ToModel;
-        toTable: ToTable;
-        cardinality: '1:1' | '1:N' | 'N:1';
-        on: {
-            parentTable: Table;
-            parentColumns: readonly string[];
-            childTable: ToTable;
-            childColumns: readonly string[];
-        };
-    }): ModelBuilder<Name, Table, Fields, Relations & Record<RelationName, RelationDefinition>>;
-    relation<RelationName extends string, ToModel extends string, ToTable extends string, JunctionTable extends string>(name: RelationName, options: {
-        toModel: ToModel;
-        toTable: ToTable;
-        cardinality: 'N:M';
-        through: {
-            table: JunctionTable;
-            parentColumns: readonly string[];
-            childColumns: readonly string[];
-        };
-        on: {
-            parentTable: Table;
-            parentColumns: readonly string[];
-            childTable: JunctionTable;
-            childColumns: readonly string[];
-        };
-    }): ModelBuilder<Name, Table, Fields, Relations & Record<RelationName, RelationDefinition>>;
-    build(): ModelBuilderState<Name, Table, Fields, Relations>;
-}
-
-declare class TableBuilder<Name extends string, Columns extends Record<string, ColumnBuilderState<string, boolean, string>> = Record<never, ColumnBuilderState<string, boolean, string>>, PrimaryKey extends readonly string[] | undefined = undefined> {
-    private readonly _name;
-    private readonly _columns;
-    private readonly _primaryKey;
-    constructor(name: Name, columns?: Columns, primaryKey?: PrimaryKey);
-    column<ColName extends string, Descriptor extends ColumnTypeDescriptor, Nullable extends boolean | undefined = undefined>(name: ColName, options: {
-        type: Descriptor;
-        nullable?: Nullable;
-    }): TableBuilder<Name, Columns & Record<ColName, ColumnBuilderState<ColName, Nullable extends true ? true : false, Descriptor['codecId']>>, PrimaryKey>;
-    primaryKey<PK extends readonly string[]>(columns: PK, _name?: string): TableBuilder<Name, Columns, PK>;
-    unique(_columns: readonly string[], _name?: string): TableBuilder<Name, Columns, PrimaryKey>;
-    index(_columns: readonly string[], _name?: string): TableBuilder<Name, Columns, PrimaryKey>;
-    foreignKey(_columns: readonly string[], _references: {
-        table: string;
-        columns: readonly string[];
-    }, _name?: string): TableBuilder<Name, Columns, PrimaryKey>;
-    build(): TableBuilderState<Name, Columns, PrimaryKey>;
-}
-
-declare class ContractBuilder<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>, CoreHash extends string | undefined = undefined, ExtensionPacks extends Record<string, unknown> | undefined = undefined, Capabilities extends Record<string, Record<string, boolean>> | undefined = undefined> {
-    protected readonly state: ContractBuilderState<Target, Tables, Models, CoreHash, ExtensionPacks, Capabilities>;
-    constructor(state?: ContractBuilderState<Target, Tables, Models, CoreHash, ExtensionPacks, Capabilities>);
-    target<T extends string>(packRef: TargetPackRef<string, T>): ContractBuilder<T, Tables, Models, CoreHash, ExtensionPacks, Capabilities>;
-    capabilities<C extends Record<string, Record<string, boolean>>>(capabilities: C): ContractBuilder<Target, Tables, Models, CoreHash, ExtensionPacks, C>;
-    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): ContractBuilder<Target, Tables & Record<TableName, ReturnType<T['build']>>, Models, CoreHash, 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<string, string>, Record<never, never>>) => M | undefined): ContractBuilder<Target, Tables, Models & Record<ModelName, ReturnType<M['build']>>, CoreHash, ExtensionPacks, Capabilities>;
-    coreHash<H extends string>(hash: H): ContractBuilder<Target, Tables, Models, H, ExtensionPacks, Capabilities>;
-}
-declare function defineContract(): ContractBuilder;
-
-type BuildStorageColumn<Nullable extends boolean, Type extends string> = {
-    readonly nativeType: string;
-    readonly codecId: Type;
-    readonly nullable: Nullable;
-};
-type ExtractColumns<T extends TableBuilderState<string, Record<string, ColumnBuilderState<string, boolean, string>>, readonly string[] | undefined>> = T extends TableBuilderState<string, infer C, readonly string[] | undefined> ? C : never;
-type ExtractPrimaryKey<T extends TableBuilderState<string, Record<string, ColumnBuilderState<string, boolean, string>>, readonly string[] | undefined>> = T extends TableBuilderState<string, Record<string, ColumnBuilderState<string, boolean, string>>, infer PK> ? PK : never;
-type BuildStorage<Tables extends Record<string, TableBuilderState<string, Record<string, ColumnBuilderState<string, boolean, string>>, readonly string[] | undefined>>> = {
-    readonly tables: {
-        readonly [K in keyof Tables]: {
-            readonly columns: {
-                readonly [ColK in keyof ExtractColumns<Tables[K]>]: ExtractColumns<Tables[K]>[ColK] extends ColumnBuilderState<string, infer Null, infer TType> ? BuildStorageColumn<Null & boolean, TType> : never;
-            };
-        };
-    };
-};
-type BuildStorageTables<Tables extends Record<string, TableBuilderState<string, Record<string, ColumnBuilderState<string, boolean, string>>, readonly string[] | undefined>>> = {
-    readonly [K in keyof Tables]: {
-        readonly columns: {
-            readonly [ColK in keyof ExtractColumns<Tables[K]>]: ExtractColumns<Tables[K]>[ColK] extends ColumnBuilderState<string, infer Null, infer TType> ? BuildStorageColumn<Null & boolean, TType> : never;
-        };
-    };
-};
-type Mutable<T> = {
-    -readonly [K in keyof T]-?: T[K];
-};
-type BuildModelFields<Fields extends Record<string, string>> = {
-    readonly [K in keyof Fields]: {
-        readonly column: Fields[K];
-    };
-};
-type ExtractModelFields<T extends ModelBuilderState<string, string, Record<string, string>, Record<string, RelationDefinition>>> = T extends ModelBuilderState<string, string, infer F, Record<string, RelationDefinition>> ? F : never;
-type ExtractModelRelations<T extends ModelBuilderState<string, string, Record<string, string>, Record<string, RelationDefinition>>> = T extends ModelBuilderState<string, string, Record<string, string>, infer R> ? R : never;
-type BuildModels<Models extends Record<string, ModelBuilderState<string, string, Record<string, string>, Record<string, RelationDefinition>>>> = {
-    readonly [K in keyof Models]: {
-        readonly storage: {
-            readonly table: Models[K]['table'];
-        };
-        readonly fields: BuildModelFields<ExtractModelFields<Models[K]>>;
-    };
-};
-type BuildRelations<Models extends Record<string, ModelBuilderState<string, string, Record<string, string>, Record<string, RelationDefinition>>>> = {
-    readonly [K in keyof Models as Models[K]['table']]: ExtractModelRelations<Models[K]>;
-};
-
-export { type BuildModelFields, type BuildModels, type BuildRelations, type BuildStorage, type BuildStorageColumn, type BuildStorageTables, type ColumnBuilder, type ColumnBuilderState, type ColumnTypeDescriptor, ContractBuilder, type ContractBuilderState, type ExtractColumns, type ExtractModelFields, type ExtractModelRelations, type ExtractPrimaryKey, ModelBuilder, type ModelBuilderState, type Mutable, type RelationDefinition, TableBuilder, type TableBuilderState, defineContract };
+export type { ColumnBuilder, ColumnBuilderState, ColumnTypeDescriptor, ContractBuilderState, ModelBuilderState, RelationDefinition, TableBuilderState, } from './builder-state';
+export { ContractBuilder, defineContract } from './contract-builder';
+export { ModelBuilder } from './model-builder';
+export { TableBuilder } from './table-builder';
+export type { BuildModelFields, BuildModels, BuildRelations, BuildStorage, BuildStorageColumn, BuildStorageTables, ExtractColumns, ExtractModelFields, ExtractModelRelations, ExtractPrimaryKey, Mutable, } from './types';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,YAAY,EACV,aAAa,EACb,kBAAkB,EAClB,oBAAoB,EACpB,oBAAoB,EACpB,iBAAiB,EACjB,kBAAkB,EAClB,iBAAiB,GAClB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EAAE,eAAe,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AACrE,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAC/C,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,YAAY,EACV,gBAAgB,EAChB,WAAW,EACX,cAAc,EACd,YAAY,EACZ,kBAAkB,EAClB,kBAAkB,EAClB,cAAc,EACd,kBAAkB,EAClB,qBAAqB,EACrB,iBAAiB,EACjB,OAAO,GACR,MAAM,SAAS,CAAC"}

package/dist/model-builder.d.ts

@@ -0,0 +1,38 @@
+import type { ModelBuilderState, RelationDefinition } from './builder-state';
+export declare class ModelBuilder<Name extends string, Table extends string, Fields extends Record<string, string> = Record<never, never>, Relations extends Record<string, RelationDefinition> = Record<never, never>> {
+    private readonly _name;
+    private readonly _table;
+    private readonly _fields;
+    private readonly _relations;
+    constructor(name: Name, table: Table, fields?: Fields, relations?: Relations);
+    field<FieldName extends string, ColumnName extends string>(fieldName: FieldName, columnName: ColumnName): ModelBuilder<Name, Table, Fields & Record<FieldName, ColumnName>, Relations>;
+    relation<RelationName extends string, ToModel extends string, ToTable extends string>(name: RelationName, options: {
+        toModel: ToModel;
+        toTable: ToTable;
+        cardinality: '1:1' | '1:N' | 'N:1';
+        on: {
+            parentTable: Table;
+            parentColumns: readonly string[];
+            childTable: ToTable;
+            childColumns: readonly string[];
+        };
+    }): ModelBuilder<Name, Table, Fields, Relations & Record<RelationName, RelationDefinition>>;
+    relation<RelationName extends string, ToModel extends string, ToTable extends string, JunctionTable extends string>(name: RelationName, options: {
+        toModel: ToModel;
+        toTable: ToTable;
+        cardinality: 'N:M';
+        through: {
+            table: JunctionTable;
+            parentColumns: readonly string[];
+            childColumns: readonly string[];
+        };
+        on: {
+            parentTable: Table;
+            parentColumns: readonly string[];
+            childTable: JunctionTable;
+            childColumns: readonly string[];
+        };
+    }): ModelBuilder<Name, Table, Fields, Relations & Record<RelationName, RelationDefinition>>;
+    build(): ModelBuilderState<Name, Table, Fields, Relations>;
+}
+//# sourceMappingURL=model-builder.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"model-builder.d.ts","sourceRoot":"","sources":["../src/model-builder.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAC;AAE7E,qBAAa,YAAY,CACvB,IAAI,SAAS,MAAM,EACnB,KAAK,SAAS,MAAM,EACpB,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAC5D,SAAS,SAAS,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC;IAE3E,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAO;IAC7B,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAQ;IAC/B,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAS;IACjC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAY;gBAGrC,IAAI,EAAE,IAAI,EACV,KAAK,EAAE,KAAK,EACZ,MAAM,GAAE,MAAqB,EAC7B,SAAS,GAAE,SAA2B;IAQxC,KAAK,CAAC,SAAS,SAAS,MAAM,EAAE,UAAU,SAAS,MAAM,EACvD,SAAS,EAAE,SAAS,EACpB,UAAU,EAAE,UAAU,GACrB,YAAY,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,EAAE,SAAS,CAAC;IAY/E,QAAQ,CAAC,YAAY,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,EAClF,IAAI,EAAE,YAAY,EAClB,OAAO,EAAE;QACP,OAAO,EAAE,OAAO,CAAC;QACjB,OAAO,EAAE,OAAO,CAAC;QACjB,WAAW,EAAE,KAAK,GAAG,KAAK,GAAG,KAAK,CAAC;QACnC,EAAE,EAAE;YACF,WAAW,EAAE,KAAK,CAAC;YACnB,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;YACjC,UAAU,EAAE,OAAO,CAAC;YACpB,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;SACjC,CAAC;KACH,GACA,YAAY,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,GAAG,MAAM,CAAC,YAAY,EAAE,kBAAkB,CAAC,CAAC;IAC1F,QAAQ,CACN,YAAY,SAAS,MAAM,EAC3B,OAAO,SAAS,MAAM,EACtB,OAAO,SAAS,MAAM,EACtB,aAAa,SAAS,MAAM,EAE5B,IAAI,EAAE,YAAY,EAClB,OAAO,EAAE;QACP,OAAO,EAAE,OAAO,CAAC;QACjB,OAAO,EAAE,OAAO,CAAC;QACjB,WAAW,EAAE,KAAK,CAAC;QACnB,OAAO,EAAE;YACP,KAAK,EAAE,aAAa,CAAC;YACrB,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;YACjC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;SACjC,CAAC;QACF,EAAE,EAAE;YACF,WAAW,EAAE,KAAK,CAAC;YACnB,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;YACjC,UAAU,EAAE,aAAa,CAAC;YAC1B,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;SACjC,CAAC;KACH,GACA,YAAY,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,GAAG,MAAM,CAAC,YAAY,EAAE,kBAAkB,CAAC,CAAC;IA0E1F,KAAK,IAAI,iBAAiB,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,CAAC;CAQ3D"}

package/dist/table-builder.d.ts

@@ -0,0 +1,20 @@
+import type { ColumnBuilderState, ColumnTypeDescriptor, TableBuilderState } from './builder-state';
+export declare class TableBuilder<Name extends string, Columns extends Record<string, ColumnBuilderState<string, boolean, string>> = Record<never, ColumnBuilderState<string, boolean, string>>, PrimaryKey extends readonly string[] | undefined = undefined> {
+    private readonly _name;
+    private readonly _columns;
+    private readonly _primaryKey;
+    constructor(name: Name, columns?: Columns, primaryKey?: PrimaryKey);
+    column<ColName extends string, Descriptor extends ColumnTypeDescriptor, Nullable extends boolean | undefined = undefined>(name: ColName, options: {
+        type: Descriptor;
+        nullable?: Nullable;
+    }): TableBuilder<Name, Columns & Record<ColName, ColumnBuilderState<ColName, Nullable extends true ? true : false, Descriptor['codecId']>>, PrimaryKey>;
+    primaryKey<PK extends readonly string[]>(columns: PK, _name?: string): TableBuilder<Name, Columns, PK>;
+    unique(_columns: readonly string[], _name?: string): TableBuilder<Name, Columns, PrimaryKey>;
+    index(_columns: readonly string[], _name?: string): TableBuilder<Name, Columns, PrimaryKey>;
+    foreignKey(_columns: readonly string[], _references: {
+        table: string;
+        columns: readonly string[];
+    }, _name?: string): TableBuilder<Name, Columns, PrimaryKey>;
+    build(): TableBuilderState<Name, Columns, PrimaryKey>;
+}
+//# sourceMappingURL=table-builder.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"table-builder.d.ts","sourceRoot":"","sources":["../src/table-builder.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,MAAM,iBAAiB,CAAC;AAEnG,qBAAa,YAAY,CACvB,IAAI,SAAS,MAAM,EACnB,OAAO,SAAS,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,GAAG,MAAM,CAClF,KAAK,EACL,kBAAkB,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAC5C,EACD,UAAU,SAAS,SAAS,MAAM,EAAE,GAAG,SAAS,GAAG,SAAS;IAE5D,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAO;IAC7B,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAU;IACnC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAa;gBAE7B,IAAI,EAAE,IAAI,EAAE,OAAO,GAAE,OAAuB,EAAE,UAAU,CAAC,EAAE,UAAU;IAMjF,MAAM,CACJ,OAAO,SAAS,MAAM,EACtB,UAAU,SAAS,oBAAoB,EACvC,QAAQ,SAAS,OAAO,GAAG,SAAS,GAAG,SAAS,EAEhD,IAAI,EAAE,OAAO,EACb,OAAO,EAAE;QACP,IAAI,EAAE,UAAU,CAAC;QACjB,QAAQ,CAAC,EAAE,QAAQ,CAAC;KACrB,GACA,YAAY,CACb,IAAI,EACJ,OAAO,GACL,MAAM,CACJ,OAAO,EACP,kBAAkB,CAAC,OAAO,EAAE,QAAQ,SAAS,IAAI,GAAG,IAAI,GAAG,KAAK,EAAE,UAAU,CAAC,SAAS,CAAC,CAAC,CACzF,EACH,UAAU,CACX;IAqBD,UAAU,CAAC,EAAE,SAAS,SAAS,MAAM,EAAE,EACrC,OAAO,EAAE,EAAE,EACX,KAAK,CAAC,EAAE,MAAM,GACb,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC;IAIlC,MAAM,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC;IAI5F,KAAK,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC;IAI3F,UAAU,CACR,QAAQ,EAAE,SAAS,MAAM,EAAE,EAC3B,WAAW,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,EAC1D,KAAK,CAAC,EAAE,MAAM,GACb,YAAY,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC;IAI1C,KAAK,IAAI,iBAAiB,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC;CAOtD"}

package/dist/types.d.ts

@@ -0,0 +1,46 @@
+import type { ColumnBuilderState, ModelBuilderState, RelationDefinition, TableBuilderState } from './builder-state';
+export type BuildStorageColumn<Nullable extends boolean, Type extends string> = {
+    readonly nativeType: string;
+    readonly codecId: Type;
+    readonly nullable: Nullable;
+};
+export type ExtractColumns<T extends TableBuilderState<string, Record<string, ColumnBuilderState<string, boolean, string>>, readonly string[] | undefined>> = T extends TableBuilderState<string, infer C, readonly string[] | undefined> ? C : never;
+export type ExtractPrimaryKey<T extends TableBuilderState<string, Record<string, ColumnBuilderState<string, boolean, string>>, readonly string[] | undefined>> = T extends TableBuilderState<string, Record<string, ColumnBuilderState<string, boolean, string>>, infer PK> ? PK : never;
+export type BuildStorage<Tables extends Record<string, TableBuilderState<string, Record<string, ColumnBuilderState<string, boolean, string>>, readonly string[] | undefined>>> = {
+    readonly tables: {
+        readonly [K in keyof Tables]: {
+            readonly columns: {
+                readonly [ColK in keyof ExtractColumns<Tables[K]>]: ExtractColumns<Tables[K]>[ColK] extends ColumnBuilderState<string, infer Null, infer TType> ? BuildStorageColumn<Null & boolean, TType> : never;
+            };
+        };
+    };
+};
+export type BuildStorageTables<Tables extends Record<string, TableBuilderState<string, Record<string, ColumnBuilderState<string, boolean, string>>, readonly string[] | undefined>>> = {
+    readonly [K in keyof Tables]: {
+        readonly columns: {
+            readonly [ColK in keyof ExtractColumns<Tables[K]>]: ExtractColumns<Tables[K]>[ColK] extends ColumnBuilderState<string, infer Null, infer TType> ? BuildStorageColumn<Null & boolean, TType> : never;
+        };
+    };
+};
+export type Mutable<T> = {
+    -readonly [K in keyof T]-?: T[K];
+};
+export type BuildModelFields<Fields extends Record<string, string>> = {
+    readonly [K in keyof Fields]: {
+        readonly column: Fields[K];
+    };
+};
+export type ExtractModelFields<T extends ModelBuilderState<string, string, Record<string, string>, Record<string, RelationDefinition>>> = T extends ModelBuilderState<string, string, infer F, Record<string, RelationDefinition>> ? F : never;
+export type ExtractModelRelations<T extends ModelBuilderState<string, string, Record<string, string>, Record<string, RelationDefinition>>> = T extends ModelBuilderState<string, string, Record<string, string>, infer R> ? R : never;
+export type BuildModels<Models extends Record<string, ModelBuilderState<string, string, Record<string, string>, Record<string, RelationDefinition>>>> = {
+    readonly [K in keyof Models]: {
+        readonly storage: {
+            readonly table: Models[K]['table'];
+        };
+        readonly fields: BuildModelFields<ExtractModelFields<Models[K]>>;
+    };
+};
+export type BuildRelations<Models extends Record<string, ModelBuilderState<string, string, Record<string, string>, Record<string, RelationDefinition>>>> = {
+    readonly [K in keyof Models as Models[K]['table']]: ExtractModelRelations<Models[K]>;
+};
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,kBAAkB,EAClB,iBAAiB,EACjB,kBAAkB,EAClB,iBAAiB,EAClB,MAAM,iBAAiB,CAAC;AAEzB,MAAM,MAAM,kBAAkB,CAAC,QAAQ,SAAS,OAAO,EAAE,IAAI,SAAS,MAAM,IAAI;IAC9E,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,cAAc,CACxB,CAAC,SAAS,iBAAiB,CACzB,MAAM,EACN,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,EAC3D,SAAS,MAAM,EAAE,GAAG,SAAS,CAC9B,IACC,CAAC,SAAS,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAE5F,MAAM,MAAM,iBAAiB,CAC3B,CAAC,SAAS,iBAAiB,CACzB,MAAM,EACN,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,EAC3D,SAAS,MAAM,EAAE,GAAG,SAAS,CAC9B,IACC,CAAC,SAAS,iBAAiB,CAC7B,MAAM,EACN,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,EAC3D,MAAM,EAAE,CACT,GACG,EAAE,GACF,KAAK,CAAC;AAEV,MAAM,MAAM,YAAY,CACtB,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;YAC5B,QAAQ,CAAC,OAAO,EAAE;gBAChB,QAAQ,EAAE,IAAI,IAAI,MAAM,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,cAAc,CAChE,MAAM,CAAC,CAAC,CAAC,CACV,CAAC,IAAI,CAAC,SAAS,kBAAkB,CAAC,MAAM,EAAE,MAAM,IAAI,EAAE,MAAM,KAAK,CAAC,GAC/D,kBAAkB,CAAC,IAAI,GAAG,OAAO,EAAE,KAAK,CAAC,GACzC,KAAK;aACV,CAAC;SACH;KACF,CAAC;CACH,CAAC;AAEF,MAAM,MAAM,kBAAkB,CAC5B,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,EAAE,CAAC,IAAI,MAAM,MAAM,GAAG;QAC5B,QAAQ,CAAC,OAAO,EAAE;YAChB,QAAQ,EAAE,IAAI,IAAI,MAAM,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,cAAc,CAChE,MAAM,CAAC,CAAC,CAAC,CACV,CAAC,IAAI,CAAC,SAAS,kBAAkB,CAAC,MAAM,EAAE,MAAM,IAAI,EAAE,MAAM,KAAK,CAAC,GAC/D,kBAAkB,CAAC,IAAI,GAAG,OAAO,EAAE,KAAK,CAAC,GACzC,KAAK;SACV,CAAC;KACH;CACF,CAAC;AAEF,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI;IACvB,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CACjC,CAAC;AAEF,MAAM,MAAM,gBAAgB,CAAC,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI;IACpE,QAAQ,EAAE,CAAC,IAAI,MAAM,MAAM,GAAG;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAA;KAAE;CAC7D,CAAC;AAEF,MAAM,MAAM,kBAAkB,CAC5B,CAAC,SAAS,iBAAiB,CACzB,MAAM,EACN,MAAM,EACN,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EACtB,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CACnC,IACC,CAAC,SAAS,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC,GACxF,CAAC,GACD,KAAK,CAAC;AAEV,MAAM,MAAM,qBAAqB,CAC/B,CAAC,SAAS,iBAAiB,CACzB,MAAM,EACN,MAAM,EACN,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EACtB,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CACnC,IACC,CAAC,SAAS,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAE7F,MAAM,MAAM,WAAW,CACrB,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,IACC;IACF,QAAQ,EAAE,CAAC,IAAI,MAAM,MAAM,GAAG;QAC5B,QAAQ,CAAC,OAAO,EAAE;YAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;SAAE,CAAC;QACzD,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;KAClE;CACF,CAAC;AAEF,MAAM,MAAM,cAAc,CACxB,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,IACC;IACF,QAAQ,EAAE,CAAC,IAAI,MAAM,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;CACrF,CAAC"}

package/package.json

@@ -1,12 +1,12 @@
 {
   "name": "@prisma-next/contract-authoring",
-  "version": "0.3.0-dev.4",
+  "version": "0.3.0-dev.6",
   "type": "module",
   "sideEffects": false,
   "description": "Target-agnostic contract authoring builder core for Prisma Next",
   "dependencies": {
     "ts-toolbelt": "^9.6.0",
-    "@prisma-next/contract": "0.3.0-dev.4"
+    "@prisma-next/contract": "0.3.0-dev.6"
   },
   "devDependencies": {
     "@vitest/coverage-v8": "4.0.16",
@@ -15,7 +15,8 @@
     "vitest": "4.0.16"
   },
   "files": [
-    "dist"
+    "dist",
+    "src"
   ],
   "exports": {
     ".": {
@@ -24,7 +25,7 @@
     }
   },
   "scripts": {
-    "build": "tsup --config tsup.config.ts",
+    "build": "tsup --config tsup.config.ts && tsc --project tsconfig.build.json",
     "test": "vitest run",
     "test:coverage": "vitest run --coverage",
     "typecheck": "tsc --project tsconfig.json --noEmit",

package/src/builder-state.ts

@@ -0,0 +1,105 @@
+/**
+ * Column type descriptor containing both codec ID and native type.
+ * Used when defining columns with descriptor objects instead of string IDs.
+ */
+export type ColumnTypeDescriptor = {
+  readonly codecId: string;
+  readonly nativeType: string;
+};
+
+export interface ColumnBuilderState<
+  Name extends string,
+  Nullable extends boolean,
+  Type extends string,
+> {
+  readonly name: Name;
+  readonly nullable: Nullable;
+  readonly type: Type;
+  readonly nativeType: string;
+}
+
+export interface TableBuilderState<
+  Name extends string,
+  Columns extends Record<string, ColumnBuilderState<string, boolean, string>>,
+  PrimaryKey extends readonly string[] | undefined,
+> {
+  readonly name: Name;
+  readonly columns: Columns;
+  readonly primaryKey?: PrimaryKey;
+}
+
+export type RelationDefinition = {
+  readonly to: string;
+  readonly cardinality: '1:1' | '1:N' | 'N:1' | 'N:M';
+  readonly on: {
+    readonly parentCols: readonly string[];
+    readonly childCols: readonly string[];
+  };
+  readonly through?: {
+    readonly table: string;
+    readonly parentCols: readonly string[];
+    readonly childCols: readonly string[];
+  };
+};
+
+export interface ModelBuilderState<
+  Name extends string,
+  Table extends string,
+  Fields extends Record<string, string>,
+  Relations extends Record<string, RelationDefinition>,
+> {
+  readonly name: Name;
+  readonly table: Table;
+  readonly fields: Fields;
+  readonly relations: Relations;
+}
+
+export interface ContractBuilderState<
+  Target extends string | undefined = string | undefined,
+  Tables extends Record<
+    string,
+    TableBuilderState<
+      string,
+      Record<string, ColumnBuilderState<string, boolean, string>>,
+      readonly string[] | undefined
+    >
+  > = Record<
+    never,
+    TableBuilderState<
+      string,
+      Record<string, ColumnBuilderState<string, boolean, string>>,
+      readonly string[] | undefined
+    >
+  >,
+  Models extends Record<
+    string,
+    ModelBuilderState<string, string, Record<string, string>, Record<string, RelationDefinition>>
+  > = Record<
+    never,
+    ModelBuilderState<string, string, Record<string, string>, Record<string, RelationDefinition>>
+  >,
+  CoreHash extends string | undefined = string | undefined,
+  ExtensionPacks extends Record<string, unknown> | undefined = undefined,
+  Capabilities extends Record<string, Record<string, boolean>> | undefined = undefined,
+> {
+  readonly target?: Target;
+  readonly tables: Tables;
+  readonly models: Models;
+  readonly coreHash?: CoreHash;
+  readonly extensionPacks?: ExtensionPacks;
+  readonly capabilities?: Capabilities;
+  /**
+   * Array of extension pack namespace identifiers (e.g., ['pgvector', 'postgis']).
+   * Populated when extension packs are registered during contract building.
+   * Used to track which extension packs are included in the contract.
+   * Can be undefined or empty if no extension packs are registered.
+   * Namespace format matches the extension pack ID (e.g., 'pgvector', not 'pgvector@1.0.0').
+   */
+  readonly extensionNamespaces?: readonly string[];
+}
+
+export 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>;
+}

package/src/contract-builder.ts

@@ -0,0 +1,159 @@
+import type { TargetPackRef } from '@prisma-next/contract/framework-components';
+import type {
+  ColumnBuilderState,
+  ContractBuilderState,
+  ModelBuilderState,
+  RelationDefinition,
+  TableBuilderState,
+} from './builder-state';
+import { ModelBuilder } from './model-builder';
+import { TableBuilder } from './table-builder';
+
+export class ContractBuilder<
+  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>,
+  CoreHash extends string | undefined = undefined,
+  ExtensionPacks extends Record<string, unknown> | undefined = undefined,
+  Capabilities extends Record<string, Record<string, boolean>> | undefined = undefined,
+> {
+  protected readonly state: ContractBuilderState<
+    Target,
+    Tables,
+    Models,
+    CoreHash,
+    ExtensionPacks,
+    Capabilities
+  >;
+
+  constructor(
+    state?: ContractBuilderState<Target, Tables, Models, CoreHash, ExtensionPacks, Capabilities>,
+  ) {
+    this.state =
+      state ??
+      ({
+        tables: {},
+        models: {},
+      } as ContractBuilderState<Target, Tables, Models, CoreHash, ExtensionPacks, Capabilities>);
+  }
+
+  target<T extends string>(
+    packRef: TargetPackRef<string, T>,
+  ): ContractBuilder<T, Tables, Models, CoreHash, ExtensionPacks, Capabilities> {
+    return new ContractBuilder<T, Tables, Models, CoreHash, ExtensionPacks, Capabilities>({
+      ...this.state,
+      target: packRef.targetId,
+    });
+  }
+
+  capabilities<C extends Record<string, Record<string, boolean>>>(
+    capabilities: C,
+  ): ContractBuilder<Target, Tables, Models, CoreHash, ExtensionPacks, C> {
+    return new ContractBuilder<Target, Tables, Models, CoreHash, ExtensionPacks, C>({
+      ...this.state,
+      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,
+  ): ContractBuilder<
+    Target,
+    Tables & Record<TableName, ReturnType<T['build']>>,
+    Models,
+    CoreHash,
+    ExtensionPacks,
+    Capabilities
+  > {
+    const tableBuilder = new TableBuilder<TableName>(name);
+    const result = callback(tableBuilder);
+    const finalBuilder = result instanceof TableBuilder ? result : tableBuilder;
+    const tableState = finalBuilder.build();
+
+    return new ContractBuilder<
+      Target,
+      Tables & Record<TableName, ReturnType<T['build']>>,
+      Models,
+      CoreHash,
+      ExtensionPacks,
+      Capabilities
+    >({
+      ...this.state,
+      tables: { ...this.state.tables, [name]: tableState } as Tables &
+        Record<TableName, ReturnType<T['build']>>,
+    });
+  }
+
+  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<string, string>, Record<never, never>>,
+    ) => M | undefined,
+  ): ContractBuilder<
+    Target,
+    Tables,
+    Models & Record<ModelName, ReturnType<M['build']>>,
+    CoreHash,
+    ExtensionPacks,
+    Capabilities
+  > {
+    const modelBuilder = new ModelBuilder<ModelName, TableName>(name, table);
+    const result = callback(modelBuilder);
+    const finalBuilder = result instanceof ModelBuilder ? result : modelBuilder;
+    const modelState = finalBuilder.build();
+
+    return new ContractBuilder<
+      Target,
+      Tables,
+      Models & Record<ModelName, ReturnType<M['build']>>,
+      CoreHash,
+      ExtensionPacks,
+      Capabilities
+    >({
+      ...this.state,
+      models: { ...this.state.models, [name]: modelState } as Models &
+        Record<ModelName, ReturnType<M['build']>>,
+    });
+  }
+
+  coreHash<H extends string>(
+    hash: H,
+  ): ContractBuilder<Target, Tables, Models, H, ExtensionPacks, Capabilities> {
+    return new ContractBuilder<Target, Tables, Models, H, ExtensionPacks, Capabilities>({
+      ...this.state,
+      coreHash: hash,
+    });
+  }
+}
+
+export function defineContract(): ContractBuilder {
+  return new ContractBuilder();
+}

package/src/index.ts

@@ -0,0 +1,27 @@
+export type {
+  ColumnBuilder,
+  ColumnBuilderState,
+  ColumnTypeDescriptor,
+  ContractBuilderState,
+  ModelBuilderState,
+  RelationDefinition,
+  TableBuilderState,
+} from './builder-state';
+
+export { ContractBuilder, defineContract } from './contract-builder';
+export { ModelBuilder } from './model-builder';
+export { TableBuilder } from './table-builder';
+
+export type {
+  BuildModelFields,
+  BuildModels,
+  BuildRelations,
+  BuildStorage,
+  BuildStorageColumn,
+  BuildStorageTables,
+  ExtractColumns,
+  ExtractModelFields,
+  ExtractModelRelations,
+  ExtractPrimaryKey,
+  Mutable,
+} from './types';

package/src/model-builder.ts

@@ -0,0 +1,160 @@
+import type { ModelBuilderState, RelationDefinition } from './builder-state';
+
+export class ModelBuilder<
+  Name extends string,
+  Table extends string,
+  Fields extends Record<string, string> = Record<never, never>,
+  Relations extends Record<string, RelationDefinition> = Record<never, never>,
+> {
+  private readonly _name: Name;
+  private readonly _table: Table;
+  private readonly _fields: Fields;
+  private readonly _relations: Relations;
+
+  constructor(
+    name: Name,
+    table: Table,
+    fields: Fields = {} as Fields,
+    relations: Relations = {} as Relations,
+  ) {
+    this._name = name;
+    this._table = table;
+    this._fields = fields;
+    this._relations = relations;
+  }
+
+  field<FieldName extends string, ColumnName extends string>(
+    fieldName: FieldName,
+    columnName: ColumnName,
+  ): ModelBuilder<Name, Table, Fields & Record<FieldName, ColumnName>, Relations> {
+    return new ModelBuilder(
+      this._name,
+      this._table,
+      {
+        ...this._fields,
+        [fieldName]: columnName,
+      } as Fields & Record<FieldName, ColumnName>,
+      this._relations,
+    );
+  }
+
+  relation<RelationName extends string, ToModel extends string, ToTable extends string>(
+    name: RelationName,
+    options: {
+      toModel: ToModel;
+      toTable: ToTable;
+      cardinality: '1:1' | '1:N' | 'N:1';
+      on: {
+        parentTable: Table;
+        parentColumns: readonly string[];
+        childTable: ToTable;
+        childColumns: readonly string[];
+      };
+    },
+  ): ModelBuilder<Name, Table, Fields, Relations & Record<RelationName, RelationDefinition>>;
+  relation<
+    RelationName extends string,
+    ToModel extends string,
+    ToTable extends string,
+    JunctionTable extends string,
+  >(
+    name: RelationName,
+    options: {
+      toModel: ToModel;
+      toTable: ToTable;
+      cardinality: 'N:M';
+      through: {
+        table: JunctionTable;
+        parentColumns: readonly string[];
+        childColumns: readonly string[];
+      };
+      on: {
+        parentTable: Table;
+        parentColumns: readonly string[];
+        childTable: JunctionTable;
+        childColumns: readonly string[];
+      };
+    },
+  ): ModelBuilder<Name, Table, Fields, Relations & Record<RelationName, RelationDefinition>>;
+  relation<
+    RelationName extends string,
+    ToModel extends string,
+    ToTable extends string,
+    JunctionTable extends string = never,
+  >(
+    name: RelationName,
+    options: {
+      toModel: ToModel;
+      toTable: ToTable;
+      cardinality: '1:1' | '1:N' | 'N:1' | 'N:M';
+      through?: {
+        table: JunctionTable;
+        parentColumns: readonly string[];
+        childColumns: readonly string[];
+      };
+      on: {
+        parentTable: Table;
+        parentColumns: readonly string[];
+        childTable: ToTable | JunctionTable;
+        childColumns: readonly string[];
+      };
+    },
+  ): ModelBuilder<Name, Table, Fields, Relations & Record<RelationName, RelationDefinition>> {
+    // Validate parentTable matches model's table
+    if (options.on.parentTable !== this._table) {
+      throw new Error(
+        `Relation "${name}" parentTable "${options.on.parentTable}" does not match model table "${this._table}"`,
+      );
+    }
+
+    // Validate childTable matches toTable (for non-N:M) or through.table (for N:M)
+    if (options.cardinality === 'N:M') {
+      if (!options.through) {
+        throw new Error(`Relation "${name}" with cardinality "N:M" requires through field`);
+      }
+      if (options.on.childTable !== options.through.table) {
+        throw new Error(
+          `Relation "${name}" childTable "${options.on.childTable}" does not match through.table "${options.through.table}"`,
+        );
+      }
+    } else {
+      if (options.on.childTable !== options.toTable) {
+        throw new Error(
+          `Relation "${name}" childTable "${options.on.childTable}" does not match toTable "${options.toTable}"`,
+        );
+      }
+    }
+
+    const relationDef: RelationDefinition = {
+      to: options.toModel,
+      cardinality: options.cardinality,
+      on: {
+        parentCols: options.on.parentColumns,
+        childCols: options.on.childColumns,
+      },
+      ...(options.through
+        ? {
+            through: {
+              table: options.through.table,
+              parentCols: options.through.parentColumns,
+              childCols: options.through.childColumns,
+            },
+          }
+        : undefined),
+    };
+
+    return new ModelBuilder(this._name, this._table, this._fields, {
+      ...this._relations,
+      [name]: relationDef,
+    } as Relations & Record<RelationName, RelationDefinition>);
+  }
+
+  build(): ModelBuilderState<Name, Table, Fields, Relations> {
+    return {
+      name: this._name,
+      table: this._table,
+      fields: this._fields,
+      relations: this._relations,
+    };
+  }
+}

package/src/table-builder.ts

@@ -0,0 +1,90 @@
+import type { ColumnBuilderState, ColumnTypeDescriptor, TableBuilderState } from './builder-state';
+
+export class TableBuilder<
+  Name extends string,
+  Columns extends Record<string, ColumnBuilderState<string, boolean, string>> = Record<
+    never,
+    ColumnBuilderState<string, boolean, string>
+  >,
+  PrimaryKey extends readonly string[] | undefined = undefined,
+> {
+  private readonly _name: Name;
+  private readonly _columns: Columns;
+  private readonly _primaryKey: PrimaryKey;
+
+  constructor(name: Name, columns: Columns = {} as Columns, primaryKey?: PrimaryKey) {
+    this._name = name;
+    this._columns = columns;
+    this._primaryKey = primaryKey as PrimaryKey;
+  }
+
+  column<
+    ColName extends string,
+    Descriptor extends ColumnTypeDescriptor,
+    Nullable extends boolean | undefined = undefined,
+  >(
+    name: ColName,
+    options: {
+      type: Descriptor;
+      nullable?: Nullable;
+    },
+  ): TableBuilder<
+    Name,
+    Columns &
+      Record<
+        ColName,
+        ColumnBuilderState<ColName, Nullable extends true ? true : false, Descriptor['codecId']>
+      >,
+    PrimaryKey
+  > {
+    const nullable = (options.nullable ?? false) as Nullable extends true ? true : false;
+    const { codecId, nativeType } = options.type;
+
+    const columnState = {
+      name,
+      nullable,
+      type: codecId,
+      nativeType,
+    } as ColumnBuilderState<ColName, Nullable extends true ? true : false, Descriptor['codecId']>;
+    return new TableBuilder(
+      this._name,
+      { ...this._columns, [name]: columnState } as Columns &
+        Record<
+          ColName,
+          ColumnBuilderState<ColName, Nullable extends true ? true : false, Descriptor['codecId']>
+        >,
+      this._primaryKey,
+    );
+  }
+
+  primaryKey<PK extends readonly string[]>(
+    columns: PK,
+    _name?: string,
+  ): TableBuilder<Name, Columns, PK> {
+    return new TableBuilder(this._name, this._columns, columns);
+  }
+
+  unique(_columns: readonly string[], _name?: string): TableBuilder<Name, Columns, PrimaryKey> {
+    return this;
+  }
+
+  index(_columns: readonly string[], _name?: string): TableBuilder<Name, Columns, PrimaryKey> {
+    return this;
+  }
+
+  foreignKey(
+    _columns: readonly string[],
+    _references: { table: string; columns: readonly string[] },
+    _name?: string,
+  ): TableBuilder<Name, Columns, PrimaryKey> {
+    return this;
+  }
+
+  build(): TableBuilderState<Name, Columns, PrimaryKey> {
+    return {
+      name: this._name,
+      columns: this._columns,
+      ...(this._primaryKey !== undefined ? { primaryKey: this._primaryKey } : {}),
+    } as TableBuilderState<Name, Columns, PrimaryKey>;
+  }
+}

package/src/types.ts

@@ -0,0 +1,127 @@
+import type {
+  ColumnBuilderState,
+  ModelBuilderState,
+  RelationDefinition,
+  TableBuilderState,
+} from './builder-state';
+
+export type BuildStorageColumn<Nullable extends boolean, Type extends string> = {
+  readonly nativeType: string;
+  readonly codecId: Type;
+  readonly nullable: Nullable;
+};
+
+export type ExtractColumns<
+  T extends TableBuilderState<
+    string,
+    Record<string, ColumnBuilderState<string, boolean, string>>,
+    readonly string[] | undefined
+  >,
+> = T extends TableBuilderState<string, infer C, readonly string[] | undefined> ? C : never;
+
+export type ExtractPrimaryKey<
+  T extends TableBuilderState<
+    string,
+    Record<string, ColumnBuilderState<string, boolean, string>>,
+    readonly string[] | undefined
+  >,
+> = T extends TableBuilderState<
+  string,
+  Record<string, ColumnBuilderState<string, boolean, string>>,
+  infer PK
+>
+  ? PK
+  : never;
+
+export type BuildStorage<
+  Tables extends Record<
+    string,
+    TableBuilderState<
+      string,
+      Record<string, ColumnBuilderState<string, boolean, string>>,
+      readonly string[] | undefined
+    >
+  >,
+> = {
+  readonly tables: {
+    readonly [K in keyof Tables]: {
+      readonly columns: {
+        readonly [ColK in keyof ExtractColumns<Tables[K]>]: ExtractColumns<
+          Tables[K]
+        >[ColK] extends ColumnBuilderState<string, infer Null, infer TType>
+          ? BuildStorageColumn<Null & boolean, TType>
+          : never;
+      };
+    };
+  };
+};
+
+export type BuildStorageTables<
+  Tables extends Record<
+    string,
+    TableBuilderState<
+      string,
+      Record<string, ColumnBuilderState<string, boolean, string>>,
+      readonly string[] | undefined
+    >
+  >,
+> = {
+  readonly [K in keyof Tables]: {
+    readonly columns: {
+      readonly [ColK in keyof ExtractColumns<Tables[K]>]: ExtractColumns<
+        Tables[K]
+      >[ColK] extends ColumnBuilderState<string, infer Null, infer TType>
+        ? BuildStorageColumn<Null & boolean, TType>
+        : never;
+    };
+  };
+};
+
+export type Mutable<T> = {
+  -readonly [K in keyof T]-?: T[K];
+};
+
+export type BuildModelFields<Fields extends Record<string, string>> = {
+  readonly [K in keyof Fields]: { readonly column: Fields[K] };
+};
+
+export type ExtractModelFields<
+  T extends ModelBuilderState<
+    string,
+    string,
+    Record<string, string>,
+    Record<string, RelationDefinition>
+  >,
+> = T extends ModelBuilderState<string, string, infer F, Record<string, RelationDefinition>>
+  ? F
+  : never;
+
+export type ExtractModelRelations<
+  T extends ModelBuilderState<
+    string,
+    string,
+    Record<string, string>,
+    Record<string, RelationDefinition>
+  >,
+> = T extends ModelBuilderState<string, string, Record<string, string>, infer R> ? R : never;
+
+export type BuildModels<
+  Models extends Record<
+    string,
+    ModelBuilderState<string, string, Record<string, string>, Record<string, RelationDefinition>>
+  >,
+> = {
+  readonly [K in keyof Models]: {
+    readonly storage: { readonly table: Models[K]['table'] };
+    readonly fields: BuildModelFields<ExtractModelFields<Models[K]>>;
+  };
+};
+
+export type BuildRelations<
+  Models extends Record<
+    string,
+    ModelBuilderState<string, string, Record<string, string>, Record<string, RelationDefinition>>
+  >,
+> = {
+  readonly [K in keyof Models as Models[K]['table']]: ExtractModelRelations<Models[K]>;
+};