Names are fixed at mir up --name today. Add rename from the SPA and CLI. Propagation must keep the relay blind and stateless (B2 invariants: blobs ride the agent's live registration; local-wins merge). The design for how a rename reaches the agent (and thus every device) is part of the slice — document it in the PR.
Acceptance: rename on the phone; the new name appears on every device; the relay still sees nothing. Part of #55.
Names are fixed at
mir up --nametoday. Add rename from the SPA and CLI. Propagation must keep the relay blind and stateless (B2 invariants: blobs ride the agent's live registration; local-wins merge). The design for how a rename reaches the agent (and thus every device) is part of the slice — document it in the PR.Acceptance: rename on the phone; the new name appears on every device; the relay still sees nothing. Part of #55.