@prisma-next/sql-contract-ts 0.3.0-pr.73.2 → 0.3.0-pr.75.1

package/dist/contract-builder.d.ts

@@ -0,0 +1,87 @@
+import type { ExtensionPackRef, TargetPackRef } from '@prisma-next/contract/framework-components';
+import type { ColumnBuilderState, ModelBuilderState, RelationDefinition, TableBuilderState } from '@prisma-next/contract-authoring';
+import { type BuildModels, type BuildRelations, type BuildStorageColumn, ContractBuilder, type ExtractColumns, type ExtractPrimaryKey, ModelBuilder, TableBuilder } from '@prisma-next/contract-authoring';
+import type { SqlContract, SqlMappings } from '@prisma-next/sql-contract/types';
+/**
+ * Type-level mappings structure for contracts built via `defineContract()`.
+ *
+ * Compile-time type helper (not a runtime object) that ensures mappings match what the builder
+ * produces. `codecTypes` uses the generic `CodecTypes` parameter; `operationTypes` is always
+ * empty since operations are added via extensions at runtime.
+ *
+ * **Difference from RuntimeContext**: This is a compile-time type for contract construction.
+ * `RuntimeContext` is a runtime object with populated registries for query execution.
+ *
+ * @template C - The `CodecTypes` generic parameter passed to `defineContract<CodecTypes>()`
+ */
+type ContractBuilderMappings<C extends Record<string, {
+    output: unknown;
+}>> = Omit<SqlMappings, 'codecTypes' | 'operationTypes'> & {
+    readonly codecTypes: C;
+    readonly operationTypes: Record<string, never>;
+};
+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<never>;
+    readonly indexes: ReadonlyArray<never>;
+    readonly foreignKeys: ReadonlyArray<never>;
+} & (PK extends readonly string[] ? {
+    readonly primaryKey: {
+        readonly columns: PK;
+    };
+} : Record<string, 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]: BuildStorageTable<K & string, ExtractColumns<Tables[K]>, ExtractPrimaryKey<Tables[K]>>;
+    };
+};
+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>;
+}
+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>, CoreHash 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, CoreHash, ExtensionPacks, Capabilities> {
+    /**
+     * 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 ? SqlContract<BuildStorage<Tables>, BuildModels<Models>, BuildRelations<Models>, ContractBuilderMappings<CodecTypes>> & {
+        readonly schemaVersion: '1';
+        readonly target: Target;
+        readonly targetFamily: 'sql';
+        readonly coreHash: CoreHash extends string ? CoreHash : 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>) : never;
+    target<T extends string>(packRef: TargetPackRef<'sql', T>): SqlContractBuilder<CodecTypes, T, Tables, Models, CoreHash, ExtensionPacks, Capabilities>;
+    extensionPacks(packs: Record<string, ExtensionPackRef<'sql', string>>): SqlContractBuilder<CodecTypes, Target, Tables, Models, CoreHash, ExtensionPacks, Capabilities>;
+    capabilities<C extends Record<string, Record<string, boolean>>>(capabilities: C): SqlContractBuilder<CodecTypes, Target, Tables, Models, CoreHash, ExtensionPacks, C>;
+    coreHash<H extends string>(hash: H): SqlContractBuilder<CodecTypes, Target, Tables, Models, 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, 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): SqlContractBuilder<CodecTypes, Target, Tables, Models & Record<ModelName, ReturnType<M['build']>>, CoreHash, ExtensionPacks, Capabilities>;
+}
+export declare function defineContract<CodecTypes extends Record<string, {
+    output: unknown;
+}> = Record<string, never>>(): SqlContractBuilder<CodecTypes>;
+export {};
+//# 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,gBAAgB,EAAE,aAAa,EAAE,MAAM,4CAA4C,CAAC;AAClG,OAAO,KAAK,EACV,kBAAkB,EAClB,iBAAiB,EACjB,kBAAkB,EAClB,iBAAiB,EAClB,MAAM,iCAAiC,CAAC;AACzC,OAAO,EACL,KAAK,WAAW,EAChB,KAAK,cAAc,EACnB,KAAK,kBAAkB,EACvB,eAAe,EACf,KAAK,cAAc,EACnB,KAAK,iBAAiB,EACtB,YAAY,EAEZ,YAAY,EACb,MAAM,iCAAiC,CAAC;AACzC,OAAO,KAAK,EAGV,WAAW,EACX,WAAW,EAEZ,MAAM,iCAAiC,CAAC;AAGzC;;;;;;;;;;;GAWG;AACH,KAAK,uBAAuB,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE;IAAE,MAAM,EAAE,OAAO,CAAA;CAAE,CAAC,IAAI,IAAI,CAChF,WAAW,EACX,YAAY,GAAG,gBAAgB,CAChC,GAAG;IACF,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAC;IACvB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;CAChD,CAAC;AAEF,KAAK,iBAAiB,CACpB,UAAU,SAAS,MAAM,EACzB,OAAO,SAAS,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,EAC3E,EAAE,SAAS,SAAS,MAAM,EAAE,GAAG,SAAS,IACtC;IACF,QAAQ,CAAC,OAAO,EAAE;QAChB,QAAQ,EAAE,CAAC,IAAI,MAAM,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,SAAS,kBAAkB,CAClE,MAAM,EACN,MAAM,IAAI,EACV,MAAM,KAAK,CACZ,GACG,kBAAkB,CAAC,IAAI,GAAG,OAAO,EAAE,KAAK,CAAC,GACzC,KAAK;KACV,CAAC;IACF,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC;IACvC,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC;CAC5C,GAAG,CAAC,EAAE,SAAS,SAAS,MAAM,EAAE,GAC7B;IAAE,QAAQ,CAAC,UAAU,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAA;KAAE,CAAA;CAAE,GACjD,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;AAE3B,KAAK,YAAY,CACf,MAAM,SAAS,MAAM,CACnB,MAAM,EACN,iBAAiB,CACf,MAAM,EACN,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,EAC3D,SAAS,MAAM,EAAE,GAAG,SAAS,CAC9B,CACF,IACC;IACF,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,EAAE,CAAC,IAAI,MAAM,MAAM,GAAG,iBAAiB,CAC7C,CAAC,GAAG,MAAM,EACV,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EACzB,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAC7B;KACF,CAAC;CACH,CAAC;AAmBF,MAAM,WAAW,aAAa,CAAC,IAAI,SAAS,MAAM,EAAE,QAAQ,SAAS,OAAO,EAAE,IAAI,SAAS,MAAM;IAC/F,QAAQ,CAAC,KAAK,SAAS,OAAO,EAAE,KAAK,CAAC,EAAE,KAAK,GAAG,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,CAAC;IACjF,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,EAAE,EAAE,EAAE,GAAG,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;IACnE,KAAK,IAAI,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;CACnD;AAED,cAAM,kBAAkB,CACtB,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE;IAAE,MAAM,EAAE,OAAO,CAAA;CAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,EAC9E,MAAM,SAAS,MAAM,GAAG,SAAS,GAAG,SAAS,EAC7C,MAAM,SAAS,MAAM,CACnB,MAAM,EACN,iBAAiB,CACf,MAAM,EACN,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,EAC3D,SAAS,MAAM,EAAE,GAAG,SAAS,CAC9B,CACF,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EACxB,MAAM,SAAS,MAAM,CACnB,MAAM,EACN,iBAAiB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC,CAC9F,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EACxB,QAAQ,SAAS,MAAM,GAAG,SAAS,GAAG,SAAS,EAC/C,cAAc,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,GAAG,SAAS,EACtE,YAAY,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,SAAS,GAAG,SAAS,CACpF,SAAQ,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,cAAc,EAAE,YAAY,CAAC;IACvF;;;;;;;;;;;;;;;;;OAiBG;IACH,KAAK,IAAI,MAAM,SAAS,MAAM,GAC1B,WAAW,CACT,YAAY,CAAC,MAAM,CAAC,EACpB,WAAW,CAAC,MAAM,CAAC,EACnB,cAAc,CAAC,MAAM,CAAC,EACtB,uBAAuB,CAAC,UAAU,CAAC,CACpC,GAAG;QACF,QAAQ,CAAC,aAAa,EAAE,GAAG,CAAC;QAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,YAAY,EAAE,KAAK,CAAC;QAC7B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,SAAS,MAAM,GAAG,QAAQ,GAAG,MAAM,CAAC;KAChE,GAAG,CAAC,cAAc,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC7C;QAAE,QAAQ,CAAC,cAAc,EAAE,cAAc,CAAA;KAAE,GAC3C,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,GAC1B,CAAC,YAAY,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACzD;QAAE,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAA;KAAE,GACvC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,GAC5B,KAAK;IAkNA,MAAM,CAAC,CAAC,SAAS,MAAM,EAC9B,OAAO,EAAE,aAAa,CAAC,KAAK,EAAE,CAAC,CAAC,GAC/B,kBAAkB,CAAC,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,cAAc,EAAE,YAAY,CAAC;IAe5F,cAAc,CACZ,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,GACrD,kBAAkB,CACnB,UAAU,EACV,MAAM,EACN,MAAM,EACN,MAAM,EACN,QAAQ,EACR,cAAc,EACd,YAAY,CACb;IA6CQ,YAAY,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACrE,YAAY,EAAE,CAAC,GACd,kBAAkB,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,cAAc,EAAE,CAAC,CAAC;IAO7E,QAAQ,CAAC,CAAC,SAAS,MAAM,EAChC,IAAI,EAAE,CAAC,GACN,kBAAkB,CAAC,UAAU,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,EAAE,cAAc,EAAE,YAAY,CAAC;IAejF,KAAK,CACZ,SAAS,SAAS,MAAM,EACxB,CAAC,SAAS,YAAY,CACpB,SAAS,EACT,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,EAC3D,SAAS,MAAM,EAAE,GAAG,SAAS,CAC9B,EAED,IAAI,EAAE,SAAS,EACf,QAAQ,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,SAAS,GACtD,kBAAkB,CACnB,UAAU,EACV,MAAM,EACN,MAAM,GAAG,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAClD,MAAM,EACN,QAAQ,EACR,cAAc,EACd,YAAY,CACb;IAqBQ,KAAK,CACZ,SAAS,SAAS,MAAM,EACxB,SAAS,SAAS,MAAM,EACxB,CAAC,SAAS,YAAY,CACpB,SAAS,EACT,SAAS,EACT,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EACtB,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CACnC,EAED,IAAI,EAAE,SAAS,EACf,KAAK,EAAE,SAAS,EAChB,QAAQ,EAAE,CACR,CAAC,EAAE,YAAY,CAAC,SAAS,EAAE,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,KAChF,CAAC,GAAG,SAAS,GACjB,kBAAkB,CACnB,UAAU,EACV,MAAM,EACN,MAAM,EACN,MAAM,GAAG,MAAM,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAClD,QAAQ,EACR,cAAc,EACd,YAAY,CACb;CAoBF;AAED,wBAAgB,cAAc,CAC5B,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE;IAAE,MAAM,EAAE,OAAO,CAAA;CAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,KAC3E,kBAAkB,CAAC,UAAU,CAAC,CAElC"}

package/dist/contract.d.ts

@@ -0,0 +1,50 @@
+import type { ModelDefinition, SqlContract, SqlMappings, SqlStorage } from '@prisma-next/sql-contract/types';
+/**
+ * Computes mapping dictionaries from models and storage structures.
+ * Assumes valid input - validation happens separately in validateContractLogic().
+ *
+ * @param models - Models object from contract
+ * @param storage - Storage object from contract
+ * @param existingMappings - Existing mappings from contract input (optional)
+ * @returns Computed mappings dictionary
+ */
+export declare function computeMappings(models: Record<string, ModelDefinition>, _storage: SqlStorage, existingMappings?: Partial<SqlMappings>): SqlMappings;
+export declare function normalizeContract(contract: unknown): SqlContract<SqlStorage>;
+/**
+ * Validates that a JSON import conforms to the SqlContract structure
+ * and returns a fully typed SqlContract.
+ *
+ * This function is specifically for validating JSON imports (e.g., from contract.json).
+ * Contracts created via the builder API (defineContract) are already valid and should
+ * not be passed to this function - use them directly without validation.
+ *
+ * Performs both structural validation (using Arktype) and logical validation
+ * (ensuring all references are valid).
+ *
+ *
+ * The type parameter `TContract` must be a fully-typed contract type (e.g., from `contract.d.ts`),
+ * NOT a generic `SqlContract<SqlStorage>`.
+ *
+ * **Correct:**
+ * ```typescript
+ * import type { Contract } from './contract.d';
+ * const contract = validateContract<Contract>(contractJson);
+ * ```
+ *
+ * **Incorrect:**
+ * ```typescript
+ * import type { SqlContract, SqlStorage } from '@prisma-next/sql-contract/types';
+ * const contract = validateContract<SqlContract<SqlStorage>>(contractJson);
+ * // ❌ Types will be inferred as 'unknown' - this won't work!
+ * ```
+ *
+ * The type parameter provides the specific table structure, column types, and model definitions.
+ * This function validates the runtime structure matches the type, but does not infer types
+ * from JSON (as JSON imports lose literal type information).
+ *
+ * @param value - The contract value to validate (must be from a JSON import, not a builder)
+ * @returns A validated contract matching the TContract type
+ * @throws Error if the contract structure or logic is invalid
+ */
+export declare function validateContract<TContract extends SqlContract<SqlStorage>>(value: unknown): TContract;
+//# sourceMappingURL=contract.d.ts.map

package/dist/contract.d.ts.map

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

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

@@ -1,87 +1,3 @@
-import { TargetPackRef, ExtensionPackRef } from '@prisma-next/contract/framework-components';
-import { ColumnBuilderState, TableBuilderState, ModelBuilderState, RelationDefinition, ContractBuilder, BuildStorageColumn, ExtractColumns, ExtractPrimaryKey, BuildModels, BuildRelations, TableBuilder, ModelBuilder } from '@prisma-next/contract-authoring';
-import { SqlContract, SqlMappings } from '@prisma-next/sql-contract/types';
-
-/**
- * Type-level mappings structure for contracts built via `defineContract()`.
- *
- * Compile-time type helper (not a runtime object) that ensures mappings match what the builder
- * produces. `codecTypes` uses the generic `CodecTypes` parameter; `operationTypes` is always
- * empty since operations are added via extensions at runtime.
- *
- * **Difference from RuntimeContext**: This is a compile-time type for contract construction.
- * `RuntimeContext` is a runtime object with populated registries for query execution.
- *
- * @template C - The `CodecTypes` generic parameter passed to `defineContract<CodecTypes>()`
- */
-type ContractBuilderMappings<C extends Record<string, {
-    output: unknown;
-}>> = Omit<SqlMappings, 'codecTypes' | 'operationTypes'> & {
-    readonly codecTypes: C;
-    readonly operationTypes: Record<string, never>;
-};
-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<never>;
-    readonly indexes: ReadonlyArray<never>;
-    readonly foreignKeys: ReadonlyArray<never>;
-} & (PK extends readonly string[] ? {
-    readonly primaryKey: {
-        readonly columns: PK;
-    };
-} : Record<string, 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]: BuildStorageTable<K & string, ExtractColumns<Tables[K]>, ExtractPrimaryKey<Tables[K]>>;
-    };
-};
-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>, CoreHash 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, CoreHash, ExtensionPacks, Capabilities> {
-    /**
-     * 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 ? SqlContract<BuildStorage<Tables>, BuildModels<Models>, BuildRelations<Models>, ContractBuilderMappings<CodecTypes>> & {
-        readonly schemaVersion: '1';
-        readonly target: Target;
-        readonly targetFamily: 'sql';
-        readonly coreHash: CoreHash extends string ? CoreHash : 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>) : never;
-    target<T extends string>(packRef: TargetPackRef<'sql', T>): SqlContractBuilder<CodecTypes, T, Tables, Models, CoreHash, ExtensionPacks, Capabilities>;
-    extensionPacks(packs: Record<string, ExtensionPackRef<'sql', string>>): SqlContractBuilder<CodecTypes, Target, Tables, Models, CoreHash, ExtensionPacks, Capabilities>;
-    capabilities<C extends Record<string, Record<string, boolean>>>(capabilities: C): SqlContractBuilder<CodecTypes, Target, Tables, Models, CoreHash, ExtensionPacks, C>;
-    coreHash<H extends string>(hash: H): SqlContractBuilder<CodecTypes, Target, Tables, Models, 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, 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): SqlContractBuilder<CodecTypes, Target, Tables, Models & Record<ModelName, ReturnType<M['build']>>, CoreHash, ExtensionPacks, Capabilities>;
-}
-declare function defineContract<CodecTypes extends Record<string, {
-    output: unknown;
-}> = Record<string, never>>(): SqlContractBuilder<CodecTypes>;
-
-export { type ColumnBuilder, defineContract };
+export type { ColumnBuilder } from '../contract-builder';
+export { defineContract } from '../contract-builder';
+//# sourceMappingURL=contract-builder.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"contract-builder.d.ts","sourceRoot":"","sources":["../../src/exports/contract-builder.ts"],"names":[],"mappings":"AAAA,YAAY,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACzD,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC"}

package/dist/exports/contract.d.ts

@@ -1,51 +1,2 @@
-import { ModelDefinition, SqlStorage, SqlMappings, SqlContract } from '@prisma-next/sql-contract/types';
-
-/**
- * Computes mapping dictionaries from models and storage structures.
- * Assumes valid input - validation happens separately in validateContractLogic().
- *
- * @param models - Models object from contract
- * @param storage - Storage object from contract
- * @param existingMappings - Existing mappings from contract input (optional)
- * @returns Computed mappings dictionary
- */
-declare function computeMappings(models: Record<string, ModelDefinition>, _storage: SqlStorage, existingMappings?: Partial<SqlMappings>): SqlMappings;
-/**
- * Validates that a JSON import conforms to the SqlContract structure
- * and returns a fully typed SqlContract.
- *
- * This function is specifically for validating JSON imports (e.g., from contract.json).
- * Contracts created via the builder API (defineContract) are already valid and should
- * not be passed to this function - use them directly without validation.
- *
- * Performs both structural validation (using Arktype) and logical validation
- * (ensuring all references are valid).
- *
- *
- * The type parameter `TContract` must be a fully-typed contract type (e.g., from `contract.d.ts`),
- * NOT a generic `SqlContract<SqlStorage>`.
- *
- * **Correct:**
- * ```typescript
- * import type { Contract } from './contract.d';
- * const contract = validateContract<Contract>(contractJson);
- * ```
- *
- * **Incorrect:**
- * ```typescript
- * import type { SqlContract, SqlStorage } from '@prisma-next/sql-contract/types';
- * const contract = validateContract<SqlContract<SqlStorage>>(contractJson);
- * // ❌ Types will be inferred as 'unknown' - this won't work!
- * ```
- *
- * The type parameter provides the specific table structure, column types, and model definitions.
- * This function validates the runtime structure matches the type, but does not infer types
- * from JSON (as JSON imports lose literal type information).
- *
- * @param value - The contract value to validate (must be from a JSON import, not a builder)
- * @returns A validated contract matching the TContract type
- * @throws Error if the contract structure or logic is invalid
- */
-declare function validateContract<TContract extends SqlContract<SqlStorage>>(value: unknown): TContract;
-
-export { computeMappings, validateContract };
+export { computeMappings, validateContract } from '../contract';
+//# sourceMappingURL=contract.d.ts.map

package/dist/exports/contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract.d.ts","sourceRoot":"","sources":["../../src/exports/contract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC"}

package/package.json

@@ -1,27 +1,28 @@
 {
   "name": "@prisma-next/sql-contract-ts",
-  "version": "0.3.0-pr.73.2",
+  "version": "0.3.0-pr.75.1",
   "type": "module",
   "sideEffects": false,
   "description": "SQL-specific TypeScript contract authoring surface for Prisma Next",
   "dependencies": {
     "arktype": "^2.1.25",
     "ts-toolbelt": "^9.6.0",
-    "@prisma-next/contract": "0.3.0-pr.73.2",
-    "@prisma-next/contract-authoring": "0.3.0-pr.73.2",
-    "@prisma-next/sql-contract": "0.3.0-pr.73.2"
+    "@prisma-next/contract-authoring": "0.3.0-pr.75.1",
+    "@prisma-next/contract": "0.3.0-pr.75.1",
+    "@prisma-next/sql-contract": "0.3.0-pr.75.1"
   },
   "devDependencies": {
-    "@types/pg": "^8.11.10",
-    "@vitest/coverage-v8": "^4.0.0",
-    "pg": "^8.11.5",
-    "tsup": "^8.3.0",
-    "typescript": "^5.9.3",
-    "vitest": "^4.0.16",
+    "@types/pg": "8.16.0",
+    "@vitest/coverage-v8": "4.0.16",
+    "pg": "8.16.3",
+    "tsup": "8.5.1",
+    "typescript": "5.9.3",
+    "vitest": "4.0.16",
     "@prisma-next/test-utils": "0.0.1"
   },
   "files": [
     "dist",
+    "src",
     "schemas"
   ],
   "exports": {
@@ -36,7 +37,7 @@
     "./schema-sql": "./schemas/data-contract-sql-v1.json"
   },
   "scripts": {
-    "build": "tsup --config tsup.config.ts",
+    "build": "tsup --config tsup.config.ts && tsc --project tsconfig.build.json --declaration --declarationMap --emitDeclarationOnly",
     "test": "vitest run",
     "test:coverage": "vitest run --coverage",
     "typecheck": "tsc --project tsconfig.json --noEmit",