@nifrajs/schema 0.1.0-alpha.1

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Nifra Authors
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,50 @@
+# @nifrajs/schema
+
+The optional, batteries-included schema builder for [nifra](../../README.md): `t` is
+TypeBox-backed, so it **validates** at the boundary *and* gives you **OpenAPI for
+free** (a TypeBox schema is a JSON Schema). Plus `toOpenAPI(contract | app)`.
+
+```sh
+bun add @nifrajs/schema
+```
+
+```ts
+import { server } from "@nifrajs/core"
+import { t, toOpenAPI } from "@nifrajs/schema"
+
+const app = server().post("/users", { body: t.object({ name: t.string(), age: t.integer() }) }, (c) => ({
+  id: "u1",
+  name: c.body.name, // typed + validated
+}))
+
+const openapi = toOpenAPI(app) // OpenAPI 3.1
+```
+
+- **`t` builder** — `string`/`number`/`integer`/`boolean`/`null`/`literal`/`object`/
+  `array`/`optional`/`union`/`record`, with options (`min`/`max`, `pattern`, `format`,
+  …) that become JSON Schema constraints. Validators are compiled (fast).
+- **Validating string formats** — `email`/`uuid`/`date-time`/`date`/`time`/`uri`/`ipv4`
+  validate *and* annotate; register more with `registerFormat`.
+- **`toOpenAPI`** — richest from a contract (it carries `response` schemas + op names →
+  `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).
+
+### `toOpenAPI` coverage
+
+It emits `paths`, `parameters` (path + object query), `requestBody`, and `responses`, plus:
+
+- **`servers`**, **top-level `tags`**, and an info **`description`** (document options).
+- **`securitySchemes`** → `components.securitySchemes`, a document-wide **`security`**, and per-operation
+  `security` (`[]` marks an operation explicitly public).
+- **Non-200 responses** and **non-JSON content** — a contract op's `responses` map declares extra status
+  codes; `requestContentType` / `responseContentType` set media types other than `application/json`.
+- **`$ref` reuse** — a schema with a `$id` (`t.object({…}, { $id: "User" })`) is hoisted into
+  `components.schemas` once and referenced by `$ref` everywhere it's used.
+- Per-operation **`summary`**, **`description`**, **`tags`**, **`deprecated`** — declared on the contract op.
+
+A **contract** is richest (its ops carry all of the above); in **app** mode a route's response is a
+generic `200` with no schema — declare a `defineContract` with `response` schemas, or pass
+`options.operations` (keyed by `"METHOD /path"`) to enrich app routes. Routes using a BYO Standard Schema
+are still emitted without body/response detail (Standard Schema exposes no JSON Schema).
+
+`@nifrajs/core` is a peer dependency. ESM-only. MIT.

package/dist/adapter.d.ts

@@ -0,0 +1,33 @@
+import type { StandardSchemaV1 } from "@nifrajs/core";
+import type { Static, TSchema } from "@sinclair/typebox";
+/**
+ * A `t` schema. It is a Standard Schema (so any nifra route validates it with no
+ * special-casing) whose raw TypeBox definition stays reachable as `jsonSchema` —
+ * and because a TypeBox schema *is* a JSON Schema, that field is exactly what lets
+ * `toOpenAPI` emit a real request/response schema for the route. BYO Standard
+ * Schemas (zod/valibot/arktype) validate too but expose no JSON Schema, so only
+ * `t`-based routes get full OpenAPI.
+ */
+export type NifraSchema<T extends TSchema = TSchema> = StandardSchemaV1<Static<T>, Static<T>> & {
+    readonly jsonSchema: T;
+};
+/**
+ * Wrap a TypeBox schema as a `NifraSchema`.
+ *
+ * **Validation is fast where it can be, and works everywhere.** The first `validate`
+ * builds a compiled `TypeCompiler` validator (codegen via `new Function`) and memoizes
+ * it — composing schemas (`t.object({ a: t.string() })`) never compiles the inner
+ * pieces; only a schema actually used to validate a request pays the one-time codegen
+ * cost. On Bun and Node this is the only path and it is untouched.
+ *
+ * Edge runtimes (Cloudflare Workers, Vercel Edge, Deno Deploy) **forbid dynamic code
+ * generation**, so that first compile throws there. We catch it once per schema and
+ * fall back to TypeBox's eval-free `Value` checker — same semantics (and same global
+ * `FormatRegistry`, so `t.string({ format })` behaves identically), no `new Function`.
+ * The branch is decided once and memoized, so the hot path is a single check either way.
+ *
+ * Exposed (not just used internally by `t`) so a TypeBox schema authored directly can
+ * be adapted without leaving the Standard Schema world.
+ */
+export declare function fromTypeBox<T extends TSchema>(schema: T): NifraSchema<T>;
+//# sourceMappingURL=adapter.d.ts.map

package/dist/adapter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"adapter.d.ts","sourceRoot":"","sources":["../src/adapter.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAiC,gBAAgB,EAAiB,MAAM,eAAe,CAAA;AACnG,OAAO,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAA;AAIxD;;;;;;;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;AAeD;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,WAAW,CAAC,CAAC,SAAS,OAAO,EAAE,MAAM,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CA6BxE"}

package/dist/adapter.js

@@ -0,0 +1,66 @@
+import { TypeCompiler } from "@sinclair/typebox/compiler";
+import { Value } from "@sinclair/typebox/value";
+/**
+ * Map a TypeBox validation error to a Standard Schema issue. TypeBox reports JSON
+ * Pointers (`"/name"`, `"/items/0"`); Standard Schema wants a segment array (`""` is
+ * the document root → no path). The compiled checker and the eval-free `Value`
+ * checker emit the same error shape, so both validation paths share this.
+ */
+function toIssue(error) {
+    return {
+        message: error.message,
+        path: error.path === "" ? undefined : error.path.slice(1).split("/"),
+    };
+}
+/**
+ * Wrap a TypeBox schema as a `NifraSchema`.
+ *
+ * **Validation is fast where it can be, and works everywhere.** The first `validate`
+ * builds a compiled `TypeCompiler` validator (codegen via `new Function`) and memoizes
+ * it — composing schemas (`t.object({ a: t.string() })`) never compiles the inner
+ * pieces; only a schema actually used to validate a request pays the one-time codegen
+ * cost. On Bun and Node this is the only path and it is untouched.
+ *
+ * Edge runtimes (Cloudflare Workers, Vercel Edge, Deno Deploy) **forbid dynamic code
+ * generation**, so that first compile throws there. We catch it once per schema and
+ * fall back to TypeBox's eval-free `Value` checker — same semantics (and same global
+ * `FormatRegistry`, so `t.string({ format })` behaves identically), no `new Function`.
+ * The branch is decided once and memoized, so the hot path is a single check either way.
+ *
+ * Exposed (not just used internally by `t`) so a TypeBox schema authored directly can
+ * be adapted without leaving the Standard Schema world.
+ */
+export function fromTypeBox(schema) {
+    let compiled;
+    let evalFree = false;
+    return {
+        "~standard": {
+            version: 1,
+            vendor: "nifra",
+            validate: (value) => {
+                if (compiled === undefined && !evalFree) {
+                    try {
+                        compiled = TypeCompiler.Compile(schema);
+                    }
+                    catch {
+                        // Dynamic codegen disallowed (edge): take the eval-free path for this schema.
+                        evalFree = true;
+                    }
+                }
+                if (compiled !== undefined) {
+                    if (compiled.Check(value))
+                        return { value };
+                    return { issues: [...compiled.Errors(value)].map(toIssue) };
+                }
+                if (Value.Check(schema, value))
+                    return { value };
+                return { issues: [...Value.Errors(schema, value)].map(toIssue) };
+            },
+            // Phantom: `types` carries no runtime value; this cast supplies the
+            // compile-time `Static<T>` that nifra's `InferOutput` reads to type `c.body`.
+            types: undefined,
+        },
+        jsonSchema: schema,
+    };
+}
+//# sourceMappingURL=adapter.js.map

package/dist/adapter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"adapter.js","sourceRoot":"","sources":["../src/adapter.ts"],"names":[],"mappings":"AAEA,OAAO,EAAkB,YAAY,EAAE,MAAM,4BAA4B,CAAA;AACzE,OAAO,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAA;AAc/C;;;;;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;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,WAAW,CAAoB,MAAS;IACtD,IAAI,QAAkC,CAAA;IACtC,IAAI,QAAQ,GAAG,KAAK,CAAA;IACpB,OAAO;QACL,WAAW,EAAE;YACX,OAAO,EAAE,CAAC;YACV,MAAM,EAAE,OAAO;YACf,QAAQ,EAAE,CAAC,KAAc,EAA6B,EAAE;gBACtD,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,CAAA;oBAC3C,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,CAAA;gBAChD,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"}

package/dist/formats.d.ts

@@ -0,0 +1,3 @@
+/** Register (or override) a string format usable as `t.string({ format: name })`. */
+export declare function registerFormat(name: string, validate: (value: string) => boolean): void;
+//# sourceMappingURL=formats.d.ts.map

package/dist/formats.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"formats.d.ts","sourceRoot":"","sources":["../src/formats.ts"],"names":[],"mappings":"AAyBA,qFAAqF;AACrF,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,GAAG,IAAI,CAEvF"}

package/dist/formats.js

@@ -0,0 +1,32 @@
+import { FormatRegistry } from "@sinclair/typebox";
+/**
+ * Standard JSON Schema string formats, registered with TypeBox so `t.string({
+ * format })` both **validates** and **annotates** the JSON Schema (the latter feeds
+ * OpenAPI). This registration is the reason it works at all: TypeBox treats an
+ * *unregistered* format as a hard failure, so without it `t.string({ format:
+ * "email" })` would reject every value.
+ *
+ * Patterns are pragmatic (not full RFC grammars) but reject obvious garbage. Need a
+ * stricter rule or a format not listed here (e.g. `ipv6`, `hostname`)? Register it
+ * with {@link registerFormat}. Importing this module performs the registration as a
+ * one-time side effect; the `Has` guard means an app that registered its own
+ * validator first wins.
+ */
+const DEFAULT_FORMATS = {
+    email: /^[^\s@]+@[^\s@]+\.[^\s@]+$/,
+    uuid: /^[0-9a-f]{8}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{4}-[0-9a-f]{12}$/i,
+    "date-time": /^\d{4}-\d{2}-\d{2}[Tt]\d{2}:\d{2}:\d{2}(?:\.\d+)?(?:[Zz]|[+-]\d{2}:\d{2})$/,
+    date: /^\d{4}-\d{2}-\d{2}$/,
+    time: /^\d{2}:\d{2}:\d{2}(?:\.\d+)?(?:[Zz]|[+-]\d{2}:\d{2})?$/,
+    uri: /^[a-z][a-z0-9+.-]*:\S+$/i,
+    ipv4: /^(?:(?:25[0-5]|2[0-4]\d|1?\d?\d)\.){3}(?:25[0-5]|2[0-4]\d|1?\d?\d)$/,
+};
+/** Register (or override) a string format usable as `t.string({ format: name })`. */
+export function registerFormat(name, validate) {
+    FormatRegistry.Set(name, validate);
+}
+for (const [name, pattern] of Object.entries(DEFAULT_FORMATS)) {
+    if (!FormatRegistry.Has(name))
+        FormatRegistry.Set(name, (value) => pattern.test(value));
+}
+//# sourceMappingURL=formats.js.map

package/dist/formats.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formats.js","sourceRoot":"","sources":["../src/formats.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAA;AAElD;;;;;;;;;;;;GAYG;AACH,MAAM,eAAe,GAAqC;IACxD,KAAK,EAAE,4BAA4B;IACnC,IAAI,EAAE,iEAAiE;IACvE,WAAW,EAAE,4EAA4E;IACzF,IAAI,EAAE,qBAAqB;IAC3B,IAAI,EAAE,wDAAwD;IAC9D,GAAG,EAAE,0BAA0B;IAC/B,IAAI,EAAE,qEAAqE;CAC5E,CAAA;AAED,qFAAqF;AACrF,MAAM,UAAU,cAAc,CAAC,IAAY,EAAE,QAAoC;IAC/E,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;AACpC,CAAC;AAED,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,eAAe,CAAC,EAAE,CAAC;IAC9D,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,cAAc,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;AACzF,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,13 @@
+/**
+ * `@nifrajs/schema` — the optional, batteries-included schema builder for nifra.
+ *
+ * `t` is TypeBox-backed: validators are compiled (fast) and every schema is a JSON
+ * Schema (free OpenAPI). It implements Standard Schema, so `@nifrajs/core` validates
+ * it through the exact same path as any BYO library — `@nifrajs/core` never depends on
+ * a validator; this package is the opt-in default.
+ */
+export { fromTypeBox, type NifraSchema } from "./adapter.js";
+export { registerFormat } from "./formats.js";
+export { type OpenAPIDocument, type OpenAPIInfo, toOpenAPI } from "./openapi.js";
+export { t } from "./t.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;;;;;;;GAOG;AACH,OAAO,EAAE,WAAW,EAAE,KAAK,WAAW,EAAE,MAAM,cAAc,CAAA;AAG5D,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAC7C,OAAO,EAAE,KAAK,eAAe,EAAE,KAAK,WAAW,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAChF,OAAO,EAAE,CAAC,EAAE,MAAM,QAAQ,CAAA"}

package/dist/index.js

@@ -0,0 +1,15 @@
+/**
+ * `@nifrajs/schema` — the optional, batteries-included schema builder for nifra.
+ *
+ * `t` is TypeBox-backed: validators are compiled (fast) and every schema is a JSON
+ * Schema (free OpenAPI). It implements Standard Schema, so `@nifrajs/core` validates
+ * it through the exact same path as any BYO library — `@nifrajs/core` never depends on
+ * a validator; this package is the opt-in default.
+ */
+export { fromTypeBox } from "./adapter.js";
+// Re-exporting evaluates ./formats.ts, registering the standard string formats so
+// `t.string({ format })` validates instead of rejecting everything.
+export { registerFormat } from "./formats.js";
+export { toOpenAPI } from "./openapi.js";
+export { t } from "./t.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;;;;;;;GAOG;AACH,OAAO,EAAE,WAAW,EAAoB,MAAM,cAAc,CAAA;AAC5D,kFAAkF;AAClF,oEAAoE;AACpE,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAC7C,OAAO,EAA0C,SAAS,EAAE,MAAM,cAAc,CAAA;AAChF,OAAO,EAAE,CAAC,EAAE,MAAM,QAAQ,CAAA"}

package/dist/openapi.d.ts

@@ -0,0 +1,92 @@
+import type { ContractShape, Server } from "@nifrajs/core";
+/**
+ * OpenAPI 3.1 generation. We model a practical slice of the spec — enough to feed Swagger UI / codegen
+ * and to validate structurally: paths, parameters, request bodies, responses (incl. non-200 and
+ * non-JSON), tags, security, servers, and `$ref` reuse via `components.schemas`.
+ *
+ * Schemas carry full detail only for `t`/TypeBox inputs (they expose a JSON Schema); a BYO Standard
+ * Schema validates at runtime but exposes no JSON Schema, so its route is emitted without body/response
+ * detail. A **contract** is richest — its operations carry `response`, `tags`, `security`, additional
+ * `responses`, etc.; an **app** emits request shapes + a generic `200` (an inline handler has no
+ * response *schema* to serialize), enrichable via `options.operations`.
+ */
+export interface OpenAPIInfo {
+    readonly title: string;
+    readonly version: string;
+    readonly description?: string;
+}
+export interface OpenAPIServer {
+    readonly url: string;
+    readonly description?: string;
+}
+export interface OpenAPITag {
+    readonly name: string;
+    readonly description?: string;
+}
+/** A document-wide / per-operation security requirement: scheme name → required scopes. */
+export type SecurityRequirement = Readonly<Record<string, readonly string[]>>;
+export interface ToOpenAPIOptions {
+    readonly title?: string;
+    readonly version?: string;
+    readonly description?: string;
+    /** Server URLs the API is served from (OpenAPI `servers`). */
+    readonly servers?: readonly OpenAPIServer[];
+    /** Tag definitions (OpenAPI top-level `tags`) — names referenced by an operation's `tags`. */
+    readonly tags?: readonly OpenAPITag[];
+    /** Reusable security schemes → `components.securitySchemes` (e.g. `{ bearer: { type: "http", scheme: "bearer" } }`). */
+    readonly securitySchemes?: Readonly<Record<string, Record<string, unknown>>>;
+    /** Document-wide security requirement; a per-operation `security` (incl. `[]` for public) overrides it. */
+    readonly security?: readonly SecurityRequirement[];
+    /**
+     * Per-operation overrides, shallow-merged over the generated operation. Keyed by `operationId`
+     * (contract op name) or `"METHOD /path"` (e.g. `"GET /users/:id"`). The escape hatch for detail that
+     * can't be introspected — richer response bodies, examples, app-route tags/security.
+     */
+    readonly operations?: Readonly<Record<string, Record<string, unknown>>>;
+}
+type JsonSchema = Record<string, unknown>;
+interface OpenAPIParameter {
+    readonly name: string;
+    readonly in: "path" | "query";
+    readonly required: boolean;
+    readonly schema: JsonSchema;
+}
+interface OpenAPIMediaType {
+    readonly schema: JsonSchema;
+}
+interface OpenAPIRequestBody {
+    readonly required: boolean;
+    readonly content: Record<string, OpenAPIMediaType>;
+}
+interface OpenAPIResponse {
+    description: string;
+    content?: Record<string, OpenAPIMediaType>;
+}
+interface OpenAPIOperation {
+    operationId?: string;
+    summary?: string;
+    description?: string;
+    tags?: readonly string[];
+    deprecated?: boolean;
+    security?: readonly SecurityRequirement[];
+    parameters?: OpenAPIParameter[];
+    requestBody?: OpenAPIRequestBody;
+    responses: Record<string, OpenAPIResponse>;
+}
+interface OpenAPIComponents {
+    schemas?: Record<string, JsonSchema>;
+    securitySchemes?: Readonly<Record<string, Record<string, unknown>>>;
+}
+export interface OpenAPIDocument {
+    readonly openapi: "3.1.0";
+    readonly info: OpenAPIInfo;
+    readonly paths: Record<string, Record<string, OpenAPIOperation>>;
+    readonly servers?: readonly OpenAPIServer[];
+    readonly tags?: readonly OpenAPITag[];
+    readonly security?: readonly SecurityRequirement[];
+    readonly components?: OpenAPIComponents;
+}
+/** Generate an OpenAPI 3.1 document from a contract or a running app. See the module doc for the detail model. */
+export declare function toOpenAPI(input: ContractShape | Server, options?: ToOpenAPIOptions): OpenAPIDocument;
+export {};
+//# sourceMappingURL=openapi.d.ts.map

package/dist/openapi.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"openapi.d.ts","sourceRoot":"","sources":["../src/openapi.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,EAAoB,MAAM,eAAe,CAAA;AAE5E;;;;;;;;;;GAUG;AACH,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAC9B;AAED,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAC9B;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAC9B;AAED,2FAA2F;AAC3F,MAAM,MAAM,mBAAmB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAA;AAE7E,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,8DAA8D;IAC9D,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,aAAa,EAAE,CAAA;IAC3C,8FAA8F;IAC9F,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,UAAU,EAAE,CAAA;IACrC,wHAAwH;IACxH,QAAQ,CAAC,eAAe,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAA;IAC5E,2GAA2G;IAC3G,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,mBAAmB,EAAE,CAAA;IAClD;;;;OAIG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAA;CACxE;AAED,KAAK,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;AAEzC,UAAU,gBAAgB;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAA;IAC7B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAC1B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAA;CAC5B;AAED,UAAU,gBAAgB;IACxB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAA;CAC5B;AAED,UAAU,kBAAkB;IAC1B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAA;CACnD;AAED,UAAU,eAAe;IACvB,WAAW,EAAE,MAAM,CAAA;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAA;CAC3C;AAED,UAAU,gBAAgB;IACxB,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;IACxB,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,QAAQ,CAAC,EAAE,SAAS,mBAAmB,EAAE,CAAA;IACzC,UAAU,CAAC,EAAE,gBAAgB,EAAE,CAAA;IAC/B,WAAW,CAAC,EAAE,kBAAkB,CAAA;IAChC,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAA;CAC3C;AAED,UAAU,iBAAiB;IACzB,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAA;IACpC,eAAe,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAA;CACpE;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC,CAAA;IAChE,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,aAAa,EAAE,CAAA;IAC3C,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,UAAU,EAAE,CAAA;IACrC,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,mBAAmB,EAAE,CAAA;IAClD,QAAQ,CAAC,UAAU,CAAC,EAAE,iBAAiB,CAAA;CACxC;AA6LD,kHAAkH;AAClH,wBAAgB,SAAS,CACvB,KAAK,EAAE,aAAa,GAAG,MAAM,EAC7B,OAAO,GAAE,gBAAqB,GAC7B,eAAe,CAgEjB"}

package/dist/openapi.js

@@ -0,0 +1,207 @@
+function hasJsonSchema(schema) {
+    return ("jsonSchema" in schema &&
+        schema.jsonSchema !== undefined &&
+        schema.jsonSchema !== null);
+}
+/**
+ * Extract clean JSON Schema from a schema, or `undefined` for a BYO Standard Schema with no JSON
+ * Schema. The `JSON` round-trip strips TypeBox's Symbol-keyed metadata; a string `$id` survives it and
+ * drives `$ref` reuse.
+ */
+function toJsonSchema(schema) {
+    if (!hasJsonSchema(schema))
+        return undefined;
+    return JSON.parse(JSON.stringify(schema.jsonSchema));
+}
+/**
+ * Collects schemas that carry a `$id` into `components.schemas`, returning a `$ref` in their place —
+ * so a schema used by N operations is emitted once. Schemas without a `$id` stay inline (the existing
+ * behavior). The first sighting of an id wins; later ones just `$ref` it.
+ */
+class SchemaStore {
+    schemas = {};
+    /** Hoist a schema with a `$id` into components + return a `$ref`; otherwise return it inline. */
+    collect(schema) {
+        if (schema === undefined)
+            return undefined;
+        const id = typeof schema.$id === "string" ? schema.$id : undefined;
+        if (id === undefined)
+            return schema;
+        if (this.schemas[id] === undefined) {
+            const hoisted = { ...schema };
+            delete hoisted.$id; // the component key is the name; drop the redundant base-URI hint
+            this.schemas[id] = hoisted;
+        }
+        return { $ref: `#/components/schemas/${id}` };
+    }
+}
+/** Name of a path segment's parameter, or `undefined` for a static segment. */
+function segmentParam(segment) {
+    if (segment.startsWith(":"))
+        return segment.slice(1);
+    if (segment.startsWith("*"))
+        return segment.length > 1 ? segment.slice(1) : "wildcard";
+    return undefined;
+}
+/** `/users/:id/*rest` → `/users/{id}/{rest}` (OpenAPI path templating). */
+function toTemplatedPath(path) {
+    return path
+        .split("/")
+        .map((segment) => {
+        const param = segmentParam(segment);
+        return param === undefined ? segment : `{${param}}`;
+    })
+        .join("/");
+}
+function pathParameters(path) {
+    const params = [];
+    for (const segment of path.split("/")) {
+        const name = segmentParam(segment);
+        // Path params are always strings (decoded from the URL).
+        if (name !== undefined)
+            params.push({ name, in: "path", required: true, schema: { type: "string" } });
+    }
+    return params;
+}
+function queryParameters(schema) {
+    if (schema === undefined)
+        return [];
+    const json = toJsonSchema(schema);
+    // Only an object schema decomposes into individual query parameters.
+    if (json === undefined || json.type !== "object" || typeof json.properties !== "object")
+        return [];
+    const properties = json.properties;
+    const required = Array.isArray(json.required) ? json.required : [];
+    return Object.entries(properties).map(([name, propSchema]) => ({
+        name,
+        in: "query",
+        required: required.includes(name),
+        schema: propSchema,
+    }));
+}
+function buildResponses(input, store) {
+    const responses = {};
+    if (input.response !== undefined) {
+        const schema = store.collect(toJsonSchema(input.response));
+        responses["200"] =
+            schema !== undefined
+                ? {
+                    description: "OK",
+                    content: { [input.responseContentType ?? "application/json"]: { schema } },
+                }
+                : { description: "OK" };
+    }
+    else {
+        responses["200"] = { description: "OK" };
+    }
+    // Additional (or overriding) responses declared on the contract op.
+    if (input.responses !== undefined) {
+        for (const [status, def] of Object.entries(input.responses)) {
+            const response = { description: def.description ?? "" };
+            const schema = def.schema !== undefined ? store.collect(toJsonSchema(def.schema)) : undefined;
+            if (schema !== undefined)
+                response.content = { [def.contentType ?? "application/json"]: { schema } };
+            responses[status] = response;
+        }
+    }
+    return responses;
+}
+function buildOperation(input, store) {
+    const operation = { responses: buildResponses(input, store) };
+    if (input.operationId !== undefined)
+        operation.operationId = input.operationId;
+    if (input.summary !== undefined)
+        operation.summary = input.summary;
+    if (input.description !== undefined)
+        operation.description = input.description;
+    if (input.tags !== undefined && input.tags.length > 0)
+        operation.tags = input.tags;
+    if (input.deprecated === true)
+        operation.deprecated = true;
+    if (input.security !== undefined)
+        operation.security = input.security; // `[]` ⇒ explicitly public
+    const parameters = [...pathParameters(input.path), ...queryParameters(input.query)];
+    if (parameters.length > 0)
+        operation.parameters = parameters;
+    if (input.body !== undefined) {
+        const schema = store.collect(toJsonSchema(input.body));
+        if (schema !== undefined) {
+            operation.requestBody = {
+                required: true,
+                content: { [input.requestContentType ?? "application/json"]: { schema } },
+            };
+        }
+    }
+    return operation;
+}
+function addOperation(paths, method, input, store, operations) {
+    const templated = toTemplatedPath(input.path);
+    const pathItem = paths[templated] ?? {};
+    paths[templated] = pathItem;
+    let operation = buildOperation(input, store);
+    // Shallow-merge an override keyed by operationId or "METHOD /path".
+    const override = operations?.[input.operationId ?? ""] ?? operations?.[`${method.toUpperCase()} ${input.path}`];
+    if (override !== undefined)
+        operation = { ...operation, ...override };
+    pathItem[method.toLowerCase()] = operation;
+}
+function isApp(input) {
+    // Duck-typed so @nifrajs/schema keeps @nifrajs/core a type-only dependency. A contract
+    // is a plain record of operations; only a Server exposes a `routes()` method.
+    return typeof input.routes === "function";
+}
+/** Generate an OpenAPI 3.1 document from a contract or a running app. See the module doc for the detail model. */
+export function toOpenAPI(input, options = {}) {
+    const paths = {};
+    const store = new SchemaStore();
+    if (isApp(input)) {
+        for (const route of input.routes()) {
+            addOperation(paths, route.method, {
+                path: route.path,
+                body: route.schema?.body,
+                query: route.schema?.query,
+                // A route may now declare a `response` contract — emit it as the 200 body schema.
+                response: route.schema?.response,
+                operationId: undefined,
+            }, store, options.operations);
+        }
+    }
+    else {
+        for (const [name, op] of Object.entries(input)) {
+            addOperation(paths, op.method, {
+                path: op.path,
+                body: op.body,
+                query: op.query,
+                response: op.response,
+                operationId: name,
+                summary: op.summary,
+                description: op.description,
+                tags: op.tags,
+                deprecated: op.deprecated,
+                security: op.security,
+                requestContentType: op.requestContentType,
+                responseContentType: op.responseContentType,
+                responses: op.responses,
+            }, store, options.operations);
+        }
+    }
+    const components = {};
+    if (Object.keys(store.schemas).length > 0)
+        components.schemas = store.schemas;
+    if (options.securitySchemes !== undefined)
+        components.securitySchemes = options.securitySchemes;
+    return {
+        openapi: "3.1.0",
+        info: {
+            title: options.title ?? "API",
+            version: options.version ?? "1.0.0",
+            ...(options.description !== undefined ? { description: options.description } : {}),
+        },
+        paths,
+        ...(options.servers !== undefined ? { servers: options.servers } : {}),
+        ...(options.tags !== undefined ? { tags: options.tags } : {}),
+        ...(options.security !== undefined ? { security: options.security } : {}),
+        ...(Object.keys(components).length > 0 ? { components } : {}),
+    };
+}
+//# sourceMappingURL=openapi.js.map

package/dist/openapi.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"openapi.js","sourceRoot":"","sources":["../src/openapi.ts"],"names":[],"mappings":"AAyGA,SAAS,aAAa,CAAC,MAAwB;IAC7C,OAAO,CACL,YAAY,IAAI,MAAM;QACrB,MAAmC,CAAC,UAAU,KAAK,SAAS;QAC5D,MAAmC,CAAC,UAAU,KAAK,IAAI,CACzD,CAAA;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,YAAY,CAAC,MAAwB;IAC5C,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC;QAAE,OAAO,SAAS,CAAA;IAC5C,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAe,CAAA;AACpE,CAAC;AAED;;;;GAIG;AACH,MAAM,WAAW;IACN,OAAO,GAA+B,EAAE,CAAA;IAEjD,iGAAiG;IACjG,OAAO,CAAC,MAA8B;QACpC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,SAAS,CAAA;QAC1C,MAAM,EAAE,GAAG,OAAO,MAAM,CAAC,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAA;QAClE,IAAI,EAAE,KAAK,SAAS;YAAE,OAAO,MAAM,CAAA;QACnC,IAAI,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,KAAK,SAAS,EAAE,CAAC;YACnC,MAAM,OAAO,GAAG,EAAE,GAAG,MAAM,EAAE,CAAA;YAC7B,OAAO,OAAO,CAAC,GAAG,CAAA,CAAC,kEAAkE;YACrF,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,OAAO,CAAA;QAC5B,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,wBAAwB,EAAE,EAAE,EAAE,CAAA;IAC/C,CAAC;CACF;AAED,+EAA+E;AAC/E,SAAS,YAAY,CAAC,OAAe;IACnC,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IACpD,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAA;IACtF,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,2EAA2E;AAC3E,SAAS,eAAe,CAAC,IAAY;IACnC,OAAO,IAAI;SACR,KAAK,CAAC,GAAG,CAAC;SACV,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;QACf,MAAM,KAAK,GAAG,YAAY,CAAC,OAAO,CAAC,CAAA;QACnC,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAA;IACrD,CAAC,CAAC;SACD,IAAI,CAAC,GAAG,CAAC,CAAA;AACd,CAAC;AAED,SAAS,cAAc,CAAC,IAAY;IAClC,MAAM,MAAM,GAAuB,EAAE,CAAA;IACrC,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,YAAY,CAAC,OAAO,CAAC,CAAA;QAClC,yDAAyD;QACzD,IAAI,IAAI,KAAK,SAAS;YACpB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAA;IACjF,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAED,SAAS,eAAe,CAAC,MAAoC;IAC3D,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,CAAA;IACnC,MAAM,IAAI,GAAG,YAAY,CAAC,MAAM,CAAC,CAAA;IACjC,qEAAqE;IACrE,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,CAAC,UAAU,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAA;IAClG,MAAM,UAAU,GAAG,IAAI,CAAC,UAAwC,CAAA;IAChE,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAE,IAAI,CAAC,QAAqB,CAAC,CAAC,CAAC,EAAE,CAAA;IAChF,OAAO,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC,CAAC;QAC7D,IAAI;QACJ,EAAE,EAAE,OAAO;QACX,QAAQ,EAAE,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC;QACjC,MAAM,EAAE,UAAU;KACnB,CAAC,CAAC,CAAA;AACL,CAAC;AAwBD,SAAS,cAAc,CACrB,KAAqB,EACrB,KAAkB;IAElB,MAAM,SAAS,GAAoC,EAAE,CAAA;IACrD,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACjC,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAA;QAC1D,SAAS,CAAC,KAAK,CAAC;YACd,MAAM,KAAK,SAAS;gBAClB,CAAC,CAAC;oBACE,WAAW,EAAE,IAAI;oBACjB,OAAO,EAAE,EAAE,CAAC,KAAK,CAAC,mBAAmB,IAAI,kBAAkB,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE;iBAC3E;gBACH,CAAC,CAAC,EAAE,WAAW,EAAE,IAAI,EAAE,CAAA;IAC7B,CAAC;SAAM,CAAC;QACN,SAAS,CAAC,KAAK,CAAC,GAAG,EAAE,WAAW,EAAE,IAAI,EAAE,CAAA;IAC1C,CAAC;IACD,oEAAoE;IACpE,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;QAClC,KAAK,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;YAC5D,MAAM,QAAQ,GAAoB,EAAE,WAAW,EAAE,GAAG,CAAC,WAAW,IAAI,EAAE,EAAE,CAAA;YACxE,MAAM,MAAM,GAAG,GAAG,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;YAC7F,IAAI,MAAM,KAAK,SAAS;gBACtB,QAAQ,CAAC,OAAO,GAAG,EAAE,CAAC,GAAG,CAAC,WAAW,IAAI,kBAAkB,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE,CAAA;YAC5E,SAAS,CAAC,MAAM,CAAC,GAAG,QAAQ,CAAA;QAC9B,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,SAAS,cAAc,CAAC,KAAqB,EAAE,KAAkB;IAC/D,MAAM,SAAS,GAAqB,EAAE,SAAS,EAAE,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAA;IAC/E,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS;QAAE,SAAS,CAAC,WAAW,GAAG,KAAK,CAAC,WAAW,CAAA;IAC9E,IAAI,KAAK,CAAC,OAAO,KAAK,SAAS;QAAE,SAAS,CAAC,OAAO,GAAG,KAAK,CAAC,OAAO,CAAA;IAClE,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS;QAAE,SAAS,CAAC,WAAW,GAAG,KAAK,CAAC,WAAW,CAAA;IAC9E,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;QAAE,SAAS,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,CAAA;IAClF,IAAI,KAAK,CAAC,UAAU,KAAK,IAAI;QAAE,SAAS,CAAC,UAAU,GAAG,IAAI,CAAA;IAC1D,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS;QAAE,SAAS,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAA,CAAC,2BAA2B;IAEjG,MAAM,UAAU,GAAG,CAAC,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,eAAe,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;IACnF,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC;QAAE,SAAS,CAAC,UAAU,GAAG,UAAU,CAAA;IAE5D,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAA;QACtD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,SAAS,CAAC,WAAW,GAAG;gBACtB,QAAQ,EAAE,IAAI;gBACd,OAAO,EAAE,EAAE,CAAC,KAAK,CAAC,kBAAkB,IAAI,kBAAkB,CAAC,EAAE,EAAE,MAAM,EAAE,EAAE;aAC1E,CAAA;QACH,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,SAAS,YAAY,CACnB,KAAuD,EACvD,MAAc,EACd,KAAqB,EACrB,KAAkB,EAClB,UAA0C;IAE1C,MAAM,SAAS,GAAG,eAAe,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IAC7C,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,CAAA;IACvC,KAAK,CAAC,SAAS,CAAC,GAAG,QAAQ,CAAA;IAC3B,IAAI,SAAS,GAAG,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;IAC5C,oEAAoE;IACpE,MAAM,QAAQ,GACZ,UAAU,EAAE,CAAC,KAAK,CAAC,WAAW,IAAI,EAAE,CAAC,IAAI,UAAU,EAAE,CAAC,GAAG,MAAM,CAAC,WAAW,EAAE,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,CAAA;IAChG,IAAI,QAAQ,KAAK,SAAS;QAAE,SAAS,GAAG,EAAE,GAAG,SAAS,EAAE,GAAG,QAAQ,EAAsB,CAAA;IACzF,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,GAAG,SAAS,CAAA;AAC5C,CAAC;AAED,SAAS,KAAK,CAAC,KAA6B;IAC1C,uFAAuF;IACvF,8EAA8E;IAC9E,OAAO,OAAQ,KAA8B,CAAC,MAAM,KAAK,UAAU,CAAA;AACrE,CAAC;AAED,kHAAkH;AAClH,MAAM,UAAU,SAAS,CACvB,KAA6B,EAC7B,UAA4B,EAAE;IAE9B,MAAM,KAAK,GAAqD,EAAE,CAAA;IAClE,MAAM,KAAK,GAAG,IAAI,WAAW,EAAE,CAAA;IAE/B,IAAI,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACjB,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,EAAE,CAAC;YACnC,YAAY,CACV,KAAK,EACL,KAAK,CAAC,MAAM,EACZ;gBACE,IAAI,EAAE,KAAK,CAAC,IAAI;gBAChB,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI;gBACxB,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,KAAK;gBAC1B,kFAAkF;gBAClF,QAAQ,EAAE,KAAK,CAAC,MAAM,EAAE,QAAQ;gBAChC,WAAW,EAAE,SAAS;aACvB,EACD,KAAK,EACL,OAAO,CAAC,UAAU,CACnB,CAAA;QACH,CAAC;IACH,CAAC;SAAM,CAAC;QACN,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/C,YAAY,CACV,KAAK,EACL,EAAE,CAAC,MAAM,EACT;gBACE,IAAI,EAAE,EAAE,CAAC,IAAI;gBACb,IAAI,EAAE,EAAE,CAAC,IAAI;gBACb,KAAK,EAAE,EAAE,CAAC,KAAK;gBACf,QAAQ,EAAE,EAAE,CAAC,QAAQ;gBACrB,WAAW,EAAE,IAAI;gBACjB,OAAO,EAAE,EAAE,CAAC,OAAO;gBACnB,WAAW,EAAE,EAAE,CAAC,WAAW;gBAC3B,IAAI,EAAE,EAAE,CAAC,IAAI;gBACb,UAAU,EAAE,EAAE,CAAC,UAAU;gBACzB,QAAQ,EAAE,EAAE,CAAC,QAAQ;gBACrB,kBAAkB,EAAE,EAAE,CAAC,kBAAkB;gBACzC,mBAAmB,EAAE,EAAE,CAAC,mBAAmB;gBAC3C,SAAS,EAAE,EAAE,CAAC,SAAS;aACxB,EACD,KAAK,EACL,OAAO,CAAC,UAAU,CACnB,CAAA;QACH,CAAC;IACH,CAAC;IAED,MAAM,UAAU,GAAsB,EAAE,CAAA;IACxC,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC;QAAE,UAAU,CAAC,OAAO,GAAG,KAAK,CAAC,OAAO,CAAA;IAC7E,IAAI,OAAO,CAAC,eAAe,KAAK,SAAS;QAAE,UAAU,CAAC,eAAe,GAAG,OAAO,CAAC,eAAe,CAAA;IAE/F,OAAO;QACL,OAAO,EAAE,OAAO;QAChB,IAAI,EAAE;YACJ,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,KAAK;YAC7B,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,OAAO;YACnC,GAAG,CAAC,OAAO,CAAC,WAAW,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACnF;QACD,KAAK;QACL,GAAG,CAAC,OAAO,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACtE,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QAC7D,GAAG,CAAC,OAAO,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACzE,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;KAC9D,CAAA;AACH,CAAC"}

package/dist/t.d.ts

@@ -0,0 +1,34 @@
+import { type ArrayOptions, type IntegerOptions, type NumberOptions, type ObjectOptions, type StringOptions, type TLiteralValue, type TSchema, type TUnion } from "@sinclair/typebox";
+import { type NifraSchema } from "./adapter.js";
+type Props = Record<string, NifraSchema>;
+/**
+ * The built-in schema builder. Each constructor returns a `NifraSchema` — a
+ * Standard Schema whose validated output type flows into `c.body`/`c.query`, and
+ * whose `jsonSchema` powers `toOpenAPI`. Options (min/max, length, pattern, …)
+ * pass straight through to TypeBox and so become JSON Schema constraints.
+ *
+ * Composite constructors are generic over the *inner* TypeBox schema `T extends
+ * TSchema` (not over `NifraSchema`): reading `.jsonSchema` off a value typed only as
+ * `NifraSchema` would erase to the `TSchema` constraint and collapse the output type
+ * to `unknown`. Capturing `T` keeps `Static<T>` precise (`string[]`, not
+ * `unknown[]`).
+ */
+export declare const t: {
+    readonly string: (options?: StringOptions) => NifraSchema<import("@sinclair/typebox").TString>;
+    readonly number: (options?: NumberOptions) => NifraSchema<import("@sinclair/typebox").TNumber>;
+    readonly integer: (options?: IntegerOptions) => NifraSchema<import("@sinclair/typebox").TInteger>;
+    readonly boolean: () => NifraSchema<import("@sinclair/typebox").TBoolean>;
+    readonly null: () => NifraSchema<import("@sinclair/typebox").TNull>;
+    readonly literal: <const L extends TLiteralValue>(value: L) => NifraSchema<import("@sinclair/typebox").TLiteral<L>>;
+    readonly object: <P extends Props>(props: P, options?: ObjectOptions) => NifraSchema<import("@sinclair/typebox").TObject<{ [K in keyof P]: P[K]["jsonSchema"]; }>>;
+    /** Like `t.object` but ACCEPTS (and passes through) unknown fields — the explicit opt-out of the
+     * strict default. Prefer `t.object` unless you genuinely need an open object. */
+    readonly looseObject: <P extends Props>(props: P, options?: ObjectOptions) => NifraSchema<import("@sinclair/typebox").TObject<{ [K in keyof P]: P[K]["jsonSchema"]; }>>;
+    readonly array: <T extends TSchema>(item: NifraSchema<T>, options?: ArrayOptions) => NifraSchema<import("@sinclair/typebox").TArray<T>>;
+    /** Marks a property optional inside `t.object`; standalone it is `T | undefined`. */
+    readonly 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>>>;
+    readonly union: <const S extends readonly NifraSchema[]>(schemas: S) => NifraSchema<TUnion<{ -readonly [K in keyof S]: S[K]["jsonSchema"]; }>>;
+    readonly record: <T extends TSchema>(value: NifraSchema<T>, options?: ObjectOptions) => NifraSchema<import("@sinclair/typebox").TRecord<import("@sinclair/typebox").TString, T>>;
+};
+export {};
+//# sourceMappingURL=t.d.ts.map

package/dist/t.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"t.d.ts","sourceRoot":"","sources":["../src/t.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,YAAY,EACjB,KAAK,cAAc,EACnB,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,aAAa,EAClB,KAAK,OAAO,EACZ,KAAK,MAAM,EAEZ,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EAAe,KAAK,WAAW,EAAE,MAAM,cAAc,CAAA;AAE5D,KAAK,KAAK,GAAG,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAA;AAUxC;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,CAAC;gCACO,aAAa;gCACb,aAAa;iCACZ,cAAc;;;6BAGlB,CAAC,SAAS,aAAa,SAAS,CAAC;sBAMxC,CAAC,SAAS,KAAK,SAAS,CAAC,YAAY,aAAa,wDA/Bd,CAAC;IAiC9C;qFACiF;2BACnE,CAAC,SAAS,KAAK,SAAS,CAAC,YAAY,aAAa,wDAnCnB,CAAC;qBAqCtC,CAAC,SAAS,OAAO,QAAQ,WAAW,CAAC,CAAC,CAAC,YAAY,YAAY;IAEvE,qFAAqF;wBAC1E,CAAC,SAAS,OAAO,UAAU,WAAW,CAAC,CAAC,CAAC;2BAOtC,CAAC,SAAS,SAAS,WAAW,EAAE,WAAW,CAAC,KAGnD,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,GAAE,CAAC,CAAC;sBACnE,CAAC,SAAS,OAAO,SAAS,WAAW,CAAC,CAAC,CAAC,YAAY,aAAa;CAElE,CAAA"}