@rangojs/router 0.0.0-experimental.fa8a383a → 0.0.0-experimental.fb4fdc18

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (175) hide show
  1. package/README.md +188 -35
  2. package/dist/bin/rango.js +130 -47
  3. package/dist/vite/index.js +1884 -537
  4. package/dist/vite/index.js.bak +5448 -0
  5. package/dist/vite/plugins/cloudflare-protocol-loader-hook.mjs +76 -0
  6. package/package.json +7 -5
  7. package/skills/breadcrumbs/SKILL.md +3 -1
  8. package/skills/cache-guide/SKILL.md +32 -0
  9. package/skills/caching/SKILL.md +8 -0
  10. package/skills/handler-use/SKILL.md +362 -0
  11. package/skills/hooks/SKILL.md +33 -20
  12. package/skills/i18n/SKILL.md +276 -0
  13. package/skills/intercept/SKILL.md +20 -0
  14. package/skills/layout/SKILL.md +22 -0
  15. package/skills/links/SKILL.md +93 -17
  16. package/skills/loader/SKILL.md +123 -46
  17. package/skills/middleware/SKILL.md +36 -3
  18. package/skills/migrate-nextjs/SKILL.md +562 -0
  19. package/skills/migrate-react-router/SKILL.md +769 -0
  20. package/skills/parallel/SKILL.md +133 -0
  21. package/skills/prerender/SKILL.md +110 -68
  22. package/skills/rango/SKILL.md +26 -22
  23. package/skills/response-routes/SKILL.md +8 -0
  24. package/skills/route/SKILL.md +75 -0
  25. package/skills/router-setup/SKILL.md +87 -2
  26. package/skills/server-actions/SKILL.md +739 -0
  27. package/skills/streams-and-websockets/SKILL.md +283 -0
  28. package/skills/typesafety/SKILL.md +19 -1
  29. package/src/__internal.ts +1 -1
  30. package/src/browser/app-shell.ts +52 -0
  31. package/src/browser/app-version.ts +14 -0
  32. package/src/browser/event-controller.ts +44 -4
  33. package/src/browser/navigation-bridge.ts +95 -7
  34. package/src/browser/navigation-client.ts +128 -53
  35. package/src/browser/navigation-store.ts +68 -9
  36. package/src/browser/partial-update.ts +93 -12
  37. package/src/browser/prefetch/cache.ts +129 -21
  38. package/src/browser/prefetch/fetch.ts +156 -18
  39. package/src/browser/prefetch/queue.ts +92 -29
  40. package/src/browser/prefetch/resource-ready.ts +77 -0
  41. package/src/browser/rango-state.ts +53 -13
  42. package/src/browser/react/Link.tsx +72 -8
  43. package/src/browser/react/NavigationProvider.tsx +82 -21
  44. package/src/browser/react/context.ts +7 -2
  45. package/src/browser/react/filter-segment-order.ts +51 -7
  46. package/src/browser/react/use-handle.ts +9 -58
  47. package/src/browser/react/use-navigation.ts +22 -2
  48. package/src/browser/react/use-params.ts +17 -4
  49. package/src/browser/react/use-router.ts +29 -9
  50. package/src/browser/react/use-segments.ts +11 -8
  51. package/src/browser/rsc-router.tsx +60 -9
  52. package/src/browser/scroll-restoration.ts +10 -8
  53. package/src/browser/segment-reconciler.ts +36 -14
  54. package/src/browser/server-action-bridge.ts +8 -6
  55. package/src/browser/types.ts +46 -5
  56. package/src/build/generate-manifest.ts +6 -6
  57. package/src/build/generate-route-types.ts +3 -0
  58. package/src/build/route-trie.ts +52 -25
  59. package/src/build/route-types/include-resolution.ts +8 -1
  60. package/src/build/route-types/router-processing.ts +211 -72
  61. package/src/build/route-types/scan-filter.ts +8 -1
  62. package/src/cache/cache-runtime.ts +15 -11
  63. package/src/cache/cache-scope.ts +46 -5
  64. package/src/cache/cf/cf-cache-store.ts +5 -7
  65. package/src/cache/taint.ts +55 -0
  66. package/src/client.tsx +84 -230
  67. package/src/context-var.ts +72 -2
  68. package/src/handle.ts +40 -0
  69. package/src/index.rsc.ts +6 -1
  70. package/src/index.ts +49 -6
  71. package/src/outlet-context.ts +1 -1
  72. package/src/prerender/store.ts +5 -4
  73. package/src/prerender.ts +138 -77
  74. package/src/response-utils.ts +28 -0
  75. package/src/reverse.ts +28 -2
  76. package/src/route-definition/dsl-helpers.ts +210 -35
  77. package/src/route-definition/helpers-types.ts +73 -20
  78. package/src/route-definition/index.ts +3 -0
  79. package/src/route-definition/redirect.ts +9 -1
  80. package/src/route-definition/resolve-handler-use.ts +155 -0
  81. package/src/route-types.ts +18 -0
  82. package/src/router/content-negotiation.ts +100 -1
  83. package/src/router/handler-context.ts +102 -25
  84. package/src/router/intercept-resolution.ts +9 -4
  85. package/src/router/lazy-includes.ts +6 -6
  86. package/src/router/loader-resolution.ts +159 -21
  87. package/src/router/manifest.ts +22 -13
  88. package/src/router/match-api.ts +128 -192
  89. package/src/router/match-handlers.ts +1 -0
  90. package/src/router/match-middleware/background-revalidation.ts +12 -1
  91. package/src/router/match-middleware/cache-lookup.ts +74 -14
  92. package/src/router/match-middleware/cache-store.ts +21 -4
  93. package/src/router/match-middleware/segment-resolution.ts +53 -0
  94. package/src/router/match-result.ts +112 -9
  95. package/src/router/metrics.ts +6 -1
  96. package/src/router/middleware-types.ts +20 -33
  97. package/src/router/middleware.ts +56 -12
  98. package/src/router/navigation-snapshot.ts +182 -0
  99. package/src/router/pattern-matching.ts +101 -17
  100. package/src/router/prerender-match.ts +110 -10
  101. package/src/router/preview-match.ts +30 -102
  102. package/src/router/request-classification.ts +310 -0
  103. package/src/router/revalidation.ts +15 -1
  104. package/src/router/route-snapshot.ts +245 -0
  105. package/src/router/router-context.ts +1 -0
  106. package/src/router/router-interfaces.ts +36 -4
  107. package/src/router/router-options.ts +37 -11
  108. package/src/router/segment-resolution/fresh.ts +114 -18
  109. package/src/router/segment-resolution/helpers.ts +29 -24
  110. package/src/router/segment-resolution/revalidation.ts +257 -127
  111. package/src/router/trie-matching.ts +18 -13
  112. package/src/router/types.ts +1 -0
  113. package/src/router/url-params.ts +49 -0
  114. package/src/router.ts +55 -7
  115. package/src/rsc/handler.ts +478 -383
  116. package/src/rsc/helpers.ts +69 -41
  117. package/src/rsc/loader-fetch.ts +23 -3
  118. package/src/rsc/manifest-init.ts +5 -1
  119. package/src/rsc/progressive-enhancement.ts +18 -2
  120. package/src/rsc/response-route-handler.ts +14 -1
  121. package/src/rsc/rsc-rendering.ts +20 -1
  122. package/src/rsc/server-action.ts +12 -0
  123. package/src/rsc/ssr-setup.ts +2 -2
  124. package/src/rsc/types.ts +15 -1
  125. package/src/segment-content-promise.ts +67 -0
  126. package/src/segment-loader-promise.ts +122 -0
  127. package/src/segment-system.tsx +22 -62
  128. package/src/server/context.ts +76 -4
  129. package/src/server/handle-store.ts +19 -0
  130. package/src/server/loader-registry.ts +9 -8
  131. package/src/server/request-context.ts +185 -57
  132. package/src/ssr/index.tsx +8 -1
  133. package/src/static-handler.ts +18 -6
  134. package/src/types/cache-types.ts +4 -4
  135. package/src/types/handler-context.ts +145 -68
  136. package/src/types/loader-types.ts +41 -15
  137. package/src/types/request-scope.ts +126 -0
  138. package/src/types/route-entry.ts +12 -1
  139. package/src/types/segments.ts +18 -1
  140. package/src/urls/include-helper.ts +24 -14
  141. package/src/urls/path-helper-types.ts +39 -6
  142. package/src/urls/path-helper.ts +47 -12
  143. package/src/urls/pattern-types.ts +12 -0
  144. package/src/urls/response-types.ts +18 -16
  145. package/src/use-loader.tsx +77 -5
  146. package/src/vite/debug.ts +184 -0
  147. package/src/vite/discovery/bundle-postprocess.ts +30 -33
  148. package/src/vite/discovery/discover-routers.ts +36 -4
  149. package/src/vite/discovery/gate-state.ts +171 -0
  150. package/src/vite/discovery/prerender-collection.ts +175 -74
  151. package/src/vite/discovery/self-gen-tracking.ts +27 -1
  152. package/src/vite/discovery/state.ts +13 -4
  153. package/src/vite/index.ts +4 -0
  154. package/src/vite/plugin-types.ts +60 -5
  155. package/src/vite/plugins/cjs-to-esm.ts +5 -0
  156. package/src/vite/plugins/client-ref-dedup.ts +16 -0
  157. package/src/vite/plugins/client-ref-hashing.ts +16 -4
  158. package/src/vite/plugins/cloudflare-protocol-loader-hook.d.mts +23 -0
  159. package/src/vite/plugins/cloudflare-protocol-loader-hook.mjs +76 -0
  160. package/src/vite/plugins/cloudflare-protocol-stub.ts +214 -0
  161. package/src/vite/plugins/expose-action-id.ts +52 -28
  162. package/src/vite/plugins/expose-id-utils.ts +12 -0
  163. package/src/vite/plugins/expose-ids/handler-transform.ts +30 -0
  164. package/src/vite/plugins/expose-ids/router-transform.ts +20 -3
  165. package/src/vite/plugins/expose-internal-ids.ts +563 -316
  166. package/src/vite/plugins/performance-tracks.ts +96 -0
  167. package/src/vite/plugins/refresh-cmd.ts +88 -26
  168. package/src/vite/plugins/use-cache-transform.ts +56 -43
  169. package/src/vite/plugins/version-injector.ts +37 -11
  170. package/src/vite/rango.ts +63 -11
  171. package/src/vite/router-discovery.ts +732 -86
  172. package/src/vite/utils/banner.ts +1 -1
  173. package/src/vite/utils/package-resolution.ts +41 -1
  174. package/src/vite/utils/prerender-utils.ts +38 -5
  175. package/src/vite/utils/shared-utils.ts +3 -2
@@ -19,6 +19,8 @@ import type {
19
19
  ResolvedRouteMap,
20
20
  } from "./route-config.js";
21
21
  import type { LoaderDefinition } from "./loader-types.js";
22
+ import type { UseItems, HandlerUseItem } from "../route-types.js";
23
+ import type { RequestScope } from "./request-scope.js";
22
24
 
23
25
  // Re-export MiddlewareFn for internal/advanced use
24
26
  export type { MiddlewareFn } from "../router/middleware.js";
@@ -135,7 +137,7 @@ export type Handler<
135
137
  | Record<string, any> = {},
136
138
  TRouteMap extends {} = DefaultHandlerRouteMap,
137
139
  TEnv = DefaultEnv,
138
- > = (
140
+ > = ((
139
141
  ctx: HandlerContext<
140
142
  T extends `.${infer Local}`
141
143
  ? Local extends keyof TRouteMap
@@ -160,7 +162,10 @@ export type Handler<
160
162
  : ExtractSearchFromEntry<DefaultHandlerRouteMap, T>,
161
163
  TRouteMap extends DefaultHandlerRouteMap ? never : TRouteMap
162
164
  >,
163
- ) => ReactNode | Promise<ReactNode> | Response | Promise<Response>;
165
+ ) => ReactNode | Promise<ReactNode> | Response | Promise<Response>) & {
166
+ /** Composable default DSL items merged when the handler is mounted. */
167
+ use?: () => UseItems<HandlerUseItem>;
168
+ };
164
169
 
165
170
  /**
166
171
  * Context passed to handlers (Hono-inspired type-safe context)
@@ -170,7 +175,7 @@ export type Handler<
170
175
  * - Cleaned route URL (`url`, `searchParams`, `pathname` — no `_rsc*` params)
171
176
  * - Original request (`request` — raw transport URL, headers, method, body)
172
177
  * - Platform bindings (env.DB, env.KV, env.SECRETS)
173
- * - Middleware variables (var.user, var.permissions)
178
+ * - Middleware variables (`get("user")`, `get("permissions")`)
174
179
  * - Getter/setter for variables (get('user'), set('user', ...))
175
180
  *
176
181
  * @example
@@ -178,8 +183,7 @@ export type Handler<
178
183
  * const handler = (ctx: HandlerContext<{ slug: string }, AppEnv>) => {
179
184
  * ctx.params.slug // Route param (string)
180
185
  * ctx.env.DB // Binding (D1Database)
181
- * ctx.var.user // Variable (User | undefined)
182
- * ctx.get('user') // Alternative getter
186
+ * ctx.get('user') // Variable (User | undefined)
183
187
  * ctx.set('user', {...}) // Setter
184
188
  * ctx.url // Clean URL (no _rsc* params)
185
189
  * ctx.searchParams // Clean params (no _rsc* params)
@@ -192,7 +196,7 @@ export type HandlerContext<
192
196
  TEnv = DefaultEnv,
193
197
  TSearch extends SearchSchema = {},
194
198
  TRouteMap = never,
195
- > = {
199
+ > = RequestScope<TEnv> & {
196
200
  /**
197
201
  * Route parameters extracted from the URL pattern.
198
202
  * Type-safe when using Handler<"/path/:param"> or Handler<{ param: string }>.
@@ -207,51 +211,19 @@ export type HandlerContext<
207
211
  */
208
212
  build: boolean;
209
213
  /**
210
- * The original incoming Request object (transport URL intact).
211
- * Use `ctx.url` / `ctx.searchParams` for application logic those have
212
- * internal `_rsc*` params stripped. `ctx.request` preserves the raw URL
213
- * for cases where you need original headers, method, or body.
214
- */
215
- request: Request;
216
- /**
217
- * Query parameters from the URL (system params like `_rsc*` are filtered).
218
- * Always a standard URLSearchParams instance.
214
+ * True when running in Vite dev mode, false during production build or
215
+ * live request rendering. Use this to branch on runtime mode without
216
+ * changing build semantics (e.g., skip expensive operations in dev).
219
217
  */
220
- searchParams: URLSearchParams;
218
+ dev: boolean;
221
219
  /**
222
220
  * Typed search parameters parsed from URL query string via the route's
223
221
  * search schema. Empty object when no schema is defined.
224
222
  */
225
223
  search: {} extends TSearch ? {} : ResolveSearchSchema<TSearch>;
226
- /**
227
- * The pathname portion of the request URL.
228
- */
229
- pathname: string;
230
- /**
231
- * The full URL object (with internal `_rsc*` params stripped).
232
- * Use this for application logic — routing, link generation, display.
233
- */
234
- url: URL;
235
- /**
236
- * The original request URL with all parameters intact, including
237
- * internal `_rsc*` transport params. Use `ctx.url` for application
238
- * logic — this is only needed for advanced cases like debugging
239
- * or custom cache keying.
240
- */
241
- originalUrl: URL;
242
- /**
243
- * Platform bindings (DB, KV, secrets, etc.).
244
- * Access resources like `ctx.env.DB`, `ctx.env.KV`.
245
- */
246
- env: TEnv;
247
- /**
248
- * Middleware-injected variables.
249
- * Access values like `ctx.var.user`, `ctx.var.permissions`.
250
- */
251
- var: DefaultVars;
252
224
  /**
253
225
  * Type-safe getter for middleware variables.
254
- * Alternative to `ctx.var.key` with better autocomplete.
226
+ * Preferred way to read middleware-injected variables.
255
227
  *
256
228
  * @example
257
229
  * ```typescript
@@ -272,8 +244,16 @@ export type HandlerContext<
272
244
  * ```
273
245
  */
274
246
  set: {
275
- <T>(contextVar: ContextVar<T>, value: T): void;
276
- } & (<K extends keyof DefaultVars>(key: K, value: DefaultVars[K]) => void);
247
+ <T>(
248
+ contextVar: ContextVar<T>,
249
+ value: T,
250
+ options?: { cache?: boolean },
251
+ ): void;
252
+ } & (<K extends keyof DefaultVars>(
253
+ key: K,
254
+ value: DefaultVars[K],
255
+ options?: { cache?: boolean },
256
+ ) => void);
277
257
  /**
278
258
  * Response headers. Headers set here are merged into the final response.
279
259
  *
@@ -289,8 +269,15 @@ export type HandlerContext<
289
269
  /**
290
270
  * Access loader data or push handle data.
291
271
  *
272
+ * Available in route handlers, layout handlers, middleware, server actions,
273
+ * and server components rendered within the request context.
274
+ *
292
275
  * For loaders: Returns a promise that resolves to the loader data.
293
276
  * Loaders are executed in parallel and memoized per request.
277
+ * Prefer DSL `loader()` + client `useLoader()` over `ctx.use(Loader)` —
278
+ * DSL loaders are always fresh and cache-safe. Use `ctx.use(Loader)` only
279
+ * when you need loader data in the handler itself (e.g., to set context
280
+ * variables or make routing decisions).
294
281
  *
295
282
  * For handles: Returns a push function to add data for this segment.
296
283
  * Handle data accumulates across all matched route segments.
@@ -298,10 +285,11 @@ export type HandlerContext<
298
285
  *
299
286
  * @example
300
287
  * ```typescript
301
- * // Loader usage
302
- * route("cart", async (ctx) => {
303
- * const cart = await ctx.use(CartLoader);
304
- * return <CartPage cart={cart} />;
288
+ * // Loader escape hatch — use when handler needs the data directly
289
+ * route("product", async (ctx) => {
290
+ * const { product } = await ctx.use(ProductLoader);
291
+ * ctx.set(Product, product); // make available to children
292
+ * return <ProductPage />;
305
293
  * });
306
294
  *
307
295
  * // Handle usage - direct value
@@ -432,6 +420,8 @@ export type InternalHandlerContext<
432
420
  > = HandlerContext<TParams, TEnv, TSearch> & {
433
421
  /** @internal Stub response for collecting headers/cookies. */
434
422
  res: Response;
423
+ /** @internal Shared variable backing store for ctx.get()/ctx.set(). */
424
+ _variables: Record<string, any>;
435
425
  /** Prerender-only control flow helper, attached when the runtime context supports it. */
436
426
  passthrough?: () => unknown;
437
427
  /** Current segment ID for handle data attribution. */
@@ -481,13 +471,16 @@ export type RevalidateParams<TParams = GenericParams, TEnv = any> = Parameters<
481
471
  * **Return Types:**
482
472
  * - `boolean` - Hard decision: immediately returns this value (short-circuits)
483
473
  * - `{ defaultShouldRevalidate: boolean }` - Soft decision: updates suggestion for next revalidator
474
+ * - `void` / `null` / `undefined` - Defer to the current suggestion (no opinion); the
475
+ * loop continues to the next revalidator without changing the running default
484
476
  *
485
477
  * **Execution Flow:**
486
478
  * 1. Start with built-in `defaultShouldRevalidate` (true if params changed)
487
479
  * 2. Execute global revalidators first, then route-specific
488
480
  * 3. Hard decision (boolean): stop immediately and use that value
489
481
  * 4. Soft decision (object): update suggestion and continue to next revalidator
490
- * 5. If all return soft decisions: use the final suggestion
482
+ * 5. Defer (`void` / `null` / `undefined`): leave suggestion unchanged and continue
483
+ * 6. If no hard decision was returned: use the final running suggestion
491
484
  *
492
485
  * @param args.currentParams - Previous route params (generic by default, can be narrowed)
493
486
  * @param args.currentUrl - Previous URL
@@ -499,7 +492,8 @@ export type RevalidateParams<TParams = GenericParams, TEnv = any> = Parameters<
499
492
  * @param args.formData - Form data from action (future support)
500
493
  * @param args.formMethod - HTTP method from action (future support)
501
494
  *
502
- * @returns Hard decision (boolean) or soft suggestion (object)
495
+ * @returns Hard decision (boolean), soft suggestion (object), or defer
496
+ * (`void` / `null` / `undefined`) to keep the running suggestion as-is.
503
497
  *
504
498
  * @example
505
499
  * ```typescript
@@ -519,31 +513,114 @@ export type RevalidateParams<TParams = GenericParams, TEnv = any> = Parameters<
519
513
  * })
520
514
  * ```
521
515
  */
516
+ /**
517
+ * Revalidation function called during client-side navigation to decide whether
518
+ * a segment (layout, route, parallel slot, or loader) should be re-rendered.
519
+ *
520
+ * Return `true` to re-render, `false` to skip (keep client's current version),
521
+ * `{ defaultShouldRevalidate: boolean }` to update the running suggestion for
522
+ * downstream revalidators, or nothing (`void` / `null` / `undefined`) to defer
523
+ * to the current suggestion without changing it.
524
+ *
525
+ * @example
526
+ * ```ts
527
+ * // Re-render only when a cart action happened or browser signals staleness
528
+ * revalidate(({ actionId, stale }) =>
529
+ * actionId?.includes("cart") || stale || false
530
+ * )
531
+ *
532
+ * // Always re-render when params change (default behavior made explicit)
533
+ * revalidate(({ defaultShouldRevalidate }) => defaultShouldRevalidate)
534
+ * ```
535
+ */
522
536
  export type ShouldRevalidateFn<TParams = GenericParams, TEnv = any> = (args: {
537
+ /** Route params from the page being navigated away from. */
523
538
  currentParams: TParams;
539
+ /** Full URL of the page being navigated away from. */
524
540
  currentUrl: URL;
541
+ /** Route params for the navigation target. */
525
542
  nextParams: TParams;
543
+ /** Full URL of the navigation target. */
526
544
  nextUrl: URL;
545
+ /**
546
+ * The router's default revalidation decision for this segment.
547
+ * `true` when params changed or the segment is new to the client.
548
+ * Return this when you want default behavior plus your own conditions.
549
+ */
527
550
  defaultShouldRevalidate: boolean;
551
+ /** Full handler context — access to `ctx.use()`, `ctx.env`, `ctx.params`, etc. */
528
552
  context: HandlerContext<TParams, TEnv>;
529
- // Segment metadata (which segment is being evaluated):
553
+
554
+ // ── Segment metadata (which segment is being evaluated) ──────────────
555
+
556
+ /** The type of segment being revalidated. */
530
557
  segmentType: "layout" | "route" | "parallel";
531
- layoutName?: string; // Layout name (e.g., "root", "shop", "auth") - only for layouts
532
- slotName?: string; // Slot name (e.g., "@sidebar", "@modal") - only for parallels
533
- // Action context (populated when revalidation triggered by server action):
534
- actionId?: string; // Action identifier (e.g., "src/actions.ts#addToCart")
535
- actionUrl?: URL; // URL where action was executed
536
- actionResult?: any; // Return value from action execution
537
- formData?: FormData; // FormData from action request
538
- method?: string; // Request method: 'GET' for navigation, 'POST' for actions
539
- routeName?: DefaultRouteName; // Route name of the navigation target (alias for toRouteName)
540
- // Named-route identity for both ends of a navigation transition.
541
- // Undefined for unnamed internal routes (those without a `name` option).
542
- fromRouteName?: DefaultRouteName; // Route name being navigated away from
543
- toRouteName?: DefaultRouteName; // Route name being navigated to
544
- // Stale cache revalidation (SWR pattern):
545
- stale?: boolean; // True if this is a stale cache revalidation request
546
- }) => boolean | { defaultShouldRevalidate: boolean };
558
+ /** Layout name (e.g., `"root"`, `"shop"`, `"auth"`). Only set for layout segments. */
559
+ layoutName?: string;
560
+ /** Slot name (e.g., `"@sidebar"`, `"@modal"`). Only set for parallel segments. */
561
+ slotName?: string;
562
+
563
+ // ── Action context (populated when revalidation is triggered by a server action) ──
564
+
565
+ /**
566
+ * Identifier of the server action that triggered revalidation.
567
+ * `undefined` during normal navigation (no action involved).
568
+ *
569
+ * Format: `"src/<path>#<exportName>"` the file path is the source path
570
+ * relative to the project root, followed by `#` and the exported function name.
571
+ *
572
+ * This is stable and can be used for path-based matching to revalidate
573
+ * when any action in a module or directory fires:
574
+ *
575
+ * @example
576
+ * ```ts
577
+ * // Match a specific action
578
+ * revalidate(({ actionId }) => actionId === "src/actions/cart.ts#addToCart")
579
+ *
580
+ * // Match any action in the cart module
581
+ * revalidate(({ actionId }) => actionId?.includes("cart") ?? false)
582
+ *
583
+ * // Match any action under src/apps/store/actions/
584
+ * revalidate(({ actionId }) => actionId?.startsWith("src/apps/store/actions/") ?? false)
585
+ * ```
586
+ */
587
+ actionId?: string;
588
+ /** URL where the action was executed (the page the user was on when they triggered the action). */
589
+ actionUrl?: URL;
590
+ /** Return value from the action execution. Can be used to conditionally revalidate based on the action's outcome. */
591
+ actionResult?: any;
592
+ /** FormData from the action request body. Only set for form-based actions (not inline `"use server"` actions). */
593
+ formData?: FormData;
594
+ /** HTTP method: `"GET"` for navigation, `"POST"` for server actions. */
595
+ method?: string;
596
+
597
+ // ── Route identity ───────────────────────────────────────────────────
598
+
599
+ /** Route name of the navigation target. Alias for `toRouteName`. */
600
+ routeName?: DefaultRouteName;
601
+ /**
602
+ * Route name being navigated away from.
603
+ * `undefined` for unnamed internal routes (those without a `name` option).
604
+ */
605
+ fromRouteName?: DefaultRouteName;
606
+ /**
607
+ * Route name being navigated to.
608
+ * `undefined` for unnamed internal routes (those without a `name` option).
609
+ */
610
+ toRouteName?: DefaultRouteName;
611
+
612
+ // ── Staleness signal ─────────────────────────────────────────────────
613
+
614
+ /**
615
+ * `true` when the browser signals that data may be stale — typically because
616
+ * a server action was executed in this or another tab (`_rsc_stale` header).
617
+ *
618
+ * This is NOT segment cache staleness (loaders are never segment-cached).
619
+ * Use this to decide whether loader data should be re-fetched after an
620
+ * action that may have mutated backend state.
621
+ */
622
+ stale?: boolean;
623
+ }) => boolean | { defaultShouldRevalidate: boolean } | null | void;
547
624
 
548
625
  // MiddlewareFn is imported from "../router/middleware.js" and re-exported
549
626
 
@@ -1,12 +1,15 @@
1
1
  import type { ContextVar } from "../context-var.js";
2
+ import type { Handle } from "../handle.js";
2
3
  import type { MiddlewareFn } from "../router/middleware.js";
3
4
  import type { ScopedReverseFunction } from "../reverse.js";
4
5
  import type { SearchSchema, ResolveSearchSchema } from "../search-params.js";
6
+ import type { UseItems, LoaderUseItem } from "../route-types.js";
5
7
  import type {
6
8
  DefaultEnv,
7
9
  DefaultReverseRouteMap,
8
10
  DefaultVars,
9
11
  } from "./global-namespace.js";
12
+ import type { RequestScope } from "./request-scope.js";
10
13
 
11
14
  /**
12
15
  * Context passed to loader functions during execution
@@ -38,7 +41,7 @@ export type LoaderContext<
38
41
  TEnv = DefaultEnv,
39
42
  TBody = unknown,
40
43
  TSearch extends SearchSchema = {},
41
- > = {
44
+ > = RequestScope<TEnv> & {
42
45
  params: TParams;
43
46
  /**
44
47
  * Route params extracted from the URL pattern match (server-side only).
@@ -47,22 +50,43 @@ export type LoaderContext<
47
50
  * resource scoping.
48
51
  */
49
52
  routeParams: Record<string, string>;
50
- request: Request;
51
- searchParams: URLSearchParams;
52
53
  search: {} extends TSearch ? {} : ResolveSearchSchema<TSearch>;
53
- pathname: string;
54
- url: URL;
55
- env: TEnv;
56
- var: DefaultVars;
57
54
  get: {
58
55
  <T>(contextVar: ContextVar<T>): T | undefined;
59
56
  } & (<K extends keyof DefaultVars>(key: K) => DefaultVars[K]);
60
57
  /**
61
- * Access another loader's data (returns promise since loaders run in parallel)
58
+ * Access another loader's data, or read handle data after rendered().
59
+ *
60
+ * For loaders: returns a promise (loaders run in parallel).
61
+ * For handles: returns collected data (only after `await ctx.rendered()`).
62
+ */
63
+ use: {
64
+ <T, TLoaderParams = any>(
65
+ loader: LoaderDefinition<T, TLoaderParams>,
66
+ ): Promise<T>;
67
+ <TData, TAccumulated = TData[]>(
68
+ handle: Handle<TData, TAccumulated>,
69
+ ): TAccumulated;
70
+ };
71
+ /**
72
+ * **Experimental.** Wait for all non-loader segments to settle.
73
+ *
74
+ * After the returned promise resolves, handle data is available via
75
+ * `ctx.use(handle)`. Only supported in DSL loaders on non-streaming
76
+ * trees (no `loading()`). Throws if called from a handler-invoked
77
+ * loader or when the tree uses streaming.
78
+ *
79
+ * @example
80
+ * ```typescript
81
+ * const PricesLoader = createLoader(async (ctx) => {
82
+ * "use server";
83
+ * await ctx.rendered();
84
+ * const products = ctx.use(Products); // reads handle data
85
+ * return pricing.getLive(products.map(p => p.id));
86
+ * });
87
+ * ```
62
88
  */
63
- use: <T, TLoaderParams = any>(
64
- loader: LoaderDefinition<T, TLoaderParams>,
65
- ) => Promise<T>;
89
+ rendered: () => Promise<void>;
66
90
  /**
67
91
  * HTTP method (GET, POST, PUT, PATCH, DELETE)
68
92
  * Available when loader is called via load({ method: "POST", ... })
@@ -166,11 +190,11 @@ export type LoadOptions =
166
190
  * return await db.products.findBySlug(slug);
167
191
  * });
168
192
  *
169
- * // Server usage
170
- * const cart = ctx.use(CartLoader);
193
+ * // Client usage (preferred — cache-safe, always fresh)
194
+ * const { data } = useLoader(CartLoader);
171
195
  *
172
- * // Client usage (fn is stripped, only name remains)
173
- * const cart = useLoader(CartLoader);
196
+ * // Server escape hatch (handler needs data directly)
197
+ * const cart = await ctx.use(CartLoader);
174
198
  * ```
175
199
  */
176
200
  export type LoaderDefinition<
@@ -180,4 +204,6 @@ export type LoaderDefinition<
180
204
  __brand: "loader";
181
205
  $$id: string; // Injected by Vite plugin (exposeInternalIds) - unique identifier
182
206
  fn?: LoaderFn<T, TParams, any>; // Optional - server-side only, stored in registry for RSC
207
+ /** Composable default DSL items merged when the loader is mounted. */
208
+ use?: () => UseItems<LoaderUseItem>;
183
209
  };
@@ -0,0 +1,126 @@
1
+ /**
2
+ * RequestScope: the fields every user-facing context shares.
3
+ *
4
+ * A handler, middleware, loader, response handler, and the ALS-bound
5
+ * RequestContext are all different phases of the same request, and they
6
+ * all carry the same set of request-scoped capabilities: the raw Request,
7
+ * the parsed URL pair (`url` is cleaned of internal `_rsc*` params,
8
+ * `originalUrl` retains them), pathname/searchParams, platform bindings
9
+ * (`env`), and two escape hatches for work that outlives the response
10
+ * (`waitUntil`) or needs the raw Cloudflare runtime object
11
+ * (`executionContext`).
12
+ *
13
+ * Each public context type intersects `RequestScope<TEnv>` with its own
14
+ * phase-specific fields (e.g. `params`/`reverse` on HandlerContext,
15
+ * `headers`/`header()` on MiddlewareContext). That keeps platform surface
16
+ * in one place and lets the next runtime escape hatch we need land in
17
+ * one file instead of four.
18
+ */
19
+
20
+ import type { DefaultEnv } from "./global-namespace.js";
21
+
22
+ /**
23
+ * Minimal subset of Cloudflare Workers' ExecutionContext that the router
24
+ * uses. Defined locally so the package does not depend on
25
+ * `@cloudflare/workers-types`. Consumers that want the full type can cast.
26
+ *
27
+ * On non-Cloudflare runtimes (Node, dev server, tests), this is undefined
28
+ * — portable apps should prefer `ctx.waitUntil(...)`, which degrades
29
+ * gracefully. `ctx.executionContext` is the escape hatch for libraries
30
+ * (MCP, Durable Object routing, etc.) that type their arguments as the
31
+ * raw ExecutionContext.
32
+ */
33
+ export interface ExecutionContext {
34
+ waitUntil(promise: Promise<any>): void;
35
+ passThroughOnException(): void;
36
+ }
37
+
38
+ /**
39
+ * Fallback `waitUntil` body used when no Cloudflare `ExecutionContext`
40
+ * is available (Node, dev, tests). Runs the work fire-and-forget and
41
+ * logs errors so they don't silently swallow.
42
+ *
43
+ * Exported so every `waitUntil` call site degrades identically instead
44
+ * of inventing its own fallback policy.
45
+ */
46
+ export function fireAndForgetWaitUntil(fn: () => Promise<void>): void {
47
+ fn().catch((err) =>
48
+ console.error("[waitUntil] Background task failed:", err),
49
+ );
50
+ }
51
+
52
+ /**
53
+ * Fields present on every user-facing request context.
54
+ *
55
+ * @template TEnv - Platform bindings type (Cloudflare env, etc.).
56
+ */
57
+ export interface RequestScope<TEnv = DefaultEnv> {
58
+ /**
59
+ * The original incoming Request object (transport URL intact).
60
+ * Use `url` / `searchParams` for application logic — those have
61
+ * internal `_rsc*` params stripped. `request` preserves the raw URL
62
+ * when you need original headers, method, or body.
63
+ */
64
+ request: Request;
65
+
66
+ /**
67
+ * The request URL with internal `_rsc*` transport params stripped.
68
+ * Use this for routing, link generation, and display.
69
+ */
70
+ url: URL;
71
+
72
+ /**
73
+ * The original request URL with all parameters intact, including
74
+ * internal `_rsc*` transport params. Use `url` for application logic
75
+ * — this is only needed for advanced cases like debugging or custom
76
+ * cache keying.
77
+ */
78
+ originalUrl: URL;
79
+
80
+ /** URL pathname (same as `url.pathname`). */
81
+ pathname: string;
82
+
83
+ /**
84
+ * Query parameters from the URL (system params like `_rsc*` are
85
+ * filtered). Always a standard `URLSearchParams` instance.
86
+ */
87
+ searchParams: URLSearchParams;
88
+
89
+ /**
90
+ * Platform bindings (DB, KV, secrets, etc.). On Cloudflare Workers
91
+ * these are the `env` object passed to the Worker's `fetch()` handler.
92
+ */
93
+ env: TEnv;
94
+
95
+ /**
96
+ * Schedule work to run after the response is sent.
97
+ * On Cloudflare Workers, delegates to `executionContext.waitUntil()`.
98
+ * On Node / dev / tests, runs as fire-and-forget with error logging.
99
+ *
100
+ * @example
101
+ * ```typescript
102
+ * ctx.waitUntil(async () => {
103
+ * await cacheStore.set(key, data, ttl);
104
+ * });
105
+ * ```
106
+ */
107
+ waitUntil(fn: () => Promise<void>): void;
108
+
109
+ /**
110
+ * Raw Cloudflare Workers `ExecutionContext`, when running on a
111
+ * Cloudflare-compatible runtime. Undefined elsewhere.
112
+ *
113
+ * Escape hatch for libraries that type their arguments as
114
+ * `ExecutionContext` (MCP `fetch`, `routeAgentRequest`, etc.).
115
+ * For the common "do work after the response" case, prefer
116
+ * `ctx.waitUntil(...)` — it is platform-neutral.
117
+ *
118
+ * @example
119
+ * ```typescript
120
+ * path.any("/mcp", (ctx) =>
121
+ * emailMcp.fetch(ctx.request, ctx.env, ctx.executionContext!),
122
+ * );
123
+ * ```
124
+ */
125
+ executionContext?: ExecutionContext;
126
+ }
@@ -8,10 +8,21 @@ export interface LazyIncludeContext {
8
8
  urlPrefix: string;
9
9
  namePrefix: string | undefined;
10
10
  parent: unknown; // EntryData - avoid circular import
11
+ /** Counter snapshot from pattern extraction for consistent shortCode indices */
12
+ counters?: Record<string, number>;
11
13
  cacheProfiles?: Record<
12
14
  string,
13
15
  import("../cache/profile-registry.js").CacheProfile
14
16
  >;
17
+ /** Root scope flag for dot-local reverse resolution */
18
+ rootScoped?: boolean;
19
+ /**
20
+ * Positional include scope token composed from the parent scope plus this
21
+ * include's sibling index (`${parentScope}I${idx}`). Applied to direct-
22
+ * descendant shortCodes during lazy evaluation so routes inside the
23
+ * include cannot collide with siblings declared outside it.
24
+ */
25
+ includeScope?: string;
15
26
  }
16
27
 
17
28
  /**
@@ -69,7 +80,7 @@ export interface RouteEntry<TEnv = any> {
69
80
  prerenderRouteKeys?: Set<string>;
70
81
 
71
82
  /**
72
- * Route keys in this entry that use `{ passthrough: true }`.
83
+ * Route keys in this entry that are wrapped with `Passthrough()`.
73
84
  * Used by the non-trie match path to set the `pt` flag.
74
85
  */
75
86
  passthroughRouteKeys?: Set<string>;
@@ -50,18 +50,26 @@ export interface ResolvedSegment {
50
50
  parallelName?: string; // For parallels: the parallel group name (used to match with revalidations)
51
51
  // Loader-specific fields
52
52
  loaderId?: string; // For loaders: the loader $$id identifier
53
+ _inherited?: boolean; // For inherited loaders: dedup marker for buildMatchResult
53
54
  loaderData?: any; // For loaders: the resolved data from loader execution
54
55
  parallelLoading?: ReactNode; // For parallel-owned loaders: the parallel's loading fallback
55
56
  // Intercept loader fields (for streaming loader data in parallel segments)
56
57
  loaderDataPromise?: Promise<any[]> | any[]; // Loader data promise or resolved array
57
58
  loaderIds?: string[]; // IDs ($$id) of loaders for this segment
58
- parallelLoaderSources?: any[]; // Internal: preserves stable aggregate promise across renders
59
59
  // Error-specific fields
60
60
  error?: ErrorInfo; // For error segments: the error information
61
61
  // NotFound-specific fields
62
62
  notFoundInfo?: NotFoundInfo; // For notFound segments: the not found information
63
63
  // Mount path from include() scope, used for MountContext.Provider wrapping
64
64
  mountPath?: string;
65
+ /**
66
+ * @internal Server-side marker: true when the segment's handler actually ran
67
+ * this request (not skipped via the revalidate cache path). Used by
68
+ * match-result.ts to populate `MatchResult.resolvedIds` for client-side
69
+ * handle-bucket cleanup. Stripped from the wire payload before serialization
70
+ * — never reaches the client.
71
+ */
72
+ _handlerRan?: boolean;
65
73
  }
66
74
 
67
75
  /**
@@ -116,6 +124,15 @@ export interface MatchResult {
116
124
  segments: ResolvedSegment[];
117
125
  matched: string[];
118
126
  diff: string[];
127
+ /**
128
+ * Every segment id whose handler actually ran on the server this request,
129
+ * including ones with `component === null` that get filtered out of
130
+ * `segments`/`diff` to avoid wasted bytes. Drives the client's handle-
131
+ * cleanup pass — a slot that re-resolves and pushes nothing must clear
132
+ * its previous handle bucket, but `diff` doesn't carry it because the
133
+ * segment payload doesn't either. A superset of `diff`.
134
+ */
135
+ resolvedIds: string[];
119
136
  /**
120
137
  * Merged route params from all matched segments
121
138
  * Available for use by the handler after route matching