Analytical Foundations and the Shadow Theorem for Resilient Distributed Robotics | Synapse