Postselection on the benchmark

Keeping only one outcome $(t,s)$ gives the selective recovered map

Its trace is $1/4$, not one. All four corrected histories together give deterministic recovery.

The peak-one attainment programme is logical readout followed by preparation. It has recovery error $1/2$; it is not an exact subsystem decoder merely because it implements the corresponding rank-one measurement instrument.