请求新增"删除会话":除归档外彻底清除会话及其持久化产物

[fengyuzhong666666-pixel]

需求

目前会话只能"归档"(archiveSession 永不触碰日志文件,刻意非破坏),误建/空会话无法物理删除。想请官方支持彻底删除会话:在界面移除会话的同时清理其日志、缓存与注册表记录。

现状与痛点

• GUI 会话菜单只有:重命名 / 分支 / 归档会话。
• 想彻底删除只能手工编辑 $DSH_HOME(storages/workspace.json、session_projcache)并停服后删除 sessions 目录,有与运行中服务不一致、产生幽灵记录的风险。
• 参考位置:packages/client/ui-workspace 的会话菜单(仅 archive)、packages/workspace 注册表(archiveSession)。

期望

1. 会话菜单新增「删除会话」,二次确认后从列表移除且刷新/重启不再出现。
2. 服务端新增删除 RPC(如 workspace.deleteSession),删除范围 = 会话日志目录 + 投影缓存行 + workspace.json 的 sessionIds 记录。
3. 与运行中内存注册表保持一致,避免服务落盘把已删 id 写回(可复用 workspace delete 的 pendingMutation 机制)。
4. 归档语义保持不变。

补充

若你们更希望我先按仓库内 ISSUE_TEMPLATE/feature.md 提交为正式 Feature Issue,等 Issues 对公众开放后我可以再补一份。