Correlated decoding of logical algorithms with transversal gates | Synapse