@zenstackhq/orm 3.7.2 → 3.8.0-beta.2

package/dist/index.d.cts

@@ -607,6 +607,17 @@ type QueryOptions<Schema extends SchemaDef> = {
    */
   slicing?: SlicingOptions<Schema>;
 };
+/**
+ * Projects a (typically inferred) client options type down to only the members that influence
+ * ORM typing - the {@link QueryOptions} fields (`omit`, `allowQueryTimeOmitOverride`, `slicing`).
+ *
+ * The full options object inferred at `new ZenStackClient(...)` carries heavy function types for
+ * `computedFields` and `procedures`. Those are never read by the model/operation types, but if the
+ * raw options type is fanned out across every model's `ModelOperations` instantiation (30+ for a
+ * typical schema) it inflates type checking dramatically. Projecting to the query-relevant subset
+ * before the fan-out keeps the per-model types cheap while preserving full options on `$options`.
+ */
+type QueryRelevantOptions<Schema extends SchemaDef, Options> = Pick<Options, Extract<keyof Options, keyof QueryOptions<Schema>>>;
 /**
  * ZenStack client options.
  */
@@ -1660,7 +1671,7 @@ type SelectSubset<T, U> = { [key in keyof T]: key extends keyof U ? T[key] : nev
   select: any;
   omit: any;
 } ? 'Please either choose `select` or `omit`.' : {});
-type ToManyRelationFilter<Schema extends SchemaDef, Model extends GetModels<Schema>, Field extends RelationFields<Schema, Model>, Options extends QueryOptions<Schema>> = {
+type ToManyRelationFilter<in out Schema extends SchemaDef, in out Model extends GetModels<Schema>, in out Field extends RelationFields<Schema, Model>, Options extends QueryOptions<Schema>> = {
   every?: WhereInput<Schema, RelationFieldType<Schema, Model, Field>, Options>;
   some?: WhereInput<Schema, RelationFieldType<Schema, Model, Field>, Options>;
   none?: WhereInput<Schema, RelationFieldType<Schema, Model, Field>, Options>;
@@ -1683,13 +1694,13 @@ type GetRelation<Schema extends SchemaDef, Model extends GetModels<Schema>, Fiel
 type OppositeRelation<Schema extends SchemaDef, Model extends GetModels<Schema>, Field extends GetModelFields<Schema, Model>, FT = FieldType<Schema, Model, Field>> = FT extends GetModels<Schema> ? GetRelation<Schema, Model, Field> extends RelationInfo ? GetRelation<Schema, Model, Field>['opposite'] extends GetModelFields<Schema, FT> ? Schema['models'][FT]['fields'][GetRelation<Schema, Model, Field>['opposite']]['relation'] : never : never : never;
 type OppositeRelationFields<Schema extends SchemaDef, Model extends GetModels<Schema>, Field extends GetModelFields<Schema, Model>, Opposite = OppositeRelation<Schema, Model, Field>> = Opposite extends RelationInfo ? (Opposite['fields'] extends readonly string[] ? Opposite['fields'] : []) : [];
 type OppositeRelationAndFK<Schema extends SchemaDef, Model extends GetModels<Schema>, Field extends GetModelFields<Schema, Model>, FT = FieldType<Schema, Model, Field>, Relation = GetModelField<Schema, Model, Field>['relation'], Opposite = (Relation extends RelationInfo ? Relation['opposite'] : never)> = FT extends GetModels<Schema> ? Opposite extends GetModelFields<Schema, FT> ? Opposite | OppositeRelationFields<Schema, Model, Field>[number] : never : never;
-type FilterArgs<Schema extends SchemaDef, Model extends GetModels<Schema>, Options extends QueryOptions<Schema>> = {
+type FilterArgs<in out Schema extends SchemaDef, in out Model extends GetModels<Schema>, in out Options extends QueryOptions<Schema>> = {
   /**
    * Filter conditions
    */
   where?: WhereInput<Schema, Model, Options>;
 };
-type SortAndTakeArgs<Schema extends SchemaDef, Model extends GetModels<Schema>, Options extends QueryOptions<Schema>> = {
+type SortAndTakeArgs<in out Schema extends SchemaDef, in out Model extends GetModels<Schema>, in out Options extends QueryOptions<Schema>> = {
   /**
    * Number of records to skip
    */
@@ -1799,7 +1810,7 @@ type UpdateArgs<Schema extends SchemaDef, Model extends GetModels<Schema>, Optio
 } & SelectIncludeOmit<Schema, Model, true, Options, true, ExtResult> & ExtractExtQueryArgs<ExtQueryArgs, 'update'>;
 type UpdateManyArgs<Schema extends SchemaDef, Model extends GetModels<Schema>, Options extends QueryOptions<Schema> = QueryOptions<Schema>, ExtQueryArgs extends ExtQueryArgsBase = {}> = UpdateManyPayload<Schema, Model, Options> & ExtractExtQueryArgs<ExtQueryArgs, 'updateMany'>;
 type UpdateManyAndReturnArgs<Schema extends SchemaDef, Model extends GetModels<Schema>, Options extends QueryOptions<Schema> = QueryOptions<Schema>, ExtQueryArgs extends ExtQueryArgsBase = {}, ExtResult extends ExtResultBase<Schema> = {}> = UpdateManyPayload<Schema, Model, Options> & SelectIncludeOmit<Schema, Model, false, Options, false, ExtResult> & ExtractExtQueryArgs<ExtQueryArgs, 'updateManyAndReturn'>;
-type UpdateManyPayload<Schema extends SchemaDef, Model extends GetModels<Schema>, Options extends QueryOptions<Schema> = QueryOptions<Schema>, Without extends string = never> = {
+type UpdateManyPayload<in out Schema extends SchemaDef, in out Model extends GetModels<Schema>, out Options extends QueryOptions<Schema> = QueryOptions<Schema>, Without extends string = never> = {
   /**
    * The data to update the records with.
    */
@@ -1920,7 +1931,7 @@ type ToManyRelationUpdateInput<Schema extends SchemaDef, Model extends GetModels
    */
   set?: SetRelationInput<Schema, Model, Field, Options>;
 }, RelationModelAllowsCreate<Schema, Model, Field> extends true ? never : 'create' | 'createMany' | 'connectOrCreate' | 'upsert'>;
-type ToOneRelationUpdateInput<Schema extends SchemaDef, Model extends GetModels<Schema>, Field extends RelationFields<Schema, Model>, Options extends QueryOptions<Schema>> = Omit<{
+type ToOneRelationUpdateInput<in out Schema extends SchemaDef, in out Model extends GetModels<Schema>, in out Field extends RelationFields<Schema, Model>, in out Options extends QueryOptions<Schema>> = Omit<{
   /**
    * Creates a related record.
    */
@@ -2059,7 +2070,7 @@ type AggregateResult<Schema extends SchemaDef, _Model extends GetModels<Schema>,
   _max: AggCommonOutput<Max>;
 } : {});
 type AggCommonOutput<Input> = Input extends true ? number : Input extends {} ? { [Key in keyof Input]: number } : never;
-type GroupByHaving<Schema extends SchemaDef, Model extends GetModels<Schema>, Options extends QueryOptions<Schema> = QueryOptions<Schema>> = Omit<WhereInput<Schema, Model, Options, true, true>, '$expr'>;
+type GroupByHaving<in out Schema extends SchemaDef, in out Model extends GetModels<Schema>, out Options extends QueryOptions<Schema> = QueryOptions<Schema>> = Omit<WhereInput<Schema, Model, Options, true, true>, '$expr'>;
 type GroupByArgs<Schema extends SchemaDef, Model extends GetModels<Schema>, Options extends QueryOptions<Schema> = QueryOptions<Schema>, ExtQueryArgs extends ExtQueryArgsBase = {}> = {
   /**
    * Filter conditions
@@ -2407,6 +2418,10 @@ declare const ExtQueryArgsMarker: unique symbol;
 declare const ExtResultMarker: unique symbol;
 /**
  * ZenStack client interface.
+ *
+ * Note: this alias resolves to an intersection, so it cannot carry variance annotations itself
+ * (TS2637). It doesn't need them - measuring its variance recurses into {@link ModelOperations},
+ * whose annotations short-circuit the expensive cascade. See {@link CommonModelOperations}.
  */
 type ClientContract<Schema extends SchemaDef, Options extends ClientOptions<Schema> = ClientOptions<Schema>, ExtQueryArgs extends ExtQueryArgsBase = {}, ExtClientMembers extends ExtClientMembersBase = {}, ExtResult extends ExtResultBase<Schema> = {}> = {
   /**
@@ -2549,7 +2564,7 @@ type ClientContract<Schema extends SchemaDef, Options extends ClientOptions<Sche
   /**
    * Factory for creating zod schemas to validate query args.
    */
-  get $zod(): ZodSchemaFactory<Schema, Options, ExtQueryArgs>;
+  get $zod(): ZodSchemaFactory<Schema, QueryRelevantOptions<Schema, Options>, ExtQueryArgs>;
   /**
    * Pushes the schema to the database. For testing purposes only.
    * @private
@@ -2559,7 +2574,7 @@ type ClientContract<Schema extends SchemaDef, Options extends ClientOptions<Sche
    * Returns diagnostics information such as cache and slow query statistics.
    */
   get $diagnostics(): Promise<Diagnostics>;
-} & { [Key in GetSlicedModels<Schema, Options> as Uncapitalize<Key>]: ModelOperations<Schema, Key, Options, ExtQueryArgs, ExtResult> } & ProcedureOperations<Schema, Options> & ExtClientMembers;
+} & { [Key in GetSlicedModels<Schema, QueryRelevantOptions<Schema, Options>> as Uncapitalize<Key>]: ModelOperations<Schema, Key, QueryRelevantOptions<Schema, Options>, ExtQueryArgs, ExtResult> } & ProcedureOperations<Schema, Options> & ExtClientMembers;
 /**
  * The contract for a client in a transaction.
  */
@@ -2592,7 +2607,7 @@ declare const CRUD: readonly ["create", "read", "update", "delete"];
  * Extended CRUD operations including 'post-update'.
  */
 declare const CRUD_EXT: readonly ["create", "read", "update", "delete", "post-update"];
-type SliceOperations<T extends Record<string, unknown>, Schema extends SchemaDef, Model extends GetModels<Schema>, Options extends ClientOptions<Schema>> = Omit<{ [Key in keyof T as Key extends GetSlicedOperations<Schema, Model, Options> ? Key : never]: T[Key] }, ModelAllowsCreate<Schema, Model> extends true ? never : OperationsRequiringCreate>;
+type SliceOperations<T extends Record<string, unknown>, Schema extends SchemaDef, Model extends GetModels<Schema>, Options extends QueryOptions<Schema>> = Omit<{ [Key in keyof T as Key extends GetSlicedOperations<Schema, Model, Options> ? Key : never]: T[Key] }, ModelAllowsCreate<Schema, Model> extends true ? never : OperationsRequiringCreate>;
 type AllModelOperations<Schema extends SchemaDef, Model extends GetModels<Schema>, Options extends QueryOptions<Schema>, ExtQueryArgs extends ExtQueryArgsBase, ExtResult extends ExtResultBase<Schema> = {}> = CommonModelOperations<Schema, Model, Options, ExtQueryArgs, ExtResult> & (Schema['provider']['type'] extends 'mysql' ? {} : {
   /**
    * Creates multiple entities and returns them.
@@ -2637,7 +2652,7 @@ type AllModelOperations<Schema extends SchemaDef, Model extends GetModels<Schema
    */
   updateManyAndReturn<T extends CrudArgsType<Schema, Model, 'updateManyAndReturn', Options, ExtQueryArgs, ExtResult>>(args: Subset<T, CrudArgsType<Schema, Model, 'updateManyAndReturn', Options, ExtQueryArgs, ExtResult>>): ZenStackPromise<CrudReturnType<Schema, Model, 'updateManyAndReturn', T, Options, ExtResult>>;
 });
-type CommonModelOperations<Schema extends SchemaDef, Model extends GetModels<Schema>, Options extends QueryOptions<Schema>, ExtQueryArgs extends ExtQueryArgsBase, ExtResult extends ExtResultBase<Schema> = {}> = {
+type CommonModelOperations<in out Schema extends SchemaDef, in out Model extends GetModels<Schema>, in out Options extends QueryOptions<Schema>, in out ExtQueryArgs extends ExtQueryArgsBase, out ExtResult extends ExtResultBase<Schema> = {}> = {
   /**
    * Returns a list of entities.
    * @param args - query args
@@ -3118,7 +3133,7 @@ type CommonModelOperations<Schema extends SchemaDef, Model extends GetModels<Sch
   exists<T extends CrudArgsType<Schema, Model, 'exists', Options, ExtQueryArgs, ExtResult>>(args?: Subset<T, CrudArgsType<Schema, Model, 'exists', Options, ExtQueryArgs, ExtResult>>): ZenStackPromise<CrudReturnType<Schema, Model, 'exists', T, Options, ExtResult>>;
 };
 type OperationsRequiringCreate = 'create' | 'createMany' | 'createManyAndReturn' | 'upsert';
-type ModelOperations<Schema extends SchemaDef, Model extends GetModels<Schema>, Options extends ClientOptions<Schema> = ClientOptions<Schema>, ExtQueryArgs extends ExtQueryArgsBase = {}, ExtResult extends ExtResultBase<Schema> = {}> = SliceOperations<AllModelOperations<Schema, Model, Options, ExtQueryArgs, ExtResult>, Schema, Model, Options>;
+type ModelOperations<in out Schema extends SchemaDef, in out Model extends GetModels<Schema>, in out Options extends QueryOptions<Schema> = ClientOptions<Schema>, in out ExtQueryArgs extends ExtQueryArgsBase = {}, out ExtResult extends ExtResultBase<Schema> = {}> = SliceOperations<AllModelOperations<Schema, Model, Options, ExtQueryArgs, ExtResult>, Schema, Model, Options>;
 /**
  * Type for auth context that includes both scalar and relation fields.
  * Relations are recursively included to allow nested auth data like { user: { profile: { ... } } }
@@ -3151,14 +3166,14 @@ type CreateSchemaOptions = {
 /**
  * Factory class responsible for creating and caching Zod schemas for ORM input validation.
  */
-declare class ZodSchemaFactory<Schema extends SchemaDef, Options extends ClientOptions<Schema> = ClientOptions<Schema>, ExtQueryArgs extends ExtQueryArgsBase = {}> {
+declare class ZodSchemaFactory<in out Schema extends SchemaDef, in out Options extends QueryOptions<Schema> = ClientOptions<Schema>, ExtQueryArgs extends ExtQueryArgsBase = {}> {
   private readonly schemaCache;
   private readonly schemaRegistry;
   private readonly allFilterKinds;
   private readonly schema;
   private readonly options;
   private readonly extraValidationsEnabled;
-  constructor(client: ClientContract<Schema, Options, ExtQueryArgs, any>);
+  constructor(client: ClientContract<Schema, any, ExtQueryArgs, any>);
   constructor(schema: Schema, options?: Options);
   private get plugins();
   /**
@@ -3511,5 +3526,5 @@ declare class MatchingExpressionVisitor extends ExpressionVisitor {
   };
 }
 //#endregion
-export { AfterEntityMutationCallback, AggregateArgs, AggregateResult, AllCrudOperations, AllModelOperations, AllReadOperations, AllWriteOperations, AnyNull, AnyNullClass, AnyPlugin, AuthType, BaseCrudDialect, BatchResult, BeforeEntityMutationCallback, BooleanFilter, BytesFilter, CRUD, CRUD_EXT, CheckedCreateInput, CheckedUpdateInput, ClientConstructor, ClientContract, ClientOptions, ComputedFieldsOptions, CoreCreateOperations, CoreCrudOperations, CoreDeleteOperations, CoreReadOperations, CoreUpdateOperations, CoreWriteOperations, CountArgs, CountResult, CreateArgs, CreateInput, CreateManyAndReturnArgs, CreateManyArgs, CreateManyInput, CrudArgsMap, CrudArgsType, CrudReturnMap, CrudReturnType, DateTimeFilter, DbNull, DbNullClass, DefaultModelResult, DeleteArgs, DeleteManyArgs, EntityMutationHooksDef, ExistsArgs, ExtClientMembersBase, ExtQueryArgsBase, ExtQueryArgsMarker, ExtResultBase, ExtResultInferenceArgs, ExtResultMarker, ExtResultSelectOmitFields, ExtractExtResult, FilterKind, FindArgs, FindFirstArgs, FindManyArgs, FindUniqueArgs, FtsRelevanceOrderBy, FullTextFilterPayload, FuzzyFilterPayload, FuzzyRelevanceOrderBy, GetAllIncludedOperations, GetIncludedOperations, GetProcedure, GetProcedureNames, GetProcedureParams, GetQueryOptions, GetSlicedFilterKindsForField, GetSlicedModels, GetSlicedOperations, GetSlicedProcedures, GroupByArgs, GroupByResult, HasComputedFields, HasProcedures, IncludeInput, InputValidator, JsonArray, JsonFilter, JsonNull, JsonNullClass, JsonNullValues, JsonObject, JsonValue, kysely_utils_d_exports as KyselyUtils, MapModelFieldType, ModelAllowsCreate, ModelHasRequiredUnsupportedField, ModelOperations, ModelResult, ModelSlicingOptions, NullsOrder, NumberFilter, ORMError, ORMErrorReason, OmitConfig, OmitInput, OnKyselyQueryArgs, OnKyselyQueryCallback, OnProcedureHookContext, OperationsRequiringCreate, OrderBy, PluginAfterEntityMutationArgs, PluginBeforeEntityMutationArgs, ProcedureEnvelope, ProcedureFunc, ProcedureHandlerFunc, ProcedureOperations, ProceduresOptions, ProceedKyselyQueryFunction, QueryOptions, query_utils_d_exports as QueryUtils, RejectedByPolicyReason, RuntimePlugin, schema_utils_d_exports as SchemaUtils, SelectAwareExtResult, SelectIncludeOmit, SelectInput, SelectSubset, SimplifiedPlainResult, SimplifiedResult, SlicingOptions, SortOrder, StringFilter, Subset, type ToKysely, TransactionClientContract, TransactionIsolationLevel, TypeDefResult, TypedJsonFilter, UncheckedCreateInput, UncheckedUpdateInput, UpdateArgs, UpdateInput, UpdateManyAndReturnArgs, UpdateManyArgs, UpsertArgs, WhereInput, WhereUniqueInput, ZModelFunction, ZModelFunctionContext, ZenStackClient, type ZenStackPromise, type ZodSchemaFactory, createQuerySchemaFactory, definePlugin, getCrudDialect };
+export { AfterEntityMutationCallback, AggregateArgs, AggregateResult, AllCrudOperations, AllModelOperations, AllReadOperations, AllWriteOperations, AnyNull, AnyNullClass, AnyPlugin, AuthType, BaseCrudDialect, BatchResult, BeforeEntityMutationCallback, BooleanFilter, BytesFilter, CRUD, CRUD_EXT, CheckedCreateInput, CheckedUpdateInput, ClientConstructor, ClientContract, ClientOptions, ComputedFieldsOptions, CoreCreateOperations, CoreCrudOperations, CoreDeleteOperations, CoreReadOperations, CoreUpdateOperations, CoreWriteOperations, CountArgs, CountResult, CreateArgs, CreateInput, CreateManyAndReturnArgs, CreateManyArgs, CreateManyInput, CrudArgsMap, CrudArgsType, CrudReturnMap, CrudReturnType, DateTimeFilter, DbNull, DbNullClass, DefaultModelResult, DeleteArgs, DeleteManyArgs, EntityMutationHooksDef, ExistsArgs, ExtClientMembersBase, ExtQueryArgsBase, ExtQueryArgsMarker, ExtResultBase, ExtResultInferenceArgs, ExtResultMarker, ExtResultSelectOmitFields, ExtractExtResult, FilterKind, FindArgs, FindFirstArgs, FindManyArgs, FindUniqueArgs, FtsRelevanceOrderBy, FullTextFilterPayload, FuzzyFilterPayload, FuzzyRelevanceOrderBy, GetAllIncludedOperations, GetIncludedOperations, GetProcedure, GetProcedureNames, GetProcedureParams, GetQueryOptions, GetSlicedFilterKindsForField, GetSlicedModels, GetSlicedOperations, GetSlicedProcedures, GroupByArgs, GroupByResult, HasComputedFields, HasProcedures, IncludeInput, InputValidator, JsonArray, JsonFilter, JsonNull, JsonNullClass, JsonNullValues, JsonObject, JsonValue, kysely_utils_d_exports as KyselyUtils, MapModelFieldType, ModelAllowsCreate, ModelHasRequiredUnsupportedField, ModelOperations, ModelResult, ModelSlicingOptions, NullsOrder, NumberFilter, ORMError, ORMErrorReason, OmitConfig, OmitInput, OnKyselyQueryArgs, OnKyselyQueryCallback, OnProcedureHookContext, OperationsRequiringCreate, OrderBy, PluginAfterEntityMutationArgs, PluginBeforeEntityMutationArgs, ProcedureEnvelope, ProcedureFunc, ProcedureHandlerFunc, ProcedureOperations, ProceduresOptions, ProceedKyselyQueryFunction, QueryOptions, QueryRelevantOptions, query_utils_d_exports as QueryUtils, RejectedByPolicyReason, RuntimePlugin, schema_utils_d_exports as SchemaUtils, SelectAwareExtResult, SelectIncludeOmit, SelectInput, SelectSubset, SimplifiedPlainResult, SimplifiedResult, SlicingOptions, SortOrder, StringFilter, Subset, type ToKysely, TransactionClientContract, TransactionIsolationLevel, TypeDefResult, TypedJsonFilter, UncheckedCreateInput, UncheckedUpdateInput, UpdateArgs, UpdateInput, UpdateManyAndReturnArgs, UpdateManyArgs, UpsertArgs, WhereInput, WhereUniqueInput, ZModelFunction, ZModelFunctionContext, ZenStackClient, type ZenStackPromise, type ZodSchemaFactory, createQuerySchemaFactory, definePlugin, getCrudDialect };
 //# sourceMappingURL=index.d.cts.map

package/dist/index.d.mts

@@ -607,6 +607,17 @@ type QueryOptions<Schema extends SchemaDef> = {
    */
   slicing?: SlicingOptions<Schema>;
 };
+/**
+ * Projects a (typically inferred) client options type down to only the members that influence
+ * ORM typing - the {@link QueryOptions} fields (`omit`, `allowQueryTimeOmitOverride`, `slicing`).
+ *
+ * The full options object inferred at `new ZenStackClient(...)` carries heavy function types for
+ * `computedFields` and `procedures`. Those are never read by the model/operation types, but if the
+ * raw options type is fanned out across every model's `ModelOperations` instantiation (30+ for a
+ * typical schema) it inflates type checking dramatically. Projecting to the query-relevant subset
+ * before the fan-out keeps the per-model types cheap while preserving full options on `$options`.
+ */
+type QueryRelevantOptions<Schema extends SchemaDef, Options> = Pick<Options, Extract<keyof Options, keyof QueryOptions<Schema>>>;
 /**
  * ZenStack client options.
  */
@@ -1660,7 +1671,7 @@ type SelectSubset<T, U> = { [key in keyof T]: key extends keyof U ? T[key] : nev
   select: any;
   omit: any;
 } ? 'Please either choose `select` or `omit`.' : {});
-type ToManyRelationFilter<Schema extends SchemaDef, Model extends GetModels<Schema>, Field extends RelationFields<Schema, Model>, Options extends QueryOptions<Schema>> = {
+type ToManyRelationFilter<in out Schema extends SchemaDef, in out Model extends GetModels<Schema>, in out Field extends RelationFields<Schema, Model>, Options extends QueryOptions<Schema>> = {
   every?: WhereInput<Schema, RelationFieldType<Schema, Model, Field>, Options>;
   some?: WhereInput<Schema, RelationFieldType<Schema, Model, Field>, Options>;
   none?: WhereInput<Schema, RelationFieldType<Schema, Model, Field>, Options>;
@@ -1683,13 +1694,13 @@ type GetRelation<Schema extends SchemaDef, Model extends GetModels<Schema>, Fiel
 type OppositeRelation<Schema extends SchemaDef, Model extends GetModels<Schema>, Field extends GetModelFields<Schema, Model>, FT = FieldType<Schema, Model, Field>> = FT extends GetModels<Schema> ? GetRelation<Schema, Model, Field> extends RelationInfo ? GetRelation<Schema, Model, Field>['opposite'] extends GetModelFields<Schema, FT> ? Schema['models'][FT]['fields'][GetRelation<Schema, Model, Field>['opposite']]['relation'] : never : never : never;
 type OppositeRelationFields<Schema extends SchemaDef, Model extends GetModels<Schema>, Field extends GetModelFields<Schema, Model>, Opposite = OppositeRelation<Schema, Model, Field>> = Opposite extends RelationInfo ? (Opposite['fields'] extends readonly string[] ? Opposite['fields'] : []) : [];
 type OppositeRelationAndFK<Schema extends SchemaDef, Model extends GetModels<Schema>, Field extends GetModelFields<Schema, Model>, FT = FieldType<Schema, Model, Field>, Relation = GetModelField<Schema, Model, Field>['relation'], Opposite = (Relation extends RelationInfo ? Relation['opposite'] : never)> = FT extends GetModels<Schema> ? Opposite extends GetModelFields<Schema, FT> ? Opposite | OppositeRelationFields<Schema, Model, Field>[number] : never : never;
-type FilterArgs<Schema extends SchemaDef, Model extends GetModels<Schema>, Options extends QueryOptions<Schema>> = {
+type FilterArgs<in out Schema extends SchemaDef, in out Model extends GetModels<Schema>, in out Options extends QueryOptions<Schema>> = {
   /**
    * Filter conditions
    */
   where?: WhereInput<Schema, Model, Options>;
 };
-type SortAndTakeArgs<Schema extends SchemaDef, Model extends GetModels<Schema>, Options extends QueryOptions<Schema>> = {
+type SortAndTakeArgs<in out Schema extends SchemaDef, in out Model extends GetModels<Schema>, in out Options extends QueryOptions<Schema>> = {
   /**
    * Number of records to skip
    */
@@ -1799,7 +1810,7 @@ type UpdateArgs<Schema extends SchemaDef, Model extends GetModels<Schema>, Optio
 } & SelectIncludeOmit<Schema, Model, true, Options, true, ExtResult> & ExtractExtQueryArgs<ExtQueryArgs, 'update'>;
 type UpdateManyArgs<Schema extends SchemaDef, Model extends GetModels<Schema>, Options extends QueryOptions<Schema> = QueryOptions<Schema>, ExtQueryArgs extends ExtQueryArgsBase = {}> = UpdateManyPayload<Schema, Model, Options> & ExtractExtQueryArgs<ExtQueryArgs, 'updateMany'>;
 type UpdateManyAndReturnArgs<Schema extends SchemaDef, Model extends GetModels<Schema>, Options extends QueryOptions<Schema> = QueryOptions<Schema>, ExtQueryArgs extends ExtQueryArgsBase = {}, ExtResult extends ExtResultBase<Schema> = {}> = UpdateManyPayload<Schema, Model, Options> & SelectIncludeOmit<Schema, Model, false, Options, false, ExtResult> & ExtractExtQueryArgs<ExtQueryArgs, 'updateManyAndReturn'>;
-type UpdateManyPayload<Schema extends SchemaDef, Model extends GetModels<Schema>, Options extends QueryOptions<Schema> = QueryOptions<Schema>, Without extends string = never> = {
+type UpdateManyPayload<in out Schema extends SchemaDef, in out Model extends GetModels<Schema>, out Options extends QueryOptions<Schema> = QueryOptions<Schema>, Without extends string = never> = {
   /**
    * The data to update the records with.
    */
@@ -1920,7 +1931,7 @@ type ToManyRelationUpdateInput<Schema extends SchemaDef, Model extends GetModels
    */
   set?: SetRelationInput<Schema, Model, Field, Options>;
 }, RelationModelAllowsCreate<Schema, Model, Field> extends true ? never : 'create' | 'createMany' | 'connectOrCreate' | 'upsert'>;
-type ToOneRelationUpdateInput<Schema extends SchemaDef, Model extends GetModels<Schema>, Field extends RelationFields<Schema, Model>, Options extends QueryOptions<Schema>> = Omit<{
+type ToOneRelationUpdateInput<in out Schema extends SchemaDef, in out Model extends GetModels<Schema>, in out Field extends RelationFields<Schema, Model>, in out Options extends QueryOptions<Schema>> = Omit<{
   /**
    * Creates a related record.
    */
@@ -2059,7 +2070,7 @@ type AggregateResult<Schema extends SchemaDef, _Model extends GetModels<Schema>,
   _max: AggCommonOutput<Max>;
 } : {});
 type AggCommonOutput<Input> = Input extends true ? number : Input extends {} ? { [Key in keyof Input]: number } : never;
-type GroupByHaving<Schema extends SchemaDef, Model extends GetModels<Schema>, Options extends QueryOptions<Schema> = QueryOptions<Schema>> = Omit<WhereInput<Schema, Model, Options, true, true>, '$expr'>;
+type GroupByHaving<in out Schema extends SchemaDef, in out Model extends GetModels<Schema>, out Options extends QueryOptions<Schema> = QueryOptions<Schema>> = Omit<WhereInput<Schema, Model, Options, true, true>, '$expr'>;
 type GroupByArgs<Schema extends SchemaDef, Model extends GetModels<Schema>, Options extends QueryOptions<Schema> = QueryOptions<Schema>, ExtQueryArgs extends ExtQueryArgsBase = {}> = {
   /**
    * Filter conditions
@@ -2407,6 +2418,10 @@ declare const ExtQueryArgsMarker: unique symbol;
 declare const ExtResultMarker: unique symbol;
 /**
  * ZenStack client interface.
+ *
+ * Note: this alias resolves to an intersection, so it cannot carry variance annotations itself
+ * (TS2637). It doesn't need them - measuring its variance recurses into {@link ModelOperations},
+ * whose annotations short-circuit the expensive cascade. See {@link CommonModelOperations}.
  */
 type ClientContract<Schema extends SchemaDef, Options extends ClientOptions<Schema> = ClientOptions<Schema>, ExtQueryArgs extends ExtQueryArgsBase = {}, ExtClientMembers extends ExtClientMembersBase = {}, ExtResult extends ExtResultBase<Schema> = {}> = {
   /**
@@ -2549,7 +2564,7 @@ type ClientContract<Schema extends SchemaDef, Options extends ClientOptions<Sche
   /**
    * Factory for creating zod schemas to validate query args.
    */
-  get $zod(): ZodSchemaFactory<Schema, Options, ExtQueryArgs>;
+  get $zod(): ZodSchemaFactory<Schema, QueryRelevantOptions<Schema, Options>, ExtQueryArgs>;
   /**
    * Pushes the schema to the database. For testing purposes only.
    * @private
@@ -2559,7 +2574,7 @@ type ClientContract<Schema extends SchemaDef, Options extends ClientOptions<Sche
    * Returns diagnostics information such as cache and slow query statistics.
    */
   get $diagnostics(): Promise<Diagnostics>;
-} & { [Key in GetSlicedModels<Schema, Options> as Uncapitalize<Key>]: ModelOperations<Schema, Key, Options, ExtQueryArgs, ExtResult> } & ProcedureOperations<Schema, Options> & ExtClientMembers;
+} & { [Key in GetSlicedModels<Schema, QueryRelevantOptions<Schema, Options>> as Uncapitalize<Key>]: ModelOperations<Schema, Key, QueryRelevantOptions<Schema, Options>, ExtQueryArgs, ExtResult> } & ProcedureOperations<Schema, Options> & ExtClientMembers;
 /**
  * The contract for a client in a transaction.
  */
@@ -2592,7 +2607,7 @@ declare const CRUD: readonly ["create", "read", "update", "delete"];
  * Extended CRUD operations including 'post-update'.
  */
 declare const CRUD_EXT: readonly ["create", "read", "update", "delete", "post-update"];
-type SliceOperations<T extends Record<string, unknown>, Schema extends SchemaDef, Model extends GetModels<Schema>, Options extends ClientOptions<Schema>> = Omit<{ [Key in keyof T as Key extends GetSlicedOperations<Schema, Model, Options> ? Key : never]: T[Key] }, ModelAllowsCreate<Schema, Model> extends true ? never : OperationsRequiringCreate>;
+type SliceOperations<T extends Record<string, unknown>, Schema extends SchemaDef, Model extends GetModels<Schema>, Options extends QueryOptions<Schema>> = Omit<{ [Key in keyof T as Key extends GetSlicedOperations<Schema, Model, Options> ? Key : never]: T[Key] }, ModelAllowsCreate<Schema, Model> extends true ? never : OperationsRequiringCreate>;
 type AllModelOperations<Schema extends SchemaDef, Model extends GetModels<Schema>, Options extends QueryOptions<Schema>, ExtQueryArgs extends ExtQueryArgsBase, ExtResult extends ExtResultBase<Schema> = {}> = CommonModelOperations<Schema, Model, Options, ExtQueryArgs, ExtResult> & (Schema['provider']['type'] extends 'mysql' ? {} : {
   /**
    * Creates multiple entities and returns them.
@@ -2637,7 +2652,7 @@ type AllModelOperations<Schema extends SchemaDef, Model extends GetModels<Schema
    */
   updateManyAndReturn<T extends CrudArgsType<Schema, Model, 'updateManyAndReturn', Options, ExtQueryArgs, ExtResult>>(args: Subset<T, CrudArgsType<Schema, Model, 'updateManyAndReturn', Options, ExtQueryArgs, ExtResult>>): ZenStackPromise<CrudReturnType<Schema, Model, 'updateManyAndReturn', T, Options, ExtResult>>;
 });
-type CommonModelOperations<Schema extends SchemaDef, Model extends GetModels<Schema>, Options extends QueryOptions<Schema>, ExtQueryArgs extends ExtQueryArgsBase, ExtResult extends ExtResultBase<Schema> = {}> = {
+type CommonModelOperations<in out Schema extends SchemaDef, in out Model extends GetModels<Schema>, in out Options extends QueryOptions<Schema>, in out ExtQueryArgs extends ExtQueryArgsBase, out ExtResult extends ExtResultBase<Schema> = {}> = {
   /**
    * Returns a list of entities.
    * @param args - query args
@@ -3118,7 +3133,7 @@ type CommonModelOperations<Schema extends SchemaDef, Model extends GetModels<Sch
   exists<T extends CrudArgsType<Schema, Model, 'exists', Options, ExtQueryArgs, ExtResult>>(args?: Subset<T, CrudArgsType<Schema, Model, 'exists', Options, ExtQueryArgs, ExtResult>>): ZenStackPromise<CrudReturnType<Schema, Model, 'exists', T, Options, ExtResult>>;
 };
 type OperationsRequiringCreate = 'create' | 'createMany' | 'createManyAndReturn' | 'upsert';
-type ModelOperations<Schema extends SchemaDef, Model extends GetModels<Schema>, Options extends ClientOptions<Schema> = ClientOptions<Schema>, ExtQueryArgs extends ExtQueryArgsBase = {}, ExtResult extends ExtResultBase<Schema> = {}> = SliceOperations<AllModelOperations<Schema, Model, Options, ExtQueryArgs, ExtResult>, Schema, Model, Options>;
+type ModelOperations<in out Schema extends SchemaDef, in out Model extends GetModels<Schema>, in out Options extends QueryOptions<Schema> = ClientOptions<Schema>, in out ExtQueryArgs extends ExtQueryArgsBase = {}, out ExtResult extends ExtResultBase<Schema> = {}> = SliceOperations<AllModelOperations<Schema, Model, Options, ExtQueryArgs, ExtResult>, Schema, Model, Options>;
 /**
  * Type for auth context that includes both scalar and relation fields.
  * Relations are recursively included to allow nested auth data like { user: { profile: { ... } } }
@@ -3151,14 +3166,14 @@ type CreateSchemaOptions = {
 /**
  * Factory class responsible for creating and caching Zod schemas for ORM input validation.
  */
-declare class ZodSchemaFactory<Schema extends SchemaDef, Options extends ClientOptions<Schema> = ClientOptions<Schema>, ExtQueryArgs extends ExtQueryArgsBase = {}> {
+declare class ZodSchemaFactory<in out Schema extends SchemaDef, in out Options extends QueryOptions<Schema> = ClientOptions<Schema>, ExtQueryArgs extends ExtQueryArgsBase = {}> {
   private readonly schemaCache;
   private readonly schemaRegistry;
   private readonly allFilterKinds;
   private readonly schema;
   private readonly options;
   private readonly extraValidationsEnabled;
-  constructor(client: ClientContract<Schema, Options, ExtQueryArgs, any>);
+  constructor(client: ClientContract<Schema, any, ExtQueryArgs, any>);
   constructor(schema: Schema, options?: Options);
   private get plugins();
   /**
@@ -3511,5 +3526,5 @@ declare class MatchingExpressionVisitor extends ExpressionVisitor {
   };
 }
 //#endregion
-export { AfterEntityMutationCallback, AggregateArgs, AggregateResult, AllCrudOperations, AllModelOperations, AllReadOperations, AllWriteOperations, AnyNull, AnyNullClass, AnyPlugin, AuthType, BaseCrudDialect, BatchResult, BeforeEntityMutationCallback, BooleanFilter, BytesFilter, CRUD, CRUD_EXT, CheckedCreateInput, CheckedUpdateInput, ClientConstructor, ClientContract, ClientOptions, ComputedFieldsOptions, CoreCreateOperations, CoreCrudOperations, CoreDeleteOperations, CoreReadOperations, CoreUpdateOperations, CoreWriteOperations, CountArgs, CountResult, CreateArgs, CreateInput, CreateManyAndReturnArgs, CreateManyArgs, CreateManyInput, CrudArgsMap, CrudArgsType, CrudReturnMap, CrudReturnType, DateTimeFilter, DbNull, DbNullClass, DefaultModelResult, DeleteArgs, DeleteManyArgs, EntityMutationHooksDef, ExistsArgs, ExtClientMembersBase, ExtQueryArgsBase, ExtQueryArgsMarker, ExtResultBase, ExtResultInferenceArgs, ExtResultMarker, ExtResultSelectOmitFields, ExtractExtResult, FilterKind, FindArgs, FindFirstArgs, FindManyArgs, FindUniqueArgs, FtsRelevanceOrderBy, FullTextFilterPayload, FuzzyFilterPayload, FuzzyRelevanceOrderBy, GetAllIncludedOperations, GetIncludedOperations, GetProcedure, GetProcedureNames, GetProcedureParams, GetQueryOptions, GetSlicedFilterKindsForField, GetSlicedModels, GetSlicedOperations, GetSlicedProcedures, GroupByArgs, GroupByResult, HasComputedFields, HasProcedures, IncludeInput, InputValidator, JsonArray, JsonFilter, JsonNull, JsonNullClass, JsonNullValues, JsonObject, JsonValue, kysely_utils_d_exports as KyselyUtils, MapModelFieldType, ModelAllowsCreate, ModelHasRequiredUnsupportedField, ModelOperations, ModelResult, ModelSlicingOptions, NullsOrder, NumberFilter, ORMError, ORMErrorReason, OmitConfig, OmitInput, OnKyselyQueryArgs, OnKyselyQueryCallback, OnProcedureHookContext, OperationsRequiringCreate, OrderBy, PluginAfterEntityMutationArgs, PluginBeforeEntityMutationArgs, ProcedureEnvelope, ProcedureFunc, ProcedureHandlerFunc, ProcedureOperations, ProceduresOptions, ProceedKyselyQueryFunction, QueryOptions, query_utils_d_exports as QueryUtils, RejectedByPolicyReason, RuntimePlugin, schema_utils_d_exports as SchemaUtils, SelectAwareExtResult, SelectIncludeOmit, SelectInput, SelectSubset, SimplifiedPlainResult, SimplifiedResult, SlicingOptions, SortOrder, StringFilter, Subset, type ToKysely, TransactionClientContract, TransactionIsolationLevel, TypeDefResult, TypedJsonFilter, UncheckedCreateInput, UncheckedUpdateInput, UpdateArgs, UpdateInput, UpdateManyAndReturnArgs, UpdateManyArgs, UpsertArgs, WhereInput, WhereUniqueInput, ZModelFunction, ZModelFunctionContext, ZenStackClient, type ZenStackPromise, type ZodSchemaFactory, createQuerySchemaFactory, definePlugin, getCrudDialect };
+export { AfterEntityMutationCallback, AggregateArgs, AggregateResult, AllCrudOperations, AllModelOperations, AllReadOperations, AllWriteOperations, AnyNull, AnyNullClass, AnyPlugin, AuthType, BaseCrudDialect, BatchResult, BeforeEntityMutationCallback, BooleanFilter, BytesFilter, CRUD, CRUD_EXT, CheckedCreateInput, CheckedUpdateInput, ClientConstructor, ClientContract, ClientOptions, ComputedFieldsOptions, CoreCreateOperations, CoreCrudOperations, CoreDeleteOperations, CoreReadOperations, CoreUpdateOperations, CoreWriteOperations, CountArgs, CountResult, CreateArgs, CreateInput, CreateManyAndReturnArgs, CreateManyArgs, CreateManyInput, CrudArgsMap, CrudArgsType, CrudReturnMap, CrudReturnType, DateTimeFilter, DbNull, DbNullClass, DefaultModelResult, DeleteArgs, DeleteManyArgs, EntityMutationHooksDef, ExistsArgs, ExtClientMembersBase, ExtQueryArgsBase, ExtQueryArgsMarker, ExtResultBase, ExtResultInferenceArgs, ExtResultMarker, ExtResultSelectOmitFields, ExtractExtResult, FilterKind, FindArgs, FindFirstArgs, FindManyArgs, FindUniqueArgs, FtsRelevanceOrderBy, FullTextFilterPayload, FuzzyFilterPayload, FuzzyRelevanceOrderBy, GetAllIncludedOperations, GetIncludedOperations, GetProcedure, GetProcedureNames, GetProcedureParams, GetQueryOptions, GetSlicedFilterKindsForField, GetSlicedModels, GetSlicedOperations, GetSlicedProcedures, GroupByArgs, GroupByResult, HasComputedFields, HasProcedures, IncludeInput, InputValidator, JsonArray, JsonFilter, JsonNull, JsonNullClass, JsonNullValues, JsonObject, JsonValue, kysely_utils_d_exports as KyselyUtils, MapModelFieldType, ModelAllowsCreate, ModelHasRequiredUnsupportedField, ModelOperations, ModelResult, ModelSlicingOptions, NullsOrder, NumberFilter, ORMError, ORMErrorReason, OmitConfig, OmitInput, OnKyselyQueryArgs, OnKyselyQueryCallback, OnProcedureHookContext, OperationsRequiringCreate, OrderBy, PluginAfterEntityMutationArgs, PluginBeforeEntityMutationArgs, ProcedureEnvelope, ProcedureFunc, ProcedureHandlerFunc, ProcedureOperations, ProceduresOptions, ProceedKyselyQueryFunction, QueryOptions, QueryRelevantOptions, query_utils_d_exports as QueryUtils, RejectedByPolicyReason, RuntimePlugin, schema_utils_d_exports as SchemaUtils, SelectAwareExtResult, SelectIncludeOmit, SelectInput, SelectSubset, SimplifiedPlainResult, SimplifiedResult, SlicingOptions, SortOrder, StringFilter, Subset, type ToKysely, TransactionClientContract, TransactionIsolationLevel, TypeDefResult, TypedJsonFilter, UncheckedCreateInput, UncheckedUpdateInput, UpdateArgs, UpdateInput, UpdateManyAndReturnArgs, UpdateManyArgs, UpsertArgs, WhereInput, WhereUniqueInput, ZModelFunction, ZModelFunctionContext, ZenStackClient, type ZenStackPromise, type ZodSchemaFactory, createQuerySchemaFactory, definePlugin, getCrudDialect };
 //# sourceMappingURL=index.d.mts.map