detector(0, 0, 0) D0 detector(1, 0, 0) D1 error[y](0.001) D0 D1 ^ D2 L0 repeat 3 { error(0.002) D0 ^ D1 error[meas](0.003) D0 D2 detector(0, 0, 1) D2 shift_detectors(0, 0, 1) 2 } logical_observable L1