Fix archive redirect route typing

packages/app/src/utils/workspace-archive-navigation.test.ts

@@ -1,3 +1,4 @@
+import type { Href } from "expo-router";
 import { describe, expect, it } from "vitest";
 import { buildWorkspaceArchiveRedirectRoute } from "@/utils/workspace-archive-navigation";
 import type { WorkspaceDescriptor } from "@/stores/session-store";
@@ -82,9 +83,9 @@ describe("buildWorkspaceArchiveRedirectRoute", () => {
 
 function createFakeRouter(workspaces: WorkspaceDescriptor[]): {
   deps: RedirectIfArchivingActiveWorkspaceDeps;
-  routes: string[];
+  routes: Href[];
 } {
-  const routes: string[] = [];
+  const routes: Href[] = [];
   return {
     routes,
     deps: {

packages/app/src/utils/workspace-archive-navigation.ts

@@ -1,3 +1,4 @@
+import type { Href } from "expo-router";
 import type { WorkspaceDescriptor } from "@/stores/session-store";
 import { buildHostNewWorkspaceRoute, buildHostRootRoute } from "@/utils/host-routes";
 import { resolveWorkspaceRouteId } from "@/utils/workspace-execution";
@@ -6,7 +7,7 @@ export function buildWorkspaceArchiveRedirectRoute(input: {
   serverId: string;
   archivedWorkspaceId: string;
   workspaces: Iterable<WorkspaceDescriptor>;
-}) {
+}): Href {
   const archivedWorkspaceId = resolveWorkspaceRouteId({
     routeWorkspaceId: input.archivedWorkspaceId,
   });

packages/app/src/utils/workspace-archive-redirect.ts

@@ -1,3 +1,4 @@
+import type { Href } from "expo-router";
 import type { ActiveWorkspaceSelection } from "@/stores/navigation-active-workspace-store";
 import type { WorkspaceDescriptor } from "@/stores/session-store";
 import { buildWorkspaceArchiveRedirectRoute } from "@/utils/workspace-archive-navigation";
@@ -9,7 +10,7 @@ export interface RedirectIfArchivingActiveWorkspaceInput {
 }
 
 export interface RedirectIfArchivingActiveWorkspaceDeps {
-  navigateToRoute: (route: string) => void;
+  navigateToRoute: (route: Href) => void;
   readWorkspaces: (serverId: string) => Iterable<WorkspaceDescriptor>;
 }