zodselect 1.0.17 → 1.1.0

package/dist/refine-schema.d.ts

@@ -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

@@ -307,4 +307,52 @@ describe('.refineSchema()', () => {
         });
         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.17",
+  "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",