Error correction of transversal controlled-NOT gates for scalable surface code computation | Synapse