← Surface codeEntry facetDerivations & guidesSelf-contained Level-2 arguments and worked explanations.Surface code — Level-2 mapThe unrotated planar family has distance d=LHGP(rep_L, rep_L) is the unrotated planar surface codeA seam of local checks measures logical paritySyndrome is the boundary of an error chainSurface-code threshold ledger