This is a great example — feels very similar to classic lost update problems in distributed systems. The propose/validate/commit cycle makes a lot of sense.

Curious how you're handling this in practice — are all shared state mutations going through that flow, or only critical paths? And does the coordination overhead become a bottleneck as workflows scale?