one improvement: operator doesn't even start doing anything if there's any other CR with Phase=Provision or Phase=Complete.
Race conditions can still occur.

cc Leonardo Rossetti Peter Braun have you had a case like that before?