@nifrajs/client 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,30 @@
+# @nifrajs/client
+
+A browser-safe, **end-to-end-typed** client for [nifra](../../README.md) servers — an
+Eden-style proxy that **never throws**.
+
+```sh
+bun add @nifrajs/client
+```
+
+```ts
+import { client } from "@nifrajs/client"
+import type { App } from "./server" // `typeof app` from @nifrajs/core
+
+const api = client<App>("http://localhost:3000")
+
+const { ok, status, data, error } = await api.users({ id: "42" }).get()
+//                                          ^? typed from the server route
+```
+
+- **Zero codegen.** Types flow from `typeof app` (coupled) — or from a contract via
+  `client(contract, url)` (decoupled), with no dependency on the server's source.
+- **Proxy chaining.** Path segments are properties, `:params` are calls, verbs are
+  methods: `api.users({ id }).posts({ postId }).get()`. The root is `api.index`.
+- **Result, never exceptions.** Every call resolves to `{ ok, status, data, error }`,
+  so the failure path is in the types. Bodies are positional (`api.users.post({ name })`);
+  pass `{ query, headers, signal }` as call options.
+- **Environment-agnostic.** No Bun/Node APIs — runs in the browser, workers, or any
+  runtime with `fetch`.
+
+ESM-only. MIT.

package/dist/client.d.ts

@@ -0,0 +1,56 @@
+import type { ContractShape, RegistryFor } from "@nifrajs/core";
+import type { Treaty, TreatyFromRegistry } from "./treaty.js";
+/**
+ * The fetch shape the client needs — looser than `typeof fetch` so an in-process bridge or a
+ * test mock satisfies it without the extra members (`.preconnect`, overloads) of the global.
+ */
+export type FetchFn = (input: string, init?: RequestInit) => Promise<Response>;
+export interface ClientOptions {
+    /** Headers sent on every request (a per-call `headers` option is merged on top). */
+    readonly headers?: Record<string, string>;
+    /** Override the `fetch` implementation (tests, an in-process bridge, a custom agent, etc.). */
+    readonly fetch?: FetchFn;
+}
+/**
+ * Create an end-to-end-typed client for a nifra server. Two modes:
+ *
+ *   // coupled — typed from the server's type (`typeof app`)
+ *   const api = client<typeof app>("http://localhost:3000")
+ *
+ *   // decoupled — typed from a contract VALUE, no server import
+ *   const api = client(contract, "https://api.example.com")
+ *
+ *   const { data, error } = await api.users({ id: "1" }).get()
+ *
+ * Both return the same Eden-style proxy. Browser-safe: uses only `fetch` /
+ * `Proxy` / `URL`, never the server runtime. Never throws — network and non-2xx
+ * responses surface as a `Result` `error`.
+ */
+export declare function client<App>(baseUrl: string, options?: ClientOptions): Treaty<App>;
+export declare function client<const C extends ContractShape>(contract: C, baseUrl: string, options?: ClientOptions): TreatyFromRegistry<RegistryFor<C>>;
+/**
+ * A {@link client} whose `fetch` calls a nifra app's own `fetch` in-process — no network, full
+ * lifecycle (validation, middleware, contracts). For SSR loaders. Typed from `App` exactly like
+ * the network client. The `(url, init) → Request` bridge is required because the client calls
+ * `fetch(url, init)` while `app.fetch` takes a `Request`.
+ */
+export declare function inProcessClient<App extends {
+    fetch(request: Request): Response | Promise<Response>;
+}>(app: App, options?: Omit<ClientOptions, "fetch">): Treaty<App>;
+/**
+ * The in-process test client — the Fastify-`inject` / supertest equivalent for nifra. Drives the
+ * app's own `fetch` directly: no server, no port, no network, the full real lifecycle (validation,
+ * middleware, contracts, auth), and end-to-end types from `App`. Calls never throw — branch on
+ * `res.ok`. An alias of {@link inProcessClient} with a test-focused name; identical behavior.
+ *
+ * ```ts
+ * import { testClient } from "@nifrajs/client"
+ * import { app } from "../src/app"
+ *
+ * const api = testClient<typeof app>(app)
+ * const res = await api.users({ id: "42" }).get()
+ * expect(res.ok && res.data.id).toBe("42")
+ * ```
+ */
+export declare const testClient: typeof inProcessClient;
+//# sourceMappingURL=client.d.ts.map

package/dist/client.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"client.d.ts","sourceRoot":"","sources":["../src/client.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,eAAe,CAAA;AAE/D,OAAO,KAAK,EAAE,MAAM,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAA;AAa7D;;;GAGG;AACH,MAAM,MAAM,OAAO,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,WAAW,KAAK,OAAO,CAAC,QAAQ,CAAC,CAAA;AAE9E,MAAM,WAAW,aAAa;IAC5B,oFAAoF;IACpF,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACzC,+FAA+F;IAC/F,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAA;CACzB;AAQD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,MAAM,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,aAAa,GAAG,MAAM,CAAC,GAAG,CAAC,CAAA;AAClF,wBAAgB,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,aAAa,EAClD,QAAQ,EAAE,CAAC,EACX,OAAO,EAAE,MAAM,EACf,OAAO,CAAC,EAAE,aAAa,GACtB,kBAAkB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAA;AAerC;;;;;GAKG;AACH,wBAAgB,eAAe,CAC7B,GAAG,SAAS;IAAE,KAAK,CAAC,OAAO,EAAE,OAAO,GAAG,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAA;CAAE,EACrE,GAAG,EAAE,GAAG,EAAE,OAAO,CAAC,EAAE,IAAI,CAAC,aAAa,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAK/D;AAED;;;;;;;;;;;;;;GAcG;AACH,eAAO,MAAM,UAAU,wBAAkB,CAAA"}

package/dist/client.js

@@ -0,0 +1,142 @@
+const HTTP_VERBS = new Set([
+    "get",
+    "post",
+    "put",
+    "patch",
+    "delete",
+    "head",
+    "options",
+]);
+const BODY_VERBS = new Set(["post", "put", "patch"]);
+export function client(arg1, arg2, arg3) {
+    const baseUrl = typeof arg1 === "string" ? arg1 : arg2;
+    const options = (typeof arg1 === "string" ? arg2 : arg3) ?? {};
+    const base = baseUrl.endsWith("/") ? baseUrl.slice(0, -1) : baseUrl;
+    // The contract value (decoupled mode) is only a type carrier here; the runtime
+    // proxy needs just the base URL. (Client-side validation from the contract's
+    // schemas is a future enhancement.)
+    return createProxy(base, "", options);
+}
+/**
+ * A {@link client} whose `fetch` calls a nifra app's own `fetch` in-process — no network, full
+ * lifecycle (validation, middleware, contracts). For SSR loaders. Typed from `App` exactly like
+ * the network client. The `(url, init) → Request` bridge is required because the client calls
+ * `fetch(url, init)` while `app.fetch` takes a `Request`.
+ */
+export function inProcessClient(app, options) {
+    return client("http://nifra.internal", {
+        ...options,
+        fetch: (url, init) => Promise.resolve(app.fetch(new Request(url, init))),
+    });
+}
+/**
+ * The in-process test client — the Fastify-`inject` / supertest equivalent for nifra. Drives the
+ * app's own `fetch` directly: no server, no port, no network, the full real lifecycle (validation,
+ * middleware, contracts, auth), and end-to-end types from `App`. Calls never throw — branch on
+ * `res.ok`. An alias of {@link inProcessClient} with a test-focused name; identical behavior.
+ *
+ * ```ts
+ * import { testClient } from "@nifrajs/client"
+ * import { app } from "../src/app"
+ *
+ * const api = testClient<typeof app>(app)
+ * const res = await api.users({ id: "42" }).get()
+ * expect(res.ok && res.data.id).toBe("42")
+ * ```
+ */
+export const testClient = inProcessClient;
+function createProxy(base, path, options) {
+    const target = () => { };
+    return new Proxy(target, {
+        get(_target, key) {
+            // `then` guard: keep an un-awaited node proxy from looking like a thenable.
+            if (typeof key !== "string" || key === "then")
+                return undefined;
+            if (HTTP_VERBS.has(key.toLowerCase())) {
+                return (...args) => execute(base, path, key.toLowerCase(), args, options);
+            }
+            // `index` addresses the root path "/" and adds no segment.
+            return createProxy(base, key === "index" ? path : `${path}/${key}`, options);
+        },
+        apply(_target, _thisArg, args) {
+            // A param call (`api.users({ id })`): append the single value, encoded — encoding "/"
+            // round-trips through the server's decode, so wildcards and params share this one path.
+            // The Treaty type requires the object, but the runtime must stay graceful: a no-arg call
+            // (`api.users()`) or empty object (`api.users({})`) must NOT throw — the client's contract is
+            // to never throw — nor synthesize an `"undefined"` path segment. With no value, fall through
+            // to the bare path, which the server resolves as an ordinary `{ ok: false }` (404) Result.
+            const first = args[0];
+            const value = first !== null && typeof first === "object"
+                ? Object.values(first)[0]
+                : first;
+            if (value === undefined || value === null)
+                return createProxy(base, path, options);
+            return createProxy(base, `${path}/${encodeURIComponent(String(value))}`, options);
+        },
+    });
+}
+async function execute(base, path, verb, args, options) {
+    const isBodyVerb = BODY_VERBS.has(verb);
+    const body = isBodyVerb ? args[0] : undefined;
+    const callOptions = (isBodyVerb ? args[1] : args[0]);
+    let url = base + (path === "" ? "/" : path);
+    const query = callOptions?.query ? buildQuery(callOptions.query) : "";
+    if (query !== "")
+        url += `?${query}`;
+    const headers = { ...options.headers, ...callOptions?.headers };
+    const init = { method: verb.toUpperCase(), headers };
+    if (body !== undefined) {
+        init.body = JSON.stringify(body);
+        headers["content-type"] = "application/json";
+    }
+    if (callOptions?.signal)
+        init.signal = callOptions.signal;
+    const doFetch = options.fetch ?? fetch;
+    let response;
+    try {
+        response = await doFetch(url, init);
+    }
+    catch {
+        return { ok: false, status: 0, data: null, error: { error: "network_error" } };
+    }
+    const data = await parseBody(response);
+    if (response.ok) {
+        return { ok: true, status: response.status, data, error: null };
+    }
+    return { ok: false, status: response.status, data: null, error: toApiError(data) };
+}
+function buildQuery(query) {
+    const params = new URLSearchParams();
+    for (const [key, value] of Object.entries(query)) {
+        if (value !== undefined)
+            params.set(key, String(value));
+    }
+    return params.toString();
+}
+async function parseBody(response) {
+    if (response.status === 204)
+        return undefined;
+    const text = await response.text();
+    if (text === "")
+        return undefined;
+    try {
+        return JSON.parse(text);
+    }
+    catch {
+        return text; // a non-JSON body (e.g. a plain-text Response) is returned as-is
+    }
+}
+function toApiError(data) {
+    if (typeof data === "object" &&
+        data !== null &&
+        "error" in data &&
+        typeof data.error === "string") {
+        // Trust the server's `{ error, issues }` shape (it's what nifra emits).
+        const issues = "issues" in data && Array.isArray(data.issues)
+            ? data.issues
+            : undefined;
+        return issues !== undefined ? { error: data.error, issues } : { error: data.error };
+    }
+    return { error: "request_failed" };
+}
+//# sourceMappingURL=client.js.map

package/dist/client.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"client.js","sourceRoot":"","sources":["../src/client.ts"],"names":[],"mappings":"AAIA,MAAM,UAAU,GAAwB,IAAI,GAAG,CAAC;IAC9C,KAAK;IACL,MAAM;IACN,KAAK;IACL,OAAO;IACP,QAAQ;IACR,MAAM;IACN,SAAS;CACV,CAAC,CAAA;AACF,MAAM,UAAU,GAAwB,IAAI,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAA;AA0CzE,MAAM,UAAU,MAAM,CACpB,IAA4B,EAC5B,IAA6B,EAC7B,IAAoB;IAEpB,MAAM,OAAO,GAAG,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,IAAe,CAAA;IAClE,MAAM,OAAO,GAAG,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAE,IAAkC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,CAAA;IAC7F,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAA;IACnE,+EAA+E;IAC/E,6EAA6E;IAC7E,oCAAoC;IACpC,OAAO,WAAW,CAAC,IAAI,EAAE,EAAE,EAAE,OAAO,CAAC,CAAA;AACvC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAE7B,GAAQ,EAAE,OAAsC;IAChD,OAAO,MAAM,CAAM,uBAAuB,EAAE;QAC1C,GAAG,OAAO;QACV,KAAK,EAAE,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;KACzE,CAAC,CAAA;AACJ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,eAAe,CAAA;AAEzC,SAAS,WAAW,CAAC,IAAY,EAAE,IAAY,EAAE,OAAsB;IACrE,MAAM,MAAM,GAAG,GAAS,EAAE,GAAE,CAAC,CAAA;IAC7B,OAAO,IAAI,KAAK,CAAC,MAAM,EAAE;QACvB,GAAG,CAAC,OAAO,EAAE,GAAG;YACd,4EAA4E;YAC5E,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,MAAM;gBAAE,OAAO,SAAS,CAAA;YAC/D,IAAI,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC;gBACtC,OAAO,CAAC,GAAG,IAAe,EAA4B,EAAE,CACtD,OAAO,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,WAAW,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,CAAA;YACzD,CAAC;YACD,2DAA2D;YAC3D,OAAO,WAAW,CAAC,IAAI,EAAE,GAAG,KAAK,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,IAAI,GAAG,EAAE,EAAE,OAAO,CAAC,CAAA;QAC9E,CAAC;QACD,KAAK,CAAC,OAAO,EAAE,QAAQ,EAAE,IAAI;YAC3B,sFAAsF;YACtF,wFAAwF;YACxF,yFAAyF;YACzF,8FAA8F;YAC9F,6FAA6F;YAC7F,2FAA2F;YAC3F,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;YACrB,MAAM,KAAK,GACT,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;gBACzC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAgC,CAAC,CAAC,CAAC,CAAC;gBACpD,CAAC,CAAC,KAAK,CAAA;YACX,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,IAAI;gBAAE,OAAO,WAAW,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,CAAA;YAClF,OAAO,WAAW,CAAC,IAAI,EAAE,GAAG,IAAI,IAAI,kBAAkB,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,OAAO,CAAC,CAAA;QACnF,CAAC;KACF,CAAC,CAAA;AACJ,CAAC;AAED,KAAK,UAAU,OAAO,CACpB,IAAY,EACZ,IAAY,EACZ,IAAY,EACZ,IAAe,EACf,OAAsB;IAEtB,MAAM,UAAU,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IACvC,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;IAC7C,MAAM,WAAW,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAA4B,CAAA;IAE/E,IAAI,GAAG,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAA;IAC3C,MAAM,KAAK,GAAG,WAAW,EAAE,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IACrE,IAAI,KAAK,KAAK,EAAE;QAAE,GAAG,IAAI,IAAI,KAAK,EAAE,CAAA;IAEpC,MAAM,OAAO,GAA2B,EAAE,GAAG,OAAO,CAAC,OAAO,EAAE,GAAG,WAAW,EAAE,OAAO,EAAE,CAAA;IACvF,MAAM,IAAI,GAAgB,EAAE,MAAM,EAAE,IAAI,CAAC,WAAW,EAAE,EAAE,OAAO,EAAE,CAAA;IACjE,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAA;QAChC,OAAO,CAAC,cAAc,CAAC,GAAG,kBAAkB,CAAA;IAC9C,CAAC;IACD,IAAI,WAAW,EAAE,MAAM;QAAE,IAAI,CAAC,MAAM,GAAG,WAAW,CAAC,MAAM,CAAA;IAEzD,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,IAAI,KAAK,CAAA;IACtC,IAAI,QAAkB,CAAA;IACtB,IAAI,CAAC;QACH,QAAQ,GAAG,MAAM,OAAO,CAAC,GAAG,EAAE,IAAI,CAAC,CAAA;IACrC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,EAAE,CAAA;IAChF,CAAC;IAED,MAAM,IAAI,GAAG,MAAM,SAAS,CAAC,QAAQ,CAAC,CAAA;IACtC,IAAI,QAAQ,CAAC,EAAE,EAAE,CAAC;QAChB,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAA;IACjE,CAAC;IACD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,CAAC,IAAI,CAAC,EAAE,CAAA;AACpF,CAAC;AAED,SAAS,UAAU,CAAC,KAA8B;IAChD,MAAM,MAAM,GAAG,IAAI,eAAe,EAAE,CAAA;IACpC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,IAAI,KAAK,KAAK,SAAS;YAAE,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAA;IACzD,CAAC;IACD,OAAO,MAAM,CAAC,QAAQ,EAAE,CAAA;AAC1B,CAAC;AAED,KAAK,UAAU,SAAS,CAAC,QAAkB;IACzC,IAAI,QAAQ,CAAC,MAAM,KAAK,GAAG;QAAE,OAAO,SAAS,CAAA;IAC7C,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAA;IAClC,IAAI,IAAI,KAAK,EAAE;QAAE,OAAO,SAAS,CAAA;IACjC,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IACzB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAA,CAAC,iEAAiE;IAC/E,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,IAAa;IAC/B,IACE,OAAO,IAAI,KAAK,QAAQ;QACxB,IAAI,KAAK,IAAI;QACb,OAAO,IAAI,IAAI;QACf,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,EAC9B,CAAC;QACD,wEAAwE;QACxE,MAAM,MAAM,GACV,QAAQ,IAAI,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC;YAC5C,CAAC,CAAE,IAAI,CAAC,MAA6B;YACrC,CAAC,CAAC,SAAS,CAAA;QACf,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAA;IACrF,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,gBAAgB,EAAE,CAAA;AACpC,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,12 @@
+/**
+ * @nifrajs/client — browser-safe, end-to-end-typed client for @nifrajs/core servers.
+ *
+ * `client<typeof app>(url)` returns an Eden-style proxy whose calls are typed
+ * from the server's accumulated route registry, with zero codegen.
+ */
+export { type ClientOptions, client, type FetchFn, inProcessClient, testClient, } from "./client.js";
+export type { Jsonify } from "./jsonify.js";
+export type { ApiError, Result } from "./result.js";
+export type { ActionArgs, ActionData, ApiProxy, LoaderArgs, LoaderData } from "./routes.js";
+export type { RegistryOf, Treaty, TreatyFromRegistry } from "./treaty.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;;;;;GAKG;AACH,OAAO,EACL,KAAK,aAAa,EAClB,MAAM,EACN,KAAK,OAAO,EACZ,eAAe,EACf,UAAU,GACX,MAAM,aAAa,CAAA;AACpB,YAAY,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAC3C,YAAY,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACnD,YAAY,EAAE,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AAC3F,YAAY,EAAE,UAAU,EAAE,MAAM,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAA"}

package/dist/index.js

@@ -0,0 +1,8 @@
+/**
+ * @nifrajs/client — browser-safe, end-to-end-typed client for @nifrajs/core servers.
+ *
+ * `client<typeof app>(url)` returns an Eden-style proxy whose calls are typed
+ * from the server's accumulated route registry, with zero codegen.
+ */
+export { client, inProcessClient, testClient, } from "./client.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;;;;;GAKG;AACH,OAAO,EAEL,MAAM,EAEN,eAAe,EACf,UAAU,GACX,MAAM,aAAa,CAAA"}

package/dist/jsonify.d.ts

@@ -0,0 +1,14 @@
+/**
+ * Maps a value to the shape it takes after a JSON round-trip, so the client's
+ * `data` type reflects the wire — not the handler's in-memory return.
+ *
+ * - `Date` → `string`; `undefined` / functions / `bigint` → dropped from objects
+ * - arrays and plain objects recurse; optionality (`?`) is preserved
+ *
+ * Pragmatic by design: `Map`/`Set`/class instances/custom `toJSON` are treated as
+ * plain objects (best-effort), not specially handled. Documented, not magic.
+ */
+export type Jsonify<T> = [unknown] extends [T] ? unknown : T extends string | number | boolean | null ? T : T extends Date ? string : T extends bigint ? never : T extends (...args: never[]) => unknown ? never : T extends undefined ? never : T extends ReadonlyArray<infer U> ? Array<Jsonify<U>> : T extends object ? {
+    [K in keyof T as [Jsonify<T[K]>] extends [never] ? never : K]: Jsonify<T[K]>;
+} : never;
+//# sourceMappingURL=jsonify.d.ts.map

package/dist/jsonify.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"jsonify.d.ts","sourceRoot":"","sources":["../src/jsonify.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,GAC1C,OAAO,GACP,CAAC,SAAS,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,GACxC,CAAC,GACD,CAAC,SAAS,IAAI,GACZ,MAAM,GACN,CAAC,SAAS,MAAM,GACd,KAAK,GACL,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,OAAO,GACrC,KAAK,GACL,CAAC,SAAS,SAAS,GACjB,KAAK,GACL,CAAC,SAAS,aAAa,CAAC,MAAM,CAAC,CAAC,GAC9B,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GACjB,CAAC,SAAS,MAAM,GACd;KAAG,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,GAChF,KAAK,CAAA"}

package/dist/jsonify.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=jsonify.js.map

package/dist/jsonify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"jsonify.js","sourceRoot":"","sources":["../src/jsonify.ts"],"names":[],"mappings":""}

package/dist/result.d.ts

@@ -0,0 +1,25 @@
+/** A structured API error, mirroring the server's `{ ok: false, error, issues }`. */
+export interface ApiError {
+    readonly error: string;
+    readonly issues?: ReadonlyArray<{
+        readonly message: string;
+        readonly path?: ReadonlyArray<string>;
+    }>;
+}
+/**
+ * The outcome of a client call. The client never throws — inspect `ok` (or
+ * `error`) to branch. On success `data` is the (JSON-shaped) response body; on
+ * failure `error` carries the server's structured error or a transport error.
+ */
+export type Result<Data> = {
+    readonly ok: true;
+    readonly status: number;
+    readonly data: Data;
+    readonly error: null;
+} | {
+    readonly ok: false;
+    readonly status: number;
+    readonly data: null;
+    readonly error: ApiError;
+};
+//# sourceMappingURL=result.d.ts.map

package/dist/result.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"result.d.ts","sourceRoot":"","sources":["../src/result.ts"],"names":[],"mappings":"AAAA,qFAAqF;AACrF,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC;QAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;QACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;KACtC,CAAC,CAAA;CACH;AAED;;;;GAIG;AACH,MAAM,MAAM,MAAM,CAAC,IAAI,IACnB;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAA;CAAE,GACzF;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;CAAE,CAAA"}

package/dist/result.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=result.js.map

package/dist/result.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"result.js","sourceRoot":"","sources":["../src/result.ts"],"names":[],"mappings":""}

package/dist/routes.d.ts

@@ -0,0 +1,47 @@
+import type { ContractShape, RegistryFor } from "@nifrajs/core";
+import type { Treaty, TreatyFromRegistry } from "./treaty.js";
+/**
+ * The typed client proxy for an API type — either a server type (`typeof app`, coupled) or a
+ * contract value type (decoupled). Graduating a loader from `typeof app` to a versioned
+ * contract is just changing this one type argument; the loader body is identical.
+ */
+export type ApiProxy<Api> = Api extends ContractShape ? TreatyFromRegistry<RegistryFor<Api>> : Treaty<Api>;
+/**
+ * Context a route `loader` receives: the route params, the request, a typed in-process `api` (an
+ * {@link ApiProxy} for the app contract `Api`), and the platform `env`. Pair with `inProcessClient`.
+ */
+export interface LoaderArgs<Api, Env = unknown> {
+    readonly params: Record<string, string>;
+    readonly request: Request;
+    readonly api: ApiProxy<Api>;
+    /**
+     * Platform bindings (Workers `env` — KV/D1/secrets), forwarded from the request `c.env`.
+     * `undefined` off-edge (Bun/Node/Deno). Declare the shape via the second type argument —
+     * `LoaderArgs<typeof app, Env>` (the same `Env` the backend's `server<Env>()` uses) — to read it
+     * typed; otherwise `unknown`. Validate at the trust boundary before use.
+     */
+    readonly env: Env;
+    /** `true` when the request carries a valid draft/preview cookie (when the app sets a `draftSecret`;
+     * otherwise always `false`). Branch on it to load unpublished content for editors — see `enableDraft`. */
+    readonly draft: boolean;
+}
+/** The (awaited) return of a `loader`, for typing a page component's `data` prop. */
+export type LoaderData<L> = L extends (...args: never[]) => infer R ? Awaited<R> : never;
+/**
+ * Context a route `action` (a mutation, run on POST) receives — identical to a loader's:
+ * route params, the request (read the form/JSON body off this), and the typed in-process
+ * `api` + platform `env`. An action returns either data (surfaced to the page as `actionData`) or a
+ * `Response` (e.g. a `redirect(...)` for the Post/Redirect/Get pattern).
+ */
+export type ActionArgs<Api, Env = unknown> = LoaderArgs<Api, Env>;
+/**
+ * The (awaited) data return of an `action`, for typing a page component's `actionData` prop.
+ * A `Response` return (redirect/custom) is excluded — it never reaches the component. A
+ * `revalidate(paths, data)` wrapper (from `@nifrajs/web`) is transparent: matched structurally (so this
+ * stays decoupled from `@nifrajs/web`) and unwrapped to its inner `data` — what the component receives.
+ */
+export type ActionData<A> = A extends (...args: never[]) => infer R ? Awaited<R> extends {
+    readonly __nifraRevalidate: readonly string[];
+    readonly data: infer D;
+} ? Exclude<D, Response> : Exclude<Awaited<R>, Response> : never;
+//# sourceMappingURL=routes.d.ts.map

package/dist/routes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"routes.d.ts","sourceRoot":"","sources":["../src/routes.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,eAAe,CAAA;AAC/D,OAAO,KAAK,EAAE,MAAM,EAAE,kBAAkB,EAAE,MAAM,aAAa,CAAA;AAE7D;;;;GAIG;AACH,MAAM,MAAM,QAAQ,CAAC,GAAG,IAAI,GAAG,SAAS,aAAa,GACjD,kBAAkB,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,GACpC,MAAM,CAAC,GAAG,CAAC,CAAA;AAEf;;;GAGG;AACH,MAAM,WAAW,UAAU,CAAC,GAAG,EAAE,GAAG,GAAG,OAAO;IAC5C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IACvC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAA;IAC3B;;;;;OAKG;IACH,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAA;IACjB;8GAC0G;IAC1G,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CACxB;AAED,qFAAqF;AACrF,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,KAAK,CAAA;AAExF;;;;;GAKG;AACH,MAAM,MAAM,UAAU,CAAC,GAAG,EAAE,GAAG,GAAG,OAAO,IAAI,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;AAEjE;;;;;GAKG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,MAAM,CAAC,GAC/D,OAAO,CAAC,CAAC,CAAC,SAAS;IAAE,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;CAAE,GAC1F,OAAO,CAAC,CAAC,EAAE,QAAQ,CAAC,GACpB,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,GAC/B,KAAK,CAAA"}

package/dist/routes.js

@@ -0,0 +1,14 @@
+export {};
+// Why a type annotation, not a `createRoutes()` factory: a module-level factory call defeats
+// the bundler's tree-shaking (the call is retained, dragging the loader into the client bundle).
+// `LoaderArgs<Api>` is a pure type — it erases — so the loader stays a plain function the client
+// build can drop entirely. Bind the contract once with a shared alias:
+//
+//   // app/loaders.ts
+//   export type AppLoader = LoaderArgs<typeof backend>   // coupled
+//   export type AppLoader = LoaderArgs<MyContract>       // graduated — same loaders
+//
+//   // routes/users/[id].tsx
+//   export async function loader({ api, params }: AppLoader) { … }   // ctx.api typed
+//   export default (props: { data: LoaderData<typeof loader> }) => …  // data typed
+//# sourceMappingURL=routes.js.map

package/dist/routes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"routes.js","sourceRoot":"","sources":["../src/routes.ts"],"names":[],"mappings":";AAuDA,6FAA6F;AAC7F,iGAAiG;AACjG,iGAAiG;AACjG,uEAAuE;AACvE,EAAE;AACF,sBAAsB;AACtB,oEAAoE;AACpE,qFAAqF;AACrF,EAAE;AACF,6BAA6B;AAC7B,sFAAsF;AACtF,oFAAoF"}

package/dist/treaty.d.ts

@@ -0,0 +1,57 @@
+import type { RouteInfo, Server } from "@nifrajs/core";
+import type { Jsonify } from "./jsonify.js";
+import type { Result } from "./result.js";
+/** Extract the accumulated route registry from a server's type (`typeof app`), ignoring its middleware context. */
+export type RegistryOf<App> = App extends Server<infer R, infer _Ctx> ? R : never;
+type CallOptions<I extends RouteInfo> = {
+    query?: [I["query"]] extends [never] ? never : I["query"];
+    headers?: Record<string, string>;
+    signal?: AbortSignal;
+};
+type IsBodyVerb<M extends string> = M extends "POST" | "PUT" | "PATCH" ? true : false;
+/**
+ * A terminal method call. The shape is **verb-aware** so the runtime can read
+ * args unambiguously with no route info: body-verbs (POST/PUT/PATCH) always take
+ * the body positionally Eden-style (typed `undefined` when the route has no body
+ * schema, so it's still slot 0); GET/DELETE/HEAD take only options. Returns a
+ * `Result` whose data is the handler's output as it arrives over the wire
+ * (`Jsonify`).
+ */
+type MethodCall<I extends RouteInfo, BodyVerb extends boolean> = BodyVerb extends true ? [I["body"]] extends [never] ? (body?: undefined, options?: CallOptions<I>) => Promise<Result<Jsonify<I["output"]>>> : (body: I["body"], options?: CallOptions<I>) => Promise<Result<Jsonify<I["output"]>>> : (options?: CallOptions<I>) => Promise<Result<Jsonify<I["output"]>>>;
+type Methods<MethodMap> = {
+    [M in keyof MethodMap as Lowercase<M & string>]: MethodCall<MethodMap[M] & RouteInfo, IsBodyVerb<M & string>>;
+};
+type Sub<R, Prefix extends string> = Extract<keyof R, `${Prefix}/${string}`>;
+type NextSeg<Prefix extends string, Path extends string> = Path extends `${Prefix}/${infer Seg}/${string}` ? Seg : Path extends `${Prefix}/${infer Seg}` ? Seg : never;
+type NextSegs<R, Prefix extends string> = {
+    [P in Sub<R, Prefix> & string]: NextSeg<Prefix, P>;
+}[Sub<R, Prefix> & string];
+type StaticSegs<R, Prefix extends string> = Exclude<NextSegs<R, Prefix>, `:${string}` | `*${string}` | "">;
+type ParamSeg<R, Prefix extends string> = Extract<NextSegs<R, Prefix>, `:${string}` | `*${string}`>;
+type MethodsAt<R, Prefix extends string> = Prefix extends keyof R ? Methods<R[Prefix]> : unknown;
+type StaticChildren<R, Prefix extends string> = {
+    [Seg in StaticSegs<R, Prefix> & string]: TreatyNode<R, `${Prefix}/${Seg}`>;
+};
+type ParamChild<R, Prefix extends string> = [ParamSeg<R, Prefix>] extends [never] ? unknown : ParamSeg<R, Prefix> extends `:${infer Name}` ? (params: Record<Name, string>) => TreatyNode<R, `${Prefix}/:${Name}`> : ParamSeg<R, Prefix> extends `*${infer Name}` ? (params: Record<Name extends "" ? "*" : Name, string>) => TreatyNode<R, `${Prefix}/*${Name}`> : unknown;
+type TreatyNode<R, Prefix extends string> = MethodsAt<R, Prefix> & StaticChildren<R, Prefix> & ParamChild<R, Prefix>;
+type RootIndex<R> = "/" extends keyof R ? {
+    readonly index: Methods<R["/"]>;
+} : unknown;
+/**
+ * The Eden-style proxy type for a route registry — the shared core used by both
+ * `Treaty<App>` (coupled, from `typeof app`) and `client(contract, url)`
+ * (decoupled, from a contract's `RegistryFor`).
+ */
+export type TreatyFromRegistry<R> = TreatyNode<R, ""> & RootIndex<R>;
+/**
+ * The Eden-style proxy type for a server. Use a named alias for readable errors:
+ *
+ *   type App = typeof app
+ *   const api: Treaty<App> = client<App>("http://localhost:3000")
+ *   await api.users({ id: "1" }).get()      // GET /users/:id
+ *   await api.users.post({ name: "Ada" })   // POST /users  (body positional)
+ *   await api.index.get()                   // GET /
+ */
+export type Treaty<App> = TreatyFromRegistry<RegistryOf<App>>;
+export {};
+//# sourceMappingURL=treaty.d.ts.map

package/dist/treaty.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"treaty.d.ts","sourceRoot":"","sources":["../src/treaty.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,eAAe,CAAA;AACtD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAC3C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AAEzC,mHAAmH;AACnH,MAAM,MAAM,UAAU,CAAC,GAAG,IAAI,GAAG,SAAS,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,IAAI,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAIjF,KAAK,WAAW,CAAC,CAAC,SAAS,SAAS,IAAI;IACtC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,CAAA;IACzD,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAChC,MAAM,CAAC,EAAE,WAAW,CAAA;CACrB,CAAA;AAED,KAAK,UAAU,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,MAAM,GAAG,KAAK,GAAG,OAAO,GAAG,IAAI,GAAG,KAAK,CAAA;AAErF;;;;;;;GAOG;AACH,KAAK,UAAU,CAAC,CAAC,SAAS,SAAS,EAAE,QAAQ,SAAS,OAAO,IAAI,QAAQ,SAAS,IAAI,GAClF,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACzB,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,OAAO,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GACrF,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GACtF,CAAC,OAAO,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;AAEvE,KAAK,OAAO,CAAC,SAAS,IAAI;KACvB,CAAC,IAAI,MAAM,SAAS,IAAI,SAAS,CAAC,CAAC,GAAG,MAAM,CAAC,GAAG,UAAU,CACzD,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,EACxB,UAAU,CAAC,CAAC,GAAG,MAAM,CAAC,CACvB;CACF,CAAA;AAID,KAAK,GAAG,CAAC,CAAC,EAAE,MAAM,SAAS,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,IAAI,MAAM,EAAE,CAAC,CAAA;AAE5E,KAAK,OAAO,CACV,MAAM,SAAS,MAAM,EACrB,IAAI,SAAS,MAAM,IACjB,IAAI,SAAS,GAAG,MAAM,IAAI,MAAM,GAAG,IAAI,MAAM,EAAE,GAC/C,GAAG,GACH,IAAI,SAAS,GAAG,MAAM,IAAI,MAAM,GAAG,EAAE,GACnC,GAAG,GACH,KAAK,CAAA;AAEX,KAAK,QAAQ,CAAC,CAAC,EAAE,MAAM,SAAS,MAAM,IAAI;KACvC,CAAC,IAAI,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;CACnD,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,MAAM,CAAC,CAAA;AAG1B,KAAK,UAAU,CAAC,CAAC,EAAE,MAAM,SAAS,MAAM,IAAI,OAAO,CACjD,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,EACnB,IAAI,MAAM,EAAE,GAAG,IAAI,MAAM,EAAE,GAAG,EAAE,CACjC,CAAA;AACD,KAAK,QAAQ,CAAC,CAAC,EAAE,MAAM,SAAS,MAAM,IAAI,OAAO,CAAC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,IAAI,MAAM,EAAE,GAAG,IAAI,MAAM,EAAE,CAAC,CAAA;AAKnG,KAAK,SAAS,CAAC,CAAC,EAAE,MAAM,SAAS,MAAM,IAAI,MAAM,SAAS,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,OAAO,CAAA;AAEhG,KAAK,cAAc,CAAC,CAAC,EAAE,MAAM,SAAS,MAAM,IAAI;KAC7C,GAAG,IAAI,UAAU,CAAC,CAAC,EAAE,MAAM,CAAC,GAAG,MAAM,GAAG,UAAU,CAAC,CAAC,EAAE,GAAG,MAAM,IAAI,GAAG,EAAE,CAAC;CAC3E,CAAA;AAED,KAAK,UAAU,CAAC,CAAC,EAAE,MAAM,SAAS,MAAM,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC7E,OAAO,GACP,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,SAAS,IAAI,MAAM,IAAI,EAAE,GAC1C,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,UAAU,CAAC,CAAC,EAAE,GAAG,MAAM,KAAK,IAAI,EAAE,CAAC,GACrE,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,SAAS,IAAI,MAAM,IAAI,EAAE,GAC1C,CACE,MAAM,EAAE,MAAM,CAAC,IAAI,SAAS,EAAE,GAAG,GAAG,GAAG,IAAI,EAAE,MAAM,CAAC,KACjD,UAAU,CAAC,CAAC,EAAE,GAAG,MAAM,KAAK,IAAI,EAAE,CAAC,GACxC,OAAO,CAAA;AAEf,KAAK,UAAU,CAAC,CAAC,EAAE,MAAM,SAAS,MAAM,IAAI,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,GAC9D,cAAc,CAAC,CAAC,EAAE,MAAM,CAAC,GACzB,UAAU,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;AAGvB,KAAK,SAAS,CAAC,CAAC,IAAI,GAAG,SAAS,MAAM,CAAC,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;CAAE,GAAG,OAAO,CAAA;AAEvF;;;;GAIG;AACH,MAAM,MAAM,kBAAkB,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;AAEpE;;;;;;;;GAQG;AACH,MAAM,MAAM,MAAM,CAAC,GAAG,IAAI,kBAAkB,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAA"}

package/dist/treaty.js

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=treaty.js.map

package/dist/treaty.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"treaty.js","sourceRoot":"","sources":["../src/treaty.ts"],"names":[],"mappings":""}

package/package.json

@@ -0,0 +1,57 @@
+{
+  "name": "@nifrajs/client",
+  "version": "0.1.0-alpha.1",
+  "description": "Browser-safe, end-to-end-typed client for @nifrajs/core servers (Eden-style proxy).",
+  "keywords": [
+    "bun",
+    "typescript",
+    "nifra",
+    "web-framework",
+    "full-stack",
+    "edge",
+    "ssr",
+    "rpc",
+    "typed-client",
+    "fetch",
+    "end-to-end-types"
+  ],
+  "type": "module",
+  "main": "./dist/index.js",
+  "module": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "bun": "./src/index.ts",
+      "types": "./dist/index.d.ts",
+      "default": "./dist/index.js"
+    }
+  },
+  "files": [
+    "dist",
+    "src"
+  ],
+  "sideEffects": false,
+  "scripts": {
+    "build": "tsc -p tsconfig.build.json && bun run ../../scripts/fix-dts.ts dist"
+  },
+  "license": "MIT",
+  "publishConfig": {
+    "access": "public"
+  },
+  "peerDependencies": {
+    "@nifrajs/core": "workspace:*"
+  },
+  "devDependencies": {
+    "@nifrajs/core": "workspace:*",
+    "@nifrajs/test-utils": "workspace:*"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/nifrajs/nifra.git",
+    "directory": "packages/client"
+  },
+  "bugs": {
+    "url": "https://github.com/nifrajs/nifra/issues"
+  },
+  "homepage": "https://github.com/nifrajs/nifra#readme"
+}

package/src/client.ts

@@ -0,0 +1,205 @@
+import type { ContractShape, RegistryFor } from "@nifrajs/core"
+import type { ApiError, Result } from "./result.ts"
+import type { Treaty, TreatyFromRegistry } from "./treaty.ts"
+
+const HTTP_VERBS: ReadonlySet<string> = new Set([
+  "get",
+  "post",
+  "put",
+  "patch",
+  "delete",
+  "head",
+  "options",
+])
+const BODY_VERBS: ReadonlySet<string> = new Set(["post", "put", "patch"])
+
+/**
+ * The fetch shape the client needs — looser than `typeof fetch` so an in-process bridge or a
+ * test mock satisfies it without the extra members (`.preconnect`, overloads) of the global.
+ */
+export type FetchFn = (input: string, init?: RequestInit) => Promise<Response>
+
+export interface ClientOptions {
+  /** Headers sent on every request (a per-call `headers` option is merged on top). */
+  readonly headers?: Record<string, string>
+  /** Override the `fetch` implementation (tests, an in-process bridge, a custom agent, etc.). */
+  readonly fetch?: FetchFn
+}
+
+interface CallOptions {
+  readonly query?: Record<string, unknown>
+  readonly headers?: Record<string, string>
+  readonly signal?: AbortSignal
+}
+
+/**
+ * Create an end-to-end-typed client for a nifra server. Two modes:
+ *
+ *   // coupled — typed from the server's type (`typeof app`)
+ *   const api = client<typeof app>("http://localhost:3000")
+ *
+ *   // decoupled — typed from a contract VALUE, no server import
+ *   const api = client(contract, "https://api.example.com")
+ *
+ *   const { data, error } = await api.users({ id: "1" }).get()
+ *
+ * Both return the same Eden-style proxy. Browser-safe: uses only `fetch` /
+ * `Proxy` / `URL`, never the server runtime. Never throws — network and non-2xx
+ * responses surface as a `Result` `error`.
+ */
+export function client<App>(baseUrl: string, options?: ClientOptions): Treaty<App>
+export function client<const C extends ContractShape>(
+  contract: C,
+  baseUrl: string,
+  options?: ClientOptions,
+): TreatyFromRegistry<RegistryFor<C>>
+export function client(
+  arg1: string | ContractShape,
+  arg2?: string | ClientOptions,
+  arg3?: ClientOptions,
+): unknown {
+  const baseUrl = typeof arg1 === "string" ? arg1 : (arg2 as string)
+  const options = (typeof arg1 === "string" ? (arg2 as ClientOptions | undefined) : arg3) ?? {}
+  const base = baseUrl.endsWith("/") ? baseUrl.slice(0, -1) : baseUrl
+  // The contract value (decoupled mode) is only a type carrier here; the runtime
+  // proxy needs just the base URL. (Client-side validation from the contract's
+  // schemas is a future enhancement.)
+  return createProxy(base, "", options)
+}
+
+/**
+ * A {@link client} whose `fetch` calls a nifra app's own `fetch` in-process — no network, full
+ * lifecycle (validation, middleware, contracts). For SSR loaders. Typed from `App` exactly like
+ * the network client. The `(url, init) → Request` bridge is required because the client calls
+ * `fetch(url, init)` while `app.fetch` takes a `Request`.
+ */
+export function inProcessClient<
+  App extends { fetch(request: Request): Response | Promise<Response> },
+>(app: App, options?: Omit<ClientOptions, "fetch">): Treaty<App> {
+  return client<App>("http://nifra.internal", {
+    ...options,
+    fetch: (url, init) => Promise.resolve(app.fetch(new Request(url, init))),
+  })
+}
+
+/**
+ * The in-process test client — the Fastify-`inject` / supertest equivalent for nifra. Drives the
+ * app's own `fetch` directly: no server, no port, no network, the full real lifecycle (validation,
+ * middleware, contracts, auth), and end-to-end types from `App`. Calls never throw — branch on
+ * `res.ok`. An alias of {@link inProcessClient} with a test-focused name; identical behavior.
+ *
+ * ```ts
+ * import { testClient } from "@nifrajs/client"
+ * import { app } from "../src/app"
+ *
+ * const api = testClient<typeof app>(app)
+ * const res = await api.users({ id: "42" }).get()
+ * expect(res.ok && res.data.id).toBe("42")
+ * ```
+ */
+export const testClient = inProcessClient
+
+function createProxy(base: string, path: string, options: ClientOptions): unknown {
+  const target = (): void => {}
+  return new Proxy(target, {
+    get(_target, key) {
+      // `then` guard: keep an un-awaited node proxy from looking like a thenable.
+      if (typeof key !== "string" || key === "then") return undefined
+      if (HTTP_VERBS.has(key.toLowerCase())) {
+        return (...args: unknown[]): Promise<Result<unknown>> =>
+          execute(base, path, key.toLowerCase(), args, options)
+      }
+      // `index` addresses the root path "/" and adds no segment.
+      return createProxy(base, key === "index" ? path : `${path}/${key}`, options)
+    },
+    apply(_target, _thisArg, args) {
+      // A param call (`api.users({ id })`): append the single value, encoded — encoding "/"
+      // round-trips through the server's decode, so wildcards and params share this one path.
+      // The Treaty type requires the object, but the runtime must stay graceful: a no-arg call
+      // (`api.users()`) or empty object (`api.users({})`) must NOT throw — the client's contract is
+      // to never throw — nor synthesize an `"undefined"` path segment. With no value, fall through
+      // to the bare path, which the server resolves as an ordinary `{ ok: false }` (404) Result.
+      const first = args[0]
+      const value =
+        first !== null && typeof first === "object"
+          ? Object.values(first as Record<string, unknown>)[0]
+          : first
+      if (value === undefined || value === null) return createProxy(base, path, options)
+      return createProxy(base, `${path}/${encodeURIComponent(String(value))}`, options)
+    },
+  })
+}
+
+async function execute(
+  base: string,
+  path: string,
+  verb: string,
+  args: unknown[],
+  options: ClientOptions,
+): Promise<Result<unknown>> {
+  const isBodyVerb = BODY_VERBS.has(verb)
+  const body = isBodyVerb ? args[0] : undefined
+  const callOptions = (isBodyVerb ? args[1] : args[0]) as CallOptions | undefined
+
+  let url = base + (path === "" ? "/" : path)
+  const query = callOptions?.query ? buildQuery(callOptions.query) : ""
+  if (query !== "") url += `?${query}`
+
+  const headers: Record<string, string> = { ...options.headers, ...callOptions?.headers }
+  const init: RequestInit = { method: verb.toUpperCase(), headers }
+  if (body !== undefined) {
+    init.body = JSON.stringify(body)
+    headers["content-type"] = "application/json"
+  }
+  if (callOptions?.signal) init.signal = callOptions.signal
+
+  const doFetch = options.fetch ?? fetch
+  let response: Response
+  try {
+    response = await doFetch(url, init)
+  } catch {
+    return { ok: false, status: 0, data: null, error: { error: "network_error" } }
+  }
+
+  const data = await parseBody(response)
+  if (response.ok) {
+    return { ok: true, status: response.status, data, error: null }
+  }
+  return { ok: false, status: response.status, data: null, error: toApiError(data) }
+}
+
+function buildQuery(query: Record<string, unknown>): string {
+  const params = new URLSearchParams()
+  for (const [key, value] of Object.entries(query)) {
+    if (value !== undefined) params.set(key, String(value))
+  }
+  return params.toString()
+}
+
+async function parseBody(response: Response): Promise<unknown> {
+  if (response.status === 204) return undefined
+  const text = await response.text()
+  if (text === "") return undefined
+  try {
+    return JSON.parse(text)
+  } catch {
+    return text // a non-JSON body (e.g. a plain-text Response) is returned as-is
+  }
+}
+
+function toApiError(data: unknown): ApiError {
+  if (
+    typeof data === "object" &&
+    data !== null &&
+    "error" in data &&
+    typeof data.error === "string"
+  ) {
+    // Trust the server's `{ error, issues }` shape (it's what nifra emits).
+    const issues =
+      "issues" in data && Array.isArray(data.issues)
+        ? (data.issues as ApiError["issues"])
+        : undefined
+    return issues !== undefined ? { error: data.error, issues } : { error: data.error }
+  }
+  return { error: "request_failed" }
+}

package/src/index.ts

@@ -0,0 +1,17 @@
+/**
+ * @nifrajs/client — browser-safe, end-to-end-typed client for @nifrajs/core servers.
+ *
+ * `client<typeof app>(url)` returns an Eden-style proxy whose calls are typed
+ * from the server's accumulated route registry, with zero codegen.
+ */
+export {
+  type ClientOptions,
+  client,
+  type FetchFn,
+  inProcessClient,
+  testClient,
+} from "./client.ts"
+export type { Jsonify } from "./jsonify.ts"
+export type { ApiError, Result } from "./result.ts"
+export type { ActionArgs, ActionData, ApiProxy, LoaderArgs, LoaderData } from "./routes.ts"
+export type { RegistryOf, Treaty, TreatyFromRegistry } from "./treaty.ts"

package/src/jsonify.ts

@@ -0,0 +1,27 @@
+/**
+ * Maps a value to the shape it takes after a JSON round-trip, so the client's
+ * `data` type reflects the wire — not the handler's in-memory return.
+ *
+ * - `Date` → `string`; `undefined` / functions / `bigint` → dropped from objects
+ * - arrays and plain objects recurse; optionality (`?`) is preserved
+ *
+ * Pragmatic by design: `Map`/`Set`/class instances/custom `toJSON` are treated as
+ * plain objects (best-effort), not specially handled. Documented, not magic.
+ */
+export type Jsonify<T> = [unknown] extends [T]
+  ? unknown // `unknown`/`any` (e.g. a route with no response schema) stays opaque
+  : T extends string | number | boolean | null
+    ? T
+    : T extends Date
+      ? string
+      : T extends bigint
+        ? never
+        : T extends (...args: never[]) => unknown
+          ? never
+          : T extends undefined
+            ? never
+            : T extends ReadonlyArray<infer U>
+              ? Array<Jsonify<U>>
+              : T extends object
+                ? { [K in keyof T as [Jsonify<T[K]>] extends [never] ? never : K]: Jsonify<T[K]> }
+                : never

package/src/result.ts

@@ -0,0 +1,17 @@
+/** A structured API error, mirroring the server's `{ ok: false, error, issues }`. */
+export interface ApiError {
+  readonly error: string
+  readonly issues?: ReadonlyArray<{
+    readonly message: string
+    readonly path?: ReadonlyArray<string>
+  }>
+}
+
+/**
+ * The outcome of a client call. The client never throws — inspect `ok` (or
+ * `error`) to branch. On success `data` is the (JSON-shaped) response body; on
+ * failure `error` carries the server's structured error or a transport error.
+ */
+export type Result<Data> =
+  | { readonly ok: true; readonly status: number; readonly data: Data; readonly error: null }
+  | { readonly ok: false; readonly status: number; readonly data: null; readonly error: ApiError }

package/src/routes.ts

@@ -0,0 +1,67 @@
+import type { ContractShape, RegistryFor } from "@nifrajs/core"
+import type { Treaty, TreatyFromRegistry } from "./treaty.ts"
+
+/**
+ * The typed client proxy for an API type — either a server type (`typeof app`, coupled) or a
+ * contract value type (decoupled). Graduating a loader from `typeof app` to a versioned
+ * contract is just changing this one type argument; the loader body is identical.
+ */
+export type ApiProxy<Api> = Api extends ContractShape
+  ? TreatyFromRegistry<RegistryFor<Api>>
+  : Treaty<Api>
+
+/**
+ * Context a route `loader` receives: the route params, the request, a typed in-process `api` (an
+ * {@link ApiProxy} for the app contract `Api`), and the platform `env`. Pair with `inProcessClient`.
+ */
+export interface LoaderArgs<Api, Env = unknown> {
+  readonly params: Record<string, string>
+  readonly request: Request
+  readonly api: ApiProxy<Api>
+  /**
+   * Platform bindings (Workers `env` — KV/D1/secrets), forwarded from the request `c.env`.
+   * `undefined` off-edge (Bun/Node/Deno). Declare the shape via the second type argument —
+   * `LoaderArgs<typeof app, Env>` (the same `Env` the backend's `server<Env>()` uses) — to read it
+   * typed; otherwise `unknown`. Validate at the trust boundary before use.
+   */
+  readonly env: Env
+  /** `true` when the request carries a valid draft/preview cookie (when the app sets a `draftSecret`;
+   * otherwise always `false`). Branch on it to load unpublished content for editors — see `enableDraft`. */
+  readonly draft: boolean
+}
+
+/** The (awaited) return of a `loader`, for typing a page component's `data` prop. */
+export type LoaderData<L> = L extends (...args: never[]) => infer R ? Awaited<R> : never
+
+/**
+ * Context a route `action` (a mutation, run on POST) receives — identical to a loader's:
+ * route params, the request (read the form/JSON body off this), and the typed in-process
+ * `api` + platform `env`. An action returns either data (surfaced to the page as `actionData`) or a
+ * `Response` (e.g. a `redirect(...)` for the Post/Redirect/Get pattern).
+ */
+export type ActionArgs<Api, Env = unknown> = LoaderArgs<Api, Env>
+
+/**
+ * The (awaited) data return of an `action`, for typing a page component's `actionData` prop.
+ * A `Response` return (redirect/custom) is excluded — it never reaches the component. A
+ * `revalidate(paths, data)` wrapper (from `@nifrajs/web`) is transparent: matched structurally (so this
+ * stays decoupled from `@nifrajs/web`) and unwrapped to its inner `data` — what the component receives.
+ */
+export type ActionData<A> = A extends (...args: never[]) => infer R
+  ? Awaited<R> extends { readonly __nifraRevalidate: readonly string[]; readonly data: infer D }
+    ? Exclude<D, Response>
+    : Exclude<Awaited<R>, Response>
+  : never
+
+// Why a type annotation, not a `createRoutes()` factory: a module-level factory call defeats
+// the bundler's tree-shaking (the call is retained, dragging the loader into the client bundle).
+// `LoaderArgs<Api>` is a pure type — it erases — so the loader stays a plain function the client
+// build can drop entirely. Bind the contract once with a shared alias:
+//
+//   // app/loaders.ts
+//   export type AppLoader = LoaderArgs<typeof backend>   // coupled
+//   export type AppLoader = LoaderArgs<MyContract>       // graduated — same loaders
+//
+//   // routes/users/[id].tsx
+//   export async function loader({ api, params }: AppLoader) { … }   // ctx.api typed
+//   export default (props: { data: LoaderData<typeof loader> }) => …  // data typed

package/src/treaty.ts

@@ -0,0 +1,105 @@
+import type { RouteInfo, Server } from "@nifrajs/core"
+import type { Jsonify } from "./jsonify.ts"
+import type { Result } from "./result.ts"
+
+/** Extract the accumulated route registry from a server's type (`typeof app`), ignoring its middleware context. */
+export type RegistryOf<App> = App extends Server<infer R, infer _Ctx> ? R : never
+
+// --- per-method call signature ---
+
+type CallOptions<I extends RouteInfo> = {
+  query?: [I["query"]] extends [never] ? never : I["query"]
+  headers?: Record<string, string>
+  signal?: AbortSignal
+}
+
+type IsBodyVerb<M extends string> = M extends "POST" | "PUT" | "PATCH" ? true : false
+
+/**
+ * A terminal method call. The shape is **verb-aware** so the runtime can read
+ * args unambiguously with no route info: body-verbs (POST/PUT/PATCH) always take
+ * the body positionally Eden-style (typed `undefined` when the route has no body
+ * schema, so it's still slot 0); GET/DELETE/HEAD take only options. Returns a
+ * `Result` whose data is the handler's output as it arrives over the wire
+ * (`Jsonify`).
+ */
+type MethodCall<I extends RouteInfo, BodyVerb extends boolean> = BodyVerb extends true
+  ? [I["body"]] extends [never]
+    ? (body?: undefined, options?: CallOptions<I>) => Promise<Result<Jsonify<I["output"]>>>
+    : (body: I["body"], options?: CallOptions<I>) => Promise<Result<Jsonify<I["output"]>>>
+  : (options?: CallOptions<I>) => Promise<Result<Jsonify<I["output"]>>>
+
+type Methods<MethodMap> = {
+  [M in keyof MethodMap as Lowercase<M & string>]: MethodCall<
+    MethodMap[M] & RouteInfo,
+    IsBodyVerb<M & string>
+  >
+}
+
+// --- path-tree construction over the registry ---
+
+type Sub<R, Prefix extends string> = Extract<keyof R, `${Prefix}/${string}`>
+
+type NextSeg<
+  Prefix extends string,
+  Path extends string,
+> = Path extends `${Prefix}/${infer Seg}/${string}`
+  ? Seg
+  : Path extends `${Prefix}/${infer Seg}`
+    ? Seg
+    : never
+
+type NextSegs<R, Prefix extends string> = {
+  [P in Sub<R, Prefix> & string]: NextSeg<Prefix, P>
+}[Sub<R, Prefix> & string]
+
+// Static segments exclude params (`:`), wildcards (`*`), and the root's empty (``).
+type StaticSegs<R, Prefix extends string> = Exclude<
+  NextSegs<R, Prefix>,
+  `:${string}` | `*${string}` | ""
+>
+type ParamSeg<R, Prefix extends string> = Extract<NextSegs<R, Prefix>, `:${string}` | `*${string}`>
+
+// `unknown` (not `{}`/`never`) is the intersection identity, so empty branches
+// don't poison the node — and we never `Prettify` the node (it would strip the
+// param call-signature and trip TS2456 on the recursion).
+type MethodsAt<R, Prefix extends string> = Prefix extends keyof R ? Methods<R[Prefix]> : unknown
+
+type StaticChildren<R, Prefix extends string> = {
+  [Seg in StaticSegs<R, Prefix> & string]: TreatyNode<R, `${Prefix}/${Seg}`>
+}
+
+type ParamChild<R, Prefix extends string> = [ParamSeg<R, Prefix>] extends [never]
+  ? unknown
+  : ParamSeg<R, Prefix> extends `:${infer Name}`
+    ? (params: Record<Name, string>) => TreatyNode<R, `${Prefix}/:${Name}`>
+    : ParamSeg<R, Prefix> extends `*${infer Name}`
+      ? (
+          params: Record<Name extends "" ? "*" : Name, string>,
+        ) => TreatyNode<R, `${Prefix}/*${Name}`>
+      : unknown
+
+type TreatyNode<R, Prefix extends string> = MethodsAt<R, Prefix> &
+  StaticChildren<R, Prefix> &
+  ParamChild<R, Prefix>
+
+// The root path "/" is reached as `api.index.get()` (Eden convention).
+type RootIndex<R> = "/" extends keyof R ? { readonly index: Methods<R["/"]> } : unknown
+
+/**
+ * The Eden-style proxy type for a route registry — the shared core used by both
+ * `Treaty<App>` (coupled, from `typeof app`) and `client(contract, url)`
+ * (decoupled, from a contract's `RegistryFor`).
+ */
+export type TreatyFromRegistry<R> = TreatyNode<R, ""> & RootIndex<R>
+
+/**
+ * The Eden-style proxy type for a server. Use a named alias for readable errors:
+ *
+ *   type App = typeof app
+ *   const api: Treaty<App> = client<App>("http://localhost:3000")
+ *   await api.users({ id: "1" }).get()      // GET /users/:id
+ *   await api.users.post({ name: "Ada" })   // POST /users  (body positional)
+ *   await api.index.get()                   // GET /
+ */
+export type Treaty<App> = TreatyFromRegistry<RegistryOf<App>>