feat: add workspace repository registry

web/workspace/src/lib/workspace-pages/WorkspacePage.svelte

@@ -17,14 +17,15 @@
   type WorkspaceView = 'overview' | 'repository' | 'objectives' | 'objective';
 
   type RouteState =
-    | { page: 'overview'; objectiveId?: undefined }
-    | { page: 'repository'; objectiveId?: undefined }
-    | { page: 'objectives'; objectiveId?: undefined }
-    | { page: 'objective'; objectiveId: string };
+    | { page: 'overview'; objectiveId?: undefined; repositoryId?: undefined }
+    | { page: 'repository'; repositoryId: string; objectiveId?: undefined }
+    | { page: 'objectives'; objectiveId?: undefined; repositoryId?: undefined }
+    | { page: 'objective'; objectiveId: string; repositoryId?: undefined };
 
   let {
     view = 'overview',
-    objectiveId = null
+    objectiveId = null,
+    repositoryId = 'main'
   }: { view?: WorkspaceView; repositoryId?: string; objectiveId?: string | null } = $props();
 
   let workspace = $state<WorkspaceResponse | null>(null);
@@ -44,7 +45,7 @@
   let objectiveDetailError = $state<string | null>(null);
   let objectiveDetailLoading = $state(false);
   let objectiveDetailRequest = 0;
-  let route = $derived(routeFromView(view, objectiveId));
+  let route = $derived(routeFromView(view, objectiveId, repositoryId));
   let currentPath = $derived(pathFromRoute(route));
 
   async function getJson<T>(path: string): Promise<T> {
@@ -87,8 +88,11 @@
 
   async function loadRepository() {
     repositoryError = null;
+    const selectedRepositoryId = route.page === 'repository' ? route.repositoryId : repositoryId;
     try {
-      const detail = await getJson<RepositoryDetailResponse>('/api/repositories/local');
+      const detail = await getJson<RepositoryDetailResponse>(
+        `/api/repositories/${encodeURIComponent(selectedRepositoryId)}`
+      );
       repository = detail.item;
     } catch (error) {
       repositoryError = error instanceof Error ? error.message : String(error);
@@ -98,8 +102,11 @@
 
   async function loadRepositoryTickets() {
     repositoryTicketsError = null;
+    const selectedRepositoryId = route.page === 'repository' ? route.repositoryId : repositoryId;
     try {
-      repositoryTickets = await getJson<RepositoryTicketsResponse>('/api/repositories/local/tickets');
+      repositoryTickets = await getJson<RepositoryTicketsResponse>(
+        `/api/repositories/${encodeURIComponent(selectedRepositoryId)}/tickets`
+      );
     } catch (error) {
       repositoryTicketsError = error instanceof Error ? error.message : String(error);
       repositoryTickets = null;
@@ -137,9 +144,13 @@
     }
   }
 
-  function routeFromView(view: WorkspaceView, objectiveId: string | null): RouteState {
+  function routeFromView(
+    view: WorkspaceView,
+    objectiveId: string | null,
+    repositoryId: string
+  ): RouteState {
     if (view === 'repository') {
-      return { page: 'repository' };
+      return { page: 'repository', repositoryId };
     }
     if (view === 'objective' && objectiveId) {
       return { page: 'objective', objectiveId };
@@ -152,7 +163,7 @@
 
   function pathFromRoute(route: RouteState): string {
     if (route.page === 'repository') {
-      return '/repositories/local';
+      return `/repositories/${route.repositoryId}`;
     }
     if (route.page === 'objective') {
       return `/objectives/${route.objectiveId}`;
@@ -216,8 +227,12 @@
               <dd>{repository.kind}</dd>
             </div>
             <div>
-              <dt>Workspace root</dt>
-              <dd><code>{repository.workspace_root}</code></dd>
+              <dt>Provider</dt>
+              <dd>{repository.provider}</dd>
+            </div>
+            <div>
+              <dt>Default selector</dt>
+              <dd>{repository.default_selector ?? 'none configured'}</dd>
             </div>
             <div>
               <dt>Record authority</dt>
@@ -225,13 +240,25 @@
             </div>
             <div>
               <dt>Git</dt>
-              <dd>{repository.git.status}</dd>
+              <dd>{repository.git?.status ?? 'not available'}</dd>
             </div>
+            {#if repository.diagnostics && repository.diagnostics.length > 0}
+              <div>
+                <dt>Diagnostics</dt>
+                <dd>
+                  <ul>
+                    {#each repository.diagnostics as diagnostic}
+                      <li><code>{diagnostic.code}</code>: {diagnostic.message}</li>
+                    {/each}
+                  </ul>
+                </dd>
+              </div>
+            {/if}
           </dl>
         {:else if repositoryError}
           <p class="error">{repositoryError}</p>
         {:else}
-          <p>Waiting for <code>/api/repositories/local</code>…</p>
+          <p>Waiting for <code>/api/repositories/{route.repositoryId}</code>…</p>
         {/if}
       </section>
 
@@ -245,7 +272,7 @@
         {:else if repositoryTicketsError}
           <p class="error">{repositoryTicketsError}</p>
         {:else}
-          <p>Waiting for <code>/api/repositories/local/tickets</code>…</p>
+          <p>Waiting for <code>/api/repositories/{route.repositoryId}/tickets</code>…</p>
         {/if}
       </section>
 

web/workspace/src/lib/workspace-sidebar/RepositoriesNavSection.svelte

@@ -17,9 +17,9 @@
 
   <ul class="nav-list" aria-label="Repositories">
     <li>
-      <a class="nav-item" class:active={currentPath.startsWith('/repositories')} href="/repositories/local">
-        <span class="item-title">{workspace?.display_name ?? 'local workspace'}</span>
-        <span class="item-meta">local repository · read-only</span>
+      <a class="nav-item" class:active={currentPath.startsWith('/repositories')} href="/repositories/main">
+        <span class="item-title">main</span>
+        <span class="item-meta">configured repository · read-only</span>
       </a>
     </li>
   </ul>

web/workspace/src/lib/workspace-sidebar/types.ts

@@ -181,34 +181,35 @@ export type RepositorySummary = {
   id: string;
   display_name: string;
   kind: string;
-  workspace_root: string;
+  provider: string;
+  default_selector?: string | null;
   record_authority: string;
-  git: GitRepositorySummary;
+  git?: GitRepositorySummary | null;
+  diagnostics?: Diagnostic[];
 };
 
 export type GitRepositorySummary = {
   status: string;
-  root?: string | null;
   branch?: string | null;
   head?: string | null;
-  dirty?: boolean | null;
-  dirty_scope: string;
-  remote?: GitRemoteSummary | null;
-  diagnostics: Diagnostic[];
+  dirty: boolean;
+  remotes: GitRemoteSummary[];
 };
 
 export type GitRemoteSummary = {
   name: string;
-  url: string;
-  redacted: boolean;
+  fetch_url: string;
 };
 
 export type GitCommitSummary = {
   hash: string;
-  subject: string;
+  short_hash: string;
+  summary: string;
   author_name: string;
   author_email: string;
-  timestamp: string;
+  author_date: string;
+  parents: string[];
+  refs: string[];
 };
 
 export type RepositoryDetailResponse = {
@@ -220,6 +221,7 @@ export type RepositoryDetailResponse = {
 export type RepositoryLogResponse = {
   workspace_id: string;
   repository_id: string;
+  default_selector?: string | null;
   limit: number;
   items: GitCommitSummary[];
   diagnostics: Diagnostic[];

web/workspace/src/routes/repositories/[repositoryId]/+page.svelte

@@ -1,5 +1,6 @@
 <script lang="ts">
+  import { page } from '$app/state';
   import WorkspacePage from '$lib/workspace-pages/WorkspacePage.svelte';
 </script>
 
-<WorkspacePage view="repository" />
+<WorkspacePage view="repository" repositoryId={page.params.repositoryId ?? 'main'} />