You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This commit was created on GitHub.com and signed with GitHub’s verified signature.
Added
A typed repair for PLAY0471 removes an event id that only repeats the event's own name (#299)
Renaming an event through the workspace or MCP pins the previous name with id "<old name>" by default, so stored events keep their identity. Setting eventNeverPersisted skips the pin and drops a redundant one, renaming back removes the pin, and all generations of an event keep the same identity (#299)
An explicit refactoring, available through MCP as propose-extract-inline-event, moves an inline produces event into a standalone event in its slice. The event keeps its identity, description, documentation, tags and comments, and the executable model is unchanged (#299)
A typed repair for PLAY0469 on an inline event removes the identifier copied into its payload. It is marked as a change to the event contract, is never part of a bulk fix, and is not offered when anything else uses the event (#299)
Changed
Renaming an event also updates on event triggers in screen behaviors and released by in constraints
The diagnostics documentation explains why PLAY0470 has no automatic repair: the destination of a plain production cannot be chosen safely for you