← Bacon–Shor codeEntry facetDerivations & guidesSelf-contained Level-2 arguments and worked explanations.Bacon–Shor — Level-2 mapDressed distance and the two repetition decodersGauge group, center, and subsystem qubit countGauge measurement and fault-tolerance boundariesOperations, gauge fixing, and variantsRepresentation and realization ledger