cogsbox-shape 0.5.108 → 0.5.110

package/dist/schema.d.ts

@@ -110,6 +110,10 @@ export type Builder<TStage extends Stage, T extends SQLType | RelationConfig<any
         zodValidationSchema: TValidation;
     };
 } & Pick<IBuilderMethods<T, TSql, TNew, TInitialValue, TClient, TValidation>, StageMethods[TStage]>;
+type HasManyDefault = true | undefined | [] | {
+    count: number;
+};
+type HasOneDefault = true | undefined | null;
 export type Reference<TGetter extends () => any> = {
     __type: "reference";
     getter: TGetter;
@@ -117,12 +121,11 @@ export type Reference<TGetter extends () => any> = {
 interface ShapeAPI {
     sql: <T extends SQLType>(sqlConfig: T) => Builder<"sql", T, SQLToZodType<T, false>, SQLToZodType<T, false>, z.infer<SQLToZodType<T, false>>, SQLToZodType<T, false>, SQLToZodType<T, false>>;
     reference: <TGetter extends () => any>(getter: TGetter) => Reference<TGetter>;
-    hasMany: (config?: {
-        defaultCount?: number;
-    }) => PlaceholderRelation<"hasMany">;
-    hasOne: () => PlaceholderRelation<"hasOne">;
+    hasMany: <T extends HasManyDefault>(config?: T) => PlaceholderRelation<"hasMany">;
+    hasOne: (config?: HasOneDefault) => PlaceholderRelation<"hasOne">;
     manyToMany: (config?: {
         defaultCount?: number;
+        defaultConfig?: HasManyDefault;
     }) => PlaceholderRelation<"manyToMany">;
 }
 export declare const s: ShapeAPI;
@@ -187,6 +190,7 @@ export type PlaceholderRelation<T extends RelationType> = {
     __type: "placeholder-relation";
     relationType: T;
     defaultCount?: number;
+    defaultConfig?: HasManyDefault | HasOneDefault;
 };
 type SchemaWithPlaceholders = {
     _tableName: string;
@@ -195,11 +199,6 @@ type SchemaWithPlaceholders = {
 type KnownKeys<T> = keyof {
     [K in keyof T as string extends K ? never : K]: T[K];
 };
-/**
- * This is the new, core type. It is NOT a validator. It is a strict TEMPLATE
- * that defines the exact shape the resolver's return object must have.
- * It provides the structure for autocompletion and error checking.
- */
 type ResolutionMap<S extends Record<string, SchemaWithPlaceholders>> = {
     [TableName in keyof S]?: {
         [FieldName in keyof S[TableName] as S[TableName][FieldName] extends PlaceholderReference | PlaceholderRelation<any> ? FieldName : never]?: S[TableName][FieldName] extends PlaceholderRelation<any> ? {
@@ -252,508 +251,85 @@ type ResolvedRegistryWithSchemas<S extends Record<string, SchemaWithPlaceholders
         };
     };
 };
-export declare function createSchemaBox<S extends Record<string, SchemaWithPlaceholders>, R extends ResolutionMap<S>>(schemas: S, resolver: (proxy: SchemaProxy<S>) => R): { [key in keyof ResolvedRegistryWithSchemas<S, R>]: {
-    rawSchema: ResolvedRegistryWithSchemas<S, R>[key]["rawSchema"];
-    zodSchemas: ResolvedRegistryWithSchemas<S, R>[key]["zodSchemas"];
-    test: S;
-    nav: key & string extends infer T ? T extends key & string ? T extends keyof S ? { [K in keyof ResolvedRegistryWithSchemas<S, R>[T]["rawSchema"] as (ResolvedRegistryWithSchemas<S, R>[T]["rawSchema"][K] extends infer T_1 ? T_1 extends ResolvedRegistryWithSchemas<S, R>[T]["rawSchema"][K] ? T_1 extends {
-        config: {
-            sql: {
-                type: "hasMany" | "hasOne" | "belongsTo" | "manyToMany";
-                schema: () => any;
-            };
-        };
-    } ? true : false : never : never) extends true ? K : never]: (ResolvedRegistryWithSchemas<S, R>[T]["rawSchema"][K] extends infer T_2 ? T_2 extends ResolvedRegistryWithSchemas<S, R>[T]["rawSchema"][K] ? T_2 extends {
-        config: {
-            sql: {
-                schema: () => infer TargetSchema;
-            };
-        };
-    } ? TargetSchema extends {
-        _tableName: infer TableName;
-    } ? TableName : never : never : never : never) extends infer TargetTable ? TargetTable extends keyof S ? TargetTable & string extends infer T_3 ? T_3 extends TargetTable & string ? T_3 extends keyof S ? { [K_1 in keyof ResolvedRegistryWithSchemas<S, R>[T_3]["rawSchema"] as (ResolvedRegistryWithSchemas<S, R>[T_3]["rawSchema"][K_1] extends infer T_4 ? T_4 extends ResolvedRegistryWithSchemas<S, R>[T_3]["rawSchema"][K_1] ? T_4 extends {
-        config: {
-            sql: {
-                type: "hasMany" | "hasOne" | "belongsTo" | "manyToMany";
-                schema: () => any;
-            };
-        };
-    } ? true : false : never : never) extends true ? K_1 : never]: (ResolvedRegistryWithSchemas<S, R>[T_3]["rawSchema"][K_1] extends infer T_5 ? T_5 extends ResolvedRegistryWithSchemas<S, R>[T_3]["rawSchema"][K_1] ? T_5 extends {
-        config: {
-            sql: {
-                schema: () => infer TargetSchema;
-            };
-        };
-    } ? TargetSchema extends {
-        _tableName: infer TableName;
-    } ? TableName : never : never : never : never) extends infer TargetTable ? TargetTable extends keyof S ? TargetTable & string extends infer T_6 ? T_6 extends TargetTable & string ? T_6 extends keyof S ? { [K_2 in keyof ResolvedRegistryWithSchemas<S, R>[T_6]["rawSchema"] as (ResolvedRegistryWithSchemas<S, R>[T_6]["rawSchema"][K_2] extends infer T_7 ? T_7 extends ResolvedRegistryWithSchemas<S, R>[T_6]["rawSchema"][K_2] ? T_7 extends {
-        config: {
-            sql: {
-                type: "hasMany" | "hasOne" | "belongsTo" | "manyToMany";
-                schema: () => any;
-            };
-        };
-    } ? true : false : never : never) extends true ? K_2 : never]: (ResolvedRegistryWithSchemas<S, R>[T_6]["rawSchema"][K_2] extends infer T_8 ? T_8 extends ResolvedRegistryWithSchemas<S, R>[T_6]["rawSchema"][K_2] ? T_8 extends {
-        config: {
-            sql: {
-                schema: () => infer TargetSchema;
-            };
-        };
-    } ? TargetSchema extends {
-        _tableName: infer TableName;
-    } ? TableName : never : never : never : never) extends infer TargetTable ? TargetTable extends keyof S ? TargetTable & string extends infer T_9 ? T_9 extends TargetTable & string ? T_9 extends keyof S ? { [K_3 in keyof ResolvedRegistryWithSchemas<S, R>[T_9]["rawSchema"] as (ResolvedRegistryWithSchemas<S, R>[T_9]["rawSchema"][K_3] extends infer T_10 ? T_10 extends ResolvedRegistryWithSchemas<S, R>[T_9]["rawSchema"][K_3] ? T_10 extends {
-        config: {
-            sql: {
-                type: "hasMany" | "hasOne" | "belongsTo" | "manyToMany";
-                schema: () => any;
-            };
-        };
-    } ? true : false : never : never) extends true ? K_3 : never]: (ResolvedRegistryWithSchemas<S, R>[T_9]["rawSchema"][K_3] extends infer T_11 ? T_11 extends ResolvedRegistryWithSchemas<S, R>[T_9]["rawSchema"][K_3] ? T_11 extends {
-        config: {
-            sql: {
-                schema: () => infer TargetSchema;
-            };
-        };
-    } ? TargetSchema extends {
-        _tableName: infer TableName;
-    } ? TableName : never : never : never : never) extends infer TargetTable ? TargetTable extends keyof S ? TargetTable & string extends infer T_12 ? T_12 extends TargetTable & string ? T_12 extends keyof S ? { [K_4 in keyof ResolvedRegistryWithSchemas<S, R>[T_12]["rawSchema"] as (ResolvedRegistryWithSchemas<S, R>[T_12]["rawSchema"][K_4] extends infer T_13 ? T_13 extends ResolvedRegistryWithSchemas<S, R>[T_12]["rawSchema"][K_4] ? T_13 extends {
-        config: {
-            sql: {
-                type: "hasMany" | "hasOne" | "belongsTo" | "manyToMany";
-                schema: () => any;
-            };
-        };
-    } ? true : false : never : never) extends true ? K_4 : never]: (ResolvedRegistryWithSchemas<S, R>[T_12]["rawSchema"][K_4] extends infer T_14 ? T_14 extends ResolvedRegistryWithSchemas<S, R>[T_12]["rawSchema"][K_4] ? T_14 extends {
-        config: {
-            sql: {
-                schema: () => infer TargetSchema;
-            };
-        };
-    } ? TargetSchema extends {
-        _tableName: infer TableName;
-    } ? TableName : never : never : never : never) extends infer TargetTable ? TargetTable extends keyof S ? TargetTable & string extends infer T_15 ? T_15 extends TargetTable & string ? T_15 extends keyof S ? { [K_5 in keyof ResolvedRegistryWithSchemas<S, R>[T_15]["rawSchema"] as (ResolvedRegistryWithSchemas<S, R>[T_15]["rawSchema"][K_5] extends infer T_16 ? T_16 extends ResolvedRegistryWithSchemas<S, R>[T_15]["rawSchema"][K_5] ? T_16 extends {
-        config: {
-            sql: {
-                type: "hasMany" | "hasOne" | "belongsTo" | "manyToMany";
-                schema: () => any;
-            };
-        };
-    } ? true : false : never : never) extends true ? K_5 : never]: (ResolvedRegistryWithSchemas<S, R>[T_15]["rawSchema"][K_5] extends infer T_17 ? T_17 extends ResolvedRegistryWithSchemas<S, R>[T_15]["rawSchema"][K_5] ? T_17 extends {
-        config: {
-            sql: {
-                schema: () => infer TargetSchema;
-            };
-        };
-    } ? TargetSchema extends {
-        _tableName: infer TableName;
-    } ? TableName : never : never : never : never) extends infer TargetTable ? TargetTable extends keyof S ? TargetTable & string extends infer T_18 ? T_18 extends TargetTable & string ? T_18 extends keyof S ? { [K_6 in keyof ResolvedRegistryWithSchemas<S, R>[T_18]["rawSchema"] as (ResolvedRegistryWithSchemas<S, R>[T_18]["rawSchema"][K_6] extends infer T_19 ? T_19 extends ResolvedRegistryWithSchemas<S, R>[T_18]["rawSchema"][K_6] ? T_19 extends {
-        config: {
-            sql: {
-                type: "hasMany" | "hasOne" | "belongsTo" | "manyToMany";
-                schema: () => any;
-            };
-        };
-    } ? true : false : never : never) extends true ? K_6 : never]: (ResolvedRegistryWithSchemas<S, R>[T_18]["rawSchema"][K_6] extends infer T_20 ? T_20 extends ResolvedRegistryWithSchemas<S, R>[T_18]["rawSchema"][K_6] ? T_20 extends {
-        config: {
-            sql: {
-                schema: () => infer TargetSchema;
-            };
-        };
-    } ? TargetSchema extends {
-        _tableName: infer TableName;
-    } ? TableName : never : never : never : never) extends infer TargetTable ? TargetTable extends keyof S ? TargetTable & string extends infer T_21 ? T_21 extends TargetTable & string ? T_21 extends keyof S ? { [K_7 in keyof ResolvedRegistryWithSchemas<S, R>[T_21]["rawSchema"] as (ResolvedRegistryWithSchemas<S, R>[T_21]["rawSchema"][K_7] extends infer T_22 ? T_22 extends ResolvedRegistryWithSchemas<S, R>[T_21]["rawSchema"][K_7] ? T_22 extends {
-        config: {
-            sql: {
-                type: "hasMany" | "hasOne" | "belongsTo" | "manyToMany";
-                schema: () => any;
-            };
-        };
-    } ? true : false : never : never) extends true ? K_7 : never]: (ResolvedRegistryWithSchemas<S, R>[T_21]["rawSchema"][K_7] extends infer T_23 ? T_23 extends ResolvedRegistryWithSchemas<S, R>[T_21]["rawSchema"][K_7] ? T_23 extends {
-        config: {
-            sql: {
-                schema: () => infer TargetSchema;
-            };
-        };
-    } ? TargetSchema extends {
-        _tableName: infer TableName;
-    } ? TableName : never : never : never : never) extends infer TargetTable ? TargetTable extends keyof S ? TargetTable & string extends infer T_24 ? T_24 extends TargetTable & string ? T_24 extends keyof S ? { [K_8 in keyof ResolvedRegistryWithSchemas<S, R>[T_24]["rawSchema"] as (ResolvedRegistryWithSchemas<S, R>[T_24]["rawSchema"][K_8] extends infer T_25 ? T_25 extends ResolvedRegistryWithSchemas<S, R>[T_24]["rawSchema"][K_8] ? T_25 extends {
-        config: {
-            sql: {
-                type: "hasMany" | "hasOne" | "belongsTo" | "manyToMany";
-                schema: () => any;
-            };
-        };
-    } ? true : false : never : never) extends true ? K_8 : never]: (ResolvedRegistryWithSchemas<S, R>[T_24]["rawSchema"][K_8] extends infer T_26 ? T_26 extends ResolvedRegistryWithSchemas<S, R>[T_24]["rawSchema"][K_8] ? T_26 extends {
-        config: {
-            sql: {
-                schema: () => infer TargetSchema;
-            };
-        };
-    } ? TargetSchema extends {
-        _tableName: infer TableName;
-    } ? TableName : never : never : never : never) extends infer TargetTable ? TargetTable extends keyof S ? TargetTable & string extends infer T_27 ? T_27 extends TargetTable & string ? T_27 extends keyof S ? { [K_9 in keyof ResolvedRegistryWithSchemas<S, R>[T_27]["rawSchema"] as (ResolvedRegistryWithSchemas<S, R>[T_27]["rawSchema"][K_9] extends infer T_28 ? T_28 extends ResolvedRegistryWithSchemas<S, R>[T_27]["rawSchema"][K_9] ? T_28 extends {
-        config: {
-            sql: {
-                type: "hasMany" | "hasOne" | "belongsTo" | "manyToMany";
-                schema: () => any;
-            };
-        };
-    } ? true : false : never : never) extends true ? K_9 : never]: (ResolvedRegistryWithSchemas<S, R>[T_27]["rawSchema"][K_9] extends infer T_29 ? T_29 extends ResolvedRegistryWithSchemas<S, R>[T_27]["rawSchema"][K_9] ? T_29 extends {
-        config: {
-            sql: {
-                schema: () => infer TargetSchema;
-            };
-        };
-    } ? TargetSchema extends {
-        _tableName: infer TableName;
-    } ? TableName : never : never : never : never) extends infer TargetTable ? TargetTable extends keyof S ? TargetTable & string extends infer T_30 ? T_30 extends TargetTable & string ? T_30 extends keyof S ? { [K_10 in keyof ResolvedRegistryWithSchemas<S, R>[T_30]["rawSchema"] as (ResolvedRegistryWithSchemas<S, R>[T_30]["rawSchema"][K_10] extends infer T_31 ? T_31 extends ResolvedRegistryWithSchemas<S, R>[T_30]["rawSchema"][K_10] ? T_31 extends {
-        config: {
-            sql: {
-                type: "hasMany" | "hasOne" | "belongsTo" | "manyToMany";
-                schema: () => any;
-            };
-        };
-    } ? true : false : never : never) extends true ? K_10 : never]: (ResolvedRegistryWithSchemas<S, R>[T_30]["rawSchema"][K_10] extends infer T_32 ? T_32 extends ResolvedRegistryWithSchemas<S, R>[T_30]["rawSchema"][K_10] ? T_32 extends {
-        config: {
-            sql: {
-                schema: () => infer TargetSchema;
-            };
-        };
-    } ? TargetSchema extends {
-        _tableName: infer TableName;
-    } ? TableName : never : never : never : never) extends infer TargetTable ? TargetTable extends keyof S ? /*elided*/ any : never : never; } : {} : never : never : never : never; } : {} : never : never : never : never; } : {} : never : never : never : never; } : {} : never : never : never : never; } : {} : never : never : never : never; } : {} : never : never : never : never; } : {} : never : never : never : never; } : {} : never : never : never : never; } : {} : never : never : never : never; } : {} : never : never : never : never; } : {} : never : never;
-    RelationSelection: (key & string extends infer T_66 ? T_66 extends key & string ? T_66 extends keyof S ? { [K_22 in keyof ResolvedRegistryWithSchemas<S, R>[T_66]["rawSchema"] as (ResolvedRegistryWithSchemas<S, R>[T_66]["rawSchema"][K_22] extends infer T_67 ? T_67 extends ResolvedRegistryWithSchemas<S, R>[T_66]["rawSchema"][K_22] ? T_67 extends {
-        config: {
-            sql: {
-                type: "hasMany" | "hasOne" | "belongsTo" | "manyToMany";
-                schema: () => any;
-            };
-        };
-    } ? true : false : never : never) extends true ? K_22 : never]: (ResolvedRegistryWithSchemas<S, R>[T_66]["rawSchema"][K_22] extends infer T_68 ? T_68 extends ResolvedRegistryWithSchemas<S, R>[T_66]["rawSchema"][K_22] ? T_68 extends {
-        config: {
-            sql: {
-                schema: () => infer TargetSchema;
-            };
-        };
-    } ? TargetSchema extends {
-        _tableName: infer TableName;
-    } ? TableName : never : never : never : never) extends infer TargetTable ? TargetTable extends keyof S ? TargetTable & string extends infer T_69 ? T_69 extends TargetTable & string ? T_69 extends keyof S ? { [K_23 in keyof ResolvedRegistryWithSchemas<S, R>[T_69]["rawSchema"] as (ResolvedRegistryWithSchemas<S, R>[T_69]["rawSchema"][K_23] extends infer T_70 ? T_70 extends ResolvedRegistryWithSchemas<S, R>[T_69]["rawSchema"][K_23] ? T_70 extends {
-        config: {
-            sql: {
-                type: "hasMany" | "hasOne" | "belongsTo" | "manyToMany";
-                schema: () => any;
-            };
-        };
-    } ? true : false : never : never) extends true ? K_23 : never]: (ResolvedRegistryWithSchemas<S, R>[T_69]["rawSchema"][K_23] extends infer T_71 ? T_71 extends ResolvedRegistryWithSchemas<S, R>[T_69]["rawSchema"][K_23] ? T_71 extends {
-        config: {
-            sql: {
-                schema: () => infer TargetSchema;
-            };
-        };
-    } ? TargetSchema extends {
-        _tableName: infer TableName;
-    } ? TableName : never : never : never : never) extends infer TargetTable ? TargetTable extends keyof S ? TargetTable & string extends infer T_72 ? T_72 extends TargetTable & string ? T_72 extends keyof S ? { [K_24 in keyof ResolvedRegistryWithSchemas<S, R>[T_72]["rawSchema"] as (ResolvedRegistryWithSchemas<S, R>[T_72]["rawSchema"][K_24] extends infer T_73 ? T_73 extends ResolvedRegistryWithSchemas<S, R>[T_72]["rawSchema"][K_24] ? T_73 extends {
-        config: {
-            sql: {
-                type: "hasMany" | "hasOne" | "belongsTo" | "manyToMany";
-                schema: () => any;
-            };
-        };
-    } ? true : false : never : never) extends true ? K_24 : never]: (ResolvedRegistryWithSchemas<S, R>[T_72]["rawSchema"][K_24] extends infer T_74 ? T_74 extends ResolvedRegistryWithSchemas<S, R>[T_72]["rawSchema"][K_24] ? T_74 extends {
-        config: {
-            sql: {
-                schema: () => infer TargetSchema;
-            };
-        };
-    } ? TargetSchema extends {
-        _tableName: infer TableName;
-    } ? TableName : never : never : never : never) extends infer TargetTable ? TargetTable extends keyof S ? TargetTable & string extends infer T_75 ? T_75 extends TargetTable & string ? T_75 extends keyof S ? { [K_25 in keyof ResolvedRegistryWithSchemas<S, R>[T_75]["rawSchema"] as (ResolvedRegistryWithSchemas<S, R>[T_75]["rawSchema"][K_25] extends infer T_76 ? T_76 extends ResolvedRegistryWithSchemas<S, R>[T_75]["rawSchema"][K_25] ? T_76 extends {
-        config: {
-            sql: {
-                type: "hasMany" | "hasOne" | "belongsTo" | "manyToMany";
-                schema: () => any;
-            };
-        };
-    } ? true : false : never : never) extends true ? K_25 : never]: (ResolvedRegistryWithSchemas<S, R>[T_75]["rawSchema"][K_25] extends infer T_77 ? T_77 extends ResolvedRegistryWithSchemas<S, R>[T_75]["rawSchema"][K_25] ? T_77 extends {
-        config: {
-            sql: {
-                schema: () => infer TargetSchema;
-            };
-        };
-    } ? TargetSchema extends {
-        _tableName: infer TableName;
-    } ? TableName : never : never : never : never) extends infer TargetTable ? TargetTable extends keyof S ? TargetTable & string extends infer T_78 ? T_78 extends TargetTable & string ? T_78 extends keyof S ? { [K_26 in keyof ResolvedRegistryWithSchemas<S, R>[T_78]["rawSchema"] as (ResolvedRegistryWithSchemas<S, R>[T_78]["rawSchema"][K_26] extends infer T_79 ? T_79 extends ResolvedRegistryWithSchemas<S, R>[T_78]["rawSchema"][K_26] ? T_79 extends {
-        config: {
-            sql: {
-                type: "hasMany" | "hasOne" | "belongsTo" | "manyToMany";
-                schema: () => any;
-            };
-        };
-    } ? true : false : never : never) extends true ? K_26 : never]: (ResolvedRegistryWithSchemas<S, R>[T_78]["rawSchema"][K_26] extends infer T_80 ? T_80 extends ResolvedRegistryWithSchemas<S, R>[T_78]["rawSchema"][K_26] ? T_80 extends {
-        config: {
-            sql: {
-                schema: () => infer TargetSchema;
-            };
-        };
-    } ? TargetSchema extends {
-        _tableName: infer TableName;
-    } ? TableName : never : never : never : never) extends infer TargetTable ? TargetTable extends keyof S ? TargetTable & string extends infer T_81 ? T_81 extends TargetTable & string ? T_81 extends keyof S ? { [K_27 in keyof ResolvedRegistryWithSchemas<S, R>[T_81]["rawSchema"] as (ResolvedRegistryWithSchemas<S, R>[T_81]["rawSchema"][K_27] extends infer T_82 ? T_82 extends ResolvedRegistryWithSchemas<S, R>[T_81]["rawSchema"][K_27] ? T_82 extends {
-        config: {
-            sql: {
-                type: "hasMany" | "hasOne" | "belongsTo" | "manyToMany";
-                schema: () => any;
-            };
-        };
-    } ? true : false : never : never) extends true ? K_27 : never]: (ResolvedRegistryWithSchemas<S, R>[T_81]["rawSchema"][K_27] extends infer T_83 ? T_83 extends ResolvedRegistryWithSchemas<S, R>[T_81]["rawSchema"][K_27] ? T_83 extends {
-        config: {
-            sql: {
-                schema: () => infer TargetSchema;
-            };
-        };
-    } ? TargetSchema extends {
-        _tableName: infer TableName;
-    } ? TableName : never : never : never : never) extends infer TargetTable ? TargetTable extends keyof S ? TargetTable & string extends infer T_84 ? T_84 extends TargetTable & string ? T_84 extends keyof S ? { [K_28 in keyof ResolvedRegistryWithSchemas<S, R>[T_84]["rawSchema"] as (ResolvedRegistryWithSchemas<S, R>[T_84]["rawSchema"][K_28] extends infer T_85 ? T_85 extends ResolvedRegistryWithSchemas<S, R>[T_84]["rawSchema"][K_28] ? T_85 extends {
-        config: {
-            sql: {
-                type: "hasMany" | "hasOne" | "belongsTo" | "manyToMany";
-                schema: () => any;
-            };
-        };
-    } ? true : false : never : never) extends true ? K_28 : never]: (ResolvedRegistryWithSchemas<S, R>[T_84]["rawSchema"][K_28] extends infer T_86 ? T_86 extends ResolvedRegistryWithSchemas<S, R>[T_84]["rawSchema"][K_28] ? T_86 extends {
-        config: {
-            sql: {
-                schema: () => infer TargetSchema;
-            };
-        };
-    } ? TargetSchema extends {
-        _tableName: infer TableName;
-    } ? TableName : never : never : never : never) extends infer TargetTable ? TargetTable extends keyof S ? TargetTable & string extends infer T_87 ? T_87 extends TargetTable & string ? T_87 extends keyof S ? { [K_29 in keyof ResolvedRegistryWithSchemas<S, R>[T_87]["rawSchema"] as (ResolvedRegistryWithSchemas<S, R>[T_87]["rawSchema"][K_29] extends infer T_88 ? T_88 extends ResolvedRegistryWithSchemas<S, R>[T_87]["rawSchema"][K_29] ? T_88 extends {
-        config: {
-            sql: {
-                type: "hasMany" | "hasOne" | "belongsTo" | "manyToMany";
-                schema: () => any;
-            };
-        };
-    } ? true : false : never : never) extends true ? K_29 : never]: (ResolvedRegistryWithSchemas<S, R>[T_87]["rawSchema"][K_29] extends infer T_89 ? T_89 extends ResolvedRegistryWithSchemas<S, R>[T_87]["rawSchema"][K_29] ? T_89 extends {
-        config: {
-            sql: {
-                schema: () => infer TargetSchema;
-            };
-        };
-    } ? TargetSchema extends {
-        _tableName: infer TableName;
-    } ? TableName : never : never : never : never) extends infer TargetTable ? TargetTable extends keyof S ? TargetTable & string extends infer T_90 ? T_90 extends TargetTable & string ? T_90 extends keyof S ? { [K_30 in keyof ResolvedRegistryWithSchemas<S, R>[T_90]["rawSchema"] as (ResolvedRegistryWithSchemas<S, R>[T_90]["rawSchema"][K_30] extends infer T_91 ? T_91 extends ResolvedRegistryWithSchemas<S, R>[T_90]["rawSchema"][K_30] ? T_91 extends {
-        config: {
-            sql: {
-                type: "hasMany" | "hasOne" | "belongsTo" | "manyToMany";
-                schema: () => any;
-            };
-        };
-    } ? true : false : never : never) extends true ? K_30 : never]: (ResolvedRegistryWithSchemas<S, R>[T_90]["rawSchema"][K_30] extends infer T_92 ? T_92 extends ResolvedRegistryWithSchemas<S, R>[T_90]["rawSchema"][K_30] ? T_92 extends {
-        config: {
-            sql: {
-                schema: () => infer TargetSchema;
-            };
-        };
-    } ? TargetSchema extends {
-        _tableName: infer TableName;
-    } ? TableName : never : never : never : never) extends infer TargetTable ? TargetTable extends keyof S ? TargetTable & string extends infer T_93 ? T_93 extends TargetTable & string ? T_93 extends keyof S ? { [K_31 in keyof ResolvedRegistryWithSchemas<S, R>[T_93]["rawSchema"] as (ResolvedRegistryWithSchemas<S, R>[T_93]["rawSchema"][K_31] extends infer T_94 ? T_94 extends ResolvedRegistryWithSchemas<S, R>[T_93]["rawSchema"][K_31] ? T_94 extends {
-        config: {
-            sql: {
-                type: "hasMany" | "hasOne" | "belongsTo" | "manyToMany";
-                schema: () => any;
-            };
-        };
-    } ? true : false : never : never) extends true ? K_31 : never]: (ResolvedRegistryWithSchemas<S, R>[T_93]["rawSchema"][K_31] extends infer T_95 ? T_95 extends ResolvedRegistryWithSchemas<S, R>[T_93]["rawSchema"][K_31] ? T_95 extends {
-        config: {
-            sql: {
-                schema: () => infer TargetSchema;
-            };
-        };
-    } ? TargetSchema extends {
-        _tableName: infer TableName;
-    } ? TableName : never : never : never : never) extends infer TargetTable ? TargetTable extends keyof S ? TargetTable & string extends infer T_96 ? T_96 extends TargetTable & string ? T_96 extends keyof S ? { [K_32 in keyof ResolvedRegistryWithSchemas<S, R>[T_96]["rawSchema"] as (ResolvedRegistryWithSchemas<S, R>[T_96]["rawSchema"][K_32] extends infer T_97 ? T_97 extends ResolvedRegistryWithSchemas<S, R>[T_96]["rawSchema"][K_32] ? T_97 extends {
-        config: {
-            sql: {
-                type: "hasMany" | "hasOne" | "belongsTo" | "manyToMany";
-                schema: () => any;
-            };
-        };
-    } ? true : false : never : never) extends true ? K_32 : never]: (ResolvedRegistryWithSchemas<S, R>[T_96]["rawSchema"][K_32] extends infer T_98 ? T_98 extends ResolvedRegistryWithSchemas<S, R>[T_96]["rawSchema"][K_32] ? T_98 extends {
-        config: {
-            sql: {
-                schema: () => infer TargetSchema;
-            };
-        };
-    } ? TargetSchema extends {
-        _tableName: infer TableName;
-    } ? TableName : never : never : never : never) extends infer TargetTable ? TargetTable extends keyof S ? /*elided*/ any : never : never; } : {} : never : never : never : never; } : {} : never : never : never : never; } : {} : never : never : never : never; } : {} : never : never : never : never; } : {} : never : never : never : never; } : {} : never : never : never : never; } : {} : never : never : never : never; } : {} : never : never : never : never; } : {} : never : never : never : never; } : {} : never : never : never : never; } : {} : never : never) extends infer T_99 ? T_99 extends (key & string extends infer T_110 ? T_110 extends key & string ? T_110 extends keyof S ? { [K_44 in keyof ResolvedRegistryWithSchemas<S, R>[T_110]["rawSchema"] as (ResolvedRegistryWithSchemas<S, R>[T_110]["rawSchema"][K_44] extends infer T_111 ? T_111 extends ResolvedRegistryWithSchemas<S, R>[T_110]["rawSchema"][K_44] ? T_111 extends {
-        config: {
-            sql: {
-                type: "hasMany" | "hasOne" | "belongsTo" | "manyToMany";
-                schema: () => any;
-            };
-        };
-    } ? true : false : never : never) extends true ? K_44 : never]: (ResolvedRegistryWithSchemas<S, R>[T_110]["rawSchema"][K_44] extends infer T_112 ? T_112 extends ResolvedRegistryWithSchemas<S, R>[T_110]["rawSchema"][K_44] ? T_112 extends {
-        config: {
-            sql: {
-                schema: () => infer TargetSchema;
-            };
-        };
-    } ? TargetSchema extends {
-        _tableName: infer TableName;
-    } ? TableName : never : never : never : never) extends infer TargetTable ? TargetTable extends keyof S ? TargetTable & string extends infer T_113 ? T_113 extends TargetTable & string ? T_113 extends keyof S ? { [K_45 in keyof ResolvedRegistryWithSchemas<S, R>[T_113]["rawSchema"] as (ResolvedRegistryWithSchemas<S, R>[T_113]["rawSchema"][K_45] extends infer T_114 ? T_114 extends ResolvedRegistryWithSchemas<S, R>[T_113]["rawSchema"][K_45] ? T_114 extends {
-        config: {
-            sql: {
-                type: "hasMany" | "hasOne" | "belongsTo" | "manyToMany";
-                schema: () => any;
-            };
-        };
-    } ? true : false : never : never) extends true ? K_45 : never]: (ResolvedRegistryWithSchemas<S, R>[T_113]["rawSchema"][K_45] extends infer T_115 ? T_115 extends ResolvedRegistryWithSchemas<S, R>[T_113]["rawSchema"][K_45] ? T_115 extends {
-        config: {
-            sql: {
-                schema: () => infer TargetSchema;
-            };
-        };
-    } ? TargetSchema extends {
-        _tableName: infer TableName;
-    } ? TableName : never : never : never : never) extends infer TargetTable ? TargetTable extends keyof S ? TargetTable & string extends infer T_116 ? T_116 extends TargetTable & string ? T_116 extends keyof S ? { [K_46 in keyof ResolvedRegistryWithSchemas<S, R>[T_116]["rawSchema"] as (ResolvedRegistryWithSchemas<S, R>[T_116]["rawSchema"][K_46] extends infer T_117 ? T_117 extends ResolvedRegistryWithSchemas<S, R>[T_116]["rawSchema"][K_46] ? T_117 extends {
-        config: {
-            sql: {
-                type: "hasMany" | "hasOne" | "belongsTo" | "manyToMany";
-                schema: () => any;
-            };
-        };
-    } ? true : false : never : never) extends true ? K_46 : never]: (ResolvedRegistryWithSchemas<S, R>[T_116]["rawSchema"][K_46] extends infer T_118 ? T_118 extends ResolvedRegistryWithSchemas<S, R>[T_116]["rawSchema"][K_46] ? T_118 extends {
-        config: {
-            sql: {
-                schema: () => infer TargetSchema;
-            };
-        };
-    } ? TargetSchema extends {
-        _tableName: infer TableName;
-    } ? TableName : never : never : never : never) extends infer TargetTable ? TargetTable extends keyof S ? TargetTable & string extends infer T_119 ? T_119 extends TargetTable & string ? T_119 extends keyof S ? { [K_47 in keyof ResolvedRegistryWithSchemas<S, R>[T_119]["rawSchema"] as (ResolvedRegistryWithSchemas<S, R>[T_119]["rawSchema"][K_47] extends infer T_120 ? T_120 extends ResolvedRegistryWithSchemas<S, R>[T_119]["rawSchema"][K_47] ? T_120 extends {
-        config: {
-            sql: {
-                type: "hasMany" | "hasOne" | "belongsTo" | "manyToMany";
-                schema: () => any;
-            };
-        };
-    } ? true : false : never : never) extends true ? K_47 : never]: (ResolvedRegistryWithSchemas<S, R>[T_119]["rawSchema"][K_47] extends infer T_121 ? T_121 extends ResolvedRegistryWithSchemas<S, R>[T_119]["rawSchema"][K_47] ? T_121 extends {
-        config: {
-            sql: {
-                schema: () => infer TargetSchema;
-            };
-        };
-    } ? TargetSchema extends {
-        _tableName: infer TableName;
-    } ? TableName : never : never : never : never) extends infer TargetTable ? TargetTable extends keyof S ? TargetTable & string extends infer T_122 ? T_122 extends TargetTable & string ? T_122 extends keyof S ? { [K_48 in keyof ResolvedRegistryWithSchemas<S, R>[T_122]["rawSchema"] as (ResolvedRegistryWithSchemas<S, R>[T_122]["rawSchema"][K_48] extends infer T_123 ? T_123 extends ResolvedRegistryWithSchemas<S, R>[T_122]["rawSchema"][K_48] ? T_123 extends {
-        config: {
-            sql: {
-                type: "hasMany" | "hasOne" | "belongsTo" | "manyToMany";
-                schema: () => any;
-            };
-        };
-    } ? true : false : never : never) extends true ? K_48 : never]: (ResolvedRegistryWithSchemas<S, R>[T_122]["rawSchema"][K_48] extends infer T_124 ? T_124 extends ResolvedRegistryWithSchemas<S, R>[T_122]["rawSchema"][K_48] ? T_124 extends {
-        config: {
-            sql: {
-                schema: () => infer TargetSchema;
-            };
-        };
-    } ? TargetSchema extends {
-        _tableName: infer TableName;
-    } ? TableName : never : never : never : never) extends infer TargetTable ? TargetTable extends keyof S ? TargetTable & string extends infer T_125 ? T_125 extends TargetTable & string ? T_125 extends keyof S ? { [K_49 in keyof ResolvedRegistryWithSchemas<S, R>[T_125]["rawSchema"] as (ResolvedRegistryWithSchemas<S, R>[T_125]["rawSchema"][K_49] extends infer T_126 ? T_126 extends ResolvedRegistryWithSchemas<S, R>[T_125]["rawSchema"][K_49] ? T_126 extends {
-        config: {
-            sql: {
-                type: "hasMany" | "hasOne" | "belongsTo" | "manyToMany";
-                schema: () => any;
-            };
-        };
-    } ? true : false : never : never) extends true ? K_49 : never]: (ResolvedRegistryWithSchemas<S, R>[T_125]["rawSchema"][K_49] extends infer T_127 ? T_127 extends ResolvedRegistryWithSchemas<S, R>[T_125]["rawSchema"][K_49] ? T_127 extends {
-        config: {
-            sql: {
-                schema: () => infer TargetSchema;
-            };
-        };
-    } ? TargetSchema extends {
-        _tableName: infer TableName;
-    } ? TableName : never : never : never : never) extends infer TargetTable ? TargetTable extends keyof S ? TargetTable & string extends infer T_128 ? T_128 extends TargetTable & string ? T_128 extends keyof S ? { [K_50 in keyof ResolvedRegistryWithSchemas<S, R>[T_128]["rawSchema"] as (ResolvedRegistryWithSchemas<S, R>[T_128]["rawSchema"][K_50] extends infer T_129 ? T_129 extends ResolvedRegistryWithSchemas<S, R>[T_128]["rawSchema"][K_50] ? T_129 extends {
-        config: {
-            sql: {
-                type: "hasMany" | "hasOne" | "belongsTo" | "manyToMany";
-                schema: () => any;
-            };
-        };
-    } ? true : false : never : never) extends true ? K_50 : never]: (ResolvedRegistryWithSchemas<S, R>[T_128]["rawSchema"][K_50] extends infer T_130 ? T_130 extends ResolvedRegistryWithSchemas<S, R>[T_128]["rawSchema"][K_50] ? T_130 extends {
-        config: {
-            sql: {
-                schema: () => infer TargetSchema;
-            };
-        };
-    } ? TargetSchema extends {
-        _tableName: infer TableName;
-    } ? TableName : never : never : never : never) extends infer TargetTable ? TargetTable extends keyof S ? TargetTable & string extends infer T_131 ? T_131 extends TargetTable & string ? T_131 extends keyof S ? { [K_51 in keyof ResolvedRegistryWithSchemas<S, R>[T_131]["rawSchema"] as (ResolvedRegistryWithSchemas<S, R>[T_131]["rawSchema"][K_51] extends infer T_132 ? T_132 extends ResolvedRegistryWithSchemas<S, R>[T_131]["rawSchema"][K_51] ? T_132 extends {
-        config: {
-            sql: {
-                type: "hasMany" | "hasOne" | "belongsTo" | "manyToMany";
-                schema: () => any;
-            };
-        };
-    } ? true : false : never : never) extends true ? K_51 : never]: (ResolvedRegistryWithSchemas<S, R>[T_131]["rawSchema"][K_51] extends infer T_133 ? T_133 extends ResolvedRegistryWithSchemas<S, R>[T_131]["rawSchema"][K_51] ? T_133 extends {
-        config: {
-            sql: {
-                schema: () => infer TargetSchema;
-            };
-        };
-    } ? TargetSchema extends {
-        _tableName: infer TableName;
-    } ? TableName : never : never : never : never) extends infer TargetTable ? TargetTable extends keyof S ? TargetTable & string extends infer T_134 ? T_134 extends TargetTable & string ? T_134 extends keyof S ? { [K_52 in keyof ResolvedRegistryWithSchemas<S, R>[T_134]["rawSchema"] as (ResolvedRegistryWithSchemas<S, R>[T_134]["rawSchema"][K_52] extends infer T_135 ? T_135 extends ResolvedRegistryWithSchemas<S, R>[T_134]["rawSchema"][K_52] ? T_135 extends {
-        config: {
-            sql: {
-                type: "hasMany" | "hasOne" | "belongsTo" | "manyToMany";
-                schema: () => any;
-            };
-        };
-    } ? true : false : never : never) extends true ? K_52 : never]: (ResolvedRegistryWithSchemas<S, R>[T_134]["rawSchema"][K_52] extends infer T_136 ? T_136 extends ResolvedRegistryWithSchemas<S, R>[T_134]["rawSchema"][K_52] ? T_136 extends {
-        config: {
-            sql: {
-                schema: () => infer TargetSchema;
-            };
-        };
-    } ? TargetSchema extends {
-        _tableName: infer TableName;
-    } ? TableName : never : never : never : never) extends infer TargetTable ? TargetTable extends keyof S ? TargetTable & string extends infer T_137 ? T_137 extends TargetTable & string ? T_137 extends keyof S ? { [K_53 in keyof ResolvedRegistryWithSchemas<S, R>[T_137]["rawSchema"] as (ResolvedRegistryWithSchemas<S, R>[T_137]["rawSchema"][K_53] extends infer T_138 ? T_138 extends ResolvedRegistryWithSchemas<S, R>[T_137]["rawSchema"][K_53] ? T_138 extends {
-        config: {
-            sql: {
-                type: "hasMany" | "hasOne" | "belongsTo" | "manyToMany";
-                schema: () => any;
-            };
+type IsRelationField<Field> = Field extends {
+    config: {
+        sql: {
+            type: "hasMany" | "hasOne" | "belongsTo" | "manyToMany";
+            schema: () => any;
         };
-    } ? true : false : never : never) extends true ? K_53 : never]: (ResolvedRegistryWithSchemas<S, R>[T_137]["rawSchema"][K_53] extends infer T_139 ? T_139 extends ResolvedRegistryWithSchemas<S, R>[T_137]["rawSchema"][K_53] ? T_139 extends {
-        config: {
-            sql: {
-                schema: () => infer TargetSchema;
-            };
+    };
+} ? true : false;
+type GetRelationTarget<Field> = Field extends {
+    config: {
+        sql: {
+            schema: () => infer TargetSchema;
         };
-    } ? TargetSchema extends {
-        _tableName: infer TableName;
-    } ? TableName : never : never : never : never) extends infer TargetTable ? TargetTable extends keyof S ? TargetTable & string extends infer T_140 ? T_140 extends TargetTable & string ? T_140 extends keyof S ? { [K_54 in keyof ResolvedRegistryWithSchemas<S, R>[T_140]["rawSchema"] as (ResolvedRegistryWithSchemas<S, R>[T_140]["rawSchema"][K_54] extends infer T_141 ? T_141 extends ResolvedRegistryWithSchemas<S, R>[T_140]["rawSchema"][K_54] ? T_141 extends {
-        config: {
-            sql: {
-                type: "hasMany" | "hasOne" | "belongsTo" | "manyToMany";
-                schema: () => any;
+    };
+} ? TargetSchema extends {
+    _tableName: infer TableName;
+} ? TableName : never : never;
+type NavigationProxy<CurrentTable extends string, Registry extends RegistryShape> = CurrentTable extends keyof Registry ? {
+    [K in keyof Registry[CurrentTable]["rawSchema"] as IsRelationField<Registry[CurrentTable]["rawSchema"][K]> extends true ? K : never]: GetRelationTarget<Registry[CurrentTable]["rawSchema"][K]> extends infer TargetTable ? TargetTable extends keyof Registry ? NavigationProxy<TargetTable & string, Registry> : never : never;
+} : {};
+type NavigationToSelection<Nav> = Nav extends object ? {
+    [K in keyof Nav]?: boolean | NavigationToSelection<Nav[K]>;
+} : never;
+type BuildZodShape<TTableName extends keyof TRegistry, TSelection, TKey extends "clientSchema" | "validationSchema", TRegistry extends RegistryShape> = TRegistry[TTableName]["zodSchemas"][TKey] extends z.ZodObject<infer Base> ? TSelection extends Record<string, any> ? Omit<Base, keyof TSelection> & {
+    [K in keyof TSelection & keyof TRegistry[TTableName]["rawSchema"]]: TRegistry[TTableName]["rawSchema"][K] extends {
+        config: {
+            sql: {
+                type: infer RelType;
+                schema: () => infer S;
             };
         };
-    } ? true : false : never : never) extends true ? K_54 : never]: (ResolvedRegistryWithSchemas<S, R>[T_140]["rawSchema"][K_54] extends infer T_142 ? T_142 extends ResolvedRegistryWithSchemas<S, R>[T_140]["rawSchema"][K_54] ? T_142 extends {
-        config: {
-            sql: {
-                schema: () => infer TargetSchema;
-            };
+    } ? S extends {
+        _tableName: infer Target;
+    } ? Target extends keyof TRegistry ? RelType extends "hasMany" | "manyToMany" ? TSelection[K] extends true ? TRegistry[Target]["zodSchemas"][TKey] extends z.ZodObject<infer Shape extends Record<string, any>> ? z.ZodArray<z.ZodObject<OmitRelations<Shape, TRegistry[Target]["rawSchema"]>>> : never : z.ZodArray<z.ZodObject<BuildZodShape<Target, TSelection[K], TKey, TRegistry>>> : TSelection[K] extends true ? TRegistry[Target]["zodSchemas"][TKey] extends z.ZodObject<infer Shape extends Record<string, any>> ? z.ZodOptional<z.ZodObject<OmitRelations<Shape, TRegistry[Target]["rawSchema"]>>> : never : z.ZodOptional<z.ZodObject<BuildZodShape<Target, TSelection[K], TKey, TRegistry>>> : never : never : never;
+} : Base : never;
+type OmitRelations<Shape, RawSchema> = Omit<Shape, {
+    [K in keyof Shape]: K extends keyof RawSchema ? RawSchema[K] extends {
+        config: {
+            sql: {
+                schema: any;
+            };
+        };
+    } ? K : never : never;
+}[keyof Shape]>;
+type RegistryShape = Record<string, {
+    rawSchema: any;
+    zodSchemas: {
+        sqlSchema: z.ZodObject<any>;
+        clientSchema: z.ZodObject<any>;
+        validationSchema: z.ZodObject<any>;
+        defaultValues: any;
+        toClient: (dbObject: any) => any;
+        toDb: (clientObject: any) => any;
+    };
+}>;
+type CreateSchemaBoxReturn<S extends Record<string, SchemaWithPlaceholders>, R extends ResolutionMap<S>, Resolved extends RegistryShape = ResolvedRegistryWithSchemas<S, R> extends RegistryShape ? ResolvedRegistryWithSchemas<S, R> : RegistryShape> = {
+    [K in keyof Resolved]: {
+        definition: Resolved[K]["rawSchema"];
+        schemas: {
+            sql: Resolved[K]["zodSchemas"]["sqlSchema"];
+            client: Resolved[K]["zodSchemas"]["clientSchema"];
+            validation: Resolved[K]["zodSchemas"]["validationSchema"];
+        };
+        transforms: {
+            toClient: Resolved[K]["zodSchemas"]["toClient"];
+            toDb: Resolved[K]["zodSchemas"]["toDb"];
+        };
+        defaults: Resolved[K]["zodSchemas"]["defaultValues"];
+        nav: NavigationProxy<K & string, Resolved>;
+        RelationSelection: NavigationToSelection<NavigationProxy<K & string, Resolved>>;
+        createView: <const TSelection extends NavigationToSelection<NavigationProxy<K & string, Resolved>>>(selection: TSelection) => {
+            sql: Resolved[K]["zodSchemas"]["sqlSchema"];
+            client: z.ZodObject<BuildZodShape<K, TSelection, "clientSchema", Resolved>>;
+            validation: z.ZodObject<BuildZodShape<K, TSelection, "validationSchema", Resolved>>;
+            defaults: any;
         };
-    } ? TargetSchema extends {
-        _tableName: infer TableName;
-    } ? TableName : never : never : never : never) extends infer TargetTable ? TargetTable extends keyof S ? /*elided*/ any : never : never; } : {} : never : never : never : never; } : {} : never : never : never : never; } : {} : never : never : never : never; } : {} : never : never : never : never; } : {} : never : never : never : never; } : {} : never : never : never : never; } : {} : never : never : never : never; } : {} : never : never : never : never; } : {} : never : never : never : never; } : {} : never : never : never : never; } : {} : never : never) ? T_99 extends object ? { [K_33 in keyof T_99]?: boolean | (T_99[K_33] extends infer T_100 ? T_100 extends T_99[K_33] ? T_100 extends object ? { [K_34 in keyof T_100]?: boolean | (T_100[K_34] extends infer T_101 ? T_101 extends T_100[K_34] ? T_101 extends object ? { [K_35 in keyof T_101]?: boolean | (T_101[K_35] extends infer T_102 ? T_102 extends T_101[K_35] ? T_102 extends object ? { [K_36 in keyof T_102]?: boolean | (T_102[K_36] extends infer T_103 ? T_103 extends T_102[K_36] ? T_103 extends object ? { [K_37 in keyof T_103]?: boolean | (T_103[K_37] extends infer T_104 ? T_104 extends T_103[K_37] ? T_104 extends object ? { [K_38 in keyof T_104]?: boolean | (T_104[K_38] extends infer T_105 ? T_105 extends T_104[K_38] ? T_105 extends object ? { [K_39 in keyof T_105]?: boolean | (T_105[K_39] extends infer T_106 ? T_106 extends T_105[K_39] ? T_106 extends object ? { [K_40 in keyof T_106]?: boolean | (T_106[K_40] extends infer T_107 ? T_107 extends T_106[K_40] ? T_107 extends object ? { [K_41 in keyof T_107]?: boolean | (T_107[K_41] extends infer T_108 ? T_108 extends T_107[K_41] ? T_108 extends object ? { [K_42 in keyof T_108]?: boolean | (T_108[K_42] extends infer T_109 ? T_109 extends T_108[K_42] ? T_109 extends object ? { [K_43 in keyof T_109]?: boolean | /*elided*/ any; } : never : never : never); } : never : never : never); } : never : never : never); } : never : never : never); } : never : never : never); } : never : never : never); } : never : never : never); } : never : never : never); } : never : never : never); } : never : never : never); } : never : never : never;
-}; };
+    };
+};
+export declare function createSchemaBox<S extends Record<string, SchemaWithPlaceholders>, R extends ResolutionMap<S>>(schemas: S, resolver: (proxy: SchemaProxy<S>) => R): CreateSchemaBoxReturn<S, R>;
 type SchemaProxy<S extends Record<string, SchemaWithPlaceholders>> = {
     [K in keyof S]: {
         [F in keyof S[K] as F extends "_tableName" ? never : F]: S[K][F] extends {
@@ -777,31 +353,7 @@ type DeriveSchemaByKey<T, Key extends "zodSqlSchema" | "zodClientSchema" | "zodV
                 type: "hasMany" | "manyToMany" | "hasOne" | "belongsTo";
             };
         };
-    } ? Key extends "zodSqlSchema" ? never : K : K : never]: T[K] extends Reference<infer TGetter> ? ReturnType<TGetter> extends {
-        config: {
-            [P in Key]: infer ZodSchema extends z.ZodTypeAny;
-        };
-    } ? ZodSchema : never : T[K] extends {
-        config: {
-            sql: {
-                type: "hasMany" | "manyToMany";
-                schema: () => infer S;
-            };
-        };
-    } ? S extends {
-        _tableName: string;
-    } ? z.ZodArray<z.ZodObject<Prettify<DeriveSchemaByKey<S, Key, [...Depth, 1]>>>> : never : T[K] extends {
-        config: {
-            sql: {
-                schema: () => infer S;
-            };
-        };
-    } ? S extends {
-        _tableName: string;
-    } ? z.ZodObject<Prettify<DeriveSchemaByKey<S, Key, [...Depth, 1]>>> : z.ZodObject<any> : T[K] extends {
-        type: "reference";
-        to: () => infer RefField;
-    } ? RefField extends {
+    } ? never : K : never]: T[K] extends Reference<infer TGetter> ? ReturnType<TGetter> extends {
         config: {
             [P in Key]: infer ZodSchema extends z.ZodTypeAny;
         };
@@ -812,29 +364,21 @@ type DeriveSchemaByKey<T, Key extends "zodSqlSchema" | "zodClientSchema" | "zodV
     } ? ZodSchema : never;
 };
 type DeriveDefaults<T, Depth extends any[] = []> = Prettify<Depth["length"] extends 10 ? any : {
-    [K in keyof T as K extends "_tableName" | typeof SchemaWrapperBrand ? never : K]: T[K] extends Reference<infer TGetter> ? ReturnType<TGetter> extends {
+    [K in keyof T as K extends "_tableName" | typeof SchemaWrapperBrand ? never : K extends keyof T ? T[K] extends Reference<any> ? K : T[K] extends {
         config: {
-            initialValue: infer D;
+            sql: {
+                type: "hasMany" | "manyToMany" | "hasOne" | "belongsTo";
+            };
         };
-    } ? D extends () => infer R ? R : D : never : T[K] extends {
+    } ? never : K : never]: T[K] extends Reference<infer TGetter> ? ReturnType<TGetter> extends {
         config: {
-            sql: infer SqlConfig;
             initialValue: infer D;
         };
-    } ? SqlConfig extends {
-        type: "hasMany" | "manyToMany";
-        schema: () => infer S;
-    } ? Array<DeriveDefaults<S, [...Depth, 1]>> : SqlConfig extends {
-        type: "hasOne" | "belongsTo";
-        schema: () => infer S;
-    } ? DeriveDefaults<S, [...Depth, 1]> : D extends () => infer R ? R : D : T[K] extends {
-        type: "reference";
-        to: () => infer RefField;
-    } ? RefField extends {
+    } ? D extends () => infer R ? R : D : never : T[K] extends {
         config: {
             initialValue: infer D;
         };
-    } ? D extends () => infer R ? R : D : never : never;
+    } ? D extends () => infer R ? R : D : never;
 }>;
 export type InferFromSchema<T extends {
     _tableName: string;

package/dist/schema.js

@@ -57,11 +57,15 @@ export const s = {
     hasMany: (config) => ({
         __type: "placeholder-relation",
         relationType: "hasMany",
-        defaultCount: config?.defaultCount ?? 0,
+        defaultCount: config && typeof config === "object" && "count" in config
+            ? config.count
+            : 0,
+        defaultConfig: config,
     }),
-    hasOne: () => ({
+    hasOne: (config) => ({
         __type: "placeholder-relation",
         relationType: "hasOne",
+        defaultConfig: config, // This line is the crucial fix
     }),
     manyToMany: (config) => ({
         __type: "placeholder-relation",
@@ -440,14 +444,12 @@ export function createSchema(schema, relations) {
         const definition = fullSchema[key];
         // Handle new-style references
         if (isReference(definition)) {
-            // Call the getter to get the actual field
             const targetField = definition.getter();
             if (targetField && targetField.config) {
                 const config = targetField.config;
                 sqlFields[key] = config.zodSqlSchema;
                 clientFields[key] = config.zodClientSchema;
                 validationFields[key] = config.zodValidationSchema;
-                // For references, typically use undefined as default
                 defaultValues[key] = inferDefaultFromZod(config.zodClientSchema, {
                     ...config.sql,
                     default: undefined,
@@ -472,49 +474,24 @@ export function createSchema(schema, relations) {
         if (definition && definition.config) {
             const config = definition.config;
             const sqlConfig = config.sql;
-            if (definition && definition.config) {
-                const config = definition.config;
-                const sqlConfig = config.sql;
-                if (sqlConfig &&
-                    typeof sqlConfig === "object" &&
-                    ["hasMany", "hasOne", "belongsTo", "manyToMany"].includes(sqlConfig.type)) {
-                    // Handle relations
-                    const relatedSchemaFactory = sqlConfig.schema;
-                    let baseClientSchema;
-                    if (sqlConfig.type === "hasMany" || sqlConfig.type === "manyToMany") {
-                        baseClientSchema = z.array(z.any()).optional();
-                        // Make it a FUNCTION that returns the array
-                        defaultValues[key] = () => Array.from({ length: sqlConfig.defaultCount || 0 }, () => {
-                            const childSchema = createSchema(relatedSchemaFactory());
-                            return childSchema.defaultValues;
-                        });
-                    }
-                    else {
-                        baseClientSchema = z.any().optional();
-                        // Make it a FUNCTION that returns the object
-                        defaultValues[key] = () => {
-                            const childSchema = createSchema(relatedSchemaFactory());
-                            return childSchema.defaultValues;
-                        };
-                    }
-                    clientFields[key] = config.clientTransform
-                        ? config.clientTransform(baseClientSchema)
-                        : baseClientSchema;
-                    validationFields[key] = clientFields[key];
-                }
-                else {
-                    // Handle regular fields
-                    sqlFields[key] = config.zodSqlSchema;
-                    clientFields[key] = config.zodClientSchema;
-                    validationFields[key] = config.zodValidationSchema;
-                    if (config.transforms) {
-                        fieldTransforms[key] = config.transforms;
-                    }
-                    const initialValueOrFn = config.initialValue;
-                    defaultValues[key] = isFunction(initialValueOrFn)
-                        ? initialValueOrFn()
-                        : initialValueOrFn;
+            if (sqlConfig &&
+                typeof sqlConfig === "object" &&
+                ["hasMany", "hasOne", "belongsTo", "manyToMany"].includes(sqlConfig.type)) {
+                console.log(`Skipping relation: ${key}`);
+                continue;
+            }
+            else {
+                // Handle regular fields
+                sqlFields[key] = config.zodSqlSchema;
+                clientFields[key] = config.zodClientSchema;
+                validationFields[key] = config.zodValidationSchema;
+                if (config.transforms) {
+                    fieldTransforms[key] = config.transforms;
                 }
+                const initialValueOrFn = config.initialValue;
+                defaultValues[key] = isFunction(initialValueOrFn)
+                    ? initialValueOrFn()
+                    : initialValueOrFn;
             }
         }
     }
@@ -545,8 +522,56 @@ export function createSchema(schema, relations) {
         toDb,
     };
 }
+function createViewObject(tableName, selection, registry) {
+    // A recursive helper that builds ONE schema (client or validation) for a view.
+    function buildView(currentTable, schemaType, subSelection) {
+        const registryEntry = registry[currentTable];
+        const rawSchema = registryEntry.rawSchema;
+        const baseSchema = registryEntry.zodSchemas[`${schemaType}Schema`];
+        // Get all relation keys
+        const relationsToOmit = {};
+        for (const key in rawSchema) {
+            if (rawSchema[key]?.config?.sql?.schema) {
+                relationsToOmit[key] = true;
+            }
+        }
+        // Start with primitive fields only
+        const schemaWithPrimitives = baseSchema.omit(relationsToOmit);
+        // If selection is just `true`, return primitives only (no nested relations)
+        if (subSelection === true) {
+            return schemaWithPrimitives;
+        }
+        // Otherwise, add selected relations
+        const selectedRelationShapes = {};
+        if (typeof subSelection === "object") {
+            for (const key in subSelection) {
+                if (subSelection[key] && relationsToOmit[key]) {
+                    const relationConfig = rawSchema[key].config.sql;
+                    const targetTable = relationConfig.schema()._tableName;
+                    // Recursively build the sub-schema
+                    const subSchema = buildView(targetTable, schemaType, subSelection[key]);
+                    if (relationConfig.type === "hasMany" ||
+                        relationConfig.type === "manyToMany") {
+                        selectedRelationShapes[key] = z.array(subSchema);
+                    }
+                    else {
+                        selectedRelationShapes[key] = subSchema.optional();
+                    }
+                }
+            }
+        }
+        return schemaWithPrimitives.extend(selectedRelationShapes);
+    }
+    // The main function builds the final object with all three schemas.
+    const sourceRegistryEntry = registry[tableName];
+    return {
+        sql: sourceRegistryEntry.zodSchemas.sqlSchema, // Changed from sqlSchema
+        client: buildView(tableName, "client", selection), // Changed from clientSchema
+        validation: buildView(tableName, "validation", selection), // Changed from validationSchema
+    };
+}
 export function createSchemaBox(schemas, resolver) {
-    // Create a proxy to allow for a clean syntax in the resolver function (e.g., s.users.id)
+    // Your existing implementation stays exactly the same
     const schemaProxy = new Proxy({}, {
         get(target, tableName) {
             const schema = schemas[tableName];
@@ -555,8 +580,6 @@ export function createSchemaBox(schemas, resolver) {
             return new Proxy({}, {
                 get(target, fieldName) {
                     const field = schema[fieldName];
-                    // Enrich the field with metadata when accessed through the proxy.
-                    // This metadata is crucial for resolving relationships later.
                     if (field && typeof field === "object") {
                         return {
                             ...field,
@@ -572,31 +595,24 @@ export function createSchemaBox(schemas, resolver) {
             });
         },
     });
-    // Get the user-defined resolution configuration
     const resolutionConfig = resolver(schemaProxy);
-    // Start with a deep copy of the initial schemas
     const resolvedSchemas = { ...schemas };
-    // ===============================================================
-    // FIX: Implement a two-stage resolution process to avoid deadlock
-    // ===============================================================
-    // STAGE 1: Resolve all `s.reference()` fields first.
+    // STAGE 1: Resolve references
     for (const tableName in schemas) {
         for (const fieldName in schemas[tableName]) {
             const field = schemas[tableName][fieldName];
             if (isReference(field)) {
-                // A reference is defined in the base schema, so its getter gives the target
                 const targetField = field.getter();
                 if (targetField && targetField.config) {
-                    // Replace the reference placeholder with the actual field it points to
                     resolvedSchemas[tableName][fieldName] = targetField;
                 }
                 else {
-                    throw new Error(`Could not resolve reference for ${tableName}.${fieldName}. Ensure it points to a valid schema field.`);
+                    throw new Error(`Could not resolve reference for ${tableName}.${fieldName}`);
                 }
             }
         }
     }
-    // STAGE 2: Now, resolve all relation placeholders (`hasMany`, `hasOne`, etc.).
+    // STAGE 2: Resolve relations
     for (const tableName in schemas) {
         const tableConfig = resolutionConfig[tableName];
         if (!tableConfig)
@@ -604,12 +620,10 @@ export function createSchemaBox(schemas, resolver) {
         for (const fieldName in tableConfig) {
             const field = schemas[tableName][fieldName];
             const resolution = tableConfig[fieldName];
-            // Ensure this is a relation placeholder we are trying to resolve
             if (field && field.__type === "placeholder-relation") {
                 const targetKey = resolution.toKey;
-                // The target key should now be a fully resolved field from STAGE 1
                 if (!targetKey || !targetKey.__parentTableType) {
-                    throw new Error(`Could not resolve relation for ${tableName}.${fieldName}. The 'toKey' (${targetKey}) is invalid.`);
+                    throw new Error(`Could not resolve relation for ${tableName}.${fieldName}`);
                 }
                 const targetSchema = targetKey.__parentTableType;
                 const relationType = field.relationType;
@@ -620,15 +634,15 @@ export function createSchemaBox(schemas, resolver) {
                 const initialValue = relationType === "hasMany" || relationType === "manyToMany"
                     ? Array.from({ length: defaultCount || 0 }, () => ({}))
                     : {};
-                // Create the full relation builder now that the dependency is available
                 const resolvedBuilder = createBuilder({
                     stage: "relation",
                     sqlConfig: {
                         type: relationType,
                         fromKey: resolution.fromKey,
-                        toKey: () => targetKey, // The toKey is now a function returning the resolved field
+                        toKey: () => targetKey,
                         schema: () => targetSchema,
                         defaultCount: defaultCount,
+                        defaultConfig: field.defaultConfig,
                     },
                     sqlZod: zodSchema,
                     newZod: zodSchema,
@@ -636,15 +650,10 @@ export function createSchemaBox(schemas, resolver) {
                     clientZod: zodSchema,
                     validationZod: zodSchema,
                 });
-                // Replace the placeholder in our schemas object with the final builder
-                if (!resolvedSchemas[tableName]) {
-                    throw new Error(`Could not resolve relation for ${tableName}.${fieldName}. The 'toKey' (${targetKey}) is invalid.`);
-                }
                 resolvedSchemas[tableName][fieldName] = resolvedBuilder;
             }
         }
     }
-    // Update the createSchemaBoxRegistry function's final section:
     const finalRegistry = {};
     for (const tableName in resolvedSchemas) {
         const zodSchemas = createSchema(resolvedSchemas[tableName]);
@@ -653,7 +662,6 @@ export function createSchemaBox(schemas, resolver) {
             zodSchemas: zodSchemas,
         };
     }
-    // Simple navigation proxy creator
     const createNavProxy = (currentTable, registry) => {
         return new Proxy({}, {
             get(target, relationName) {
@@ -664,7 +672,7 @@ export function createSchemaBox(schemas, resolver) {
                 if (!field?.config?.sql?.schema)
                     return undefined;
                 const targetSchema = field.config.sql.schema();
-                const targetTable = targetSchema?._tableName; // Now just a simple string!
+                const targetTable = targetSchema?._tableName;
                 if (targetTable && registry[targetTable]) {
                     return createNavProxy(targetTable, registry);
                 }
@@ -672,19 +680,88 @@ export function createSchemaBox(schemas, resolver) {
             },
         });
     };
-    // Build the final registry
-    for (const tableName in resolvedSchemas) {
-        const zodSchemas = createSchema(resolvedSchemas[tableName]);
-        finalRegistry[tableName] = {
-            rawSchema: resolvedSchemas[tableName],
-            zodSchemas: zodSchemas,
-            test: schemas,
-            nav: null, // Will be set after all entries are created
+    const cleanerRegistry = {};
+    for (const tableName in finalRegistry) {
+        const entry = finalRegistry[tableName];
+        cleanerRegistry[tableName] = {
+            definition: entry.rawSchema,
+            schemas: {
+                sql: entry.zodSchemas.sqlSchema,
+                client: entry.zodSchemas.clientSchema,
+                validation: entry.zodSchemas.validationSchema,
+            },
+            transforms: {
+                toClient: entry.zodSchemas.toClient,
+                toDb: entry.zodSchemas.toDb,
+            },
+            defaults: entry.zodSchemas.defaultValues,
+            nav: createNavProxy(tableName, finalRegistry),
+            // Add this
+            RelationSelection: {},
+            createView: function (selection) {
+                const view = createViewObject(tableName, selection, finalRegistry);
+                const defaults = computeViewDefaults(tableName, selection, finalRegistry);
+                console.log("View defaults:", defaults); // ADD THIS
+                return {
+                    ...view,
+                    defaults: defaults,
+                };
+            },
         };
     }
-    // Now add navigation proxies
-    for (const tableName in finalRegistry) {
-        finalRegistry[tableName].nav = createNavProxy(tableName, finalRegistry);
+    return cleanerRegistry;
+}
+function computeViewDefaults(tableName, selection, registry, visited = new Set()) {
+    if (visited.has(tableName)) {
+        return undefined; // Prevent circular references
+    }
+    visited.add(tableName);
+    const entry = registry[tableName];
+    const rawSchema = entry.rawSchema;
+    const baseDefaults = { ...entry.zodSchemas.defaultValues };
+    if (selection === true || typeof selection !== "object") {
+        return baseDefaults;
+    }
+    // Add relation defaults based on selection
+    for (const key in selection) {
+        if (!selection[key])
+            continue;
+        const field = rawSchema[key];
+        if (!field?.config?.sql?.schema)
+            continue;
+        const relationConfig = field.config.sql;
+        const targetTable = relationConfig.schema()._tableName;
+        // ----- FIX IS HERE -----
+        // Look for the defaultConfig on the nested relationConfig object.
+        const defaultConfig = relationConfig.defaultConfig;
+        // Handle different default configurations
+        if (defaultConfig === undefined) {
+            // Don't include in defaults
+            delete baseDefaults[key];
+        }
+        else if (defaultConfig === null) {
+            baseDefaults[key] = null;
+        }
+        else if (Array.isArray(defaultConfig)) {
+            baseDefaults[key] = [];
+        }
+        else if (defaultConfig === true) {
+            // Generate based on nested selection
+            if (relationConfig.type === "hasMany" ||
+                relationConfig.type === "manyToMany") {
+                const count = relationConfig.defaultCount || 1;
+                baseDefaults[key] = Array.from({ length: count }, () => computeViewDefaults(targetTable, selection[key], registry, new Set(visited)));
+            }
+            else {
+                baseDefaults[key] = computeViewDefaults(targetTable, selection[key], registry, new Set(visited));
+            }
+        }
+        else if (typeof defaultConfig === "object" && "count" in defaultConfig) {
+            baseDefaults[key] = Array.from({ length: defaultConfig.count }, () => computeViewDefaults(targetTable, selection[key], registry, new Set(visited)));
+        }
     }
-    return finalRegistry;
+    // NOTE: This was in the original code but is not needed for the recursive logic.
+    // It's safe to remove, but also safe to keep.
+    // visited.delete(tableName);
+    return baseDefaults;
 }

package/package.json

@@ -1,6 +1,6 @@
 {
     "name": "cogsbox-shape",
-    "version": "0.5.108",
+    "version": "0.5.110",
     "description": "A TypeScript library for creating type-safe database schemas with Zod validation, SQL type definitions, and automatic client/server transformations. Unifies client, server, and database types through a single schema definition, with built-in support for relationships and serialization.",
     "main": "dist/index.js",
     "types": "dist/index.d.ts",