@nifrajs/schema 3.3.0 → 4.0.0

package/README.md

@@ -29,6 +29,53 @@ const openapi = toOpenAPI(app) // OpenAPI 3.1
   `operationId`s); also works on a live app. Routes using a BYO Standard Schema are
   emitted without a detailed schema (Standard Schema exposes no JSON Schema).
 
+### Forms and files - `@nifrajs/schema/form`
+
+The `t` exported from `@nifrajs/schema/form` is the same builder plus `t.file` and `t.form`. A
+`t.form` is a route `body` that reads `multipart/form-data`: text fields and files validated side by
+side, typed in `c.body`.
+
+```ts
+import { server } from "@nifrajs/core/server"
+import { t } from "@nifrajs/schema/form"
+
+const app = server().post(
+  "/avatars",
+  {
+    body: t.form({
+      avatar: t.file({ maxBytes: 5_000_000, accept: ["image/png", "image/jpeg"] }),
+      photos: t.array(t.file({ accept: ["image/*"] }), { maxItems: 8 }),
+      caption: t.optional(t.string({ maxLength: 200 })),
+    }),
+    bodyLimit: 50_000_000, // the default body cap is 1 MB
+  },
+  (c) => ({ bytes: c.body.avatar.size, photos: c.body.photos.length }),
+)
+```
+
+- **`t.file({ maxBytes, accept })`** - a `File`. The size is checked before a byte is read, and
+  `accept` is matched against the file's leading bytes, never the type the client claimed. With
+  `accept` set, the validated file's `type` is the detected one. A type with no signature to check
+  (`text/csv`, `image/svg+xml`) throws when the schema is built.
+- **`t.form(fields, options?)`** - text fields are coerced from their string form, a repeated field
+  is a list, and an undeclared field fails unless `additionalProperties` is set. `options` also takes
+  the body limits: `maxFields` (100), `maxFiles` (10), `maxFieldBytes` (64 KiB), `maxFileBytes`. A
+  request over one is a `413`.
+- **Composes with the plain `t`** - `t.array(file)` and `t.optional(file)` work from either import. A
+  file anywhere else (`t.object`, `t.union`, `t.record`) throws: a file is not JSON.
+- **`toOpenAPI`** emits a form with a file as `multipart/form-data` with `format: binary` fields.
+- **A form with no required file also accepts JSON and urlencoded bodies**, so one route serves an
+  HTML form and a script.
+
+It is a subpath so that an app with no uploads carries none of it. Validation proves a file's
+signature and nothing more: generate your own storage key rather than using `file.name`, serve
+uploads with `content-disposition: attachment`, and protect cookie-authenticated upload routes with
+`csrf()` - a browser posts a form cross-origin without a preflight. The
+[security guide](https://nifra.dev/docs/security) has the full list.
+
+A hand-rolled Standard Schema can validate a form too: wrap it in `multipartBody(schema, limits?)`
+from `@nifrajs/core/multipart`.
+
 ### `t` vs bring-your-own (bundle size)
 
 `t` is the batteries-included default because a TypeBox schema *is* a JSON Schema: it gives you

package/dist/adapter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"adapter.d.ts","sourceRoot":"","sources":["../src/adapter.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAGV,gBAAgB,EAEjB,MAAM,sBAAsB,CAAA;AAC7B,OAAO,EAAQ,KAAK,MAAM,EAAE,KAAK,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAKnE;;;;;;;GAOG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,OAAO,GAAG,OAAO,IAAI,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG;IAC9F,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAA;CACvB,CAAA;AAoJD;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,wBAAgB,WAAW,CAAC,CAAC,SAAS,OAAO,EAC3C,MAAM,EAAE,CAAC,EACT,OAAO,CAAC,EAAE;IAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAA;CAAE,GACtC,WAAW,CAAC,CAAC,CAAC,CA+ChB"}
+{"version":3,"file":"adapter.d.ts","sourceRoot":"","sources":["../src/adapter.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAGV,gBAAgB,EAEjB,MAAM,sBAAsB,CAAA;AAC7B,OAAO,EAAQ,KAAK,MAAM,EAAE,KAAK,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAKnE;;;;;;;GAOG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,OAAO,GAAG,OAAO,IAAI,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG;IAC9F,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAA;CACvB,CAAA;AAmKD;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,wBAAgB,WAAW,CAAC,CAAC,SAAS,OAAO,EAC3C,MAAM,EAAE,CAAC,EACT,OAAO,CAAC,EAAE;IAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAA;CAAE,GACtC,WAAW,CAAC,CAAC,CAAC,CA+ChB"}

package/dist/adapter.js

@@ -14,6 +14,18 @@ function toIssue(error) {
         path: error.path === "" ? undefined : error.path.slice(1).split("/"),
     };
 }
+// The issues past this are never reported (a 422 lists 100), so walking them is wasted work on a
+// large hostile body.
+const MAX_ISSUES = 100;
+function firstIssues(errors) {
+    const issues = [];
+    for (const error of errors) {
+        issues.push(toIssue(error));
+        if (issues.length === MAX_ISSUES)
+            break;
+    }
+    return issues;
+}
 /** Extract a flat conversion plan, or `null` when this schema needs the full recursive Convert. */
 function flatCoercionPlan(schema) {
     if (schema[Kind] !== "Object")
@@ -187,11 +199,11 @@ export function fromTypeBox(schema, options) {
                 if (compiled !== undefined) {
                     if (compiled.Check(input))
                         return { value: input };
-                    return { issues: [...compiled.Errors(input)].map(toIssue) };
+                    return { issues: firstIssues(compiled.Errors(input)) };
                 }
                 if (Value.Check(schema, input))
                     return { value: input };
-                return { issues: [...Value.Errors(schema, input)].map(toIssue) };
+                return { issues: firstIssues(Value.Errors(schema, input)) };
             },
             // Phantom: `types` carries no runtime value; this cast supplies the
             // compile-time `Static<T>` that nifra's `InferOutput` reads to type `c.body`.

package/dist/adapter.js.map

@@ -1 +1 @@
-{"version":3,"file":"adapter.js","sourceRoot":"","sources":["../src/adapter.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,IAAI,EAA6B,MAAM,mBAAmB,CAAA;AACnE,OAAO,EAAkB,YAAY,EAAE,MAAM,4BAA4B,CAAA;AACzE,OAAO,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAA;AAC/C,OAAO,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAA;AAcnD;;;;;GAKG;AACH,SAAS,OAAO,CAAC,KAA0D;IACzE,OAAO;QACL,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,IAAI,EAAE,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;KACrE,CAAA;AACH,CAAC;AAsBD,mGAAmG;AACnG,SAAS,gBAAgB,CAAC,MAAe;IACvC,IAAK,MAA6C,CAAC,IAAI,CAAC,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAA;IAClF,MAAM,KAAK,GAAI,MAA4C,CAAC,UAAU,CAAA;IACtE,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAA;IAC5D,MAAM,MAAM,GAAG,KAAgC,CAAA;IAC/C,MAAM,IAAI,GAAyC,EAAE,CAAA;IACrD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,GAAI,MAAM,CAAC,GAAG,CAAoD,EAAE,CAAC,IAAI,CAAC,CAAA;QACpF,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvF,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAA;QACxB,CAAC;aAAM,CAAC;YACN,OAAO,IAAI,CAAA;QACb,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,0FAA0F;AAC1F,MAAM,eAAe,GAAG,CAAC,CAAS,EAAW,EAAE;AAC7C,oGAAoG;AACpG,CAAC,KAAK,CAAC,CAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;AAEzD,MAAM,WAAW,GAAG,CAAC,CAAU,EAAW,EAAE,CAC1C,CAAC,KAAK,IAAI;IACV,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,MAAM,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAA;AAEtE,MAAM,YAAY,GAAG,CAAC,CAAU,EAAW,EAAE,CAC3C,CAAC,KAAK,KAAK;IACX,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,OAAO,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,CAAA;AAErF,SAAS,aAAa,CAAC,IAAgB,EAAE,CAAU;IACjD,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,QAAQ;YACX,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,eAAe,CAAC,CAAC,CAAC;gBAChD,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;gBACf,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;oBACd,CAAC,CAAC,CAAC;oBACH,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;wBACf,CAAC,CAAC,CAAC;wBACH,CAAC,CAAC,CAAC,CAAA;QACX,KAAK,SAAS;YACZ,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,eAAe,CAAC,CAAC,CAAC;gBAChD,CAAC,CAAC,oFAAoF;oBACpF,mFAAmF;oBACnF,0FAA0F;oBAC1F,QAAQ,CAAC,CAAC,CAAC;gBACb,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ;oBACrB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;oBACf,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;wBACd,CAAC,CAAC,CAAC;wBACH,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;4BACf,CAAC,CAAC,CAAC;4BACH,CAAC,CAAC,CAAC,CAAA;QACb,KAAK,SAAS;YACZ,OAAO,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;QAC5D,KAAK,QAAQ;YACX,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS;gBACzD,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE;gBAC1B,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,QAAQ;oBACxE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;oBACd,CAAC,CAAC,CAAC,CAAA;IACX,CAAC;AACH,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,gBAAgB,CAAC,IAAa;IACrC,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAA;IAC3D,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAA;IAC3D,MAAM,MAAM,GAAG,IAA+B,CAAA;IAC9C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE,CAAC;QACrD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAA;QACzB,IACE,CAAC,GAAG,KAAK,YAAY,IAAI,GAAG,KAAK,mBAAmB,CAAC;YACrD,KAAK,KAAK,IAAI;YACd,OAAO,KAAK,KAAK,QAAQ;YACzB,MAAM,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EACrE,CAAC;YACD,OAAO,IAAI,CAAA;QACb,CAAC;QACD,IAAI,GAAG,KAAK,OAAO,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAA;QACrF,IAAI,gBAAgB,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAA;IAC1C,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,qGAAqG;AACrG,SAAS,WAAW,CAAC,IAAkB,EAAE,KAAc;IACrD,8FAA8F;IAC9F,0CAA0C;IAC1C,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IACrF,MAAM,MAAM,GAAG,KAAgC,CAAA;IAC/C,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC;QAC/B,IAAI,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC;YAAE,SAAQ,CAAC,iEAAiE;QAChG,MAAM,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;IAChD,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,UAAU,WAAW,CACzB,MAAS,EACT,OAAuC;IAEvC,MAAM,MAAM,GAAG,OAAO,EAAE,MAAM,IAAI,KAAK,CAAA;IACvC,iGAAiG;IACjG,gGAAgG;IAChG,MAAM,YAAY,GAAG,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;IAC7D,IAAI,QAAkC,CAAA;IACtC,yFAAyF;IACzF,kGAAkG;IAClG,IAAI,QAAQ,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAA;IACvC,OAAO;QACL,WAAW,EAAE;YACX,OAAO,EAAE,CAAC;YACV,MAAM,EAAE,OAAO;YACf,QAAQ,EAAE,CAAC,KAAc,EAA6B,EAAE;gBACtD,uFAAuF;gBACvF,mFAAmF;gBACnF,2FAA2F;gBAC3F,oBAAoB,EAAE,CAAA;gBACtB,gGAAgG;gBAChG,kGAAkG;gBAClG,yDAAyD;gBACzD,MAAM,KAAK,GAAG,MAAM;oBAClB,CAAC,CAAC,YAAY,KAAK,IAAI;wBACrB,CAAC,CAAC,WAAW,CAAC,YAAY,EAAE,KAAK,CAAC;wBAClC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC;oBAChC,CAAC,CAAC,KAAK,CAAA;gBACT,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACxC,IAAI,CAAC;wBACH,QAAQ,GAAG,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;oBACzC,CAAC;oBAAC,MAAM,CAAC;wBACP,8EAA8E;wBAC9E,QAAQ,GAAG,IAAI,CAAA;oBACjB,CAAC;gBACH,CAAC;gBACD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC3B,IAAI,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;wBAAE,OAAO,EAAE,KAAK,EAAE,KAAkB,EAAE,CAAA;oBAC/D,OAAO,EAAE,MAAM,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAA;gBAC7D,CAAC;gBACD,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC;oBAAE,OAAO,EAAE,KAAK,EAAE,KAAkB,EAAE,CAAA;gBACpE,OAAO,EAAE,MAAM,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAA;YAClE,CAAC;YACD,oEAAoE;YACpE,8EAA8E;YAC9E,KAAK,EAAE,SAA2D;SACnE;QACD,UAAU,EAAE,MAAM;KACnB,CAAA;AACH,CAAC"}
+{"version":3,"file":"adapter.js","sourceRoot":"","sources":["../src/adapter.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,IAAI,EAA6B,MAAM,mBAAmB,CAAA;AACnE,OAAO,EAAkB,YAAY,EAAE,MAAM,4BAA4B,CAAA;AACzE,OAAO,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAA;AAC/C,OAAO,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAA;AAcnD;;;;;GAKG;AACH,SAAS,OAAO,CAAC,KAA0D;IACzE,OAAO;QACL,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,IAAI,EAAE,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;KACrE,CAAA;AACH,CAAC;AAED,iGAAiG;AACjG,sBAAsB;AACtB,MAAM,UAAU,GAAG,GAAG,CAAA;AAEtB,SAAS,WAAW,CAClB,MAAqE;IAErE,MAAM,MAAM,GAAoB,EAAE,CAAA;IAClC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAA;QAC3B,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU;YAAE,MAAK;IACzC,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAsBD,mGAAmG;AACnG,SAAS,gBAAgB,CAAC,MAAe;IACvC,IAAK,MAA6C,CAAC,IAAI,CAAC,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAA;IAClF,MAAM,KAAK,GAAI,MAA4C,CAAC,UAAU,CAAA;IACtE,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAA;IAC5D,MAAM,MAAM,GAAG,KAAgC,CAAA;IAC/C,MAAM,IAAI,GAAyC,EAAE,CAAA;IACrD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,GAAI,MAAM,CAAC,GAAG,CAAoD,EAAE,CAAC,IAAI,CAAC,CAAA;QACpF,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvF,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAA;QACxB,CAAC;aAAM,CAAC;YACN,OAAO,IAAI,CAAA;QACb,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,0FAA0F;AAC1F,MAAM,eAAe,GAAG,CAAC,CAAS,EAAW,EAAE;AAC7C,oGAAoG;AACpG,CAAC,KAAK,CAAC,CAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;AAEzD,MAAM,WAAW,GAAG,CAAC,CAAU,EAAW,EAAE,CAC1C,CAAC,KAAK,IAAI;IACV,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,CAAC;IAClC,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,MAAM,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAA;AAEtE,MAAM,YAAY,GAAG,CAAC,CAAU,EAAW,EAAE,CAC3C,CAAC,KAAK,KAAK;IACX,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC;IAC1C,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,CAAC,WAAW,EAAE,KAAK,OAAO,IAAI,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,CAAA;AAErF,SAAS,aAAa,CAAC,IAAgB,EAAE,CAAU;IACjD,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,QAAQ;YACX,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,eAAe,CAAC,CAAC,CAAC;gBAChD,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;gBACf,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;oBACd,CAAC,CAAC,CAAC;oBACH,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;wBACf,CAAC,CAAC,CAAC;wBACH,CAAC,CAAC,CAAC,CAAA;QACX,KAAK,SAAS;YACZ,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,eAAe,CAAC,CAAC,CAAC;gBAChD,CAAC,CAAC,oFAAoF;oBACpF,mFAAmF;oBACnF,0FAA0F;oBAC1F,QAAQ,CAAC,CAAC,CAAC;gBACb,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ;oBACrB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;oBACf,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;wBACd,CAAC,CAAC,CAAC;wBACH,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC;4BACf,CAAC,CAAC,CAAC;4BACH,CAAC,CAAC,CAAC,CAAA;QACb,KAAK,SAAS;YACZ,OAAO,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;QAC5D,KAAK,QAAQ;YACX,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS;gBACzD,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,QAAQ,EAAE;gBAC1B,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,SAAS,IAAI,OAAO,CAAC,KAAK,QAAQ;oBACxE,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;oBACd,CAAC,CAAC,CAAC,CAAA;IACX,CAAC;AACH,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,gBAAgB,CAAC,IAAa;IACrC,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAA;IAC3D,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAA;IAC3D,MAAM,MAAM,GAAG,IAA+B,CAAA;IAC9C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,EAAE,CAAC;QACrD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAA;QACzB,IACE,CAAC,GAAG,KAAK,YAAY,IAAI,GAAG,KAAK,mBAAmB,CAAC;YACrD,KAAK,KAAK,IAAI;YACd,OAAO,KAAK,KAAK,QAAQ;YACzB,MAAM,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EACrE,CAAC;YACD,OAAO,IAAI,CAAA;QACb,CAAC;QACD,IAAI,GAAG,KAAK,OAAO,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAA;QACrF,IAAI,gBAAgB,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAA;IAC1C,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED,qGAAqG;AACrG,SAAS,WAAW,CAAC,IAAkB,EAAE,KAAc;IACrD,8FAA8F;IAC9F,0CAA0C;IAC1C,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IACrF,MAAM,MAAM,GAAG,KAAgC,CAAA;IAC/C,KAAK,MAAM,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC;QAC/B,IAAI,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC;YAAE,SAAQ,CAAC,iEAAiE;QAChG,MAAM,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;IAChD,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,UAAU,WAAW,CACzB,MAAS,EACT,OAAuC;IAEvC,MAAM,MAAM,GAAG,OAAO,EAAE,MAAM,IAAI,KAAK,CAAA;IACvC,iGAAiG;IACjG,gGAAgG;IAChG,MAAM,YAAY,GAAG,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;IAC7D,IAAI,QAAkC,CAAA;IACtC,yFAAyF;IACzF,kGAAkG;IAClG,IAAI,QAAQ,GAAG,gBAAgB,CAAC,MAAM,CAAC,CAAA;IACvC,OAAO;QACL,WAAW,EAAE;YACX,OAAO,EAAE,CAAC;YACV,MAAM,EAAE,OAAO;YACf,QAAQ,EAAE,CAAC,KAAc,EAA6B,EAAE;gBACtD,uFAAuF;gBACvF,mFAAmF;gBACnF,2FAA2F;gBAC3F,oBAAoB,EAAE,CAAA;gBACtB,gGAAgG;gBAChG,kGAAkG;gBAClG,yDAAyD;gBACzD,MAAM,KAAK,GAAG,MAAM;oBAClB,CAAC,CAAC,YAAY,KAAK,IAAI;wBACrB,CAAC,CAAC,WAAW,CAAC,YAAY,EAAE,KAAK,CAAC;wBAClC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC;oBAChC,CAAC,CAAC,KAAK,CAAA;gBACT,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACxC,IAAI,CAAC;wBACH,QAAQ,GAAG,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;oBACzC,CAAC;oBAAC,MAAM,CAAC;wBACP,8EAA8E;wBAC9E,QAAQ,GAAG,IAAI,CAAA;oBACjB,CAAC;gBACH,CAAC;gBACD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;oBAC3B,IAAI,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;wBAAE,OAAO,EAAE,KAAK,EAAE,KAAkB,EAAE,CAAA;oBAC/D,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAA;gBACxD,CAAC;gBACD,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC;oBAAE,OAAO,EAAE,KAAK,EAAE,KAAkB,EAAE,CAAA;gBACpE,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,EAAE,CAAA;YAC7D,CAAC;YACD,oEAAoE;YACpE,8EAA8E;YAC9E,KAAK,EAAE,SAA2D;SACnE;QACD,UAAU,EAAE,MAAM;KACnB,CAAA;AACH,CAAC"}

package/dist/file-kind.d.ts

@@ -0,0 +1,27 @@
+/**
+ * How `t` tells a file field apart without carrying the code that validates one.
+ *
+ * File fields come from `@nifrajs/schema/form`. They mark their JSON Schema, and the schema object
+ * brings its own list and optional constructors along, so `t.array` and `t.optional` handle a file
+ * while an app that never takes an upload ships none of that code.
+ */
+import { type ArrayOptions, type TSchema } from "@sinclair/typebox";
+import type { NifraSchema } from "./adapter.js";
+/** Marks the JSON Schema of a file field. Registered, so two copies of this package agree on it. */
+export declare const FILE: unique symbol;
+/** Carries the file-aware constructors on a file schema. Registered for the same reason. */
+export declare const FILE_OPS: unique symbol;
+export interface FileOps {
+    optional(schema: NifraSchema): NifraSchema;
+    array(item: NifraSchema, options?: ArrayOptions): NifraSchema;
+}
+/** Whether a JSON Schema is a file field, or a list of them. */
+export declare function isFileSchema(schema: TSchema): boolean;
+/** Throw when a constructor that validates JSON is handed a file field. */
+export declare function refuseFile(where: string, schema: TSchema): void;
+/**
+ * The file-aware constructors of a file schema, or `undefined` for any other schema. A schema whose
+ * JSON Schema says "file" but which lost its validator is refused: TypeBox cannot check a file.
+ */
+export declare function fileOps(where: string, schema: NifraSchema): FileOps | undefined;
+//# sourceMappingURL=file-kind.d.ts.map

package/dist/file-kind.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"file-kind.d.ts","sourceRoot":"","sources":["../src/file-kind.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,KAAK,YAAY,EAAQ,KAAK,OAAO,EAAE,MAAM,mBAAmB,CAAA;AACzE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAE/C,oGAAoG;AACpG,eAAO,MAAM,IAAI,EAAE,OAAO,MAAwC,CAAA;AAElE,4FAA4F;AAC5F,eAAO,MAAM,QAAQ,EAAE,OAAO,MAA2C,CAAA;AAEzE,MAAM,WAAW,OAAO;IACtB,QAAQ,CAAC,MAAM,EAAE,WAAW,GAAG,WAAW,CAAA;IAC1C,KAAK,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,CAAC,EAAE,YAAY,GAAG,WAAW,CAAA;CAC9D;AAID,gEAAgE;AAChE,wBAAgB,YAAY,CAAC,MAAM,EAAE,OAAO,GAAG,OAAO,CAMrD;AAED,2EAA2E;AAC3E,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,GAAG,IAAI,CAI/D;AAED;;;GAGG;AACH,wBAAgB,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,WAAW,GAAG,OAAO,GAAG,SAAS,CAI/E"}

package/dist/file-kind.js

@@ -0,0 +1,35 @@
+/**
+ * How `t` tells a file field apart without carrying the code that validates one.
+ *
+ * File fields come from `@nifrajs/schema/form`. They mark their JSON Schema, and the schema object
+ * brings its own list and optional constructors along, so `t.array` and `t.optional` handle a file
+ * while an app that never takes an upload ships none of that code.
+ */
+import { Kind } from "@sinclair/typebox";
+/** Marks the JSON Schema of a file field. Registered, so two copies of this package agree on it. */
+export const FILE = Symbol.for("nifra.schema.file");
+/** Carries the file-aware constructors on a file schema. Registered for the same reason. */
+export const FILE_OPS = Symbol.for("nifra.schema.fileOps");
+/** Whether a JSON Schema is a file field, or a list of them. */
+export function isFileSchema(schema) {
+    const node = schema;
+    return (node[FILE] === true ||
+        (node[Kind] === "Array" && node.items !== undefined && isFileSchema(node.items)));
+}
+/** Throw when a constructor that validates JSON is handed a file field. */
+export function refuseFile(where, schema) {
+    if (isFileSchema(schema)) {
+        throw new TypeError(`${where}: a file field belongs in t.form() from "@nifrajs/schema/form"`);
+    }
+}
+/**
+ * The file-aware constructors of a file schema, or `undefined` for any other schema. A schema whose
+ * JSON Schema says "file" but which lost its validator is refused: TypeBox cannot check a file.
+ */
+export function fileOps(where, schema) {
+    const ops = schema[FILE_OPS];
+    if (ops === undefined)
+        refuseFile(where, schema.jsonSchema);
+    return ops;
+}
+//# sourceMappingURL=file-kind.js.map

package/dist/file-kind.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"file-kind.js","sourceRoot":"","sources":["../src/file-kind.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAqB,IAAI,EAAgB,MAAM,mBAAmB,CAAA;AAGzE,oGAAoG;AACpG,MAAM,CAAC,MAAM,IAAI,GAAkB,MAAM,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAA;AAElE,4FAA4F;AAC5F,MAAM,CAAC,MAAM,QAAQ,GAAkB,MAAM,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAA;AASzE,gEAAgE;AAChE,MAAM,UAAU,YAAY,CAAC,MAAe;IAC1C,MAAM,IAAI,GAAG,MAA2B,CAAA;IACxC,OAAO,CACL,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI;QACnB,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,OAAO,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CACjF,CAAA;AACH,CAAC;AAED,2EAA2E;AAC3E,MAAM,UAAU,UAAU,CAAC,KAAa,EAAE,MAAe;IACvD,IAAI,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,gEAAgE,CAAC,CAAA;IAC/F,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,OAAO,CAAC,KAAa,EAAE,MAAmB;IACxD,MAAM,GAAG,GAAI,MAA4C,CAAC,QAAQ,CAAC,CAAA;IACnE,IAAI,GAAG,KAAK,SAAS;QAAE,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC,CAAA;IAC3D,OAAO,GAAG,CAAA;AACZ,CAAC"}

package/dist/form.d.ts

@@ -0,0 +1,119 @@
+/**
+ * `@nifrajs/schema/form` - `t` with file fields and `multipart/form-data` bodies.
+ *
+ * The `t` exported here is the builder from `@nifrajs/schema` plus `t.file` and `t.form`. A file is
+ * not JSON, so TypeBox cannot check one: `t.file` carries its own validator and marks its JSON
+ * Schema (`{ type: "string", format: "binary" }`) so the other constructors can tell a file field
+ * apart. `t.form` is the object constructor that understands those fields - it validates the text
+ * fields through TypeBox (with coercion, since every form value arrives as a string) and each file
+ * field through its own validator - and it reads the multipart body itself, so it is a route's
+ * `body` as is:
+ *
+ * ```ts
+ * import { t } from "@nifrajs/schema/form"
+ *
+ * app.post(
+ *   "/avatars",
+ *   {
+ *     body: t.form({
+ *       avatar: t.file({ maxBytes: 5_000_000, accept: ["image/png", "image/jpeg"] }),
+ *       caption: t.optional(t.string({ maxLength: 200 })),
+ *     }),
+ *     bodyLimit: 6_000_000,
+ *   },
+ *   (c) => ({ name: c.body.avatar.name, type: c.body.avatar.type }),
+ * )
+ * ```
+ *
+ * A subpath on purpose: an app that takes no uploads carries none of this.
+ */
+import { type MultipartLimits } from "@nifrajs/core/multipart";
+import { type ArrayOptions, type Static, type TObject, type TSchema, type TUnsafe } from "@sinclair/typebox";
+import { type NifraSchema } from "./adapter.js";
+export interface FileOptions {
+    /** Largest accepted size in bytes. Omit for no bound beyond the route's `bodyLimit`. */
+    readonly maxBytes?: number;
+    /**
+     * Accepted types, matched against the file's leading bytes - never against the type the client
+     * claimed. Each entry is an exact type (`"image/png"`) or a subtype wildcard (`"image/*"`), and has
+     * to be one the bytes can prove: a type with no signature (`text/csv`, `image/svg+xml`) or a
+     * catch-all wildcard throws here rather than rejecting every upload later. With `accept` set, the
+     * validated file's `type` is the detected one.
+     */
+    readonly accept?: readonly string[];
+}
+/**
+ * The multipart limits (`maxFields`, `maxFiles`, `maxFieldBytes`, `maxFileBytes`) bound what the body
+ * may carry before any of it is validated; a request over one is answered `413`.
+ */
+export interface FormOptions extends MultipartLimits {
+    /** Accept fields the form does not declare. Defaults to `false`: an undeclared field fails validation. */
+    readonly additionalProperties?: boolean;
+    readonly title?: string;
+    readonly description?: string;
+}
+declare function file(options?: FileOptions): NifraSchema<TUnsafe<File>>;
+type Props = Record<string, NifraSchema>;
+type FormShape<P extends Props> = TObject<{
+    [K in keyof P]: P[K]["jsonSchema"];
+}>;
+declare function form<P extends Props>(props: P, options?: FormOptions): NifraSchema<FormShape<P>>;
+/** `t` from `@nifrajs/schema`, plus the two constructors a `multipart/form-data` body needs. */
+export declare const t: {
+    /**
+     * An uploaded file, for a field of `t.form`. `maxBytes` bounds its size; `accept` allow-lists its
+     * type by the file's leading bytes (not the type the client claimed) and makes the validated
+     * file's `type` the detected one. Without `accept`, `file.type` is whatever the client sent.
+     * `file.name` is client-chosen either way - store under a key you generate.
+     *
+     * Wrap it in `t.optional()` for a file that may be absent, or `t.array()` for several under one
+     * name.
+     */
+    file: typeof file;
+    /**
+     * A `multipart/form-data` body: text fields and `t.file()` fields side by side. Text values are
+     * coerced (`"20"` -> `20`) because a form sends only strings, a name sent once satisfies a list
+     * field, and a required list nobody filled in is empty rather than missing. Undeclared fields are
+     * rejected unless `additionalProperties: true`.
+     *
+     * The result reads the multipart body itself - pass it as a route's `body`. JSON and urlencoded
+     * bodies still reach it, so a form with no required file accepts those too.
+     */
+    form: typeof form;
+    string: (options?: import("@sinclair/typebox").StringOptions) => NifraSchema<import("@sinclair/typebox").TString>;
+    number: (options?: import("@sinclair/typebox").NumberOptions) => NifraSchema<import("@sinclair/typebox").TNumber>;
+    integer: (options?: import("@sinclair/typebox").IntegerOptions) => NifraSchema<import("@sinclair/typebox").TInteger>;
+    boolean: () => NifraSchema<import("@sinclair/typebox").TBoolean>;
+    null: () => NifraSchema<import("@sinclair/typebox").TNull>;
+    literal: <const L extends import("@sinclair/typebox").TLiteralValue>(value: L) => NifraSchema<import("@sinclair/typebox").TLiteral<L>>;
+    object: <P extends {
+        [x: string]: NifraSchema;
+    }>(props: P, options?: import("@sinclair/typebox").ObjectOptions) => NifraSchema<TObject<{ [K in keyof P]: P[K]["jsonSchema"]; }>>;
+    looseObject: <P extends {
+        [x: string]: NifraSchema;
+    }>(props: P, options?: import("@sinclair/typebox").ObjectOptions) => NifraSchema<TObject<{ [K in keyof P]: P[K]["jsonSchema"]; }>>;
+    array: <T extends TSchema>(item: NifraSchema<T>, options?: ArrayOptions) => NifraSchema<import("@sinclair/typebox").TArray<T>>;
+    optional: <T extends TSchema>(schema: NifraSchema<T>) => NifraSchema<T extends import("@sinclair/typebox").TOptional<infer S extends TSchema> ? import("@sinclair/typebox").TOptional<S> : import("@sinclair/typebox").Ensure<import("@sinclair/typebox").TOptional<T>>>;
+    union: <const S extends readonly NifraSchema[]>(schemas: S) => NifraSchema<import("@sinclair/typebox").TUnion<{ -readonly [K in keyof S]: S[K]["jsonSchema"]; }>>;
+    record: <T extends TSchema>(value: NifraSchema<T>, options?: import("@sinclair/typebox").ObjectOptions) => NifraSchema<import("@sinclair/typebox").TRecord<import("@sinclair/typebox").TString, T>>;
+    paginated: <T extends TSchema>(item: NifraSchema<T>, options?: import("@sinclair/typebox").ObjectOptions) => NifraSchema<TObject<{
+        items: import("@sinclair/typebox").TArray<T>;
+        nextCursor: import("@sinclair/typebox").TUnion<[import("@sinclair/typebox").TString, import("@sinclair/typebox").TNull]>;
+    }>>;
+    pageQuery: (options?: {
+        maxLimit?: number;
+    }) => NifraSchema<TObject<{
+        cursor: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+        limit: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TInteger>;
+    }>>;
+    query: <P extends {
+        [x: string]: NifraSchema;
+    }>(props: P, options?: import("@sinclair/typebox").ObjectOptions) => NifraSchema<TObject<{ [K in keyof P]: P[K]["jsonSchema"]; }>>;
+    cookies: <P extends {
+        [x: string]: NifraSchema;
+    }>(props: P, options?: import("@sinclair/typebox").ObjectOptions) => NifraSchema<TObject<{ [K in keyof P]: P[K]["jsonSchema"]; }>>;
+    deferred: <T extends TSchema>(inner: NifraSchema<T>) => NifraSchema<TUnsafe<import("./t.js").DeferredValue<Static<T>>>>;
+    declassified: <T extends TSchema>(reason: string, schema: NifraSchema<T>) => NifraSchema<T>;
+};
+export {};
+//# 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;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,OAAO,EAAE,KAAK,eAAe,EAAiB,MAAM,yBAAyB,CAAA;AAO7E,OAAO,EACL,KAAK,YAAY,EAGjB,KAAK,MAAM,EACX,KAAK,OAAO,EACZ,KAAK,OAAO,EACZ,KAAK,OAAO,EAEb,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EAAe,KAAK,WAAW,EAAE,MAAM,cAAc,CAAA;AAM5D,MAAM,WAAW,WAAW;IAC1B,wFAAwF;IACxF,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;IAC1B;;;;;;OAMG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CACpC;AAED;;;GAGG;AACH,MAAM,WAAW,WAAY,SAAQ,eAAe;IAClD,0GAA0G;IAC1G,QAAQ,CAAC,oBAAoB,CAAC,EAAE,OAAO,CAAA;IACvC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAC9B;AAmFD,iBAAS,IAAI,CAAC,OAAO,GAAE,WAAgB,GAAG,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAenE;AAgGD,KAAK,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAA;AACxC,KAAK,SAAS,CAAC,CAAC,SAAS,KAAK,IAAI,OAAO,CAAC;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC;CAAE,CAAC,CAAA;AAqBjF,iBAAS,IAAI,CAAC,CAAC,SAAS,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,OAAO,CAAC,EAAE,WAAW,GAAG,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CA8EzF;AAED,gGAAgG;AAChG,eAAO,MAAM,CAAC;IAEZ;;;;;;;;OAQG;;IAEH;;;;;;;;OAQG;;;;;;;;;;;;;;;;oHArP2B,CAAC,yBAAyB,IAAI;;;;;;;gBAmC7C,CAAC;;;;;;;;;;;;;CAoNjB,CAAA"}

package/dist/form.js

@@ -0,0 +1,301 @@
+/**
+ * `@nifrajs/schema/form` - `t` with file fields and `multipart/form-data` bodies.
+ *
+ * The `t` exported here is the builder from `@nifrajs/schema` plus `t.file` and `t.form`. A file is
+ * not JSON, so TypeBox cannot check one: `t.file` carries its own validator and marks its JSON
+ * Schema (`{ type: "string", format: "binary" }`) so the other constructors can tell a file field
+ * apart. `t.form` is the object constructor that understands those fields - it validates the text
+ * fields through TypeBox (with coercion, since every form value arrives as a string) and each file
+ * field through its own validator - and it reads the multipart body itself, so it is a route's
+ * `body` as is:
+ *
+ * ```ts
+ * import { t } from "@nifrajs/schema/form"
+ *
+ * app.post(
+ *   "/avatars",
+ *   {
+ *     body: t.form({
+ *       avatar: t.file({ maxBytes: 5_000_000, accept: ["image/png", "image/jpeg"] }),
+ *       caption: t.optional(t.string({ maxLength: 200 })),
+ *     }),
+ *     bodyLimit: 6_000_000,
+ *   },
+ *   (c) => ({ name: c.body.avatar.name, type: c.body.avatar.type }),
+ * )
+ * ```
+ *
+ * A subpath on purpose: an app that takes no uploads carries none of this.
+ */
+import { multipartBody } from "@nifrajs/core/multipart";
+import { DETECTABLE_MIME_TYPES, detectFileType, FILE_TYPE_PREFIX_BYTES, } from "@nifrajs/uploads/detect";
+import { Kind, OptionalKind, Type, } from "@sinclair/typebox";
+import { fromTypeBox } from "./adapter.js";
+import { FILE, FILE_OPS, isFileSchema } from "./file-kind.js";
+import { t as base } from "./t.js";
+const fail = (message) => ({ issues: [{ message }] });
+const matches = (mime, pattern) => pattern === mime || (pattern.endsWith("/*") && mime.startsWith(pattern.slice(0, -1)));
+function custom(jsonSchema, validate) {
+    return {
+        "~standard": {
+            version: 1,
+            vendor: "nifra",
+            validate: validate,
+            // Phantom, as in `fromTypeBox`: read by `InferOutput` at compile time only.
+            types: undefined,
+        },
+        jsonSchema,
+    };
+}
+/** A file schema: `t.array` and `t.optional` find their file-aware versions on it. */
+function fileKind(jsonSchema, validate) {
+    return Object.defineProperty(custom(jsonSchema, validate), FILE_OPS, { value: OPS });
+}
+function assertCount(value, name) {
+    if (value !== undefined && (!Number.isSafeInteger(value) || value < 0)) {
+        throw new RangeError(`${name} must be a non-negative safe integer`);
+    }
+}
+function acceptList(accept) {
+    if (!Array.isArray(accept) || accept.length === 0) {
+        throw new TypeError("t.file: accept must list at least one type");
+    }
+    for (const pattern of accept) {
+        if (typeof pattern !== "string" ||
+            !DETECTABLE_MIME_TYPES.some((mime) => matches(mime, pattern))) {
+            throw new TypeError(`t.file: accept ${JSON.stringify(pattern)} cannot be checked against a file's bytes. ` +
+                `Use one of ${DETECTABLE_MIME_TYPES.join(", ")}, or a wildcard over them such as "image/*"`);
+        }
+    }
+    return [...accept];
+}
+/**
+ * The same file under a different `type`. The result is verified rather than trusted: a runtime
+ * that ignores the requested type must not hand the handler a file still labelled by the client.
+ */
+function typedFile(file, type) {
+    const options = { type, lastModified: file.lastModified };
+    let typed = new File([file], file.name, options);
+    if (typed.name !== file.name || typed.type !== type) {
+        typed = new File([file, ""], file.name, options);
+    }
+    if (typed.name !== file.name || typed.type !== type || typed.size !== file.size) {
+        throw new Error("t.file: this runtime did not apply a file type");
+    }
+    return typed;
+}
+async function sniff(file, accept) {
+    // Only the leading bytes are read, whatever the file's size.
+    const source = file;
+    const head = new Uint8Array(await source.slice(0, FILE_TYPE_PREFIX_BYTES).arrayBuffer());
+    const detected = detectFileType(head);
+    if (detected === null)
+        return fail("File type could not be recognized");
+    if (!accept.some((pattern) => matches(detected.mime, pattern))) {
+        return fail(`File type ${detected.mime} is not accepted`);
+    }
+    return { value: file.type === detected.mime ? file : typedFile(file, detected.mime) };
+}
+function file(options = {}) {
+    const { maxBytes } = options;
+    assertCount(maxBytes, "t.file: maxBytes");
+    const accept = options.accept === undefined ? undefined : acceptList(options.accept);
+    return fileKind(Type.Unsafe({ type: "string", format: "binary", [FILE]: true }), (value) => {
+        if (!(value instanceof File))
+            return fail("Expected a file");
+        if (maxBytes !== undefined && value.size > maxBytes) {
+            return fail(`File is larger than ${maxBytes} bytes`);
+        }
+        // Reading bytes is the only asynchronous step, so a file with no `accept` validates in place.
+        return accept === undefined ? { value } : sniff(value, accept);
+    });
+}
+function optionalFile(schema) {
+    const inner = schema["~standard"].validate;
+    return fileKind(Type.Optional(schema.jsonSchema), (value) => value === undefined ? { value } : inner(value));
+}
+/** Run one validator per entry; synchronous unless an entry has bytes to read. */
+function validateEach(count, run, path, issues, keep) {
+    // Results are gathered by position and reported in order, so the issue list does not depend on
+    // which read finished first.
+    const results = new Array(count);
+    const pending = [];
+    for (let index = 0; index < count; index++) {
+        const result = run(index);
+        if (result instanceof Promise) {
+            pending.push(result.then((settled) => {
+                results[index] = settled;
+            }));
+        }
+        else {
+            results[index] = result;
+        }
+    }
+    const report = () => {
+        for (let index = 0; index < count; index++) {
+            const result = results[index];
+            if (result.issues === undefined) {
+                keep(index, result.value);
+                continue;
+            }
+            for (const issue of result.issues) {
+                issues.push({ message: issue.message, path: [path(index), ...(issue.path ?? [])] });
+            }
+        }
+    };
+    if (pending.length === 0) {
+        report();
+        return undefined;
+    }
+    return Promise.all(pending).then(report);
+}
+const UNSUPPORTED_ARRAY_OPTIONS = ["uniqueItems", "contains", "minContains", "maxContains"];
+function fileArray(item, options) {
+    if (item.jsonSchema[FILE] !== true) {
+        throw new TypeError("t.array: a list of files cannot be nested inside another list");
+    }
+    for (const name of UNSUPPORTED_ARRAY_OPTIONS) {
+        if (options?.[name] !== undefined) {
+            throw new TypeError(`t.array: ${name} is not supported for a list of files`);
+        }
+    }
+    const minItems = options?.minItems;
+    const maxItems = options?.maxItems;
+    assertCount(minItems, "t.array: minItems");
+    assertCount(maxItems, "t.array: maxItems");
+    const inner = item["~standard"].validate;
+    return fileKind(Type.Array(item.jsonSchema, options), (value) => {
+        if (!Array.isArray(value))
+            return fail("Expected a list of files");
+        if (minItems !== undefined && value.length < minItems) {
+            return fail(`Expected at least ${minItems} file(s)`);
+        }
+        if (maxItems !== undefined && value.length > maxItems) {
+            return fail(`Expected at most ${maxItems} file(s)`);
+        }
+        const issues = [];
+        const output = new Array(value.length);
+        const finish = () => issues.length > 0 ? { issues } : { value: output };
+        const pending = validateEach(value.length, (index) => inner(value[index]), (index) => index, issues, (index, entry) => {
+            output[index] = entry;
+        });
+        return pending === undefined ? finish() : pending.then(finish);
+    });
+}
+// Function declarations, so the table can sit above the constructors that hand it out.
+const OPS = { optional: optionalFile, array: fileArray };
+/**
+ * What a file field was sent, with the inputs nobody filled in taken out. A browser submits such an
+ * input as an empty file, which never reaches a schema; some clients send an empty text part in its
+ * place, and that names no file either.
+ */
+function given(entry) {
+    if (entry === "")
+        return undefined;
+    if (!Array.isArray(entry) || !entry.includes(""))
+        return entry;
+    const filled = entry.filter((value) => value !== "");
+    return filled.length === 0 ? undefined : filled;
+}
+function form(props, options) {
+    const files = [];
+    const fileKeys = new Set();
+    /** Required text lists: a list nobody filled in is sent as no field at all, which means empty. */
+    const lists = [];
+    const text = {};
+    const all = {};
+    for (const [key, schema] of Object.entries(props)) {
+        // Assigning this key to an ordinary object would replace its prototype instead of adding a field.
+        if (key === "__proto__")
+            throw new TypeError('t.form: "__proto__" cannot be a field name');
+        const node = schema.jsonSchema;
+        const marks = node;
+        const list = marks[Kind] === "Array";
+        const required = marks[OptionalKind] !== "Optional";
+        all[key] = node;
+        if (isFileSchema(node)) {
+            files.push({ key, validate: schema["~standard"].validate, list, required });
+            fileKeys.add(key);
+        }
+        else {
+            text[key] = node;
+            if (list && required)
+                lists.push(key);
+        }
+    }
+    const objectOptions = {
+        ...(options?.title === undefined ? {} : { title: options.title }),
+        ...(options?.description === undefined ? {} : { description: options.description }),
+        additionalProperties: options?.additionalProperties === true,
+    };
+    // `fromTypeBox` validates synchronously; only a file with bytes to read makes a form asynchronous.
+    const validateText = fromTypeBox(Type.Object(text, objectOptions), { coerce: true })["~standard"]
+        .validate;
+    const validate = (value) => {
+        if (value === null || typeof value !== "object" || Array.isArray(value)) {
+            return fail("Expected form fields");
+        }
+        const input = value;
+        // Validated on a copy with no prototype: coercion writes into the object it is given, and a
+        // field named like an `Object.prototype` member has to be an ordinary field here.
+        const fields = Object.create(null);
+        for (const key of Object.keys(input)) {
+            if (!fileKeys.has(key))
+                fields[key] = input[key];
+        }
+        for (const key of lists) {
+            if (!(key in fields))
+                fields[key] = [];
+        }
+        const checked = validateText(fields);
+        const issues = checked.issues === undefined ? [] : [...checked.issues];
+        const output = Object.create(null);
+        if (checked.issues === undefined) {
+            for (const key of Object.keys(checked.value))
+                output[key] = checked.value[key];
+        }
+        const finish = () => issues.length > 0 ? { issues } : { value: output };
+        const pending = validateEach(files.length, (index) => {
+            const field = files[index];
+            const entry = Object.hasOwn(input, field.key) ? given(input[field.key]) : undefined;
+            if (!field.list)
+                return field.validate(entry);
+            // One file under a repeatable name is a list of one; none at all is an empty list.
+            if (entry === undefined)
+                return field.validate(field.required ? [] : undefined);
+            return field.validate(Array.isArray(entry) ? entry : [entry]);
+        }, (index) => files[index].key, issues, (index, entry) => {
+            if (entry !== undefined)
+                output[files[index].key] = entry;
+        });
+        return pending === undefined ? finish() : pending.then(finish);
+    };
+    // Branded here, so the schema is a route's `body` as is: a form that did not read multipart
+    // bodies would refuse every request it exists to accept.
+    return multipartBody(custom(Type.Object(all, objectOptions), validate), options);
+}
+/** `t` from `@nifrajs/schema`, plus the two constructors a `multipart/form-data` body needs. */
+export const t = {
+    ...base,
+    /**
+     * An uploaded file, for a field of `t.form`. `maxBytes` bounds its size; `accept` allow-lists its
+     * type by the file's leading bytes (not the type the client claimed) and makes the validated
+     * file's `type` the detected one. Without `accept`, `file.type` is whatever the client sent.
+     * `file.name` is client-chosen either way - store under a key you generate.
+     *
+     * Wrap it in `t.optional()` for a file that may be absent, or `t.array()` for several under one
+     * name.
+     */
+    file,
+    /**
+     * A `multipart/form-data` body: text fields and `t.file()` fields side by side. Text values are
+     * coerced (`"20"` -> `20`) because a form sends only strings, a name sent once satisfies a list
+     * field, and a required list nobody filled in is empty rather than missing. Undeclared fields are
+     * rejected unless `additionalProperties: true`.
+     *
+     * The result reads the multipart body itself - pass it as a route's `body`. JSON and urlencoded
+     * bodies still reach it, so a form with no required file accepts those too.
+     */
+    form,
+};
+//# 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;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,OAAO,EAAwB,aAAa,EAAE,MAAM,yBAAyB,CAAA;AAE7E,OAAO,EACL,qBAAqB,EACrB,cAAc,EACd,sBAAsB,GACvB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EAEL,IAAI,EACJ,YAAY,EAKZ,IAAI,GACL,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EAAE,WAAW,EAAoB,MAAM,cAAc,CAAA;AAC5D,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAgB,YAAY,EAAE,MAAM,gBAAgB,CAAA;AAC3E,OAAO,EAAE,CAAC,IAAI,IAAI,EAAE,MAAM,QAAQ,CAAA;AA4BlC,MAAM,IAAI,GAAG,CAAC,OAAe,EAAyB,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAA;AAEpF,MAAM,OAAO,GAAG,CAAC,IAAY,EAAE,OAAe,EAAW,EAAE,CACzD,OAAO,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAEvF,SAAS,MAAM,CAAoB,UAAa,EAAE,QAAkB;IAClE,OAAO;QACL,WAAW,EAAE;YACX,OAAO,EAAE,CAAC;YACV,MAAM,EAAE,OAAO;YACf,QAAQ,EAAE,QAAmD;YAC7D,4EAA4E;YAC5E,KAAK,EAAE,SAA2D;SACnE;QACD,UAAU;KACX,CAAA;AACH,CAAC;AAED,sFAAsF;AACtF,SAAS,QAAQ,CAAoB,UAAa,EAAE,QAAkB;IACpE,OAAO,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,UAAU,EAAE,QAAQ,CAAC,EAAE,QAAQ,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAA;AACtF,CAAC;AAED,SAAS,WAAW,CAAC,KAAyB,EAAE,IAAY;IAC1D,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC;QACvE,MAAM,IAAI,UAAU,CAAC,GAAG,IAAI,sCAAsC,CAAC,CAAA;IACrE,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,MAAyB;IAC3C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,SAAS,CAAC,4CAA4C,CAAC,CAAA;IACnE,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,MAAM,EAAE,CAAC;QAC7B,IACE,OAAO,OAAO,KAAK,QAAQ;YAC3B,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,EAC7D,CAAC;YACD,MAAM,IAAI,SAAS,CACjB,kBAAkB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,6CAA6C;gBACpF,cAAc,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,6CAA6C,CAC9F,CAAA;QACH,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,CAAA;AACpB,CAAC;AAED;;;GAGG;AACH,SAAS,SAAS,CAAC,IAAU,EAAE,IAAY;IACzC,MAAM,OAAO,GAAoB,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,CAAC,YAAY,EAAE,CAAA;IAC1E,IAAI,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;IAChD,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACpD,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;IAClD,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,EAAE,CAAC;QAChF,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAA;IACnE,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAQD,KAAK,UAAU,KAAK,CAAC,IAAU,EAAE,MAAyB;IACxD,6DAA6D;IAC7D,MAAM,MAAM,GAAG,IAA4B,CAAA;IAC3C,MAAM,IAAI,GAAG,IAAI,UAAU,CAAC,MAAM,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,sBAAsB,CAAC,CAAC,WAAW,EAAE,CAAC,CAAA;IACxF,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC,CAAA;IACrC,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC,mCAAmC,CAAC,CAAA;IACvE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;QAC/D,OAAO,IAAI,CAAC,aAAa,QAAQ,CAAC,IAAI,kBAAkB,CAAC,CAAA;IAC3D,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAA;AACvF,CAAC;AAED,SAAS,IAAI,CAAC,UAAuB,EAAE;IACrC,MAAM,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAA;IAC5B,WAAW,CAAC,QAAQ,EAAE,kBAAkB,CAAC,CAAA;IACzC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;IACpF,OAAO,QAAQ,CACb,IAAI,CAAC,MAAM,CAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,EACrE,CAAC,KAAK,EAAE,EAAE;QACR,IAAI,CAAC,CAAC,KAAK,YAAY,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,iBAAiB,CAAC,CAAA;QAC5D,IAAI,QAAQ,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,GAAG,QAAQ,EAAE,CAAC;YACpD,OAAO,IAAI,CAAC,uBAAuB,QAAQ,QAAQ,CAAC,CAAA;QACtD,CAAC;QACD,8FAA8F;QAC9F,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;IAChE,CAAC,CACF,CAAA;AACH,CAAC;AAED,SAAS,YAAY,CAAC,MAAmB;IACvC,MAAM,KAAK,GAAa,MAAM,CAAC,WAAW,CAAC,CAAC,QAAQ,CAAA;IACpD,OAAO,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE,CAC1D,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAC/C,CAAA;AACH,CAAC;AAED,kFAAkF;AAClF,SAAS,YAAY,CACnB,KAAa,EACb,GAAkF,EAClF,IAAoC,EACpC,MAAuB,EACvB,IAA6C;IAE7C,+FAA+F;IAC/F,6BAA6B;IAC7B,MAAM,OAAO,GAAG,IAAI,KAAK,CAA0B,KAAK,CAAC,CAAA;IACzD,MAAM,OAAO,GAAyB,EAAE,CAAA;IACxC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC;QAC3C,MAAM,MAAM,GAAG,GAAG,CAAC,KAAK,CAAC,CAAA;QACzB,IAAI,MAAM,YAAY,OAAO,EAAE,CAAC;YAC9B,OAAO,CAAC,IAAI,CACV,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE;gBACtB,OAAO,CAAC,KAAK,CAAC,GAAG,OAAO,CAAA;YAC1B,CAAC,CAAC,CACH,CAAA;QACH,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,KAAK,CAAC,GAAG,MAAM,CAAA;QACzB,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,GAAS,EAAE;QACxB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC;YAC3C,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAA4B,CAAA;YACxD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBAChC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAA;gBACzB,SAAQ;YACV,CAAC;YACD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;gBAClC,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAA;YACrF,CAAC;QACH,CAAC;IACH,CAAC,CAAA;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,EAAE,CAAA;QACR,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,OAAO,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;AAC1C,CAAC;AAED,MAAM,yBAAyB,GAAG,CAAC,aAAa,EAAE,UAAU,EAAE,aAAa,EAAE,aAAa,CAAU,CAAA;AAEpG,SAAS,SAAS,CAAC,IAAiB,EAAE,OAAsB;IAC1D,IAAK,IAAI,CAAC,UAAyC,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;QACnE,MAAM,IAAI,SAAS,CAAC,+DAA+D,CAAC,CAAA;IACtF,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,yBAAyB,EAAE,CAAC;QAC7C,IAAI,OAAO,EAAE,CAAC,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;YAClC,MAAM,IAAI,SAAS,CAAC,YAAY,IAAI,uCAAuC,CAAC,CAAA;QAC9E,CAAC;IACH,CAAC;IACD,MAAM,QAAQ,GAAG,OAAO,EAAE,QAAQ,CAAA;IAClC,MAAM,QAAQ,GAAG,OAAO,EAAE,QAAQ,CAAA;IAClC,WAAW,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAA;IAC1C,WAAW,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAA;IAC1C,MAAM,KAAK,GAAa,IAAI,CAAC,WAAW,CAAC,CAAC,QAAQ,CAAA;IAClD,OAAO,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,EAAE;QAC9D,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC,0BAA0B,CAAC,CAAA;QAClE,IAAI,QAAQ,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,GAAG,QAAQ,EAAE,CAAC;YACtD,OAAO,IAAI,CAAC,qBAAqB,QAAQ,UAAU,CAAC,CAAA;QACtD,CAAC;QACD,IAAI,QAAQ,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,GAAG,QAAQ,EAAE,CAAC;YACtD,OAAO,IAAI,CAAC,oBAAoB,QAAQ,UAAU,CAAC,CAAA;QACrD,CAAC;QACD,MAAM,MAAM,GAAoB,EAAE,CAAA;QAClC,MAAM,MAAM,GAAG,IAAI,KAAK,CAAU,KAAK,CAAC,MAAM,CAAC,CAAA;QAC/C,MAAM,MAAM,GAAG,GAA4B,EAAE,CAC3C,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA;QACpD,MAAM,OAAO,GAAG,YAAY,CAC1B,KAAK,CAAC,MAAM,EACZ,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,EAC9B,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,EAChB,MAAM,EACN,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;YACf,MAAM,CAAC,KAAK,CAAC,GAAG,KAAK,CAAA;QACvB,CAAC,CACF,CAAA;QACD,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IAChE,CAAC,CAAC,CAAA;AACJ,CAAC;AAED,uFAAuF;AACvF,MAAM,GAAG,GAAY,EAAE,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,SAAS,EAAE,CAAA;AAYjE;;;;GAIG;AACH,SAAS,KAAK,CAAC,KAAc;IAC3B,IAAI,KAAK,KAAK,EAAE;QAAE,OAAO,SAAS,CAAA;IAClC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QAAE,OAAO,KAAK,CAAA;IAC9D,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,EAAE,CAAC,CAAA;IACpD,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAA;AACjD,CAAC;AAED,SAAS,IAAI,CAAkB,KAAQ,EAAE,OAAqB;IAC5D,MAAM,KAAK,GAAgB,EAAE,CAAA;IAC7B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAA;IAClC,kGAAkG;IAClG,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,MAAM,IAAI,GAA4B,EAAE,CAAA;IACxC,MAAM,GAAG,GAA4B,EAAE,CAAA;IACvC,KAAK,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAClD,kGAAkG;QAClG,IAAI,GAAG,KAAK,WAAW;YAAE,MAAM,IAAI,SAAS,CAAC,4CAA4C,CAAC,CAAA;QAC1F,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAA;QAC9B,MAAM,KAAK,GAAG,IAAiF,CAAA;QAC/F,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,OAAO,CAAA;QACpC,MAAM,QAAQ,GAAG,KAAK,CAAC,YAAY,CAAC,KAAK,UAAU,CAAA;QACnD,GAAG,CAAC,GAAG,CAAC,GAAG,IAAI,CAAA;QACf,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;YACvB,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAA;YAC3E,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACnB,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,GAAG,CAAC,GAAG,IAAI,CAAA;YAChB,IAAI,IAAI,IAAI,QAAQ;gBAAE,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QACvC,CAAC;IACH,CAAC;IACD,MAAM,aAAa,GAAG;QACpB,GAAG,CAAC,OAAO,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,CAAC,KAAK,EAAE,CAAC;QACjE,GAAG,CAAC,OAAO,EAAE,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC;QACnF,oBAAoB,EAAE,OAAO,EAAE,oBAAoB,KAAK,IAAI;KAC7D,CAAA;IACD,mGAAmG;IACnG,MAAM,YAAY,GAAG,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,WAAW,CAAC;SAC9F,QAAuE,CAAA;IAE1E,MAAM,QAAQ,GAAa,CAAC,KAAK,EAAE,EAAE;QACnC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACxE,OAAO,IAAI,CAAC,sBAAsB,CAAC,CAAA;QACrC,CAAC;QACD,MAAM,KAAK,GAAG,KAAgC,CAAA;QAC9C,4FAA4F;QAC5F,kFAAkF;QAClF,MAAM,MAAM,GAA4B,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QAC3D,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACrC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAA;QAClD,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;YACxB,IAAI,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,CAAA;QACxC,CAAC;QACD,MAAM,OAAO,GAAG,YAAY,CAAC,MAAM,CAAC,CAAA;QACpC,MAAM,MAAM,GAAoB,OAAO,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAA;QACvF,MAAM,MAAM,GAA4B,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QAC3D,IAAI,OAAO,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;YACjC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;gBAAE,MAAM,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;QAChF,CAAC;QACD,MAAM,MAAM,GAAG,GAA4B,EAAE,CAC3C,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA;QACpD,MAAM,OAAO,GAAG,YAAY,CAC1B,KAAK,CAAC,MAAM,EACZ,CAAC,KAAK,EAAE,EAAE;YACR,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAc,CAAA;YACvC,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;YACnF,IAAI,CAAC,KAAK,CAAC,IAAI;gBAAE,OAAO,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;YAC7C,mFAAmF;YACnF,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;YAC/E,OAAO,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAA;QAC/D,CAAC,EACD,CAAC,KAAK,EAAE,EAAE,CAAE,KAAK,CAAC,KAAK,CAAe,CAAC,GAAG,EAC1C,MAAM,EACN,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;YACf,IAAI,KAAK,KAAK,SAAS;gBAAE,MAAM,CAAE,KAAK,CAAC,KAAK,CAAe,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;QAC1E,CAAC,CACF,CAAA;QACD,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;IAChE,CAAC,CAAA;IACD,4FAA4F;IAC5F,yDAAyD;IACzD,OAAO,aAAa,CAClB,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,aAAa,CAA4B,EAAE,QAAQ,CAAC,EAC5E,OAAO,CACR,CAAA;AACH,CAAC;AAED,gGAAgG;AAChG,MAAM,CAAC,MAAM,CAAC,GAAG;IACf,GAAG,IAAI;IACP;;;;;;;;OAQG;IACH,IAAI;IACJ;;;;;;;;OAQG;IACH,IAAI;CACL,CAAA"}