Skip to content

docs(ux-nav): close out spec — flip [active]→[landed] + refresh §1/§4/§5#655

Merged
intendednull merged 1 commit into
mainfrom
docs/ux-nav-spec-closeout
May 22, 2026
Merged

docs(ux-nav): close out spec — flip [active]→[landed] + refresh §1/§4/§5#655
intendednull merged 1 commit into
mainfrom
docs/ux-nav-spec-closeout

Conversation

@intendednull

Copy link
Copy Markdown
Owner

Summary

Audit-and-align pass against docs/specs/2026-03-25-ux-navigation-improvements-design.md found 5 findings, all docs-only spec refreshes:

  1. SettingsTab enum has 5 variants in code (Profile, Server, Roles, Presence, Notifications). Spec listed 3. Updated example + tab listing.
  2. Server context menu has 2 items, not 3 — standalone "Invite" was dropped (reachable from Server settings tab). Documented the omission with rationale.
  3. Quick Peer ID Copy lives in profile-card popover, not as a sidebar icon — Phase 2c consolidated self-profile actions. Rewrote §5.
  4. ServerList was renamed to GroveRail during Phase 1a desktop-shell refactor. Updated §4 implementation note.
  5. leave_server is actor-based, not direct SharedState mutation. Updated the implementation block + added migration note.

Added Date/Status/Implementation plan header per the docs-organization convention (PR #653).

README master index flipped [active][landed].

Test plan

  • No code changes — pure docs PR. CI's docs-only path applies.
  • Spec now describes the realised UX, not the original draft. Each delta cites the phase that introduced it.

🤖 Generated with Claude Code

…ns 1/4/5 to match realised UX

Audit-and-align pass surfaced 5 findings against
docs/specs/2026-03-25-ux-navigation-improvements-design.md:

1. SettingsTab enum has 5 variants in code (Profile, Server, Roles,
   Presence, Notifications); spec listed only the original 3.
   Presence + Notifications were added by Phase 1e/1f. Updated the
   enum example + tab listing to match.

2. Server context menu has 2 items in code (Server Settings, Leave Server),
   not the 3 the spec listed. The standalone "Invite" entry was dropped
   because invite generation is reachable from the Server settings tab.
   Documented the dropped item with the rationale.

3. Quick Peer ID Copy lives in the profile-card popover, not as a sidebar
   icon. Phase 2c consolidated all self-profile actions into the popover
   to keep the always-visible sidebar uncluttered. Rewrote §5 to describe
   the realised shape and note the supersession.

4. `ServerList` was renamed to `GroveRail` during the Phase 1a desktop-shell
   refactor. Updated §4 implementation note.

5. `leave_server` is now actor-based (mutates `server_registry_addr` via
   `willow_actor::state::mutate`); the spec described direct SharedState
   mutation + explicit storage calls. Rewrote the `leave_server()` block
   to describe the actor-pipeline shape and added a migration note.

Added Date/Status/Implementation plan header per the docs-organization
convention (PR #653). README master index flipped [active] → [landed].

Co-Authored-By: Claude Opus 4.7 <noreply@anthropic.com>
@intendednull
intendednull merged commit a36d41c into main May 22, 2026
8 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant