diff --git a/NAVIGATION.md b/NAVIGATION.md
index b9345f3..1fa95e5 100644
--- a/NAVIGATION.md
+++ b/NAVIGATION.md
@@ -1,7 +1,7 @@
 # NAVIGATION.md
 
 Codebase map for [gh-dashboard](https://github.com/lambdasistemi/gh-dashboard).
-All links point to commit [`2000809`](https://github.com/lambdasistemi/gh-dashboard/tree/2000809).
+All links point to commit [`4b69256`](https://github.com/lambdasistemi/gh-dashboard/tree/4b69256).
 
 ---
 
@@ -34,23 +34,23 @@ Key design decisions:
 
 ## Domain Types
 
-[`src/Types.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Types.purs#L1-L299) defines all domain newtypes and their `DecodeJson` instances.
+[`src/Types.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Types.purs#L1-L299) defines all domain newtypes and their `DecodeJson` instances.
 
 | Type | Purpose | Key fields |
 |------|---------|------------|
-| [`Repo`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Types.purs#L40-L52) | A GitHub repository | `fullName`, `ownerLogin`, `defaultBranch`, `openIssuesCount` |
-| [`Issue`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Types.purs#L86-L95) | An open issue (excludes PRs) | `number`, `title`, `labels`, `assignees`, `body` |
-| [`PullRequest`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Types.purs#L122-L133) | An open PR | `number`, `title`, `draft`, `headSha`, `labels` |
-| [`CheckRun`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Types.purs#L165-L170) | A CI check run | `name`, `status`, `conclusion` |
-| [`WorkflowRun`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Types.purs#L188-L197) | A workflow run on the default branch | `runId`, `name`, `headSha`, `displayTitle` |
-| [`WorkflowJob`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Types.purs#L230-L235) | A single job within a workflow run | `name`, `status`, `conclusion` |
-| [`Project`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Types.purs#L258-L263) | A Projects v2 board | `id`, `title`, `url`, `itemCount` |
-| [`ProjectItem`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Types.purs#L266-L277) | An item on a project board | `itemId`, `draftId`, `status`, `itemType`, `repoName`, `labels` |
-| [`RepoDetail`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Types.purs#L287-L298) | Cached detail for an expanded repo | `issues`, `pullRequests`, `prChecks`, `workflowRuns`, `workflowJobs` |
-| [`Page`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Types.purs#L253-L255) | Active top-level page | `ReposPage` or `ProjectsPage` |
-| [`StatusField`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Types.purs#L280-L284) | Status field metadata for a project | `fieldId`, `options` array of `{optionId, name}` |
-
-Supporting type aliases: [`Label`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Types.purs#L30-L32), [`Assignee`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Types.purs#L35-L37), [`CommitPR`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Types.purs#L224-L227).
+| [`Repo`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Types.purs#L40-L52) | A GitHub repository | `fullName`, `ownerLogin`, `defaultBranch`, `openIssuesCount` |
+| [`Issue`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Types.purs#L86-L95) | An open issue (excludes PRs) | `number`, `title`, `labels`, `assignees`, `body` |
+| [`PullRequest`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Types.purs#L122-L133) | An open PR | `number`, `title`, `draft`, `headSha`, `labels` |
+| [`CheckRun`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Types.purs#L165-L170) | A CI check run | `name`, `status`, `conclusion` |
+| [`WorkflowRun`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Types.purs#L188-L197) | A workflow run on the default branch | `runId`, `name`, `headSha`, `displayTitle` |
+| [`WorkflowJob`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Types.purs#L230-L235) | A single job within a workflow run | `name`, `status`, `conclusion` |
+| [`Project`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Types.purs#L258-L263) | A Projects v2 board | `id`, `title`, `url`, `itemCount` |
+| [`ProjectItem`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Types.purs#L266-L277) | An item on a project board | `itemId`, `draftId`, `status`, `itemType`, `repoName`, `labels` |
+| [`RepoDetail`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Types.purs#L287-L298) | Cached detail for an expanded repo | `issues`, `pullRequests`, `prChecks`, `workflowRuns`, `workflowJobs` |
+| [`Page`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Types.purs#L253-L255) | Active top-level page | `ReposPage` or `ProjectsPage` |
+| [`StatusField`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Types.purs#L280-L284) | Status field metadata for a project | `fieldId`, `options` array of `{optionId, name}` |
+
+Supporting type aliases: [`Label`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Types.purs#L30-L32), [`Assignee`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Types.purs#L35-L37), [`CommitPR`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Types.purs#L224-L227).
 
 ---
 
@@ -60,66 +60,66 @@ The API layer is split into REST and GraphQL, re-exported from a single facade m
 
 ### Facade
 
-[`src/GitHub.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/GitHub.purs#L1-L44) re-exports everything from `GitHub.Rest` and `GitHub.GraphQL`.
+[`src/GitHub.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/GitHub.purs#L1-L44) re-exports everything from `GitHub.Rest` and `GitHub.GraphQL`.
 
 ### REST (v3) with IndexedDB Caching
 
-[`src/GitHub/Rest.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/GitHub/Rest.purs#L1-L519)
+[`src/GitHub/Rest.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/GitHub/Rest.purs#L1-L519)
 
 Core transport:
 
 | Function | Purpose |
 |----------|---------|
-| [`ghFetch`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/GitHub/Rest.purs#L93-L154) | Authenticated GET with ETag-based IndexedDB caching. On each request: (1) look up cached ETag, (2) send `If-None-Match`, (3) on 304 return cached body, (4) on 200 store new ETag + body. Extracts rate-limit headers and `Link: rel="next"`. |
-| [`parseLinkNext`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/GitHub/Rest.purs#L163-L195) | Extracts the next-page URL from RFC 5988 Link headers. |
-| [`fetchAllPages`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/GitHub/Rest.purs#L202-L233) | Follows pagination to accumulate all items into a single array. |
+| [`ghFetch`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/GitHub/Rest.purs#L93-L154) | Authenticated GET with ETag-based IndexedDB caching. On each request: (1) look up cached ETag, (2) send `If-None-Match`, (3) on 304 return cached body, (4) on 200 store new ETag + body. Extracts rate-limit headers and `Link: rel="next"`. |
+| [`parseLinkNext`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/GitHub/Rest.purs#L163-L195) | Extracts the next-page URL from RFC 5988 Link headers. |
+| [`fetchAllPages`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/GitHub/Rest.purs#L202-L233) | Follows pagination to accumulate all items into a single array. |
 
 Domain fetch functions:
 
 | Function | Endpoint |
 |----------|----------|
-| [`fetchUserRepos`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/GitHub/Rest.purs#L240-L258) | `GET /user/repos?affiliation=owner,collaborator` |
-| [`fetchRepoIssues`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/GitHub/Rest.purs#L278-L297) | `GET /repos/:full/issues` (filters out PRs via `RawIssue` wrapper) |
-| [`fetchIssue`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/GitHub/Rest.purs#L300-L315) | `GET /repos/:full/issues/:n` |
-| [`fetchRepo`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/GitHub/Rest.purs#L318-L330) | `GET /repos/:full` |
-| [`fetchRepoPRs`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/GitHub/Rest.purs#L333-L343) | `GET /repos/:full/pulls?state=open` |
-| [`fetchPR`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/GitHub/Rest.purs#L346-L361) | `GET /repos/:full/pulls/:n` |
-| [`fetchCheckRuns`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/GitHub/Rest.purs#L364-L385) | `GET /repos/:full/commits/:sha/check-runs` |
-| [`fetchCommitStatuses`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/GitHub/Rest.purs#L393-L441) | `GET /repos/:full/commits/:sha/statuses` -- converts legacy statuses into `CheckRun` for uniform rendering |
-| [`fetchWorkflowRuns`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/GitHub/Rest.purs#L445-L467) | `GET /repos/:full/actions/runs?branch=...` |
-| [`fetchWorkflowJobs`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/GitHub/Rest.purs#L470-L489) | `GET /repos/:full/actions/runs/:id/jobs` |
-| [`fetchCommitPRs`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/GitHub/Rest.purs#L492-L519) | `GET /repos/:full/commits/:sha/pulls` -- returns the first associated PR |
+| [`fetchUserRepos`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/GitHub/Rest.purs#L240-L258) | `GET /user/repos?affiliation=owner,collaborator` |
+| [`fetchRepoIssues`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/GitHub/Rest.purs#L278-L297) | `GET /repos/:full/issues` (filters out PRs via `RawIssue` wrapper) |
+| [`fetchIssue`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/GitHub/Rest.purs#L300-L315) | `GET /repos/:full/issues/:n` |
+| [`fetchRepo`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/GitHub/Rest.purs#L318-L330) | `GET /repos/:full` |
+| [`fetchRepoPRs`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/GitHub/Rest.purs#L333-L343) | `GET /repos/:full/pulls?state=open` |
+| [`fetchPR`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/GitHub/Rest.purs#L346-L361) | `GET /repos/:full/pulls/:n` |
+| [`fetchCheckRuns`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/GitHub/Rest.purs#L364-L385) | `GET /repos/:full/commits/:sha/check-runs` |
+| [`fetchCommitStatuses`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/GitHub/Rest.purs#L393-L441) | `GET /repos/:full/commits/:sha/statuses` -- converts legacy statuses into `CheckRun` for uniform rendering |
+| [`fetchWorkflowRuns`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/GitHub/Rest.purs#L445-L467) | `GET /repos/:full/actions/runs?branch=...` |
+| [`fetchWorkflowJobs`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/GitHub/Rest.purs#L470-L489) | `GET /repos/:full/actions/runs/:id/jobs` |
+| [`fetchCommitPRs`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/GitHub/Rest.purs#L492-L519) | `GET /repos/:full/commits/:sha/pulls` -- returns the first associated PR |
 
 ### GraphQL (Projects v2)
 
-[`src/GitHub/GraphQL.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/GitHub/GraphQL.purs#L1-L640)
+[`src/GitHub/GraphQL.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/GitHub/GraphQL.purs#L1-L640)
 
 Core transport:
 
 | Function | Purpose |
 |----------|---------|
-| [`ghGraphQL`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/GitHub/GraphQL.purs#L76-L107) | POST `{query, variables}` to `/graphql`. Extracts GraphQL-level errors. |
-| [`ghMutation`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/GitHub/GraphQL.purs#L262-L268) | Wrapper for mutations that return no useful data. |
-| [`extractGraphQLErrors`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/GitHub/GraphQL.purs#L111-L129) | Parses the `errors` array from a GraphQL response. |
+| [`ghGraphQL`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/GitHub/GraphQL.purs#L76-L107) | POST `{query, variables}` to `/graphql`. Extracts GraphQL-level errors. |
+| [`ghMutation`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/GitHub/GraphQL.purs#L262-L268) | Wrapper for mutations that return no useful data. |
+| [`extractGraphQLErrors`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/GitHub/GraphQL.purs#L111-L129) | Parses the `errors` array from a GraphQL response. |
 
 Queries and mutations:
 
 | Function | GraphQL operation |
 |----------|-------------------|
-| [`fetchUserProjects`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/GitHub/GraphQL.purs#L199-L208) | `viewer.projectsV2` -- light metadata only |
-| [`fetchProjectItems`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/GitHub/GraphQL.purs#L215-L252) | Paginated items for a project, plus status field metadata |
-| [`updateItemStatus`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/GitHub/GraphQL.purs#L271-L302) | `updateProjectV2ItemFieldValue` |
-| [`addDraftItem`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/GitHub/GraphQL.purs#L305-L325) | `addProjectV2DraftIssue` |
-| [`updateDraftItem`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/GitHub/GraphQL.purs#L328-L348) | `updateProjectV2DraftIssue` |
-| [`renameProject`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/GitHub/GraphQL.purs#L351-L371) | `updateProjectV2` |
-| [`deleteProjectItem`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/GitHub/GraphQL.purs#L374-L394) | `deleteProjectV2Item` |
+| [`fetchUserProjects`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/GitHub/GraphQL.purs#L199-L208) | `viewer.projectsV2` -- light metadata only |
+| [`fetchProjectItems`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/GitHub/GraphQL.purs#L215-L252) | Paginated items for a project, plus status field metadata |
+| [`updateItemStatus`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/GitHub/GraphQL.purs#L271-L302) | `updateProjectV2ItemFieldValue` |
+| [`addDraftItem`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/GitHub/GraphQL.purs#L305-L325) | `addProjectV2DraftIssue` |
+| [`updateDraftItem`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/GitHub/GraphQL.purs#L328-L348) | `updateProjectV2DraftIssue` |
+| [`renameProject`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/GitHub/GraphQL.purs#L351-L371) | `updateProjectV2` |
+| [`deleteProjectItem`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/GitHub/GraphQL.purs#L374-L394) | `deleteProjectV2Item` |
 
-Response navigation helpers ([L400-L640](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/GitHub/GraphQL.purs#L400-L640)):
+Response navigation helpers ([L400-L640](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/GitHub/GraphQL.purs#L400-L640)):
 
 | Function | Purpose |
 |----------|---------|
-| [`jsonField`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/GitHub/GraphQL.purs#L470-L474) | Navigate into a JSON object field (combines `toObject` + `.:` into one step) |
-| [`optField`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/GitHub/GraphQL.purs#L478-L488) | Read an optional value from a JSON object, returning `Maybe` on missing/error |
+| [`jsonField`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/GitHub/GraphQL.purs#L470-L474) | Navigate into a JSON object field (combines `toObject` + `.:` into one step) |
+| [`optField`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/GitHub/GraphQL.purs#L478-L488) | Read an optional value from a JSON object, returning `Maybe` on missing/error |
 | `navigateProjects` | Walk `data.viewer.projectsV2.nodes` |
 | `navigateProjectItems` | Walk `data.node.items`, extract status field metadata |
 | `parseProjectItem` | Parse a single item node including fieldValues |
@@ -133,7 +133,7 @@ Response navigation helpers ([L400-L640](https://github.com/lambdasistemi/gh-das
 
 ### State
 
-[`src/View/Types.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/View/Types.purs#L89-L137) defines the full `State` record.
+[`src/View/Types.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/View/Types.purs#L89-L137) defines the full `State` record.
 
 | Field group | Fields | Purpose |
 |-------------|--------|---------|
@@ -149,18 +149,18 @@ Response navigation helpers ([L400-L640](https://github.com/lambdasistemi/gh-das
 
 ### Toast System
 
-[`src/View/Types.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/View/Types.purs#L23-L30)
+[`src/View/Types.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/View/Types.purs#L23-L30)
 
 | Type | Definition |
 |------|------------|
 | `ToastLevel` | `ToastInfo \| ToastError` |
 | `Toast` | `{ id :: Int, message :: String, level :: ToastLevel }` |
 
-Toasts are appended by `ShowToast`, auto-dismissed after 4 seconds via `delay` in [`Main.handleAction`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Main.purs#L458-L478), and manually dismissable via `DismissToast`. Rendered as a fixed container in [`View.renderToasts`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/View.purs#L281-L310).
+Toasts are appended by `ShowToast`, auto-dismissed after 4 seconds via `delay` in [`Main.handleAction`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Main.purs#L458-L478), and manually dismissable via `DismissToast`. Rendered as a fixed container in [`View.renderToasts`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/View.purs#L281-L310).
 
 ### Initialization
 
-[`Main.purs` Initialize handler](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Main.purs#L200-L236) runs on mount:
+[`Main.purs` Initialize handler](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Main.purs#L200-L236) runs on mount:
 
 1. Load encrypted token from localStorage via `FFI.Storage.loadTokenEncrypted` (decrypts AES-256-GCM).
 2. Load repo list, agent server URL, and view state from localStorage.
@@ -168,13 +168,13 @@ Toasts are appended by `ShowToast`, auto-dismissed after 4 seconds via `delay` i
 4. Restore all persisted view fields into state.
 5. If a token exists, refresh agent sessions then either fetch repos (ReposPage) or projects + items (ProjectsPage).
 
-[`initialState`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Main.purs#L122-L170) sets every field to its empty/default value.
+[`initialState`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Main.purs#L122-L170) sets every field to its empty/default value.
 
 ---
 
 ## Action Dispatch
 
-[`src/View/Types.purs` Action](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/View/Types.purs#L33-L87) is a flat sum type with 54 constructors. The dispatcher in [`Main.handleAction`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Main.purs#L190-L478) is a single `case _ of` that routes each constructor:
+[`src/View/Types.purs` Action](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/View/Types.purs#L33-L87) is a flat sum type with 54 constructors. The dispatcher in [`Main.handleAction`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Main.purs#L190-L478) is a single `case _ of` that routes each constructor:
 
 - **Initialization and auth** (L200-L253): `Initialize`, `SetToken`, `SubmitToken`
 - **Repo actions** (L259-L288): delegated to `Action.Repos`
@@ -245,113 +245,113 @@ The dispatcher passes itself as a `Dispatch` callback to handler modules that ne
 
 ## Repo Action Handlers
 
-[`src/Action/Repos.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Repos.purs#L1-L584)
+[`src/Action/Repos.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Repos.purs#L1-L584)
 
 ### Data fetching
 
 | Handler | Behavior |
 |---------|----------|
-| [`handleRefreshRepo`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Repos.purs#L104-L114) | Re-fetch and upsert a single repo |
-| [`handleRefreshIssues`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Repos.purs#L116-L135) | Fetch open issues for the expanded repo, guarded by `guardExpanded` |
-| [`handleRefreshIssue`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Repos.purs#L137-L158) | Refresh a single issue in-place via `updateDetail` |
-| [`handleRefreshPRs`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Repos.purs#L160-L223) | Fetch open PRs, then check-runs + commit statuses per PR (skips hidden PRs) |
-| [`handleRefreshPR`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Repos.purs#L225-L232) | Re-fetch a single PR and its checks via `Refresh.refreshSinglePR` |
-| [`handleRefreshWorkflows`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Repos.purs#L234-L270) | Fetch workflow runs, extract unique SHAs, load jobs for the first SHA |
-| [`handleWorkflowPrevSha` / `handleWorkflowNextSha`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Repos.purs#L272-L316) | Navigate between SHAs in the workflow viewer |
-| [`loadWorkflowShaDetails`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Repos.purs#L512-L583) | Load jobs and PR info for the currently selected SHA |
-| [`extractShas`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Repos.purs#L500-L508) | Deduplicate SHAs preserving order |
+| [`handleRefreshRepo`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Repos.purs#L104-L114) | Re-fetch and upsert a single repo |
+| [`handleRefreshIssues`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Repos.purs#L116-L135) | Fetch open issues for the expanded repo, guarded by `guardExpanded` |
+| [`handleRefreshIssue`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Repos.purs#L137-L158) | Refresh a single issue in-place via `updateDetail` |
+| [`handleRefreshPRs`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Repos.purs#L160-L223) | Fetch open PRs, then check-runs + commit statuses per PR (skips hidden PRs) |
+| [`handleRefreshPR`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Repos.purs#L225-L232) | Re-fetch a single PR and its checks via `Refresh.refreshSinglePR` |
+| [`handleRefreshWorkflows`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Repos.purs#L234-L270) | Fetch workflow runs, extract unique SHAs, load jobs for the first SHA |
+| [`handleWorkflowPrevSha` / `handleWorkflowNextSha`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Repos.purs#L272-L316) | Navigate between SHAs in the workflow viewer |
+| [`loadWorkflowShaDetails`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Repos.purs#L512-L583) | Load jobs and PR info for the currently selected SHA |
+| [`extractShas`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Repos.purs#L500-L508) | Deduplicate SHAs preserving order |
 
 ### UI interactions
 
 | Handler | Behavior |
 |---------|----------|
-| [`handleToggleExpand`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Repos.purs#L318-L341) | Expand/collapse a repo row. Clears details when switching repos. |
-| [`handleToggleItem`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Repos.purs#L343-L398) | Expand/collapse a detail section. Detaches terminals on collapse. Auto-fetches on first open of `section-issues`, `section-prs`, `section-workflows`. |
-| [`handleDragStart` / `handleDragDrop`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Repos.purs#L400-L422) | Drag-and-drop repo reordering |
-| [`handleSubmitAddRepo`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Repos.purs#L424-L462) | Add a repo by URL or `owner/repo` name (deduplicates) |
-| [`handleRemoveRepo`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Repos.purs#L464-L489) | Confirm and remove a repo from the list |
-| [`handleHideItem`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Repos.purs#L491-L497) | Toggle hide/unhide for an issue or PR |
+| [`handleToggleExpand`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Repos.purs#L318-L341) | Expand/collapse a repo row. Clears details when switching repos. |
+| [`handleToggleItem`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Repos.purs#L343-L398) | Expand/collapse a detail section. Detaches terminals on collapse. Auto-fetches on first open of `section-issues`, `section-prs`, `section-workflows`. |
+| [`handleDragStart` / `handleDragDrop`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Repos.purs#L400-L422) | Drag-and-drop repo reordering |
+| [`handleSubmitAddRepo`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Repos.purs#L424-L462) | Add a repo by URL or `owner/repo` name (deduplicates) |
+| [`handleRemoveRepo`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Repos.purs#L464-L489) | Confirm and remove a repo from the list |
+| [`handleHideItem`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Repos.purs#L491-L497) | Toggle hide/unhide for an issue or PR |
 
 ---
 
 ## Project Action Handlers
 
-[`src/Action/Projects.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Projects.purs#L1-L453)
+[`src/Action/Projects.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Projects.purs#L1-L453)
 
 | Handler | Behavior |
 |---------|----------|
-| [`handleRefreshProjects`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Projects.purs#L81-L100) | Fetch project list via GraphQL, refresh agent sessions on success |
-| [`handleExpandProject`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Projects.purs#L102-L125) | Toggle expand; lazy-loads items on first open |
-| [`handleRefreshProjectItems`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Projects.purs#L127-L165) | Paginated fetch of items + status field metadata |
-| [`handleRefreshProjectItem`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Projects.purs#L167-L204) | Re-fetch a single issue's title/body from REST |
-| [`handleSetItemStatus`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Projects.purs#L216-L270) | **Optimistic** status change via `updateItemStatus` mutation |
-| [`handleSubmitNewItem`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Projects.purs#L277-L293) | Create a draft issue then refresh items |
-| [`handleSubmitEditItem`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Projects.purs#L311-L349) | **Optimistic** rename of a draft issue |
-| [`handleDeleteItem`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Projects.purs#L351-L383) | Confirm, **optimistic** remove, then API delete |
-| [`handleSubmitRenameProject`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Projects.purs#L401-L427) | **Optimistic** project rename |
-| [`friendlyProjectError`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Projects.purs#L432-L453) | Rewrites `insufficient_scopes` errors into a user-friendly hint about `read:project` |
+| [`handleRefreshProjects`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Projects.purs#L81-L100) | Fetch project list via GraphQL, refresh agent sessions on success |
+| [`handleExpandProject`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Projects.purs#L102-L125) | Toggle expand; lazy-loads items on first open |
+| [`handleRefreshProjectItems`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Projects.purs#L127-L165) | Paginated fetch of items + status field metadata |
+| [`handleRefreshProjectItem`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Projects.purs#L167-L204) | Re-fetch a single issue's title/body from REST |
+| [`handleSetItemStatus`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Projects.purs#L216-L270) | **Optimistic** status change via `updateItemStatus` mutation |
+| [`handleSubmitNewItem`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Projects.purs#L277-L293) | Create a draft issue then refresh items |
+| [`handleSubmitEditItem`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Projects.purs#L311-L349) | **Optimistic** rename of a draft issue |
+| [`handleDeleteItem`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Projects.purs#L351-L383) | Confirm, **optimistic** remove, then API delete |
+| [`handleSubmitRenameProject`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Projects.purs#L401-L427) | **Optimistic** project rename |
+| [`friendlyProjectError`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Projects.purs#L432-L453) | Rewrites `insufficient_scopes` errors into a user-friendly hint about `read:project` |
 
 ---
 
 ## Agent / Terminal Handlers
 
-[`src/Action/Agent.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Agent.purs#L1-L370)
+[`src/Action/Agent.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Agent.purs#L1-L370)
 
 The agent integration connects to an external daemon that runs Claude Code sessions against GitHub issues. Sessions are identified by `"owner/repo#issue"` keys.
 
 | Handler | Behavior |
 |---------|----------|
-| [`handleLaunchAgent`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Agent.purs#L81-L181) | POST `/sessions` to create a session, derive WebSocket URL, expand the item, attach xterm.js terminal. Shows toast on success/error. |
-| [`handleDetachAgent`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Agent.purs#L183-L202) | Destroy the terminal widget without stopping the remote session. Shows toast. |
-| [`handleStopAgent`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Agent.purs#L204-L257) | Confirm, destroy terminal, DELETE `/sessions/:sid`. Shows toast on success/error. |
-| [`handleSetAgentServer`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Agent.purs#L259-L263) | Save agent server URL to state and localStorage |
-| [`handleRefreshAgentSessions`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Agent.purs#L265-L316) | GET `/sessions` for session states, then GET `/worktrees` for worktree presence (independent fetch). Updates `agentSessions` and `agentWorktrees`. |
-| [`handleToggleSessionFilter`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Agent.purs#L318-L324) | Toggle "Worktree" / "Running" filter |
-| [`reattachTerminals`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Agent.purs#L329-L341) | Re-opens xterm instances after Halogen re-renders may have destroyed container divs |
-| [`parseSession`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Agent.purs#L345-L358) | Parse a session JSON object into `(key, state)` tuple |
-| [`parseWorktreeKey`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Agent.purs#L361-L369) | Parse a worktree JSON object into a session key |
+| [`handleLaunchAgent`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Agent.purs#L81-L181) | POST `/sessions` to create a session, derive WebSocket URL, expand the item, attach xterm.js terminal. Shows toast on success/error. |
+| [`handleDetachAgent`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Agent.purs#L183-L202) | Destroy the terminal widget without stopping the remote session. Shows toast. |
+| [`handleStopAgent`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Agent.purs#L204-L257) | Confirm, destroy terminal, DELETE `/sessions/:sid`. Shows toast on success/error. |
+| [`handleSetAgentServer`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Agent.purs#L259-L263) | Save agent server URL to state and localStorage |
+| [`handleRefreshAgentSessions`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Agent.purs#L265-L316) | GET `/sessions` for session states, then GET `/worktrees` for worktree presence (independent fetch). Updates `agentSessions` and `agentWorktrees`. |
+| [`handleToggleSessionFilter`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Agent.purs#L318-L324) | Toggle "Worktree" / "Running" filter |
+| [`reattachTerminals`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Agent.purs#L329-L341) | Re-opens xterm instances after Halogen re-renders may have destroyed container divs |
+| [`parseSession`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Agent.purs#L345-L358) | Parse a session JSON object into `(key, state)` tuple |
+| [`parseWorktreeKey`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Agent.purs#L361-L369) | Parse a worktree JSON object into a session key |
 
 ---
 
 ## Shared Action Helpers
 
-[`src/Action/Common.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Common.purs#L1-L142)
+[`src/Action/Common.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Common.purs#L1-L142)
 
 | Export | Purpose |
 |--------|---------|
-| [`Dispatch`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Common.purs#L50-L51) | Type alias for the cross-module action callback |
-| [`HalogenAction`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Common.purs#L54-L55) | Shorthand for the Halogen action monad |
-| [`toggleSet`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Common.purs#L61-L64) | Insert-or-remove from a Set. Used by every filter toggle. |
-| [`persistView`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Common.purs#L71-L87) | Save current view state to localStorage. Called after most user-facing state changes. |
-| [`updateDetail`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Common.purs#L102-L112) | Modify the current `RepoDetail`, creating an empty one if none exists. Eliminates repeated Nothing/Just case splits. |
-| [`guardExpanded`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Common.purs#L118-L125) | Run an action only if the given repo is still expanded (guards against stale async results) |
-| [`emptyDetail`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Common.purs#L129-L141) | Blank `RepoDetail` record |
-| [`termElementId`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Action/Common.purs#L92-L96) | Converts `"owner/repo#42"` to a safe DOM ID `"term-owner-repo-42"` |
+| [`Dispatch`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Common.purs#L50-L51) | Type alias for the cross-module action callback |
+| [`HalogenAction`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Common.purs#L54-L55) | Shorthand for the Halogen action monad |
+| [`toggleSet`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Common.purs#L61-L64) | Insert-or-remove from a Set. Used by every filter toggle. |
+| [`persistView`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Common.purs#L71-L87) | Save current view state to localStorage. Called after most user-facing state changes. |
+| [`updateDetail`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Common.purs#L102-L112) | Modify the current `RepoDetail`, creating an empty one if none exists. Eliminates repeated Nothing/Just case splits. |
+| [`guardExpanded`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Common.purs#L118-L125) | Run an action only if the given repo is still expanded (guards against stale async results) |
+| [`emptyDetail`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Common.purs#L129-L141) | Blank `RepoDetail` record |
+| [`termElementId`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Action/Common.purs#L92-L96) | Converts `"owner/repo#42"` to a safe DOM ID `"term-owner-repo-42"` |
 
 ---
 
 ## Refresh Logic
 
-[`src/Refresh.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Refresh.purs#L1-L135)
+[`src/Refresh.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Refresh.purs#L1-L135)
 
 | Function | Purpose |
 |----------|---------|
-| [`doRefresh`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Refresh.purs#L30-L72) | If `repoList` is empty, seeds from API (top 25 repos). Otherwise re-fetches each repo individually and reorders. |
-| [`refreshSinglePR`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Refresh.purs#L75-L135) | Re-fetch a PR + its check-runs and commit statuses, merge into existing detail state |
+| [`doRefresh`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Refresh.purs#L30-L72) | If `repoList` is empty, seeds from API (top 25 repos). Otherwise re-fetches each repo individually and reorders. |
+| [`refreshSinglePR`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Refresh.purs#L75-L135) | Re-fetch a PR + its check-runs and commit statuses, merge into existing detail state |
 
 ---
 
 ## Repo Utilities
 
-[`src/RepoUtils.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/RepoUtils.purs#L1-L90) -- pure helpers for repo list manipulation.
+[`src/RepoUtils.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/RepoUtils.purs#L1-L90) -- pure helpers for repo list manipulation.
 
 | Function | Purpose |
 |----------|---------|
-| [`applyFilter`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/RepoUtils.purs#L21-L34) | Filter repos by name or description (case-insensitive) |
-| [`parseRepoName`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/RepoUtils.purs#L37-L53) | Extract `owner/repo` from a GitHub URL or plain name |
-| [`upsertRepo`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/RepoUtils.purs#L56-L68) | Insert or update a repo in the array |
-| [`orderRepos`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/RepoUtils.purs#L71-L77) | Reorder repos to match the stored list |
-| [`moveItem`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/RepoUtils.purs#L80-L89) | Move an item before another (used by drag-and-drop) |
+| [`applyFilter`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/RepoUtils.purs#L21-L34) | Filter repos by name or description (case-insensitive) |
+| [`parseRepoName`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/RepoUtils.purs#L37-L53) | Extract `owner/repo` from a GitHub URL or plain name |
+| [`upsertRepo`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/RepoUtils.purs#L56-L68) | Insert or update a repo in the array |
+| [`orderRepos`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/RepoUtils.purs#L71-L77) | Reorder repos to match the stored list |
+| [`moveItem`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/RepoUtils.purs#L80-L89) | Move an item before another (used by drag-and-drop) |
 
 ---
 
@@ -359,23 +359,23 @@ The agent integration connects to an external daemon that runs Claude Code sessi
 
 ### Top-level View
 
-[`src/View.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/View.purs#L1-L332)
+[`src/View.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/View.purs#L1-L332)
 
 | Function | Purpose |
 |----------|---------|
-| [`renderTokenForm`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/View.purs#L22-L88) | Token input form with "Getting started" instructions |
-| [`renderDashboard`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/View.purs#L91-L151) | Main dashboard: toast container, toolbar, add-repo bar, error, page content |
-| [`renderToolbar`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/View.purs#L154-L274) | Tab bar (Repos/Projects), filter input, agent server input, theme toggle, export/import, reset token, reset all buttons |
-| [`renderToasts`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/View.purs#L281-L310) | Fixed bottom-right toast container, each toast with dismiss button |
-| [`renderRateLimit`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/View.purs#L313-L332) | Rate limit `remaining/limit` display (warns when < 100) |
+| [`renderTokenForm`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/View.purs#L22-L88) | Token input form with "Getting started" instructions |
+| [`renderDashboard`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/View.purs#L91-L151) | Main dashboard: toast container, toolbar, add-repo bar, error, page content |
+| [`renderToolbar`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/View.purs#L154-L274) | Tab bar (Repos/Projects), filter input, agent server input, theme toggle, export/import, reset token, reset all buttons |
+| [`renderToasts`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/View.purs#L281-L310) | Fixed bottom-right toast container, each toast with dismiss button |
+| [`renderRateLimit`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/View.purs#L313-L332) | Rate limit `remaining/limit` display (warns when < 100) |
 
 ### View Types
 
-[`src/View/Types.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/View/Types.purs#L1-L138) defines `Action` (54 constructors), `State` (48 fields), `Toast`, and `ToastLevel`. These are shared across all view sub-modules.
+[`src/View/Types.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/View/Types.purs#L1-L138) defines `Action` (54 constructors), `State` (48 fields), `Toast`, and `ToastLevel`. These are shared across all view sub-modules.
 
 ### Repo Table
 
-[`src/View/RepoTable.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/View/RepoTable.purs#L1-L181)
+[`src/View/RepoTable.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/View/RepoTable.purs#L1-L181)
 
 Renders the repo list as a table with columns: drag handle, actions, name, description, language, visibility, issues, updated date. Each row is clickable (expand/collapse) and draggable (reorder). Expanded repos show the detail panel below.
 
@@ -383,18 +383,18 @@ Helper renderers: `renderLangBadge`, `renderVisBadge`, `renderCountBadge`.
 
 ### Detail Panel
 
-[`src/View/Detail.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/View/Detail.purs#L1-L53) -- composes the three detail sections (workflows, issues, PRs) into a single panel below the expanded repo row.
+[`src/View/Detail.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/View/Detail.purs#L1-L53) -- composes the three detail sections (workflows, issues, PRs) into a single panel below the expanded repo row.
 
 ### Issues Section
 
-[`src/View/Issues.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/View/Issues.purs#L1-L297)
+[`src/View/Issues.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/View/Issues.purs#L1-L297)
 
 - `renderIssuesSection`: Collapsible section with label filter, visible/hidden partitions
 - `renderIssueRow`: Single issue row with agent badges (worktree indicator, running badge), agent launch/detach/stop buttons, expandable body or terminal
 
 ### PRs Section
 
-[`src/View/PRs.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/View/PRs.purs#L1-L438)
+[`src/View/PRs.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/View/PRs.purs#L1-L438)
 
 - `renderPRsSection`: Collapsible section with label + CI status filter, visible/hidden partitions
 - `renderPRRow`: Single PR row with draft tag, CI status badge, expandable body + failed checks side-by-side
@@ -403,7 +403,7 @@ Helper renderers: `renderLangBadge`, `renderVisBadge`, `renderCountBadge`.
 
 ### Workflows Section
 
-[`src/View/Workflows.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/View/Workflows.purs#L1-L351)
+[`src/View/Workflows.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/View/Workflows.purs#L1-L351)
 
 - `renderWorkflowsSection`: Collapsible section with SHA navigation, status filter, workflow table
 - `renderShaNav`: Prev/next SHA navigation bar with commit link and associated PR
@@ -411,7 +411,7 @@ Helper renderers: `renderLangBadge`, `renderVisBadge`, `renderCountBadge`.
 
 ### Projects View
 
-[`src/View/Projects.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/View/Projects.purs#L1-L865)
+[`src/View/Projects.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/View/Projects.purs#L1-L865)
 
 - `renderProjects`: Expandable project table
 - `renderProjectRow`: Project row with rename inline edit
@@ -425,7 +425,7 @@ Helper renderers: `renderLangBadge`, `renderVisBadge`, `renderCountBadge`.
 
 ### Detail Widgets
 
-[`src/View/DetailWidgets.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/View/DetailWidgets.purs#L1-L160) -- reusable buttons and selectors shared across Issues, PRs, and Projects views.
+[`src/View/DetailWidgets.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/View/DetailWidgets.purs#L1-L160) -- reusable buttons and selectors shared across Issues, PRs, and Projects views.
 
 | Widget | Purpose |
 |--------|---------|
@@ -438,7 +438,7 @@ Helper renderers: `renderLangBadge`, `renderVisBadge`, `renderCountBadge`.
 
 ### View Helpers
 
-[`src/View/Helpers.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/View/Helpers.purs#L1-L195) + [`src/View/Helpers.js`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/View/Helpers.js#L1-L7)
+[`src/View/Helpers.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/View/Helpers.purs#L1-L195) + [`src/View/Helpers.js`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/View/Helpers.js#L1-L7)
 
 | Helper | Purpose |
 |--------|---------|
@@ -458,7 +458,7 @@ Helper renderers: `renderLangBadge`, `renderVisBadge`, `renderCountBadge`.
 
 ## Persistence
 
-[`src/Storage.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Storage.purs#L1-L267)
+[`src/Storage.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Storage.purs#L1-L267)
 
 ### localStorage Keys
 
@@ -472,7 +472,7 @@ Helper renderers: `renderLangBadge`, `renderVisBadge`, `renderCountBadge`.
 
 ### ViewState
 
-[`ViewState` type](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/Storage.purs#L42-L54) captures everything about what is visible:
+[`ViewState` type](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/Storage.purs#L42-L54) captures everything about what is visible:
 
 | Field | Type | Default |
 |-------|------|---------|
@@ -515,7 +515,7 @@ Each FFI module pairs a PureScript declaration file with a JavaScript implementa
 
 ### Cache (IndexedDB)
 
-- [`src/FFI/Cache.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/FFI/Cache.purs#L1-L73) / [`src/FFI/Cache.js`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/FFI/Cache.js#L1-L93)
+- [`src/FFI/Cache.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/FFI/Cache.purs#L1-L73) / [`src/FFI/Cache.js`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/FFI/Cache.js#L1-L93)
 - `getCachedResponse :: String -> Aff (Maybe CachedResponse)` -- look up by URL in IndexedDB
 - `putCachedResponse :: String -> String -> String -> Aff Unit` -- store URL, ETag, body + timestamp
 - `clearCache :: Aff Unit` -- clear all cached responses
@@ -524,7 +524,7 @@ Each FFI module pairs a PureScript declaration file with a JavaScript implementa
 
 ### Storage (Token Encryption + Export/Import)
 
-- [`src/FFI/Storage.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/FFI/Storage.purs#L1-L32) / [`src/FFI/Storage.js`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/FFI/Storage.js#L1-L251)
+- [`src/FFI/Storage.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/FFI/Storage.purs#L1-L32) / [`src/FFI/Storage.js`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/FFI/Storage.js#L1-L251)
 - `saveTokenEncrypted :: String -> Effect (Promise Unit)` -- encrypt with random local AES key, store in localStorage
 - `loadTokenEncrypted :: Effect (Promise String)` -- decrypt from localStorage. Handles migration from plaintext tokens.
 - `exportStorage :: Effect Unit` -- downloads settings as JSON. Token is decrypted from at-rest, re-encrypted with a user passphrase (PBKDF2 100k iterations, SHA-256).
@@ -534,7 +534,7 @@ Each FFI module pairs a PureScript declaration file with a JavaScript implementa
 
 ### Terminal (xterm.js)
 
-- [`src/FFI/Terminal.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/FFI/Terminal.purs#L1-L27) / [`src/FFI/Terminal.js`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/FFI/Terminal.js#L1-L139)
+- [`src/FFI/Terminal.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/FFI/Terminal.purs#L1-L27) / [`src/FFI/Terminal.js`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/FFI/Terminal.js#L1-L139)
 - `attachTerminal :: String -> String -> String -> Effect Unit` -- creates an xterm.js instance in a DOM element, connects via WebSocket, sends terminal size on open/resize, handles drag-to-resize handle
 - `destroyTerminal :: String -> Effect Unit` -- tears down a terminal by element ID
 - `destroyOrphanedTerminals :: Effect (Array String)` -- cleans up terminals whose DOM container was removed
@@ -542,34 +542,34 @@ Each FFI module pairs a PureScript declaration file with a JavaScript implementa
 
 ### Clipboard
 
-- [`src/FFI/Clipboard.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/FFI/Clipboard.purs#L1-L10) / [`src/FFI/Clipboard.js`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/FFI/Clipboard.js#L1-L4)
+- [`src/FFI/Clipboard.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/FFI/Clipboard.purs#L1-L10) / [`src/FFI/Clipboard.js`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/FFI/Clipboard.js#L1-L4)
 - `copyToClipboard :: String -> Effect Unit` -- calls `navigator.clipboard.writeText`
 
 ### Dialog
 
-- [`src/FFI/Dialog.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/FFI/Dialog.purs#L1-L7) / [`src/FFI/Dialog.js`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/FFI/Dialog.js#L1-L3)
+- [`src/FFI/Dialog.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/FFI/Dialog.purs#L1-L7) / [`src/FFI/Dialog.js`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/FFI/Dialog.js#L1-L3)
 - `confirmDialog :: String -> Effect Boolean` -- calls `window.confirm`
 
 ### Theme
 
-- [`src/FFI/Theme.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/FFI/Theme.purs#L1-L10) / [`src/FFI/Theme.js`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/FFI/Theme.js#L1-L3)
+- [`src/FFI/Theme.purs`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/FFI/Theme.purs#L1-L10) / [`src/FFI/Theme.js`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/FFI/Theme.js#L1-L3)
 - `setBodyTheme :: Boolean -> Effect Unit` -- toggles `light-theme` class on `<body>`
 
 ### Markdown
 
-- [`src/View/Helpers.js`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/src/View/Helpers.js#L1-L7) -- `parseMarkdownImpl` calls `marked.parse()` if the `marked` library is loaded
+- [`src/View/Helpers.js`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/src/View/Helpers.js#L1-L7) -- `parseMarkdownImpl` calls `marked.parse()` if the `marked` library is loaded
 
 ---
 
 ## Playwright Tests
 
-[`tests/`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/tests/)
+[`tests/`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/tests/)
 
 | File | Tests | Requires token |
 |------|-------|----------------|
-| [`unauthenticated.spec.ts`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/tests/unauthenticated.spec.ts#L1-L42) | Login page UI: title, input, empty submit error, text entry | No |
-| [`authenticated.spec.ts`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/tests/authenticated.spec.ts#L1-L101) | Dashboard shell: toolbar, tabs, theme toggle, filter, export/import buttons, rate limit | Yes (`GH_DASHBOARD_TOKEN`) |
-| [`caching.spec.ts`](https://github.com/lambdasistemi/gh-dashboard/blob/2000809/tests/caching.spec.ts#L1-L145) | IndexedDB caching: cache population, entry structure, 304 on reload, clear on reset | Yes (`GH_DASHBOARD_TOKEN`) |
+| [`unauthenticated.spec.ts`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/tests/unauthenticated.spec.ts#L1-L42) | Login page UI: title, input, empty submit error, text entry | No |
+| [`authenticated.spec.ts`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/tests/authenticated.spec.ts#L1-L101) | Dashboard shell: toolbar, tabs, theme toggle, filter, export/import buttons, rate limit | Yes (`GH_DASHBOARD_TOKEN`) |
+| [`caching.spec.ts`](https://github.com/lambdasistemi/gh-dashboard/blob/4b69256/tests/caching.spec.ts#L1-L145) | IndexedDB caching: cache population, entry structure, 304 on reload, clear on reset | Yes (`GH_DASHBOARD_TOKEN`) |
 
 ---