Methods, systems and apparatus for quantum error correction. A layered representation of error propagation through quantum error detection circuits is constructed. The layered representation includes multiple line circuit layers that each represent a probability of local detection events in a quantum computing system associated with potential error processes in an execution of a quantum algorithm. To construct the layered representation, potential detection events associated with each potential error process occurring at quantum gates in the quantum circuit are determined. Lines are associated with each potential error process, the lines each connecting a potential detection event associated with the potential error process to another potential detection event associated with the same potential error process or a boundary of the quantum circuit. Similar lines are merged and used to construct unique line circuit layers. The layered representation is transmitted to the quantum computing system prior to execution of the quantum algorithm.