(1) Global lock around ivy resolution (this is just an outstanding bug we usually dodge because of caching / non-concurrence)