@zerolith/forms 0.0.0-stage → 0.1.0-alpha.1

package/LICENSE

@@ -0,0 +1,201 @@
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable
+      by such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or
+          Derivative Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and
+          do not modify the License. You may add Your own attribution
+          notices within Derivative Works that You distribute, alongside
+          or as an addendum to the NOTICE text from the Work, provided
+          that such additional attribution notices cannot be construed
+          as modifying the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor
+      has been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format. We also recommend that a
+      file or class name and description of purpose be included on the
+      same "printed page" as the copyright notice for easier
+      identification within third-party archives.
+
+   Copyright [yyyy] [name of copyright owner]
+
+   Licensed under the Apache License, Version 2.0 (the "License");
+   you may not use this file except in compliance with the License.
+   You may obtain a copy of the License at
+
+       http://www.apache.org/licenses/LICENSE-2.0
+
+   Unless required by applicable law or agreed to in writing, software
+   distributed under the License is distributed on an "AS IS" BASIS,
+   WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+   See the License for the specific language governing permissions and
+   limitations under the License.

package/README.md

@@ -1,3 +1,26 @@
-# Temporary Holding Version
+# @zerolith/forms
 
-This version is a temporary placeholder for this package. An operational version to replace this has been submitted for review and is awaiting a staged release.
+Forms for zerolith applications. A form stays a native `<form>` that posts `FormData` to its action and works with JavaScript disabled; `createForm` enhances it when JavaScript runs: the submission goes through `fetch` with the form's own method, action, and encoding, pending state and the outcome are signals, and a failure arrives as an RFC 9457 problem details document whose `fields` map carries the messages for each input.
+
+```ts
+import { html } from "zerolith";
+import { createForm } from "@zerolith/forms";
+
+const form = createForm({ onSuccess: () => router.navigate("/notes") });
+
+html`<form method="post" action="/notes" @submit=${form.submit}>
+    <input name="title" aria-invalid=${form.field("title").invalid}>
+    <output>${form.field("title").error}</output>
+    <button ?disabled=${form.pending}>Save</button>
+</form>`;
+```
+
+Validation is written once as a Standard Schema and runs on both sides: `validateForm` turns the schema's issues into the same problem document the server returns, and `problemResponse` writes that document as a WinterTC `Response`, so the no-JavaScript path and the enhanced path share one handler and one wire shape. Any backend that can answer with `application/problem+json` fits.
+
+The guide is `docs/guide/forms.md` in the repository.
+
+Status: pre-alpha, nothing published.
+
+## License
+
+Apache-2.0. See `LICENSE`.

package/dist/form.d.ts

@@ -0,0 +1,88 @@
+/**
+ * The enhancer. A form stays a native `<form>` that posts to its action and
+ * works without JavaScript; `createForm` takes over its submit event when
+ * JavaScript runs, sends the same request with `fetch`, and exposes the
+ * outcome as signals: pending state, a parsed result, or a problem whose
+ * `fields` feed the inputs that failed.
+ */
+import { type Problem, type ReadableSignal } from "zerolith";
+import { type StandardSchema } from "./schema.js";
+/** Where a form is in its current submission. */
+export type FormStatus = "idle" | "pending" | "success" | "failure" | "error";
+/** What the default sender, or a custom `send`, receives. */
+export interface Submission {
+    /** The form that was submitted. */
+    readonly element: HTMLFormElement;
+    /** The button or input that submitted it, when there was one. */
+    readonly submitter: HTMLElement | null;
+    /** The form's data, including the submitter's name and value. */
+    readonly data: FormData;
+    /** The lowercase method, after the submitter's `formmethod` override. */
+    readonly method: string;
+    /** The resolved action URL, after the submitter's `formaction` override. */
+    readonly action: URL;
+    /** Aborted when the form is submitted again or reset. */
+    readonly signal: AbortSignal;
+}
+/** The outcome of one submission. */
+export interface SubmissionOutcome {
+    /** The parsed body: JSON when the response says so, text otherwise, undefined for an empty body. */
+    readonly result: unknown;
+    readonly response: Response;
+    readonly element: HTMLFormElement;
+}
+/** Options for `createForm`. */
+export interface FormOptions {
+    /** Validated on the client before anything is sent; failing issues become the problem's `fields`. */
+    schema?: StandardSchema;
+    /** Sends the submission. Defaults to a `fetch` of the form's method, action, and encoding that asks for JSON. */
+    send?: (submission: Submission) => Promise<Response>;
+    /** Headers added to the default request. */
+    headers?: HeadersInit;
+    /** The `fetch` the default sender uses; defaults to the global one. */
+    fetch?: typeof fetch;
+    /** Where a redirected response takes the page. Defaults to `location.assign`; pass the router's `navigate` to stay in the application. */
+    navigate?: (url: string) => void;
+    /** Resets the form element after a successful response. */
+    reset?: boolean;
+    /** Called after a successful response. */
+    onSuccess?: (outcome: SubmissionOutcome) => void;
+    /** Called with the problem from client-side validation or from the server. */
+    onFailure?: (problem: Problem, element: HTMLFormElement) => void;
+    /** Called when the request itself fails. */
+    onError?: (error: unknown, element: HTMLFormElement) => void;
+}
+/** One input's slice of the current problem. */
+export interface Field {
+    /** Every message for the field, oldest first. */
+    readonly errors: ReadableSignal<readonly string[]>;
+    /** The first message, or undefined. */
+    readonly error: ReadableSignal<string | undefined>;
+    /** True while the field has a message; bind it to `aria-invalid`. */
+    readonly invalid: ReadableSignal<boolean>;
+}
+/** The enhanced form. */
+export interface Form {
+    readonly status: ReadableSignal<FormStatus>;
+    /** True while a submission is in flight. */
+    readonly pending: ReadableSignal<boolean>;
+    /** The problem from the last failed submission, or undefined. */
+    readonly problem: ReadableSignal<Problem | undefined>;
+    /** The parsed body of the last successful submission. */
+    readonly result: ReadableSignal<unknown>;
+    /** The error of the last submission that did not complete. */
+    readonly error: ReadableSignal<unknown>;
+    /** A field's view of the problem; the same object for the same name. */
+    field(name: string): Field;
+    /** The submit handler; bind it with `@submit`. */
+    submit(event: SubmitEvent): void;
+    /** Aborts any submission in flight and returns the form to idle. */
+    reset(): void;
+}
+/**
+ * Creates the enhancer for one form. Bind `submit` to the form's `@submit`;
+ * the method, action, and encoding stay on the form element, so the same
+ * markup submits natively when the script has not run.
+ */
+export declare function createForm(options?: FormOptions): Form;
+//# sourceMappingURL=form.d.ts.map

package/dist/form.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"form.d.ts","sourceRoot":"","sources":["../src/form.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAsB,KAAK,OAAO,EAAE,KAAK,cAAc,EAAsC,MAAM,UAAU,CAAC;AACrH,OAAO,EAAE,KAAK,cAAc,EAAgB,MAAM,aAAa,CAAC;AAEhE,iDAAiD;AACjD,MAAM,MAAM,UAAU,GAAG,MAAM,GAAG,SAAS,GAAG,SAAS,GAAG,SAAS,GAAG,OAAO,CAAC;AAE9E,6DAA6D;AAC7D,MAAM,WAAW,UAAU;IAEvB,mCAAmC;IACnC,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;IAClC,iEAAiE;IACjE,QAAQ,CAAC,SAAS,EAAE,WAAW,GAAG,IAAI,CAAC;IACvC,iEAAiE;IACjE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,yEAAyE;IACzE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,4EAA4E;IAC5E,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC;IACrB,yDAAyD;IACzD,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;CAChC;AAED,qCAAqC;AACrC,MAAM,WAAW,iBAAiB;IAE9B,oGAAoG;IACpG,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,eAAe,CAAC;CACrC;AAED,gCAAgC;AAChC,MAAM,WAAW,WAAW;IAExB,qGAAqG;IACrG,MAAM,CAAC,EAAE,cAAc,CAAC;IACxB,iHAAiH;IACjH,IAAI,CAAC,EAAE,CAAC,UAAU,EAAE,UAAU,KAAK,OAAO,CAAC,QAAQ,CAAC,CAAC;IACrD,4CAA4C;IAC5C,OAAO,CAAC,EAAE,WAAW,CAAC;IACtB,uEAAuE;IACvE,KAAK,CAAC,EAAE,OAAO,KAAK,CAAC;IACrB,0IAA0I;IAC1I,QAAQ,CAAC,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,IAAI,CAAC;IACjC,2DAA2D;IAC3D,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,0CAA0C;IAC1C,SAAS,CAAC,EAAE,CAAC,OAAO,EAAE,iBAAiB,KAAK,IAAI,CAAC;IACjD,8EAA8E;IAC9E,SAAS,CAAC,EAAE,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,eAAe,KAAK,IAAI,CAAC;IACjE,4CAA4C;IAC5C,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,eAAe,KAAK,IAAI,CAAC;CAChE;AAED,gDAAgD;AAChD,MAAM,WAAW,KAAK;IAElB,iDAAiD;IACjD,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC,SAAS,MAAM,EAAE,CAAC,CAAC;IACnD,uCAAuC;IACvC,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;IACnD,qEAAqE;IACrE,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC;CAC7C;AAED,yBAAyB;AACzB,MAAM,WAAW,IAAI;IAEjB,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC,UAAU,CAAC,CAAC;IAC5C,4CAA4C;IAC5C,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC;IAC1C,iEAAiE;IACjE,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC,OAAO,GAAG,SAAS,CAAC,CAAC;IACtD,yDAAyD;IACzD,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC;IACzC,8DAA8D;IAC9D,QAAQ,CAAC,KAAK,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC;IACxC,wEAAwE;IACxE,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,KAAK,CAAC;IAC3B,kDAAkD;IAClD,MAAM,CAAC,KAAK,EAAE,WAAW,GAAG,IAAI,CAAC;IACjC,oEAAoE;IACpE,KAAK,IAAI,IAAI,CAAC;CACjB;AAwDD;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,OAAO,GAAE,WAAgB,GAAG,IAAI,CA+I1D"}

package/dist/form.js

@@ -0,0 +1,172 @@
+/**
+ * The enhancer. A form stays a native `<form>` that posts to its action and
+ * works without JavaScript; `createForm` takes over its submit event when
+ * JavaScript runs, sends the same request with `fetch`, and exposes the
+ * outcome as signals: pending state, a parsed result, or a problem whose
+ * `fields` feed the inputs that failed.
+ */
+import { PROBLEM_MEDIA_TYPE, batch, computed, isProblem, signal } from "zerolith";
+import { validateForm } from "./schema.js";
+const EMPTY = [];
+function entries(data) {
+    return [...data].map(([name, value]) => [name, typeof value === "string" ? value : value.name]);
+}
+async function defaultSend(submission, headers, fetchImpl) {
+    const { element, submitter, data, method, action, signal: abort } = submission;
+    const requestHeaders = new Headers(headers);
+    if (!requestHeaders.has("accept")) {
+        requestHeaders.set("accept", `application/json, ${PROBLEM_MEDIA_TYPE}`);
+    }
+    const init = { method: method.toUpperCase(), headers: requestHeaders, signal: abort, credentials: "same-origin" };
+    if (method === "get") {
+        const url = new URL(action);
+        url.search = new URLSearchParams(entries(data)).toString();
+        return fetchImpl(url, init);
+    }
+    const enctype = submitter?.getAttribute("formenctype") ?? element.enctype;
+    if (enctype === "multipart/form-data") {
+        init.body = data;
+    }
+    else if (enctype === "text/plain") {
+        requestHeaders.set("content-type", "text/plain; charset=utf-8");
+        init.body = entries(data).map(([name, value]) => `${name}=${value}\r\n`).join("");
+    }
+    else {
+        init.body = new URLSearchParams(entries(data));
+    }
+    return fetchImpl(action, init);
+}
+async function parseBody(response) {
+    if (response.status === 204 || response.status === 205) {
+        return undefined;
+    }
+    const type = response.headers.get("content-type") ?? "";
+    if (type.includes("json")) {
+        return response.json();
+    }
+    const text = await response.text();
+    return text === "" ? undefined : text;
+}
+/**
+ * Creates the enhancer for one form. Bind `submit` to the form's `@submit`;
+ * the method, action, and encoding stay on the form element, so the same
+ * markup submits natively when the script has not run.
+ */
+export function createForm(options = {}) {
+    const status = signal("idle");
+    const problem = signal(undefined);
+    const result = signal(undefined);
+    const error = signal(undefined);
+    const pending = computed(() => status.get() === "pending");
+    const fields = new Map();
+    let controller;
+    const fail = (found, element) => {
+        batch(() => {
+            problem.set(found);
+            status.set("failure");
+        });
+        options.onFailure?.(found, element);
+    };
+    const run = async (element, submitter, method, action, current) => {
+        const data = new FormData(element, submitter ?? undefined);
+        batch(() => {
+            status.set("pending");
+            problem.set(undefined);
+            error.set(undefined);
+        });
+        if (options.schema !== undefined) {
+            const validation = await validateForm(options.schema, data);
+            if (current.signal.aborted) {
+                return;
+            }
+            if (validation.problem !== undefined) {
+                fail(validation.problem, element);
+                return;
+            }
+        }
+        const submission = { element, submitter, data, method, action, signal: current.signal };
+        const response = await (options.send ?? ((request) => defaultSend(request, options.headers, options.fetch ?? fetch)))(submission);
+        if (current.signal.aborted) {
+            return;
+        }
+        const type = response.headers.get("content-type") ?? "";
+        if (type.includes(PROBLEM_MEDIA_TYPE)) {
+            fail((await response.json()), element);
+            return;
+        }
+        if (!response.ok) {
+            const body = type.includes("json") ? await response.json().catch(() => undefined) : undefined;
+            fail(isProblem(body) ? body : { status: response.status, title: response.statusText === "" ? `HTTP ${response.status}` : response.statusText }, element);
+            return;
+        }
+        const parsed = response.redirected ? undefined : await parseBody(response);
+        if (current.signal.aborted) {
+            return;
+        }
+        batch(() => {
+            result.set(parsed);
+            status.set("success");
+        });
+        if (options.reset === true) {
+            element.reset();
+        }
+        options.onSuccess?.({ result: parsed, response, element });
+        if (response.redirected) {
+            (options.navigate ?? ((url) => location.assign(url)))(response.url);
+        }
+    };
+    return {
+        status,
+        pending,
+        problem,
+        result,
+        error,
+        field(name) {
+            let field = fields.get(name);
+            if (field === undefined) {
+                const errors = computed(() => problem.get()?.fields?.[name] ?? EMPTY);
+                field = {
+                    errors,
+                    error: computed(() => errors.get()[0]),
+                    invalid: computed(() => errors.get().length > 0)
+                };
+                fields.set(name, field);
+            }
+            return field;
+        },
+        submit(event) {
+            const element = event.currentTarget;
+            const submitter = event.submitter;
+            const method = (submitter?.getAttribute("formmethod") ?? element.getAttribute("method") ?? "get").toLowerCase();
+            if (method === "dialog") {
+                return;
+            }
+            event.preventDefault();
+            const action = new URL(submitter?.hasAttribute("formaction") === true ? submitter.formAction : element.action);
+            controller?.abort();
+            const current = new AbortController();
+            controller = current;
+            run(element, submitter, method, action, current).catch((thrown) => {
+                if (current.signal.aborted) {
+                    return;
+                }
+                batch(() => {
+                    error.set(thrown);
+                    status.set("error");
+                });
+                options.onError?.(thrown, element);
+            });
+        },
+        reset() {
+            controller?.abort();
+            controller = undefined;
+            batch(() => {
+                status.set("idle");
+                problem.set(undefined);
+                result.set(undefined);
+                error.set(undefined);
+            });
+        }
+    };
+}
+//# sourceMappingURL=form.js.map

package/dist/form.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"form.js","sourceRoot":"","sources":["../src/form.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,kBAAkB,EAAqC,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,UAAU,CAAC;AACrH,OAAO,EAAuB,YAAY,EAAE,MAAM,aAAa,CAAC;AAqFhE,MAAM,KAAK,GAAsB,EAAE,CAAC;AAEpC,SAAS,OAAO,CAAC,IAAc;IAE3B,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;AACpG,CAAC;AAED,KAAK,UAAU,WAAW,CAAC,UAAsB,EAAE,OAAgC,EAAE,SAAuB;IAExG,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,UAAU,CAAC;IAC/E,MAAM,cAAc,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC,CAAC;IAC5C,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,QAAQ,CAAC,EACjC,CAAC;QACG,cAAc,CAAC,GAAG,CAAC,QAAQ,EAAE,qBAAqB,kBAAkB,EAAE,CAAC,CAAC;IAC5E,CAAC;IACD,MAAM,IAAI,GAAgB,EAAE,MAAM,EAAE,MAAM,CAAC,WAAW,EAAE,EAAE,OAAO,EAAE,cAAc,EAAE,MAAM,EAAE,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,CAAC;IAC/H,IAAI,MAAM,KAAK,KAAK,EACpB,CAAC;QACG,MAAM,GAAG,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC;QAC5B,GAAG,CAAC,MAAM,GAAG,IAAI,eAAe,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC3D,OAAO,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAChC,CAAC;IACD,MAAM,OAAO,GAAG,SAAS,EAAE,YAAY,CAAC,aAAa,CAAC,IAAI,OAAO,CAAC,OAAO,CAAC;IAC1E,IAAI,OAAO,KAAK,qBAAqB,EACrC,CAAC;QACG,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACrB,CAAC;SACI,IAAI,OAAO,KAAK,YAAY,EACjC,CAAC;QACG,cAAc,CAAC,GAAG,CAAC,cAAc,EAAE,2BAA2B,CAAC,CAAC;QAChE,IAAI,CAAC,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,IAAI,KAAK,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACtF,CAAC;SAED,CAAC;QACG,IAAI,CAAC,IAAI,GAAG,IAAI,eAAe,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;AACnC,CAAC;AAED,KAAK,UAAU,SAAS,CAAC,QAAkB;IAEvC,IAAI,QAAQ,CAAC,MAAM,KAAK,GAAG,IAAI,QAAQ,CAAC,MAAM,KAAK,GAAG,EACtD,CAAC;QACG,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC;IACxD,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EACzB,CAAC;QACG,OAAO,QAAQ,CAAC,IAAI,EAAE,CAAC;IAC3B,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC;IACnC,OAAO,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;AAC1C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,UAAU,CAAC,OAAO,GAAgB,EAAE;IAEhD,MAAM,MAAM,GAAG,MAAM,CAAa,MAAM,CAAC,CAAC;IAC1C,MAAM,OAAO,GAAG,MAAM,CAAsB,SAAS,CAAC,CAAC;IACvD,MAAM,MAAM,GAAG,MAAM,CAAU,SAAS,CAAC,CAAC;IAC1C,MAAM,KAAK,GAAG,MAAM,CAAU,SAAS,CAAC,CAAC;IACzC,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,KAAK,SAAS,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,IAAI,GAAG,EAAiB,CAAC;IACxC,IAAI,UAAuC,CAAC;IAE5C,MAAM,IAAI,GAAG,CAAC,KAAc,EAAE,OAAwB,EAAQ,EAAE;QAE5D,KAAK,CAAC,GAAG,EAAE;YAEP,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YACnB,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC1B,CAAC,CAAC,CAAC;QACH,OAAO,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACxC,CAAC,CAAC;IAEF,MAAM,GAAG,GAAG,KAAK,EAAE,OAAwB,EAAE,SAA6B,EAAE,MAAc,EAAE,MAAW,EAAE,OAAwB,EAAiB,EAAE;QAEhJ,MAAM,IAAI,GAAG,IAAI,QAAQ,CAAC,OAAO,EAAE,SAAS,IAAI,SAAS,CAAC,CAAC;QAC3D,KAAK,CAAC,GAAG,EAAE;YAEP,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACtB,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACvB,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACzB,CAAC,CAAC,CAAC;QACH,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,EAChC,CAAC;YACG,MAAM,UAAU,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YAC5D,IAAI,OAAO,CAAC,MAAM,CAAC,OAAO,EAC1B,CAAC;gBACG,OAAO;YACX,CAAC;YACD,IAAI,UAAU,CAAC,OAAO,KAAK,SAAS,EACpC,CAAC;gBACG,IAAI,CAAC,UAAU,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;gBAClC,OAAO;YACX,CAAC;QACL,CAAC;QACD,MAAM,UAAU,GAAe,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;QACpG,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,KAAK,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QAClI,IAAI,OAAO,CAAC,MAAM,CAAC,OAAO,EAC1B,CAAC;YACG,OAAO;QACX,CAAC;QACD,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC;QACxD,IAAI,IAAI,CAAC,QAAQ,CAAC,kBAAkB,CAAC,EACrC,CAAC;YACG,IAAI,CAAC,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAY,EAAE,OAAO,CAAC,CAAC;YAClD,OAAO;QACX,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,EAAE,EAChB,CAAC;YACG,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC9F,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,QAAQ,CAAC,UAAU,KAAK,EAAE,CAAC,CAAC,CAAC,QAAQ,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,UAAU,EAAE,EAAE,OAAO,CAAC,CAAC;YACzJ,OAAO;QACX,CAAC;QACD,MAAM,MAAM,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,SAAS,CAAC,QAAQ,CAAC,CAAC;QAC3E,IAAI,OAAO,CAAC,MAAM,CAAC,OAAO,EAC1B,CAAC;YACG,OAAO;QACX,CAAC;QACD,KAAK,CAAC,GAAG,EAAE;YAEP,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;YACnB,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC1B,CAAC,CAAC,CAAC;QACH,IAAI,OAAO,CAAC,KAAK,KAAK,IAAI,EAC1B,CAAC;YACG,OAAO,CAAC,KAAK,EAAE,CAAC;QACpB,CAAC;QACD,OAAO,CAAC,SAAS,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;QAC3D,IAAI,QAAQ,CAAC,UAAU,EACvB,CAAC;YACG,CAAC,OAAO,CAAC,QAAQ,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;QACxE,CAAC;IACL,CAAC,CAAC;IAEF,OAAO;QACH,MAAM;QACN,OAAO;QACP,OAAO;QACP,MAAM;QACN,KAAK;QACL,KAAK,CAAC,IAAY;YAEd,IAAI,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC7B,IAAI,KAAK,KAAK,SAAS,EACvB,CAAC;gBACG,MAAM,MAAM,GAAG,QAAQ,CAAoB,GAAG,EAAE,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,CAAC;gBACzF,KAAK,GAAG;oBACJ,MAAM;oBACN,KAAK,EAAE,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;oBACtC,OAAO,EAAE,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC;iBACnD,CAAC;gBACF,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC5B,CAAC;YACD,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,MAAM,CAAC,KAAkB;YAErB,MAAM,OAAO,GAAG,KAAK,CAAC,aAAgC,CAAC;YACvD,MAAM,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC;YAClC,MAAM,MAAM,GAAG,CAAC,SAAS,EAAE,YAAY,CAAC,YAAY,CAAC,IAAI,OAAO,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;YAChH,IAAI,MAAM,KAAK,QAAQ,EACvB,CAAC;gBACG,OAAO;YACX,CAAC;YACD,KAAK,CAAC,cAAc,EAAE,CAAC;YACvB,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,SAAS,EAAE,YAAY,CAAC,YAAY,CAAC,KAAK,IAAI,CAAC,CAAC,CAAE,SAA+B,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACtI,UAAU,EAAE,KAAK,EAAE,CAAC;YACpB,MAAM,OAAO,GAAG,IAAI,eAAe,EAAE,CAAC;YACtC,UAAU,GAAG,OAAO,CAAC;YACrB,GAAG,CAAC,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,MAAe,EAAE,EAAE;gBAEvE,IAAI,OAAO,CAAC,MAAM,CAAC,OAAO,EAC1B,CAAC;oBACG,OAAO;gBACX,CAAC;gBACD,KAAK,CAAC,GAAG,EAAE;oBAEP,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;oBAClB,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBACxB,CAAC,CAAC,CAAC;gBACH,OAAO,CAAC,OAAO,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;YACvC,CAAC,CAAC,CAAC;QACP,CAAC;QACD,KAAK;YAED,UAAU,EAAE,KAAK,EAAE,CAAC;YACpB,UAAU,GAAG,SAAS,CAAC;YACvB,KAAK,CAAC,GAAG,EAAE;gBAEP,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;gBACnB,OAAO,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;gBACvB,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;gBACtB,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACzB,CAAC,CAAC,CAAC;QACP,CAAC;KACJ,CAAC;AACN,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,10 @@
+/**
+ * @zerolith/forms: native forms, enhanced. The public surface is assembled here.
+ * The `Problem` type, `isProblem`, and `PROBLEM_MEDIA_TYPE` come from `zerolith`.
+ */
+export { problemResponse } from "./problem.js";
+export type { FormValues, InferOutput, StandardIssue, StandardPathSegment, StandardResult, StandardSchema, Validation } from "./schema.js";
+export { formValues, problemFromIssues, validateForm } from "./schema.js";
+export type { Field, Form, FormOptions, FormStatus, Submission, SubmissionOutcome } from "./form.js";
+export { createForm } from "./form.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/C,YAAY,EAAE,UAAU,EAAE,WAAW,EAAE,aAAa,EAAE,mBAAmB,EAAE,cAAc,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAC3I,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE1E,YAAY,EAAE,KAAK,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AACrG,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC"}

package/dist/index.js

@@ -0,0 +1,8 @@
+/**
+ * @zerolith/forms: native forms, enhanced. The public surface is assembled here.
+ * The `Problem` type, `isProblem`, and `PROBLEM_MEDIA_TYPE` come from `zerolith`.
+ */
+export { problemResponse } from "./problem.js";
+export { formValues, problemFromIssues, validateForm } from "./schema.js";
+export { createForm } from "./form.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAG/C,OAAO,EAAE,UAAU,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAG1E,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC"}

package/dist/problem.d.ts

@@ -0,0 +1,11 @@
+/**
+ * The server side of the problem document: writing a `Problem` as a
+ * WinterTC `Response` with the problem details media type.
+ */
+import { type Problem } from "zerolith";
+/**
+ * Writes a problem as a `Response` with the problem details media type.
+ * The status comes from `init`, or the problem, or defaults to 400.
+ */
+export declare function problemResponse(problem: Problem, init?: ResponseInit): Response;
+//# sourceMappingURL=problem.d.ts.map

package/dist/problem.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"problem.d.ts","sourceRoot":"","sources":["../src/problem.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAsB,KAAK,OAAO,EAAE,MAAM,UAAU,CAAC;AAE5D;;;GAGG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,GAAE,YAAiB,GAAG,QAAQ,CAOnF"}

package/dist/problem.js

@@ -0,0 +1,17 @@
+/**
+ * The server side of the problem document: writing a `Problem` as a
+ * WinterTC `Response` with the problem details media type.
+ */
+import { PROBLEM_MEDIA_TYPE } from "zerolith";
+/**
+ * Writes a problem as a `Response` with the problem details media type.
+ * The status comes from `init`, or the problem, or defaults to 400.
+ */
+export function problemResponse(problem, init = {}) {
+    const status = init.status ?? problem.status ?? 400;
+    const headers = new Headers(init.headers);
+    headers.set("content-type", `${PROBLEM_MEDIA_TYPE}; charset=utf-8`);
+    const body = { ...problem, status };
+    return new Response(JSON.stringify(body), { ...init, status, headers });
+}
+//# sourceMappingURL=problem.js.map

package/dist/problem.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"problem.js","sourceRoot":"","sources":["../src/problem.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,OAAO,EAAE,kBAAkB,EAAgB,MAAM,UAAU,CAAC;AAE5D;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,OAAgB,EAAE,IAAI,GAAiB,EAAE;IAErE,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,IAAI,GAAG,CAAC;IACpD,MAAM,OAAO,GAAG,IAAI,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC1C,OAAO,CAAC,GAAG,CAAC,cAAc,EAAE,GAAG,kBAAkB,iBAAiB,CAAC,CAAC;IACpE,MAAM,IAAI,GAAY,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,CAAC;IAC7C,OAAO,IAAI,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;AAC5E,CAAC"}

package/dist/schema.d.ts

@@ -0,0 +1,59 @@
+/**
+ * Validation through Standard Schema, the interface that zod, valibot,
+ * arktype, and others implement, so a schema written once validates a
+ * submission in the browser before it is sent and on the server when it
+ * arrives, producing the same problem document in both places.
+ */
+import type { Problem } from "zerolith";
+/** One segment of an issue path in object form. */
+export interface StandardPathSegment {
+    readonly key: PropertyKey;
+}
+/** One validation failure. */
+export interface StandardIssue {
+    readonly message: string;
+    /** The path to the failing value; absent for an issue about the whole input. */
+    readonly path?: ReadonlyArray<PropertyKey | StandardPathSegment> | undefined;
+}
+/** What `validate` resolves to: a value, or issues. */
+export type StandardResult<Output> = {
+    readonly value: Output;
+    readonly issues?: undefined;
+} | {
+    readonly issues: ReadonlyArray<StandardIssue>;
+};
+/** The Standard Schema V1 interface, as published at standardschema.dev. */
+export interface StandardSchema<Input = unknown, Output = Input> {
+    readonly "~standard": {
+        readonly version: 1;
+        readonly vendor: string;
+        readonly validate: (value: unknown) => StandardResult<Output> | Promise<StandardResult<Output>>;
+        readonly types?: {
+            readonly input: Input;
+            readonly output: Output;
+        } | undefined;
+    };
+}
+/** The output type of a schema. */
+export type InferOutput<S extends StandardSchema> = S extends StandardSchema<unknown, infer Output> ? Output : never;
+/** A form's values as a plain object: repeated names become arrays. */
+export type FormValues = Record<string, FormDataEntryValue | FormDataEntryValue[]>;
+/** What `validateForm` resolves to: the parsed value, or the problem to show. */
+export type Validation<Output> = {
+    readonly value: Output;
+    readonly problem?: undefined;
+} | {
+    readonly value?: undefined;
+    readonly problem: Problem;
+};
+/** Turns `FormData` into a plain object. A name that appears once maps to its value; a name that appears more than once maps to an array of its values, in order. */
+export declare function formValues(data: FormData): FormValues;
+/** Groups issues into a problem: path-bearing issues under `fields`, the rest in `detail`. */
+export declare function problemFromIssues(issues: ReadonlyArray<StandardIssue>): Problem;
+/**
+ * Validates a submission with a Standard Schema. `FormData` is converted
+ * with `formValues` first; any other value is validated as it is. Issues
+ * become a problem whose `fields` carry the messages per path.
+ */
+export declare function validateForm<S extends StandardSchema>(schema: S, data: FormData | Record<string, unknown>): Promise<Validation<InferOutput<S>>>;
+//# sourceMappingURL=schema.d.ts.map

package/dist/schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.d.ts","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,KAAK,EAAe,OAAO,EAAE,MAAM,UAAU,CAAC;AAErD,mDAAmD;AACnD,MAAM,WAAW,mBAAmB;IAEhC,QAAQ,CAAC,GAAG,EAAE,WAAW,CAAC;CAC7B;AAED,8BAA8B;AAC9B,MAAM,WAAW,aAAa;IAE1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,gFAAgF;IAChF,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC,WAAW,GAAG,mBAAmB,CAAC,GAAG,SAAS,CAAC;CAChF;AAED,uDAAuD;AACvD,MAAM,MAAM,cAAc,CAAC,MAAM,IAC3B;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,CAAA;CAAE,GACvD;IAAE,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC,aAAa,CAAC,CAAA;CAAE,CAAC;AAExD,4EAA4E;AAC5E,MAAM,WAAW,cAAc,CAAC,KAAK,GAAG,OAAO,EAAE,MAAM,GAAG,KAAK;IAE3D,QAAQ,CAAC,WAAW,EAAE;QAClB,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC;QACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,cAAc,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC;QAChG,QAAQ,CAAC,KAAK,CAAC,EAAE;YAAE,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;YAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;SAAE,GAAG,SAAS,CAAC;KACnF,CAAC;CACL;AAED,mCAAmC;AACnC,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,cAAc,IAAI,CAAC,SAAS,cAAc,CAAC,OAAO,EAAE,MAAM,MAAM,CAAC,GAAG,MAAM,GAAG,KAAK,CAAC;AAErH,uEAAuE;AACvE,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE,kBAAkB,GAAG,kBAAkB,EAAE,CAAC,CAAC;AAEnF,iFAAiF;AACjF,MAAM,MAAM,UAAU,CAAC,MAAM,IACvB;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,CAAA;CAAE,GACxD;IAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC;AAEhE,qKAAqK;AACrK,wBAAgB,UAAU,CAAC,IAAI,EAAE,QAAQ,GAAG,UAAU,CAoBrD;AAWD,8FAA8F;AAC9F,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,aAAa,CAAC,aAAa,CAAC,GAAG,OAAO,CAoB/E;AAED;;;;GAIG;AACH,wBAAsB,YAAY,CAAC,CAAC,SAAS,cAAc,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CASrJ"}

package/dist/schema.js

@@ -0,0 +1,55 @@
+/** Turns `FormData` into a plain object. A name that appears once maps to its value; a name that appears more than once maps to an array of its values, in order. */
+export function formValues(data) {
+    const values = {};
+    for (const [name, value] of data) {
+        const current = values[name];
+        if (current === undefined) {
+            values[name] = value;
+        }
+        else if (Array.isArray(current)) {
+            current.push(value);
+        }
+        else {
+            values[name] = [current, value];
+        }
+    }
+    return values;
+}
+function fieldName(path) {
+    if (path === undefined || path.length === 0) {
+        return undefined;
+    }
+    return path.map((segment) => String(typeof segment === "object" ? segment.key : segment)).join(".");
+}
+/** Groups issues into a problem: path-bearing issues under `fields`, the rest in `detail`. */
+export function problemFromIssues(issues) {
+    const fields = {};
+    const general = [];
+    for (const issue of issues) {
+        const name = fieldName(issue.path);
+        if (name === undefined) {
+            general.push(issue.message);
+            continue;
+        }
+        (fields[name] ??= []).push(issue.message);
+    }
+    const problem = { type: "about:blank", title: "The submission has invalid fields", status: 400, fields: fields };
+    if (general.length > 0) {
+        problem.detail = general.join(" ");
+    }
+    return problem;
+}
+/**
+ * Validates a submission with a Standard Schema. `FormData` is converted
+ * with `formValues` first; any other value is validated as it is. Issues
+ * become a problem whose `fields` carry the messages per path.
+ */
+export async function validateForm(schema, data) {
+    const input = data instanceof FormData ? formValues(data) : data;
+    const result = await schema["~standard"].validate(input);
+    if (result.issues !== undefined && result.issues.length > 0) {
+        return { problem: problemFromIssues(result.issues) };
+    }
+    return { value: result.value };
+}
+//# sourceMappingURL=schema.js.map

package/dist/schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schema.js","sourceRoot":"","sources":["../src/schema.ts"],"names":[],"mappings":"AAiDA,qKAAqK;AACrK,MAAM,UAAU,UAAU,CAAC,IAAc;IAErC,MAAM,MAAM,GAAe,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,EAChC,CAAC;QACG,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC7B,IAAI,OAAO,KAAK,SAAS,EACzB,CAAC;YACG,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;QACzB,CAAC;aACI,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,EAC/B,CAAC;YACG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACxB,CAAC;aAED,CAAC;YACG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACpC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC;AAClB,CAAC;AAED,SAAS,SAAS,CAAC,IAAkE;IAEjF,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAC3C,CAAC;QACG,OAAO,SAAS,CAAC;IACrB,CAAC;IACD,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACxG,CAAC;AAED,8FAA8F;AAC9F,MAAM,UAAU,iBAAiB,CAAC,MAAoC;IAElE,MAAM,MAAM,GAA6B,EAAE,CAAC;IAC5C,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,KAAK,IAAI,MAAM,EAC1B,CAAC;QACG,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,IAAI,KAAK,SAAS,EACtB,CAAC;YACG,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAC5B,SAAS;QACb,CAAC;QACD,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC9C,CAAC;IACD,MAAM,OAAO,GAAY,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,mCAAmC,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,MAAqB,EAAE,CAAC;IACzI,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EACtB,CAAC;QACG,OAAO,CAAC,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,OAAO,CAAC;AACnB,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAA2B,MAAS,EAAE,IAAwC;IAE5G,MAAM,KAAK,GAAG,IAAI,YAAY,QAAQ,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACjE,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,WAAW,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IACzD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,EAC3D,CAAC;QACG,OAAO,EAAE,OAAO,EAAE,iBAAiB,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;IACzD,CAAC;IACD,OAAO,EAAE,KAAK,EAAG,MAAoC,CAAC,KAAK,EAAE,CAAC;AAClE,CAAC"}

package/package.json

@@ -1,6 +1,50 @@
 {
-  "name": "@zerolith/forms",
-  "version": "0.0.0-stage",
-  "stub": true,
-  "description": "Temporary package placeholder for staged publishing"
-}
+    "name": "@zerolith/forms",
+    "version": "0.1.0-alpha.1",
+    "description": "Forms for zerolith: native forms that post FormData and work without JavaScript, enhanced with fetch, pending state, and RFC 9457 problem+json field errors when it runs, with Standard Schema validation shared by client and server",
+    "license": "Apache-2.0",
+    "author": "molexxxx",
+    "homepage": "https://github.com/molexxxx/zerolith#readme",
+    "repository": {
+        "type": "git",
+        "url": "git+https://github.com/molexxxx/zerolith.git",
+        "directory": "packages/forms"
+    },
+    "bugs": {
+        "url": "https://github.com/molexxxx/zerolith/issues"
+    },
+    "keywords": [
+        "zerolith",
+        "forms",
+        "progressive-enhancement",
+        "problem-details",
+        "standard-schema"
+    ],
+    "type": "module",
+    "sideEffects": false,
+    "engines": {
+        "node": ">=24.0.0"
+    },
+    "exports": {
+        ".": {
+            "types": "./dist/index.d.ts",
+            "default": "./dist/index.js"
+        },
+        "./package.json": "./package.json"
+    },
+    "files": [
+        "dist",
+        "src",
+        "LICENSE",
+        "README.md"
+    ],
+    "scripts": {
+        "build": "tsc -p tsconfig.build.json"
+    },
+    "peerDependencies": {
+        "zerolith": "^0.1.0-alpha.1"
+    },
+    "devDependencies": {
+        "zerolith": "^0.1.0-alpha.1"
+    }
+}

package/src/form.ts

@@ -0,0 +1,296 @@
+/**
+ * The enhancer. A form stays a native `<form>` that posts to its action and
+ * works without JavaScript; `createForm` takes over its submit event when
+ * JavaScript runs, sends the same request with `fetch`, and exposes the
+ * outcome as signals: pending state, a parsed result, or a problem whose
+ * `fields` feed the inputs that failed.
+ */
+import { PROBLEM_MEDIA_TYPE, type Problem, type ReadableSignal, batch, computed, isProblem, signal } from "zerolith";
+import { type StandardSchema, validateForm } from "./schema.js";
+
+/** Where a form is in its current submission. */
+export type FormStatus = "idle" | "pending" | "success" | "failure" | "error";
+
+/** What the default sender, or a custom `send`, receives. */
+export interface Submission
+{
+    /** The form that was submitted. */
+    readonly element: HTMLFormElement;
+    /** The button or input that submitted it, when there was one. */
+    readonly submitter: HTMLElement | null;
+    /** The form's data, including the submitter's name and value. */
+    readonly data: FormData;
+    /** The lowercase method, after the submitter's `formmethod` override. */
+    readonly method: string;
+    /** The resolved action URL, after the submitter's `formaction` override. */
+    readonly action: URL;
+    /** Aborted when the form is submitted again or reset. */
+    readonly signal: AbortSignal;
+}
+
+/** The outcome of one submission. */
+export interface SubmissionOutcome
+{
+    /** The parsed body: JSON when the response says so, text otherwise, undefined for an empty body. */
+    readonly result: unknown;
+    readonly response: Response;
+    readonly element: HTMLFormElement;
+}
+
+/** Options for `createForm`. */
+export interface FormOptions
+{
+    /** Validated on the client before anything is sent; failing issues become the problem's `fields`. */
+    schema?: StandardSchema;
+    /** Sends the submission. Defaults to a `fetch` of the form's method, action, and encoding that asks for JSON. */
+    send?: (submission: Submission) => Promise<Response>;
+    /** Headers added to the default request. */
+    headers?: HeadersInit;
+    /** The `fetch` the default sender uses; defaults to the global one. */
+    fetch?: typeof fetch;
+    /** Where a redirected response takes the page. Defaults to `location.assign`; pass the router's `navigate` to stay in the application. */
+    navigate?: (url: string) => void;
+    /** Resets the form element after a successful response. */
+    reset?: boolean;
+    /** Called after a successful response. */
+    onSuccess?: (outcome: SubmissionOutcome) => void;
+    /** Called with the problem from client-side validation or from the server. */
+    onFailure?: (problem: Problem, element: HTMLFormElement) => void;
+    /** Called when the request itself fails. */
+    onError?: (error: unknown, element: HTMLFormElement) => void;
+}
+
+/** One input's slice of the current problem. */
+export interface Field
+{
+    /** Every message for the field, oldest first. */
+    readonly errors: ReadableSignal<readonly string[]>;
+    /** The first message, or undefined. */
+    readonly error: ReadableSignal<string | undefined>;
+    /** True while the field has a message; bind it to `aria-invalid`. */
+    readonly invalid: ReadableSignal<boolean>;
+}
+
+/** The enhanced form. */
+export interface Form
+{
+    readonly status: ReadableSignal<FormStatus>;
+    /** True while a submission is in flight. */
+    readonly pending: ReadableSignal<boolean>;
+    /** The problem from the last failed submission, or undefined. */
+    readonly problem: ReadableSignal<Problem | undefined>;
+    /** The parsed body of the last successful submission. */
+    readonly result: ReadableSignal<unknown>;
+    /** The error of the last submission that did not complete. */
+    readonly error: ReadableSignal<unknown>;
+    /** A field's view of the problem; the same object for the same name. */
+    field(name: string): Field;
+    /** The submit handler; bind it with `@submit`. */
+    submit(event: SubmitEvent): void;
+    /** Aborts any submission in flight and returns the form to idle. */
+    reset(): void;
+}
+
+const EMPTY: readonly string[] = [];
+
+function entries(data: FormData): [string, string][]
+{
+    return [...data].map(([name, value]) => [name, typeof value === "string" ? value : value.name]);
+}
+
+async function defaultSend(submission: Submission, headers: HeadersInit | undefined, fetchImpl: typeof fetch): Promise<Response>
+{
+    const { element, submitter, data, method, action, signal: abort } = submission;
+    const requestHeaders = new Headers(headers);
+    if (!requestHeaders.has("accept"))
+    {
+        requestHeaders.set("accept", `application/json, ${PROBLEM_MEDIA_TYPE}`);
+    }
+    const init: RequestInit = { method: method.toUpperCase(), headers: requestHeaders, signal: abort, credentials: "same-origin" };
+    if (method === "get")
+    {
+        const url = new URL(action);
+        url.search = new URLSearchParams(entries(data)).toString();
+        return fetchImpl(url, init);
+    }
+    const enctype = submitter?.getAttribute("formenctype") ?? element.enctype;
+    if (enctype === "multipart/form-data")
+    {
+        init.body = data;
+    }
+    else if (enctype === "text/plain")
+    {
+        requestHeaders.set("content-type", "text/plain; charset=utf-8");
+        init.body = entries(data).map(([name, value]) => `${name}=${value}\r\n`).join("");
+    }
+    else
+    {
+        init.body = new URLSearchParams(entries(data));
+    }
+    return fetchImpl(action, init);
+}
+
+async function parseBody(response: Response): Promise<unknown>
+{
+    if (response.status === 204 || response.status === 205)
+    {
+        return undefined;
+    }
+    const type = response.headers.get("content-type") ?? "";
+    if (type.includes("json"))
+    {
+        return response.json();
+    }
+    const text = await response.text();
+    return text === "" ? undefined : text;
+}
+
+/**
+ * Creates the enhancer for one form. Bind `submit` to the form's `@submit`;
+ * the method, action, and encoding stay on the form element, so the same
+ * markup submits natively when the script has not run.
+ */
+export function createForm(options: FormOptions = {}): Form
+{
+    const status = signal<FormStatus>("idle");
+    const problem = signal<Problem | undefined>(undefined);
+    const result = signal<unknown>(undefined);
+    const error = signal<unknown>(undefined);
+    const pending = computed(() => status.get() === "pending");
+    const fields = new Map<string, Field>();
+    let controller: AbortController | undefined;
+
+    const fail = (found: Problem, element: HTMLFormElement): void =>
+    {
+        batch(() =>
+        {
+            problem.set(found);
+            status.set("failure");
+        });
+        options.onFailure?.(found, element);
+    };
+
+    const run = async (element: HTMLFormElement, submitter: HTMLElement | null, method: string, action: URL, current: AbortController): Promise<void> =>
+    {
+        const data = new FormData(element, submitter ?? undefined);
+        batch(() =>
+        {
+            status.set("pending");
+            problem.set(undefined);
+            error.set(undefined);
+        });
+        if (options.schema !== undefined)
+        {
+            const validation = await validateForm(options.schema, data);
+            if (current.signal.aborted)
+            {
+                return;
+            }
+            if (validation.problem !== undefined)
+            {
+                fail(validation.problem, element);
+                return;
+            }
+        }
+        const submission: Submission = { element, submitter, data, method, action, signal: current.signal };
+        const response = await (options.send ?? ((request) => defaultSend(request, options.headers, options.fetch ?? fetch)))(submission);
+        if (current.signal.aborted)
+        {
+            return;
+        }
+        const type = response.headers.get("content-type") ?? "";
+        if (type.includes(PROBLEM_MEDIA_TYPE))
+        {
+            fail((await response.json()) as Problem, element);
+            return;
+        }
+        if (!response.ok)
+        {
+            const body = type.includes("json") ? await response.json().catch(() => undefined) : undefined;
+            fail(isProblem(body) ? body : { status: response.status, title: response.statusText === "" ? `HTTP ${response.status}` : response.statusText }, element);
+            return;
+        }
+        const parsed = response.redirected ? undefined : await parseBody(response);
+        if (current.signal.aborted)
+        {
+            return;
+        }
+        batch(() =>
+        {
+            result.set(parsed);
+            status.set("success");
+        });
+        if (options.reset === true)
+        {
+            element.reset();
+        }
+        options.onSuccess?.({ result: parsed, response, element });
+        if (response.redirected)
+        {
+            (options.navigate ?? ((url) => location.assign(url)))(response.url);
+        }
+    };
+
+    return {
+        status,
+        pending,
+        problem,
+        result,
+        error,
+        field(name: string): Field
+        {
+            let field = fields.get(name);
+            if (field === undefined)
+            {
+                const errors = computed<readonly string[]>(() => problem.get()?.fields?.[name] ?? EMPTY);
+                field = {
+                    errors,
+                    error: computed(() => errors.get()[0]),
+                    invalid: computed(() => errors.get().length > 0)
+                };
+                fields.set(name, field);
+            }
+            return field;
+        },
+        submit(event: SubmitEvent): void
+        {
+            const element = event.currentTarget as HTMLFormElement;
+            const submitter = event.submitter;
+            const method = (submitter?.getAttribute("formmethod") ?? element.getAttribute("method") ?? "get").toLowerCase();
+            if (method === "dialog")
+            {
+                return;
+            }
+            event.preventDefault();
+            const action = new URL(submitter?.hasAttribute("formaction") === true ? (submitter as HTMLButtonElement).formAction : element.action);
+            controller?.abort();
+            const current = new AbortController();
+            controller = current;
+            run(element, submitter, method, action, current).catch((thrown: unknown) =>
+            {
+                if (current.signal.aborted)
+                {
+                    return;
+                }
+                batch(() =>
+                {
+                    error.set(thrown);
+                    status.set("error");
+                });
+                options.onError?.(thrown, element);
+            });
+        },
+        reset(): void
+        {
+            controller?.abort();
+            controller = undefined;
+            batch(() =>
+            {
+                status.set("idle");
+                problem.set(undefined);
+                result.set(undefined);
+                error.set(undefined);
+            });
+        }
+    };
+}

package/src/index.ts

@@ -0,0 +1,11 @@
+/**
+ * @zerolith/forms: native forms, enhanced. The public surface is assembled here.
+ * The `Problem` type, `isProblem`, and `PROBLEM_MEDIA_TYPE` come from `zerolith`.
+ */
+export { problemResponse } from "./problem.js";
+
+export type { FormValues, InferOutput, StandardIssue, StandardPathSegment, StandardResult, StandardSchema, Validation } from "./schema.js";
+export { formValues, problemFromIssues, validateForm } from "./schema.js";
+
+export type { Field, Form, FormOptions, FormStatus, Submission, SubmissionOutcome } from "./form.js";
+export { createForm } from "./form.js";

package/src/problem.ts

@@ -0,0 +1,18 @@
+/**
+ * The server side of the problem document: writing a `Problem` as a
+ * WinterTC `Response` with the problem details media type.
+ */
+import { PROBLEM_MEDIA_TYPE, type Problem } from "zerolith";
+
+/**
+ * Writes a problem as a `Response` with the problem details media type.
+ * The status comes from `init`, or the problem, or defaults to 400.
+ */
+export function problemResponse(problem: Problem, init: ResponseInit = {}): Response
+{
+    const status = init.status ?? problem.status ?? 400;
+    const headers = new Headers(init.headers);
+    headers.set("content-type", `${PROBLEM_MEDIA_TYPE}; charset=utf-8`);
+    const body: Problem = { ...problem, status };
+    return new Response(JSON.stringify(body), { ...init, status, headers });
+}

package/src/schema.ts

@@ -0,0 +1,119 @@
+/**
+ * Validation through Standard Schema, the interface that zod, valibot,
+ * arktype, and others implement, so a schema written once validates a
+ * submission in the browser before it is sent and on the server when it
+ * arrives, producing the same problem document in both places.
+ */
+import type { FieldErrors, Problem } from "zerolith";
+
+/** One segment of an issue path in object form. */
+export interface StandardPathSegment
+{
+    readonly key: PropertyKey;
+}
+
+/** One validation failure. */
+export interface StandardIssue
+{
+    readonly message: string;
+    /** The path to the failing value; absent for an issue about the whole input. */
+    readonly path?: ReadonlyArray<PropertyKey | StandardPathSegment> | undefined;
+}
+
+/** What `validate` resolves to: a value, or issues. */
+export type StandardResult<Output> =
+    | { readonly value: Output; readonly issues?: undefined }
+    | { readonly issues: ReadonlyArray<StandardIssue> };
+
+/** The Standard Schema V1 interface, as published at standardschema.dev. */
+export interface StandardSchema<Input = unknown, Output = Input>
+{
+    readonly "~standard": {
+        readonly version: 1;
+        readonly vendor: string;
+        readonly validate: (value: unknown) => StandardResult<Output> | Promise<StandardResult<Output>>;
+        readonly types?: { readonly input: Input; readonly output: Output } | undefined;
+    };
+}
+
+/** The output type of a schema. */
+export type InferOutput<S extends StandardSchema> = S extends StandardSchema<unknown, infer Output> ? Output : never;
+
+/** A form's values as a plain object: repeated names become arrays. */
+export type FormValues = Record<string, FormDataEntryValue | FormDataEntryValue[]>;
+
+/** What `validateForm` resolves to: the parsed value, or the problem to show. */
+export type Validation<Output> =
+    | { readonly value: Output; readonly problem?: undefined }
+    | { readonly value?: undefined; readonly problem: Problem };
+
+/** Turns `FormData` into a plain object. A name that appears once maps to its value; a name that appears more than once maps to an array of its values, in order. */
+export function formValues(data: FormData): FormValues
+{
+    const values: FormValues = {};
+    for (const [name, value] of data)
+    {
+        const current = values[name];
+        if (current === undefined)
+        {
+            values[name] = value;
+        }
+        else if (Array.isArray(current))
+        {
+            current.push(value);
+        }
+        else
+        {
+            values[name] = [current, value];
+        }
+    }
+    return values;
+}
+
+function fieldName(path: ReadonlyArray<PropertyKey | StandardPathSegment> | undefined): string | undefined
+{
+    if (path === undefined || path.length === 0)
+    {
+        return undefined;
+    }
+    return path.map((segment) => String(typeof segment === "object" ? segment.key : segment)).join(".");
+}
+
+/** Groups issues into a problem: path-bearing issues under `fields`, the rest in `detail`. */
+export function problemFromIssues(issues: ReadonlyArray<StandardIssue>): Problem
+{
+    const fields: Record<string, string[]> = {};
+    const general: string[] = [];
+    for (const issue of issues)
+    {
+        const name = fieldName(issue.path);
+        if (name === undefined)
+        {
+            general.push(issue.message);
+            continue;
+        }
+        (fields[name] ??= []).push(issue.message);
+    }
+    const problem: Problem = { type: "about:blank", title: "The submission has invalid fields", status: 400, fields: fields as FieldErrors };
+    if (general.length > 0)
+    {
+        problem.detail = general.join(" ");
+    }
+    return problem;
+}
+
+/**
+ * Validates a submission with a Standard Schema. `FormData` is converted
+ * with `formValues` first; any other value is validated as it is. Issues
+ * become a problem whose `fields` carry the messages per path.
+ */
+export async function validateForm<S extends StandardSchema>(schema: S, data: FormData | Record<string, unknown>): Promise<Validation<InferOutput<S>>>
+{
+    const input = data instanceof FormData ? formValues(data) : data;
+    const result = await schema["~standard"].validate(input);
+    if (result.issues !== undefined && result.issues.length > 0)
+    {
+        return { problem: problemFromIssues(result.issues) };
+    }
+    return { value: (result as { value: InferOutput<S> }).value };
+}