← Quantum Reed–Muller codeEntry facetDerivations & guidesSelf-contained Level-2 arguments and worked explanations.Perfect syndromes versus circuit decodingQuantum Reed–Muller `[[15,1,3]]` — Level-2 mapDistillation, switching, and realization ledgerLogical quotient and sector distancesFrom punctured Boolean evaluations to a CSS blockTriorthogonality and the logical phase convention