feat(console): search or jump to anything with ⌘K

docs/internal/DESIGN.md

@@ -224,6 +224,14 @@ put together from them and draws nothing of its own that one of them already dra
 - **Long ids** (a lease's, a worker's, a device's) stay on one line, cut with
   an ellipsis. The whole id is in the element's `title`, in the text a copy or
   a screen reader reads, and on the details page.
+- **Search.** A dialog near the top of the page over a dim layer (`--bg`, 1px `--border-strong`),
+  36rem wide at most: a box, then the results in groups, each group an uppercase label in
+  `--text-muted` over its rows. The highlighted row is `--field` with the same 2px `--accent`
+  inset edge as the current page in the sidebar; orange marks interaction only. A group still
+  loading, or one that failed, shows one `--text-muted` line in place of rows. The box is a
+  combobox and the list a listbox, and the highlight is the active descendant; it is kept by the
+  result's id, not its place, so a group that fills in above never moves it. It sits under the
+  confirm dialog, so an action's confirm opens over it.
 - **Buttons.** Primary: filled `--accent` with `--on-accent` text. Secondary:
   outlined in `--border-strong`, `--text`. Quiet: text only. All are labels.
 - **Inputs.** A `--field` fill and a 1px `--border-strong` border. A select is
@@ -236,7 +244,7 @@ put together from them and draws nothing of its own that one of them already dra
   `--accent`, an area with a faint fill of it (8%), horizontal grid lines in
   `--border`, axis labels in Geist Mono `--text-muted`. Every colour comes from
   the stylesheet by class. Nothing moves: animation is off. Every chart has a
-  title saying what it counts, its numbers as a line of text under it, and every bucket as a table behind a disclosure named by the bucket width ("Minute by minute", "Every 5 minutes", "Hour by hour"), so
+  title saying what it counts, its numbers as a line of text under it, and every bucket in a table only a screen reader reads, so
   nothing is visible only in the picture. A chart can be focused, and the
   arrow keys step through it. Its focus ring goes round the whole chart, for
   keyboard focus only: a click on a chart draws none.
@@ -271,6 +279,8 @@ put together from them and draws nothing of its own that one of them already dra
   for keyboard focus (`:focus-visible`), not on a mouse click.
 - The first control on every signed-in page is "Skip to content", visible only
   when focused.
+- ⌘K and Ctrl+K open the search while the console has focus and no drawer or dialog is open; the
+  browser's own use of the chord is stopped. Closing the search returns focus to where it was.
 
 ## Motion
 

docs/internal/adr/README.md

@@ -75,6 +75,5 @@ the status is stale.
 | [0034](0034-one-worker-per-user-and-the-folder-says-what-a-daemon-is.md) | One worker per user, and the folder says what a daemon is | Accepted — not yet implemented |
 | [0035](0035-a-gateway-sends-chosen-fleet-events-to-webhook-destinations.md) | A gateway sends chosen fleet events to webhook destinations | Accepted — not yet implemented |
 | [0036](0036-daemon-state-is-a-sqlite-database-whose-tables-each-owner-keeps.md) | Daemon state is a SQLite database, and each owner keeps its own tables | Accepted — not yet implemented |
-| [0038](0038-the-warm-pool-learns-its-kinds-from-leases-and-boots-for-every-queued-request.md) | The warm pool learns its kinds from leases, and boots for every queued request | Accepted — not yet implemented |
-| [0037](0037-the-console-acts-through-the-http-routes-on-base-ui.md) | The console acts through the HTTP routes, on Base UI | Proposed |
 | [0037](0037-the-console-acts-through-the-http-routes-on-base-ui.md) | The console acts through the HTTP routes, on Base UI | Accepted — not yet implemented |
+| [0038](0038-the-warm-pool-learns-its-kinds-from-leases-and-boots-for-every-queued-request.md) | The warm pool learns its kinds from leases, and boots for every queued request | Accepted — not yet implemented |

e2e/console/leases.spec.ts

@@ -446,7 +446,7 @@ test.describe("the leases page", () => {
       const title = await boxOf(page.getByRole("heading", { level: 1, name: "Leases" }));
       const chips = await boxOf(page.getByRole("group", { name: "Filter leases" }));
       const search = await boxOf(page.getByRole("searchbox", { name: "Search leases" }));
-      const table = await boxOf(page.locator("main table"));
+      const table = await boxOf(page.locator("main .table-card"));
 
       expect(chips.x).toBeCloseTo(title.x, 0);
       expect(search.x).toBeGreaterThan(chips.x + chips.width);

e2e/console/overview.spec.ts

@@ -101,7 +101,7 @@
 }
 
 async function tablesOf(page: Page): Promise<readonly (readonly string[])[]> {
-  const tables = page.locator("#main details.chart-data");
+  const tables = page.locator("#main table.chart-data");
   const count = await tables.count();
   return Promise.all(
     Array.from({ length: count }, (_, index) =>
@@ -248,7 +248,7 @@
       await expect.poll(() => tileText(page, "Ending soon")).toBe("Ending soon | 0 | under 5 min");
       await expect(page.getByRole("region", { name: "Leases held" })).toBeVisible();
       await expect(page.getByRole("region", { name: "Requests in the queue" })).toBeVisible();
-      await expect(page.locator("#main details.chart-data")).toHaveCount(2);
+      await expect(page.locator("#main table.chart-data")).toHaveCount(2);
       await expect(page.getByRole("region", { name: "Activity" })).toHaveCount(0);
     } finally {
       await host.dispose();
@@ -308,7 +308,7 @@
 }
 
 test.describe("the Overview's Inbox lines", () => {
-  test("an empty Inbox shows Nothing needs you and no Needs you panel; a disconnected worker shows the panel with that item first, and All in Inbox (1)", async ({
+  test("an empty Inbox shows Nothing needs you in the Needs you panel; a disconnected worker shows the panel with that item first, and All in Inbox (1)", async ({
     page,
   }) => {
     const fleet = await startFleet([
@@ -317,8 +317,9 @@
     ]);
     try {
       await openOverview(page, fleet.gateway);
-      await expect(page.getByText("Nothing needs you")).toBeVisible();
-      await expect(page.getByRole("heading", { name: "Needs you" })).toHaveCount(0);
+      await expect(
+        page.getByRole("region", { name: "Needs you" }).getByText("Nothing needs you"),
+      ).toBeVisible();
 
       await (fleet.workers[1] as RunningDaemon).stop();
       await waitFor(
@@ -477,7 +478,7 @@
       await page.route(
         (url) => url.pathname === "/v1/leases",
         async (route: Route) => {
           const response = await route.fetch();
           const now = new Date(response.headers().date ?? "").getTime();
           const { leases } = (await response.json()) as {
             leases: { id: string; ttlDeadline: number }[];