Description

This event is emitted when a user changes the display name of an existing workspace. The event captures only the new name and timestamp, as workspace identity remains immutable.

Business Rules

• Workspace must exist before renaming
• New name replaces the previous name entirely
• Timestamp is captured at the boundary

Given-When-Then

Given a workspace exists, When the user renames the workspace, Then WorkspaceRenamed is recorded with the new name.