Agent-centric logic & graph tools for discovering virtual machine closures in promise networks.