zodselect 1.0.16 → 1.0.17

package/dist/refine-schema.d.ts

@@ -22,7 +22,7 @@ export type RefinedUnionSchema<T extends ZodUnion, TShape> = ZodUnion<T['options
 ] : never : never>;
 type Refinement<T extends ZodType, TIsSimple extends boolean> = TIsSimple extends true ? boolean : ((schema: T) => ZodType) | boolean | ZodType;
 export type RefineObject<T extends object, TIsSimple extends boolean> = {
-    [K in keyof T]?: RefineType<T[K], TIsSimple>;
+    [K in keyof T as string extends K ? never : number extends K ? never : symbol extends K ? never : K]?: RefineType<T[K], TIsSimple>;
 };
 export type RefineSchema<T extends ZodType<object> | ZodUnion, TIsSimple extends boolean> = T extends ZodUnion ? RefineZodUnion<T> : T extends ZodType<object> ? RefineObject<z.infer<T>, TIsSimple> : never;
 type RefineType<T, TIsSimple extends boolean> = IsTuple<TuplifyUnion<Exclude<T, null | undefined>>, Refinement<Zodify<T>, TIsSimple> | RefineZodUnion<Extract<T, ZodUnion>>, Exclude<T, null | undefined> extends string ? Refinement<ApplyOptionalNullable<T, ZodString>, TIsSimple> : Exclude<T, null | undefined> extends number ? Refinement<ApplyOptionalNullable<T, ZodNumber>, TIsSimple> : Exclude<T, null | undefined> extends boolean ? Refinement<ApplyOptionalNullable<T, ZodBoolean>, TIsSimple> : Exclude<T, null | undefined> extends Date ? Refinement<ApplyOptionalNullable<T, ZodDate>, TIsSimple> : Exclude<T, null | undefined> extends Array<infer U> ? Exclude<U, null | undefined> extends object ? Refinement<Zodify<T>, TIsSimple> | RefineObject<Extract<U, object>, TIsSimple> : Refinement<Zodify<T>, TIsSimple> : Exclude<T, null | undefined> extends object ? IsJsonType<Exclude<T, null | undefined>, false, Refinement<Zodify<T>, TIsSimple> | RefineObject<Extract<T, object>, TIsSimple>, Refinement<Zodify<T>, TIsSimple>> : unknown extends Exclude<T, null | undefined> ? Refinement<Zodify<T>, TIsSimple> : never>;

package/dist/refine-schema.spec.js

@@ -273,4 +273,38 @@ describe('.refineSchema()', () => {
         assert.equal(parsed.type, 'organization');
         assert.deepEqual(parsed.accessLevels, [{ name: 'Admin' }]);
     });
+    it('allows selecting a nested subfield of a declared looseObject field', () => {
+        // Regression test for `RefineObject` collapsing a `z.looseObject`'s declared fields.
+        //
+        // A `z.looseObject` carries a catchall index signature (`[k: string]: unknown`).
+        // `RefineObject` maps over `keyof T`, and when `T` has an index signature `keyof T`
+        // collapses to `string | number`, so every declared field's value type came from the
+        // catchall (`unknown` -> scalar `boolean`). Declared fields could be marked `true` but
+        // could NOT be drilled into. The runtime was unaffected, so this only broke the
+        // type-check (`tsc`), not `tsx --test`.
+        const personName = z.object({
+            first: z.string().optional(),
+            last: z.string().optional()
+        });
+        const user = z.looseObject({
+            _id: z.string(),
+            name: personName.optional(),
+            username: z.string()
+        });
+        const root = z.object({
+            invitedBy: user
+        });
+        // Type-level assertion: drilling into `invitedBy.name.first` is valid and MUST be
+        // assignable to the refine shape. With the bug present this `satisfies` fails to
+        // compile because `invitedBy`'s declared fields collapse to an index signature with
+        // `boolean` values.
+        const select = {
+            invitedBy: { name: { first: true } }
+        };
+        const refined = refineSchema(root, select);
+        const parsed = refined.parse({
+            invitedBy: { name: { first: 'Alice' } }
+        });
+        assert.equal(parsed.invitedBy.name?.first, 'Alice');
+    });
 });

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "zodselect",
-  "version": "1.0.16",
+  "version": "1.0.17",
   "description": "Type-safe selection utility built on top of Zod. Allows for strongly typed field selection, schema merging, and runtime refinement for frontend or backend use.",
   "author": "SecureDataSystems",
   "license": "MIT",