← Four-qubit error-detecting codeEntry facetDerivations & guidesSelf-contained Level-2 arguments and worked explanations.Four-qubit code — Level-2 mapDetection, correction, and erasure side informationLogical operations and realization boundariesRepresentations, variants, and identity boundariesStabilizer, logical basis, and exact distance