SAINTS: Formal Modeling of an Autonomous Synthetic-Identity Infrastructure with Distributed Topology | Synapse