@thomasfosterau/effect-forms-svelte 0.2.0 → 0.3.2

package/dist/EntityForm.js.map

@@ -1 +1 @@
-{"version":3,"file":"EntityForm.js","names":[],"sources":["../src/EntityForm.ts"],"sourcesContent":["/**\n * The typed entity-form definition builder.\n * `defineEntityForm(commands, (f) => [...])` pairs a `Command.plan`\n * derivation (form-input schemas, blank defaults, tri-state adapters — see\n * `effect-forms/Command`) with an ordered list of typed field\n * entries: shared scalar primitives by kind, and arbitrary widget components\n * for the bespoke fields (pickers, contributor lists). One generic renderer\n * component walks `definition.entries`; per-entity code shrinks to one\n * definition module.\n *\n * Field keys are type-constrained to the command structs' keys, and the\n * builder enforces exhaustiveness at definition time (a runtime check, kept\n * deliberately simple over deep conditional types): every derivable command\n * field must be declared exactly once, so adding a field to a command struct\n * breaks the entity's definition module until the form declares it.\n *\n * Labels and other message-bearing props are **thunks** (`() => string`,\n * e.g. an i18n message function) resolved at render time, never at\n * module scope — module-scope resolution would freeze the import-time locale.\n *\n * @copyright Thomas Foster\n * @module effect-forms-svelte/EntityForm\n */\n\nimport type { Component } from \"svelte\";\nimport { Command } from \"@thomasfosterau/effect-forms\";\nimport * as Schema from \"effect/Schema\";\n\n/** A render-time message thunk — pass the message function itself, uncalled. */\nexport type MessageThunk = () => string;\n\n/** Presentation options for a scalar text entry. */\nexport interface TextEntryOptions {\n  readonly label: MessageThunk;\n  /** Presentation `type` attribute (`url`, `date`). Omitted → text input. */\n  readonly type?: \"text\" | \"url\" | \"date\";\n  /** Keyboard hint for numeric text fields; defaults from the field's derived kind. */\n  readonly inputmode?: \"numeric\";\n  /** Force required-ness (defaults to the schema-derived constraint). */\n  readonly required?: boolean;\n  readonly placeholder?: MessageThunk;\n}\n\n/** A scalar field rendered by the shared text/textarea primitives. */\nexport interface ScalarEntry {\n  readonly _tag: \"scalar\";\n  readonly key: string;\n  readonly multiline: boolean;\n  readonly options: TextEntryOptions;\n}\n\n/** Presentation options for a `<select>` entry over a literal-union (`enum` kind) field. */\nexport interface SelectEntryOptions {\n  readonly label: MessageThunk;\n  readonly required?: boolean;\n  /**\n   * Per-option render-time label thunks, keyed by the field's derived option\n   * *value* (`Command.FieldPlan.options`, read via `fieldFor` — not declared\n   * here). `defineEntityForm` throws at definition time if a derived value has\n   * no matching thunk.\n   */\n  readonly optionLabels: Readonly<Record<string, MessageThunk>>;\n}\n\n/**\n * A `<select>` field over a literal-union (`enum` kind) command field. Option\n * *values* derive from the field's plan; this entry supplies only the\n * per-option labels — `defineEntityForm` validates the field is `enum`-kind\n * and that every derived value has a label.\n */\nexport interface SelectEntry {\n  readonly _tag: \"select\";\n  readonly key: string;\n  readonly options: SelectEntryOptions;\n}\n\n/** Options for a widget entry (picker / rows list). */\nexport interface WidgetEntryOptions {\n  /** Gate the submit button while this field's value is empty (required pickers). */\n  readonly gate?: boolean;\n}\n\n/**\n * A bespoke widget field. The renderer bridges the store to the widget through\n * the widget contract — `name`, `value`, `onChange`, `errors` — which\n * are **reserved keys**: the bridge is spread last, so a `props()` thunk or a\n * load-supplied field prop can never silently sever the store binding.\n */\nexport interface WidgetEntry {\n  readonly _tag: \"widget\";\n  readonly key: string;\n  /** `\"value\"` bridges a string FK; `\"rows\"` bridges a controlled row list. */\n  readonly bridge: \"value\" | \"rows\";\n  // reason: the renderer composes arbitrary widgets; per-widget prop checking\n  // happens in the definition module via the builder's generic signature.\n  readonly component: Component<any>;\n  readonly props: () => Record<string, unknown>;\n  readonly options: WidgetEntryOptions;\n}\n\n/** One ordered entry in an entity form definition. */\nexport type EntityFormEntry = ScalarEntry | WidgetEntry | SelectEntry;\n\n/** The per-mode submit labels. */\nexport interface SubmitMessages {\n  readonly create: MessageThunk;\n  readonly update: MessageThunk;\n}\n\n/** The runtime shape `defineEntityForm` accepts for a command struct. */\nexport interface CommandStructLike {\n  readonly fields: Record<string, Schema.Top>;\n}\n\n/** The value `defineEntityForm` returns — everything one renderer needs. */\nexport interface EntityFormDefinition {\n  readonly plan: Command.CommandPlan;\n  readonly entries: readonly EntityFormEntry[];\n  readonly createInput: Schema.Top;\n  readonly updateInput: Schema.Top;\n  readonly createDefaults: Readonly<Record<string, string>>;\n  readonly updateDefaults: Readonly<Record<string, string>>;\n  readonly adaptCreate: (input: Command.FormInputRecord) => Record<string, unknown>;\n  readonly adaptUpdate: (input: Command.FormInputRecord) => Record<string, unknown>;\n  readonly submit: SubmitMessages;\n  /** The create struct carries a client-generated id (idempotent retries). */\n  readonly clientId: boolean;\n  /** Entries visible in one mode, in declaration order. */\n  readonly entriesFor: (mode: \"create\" | \"update\") => readonly EntityFormEntry[];\n  /** The plan field behind an entry key. */\n  readonly fieldFor: (key: string) => Command.FieldPlan;\n}\n\n/** The writable command keys a definition may declare (the `id` key is renderer-owned). */\nexport type CommandKeys<C extends CommandStructLike, U extends CommandStructLike> = Exclude<\n  Extract<keyof C[\"fields\"] | keyof U[\"fields\"], string>,\n  \"id\"\n>;\n\n/** The entry builders handed to the definition callback, key-typed to the command pair. */\nexport interface EntryBuilders<K extends string> {\n  /** A scalar field rendered by the shared `TextInputField`. */\n  text(key: K, options: TextEntryOptions): EntityFormEntry;\n  /** A scalar field rendered by the shared `TextAreaInputField`. */\n  textarea(key: K, options: TextEntryOptions): EntityFormEntry;\n  /**\n   * A `<select>` field over a literal-union (`enum` kind) command field.\n   * Option values are derived from the field's plan; `options.optionLabels`\n   * supplies each derived value's render-time label thunk.\n   */\n  select(key: K, options: SelectEntryOptions): EntityFormEntry;\n  /**\n   * A bespoke string-valued widget (an FK picker). The renderer supplies\n   * `name` / `value` / `onChange` / `errors`; `props()` supplies the rest at\n   * render time (labels stay thunk-resolved).\n   */\n  custom<P extends Record<string, unknown>>(\n    key: K,\n    component: Component<never>,\n    props: () => P,\n    options?: WidgetEntryOptions,\n  ): EntityFormEntry;\n  /**\n   * A bespoke row-list widget (a contributor list). The renderer owns the row\n   * state and supplies `name` / `value` / `onChange` / `errors`; the widget\n   * owns the wire serialisation (its hidden input).\n   */\n  rows<P extends Record<string, unknown>>(\n    key: K,\n    component: Component<never>,\n    props: () => P,\n    options?: WidgetEntryOptions,\n  ): EntityFormEntry;\n}\n\n/** Everything `defineEntityForm` needs beyond the entries. */\nexport interface DefineEntityFormOptions<C extends CommandStructLike, U extends CommandStructLike> {\n  readonly create: C;\n  readonly update: U;\n  readonly submit: SubmitMessages;\n  /** Per-field adapter overrides, per mode — the irregular-coercion escape hatch. */\n  readonly adaptOverrides?: {\n    readonly create?: Command.AdaptOverrides;\n    readonly update?: Command.AdaptOverrides;\n  };\n  /** Per-field Form-Input schema overrides, per mode (e.g. an optional create title with a server default). */\n  readonly inputOverrides?: {\n    readonly create?: Readonly<Record<string, Schema.Top>>;\n    readonly update?: Readonly<Record<string, Schema.Top>>;\n  };\n  /**\n   * Command fields deliberately absent from the standalone form (a carve-out,\n   * e.g. BookSeries' `editors` — managed through the Book form's inline-create\n   * path instead). Omitted fields are stripped from the create/update field\n   * records before `Command.plan` runs, so they need no entry, are never\n   * classified (a kind-less omitted field can't throw at definition time),\n   * and never appear in the derived input schema, defaults, or adapters.\n   */\n  readonly omit?: readonly CommandKeys<C, U>[];\n}\n\nconst builders: EntryBuilders<string> = {\n  text: (key, options) => ({ _tag: \"scalar\", key, multiline: false, options }),\n  textarea: (key, options) => ({ _tag: \"scalar\", key, multiline: true, options }),\n  select: (key, options) => ({ _tag: \"select\", key, options }),\n  custom: (key, component, props, options = {}) => ({\n    _tag: \"widget\",\n    key,\n    bridge: \"value\",\n    component: component as Component<any>,\n    props,\n    options,\n  }),\n  rows: (key, component, props, options = {}) => ({\n    _tag: \"widget\",\n    key,\n    bridge: \"rows\",\n    component: component as Component<any>,\n    props,\n    options,\n  }),\n};\n\n/**\n * Validate an `f.select` entry against its plan field at definition time: the\n * field must be `enum`-kind (the only kind `Command.plan` derives option\n * values for), and every derived value must have a matching `optionLabels`\n * thunk.\n */\nconst validateSelectEntry = (entry: SelectEntry, field: Command.FieldPlan): void => {\n  if (field.kind !== \"enum\") {\n    throw new Error(\n      `defineEntityForm: entry \"${entry.key}\" is f.select but its command field is \"${field.kind}\"-kind, not enum`,\n    );\n  }\n  const missingLabels = (field.options ?? []).filter(\n    (value) => !Object.prototype.hasOwnProperty.call(entry.options.optionLabels, value),\n  );\n  if (missingLabels.length > 0) {\n    throw new Error(\n      `defineEntityForm: entry \"${entry.key}\" is missing optionLabels for: ${missingLabels.join(\", \")}`,\n    );\n  }\n};\n\n/**\n * Build an entity-form definition from a command-struct pair and an ordered\n * entry list. Runs once at module load. Throws when the entries don't cover\n * the derivable command fields exactly (exhaustiveness) or name an unknown\n * key — a command-struct change must surface here, at definition time.\n */\nexport const defineEntityForm = <C extends CommandStructLike, U extends CommandStructLike>(\n  options: DefineEntityFormOptions<C, U>,\n  build: (f: EntryBuilders<CommandKeys<C, U>>) => readonly EntityFormEntry[],\n): EntityFormDefinition => {\n  const omitted = new Set<string>(options.omit ?? []);\n  const withoutOmitted = (struct: CommandStructLike): CommandStructLike => {\n    if (omitted.size === 0) return struct;\n    const fields: Record<string, Schema.Top> = {};\n    for (const key in struct.fields) if (!omitted.has(key)) fields[key] = struct.fields[key];\n    return { fields };\n  };\n  const plan = Command.plan(withoutOmitted(options.create), withoutOmitted(options.update));\n  const entries = build(builders as EntryBuilders<CommandKeys<C, U>>);\n\n  const byKey = new Map<string, Command.FieldPlan>(plan.fields.map((field) => [field.key, field]));\n  const declared = new Set<string>();\n  for (const entry of entries) {\n    const field = byKey.get(entry.key);\n    if (field === undefined) {\n      throw new Error(\n        `defineEntityForm: entry \"${entry.key}\" is not a field of either command struct`,\n      );\n    }\n    if (declared.has(entry.key)) {\n      throw new Error(`defineEntityForm: entry \"${entry.key}\" is declared twice`);\n    }\n    declared.add(entry.key);\n    if (entry._tag === \"select\") validateSelectEntry(entry, field);\n  }\n  const missing = plan.fields.filter((field) => !declared.has(field.key)).map((field) => field.key);\n  if (missing.length > 0) {\n    throw new Error(\n      `defineEntityForm: command fields not declared by any entry: ${missing.join(\", \")} — declare or explicitly widget them`,\n    );\n  }\n\n  const entriesFor = (mode: \"create\" | \"update\") =>\n    entries.filter((entry) => {\n      const field = byKey.get(entry.key);\n      return field !== undefined && (mode === \"create\" ? field.inCreate : field.inUpdate);\n    });\n\n  return {\n    plan,\n    entries,\n    createInput: Schema.Struct(\n      Command.formInputFields(plan, \"create\", options.inputOverrides?.create) as Record<\n        string,\n        never\n      >,\n    ),\n    updateInput: Schema.Struct(\n      Command.formInputFields(plan, \"update\", options.inputOverrides?.update) as Record<\n        string,\n        never\n      >,\n    ),\n    createDefaults: Command.blankDefaults(plan, \"create\"),\n    updateDefaults: Command.blankDefaults(plan, \"update\"),\n    adaptCreate: Command.createAdapter(plan, options.adaptOverrides?.create),\n    adaptUpdate: Command.updateAdapter(plan, options.adaptOverrides?.update),\n    submit: options.submit,\n    clientId: plan.clientId,\n    entriesFor,\n    fieldFor: (key: string) => {\n      const field = byKey.get(key);\n      if (field === undefined) throw new Error(`EntityFormDefinition: unknown field \"${key}\"`);\n      return field;\n    },\n  };\n};\n"],"mappings":";;;AAyMA,MAAM,WAAkC;CACtC,OAAO,KAAK,aAAa;EAAE,MAAM;EAAU;EAAK,WAAW;EAAO;CAAQ;CAC1E,WAAW,KAAK,aAAa;EAAE,MAAM;EAAU;EAAK,WAAW;EAAM;CAAQ;CAC7E,SAAS,KAAK,aAAa;EAAE,MAAM;EAAU;EAAK;CAAQ;CAC1D,SAAS,KAAK,WAAW,OAAO,UAAU,CAAC,OAAO;EAChD,MAAM;EACN;EACA,QAAQ;EACG;EACX;EACA;CACF;CACA,OAAO,KAAK,WAAW,OAAO,UAAU,CAAC,OAAO;EAC9C,MAAM;EACN;EACA,QAAQ;EACG;EACX;EACA;CACF;AACF;;;;;;;AAQA,MAAM,uBAAuB,OAAoB,UAAmC;CAClF,IAAI,MAAM,SAAS,QACjB,MAAM,IAAI,MACR,4BAA4B,MAAM,IAAI,0CAA0C,MAAM,KAAK,iBAC7F;CAEF,MAAM,iBAAiB,MAAM,WAAW,CAAC,EAAA,CAAG,QACzC,UAAU,CAAC,OAAO,UAAU,eAAe,KAAK,MAAM,QAAQ,cAAc,KAAK,CACpF;CACA,IAAI,cAAc,SAAS,GACzB,MAAM,IAAI,MACR,4BAA4B,MAAM,IAAI,iCAAiC,cAAc,KAAK,IAAI,GAChG;AAEJ;;;;;;;AAQA,MAAa,oBACX,SACA,UACyB;CACzB,MAAM,UAAU,IAAI,IAAY,QAAQ,QAAQ,CAAC,CAAC;CAClD,MAAM,kBAAkB,WAAiD;EACvE,IAAI,QAAQ,SAAS,GAAG,OAAO;EAC/B,MAAM,SAAqC,CAAC;EAC5C,KAAK,MAAM,OAAO,OAAO,QAAQ,IAAI,CAAC,QAAQ,IAAI,GAAG,GAAG,OAAO,OAAO,OAAO,OAAO;EACpF,OAAO,EAAE,OAAO;CAClB;CACA,MAAM,OAAO,QAAQ,KAAK,eAAe,QAAQ,MAAM,GAAG,eAAe,QAAQ,MAAM,CAAC;CACxF,MAAM,UAAU,MAAM,QAA4C;CAElE,MAAM,QAAQ,IAAI,IAA+B,KAAK,OAAO,KAAK,UAAU,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC;CAC/F,MAAM,2BAAW,IAAI,IAAY;CACjC,KAAK,MAAM,SAAS,SAAS;EAC3B,MAAM,QAAQ,MAAM,IAAI,MAAM,GAAG;EACjC,IAAI,UAAU,KAAA,GACZ,MAAM,IAAI,MACR,4BAA4B,MAAM,IAAI,0CACxC;EAEF,IAAI,SAAS,IAAI,MAAM,GAAG,GACxB,MAAM,IAAI,MAAM,4BAA4B,MAAM,IAAI,oBAAoB;EAE5E,SAAS,IAAI,MAAM,GAAG;EACtB,IAAI,MAAM,SAAS,UAAU,oBAAoB,OAAO,KAAK;CAC/D;CACA,MAAM,UAAU,KAAK,OAAO,QAAQ,UAAU,CAAC,SAAS,IAAI,MAAM,GAAG,CAAC,CAAC,CAAC,KAAK,UAAU,MAAM,GAAG;CAChG,IAAI,QAAQ,SAAS,GACnB,MAAM,IAAI,MACR,+DAA+D,QAAQ,KAAK,IAAI,EAAE,qCACpF;CAGF,MAAM,cAAc,SAClB,QAAQ,QAAQ,UAAU;EACxB,MAAM,QAAQ,MAAM,IAAI,MAAM,GAAG;EACjC,OAAO,UAAU,KAAA,MAAc,SAAS,WAAW,MAAM,WAAW,MAAM;CAC5E,CAAC;CAEH,OAAO;EACL;EACA;EACA,aAAa,OAAO,OAClB,QAAQ,gBAAgB,MAAM,UAAU,QAAQ,gBAAgB,MAAM,CAIxE;EACA,aAAa,OAAO,OAClB,QAAQ,gBAAgB,MAAM,UAAU,QAAQ,gBAAgB,MAAM,CAIxE;EACA,gBAAgB,QAAQ,cAAc,MAAM,QAAQ;EACpD,gBAAgB,QAAQ,cAAc,MAAM,QAAQ;EACpD,aAAa,QAAQ,cAAc,MAAM,QAAQ,gBAAgB,MAAM;EACvE,aAAa,QAAQ,cAAc,MAAM,QAAQ,gBAAgB,MAAM;EACvE,QAAQ,QAAQ;EAChB,UAAU,KAAK;EACf;EACA,WAAW,QAAgB;GACzB,MAAM,QAAQ,MAAM,IAAI,GAAG;GAC3B,IAAI,UAAU,KAAA,GAAW,MAAM,IAAI,MAAM,wCAAwC,IAAI,EAAE;GACvF,OAAO;EACT;CACF;AACF"}
+{"version":3,"file":"EntityForm.js","names":[],"sources":["../src/EntityForm.ts"],"sourcesContent":["/**\n * The typed entity-form definition builder.\n * `defineEntityForm(commands, (f) => [...])` pairs a `Command.plan`\n * derivation (form-input schemas, blank defaults, tri-state adapters — see\n * `effect-forms/Command`) with an ordered list of typed field\n * entries: shared scalar primitives by kind, and arbitrary widget components\n * for the bespoke fields (pickers, contributor lists). One generic renderer\n * component walks `definition.entries`; per-entity code shrinks to one\n * definition module.\n *\n * Field keys are type-constrained to the command structs' keys, and the\n * builder enforces exhaustiveness at definition time (a runtime check, kept\n * deliberately simple over deep conditional types): every derivable command\n * field must be declared exactly once, so adding a field to a command struct\n * breaks the entity's definition module until the form declares it.\n *\n * Labels and other message-bearing props are **thunks** (`() => string`,\n * e.g. an i18n message function) resolved at render time, never at\n * module scope — module-scope resolution would freeze the import-time locale.\n *\n * @copyright Thomas Foster\n * @module effect-forms-svelte/EntityForm\n */\n\nimport type { Component } from \"svelte\";\nimport { Command } from \"@thomasfosterau/effect-forms\";\nimport * as Arr from \"effect/Array\";\nimport * as HashMap from \"effect/HashMap\";\nimport * as HashSet from \"effect/HashSet\";\nimport * as Option from \"effect/Option\";\nimport * as Predicate from \"effect/Predicate\";\nimport * as Record from \"effect/Record\";\nimport * as Schema from \"effect/Schema\";\n\n/** A render-time message thunk — pass the message function itself, uncalled. */\nexport type MessageThunk = () => string;\n\n/** Presentation options for a scalar text entry. */\nexport interface TextEntryOptions {\n  readonly label: MessageThunk;\n  /** Presentation `type` attribute (`url`, `date`). Omitted → text input. */\n  readonly type?: \"text\" | \"url\" | \"date\";\n  /** Keyboard hint for numeric text fields; defaults from the field's derived kind. */\n  readonly inputmode?: \"numeric\";\n  /** Force required-ness (defaults to the schema-derived constraint). */\n  readonly required?: boolean;\n  readonly placeholder?: MessageThunk;\n}\n\n/** A scalar field rendered by the shared text/textarea primitives. */\nexport interface ScalarEntry {\n  readonly _tag: \"scalar\";\n  readonly key: string;\n  readonly multiline: boolean;\n  readonly options: TextEntryOptions;\n}\n\n/** Presentation options for a `<select>` entry over a literal-union (`enum` kind) field. */\nexport interface SelectEntryOptions {\n  readonly label: MessageThunk;\n  readonly required?: boolean;\n  /**\n   * Per-option render-time label thunks, keyed by the field's derived option\n   * *value* (`Command.FieldPlan.options`, read via `fieldFor` — not declared\n   * here). `defineEntityForm` throws at definition time if a derived value has\n   * no matching thunk.\n   */\n  readonly optionLabels: Readonly<Record<string, MessageThunk>>;\n}\n\n/**\n * A `<select>` field over a literal-union (`enum` kind) command field. Option\n * *values* derive from the field's plan; this entry supplies only the\n * per-option labels — `defineEntityForm` validates the field is `enum`-kind\n * and that every derived value has a label.\n */\nexport interface SelectEntry {\n  readonly _tag: \"select\";\n  readonly key: string;\n  readonly options: SelectEntryOptions;\n}\n\n/** Options for a widget entry (picker / rows list). */\nexport interface WidgetEntryOptions {\n  /** Gate the submit button while this field's value is empty (required pickers). */\n  readonly gate?: boolean;\n}\n\n/**\n * A bespoke widget field. The renderer bridges the store to the widget through\n * the widget contract — `name`, `value`, `onChange`, `errors` — which\n * are **reserved keys**: the bridge is spread last, so a `props()` thunk or a\n * load-supplied field prop can never silently sever the store binding.\n */\nexport interface WidgetEntry {\n  readonly _tag: \"widget\";\n  readonly key: string;\n  /** `\"value\"` bridges a string FK; `\"rows\"` bridges a controlled row list. */\n  readonly bridge: \"value\" | \"rows\";\n  // reason: the renderer composes arbitrary widgets; per-widget prop checking\n  // happens in the definition module via the builder's generic signature.\n  readonly component: Component<any>;\n  readonly props: () => Record<string, unknown>;\n  readonly options: WidgetEntryOptions;\n}\n\n/** One ordered entry in an entity form definition. */\nexport type EntityFormEntry = ScalarEntry | WidgetEntry | SelectEntry;\n\n/** The per-mode submit labels. */\nexport interface SubmitMessages {\n  readonly create: MessageThunk;\n  readonly update: MessageThunk;\n}\n\n/** The runtime shape `defineEntityForm` accepts for a command struct. */\nexport interface CommandStructLike {\n  readonly fields: Record<string, Schema.Top>;\n}\n\n/** The value `defineEntityForm` returns — everything one renderer needs. */\nexport interface EntityFormDefinition {\n  readonly plan: Command.CommandPlan;\n  readonly entries: readonly EntityFormEntry[];\n  readonly createInput: Schema.Top;\n  readonly updateInput: Schema.Top;\n  readonly createDefaults: Readonly<Record<string, string>>;\n  readonly updateDefaults: Readonly<Record<string, string>>;\n  readonly adaptCreate: (input: Command.FormInputRecord) => Record<string, unknown>;\n  readonly adaptUpdate: (input: Command.FormInputRecord) => Record<string, unknown>;\n  readonly submit: SubmitMessages;\n  /** The create struct carries a client-generated id (idempotent retries). */\n  readonly clientId: boolean;\n  /** Entries visible in one mode, in declaration order. */\n  readonly entriesFor: (mode: \"create\" | \"update\") => readonly EntityFormEntry[];\n  /** The plan field behind an entry key. */\n  readonly fieldFor: (key: string) => Command.FieldPlan;\n}\n\n/** The writable command keys a definition may declare (the `id` key is renderer-owned). */\nexport type CommandKeys<C extends CommandStructLike, U extends CommandStructLike> = Exclude<\n  Extract<keyof C[\"fields\"] | keyof U[\"fields\"], string>,\n  \"id\"\n>;\n\n/** The entry builders handed to the definition callback, key-typed to the command pair. */\nexport interface EntryBuilders<K extends string> {\n  /** A scalar field rendered by the shared `TextInputField`. */\n  text(key: K, options: TextEntryOptions): EntityFormEntry;\n  /** A scalar field rendered by the shared `TextAreaInputField`. */\n  textarea(key: K, options: TextEntryOptions): EntityFormEntry;\n  /**\n   * A `<select>` field over a literal-union (`enum` kind) command field.\n   * Option values are derived from the field's plan; `options.optionLabels`\n   * supplies each derived value's render-time label thunk.\n   */\n  select(key: K, options: SelectEntryOptions): EntityFormEntry;\n  /**\n   * A bespoke string-valued widget (an FK picker). The renderer supplies\n   * `name` / `value` / `onChange` / `errors`; `props()` supplies the rest at\n   * render time (labels stay thunk-resolved).\n   */\n  custom<P extends Record<string, unknown>>(\n    key: K,\n    component: Component<never>,\n    props: () => P,\n    options?: WidgetEntryOptions,\n  ): EntityFormEntry;\n  /**\n   * A bespoke row-list widget (a contributor list). The renderer owns the row\n   * state and supplies `name` / `value` / `onChange` / `errors`; the widget\n   * owns the wire serialisation (its hidden input).\n   */\n  rows<P extends Record<string, unknown>>(\n    key: K,\n    component: Component<never>,\n    props: () => P,\n    options?: WidgetEntryOptions,\n  ): EntityFormEntry;\n}\n\n/** Everything `defineEntityForm` needs beyond the entries. */\nexport interface DefineEntityFormOptions<C extends CommandStructLike, U extends CommandStructLike> {\n  readonly create: C;\n  readonly update: U;\n  readonly submit: SubmitMessages;\n  /** Per-field adapter overrides, per mode — the irregular-coercion escape hatch. */\n  readonly adaptOverrides?: {\n    readonly create?: Command.AdaptOverrides;\n    readonly update?: Command.AdaptOverrides;\n  };\n  /** Per-field Form-Input schema overrides, per mode (e.g. an optional create title with a server default). */\n  readonly inputOverrides?: {\n    readonly create?: Readonly<Record<string, Schema.Top>>;\n    readonly update?: Readonly<Record<string, Schema.Top>>;\n  };\n  /**\n   * Command fields deliberately absent from the standalone form (a carve-out,\n   * e.g. BookSeries' `editors` — managed through the Book form's inline-create\n   * path instead). Omitted fields are stripped from the create/update field\n   * records before `Command.plan` runs, so they need no entry, are never\n   * classified (a kind-less omitted field can't throw at definition time),\n   * and never appear in the derived input schema, defaults, or adapters.\n   */\n  readonly omit?: readonly CommandKeys<C, U>[];\n}\n\nconst builders: EntryBuilders<string> = {\n  text: (key, options) => ({ _tag: \"scalar\", key, multiline: false, options }),\n  textarea: (key, options) => ({ _tag: \"scalar\", key, multiline: true, options }),\n  select: (key, options) => ({ _tag: \"select\", key, options }),\n  custom: (key, component, props, options = {}) => ({\n    _tag: \"widget\",\n    key,\n    bridge: \"value\",\n    // SAFETY: `Component<never>` is the widest component type (every component\n    // is assignable to it); the entry erases its props to `any` because the\n    // renderer only ever mounts it with this entry's own `props()` plus the\n    // widget-contract bridge props, the props the definition module chose\n    // this component for.\n    component: component as Component<any>,\n    props,\n    options,\n  }),\n  rows: (key, component, props, options = {}) => ({\n    _tag: \"widget\",\n    key,\n    bridge: \"rows\",\n    // SAFETY: `Component<never>` is the widest component type (every component\n    // is assignable to it); the entry erases its props to `any` because the\n    // renderer only ever mounts it with this entry's own `props()` plus the\n    // widget-contract bridge props, the props the definition module chose\n    // this component for.\n    component: component as Component<any>,\n    props,\n    options,\n  }),\n};\n\n/**\n * A definition-time error: the entries don't match the command structs. Thrown\n * synchronously from `defineEntityForm` (and `fieldFor`), never as an Effect\n * failure — a definition module that doesn't match its commands must fail at\n * import.\n */\nclass EntityFormDefinitionError extends Schema.TaggedError<\n  EntityFormDefinitionError,\n  { readonly brand: unique symbol }\n>()(\"EntityFormDefinitionError\", { message: Schema.String }) {}\n\n/**\n * Validate an `f.select` entry against its plan field at definition time: the\n * field must be `enum`-kind (the only kind `Command.plan` derives option\n * values for), and every derived value must have a matching `optionLabels`\n * thunk.\n */\nconst validateSelectEntry = (entry: SelectEntry, field: Command.FieldPlan): void => {\n  if (field.kind !== \"enum\") {\n    throw new EntityFormDefinitionError({\n      message: `defineEntityForm: entry \"${entry.key}\" is f.select but its command field is \"${field.kind}\"-kind, not enum`,\n    });\n  }\n  const missingLabels = (field.options ?? []).filter(\n    (value) => !Object.prototype.hasOwnProperty.call(entry.options.optionLabels, value),\n  );\n  if (Arr.isReadonlyArrayNonEmpty(missingLabels)) {\n    throw new EntityFormDefinitionError({\n      message: `defineEntityForm: entry \"${entry.key}\" is missing optionLabels for: ${missingLabels.join(\", \")}`,\n    });\n  }\n};\n\n/**\n * Build an entity-form definition from a command-struct pair and an ordered\n * entry list. Runs once at module load. Throws when the entries don't cover\n * the derivable command fields exactly (exhaustiveness) or name an unknown\n * key — a command-struct change must surface here, at definition time.\n */\nexport const defineEntityForm = <C extends CommandStructLike, U extends CommandStructLike>(\n  options: DefineEntityFormOptions<C, U>,\n  build: (f: EntryBuilders<CommandKeys<C, U>>) => readonly EntityFormEntry[],\n): EntityFormDefinition => {\n  const omitted = HashSet.fromIterable<string>(options.omit ?? []);\n  const withoutOmitted = (struct: CommandStructLike): CommandStructLike =>\n    HashSet.size(omitted) === 0\n      ? struct\n      : { fields: Record.filter(struct.fields, (_, key) => !HashSet.has(omitted, key)) };\n  const plan = Command.plan(withoutOmitted(options.create), withoutOmitted(options.update));\n  const entries = build(builders);\n\n  const byKey = HashMap.fromIterable(Arr.map(plan.fields, (field) => [field.key, field] as const));\n  const declared = Arr.reduce(entries, HashSet.empty<string>(), (seen, entry) => {\n    const field = HashMap.get(byKey, entry.key);\n    if (Option.isNone(field)) {\n      throw new EntityFormDefinitionError({\n        message: `defineEntityForm: entry \"${entry.key}\" is not a field of either command struct`,\n      });\n    }\n    if (HashSet.has(seen, entry.key)) {\n      throw new EntityFormDefinitionError({\n        message: `defineEntityForm: entry \"${entry.key}\" is declared twice`,\n      });\n    }\n    if (Predicate.isTagged(entry, \"select\")) validateSelectEntry(entry, field.value);\n    return HashSet.add(seen, entry.key);\n  });\n  const missing = Arr.map(\n    Arr.filter(plan.fields, (field) => !HashSet.has(declared, field.key)),\n    (field) => field.key,\n  );\n  if (Arr.isReadonlyArrayNonEmpty(missing)) {\n    throw new EntityFormDefinitionError({\n      message: `defineEntityForm: command fields not declared by any entry: ${missing.join(\", \")} — declare or explicitly widget them`,\n    });\n  }\n\n  const entriesFor = (mode: \"create\" | \"update\") =>\n    Arr.filter(entries, (entry) =>\n      Option.exists(HashMap.get(byKey, entry.key), (field) =>\n        mode === \"create\" ? field.inCreate : field.inUpdate,\n      ),\n    );\n\n  return {\n    plan,\n    entries,\n    createInput: Schema.Struct(\n      Command.formInputFields(plan, \"create\", options.inputOverrides?.create),\n    ),\n    updateInput: Schema.Struct(\n      Command.formInputFields(plan, \"update\", options.inputOverrides?.update),\n    ),\n    createDefaults: Command.blankDefaults(plan, \"create\"),\n    updateDefaults: Command.blankDefaults(plan, \"update\"),\n    adaptCreate: Command.createAdapter(plan, options.adaptOverrides?.create),\n    adaptUpdate: Command.updateAdapter(plan, options.adaptOverrides?.update),\n    submit: options.submit,\n    clientId: plan.clientId,\n    entriesFor,\n    fieldFor: (key: string) =>\n      Option.getOrThrowWith(\n        HashMap.get(byKey, key),\n        () =>\n          new EntityFormDefinitionError({\n            message: `EntityFormDefinition: unknown field \"${key}\"`,\n          }),\n      ),\n  };\n};\n"],"mappings":";;;;;;;;;AA+MA,MAAM,WAAkC;CACtC,OAAO,KAAK,aAAa;EAAE,MAAM;EAAU;EAAK,WAAW;EAAO;CAAQ;CAC1E,WAAW,KAAK,aAAa;EAAE,MAAM;EAAU;EAAK,WAAW;EAAM;CAAQ;CAC7E,SAAS,KAAK,aAAa;EAAE,MAAM;EAAU;EAAK;CAAQ;CAC1D,SAAS,KAAK,WAAW,OAAO,UAAU,CAAC,OAAO;EAChD,MAAM;EACN;EACA,QAAQ;EAMG;EACX;EACA;CACF;CACA,OAAO,KAAK,WAAW,OAAO,UAAU,CAAC,OAAO;EAC9C,MAAM;EACN;EACA,QAAQ;EAMG;EACX;EACA;CACF;AACF;;;;;;;AAQA,IAAM,4BAAN,cAAwC,OAAO,YAG7C,CAAC,CAAC,6BAA6B,EAAE,SAAS,OAAO,OAAO,CAAC,CAAC,CAAC,CAAC;;;;;;;AAQ9D,MAAM,uBAAuB,OAAoB,UAAmC;CAClF,IAAI,MAAM,SAAS,QACjB,MAAM,IAAI,0BAA0B,EAClC,SAAS,4BAA4B,MAAM,IAAI,0CAA0C,MAAM,KAAK,kBACtG,CAAC;CAEH,MAAM,iBAAiB,MAAM,WAAW,CAAC,EAAA,CAAG,QACzC,UAAU,CAAC,OAAO,UAAU,eAAe,KAAK,MAAM,QAAQ,cAAc,KAAK,CACpF;CACA,IAAI,IAAI,wBAAwB,aAAa,GAC3C,MAAM,IAAI,0BAA0B,EAClC,SAAS,4BAA4B,MAAM,IAAI,iCAAiC,cAAc,KAAK,IAAI,IACzG,CAAC;AAEL;;;;;;;AAQA,MAAa,oBACX,SACA,UACyB;CACzB,MAAM,UAAU,QAAQ,aAAqB,QAAQ,QAAQ,CAAC,CAAC;CAC/D,MAAM,kBAAkB,WACtB,QAAQ,KAAK,OAAO,MAAM,IACtB,SACA,EAAE,QAAQ,OAAO,OAAO,OAAO,SAAS,GAAG,QAAQ,CAAC,QAAQ,IAAI,SAAS,GAAG,CAAC,EAAE;CACrF,MAAM,OAAO,QAAQ,KAAK,eAAe,QAAQ,MAAM,GAAG,eAAe,QAAQ,MAAM,CAAC;CACxF,MAAM,UAAU,MAAM,QAAQ;CAE9B,MAAM,QAAQ,QAAQ,aAAa,IAAI,IAAI,KAAK,SAAS,UAAU,CAAC,MAAM,KAAK,KAAK,CAAU,CAAC;CAC/F,MAAM,WAAW,IAAI,OAAO,SAAS,QAAQ,MAAc,IAAI,MAAM,UAAU;EAC7E,MAAM,QAAQ,QAAQ,IAAI,OAAO,MAAM,GAAG;EAC1C,IAAI,OAAO,OAAO,KAAK,GACrB,MAAM,IAAI,0BAA0B,EAClC,SAAS,4BAA4B,MAAM,IAAI,2CACjD,CAAC;EAEH,IAAI,QAAQ,IAAI,MAAM,MAAM,GAAG,GAC7B,MAAM,IAAI,0BAA0B,EAClC,SAAS,4BAA4B,MAAM,IAAI,qBACjD,CAAC;EAEH,IAAI,UAAU,SAAS,OAAO,QAAQ,GAAG,oBAAoB,OAAO,MAAM,KAAK;EAC/E,OAAO,QAAQ,IAAI,MAAM,MAAM,GAAG;CACpC,CAAC;CACD,MAAM,UAAU,IAAI,IAClB,IAAI,OAAO,KAAK,SAAS,UAAU,CAAC,QAAQ,IAAI,UAAU,MAAM,GAAG,CAAC,IACnE,UAAU,MAAM,GACnB;CACA,IAAI,IAAI,wBAAwB,OAAO,GACrC,MAAM,IAAI,0BAA0B,EAClC,SAAS,+DAA+D,QAAQ,KAAK,IAAI,EAAE,sCAC7F,CAAC;CAGH,MAAM,cAAc,SAClB,IAAI,OAAO,UAAU,UACnB,OAAO,OAAO,QAAQ,IAAI,OAAO,MAAM,GAAG,IAAI,UAC5C,SAAS,WAAW,MAAM,WAAW,MAAM,QAC7C,CACF;CAEF,OAAO;EACL;EACA;EACA,aAAa,OAAO,OAClB,QAAQ,gBAAgB,MAAM,UAAU,QAAQ,gBAAgB,MAAM,CACxE;EACA,aAAa,OAAO,OAClB,QAAQ,gBAAgB,MAAM,UAAU,QAAQ,gBAAgB,MAAM,CACxE;EACA,gBAAgB,QAAQ,cAAc,MAAM,QAAQ;EACpD,gBAAgB,QAAQ,cAAc,MAAM,QAAQ;EACpD,aAAa,QAAQ,cAAc,MAAM,QAAQ,gBAAgB,MAAM;EACvE,aAAa,QAAQ,cAAc,MAAM,QAAQ,gBAAgB,MAAM;EACvE,QAAQ,QAAQ;EAChB,UAAU,KAAK;EACf;EACA,WAAW,QACT,OAAO,eACL,QAAQ,IAAI,OAAO,GAAG,SAEpB,IAAI,0BAA0B,EAC5B,SAAS,wCAAwC,IAAI,GACvD,CAAC,CACL;CACJ;AACF"}

package/dist/FormStore.svelte.d.ts

@@ -4,7 +4,6 @@ import { TaintedFields } from "./Tainted.js";
 import { Constraints, Errors, Field, FormBuilder, Issues, Mode, Path, Result, State, Validate } from "@thomasfosterau/effect-forms";
 import * as Schema from "effect/Schema";
 import * as Layer from "effect/Layer";
-//#region src/FormStore.svelte.d.ts
 type FormActionResult<A, Message = unknown> = Result.FormActionResult<A, Message>;
 type FormErrors = Errors.FormErrors;
 type FormPath = Issues.FormPath;
@@ -45,7 +44,7 @@ export declare class FieldHandle<V> {
   #private;
   /** The path in flat field-name notation — use as the input's `name` attribute. */
   readonly name: string;
-  constructor(store: FormStore<Schema.Top, object, unknown>, path: FormPath);
+  constructor(store: FormStore<Schema.Top, object>, path: FormPath);
   /** The field's current value. Assignable — `bind:value={field.value}` works. */
   get value(): V;
   set value(next: V);
@@ -108,7 +107,9 @@ export interface FormOptions<S extends Schema.Top, A, Message, R = never> {
   /**
    * The builder itself, set automatically when {@link createForm} is given a
    * {@link FormBuilder}. Its `refineEffect` refinements run client-side as a
-   * whole-form async validator whenever {@link FormStore.validate} runs.
+   * whole-form async validator whenever {@link FormStore.validate} runs, on the
+   * form data decoded through the builder's schema (as on the server); while
+   * the data doesn't decode they don't run, and the field errors say why.
    */
   readonly builder?: FormBuilder.FormBuilder<Field.FieldsRecord, R>;
   /** The action URL the form posts to (defaults to the current page's action). */
@@ -346,7 +347,12 @@ export declare class FormStore<S extends Schema.Top, A = S["Type"], Message = un
   enhance: (node: HTMLFormElement) => {
     destroy: () => void;
   };
-  /** Build a {@link FormData} body from the current data (SPA / manual submit). */
+  /**
+   * Build a {@link FormData} body from the current data (SPA / manual submit).
+   *
+   * Each value is encoded as `objectToFormData` encodes it: a `File` or
+   * `Blob` is appended as a file and a `Date` as its UTC `YYYY-MM-DD`.
+   */
   toFormData(): FormData;
 }
 /** A schema plus its blank-form defaults — what {@link createForm} wraps `Form.make` over. */
@@ -376,5 +382,5 @@ export type FormBuilderOptions<TFields extends Field.FieldsRecord, R, Message> =
 export declare function createForm<TFields extends Field.FieldsRecord, R, Message = unknown>(builder: FormBuilder.FormBuilder<TFields, R>, options?: FormBuilderOptions<TFields, R, Message>): FormStore<BuiltSchema<TFields, R>, Field.EncodedFromFields<TFields>, Message, R>;
 export declare function createForm<S extends Schema.Top, Message = unknown, R = never>(seed: FormSeed<S>, options?: FormOptions<S, S["Type"], Message, R>): FormStore<S, S["Type"], Message, R>;
 export declare function createForm<S extends Schema.Top, A = S["Type"], Message = unknown, R = never>(initial: FormState<A, Message>, options: FormOptions<S, A, Message, R>): FormStore<S, A, Message, R>;
-//#endregion
+export {};
 //# sourceMappingURL=FormStore.svelte.d.ts.map

package/dist/FormStore.svelte.js

@@ -3,13 +3,18 @@ import { computeDataApplication, objectToFormData, parseActionResult, resultToUp
 import { computeTainted, isAnyTainted, isTaintedAt, taintedLeafPaths } from "./Tainted.js";
 import { dispatchChange } from "./Listeners.js";
 import { Constraints, Errors, Field, Form, FormBuilder, Mode, Path, Validate } from "@thomasfosterau/effect-forms";
+import * as Arr from "effect/Array";
+import * as Predicate from "effect/Predicate";
+import * as R from "effect/Record";
+import * as Option from "effect/Option";
 import * as Duration from "effect/Duration";
 import * as Effect from "effect/Effect";
 import * as Fiber from "effect/Fiber";
 import * as Layer from "effect/Layer";
 import * as ManagedRuntime from "effect/ManagedRuntime";
+import * as SchemaParser from "effect/SchemaParser";
 import { createAttachmentKey } from "svelte/attachments";
-//#region src/FormStore.svelte.ts
+// src/FormStore.svelte.ts
 /**
 * The reactive Svelte 5 form store.
 *
@@ -56,6 +61,14 @@ import { createAttachmentKey } from "svelte/attachments";
 const { clearSourceAt, emptySourced, hasErrors, mergeSourced, noErrors, replaceAt, setSourceAt } = Errors;
 const { getAt, setAt } = Path;
 const makeForm = Form.make;
+/** View a runtime {@link FormErrors} tree through the data-shaped {@link TypedFormErrors} lens. */
+const typedErrors = (errors) => {
+	return errors;
+};
+/** Forget the data-shaped typing of a {@link TypedFormErrors} tree, back to the runtime {@link FormErrors}. */
+const untypedErrors = (errors) => {
+	return errors;
+};
 /**
 * A typed, reactive handle to one field, returned by {@link FormStore.field}.
 * Bundles everything a single input needs — `bind:value={field.value}`,
@@ -115,17 +128,18 @@ const defaultSubmit = async (body, action) => {
 		body,
 		headers: { accept: "application/json" }
 	});
-	let parsed;
-	try {
-		parsed = await response.json();
-	} catch {
-		return {
-			_tag: "Error",
-			status: response.status,
-			message: response.statusText || "Request failed"
-		};
-	}
-	return parseActionResult(parsed, response.status);
+	return response.json().then((parsed) => parseActionResult(parsed, response.status), () => ({
+		_tag: "Error",
+		status: response.status,
+		message: response.statusText || "Request failed"
+	}));
+};
+/**
+* Erase a store's type parameters for {@link FieldHandle}, which only calls
+* its path-addressed methods.
+*/
+const eraseStore = (store) => {
+	return store;
 };
 /** Whether `index` is a valid position in an array of `length`. */
 const inRange = (index, length) => index >= 0 && index < length;
@@ -185,23 +199,29 @@ var FormStore = class {
 	#autoSubmitNode;
 	#validateTimer;
 	/** Per-field-listener debounce timers, keyed by `"change:<path>"` / `"blur:<path>"`. */
-	#listenerTimers = /* @__PURE__ */ new Map();
+	#listenerTimers = {};
 	/** Per-field validators, keyed by {@link Path.toString}; seeded from `options.validators`. */
 	#fieldValidators;
 	/** In-flight async-validator fibers, keyed by `"<path>:<trigger>"` (fields) or `""` (whole-form `refineEffect`). */
 	#fibers = {};
 	/** The error paths the last `refineEffect` run set, so the next run can clear exactly those before merging fresh ones. */
 	#lastRefinementPaths = [];
+	/**
+	* The decoder that turns the form data into the builder's decoded values
+	* before its `refineEffect` refinements see them — `None` unless the store
+	* was seeded from a {@link FormBuilder}.
+	*/
+	#decodeForRefinements;
 	/** The data snapshot the field-tracking watcher last diffed against. */
 	#previousData;
 	/** The current nested error tree (server errors merged with client errors), typed to the form data's shape. */
-	errors = $derived.by(() => mergeSourced(this.#sourced));
+	errors = $derived.by(() => typedErrors(mergeSourced(this.#sourced)));
 	/** Client-side-sourced errors only (schema, per-field validators, `refineEffect`). */
-	clientErrors = $derived.by(() => this.#sourced.client);
+	clientErrors = $derived.by(() => typedErrors(this.#sourced.client));
 	/** Server-sourced errors only (the last submission's response). */
-	serverErrors = $derived.by(() => this.#sourced.server);
+	serverErrors = $derived.by(() => typedErrors(this.#sourced.server));
 	/** Whether any async field validator or `refineEffect` run is currently in flight. */
-	isValidating = $derived(Object.values(this.#validating).some(Boolean));
+	isValidating = $derived(Arr.some(R.values(this.#validating), Boolean));
 	/** Whether the form has ever been submitted (attempted). */
 	isSubmitted = $derived(this.submissionAttempts > 0);
 	/** Whether the most recently *completed* submission succeeded. `false` before any submit completes. */
@@ -229,6 +249,7 @@ var FormStore = class {
 		this.#mode = Mode.parse(options.mode);
 		this.#runtime = ManagedRuntime.make(options.layer ?? Layer.empty);
 		this.#fieldValidators = { ...options.validators };
+		this.#decodeForRefinements = Option.map(Option.fromUndefinedOr(options.builder), (builder) => SchemaParser.decodeUnknownEffect(FormBuilder.buildSchema(builder), { errors: "all" }));
 		this.data = structuredClone(initial.data);
 		this.#sourced = {
 			client: noErrors,
@@ -246,9 +267,13 @@ var FormStore = class {
 	* progressive-enhancement submit handler via a Svelte attachment.
 	*/
 	get props() {
-		return {
+		const action = this.#options.action;
+		return action === void 0 ? {
+			method: "post",
+			[this.#attachmentKey]: this.#enhanceAttachment
+		} : {
 			method: "post",
-			...this.#options.action !== void 0 ? { action: this.#options.action } : {},
+			action,
 			[this.#attachmentKey]: this.#enhanceAttachment
 		};
 	}
@@ -258,7 +283,7 @@ var FormStore = class {
 	}
 	/** The messages currently attached to `path` (for dynamic / nested paths). */
 	errorsAt(path) {
-		return Errors.getError(this.errors, path) ?? [];
+		return Errors.getError(untypedErrors(this.errors), path) ?? [];
 	}
 	/** Whether the async validator(s) at `path` are currently running. */
 	isValidatingAt(path) {
@@ -350,7 +375,7 @@ var FormStore = class {
 	* Path.FieldPath}); a typo'd segment or wrong-shaped path is a compile error.
 	*/
 	field(path) {
-		return new FieldHandle(this, Path.fromString(path));
+		return new FieldHandle(eraseStore(this), Path.fromString(path));
 	}
 	/**
 	* Handle a field losing focus: mark it touched, run its `onBlur` /
@@ -383,11 +408,11 @@ var FormStore = class {
 			run();
 			return;
 		}
-		clearTimeout(this.#listenerTimers.get(key));
-		this.#listenerTimers.set(key, setTimeout(() => {
-			this.#listenerTimers.delete(key);
+		clearTimeout(this.#listenerTimers[key]);
+		this.#listenerTimers[key] = setTimeout(() => {
+			delete this.#listenerTimers[key];
 			run();
-		}, Duration.toMillis(debounce)));
+		}, Duration.toMillis(debounce));
 	}
 	/**
 	* The listeners table to dispatch change events against, with each field's
@@ -401,11 +426,10 @@ var FormStore = class {
 		const listeners = this.#options.listeners;
 		if (!listeners || listeners.onChange === void 0 && !listeners.fields) return void 0;
 		if (!listeners.fields) return listeners;
-		const fields = {};
-		for (const [key, field] of Object.entries(listeners.fields)) fields[key] = field.onChange ? {
+		const fields = R.fromEntries(Arr.map(R.toEntries(listeners.fields), ([key, field]) => [key, field.onChange ? {
 			...field,
 			onChange: (input) => this.#scheduleListener(`change:${key}`, field.debounce, () => field.onChange?.(input))
-		} : field;
+		} : field]));
 		return {
 			...listeners,
 			fields
@@ -553,7 +577,7 @@ var FormStore = class {
 	#defaultItem(path) {
 		if (this.#options.schema) return Field.defaultItemAt(this.#options.schema, path);
 		const fields = this.#options.fields;
-		if (fields && path.length === 1 && typeof path[0] === "string") {
+		if (fields && path.length === 1 && Predicate.isString(path[0])) {
 			const def = fields[path[0]];
 			if (def && Field.isArrayFieldDef(def)) return Field.defaultValue(def.itemSchema);
 		}
@@ -702,11 +726,15 @@ var FormStore = class {
 	*/
 	#runRefineEffect() {
 		const builder = this.#options.builder;
-		if (!builder || FormBuilder.asyncRefinements(builder).length === 0) return;
-		this.#runValidatorFiber("", FormBuilder.runAsyncRefinements(builder, this.data).pipe(Effect.tap((issues) => Effect.sync(() => {
-			let client = this.#sourcedSnapshot().client;
-			for (const path of this.#lastRefinementPaths) client = replaceAt(client, path, []);
-			client = Errors.mergeErrors(client, Errors.issuesToErrors(issues));
+		if (!builder || Arr.isReadonlyArrayEmpty(FormBuilder.asyncRefinements(builder))) return;
+		if (Option.isNone(this.#decodeForRefinements)) return;
+		const decoded = this.#decodeForRefinements.value(this.#detachedData());
+		this.#runValidatorFiber("", decoded.pipe(Effect.matchEffect({
+			onFailure: () => Effect.succeed([]),
+			onSuccess: (values) => FormBuilder.runAsyncRefinements(builder, values)
+		}), Effect.tap((issues) => Effect.sync(() => {
+			const cleared = Arr.reduce(this.#lastRefinementPaths, this.#sourcedSnapshot().client, (client, path) => replaceAt(client, path, []));
+			const client = Errors.mergeErrors(cleared, Errors.issuesToErrors(issues));
 			this.#lastRefinementPaths = issues.map((issue) => issue.path);
 			this.#sourced = {
 				...this.#sourced,
@@ -722,7 +750,7 @@ var FormStore = class {
 	*/
 	reset(values) {
 		if (values !== void 0) this.#initial = structuredClone(values);
-		for (const key of Object.keys(this.#fibers)) this.#interruptFiber(key);
+		Arr.forEach(R.keys(this.#fibers), (key) => this.#interruptFiber(key));
 		this.data = structuredClone(this.#initial);
 		this.#previousData = this.#detachedData();
 		this.#sourced = emptySourced;
@@ -745,7 +773,7 @@ var FormStore = class {
 			valid: this.valid,
 			posted: this.posted,
 			data: this.#detachedData(),
-			errors: this.errors,
+			errors: untypedErrors(this.errors),
 			message: this.message,
 			constraints: this.constraints
 		};
@@ -812,14 +840,14 @@ var FormStore = class {
 		this.posted = true;
 		this.#options.onUpdated?.({ form: {
 			data: this.data,
-			errors: this.errors,
+			errors: untypedErrors(this.errors),
 			valid: this.valid
 		} });
 	}
 	#applyRedirect(location) {
 		this.#lastSubmitOutcome = "success";
 		if (this.#options.onRedirect) this.#options.onRedirect({ location });
-		else if (typeof window !== "undefined") window.location.assign(location);
+		else if (!Predicate.isUndefined(globalThis.window)) window.location.assign(location);
 	}
 	#applyError(error) {
 		this.#lastSubmitOutcome = "failure";
@@ -838,11 +866,12 @@ var FormStore = class {
 	* actually just saved, not the original seed.
 	*/
 	#applySubmittedData(data, result) {
+		const submittedData = $state.snapshot(this.#lastSubmitted ?? this.data);
 		const applied = computeDataApplication({
-			isSuccess: result._tag === "Success",
+			isSuccess: Predicate.isTagged(result, "Success"),
 			appliedData: data,
 			initial: this.#initial,
-			submittedData: $state.snapshot(this.#lastSubmitted ?? this.data),
+			submittedData,
 			resetForm: this.#options.resetForm ?? false,
 			autoSubmit: this.#mode.autoSubmit
 		});
@@ -879,7 +908,7 @@ var FormStore = class {
 		}, delayMs);
 		try {
 			const submit = this.#options.submit ?? defaultSubmit;
-			const action = node.action || (typeof location !== "undefined" ? location.href : "");
+			const action = node.action || (Predicate.isUndefined(globalThis.location) ? "" : location.href);
 			let result;
 			if (resolved !== void 0) result = resolved;
 			else if (this.#options.handler) result = await this.#options.handler(this.data);
@@ -887,7 +916,7 @@ var FormStore = class {
 			this.#options.onResult?.({ result });
 			this.#applyUpdate(resultToUpdate(result), result);
 		} catch (cause) {
-			const message = cause instanceof Error ? cause.message : "Submission failed";
+			const message = Predicate.isError(cause) ? cause.message : "Submission failed";
 			this.#lastSubmitOutcome = "failure";
 			this.#options.onError?.({ error: message });
 		} finally {
@@ -911,7 +940,7 @@ var FormStore = class {
 		const beforeUnload = (event) => {
 			if (this.#options.taintedMessage && this.isTainted) event.preventDefault();
 		};
-		if (this.#options.taintedMessage && typeof window !== "undefined") window.addEventListener("beforeunload", beforeUnload);
+		if (this.#options.taintedMessage && !Predicate.isUndefined(globalThis.window)) window.addEventListener("beforeunload", beforeUnload);
 		this.#autoSubmitNode = node;
 		this.#options.listeners?.onMount?.({ data: $state.snapshot(this.data) });
 		const dispatchListeners = this.#buildDispatchListeners();
@@ -932,24 +961,31 @@ var FormStore = class {
 				const snapshot = $state.snapshot(this.data);
 				const changed = taintedLeafPaths(computeTainted(this.#previousData, snapshot));
 				this.#previousData = snapshot;
-				for (const path of changed) this.#onFieldChanged(path);
+				Arr.forEach(changed, (path) => this.#onFieldChanged(path));
 			});
 		});
 		return { destroy: () => {
 			node.removeEventListener("submit", handleSubmit);
-			if (typeof window !== "undefined") window.removeEventListener("beforeunload", beforeUnload);
+			if (!Predicate.isUndefined(globalThis.window)) window.removeEventListener("beforeunload", beforeUnload);
 			stopWatching?.();
 			stopFieldWatching?.();
 			clearTimeout(this.#validateTimer);
-			for (const timer of this.#listenerTimers.values()) clearTimeout(timer);
-			this.#listenerTimers.clear();
-			for (const key of Object.keys(this.#fibers)) this.#interruptFiber(key);
+			Arr.forEach(R.values(this.#listenerTimers), (timer) => clearTimeout(timer));
+			this.#listenerTimers = {};
+			Arr.forEach(R.keys(this.#fibers), (key) => this.#interruptFiber(key));
 			if (this.#autoSubmitNode === node) this.#autoSubmitNode = void 0;
 		} };
 	};
 	/** Attachment form of {@link FormStore.enhance} for {@link FormStore.props}. */
-	#enhanceAttachment = (node) => this.enhance(node).destroy;
-	/** Build a {@link FormData} body from the current data (SPA / manual submit). */
+	#enhanceAttachment = (node) => {
+		return this.enhance(node).destroy;
+	};
+	/**
+	* Build a {@link FormData} body from the current data (SPA / manual submit).
+	*
+	* Each value is encoded as `objectToFormData` encodes it: a `File` or
+	* `Blob` is appended as a file and a `Date` as its UTC `YYYY-MM-DD`.
+	*/
 	toFormData() {
 		return objectToFormData(this.data);
 	}
@@ -957,10 +993,10 @@ var FormStore = class {
 function createForm(source, options = {}) {
 	if (FormBuilder.isFormBuilder(source)) {
 		const schema = FormBuilder.buildSchema(source);
-		return new FormStore(Form.fromBuilder(source, {
-			...options.defaults !== void 0 ? { defaults: options.defaults } : {},
-			...options.id !== void 0 ? { id: options.id } : {}
-		}).empty(), {
+		const builderOptions = {};
+		if (options.defaults !== void 0) builderOptions.defaults = options.defaults;
+		if (options.id !== void 0) builderOptions.id = options.id;
+		return new FormStore(Form.fromBuilder(source, builderOptions).empty(), {
 			...options,
 			schema,
 			fields: source.fields,
@@ -968,18 +1004,15 @@ function createForm(source, options = {}) {
 		});
 	}
 	if ("defaults" in source && "schema" in source) {
-		const seed = source;
-		return new FormStore(makeForm(seed.schema, {
-			defaults: seed.defaults,
-			...seed.id !== void 0 ? { id: seed.id } : {}
-		}).empty(), {
+		const makeOptions = { defaults: source.defaults };
+		if (source.id !== void 0) makeOptions.id = source.id;
+		return new FormStore(makeForm(source.schema, makeOptions).empty(), {
 			...options,
-			schema: seed.schema
+			schema: source.schema
 		});
 	}
 	return new FormStore(source, options);
 }
-//#endregion
 export { FieldHandle, FormStore, createForm };
 
 //# sourceMappingURL=FormStore.svelte.js.map