{
 "qec_inverted_and_tagged": {
  "reason": "A measurement target inverted, which flips its value and no detection event, and a tag on noise.",
  "text": "R 0 1\nX_ERROR[leak](0.01) 0\nCX 0 1\nM !0 1\nDETECTOR rec[-1] rec[-2]\nOBSERVABLE_INCLUDE(0) rec[-1]\n"
 },
 "qec_measure_flip_noise": {
  "reason": "Measurement flip noise in both bases, and a reset in X.",
  "text": "R 0\nRX 1\nM(0.02) 0\nMX(0.03) 1\nDETECTOR rec[-2]\nDETECTOR rec[-1]\n"
 },
 "qec_depolarize_merge": {
  "reason": "Two channels whose mechanisms have the same symptoms merge by the XOR rule, p1 + p2 - 2 p1 p2.",
  "text": "R 0 1\nDEPOLARIZE1(0.01) 0\nX_ERROR(0.02) 0\nDEPOLARIZE2(0.03) 0 1\nM 0 1\nDETECTOR rec[-2]\nDETECTOR rec[-1]\n"
 },
 "qec_pauli_observable": {
  "reason": "An observable on Pauli targets rather than measurement records.",
  "text": "R 0 1 2\nH 0\nCX 0 1 1 2\nZ_ERROR(0.01) 1\nOBSERVABLE_INCLUDE(0) X0 X1 X2\n"
 },
 "qec_correlated": {
  "reason": "A correlated error, with a Y among its targets: one mechanism with every symptom, and the targets flipping together.",
  "text": "R 0 1 2\nE(0.01) X0 Y1\nE(0.02) X2\nM 0 1 2\nDETECTOR rec[-3]\nDETECTOR rec[-2]\nDETECTOR rec[-1]\n"
 },
 "qec_pauli_channel": {
  "reason": "A general Pauli channel: exclusive outcomes, written as independent flips at the rates that give the same law. The model must match mechanism by mechanism, and every detector's rate must follow it.",
  "text": "R 0\nRX 1\nPAULI_CHANNEL_1(0.01, 0.02, 0.03) 0 1\nM 0\nMX 1\nDETECTOR rec[-2]\nDETECTOR rec[-1]\n"
 },
 "qec_refused_channel_with_no_independent_form": {
  "reason": "A Pauli channel whose exclusive outcomes no independent flips can give (Z's rate would be below zero): it must be refused with its line, never approximated in silence.",
  "text": "R 0\nPAULI_CHANNEL_1(0.1, 0.1, 0) 0\nM 0\nDETECTOR rec[-1]\n"
 },
 "qec_refused_random_detector": {
  "reason": "A detector that is random without noise is no detector: it must be refused.",
  "text": "RX 0\nM 0\nDETECTOR rec[-1]\n"
 }
}