@vibeorm/generator 1.1.3 → 1.1.4

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@vibeorm/generator",
-  "version": "1.1.3",
+  "version": "1.1.4",
   "description": "TypeScript client generator for VibeORM — produces typed delegates, inputs, and Zod schemas from a Prisma schema",
   "license": "MIT",
   "keywords": [

package/src/generators/generate-delegates.ts

@@ -47,7 +47,7 @@ export function generateDelegates(params: { schema: Schema }): string {
   const extraImports = hasJsonField ? ", JsonValue" : "";
   parts.push(`import type { ${payloadImports}${extraImports} } from "./models.ts";`);
 
-  parts.push(`import type { GetResult } from "./result.ts";`);
+  parts.push(`import type { GetResult, Exact } from "./result.ts";`);
 
   // Import enums if any models have enum fields
   if (schema.enums.length > 0) {
@@ -123,7 +123,7 @@ ${findManyWhereBlock}${includeBlock}
    * });
    */
   findMany<T extends ${model.name}FindManyArgs>(
-    args?: T,
+    args?: Exact<T, ${model.name}FindManyArgs>,
   ): Promise<GetResult<${p}, T, "findMany">>;
 
   /**
@@ -138,7 +138,7 @@ ${findManyWhereBlock}
    * });
    */
   findFirst<T extends ${model.name}FindFirstArgs>(
-    args?: T,
+    args?: Exact<T, ${model.name}FindFirstArgs>,
   ): Promise<GetResult<${p}, T, "findFirst">>;
 
   /**
@@ -150,7 +150,7 @@ ${uniqueWhereBlock}
    * });
    */
   findUnique<T extends ${model.name}FindUniqueArgs>(
-    args: T,
+    args: Exact<T, ${model.name}FindUniqueArgs>,
   ): Promise<GetResult<${p}, T, "findUnique">>;
 
   /**
@@ -162,14 +162,14 @@ ${uniqueWhereBlock}
    * });
    */
   findUniqueOrThrow<T extends ${model.name}FindUniqueArgs>(
-    args: T,
+    args: Exact<T, ${model.name}FindUniqueArgs>,
   ): Promise<GetResult<${p}, T, "findUniqueOrThrow">>;
 
   /**
    * Find the first ${model.name} record matching a filter, or throw if not found.
    */
   findFirstOrThrow<T extends ${model.name}FindFirstArgs>(
-    args?: T,
+    args?: Exact<T, ${model.name}FindFirstArgs>,
   ): Promise<GetResult<${p}, T, "findFirstOrThrow">>;
 
   /**
@@ -181,7 +181,7 @@ ${createDataBlock}
    * });
    */
   create<T extends ${model.name}CreateArgs>(
-    args: T,
+    args: Exact<T, ${model.name}CreateArgs>,
   ): Promise<GetResult<${p}, T, "create">>;
 
   /**
@@ -209,7 +209,7 @@ ${createManyDataBlock}
    * });
    */
   createManyAndReturn<T extends ${model.name}CreateManyAndReturnArgs>(
-    args: T,
+    args: Exact<T, ${model.name}CreateManyAndReturnArgs>,
   ): Promise<GetResult<${p}, T, "createManyAndReturn">>;
 
   /**
@@ -222,7 +222,7 @@ ${updateDataBlock}
    * });
    */
   update<T extends ${model.name}UpdateArgs>(
-    args: T,
+    args: Exact<T, ${model.name}UpdateArgs>,
   ): Promise<GetResult<${p}, T, "update">>;
 
   /**
@@ -236,7 +236,7 @@ ${upsertUpdateBlock}
    * });
    */
   upsert<T extends ${model.name}UpsertArgs>(
-    args: T,
+    args: Exact<T, ${model.name}UpsertArgs>,
   ): Promise<GetResult<${p}, T, "upsert">>;
 
   /**
@@ -248,7 +248,7 @@ ${uniqueWhereBlock}
    * });
    */
   delete<T extends ${model.name}DeleteArgs>(
-    args: T,
+    args: Exact<T, ${model.name}DeleteArgs>,
   ): Promise<GetResult<${p}, T, "delete">>;
 
   /**

package/src/generators/generate-result.ts

@@ -36,6 +36,25 @@ type IsAny<T> = 0 extends 1 & T ? true : false;
 /** Flatten intersection types for cleaner hover tooltips */
 type Compute<T> = T extends Function ? T : { [K in keyof T]: T[K] } & unknown;
 
+/**
+ * Enforces strict type safety by recursively rejecting excess properties.
+ *
+ * TypeScript's structural subtyping allows objects to have extra properties
+ * when passed through generics (\`<T extends Args>\`). This utility type
+ * maps any key in A that is NOT in W to \`never\`, causing a compile-time
+ * error when unknown keys (e.g. typos in where/select/include) are used.
+ *
+ * Primitives, arrays, functions, and Dates are passed through unchanged
+ * to preserve literal types for return type narrowing via GetFindResult.
+ */
+export type Exact<A, W> = W extends unknown
+  ? A extends W
+    ? A extends Record<string, unknown>
+      ? { [K in keyof A]: K extends keyof W ? Exact<A[K], W[K]> : never }
+      : A
+    : W
+  : never;
+
 /** Extract scalar fields from a payload (default selection) */
 type DefaultSelection<P extends OperationPayload> = P["scalars"];