Summary

Fix the TUI $ skill popup so personal skills appear reliably when Codex is connected to a remote app-server.

What changed

• load skills on TUI startup with an explicit forced refresh
• refresh skills using the actual current cwd instead of an empty cwds list
• resync an already-open $ popup when skill mentions are updated
• add a regression test for refreshing an open mention popup

Root cause

The TUI was sometimes sending list_skills with cwds: [] after SessionConfigured.

For the launchd app-server flow, the server resolved that empty cwd list to its own process cwd, which was /. The response therefore came back tagged with cwd: "/", and the TUI later filtered skills by exact cwd match against the actual project cwd such as /Users/starr/code/dream. That dropped all personal skills from the mention list, so $ only showed plugins/apps.

Verification

Built successfully with remote cache disabled:

cd /Users/starr/code/codex-worktrees/starr-skill-popup-20260413130509
bazel --output_base=/tmp/codex-bazel-verify-starr-skill-popup build //codex-rs/cli:codex --noremote_accept_cached --noremote_upload_local_results --disk_cache=

Also verified interactively in a PTY against the live app-server at ws://127.0.0.1:4511:

• launched the built TUI
• typed $
• confirmed personal skills appeared in the popup, including entries such as Applied Devbox, CI Debug, Channel Summarization, Codex PR Review, and Daily Digest

Files changed

• codex-rs/tui/src/app.rs
• codex-rs/tui/src/chatwidget.rs
• codex-rs/tui/src/bottom_pane/chat_composer.rs