Abstract: We introduce the spanning tree matching (STM) decoder for surface codes, which guarantees the error correction capability up to the code’s designed ...