Pulumi could avoid auto-naming and still have zero-downtime resource updates (where zero-downtime, I guess, here, means that a resource is never completely unavailable).