Search the dez rail by workspace, session, kind, or directory

[Oreoro]

Summary

The rail is dez's only supervision surface, and it lists every workspace group plus every live session under it. That stops being scannable well before dez's own multi-project, multi-session workflow does. v0.6 had a filter here and the port dropped it; this restores it.

• A single-line editor under the rail header narrows the rail to the groups and rows whose text matches, and highlights the matched characters where they sit.
• A session is searched by what its row shows plus the two things it does not: the agent kind behind the row's actor label, and the directory it was started in.
• A group whose own name matched keeps all of its rows, so asking for a workspace answers with that workspace rather than only with its sessions that happen to match.
• Attention-first ordering and the header's Needs-input rollup are computed over the filtered rows, so the count beside "Workspaces" always describes what is on screen.
• "No workspaces" and "nothing matched" get different empty-state copy, because they are fixed by different user actions.

Why not the fuzzy crate

Matching is a synchronous subsequence scan, ported from v0.6's fuzzy_match_positions and widened from contiguous substring to subsequence. It is deliberately not fuzzy::match_strings, which is async: the rail rebuilds every row on each render, so a background pass would race its own keystrokes and can land out of order, and the rail holds tens of rows rather than thousands. One forward scan per field is cheaper than the machinery to cancel and reorder one.

The scan prefers a continued run, then a word start, so fps highlights a readable span in "Fix bug in panel sidebar" instead of scattered characters. Offsets are always UTF-8 character boundaries, which is what keeps a multi-byte title from tripping HighlightedLabel's debug assertion.

Keyboard

cmd-f / ctrl-f focuses the field via a new MultiWorkspace::focus_sidebar_search, which opens a closed rail first. It is bound in the Workspace key context rather than globally, so an open editor keeps its own cmd-f — the same scoping v0.6 used.

Sidebar gains a focus_search with a default that delegates to prepare_for_focus, so a sidebar without a search field is unaffected.

Rules

• Ports behavior, not the old file: no agent_threads API additions, no state-machine change (MERGE.md §2.2).
• Design-doc box ticked in docs/dez-workspace-shell.md, one SYNC-LEDGER.md line, two FORK.md rows.
• 15 unit tests in crates/dez_sidebar/src/filter.rs cover the matcher: substring, subsequence, case in both directions, run-vs-loose preference, out-of-order rejection, repeated characters, non-ASCII boundaries, hidden-field admission, and blank-query normalization.

Verification

Not built locally by request — CI is the build. cargo fmt was run with rustfmt directly on the touched files (parse-clean). Expect clippy and the tests job to be the real gate.

Suggested .rules additions

• The dez rail rebuilds every row during render, so anything the rail filters on must match synchronously. fuzzy::match_strings is async and will race its own keystrokes there; a scan in crates/dez_sidebar/src/filter.rs is the pattern.
• DezSidebar::new takes a &mut Window because Editor::single_line needs one. Constructors in this repo that build an Editor cannot be called from a plain &mut App — check before assuming a signature can stay windowless.

Release Notes:

• Added a search field to the workspace rail that filters by workspace name, session title, agent kind, and working directory, highlighting matches in place. Bound to cmd-f / ctrl-f.

[coderabbitai]

Important

• 🔍 Trigger review

This repository does not receive automatic reviews because it has fewer than 10 stars.

⚙️ Run configuration

• Configuration used: defaults
• Review profile: CHILL
• Plan: Advanced
• Run ID: 44b55227-e342-4b0f-b55f-85f946715845

• Autopilot · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

---

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

• X
• Mastodon
• Reddit
• LinkedIn

_{Comment @coderabbitai help to get the list of available commands.}

[graphify-labs]

Graphify reviewed this change.

Worth a look — the grounded gate found no coupling regressions or blocking issues, but 3 advisory finding(s) below merit a look before merge.

---

Graphify review — findings

Adds a search field under the rail header that filters workspaces and sessions by name, title, agent kind, or working directory, highlighting matched characters in place while keeping attention-first ordering. Matching is a synchronous subsequence scan that prefers continuing a run, then a word start. A whitespace-only query counts as no filter, and a group whose own name matches keeps all its rows. cmd-f / ctrl-f in the Workspace context focuses the field via MultiWorkspace::focus_sidebar_search, opening a closed rail first, without stealing find from an open editor.

Worth a look

• Caller passes Option<&mut Window> (already moved) to DezSidebar::new, which now requires &mut Window — crates/dez/src/dez.rs:410 · Escalate · high
  • agreed by 2 of 2 members but NOT verified (no proof, no reproducing execution) — consensus is not a verdict; needs human review
• Greedy word-start preference makes match_positions reject candidates that contain the query — crates/dez_sidebar/src/filter.rs:55 · Escalate · medium
  • agreed by 2 of 2 members but NOT verified (no proof, no reproducing execution) — consensus is not a verdict; needs human review
• Group hidden when only a multi-root workspace label matches the search — crates/dez_sidebar/src/sidebar.rs · Escalate · medium
  • agreed by 2 of 2 members but NOT verified (no proof, no reproducing execution) — consensus is not a verdict; needs human review

Review partial — this diff was larger than one review pass covers, so later files were not reviewed; some findings may be missing.

Analysis details — impact, health, verification

Impact & health

Graphify review

Impact — 1307 functions depend on the 748 functions this change touches.

Health — grade A; 10 existing hotspot(s) in the area this change touches (pre-existing, not introduced here):

• init() — 52 callers, 3 callees (high)
• init_test() — 38 callers, 4 callees (high)
• spawn_live_codex_thread() — 20 callers, 6 callees (high)
• init_test_with_editor() — 40 callers, 3 callees (high)
• init_test() — 18 callers, 6 callees (high)
• init_test() — 27 callers, 3 callees (high)
• init() — 10 callers, 8 callees (high)
• init_test() — 10 callers, 7 callees (high)
• …and 2 more

Verification — 1307 functions in the blast radius were not formally verified this run (proofs are advisory here).

Gate & verification

graphify gate

PASS — objectively clean (no health regressions, tests not run — proofs not run this pass (advisory)). Grounded, not self-assessed.

Advisory (not blocking):

• verification_scope: 1303 function(s) in the blast radius were not formally verified this run

Docs that may be stale (advisory)

• .factory/commands/opsx-propose.md § (document) (lines 1-105): references changed symbols new
• crates/agent_control_skill/skills/dezctl/SKILL.md § dez control (lines 8-51): references changed symbols new
• crates/gpui/README.md § Getting Started (lines 6-18): references changed symbols new
• crates/inspector_ui/README.md § Cleaner lifecycle for inspector state viewers / editors (lines 101-112): references changed symbols new
• crates/terminal_view/README.md § Design Notes (lines 3-12): references changed symbols new
• crates/vim/README.md § Testing against Neovim (lines 7-33): references changed symbols new
• docs/src/command-palette.md § Command Palette (lines 6-14): references changed symbols new
• docs/src/debugger.md § Configuration (lines 85-111): references changed symbols new
• docs/src/development/glossary.md § State management (lines 31-52): references changed symbols new
• docs/src/development/windows.md § Setting RUSTFLAGS env var breaks builds (lines 126-173): references changed symbols new

…and 10 more.