{
 "about": "Refusals by the engine under test that a run accepts, each with the words it must give; tools/corpus.py writes this file from the reader's rule and its list, and a run checks it against them. Any other refusal, crash or time-out of the engine under test fails the run. must: refuse (accepting fails the run) or may (a refusal with these words is recorded as one).",
 "refusals": [
  {
   "entry": "qpe_t6_third",
   "engine": "wai.exact",
   "must": "refuse",
   "text": "[Q500]",
   "reason": "an angle no grid of 2^32 holds within 10^-14 of a turn"
  },
  {
   "entry": "qpe_t10_third",
   "engine": "wai.exact",
   "must": "refuse",
   "text": "[Q500]",
   "reason": "an angle no grid of 2^32 holds within 10^-14 of a turn"
  },
  {
   "entry": "rotations_n6",
   "engine": "wai.exact",
   "must": "refuse",
   "text": "[Q500]",
   "reason": "an angle no grid of 2^32 holds within 10^-14 of a turn"
  },
  {
   "entry": "rotations_n10",
   "engine": "wai.exact",
   "must": "refuse",
   "text": "[Q500]",
   "reason": "an angle no grid of 2^32 holds within 10^-14 of a turn"
  },
  {
   "entry": "rotations_n12",
   "engine": "wai.exact",
   "must": "refuse",
   "text": "[Q500]",
   "reason": "an angle no grid of 2^32 holds within 10^-14 of a turn"
  },
  {
   "entry": "below_grid_k33",
   "engine": "wai.exact",
   "must": "refuse",
   "text": "[Q500]",
   "reason": "an angle no grid of 2^32 holds within 10^-14 of a turn"
  },
  {
   "entry": "below_grid_k40",
   "engine": "wai.exact",
   "must": "refuse",
   "text": "[Q500]",
   "reason": "an angle no grid of 2^32 holds within 10^-14 of a turn"
  },
  {
   "entry": "tiny_radians",
   "engine": "wai.exact",
   "must": "refuse",
   "text": "[Q500]",
   "reason": "an angle no grid of 2^32 holds within 10^-14 of a turn"
  },
  {
   "entry": "rotations_n18",
   "engine": "wai.exact",
   "must": "refuse",
   "text": "[Q500]",
   "reason": "an angle no grid of 2^32 holds within 10^-14 of a turn"
  },
  {
   "entry": "qec_refused_channel_with_no_independent_form",
   "engine": "wai.qec",
   "must": "refuse",
   "text": "no form as independent",
   "reason": "a Pauli channel no independent flips can give is refused, never approximated"
  },
  {
   "entry": "qec_refused_random_detector",
   "engine": "wai.qec",
   "must": "refuse",
   "text": "is not deterministic",
   "reason": "a detector that is random without noise is no detector"
  }
 ]
}