@rangojs/router 0.0.0-experimental.d7eeaa75 → 0.0.0-experimental.d98a8e9d

package/skills/testing/middleware.md

@@ -0,0 +1,97 @@
+# Testing middleware — runMiddleware
+
+**Layer:** unit (node) · **Import:** `@rangojs/router/testing` · **DSL it tests:** `middleware()` (see `/middleware`)
+
+`runMiddleware` executes your chain through the router's REAL `executeLoaderMiddleware`, so `next()`, return-Response and throw-Response short-circuits, double-next guards, and header/cookie merge are production-identical. You SEED the request and any prior-middleware state (`vars`, `params`, `env`, `routeMap`); everything else (cookie/header merge, request-context resolution) is real machinery.
+
+## API
+
+### Options — `RunMiddlewareOptions<TEnv>`
+
+| Field           | Type                           | Meaning                                                                                                                                                                                   |
+| --------------- | ------------------------------ | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| `request`       | `Request \| string`            | The request the chain runs under: a `Request`, or a URL string (absolute or path). Optional — defaults to `http://localhost/`; pass it for path-, header-, or cookie-driven middleware.   |
+| `env`           | `TEnv`                         | Environment bindings surfaced as `ctx.env`. Your seam for doubling platform bindings (see `./bindings.md`).                                                                               |
+| `params`        | `Record<string, string>`       | Route params surfaced as `ctx.params`.                                                                                                                                                    |
+| `vars`          | `VarsInit`                     | Variables a prior middleware would have set (object form, or `[key, value]` tuples where `key` may be a `createVar()` handle).                                                            |
+| `routeMap`      | `Record<string, string>`       | Route name -> pattern map enabling `ctx.reverse()`.                                                                                                                                       |
+| `routeName`     | `string`                       | Matched route name surfaced as `ctx.routeName`. Does NOT enable scoped `.name` reverse: the chain's `reverse` is deliberately map-only, matching production app/response middleware.      |
+| `basename`      | `string`                       | Router basename surfaced on the context (drives `redirect()` prefixing).                                                                                                                  |
+| `theme`         | `ThemeConfig \| true`          | Theme config in the `createRouter({ theme })` shape; enables `ctx.theme`.                                                                                                                 |
+| `next`          | `() => Promise<Response>`      | Terminal handler invoked when the chain calls `next()` all the way through. Defaults to a 200 empty Response. Use it to model the downstream route/handler response.                      |
+| `cacheStore`    | `SegmentCacheStore`            | Cache store backing any `use cache` function a middleware invokes. Without it, `registerCachedFunction` bypasses, so the cached fn runs uncached and its taint/profile guards never fire. |
+| `cacheProfiles` | `Record<string, CacheProfile>` | Cache profiles in the `createRouter({ cacheProfiles })` shape.                                                                                                                            |
+
+### Context — `MiddlewareContext` (what your code receives)
+
+The `ctx` your middleware reads. Notable fields:
+
+| Field                       | Type                    | Meaning                                                                            |
+| --------------------------- | ----------------------- | ---------------------------------------------------------------------------------- |
+| `params`                    | `TParams`               | URL params from `opts.params`.                                                     |
+| `env`                       | `TEnv`                  | Bindings from `opts.env`.                                                          |
+| `get` / `set`               | fns                     | Read/write context vars (shared with handlers); `get` resolves what `vars` seeded. |
+| `header(name, value)`       | fn                      | Queue a response header before `next()`, or set it directly after.                 |
+| `reverse`                   | `ScopedReverseFunction` | URL-from-name. Map-only (no auto-fill); needs `routeMap`.                          |
+| `setLocationState(entries)` | fn                      | Attach flash/location state to the response.                                       |
+| `theme` / `setTheme`        | `Theme` / fn            | Current theme; `undefined` unless `theme` is passed.                               |
+| `routeName`                 | `string`                | Matched route name (from `opts.routeName`).                                        |
+
+### Returns — `RunMiddlewareResult<TEnv>`
+
+| Field           | Type                      | Meaning                                                                                                                                       |
+| --------------- | ------------------------- | --------------------------------------------------------------------------------------------------------------------------------------------- |
+| `response`      | `Response`                | The final Response: the downstream response, or a middleware short-circuit.                                                                   |
+| `ctx`           | `RequestContext<TEnv>`    | The underlying RequestContext (NOT a per-middleware `MiddlewareContext`). Use `ctx.get(...)` for anything the envelope above doesn't surface. |
+| `nextCalled`    | `number`                  | Times the terminal handler ran: `0` on short-circuit, `1` on pass-through.                                                                    |
+| `cookies`       | `Record<string, string>`  | Effective cookie view: request cookies merged with chain sets/deletes (last-write-wins), as `{ name: value }`.                                |
+| `headers`       | `Record<string, string>`  | Final response headers as `{ name: value }`, lowercased, EXCLUDING `set-cookie` (use `cookies`).                                              |
+| `locationState` | `Record<string, unknown>` | Flat `{ key: value }` state set via `setLocationState()` / `redirect({ state })` (empty when none).                                           |
+
+## Recipe
+
+```ts
+import { describe, it, expect } from "vitest";
+import { runMiddleware } from "@rangojs/router/testing";
+import type { Middleware } from "@rangojs/router";
+
+const requireUser: Middleware = async (ctx, next) => {
+  if (!ctx.get("user")) return new Response(null, { status: 401 });
+  return next();
+};
+
+describe("requireUser", () => {
+  it("passes through when the user is present", async () => {
+    const { response, nextCalled } = await runMiddleware(requireUser, {
+      request: "/dashboard",
+      vars: { user: { id: 1 } }, // object form; or [[key, value]] tuples (key may be a createVar())
+    });
+    expect(nextCalled).toBe(1);
+    expect(response.status).toBe(200);
+  });
+
+  it("short-circuits (return OR throw Response) when unauthenticated", async () => {
+    const { response, nextCalled } = await runMiddleware(requireUser, {
+      request: "/dashboard",
+    });
+    expect(nextCalled).toBe(0);
+    expect(response.status).toBe(401);
+  });
+});
+```
+
+Pass an array to run several in order. Cookies set inside middleware via the standalone `cookies().set(...)` (imported from `@rangojs/router`, NOT a `ctx` method) surface on the result's `cookies` and on the merged response `Set-Cookie`.
+
+## Caveats
+
+- No `handles`/`rendered` option by design: middleware runs BEFORE the render barrier, so it has no post-barrier `ctx.use(Handle)` access in production. Read handle data in a loader/handler and test it with `runLoader` (see `./handles.md`).
+- A COMPONENT route's guard stack cannot be exercised through `dispatch` (it throws on component routes), and `renderToFlightString`/`renderRoute` don't run route middleware. Extract the middleware fn and unit-test it here, or assert the guard stack at e2e.
+- Middleware-phase `ctx.reverse` is map-only (no auto-fill from current params), matching production — enable it with `routeMap`. `routeName` only feeds `ctx.routeName`; it does NOT scope `.name` reverse (the chain reverse stays map-only by design).
+- `ctx.theme` is `undefined` unless `theme` is passed; `redirect()` does no basename prefixing unless `basename` is seeded.
+- Platform bindings are yours to double via `env` (see `./bindings.md`).
+
+## See also
+
+- `/middleware` — the DSL this tests
+- Siblings: `./response-routes.md`, `./server-actions.md`, `./loader.md`, `./bindings.md`
+- Long-form prose: [docs/testing.md](https://github.com/ivogt/vite-rsc/blob/main/packages/rangojs-router/docs/testing.md) — section "Middleware"

package/skills/testing/render-handler.md

@@ -0,0 +1,102 @@
+# Testing a route handler — renderHandler
+
+**Layer:** RSC unit (react-server project) · **Import:** `@rangojs/router/testing/flight` · **DSL it tests:** a route handler `(ctx) => rsc` (see `/route`)
+
+A Rango route handler is a pure function `(ctx) => rsc` — the function you pass to `path("/p/:slug", ProductPage)`, NOT a component. `renderHandler` runs it with the REAL `HandlerContext` the router builds at runtime (so `ctx.params`, `ctx.use(Loader)`, `ctx.use(Meta)`, `ctx.reverse`, `ctx.get`, response headers via `ctx.headers`, and the standalone `cookies()` all work), serializes the returned RSC, and deserializes it to an inspectable tree. The render and effects are real; loaders are SEEDED (no real loader runs — same model as `runLoader`).
+
+## API
+
+### Options — `RenderHandlerOptions`
+
+| Field              | Type                                                  | Meaning                                                                                                                                            |
+| ------------------ | ----------------------------------------------------- | -------------------------------------------------------------------------------------------------------------------------------------------------- |
+| `params`           | `Record<string, string>`                              | Route params surfaced as `ctx.params`.                                                                                                             |
+| `env`              | `TEnv`                                                | Environment bindings surfaced as `ctx.env`.                                                                                                        |
+| `request`          | `Request \| string`                                   | Backing Request (string or `Request`); defaults to a localhost GET.                                                                                |
+| `headers`          | `HeadersInit`                                         | Request headers (e.g. `Cookie`) the handler reads via `cookies()`.                                                                                 |
+| `vars`             | `VarsInit` (object or `[[Var, value]]` tuples)        | Variables a prior middleware set, read via `ctx.get(...)`.                                                                                         |
+| `routeName`        | `string`                                              | Matched route name (drives `ctx.routeName` and scoped reverse).                                                                                    |
+| `routeMap`         | `Record<string, string>`                              | Route name -> pattern map enabling `ctx.reverse()`.                                                                                                |
+| `loaders`          | `ReadonlyArray<readonly [LoaderDefinition, unknown]>` | Seed the data `ctx.use(SomeLoader)` returns. Matched by loader reference; NO real loader runs.                                                     |
+| `clientComponents` | `Record<string, unknown>`                             | `"use client"` components in the handler's RSC, so they serialize as real boundaries when `rangoUseClientTransform()` is not wired. Keyed by name. |
+
+### Context — `HandlerContext` (what your handler receives)
+
+| Field              | Type                                 | Meaning                                                                                        |
+| ------------------ | ------------------------------------ | ---------------------------------------------------------------------------------------------- |
+| `params`           | `Record<string, string>`             | The seeded route params.                                                                       |
+| `env`              | `TEnv`                               | The seeded environment bindings.                                                               |
+| `request`          | `Request`                            | The backing request.                                                                           |
+| `searchParams`     | `URLSearchParams`                    | Parsed query of `request.url`.                                                                 |
+| `pathname`         | `string`                             | Pathname of `request.url`.                                                                     |
+| `url`              | `URL`                                | Parsed `request.url`.                                                                          |
+| `routeName`        | `string \| undefined`                | The matched route name (from `routeName`).                                                     |
+| `use`              | `(loaderOrHandle) => data \| pushFn` | A loader returns its seeded data; a handle returns a push fn that RECORDS to `result.handles`. |
+| `reverse`          | `(name, params?) => string`          | Build a URL from `routeMap`.                                                                   |
+| `get`              | `(Var) => value`                     | Read a seeded `vars` variable.                                                                 |
+| `headers`          | `Headers`                            | Response headers; set via `ctx.headers.set(...)` (merged into `result.response`).              |
+| `setLocationState` | `(entries) => void`                  | Set location state (surfaced on `result.locationState`).                                       |
+| `waitUntil`        | `(promise) => void`                  | Register background work.                                                                      |
+
+### Returns — `RenderHandlerResult`
+
+| Field           | Type                      | Meaning                                                                                                                      |
+| --------------- | ------------------------- | ---------------------------------------------------------------------------------------------------------------------------- |
+| `tree`          | `unknown`                 | Deserialized RSC the handler returned; `undefined` when it returned/threw a `Response`. Inspect with `findClientBoundaries`. |
+| `flight`        | `string \| undefined`     | Raw Flight wire string; `undefined` on a `Response`.                                                                         |
+| `thrown`        | `unknown`                 | The value the handler THREW (a `redirect()`/`notFound()` Response), captured not re-thrown.                                  |
+| `response`      | `Response`                | Merged Response (status + headers + Set-Cookie), folding a thrown/returned redirect with accumulated effects.                |
+| `cookies`       | `Record<string, string>`  | Effective cookie view after the handler ran.                                                                                 |
+| `headers`       | `Record<string, string>`  | Response headers (excludes set-cookie; includes a redirect `Location`).                                                      |
+| `locationState` | `Record<string, unknown>` | Location state the handler set (`ctx.setLocationState`/`redirect({ state })`).                                               |
+| `handles`       | `Map<Handle, unknown[]>`  | What the handler pushed via `ctx.use(Handle)(...)` (e.g. `Meta`, `Breadcrumbs`), keyed by handle.                            |
+
+## Recipe
+
+```tsx
+import {
+  renderHandler,
+  findClientBoundaries,
+} from "@rangojs/router/testing/flight";
+import { ProductPage } from "../src/pages/product"; // the real handler: (ctx) => rsc
+import { ProductLoader } from "../src/loaders/product";
+import { Tenant } from "../src/middleware/tenant";
+import { Meta } from "../src/handles";
+
+it("renders the product page for a tenant", async () => {
+  const { tree, handles } = await renderHandler(ProductPage, {
+    params: { slug: "wine" },
+    loaders: [[ProductLoader, { name: "Wine", price: 9 }]], // seeds ctx.use(ProductLoader)
+    vars: [[Tenant, { name: "Acme" }]], // seeds ctx.get(Tenant)
+    routeMap: { product: "/p/:slug" }, // enables ctx.reverse
+  });
+
+  expect(JSON.stringify(tree)).toContain("Wine");
+  const [counter] = findClientBoundaries(tree, "Counter"); // islands inspectable too
+  expect(handles.get(Meta)).toEqual([{ title: "Wine - Shop" }]); // ctx.use(Meta) pushes
+});
+
+it("captures a guarded redirect", async () => {
+  const { thrown, response } = await renderHandler(ProductPage, {
+    params: { slug: "missing" },
+    loaders: [[ProductLoader, null]],
+  });
+
+  expect(thrown).toBeInstanceOf(Response); // throw redirect() is captured, not re-thrown
+  expect(response.status).toBe(302);
+});
+```
+
+## Caveats
+
+- An unseeded `ctx.use(loader)` REJECTS with a setup error — seed every dependency via `{ loaders: [[OtherLoader, data]] }`, matched by reference. Loaders are SEEDED, not executed (same as `runLoader`).
+- Same alias requirement as flight tests: without the `@rangojs/router -> index.rsc.ts` alias (see [`./setup.md`](./setup.md)), a handler reading `getRequestContext()`/`cookies()` hits the throwing out-of-react-server stub. Symptom: `tree: undefined` with the stub error on `thrown`.
+- A `throw redirect()` is captured on `thrown` (with `tree` undefined, since it produced a `Response`) — assert on `thrown`/`response`, no try/catch needed.
+- No hydration and no interaction — for clicks, forms, and navigation use e2e.
+- `renderHandler` runs a handler FUNCTION `(ctx) => rsc`; for a plain ELEMENT `<Page/>` use `renderServerTree` (see [`./server-tree.md`](./server-tree.md)).
+
+## See also
+
+- `/route` — the DSL this tests
+- Siblings: [`./server-tree.md`](./server-tree.md), [`./server-actions.md`](./server-actions.md), [`./setup.md`](./setup.md), [`./loader.md`](./loader.md)
+- Long-form prose: [docs/testing.md](https://github.com/ivogt/vite-rsc/blob/main/packages/rangojs-router/docs/testing.md) — section "renderHandler — run a real route handler and assert its RSC"

package/skills/testing/response-routes.md

@@ -0,0 +1,94 @@
+# Testing a response route / redirect — dispatch
+
+**Layer:** integration (node) · **Import:** `@rangojs/router/testing` · **DSL it tests:** response routes (json/text/html/xml/md), redirects, 404 (see `/response-routes`, `/mime-routes`)
+
+`dispatch` runs the router's REAL matching (reusing `previewMatch`) and the real global + route-level middleware chain, with no RSC render — so redirects, 404s, response routes, content negotiation, and middleware short-circuits behave exactly as in production. You SEED the request and `env`; everything else (matching, middleware, header/cookie merge) is real machinery.
+
+## API
+
+### Options — `DispatchOptions<TEnv>`
+
+| Field                | Type                | Meaning                                                                            |
+| -------------------- | ------------------- | ---------------------------------------------------------------------------------- |
+| `request` (required) | `Request \| string` | The request to dispatch: a `Request`, or a URL string (absolute or path).          |
+| `env`                | `TEnv`              | Environment bindings forwarded to matching and middleware (surfaced as `ctx.env`). |
+
+### Context — response-handler `ctx` (what your code receives)
+
+The lightweight context a RESPONSE-route handler reads (mirrors the production `handleResponseRoute` shape). Notable fields:
+
+| Field                 | Type                     | Meaning                                                                                                     |
+| --------------------- | ------------------------ | ----------------------------------------------------------------------------------------------------------- |
+| `request`             | `Request`                | The dispatched request.                                                                                     |
+| `params`              | `Record<string, string>` | URL params from the matched route.                                                                          |
+| `env`                 | `TEnv`                   | Bindings from `opts.env`.                                                                                   |
+| `searchParams`        | `URLSearchParams`        | Query params with internal `_rsc*` params stripped.                                                         |
+| `url`                 | `URL`                    | Cleaned request URL (internal `_rsc*` params removed).                                                      |
+| `pathname`            | `string`                 | Matched pathname.                                                                                           |
+| `reverse`             | `ReverseFunction`        | URL-from-name. Map-only (NO auto-fill from current params), matching the production response-route handler. |
+| `get`                 | fn                       | Read context vars set by prior middleware.                                                                  |
+| `header(name, value)` | fn                       | Set a response header; surfaces on the returned `Response`.                                                 |
+| `waitUntil`           | fn                       | Register a deferred task (no-op fidelity in tests).                                                         |
+
+### Returns — `dispatch(router, opts) -> Promise<Response>`
+
+```ts
+function dispatch<TEnv = any>(
+  router: Rango<TEnv, any>,
+  opts: DispatchOptions<TEnv>,
+): Promise<Response>;
+```
+
+A real `Response`: response-route body, a 308 redirect (`Location`), a 404, or a middleware short-circuit. A `path.json` handler that returns a bare value is serialized verbatim (no envelope); a returned `Response` passes through unchanged; cookies and `ctx.header(...)` surface on the `Response`. `dispatch` accepts your public router type directly (no cast).
+
+## Recipe
+
+```ts
+import { describe, it, expect } from "vitest";
+import { dispatch } from "@rangojs/router/testing";
+import { createRouter } from "@rangojs/router";
+import { apiPatterns } from "../src/api/urls"; // path.json(...) routes, no Prerender
+
+const router = createRouter().routes(apiPatterns);
+
+describe("api routes via dispatch", () => {
+  it("serializes a JSON response route as the bare handler value", async () => {
+    const res = await dispatch(router, { request: "/health" });
+    expect(res.status).toBe(200);
+    expect(res.headers.get("content-type")).toBe(
+      "application/json;charset=utf-8",
+    );
+    expect(await res.json()).toEqual({ status: "ok" });
+  });
+
+  it("maps a thrown RouterError to its status + RFC 9457 problem+json", async () => {
+    const res = await dispatch(router, { request: "/products/999" }); // handler throws RouterError 404
+    expect(res.status).toBe(404);
+    expect(res.headers.get("content-type")).toBe(
+      "application/problem+json;charset=utf-8",
+    );
+    expect((await res.json()).code).toBe("NOT_FOUND"); // { title, status, detail, code }
+  });
+
+  it("returns 404 for an unmatched path", async () => {
+    expect((await dispatch(router, { request: "/nope" })).status).toBe(404);
+  });
+});
+```
+
+`dispatch` also covers trailing-slash/redirect targets (`findMatch`) — a redirected path returns a 308 with the `Location` (query preserved). Pass `env` via `{ env }`.
+
+## Caveats
+
+- Hitting a COMPONENT (RSC) route throws a clear directive error: `dispatch` is for response routes + redirects + 404 + content negotiation, plus the global + route-level middleware guard stack on RESPONSE routes — it never renders React. Use Flight primitives or e2e to exercise component rendering.
+- A COMPONENT route's guard stack cannot run here. Assert it at e2e, or extract the middleware fn and unit-test it with `runMiddleware` (see `./middleware.md`).
+- JSON serialization is bare, applied in `response-route-handler.ts`: a `path.json` handler that returns a value is serialized verbatim (`JSON.stringify(value)`, status 200, `application/json`) — no envelope. Returning a `Response` (e.g. `Response.json(x)`) passes through unchanged. A thrown error yields an RFC 9457 problem+json body `{ title, status, detail, code }` (`application/problem+json`) with the error's status (`RouterError.status`, else 500, or the effective `ctx.setStatus()` override); `code` is the `RouterError.code`, else `"INTERNAL"`. The `type` member is omitted this phase. Assert the shape matching what your handler returns.
+- Setup: needs the preset (alias + virtual stubs) or a Vite-RSC env (see `./setup.md`); a bare router import throws on Vite virtuals.
+- A router using `Prerender()`/`createLoader()`/`Static()` now constructs in a bare test (each assigns a runtime fallback `$$id`). Importing the whole router _file_ may still need the plugin (its page modules pull app deps / `virtual:` modules) — build from a focused include (your API routes) for whole-router dispatch.
+- A `_rsc_partial` request to a response route runs global middleware first (an auth gate can still 401/redirect), then returns `X-RSC-Reload` — route-level middleware is skipped, exactly like production.
+
+## See also
+
+- `/response-routes`, `/mime-routes` — the DSL this tests
+- Siblings: `./middleware.md`, `./setup.md`, `./cache-prerender.md`
+- Long-form prose: [docs/testing.md](https://github.com/ivogt/vite-rsc/blob/main/packages/rangojs-router/docs/testing.md) — section "dispatch — request to Response" (the `rangoTestConfig` preset stubs `@vitejs/plugin-rsc/rsc`, so no per-file `vi.mock` is needed)

package/skills/testing/reverse-and-types.md

@@ -0,0 +1,83 @@
+# Testing reverse/href and type-level contracts
+
+**Layer:** unit (node) + typecheck · **Import:** `@rangojs/router/client` (useReverse), `@rangojs/router/testing` (assertGeneratedRoutesMatch) · **DSL it tests:** `reverse`/`href`/`useReverse` (see `/typesafety`, `/links`)
+
+The reverse/href/params/env types are a real contract: a wrong route name, a missing param, or an unknown env binding should be a COMPILE error, not a runtime surprise. The type-test recipes have no runtime API — `tsc --noEmit` IS the assertion. `assertGeneratedRoutesMatch` is the one runtime helper here: it runs the router's real matching to expand lazy includes, then diffs the live `routeMap` against the generated named-routes map you seed.
+
+## API
+
+### Options — `assertGeneratedRoutesMatch(router, generatedMap?)`
+
+| Field          | Type                                 | Meaning                                                                                                                                                    |
+| -------------- | ------------------------------------ | ---------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| `router`       | `{ routeMap; findMatch? }`           | Your router (real impl). `routeMap` is the live name→pattern map; `findMatch` (when present) is called to force-expand lazy `include()`d routes.           |
+| `generatedMap` | `Record<string, unknown>` (optional) | The imported `*.named-routes.gen.ts` map (name→pattern, or `{ path }` objects). Omit to diff against the global route map (`getGlobalRouteMap()`) instead. |
+
+### Context — `GeneratedRoutesDiff` (what `diffGeneratedRoutes` returns)
+
+| Field      | Type                           | Meaning                                                                                                                                     |
+| ---------- | ------------------------------ | ------------------------------------------------------------------------------------------------------------------------------------------- |
+| `missing`  | `string[]`                     | Names in the generated map but absent at runtime (stale generated entry).                                                                   |
+| `extra`    | `string[]`                     | Names at runtime but absent from the generated map (ungenerated route). Auto-generated internal names (`$path_*`/`$prefix_*`) are excluded. |
+| `mismatch` | `[name, generated, runtime][]` | Names in both whose patterns differ.                                                                                                        |
+| `ok`       | `boolean`                      | True when `missing`, `extra`, and `mismatch` are all empty.                                                                                 |
+
+### Returns — `assertGeneratedRoutesMatch`
+
+`void` on match. On drift, throws an `Error` listing every missing, extra, and mismatched route plus a "regenerate the `*.named-routes.gen.ts` file" hint. (`diffGeneratedRoutes` returns the `GeneratedRoutesDiff` above without throwing.)
+
+## Recipe
+
+```ts
+// 1. Negative assertions inline with @ts-expect-error — the directive ERRORS if
+//    the line below it ever starts compiling (i.e. if the type guard regresses).
+//    Validated by `tsc --noEmit`; a runtime test cannot assert this.
+import { useReverse } from "@rangojs/router/client";
+
+const reverse = useReverse({ post: "/blog/:slug" });
+reverse("post", { slug: "hi" }); // ok
+// @ts-expect-error - missing required :slug param
+reverse("post", {});
+// @ts-expect-error - "comment" is not a route in this map
+reverse("comment", { id: "1" });
+```
+
+```ts
+// 2. Positive assertions with vitest's expectTypeOf — pin an INFERRED type
+//    (loader return, parsed search schema, RouteParams) inside a normal *.test.ts.
+import { expectTypeOf } from "vitest";
+import type { RouteParams } from "@rangojs/router";
+
+// RouteParams takes a route NAME and a route map (defaulting to the global map).
+// Pass an explicit map to keep the type test self-contained.
+expectTypeOf<
+  RouteParams<"blogPost", { blogPost: "/blog/:slug" }>
+>().toEqualTypeOf<{ slug: string }>();
+```
+
+```ts
+// 3. assertGeneratedRoutesMatch — a one-liner whole-app drift test. Real
+//    matching expands lazy include()d routes before the diff.
+import { it } from "vitest";
+import { assertGeneratedRoutesMatch } from "@rangojs/router/testing";
+import { router } from "../src/router";
+import generated from "../src/router.named-routes.gen";
+
+it("generated named-routes map is in sync with the router", () => {
+  assertGeneratedRoutesMatch(router, generated);
+});
+```
+
+For a large type-only suite, collect recipe-1/2 assertions in `*.test-d.ts` files and add a `tsconfig.types.json` that `extends` your base config and `include`s only those files, then run `tsc -p tsconfig.types.json --noEmit` in CI. This is how the repo pins its own augmentation contracts. Recipe 1 is enough for most apps; reach for the dedicated tsconfig only when inline assertions clutter runtime tests.
+
+## Caveats
+
+- Type tests run at TYPECHECK time (`tsc --noEmit`), NOT in the vitest runner. They are their own layer — wire them into CI as a real step (`pnpm run typecheck`). A type test nobody runs is just a comment.
+- `@ts-expect-error` ERRORS if the line below it ever starts compiling, so a regressed guard fails the typecheck. A runtime test cannot assert "this should not type-check".
+- `assertGeneratedRoutesMatch` force-expands lazy `include()`d routes (calls `findMatch` on a concrete path derived from each generated pattern) before diffing — otherwise every included route reads as a false `missing`. This makes the whole-app drift check work in a plain unit test. Routers without `findMatch` (a bare `{ routeMap }`) are left as-is.
+
+## See also
+
+- `/typesafety`, `/links` — the DSL this tests
+- Siblings: `./client-components.md`, `./loader.md`
+- Long-form prose: [docs/testing.md](https://github.com/ivogt/vite-rsc/blob/main/packages/rangojs-router/docs/testing.md) — section "Type-level tests — make misuse fail to compile"

package/skills/testing/server-actions.md

@@ -0,0 +1,89 @@
+# Testing a server action — runInRequestContext
+
+**Layer:** unit (node) · **Import:** `@rangojs/router/testing` · **DSL it tests:** `"use server"` action (see `/server-actions`)
+
+`runInRequestContext(fn, opts)` builds a real `RequestContext` (the same `createRequestContext` the RSC handler uses) AND enters it around `fn`, so an action that calls `getRequestContext()` / `cookies()` / `ctx.get(var)` runs with production fidelity. You SEED the request, env, and vars; the REAL machinery is cookie/header accumulation, location-state, and redirect/notFound throwing.
+
+## API
+
+### Options — `CreateTestContextOptions<TEnv>`
+
+| Field           | Type                           | Meaning                                                                                                                                                   |
+| --------------- | ------------------------------ | --------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| `env`           | `TEnv`                         | Platform bindings the action reads (`ctx.env`). Default `{}`. Double them yourself (see `./bindings.md`).                                                 |
+| `request`       | `Request \| string`            | The request to run under. A `string` becomes `new Request(url)`; pass a full `Request` to seed a `Cookie` header. Default origin `http://localhost/`.     |
+| `requestInit`   | `RequestInit`                  | Init merged when `request` is a string (e.g. `{ method, headers, body }`).                                                                                |
+| `variables`     | `Record<string, unknown>`      | Raw backing store for `ctx.get()` / `ctx.set()`, pre-seeded from `vars`.                                                                                  |
+| `vars`          | `VarsInit`                     | Vars a prior middleware would have set (object or `[token, value]` list).                                                                                 |
+| `routeMap`      | `Record<string, string>`       | Route name -> pattern map enabling `ctx.reverse()` without global state.                                                                                  |
+| `routeName`     | `string`                       | Current route name (drives `ctx.reverse()` self-references).                                                                                              |
+| `params`        | `Record<string, string>`       | Route params on `ctx.params`.                                                                                                                             |
+| `basename`      | `string`                       | Router basename, normalized exactly like `createRouter({ basename })`; drives `redirect()` prefixing. Default `undefined`.                                |
+| `cacheStore`    | `SegmentCacheStore`            | Backing store for `use cache` functions (same shape as `createRouter({ cache })`). Without it, cached functions run uncached and their guards never fire. |
+| `cacheProfiles` | `Record<string, CacheProfile>` | Profiles for `use cache: "name"`, same shape as `createRouter({ cacheProfiles })`. An unknown profile throws.                                             |
+| `theme`         | `ThemeConfig \| true`          | Theme config (same shape as `createRouter({ theme })`). Without it `ctx.theme` / `ctx.setTheme` are inert.                                                |
+
+### Context — `RequestContext<TEnv>` (what your code receives)
+
+`fn` receives `ctx`, the full entered `RequestContext`; the same object resolves via `getRequestContext()` inside `fn`. Notable fields:
+
+| Field                          | Type                           | Meaning                                                                                                                                                                                                           |
+| ------------------------------ | ------------------------------ | ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| `env`                          | `TEnv`                         | The seeded platform bindings.                                                                                                                                                                                     |
+| `request`                      | `Request`                      | The concrete request the run is bound to.                                                                                                                                                                         |
+| `cookies()`                    | `() => Record<string, string>` | @internal effective cookie view. To read or queue cookies inside the action, use the standalone `cookies()` from `@rangojs/router` (`cookies().get(name)` / `cookies().set(...)`), which returns a `CookieStore`. |
+| `get(token)` / `set(token, v)` | accessor                       | Read/write request-scoped vars (seeded from `vars` / `variables`).                                                                                                                                                |
+| `params`                       | `Record<string, string>`       | Seeded route params.                                                                                                                                                                                              |
+| `reverse(name, params?)`       | function                       | Build a URL from `routeMap` (when seeded).                                                                                                                                                                        |
+| `header(name, value)`          | function                       | Queue a response header.                                                                                                                                                                                          |
+| `setLocationState(...)`        | function                       | Set the flash / location state the client reads.                                                                                                                                                                  |
+| `theme`/`setTheme`             | —                              | Theme accessors, inert unless `theme` is seeded.                                                                                                                                                                  |
+
+### Returns — `RunInRequestContextResult<T>`
+
+| Field           | Type                      | Meaning                                                                                                                                              |
+| --------------- | ------------------------- | ---------------------------------------------------------------------------------------------------------------------------------------------------- |
+| `result`        | `T \| undefined`          | `fn`'s awaited return, or `undefined` if it threw.                                                                                                   |
+| `thrown`        | `unknown`                 | What `fn` threw (a redirect / `notFound` `Response` on the success path), or `undefined`. Captured, NOT re-thrown — assert on it.                    |
+| `response`      | `Response`                | The merged `Response` (status + headers + Set-Cookie). On a thrown redirect, that redirect's `Location` merged with the accumulated cookies/headers. |
+| `cookies`       | `Record<string, string>`  | Effective cookie view: request cookies + run mutations, last-write-wins.                                                                             |
+| `headers`       | `Record<string, string>`  | Response headers the run set (plus a thrown redirect's `Location`), EXCLUDING `set-cookie` (use `cookies`). Names lowercased.                        |
+| `locationState` | `Record<string, unknown>` | The flash set via `ctx.setLocationState()` / `redirect({ state })`, as the flat `{ key: value }` the client reads.                                   |
+
+Low-level variant: when you already hold a context from `createTestRequestContext(opts)`, call `runWithRequestContext(ctx, fn)` (re-exported from `@rangojs/router/testing`) to enter it directly. `runInRequestContext` is the one-call convenience over `createTestRequestContext` + `runWithRequestContext`.
+
+## Recipe
+
+```ts
+import { it, expect } from "vitest";
+import { runInRequestContext } from "@rangojs/router/testing";
+import { loginAction } from "../src/actions/login"; // sets a session cookie + flash, then throw redirect("/app")
+
+it("sets the session cookie + flash and redirects", async () => {
+  const { thrown, cookies, locationState } = await runInRequestContext(
+    () => loginAction(input),
+    {
+      env,
+      request: new Request("https://app.test/admin", {
+        headers: { Cookie: "sid=abc" },
+      }),
+    },
+  );
+  expect((thrown as Response).headers.get("Location")).toBe("/app"); // redirected
+  expect(cookies.session).toBeDefined(); // cookie set before the throw, no @internal cast
+  expect(locationState).toEqual({ flash: { text: "Welcome back" } });
+});
+```
+
+## Caveats
+
+- The snapshot fires whether `fn` RETURNS or THROWS. A `throw redirect("/app")` on the success path is captured on `thrown` (NOT re-thrown), so no try/catch is needed; assert on `thrown` for a throwing action.
+- There is no cookies / headers option. Seed a request cookie by passing a full `Request` with the `Cookie` header (as in the recipe).
+- `runWithRequestContext(ctx, fn)` is the low-level entry when you already hold a context; `runInRequestContext` is the one-call convenience over `createTestRequestContext` + `runWithRequestContext`.
+- Platform bindings are yours to double via `env` (see `./bindings.md`).
+
+## See also
+
+- `/server-actions` — the DSL this tests
+- Siblings: `./render-handler.md`, `./middleware.md`, `./loader.md`, `./bindings.md`
+- Long-form prose: [docs/testing.md](https://github.com/ivogt/vite-rsc/blob/main/packages/rangojs-router/docs/testing.md) — section "runInRequestContext — the handler / server-action test primitive"

package/skills/testing/server-tree.md

@@ -0,0 +1,128 @@
+# Inspecting the rendered tree — renderServerTree, findClientBoundaries, findElements
+
+**Layer:** RSC unit (react-server project) · **Import:** `@rangojs/router/testing/flight` · **DSL it tests:** client islands across the boundary + server-rendered host content (see `/route`)
+
+`renderServerTree` serializes the real Flight (identical bytes to `renderToFlightString`) and then deserializes it back to an inspectable React element tree you traverse — that serialize/deserialize round-trip is REAL; what you SEED is the element you render plus the request context (`request`/`headers`/`params`/`vars`/`env`). The win over the wire string: a client boundary's props come back as real JS values (a `Date` is a `Date`, not the opaque `$D...` encoding) and you can confirm a `"use client"` component actually crossed the boundary (an `I` row) instead of being inlined. There is NO hydration and NO interaction — boundaries are inert placeholders carrying props.
+
+## API
+
+### Options — `RenderServerTreeOptions` (extends `RenderToFlightStringOptions`)
+
+| Field              | Type                      | Meaning                                                                                                                                                                                                                                                                                                                                |
+| ------------------ | ------------------------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| `request`          | `Request \| string`       | The request the render runs under (absolute URL, path, or a `Request`). Defaults to `http://localhost/`. A server component reading `getRequestContext()` sees this url/cookies. A passed `Request`'s headers win; `headers` is then ignored.                                                                                          |
+| `headers`          | `HeadersInit`             | Request headers (e.g. `Cookie`) visible to the server tree, when `request` is a string.                                                                                                                                                                                                                                                |
+| `env`              | `unknown`                 | Env / bindings exposed as `ctx.env`. Defaults to `{}`.                                                                                                                                                                                                                                                                                 |
+| `params`           | `Record<string, string>`  | Route params exposed via `ctx.params` and loader contexts.                                                                                                                                                                                                                                                                             |
+| `routeName`        | `string`                  | Matched route name (drives `ctx.routeName` and scoped reverse).                                                                                                                                                                                                                                                                        |
+| `vars`             | `VarsInit`                | Context variables visible via `ctx.get(...)`, as a prior middleware would have set them. Object form (`{ user }`) or `[key, value]` tuples.                                                                                                                                                                                            |
+| `clientComponents` | `Record<string, unknown>` | The `"use client"` components reachable from the tree, keyed by the boundary name to register each as a client reference (in place) so it serializes as an `I` row. Omit when `rangoUseClientTransform()` auto-discovers them, or for pure server-only trees. First-wins per worker; already-registered references are left untouched. |
+
+### Context — what your code receives
+
+A server component rendered here runs under a real request context: `getRequestContext()` resolves, `ctx.params`/`ctx.routeName`/`ctx.env` reflect the options, `ctx.get(MyVar)` reads a seeded `var`, and cookies come off the request. Same seeding as the handler-test primitives — you render an **element** you build (`<Page />`); to run a route **handler** `(ctx) => rsc` use `renderHandler` (see `./render-handler.md`).
+
+### Returns — `RenderServerTreeResult`
+
+```ts
+renderServerTree(element, opts?): Promise<{ flight: string; tree: unknown }>
+```
+
+| Field    | Type      | Meaning                                                                                                                                                                                                  |
+| -------- | --------- | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |
+| `flight` | `string`  | The raw Flight wire string (so `toMatchFlight` assertions still apply).                                                                                                                                  |
+| `tree`   | `unknown` | The deserialized React element tree. Server elements are plain React elements; each client boundary is an inert placeholder whose `props` are the real deserialized JS values that crossed the boundary. |
+
+#### `findClientBoundaries(tree, selector?) -> ClientBoundary[]`
+
+Every client boundary in document order; always an array (no throw on zero/many — destructure `const [tag] = ...` and assert `.length` when the count matters; no match yields `[]`). `selector` is a STRING (match by export name) or a `BoundarySelector` object, criteria AND-ed.
+
+| `BoundarySelector` | Type                                    | Meaning                                                                                    |
+| ------------------ | --------------------------------------- | ------------------------------------------------------------------------------------------ |
+| `name`             | `string`                                | Match the boundary's export name (same as a bare string).                                  |
+| `testId`           | `string`                                | Match `props["data-testid"]` exactly (a `data-testid` you passed AS A PROP to the island). |
+| `props`            | `Record<string, unknown>`               | Subset deep-equal match (Date/Map/Set/array/nested-object aware); unlisted props ignored.  |
+| `where`            | `(boundary: ClientBoundary) => boolean` | Arbitrary predicate.                                                                       |
+
+`ClientBoundary` = `{ id, name, props (excludes children), children, element }`.
+
+#### `findElements(tree, selector?) -> FoundElement[]`
+
+Every SERVER/HOST element a server component produced (`<article>`, `<h2>`), in document order; always an array. `selector` is a host TAG string (`"h2"`) or an `ElementSelector` object, criteria AND-ed.
+
+| `ElementSelector` | Type                                 | Meaning                                                                            |
+| ----------------- | ------------------------------------ | ---------------------------------------------------------------------------------- |
+| `tag`             | `string`                             | Match the host tag name (`"article"`, `"h2"`).                                     |
+| `testId`          | `string`                             | Match `props["data-testid"]` exactly (on a host element).                          |
+| `props`           | `Record<string, unknown>`            | Subset deep-equal match (Date/Map/Set/array/nested aware).                         |
+| `text`            | `string \| RegExp`                   | Match the element's text content (substring for a string, `.test()` for a RegExp). |
+| `where`           | `(element: FoundElement) => boolean` | Arbitrary predicate.                                                               |
+
+`FoundElement` = `{ tag, props (excludes children), children, text, element }`.
+
+#### `textContent(node) -> string`
+
+Concatenates every string/number leaf of a node's subtree in document order — the clean way to assert rendered text, instead of `JSON.stringify(tree).toContain(...)`.
+
+## Recipe
+
+```tsx
+import { it, expect } from "vitest";
+import {
+  renderServerTree,
+  findClientBoundaries,
+  findElements,
+  textContent,
+} from "@rangojs/router/testing/flight";
+import { PriceTag } from "./PriceTag.js"; // a "use client" component (any filename)
+
+async function ProductPanel({ amount, asOf }: { amount: number; asOf: Date }) {
+  await Promise.resolve();
+  return (
+    <article>
+      <h2>Wine</h2>
+      <PriceTag amount={amount} currency="USD" asOf={asOf} />
+    </article>
+  );
+}
+
+it("client props survive the serialize -> deserialize round trip", async () => {
+  const { flight, tree } = await renderServerTree(
+    <ProductPanel amount={19.5} asOf={new Date("2026-01-02T00:00:00Z")} />,
+    // Omit clientComponents when rangoUseClientTransform() is wired (see ./setup.md);
+    // otherwise register islands explicitly:
+    { clientComponents: { PriceTag } },
+  );
+  expect(flight).toMatchFlight("PriceTag"); // wire assertions still work
+
+  const [tag] = findClientBoundaries(tree, "PriceTag");
+  expect(tag.props.amount).toBe(19.5); // a real number
+  expect(tag.props.asOf).toBeInstanceOf(Date); // a real Date, not "$D..."
+});
+
+it("asserts the server-rendered host content", async () => {
+  const { tree } = await renderServerTree(
+    <ProductPanel amount={19.5} asOf={new Date("2026-01-02T00:00:00Z")} />,
+    { clientComponents: { PriceTag } },
+  );
+  const [h2] = findElements(tree, "h2");
+  expect(h2.text).toBe("Wine");
+  expect(textContent(tree)).toContain("Wine"); // instead of JSON.stringify(tree)
+});
+```
+
+## Caveats
+
+- This renders an ELEMENT you build (`<Page />`). To test a route HANDLER (a `(ctx) => rsc` function registered via `path(...)`), use `renderHandler` (see [`./render-handler.md`](./render-handler.md)) — handlers have their own util. Do NOT wrap a handler in `createElement` and render it here: a handler is not a component, so React would invoke it with `props` as its argument instead of the real `HandlerContext`, and the seeded `params`/`vars` plus `ctx.use`/`ctx.reverse`/`ctx.get`/`cookies()` would all be absent.
+- Island auto-discovery from the server tree's imports needs `rangoUseClientTransform()` in the rsc project (see `./setup.md`). Without it a plainly-imported island is just a function the serializer renders server-side — register islands explicitly via `{ clientComponents: { PriceTag } }`.
+- Same alias requirement as `./flight.md`: a rendered component (or handler) that reads `getRequestContext()`/`cookies()` from the `@rangojs/router` barrel needs the `index.rsc.ts` alias (see `./setup.md`), or it hits the throwing out-of-react-server stub.
+- A client boundary's props come back as REAL JS values after deserialization (a `Date` is a `Date`, not a `$D...` encoding) — but there is NO hydration and NO interaction; boundaries are inert placeholders carrying props.
+- Server COMPONENTS do not survive Flight as identities (they are executed during serialization), so `findElements` matches the host elements they PRODUCED, not the component function. Client islands keep identity — use `findClientBoundaries` for those.
+- `findClientBoundaries` finds islands (`I` rows); `findElements` finds host elements. A `testId` on an island matches with `findClientBoundaries`; a `testId` on a host element matches with `findElements`. Use `textContent(node)` in place of `JSON.stringify(tree).toContain`.
+- A true interactive, clickable DOM `renderServer` is intentionally NOT shipped: in-process happy-dom hydration re-tests React more than your app and misses server/client divergence (the only hydration bug worth a dedicated test, which needs a real browser). Test interaction at e2e.
+
+## See also
+
+- `/route` — the DSL this tests
+- Siblings: `./flight.md`, `./render-handler.md`, `./setup.md`
+- Long-form prose: [docs/testing.md](https://github.com/ivogt/vite-rsc/blob/main/packages/rangojs-router/docs/testing.md) — section "renderServerTree — serialize then deserialize to an inspectable tree" (and the "findElements / textContent" subsection)