Automaton deployed to a lattice for supervising declarative application deployments - View it on GitHub