So the error, represented by an arbitrary operator on \(BB^\star \) : \(\mathcal {O}_{BB^\star }\) , does no damage to the classical information. This is the Knill-Laflamme condition stated for operator algebra error correction with complementary recovery and a center, see Refs. [1]}, [2]} (in this case the center is everything in the code.)
