Correlated Decoding of Logical Algorithms with Transversal Gates | Synapse