attaform 0.30.1 → 0.31.1

package/dist/shared/{attaform.CO918TdU.mjs → attaform.B5b-HmhH.mjs}

@@ -1,7 +1,7 @@
-import { j as humanize, c as useAbstractForm } from './attaform.BIWicztt.mjs';
-import { A as AttaformError, e as canonicalizePath, a as InvalidUseFormConfigError } from './attaform.CdZIEf7_.mjs';
-import { s as slimPrimitivesWalk, d as deriveDefaultWalk, m as mergeDeep, f as fixStructuralDefaults, w as walkPathSegments, c as createAbstractSchema, a as createSharedSchemaStore, b as buildFieldMetaPathMap, e as getFieldMetaListForSchema, g as getFieldMetaForSchema } from './attaform.DRsANMok.mjs';
-import { c as callConsumerFn } from './attaform.8mfKZCwH.mjs';
+import { j as humanize, c as useAbstractForm } from './attaform.DAf4ehIe.mjs';
+import { A as AttaformError, e as canonicalizePath, a as InvalidUseFormConfigError } from './attaform.BhtAZysa.mjs';
+import { s as slimPrimitivesWalk, d as deriveDefaultWalk, m as mergeDeep, f as fixStructuralDefaults, w as walkPathSegments, c as createAbstractSchema, a as createSharedSchemaStore, b as buildFieldMetaPathMap, e as getFieldMetaListForSchema, g as getFieldMetaForSchema } from './attaform.j9xI_ObC.mjs';
+import { d as callConsumerFn } from './attaform._1Zp3mDG.mjs';
 
 function readDef(schema) {
   if (schema === null || typeof schema !== "object") return void 0;
@@ -119,9 +119,7 @@ function isCoercePrimitive(schema) {
   return readDef(schema)?.coerce === true;
 }
 function isPreprocessNode(schema) {
-  if (kindOf(schema) !== "pipe") return false;
-  const pipeIn = unwrapPipeIn(schema);
-  return pipeIn !== void 0 && kindOf(pipeIn) === "transform";
+  return kindOf(schema) === "pipe" && kindOf(readDef(schema)?.in) === "transform";
 }
 function unwrapPipeOut(schema) {
   const def = readDef(schema);
@@ -181,6 +179,9 @@ function getDiscriminatedOptions(schema) {
   return Array.isArray(options) ? options : [];
 }
 function assertZodVersion(schema) {
+  assertZodV4Node(schema);
+}
+function assertZodV4Node(schema) {
   const def = readDef(schema);
   if (def?.type === void 0) {
     throw new Error(
@@ -200,60 +201,6 @@ const DESCEND_SINGLE = [
 ];
 const DESCEND_RECORD = ["shape", "entries"];
 const DESCEND_LIST = ["options", "items"];
-function walkSchemaTree(schema, visit, seen) {
-  const visited = seen ?? /* @__PURE__ */ new WeakSet();
-  const candidate = schema;
-  if (typeof candidate !== "object" || candidate === null) return false;
-  if (visited.has(candidate)) return false;
-  visited.add(candidate);
-  if (visit(schema)) return true;
-  const def = readDef(schema);
-  if (def === void 0) return false;
-  const slots = def;
-  for (const key of DESCEND_SINGLE) {
-    const child = slots[key];
-    if (child !== void 0 && walkSchemaTree(child, visit, visited)) return true;
-  }
-  for (const key of DESCEND_RECORD) {
-    const record = slots[key];
-    if (record !== void 0) {
-      for (const sub of Object.values(record)) {
-        if (walkSchemaTree(sub, visit, visited)) return true;
-      }
-    }
-  }
-  for (const key of DESCEND_LIST) {
-    const list = slots[key];
-    if (list !== void 0) {
-      for (const sub of list) {
-        if (walkSchemaTree(sub, visit, visited)) return true;
-      }
-    }
-  }
-  if (typeof def.getter === "function") {
-    try {
-      const inner = def.getter();
-      if (walkSchemaTree(inner, visit, visited)) return true;
-    } catch {
-    }
-  }
-  return false;
-}
-function containsDiscriminatedUnion(schema, seen) {
-  return walkSchemaTree(schema, (node) => kindOf(node) === "discriminated-union", seen);
-}
-function containsAsyncRefine(schema, seen) {
-  return walkSchemaTree(
-    schema,
-    (node) => {
-      for (const check of getChecks(node)) {
-        if (isAsyncCheck(check)) return true;
-      }
-      return false;
-    },
-    seen
-  );
-}
 const CONTAINER_SLOTS = [
   "shape",
   "entries",
@@ -265,31 +212,60 @@ const CONTAINER_SLOTS = [
   "left",
   "right"
 ];
-function hasContainerOrRootRefine(schema, seen) {
-  return walkSchemaTree(
-    schema,
-    (node) => {
-      const def = readDef(node);
-      if (def === void 0) return false;
-      const slots = def;
-      if (!CONTAINER_SLOTS.some((key) => slots[key] !== void 0)) return false;
-      return getChecks(node).length > 0;
-    },
-    seen
-  );
+const capabilityMemo = /* @__PURE__ */ new WeakMap();
+function capabilitiesOf(schema) {
+  let capabilities = capabilityMemo.get(schema);
+  if (capabilities === void 0) {
+    capabilities = scanCapabilities(schema);
+    const key = schema;
+    if (typeof key === "object" && key !== null) capabilityMemo.set(key, capabilities);
+  }
+  return capabilities;
+}
+function scanCapabilities(schema) {
+  const capabilities = {
+    asyncRefine: false,
+    asyncTransform: false,
+    discriminatedUnion: false,
+    containerOrRootRefine: false,
+    preprocessOrCoerce: false
+  };
+  walkCapabilities(schema, capabilities, /* @__PURE__ */ new WeakSet());
+  return capabilities;
+}
+function walkCapabilities(node, capabilities, visited) {
+  if (typeof node !== "object" || node === null || visited.has(node)) return;
+  visited.add(node);
+  const def = readDef(node);
+  if (def === void 0) return;
+  const checks = getChecks(node);
+  if (checks.some(isAsyncCheck)) capabilities.asyncRefine = true;
+  if (checks.some(isVerdictCheck) && CONTAINER_SLOTS.some((key) => def[key] !== void 0)) {
+    capabilities.containerOrRootRefine = true;
+  }
+  if (typeof def.transform === "function" && def.transform.constructor.name === "AsyncFunction") {
+    capabilities.asyncTransform = true;
+  }
+  if (kindOf(node) === "discriminated-union") capabilities.discriminatedUnion = true;
+  if (isCoercePrimitive(node) || isPreprocessNode(node)) capabilities.preprocessOrCoerce = true;
+  for (const key of DESCEND_SINGLE) walkCapabilities(def[key], capabilities, visited);
+  for (const key of DESCEND_RECORD) {
+    for (const sub of Object.values(def[key] ?? {})) walkCapabilities(sub, capabilities, visited);
+  }
+  for (const key of DESCEND_LIST) {
+    for (const sub of def[key] ?? []) walkCapabilities(sub, capabilities, visited);
+  }
+  if (typeof def.getter === "function") {
+    try {
+      walkCapabilities(def.getter(), capabilities, visited);
+    } catch {
+    }
+  }
 }
-function containsAsyncTransform(schema, seen) {
-  return walkSchemaTree(
-    schema,
-    (node) => {
-      const def = readDef(node);
-      if (def === void 0) return false;
-      const fn = def.transform;
-      if (typeof fn !== "function") return false;
-      return fn.constructor.name === "AsyncFunction";
-    },
-    seen
-  );
+function isVerdictCheck(check) {
+  if (typeof check !== "object" || check === null) return true;
+  const kind = check._zod?.def?.check;
+  return kind !== "describe" && kind !== "meta";
 }
 function isAsyncCheck(check) {
   if (typeof check !== "object" || check === null) return false;
@@ -347,17 +323,14 @@ function zodIssuesToValidationErrors(issues) {
 
 const V4_INTROSPECTOR = {
   kindOf: (schema) => kindOf(schema),
-  getObjectShape: (schema) => getObjectShape(schema),
+  getObjectShape,
   getTupleItems,
-  getDiscriminatedOptions: (schema) => getDiscriminatedOptions(schema),
+  getDiscriminatedOptions,
   getDiscriminator,
   getLiteralValues,
   isPreprocessNode,
   isCoercePrimitive,
-  containsAsyncRefine,
-  containsAsyncTransform,
-  containsDiscriminatedUnion,
-  hasContainerOrRootRefine,
+  capabilitiesOf,
   // Walker accessors (D2 / D3 / D5).
   getArrayElement: (schema) => {
     if (kindOf(schema) !== "array") return void 0;
@@ -384,7 +357,7 @@ const V4_INTROSPECTOR = {
 };
 
 function slimPrimitivesOf(schema, maxRecursionDepth) {
-  return new Set(slimPrimitivesWalk(schema, V4_INTROSPECTOR, maxRecursionDepth));
+  return slimPrimitivesWalk(schema, V4_INTROSPECTOR, maxRecursionDepth);
 }
 
 function deriveDefault(schema, useDefault, maxRecursionDepth) {
@@ -516,7 +489,7 @@ function isLeafRequired(schema, depth = 0) {
   return true;
 }
 function zodV4Adapter(rootSchema) {
-  assertZodVersion(rootSchema);
+  assertZodV4Node(rootSchema);
   assertKeyedRoot(rootSchema);
   return (_formKey, options) => sharedV4Schemas(
     rootSchema,
@@ -540,6 +513,7 @@ function buildV4Services() {
     slimPrimitivesOf: (schema, maxRecursionDepth) => slimPrimitivesOf(schema, maxRecursionDepth),
     deriveDefault: (schema, useDefault, maxRecursionDepth) => deriveDefault(schema, useDefault, maxRecursionDepth),
     runGetDefaults: (schema, config, maxRecursionDepth) => runGetDefaultsV4(schema, config, maxRecursionDepth),
+    validateSync: (schema, data) => validateSyncV4(schema, data),
     unwrapStructuralWrappers: (schema) => unwrapStructuralWrappers(schema),
     unwrapToDiscriminatedUnion: (schema) => unwrapToDiscriminatedUnion(schema),
     peelAllWrappers: (schema) => peelAllWrappers(schema),
@@ -558,37 +532,35 @@ function buildV4Services() {
   };
 }
 function runGetDefaultsV4(rootSchema, config, maxRecursionDepth) {
-  const { data } = getDefaultValuesFromZodSchema({
+  return getDefaultValuesFromZodSchema({
     schema: rootSchema,
     useDefaultSchemaValues: config.useDefaultSchemaValues,
     constraints: config.constraints,
     maxRecursionDepth
-  });
-  if (containsAsyncTransform(rootSchema) || containsAsyncRefine(rootSchema)) {
-    return { data, errors: void 0, success: true };
-  }
+  }).data;
+}
+const verdictRan = /* @__PURE__ */ new WeakMap();
+function validateSyncV4(rootSchema, data) {
+  const { asyncRefine, asyncTransform } = capabilitiesOf(rootSchema);
+  if (asyncRefine || asyncTransform) return [];
   try {
-    const parseResult = rootSchema.safeParse(data);
-    if (parseResult.success) {
-      return { data, errors: void 0, success: true };
-    }
-    return {
-      data,
-      errors: zodIssuesToValidationErrors(parseResult.error.issues),
-      success: false
-    };
+    const jitless = !verdictRan.has(rootSchema);
+    if (jitless) verdictRan.set(rootSchema, true);
+    const parseResult = rootSchema.safeParse(data, { jitless });
+    return parseResult.success ? [] : zodIssuesToValidationErrors(parseResult.error.issues);
   } catch {
-    return { data, errors: void 0, success: true };
+    return [];
   }
 }
 function buildSubSchemaStubV4(schema, maxRecursionDepth) {
   return {
-    needsAsyncValidation: () => containsAsyncRefine(schema),
-    getDefaultValues: () => ({
-      data: deriveDefault(schema, true, maxRecursionDepth),
-      errors: void 0,
-      success: true
-    }),
+    // Async work of either kind, as the root's `needsAsyncValidation`
+    // counts it: the field's `valid` waits for the first async pass.
+    needsAsyncValidation: () => {
+      const { asyncRefine, asyncTransform } = scanCapabilities(schema);
+      return asyncRefine || asyncTransform;
+    },
+    getDefaultValues: () => deriveDefault(schema, true, maxRecursionDepth),
     getSchemasAtPath: () => [],
     validateAtPath: async (data) => {
       const result = await schema.safeParseAsync(data);
@@ -638,7 +610,8 @@ function resolveFieldMetaAtPath(rootSchema, path, maxRecursionDepth) {
   };
 }
 function readDescription(schema) {
-  const candidate = schema.description;
+  const scope = globalThis;
+  const candidate = scope.__zod_globalRegistry?.get(schema)?.description ?? schema.description;
   return typeof candidate === "string" ? candidate : void 0;
 }
 

package/dist/shared/{attaform.2FslhB9R.d.mts → attaform.B9PYKlhB.d.mts}

@@ -1,6 +1,23 @@
 import { z } from 'zod';
-import { G as GenericForm, l as FlatPath, s as NestedType, F as FormKey, U as UseFormConfiguration, A as AbstractSchema, aq as AcceptableDefaults, ac as ValidateOnConfig, a as UseFormReturnType } from './attaform.Br8EBn5B.mjs';
+import { G as GenericForm, l as FlatPath, s as NestedType, F as FormKey, U as UseFormConfiguration, A as AbstractSchema, ap as AcceptableDefaults, ab as ValidateOnConfig, a as UseFormReturnType } from './attaform.i13OEHJF.mjs';
 
+/**
+ * A Zod v4 schema whose core definition matches `Def`, named by the
+ * `_zod` internals that classic `zod` and `zod/mini` schemas both carry.
+ */
+type ZodV4SchemaOf<Def> = {
+    _zod: {
+        def: Def;
+    };
+};
+/**
+ * Any Zod v4 schema, from `zod` or `zod/mini`. The public signatures that
+ * take a v4 schema below the root (`PathInput`, `PathOutput`, `withMeta`)
+ * constrain on it, for the reasons `SupportedRootSchema` gives.
+ */
+type ZodV4Schema = ZodV4SchemaOf<{
+    type: string;
+}>;
 /**
  * The Zod v4 schema roots `useForm` accepts. A fixed-shape
  * `z.object({ … })` is the common case; `z.record(K, V)` admits a
@@ -16,22 +33,29 @@ import { G as GenericForm, l as FlatPath, s as NestedType, F as FormKey, U as Us
  * `z.map` / `z.set`) are not form roots; wrap them under a key. The
  * adapter's runtime construction rejects them with a legible error.
  *
- * `z.ZodObject` MUST keep its `z.ZodRawShape` argument, and the
- * discriminated-union arm MUST stay fully applied. The unified entry's
- * v4 overload constrains on `SupportedRootSchema & ZodV4Internals` to
- * keep v3 schemas out (see `../unified/types-zod-major.ts`). In a
- * single-major (v3-only) consumer install, the published `.d.mts`
- * resolves this `z` to v3, where a bare or under-applied Zod class is
- * missing its required arguments and degrades to an `any`-like error
- * type; `any` then absorbs the union and `any & ZodV4Internals`
- * collapses back to `any`, so the marker stops excluding v3 schemas and
- * the read slot poisons to `never`. `z.ZodRecord` carries defaults for
- * both arguments, so it stays concrete in either major.
- * `z.ZodDiscriminatedUnion` does NOT (v3 requires both arguments, and
- * its parameter order is the reverse of v4's), so the arm is written
- * fully applied; the v3-only bundled-types fixture guards it.
+ * Each arm is structural on `_zod.def.type`, Zod's core internals, so a
+ * `zod/mini` root binds exactly as its classic twin does, and the form
+ * types project through `z.input` / `z.output`, which are core's too. A
+ * plain union's `def` has no `discriminator`, which keeps it out of the
+ * third arm.
+ *
+ * The alias names nothing from `zod`, and the unified `attaform/zod`
+ * entry depends on that. Its published `.d.mts` resolves `zod` against
+ * the one major a consumer installed, and in a v3-only install a classic
+ * class reference such as `z.ZodObject` degrades to an `any`-like error
+ * type, which a v3 schema satisfies: the v4 overload would capture it and
+ * collapse its read slot to `never`. No v3 schema carries `_zod`, so this
+ * constraint sends every v3 schema to the v3 overload however `zod`
+ * resolves. The v3-only bundled-types fixture guards it.
  */
-type SupportedRootSchema = z.ZodObject<z.ZodRawShape> | z.ZodRecord | z.ZodDiscriminatedUnion<readonly z.ZodObject<z.ZodRawShape>[], string>;
+type SupportedRootSchema = ZodV4SchemaOf<{
+    type: 'object';
+}> | ZodV4SchemaOf<{
+    type: 'record';
+}> | ZodV4SchemaOf<{
+    type: 'union';
+    discriminator: string;
+}>;
 
 /**
  * The shape `form.values.<key>` returns at runtime. Four cases per leaf:
@@ -164,7 +188,7 @@ type StorageLeaf<L> = InputIsUnknown<L> extends true ? unknown : L extends {
  * type FlagWriteIn = PathInput<typeof schema, 'flag'> // string
  * ```
  */
-type PathInput<Schema extends z.ZodType, Path extends string> = z.input<Schema> extends GenericForm ? Path extends FlatPath<z.input<Schema>> ? NestedType<z.input<Schema>, Path> : never : never;
+type PathInput<Schema extends ZodV4Schema, Path extends string> = z.input<Schema> extends GenericForm ? Path extends FlatPath<z.input<Schema>> ? NestedType<z.input<Schema>, Path> : never : never;
 /**
  * What `Path` holds after the full parse pipeline: the schema's
  * `z.output<Schema>` shape there. It matches `form.parse()`'s `data` and
@@ -177,7 +201,7 @@ type PathInput<Schema extends z.ZodType, Path extends string> = z.input<Schema>
  * type FlagParsedOut = PathOutput<typeof schema, 'flag'> // boolean
  * ```
  */
-type PathOutput<Schema extends z.ZodType, Path extends string> = z.output<Schema> extends GenericForm ? Path extends FlatPath<z.output<Schema>> ? NestedType<z.output<Schema>, Path> : never : never;
+type PathOutput<Schema extends ZodV4Schema, Path extends string> = z.output<Schema> extends GenericForm ? Path extends FlatPath<z.output<Schema>> ? NestedType<z.output<Schema>, Path> : never : never;
 /**
  * Factor the three identical-shape conditionals out of `useForm`'s public
  * signature, so the bundled `.d.ts` carries one alias per shape instead
@@ -217,4 +241,4 @@ declare function useForm<Schema extends SupportedRootSchema, K extends FormKey =
 } & ValidateOnConfig): UseFormReturnType<FormOf<Schema>, OutOf<Schema>, ReadOf<Schema>, K>;
 
 export { useForm as u };
-export type { PathInput as P, SupportedRootSchema as S, PathOutput as a, StorageShape as b };
+export type { PathInput as P, SupportedRootSchema as S, ZodV4Schema as Z, PathOutput as a, StorageShape as b };