https://platoaistream.net/plato-data/stabilizer-formalism-for-operator-algebra-quantum-error-correction/