Cellular-Automaton Decoders with Provable Thresholds for Topological Codes | Synapse