attaform 0.26.0 → 0.27.0

package/dist/shared/{attaform.DBNjHgNj.d.cts → attaform.C3WnCDXz.d.cts}

@@ -2164,12 +2164,13 @@ type GetDisplayState = (prev: DisplayMachine, ctx: DisplayCtx) => DisplayMachine
  * it to a `<form>`:
  *
  * ```vue
- * <form @submit.prevent="onSubmit">…</form>
+ * <form @submit="onSubmit">…</form>
  * ```
  *
- * It optionally accepts the originating `Event` so it can sit on
- * `@submit` directly (without `.prevent` if you want to call
- * `event.preventDefault()` yourself).
+ * It accepts the originating `Event` and calls `event.preventDefault()`
+ * itself, so bind it with `@submit`, not `@submit.prevent` (the
+ * modifier would only prevent the default a second time). Called
+ * imperatively with no event, the `preventDefault` step is skipped.
  */
 type SubmitHandler = (event?: Event) => Promise<void>;
 /**
@@ -3787,7 +3788,7 @@ type FormMeta<F = unknown> = FieldState<F> & {
      * of each new submission attempt; stays `null` on success.
      *
      * The submit handler does NOT re-throw — its returned promise always
-     * resolves, so binding it to `@submit.prevent` never manufactures a
+     * resolves, so binding it to `@submit` never manufactures a
      * `window` unhandledrejection. This is the channel for an UNEXPECTED
      * submit failure (a thrown exception or rejected promise), read the
      * same way in templates and after an imperative `await submit()`. An
@@ -3948,10 +3949,11 @@ type UseFormReturnType<Form extends GenericForm, GetValueFormType extends Generi
      * Wraps your submit logic with validation and error routing.
      *
      * ```ts
-     * <form @submit.prevent="form.handleSubmit(
+     * const onSubmit = form.handleSubmit(
      *   (data) => api.signup(data),
      *   (errors) => console.log(errors),
-     * )">
+     * )
+     * // Bind the returned handler: <form @submit="onSubmit">
      * ```
      *
      * `data` is the strictly-typed parsed value — refinements have
@@ -4646,5 +4648,5 @@ type UseFormReturnType<Form extends GenericForm, GetValueFormType extends Generi
     blankPaths: ComputedRef<BlankPathsView>;
 };
 
-export { ROOT_PATH as Z, ROOT_PATH_KEY as _, canonicalizePath as am, isPathPrefix as an, isUnset as ao, parseDottedPath as ap, unset as aq };
-export type { ReactiveValidationStatus as $, AttaformDefaults as A, Json as B, CoercionEntry as C, DefaultValuesInput as D, ErrorInput as E, FormKey as F, GenericForm as G, HandleSubmit as H, IsTuple as I, JoinSegments as J, KeyofUnion as K, LiftedValueShape as L, MetaTrackerValue as M, NestedReadType as N, NestedType as O, OnError as P, OnInvalidSubmitPolicy as Q, RegisterModelDynamicCustomDirective as R, OnSubmit as S, PartialFlatPath as T, UseFormConfiguration as U, Path as V, PathKey as W, PendingValidationStatus as X, Primitive as Y, AbstractSchema as a, RegisterDirective as a0, RegisterFlatPath as a1, RegisterOptions as a2, RegisterSelectModifier as a3, RegisterTextModifier as a4, RegisterTransform as a5, Segment as a6, SetValueCallback as a7, SetValuePayload as a8, SettledValidationStatus as a9, SlimPrimitiveKind as aa, SlimRuntimeOf as ab, SubmitHandler as ac, Unset as ad, ValidateOn as ae, ValidateOnConfig as af, ValidationError as ag, ValidationResponse as ah, ValidationResponseWithoutValue as ai, ValueOfUnion as aj, WriteMeta as ak, WriteShape as al, AcceptableDefaults as ar, SchemaFactoryOptions as as, TransformAbortHolder as at, UseFormReturnType as b, RegisterValue as c, GetDisplayState as d, ArrayItem as e, ArrayPath as f, CoercionRegistry as g, CoercionResult as h, CustomDirectiveRegisterAssignerFn as i, DeepPartial as j, DefaultValuesResponse as k, DefaultValuesShape as l, DisplayCtx as m, DisplayMachine as n, DisplayState as o, ErrorsProxyShape as p, FieldMetaPayload as q, FieldState as r, FieldStateMap as s, FieldStateMapEntry as t, FlatPath as u, FormErrorRecord as v, FormErrorsSurface as w, FormMeta as x, HistoryConfig as y, IsUnion as z };
+export { ROOT_PATH as X, ROOT_PATH_KEY as Y, canonicalizePath as al, isPathPrefix as am, isUnset as an, parseDottedPath as ao, unset as ap };
+export type { RegisterFlatPath as $, AbstractSchema as A, NestedType as B, CoercionEntry as C, DefaultValuesInput as D, ErrorInput as E, FormKey as F, GenericForm as G, HandleSubmit as H, IsTuple as I, JoinSegments as J, KeyofUnion as K, LiftedValueShape as L, MetaTrackerValue as M, NestedReadType as N, OnError as O, OnInvalidSubmitPolicy as P, OnSubmit as Q, PartialFlatPath as R, Path as S, PathKey as T, UseFormConfiguration as U, PendingValidationStatus as V, Primitive as W, ReactiveValidationStatus as Z, RegisterDirective as _, UseFormReturnType as a, RegisterOptions as a0, RegisterSelectModifier as a1, RegisterTextModifier as a2, RegisterTransform as a3, RegisterValue as a4, Segment as a5, SetValueCallback as a6, SetValuePayload as a7, SettledValidationStatus as a8, SlimPrimitiveKind as a9, SlimRuntimeOf as aa, SubmitHandler as ab, Unset as ac, ValidateOn as ad, ValidateOnConfig as ae, ValidationError as af, ValidationResponse as ag, ValidationResponseWithoutValue as ah, ValueOfUnion as ai, WriteMeta as aj, WriteShape as ak, AcceptableDefaults as aq, SchemaFactoryOptions as ar, TransformAbortHolder as as, RegisterModelDynamicCustomDirective as at, ArrayItem as b, ArrayPath as c, AttaformDefaults as d, CoercionRegistry as e, CoercionResult as f, CustomDirectiveRegisterAssignerFn as g, DeepPartial as h, DefaultValuesResponse as i, DefaultValuesShape as j, DisplayCtx as k, DisplayMachine as l, DisplayState as m, ErrorsProxyShape as n, FieldMetaPayload as o, FieldState as p, FieldStateMap as q, FieldStateMapEntry as r, FlatPath as s, FormErrorRecord as t, FormErrorsSurface as u, FormMeta as v, GetDisplayState as w, HistoryConfig as x, IsUnion as y, Json as z };

package/dist/shared/{attaform.DBNjHgNj.d.mts → attaform.C3WnCDXz.d.mts}

@@ -2164,12 +2164,13 @@ type GetDisplayState = (prev: DisplayMachine, ctx: DisplayCtx) => DisplayMachine
  * it to a `<form>`:
  *
  * ```vue
- * <form @submit.prevent="onSubmit">…</form>
+ * <form @submit="onSubmit">…</form>
  * ```
  *
- * It optionally accepts the originating `Event` so it can sit on
- * `@submit` directly (without `.prevent` if you want to call
- * `event.preventDefault()` yourself).
+ * It accepts the originating `Event` and calls `event.preventDefault()`
+ * itself, so bind it with `@submit`, not `@submit.prevent` (the
+ * modifier would only prevent the default a second time). Called
+ * imperatively with no event, the `preventDefault` step is skipped.
  */
 type SubmitHandler = (event?: Event) => Promise<void>;
 /**
@@ -3787,7 +3788,7 @@ type FormMeta<F = unknown> = FieldState<F> & {
      * of each new submission attempt; stays `null` on success.
      *
      * The submit handler does NOT re-throw — its returned promise always
-     * resolves, so binding it to `@submit.prevent` never manufactures a
+     * resolves, so binding it to `@submit` never manufactures a
      * `window` unhandledrejection. This is the channel for an UNEXPECTED
      * submit failure (a thrown exception or rejected promise), read the
      * same way in templates and after an imperative `await submit()`. An
@@ -3948,10 +3949,11 @@ type UseFormReturnType<Form extends GenericForm, GetValueFormType extends Generi
      * Wraps your submit logic with validation and error routing.
      *
      * ```ts
-     * <form @submit.prevent="form.handleSubmit(
+     * const onSubmit = form.handleSubmit(
      *   (data) => api.signup(data),
      *   (errors) => console.log(errors),
-     * )">
+     * )
+     * // Bind the returned handler: <form @submit="onSubmit">
      * ```
      *
      * `data` is the strictly-typed parsed value — refinements have
@@ -4646,5 +4648,5 @@ type UseFormReturnType<Form extends GenericForm, GetValueFormType extends Generi
     blankPaths: ComputedRef<BlankPathsView>;
 };
 
-export { ROOT_PATH as Z, ROOT_PATH_KEY as _, canonicalizePath as am, isPathPrefix as an, isUnset as ao, parseDottedPath as ap, unset as aq };
-export type { ReactiveValidationStatus as $, AttaformDefaults as A, Json as B, CoercionEntry as C, DefaultValuesInput as D, ErrorInput as E, FormKey as F, GenericForm as G, HandleSubmit as H, IsTuple as I, JoinSegments as J, KeyofUnion as K, LiftedValueShape as L, MetaTrackerValue as M, NestedReadType as N, NestedType as O, OnError as P, OnInvalidSubmitPolicy as Q, RegisterModelDynamicCustomDirective as R, OnSubmit as S, PartialFlatPath as T, UseFormConfiguration as U, Path as V, PathKey as W, PendingValidationStatus as X, Primitive as Y, AbstractSchema as a, RegisterDirective as a0, RegisterFlatPath as a1, RegisterOptions as a2, RegisterSelectModifier as a3, RegisterTextModifier as a4, RegisterTransform as a5, Segment as a6, SetValueCallback as a7, SetValuePayload as a8, SettledValidationStatus as a9, SlimPrimitiveKind as aa, SlimRuntimeOf as ab, SubmitHandler as ac, Unset as ad, ValidateOn as ae, ValidateOnConfig as af, ValidationError as ag, ValidationResponse as ah, ValidationResponseWithoutValue as ai, ValueOfUnion as aj, WriteMeta as ak, WriteShape as al, AcceptableDefaults as ar, SchemaFactoryOptions as as, TransformAbortHolder as at, UseFormReturnType as b, RegisterValue as c, GetDisplayState as d, ArrayItem as e, ArrayPath as f, CoercionRegistry as g, CoercionResult as h, CustomDirectiveRegisterAssignerFn as i, DeepPartial as j, DefaultValuesResponse as k, DefaultValuesShape as l, DisplayCtx as m, DisplayMachine as n, DisplayState as o, ErrorsProxyShape as p, FieldMetaPayload as q, FieldState as r, FieldStateMap as s, FieldStateMapEntry as t, FlatPath as u, FormErrorRecord as v, FormErrorsSurface as w, FormMeta as x, HistoryConfig as y, IsUnion as z };
+export { ROOT_PATH as X, ROOT_PATH_KEY as Y, canonicalizePath as al, isPathPrefix as am, isUnset as an, parseDottedPath as ao, unset as ap };
+export type { RegisterFlatPath as $, AbstractSchema as A, NestedType as B, CoercionEntry as C, DefaultValuesInput as D, ErrorInput as E, FormKey as F, GenericForm as G, HandleSubmit as H, IsTuple as I, JoinSegments as J, KeyofUnion as K, LiftedValueShape as L, MetaTrackerValue as M, NestedReadType as N, OnError as O, OnInvalidSubmitPolicy as P, OnSubmit as Q, PartialFlatPath as R, Path as S, PathKey as T, UseFormConfiguration as U, PendingValidationStatus as V, Primitive as W, ReactiveValidationStatus as Z, RegisterDirective as _, UseFormReturnType as a, RegisterOptions as a0, RegisterSelectModifier as a1, RegisterTextModifier as a2, RegisterTransform as a3, RegisterValue as a4, Segment as a5, SetValueCallback as a6, SetValuePayload as a7, SettledValidationStatus as a8, SlimPrimitiveKind as a9, SlimRuntimeOf as aa, SubmitHandler as ab, Unset as ac, ValidateOn as ad, ValidateOnConfig as ae, ValidationError as af, ValidationResponse as ag, ValidationResponseWithoutValue as ah, ValueOfUnion as ai, WriteMeta as aj, WriteShape as ak, AcceptableDefaults as aq, SchemaFactoryOptions as ar, TransformAbortHolder as as, RegisterModelDynamicCustomDirective as at, ArrayItem as b, ArrayPath as c, AttaformDefaults as d, CoercionRegistry as e, CoercionResult as f, CustomDirectiveRegisterAssignerFn as g, DeepPartial as h, DefaultValuesResponse as i, DefaultValuesShape as j, DisplayCtx as k, DisplayMachine as l, DisplayState as m, ErrorsProxyShape as n, FieldMetaPayload as o, FieldState as p, FieldStateMap as q, FieldStateMapEntry as r, FlatPath as s, FormErrorRecord as t, FormErrorsSurface as u, FormMeta as v, GetDisplayState as w, HistoryConfig as x, IsUnion as y, Json as z };

package/dist/shared/{attaform.DBNjHgNj.d.ts → attaform.C3WnCDXz.d.ts}

@@ -2164,12 +2164,13 @@ type GetDisplayState = (prev: DisplayMachine, ctx: DisplayCtx) => DisplayMachine
  * it to a `<form>`:
  *
  * ```vue
- * <form @submit.prevent="onSubmit">…</form>
+ * <form @submit="onSubmit">…</form>
  * ```
  *
- * It optionally accepts the originating `Event` so it can sit on
- * `@submit` directly (without `.prevent` if you want to call
- * `event.preventDefault()` yourself).
+ * It accepts the originating `Event` and calls `event.preventDefault()`
+ * itself, so bind it with `@submit`, not `@submit.prevent` (the
+ * modifier would only prevent the default a second time). Called
+ * imperatively with no event, the `preventDefault` step is skipped.
  */
 type SubmitHandler = (event?: Event) => Promise<void>;
 /**
@@ -3787,7 +3788,7 @@ type FormMeta<F = unknown> = FieldState<F> & {
      * of each new submission attempt; stays `null` on success.
      *
      * The submit handler does NOT re-throw — its returned promise always
-     * resolves, so binding it to `@submit.prevent` never manufactures a
+     * resolves, so binding it to `@submit` never manufactures a
      * `window` unhandledrejection. This is the channel for an UNEXPECTED
      * submit failure (a thrown exception or rejected promise), read the
      * same way in templates and after an imperative `await submit()`. An
@@ -3948,10 +3949,11 @@ type UseFormReturnType<Form extends GenericForm, GetValueFormType extends Generi
      * Wraps your submit logic with validation and error routing.
      *
      * ```ts
-     * <form @submit.prevent="form.handleSubmit(
+     * const onSubmit = form.handleSubmit(
      *   (data) => api.signup(data),
      *   (errors) => console.log(errors),
-     * )">
+     * )
+     * // Bind the returned handler: <form @submit="onSubmit">
      * ```
      *
      * `data` is the strictly-typed parsed value — refinements have
@@ -4646,5 +4648,5 @@ type UseFormReturnType<Form extends GenericForm, GetValueFormType extends Generi
     blankPaths: ComputedRef<BlankPathsView>;
 };
 
-export { ROOT_PATH as Z, ROOT_PATH_KEY as _, canonicalizePath as am, isPathPrefix as an, isUnset as ao, parseDottedPath as ap, unset as aq };
-export type { ReactiveValidationStatus as $, AttaformDefaults as A, Json as B, CoercionEntry as C, DefaultValuesInput as D, ErrorInput as E, FormKey as F, GenericForm as G, HandleSubmit as H, IsTuple as I, JoinSegments as J, KeyofUnion as K, LiftedValueShape as L, MetaTrackerValue as M, NestedReadType as N, NestedType as O, OnError as P, OnInvalidSubmitPolicy as Q, RegisterModelDynamicCustomDirective as R, OnSubmit as S, PartialFlatPath as T, UseFormConfiguration as U, Path as V, PathKey as W, PendingValidationStatus as X, Primitive as Y, AbstractSchema as a, RegisterDirective as a0, RegisterFlatPath as a1, RegisterOptions as a2, RegisterSelectModifier as a3, RegisterTextModifier as a4, RegisterTransform as a5, Segment as a6, SetValueCallback as a7, SetValuePayload as a8, SettledValidationStatus as a9, SlimPrimitiveKind as aa, SlimRuntimeOf as ab, SubmitHandler as ac, Unset as ad, ValidateOn as ae, ValidateOnConfig as af, ValidationError as ag, ValidationResponse as ah, ValidationResponseWithoutValue as ai, ValueOfUnion as aj, WriteMeta as ak, WriteShape as al, AcceptableDefaults as ar, SchemaFactoryOptions as as, TransformAbortHolder as at, UseFormReturnType as b, RegisterValue as c, GetDisplayState as d, ArrayItem as e, ArrayPath as f, CoercionRegistry as g, CoercionResult as h, CustomDirectiveRegisterAssignerFn as i, DeepPartial as j, DefaultValuesResponse as k, DefaultValuesShape as l, DisplayCtx as m, DisplayMachine as n, DisplayState as o, ErrorsProxyShape as p, FieldMetaPayload as q, FieldState as r, FieldStateMap as s, FieldStateMapEntry as t, FlatPath as u, FormErrorRecord as v, FormErrorsSurface as w, FormMeta as x, HistoryConfig as y, IsUnion as z };
+export { ROOT_PATH as X, ROOT_PATH_KEY as Y, canonicalizePath as al, isPathPrefix as am, isUnset as an, parseDottedPath as ao, unset as ap };
+export type { RegisterFlatPath as $, AbstractSchema as A, NestedType as B, CoercionEntry as C, DefaultValuesInput as D, ErrorInput as E, FormKey as F, GenericForm as G, HandleSubmit as H, IsTuple as I, JoinSegments as J, KeyofUnion as K, LiftedValueShape as L, MetaTrackerValue as M, NestedReadType as N, OnError as O, OnInvalidSubmitPolicy as P, OnSubmit as Q, PartialFlatPath as R, Path as S, PathKey as T, UseFormConfiguration as U, PendingValidationStatus as V, Primitive as W, ReactiveValidationStatus as Z, RegisterDirective as _, UseFormReturnType as a, RegisterOptions as a0, RegisterSelectModifier as a1, RegisterTextModifier as a2, RegisterTransform as a3, RegisterValue as a4, Segment as a5, SetValueCallback as a6, SetValuePayload as a7, SettledValidationStatus as a8, SlimPrimitiveKind as a9, SlimRuntimeOf as aa, SubmitHandler as ab, Unset as ac, ValidateOn as ad, ValidateOnConfig as ae, ValidationError as af, ValidationResponse as ag, ValidationResponseWithoutValue as ah, ValueOfUnion as ai, WriteMeta as aj, WriteShape as ak, AcceptableDefaults as aq, SchemaFactoryOptions as ar, TransformAbortHolder as as, RegisterModelDynamicCustomDirective as at, ArrayItem as b, ArrayPath as c, AttaformDefaults as d, CoercionRegistry as e, CoercionResult as f, CustomDirectiveRegisterAssignerFn as g, DeepPartial as h, DefaultValuesResponse as i, DefaultValuesShape as j, DisplayCtx as k, DisplayMachine as l, DisplayState as m, ErrorsProxyShape as n, FieldMetaPayload as o, FieldState as p, FieldStateMap as q, FieldStateMapEntry as r, FlatPath as s, FormErrorRecord as t, FormErrorsSurface as u, FormMeta as v, GetDisplayState as w, HistoryConfig as x, IsUnion as y, Json as z };

package/dist/shared/{attaform.DuzQYscR.d.mts → attaform.C9fPTxjB.d.cts}

@@ -1,10 +1,10 @@
 interface WebpackFamilyPluginOptions {
     /**
-     * Rewrite `attaform/zod` imports at build time to the matching adapter
-     * subpath, based on the consumer's installed Zod major. Default `true`.
-     * Set to `false` to keep the runtime-dispatch unified entry (ships both
-     * adapters) when a project intentionally mixes Zod versions or resolves
-     * Zod in a non-standard way.
+     * Rewrite `attaform` and `attaform/zod` imports at build time to the
+     * matching adapter subpath, based on the consumer's installed Zod major.
+     * Default `true`. Set to `false` to keep the runtime-dispatch unified
+     * entry (ships both adapters) when a project intentionally mixes Zod
+     * versions or resolves Zod in a non-standard way.
      */
     resolveZodAlias?: boolean;
     /**

package/dist/shared/{attaform.DuzQYscR.d.ts → attaform.C9fPTxjB.d.mts}

@@ -1,10 +1,10 @@
 interface WebpackFamilyPluginOptions {
     /**
-     * Rewrite `attaform/zod` imports at build time to the matching adapter
-     * subpath, based on the consumer's installed Zod major. Default `true`.
-     * Set to `false` to keep the runtime-dispatch unified entry (ships both
-     * adapters) when a project intentionally mixes Zod versions or resolves
-     * Zod in a non-standard way.
+     * Rewrite `attaform` and `attaform/zod` imports at build time to the
+     * matching adapter subpath, based on the consumer's installed Zod major.
+     * Default `true`. Set to `false` to keep the runtime-dispatch unified
+     * entry (ships both adapters) when a project intentionally mixes Zod
+     * versions or resolves Zod in a non-standard way.
      */
     resolveZodAlias?: boolean;
     /**

package/dist/shared/{attaform.DuzQYscR.d.cts → attaform.C9fPTxjB.d.ts}

@@ -1,10 +1,10 @@
 interface WebpackFamilyPluginOptions {
     /**
-     * Rewrite `attaform/zod` imports at build time to the matching adapter
-     * subpath, based on the consumer's installed Zod major. Default `true`.
-     * Set to `false` to keep the runtime-dispatch unified entry (ships both
-     * adapters) when a project intentionally mixes Zod versions or resolves
-     * Zod in a non-standard way.
+     * Rewrite `attaform` and `attaform/zod` imports at build time to the
+     * matching adapter subpath, based on the consumer's installed Zod major.
+     * Default `true`. Set to `false` to keep the runtime-dispatch unified
+     * entry (ships both adapters) when a project intentionally mixes Zod
+     * versions or resolves Zod in a non-standard way.
      */
     resolveZodAlias?: boolean;
     /**

package/dist/shared/{attaform.Be5otUVw.d.ts → attaform.CC_y1_Ej.d.ts}

@@ -1,5 +1,37 @@
 import { z } from 'zod';
-import { G as GenericForm, u as FlatPath, O as NestedType, F as FormKey, U as UseFormConfiguration, a as AbstractSchema, ar as AcceptableDefaults, af as ValidateOnConfig, b as UseFormReturnType } from './attaform.DBNjHgNj.js';
+import { G as GenericForm, s as FlatPath, B as NestedType, F as FormKey, U as UseFormConfiguration, A as AbstractSchema, aq as AcceptableDefaults, ae as ValidateOnConfig, a as UseFormReturnType } from './attaform.C3WnCDXz.js';
+
+/**
+ * The Zod v4 schema roots `useForm` accepts. A fixed-shape
+ * `z.object({ … })` is the common case; `z.record(K, V)` admits a
+ * dictionary form (a homogeneous map with runtime-known keys);
+ * `z.discriminatedUnion(disc, [...])` admits a variant form (one of
+ * several object shapes, picked by a discriminator). Each projects to
+ * a `GenericForm`-shaped value the form engine drives: an object root
+ * descends into its fixed keys, a record root treats its entries as an
+ * open live-keyed container, a variant root lifts the active variant's
+ * keys into one addressable surface.
+ *
+ * Other roots (a bare `z.union`, a root `z.array`, primitives,
+ * `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.
+ */
+type SupportedRootSchema = z.ZodObject<z.ZodRawShape> | z.ZodRecord | z.ZodDiscriminatedUnion<readonly z.ZodObject<z.ZodRawShape>[], string>;
 
 /**
  * The shape `form.values.<key>` returns at runtime.
@@ -120,38 +152,6 @@ type StorageLeaf<L> = InputIsUnknown<L> extends true ? unknown : L extends {
     };
 } ? Out : never;
 
-/**
- * The Zod v4 schema roots `useForm` accepts. A fixed-shape
- * `z.object({ … })` is the common case; `z.record(K, V)` admits a
- * dictionary form (a homogeneous map with runtime-known keys);
- * `z.discriminatedUnion(disc, [...])` admits a variant form (one of
- * several object shapes, picked by a discriminator). Each projects to
- * a `GenericForm`-shaped value the form engine drives: an object root
- * descends into its fixed keys, a record root treats its entries as an
- * open live-keyed container, a variant root lifts the active variant's
- * keys into one addressable surface.
- *
- * Other roots (a bare `z.union`, a root `z.array`, primitives,
- * `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.
- */
-type SupportedRootSchema = z.ZodObject<z.ZodRawShape> | z.ZodRecord | z.ZodDiscriminatedUnion<readonly z.ZodObject<z.ZodRawShape>[], string>;
-
 /**
  * Zod v4 adapter entry point. Re-exports the adapter + the useForm
  * wrapper that threads zod-v4-specific schema types through