workspace: preserve worker display names

This commit is contained in:
2026-07-11 17:44:23 +09:00
parent 593d3309d9
commit 88d819591e
3 changed files with 109 additions and 6 deletions
+2 -2
View File
@@ -1,8 +1,8 @@
---
title: 'Preserve requested Worker display names'
state: 'inprogress'
state: 'done'
created_at: '2026-07-11T08:31:24Z'
updated_at: '2026-07-11T08:31:54Z'
updated_at: '2026-07-11T08:44:11Z'
assignee: null
queued_by: 'yoi ticket'
queued_at: '2026-07-11T08:31:54Z'
+31
View File
@@ -39,4 +39,35 @@ Ticket を `yoi ticket` が queued にしました。
State changed to `inprogress`.
---
<!-- event: implementation_report author: hare at: 2026-07-11T08:44:11Z -->
## Implementation report
Fixed Worker display name preservation.
- Browser Worker create now records the sanitized UI display name in Backend worker registry instead of immediately syncing the Runtime worker id label.
- Runtime Worker create API records `requested_worker_name` as display name when provided.
- Later Runtime observation/list sync preserves existing registry display_name and only falls back to Runtime label for never-recorded live Workers.
- Added coverage that a Worker created with empty browser display_name uses the default `Coding Worker` label in Workers list/detail while keeping worker id separate.
Validation:
- cargo test -q -p yoi-workspace-server
- cd web/workspace && deno task check
- cd web/workspace && deno task test
- cargo test -q
- git diff --check
- nix build .#yoi --no-link
---
<!-- event: state_changed author: "yoi ticket" at: 2026-07-11T08:44:11Z from: inprogress to: done reason: cli_state field: state -->
## State changed
State changed to `done`.
---