vsrepo 1.2.6 → 1.2.8

package/{VSRepository → dist}/VSRepository.d.ts

@@ -1,907 +1,973 @@
-import { Prisma, PrismaClient } from '@vsrepo/prisma/types';
-import { Decimal, JsonValue } from '@prisma/client/runtime/client';
-
-type WidenField<T> = 
-    T extends bigint ? bigint | number :
-    T extends Date ? Date | string :
-    T extends Decimal ? Decimal | string | number :
-    T extends Array<infer U> ? WidenField<U>[] :
-    T extends readonly [infer U, infer V] ? [WidenField<U>, WidenField<V>] :
-    T;
-
-/**
- * Instância completa do Prisma Client usada para construir repositories.
- */
-export type DbClient = PrismaClient;
-
-/**
- * Cliente transacional do Prisma retornado por `prisma.$transaction`.
- */
-export type DbTransaction = Prisma.TransactionClient;
-
-/**
- * Aceita tanto o cliente principal do Prisma quanto um cliente de transação.
- */
-export type ClientOrTransaction = DbClient | DbTransaction;
-
-export * from './VSRepoError.js';
-
-type OrderPattern = {
-    [key: string]: 'asc' | 'desc' | { _count: 'asc' | 'desc' } | OrderPattern;
-};
-
-/**
- * Opções de paginação aceitas pelos métodos com sufixo `Paginated`.
- *
- * @template TCursor Tipo do cursor usado pelo modelo Prisma.
- */
-export type PaginationOptions<TCursor = unknown> = {
-    /** Quantidade de registros a ignorar. */
-    skip?: number;
-    /** Quantidade máxima de registros retornados. */
-    take?: number;
-    /** Cursor tipado para paginação baseada em posição. */
-    cursor?: TCursor;
-};
-
-/**
- * Ordenação aceita pelos métodos do repository.
- *
- * Pode ser uma única ordenação ou uma lista de ordenações encadeadas.
- */
-export type OrderOptions = OrderPattern | OrderPattern[];
-
-type ValidMethodPatterns =
-    | `existsBy${string}` | `findBy${string}` 
-    | `findUniqueBy${string}` | `findUniqueOrThrowBy${string}`
-    | `findFirstBy${string}` | `findFirst${string}` 
-    | `findFirstOrThrowBy${string}` | `findFirstOrThrow${string}`
-    | `findManyBy${string}` | `findMany${string}` 
-    | `createManyAndReturn${string}` | `createMany${string}`
-    | `create${string}` | `updateManyAndReturnBy${string}` | `updateManyBy${string}`
-    | `updateBy${string}` | `upsertBy${string}` | `deleteManyBy${string}`
-    | `deleteBy${string}` | `countBy${string}` | `count${string}` | `countWhere${string}`
-    | `findWhere${string}` | `findListWhere${string}`
-    | `existsWhere${string}` | `updateManyWhere${string}` | `deleteManyWhere${string}`
-    | `findOneWhere${string}` | `findOneBy${string}` | `updateManyAndReturnWhere${string}`
-    | 'aggregate' | 'groupBy';
-
-type StripModifier<S extends string> =
-  // Expansão explícita para resolver o problema do 'Insensitive'
-  S extends `${infer Base}NotStartsWithInsensitive` ? Base :
-  S extends `${infer Base}StartsWithInsensitive` ? Base :
-  S extends `${infer Base}NotEndsWithInsensitive` ? Base :
-  S extends `${infer Base}EndsWithInsensitive` ? Base :
-  S extends `${infer Base}NotContainsInsensitive` ? Base :
-  S extends `${infer Base}ContainsInsensitive` ? Base :
-  S extends `${infer Base}NotInInsensitive` ? Base :
-  S extends `${infer Base}InInsensitive` ? Base :
-  S extends `${infer Base}NotInsensitive` ? Base :
-  // Modificadores normais
-  S extends `${infer Base}NotStartsWith` ? Base :
-  S extends `${infer Base}StartsWith` ? Base :
-  S extends `${infer Base}NotEndsWith` ? Base :
-  S extends `${infer Base}EndsWith` ? Base :
-  S extends `${infer Base}NotContains` ? Base :
-  S extends `${infer Base}Contains` ? Base :
-  S extends `${infer Base}NotIn` ? Base :
-  S extends `${infer Base}In` ? Base :
-  S extends `${infer Base}NotBetween` ? Base :
-  S extends `${infer Base}Between` ? Base :
-  S extends `${infer Base}Not` ? Base :
-  S extends `${infer Base}LessThanEqual` ? Base :
-  S extends `${infer Base}LessThan` ? Base :
-  S extends `${infer Base}GreaterThanEqual` ? Base :
-  S extends `${infer Base}GreaterThan` ? Base :
-  S extends `${infer Base}Insensitive` ? Base :
-  S;
-
-type ExtractFieldName<S extends string> = Uncapitalize<StripModifier<S>>;
-
-type IsArrayFilter<S extends string> = S extends `${string}${'NotIn' | 'In'}` ? true : false;
-
-type IsBetweenFilter<S extends string> = S extends `${string}${'NotBetween' | 'Between'}` ? true : false;
-
-type ParseRelation<S extends string> =
-    S extends `${infer Rel}Without${infer Rest}` ? [Uncapitalize<Rel>, 'isNot', Rest] :
-    S extends `${infer Rel}With${infer Rest}` ? [Uncapitalize<Rel>, 'is', Rest] :
-    S extends `${infer Rel}Some${infer Rest}` ? [Uncapitalize<Rel>, 'some', Rest] :
-    S extends `${infer Rel}Every${infer Rest}` ? [Uncapitalize<Rel>, 'every', Rest] :
-    S extends `${infer Rel}None${infer Rest}` ? [Uncapitalize<Rel>, 'none', Rest] : null;
-
-type GetFieldType<T, S extends string, I> = WidenField<
-    ExtractFieldName<S> extends infer FieldName
-        ? FieldName extends keyof T
-            ? IsArrayFilter<S> extends true
-                ? T[FieldName][]
-                : IsBetweenFilter<S> extends true
-                  ? [NonNullable<T[FieldName]>, NonNullable<T[FieldName]>]
-                  : NonNullable<T[FieldName]> extends object | any[]
-                    ? I extends { whereInput: infer W }
-                        ? FieldName extends keyof NonNullable<W> ? Exclude<NonNullable<W>[FieldName], undefined> : T[FieldName]
-                        : T[FieldName]
-                    : T[FieldName]
-            : ParseRelation<S> extends [infer Rel extends keyof T, any, infer Rest extends string]
-                ? GetFieldType<NonNullable<T[Rel]> extends any[] ? NonNullable<T[Rel]>[number] : NonNullable<T[Rel]>, Rest, unknown>
-                : unknown
-        : unknown
->;
-
-type NoArgModifiers = 'IsNull' | 'IsNotNull' | 'IsTrue' | 'IsFalse' | 'None' | 'Some' | 'Every' | 'Without';
-
-type IsNoArgModifier<S extends string> = 
-    S extends `${string}${'StartsWith' | 'EndsWith'}` ? false :
-    S extends `${string}${NoArgModifiers | 'With'}` ? true : 
-    false;
-
-type IsOptional<S extends string> = S extends `${string}Optional` ? true : false;
-type StripOptional<S extends string> = S extends `${infer Base}Optional` ? Base : S;
-
-type MapToContractTypes<T, Arr extends string[], I> = 
-    Arr extends [infer First extends string, ...infer Rest extends string[]]
-        ? First extends '' 
-            ? MapToContractTypes<T, Rest, I>
-            : StripOptional<First> extends infer CleanFirst extends string
-                ? IsNoArgModifier<CleanFirst> extends true
-                    ? MapToContractTypes<T, Rest, I>
-                    : IsOptional<First> extends true
-                        ? [GetFieldType<T, CleanFirst, I> | undefined, ...MapToContractTypes<T, Rest, I>]
-                        : [GetFieldType<T, CleanFirst, I>, ...MapToContractTypes<T, Rest, I>]
-                : never
-        : [];
-
-type SplitAllTokens<S extends string> =
-    S extends `${infer L}AND${infer R}` ? [...SplitAllTokens<L>, ...SplitAllTokens<R>] :
-    S extends `${infer L}And${infer R}` ? [...SplitAllTokens<L>, ...SplitAllTokens<R>] :
-    S extends `${infer L}Or${infer R}` ? [...SplitAllTokens<L>, ...SplitAllTokens<R>] :
-    S extends '' ? [] :
-    [S];
-
-type ExtractFields<T, R extends string, I> =
-    R extends '' ? [] 
-    : FilterNonEmpty<MapToContractTypes<T, SplitAllTokens<R>, I>>;
-
-type FilterNonEmpty<T extends unknown[]> = 
-    T extends [infer First, ...infer Rest]
-        ? [First] extends ['']
-            ? FilterNonEmpty<Rest>
-            : [First, ...FilterNonEmpty<Rest>]
-        : [];
-
-type ResolveReturnType<M extends string, TSelected> =
-    M extends 'existsBy' | 'existsWhere' ? boolean :
-    M extends 'createMany' | 'updateManyBy' | 'deleteManyBy' | 'updateManyWhere' | 'deleteManyWhere' ? { count: number } :
-    M extends 'findMany' | 'createManyAndReturn' | 'updateManyAndReturnBy' | 'updateManyAndReturnWhere' | 'findListWhere' | 'findByList' ? TSelected[] :
-    M extends 'findUnique' | 'findFirst' | 'findWhere' | 'findByOne' | 'findOneBy' | 'findOneWhere' ? TSelected | null :
-    M extends 'findUniqueOrThrow' | 'findFirstOrThrow' | 'create' | 'updateBy' | 'upsertBy' | 'deleteBy' ? TSelected :
-    M extends 'count' | 'countWhere' ? number : never;
-
-type GetUpdateInput<I> = I extends { updateInput: infer U } ? U : unknown;
-type GetCreateInput<I> = I extends { createInput: infer C } ? C : unknown;
-type GetCreateManyInput<I> = I extends { createManyInput: infer CM } ? CM : unknown;
-type GetUpdateManyInput<I> = I extends { updateManyInput: infer UM } ? UM : unknown;
-type GetWhereInput<I> = I extends { whereInput: infer W } ? NonNullable<W> : unknown;
-type GetCursorInput<I> = I extends { cursorInput: infer C } ? C : unknown;
-type GetOrderByInput<I> = I extends { orderByInput: infer OB } ? OB : OrderOptions;
-
-type ExtraArgs<M extends string, R extends string, I> = [
-    ...(M extends 'upsertBy' ? [update: GetUpdateInput<I>, create: GetCreateInput<I>]
-      : M extends 'create' ? [data: GetCreateInput<I>]
-      : M extends 'updateBy' ? [data: GetUpdateInput<I>]
-      : M extends 'createMany' | 'createManyAndReturn' ? [data: GetCreateManyInput<I>]
-      : M extends 'updateManyBy' | 'updateManyAndReturnBy' ? [data: GetUpdateManyInput<I>]
-      : M extends 'findWhere' | 'findListWhere' | 'countWhere' | 'existsWhere' | 'deleteManyWhere' | 'findOneWhere' ? [where: GetWhereInput<I>]
-      : M extends 'updateManyWhere' | 'updateManyAndReturnWhere' ? [where: GetWhereInput<I>, data: GetUpdateManyInput<I>]
-      : []),
-    ...(R extends `${string}PaginatedAndOrdered` ? [pagination: PaginationOptions<GetCursorInput<I>>, order: GetOrderByInput<I>]
-      : R extends `${string}OrderedAndPaginated` ? [order: GetOrderByInput<I>, pagination: PaginationOptions<GetCursorInput<I>>]
-      : R extends `${string}Paginated` ? [pagination: PaginationOptions<GetCursorInput<I>>]
-      : R extends `${string}Ordered` ? [order: GetOrderByInput<I>]
-      : [])
-];
-
-type PrismaDelegate<M extends Prisma.ModelName> = Uncapitalize<M> extends keyof DbClient ? DbClient[Uncapitalize<M>] : never;
-
-type FullModelType<M extends Prisma.ModelName> = 
-  Prisma.Result<PrismaDelegate<M>, {}, 'findMany'> extends Array<infer U> ? U : never;
-
-type PrecomputedSelects<M extends Prisma.ModelName, SelectModels> = {
-    [S in keyof SelectModels]: Prisma.Result<PrismaDelegate<M>, { select: SelectModels[S] }, 'findMany'> extends Array<infer U> ? U : never
-};
-
-type SelectedModel<M extends Prisma.ModelName, S, SelectModels> = 
-    [S] extends [false] 
-        ? FullModelType<M>
-        : [S] extends [never] 
-            ? FullModelType<M> 
-            : [S] extends [keyof SelectModels] 
-                ? PrecomputedSelects<M, SelectModels>[S]
-                : FullModelType<M>;
-
-type CleanFields<R extends string> =
-    R extends `${infer F}PaginatedAndOrdered` ? F :
-    R extends `${infer F}OrderedAndPaginated` ? F :
-    R extends `${infer F}Paginated` ? F :
-    R extends `${infer F}Ordered` ? F :
-    R extends `${infer F}SkipDuplicates` ? F : R;
-
-/**
- * Opções adicionais aceitas pelos métodos do repository.
- *
- * @template S Chaves disponíveis em `selectModels`.
- */
-export type MethodOptions<S> = {
-    /**
-     * Select model a ser aplicado na operação.
-     *
-     * @note Use `false` para retornar o payload completo do Prisma, sem select.
-     */
-    selectModel?: S | false;
-    /**
-     * Cliente Prisma ou transação que deve executar a operação.
-     */
-    db?: ClientOrTransaction;
-};
-
-/**
- * Versão de `MethodOptions` derivada diretamente de uma instância configurada de `VSRepository`.
- *
- * @template TRepo Instância de `VSRepository` configurada (use `typeof meuVSRepo`).
- *
- * @example
- * const usuarioVSRepo = setupVSRepo<Usuario, "usuario">()(config);
- * type Opts = MethodOptionsModel<typeof usuarioVSRepo>;
- */
-export type MethodOptionsModel<TRepo> =
-    TRepo extends VSRepository<any, any, infer Config>
-        ? MethodOptions<keyof ExtractSelectModels<Config> | false>
-        : never;
-
-type MethodFn<MethodName extends string, T, M extends Prisma.ModelName, R extends string, SelectModels, DefaultSelect extends keyof SelectModels | false, I> = 
-    <S extends keyof SelectModels | false = DefaultSelect>(...args: [...ExtractFields<T, CleanFields<R>, I>, ...ExtraArgs<MethodName, R, I>, options?: MethodOptions<S>]) => Promise<ResolveReturnType<MethodName, SelectedModel<M, S, SelectModels>>>;
-
-type GetMappedMethod<K extends string, MethodConf> = 
-    K extends `findBy${string}` ? (MethodConf extends { fbMode: 'one' } ? 'findByOne' : 'findByList') :
-    K extends `findOneBy${string}` ? 'findOneBy' :
-    K extends `existsBy${string}` ? 'existsBy' :
-    K extends `existsWhere${string}` ? 'existsWhere' :
-    K extends `findUniqueOrThrowBy${string}` ? 'findUniqueOrThrow' :
-    K extends `findUniqueBy${string}` ? 'findUnique' :
-    K extends `findFirstOrThrowBy${string}` | `findFirstOrThrow${string}` ? 'findFirstOrThrow' :
-    K extends `findFirstBy${string}` | `findFirst${string}` ? 'findFirst' :
-    K extends `findManyBy${string}` | `findMany${string}` ? 'findMany' :
-    K extends `createManyAndReturn${string}` ? 'createManyAndReturn' :
-    K extends `createMany${string}` ? 'createMany' :
-    K extends `create${string}` ? 'create' :
-    K extends `updateManyAndReturnBy${string}` ? 'updateManyAndReturnBy' :
-    K extends `updateManyAndReturnWhere${string}` ? 'updateManyAndReturnWhere' :
-    K extends `updateManyBy${string}` ? 'updateManyBy' :
-    K extends `updateManyWhere${string}` ? 'updateManyWhere' :
-    K extends `updateBy${string}` ? 'updateBy' :
-    K extends `upsertBy${string}` ? 'upsertBy' :
-    K extends `deleteManyBy${string}` ? 'deleteManyBy' :
-    K extends `deleteManyWhere${string}` ? 'deleteManyWhere' :
-    K extends `deleteBy${string}` ? 'deleteBy' :
-    K extends `countWhere${string}` ? 'countWhere' :
-    K extends `countBy${string}` | `count${string}` ? 'count' :
-    K extends `findListWhere${string}` ? 'findListWhere' :
-    K extends `findOneWhere${string}` ? 'findOneWhere' :
-    K extends `findWhere${string}` ? 'findWhere' :
-    K extends 'aggregate' ? 'aggregate' :
-    K extends 'groupBy' ? 'groupBy' :
-    never;
-
-type ExtractPatternBase<K extends string> = 
-    K extends `${string}By${infer R}` ? R :
-    K extends `findFirstOrThrow${infer R}` ? R :
-    K extends `findFirst${infer R}` ? R :
-    K extends `findMany${infer R}` ? R :
-    K extends `createManyAndReturn${infer R}` ? R :
-    K extends `createMany${infer R}` ? R :
-    K extends `create${infer R}` ? R :
-    K extends `countWhere${infer R}` ? R :
-    K extends `count${infer R}` ? R :
-    K extends `findListWhere${infer R}` ? R :
-    K extends `findOneWhere${infer R}` ? R :
-    K extends `findWhere${infer R}` ? R :
-    K extends `existsWhere${infer R}` ? R :
-    K extends `updateManyWhere${infer R}` ? R :
-    K extends `updateManyAndReturnWhere${infer R}` ? R :
-    K extends `deleteManyWhere${infer R}` ? R : '';
-
-type MethodFactory<T, M extends Prisma.ModelName, K extends string, SelectModels, DefaultSelect extends keyof SelectModels | false, I, MethodConf> = 
-    K extends `findWhere${string}`
-        ? {
-            /** @deprecated Use findOneWhere em seu lugar. */
-            <S extends keyof SelectModels | false = DefaultSelect>(...args: [...ExtractFields<T, CleanFields<ExtractPatternBase<K>>, I>, ...ExtraArgs<GetMappedMethod<K, MethodConf>, ExtractPatternBase<K>, I>, options?: MethodOptions<S>]): Promise<ResolveReturnType<GetMappedMethod<K, MethodConf>, SelectedModel<M, S, SelectModels>>>;
-          }
-        : MethodFn<GetMappedMethod<K, MethodConf>, T, M, ExtractPatternBase<K>, SelectModels, DefaultSelect, I>;
-
-type ResolveSelectModel<MethodConf, GlobalConf, SelectModels> = 
-    MethodConf extends { selectModel: infer S } ? (S extends false ? false : S extends keyof SelectModels ? S : never) : 
-    GlobalConf extends { defaultSelectModel: infer D } ? (D extends keyof SelectModels ? D : never) : never;
-
-type ExtractPkName<T, Config> = Config extends { pkName: infer PK } ? (PK extends keyof T ? PK : never) : never;
-type ExtractSelectModels<Config> = Config extends { selectModels: infer SM } ? SM : {};
-type ExtractDefaultSelect<Config> = Config extends { defaultSelectModel: infer D } ? D : never;
-type ExtractRelations<Config> = Config extends { relations: infer R } ? (R extends object ? R : {}) : {};
-
-type AggregateMethod<M extends Prisma.ModelName> = <A extends Prisma.TypeMap['model'][M]['operations']['aggregate']['args']>(
-    prismaArgs: A, 
-    options?: { db?: ClientOrTransaction }
-) => Promise<Prisma.Result<PrismaDelegate<M>, A, 'aggregate'>>;
-
-type GroupByMethod<M extends Prisma.ModelName> = <A extends Prisma.TypeMap['model'][M]['operations']['groupBy']['args']>(
-    prismaArgs: A, 
-    options?: { db?: ClientOrTransaction }
-) => Promise<Prisma.Result<PrismaDelegate<M>, A, 'groupBy'>>;
-
-type DynamicMethods<T, M extends Prisma.ModelName, Config, I> = Config extends { methods: infer Methods }
-    ? {
-          [K in keyof Methods as Methods[K] extends { map: true } ? K : never]: K extends string
-              ? (Methods[K] extends { proxyTo: infer P extends string } ? P : K) extends infer ResolvedKey
-                  ? ResolvedKey extends 'aggregate'
-                      ? AggregateMethod<M>
-                      : ResolvedKey extends 'groupBy'
-                      ? GroupByMethod<M>
-                      : ResolvedKey extends string
-                      ? MethodFactory<T, M, ResolvedKey, ExtractSelectModels<Config>, ResolveSelectModel<Methods[K], Config, ExtractSelectModels<Config>>, I, Methods[K]>
-                      : never
-                  : never
-              : never;
-      }
-    : {};
-
-/**
- * Agrupa os principais tipos de input do Prisma derivados de um modelo.
- *
- * @template M Nome do modelo Prisma.
- */
-export type PrismaModelInputs<M extends Prisma.ModelName> = {
-    /** Tipo do argumento `select` usado em consultas do modelo. */
-    select: Prisma.TypeMap['model'][M]['operations']['findMany']['args']['select'];
-    /** Tipo do `data` usado em `create`. */
-    createInput: Prisma.TypeMap['model'][M]['operations']['create']['args']['data'];
-    /** Tipo do `data` usado em `createMany`. */
-    createManyInput: Prisma.TypeMap['model'][M]['operations']['createMany']['args']['data'];
-    /** Tipo do `data` usado em `update`. */
-    updateInput: Prisma.TypeMap['model'][M]['operations']['update']['args']['data'];
-    /** Tipo do `data` usado em `updateMany`. */
-    updateManyInput: Prisma.TypeMap['model'][M]['operations']['updateMany']['args']['data'];
-    /** Tipo do `where` usado nas buscas do modelo. */
-    whereInput: Prisma.TypeMap['model'][M]['operations']['findMany']['args']['where'];
-    /** Tipo do `orderBy` usado nas buscas do modelo. */
-    orderByInput: Prisma.TypeMap['model'][M]['operations']['findMany']['args']['orderBy'];
-    /** Tipo do cursor usado nas buscas do modelo. */
-    cursorInput: Prisma.TypeMap['model'][M]['operations']['findMany']['args']['cursor'];
-    /** Tipo do payload `create` usado em `upsert`. */
-    upsertCreateInput: Prisma.TypeMap['model'][M]['operations']['upsert']['args']['create'];
-    /** Tipo do payload `update` usado em `upsert`. */
-    upsertUpdateInput: Prisma.TypeMap['model'][M]['operations']['upsert']['args']['update'];
-};
-
-/**
- * Tipo do objeto `select` de um modelo Prisma.
- */
-export type SelectModel<M extends Prisma.ModelName> = PrismaModelInputs<M>['select'];
-
-/**
- * Mapa de selects nomeados e reutilizáveis para um modelo Prisma.
- */
-export type SelectModels<M extends Prisma.ModelName> = Record<string, SelectModel<M>>;
-
-/**
- * Tipo do objeto `where` de um modelo Prisma.
- */
-export type WhereModel<M extends Prisma.ModelName> = PrismaModelInputs<M>['whereInput'];
-
-/**
- * Tipo do objeto `orderBy` de um modelo Prisma.
- */
-export type OrdenationModel<M extends Prisma.ModelName> = PrismaModelInputs<M>['orderByInput'];
-
-/**
- * Opções de paginação com cursor tipado para um modelo Prisma.
- */
-export type PaginationModel<M extends Prisma.ModelName> = PaginationOptions<PrismaModelInputs<M>['cursorInput']>;
-
-/**
- * Payload base usado para criar um registro no `save`/`upsert` do modelo.
- */
-export type ModelUpsertInput<M extends Prisma.ModelName> = PrismaModelInputs<M>['upsertCreateInput'];
-
-/**
- * Configuração de um método dinâmico definido em `methods`.
- *
- * @template M Nome do modelo Prisma.
- * @template SelectModels Mapa de select models disponíveis no repository.
- */
-export type MethodConfig<M extends Prisma.ModelName, SelectModels = any> = {
-    /** Define se o método será exposto no repository. */
-    readonly map: boolean;
-    /** Sobrescreve o `defaultSelectModel` apenas para este método. */
-    readonly selectModel?: string | false;
-    /** Controla se o método combina (`extending`) ou sobrescreve (`overwrite`) o `requiredWhere`. */
-    readonly whereType?: 'overwrite' | 'extending';
-    /** Redireciona a lógica para outro padrão de método válido. */
-    readonly proxyTo?: ValidMethodPatterns;
-    /** Adiciona um `where` extra além do `requiredWhere`. */
-    readonly pushWhere?: WhereModel<M>;
-    /** 
-     * Define se `findBy` retorna um item (`one`) ou uma lista (`list`).
-     * @deprecated Use findOneBy se só quiser retornar um.
-     */
-    readonly fbMode?: 'one' | 'list';
-    /** Injeta uma ordenação fixa automaticamente na query. */
-    readonly injectOrdenation?: OrdenationModel<M>;
-    /** Injeta uma paginação fixa automaticamente na query. */
-    readonly injectPagination?: PaginationModel<M>;
-};
-
-type BaseMethodConfig<TSelectKeys extends PropertyKey = string> = {
-    /** Ativa ou desativa o método base no `build`. */
-    active?: boolean;
-    /** Select model padrão usado pelo método base. */
-    defaultSelect?: TSelectKeys;
-    /** Ignora o `requiredWhere`. */
-    ignoreRequiredWhere?: boolean;
-};
-
-/**
- * Configuração aplicada durante o `.build(prisma, config?)`.
- *
- * @template TSelectKeys Chaves válidas de `selectModels`.
- */
-export type BuildConfig<TSelectKeys extends PropertyKey = string> = {
-    /** Congela o objeto final do repository. */
-    freeze?: boolean;
-    /** Exibe logs internos de funcionamento no console. */
-    showWorking?: boolean;
-    /** Personaliza o comportamento dos métodos base automáticos. */
-    baseMethods?: {
-        /** Configuração do método `get`. */
-        get?: BaseMethodConfig<TSelectKeys>;
-        /** Configuração do método `getOrThrow`. */
-        getOrThrow?: BaseMethodConfig<TSelectKeys>;
-        /** Configuração do método `remove`. */
-        remove?: BaseMethodConfig<TSelectKeys>;
-        /** Configuração do método `save`. */
-        save?: BaseMethodConfig<TSelectKeys>;
-        /** Configuração do método `patch`. */
-        patch?: BaseMethodConfig<TSelectKeys>;
-        /** Configuração do método `removeList` (exclusão em lote). Não aceita select. */
-        removeList?: Omit<BaseMethodConfig<TSelectKeys>, 'defaultSelect'>;
-        /** Configuração do método `getAll` (listagem total). */
-        getAll?: BaseMethodConfig<TSelectKeys>;
-        /** Configuração do método `total` (contagem). Não aceita select. */
-        total?: Omit<BaseMethodConfig<TSelectKeys>, 'defaultSelect'>;
-        /** Configuração do método `has` (verificação de existência). Não aceita select. */
-        has?: Omit<BaseMethodConfig<TSelectKeys>, 'defaultSelect'>;
-    };
-};
-
-type ResolveMethodDefaultSelect<Config, C, Method extends 'get' | 'getOrThrow' | 'remove' | 'save' | 'getAll' | 'patch', TSelects = ExtractSelectModels<Config>> =
-    C extends { baseMethods?: { [_ in Method]?: { defaultSelect?: infer D } } }
-        ? D extends keyof TSelects 
-            ? D 
-            : ExtractDefaultSelect<Config> extends keyof TSelects 
-                ? ExtractDefaultSelect<Config> 
-                : false
-        : ExtractDefaultSelect<Config> extends keyof TSelects 
-            ? ExtractDefaultSelect<Config> 
-            : false;
-
-type ResolveCurrentReturn<M extends Prisma.ModelName, Models, S, D> = 
-    [S] extends [false] 
-        ? FullModelType<M> 
-        : [S] extends [never] 
-            ? ([D] extends [never] ? FullModelType<M> : SelectedModel<M, D, Models>)
-            : SelectedModel<M, S, Models>;
-
-type InjectedGet<
-    T, M extends Prisma.ModelName, Config, C extends BuildConfig<any> | undefined,
-    TSelects = ExtractSelectModels<Config>,
-    TDefault = ExtractDefaultSelect<Config>,
-    TPk = ExtractPkName<T, Config>
-> = C extends { baseMethods: { get: { active: false } } } ? {} : {
-    /**
-     * Busca um registro pela chave primária (PK).
-     * @param pk Chave primária do registro.
-     * @param options Opções adicionais (por exemplo `selectModel` ou `db`).
-     * @returns O registro selecionado ou `null` se não encontrado.
-     */
-    get<S extends keyof TSelects | false = ResolveMethodDefaultSelect<Config, C, 'get', TSelects>>(
-        pk: WidenField<T[TPk extends keyof T ? TPk : never]>, options?: MethodOptions<S>
-    ): Promise<ResolveCurrentReturn<M, TSelects, S, TDefault> | null>;
-};
-
-type InjectedGetOrThrow<
-    T, M extends Prisma.ModelName, Config, C extends BuildConfig<any> | undefined,
-    TSelects = ExtractSelectModels<Config>,
-    TDefault = ExtractDefaultSelect<Config>,
-    TPk = ExtractPkName<T, Config>
-> = C extends { baseMethods: { getOrThrow: { active: false } } } ? {} : {
-    /**
-     * Busca um registro pela chave primária (PK) e lança erro se não encontrado.
-     * @param pk Chave primária do registro.
-     * @param options Opções adicionais (por exemplo `selectModel` ou `db`).
-     * @returns O registro selecionado.
-     */
-    getOrThrow<S extends keyof TSelects | false = ResolveMethodDefaultSelect<Config, C, 'getOrThrow', TSelects>>(
-        pk: WidenField<T[TPk extends keyof T ? TPk : never]>, options?: MethodOptions<S>
-    ): Promise<ResolveCurrentReturn<M, TSelects, S, TDefault>>;
-};
-
-type InjectedRemove<
-    T, M extends Prisma.ModelName, Config, C extends BuildConfig<any> | undefined,
-    TSelects = ExtractSelectModels<Config>,
-    TDefault = ExtractDefaultSelect<Config>,
-    TPk = ExtractPkName<T, Config>
-> = C extends { baseMethods: { remove: { active: false } } } ? {} : {
-    /**
-     * Remove um registro identificado pela chave primária (PK).
-     * @param pk Chave primária do registro a ser removido.
-     * @param options Opções adicionais (por exemplo `selectModel` ou `db`).
-     * @returns O registro removido.
-     */
-    remove<S extends keyof TSelects | false = ResolveMethodDefaultSelect<Config, C, 'remove', TSelects>>(
-        pk: WidenField<T[TPk extends keyof T ? TPk : never]>, options?: MethodOptions<S>
-    ): Promise<ResolveCurrentReturn<M, TSelects, S, TDefault>>;
-};
-
-/**
- * Versão distributiva de `Omit`, preservando unions ao remover propriedades.
- */
-type DistributiveOmit<T, K extends keyof any> = T extends any ? Omit<T, K> : never;
-type ExtractUnionProp<T, K extends PropertyKey> = T extends any ? (K extends keyof T ? T[K] : never) : never;
-
-type ExtractNestedCreateInput<M extends Prisma.ModelName, K extends PropertyKey> = 
-    NonNullable<ExtractUnionProp<PrismaModelInputs<M>['createInput'], K>> extends { create?: infer C } 
-        ? Exclude<C, any[]> 
-        : never;
-
-type RelationPayload<TField, TRelationConfig, M extends Prisma.ModelName, K extends PropertyKey> = NonNullable<TField> extends any[]
-    ? (ExtractNestedCreateInput<M, K>)[]
-    : NonNullable<TField> extends object
-      ? ExtractNestedCreateInput<M, K> | (TRelationConfig extends { mode: 'oto'; restriction: 'set' } | { mode: 'mto'; nullAble: true } ? null : never)
-      : never;
-
-/**
- * Payload aceito pelo `save` quando o repository possui relações configuradas.
- *
- * Substitui os campos relacionais pelo formato compatível com os modos
- * configurados em `relations`.
- */
-type UpsertWithRelations<T, M extends Prisma.ModelName, TRelations> = 
-    DistributiveOmit<ModelUpsertInput<M>, keyof TRelations> & {
-        [K in Extract<keyof TRelations, keyof T>]?: RelationPayload<T[K], TRelations[K], M, K>;
-    };
-
-type CleanNestedInput<T> = T extends any
-    ? T extends { data: infer D }
-        ? CleanNestedInput<Exclude<D, any[]>>
-        : Omit<T, 'where' | 'data'>
-    : never;
-
-type ExtractNestedUpdateInput<M extends Prisma.ModelName, K extends PropertyKey> = 
-    NonNullable<ExtractUnionProp<PrismaModelInputs<M>['updateInput'], K>> extends { update?: infer U } 
-        ? CleanNestedInput<Exclude<U, any[]>>
-        : never;
-
-type RelationUpdatePayload<TField, TRelationConfig, M extends Prisma.ModelName, K extends PropertyKey> = NonNullable<TField> extends any[]
-    ? (ExtractNestedUpdateInput<M, K>)[]
-    : NonNullable<TField> extends object
-      ? ExtractNestedUpdateInput<M, K> | (TRelationConfig extends { mode: 'oto'; restriction: 'set' } | { mode: 'mto'; nullAble: true } ? null : never)
-      : never;
-
-/**
- * Payload aceito pelo `patch` quando o repository possui relações configuradas.
- *
- * Substitui os campos relacionais pelo formato compatível com os modos
- * configurados em `relations` para fluxos de Update.
- */
-type UpdateWithRelations<T, M extends Prisma.ModelName, TRelations> = 
-    DistributiveOmit<PrismaModelInputs<M>['updateInput'], keyof TRelations> & {
-        [K in Extract<keyof TRelations, keyof T>]?: RelationUpdatePayload<T[K], TRelations[K], M, K>;
-    };
-
-/**
- * Extrai o tipo de payload do método `save` a partir de uma instância de VSRepository configurada.
- */
-export type SaveObject<TInput, TRepo> = 
-    TRepo extends VSRepository<infer T, infer M, infer Config>
-        ? (Config extends { relations: infer R } ? (R extends object ? R : {}) : {}) extends infer TRelations
-            ? DistributiveOmit<TInput, keyof TRelations> & {
-                  [K in Extract<keyof TRelations, keyof T>]?: RelationPayload<T[K], TRelations[K], M, K>;
-              }
-            : never
-        : never;
-
-/**
- * Extrai o tipo de payload do método `patch` a partir de uma instância de VSRepository configurada.
- */
-export type PatchObject<TInput, TRepo> = 
-    TRepo extends VSRepository<infer T, infer M, infer Config>
-        ? (Config extends { relations: infer R } ? (R extends object ? R : {}) : {}) extends infer TRelations
-            ? DistributiveOmit<TInput, keyof TRelations> & {
-                  [K in Extract<keyof TRelations, keyof T>]?: RelationUpdatePayload<T[K], TRelations[K], M, K>;
-              }
-            : never
-        : never;
-
-type InjectedSave<
-    T, M extends Prisma.ModelName, Config, C extends BuildConfig<any> | undefined,
-    TSelects = ExtractSelectModels<Config>,
-    TDefault = ExtractDefaultSelect<Config>,
-    TRelations = ExtractRelations<Config>
-> = C extends { baseMethods: { save: { active: false } } } ? {} : {
-    /**
-     * Insere ou atualiza (save/upsert) um registro, aceita os campos de relações definidas nas `relations`.
-     * @param obj Payload para criação/atualização.
-     * @param options Opções adicionais (por exemplo `selectModel` ou `db`).
-     * @returns O registro salvo com tipos refinados conforme a entrada.
-     */
-    save<
-        O,
-        S extends keyof TSelects | false = ResolveMethodDefaultSelect<Config, C, 'save', TSelects>
-    >(
-        obj: O & UpsertWithRelations<T, M, TRelations>,
-        options?: MethodOptions<S>
-    ): Promise<ResolveCurrentReturn<M, TSelects, S, TDefault>>;
-};
-
-type InjectedPatch<
-    T, M extends Prisma.ModelName, Config, C extends BuildConfig<any> | undefined,
-    TSelects = ExtractSelectModels<Config>,
-    TDefault = ExtractDefaultSelect<Config>,
-    TPk = ExtractPkName<T, Config>,
-    TRelations = ExtractRelations<Config>
-> = C extends { baseMethods: { patch: { active: false } } } ? {} : {
-    /**
-     * Atualiza parcialmente (patch) um registro existente pela chave primária (PK), aceita os campos de relações definidas nas `relations`.
-     * @param pk Chave primária do registro.
-     * @param obj Objeto parcial com os campos a atualizar.
-     * @param options Opções adicionais (por exemplo `selectModel` ou `db`).
-     * @returns O registro atualizado refinado conforme a entrada.
-     */
-    patch<
-        O,
-        S extends keyof TSelects | false = ResolveMethodDefaultSelect<Config, C, 'patch', TSelects>
-    >(
-        pk: WidenField<T[TPk extends keyof T ? TPk : never]>,
-        obj: O & UpdateWithRelations<T, M, TRelations>,
-        options?: MethodOptions<S>
-    ): Promise<ResolveCurrentReturn<M, TSelects, S, TDefault>>;
-};
-
-type InjectedRemoveList<
-    T, M extends Prisma.ModelName, Config, C extends BuildConfig<any> | undefined,
-    TPk = ExtractPkName<T, Config>
-> = C extends { baseMethods: { removeList: { active: false } } } ? {} : {
-    /**
-     * Remove múltiplos registros pelas suas chaves primárias.
-     * @param pks Lista de chaves primárias a remover.
-     * @param options Opções adicionais (por exemplo `db`).
-     * @returns Objeto com a contagem de registros removidos.
-     */
-    removeList(
-        pks: WidenField<T[TPk extends keyof T ? TPk : never]>[], 
-        options?: { db?: ClientOrTransaction }
-    ): Promise<{ count: number }>;
-};
-
-type InjectedGetAll<
-    T, M extends Prisma.ModelName, Config, C extends BuildConfig<any> | undefined,
-    TSelects = ExtractSelectModels<Config>,
-    TDefault = ExtractDefaultSelect<Config>,
-    I = PrismaModelInputs<M>
-> = C extends { baseMethods: { getAll: { active: false } } } ? {} : {
-    /**
-     * Busca todos os registros (respeita `requiredWhere` quando aplicado).
-     * @param options Opções adicionais, incluindo paginação, ordenação e `db`/`selectModel`.
-     * @returns Lista dos registros encontrados`.
-     */
-    getAll<S extends keyof TSelects | false = ResolveMethodDefaultSelect<Config, C, 'getAll', TSelects>>(
-        options?: MethodOptions<S> & { 
-            pagination?: PaginationOptions<I extends { cursorInput: infer Curs } ? Curs : unknown>;
-            order?: I extends { orderByInput: infer OB } ? OB : OrderOptions;
-        }
-    ): Promise<ResolveCurrentReturn<M, TSelects, S, TDefault>[]>;
-};
-
-type InjectedTotal<
-    T, M extends Prisma.ModelName, Config, C extends BuildConfig<any> | undefined
-> = C extends { baseMethods: { total: { active: false } } } ? {} : {
-    /**
-     * Retorna a quantidade total de registros, respeitando `requiredWhere` quando aplicado.
-     * @param options Opções adicionais (por exemplo `db`).
-     * @returns Número total de registros.
-     */
-    total(options?: { db?: ClientOrTransaction }): Promise<number>;
-};
-
-type InjectedHas<
-    T, M extends Prisma.ModelName, Config, C extends BuildConfig<any> | undefined,
-    TPk = ExtractPkName<T, Config>
-> = C extends { baseMethods: { has: { active: false } } } ? {} : {
-    /**
-     * Verifica se um registro existe pela chave primária (PK).
-     * @param pk Chave primária a verificar.
-     * @param options Opções adicionais (por exemplo `db`).
-     * @returns `true` se existir, caso contrário `false`.
-     */
-    has(
-        pk: WidenField<T[TPk extends keyof T ? TPk : never]>, 
-        options?: { db?: ClientOrTransaction }
-    ): Promise<boolean>;
-};
-
-type InjectedBaseMethods<T, M extends Prisma.ModelName, Config, C extends BuildConfig<any> | undefined> = 
-    InjectedGet<T, M, Config, C> & 
-    InjectedGetOrThrow<T, M, Config, C> & 
-    InjectedRemove<T, M, Config, C> & 
-    InjectedSave<T, M, Config, C> &
-    InjectedPatch<T, M, Config, C> &
-    InjectedRemoveList<T, M, Config, C> &
-    InjectedGetAll<T, M, Config, C> &
-    InjectedTotal<T, M, Config, C> &
-    InjectedHas<T, M, Config, C>;
-
-/**
- * Configuração de relação para One-to-Many ou Many-to-Many.
- *
- * @template TItem O tipo da entidade relacionada.
- */
-export type ManyRelationConfig<TItem> = {
-    /** A chave primária (Primary Key) do entidade relacionada. */
-    pk: keyof TItem;
-    /** Tipo de relação: `otm` (One-to-Many) ou `mtm` (Many-to-Many). */
-    mode: 'otm' | 'mtm';
-    /** Comportamento de mutação: `set` (substitui tudo) ou `add` (adiciona aos existentes). */
-    restriction: 'set' | 'add';
-};
-
-/**
- * Configuração de relação One-to-One.
- *
- * @template TItem O tipo da entidade relacionada.
- */
-export type OneToOneRelationConfig<TItem> = {
-    /** A chave primária (Primary Key) do entidade relacionada. */
-    pk: keyof TItem;
-    /** Tipo de relação: `oto` (One-to-One). */
-    mode: 'oto';
-    /** Comportamento de mutação permitido para salvar. */
-    restriction: 'set' | 'add';
-};
-
-/**
- * Configuração de relação Many-to-One.
- *
- * @template TItem O tipo da entidade relacionada.
- */
-export type ManyToOneRelationConfig<TItem> = {
-    /** A chave primária (Primary Key) da entidade relacionada. */
-    pk: keyof TItem;
-    /** Tipo de relação: `mto` (Many-to-One). */
-    mode: 'mto';
-    /** Comportamento de mutação permitido para salvar. */
-    restriction: 'set' | 'add';
-    /** Habilita a possibilidade de desvincular a relação, tornando a chave estrangeira nula. */
-    nullAble?: boolean;
-};
-
-/**
- * Infere automaticamente a configuração de relação possível a partir de um campo.
- */
-export type ExtractRelationConfig<TField> = NonNullable<TField> extends infer NonNull
-    ? NonNull extends Date | Buffer | Uint8Array | Decimal | JsonValue ? never
-    : NonNull extends any[] ? (NonNull[number] extends object ? ManyRelationConfig<NonNull[number]> : never)
-    : NonNull extends object ? (OneToOneRelationConfig<NonNull> | ManyToOneRelationConfig<NonNull>)
-    : never
-    : never;
-
-/**
- * Mapa das relações configuráveis de um tipo de entidade.
- */
-export type RepositoryRelations<T> = {
-    [K in keyof T as ExtractRelationConfig<T[K]> extends never ? never : K]?: ExtractRelationConfig<T[K]>;
-};
-
-type AnySelect<M extends Prisma.ModelName> = Prisma.TypeMap['model'][M]['operations']['findMany']['args']['select'];
-
-/**
- * Configuração principal usada em `setupVSRepo<T, M>()(config)`.
- *
- * @template T Tipo da entidade manipulada pelo repository.
- * @template M Nome do modelo Prisma.
- * @template SM Mapa de select models nomeados.
- */
-export type RepoConfig<T, M extends Prisma.ModelName, SM extends Record<string, AnySelect<M>> = Record<string, AnySelect<M>>> = {
-    tableName: Uncapitalize<M>;
-    pkName: keyof T;
-    selectModels?: SM;
-    defaultSelectModel?: Extract<keyof SM, string>;
-    requiredWhere?: WhereModel<M>;
-    relations?: RepositoryRelations<T>;
-    methods?: Record<string, MethodConfig<M, SM>>;
-};
-
-/**
- * Tipo final retornado por `.build(prisma)`.
- *
- * Combina métodos dinâmicos, métodos base e extensões personalizadas.
- */
-type BuiltRepository<T extends object, M extends Prisma.ModelName, Config extends RepoConfig<T, M, any>, C extends BuildConfig<any> | undefined> = {
-    /**
-     * Estende o repository com métodos personalizados sem perder a tipagem.
-     */
-    extend<E>(extensionFunc: (repo: BuiltRepository<T, M, Config, C>) => E): BuiltRepository<T, M, Config, C> & E;
-
-    /**
-     * Instância do Prisma Client passada no `build`.
-     */
-    readonly prisma: DbClient;
-} & DynamicMethods<T, M, Config, PrismaModelInputs<M>> & InjectedBaseMethods<T, M, Config, C>;
-
-/**
- * Fábrica tipada de repositories baseada na configuração do modelo Prisma.
- */
-export declare class VSRepository<T extends object, M extends Prisma.ModelName, const Config extends RepoConfig<T, M, any> = RepoConfig<T, M, any>> {
-    /** Configuração original informada no `setupVSRepo`. */
-    readonly config: Config;
-    /**
-     * Cria uma instância configurável de `VSRepository`.
-     */
-    constructor(config: Config);
-    /**
-     * Constrói o repository final com os métodos base e dinâmicos.
-     */
-    build<C extends BuildConfig<keyof ExtractSelectModels<Config>>>(prisma: DbClient, config?: C): BuiltRepository<T, M, Config, C>;
-    vsrepocache: never;
-}
-
-/**
- * Infere o tipo de um repository já configurado a partir de uma instância de `VSRepository`.
- *
- * Também permite informar manualmente o `BuildConfig` e o tipo de extensões.
- */
-export type RepositoryOf<TRepo, C extends BuildConfig<any> | undefined = undefined, E = unknown> =
-    TRepo extends VSRepository<infer T, infer M, infer Config>
-        ? BuiltRepository<T, M, Config, C> & E
-        : never;
-
-/**
- * Tipo utilitário usado para validar a configuração de um repository em tempo de compilação.
- */
-export type ValidateRepoConfig<T extends object, M extends Prisma.ModelName, Config> = {
-    /** Nome da tabela/modelo no Prisma. */
-    tableName: Uncapitalize<M>;
-    /** Nome da chave primária da entidade. */
-    pkName: keyof T;
-    /** Mapa de select models disponíveis. */
-    selectModels?: SelectModels<M>;
-    /** Select model padrão. Deve ser uma chave dos `selectModels`. */
-    defaultSelectModel?: string;
-    /** Filtros globais aplicados às queries do repository. */
-    requiredWhere?: WhereModel<M>;
-    /** Relações gerenciadas automaticamente pelo `save` e pelo `patch`. */
-    relations?: RepositoryRelations<T>;
-    /** Mapa dos métodos dinâmicos e suas configurações. */
-    methods?: {
-        [K in keyof (Config extends { methods: infer Meth } ? Meth : {})]: K extends string
-            ? MethodConfig<M, Config extends { selectModels: infer SM } ? SM : any> & (K extends ValidMethodPatterns ? {} : { proxyTo: ValidMethodPatterns })
-            : never;
-    };
-};
-
-/**
- * Função para inicializar e configurar o `repository`.
- * As configurações passadas nele são as que serão lidas ao executar o `.build()`.
- */
-export declare function setupVSRepo<T extends object, M extends Prisma.ModelName>(): <
-    const SM extends Record<string, SelectModel<M>>,
-    const Config extends RepoConfig<T, M, SM>
->(
-  config: Config & ValidateRepoConfig<T, M, Config>
-) => VSRepository<T, M, Config>;
+import { Prisma, PrismaClient } from '../generated/prisma/client';
+import { Decimal, JsonValue } from '@prisma/client/runtime/client';
+
+/**
+ * Flattens a type intersection into a single object,
+ * avoiding the TypeScript "union type too complex to represent" error.
+ */
+type Simplify<T> = { [K in keyof T]: T[K] } & {};
+
+type WidenField<T> = 
+    T extends bigint ? bigint | number :
+    T extends Date ? Date | string :
+    T extends Decimal ? Decimal | string | number :
+    T extends readonly [infer U, infer V] ? [WidenField<U>, WidenField<V>] : 
+    T extends Array<infer U> ? WidenField<U>[] : 
+    T;
+
+/**
+ * Full Prisma Client instance used to build repositories.
+ */
+export type DbClient = PrismaClient;
+
+/**
+ * Prisma transactional client returned by `prisma.$transaction`.
+ */
+export type DbTransaction = Prisma.TransactionClient;
+
+/**
+ * Accepts either the main Prisma client or a transaction client.
+ */
+export type ClientOrTransaction = DbClient | DbTransaction;
+
+export * from './VSRepoError';
+
+type OrderPattern = {
+    [key: string]: 'asc' | 'desc' | { _count: 'asc' | 'desc' } | OrderPattern;
+};
+
+/**
+ * Pagination options accepted by methods with the `Paginated` suffix.
+ *
+ * @template TCursor Type of the cursor used by the Prisma model.
+ */
+export type PaginationOptions<TCursor = unknown> = {
+    /** Number of records to skip. */
+    skip?: number;
+    /** Maximum number of records to return. */
+    take?: number;
+    /** Typed cursor for position-based pagination. */
+    cursor?: TCursor;
+};
+
+/**
+ * Ordering accepted by repository methods.
+ *
+ * Can be a single ordering or a list of chained orderings.
+ */
+export type OrderOptions = OrderPattern | OrderPattern[];
+
+/**
+ * Visibility mode for records with soft-delete.
+ *
+ * - `"active"` — returns only non-deleted records (default).
+ * - `"removed"` — returns only deleted records.
+ * - `"all"` — returns all records regardless of their status.
+ */
+export type SeeMode = 'active' | 'removed' | 'all';
+
+type ValidMethodPatterns =
+    | `existsBy${string}` | `findBy${string}` 
+    | `findUniqueBy${string}` | `findUniqueOrThrowBy${string}`
+    | `findFirstBy${string}` | `findFirst${string}` 
+    | `findFirstOrThrowBy${string}` | `findFirstOrThrow${string}`
+    | `findManyBy${string}` | `findMany${string}` 
+    | `createManyAndReturn${string}` | `createMany${string}`
+    | `create${string}` | `updateManyAndReturnBy${string}` | `updateManyBy${string}`
+    | `updateBy${string}` | `upsertBy${string}` | `deleteManyBy${string}`
+    | `deleteBy${string}` | `countBy${string}` | `count${string}` | `countWhere${string}`
+    | `findWhere${string}` | `findListWhere${string}`
+    | `existsWhere${string}` | `updateManyWhere${string}` | `deleteManyWhere${string}`
+    | `findOneWhere${string}` | `findOneBy${string}` | `updateManyAndReturnWhere${string}`
+    | 'aggregate' | 'groupBy';
+
+type StripModifier<S extends string> =
+  S extends `${infer Base}NotStartsWithInsensitive` ? Base :
+  S extends `${infer Base}StartsWithInsensitive` ? Base :
+  S extends `${infer Base}NotEndsWithInsensitive` ? Base :
+  S extends `${infer Base}EndsWithInsensitive` ? Base :
+  S extends `${infer Base}NotContainsInsensitive` ? Base :
+  S extends `${infer Base}ContainsInsensitive` ? Base :
+  S extends `${infer Base}NotInInsensitive` ? Base :
+  S extends `${infer Base}InInsensitive` ? Base :
+  S extends `${infer Base}NotInsensitive` ? Base :
+  S extends `${infer Base}NotStartsWith` ? Base :
+  S extends `${infer Base}StartsWith` ? Base :
+  S extends `${infer Base}NotEndsWith` ? Base :
+  S extends `${infer Base}EndsWith` ? Base :
+  S extends `${infer Base}NotContains` ? Base :
+  S extends `${infer Base}Contains` ? Base :
+  S extends `${infer Base}NotIn` ? Base :
+  S extends `${infer Base}In` ? Base :
+  S extends `${infer Base}NotBetween` ? Base :
+  S extends `${infer Base}Between` ? Base :
+  S extends `${infer Base}Not` ? Base :
+  S extends `${infer Base}LessThanEqual` ? Base :
+  S extends `${infer Base}LessThan` ? Base :
+  S extends `${infer Base}GreaterThanEqual` ? Base :
+  S extends `${infer Base}GreaterThan` ? Base :
+  S extends `${infer Base}Insensitive` ? Base :
+  S;
+
+type ExtractFieldName<S extends string> = Uncapitalize<StripModifier<S>>;
+
+type IsArrayFilter<S extends string> = S extends `${string}${'NotIn' | 'In'}` ? true : false;
+
+type IsBetweenFilter<S extends string> = S extends `${string}${'NotBetween' | 'Between'}` ? true : false;
+
+type ParseRelation<S extends string> =
+    S extends `${infer Rel}Without${infer Rest}` ? [Uncapitalize<Rel>, 'isNot', Rest] :
+    S extends `${infer Rel}With${infer Rest}` ? [Uncapitalize<Rel>, 'is', Rest] :
+    S extends `${infer Rel}Some${infer Rest}` ? [Uncapitalize<Rel>, 'some', Rest] :
+    S extends `${infer Rel}Every${infer Rest}` ? [Uncapitalize<Rel>, 'every', Rest] :
+    S extends `${infer Rel}None${infer Rest}` ? [Uncapitalize<Rel>, 'none', Rest] : null;
+
+type GetFieldType<T, S extends string, I> = WidenField<
+    ExtractFieldName<S> extends infer FieldName
+        ? FieldName extends keyof T
+            ? IsArrayFilter<S> extends true
+                ? T[FieldName][]
+                : IsBetweenFilter<S> extends true
+                  ? [NonNullable<T[FieldName]>, NonNullable<T[FieldName]>]
+                  : NonNullable<T[FieldName]> extends object | any[]
+                    ? I extends { whereInput: infer W }
+                        ? FieldName extends keyof NonNullable<W> ? Exclude<NonNullable<W>[FieldName], undefined> : T[FieldName]
+                        : T[FieldName]
+                    : T[FieldName]
+            : ParseRelation<S> extends [infer Rel extends keyof T, any, infer Rest extends string]
+                ? GetFieldType<NonNullable<T[Rel]> extends any[] ? NonNullable<T[Rel]>[number] : NonNullable<T[Rel]>, Rest, unknown>
+                : unknown
+        : unknown
+>;
+
+type NoArgModifiers = 'IsNull' | 'IsNotNull' | 'IsTrue' | 'IsFalse' | 'None' | 'Some' | 'Every' | 'Without';
+
+type IsNoArgModifier<S extends string> = 
+    S extends `${string}${'StartsWith' | 'EndsWith'}` ? false :
+    S extends `${string}${NoArgModifiers | 'With'}` ? true : 
+    false;
+
+type IsOptional<S extends string> = S extends `${string}Optional` ? true : false;
+type StripOptional<S extends string> = S extends `${infer Base}Optional` ? Base : S;
+
+type MapToContractTypes<T, Arr extends string[], I> = 
+    Arr extends [infer First extends string, ...infer Rest extends string[]]
+        ? First extends '' 
+            ? MapToContractTypes<T, Rest, I>
+            : StripOptional<First> extends infer CleanFirst extends string
+                ? IsNoArgModifier<CleanFirst> extends true
+                    ? MapToContractTypes<T, Rest, I>
+                    : IsOptional<First> extends true
+                        ? [GetFieldType<T, CleanFirst, I> | undefined, ...MapToContractTypes<T, Rest, I>]
+                        : [GetFieldType<T, CleanFirst, I>, ...MapToContractTypes<T, Rest, I>]
+                : never
+        : [];
+
+type SplitAllTokens<S extends string> =
+    S extends `${infer L}AND${infer R}` ? [...SplitAllTokens<L>, ...SplitAllTokens<R>] :
+    S extends `${infer L}And${infer R}` ? [...SplitAllTokens<L>, ...SplitAllTokens<R>] :
+    S extends `${infer L}Or${infer R}` ? [...SplitAllTokens<L>, ...SplitAllTokens<R>] :
+    S extends '' ? [] :
+    [S];
+
+type ExtractFields<T, R extends string, I> =
+    R extends '' ? [] 
+    : FilterNonEmpty<MapToContractTypes<T, SplitAllTokens<R>, I>>;
+
+type FilterNonEmpty<T extends unknown[]> = 
+    T extends [infer First, ...infer Rest]
+        ? [First] extends ['']
+            ? FilterNonEmpty<Rest>
+            : [First, ...FilterNonEmpty<Rest>]
+        : [];
+
+type ResolveReturnType<M extends string, TSelected> =
+    M extends 'existsBy' | 'existsWhere' ? boolean :
+    M extends 'createMany' | 'updateManyBy' | 'deleteManyBy' | 'updateManyWhere' | 'deleteManyWhere' ? { count: number } :
+    M extends 'findMany' | 'createManyAndReturn' | 'updateManyAndReturnBy' | 'updateManyAndReturnWhere' | 'findListWhere' | 'findByList' ? TSelected[] :
+    M extends 'findUnique' | 'findFirst' | 'findWhere' | 'findByOne' | 'findOneBy' | 'findOneWhere' ? TSelected | null :
+    M extends 'findUniqueOrThrow' | 'findFirstOrThrow' | 'create' | 'updateBy' | 'upsertBy' | 'deleteBy' ? TSelected :
+    M extends 'count' | 'countWhere' ? number : never;
+
+type GetUpdateInput<I> = I extends { updateInput: infer U } ? U : unknown;
+type GetCreateInput<I> = I extends { createInput: infer C } ? C : unknown;
+type GetCreateManyInput<I> = I extends { createManyInput: infer CM } ? CM : unknown;
+type GetUpdateManyInput<I> = I extends { updateManyInput: infer UM } ? UM : unknown;
+type GetWhereInput<I> = I extends { whereInput: infer W } ? NonNullable<W> : unknown;
+type GetCursorInput<I> = I extends { cursorInput: infer C } ? C : unknown;
+type GetOrderByInput<I> = I extends { orderByInput: infer OB } ? OB : OrderOptions;
+
+type ExtraArgs<M extends string, R extends string, I> = [
+    ...(M extends 'upsertBy' ? [update: GetUpdateInput<I>, create: GetCreateInput<I>]
+      : M extends 'create' ? [data: GetCreateInput<I>]
+      : M extends 'updateBy' ? [data: GetUpdateInput<I>]
+      : M extends 'createMany' | 'createManyAndReturn' ? [data: GetCreateManyInput<I>]
+      : M extends 'updateManyBy' | 'updateManyAndReturnBy' ? [data: GetUpdateManyInput<I>]
+      : M extends 'findWhere' | 'findListWhere' | 'countWhere' | 'existsWhere' | 'deleteManyWhere' | 'findOneWhere' ? [where: GetWhereInput<I>]
+      : M extends 'updateManyWhere' | 'updateManyAndReturnWhere' ? [where: GetWhereInput<I>, data: GetUpdateManyInput<I>]
+      : []),
+    ...(R extends `${string}PaginatedAndOrdered` ? [pagination: PaginationOptions<GetCursorInput<I>>, order: GetOrderByInput<I>]
+      : R extends `${string}OrderedAndPaginated` ? [order: GetOrderByInput<I>, pagination: PaginationOptions<GetCursorInput<I>>]
+      : R extends `${string}Paginated` ? [pagination: PaginationOptions<GetCursorInput<I>>]
+      : R extends `${string}Ordered` ? [order: GetOrderByInput<I>]
+      : [])
+];
+
+type PrismaDelegate<M extends Prisma.ModelName> = Uncapitalize<M> extends keyof DbClient ? DbClient[Uncapitalize<M>] : never;
+
+type FullModelType<M extends Prisma.ModelName> = 
+  Prisma.Result<PrismaDelegate<M>, {}, 'findMany'> extends Array<infer U> ? U : never;
+
+type PrecomputedSelects<M extends Prisma.ModelName, SelectModels> = {
+    [S in keyof SelectModels]: Prisma.Result<PrismaDelegate<M>, { select: SelectModels[S] }, 'findMany'> extends Array<infer U> ? U : never
+};
+
+type SelectedModel<M extends Prisma.ModelName, S, SelectModels> = 
+    [S] extends [false] 
+        ? FullModelType<M>
+        : [S] extends [never] 
+            ? FullModelType<M> 
+            : [S] extends [keyof SelectModels] 
+                ? PrecomputedSelects<M, SelectModels>[S]
+                : FullModelType<M>;
+
+type CleanFields<R extends string> =
+    R extends `${infer F}PaginatedAndOrdered` ? F :
+    R extends `${infer F}OrderedAndPaginated` ? F :
+    R extends `${infer F}Paginated` ? F :
+    R extends `${infer F}Ordered` ? F :
+    R extends `${infer F}SkipDuplicates` ? F : R;
+
+/**
+ * Additional options accepted by repository methods.
+ *
+ * @template S Available keys in `selectModels`.
+ */
+export type MethodOptions<S> = {
+    /**
+     * Select model to apply to the operation.
+     *
+     * @note Use `false` to return the full Prisma payload without a select.
+     */
+    selectModel?: S | false;
+    /**
+     * Prisma client or transaction to use for the operation.
+     */
+    db?: ClientOrTransaction;
+    /**
+     * Visibility mode for records with soft-delete.
+     *
+     * Only takes effect if `softRemovekName` is configured on the repository.
+     *
+     * - `"active"` — returns only non-deleted records (default).
+     * - `"removed"` — returns only deleted records.
+     * - `"all"` — returns all records, ignoring deletion status.
+     */
+    see?: SeeMode;
+};
+
+/**
+ * Version of `MethodOptions` derived directly from a configured `VSRepository` instance.
+ *
+ * @template TRepo Configured `VSRepository` instance (use `typeof myVSRepo`).
+ *
+ * @example
+ * const userVSRepo = setupVSRepo<User, "user">()(config);
+ * type Opts = MethodOptionsModel<typeof userVSRepo>;
+ */
+export type MethodOptionsModel<TRepo> =
+    TRepo extends VSRepository<any, any, infer Config>
+        ? MethodOptions<keyof ExtractSelectModels<Config> | false>
+        : never;
+
+type MethodFn<MethodName extends string, T, M extends Prisma.ModelName, R extends string, SelectModels, DefaultSelect extends keyof SelectModels | false, I> = 
+    <S extends keyof SelectModels | false = DefaultSelect>(...args: [...ExtractFields<T, CleanFields<R>, I>, ...ExtraArgs<MethodName, R, I>, options?: MethodOptions<S>]) => Promise<ResolveReturnType<MethodName, SelectedModel<M, S, SelectModels>>>;
+
+type GetMappedMethod<K extends string, MethodConf> = 
+    K extends `findBy${string}` ? (MethodConf extends { fbMode: 'one' } ? 'findByOne' : 'findByList') :
+    K extends `findOneBy${string}` ? 'findOneBy' :
+    K extends `existsBy${string}` ? 'existsBy' :
+    K extends `existsWhere${string}` ? 'existsWhere' :
+    K extends `findUniqueOrThrowBy${string}` ? 'findUniqueOrThrow' :
+    K extends `findUniqueBy${string}` ? 'findUnique' :
+    K extends `findFirstOrThrowBy${string}` | `findFirstOrThrow${string}` ? 'findFirstOrThrow' :
+    K extends `findFirstBy${string}` | `findFirst${string}` ? 'findFirst' :
+    K extends `findManyBy${string}` | `findMany${string}` ? 'findMany' :
+    K extends `createManyAndReturn${string}` ? 'createManyAndReturn' :
+    K extends `createMany${string}` ? 'createMany' :
+    K extends `create${string}` ? 'create' :
+    K extends `updateManyAndReturnBy${string}` ? 'updateManyAndReturnBy' :
+    K extends `updateManyAndReturnWhere${string}` ? 'updateManyAndReturnWhere' :
+    K extends `updateManyBy${string}` ? 'updateManyBy' :
+    K extends `updateManyWhere${string}` ? 'updateManyWhere' :
+    K extends `updateBy${string}` ? 'updateBy' :
+    K extends `upsertBy${string}` ? 'upsertBy' :
+    K extends `deleteManyBy${string}` ? 'deleteManyBy' :
+    K extends `deleteManyWhere${string}` ? 'deleteManyWhere' :
+    K extends `deleteBy${string}` ? 'deleteBy' :
+    K extends `countWhere${string}` ? 'countWhere' :
+    K extends `countBy${string}` | `count${string}` ? 'count' :
+    K extends `findListWhere${string}` ? 'findListWhere' :
+    K extends `findOneWhere${string}` ? 'findOneWhere' :
+    K extends `findWhere${string}` ? 'findWhere' :
+    K extends 'aggregate' ? 'aggregate' :
+    K extends 'groupBy' ? 'groupBy' :
+    never;
+
+type ExtractPatternBase<K extends string> = 
+    K extends `${string}By${infer R}` ? R :
+    K extends `findFirstOrThrow${infer R}` ? R :
+    K extends `findFirst${infer R}` ? R :
+    K extends `findMany${infer R}` ? R :
+    K extends `createManyAndReturn${infer R}` ? R :
+    K extends `createMany${infer R}` ? R :
+    K extends `create${infer R}` ? R :
+    K extends `countWhere${infer R}` ? R :
+    K extends `count${infer R}` ? R :
+    K extends `findListWhere${infer R}` ? R :
+    K extends `findOneWhere${infer R}` ? R :
+    K extends `findWhere${infer R}` ? R :
+    K extends `existsWhere${infer R}` ? R :
+    K extends `updateManyWhere${infer R}` ? R :
+    K extends `updateManyAndReturnWhere${infer R}` ? R :
+    K extends `deleteManyWhere${infer R}` ? R : '';
+
+type MethodFactory<T, M extends Prisma.ModelName, K extends string, SelectModels, DefaultSelect extends keyof SelectModels | false, I, MethodConf> = 
+    K extends `findWhere${string}`
+        ? {
+            /** @deprecated Use findOneWhere instead. */
+            <S extends keyof SelectModels | false = DefaultSelect>(...args: [...ExtractFields<T, CleanFields<ExtractPatternBase<K>>, I>, ...ExtraArgs<GetMappedMethod<K, MethodConf>, ExtractPatternBase<K>, I>, options?: MethodOptions<S>]): Promise<ResolveReturnType<GetMappedMethod<K, MethodConf>, SelectedModel<M, S, SelectModels>>>;
+          }
+        : MethodFn<GetMappedMethod<K, MethodConf>, T, M, ExtractPatternBase<K>, SelectModels, DefaultSelect, I>;
+
+type ResolveSelectModel<MethodConf, GlobalConf, SelectModels> = 
+    MethodConf extends { selectModel: infer S } ? (S extends false ? false : S extends keyof SelectModels ? S : never) : 
+    GlobalConf extends { defaultSelectModel: infer D } ? (D extends keyof SelectModels ? D : never) : never;
+
+type ExtractPkName<T, Config> = Config extends { pkName: infer PK } ? (PK extends keyof T ? PK : never) : never;
+type ExtractSelectModels<Config> = Config extends { selectModels: infer SM } ? SM : {};
+type ExtractDefaultSelect<Config> = Config extends { defaultSelectModel: infer D } ? D : never;
+type ExtractRelations<Config> = Config extends { relations: infer R } ? (R extends object ? R : {}) : {};
+type ExtractSoftRemovekName<Config> = Config extends { softRemovekName: infer S } ? S : never;
+
+type AggregateMethod<M extends Prisma.ModelName> = <A extends Prisma.TypeMap['model'][M]['operations']['aggregate']['args']>(
+    prismaArgs: A, 
+    options?: { db?: ClientOrTransaction }
+) => Promise<Prisma.Result<PrismaDelegate<M>, A, 'aggregate'>>;
+
+type GroupByMethod<M extends Prisma.ModelName> = <A extends Prisma.TypeMap['model'][M]['operations']['groupBy']['args']>(
+    prismaArgs: A, 
+    options?: { db?: ClientOrTransaction }
+) => Promise<Prisma.Result<PrismaDelegate<M>, A, 'groupBy'>>;
+
+type DynamicMethods<T, M extends Prisma.ModelName, Config, I> = Config extends { methods: infer Methods }
+    ? {
+          [K in keyof Methods as Methods[K] extends { map: true } ? K : never]: K extends string
+              ? (Methods[K] extends { proxyTo: infer P extends string } ? P : K) extends infer ResolvedKey
+                  ? ResolvedKey extends 'aggregate'
+                      ? AggregateMethod<M>
+                      : ResolvedKey extends 'groupBy'
+                      ? GroupByMethod<M>
+                      : ResolvedKey extends string
+                      ? MethodFactory<T, M, ResolvedKey, ExtractSelectModels<Config>, ResolveSelectModel<Methods[K], Config, ExtractSelectModels<Config>>, I, Methods[K]>
+                      : never
+                  : never
+              : never;
+      }
+    : {};
+
+/**
+ * Groups the main Prisma input types derived from a model.
+ *
+ * @template M Prisma model name.
+ */
+export type PrismaModelInputs<M extends Prisma.ModelName> = {
+    /** Type of the `select` argument used in model queries. */
+    select: Prisma.TypeMap['model'][M]['operations']['findMany']['args']['select'];
+    /** Type of the `data` used in `create`. */
+    createInput: Prisma.TypeMap['model'][M]['operations']['create']['args']['data'];
+    /** Type of the `data` used in `createMany`. */
+    createManyInput: Prisma.TypeMap['model'][M]['operations']['createMany']['args']['data'];
+    /** Type of the `data` used in `update`. */
+    updateInput: Prisma.TypeMap['model'][M]['operations']['update']['args']['data'];
+    /** Type of the `data` used in `updateMany`. */
+    updateManyInput: Prisma.TypeMap['model'][M]['operations']['updateMany']['args']['data'];
+    /** Type of the `where` used in model queries. */
+    whereInput: Prisma.TypeMap['model'][M]['operations']['findMany']['args']['where'];
+    /** Type of the `orderBy` used in model queries. */
+    orderByInput: Prisma.TypeMap['model'][M]['operations']['findMany']['args']['orderBy'];
+    /** Type of the cursor used in model queries. */
+    cursorInput: Prisma.TypeMap['model'][M]['operations']['findMany']['args']['cursor'];
+    /** Type of the `create` payload used in `upsert`. */
+    upsertCreateInput: Prisma.TypeMap['model'][M]['operations']['upsert']['args']['create'];
+    /** Type of the `update` payload used in `upsert`. */
+    upsertUpdateInput: Prisma.TypeMap['model'][M]['operations']['upsert']['args']['update'];
+};
+
+/**
+ * Type of the `select` object of a Prisma model.
+ */
+export type SelectModel<M extends Prisma.ModelName> = PrismaModelInputs<M>['select'];
+
+/**
+ * Map of named, reusable selects for a Prisma model.
+ */
+export type SelectModels<M extends Prisma.ModelName> = Record<string, SelectModel<M>>;
+
+/**
+ * Type of the `where` object of a Prisma model.
+ */
+export type WhereModel<M extends Prisma.ModelName> = PrismaModelInputs<M>['whereInput'];
+
+/**
+ * Type of the `orderBy` object of a Prisma model.
+ */
+export type OrdenationModel<M extends Prisma.ModelName> = PrismaModelInputs<M>['orderByInput'];
+
+/**
+ * Pagination options with typed cursor for a Prisma model.
+ */
+export type PaginationModel<M extends Prisma.ModelName> = PaginationOptions<PrismaModelInputs<M>['cursorInput']>;
+
+/**
+ * Base payload used to create a record in the model's `save`/`upsert`.
+ */
+export type ModelUpsertInput<M extends Prisma.ModelName> = PrismaModelInputs<M>['upsertCreateInput'];
+
+/**
+ * Configuration for a dynamic method defined in `methods`.
+ *
+ * @template M Prisma model name.
+ * @template SelectModels Map of select models available in the repository.
+ */
+export type MethodConfig<M extends Prisma.ModelName, SelectModels = any> = {
+    /** Defines whether the method will be exposed on the repository. */
+    readonly map: boolean;
+    /** Overrides `defaultSelectModel` for this method only. */
+    readonly selectModel?: string | false;
+    /** Controls whether the method combines (`extending`) or overwrites (`overwrite`) the `requiredWhere`. */
+    readonly whereType?: 'overwrite' | 'extending';
+    /** Redirects the logic to another valid method pattern. */
+    readonly proxyTo?: ValidMethodPatterns;
+    /** Adds an extra `where` on top of `requiredWhere`. */
+    readonly pushWhere?: WhereModel<M>;
+    /** 
+     * Defines whether `findBy` returns a single item (`one`) or a list (`list`).
+     * @deprecated Use `findOneBy` if you want to return a single result.
+     */
+    readonly fbMode?: 'one' | 'list';
+    /** Injects a fixed ordering automatically into the query. */
+    readonly injectOrdenation?: OrdenationModel<M>;
+    /** Injects a fixed pagination automatically into the query. */
+    readonly injectPagination?: PaginationModel<M>;
+};
+
+type BaseMethodConfig<TSelectKeys extends PropertyKey = string> = {
+    /** Enables or disables the base method in the `build`. */
+    active?: boolean;
+    /** Default select model used by the base method. */
+    defaultSelect?: TSelectKeys;
+    /** Ignores the `requiredWhere`. */
+    ignoreRequiredWhere?: boolean;
+};
+
+/**
+ * Configuration applied during `.build(prisma, config?)`.
+ *
+ * @template TSelectKeys Valid keys of `selectModels`.
+ */
+export type BuildConfig<TSelectKeys extends PropertyKey = string> = {
+    /**
+     * Freezes the final repository object with `Object.freeze`.
+     * @deprecated No longer has any practical effect in the next version — freeze will be always applied.
+     */
+    freeze?: boolean;
+    /** Prints internal working logs to the console. */
+    showWorking?: boolean;
+    /** Customizes the behavior of the automatic base methods. */
+    baseMethods?: {
+        /** Configuration for the `get` method. */
+        get?: BaseMethodConfig<TSelectKeys>;
+        /** Configuration for the `getOrThrow` method. */
+        getOrThrow?: BaseMethodConfig<TSelectKeys>;
+        /** Configuration for the `getList` method (fetch by list of PKs). */
+        getList?: BaseMethodConfig<TSelectKeys>;
+        /** Configuration for the `remove` method. */
+        remove?: BaseMethodConfig<TSelectKeys>;
+        /** Configuration for the `save` method. */
+        save?: BaseMethodConfig<TSelectKeys>;
+        /** Configuration for the `patch` method. */
+        patch?: BaseMethodConfig<TSelectKeys>;
+        /** Configuration for the `merge` method. */
+        merge?: BaseMethodConfig<TSelectKeys>;
+        /** Configuration for the `removeList` method (batch deletion). Does not accept select. */
+        removeList?: Omit<BaseMethodConfig<TSelectKeys>, 'defaultSelect'>;
+        /** Configuration for the `getAll` method (full listing). */
+        getAll?: BaseMethodConfig<TSelectKeys>;
+        /** Configuration for the `total` method (count). Does not accept select. */
+        total?: Omit<BaseMethodConfig<TSelectKeys>, 'defaultSelect'>;
+        /** Configuration for the `has` method (existence check). Does not accept select. */
+        has?: Omit<BaseMethodConfig<TSelectKeys>, 'defaultSelect'>;
+        /** Configuration for the `saveList` method (batch save via transaction). */
+        saveList?: BaseMethodConfig<TSelectKeys>;
+        /** Configuration for the `patchList` method (batch update via transaction). */
+        patchList?: BaseMethodConfig<TSelectKeys>;
+        /** Configuration for the `softRemove` method. Only available if `softRemovekName` is configured. */
+        softRemove?: BaseMethodConfig<TSelectKeys>;
+        /** Configuration for the `softRemoveList` method. Does not accept select. Only available if `softRemovekName` is configured. */
+        softRemoveList?: Omit<BaseMethodConfig<TSelectKeys>, 'defaultSelect'>;
+        /** Configuration for the `restore` method. Only available if `softRemovekName` is configured. */
+        restore?: BaseMethodConfig<TSelectKeys>;
+        /** Configuration for the `restoreList` method. Does not accept select. Only available if `softRemovekName` is configured. */
+        restoreList?: Omit<BaseMethodConfig<TSelectKeys>, 'defaultSelect'>;
+    };
+};
+
+type ResolveMethodDefaultSelect<Config, C, Method extends keyof NonNullable<BuildConfig['baseMethods']>, TSelects = ExtractSelectModels<Config>> =
+    C extends { baseMethods?: { [_ in Method]?: { defaultSelect?: infer D } } }
+        ? D extends keyof TSelects 
+            ? D 
+            : ExtractDefaultSelect<Config> extends keyof TSelects 
+                ? ExtractDefaultSelect<Config> 
+                : false
+        : ExtractDefaultSelect<Config> extends keyof TSelects 
+            ? ExtractDefaultSelect<Config> 
+            : false;
+
+type ResolveCurrentReturn<M extends Prisma.ModelName, Models, S, D> = 
+    [S] extends [false] 
+        ? FullModelType<M> 
+        : [S] extends [never] 
+            ? ([D] extends [never] ? FullModelType<M> : SelectedModel<M, D, Models>)
+            : SelectedModel<M, S, Models>;
+
+// ─── helpers reused within the mapped type ───────────────────────────────────
+// ─── relation payload types ──────────────────────────────────────────────────
+
+/**
+ * Distributive version of `Omit`, preserving unions when removing properties.
+ */
+type DistributiveOmit<T, K extends keyof any> = T extends any ? Omit<T, K> : never;
+type ExtractUnionProp<T, K extends PropertyKey> = T extends any ? (K extends keyof T ? T[K] : never) : never;
+
+type ExtractNestedCreateInput<M extends Prisma.ModelName, K extends PropertyKey> =
+    NonNullable<ExtractUnionProp<PrismaModelInputs<M>['createInput'], K>> extends { create?: infer C }
+        ? Exclude<C, any[]>
+        : never;
+
+type RelationPayload<TField, TRelationConfig, M extends Prisma.ModelName, K extends PropertyKey> = NonNullable<TField> extends any[]
+    ? ExtractNestedCreateInput<M, K>[]
+    : NonNullable<TField> extends object
+      ? ExtractNestedCreateInput<M, K> | (TRelationConfig extends { mode: 'oto'; restriction: 'set' } | { mode: 'mto'; nullable: true } | { mode: 'mto'; nullAble: true } ? null : never)
+      : never;
+
+type TransformCreatePayload<U, T, M extends Prisma.ModelName, TRelations> =
+    Omit<U, keyof TRelations> &
+    {
+        // Fields that are REQUIRED in this specific branch of the Prisma union
+        [K in Extract<keyof TRelations, keyof U> as {} extends Pick<U, K> ? never : K]: 
+            K extends keyof T ? RelationPayload<T[K], TRelations[K], M, K> : never;
+    } &
+    {
+        // Fields that are OPTIONAL in this branch or do not originally belong to it
+        [K in keyof TRelations as K extends keyof U ? ({} extends Pick<U, K> ? K : never) : K]?: 
+            K extends keyof T ? RelationPayload<T[K], TRelations[K], M, K> : never;
+    };
+
+/**
+ * Payload accepted by `save` when the repository has configured relations.
+ */
+type UpsertWithRelations<T, M extends Prisma.ModelName, TRelations> =
+    ModelUpsertInput<M> extends infer U
+        ? U extends any
+            ? Simplify<TransformCreatePayload<U, T, M, TRelations>>
+            : never
+        : never;
+
+type CleanNestedInput<T> = T extends any
+    ? T extends { data: infer D }
+        ? CleanNestedInput<Exclude<D, any[]>>
+        : Omit<T, 'where' | 'data'>
+    : never;
+
+type ExtractNestedUpdateInput<M extends Prisma.ModelName, K extends PropertyKey> =
+    NonNullable<ExtractUnionProp<PrismaModelInputs<M>['updateInput'], K>> extends { update?: infer U }
+        ? CleanNestedInput<Exclude<U, any[]>>
+        : never;
+
+type RelationUpdatePayload<TField, TRelationConfig, M extends Prisma.ModelName, K extends PropertyKey> = NonNullable<TField> extends any[]
+    ? ExtractNestedUpdateInput<M, K>[]
+    : NonNullable<TField> extends object
+      ? ExtractNestedUpdateInput<M, K> | (TRelationConfig extends { mode: 'oto'; restriction: 'set' } | { mode: 'mto'; nullable: true } | { mode: 'mto'; nullAble: true } ? null : never)
+      : never;
+
+/**
+ * Payload accepted by `patch` when the repository has configured relations.
+ */
+type UpdateWithRelations<T, M extends Prisma.ModelName, TRelations> =
+    DistributiveOmit<PrismaModelInputs<M>['updateInput'], keyof TRelations> & {
+        [K in Extract<keyof TRelations, keyof T>]?: RelationUpdatePayload<T[K], TRelations[K], M, K>;
+    };
+
+/**
+ * Extracts the payload type of the `save` method from a configured VSRepository instance.
+ */
+export type SaveObject<TInput, TRepo> = 
+    TRepo extends VSRepository<infer T, infer M, infer Config>
+        ? (Config extends { relations: infer R } ? (R extends object ? R : {}) : {}) extends infer TRelations
+            ? TInput extends infer U 
+                ? U extends any 
+                    ? Simplify<TransformCreatePayload<U, T, M, TRelations>>
+                    : never
+                : never
+            : never
+        : never;
+
+/**
+ * Extracts the payload type of the `patch` method from a configured VSRepository instance.
+ */
+export type PatchObject<TInput, TRepo> = 
+    TRepo extends VSRepository<infer T, infer M, infer Config>
+        ? (Config extends { relations: infer R } ? (R extends object ? R : {}) : {}) extends infer TRelations
+            ? DistributiveOmit<TInput, keyof TRelations> & {
+                  [K in Extract<keyof TRelations, keyof T>]?: RelationUpdatePayload<T[K], TRelations[K], M, K>;
+              }
+            : never
+        : never;
+
+
+type _Pk<T, Config> = WidenField<T[ExtractPkName<T, Config> extends keyof T ? ExtractPkName<T, Config> : never]>;
+type _Ret<M extends Prisma.ModelName, TSelects, S, TDefault> = ResolveCurrentReturn<M, TSelects, S, TDefault>;
+type _DS<Config, C, Method extends keyof NonNullable<BuildConfig['baseMethods']>, TSelects = ExtractSelectModels<Config>> =
+    ResolveMethodDefaultSelect<Config, C, Method, TSelects>;
+type _Sel<Config> = ExtractSelectModels<Config>;
+type _Def<Config> = ExtractDefaultSelect<Config>;
+type _Rel<Config> = ExtractRelations<Config>;
+type _Soft<Config> = ExtractSoftRemovekName<Config>;
+
+// ─── refactored mapped type — optimized for the TS compiler ──────────────────
+
+type AllBaseMethods<
+    T,
+    M extends Prisma.ModelName,
+    Config,
+    C extends BuildConfig<any> | undefined,
+    TSelects  = _Sel<Config>,
+    TDefault  = _Def<Config>,
+    TPk       = ExtractPkName<T, Config>,
+    TRelations = _Rel<Config>,
+    TSoftKey  = _Soft<Config>,
+    I         = PrismaModelInputs<M>
+> = {
+    /** Fetches a record by its primary key (PK). */
+    get: <S extends keyof TSelects | false = _DS<Config, C, 'get', TSelects>>(
+        pk: _Pk<T, Config>, options?: MethodOptions<S>
+    ) => Promise<_Ret<M, TSelects, S, TDefault> | null>;
+
+    /** Fetches a record by PK and throws `VSRepoRuntimeError` if not found. */
+    getOrThrow: <S extends keyof TSelects | false = _DS<Config, C, 'getOrThrow', TSelects>>(
+        pk: _Pk<T, Config>, options?: MethodOptions<S>
+    ) => Promise<_Ret<M, TSelects, S, TDefault>>;
+
+    /** Fetches multiple records by a list of primary keys (PKs). */
+    getList: <S extends keyof TSelects | false = _DS<Config, C, 'getList', TSelects>>(
+        pks: _Pk<T, Config>[], options?: MethodOptions<S>
+    ) => Promise<_Ret<M, TSelects, S, TDefault>[]>;
+
+    /** Deletes a record identified by its primary key (PK). */
+    remove: <S extends keyof TSelects | false = _DS<Config, C, 'remove', TSelects>>(
+        pk: _Pk<T, Config>, options?: MethodOptions<S>
+    ) => Promise<_Ret<M, TSelects, S, TDefault>>;
+
+    /** Inserts or updates (upsert) a record. */
+    save: <S extends keyof TSelects | false = _DS<Config, C, 'save', TSelects>>(
+        obj: UpsertWithRelations<T, M, TRelations>, options?: MethodOptions<S>
+    ) => Promise<_Ret<M, TSelects, S, TDefault>>;
+
+    /** Saves an array of objects in a single automatic transaction. */
+    saveList: <S extends keyof TSelects | false = _DS<Config, C, 'saveList', TSelects>>(
+        objs: UpsertWithRelations<T, M, TRelations>[], options?: Omit<MethodOptions<S>, 'db'> & { db?: DbTransaction }
+    ) => Promise<_Ret<M, TSelects, S, TDefault>[]>;
+
+    /** Partially updates (patch) an existing record by its primary key (PK). */
+    patch: <S extends keyof TSelects | false = _DS<Config, C, 'patch', TSelects>>(
+        pk: _Pk<T, Config>, obj: UpdateWithRelations<T, M, TRelations>, options?: MethodOptions<S>
+    ) => Promise<_Ret<M, TSelects, S, TDefault>>;
+
+    /** Partially updates multiple records via `[pk, obj]` tuples in an automatic transaction. */
+    patchList: <S extends keyof TSelects | false = _DS<Config, C, 'patchList', TSelects>>(
+        tuples: [pk: _Pk<T, Config>, obj: UpdateWithRelations<T, M, TRelations>][], options?: Omit<MethodOptions<S>, 'db'> & { db?: DbTransaction }
+    ) => Promise<_Ret<M, TSelects, S, TDefault>[]>;
+
+    /** Fetches a record by PK and deep-merges it with the provided object **in memory**. */
+    merge: <S extends keyof TSelects | false = _DS<Config, C, 'merge', TSelects>>(
+        pk: _Pk<T, Config>, obj: UpdateWithRelations<T, M, TRelations>, options?: MethodOptions<S>
+    ) => Promise<_Ret<M, TSelects, S, TDefault> | null>;
+
+    /** Deletes multiple records by their primary keys. */
+    removeList: (pks: _Pk<T, Config>[], options?: { db?: ClientOrTransaction }) => Promise<{ count: number }>;
+
+    /** Fetches all records (respects `requiredWhere` when set). */
+    getAll: <S extends keyof TSelects | false = _DS<Config, C, 'getAll', TSelects>>(
+        options?: MethodOptions<S> & {
+            pagination?: PaginationOptions<I extends { cursorInput: infer Curs } ? Curs : unknown>;
+            order?: I extends { orderByInput: infer OB } ? OB : OrderOptions;
+        }
+    ) => Promise<_Ret<M, TSelects, S, TDefault>[]>;
+
+    /** Returns the total number of records. */
+    total: (options?: { db?: ClientOrTransaction; see?: SeeMode }) => Promise<number>;
+
+    /** Checks whether a record exists by its primary key (PK). */
+    has: (pk: _Pk<T, Config>, options?: { db?: ClientOrTransaction; see?: SeeMode }) => Promise<boolean>;
+
+    /** Marks a record as deleted (soft-delete). */
+    softRemove: <S extends keyof TSelects | false = _DS<Config, C, 'softRemove', TSelects>>(
+        pk: _Pk<T, Config>, options?: Omit<MethodOptions<S>, 'see'>
+    ) => Promise<_Ret<M, TSelects, S, TDefault>>;
+
+    /** Marks multiple records as deleted (soft-delete) in batch. */
+    softRemoveList: (pks: _Pk<T, Config>[], options?: { db?: ClientOrTransaction }) => Promise<{ count: number }>;
+
+    /** Restores a record previously marked as deleted (soft-delete). */
+    restore: <S extends keyof TSelects | false = _DS<Config, C, 'restore', TSelects>>(
+        pk: _Pk<T, Config>, options?: Omit<MethodOptions<S>, 'see'>
+    ) => Promise<_Ret<M, TSelects, S, TDefault>>;
+
+    /** Restores multiple records previously marked as deleted (soft-delete) in batch. */
+    restoreList: (pks: _Pk<T, Config>[], options?: { db?: ClientOrTransaction }) => Promise<{ count: number }>;
+};
+
+type InjectedBaseMethods<
+    T,
+    M extends Prisma.ModelName,
+    Config,
+    C extends BuildConfig<any> | undefined,
+    TSelects  = _Sel<Config>,
+    TDefault  = _Def<Config>,
+    TPk       = ExtractPkName<T, Config>,
+    TRelations = _Rel<Config>,
+    TSoftKey  = _Soft<Config>,
+    I         = PrismaModelInputs<M>
+> = Pick<
+    AllBaseMethods<T, M, Config, C, TSelects, TDefault, TPk, TRelations, TSoftKey, I>,
+    | (C extends { baseMethods: { get:          { active: false } } } ? never : 'get')
+    | (C extends { baseMethods: { getOrThrow:   { active: false } } } ? never : 'getOrThrow')
+    | (C extends { baseMethods: { getList:      { active: false } } } ? never : 'getList')
+    | (C extends { baseMethods: { remove:       { active: false } } } ? never : 'remove')
+    | (C extends { baseMethods: { save:         { active: false } } } ? never : 'save')
+    | (C extends { baseMethods: { saveList:     { active: false } } } ? never : 'saveList')
+    | (C extends { baseMethods: { patch:        { active: false } } } ? never : 'patch')
+    | (C extends { baseMethods: { patchList:    { active: false } } } ? never : 'patchList')
+    | (C extends { baseMethods: { merge:        { active: false } } } ? never : 'merge')
+    | (C extends { baseMethods: { removeList:   { active: false } } } ? never : 'removeList')
+    | (C extends { baseMethods: { getAll:       { active: false } } } ? never : 'getAll')
+    | (C extends { baseMethods: { total:        { active: false } } } ? never : 'total')
+    | (C extends { baseMethods: { has:          { active: false } } } ? never : 'has')
+    | ([TSoftKey] extends [never] ? never : C extends { baseMethods: { softRemove:     { active: false } } } ? never : 'softRemove')
+    | ([TSoftKey] extends [never] ? never : C extends { baseMethods: { softRemoveList: { active: false } } } ? never : 'softRemoveList')
+    | ([TSoftKey] extends [never] ? never : C extends { baseMethods: { restore:        { active: false } } } ? never : 'restore')
+    | ([TSoftKey] extends [never] ? never : C extends { baseMethods: { restoreList:    { active: false } } } ? never : 'restoreList')
+>;
+
+
+/**
+ * Relation configuration for One-to-Many or Many-to-Many.
+ *
+ * @template TItem Type of the related entity.
+ */
+export type ManyRelationConfig<TItem> = {
+    /** Primary key of the related entity. */
+    pk: keyof TItem;
+    /** Relation type: `otm` (One-to-Many) or `mtm` (Many-to-Many). */
+    mode: 'otm' | 'mtm';
+    /** Mutation behavior: `set` (replaces all) or `add` (appends to existing). */
+    restriction: 'set' | 'add';
+};
+
+/**
+ * One-to-One relation configuration.
+ *
+ * @template TItem Type of the related entity.
+ */
+export type OneToOneRelationConfig<TItem> = {
+    /** Primary key of the related entity. */
+    pk: keyof TItem;
+    /** Relation type: `oto` (One-to-One). */
+    mode: 'oto';
+    /** Allowed mutation behavior for saving. */
+    restriction: 'set' | 'add';
+};
+
+/**
+ * Many-to-One relation configuration.
+ *
+ * @template TItem Type of the related entity.
+ */
+export type ManyToOneRelationConfig<TItem> = {
+    /** Primary key of the related entity. */
+    pk: keyof TItem;
+    /** Relation type: `mto` (Many-to-One). */
+    mode: 'mto';
+    /** Allowed mutation behavior for saving. */
+    restriction: 'set' | 'add';
+    /**
+     * Enables the ability to unlink the relation, setting the foreign key to null.
+     * @deprecated Use `nullable` (lowercase) instead of `nullAble`.
+     */
+    nullAble?: boolean;
+    /** Enables the ability to unlink the relation, setting the foreign key to null. */
+    nullable?: boolean;
+};
+
+/**
+ * Automatically infers the possible relation configuration from a field.
+ */
+export type ExtractRelationConfig<TField> = NonNullable<TField> extends infer NonNull
+    ? NonNull extends Date | Buffer | Uint8Array | Decimal | JsonValue ? never
+    : NonNull extends any[] ? (NonNull[number] extends object ? ManyRelationConfig<NonNull[number]> : never)
+    : NonNull extends object ? (OneToOneRelationConfig<NonNull> | ManyToOneRelationConfig<NonNull>)
+    : never
+    : never;
+
+/**
+ * Map of configurable relations for an entity type.
+ */
+export type RepositoryRelations<T> = {
+    [K in keyof T as ExtractRelationConfig<T[K]> extends never ? never : K]?: ExtractRelationConfig<T[K]>;
+};
+
+type AnySelect<M extends Prisma.ModelName> = Prisma.TypeMap['model'][M]['operations']['findMany']['args']['select'];
+
+/**
+ * Main configuration used in `setupVSRepo<T, M>()(config)`.
+ *
+ * @template T Type of the entity managed by the repository.
+ * @template M Prisma model name.
+ * @template SM Map of named select models.
+ */
+export type RepoConfig<T, M extends Prisma.ModelName, SM extends Record<string, AnySelect<M>> = Record<string, AnySelect<M>>> = {
+    tableName: Uncapitalize<M>;
+    pkName: keyof T;
+    softRemovekName?: keyof T & string;
+    selectModels?: SM;
+    defaultSelectModel?: Extract<keyof SM, string>;
+    requiredWhere?: WhereModel<M>;
+    relations?: RepositoryRelations<T>;
+    methods?: Record<string, MethodConfig<M, SM>>;
+};
+
+/**
+ * Final type returned by `.build(prisma)`.
+ *
+ * Combines dynamic methods, base methods, and custom extensions.
+ */
+type BuiltRepository<T extends object, M extends Prisma.ModelName, Config extends RepoConfig<T, M, any>, C extends BuildConfig<any> | undefined> = {
+    /**
+     * Extends the repository with custom methods without losing type inference.
+     */
+    extend<E>(extensionFunc: (repo: BuiltRepository<T, M, Config, C>) => E): BuiltRepository<T, M, Config, C> & E;
+
+    /**
+     * The Prisma Client instance passed to `build`.
+     */
+    readonly prisma: DbClient;
+} & DynamicMethods<T, M, Config, PrismaModelInputs<M>> & InjectedBaseMethods<T, M, Config, C>;
+
+/**
+ * Typed repository factory based on the Prisma model configuration.
+ */
+export declare class VSRepository<T extends object, M extends Prisma.ModelName, const Config extends RepoConfig<T, M, any> = RepoConfig<T, M, any>> {
+    /** Original configuration provided to `setupVSRepo`. */
+    readonly config: Config;
+    /**
+     * Creates a configurable instance of `VSRepository`.
+     */
+    constructor(config: Config);
+    /**
+     * Builds the final repository with base and dynamic methods.
+     */
+    build<C extends BuildConfig<keyof ExtractSelectModels<Config>>>(prisma: DbClient, config?: C): BuiltRepository<T, M, Config, C>;
+    vsrepocache: never;
+}
+
+/**
+ * Infers the type of an already-configured repository from a `VSRepository` instance.
+ *
+ * Also allows manually providing the `BuildConfig` and extensions type.
+ */
+export type RepositoryOf<TRepo, C extends BuildConfig<any> | undefined = undefined, E = unknown> =
+    TRepo extends VSRepository<infer T, infer M, infer Config>
+        ? Simplify<BuiltRepository<T, M, Config, C> & E>
+        : never;
+
+/**
+ * Utility type used to validate a repository configuration at compile time.
+ */
+export type ValidateRepoConfig<T extends object, M extends Prisma.ModelName, Config> = {
+    /**
+     * Name of the table mapped by Prisma (usually uncapitalized).
+     */
+    tableName: Uncapitalize<M>;
+
+    /**
+     * Name of the field that represents the entity's primary key (Primary Key).
+     */
+    pkName: keyof T;
+
+    /**
+     * Name of the `DateTime` field used for soft-delete.
+     *
+     * When configured, enables the `softRemove`, `softRemoveList`, `restore`, and `restoreList` methods.
+     * The field **must** be of type `DateTime` in the Prisma schema — VSRepository validates this during `build`.
+     */
+    softRemovekName?: keyof T & string;
+
+    /**
+     * Defines named and reusable data projections (selects).
+     * Allows creating different views of the same entity (e.g., `public`, `minimal`, `internal`).
+     */
+    selectModels?: SelectModels<M>;
+
+    /**
+     * Defines which select (a key from `selectModels`) will be used automatically
+     * when none is specified in the method call.
+     * It is highly recommended to define it whenever `selectModels` are used.
+     */
+    defaultSelectModel?: string;
+
+    /**
+     * Defines global filters that will be automatically applied to all repository queries.
+     * Useful for tenant isolation (multi-tenancy) or base restrictions (e.g., `isActive: true`).
+     */
+    requiredWhere?: WhereModel<M>;
+
+    /**
+     * Configures automatic relation management.
+     * When configured, allows the `save`, `saveList`, `patch`, and `patchList` methods 
+     * to automatically handle linking, creation, or cascading deletion of related records.
+     */
+    relations?: RepositoryRelations<T>;
+
+    /**
+     * Definition of dynamic repository methods.
+     * Behaviors and return types are automatically inferred from the method's name 
+     * (e.g., `findOneByEmail`, `findManyPaginated`) or proxied via the `proxyTo` property.
+     */
+    methods?: {
+        [K in keyof (Config extends { methods: infer Meth } ? Meth : {})]: K extends string
+            ? MethodConfig<M, Config extends { selectModels: infer SM } ? SM : any> & (K extends ValidMethodPatterns ? {} : { proxyTo: ValidMethodPatterns })
+            : never;
+    };
+};
+
+/**
+ * Function to initialize and configure the `repository`.
+ * The configuration passed here is what will be read when `.build()` is called.
+ */
+export declare function setupVSRepo<T extends object, M extends Prisma.ModelName>(): <
+    const SM extends Record<string, SelectModel<M>>,
+    const Config extends RepoConfig<T, M, SM>
+>(
+  config: Config & ValidateRepoConfig<T, M, Config>
+) => VSRepository<T, M, Config>;