Declarative provisioning that converges a provider to a spec