zodselect 1.0.16 → 1.1.0

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>;
@@ -36,6 +36,8 @@ export type TuplifyUnion<T, TDepth extends number = 0, L = LastOf<T>, N = [T] ex
 type UnionFieldType<T extends ZodType> = Exclude<z.infer<T>, null | undefined> extends Array<infer U> ? Exclude<U, null | undefined> extends object ? boolean | RefineObject<Extract<U, object>, true> : boolean : Exclude<z.infer<T>, null | undefined> extends object ? boolean | RefineObject<Exclude<z.infer<T>, null | undefined>, true> : boolean;
 type UnionMergedShape<T extends ZodUnion> = UnionToIntersection<T['options'][number] extends ZodObject<infer Shape extends ZodRawShape> ? Shape : object>;
 export type UnionToIntersection<U> = (U extends any ? (x: U) => void : never) extends (x: infer I) => void ? I : never;
-export type Zodify<T, TDepth extends number = 0> = ApplyOptionalNullable<T, IsTuple<TuplifyUnion<Exclude<T, null | undefined>, TDepth>, ZodUnion<TuplifyUnion<Exclude<T, null | undefined>, TDepth>>, InternalZodify<Exclude<T, null | undefined>, TDepth>>>;
+export type Zodify<T, TDepth extends number = 0> = ApplyOptionalNullable<T, IsAny<T, ZodAny, [
+    Exclude<T, null | undefined>
+] extends [string] ? string extends Exclude<T, null | undefined> ? ZodString : ZodLiteral<Exclude<T, null | undefined>> : IsTuple<TuplifyUnion<Exclude<T, null | undefined>, TDepth>, ZodUnion<TuplifyUnion<Exclude<T, null | undefined>, TDepth>>, InternalZodify<Exclude<T, null | undefined>, TDepth>>>>;
 export declare function refineSchema<T extends ZodType<object> | ZodUnion, TShape extends RefineSchema<T, false>>(schema: T, shape: TShape): RefinedSchema<T, TShape, false>;
 export {};

package/dist/refine-schema.spec.js

@@ -273,4 +273,86 @@ 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');
+    });
+    it('keeps every option of a small enum in the refined type (control)', () => {
+        const stage = z.enum(['one', 'two', 'three']);
+        const project = z.object({ name: z.string(), stage });
+        const refined = refineSchema(project, { stage: true });
+        // Type-level assertion: every option must remain assignable to the refined type.
+        const selected = [
+            { stage: 'one' },
+            { stage: 'two' },
+            { stage: 'three' }
+        ];
+        deepStrictEqual(selected.map(s => refined.parse(s).stage), stage.options);
+    });
+    it('keeps every option of an enum wider than nine options in the refined type', () => {
+        // Regression test for `TuplifyUnion` (refine-schema.ts) truncating wide enums.
+        //
+        // `TuplifyUnion` spends one recursion level per union member and stops at its
+        // depth cap, so an enum field refined with `true` silently dropped every option
+        // past nine from the refined TYPE — and which options vanished varied with
+        // TypeScript's internal union ordering. Fixed by the ZodLiteral shortcut in
+        // `Zodify`. The runtime was unaffected, so this only broke the type-check
+        // (`tsc`), not `tsx --test`.
+        const stage = z.enum([
+            'draft', 'interviewing', 'interview-complete',
+            'previewing', 'preview-review',
+            'plan-review', 'plan-approved', 'local',
+            'spec-review', 'spec-approved',
+            'implementing', 'module-ready'
+        ]);
+        const project = z.object({ name: z.string(), stage });
+        const refined = refineSchema(project, { stage: true });
+        // Type-level assertion: each of the twelve options must remain assignable to
+        // the refined type. With the bug present, three of these assignments fail TS2322.
+        const selected = [
+            { stage: 'draft' },
+            { stage: 'interviewing' },
+            { stage: 'interview-complete' },
+            { stage: 'previewing' },
+            { stage: 'preview-review' },
+            { stage: 'plan-review' },
+            { stage: 'plan-approved' },
+            { stage: 'local' },
+            { stage: 'spec-review' },
+            { stage: 'spec-approved' },
+            { stage: 'implementing' },
+            { stage: 'module-ready' }
+        ];
+        deepStrictEqual(selected.map(s => refined.parse(s).stage), stage.options);
+    });
 });

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "zodselect",
-  "version": "1.0.16",
+  "version": "1.1.0",
   "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",
@@ -25,14 +25,15 @@
     }
   },
   "devDependencies": {
-    "@secure-data-systems/eslint-config": "^1.0.36",
-    "@secure-data-systems/tsconfig": "^1.0.5",
-    "@types/node": "^25.6.0",
-    "tsx": "^4.21.0",
-    "typescript": "^6.0.3"
+    "@secure-data-systems/eslint-config": "^1.0.38",
+    "@secure-data-systems/tsconfig": "^1.0.6",
+    "@types/node": "^26.1.1",
+    "tsx": "^4.23.1",
+    "typescript": "npm:@typescript/typescript6@^6.0.2",
+    "typescript-native": "npm:typescript@^7.0.2"
   },
   "dependencies": {
-    "zod": "^4.3.6"
+    "zod": "^4.4.3"
   },
   "scripts": {
     "build": "node scripts/build.mjs && tsc --project tsconfig.build.json",