attaform 0.17.2 → 0.18.1

package/dist/zod.d.mts

@@ -1,10 +1,10 @@
 import { z } from 'zod';
-import { S as StorageShape } from './shared/attaform.CuE-bS1C.mjs';
-export { P as PathInput, a as PathOutput } from './shared/attaform.CuE-bS1C.mjs';
-import { U as UnwrapZodObject, S as StorageShape$1 } from './shared/attaform.C5MH4lNh.mjs';
-import { U as UseFormConfiguration, G as GenericForm, b as AbstractSchema, D as DeepPartial, c as DefaultValuesShape, ag as ValidateOnConfig, d as UseFormReturnType, o as FieldMetaPayload } from './shared/attaform.C_5aB6EQ.mjs';
-export { ae as Unset, ao as isUnset, aq as unset } from './shared/attaform.C_5aB6EQ.mjs';
-export { A as AttaformErrorCode, i as injectForm, u as useRegister } from './shared/attaform.B1jvxsOF.mjs';
+import { S as StorageShape } from './shared/attaform.2b7M2mww.mjs';
+export { P as PathInput, a as PathOutput } from './shared/attaform.2b7M2mww.mjs';
+import { U as UnwrapZodObject, S as StorageShape$1 } from './shared/attaform.DVLB6CAn.mjs';
+import { F as FormKey, U as UseFormConfiguration, G as GenericForm, a as AbstractSchema, D as DefaultValuesInput, ak as ValidateOnConfig, b as UseFormReturnType, p as FieldMetaPayload } from './shared/attaform.Dj9mwbaV.mjs';
+export { ai as Unset, as as isUnset, au as unset } from './shared/attaform.Dj9mwbaV.mjs';
+export { b as AggregateError, c as AnyForm, d as AttaformErrorCode, C as CompiledStep, F as FormStatus, I as InjectWizardInput, L as LazyMarker, e as StepSlot, U as UseRegisterReturn, f as UseWizardReturnType, W as WizardCtx, g as WizardCtxForm, h as WizardOnError, i as WizardOnSubmit, j as WizardOptions, k as WizardPersistFn, l as WizardRestoreFn, m as WizardRestoreState, n as WizardStatusesProxy, o as WizardSubmitContext, t as injectForm, u as injectWizard, w as lazy, x as useRegister, z as useWizard } from './shared/attaform.iTqxvl-P.mjs';
 import 'vue';
 
 /**
@@ -14,21 +14,18 @@ import 'vue';
  * to the v3 wrapper, which already accepts both Zod v3 input and
  * `AbstractSchema` directly via its built-in shape branch.
  *
- * Type-level dispatch happens through a single signature with a
- * union constraint — `Schema extends z.ZodObject |
- * zV3.ZodObject<zV3.ZodRawShape>`. The configuration parameter and
- * return type both dispatch conditionally on whether `Schema` is a
- * v4 or v3 object. The two majors don't structurally satisfy each
- * other's `ZodObject` constraints (v4 has `loose` / `safeExtend` /
- * `def` / `type` members v3 lacks), so neither alone is enough — the
- * union accepts both, and the conditional return type routes through
- * the matching adapter's `StorageShape` / `z.input` / `z.output`.
- *
- * A single signature (rather than overloads) keeps `typeof
- * useForm<X>` instantiation expressions in test code unambiguous:
- * TypeScript's overload-resolution rules for these expressions are
- * brittle when multiple overloads partially match, so we collapse to
- * one signature.
+ * Type-level dispatch happens via TWO typed overloads — v4 first, v3
+ * second — plus an untyped impl. Each overload mirrors the matching
+ * direct adapter's signature exactly, so a v4-schema call site pays
+ * the same per-call depth cost as importing from `attaform/zod-v4`
+ * directly. Overload resolution at concrete call sites commits to one
+ * overload immediately on argument shape — no type-level dispatch tax.
+ *
+ * Tests and other call sites that need the equivalent of
+ * `typeof useForm<X>` should reach for the `UseFormReturn<X>` /
+ * `UseFormConfig<X>` helpers in `types-api.ts` — instantiation
+ * expressions on overloaded functions follow brittle resolution rules,
+ * and the helper types give a deterministic projection.
  *
  * This module is the FALLBACK path. Vite consumers see the
  * `attaform/vite` plugin's `resolveId` hook rewrite `attaform/zod`
@@ -44,25 +41,14 @@ import 'vue';
  * adapter.
  */
 
-type FormInput<Schema> = Schema extends z.ZodObject ? z.input<Schema> extends GenericForm ? z.input<Schema> : never : Schema extends z.ZodObject<z.ZodRawShape> ? z.input<UnwrapZodObject<Schema>> extends GenericForm ? z.input<UnwrapZodObject<Schema>> : never : never;
-type FormOutput<Schema> = Schema extends z.ZodObject ? z.output<Schema> extends GenericForm ? z.output<Schema> : never : Schema extends z.ZodObject<z.ZodRawShape> ? z.output<UnwrapZodObject<Schema>> extends GenericForm ? z.output<UnwrapZodObject<Schema>> : never : never;
-type FormStorageShape<Schema> = Schema extends z.ZodObject ? StorageShape<Schema> extends GenericForm ? StorageShape<Schema> : never : Schema extends z.ZodObject<z.ZodRawShape> ? StorageShape$1<UnwrapZodObject<Schema>> extends GenericForm ? StorageShape$1<UnwrapZodObject<Schema>> : never : never;
-type UnifiedConfiguration<Schema> = Omit<UseFormConfiguration<FormInput<Schema>, FormOutput<Schema>, AbstractSchema<FormInput<Schema>, FormOutput<Schema>>, DeepPartial<DefaultValuesShape<FormInput<Schema>>>>, 'schema' | 'validateOn' | 'debounceMs'> & {
-    schema: Schema;
-} & ValidateOnConfig;
+type V4FormOf$1<S extends z.ZodObject> = z.input<S> extends GenericForm ? z.input<S> : never;
+type V4OutOf$1<S extends z.ZodObject> = z.output<S> extends GenericForm ? z.output<S> : never;
+type V4ReadOf$1<S extends z.ZodObject> = StorageShape<S> extends GenericForm ? StorageShape<S> : never;
+type V3FormOf$1<S extends z.ZodObject<z.ZodRawShape>> = z.input<UnwrapZodObject<S>> extends GenericForm ? z.input<UnwrapZodObject<S>> : never;
+type V3OutOf$1<S extends z.ZodObject<z.ZodRawShape>> = z.output<UnwrapZodObject<S>> extends GenericForm ? z.output<UnwrapZodObject<S>> : never;
+type V3ReadOf$1<S extends z.ZodObject<z.ZodRawShape>> = StorageShape$1<UnwrapZodObject<S>> extends GenericForm ? StorageShape$1<UnwrapZodObject<S>> : never;
 /**
- * Create a form bound to a Zod schema. Accepts both Zod v3 and Zod v4
- * schemas; the runtime picks the right adapter from the schema's
- * shape.
- *
- * Type inference works transparently for both Zod v3 and Zod v4
- * schemas — the adapter is selected from the schema's shape at both
- * runtime and type-check time. `form.values`, `form.fields`,
- * `register`, and the `handleSubmit` callback data type all resolve
- * against the matching adapter's storage shape; consumers don't need
- * to reach for `attaform/zod-v3` or `attaform/zod-v4` to get full
- * inference. Those subpath entries remain as lean-bundle escape
- * hatches for non-Vite tooling, not correctness escape hatches.
+ * Create a form bound to a Zod v4 schema.
  *
  * ```ts
  * import { useForm } from 'attaform/zod'
@@ -75,8 +61,108 @@ type UnifiedConfiguration<Schema> = Omit<UseFormConfiguration<FormInput<Schema>,
  *   }),
  * })
  * ```
+ *
+ * v4 schemas match this overload first via their structural `def`
+ * field. v3 schemas fall through to the v3 overload below.
  */
-declare function useForm<Schema extends z.ZodObject | z.ZodObject<z.ZodRawShape>>(configuration: UnifiedConfiguration<Schema>): UseFormReturnType<FormInput<Schema>, FormOutput<Schema>, FormStorageShape<Schema>>;
+declare function useForm<Schema extends z.ZodObject, K extends FormKey = FormKey>(configuration: Omit<UseFormConfiguration<V4FormOf$1<Schema>, V4OutOf$1<Schema>, AbstractSchema<V4FormOf$1<Schema>, V4OutOf$1<Schema>>, DefaultValuesInput<V4FormOf$1<Schema>>, K>, 'schema' | 'validateOn' | 'debounceMs'> & {
+    schema: Schema;
+} & ValidateOnConfig): UseFormReturnType<V4FormOf$1<Schema>, V4OutOf$1<Schema>, V4ReadOf$1<Schema>, K>;
+/**
+ * Create a form bound to a Zod v3 schema.
+ *
+ * ```ts
+ * import { useForm } from 'attaform/zod'
+ * import { z } from 'zod-v3'
+ *
+ * const form = useForm({
+ *   schema: z.object({
+ *     username: z.string().min(2, 'At least 2 characters'),
+ *     password: z.string().min(8, 'At least 8 characters'),
+ *   }),
+ * })
+ * ```
+ *
+ * v3 schemas match this overload; v4 schemas hit the v4 overload
+ * above first and never reach here.
+ */
+declare function useForm<Schema extends z.ZodObject<z.ZodRawShape>, K extends FormKey = FormKey>(configuration: Omit<UseFormConfiguration<V3FormOf$1<Schema>, V3OutOf$1<Schema>, AbstractSchema<V3FormOf$1<Schema>, V3OutOf$1<Schema>>, DefaultValuesInput<V3FormOf$1<Schema>>, K>, 'schema' | 'validateOn' | 'debounceMs'> & {
+    schema: Schema;
+} & ValidateOnConfig): UseFormReturnType<V3FormOf$1<Schema>, V3OutOf$1<Schema>, V3ReadOf$1<Schema>, K>;
+
+/**
+ * Type-level helpers for the unified `attaform/zod` entry. These give
+ * tests and other type-query call sites a deterministic projection
+ * over an arbitrary v4 OR v3 schema, sidestepping the brittle
+ * instantiation-expression resolution rules TypeScript applies to
+ * overloaded functions (`typeof useForm<X>` can pick the wrong
+ * overload or the impl signature, depending on whether the type
+ * argument is a concrete schema, a generic, or a constraint).
+ *
+ * The helpers dispatch ONCE per use site via a binary conditional —
+ * no stacking, no amplification across the return type. Equivalent
+ * to writing `ReturnType<typeof useForm<S>>` but cache-stable across
+ * call patterns.
+ *
+ * Per `inference-first DX`, these helpers are test- and
+ * internal-facing. Consumer code shouldn't reach for them — the
+ * overloaded `useForm` already gives full inference at call sites.
+ */
+
+type V4FormOf<S extends z.ZodObject> = z.input<S> extends GenericForm ? z.input<S> : never;
+type V4OutOf<S extends z.ZodObject> = z.output<S> extends GenericForm ? z.output<S> : never;
+type V4ReadOf<S extends z.ZodObject> = StorageShape<S> extends GenericForm ? StorageShape<S> : never;
+type V3FormOf<S extends z.ZodObject<z.ZodRawShape>> = z.input<UnwrapZodObject<S>> extends GenericForm ? z.input<UnwrapZodObject<S>> : never;
+type V3OutOf<S extends z.ZodObject<z.ZodRawShape>> = z.output<UnwrapZodObject<S>> extends GenericForm ? z.output<UnwrapZodObject<S>> : never;
+type V3ReadOf<S extends z.ZodObject<z.ZodRawShape>> = StorageShape$1<UnwrapZodObject<S>> extends GenericForm ? StorageShape$1<UnwrapZodObject<S>> : never;
+/**
+ * Direct V4 projection — no major-dispatch. Use when the schema's
+ * Zod major is known statically (typical for V4 generic helpers like
+ * `function setup<S extends z.ZodObject>(s: S)`). TS simplifies the
+ * helper cleanly under generic constraints because no conditional
+ * is present.
+ */
+type UseFormReturnV4<Schema extends z.ZodObject, K extends FormKey = FormKey> = UseFormReturnType<V4FormOf<Schema>, V4OutOf<Schema>, V4ReadOf<Schema>, K>;
+/**
+ * Direct V4 configuration projection. Mirrors `UseFormReturnV4`.
+ */
+type UseFormConfigV4<Schema extends z.ZodObject, K extends FormKey = FormKey> = Omit<UseFormConfiguration<V4FormOf<Schema>, V4OutOf<Schema>, AbstractSchema<V4FormOf<Schema>, V4OutOf<Schema>>, DefaultValuesInput<V4FormOf<Schema>>, K>, 'schema' | 'validateOn' | 'debounceMs'> & {
+    schema: Schema;
+} & ValidateOnConfig;
+/**
+ * Direct V3 projection — no major-dispatch. Use when the schema's
+ * Zod major is known statically.
+ */
+type UseFormReturnV3<Schema extends z.ZodObject<z.ZodRawShape>, K extends FormKey = FormKey> = UseFormReturnType<V3FormOf<Schema>, V3OutOf<Schema>, V3ReadOf<Schema>, K>;
+/**
+ * Direct V3 configuration projection. Mirrors `UseFormReturnV3`.
+ */
+type UseFormConfigV3<Schema extends z.ZodObject<z.ZodRawShape>, K extends FormKey = FormKey> = Omit<UseFormConfiguration<V3FormOf<Schema>, V3OutOf<Schema>, AbstractSchema<V3FormOf<Schema>, V3OutOf<Schema>>, DefaultValuesInput<V3FormOf<Schema>>, K>, 'schema' | 'validateOn' | 'debounceMs'> & {
+    schema: Schema;
+} & ValidateOnConfig;
+/**
+ * The return shape of `useForm` for a given Zod schema. Dispatches
+ * once on the schema's major version and projects to the matching
+ * adapter's `Form` / `Out` / `Read` slots.
+ *
+ * Replaces `ReturnType<typeof useForm<Schema, K>>` in test code with
+ * concrete schemas. For generic helpers (`<S extends z.ZodObject>`),
+ * use `UseFormReturnV4<S>` directly — TS doesn't simplify
+ * conditional types under generic constraints, so the dispatch in
+ * this helper stays deferred and TS can't prove return-type
+ * compatibility.
+ */
+type UseFormReturn<Schema, K extends FormKey = FormKey> = Schema extends z.ZodObject ? UseFormReturnType<V4FormOf<Schema>, V4OutOf<Schema>, V4ReadOf<Schema>, K> : Schema extends z.ZodObject<z.ZodRawShape> ? UseFormReturnType<V3FormOf<Schema>, V3OutOf<Schema>, V3ReadOf<Schema>, K> : never;
+/**
+ * The configuration parameter shape of `useForm` for a given Zod
+ * schema. Mirrors `UseFormReturn`'s dispatch — replaces
+ * `Parameters<typeof useForm<Schema, K>>[0]` in test code.
+ */
+type UseFormConfig<Schema, K extends FormKey = FormKey> = Schema extends z.ZodObject ? Omit<UseFormConfiguration<V4FormOf<Schema>, V4OutOf<Schema>, AbstractSchema<V4FormOf<Schema>, V4OutOf<Schema>>, DefaultValuesInput<V4FormOf<Schema>>, K>, 'schema' | 'validateOn' | 'debounceMs'> & {
+    schema: Schema;
+} & ValidateOnConfig : Schema extends z.ZodObject<z.ZodRawShape> ? Omit<UseFormConfiguration<V3FormOf<Schema>, V3OutOf<Schema>, AbstractSchema<V3FormOf<Schema>, V3OutOf<Schema>>, DefaultValuesInput<V3FormOf<Schema>>, K>, 'schema' | 'validateOn' | 'debounceMs'> & {
+    schema: Schema;
+} & ValidateOnConfig : never;
 
 /**
  * Field-metadata write/read API for the unified `attaform/zod` entry.
@@ -124,3 +210,4 @@ declare const fieldMeta: ZodFieldMetaRegistry;
 declare function withMeta<S>(schema: S, payload: FieldMetaPayload): S;
 
 export { FieldMetaPayload, fieldMeta, useForm, withMeta };
+export type { UseFormConfig, UseFormConfigV3, UseFormConfigV4, UseFormReturn, UseFormReturnV3, UseFormReturnV4 };

package/dist/zod.d.ts

@@ -1,10 +1,10 @@
 import { z } from 'zod';
-import { S as StorageShape } from './shared/attaform.C0iFnTN0.js';
-export { P as PathInput, a as PathOutput } from './shared/attaform.C0iFnTN0.js';
-import { U as UnwrapZodObject, S as StorageShape$1 } from './shared/attaform.C6lbmMUe.js';
-import { U as UseFormConfiguration, G as GenericForm, b as AbstractSchema, D as DeepPartial, c as DefaultValuesShape, ag as ValidateOnConfig, d as UseFormReturnType, o as FieldMetaPayload } from './shared/attaform.C_5aB6EQ.js';
-export { ae as Unset, ao as isUnset, aq as unset } from './shared/attaform.C_5aB6EQ.js';
-export { A as AttaformErrorCode, i as injectForm, u as useRegister } from './shared/attaform.CTwNcpLE.js';
+import { S as StorageShape } from './shared/attaform.tsNFcEW7.js';
+export { P as PathInput, a as PathOutput } from './shared/attaform.tsNFcEW7.js';
+import { U as UnwrapZodObject, S as StorageShape$1 } from './shared/attaform.DF8wo-ry.js';
+import { F as FormKey, U as UseFormConfiguration, G as GenericForm, a as AbstractSchema, D as DefaultValuesInput, ak as ValidateOnConfig, b as UseFormReturnType, p as FieldMetaPayload } from './shared/attaform.Dj9mwbaV.js';
+export { ai as Unset, as as isUnset, au as unset } from './shared/attaform.Dj9mwbaV.js';
+export { b as AggregateError, c as AnyForm, d as AttaformErrorCode, C as CompiledStep, F as FormStatus, I as InjectWizardInput, L as LazyMarker, e as StepSlot, U as UseRegisterReturn, f as UseWizardReturnType, W as WizardCtx, g as WizardCtxForm, h as WizardOnError, i as WizardOnSubmit, j as WizardOptions, k as WizardPersistFn, l as WizardRestoreFn, m as WizardRestoreState, n as WizardStatusesProxy, o as WizardSubmitContext, t as injectForm, u as injectWizard, w as lazy, x as useRegister, z as useWizard } from './shared/attaform.DK9aj0N8.js';
 import 'vue';
 
 /**
@@ -14,21 +14,18 @@ import 'vue';
  * to the v3 wrapper, which already accepts both Zod v3 input and
  * `AbstractSchema` directly via its built-in shape branch.
  *
- * Type-level dispatch happens through a single signature with a
- * union constraint — `Schema extends z.ZodObject |
- * zV3.ZodObject<zV3.ZodRawShape>`. The configuration parameter and
- * return type both dispatch conditionally on whether `Schema` is a
- * v4 or v3 object. The two majors don't structurally satisfy each
- * other's `ZodObject` constraints (v4 has `loose` / `safeExtend` /
- * `def` / `type` members v3 lacks), so neither alone is enough — the
- * union accepts both, and the conditional return type routes through
- * the matching adapter's `StorageShape` / `z.input` / `z.output`.
- *
- * A single signature (rather than overloads) keeps `typeof
- * useForm<X>` instantiation expressions in test code unambiguous:
- * TypeScript's overload-resolution rules for these expressions are
- * brittle when multiple overloads partially match, so we collapse to
- * one signature.
+ * Type-level dispatch happens via TWO typed overloads — v4 first, v3
+ * second — plus an untyped impl. Each overload mirrors the matching
+ * direct adapter's signature exactly, so a v4-schema call site pays
+ * the same per-call depth cost as importing from `attaform/zod-v4`
+ * directly. Overload resolution at concrete call sites commits to one
+ * overload immediately on argument shape — no type-level dispatch tax.
+ *
+ * Tests and other call sites that need the equivalent of
+ * `typeof useForm<X>` should reach for the `UseFormReturn<X>` /
+ * `UseFormConfig<X>` helpers in `types-api.ts` — instantiation
+ * expressions on overloaded functions follow brittle resolution rules,
+ * and the helper types give a deterministic projection.
  *
  * This module is the FALLBACK path. Vite consumers see the
  * `attaform/vite` plugin's `resolveId` hook rewrite `attaform/zod`
@@ -44,25 +41,14 @@ import 'vue';
  * adapter.
  */
 
-type FormInput<Schema> = Schema extends z.ZodObject ? z.input<Schema> extends GenericForm ? z.input<Schema> : never : Schema extends z.ZodObject<z.ZodRawShape> ? z.input<UnwrapZodObject<Schema>> extends GenericForm ? z.input<UnwrapZodObject<Schema>> : never : never;
-type FormOutput<Schema> = Schema extends z.ZodObject ? z.output<Schema> extends GenericForm ? z.output<Schema> : never : Schema extends z.ZodObject<z.ZodRawShape> ? z.output<UnwrapZodObject<Schema>> extends GenericForm ? z.output<UnwrapZodObject<Schema>> : never : never;
-type FormStorageShape<Schema> = Schema extends z.ZodObject ? StorageShape<Schema> extends GenericForm ? StorageShape<Schema> : never : Schema extends z.ZodObject<z.ZodRawShape> ? StorageShape$1<UnwrapZodObject<Schema>> extends GenericForm ? StorageShape$1<UnwrapZodObject<Schema>> : never : never;
-type UnifiedConfiguration<Schema> = Omit<UseFormConfiguration<FormInput<Schema>, FormOutput<Schema>, AbstractSchema<FormInput<Schema>, FormOutput<Schema>>, DeepPartial<DefaultValuesShape<FormInput<Schema>>>>, 'schema' | 'validateOn' | 'debounceMs'> & {
-    schema: Schema;
-} & ValidateOnConfig;
+type V4FormOf$1<S extends z.ZodObject> = z.input<S> extends GenericForm ? z.input<S> : never;
+type V4OutOf$1<S extends z.ZodObject> = z.output<S> extends GenericForm ? z.output<S> : never;
+type V4ReadOf$1<S extends z.ZodObject> = StorageShape<S> extends GenericForm ? StorageShape<S> : never;
+type V3FormOf$1<S extends z.ZodObject<z.ZodRawShape>> = z.input<UnwrapZodObject<S>> extends GenericForm ? z.input<UnwrapZodObject<S>> : never;
+type V3OutOf$1<S extends z.ZodObject<z.ZodRawShape>> = z.output<UnwrapZodObject<S>> extends GenericForm ? z.output<UnwrapZodObject<S>> : never;
+type V3ReadOf$1<S extends z.ZodObject<z.ZodRawShape>> = StorageShape$1<UnwrapZodObject<S>> extends GenericForm ? StorageShape$1<UnwrapZodObject<S>> : never;
 /**
- * Create a form bound to a Zod schema. Accepts both Zod v3 and Zod v4
- * schemas; the runtime picks the right adapter from the schema's
- * shape.
- *
- * Type inference works transparently for both Zod v3 and Zod v4
- * schemas — the adapter is selected from the schema's shape at both
- * runtime and type-check time. `form.values`, `form.fields`,
- * `register`, and the `handleSubmit` callback data type all resolve
- * against the matching adapter's storage shape; consumers don't need
- * to reach for `attaform/zod-v3` or `attaform/zod-v4` to get full
- * inference. Those subpath entries remain as lean-bundle escape
- * hatches for non-Vite tooling, not correctness escape hatches.
+ * Create a form bound to a Zod v4 schema.
  *
  * ```ts
  * import { useForm } from 'attaform/zod'
@@ -75,8 +61,108 @@ type UnifiedConfiguration<Schema> = Omit<UseFormConfiguration<FormInput<Schema>,
  *   }),
  * })
  * ```
+ *
+ * v4 schemas match this overload first via their structural `def`
+ * field. v3 schemas fall through to the v3 overload below.
  */
-declare function useForm<Schema extends z.ZodObject | z.ZodObject<z.ZodRawShape>>(configuration: UnifiedConfiguration<Schema>): UseFormReturnType<FormInput<Schema>, FormOutput<Schema>, FormStorageShape<Schema>>;
+declare function useForm<Schema extends z.ZodObject, K extends FormKey = FormKey>(configuration: Omit<UseFormConfiguration<V4FormOf$1<Schema>, V4OutOf$1<Schema>, AbstractSchema<V4FormOf$1<Schema>, V4OutOf$1<Schema>>, DefaultValuesInput<V4FormOf$1<Schema>>, K>, 'schema' | 'validateOn' | 'debounceMs'> & {
+    schema: Schema;
+} & ValidateOnConfig): UseFormReturnType<V4FormOf$1<Schema>, V4OutOf$1<Schema>, V4ReadOf$1<Schema>, K>;
+/**
+ * Create a form bound to a Zod v3 schema.
+ *
+ * ```ts
+ * import { useForm } from 'attaform/zod'
+ * import { z } from 'zod-v3'
+ *
+ * const form = useForm({
+ *   schema: z.object({
+ *     username: z.string().min(2, 'At least 2 characters'),
+ *     password: z.string().min(8, 'At least 8 characters'),
+ *   }),
+ * })
+ * ```
+ *
+ * v3 schemas match this overload; v4 schemas hit the v4 overload
+ * above first and never reach here.
+ */
+declare function useForm<Schema extends z.ZodObject<z.ZodRawShape>, K extends FormKey = FormKey>(configuration: Omit<UseFormConfiguration<V3FormOf$1<Schema>, V3OutOf$1<Schema>, AbstractSchema<V3FormOf$1<Schema>, V3OutOf$1<Schema>>, DefaultValuesInput<V3FormOf$1<Schema>>, K>, 'schema' | 'validateOn' | 'debounceMs'> & {
+    schema: Schema;
+} & ValidateOnConfig): UseFormReturnType<V3FormOf$1<Schema>, V3OutOf$1<Schema>, V3ReadOf$1<Schema>, K>;
+
+/**
+ * Type-level helpers for the unified `attaform/zod` entry. These give
+ * tests and other type-query call sites a deterministic projection
+ * over an arbitrary v4 OR v3 schema, sidestepping the brittle
+ * instantiation-expression resolution rules TypeScript applies to
+ * overloaded functions (`typeof useForm<X>` can pick the wrong
+ * overload or the impl signature, depending on whether the type
+ * argument is a concrete schema, a generic, or a constraint).
+ *
+ * The helpers dispatch ONCE per use site via a binary conditional —
+ * no stacking, no amplification across the return type. Equivalent
+ * to writing `ReturnType<typeof useForm<S>>` but cache-stable across
+ * call patterns.
+ *
+ * Per `inference-first DX`, these helpers are test- and
+ * internal-facing. Consumer code shouldn't reach for them — the
+ * overloaded `useForm` already gives full inference at call sites.
+ */
+
+type V4FormOf<S extends z.ZodObject> = z.input<S> extends GenericForm ? z.input<S> : never;
+type V4OutOf<S extends z.ZodObject> = z.output<S> extends GenericForm ? z.output<S> : never;
+type V4ReadOf<S extends z.ZodObject> = StorageShape<S> extends GenericForm ? StorageShape<S> : never;
+type V3FormOf<S extends z.ZodObject<z.ZodRawShape>> = z.input<UnwrapZodObject<S>> extends GenericForm ? z.input<UnwrapZodObject<S>> : never;
+type V3OutOf<S extends z.ZodObject<z.ZodRawShape>> = z.output<UnwrapZodObject<S>> extends GenericForm ? z.output<UnwrapZodObject<S>> : never;
+type V3ReadOf<S extends z.ZodObject<z.ZodRawShape>> = StorageShape$1<UnwrapZodObject<S>> extends GenericForm ? StorageShape$1<UnwrapZodObject<S>> : never;
+/**
+ * Direct V4 projection — no major-dispatch. Use when the schema's
+ * Zod major is known statically (typical for V4 generic helpers like
+ * `function setup<S extends z.ZodObject>(s: S)`). TS simplifies the
+ * helper cleanly under generic constraints because no conditional
+ * is present.
+ */
+type UseFormReturnV4<Schema extends z.ZodObject, K extends FormKey = FormKey> = UseFormReturnType<V4FormOf<Schema>, V4OutOf<Schema>, V4ReadOf<Schema>, K>;
+/**
+ * Direct V4 configuration projection. Mirrors `UseFormReturnV4`.
+ */
+type UseFormConfigV4<Schema extends z.ZodObject, K extends FormKey = FormKey> = Omit<UseFormConfiguration<V4FormOf<Schema>, V4OutOf<Schema>, AbstractSchema<V4FormOf<Schema>, V4OutOf<Schema>>, DefaultValuesInput<V4FormOf<Schema>>, K>, 'schema' | 'validateOn' | 'debounceMs'> & {
+    schema: Schema;
+} & ValidateOnConfig;
+/**
+ * Direct V3 projection — no major-dispatch. Use when the schema's
+ * Zod major is known statically.
+ */
+type UseFormReturnV3<Schema extends z.ZodObject<z.ZodRawShape>, K extends FormKey = FormKey> = UseFormReturnType<V3FormOf<Schema>, V3OutOf<Schema>, V3ReadOf<Schema>, K>;
+/**
+ * Direct V3 configuration projection. Mirrors `UseFormReturnV3`.
+ */
+type UseFormConfigV3<Schema extends z.ZodObject<z.ZodRawShape>, K extends FormKey = FormKey> = Omit<UseFormConfiguration<V3FormOf<Schema>, V3OutOf<Schema>, AbstractSchema<V3FormOf<Schema>, V3OutOf<Schema>>, DefaultValuesInput<V3FormOf<Schema>>, K>, 'schema' | 'validateOn' | 'debounceMs'> & {
+    schema: Schema;
+} & ValidateOnConfig;
+/**
+ * The return shape of `useForm` for a given Zod schema. Dispatches
+ * once on the schema's major version and projects to the matching
+ * adapter's `Form` / `Out` / `Read` slots.
+ *
+ * Replaces `ReturnType<typeof useForm<Schema, K>>` in test code with
+ * concrete schemas. For generic helpers (`<S extends z.ZodObject>`),
+ * use `UseFormReturnV4<S>` directly — TS doesn't simplify
+ * conditional types under generic constraints, so the dispatch in
+ * this helper stays deferred and TS can't prove return-type
+ * compatibility.
+ */
+type UseFormReturn<Schema, K extends FormKey = FormKey> = Schema extends z.ZodObject ? UseFormReturnType<V4FormOf<Schema>, V4OutOf<Schema>, V4ReadOf<Schema>, K> : Schema extends z.ZodObject<z.ZodRawShape> ? UseFormReturnType<V3FormOf<Schema>, V3OutOf<Schema>, V3ReadOf<Schema>, K> : never;
+/**
+ * The configuration parameter shape of `useForm` for a given Zod
+ * schema. Mirrors `UseFormReturn`'s dispatch — replaces
+ * `Parameters<typeof useForm<Schema, K>>[0]` in test code.
+ */
+type UseFormConfig<Schema, K extends FormKey = FormKey> = Schema extends z.ZodObject ? Omit<UseFormConfiguration<V4FormOf<Schema>, V4OutOf<Schema>, AbstractSchema<V4FormOf<Schema>, V4OutOf<Schema>>, DefaultValuesInput<V4FormOf<Schema>>, K>, 'schema' | 'validateOn' | 'debounceMs'> & {
+    schema: Schema;
+} & ValidateOnConfig : Schema extends z.ZodObject<z.ZodRawShape> ? Omit<UseFormConfiguration<V3FormOf<Schema>, V3OutOf<Schema>, AbstractSchema<V3FormOf<Schema>, V3OutOf<Schema>>, DefaultValuesInput<V3FormOf<Schema>>, K>, 'schema' | 'validateOn' | 'debounceMs'> & {
+    schema: Schema;
+} & ValidateOnConfig : never;
 
 /**
  * Field-metadata write/read API for the unified `attaform/zod` entry.
@@ -124,3 +210,4 @@ declare const fieldMeta: ZodFieldMetaRegistry;
 declare function withMeta<S>(schema: S, payload: FieldMetaPayload): S;
 
 export { FieldMetaPayload, fieldMeta, useForm, withMeta };
+export type { UseFormConfig, UseFormConfigV3, UseFormConfigV4, UseFormReturn, UseFormReturnV3, UseFormReturnV4 };

package/dist/zod.mjs

@@ -1,8 +1,8 @@
-import { b as InvalidUseFormConfigError } from './shared/attaform.CIEQgJnM.mjs';
-export { u as useRegister } from './shared/attaform.CIEQgJnM.mjs';
-import { u as useForm$2 } from './shared/attaform.Drt6fivF.mjs';
-import { u as useForm$1 } from './shared/attaform.CpERWz3u.mjs';
-export { A as AttaformErrorCode, i as injectForm, a as isUnset, u as unset } from './shared/attaform.B3ZaPIzS.mjs';
+import { d as InvalidUseFormConfigError } from './shared/attaform.Xhg0AYNa.mjs';
+export { u as useRegister } from './shared/attaform.Xhg0AYNa.mjs';
+import { u as useForm$2 } from './shared/attaform.CtNUB9nf.mjs';
+import { u as useForm$1 } from './shared/attaform.Xt0A3QUd.mjs';
+export { A as AttaformErrorCode, i as injectForm, a as injectWizard, b as isUnset, l as lazy, u as unset, c as useWizard } from './shared/attaform.DsC3rZHG.mjs';
 import { f as fieldMetaStore, g as getFieldMetaForSchema } from './shared/attaform.D13GMFgK.mjs';
 
 function isZodV4SchemaShape(value) {
@@ -18,13 +18,9 @@ function useForm(configuration) {
   }
   const { schema } = configuration;
   if (isZodV4SchemaShape(schema)) {
-    return useForm$1(
-      configuration
-    );
+    return useForm$1(configuration);
   }
-  return useForm$2(
-    configuration
-  );
+  return useForm$2(configuration);
 }
 
 const fieldMeta = fieldMetaStore;

package/dist/zod.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"zod.mjs","sources":["../src/runtime/core/zod-shape.ts","../src/runtime/adapters/unified/use-form.ts","../src/runtime/adapters/unified/field-meta.ts"],"sourcesContent":["/**\n * Shape detectors for Zod schemas. Used by the unified `attaform/zod`\n * entry's runtime dispatch (`runtime/adapters/unified/use-form.ts`)\n * to route to the v3 or v4 adapter based on the schema's runtime\n * shape. Mirrors the discrimination already used by the v4\n * introspection helper (`adapters/zod-v4/introspect.ts`'s\n * `assertZodVersion`, which reads `def.type`) and the v3 wrapper's\n * legitimate-input branch (`composables/use-form.ts`'s `isZodType`,\n * which reads `_def`).\n *\n * Why this discriminator and not `_zod` / `_def`:\n * - Zod v4 retained `_def` for backward compat — reading `_def` alone\n *   misclassifies v4 schemas as v3.\n * - Zod v4's stable shape is `def.type: string` (lowercase tag like\n *   `'object'`); Zod v3's is `_def.typeName: string` (capitalised tag\n *   like `'ZodObject'`). Both are checked structurally so consumers\n *   who alias one Zod major to a non-standard import path still work.\n */\n\ninterface ZodV4Shape {\n  def: { type: unknown }\n}\n\ninterface ZodV3Shape {\n  _def: { typeName: unknown }\n}\n\n/**\n * Returns true when `value` looks like a Zod schema of either major\n * version. Convenience wrapper around the v3 / v4 detectors.\n */\nexport function isZodSchemaShape(value: unknown): boolean {\n  return isZodV4SchemaShape(value) || isZodV3SchemaShape(value)\n}\n\n/**\n * Returns true when `value` looks like a Zod v4 schema (has\n * `def.type: string`). Used by the unified entry's runtime-dispatch\n * to route to the v4 adapter.\n */\nexport function isZodV4SchemaShape(value: unknown): value is ZodV4Shape {\n  if (typeof value !== 'object' || value === null) return false\n  const def = (value as { def?: unknown }).def\n  if (typeof def !== 'object' || def === null) return false\n  return typeof (def as { type?: unknown }).type === 'string'\n}\n\n/**\n * Returns true when `value` looks like a Zod v3 schema (has\n * `_def.typeName: string`). Kept distinct from `isZodV4SchemaShape`\n * because some v4 schemas also expose `_def` for backward compat —\n * the v4 detector wins first in `isZodSchemaShape`.\n */\nexport function isZodV3SchemaShape(value: unknown): value is ZodV3Shape {\n  if (typeof value !== 'object' || value === null) return false\n  const def = (value as { _def?: unknown })._def\n  if (typeof def !== 'object' || def === null) return false\n  return typeof (def as { typeName?: unknown }).typeName === 'string'\n}\n","/**\n * Unified `useForm` for the `attaform/zod` entry. Runtime-dispatches\n * on schema shape: a Zod v4 schema (`def.type` truthy) routes to the\n * v4 adapter; a Zod v3 schema (or any other `AbstractSchema`) routes\n * to the v3 wrapper, which already accepts both Zod v3 input and\n * `AbstractSchema` directly via its built-in shape branch.\n *\n * Type-level dispatch happens through a single signature with a\n * union constraint — `Schema extends z.ZodObject |\n * zV3.ZodObject<zV3.ZodRawShape>`. The configuration parameter and\n * return type both dispatch conditionally on whether `Schema` is a\n * v4 or v3 object. The two majors don't structurally satisfy each\n * other's `ZodObject` constraints (v4 has `loose` / `safeExtend` /\n * `def` / `type` members v3 lacks), so neither alone is enough — the\n * union accepts both, and the conditional return type routes through\n * the matching adapter's `StorageShape` / `z.input` / `z.output`.\n *\n * A single signature (rather than overloads) keeps `typeof\n * useForm<X>` instantiation expressions in test code unambiguous:\n * TypeScript's overload-resolution rules for these expressions are\n * brittle when multiple overloads partially match, so we collapse to\n * one signature.\n *\n * This module is the FALLBACK path. Vite consumers see the\n * `attaform/vite` plugin's `resolveId` hook rewrite `attaform/zod`\n * imports to either `attaform/zod-v3` or `attaform/zod-v4` at build\n * time — in that case this dispatch never runs and the consumer\n * bundle ships only the matching adapter. Other bundlers (and\n * non-bundled ESM consumption) hit this dispatch instead, paying a\n * modest size cost for the convenience of a single hello-world import.\n *\n * Power users who want a guaranteed lean bundle on non-Vite tooling\n * can import directly from `attaform/zod-v3` or `attaform/zod-v4` —\n * those subpaths are never rewritten and never load the other\n * adapter.\n */\nimport type { z } from 'zod'\nimport type { z as zV3 } from 'zod-v3'\nimport { InvalidUseFormConfigError } from '../../core/errors'\nimport { isZodV4SchemaShape } from '../../core/zod-shape'\nimport { useForm as useFormV3 } from '../../composables/use-form'\nimport { useForm as useFormV4 } from '../zod-v4'\nimport type { StorageShape as StorageShapeV4 } from '../zod-v4/types-storage-shape'\nimport type { StorageShape as StorageShapeV3 } from '../zod-v3/types-storage-shape'\nimport type { UnwrapZodObject } from '../zod-v3/types-zod-adapter'\nimport type {\n  AbstractSchema,\n  ValidateOnConfig,\n  UseFormReturnType,\n  UseFormConfiguration,\n} from '../../types/types-api'\nimport type { DeepPartial, DefaultValuesShape, GenericForm } from '../../types/types-core'\n\n// ───────────────────────────────────────────────────────────────────\n// Per-major projections. Each dispatches a single Schema to the\n// matching adapter's input / output / storage-shape slot. The\n// trailing `never` arms catch the \"other major\" case so an isolated\n// instantiation stays well-formed; the union constraint on the\n// public signature guarantees one arm always fires.\n// ───────────────────────────────────────────────────────────────────\n\ntype FormInput<Schema> = Schema extends z.ZodObject\n  ? z.input<Schema> extends GenericForm\n    ? z.input<Schema>\n    : never\n  : Schema extends zV3.ZodObject<zV3.ZodRawShape>\n    ? zV3.input<UnwrapZodObject<Schema>> extends GenericForm\n      ? zV3.input<UnwrapZodObject<Schema>>\n      : never\n    : never\n\ntype FormOutput<Schema> = Schema extends z.ZodObject\n  ? z.output<Schema> extends GenericForm\n    ? z.output<Schema>\n    : never\n  : Schema extends zV3.ZodObject<zV3.ZodRawShape>\n    ? zV3.output<UnwrapZodObject<Schema>> extends GenericForm\n      ? zV3.output<UnwrapZodObject<Schema>>\n      : never\n    : never\n\ntype FormStorageShape<Schema> = Schema extends z.ZodObject\n  ? StorageShapeV4<Schema> extends GenericForm\n    ? StorageShapeV4<Schema>\n    : never\n  : Schema extends zV3.ZodObject<zV3.ZodRawShape>\n    ? StorageShapeV3<UnwrapZodObject<Schema>> extends GenericForm\n      ? StorageShapeV3<UnwrapZodObject<Schema>>\n      : never\n    : never\n\n// Single unified configuration shape. The outer structure is\n// non-conditional (so TS can resolve it for any Schema satisfying\n// the union constraint, including generic `F extends z.ZodObject`\n// helpers in test code); only the field-level types dispatch on\n// Schema kind via `FormInput` / `FormOutput`. The runtime cast\n// passes the configuration through unchanged — each adapter's own\n// signature absorbs the residual structural drift.\ntype UnifiedConfiguration<Schema> = Omit<\n  UseFormConfiguration<\n    FormInput<Schema>,\n    FormOutput<Schema>,\n    AbstractSchema<FormInput<Schema>, FormOutput<Schema>>,\n    DeepPartial<DefaultValuesShape<FormInput<Schema>>>\n  >,\n  'schema' | 'validateOn' | 'debounceMs'\n> & { schema: Schema } & ValidateOnConfig\n\n/**\n * Create a form bound to a Zod schema. Accepts both Zod v3 and Zod v4\n * schemas; the runtime picks the right adapter from the schema's\n * shape.\n *\n * Type inference works transparently for both Zod v3 and Zod v4\n * schemas — the adapter is selected from the schema's shape at both\n * runtime and type-check time. `form.values`, `form.fields`,\n * `register`, and the `handleSubmit` callback data type all resolve\n * against the matching adapter's storage shape; consumers don't need\n * to reach for `attaform/zod-v3` or `attaform/zod-v4` to get full\n * inference. Those subpath entries remain as lean-bundle escape\n * hatches for non-Vite tooling, not correctness escape hatches.\n *\n * ```ts\n * import { useForm } from 'attaform/zod'\n * import { z } from 'zod'\n *\n * const form = useForm({\n *   schema: z.object({\n *     username: z.string().min(2, 'At least 2 characters'),\n *     password: z.string().min(8, 'At least 8 characters'),\n *   }),\n * })\n * ```\n */\nexport function useForm<Schema extends z.ZodObject | zV3.ZodObject<zV3.ZodRawShape>>(\n  configuration: UnifiedConfiguration<Schema>\n): UseFormReturnType<FormInput<Schema>, FormOutput<Schema>, FormStorageShape<Schema>> {\n  // Foot-gun guard mirrors the typed wrappers'.\n  if (\n    configuration === undefined ||\n    configuration === null ||\n    (configuration as { schema?: unknown }).schema === undefined\n  ) {\n    throw new InvalidUseFormConfigError()\n  }\n\n  const { schema } = configuration as { schema: unknown }\n  if (isZodV4SchemaShape(schema)) {\n    return useFormV4(\n      configuration as Parameters<typeof useFormV4>[0]\n    ) as unknown as UseFormReturnType<\n      FormInput<Schema>,\n      FormOutput<Schema>,\n      FormStorageShape<Schema>\n    >\n  }\n  // Anything else (Zod v3 schema, custom AbstractSchema, schema\n  // factory) goes through the v3 wrapper, which already accepts both\n  // Zod v3 input and AbstractSchema directly via its existing shape\n  // branch.\n  return useFormV3(\n    configuration as Parameters<typeof useFormV3>[0]\n  ) as unknown as UseFormReturnType<FormInput<Schema>, FormOutput<Schema>, FormStorageShape<Schema>>\n}\n","/**\n * Field-metadata write/read API for the unified `attaform/zod` entry.\n *\n * Storage is shared with both adapters via `field-meta-store` — a\n * payload written here is visible to whichever adapter the unified\n * `useForm` dispatches to at runtime, regardless of Zod major. No\n * `zod` runtime import; the type-only `import type` is erased at\n * build, so `attaform/zod` carries no `z.registry` reference even\n * when consumed by a Zod 3 project without the Vite plugin alias.\n *\n * The native v4 chain `schema.register(fieldMeta, payload)` continues\n * to work — Zod 4's `.register()` only calls `.add(this, payload)`\n * structurally, satisfied by the shared store.\n */\nimport type { z } from 'zod'\nimport type { FieldMetaPayload } from '../../core/field-meta'\nimport { fieldMetaStore, getFieldMetaForSchema } from '../../core/field-meta-store'\n\n// Zod v4's `$ZodRegistry` class isn't surfaced under the `z` namespace\n// of the classic external entry, but `z.registry()` returns one — so\n// `ReturnType<typeof z.registry<T>>` resolves to the registry type\n// without needing a direct import. The `import type` keeps the\n// reference type-only; nothing about `z.registry` lands in the bundle.\ntype ZodFieldMetaRegistry = ReturnType<typeof z.registry<FieldMetaPayload>>\n\n/**\n * The shared registry every Attaform-aware Zod schema can register\n * field metadata against, regardless of major. Same instance the v3\n * and v4 adapter entries expose — write in one place, read from\n * any.\n *\n * Cast to Zod 4's `$ZodRegistry<FieldMetaPayload>` so the native\n * `schema.register(fieldMeta, payload)` chain type-checks for v4\n * users; the runtime call only needs `.add` structurally, which the\n * shared store provides.\n */\nexport const fieldMeta = fieldMetaStore as unknown as ZodFieldMetaRegistry\n\n/**\n * Attach `payload` to `schema` in the shared registry and return a\n * clone of `schema` so each call gets its own identity (the registry\n * keys on schema reference, so cloning prevents last-write-wins\n * collisions for sub-schemas reused at multiple paths).\n *\n * Works on both Zod 3 and Zod 4 schemas — branches on the runtime\n * shape of the schema:\n * - Zod 4 schemas expose a public `.clone()` method; we call it.\n * - Zod 3 schemas don't, so we reconstruct via\n *   `new schema.constructor(schema._def)`.\n *\n * Both forms produce a fresh schema with the same effective\n * structure, so the registry slot is unique to this call site.\n */\nexport function withMeta<S>(schema: S, payload: FieldMetaPayload): S {\n  const target = schema as object\n  const existing = getFieldMetaForSchema(target) ?? {}\n  const cloned = cloneSchema(schema)\n  fieldMetaStore.add(cloned as object, { ...existing, ...payload })\n  return cloned\n}\n\nfunction cloneSchema<S>(schema: S): S {\n  const candidate = schema as { clone?: unknown; constructor: unknown; _def: unknown }\n  if (typeof candidate.clone === 'function') {\n    return (candidate.clone as () => S)()\n  }\n  // Zod 3 path: reconstruct via constructor + _def (no public\n  // `.clone()` on v3).\n  const Ctor = candidate.constructor as new (def: unknown) => S\n  return new Ctor(candidate._def)\n}\n"],"names":["useFormV4","useFormV3"],"mappings":";;;;;;;AAwCO,SAAS,mBAAmB,KAAA,EAAqC;AACtE,EAAA,IAAI,OAAO,KAAA,KAAU,QAAA,IAAY,KAAA,KAAU,MAAM,OAAO,KAAA;AACxD,EAAA,MAAM,MAAO,KAAA,CAA4B,GAAA;AACzC,EAAA,IAAI,OAAO,GAAA,KAAQ,QAAA,IAAY,GAAA,KAAQ,MAAM,OAAO,KAAA;AACpD,EAAA,OAAO,OAAQ,IAA2B,IAAA,KAAS,QAAA;AACrD;;ACyFO,SAAS,QACd,aAAA,EACoF;AAEpF,EAAA,IACE,kBAAkB,MAAA,IAClB,aAAA,KAAkB,IAAA,IACjB,aAAA,CAAuC,WAAW,MAAA,EACnD;AACA,IAAA,MAAM,IAAI,yBAAA,EAA0B;AAAA,EACtC;AAEA,EAAA,MAAM,EAAE,QAAO,GAAI,aAAA;AACnB,EAAA,IAAI,kBAAA,CAAmB,MAAM,CAAA,EAAG;AAC9B,IAAA,OAAOA,SAAA;AAAA,MACL;AAAA,KACF;AAAA,EAKF;AAKA,EAAA,OAAOC,SAAA;AAAA,IACL;AAAA,GACF;AACF;;AC/HO,MAAM,SAAA,GAAY;AAiBlB,SAAS,QAAA,CAAY,QAAW,OAAA,EAA8B;AACnE,EAAA,MAAM,MAAA,GAAS,MAAA;AACf,EAAA,MAAM,QAAA,GAAW,qBAAA,CAAsB,MAAM,CAAA,IAAK,EAAC;AACnD,EAAA,MAAM,MAAA,GAAS,YAAY,MAAM,CAAA;AACjC,EAAA,cAAA,CAAe,IAAI,MAAA,EAAkB,EAAE,GAAG,QAAA,EAAU,GAAG,SAAS,CAAA;AAChE,EAAA,OAAO,MAAA;AACT;AAEA,SAAS,YAAe,MAAA,EAAc;AACpC,EAAA,MAAM,SAAA,GAAY,MAAA;AAClB,EAAA,IAAI,OAAO,SAAA,CAAU,KAAA,KAAU,UAAA,EAAY;AACzC,IAAA,OAAQ,UAAU,KAAA,EAAkB;AAAA,EACtC;AAGA,EAAA,MAAM,OAAO,SAAA,CAAU,WAAA;AACvB,EAAA,OAAO,IAAI,IAAA,CAAK,SAAA,CAAU,IAAI,CAAA;AAChC;;;;"}
+{"version":3,"file":"zod.mjs","sources":["../src/runtime/core/zod-shape.ts","../src/runtime/adapters/unified/use-form.ts","../src/runtime/adapters/unified/field-meta.ts"],"sourcesContent":["/**\n * Shape detectors for Zod schemas. Used by the unified `attaform/zod`\n * entry's runtime dispatch (`runtime/adapters/unified/use-form.ts`)\n * to route to the v3 or v4 adapter based on the schema's runtime\n * shape. Mirrors the discrimination already used by the v4\n * introspection helper (`adapters/zod-v4/introspect.ts`'s\n * `assertZodVersion`, which reads `def.type`) and the v3 wrapper's\n * legitimate-input branch (`composables/use-form.ts`'s `isZodType`,\n * which reads `_def`).\n *\n * Why this discriminator and not `_zod` / `_def`:\n * - Zod v4 retained `_def` for backward compat — reading `_def` alone\n *   misclassifies v4 schemas as v3.\n * - Zod v4's stable shape is `def.type: string` (lowercase tag like\n *   `'object'`); Zod v3's is `_def.typeName: string` (capitalised tag\n *   like `'ZodObject'`). Both are checked structurally so consumers\n *   who alias one Zod major to a non-standard import path still work.\n */\n\ninterface ZodV4Shape {\n  def: { type: unknown }\n}\n\ninterface ZodV3Shape {\n  _def: { typeName: unknown }\n}\n\n/**\n * Returns true when `value` looks like a Zod schema of either major\n * version. Convenience wrapper around the v3 / v4 detectors.\n */\nexport function isZodSchemaShape(value: unknown): boolean {\n  return isZodV4SchemaShape(value) || isZodV3SchemaShape(value)\n}\n\n/**\n * Returns true when `value` looks like a Zod v4 schema (has\n * `def.type: string`). Used by the unified entry's runtime-dispatch\n * to route to the v4 adapter.\n */\nexport function isZodV4SchemaShape(value: unknown): value is ZodV4Shape {\n  if (typeof value !== 'object' || value === null) return false\n  const def = (value as { def?: unknown }).def\n  if (typeof def !== 'object' || def === null) return false\n  return typeof (def as { type?: unknown }).type === 'string'\n}\n\n/**\n * Returns true when `value` looks like a Zod v3 schema (has\n * `_def.typeName: string`). Kept distinct from `isZodV4SchemaShape`\n * because some v4 schemas also expose `_def` for backward compat —\n * the v4 detector wins first in `isZodSchemaShape`.\n */\nexport function isZodV3SchemaShape(value: unknown): value is ZodV3Shape {\n  if (typeof value !== 'object' || value === null) return false\n  const def = (value as { _def?: unknown })._def\n  if (typeof def !== 'object' || def === null) return false\n  return typeof (def as { typeName?: unknown }).typeName === 'string'\n}\n","/**\n * Unified `useForm` for the `attaform/zod` entry. Runtime-dispatches\n * on schema shape: a Zod v4 schema (`def.type` truthy) routes to the\n * v4 adapter; a Zod v3 schema (or any other `AbstractSchema`) routes\n * to the v3 wrapper, which already accepts both Zod v3 input and\n * `AbstractSchema` directly via its built-in shape branch.\n *\n * Type-level dispatch happens via TWO typed overloads — v4 first, v3\n * second — plus an untyped impl. Each overload mirrors the matching\n * direct adapter's signature exactly, so a v4-schema call site pays\n * the same per-call depth cost as importing from `attaform/zod-v4`\n * directly. Overload resolution at concrete call sites commits to one\n * overload immediately on argument shape — no type-level dispatch tax.\n *\n * Tests and other call sites that need the equivalent of\n * `typeof useForm<X>` should reach for the `UseFormReturn<X>` /\n * `UseFormConfig<X>` helpers in `types-api.ts` — instantiation\n * expressions on overloaded functions follow brittle resolution rules,\n * and the helper types give a deterministic projection.\n *\n * This module is the FALLBACK path. Vite consumers see the\n * `attaform/vite` plugin's `resolveId` hook rewrite `attaform/zod`\n * imports to either `attaform/zod-v3` or `attaform/zod-v4` at build\n * time — in that case this dispatch never runs and the consumer\n * bundle ships only the matching adapter. Other bundlers (and\n * non-bundled ESM consumption) hit this dispatch instead, paying a\n * modest size cost for the convenience of a single hello-world import.\n *\n * Power users who want a guaranteed lean bundle on non-Vite tooling\n * can import directly from `attaform/zod-v3` or `attaform/zod-v4` —\n * those subpaths are never rewritten and never load the other\n * adapter.\n */\nimport type { z } from 'zod'\nimport type { z as zV3 } from 'zod-v3'\nimport { InvalidUseFormConfigError } from '../../core/errors'\nimport { isZodV4SchemaShape } from '../../core/zod-shape'\nimport { useForm as useFormV3 } from '../../composables/use-form'\nimport { useForm as useFormV4 } from '../zod-v4'\nimport type { StorageShape as StorageShapeV4 } from '../zod-v4/types-storage-shape'\nimport type { StorageShape as StorageShapeV3 } from '../zod-v3/types-storage-shape'\nimport type { UnwrapZodObject } from '../zod-v3/types-zod-adapter'\nimport type {\n  AbstractSchema,\n  FormKey,\n  ValidateOnConfig,\n  UseFormReturnType,\n  UseFormConfiguration,\n} from '../../types/types-api'\nimport type { DefaultValuesInput, GenericForm } from '../../types/types-core'\n\n// ───────────────────────────────────────────────────────────────────\n// Per-major projection helpers. Each overload's constraint scopes the\n// Schema to one Zod major, so the projection is a direct read — no\n// dispatch in the type body. Mirrors the direct adapter shapes so the\n// unified entry pays the same per-call depth cost as a direct import.\n// ───────────────────────────────────────────────────────────────────\n\ntype V4FormOf<S extends z.ZodObject> = z.input<S> extends GenericForm ? z.input<S> : never\ntype V4OutOf<S extends z.ZodObject> = z.output<S> extends GenericForm ? z.output<S> : never\ntype V4ReadOf<S extends z.ZodObject> =\n  StorageShapeV4<S> extends GenericForm ? StorageShapeV4<S> : never\n\ntype V3FormOf<S extends zV3.ZodObject<zV3.ZodRawShape>> =\n  zV3.input<UnwrapZodObject<S>> extends GenericForm ? zV3.input<UnwrapZodObject<S>> : never\ntype V3OutOf<S extends zV3.ZodObject<zV3.ZodRawShape>> =\n  zV3.output<UnwrapZodObject<S>> extends GenericForm ? zV3.output<UnwrapZodObject<S>> : never\ntype V3ReadOf<S extends zV3.ZodObject<zV3.ZodRawShape>> =\n  StorageShapeV3<UnwrapZodObject<S>> extends GenericForm\n    ? StorageShapeV3<UnwrapZodObject<S>>\n    : never\n\n/**\n * Create a form bound to a Zod v4 schema.\n *\n * ```ts\n * import { useForm } from 'attaform/zod'\n * import { z } from 'zod'\n *\n * const form = useForm({\n *   schema: z.object({\n *     username: z.string().min(2, 'At least 2 characters'),\n *     password: z.string().min(8, 'At least 8 characters'),\n *   }),\n * })\n * ```\n *\n * v4 schemas match this overload first via their structural `def`\n * field. v3 schemas fall through to the v3 overload below.\n */\nexport function useForm<Schema extends z.ZodObject, K extends FormKey = FormKey>(\n  configuration: Omit<\n    UseFormConfiguration<\n      V4FormOf<Schema>,\n      V4OutOf<Schema>,\n      AbstractSchema<V4FormOf<Schema>, V4OutOf<Schema>>,\n      DefaultValuesInput<V4FormOf<Schema>>,\n      K\n    >,\n    'schema' | 'validateOn' | 'debounceMs'\n  > & { schema: Schema } & ValidateOnConfig\n): UseFormReturnType<V4FormOf<Schema>, V4OutOf<Schema>, V4ReadOf<Schema>, K>\n/**\n * Create a form bound to a Zod v3 schema.\n *\n * ```ts\n * import { useForm } from 'attaform/zod'\n * import { z } from 'zod-v3'\n *\n * const form = useForm({\n *   schema: z.object({\n *     username: z.string().min(2, 'At least 2 characters'),\n *     password: z.string().min(8, 'At least 8 characters'),\n *   }),\n * })\n * ```\n *\n * v3 schemas match this overload; v4 schemas hit the v4 overload\n * above first and never reach here.\n */\nexport function useForm<Schema extends zV3.ZodObject<zV3.ZodRawShape>, K extends FormKey = FormKey>(\n  configuration: Omit<\n    UseFormConfiguration<\n      V3FormOf<Schema>,\n      V3OutOf<Schema>,\n      AbstractSchema<V3FormOf<Schema>, V3OutOf<Schema>>,\n      DefaultValuesInput<V3FormOf<Schema>>,\n      K\n    >,\n    'schema' | 'validateOn' | 'debounceMs'\n  > & { schema: Schema } & ValidateOnConfig\n): UseFormReturnType<V3FormOf<Schema>, V3OutOf<Schema>, V3ReadOf<Schema>, K>\n// eslint-disable-next-line @typescript-eslint/no-explicit-any\nexport function useForm(configuration: any): any {\n  if (\n    configuration === undefined ||\n    configuration === null ||\n    (configuration as { schema?: unknown }).schema === undefined\n  ) {\n    throw new InvalidUseFormConfigError()\n  }\n  const { schema } = configuration as { schema: unknown }\n  if (isZodV4SchemaShape(schema)) {\n    return useFormV4(configuration as Parameters<typeof useFormV4>[0])\n  }\n  return useFormV3(configuration as Parameters<typeof useFormV3>[0])\n}\n","/**\n * Field-metadata write/read API for the unified `attaform/zod` entry.\n *\n * Storage is shared with both adapters via `field-meta-store` — a\n * payload written here is visible to whichever adapter the unified\n * `useForm` dispatches to at runtime, regardless of Zod major. No\n * `zod` runtime import; the type-only `import type` is erased at\n * build, so `attaform/zod` carries no `z.registry` reference even\n * when consumed by a Zod 3 project without the Vite plugin alias.\n *\n * The native v4 chain `schema.register(fieldMeta, payload)` continues\n * to work — Zod 4's `.register()` only calls `.add(this, payload)`\n * structurally, satisfied by the shared store.\n */\nimport type { z } from 'zod'\nimport type { FieldMetaPayload } from '../../core/field-meta'\nimport { fieldMetaStore, getFieldMetaForSchema } from '../../core/field-meta-store'\n\n// Zod v4's `$ZodRegistry` class isn't surfaced under the `z` namespace\n// of the classic external entry, but `z.registry()` returns one — so\n// `ReturnType<typeof z.registry<T>>` resolves to the registry type\n// without needing a direct import. The `import type` keeps the\n// reference type-only; nothing about `z.registry` lands in the bundle.\ntype ZodFieldMetaRegistry = ReturnType<typeof z.registry<FieldMetaPayload>>\n\n/**\n * The shared registry every Attaform-aware Zod schema can register\n * field metadata against, regardless of major. Same instance the v3\n * and v4 adapter entries expose — write in one place, read from\n * any.\n *\n * Cast to Zod 4's `$ZodRegistry<FieldMetaPayload>` so the native\n * `schema.register(fieldMeta, payload)` chain type-checks for v4\n * users; the runtime call only needs `.add` structurally, which the\n * shared store provides.\n */\nexport const fieldMeta = fieldMetaStore as unknown as ZodFieldMetaRegistry\n\n/**\n * Attach `payload` to `schema` in the shared registry and return a\n * clone of `schema` so each call gets its own identity (the registry\n * keys on schema reference, so cloning prevents last-write-wins\n * collisions for sub-schemas reused at multiple paths).\n *\n * Works on both Zod 3 and Zod 4 schemas — branches on the runtime\n * shape of the schema:\n * - Zod 4 schemas expose a public `.clone()` method; we call it.\n * - Zod 3 schemas don't, so we reconstruct via\n *   `new schema.constructor(schema._def)`.\n *\n * Both forms produce a fresh schema with the same effective\n * structure, so the registry slot is unique to this call site.\n */\nexport function withMeta<S>(schema: S, payload: FieldMetaPayload): S {\n  const target = schema as object\n  const existing = getFieldMetaForSchema(target) ?? {}\n  const cloned = cloneSchema(schema)\n  fieldMetaStore.add(cloned as object, { ...existing, ...payload })\n  return cloned\n}\n\nfunction cloneSchema<S>(schema: S): S {\n  const candidate = schema as { clone?: unknown; constructor: unknown; _def: unknown }\n  if (typeof candidate.clone === 'function') {\n    return (candidate.clone as () => S)()\n  }\n  // Zod 3 path: reconstruct via constructor + _def (no public\n  // `.clone()` on v3).\n  const Ctor = candidate.constructor as new (def: unknown) => S\n  return new Ctor(candidate._def)\n}\n"],"names":["useFormV4","useFormV3"],"mappings":";;;;;;;AAwCO,SAAS,mBAAmB,KAAA,EAAqC;AACtE,EAAA,IAAI,OAAO,KAAA,KAAU,QAAA,IAAY,KAAA,KAAU,MAAM,OAAO,KAAA;AACxD,EAAA,MAAM,MAAO,KAAA,CAA4B,GAAA;AACzC,EAAA,IAAI,OAAO,GAAA,KAAQ,QAAA,IAAY,GAAA,KAAQ,MAAM,OAAO,KAAA;AACpD,EAAA,OAAO,OAAQ,IAA2B,IAAA,KAAS,QAAA;AACrD;;ACwFO,SAAS,QAAQ,aAAA,EAAyB;AAC/C,EAAA,IACE,kBAAkB,MAAA,IAClB,aAAA,KAAkB,IAAA,IACjB,aAAA,CAAuC,WAAW,MAAA,EACnD;AACA,IAAA,MAAM,IAAI,yBAAA,EAA0B;AAAA,EACtC;AACA,EAAA,MAAM,EAAE,QAAO,GAAI,aAAA;AACnB,EAAA,IAAI,kBAAA,CAAmB,MAAM,CAAA,EAAG;AAC9B,IAAA,OAAOA,UAAU,aAAgD,CAAA;AAAA,EACnE;AACA,EAAA,OAAOC,UAAU,aAAgD,CAAA;AACnE;;AC9GO,MAAM,SAAA,GAAY;AAiBlB,SAAS,QAAA,CAAY,QAAW,OAAA,EAA8B;AACnE,EAAA,MAAM,MAAA,GAAS,MAAA;AACf,EAAA,MAAM,QAAA,GAAW,qBAAA,CAAsB,MAAM,CAAA,IAAK,EAAC;AACnD,EAAA,MAAM,MAAA,GAAS,YAAY,MAAM,CAAA;AACjC,EAAA,cAAA,CAAe,IAAI,MAAA,EAAkB,EAAE,GAAG,QAAA,EAAU,GAAG,SAAS,CAAA;AAChE,EAAA,OAAO,MAAA;AACT;AAEA,SAAS,YAAe,MAAA,EAAc;AACpC,EAAA,MAAM,SAAA,GAAY,MAAA;AAClB,EAAA,IAAI,OAAO,SAAA,CAAU,KAAA,KAAU,UAAA,EAAY;AACzC,IAAA,OAAQ,UAAU,KAAA,EAAkB;AAAA,EACtC;AAGA,EAAA,MAAM,OAAO,SAAA,CAAU,WAAA;AACvB,EAAA,OAAO,IAAI,IAAA,CAAK,SAAA,CAAU,IAAI,CAAA;AAChC;;;;"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "attaform",
-  "version": "0.17.2",
+  "version": "0.18.1",
   "main": "./dist/index.mjs",
   "types": "./dist/index.d.mts",
   "files": [
@@ -41,6 +41,9 @@
       "types": "./dist/vite.d.mts",
       "import": "./dist/vite.mjs"
     },
+    "./devtools-panel": {
+      "default": "./dist/runtime/components/AttaformDevtoolsPanel.vue"
+    },
     "./transforms": {
       "types": "./dist/transforms.d.mts",
       "import": "./dist/transforms.mjs"
@@ -100,9 +103,11 @@
     "@types/node": "^25.6.0",
     "@typescript-eslint/eslint-plugin": "^8.59.0",
     "@typescript-eslint/parser": "^8.59.0",
+    "@nuxt/devtools-kit": "^3.2.0",
     "@vitejs/plugin-vue": "^6.0.6",
     "@vitest/coverage-v8": "^4.1.5",
     "@vue/compiler-core": "^3.5.33",
+    "@vue/compiler-sfc": "^3.5.33",
     "@vue/devtools-api": "^8.1.1",
     "@vue/language-server": "^3.2.7",
     "@vue/server-renderer": "^3.5.33",
@@ -139,7 +144,9 @@
     "zod-v3": "npm:zod@^3.24"
   },
   "peerDependencies": {
+    "@nuxt/devtools-kit": "^2.0.0 || ^3.0.0",
     "@vue/compiler-core": ">=3.5.0",
+    "@vue/compiler-sfc": ">=3.5.0",
     "@vue/devtools-api": "^6.6.0 || ^7.0.0",
     "lodash-es": ">= 4.0.0",
     "nuxt": ">=3.0.0",
@@ -148,6 +155,9 @@
     "zod": ">=3.0.0"
   },
   "peerDependenciesMeta": {
+    "@nuxt/devtools-kit": {
+      "optional": true
+    },
     "@vue/devtools-api": {
       "optional": true
     },
@@ -166,8 +176,8 @@
     "dev:prepare": "unbuild --stub && nuxi prepare apps/site",
     "dev:site": "pnpm --filter attaform-site dev",
     "build:site": "pnpm --filter attaform-site build",
-    "lint": "eslint --ext .ts,.js,.vue . && pnpm format:check",
-    "lint:fix": "eslint --ext .ts,.js,.vue . --fix && pnpm format",
+    "lint": "eslint --cache --concurrency=auto . && pnpm format:check",
+    "lint:fix": "eslint --cache --concurrency=auto --fix . && pnpm format",
     "format": "prettier --write '**/*.{ts,js,vue,css,scss,md,json,yml,yaml}'",
     "format:check": "prettier --check '**/*.{ts,js,vue,css,scss,md,json,yml,yaml}'",
     "check": "pnpm lint && pnpm typecheck && pnpm check:site && pnpm test && pnpm check:size && pnpm check:bench && pnpm check:coverage",
@@ -175,13 +185,14 @@
     "typecheck": "tsc --noEmit",
     "prepack:watch": "chokidar 'src/**/*' -c 'pnpm prepack' --initial",
     "release": "pnpm check && pnpm version patch && pnpm prepack && pnpm publish && git push --follow-tags",
-    "test": "vitest run",
+    "test": "node scripts/run-with-webstorage-flag.mjs vitest run",
     "test:types": "pnpm dev:prepare && vue-tsc --noEmit && cd apps/site && vue-tsc --noEmit",
-    "test:watch": "vitest watch",
-    "bench": "vitest bench --run",
+    "test:watch": "node scripts/run-with-webstorage-flag.mjs vitest watch",
+    "bench": "node scripts/run-with-webstorage-flag.mjs vitest bench --run",
     "check:size": "pnpm prepack && size-limit",
-    "check:coverage": "vitest run --coverage",
+    "check:coverage": "node scripts/run-with-webstorage-flag.mjs vitest run --coverage",
     "check:bench": "node scripts/check-bench.mjs",
+    "check:bundled-types": "node scripts/check-bundled-types.mjs",
     "check:site": "pnpm dev:prepare && pnpm --filter attaform-site typecheck",
     "version": "node scripts/promote-changelog.mjs && (node scripts/generate-release-notes.mjs || echo '[version] release-notes step failed; continuing') && git add CHANGELOG.md RELEASES.md"
   }