{
 "format": "wai.formats-conformance/1",
 "about": "Programs in other formats, each with what the engine must do with it: QIR modules (base and adaptive profiles) and jeff modules read, with the program each reads to and the refusals with their codes and places; OpenQASM sources written to each format and read back. jeff/upstream/ holds the jeff project's own structured benchmarks and examples, unchanged (Apache-2.0); the QIR specification's two example programs are its own (MIT).",
 "expectations": {
  "refused": "reading refuses the module with this code; `line` is the QIR line it names, `at` a phrase of where in a jeff module (a function and an operation)",
  "notes": "the codes of every warning and note the reader gives, sorted (none when empty)",
  "profile": "the QIR profile it is read under",
  "dynamic": "whether the program read measures in the middle, resets or branches",
  "qubits": "the qubits of the program read",
  "reference": "(beside expect) an OpenQASM program the reading must be the same circuit as, by the equivalence ladder; `how` the check that must decide it",
  "exact": "the bit-exact method takes the program read",
  "outcomes": "the outcomes 512 shots give (seed 7), every one of them and no other",
  "equal_bits": "pairs of bits equal in every outcome",
  "round_trip": "written back to its format and read again, the two readings the same by the ladder (or by every outcome's probability, for a program that branches)",
  "writes": "converted to each format named, the output read back and held to the program: the same (`how` the check that decides it), under a `profile`, with these `notes`, its bytes' BLAKE3 for QIR, or `refused` with a code (`profile_asked` asks for a profile)"
 },
 "cases": [
  {
   "file": "qir/bell_base.ll",
   "format": "qir",
   "covers": [
    "the base profile's own example",
    "output records with labels"
   ],
   "reference": "qir/bell.ref.qasm",
   "expect": {
    "profile": "base",
    "notes": [],
    "how": "tableau",
    "outcomes": [
     "00",
     "11"
    ],
    "round_trip": true
   }
  },
  {
   "file": "qir/every_intrinsic.ll",
   "format": "qir",
   "covers": [
    "every intrinsic the reader takes",
    "angles in decimal, with an exponent and in hex",
    "__adj forms"
   ],
   "reference": "qir/every_intrinsic.ref.qasm",
   "expect": {
    "profile": "base",
    "notes": [
     "Q709"
    ],
    "how": "exact",
    "round_trip": true
   }
  },
  {
   "file": "qir/clifford_t.ll",
   "format": "qir",
   "covers": [
    "a Clifford+T module on the bit-exact method",
    "pi/4 as its exact hex double"
   ],
   "reference": "qir/clifford_t.ref.qasm",
   "expect": {
    "profile": "base",
    "notes": [],
    "how": "exact",
    "exact": true,
    "round_trip": true
   }
  },
  {
   "file": "qir/qft3_typed.ll",
   "format": "qir",
   "covers": [
    "QIR 1.0 with typed pointers, from the crate's earlier writer",
    "controlled phases as rz and cnot"
   ],
   "reference": "qir/qft3_typed.ref.qasm",
   "expect": {
    "profile": "base",
    "notes": [],
    "how": "exact",
    "exact": true,
    "round_trip": true
   }
  },
  {
   "file": "qir/teleport_chain.ll",
   "format": "qir",
   "covers": [
    "the adaptive profile's own example",
    "measurements in the middle, resets, forward branches on results"
   ],
   "expect": {
    "profile": "adaptive",
    "notes": [],
    "dynamic": true,
    "qubits": 6,
    "equal_bits": [
     [
      4,
      5
     ]
    ],
    "round_trip": true
   }
  },
  {
   "file": "qir/computed.ll",
   "format": "qir",
   "covers": [
    "float computation the flags declare, computed on reading",
    "i1 logic on results as a condition"
   ],
   "expect": {
    "profile": "adaptive",
    "notes": [
     "Q709"
    ],
    "dynamic": true,
    "outcomes": [
     "001",
     "010",
     "100",
     "111"
    ],
    "round_trip": true
   }
  },
  {
   "file": "qir/no_profile.ll",
   "format": "qir",
   "covers": [
    "a module that names no profile"
   ],
   "expect": {
    "profile": "base",
    "notes": [
     "Q702"
    ],
    "outcomes": [
     "0",
     "1"
    ]
   }
  },
  {
   "file": "qir/refuse/base_branch.ll",
   "format": "qir",
   "covers": [
    "reading a result under the base profile"
   ],
   "expect": {
    "refused": "Q704",
    "line": 12
   }
  },
  {
   "file": "qir/refuse/base_gate_after_measure.ll",
   "format": "qir",
   "covers": [
    "a gate after a measurement under the base profile"
   ],
   "expect": {
    "refused": "Q704",
    "line": 11
   }
  },
  {
   "file": "qir/refuse/undeclared_float.ll",
   "format": "qir",
   "covers": [
    "float computation without its module flag"
   ],
   "expect": {
    "refused": "Q704",
    "line": 6
   }
  },
  {
   "file": "qir/refuse/loop_undeclared.ll",
   "format": "qir",
   "covers": [
    "a loop without backwards_branching"
   ],
   "expect": {
    "refused": "Q704",
    "line": 10
   }
  },
  {
   "file": "qir/refuse/loop_declared.ll",
   "format": "qir",
   "covers": [
    "a loop, declared"
   ],
   "expect": {
    "refused": "Q705",
    "line": 10
   }
  },
  {
   "file": "qir/refuse/switch_declared.ll",
   "format": "qir",
   "covers": [
    "switch, declared"
   ],
   "expect": {
    "refused": "Q705",
    "line": 8
   }
  },
  {
   "file": "qir/refuse/dynamic_qubits.ll",
   "format": "qir",
   "covers": [
    "dynamic qubit management, declared"
   ],
   "expect": {
    "refused": "Q705",
    "line": 6
   }
  },
  {
   "file": "qir/refuse/stale_read.ll",
   "format": "qir",
   "covers": [
    "a result read, measured again, then branched on"
   ],
   "expect": {
    "refused": "Q708",
    "line": 9
   }
  },
  {
   "file": "qir/refuse/unknown_intrinsic.ll",
   "format": "qir",
   "covers": [
    "an intrinsic the reader does not know"
   ],
   "expect": {
    "refused": "Q706",
    "line": 8
   }
  },
  {
   "file": "qir/refuse/qubit_past_count.ll",
   "format": "qir",
   "covers": [
    "a qubit past required_num_qubits"
   ],
   "expect": {
    "refused": "Q707",
    "line": 8
   }
  },
  {
   "file": "qir/refuse/unknown_profile.ll",
   "format": "qir",
   "covers": [
    "a profile the reader does not take"
   ],
   "expect": {
    "refused": "Q703",
    "line": 3
   }
  },
  {
   "file": "qir/refuse/major_version.ll",
   "format": "qir",
   "covers": [
    "QIR 3"
   ],
   "expect": {
    "refused": "Q701"
   }
  },
  {
   "file": "qir/refuse/not_llvm.ll",
   "format": "qir",
   "covers": [
    "not LLVM text"
   ],
   "expect": {
    "refused": "Q700"
   }
  },
  {
   "file": "jeff/controls_after_targets.jeff",
   "format": "jeff",
   "covers": [
    "well-known gates, controls after targets as the schema orders them",
    "adjoint and power",
    "r1, u and gphase under a control"
   ],
   "reference": "jeff/controls_after_targets.ref.qasm",
   "expect": {
    "notes": [
     "Q709"
    ],
    "how": "exact",
    "round_trip": true
   }
  },
  {
   "file": "jeff/custom_named.jeff",
   "format": "jeff",
   "covers": [
    "custom gates named as standard gates"
   ],
   "reference": "jeff/custom_named.ref.qasm",
   "expect": {
    "notes": [
     "Q709",
     "Q711"
    ],
    "how": "exact",
    "round_trip": true
   }
  },
  {
   "file": "jeff/pauli_product.jeff",
   "format": "jeff",
   "covers": [
    "a Pauli-product rotation exp(iθP) on three qubits"
   ],
   "reference": "jeff/pauli_product.ref.qasm",
   "expect": {
    "notes": [
     "Q709",
     "Q712"
    ],
    "how": "exact",
    "round_trip": true
   }
  },
  {
   "file": "jeff/refuse/custom_unknown.jeff",
   "format": "jeff",
   "covers": [
    "a custom gate the library does not name"
   ],
   "expect": {
    "refused": "Q710",
    "at": "operation 1"
   }
  },
  {
   "file": "jeff/refuse/custom_wrong_qubits.jeff",
   "format": "jeff",
   "covers": [
    "a library name with the wrong qubits"
   ],
   "expect": {
    "refused": "Q710",
    "at": "operation 1"
   }
  },
  {
   "file": "jeff/refuse/qubit_twice.jeff",
   "format": "jeff",
   "covers": [
    "a qubit used twice"
   ],
   "expect": {
    "refused": "Q713",
    "at": "operation 2"
   }
  },
  {
   "file": "jeff/refuse/old_version.jeff",
   "format": "jeff",
   "covers": [
    "jeff 0.1"
   ],
   "expect": {
    "refused": "Q701"
   }
  },
  {
   "file": "jeff/refuse/angle_from_measurement.jeff",
   "format": "jeff",
   "covers": [
    "an angle computed from a measured bit"
   ],
   "expect": {
    "refused": "Q714",
    "at": "operation 4"
   }
  },
  {
   "file": "jeff/refuse/truncated.jeff",
   "format": "jeff",
   "covers": [
    "a module cut short"
   ],
   "expect": {
    "refused": "Q700"
   }
  },
  {
   "file": "jeff/refuse/register_too_large.jeff",
   "format": "jeff",
   "covers": [
    "a register of 2^32 - 1 qubits, refused before it is allocated"
   ],
   "expect": {
    "refused": "Q111",
    "at": "operation 1"
   }
  },
  {
   "file": "jeff/upstream/ghz-linear_3.jeff",
   "format": "jeff",
   "covers": [
    "a for loop over a register's indices, unrolled",
    "bits returned as an array"
   ],
   "reference": "jeff/upstream/ghz-linear_3.ref.qasm",
   "expect": {
    "notes": [
     "Q715"
    ],
    "how": "tableau",
    "outcomes": [
     "000",
     "111"
    ],
    "round_trip": true
   }
  },
  {
   "file": "jeff/upstream/ghz-star_3.jeff",
   "format": "jeff",
   "covers": [
    "a for loop, unrolled"
   ],
   "reference": "jeff/upstream/ghz-star_3.ref.qasm",
   "expect": {
    "notes": [
     "Q715"
    ],
    "how": "tableau",
    "outcomes": [
     "000",
     "111"
    ],
    "round_trip": true
   }
  },
  {
   "file": "jeff/upstream/qft_3.jeff",
   "format": "jeff",
   "covers": [
    "nested loops with an angle carried as loop state",
    "bits returned in reverse order"
   ],
   "reference": "jeff/upstream/qft_3.ref.qasm",
   "expect": {
    "notes": [
     "Q715"
    ],
    "how": "exact",
    "round_trip": true
   }
  },
  {
   "file": "jeff/upstream/grover_3.jeff",
   "format": "jeff",
   "covers": [
    "Grover's search on two qubits, one iteration"
   ],
   "expect": {
    "notes": [
     "Q715"
    ],
    "outcomes": [
     "11"
    ],
    "round_trip": true
   }
  },
  {
   "file": "jeff/upstream/teleportation.jeff",
   "format": "jeff",
   "covers": [
    "a switch on a measured bit, written as a condition",
    "written to QIR's adaptive profile; jeff writes no branch"
   ],
   "expect": {
    "notes": [
     "Q715"
    ],
    "dynamic": true,
    "outcomes": [
     "000",
     "010",
     "100",
     "110"
    ],
    "writes": [
     {
      "to": "qir",
      "profile": "adaptive",
      "notes": [
       "Q715"
      ]
     },
     {
      "to": "jeff",
      "refused": "Q720"
     }
    ]
   }
  },
  {
   "file": "jeff/upstream/iqft_3.jeff",
   "format": "jeff",
   "covers": [
    "a qubit reused after a measurement and a reset",
    "switches on measured bits",
    "written to QIR's adaptive profile; jeff writes no branch"
   ],
   "expect": {
    "notes": [
     "Q715"
    ],
    "dynamic": true,
    "writes": [
     {
      "to": "qir",
      "profile": "adaptive",
      "notes": [
       "Q715"
      ]
     },
     {
      "to": "jeff",
      "refused": "Q720"
     }
    ]
   }
  },
  {
   "file": "jeff/upstream/iqpe_3.jeff",
   "format": "jeff",
   "covers": [
    "a qubit reused after a measurement and a reset",
    "switches on measured bits",
    "written to QIR's adaptive profile; jeff writes no branch"
   ],
   "expect": {
    "notes": [
     "Q715"
    ],
    "dynamic": true,
    "writes": [
     {
      "to": "qir",
      "profile": "adaptive",
      "notes": [
       "Q715"
      ]
     },
     {
      "to": "jeff",
      "refused": "Q720"
     }
    ]
   }
  },
  {
   "file": "jeff/upstream/qpe_3.jeff",
   "format": "jeff",
   "covers": [
    "structured loops and registers, read and written back"
   ],
   "expect": {
    "notes": [
     "Q715"
    ],
    "dynamic": false,
    "round_trip": true
   }
  },
  {
   "file": "jeff/upstream/multiplexer_3.jeff",
   "format": "jeff",
   "covers": [
    "structured loops and registers, read and written back"
   ],
   "expect": {
    "notes": [
     "Q715"
    ],
    "dynamic": false,
    "round_trip": true
   }
  },
  {
   "file": "jeff/upstream/qft-adder-classical_3.jeff",
   "format": "jeff",
   "covers": [
    "structured loops and registers, read and written back"
   ],
   "expect": {
    "notes": [
     "Q715"
    ],
    "dynamic": false,
    "round_trip": true
   }
  },
  {
   "file": "jeff/upstream/qft-adder-quantum_3.jeff",
   "format": "jeff",
   "covers": [
    "structured loops and registers, read and written back"
   ],
   "expect": {
    "notes": [
     "Q715"
    ],
    "dynamic": false,
    "round_trip": true
   }
  },
  {
   "file": "jeff/upstream/controlled-multiplication-modulo-n_3.jeff",
   "format": "jeff",
   "covers": [
    "structured loops and registers, read and written back"
   ],
   "expect": {
    "notes": [
     "Q715"
    ],
    "dynamic": false,
    "round_trip": true
   }
  },
  {
   "file": "jeff/upstream/repeat-until-success_3.jeff",
   "format": "jeff",
   "covers": [
    "a while loop on a measurement"
   ],
   "expect": {
    "refused": "Q714",
    "at": "operation 10"
   }
  },
  {
   "file": "jeff/upstream/example-entangled-qubits.jeff",
   "format": "jeff",
   "covers": [
    "custom gates named as standard gates, a control given after its target"
   ],
   "reference": "jeff/upstream/example-entangled-qubits.ref.qasm",
   "expect": {
    "notes": [
     "Q711"
    ],
    "how": "tableau",
    "round_trip": true
   }
  },
  {
   "file": "jeff/upstream/example-qubits.jeff",
   "format": "jeff",
   "covers": [
    "an entry point that takes qubits"
   ],
   "reference": "jeff/upstream/example-qubits.ref.qasm",
   "expect": {
    "notes": [
     "Q709",
     "Q711",
     "Q716"
    ],
    "how": "exact",
    "round_trip": true
   }
  },
  {
   "file": "jeff/upstream/example-entangled-calls.jeff",
   "format": "jeff",
   "covers": [
    "arithmetic on measured bits"
   ],
   "expect": {
    "refused": "Q714",
    "at": "operation 29"
   }
  },
  {
   "file": "jeff/upstream/example-optimisation.jeff",
   "format": "jeff",
   "covers": [
    "an entry point that takes a classical argument"
   ],
   "expect": {
    "refused": "Q714"
   }
  },
  {
   "file": "jeff/upstream/example-rewrite.jeff",
   "format": "jeff",
   "covers": [
    "a register's slot extracted twice"
   ],
   "expect": {
    "refused": "Q713",
    "at": "operation 5"
   }
  },
  {
   "file": "jeff/upstream/example-simple.jeff",
   "format": "jeff",
   "covers": [
    "a custom gate the library does not name"
   ],
   "expect": {
    "refused": "Q710",
    "at": "operation 5"
   }
  },
  {
   "file": "qasm/every_gate.qasm",
   "format": "qasm",
   "covers": [
    "every gate of the language, written to each format"
   ],
   "expect": {
    "writes": [
     {
      "to": "qir",
      "profile": "base",
      "how": "exact",
      "blake3": "1ec96352d855778f5a41c09d96fd0d260632663f03213e225255f074e8a4c022"
     },
     {
      "to": "jeff",
      "how": "exact"
     }
    ]
   }
  },
  {
   "file": "qasm/clifford_t.qasm",
   "format": "qasm",
   "covers": [
    "Clifford+T written as Clifford+T intrinsics"
   ],
   "expect": {
    "writes": [
     {
      "to": "qir",
      "profile": "base",
      "how": "exact",
      "blake3": "967659b446471c62697f49df341972a45f47bef59d3b2fe26bfefc6670f6a50d"
     },
     {
      "to": "jeff",
      "how": "exact"
     }
    ]
   }
  },
  {
   "file": "qasm/teleport.qasm",
   "format": "qasm",
   "covers": [
    "a branching program under the adaptive profile",
    "jeff writes no branch"
   ],
   "expect": {
    "dynamic": true,
    "outcomes": [
     "100",
     "101",
     "110",
     "111"
    ],
    "writes": [
     {
      "to": "qir",
      "profile": "adaptive",
      "blake3": "4ac7bea67cb849aac1093b126a2da4a1edc5240176b6d0f42579760713d3c36f"
     },
     {
      "to": "qir",
      "profile_asked": "base",
      "refused": "Q720"
     },
     {
      "to": "jeff",
      "refused": "Q720"
     }
    ]
   }
  },
  {
   "file": "qasm/measure_reset.qasm",
   "format": "qasm",
   "covers": [
    "a measurement in the middle and a reset"
   ],
   "expect": {
    "dynamic": true,
    "outcomes": [
     "010",
     "111"
    ],
    "writes": [
     {
      "to": "jeff"
     },
     {
      "to": "qir",
      "profile": "adaptive",
      "blake3": "fcb9b8d9517b3e76ae4f0a800222ca1624cc59d6a594f51781515d661bd169c2"
     }
    ]
   }
  },
  {
   "file": "qasm/timing.qasm",
   "format": "qasm",
   "covers": [
    "timing each format leaves out, and says so"
   ],
   "expect": {
    "outcomes": [
     "00",
     "11"
    ],
    "writes": [
     {
      "to": "qir",
      "profile": "base",
      "notes": [
       "Q721"
      ]
     },
     {
      "to": "jeff",
      "notes": [
       "Q721"
      ]
     }
    ]
   }
  }
 ]
}