Subsystem 1b-iii: server removal & account disconnect (cascade, failover, UI) - #7

Merged

HandyS11 merged 14 commits into

feat/removal-lifecycle

Jun 15, 2026

Commits on Jun 15, 2026

feat(persistence): cascade ConnectionState on RustServer delete

HandyS11
and
claude
committed
feat(persistence): remove/list a user's credentials across a guild

HandyS11
and
claude
committed
feat(abstractions): add ServerCredentialsChangedEvent
HandyS11
committed
feat(pairing): expose StopListenerAsync on the supervisor

HandyS11
and
claude
committed
feat(pairing): account disconnect service (disable + drop creds + notify)

HandyS11
and
claude
committed
feat(workspace): public IServerWorkspaceRemover seam
HandyS11
committed
feat(connections): server removal orchestrator

HandyS11
and
claude
committed
feat(connections): failover on ServerCredentialsChangedEvent

HandyS11
and
claude
committed
feat(workspace): refresh #info on ServerCredentialsChangedEvent

HandyS11
and
claude
committed
feat(workspace): render disconnect + remove-server buttons (EN/FR)

HandyS11
and
claude
committed
feat(pairing): #setup disconnect-account button with confirm
HandyS11
committed
feat(connections): #info remove-server button with confirm
HandyS11
committed
style: jb reformat for 1b-iii
HandyS11
committed
fix(1b-iii): address PR review (resilient consumers, set-based delete, DI forwarding, migration orphan guard)
HandyS11
committed