fibrae 0.3.0 → 0.3.2

package/dist/router/Navigator.d.ts

@@ -1,22 +1,47 @@
 /**
- * Navigator service - type-safe route-aware navigation.
+ * Navigator service - path-based navigation.
  *
- * Provides route-aware navigation on top of History:
- * - nav.go("routeName", { path: {...}, searchParams: {...} })
+ * Provides navigation on top of History:
+ * - nav.go("/posts/42") — push to history
+ * - nav.go("/posts/42", { replace: true, search: { sort: "date" } })
  * - nav.back, nav.forward
- * - nav.isActive("routeName", params) for active link detection
  * - currentRoute Atom reflects matched route info
+ * - currentPathname for active link detection
  *
- * Design: Navigator uses History internally but provides route-aware API.
- * It knows about routes and can build URLs from route names.
+ * Design: Navigator uses History internally but provides a higher-level API.
+ * Route matching is reactive via History location subscription.
  */
 import * as Effect from "effect/Effect";
 import * as Context from "effect/Context";
 import * as Layer from "effect/Layer";
 import * as Option from "effect/Option";
+import * as Schema from "effect/Schema";
 import { Atom, Registry as AtomRegistry } from "@effect-atom/atom";
 import { History } from "./History.js";
 import type { Router } from "./Router.js";
+declare const Redirect_base: Schema.TaggedErrorClass<Redirect, "Redirect", {
+    readonly _tag: Schema.tag<"Redirect">;
+} & {
+    to: typeof Schema.String;
+    replace: Schema.optional<typeof Schema.Boolean>;
+}>;
+/**
+ * Tagged error for redirecting from loaders, actions, or middleware.
+ *
+ * Throw this from a loader to redirect before the component renders:
+ * ```typescript
+ * loader: () => Effect.gen(function* () {
+ *   const session = yield* getSession()
+ *   if (!session) return yield* new Redirect({ to: "/login" })
+ *   return yield* fetchData()
+ * })
+ * ```
+ *
+ * The router catches Redirect before the error reaches ErrorBoundary
+ * and navigates to the target path.
+ */
+export declare class Redirect extends Redirect_base {
+}
 /**
  * Current route info - what route is currently matched.
  */
@@ -30,29 +55,38 @@ export interface CurrentRoute {
 /**
  * Navigation options for go().
  */
-export interface NavigateOptions<PathParams extends Record<string, unknown> = Record<string, unknown>, SearchParams extends Record<string, unknown> = Record<string, unknown>> {
-    readonly path?: PathParams;
-    readonly searchParams?: SearchParams;
+export interface NavigateOptions {
+    readonly search?: Record<string, unknown>;
     readonly replace?: boolean;
+    /** Enable View Transitions API for this navigation (CSS-driven animations) */
+    readonly viewTransition?: boolean;
 }
 /**
  * Navigator service interface.
- * Provides type-safe navigation by route name.
+ * Provides path-based navigation.
  */
 export interface NavigatorService {
+    /**
+     * The router instance used for route matching.
+     */
+    readonly router: Router;
     /**
      * Base path prefix for all routes (e.g., "/ssr/router").
      * Used for apps mounted at non-root paths.
      */
     readonly basePath: string;
+    /**
+     * Current pathname (without basePath). Updated on navigation.
+     */
+    readonly currentPathname: string;
     /**
      * Current matched route info - updates on navigation.
      */
     readonly currentRoute: Atom.Writable<Option.Option<CurrentRoute>, Option.Option<CurrentRoute>>;
     /**
-     * Navigate to a route by name with optional params.
+     * Navigate to a path.
      */
-    readonly go: (routeName: string, options?: NavigateOptions) => Effect.Effect<void, never, AtomRegistry.AtomRegistry>;
+    readonly go: (href: string, options?: NavigateOptions) => Effect.Effect<void, never, AtomRegistry.AtomRegistry>;
     /**
      * Go back in history.
      */
@@ -62,10 +96,9 @@ export interface NavigatorService {
      */
     readonly forward: Effect.Effect<void, never, AtomRegistry.AtomRegistry>;
     /**
-     * Check if a route is currently active.
-     * Optionally match specific params.
+     * Check if a path is currently active.
      */
-    readonly isActive: (routeName: string, params?: Record<string, unknown>) => Effect.Effect<boolean, never, AtomRegistry.AtomRegistry>;
+    readonly isActive: (href: string) => Effect.Effect<boolean, never, AtomRegistry.AtomRegistry>;
 }
 declare const Navigator_base: Context.TagClass<Navigator, "fibrae/Navigator", NavigatorService>;
 /**
@@ -84,38 +117,10 @@ export interface NavigatorOptions {
  * Create a Navigator layer for the given router.
  *
  * Features:
- * - Type-safe navigation by route name
- * - Automatic URL building via route.interpolate
+ * - Path-based navigation
  * - Tracks current matched route in an Atom
  * - Delegates to History for actual navigation
  * - Supports basePath for apps mounted at non-root paths
  */
 export declare function NavigatorLive(router: Router, navigatorOptions?: NavigatorOptions): Layer.Layer<Navigator, never, History | AtomRegistry.AtomRegistry>;
-/**
- * Create a typed go() function constrained to valid route names.
- *
- * Usage:
- * ```typescript
- * const go = createGo(AppRouter);
- * yield* go("posts");           // OK
- * yield* go("typo");            // compile-time error!
- * ```
- */
-export declare function createGo<RouteNames extends string>(_router: Router<string, RouteNames>): (routeName: RouteNames, options?: NavigateOptions) => Effect.Effect<void, never, Navigator | AtomRegistry.AtomRegistry>;
-/**
- * Navigate to a route by name.
- */
-export declare const go: (routeName: string, options?: NavigateOptions<Record<string, unknown>, Record<string, unknown>> | undefined) => Effect.Effect<void, never, AtomRegistry.AtomRegistry | Navigator>;
-/**
- * Go back in history.
- */
-export declare const back: Effect.Effect<void, never, Navigator | AtomRegistry.AtomRegistry>;
-/**
- * Go forward in history.
- */
-export declare const forward: Effect.Effect<void, never, Navigator | AtomRegistry.AtomRegistry>;
-/**
- * Get current route info.
- */
-export declare const getCurrentRoute: Effect.Effect<Option.Option<CurrentRoute>, never, Navigator | AtomRegistry.AtomRegistry>;
 export {};

package/dist/router/Navigator.js

@@ -1,22 +1,47 @@
 /**
- * Navigator service - type-safe route-aware navigation.
+ * Navigator service - path-based navigation.
  *
- * Provides route-aware navigation on top of History:
- * - nav.go("routeName", { path: {...}, searchParams: {...} })
+ * Provides navigation on top of History:
+ * - nav.go("/posts/42") — push to history
+ * - nav.go("/posts/42", { replace: true, search: { sort: "date" } })
  * - nav.back, nav.forward
- * - nav.isActive("routeName", params) for active link detection
  * - currentRoute Atom reflects matched route info
+ * - currentPathname for active link detection
  *
- * Design: Navigator uses History internally but provides route-aware API.
- * It knows about routes and can build URLs from route names.
+ * Design: Navigator uses History internally but provides a higher-level API.
+ * Route matching is reactive via History location subscription.
  */
 import * as Effect from "effect/Effect";
 import * as Context from "effect/Context";
 import * as Layer from "effect/Layer";
 import * as Option from "effect/Option";
+import * as Schema from "effect/Schema";
 import { Atom, Registry as AtomRegistry } from "@effect-atom/atom";
 import { History } from "./History.js";
-import { parseSearchParams, buildSearchString, stripBasePath, findRouteByName, groupBasePath, } from "./utils.js";
+import { parseSearchParams, buildSearchString, stripBasePath } from "./utils.js";
+// =============================================================================
+// Redirect
+// =============================================================================
+/**
+ * Tagged error for redirecting from loaders, actions, or middleware.
+ *
+ * Throw this from a loader to redirect before the component renders:
+ * ```typescript
+ * loader: () => Effect.gen(function* () {
+ *   const session = yield* getSession()
+ *   if (!session) return yield* new Redirect({ to: "/login" })
+ *   return yield* fetchData()
+ * })
+ * ```
+ *
+ * The router catches Redirect before the error reaches ErrorBoundary
+ * and navigates to the target path.
+ */
+export class Redirect extends Schema.TaggedError()("Redirect", {
+    to: Schema.String,
+    replace: Schema.optional(Schema.Boolean),
+}) {
+}
 // =============================================================================
 // Service Tag
 // =============================================================================
@@ -28,10 +53,6 @@ export class Navigator extends Context.Tag("fibrae/Navigator")() {
 // =============================================================================
 // Helpers
 // =============================================================================
-/**
- * Parse search params from URL search string.
- */
-// parseSearchParams, buildSearchString, stripBasePath imported from ./utils.js
 /**
  * Match current location against router and return CurrentRoute.
  * Returns Effect since route matching uses Schema.decodeUnknown.
@@ -48,8 +69,7 @@ function matchLocation(router, location, basePath = "") {
  * Create a Navigator layer for the given router.
  *
  * Features:
- * - Type-safe navigation by route name
- * - Automatic URL building via route.interpolate
+ * - Path-based navigation
  * - Tracks current matched route in an Atom
  * - Delegates to History for actual navigation
  * - Supports basePath for apps mounted at non-root paths
@@ -63,117 +83,50 @@ export function NavigatorLive(router, navigatorOptions = {}) {
         const initialLocation = registry.get(history.location);
         const initialRoute = yield* matchLocation(router, initialLocation, basePath);
         const currentRouteAtom = Atom.make(initialRoute);
+        // Track current pathname (mutable for synchronous access from Link)
+        let currentPathname = stripBasePath(initialLocation.pathname, basePath);
         // Subscribe to location changes to update currentRoute.
-        // This handles popstate events (browser back/forward) automatically.
         // Effect.runSync is safe here: matchPath is pure computation with no requirements.
         const unsubscribe = registry.subscribe(history.location, (location) => {
             const matched = Effect.runSync(matchLocation(router, location, basePath));
             registry.set(currentRouteAtom, matched);
+            currentPathname = stripBasePath(location.pathname, basePath);
         });
         // Cleanup subscription when scope closes
         yield* Effect.addFinalizer(() => Effect.sync(unsubscribe));
         const service = {
+            router,
             basePath,
+            get currentPathname() {
+                return currentPathname;
+            },
             currentRoute: currentRouteAtom,
-            go: (routeName, navigateOptions = {}) => Effect.gen(function* () {
-                const found = findRouteByName(router, routeName);
-                if (Option.isNone(found)) {
-                    yield* Effect.logWarning(`Route not found: ${routeName}`);
-                    return;
+            go: (href, options = {}) => Effect.gen(function* () {
+                // Validate route exists before navigating
+                const matched = yield* router.matchRoute(href);
+                if (Option.isNone(matched)) {
+                    yield* Effect.logWarning(`No route matches path: ${href}`);
                 }
-                const { route, group } = found.value;
-                const routeBasePath = groupBasePath(group);
-                // Build URL from route and params
-                const pathParams = navigateOptions.path ?? {};
-                const routePathname = yield* route.interpolate(pathParams);
-                // Prepend navigator basePath AND route's layout basePath
-                const pathname = basePath + routeBasePath + routePathname;
-                const search = navigateOptions.searchParams
-                    ? buildSearchString(navigateOptions.searchParams)
-                    : "";
-                const url = `${pathname}${search}`;
-                // Navigate - currentRoute updates automatically via derived atom
-                if (navigateOptions.replace) {
-                    yield* history.replace(url);
+                const searchString = options.search ? buildSearchString(options.search) : "";
+                const url = `${basePath}${href}${searchString}`;
+                const nav = options.replace ? history.replace(url) : history.push(url);
+                if (options.viewTransition && typeof document.startViewTransition === "function") {
+                    yield* nav;
+                    document.startViewTransition(async () => {
+                        await new Promise((r) => requestAnimationFrame(() => requestAnimationFrame(() => r())));
+                    });
                 }
                 else {
-                    yield* history.push(url);
+                    yield* nav;
                 }
-            }).pipe(Effect.catchTag("RouteError", (e) => Effect.logWarning(`Navigation failed: ${e.message}`))),
+            }),
             // Back/forward - currentRoute updates automatically when history.location
-            // changes (popstate handler updates locationAtom, derived atom recomputes)
+            // changes (popstate handler updates locationAtom, subscription recomputes)
             back: history.back,
             forward: history.forward,
-            isActive: (routeName, params) => Effect.gen(function* () {
-                const current = yield* Atom.get(currentRouteAtom);
-                if (Option.isNone(current)) {
-                    return false;
-                }
-                if (current.value.routeName !== routeName) {
-                    return false;
-                }
-                // If params provided, check they match
-                if (params) {
-                    for (const [key, value] of Object.entries(params)) {
-                        if (current.value.params[key] !== value) {
-                            return false;
-                        }
-                    }
-                }
-                return true;
-            }),
+            isActive: (href) => Effect.succeed(currentPathname === href),
         };
         return service;
     }));
 }
-// =============================================================================
-// Convenience Accessors
-// =============================================================================
-/**
- * Create a typed go() function constrained to valid route names.
- *
- * Usage:
- * ```typescript
- * const go = createGo(AppRouter);
- * yield* go("posts");           // OK
- * yield* go("typo");            // compile-time error!
- * ```
- */
-export function createGo(_router) {
-    return (routeName, options) => Effect.gen(function* () {
-        const nav = yield* Navigator;
-        yield* nav.go(routeName, options);
-    });
-}
-/**
- * Navigate to a route by name.
- */
-export const go = (routeName, options) => Effect.gen(function* () {
-    const nav = yield* Navigator;
-    yield* nav.go(routeName, options);
-});
-/**
- * Go back in history.
- */
-/* is-tree-shakable-suppress */
-export const back = Effect.gen(function* () {
-    const nav = yield* Navigator;
-    yield* nav.back;
-});
-/**
- * Go forward in history.
- */
-/* is-tree-shakable-suppress */
-export const forward = Effect.gen(function* () {
-    const nav = yield* Navigator;
-    yield* nav.forward;
-});
-/**
- * Get current route info.
- */
-/* is-tree-shakable-suppress */
-export const getCurrentRoute = Effect.gen(function* () {
-    const nav = yield* Navigator;
-    return yield* Atom.get(nav.currentRoute);
-});
 //# sourceMappingURL=Navigator.js.map

package/dist/router/Navigator.js.map

@@ -1 +1 @@
-{"version":3,"file":"Navigator.js","sourceRoot":"","sources":["../../src/router/Navigator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,EAAE,IAAI,EAAE,QAAQ,IAAI,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACnE,OAAO,EAAE,OAAO,EAAwB,MAAM,cAAc,CAAC;AAE7D,OAAO,EACL,iBAAiB,EACjB,iBAAiB,EACjB,aAAa,EACb,eAAe,EACf,aAAa,GACd,MAAM,YAAY,CAAC;AAyEpB,gFAAgF;AAChF,cAAc;AACd,gFAAgF;AAEhF;;GAEG;AACH,MAAM,OAAO,SAAU,SAAQ,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,EAA+B;CAAG;AAEhG,gFAAgF;AAChF,UAAU;AACV,gFAAgF;AAEhF;;GAEG;AACH,+EAA+E;AAE/E;;;GAGG;AACH,SAAS,aAAa,CACpB,MAAc,EACd,QAAyB,EACzB,QAAQ,GAAW,EAAE;IAErB,OAAO,MAAM,CAAC,UAAU,CAAC,aAAa,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CACvE,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CACzB,MAAM,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;QACvD,SAAS,EAAE,KAAK,CAAC,IAAI;QACrB,MAAM;QACN,YAAY,EAAE,iBAAiB,CAAC,QAAQ,CAAC,MAAM,CAAC;QAChD,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;KACpC,CAAC,CAAC,CACJ,CACF,CAAC;AACJ,CAAC;AAgBD;;;;;;;;;GASG;AACH,MAAM,UAAU,aAAa,CAC3B,MAAc,EACd,gBAAgB,GAAqB,EAAE;IAEvC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,QAAQ,IAAI,EAAE,CAAC;IAEjD,OAAO,KAAK,CAAC,MAAM,CACjB,SAAS,EACT,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC;QAC/B,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC,YAAY,CAAC;QAElD,oDAAoD;QACpD,MAAM,eAAe,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACvD,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,aAAa,CAAC,MAAM,EAAE,eAAe,EAAE,QAAQ,CAAC,CAAC;QAC7E,MAAM,gBAAgB,GAAG,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAEjD,wDAAwD;QACxD,qEAAqE;QACrE,mFAAmF;QACnF,MAAM,WAAW,GAAG,QAAQ,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE,EAAE;YACpE,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC1E,QAAQ,CAAC,GAAG,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC;QAC1C,CAAC,CAAC,CAAC;QAEH,yCAAyC;QACzC,KAAK,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;QAE3D,MAAM,OAAO,GAAqB;YAChC,QAAQ;YACR,YAAY,EAAE,gBAAgB;YAE9B,EAAE,EAAE,CAAC,SAAS,EAAE,eAAe,GAAG,EAAE,EAAE,EAAE,CACtC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAClB,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;gBACjD,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;oBACzB,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,oBAAoB,SAAS,EAAE,CAAC,CAAC;oBAC1D,OAAO;gBACT,CAAC;gBAED,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC;gBACrC,MAAM,aAAa,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;gBAE3C,kCAAkC;gBAClC,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,IAAK,EAA8B,CAAC;gBAC3E,MAAM,aAAa,GAAG,KAAK,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;gBAC3D,yDAAyD;gBACzD,MAAM,QAAQ,GAAG,QAAQ,GAAG,aAAa,GAAG,aAAa,CAAC;gBAC1D,MAAM,MAAM,GAAG,eAAe,CAAC,YAAY;oBACzC,CAAC,CAAC,iBAAiB,CAAC,eAAe,CAAC,YAAY,CAAC;oBACjD,CAAC,CAAC,EAAE,CAAC;gBACP,MAAM,GAAG,GAAG,GAAG,QAAQ,GAAG,MAAM,EAAE,CAAC;gBAEnC,iEAAiE;gBACjE,IAAI,eAAe,CAAC,OAAO,EAAE,CAAC;oBAC5B,KAAK,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBAC9B,CAAC;qBAAM,CAAC;oBACN,KAAK,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC3B,CAAC;YACH,CAAC,CAAC,CAAC,IAAI,CACL,MAAM,CAAC,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAC,EAAE,EAAE,CAClC,MAAM,CAAC,UAAU,CAAC,sBAAsB,CAAC,CAAC,OAAO,EAAE,CAAC,CACrD,CACF;YAEH,0EAA0E;YAC1E,2EAA2E;YAC3E,IAAI,EAAE,OAAO,CAAC,IAAI;YAElB,OAAO,EAAE,OAAO,CAAC,OAAO;YAExB,QAAQ,EAAE,CAAC,SAAS,EAAE,MAAM,EAAE,EAAE,CAC9B,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;gBAClD,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC3B,OAAO,KAAK,CAAC;gBACf,CAAC;gBAED,IAAI,OAAO,CAAC,KAAK,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;oBAC1C,OAAO,KAAK,CAAC;gBACf,CAAC;gBAED,uCAAuC;gBACvC,IAAI,MAAM,EAAE,CAAC;oBACX,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;wBAClD,IAAI,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,KAAK,EAAE,CAAC;4BACxC,OAAO,KAAK,CAAC;wBACf,CAAC;oBACH,CAAC;gBACH,CAAC;gBAED,OAAO,IAAI,CAAC;YACd,CAAC,CAAC;SACL,CAAC;QAEF,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC,CACH,CAAC;AACJ,CAAC;AAED,gFAAgF;AAChF,wBAAwB;AACxB,gFAAgF;AAEhF;;;;;;;;;GASG;AACH,MAAM,UAAU,QAAQ,CACtB,OAAmC;IAKnC,OAAO,CAAC,SAAS,EAAE,OAAO,EAAE,EAAE,CAC5B,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC;QAC7B,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;AACP,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,MAAM,EAAE,GAAG,CAChB,SAAiB,EACjB,OAAyB,EAC0C,EAAE,CACrE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC;IAC7B,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;AACpC,CAAC,CAAC,CAAC;AAEL;;GAEG;AACH,+BAA+B;AAC/B,MAAM,CAAC,MAAM,IAAI,GAAsE,MAAM,CAAC,GAAG,CAC/F,QAAQ,CAAC;IACP,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC;IAC7B,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC;AAClB,CAAC,CACF,CAAC;AAEF;;GAEG;AACH,+BAA+B;AAC/B,MAAM,CAAC,MAAM,OAAO,GAClB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IAClB,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC;IAC7B,KAAK,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC;AACrB,CAAC,CAAC,CAAC;AAEL;;GAEG;AACH,+BAA+B;AAC/B,MAAM,CAAC,MAAM,eAAe,GAIxB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;IACtB,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,SAAS,CAAC;IAC7B,OAAO,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC;AAC3C,CAAC,CAAC,CAAC"}
+{"version":3,"file":"Navigator.js","sourceRoot":"","sources":["../../src/router/Navigator.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,OAAO,MAAM,gBAAgB,CAAC;AAC1C,OAAO,KAAK,KAAK,MAAM,cAAc,CAAC;AACtC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,EAAE,IAAI,EAAE,QAAQ,IAAI,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACnE,OAAO,EAAE,OAAO,EAAwB,MAAM,cAAc,CAAC;AAE7D,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEjF,gFAAgF;AAChF,WAAW;AACX,gFAAgF;AAEhF;;;;;;;;;;;;;;GAcG;AACH,MAAM,OAAO,QAAS,SAAQ,MAAM,CAAC,WAAW,EAAY,CAAC,UAAU,EAAE;IACvE,EAAE,EAAE,MAAM,CAAC,MAAM;IACjB,OAAO,EAAE,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC;CACzC,CAAC;CAAG;AA6EL,gFAAgF;AAChF,cAAc;AACd,gFAAgF;AAEhF;;GAEG;AACH,MAAM,OAAO,SAAU,SAAQ,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,EAA+B;CAAG;AAEhG,gFAAgF;AAChF,UAAU;AACV,gFAAgF;AAEhF;;;GAGG;AACH,SAAS,aAAa,CACpB,MAAc,EACd,QAAyB,EACzB,QAAQ,GAAW,EAAE;IAErB,OAAO,MAAM,CAAC,UAAU,CAAC,aAAa,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC,IAAI,CACvE,MAAM,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CACzB,MAAM,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;QACvD,SAAS,EAAE,KAAK,CAAC,IAAI;QACrB,MAAM;QACN,YAAY,EAAE,iBAAiB,CAAC,QAAQ,CAAC,MAAM,CAAC;QAChD,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;KACpC,CAAC,CAAC,CACJ,CACF,CAAC;AACJ,CAAC;AAkBD;;;;;;;;GAQG;AACH,MAAM,UAAU,aAAa,CAC3B,MAAc,EACd,gBAAgB,GAAqB,EAAE;IAEvC,MAAM,QAAQ,GAAG,gBAAgB,CAAC,QAAQ,IAAI,EAAE,CAAC;IAEjD,OAAO,KAAK,CAAC,MAAM,CACjB,SAAS,EACT,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;QAClB,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,OAAO,CAAC;QAC/B,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,YAAY,CAAC,YAAY,CAAC;QAElD,oDAAoD;QACpD,MAAM,eAAe,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QACvD,MAAM,YAAY,GAAG,KAAK,CAAC,CAAC,aAAa,CAAC,MAAM,EAAE,eAAe,EAAE,QAAQ,CAAC,CAAC;QAC7E,MAAM,gBAAgB,GAAG,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAEjD,oEAAoE;QACpE,IAAI,eAAe,GAAG,aAAa,CAAC,eAAe,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAExE,wDAAwD;QACxD,mFAAmF;QACnF,MAAM,WAAW,GAAG,QAAQ,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE,EAAE;YACpE,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;YAC1E,QAAQ,CAAC,GAAG,CAAC,gBAAgB,EAAE,OAAO,CAAC,CAAC;YACxC,eAAe,GAAG,aAAa,CAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAC/D,CAAC,CAAC,CAAC;QAEH,yCAAyC;QACzC,KAAK,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;QAE3D,MAAM,OAAO,GAAqB;YAChC,MAAM;YACN,QAAQ;YACR,IAAI,eAAe;gBACjB,OAAO,eAAe,CAAC;YACzB,CAAC;YACD,YAAY,EAAE,gBAAgB;YAE9B,EAAE,EAAE,CAAC,IAAI,EAAE,OAAO,GAAG,EAAE,EAAE,EAAE,CACzB,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAClB,0CAA0C;gBAC1C,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;gBAC/C,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;oBAC3B,KAAK,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,0BAA0B,IAAI,EAAE,CAAC,CAAC;gBAC7D,CAAC;gBAED,MAAM,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC7E,MAAM,GAAG,GAAG,GAAG,QAAQ,GAAG,IAAI,GAAG,YAAY,EAAE,CAAC;gBAChD,MAAM,GAAG,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAEvE,IAAI,OAAO,CAAC,cAAc,IAAI,OAAO,QAAQ,CAAC,mBAAmB,KAAK,UAAU,EAAE,CAAC;oBACjF,KAAK,CAAC,CAAC,GAAG,CAAC;oBACX,QAAQ,CAAC,mBAAmB,CAAC,KAAK,IAAI,EAAE;wBACtC,MAAM,IAAI,OAAO,CAAO,CAAC,CAAC,EAAE,EAAE,CAC5B,qBAAqB,CAAC,GAAG,EAAE,CAAC,qBAAqB,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAC9D,CAAC;oBACJ,CAAC,CAAC,CAAC;gBACL,CAAC;qBAAM,CAAC;oBACN,KAAK,CAAC,CAAC,GAAG,CAAC;gBACb,CAAC;YACH,CAAC,CAAC;YAEJ,0EAA0E;YAC1E,2EAA2E;YAC3E,IAAI,EAAE,OAAO,CAAC,IAAI;YAElB,OAAO,EAAE,OAAO,CAAC,OAAO;YAExB,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,eAAe,KAAK,IAAI,CAAC;SAC7D,CAAC;QAEF,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC,CACH,CAAC;AACJ,CAAC"}

package/dist/router/Route.d.ts

@@ -29,7 +29,7 @@ export declare class RouteError extends RouteError_base {
  * Represents a single route with path and optional search params validation.
  * This is immutable data that describes a route.
  */
-export interface Route<Name extends string = string, PathParams extends Record<string, unknown> = Record<string, unknown>, SearchParams extends Record<string, unknown> = Record<string, unknown>> {
+export interface Route<Name extends string = string, Path extends string = never, PathParams extends Record<string, unknown> = Record<string, unknown>, SearchParams extends Record<string, unknown> = Record<string, unknown>> {
     readonly name: Name;
     readonly path: string;
     readonly pathSchema: Option.Option<Schema.Schema<PathParams>>;
@@ -48,15 +48,19 @@ export interface Route<Name extends string = string, PathParams extends Record<s
     /**
      * Set search parameter schema for this route.
      */
-    readonly setSearchParams: <NewSearch extends Record<string, unknown>>(schema: Schema.Schema<NewSearch>) => Route<Name, PathParams, NewSearch>;
+    readonly setSearchParams: <NewSearch extends Record<string, unknown>>(schema: Schema.Schema<NewSearch>) => Route<Name, Path, PathParams, NewSearch>;
 }
 /**
  * Constructor for building routes with different method types.
  * Supports both static paths and template literal syntax.
  */
 export interface RouteConstructor {
-    <const Name extends string>(name: Name, path: string): Route<Name, {}, {}>;
-    <const Name extends string>(name: Name): <const T extends readonly any[]>(segments: TemplateStringsArray, ...params: T) => Route<Name, Record<string, unknown>, {}>;
+    /** Static path — captures Path as literal type. */
+    <const Name extends string, const Path extends string>(name: Name, path: Path): Route<Name, Path, {}, {}>;
+    /** Static path with param schemas — captures Path + validates params. */
+    <const Name extends string, const Path extends string>(name: Name, path: Path, params: Record<string, Schema.Schema.Any>): Route<Name, Path, Record<string, unknown>, {}>;
+    /** Template literal syntax — Path is not tracked at the type level. */
+    <const Name extends string>(name: Name): <const T extends readonly any[]>(segments: TemplateStringsArray, ...params: T) => Route<Name, never, Record<string, unknown>, {}>;
 }
 /**
  * Route.get("name", "/path") creates a GET route

package/dist/router/Route.js

@@ -113,8 +113,16 @@ function makeRoute(_name, path, pathSchema = Option.none(), searchSchema = Optio
  * Create a route getter function supporting both static and template literal syntax.
  */
 function makeGetter() {
-    return ((name, path) => {
-        // Static path case
+    return ((name, path, params) => {
+        // Static path with param schemas
+        if (typeof path === "string" && params) {
+            const paramNames = Object.keys(params);
+            const pathSchema = paramNames.length > 0
+                ? Option.some(Schema.Struct(params))
+                : Option.none();
+            return makeRoute(name, path, pathSchema);
+        }
+        // Static path case (no params)
         if (typeof path === "string") {
             return makeRoute(name, path);
         }

package/dist/router/Route.js.map

@@ -1 +1 @@
-{"version":3,"file":"Route.js","sourceRoot":"","sources":["../../src/router/Route.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC;;;GAGG;AACH,MAAM,CAAC,MAAM,eAAe,GAAkB,MAAM,CAAC,GAAG,CAAC,8BAA8B,CAAC,CAAC;AAEzF;;GAEG;AACH,MAAM,OAAO,UAAW,SAAQ,MAAM,CAAC,WAAW,EAAc,CAAC,YAAY,EAAE;IAC7E,OAAO,EAAE,MAAM,CAAC,MAAM;CACvB,CAAC;CAAG;AAqCL;;;;GAIG;AACH,SAAS,iBAAiB,CACxB,QAA8B,EAC9B,OAAyC;IAMzC,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAEjF,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEjG,MAAM,aAAa,GAAG,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAE1F,MAAM,UAAU,GACd,UAAU,CAAC,MAAM,GAAG,CAAC;QACnB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,aAAkD,CAAC,CAAC;QAChF,CAAC,CAAC,MAAM,CAAC,IAAI,EAAqB,CAAC;IAEvC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC;AAC1C,CAAC;AAED;;;GAGG;AACH,SAAS,YAAY,CAAC,MAAyB;IAC7C,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC;IACvB,MAAM,WAAW,GAAqC,GAAG,CAAC,WAAW,CAAC;IACtE,MAAM,eAAe,GAAG,WAAW,CAAC,eAAe,CAAiC,CAAC;IACrF,OAAO,eAAe,EAAE,IAAI,CAAC;AAC/B,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,SAAS,CAChB,OAAe,EACf,QAAgB,EAChB,UAA4C;IAE5C,wCAAwC;IACxC,MAAM,YAAY,GAAG,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;IAChE,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,IAAI,YAAY,KAAK,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAEpC,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IACvC,CAAC;IAED,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC;IAElC,8CAA8C;IAC9C,gFAAgF;IAChF,sDAAsD;IACtD,IAAI,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9B,OAAQ,MAAM,CAAC,aAAa,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,MAAM,CAAqC,CAAC,IAAI,CAC7F,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,OAAkC,CAAC,CAAC,EACxE,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAA2B,CAAC,CAAC,CAC9E,CAAC;IACJ,CAAC;IAED,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;AAC7C,CAAC;AAED;;;;;GAKG;AACH,SAAS,eAAe,CACtB,OAAe,EACf,MAA+B;IAE/B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,YAAY,GAAG,SAAS,CAAC;IAC/B,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,IAAI,KAA6B,CAAC;IAElC,OAAO,CAAC,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACrD,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QACrD,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACrB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,EAAE,OAAO,EAAE,+BAA+B,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;QACxF,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAC7B,SAAS,GAAG,YAAY,CAAC,SAAS,CAAC;IACrC,CAAC;IACD,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;IAExC,OAAO,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;AAC3C,CAAC;AAiBD;;GAEG;AACH,SAAS,SAAS,CAKhB,KAAW,EACX,IAAY,EACZ,UAAU,GAA6C,MAAM,CAAC,IAAI,EAAE,EACpE,YAAY,GAA+C,MAAM,CAAC,IAAI,EAAE;IAExE,OAAO;QACL,IAAI,EAAE,KAAK;QACX,IAAI;QACJ,UAAU;QACV,YAAY;QACZ,KAAK,EAAE,CAAC,QAAQ,EAAE,EAAE,CAClB,SAAS,CAAC,IAAI,EAAE,QAAQ,EAAE,UAA8C,CAEvE;QACH,WAAW,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,CAAsC;QAC3F,eAAe,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;KACrF,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,UAAU;IACjB,OAAO,CAAC,CAAC,IAAY,EAAE,IAAa,EAAE,EAAE;QACtC,mBAAmB;QACnB,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,OAAO,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC/B,CAAC;QAED,kCAAkC;QAClC,OAAO,CAAC,QAA8B,EAAE,GAAG,OAAqC,EAAE,EAAE;YAClF,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,GAAG,iBAAiB,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;YAC1F,OAAO,SAAS,CACd,IAAI,EACJ,UAAU,EACV,UAAmE,CACpE,CAAC;QACJ,CAAC,CAAC;IACJ,CAAC,CAAqB,CAAC;AACzB,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,UAAU,EAAE,CAAC;AAEhC;;;GAGG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,UAAU,EAAE,CAAC;AAEjC;;;;;GAKG;AACH,MAAM,UAAU,KAAK,CACnB,IAAY,EACZ,MAA8B;IAE9B,MAAM,WAAW,GAAqC;QACpD,CAAC,eAAe,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;KACpC,CAAC;IACF,OAAO,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;AACzC,CAAC"}
+{"version":3,"file":"Route.js","sourceRoot":"","sources":["../../src/router/Route.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAExC;;;GAGG;AACH,MAAM,CAAC,MAAM,eAAe,GAAkB,MAAM,CAAC,GAAG,CAAC,8BAA8B,CAAC,CAAC;AAEzF;;GAEG;AACH,MAAM,OAAO,UAAW,SAAQ,MAAM,CAAC,WAAW,EAAc,CAAC,YAAY,EAAE;IAC7E,OAAO,EAAE,MAAM,CAAC,MAAM;CACvB,CAAC;CAAG;AAsCL;;;;GAIG;AACH,SAAS,iBAAiB,CACxB,QAA8B,EAC9B,OAAyC;IAMzC,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAEjF,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEjG,MAAM,aAAa,GAAG,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAE1F,MAAM,UAAU,GACd,UAAU,CAAC,MAAM,GAAG,CAAC;QACnB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,aAAkD,CAAC,CAAC;QAChF,CAAC,CAAC,MAAM,CAAC,IAAI,EAAqB,CAAC;IAEvC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC;AAC1C,CAAC;AAED;;;GAGG;AACH,SAAS,YAAY,CAAC,MAAyB;IAC7C,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC;IACvB,MAAM,WAAW,GAAqC,GAAG,CAAC,WAAW,CAAC;IACtE,MAAM,eAAe,GAAG,WAAW,CAAC,eAAe,CAAiC,CAAC;IACrF,OAAO,eAAe,EAAE,IAAI,CAAC;AAC/B,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,SAAS,CAChB,OAAe,EACf,QAAgB,EAChB,UAA4C;IAE5C,wCAAwC;IACxC,MAAM,YAAY,GAAG,OAAO,CAAC,OAAO,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;IAChE,MAAM,KAAK,GAAG,IAAI,MAAM,CAAC,IAAI,YAAY,KAAK,CAAC,CAAC;IAChD,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IAEpC,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IACvC,CAAC;IAED,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC;IAElC,8CAA8C;IAC9C,gFAAgF;IAChF,sDAAsD;IACtD,IAAI,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9B,OAAQ,MAAM,CAAC,aAAa,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,MAAM,CAAqC,CAAC,IAAI,CAC7F,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,OAAkC,CAAC,CAAC,EACxE,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,EAA2B,CAAC,CAAC,CAC9E,CAAC;IACJ,CAAC;IAED,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;AAC7C,CAAC;AAED;;;;;GAKG;AACH,SAAS,eAAe,CACtB,OAAe,EACf,MAA+B;IAE/B,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,YAAY,GAAG,SAAS,CAAC;IAC/B,IAAI,SAAS,GAAG,CAAC,CAAC;IAClB,IAAI,KAA6B,CAAC;IAElC,OAAO,CAAC,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;QACrD,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;QACrD,MAAM,GAAG,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACrB,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,EAAE,OAAO,EAAE,+BAA+B,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC;QACxF,CAAC;QACD,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAC7B,SAAS,GAAG,YAAY,CAAC,SAAS,CAAC;IACrC,CAAC;IACD,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;IAExC,OAAO,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;AAC3C,CAAC;AA6BD;;GAEG;AACH,SAAS,SAAS,CAMhB,KAAW,EACX,IAAY,EACZ,UAAU,GAA6C,MAAM,CAAC,IAAI,EAAE,EACpE,YAAY,GAA+C,MAAM,CAAC,IAAI,EAAE;IAExE,OAAO;QACL,IAAI,EAAE,KAAK;QACX,IAAI;QACJ,UAAU;QACV,YAAY;QACZ,KAAK,EAAE,CAAC,QAAQ,EAAE,EAAE,CAClB,SAAS,CAAC,IAAI,EAAE,QAAQ,EAAE,UAA8C,CAEvE;QACH,WAAW,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,eAAe,CAAC,IAAI,EAAE,MAAM,CAAsC;QAC3F,eAAe,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;KACrF,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,UAAU;IACjB,OAAO,CAAC,CAAC,IAAY,EAAE,IAAa,EAAE,MAA0C,EAAE,EAAE;QAClF,iCAAiC;QACjC,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,MAAM,EAAE,CAAC;YACvC,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACvC,MAAM,UAAU,GACd,UAAU,CAAC,MAAM,GAAG,CAAC;gBACnB,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAA2C,CAAC,CAAC;gBACzE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAqB,CAAC;YACvC,OAAO,SAAS,CACd,IAAI,EACJ,IAAI,EACJ,UAAmE,CACpE,CAAC;QACJ,CAAC;QAED,+BAA+B;QAC/B,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,OAAO,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC/B,CAAC;QAED,kCAAkC;QAClC,OAAO,CAAC,QAA8B,EAAE,GAAG,OAAqC,EAAE,EAAE;YAClF,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,GAAG,iBAAiB,CAAC,QAAQ,EAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;YAC1F,OAAO,SAAS,CACd,IAAI,EACJ,UAAU,EACV,UAAmE,CACpE,CAAC;QACJ,CAAC,CAAC;IACJ,CAAC,CAAqB,CAAC;AACzB,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,UAAU,EAAE,CAAC;AAEhC;;;GAGG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,UAAU,EAAE,CAAC;AAEjC;;;;;GAKG;AACH,MAAM,UAAU,KAAK,CACnB,IAAY,EACZ,MAA8B;IAE9B,MAAM,WAAW,GAAqC;QACpD,CAAC,eAAe,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE;KACpC,CAAC;IACF,OAAO,MAAM,CAAC,WAAW,CAAC,WAAW,CAAC,CAAC;AACzC,CAAC"}

package/dist/router/Router.d.ts

@@ -38,28 +38,28 @@ export declare class RouterError extends RouterError_base {
  * Groups provide namespacing for handler implementation.
  * RouteNames accumulates route name literal types via .add() for type-safe navigation.
  */
-export interface RouteGroup<Name extends string = string, RouteNames extends string = never> {
+export interface RouteGroup<Name extends string = string, RouteNames extends string = never, RoutePaths extends string = never> {
     readonly _tag: "RouteGroup";
     readonly name: Name;
     readonly routes: readonly Route[];
-    readonly add: <RName extends string>(route: Route<RName>) => RouteGroup<Name, RouteNames | RName>;
+    readonly add: <RName extends string, RPath extends string>(route: Route<RName, RPath>) => RouteGroup<Name, RouteNames | RName, RoutePaths | RPath>;
 }
 /**
  * A layout group wraps routes with a layout component.
  * The layout component should render <RouterOutlet /> for children.
  * RouteNames accumulates route name literal types via .add() for type-safe navigation.
  */
-export interface LayoutGroup<Name extends string = string, RouteNames extends string = never> {
+export interface LayoutGroup<Name extends string = string, RouteNames extends string = never, RoutePaths extends string = never> {
     readonly _tag: "LayoutGroup";
     readonly name: Name;
     readonly basePath: string;
     readonly routes: readonly Route[];
-    readonly add: <RName extends string>(route: Route<RName>) => LayoutGroup<Name, RouteNames | RName>;
+    readonly add: <RName extends string, RPath extends string>(route: Route<RName, RPath>) => LayoutGroup<Name, RouteNames | RName, RoutePaths | RPath>;
 }
 /**
  * Union of group types that can be added to a router.
  */
-export type AnyGroup<Name extends string = string, RouteNames extends string = never> = RouteGroup<Name, RouteNames> | LayoutGroup<Name, RouteNames>;
+export type AnyGroup<Name extends string = string, RouteNames extends string = never, RoutePaths extends string = never> = RouteGroup<Name, RouteNames, RoutePaths> | LayoutGroup<Name, RouteNames, RoutePaths>;
 /**
  * Result of matching a route, including any layout wrappers.
  */
@@ -74,10 +74,10 @@ export interface RouteMatch {
  * The complete router holding all route groups and enabling route matching.
  * RouteNames accumulates all route names from added groups for type-safe navigation.
  */
-export interface Router<Name extends string = string, RouteNames extends string = never> {
+export interface Router<Name extends string = string, RouteNames extends string = never, RoutePaths extends string = never> {
     readonly name: Name;
     readonly groups: readonly AnyGroup[];
-    readonly add: <GName extends string, GRouteNames extends string>(group: AnyGroup<GName, GRouteNames>) => Router<Name, RouteNames | GRouteNames>;
+    readonly add: <GName extends string, GRouteNames extends string, GRoutePaths extends string>(group: AnyGroup<GName, GRouteNames, GRoutePaths>) => Router<Name, RouteNames | GRouteNames, RoutePaths | GRoutePaths>;
     /**
      * Match a pathname against all routes in the router.
      * Returns the matched route, group name, decoded path parameters,
@@ -90,7 +90,7 @@ export interface Router<Name extends string = string, RouteNames extends string
  * Routes are added via group.add(route).
  * Route names accumulate as literal types through the builder chain.
  */
-export declare function group<const Name extends string>(name: Name): RouteGroup<Name, never>;
+export declare function group<const Name extends string>(name: Name): RouteGroup<Name, never, never>;
 /**
  * Create a layout group with the given name, base path, and layout component.
  *
@@ -113,13 +113,13 @@ export declare function group<const Name extends string>(name: Name): RouteGroup
  *   .add(Route.get("settings", "/settings"));  // matches /dashboard/settings
  * ```
  */
-export declare function layout<const Name extends string>(name: Name, basePath: string): LayoutGroup<Name, never>;
+export declare function layout<const Name extends string>(name: Name, basePath: string): LayoutGroup<Name, never, never>;
 /**
  * Create a router with the given name.
  * Groups are added via router.add(group).
  * Route names accumulate from groups for type-safe navigation.
  */
-export declare function make<const Name extends string>(name: Name): Router<Name, never>;
+export declare function make<const Name extends string>(name: Name): Router<Name, never, never>;
 /**
  * Options for server-side rendering layer.
  */