{"request":{"qasm":"OPENQASM 3.0;\ninclude \"stdgates.inc\";\nqubit[1] q;\nrx(0.4) q[0];\n","epsilon":1e-6,"level":1,"basis":"clifford_t"},"result":{"ok":true,"options":{"epsilon":1e-6,"level":1,"basis":"clifford_t"},"qasm":"OPENQASM 3.0;\nqubit[1] q;\nbit[1] c;\nh q[0];\ns q[0];\nt q[0];\nh q[0];\ns q[0];\nt q[0];\nh q[0];\nt q[0];\nh q[0];\nt q[0];\nh q[0];\ns q[0];\nt q[0];\nh q[0];\nt q[0];\nh q[0];\ns q[0];\nt q[0];\nh q[0];\nt q[0];\nh q[0];\nt q[0];\nh q[0];\nt q[0];\nh q[0];\nt q[0];\nh q[0];\nt q[0];\nh q[0];\ns q[0];\nt q[0];\nh q[0];\nt q[0];\nh q[0];\nt q[0];\nh q[0];\ns q[0];\nt q[0];\nh q[0];\ns q[0];\nt q[0];\nh q[0];\ns q[0];\nt q[0];\nh q[0];\ns q[0];\nt q[0];\nh q[0];\ns q[0];\nt q[0];\nh q[0];\nt q[0];\nh q[0];\nt q[0];\nh q[0];\nt q[0];\nh q[0];\nt q[0];\nh q[0];\ns q[0];\nt q[0];\nh q[0];\ns q[0];\nt q[0];\nh q[0];\nt q[0];\nh q[0];\ns q[0];\nt q[0];\nh q[0];\ns q[0];\nt q[0];\nh q[0];\nt q[0];\nh q[0];\ns q[0];\nt q[0];\nh q[0];\ns q[0];\nt q[0];\nh q[0];\nt q[0];\nh q[0];\ns q[0];\nt q[0];\nh q[0];\ns q[0];\nt q[0];\nh q[0];\ns q[0];\nt q[0];\nh q[0];\nt q[0];\nh q[0];\ns q[0];\nt q[0];\nh q[0];\nt q[0];\nh q[0];\nt q[0];\nh q[0];\ns q[0];\nt q[0];\nh q[0];\ns q[0];\nt q[0];\nh q[0];\nt q[0];\nh q[0];\nt q[0];\nh q[0];\nt q[0];\nh q[0];\nt q[0];\nh q[0];\ns q[0];\nt q[0];\nh q[0];\nt q[0];\nh q[0];\nt q[0];\nh q[0];\ns q[0];\nt q[0];\nh q[0];\nt q[0];\nh q[0];\nt q[0];\nh q[0];\nt q[0];\nh q[0];\nt q[0];\nh q[0];\nt q[0];\nh q[0];\nt q[0];\nh q[0];\ns q[0];\nt q[0];\nh q[0];\ns q[0];\nt q[0];\nh q[0];\nt q[0];\nh q[0];\ns q[0];\nh q[0];\nc[0] = measure q[0];\n","certificate":{"format":"wai.quantum.compile/1","basis":"clifford_t","level":1,"source":{"hash":"726bc51921f883d8a97a4b491acc98558563224d8126abb34c246dfb06795917","qubits":1,"counts":{"gates":1,"one_qubit":1,"two_qubit":0,"three_qubit":0,"cnots":0,"t_count":0,"rotations":1,"depth":1}},"output":{"hash":"3eb520195d7114991c2e86194ed7e08b1ed89fe2089256251aa4387e8515f76b","counts":{"gates":147,"one_qubit":147,"two_qubit":0,"three_qubit":0,"cnots":0,"t_count":59,"rotations":0,"depth":147}},"epsilon":{"budget":1e-6,"rotations":1,"each":1e-6,"bound":4.806804249103834e-7},"passes":[{"pass":"simplify","before":{"gates":1,"one_qubit":1,"two_qubit":0,"three_qubit":0,"cnots":0,"t_count":0,"rotations":1,"depth":1},"after":{"gates":1,"one_qubit":1,"two_qubit":0,"three_qubit":0,"cnots":0,"t_count":0,"rotations":1,"depth":1},"check":{"how":"rewrites, each checked on the qubits it touches by tableau or on every basis state","verdict":"exact","steps":0}},{"pass":"lower","before":{"gates":1,"one_qubit":1,"two_qubit":0,"three_qubit":0,"cnots":0,"t_count":0,"rotations":1,"depth":1},"after":{"gates":3,"one_qubit":3,"two_qubit":0,"three_qubit":0,"cnots":0,"t_count":0,"rotations":1,"depth":3},"check":{"how":"each kind of gate against its decomposition, on its own qubits","verdict":"exact","checked":1,"distance":2.237726045655905e-16}},{"pass":"simplify","before":{"gates":3,"one_qubit":3,"two_qubit":0,"three_qubit":0,"cnots":0,"t_count":0,"rotations":1,"depth":3},"after":{"gates":1,"one_qubit":1,"two_qubit":0,"three_qubit":0,"cnots":0,"t_count":0,"rotations":1,"depth":1},"check":{"how":"rewrites, each checked on the qubits it touches by tableau or on every basis state","verdict":"exact","steps":1}},{"pass":"phase_fold","before":{"gates":1,"one_qubit":1,"two_qubit":0,"three_qubit":0,"cnots":0,"t_count":0,"rotations":1,"depth":1},"after":{"gates":1,"one_qubit":1,"two_qubit":0,"three_qubit":0,"cnots":0,"t_count":0,"rotations":1,"depth":1},"check":{"how":"the phase polynomial recomputed: the same gates once the phases are taken out, and the same angle on every parity, in whole eighths of a turn","verdict":"proof","merged":0}},{"pass":"lower","before":{"gates":1,"one_qubit":1,"two_qubit":0,"three_qubit":0,"cnots":0,"t_count":0,"rotations":1,"depth":1},"after":{"gates":3,"one_qubit":3,"two_qubit":0,"three_qubit":0,"cnots":0,"t_count":0,"rotations":1,"depth":3},"check":{"how":"each kind of gate against its decomposition, on its own qubits","verdict":"exact","checked":1,"distance":2.237726045655905e-16}},{"pass":"approximate","before":{"gates":3,"one_qubit":3,"two_qubit":0,"three_qubit":0,"cnots":0,"t_count":0,"rotations":1,"depth":3},"after":{"gates":147,"one_qubit":147,"two_qubit":0,"three_qubit":0,"cnots":0,"t_count":59,"rotations":0,"depth":147},"check":{"how":"each rotation's Clifford+T word multiplied out in exact ring arithmetic, and its operator-norm distance to the rotation recomputed from the word in fixed point and rounded up","verdict":"approximate","rotations":1,"epsilon_each":1e-6,"t_count":59,"distance":4.806804249103834e-7}},{"pass":"phase_fold","before":{"gates":147,"one_qubit":147,"two_qubit":0,"three_qubit":0,"cnots":0,"t_count":59,"rotations":0,"depth":147},"after":{"gates":147,"one_qubit":147,"two_qubit":0,"three_qubit":0,"cnots":0,"t_count":59,"rotations":0,"depth":147},"check":{"how":"the phase polynomial recomputed: the same gates once the phases are taken out, and the same angle on every parity, in whole eighths of a turn","verdict":"proof","merged":26}},{"pass":"simplify","before":{"gates":147,"one_qubit":147,"two_qubit":0,"three_qubit":0,"cnots":0,"t_count":59,"rotations":0,"depth":147},"after":{"gates":61,"one_qubit":61,"two_qubit":0,"three_qubit":0,"cnots":0,"t_count":59,"rotations":0,"depth":61},"check":{"how":"rewrites, each checked on the qubits it touches by tableau or on every basis state","verdict":"exact","steps":56}},{"pass":"lower","before":{"gates":61,"one_qubit":61,"two_qubit":0,"three_qubit":0,"cnots":0,"t_count":59,"rotations":0,"depth":61},"after":{"gates":147,"one_qubit":147,"two_qubit":0,"three_qubit":0,"cnots":0,"t_count":59,"rotations":0,"depth":147},"check":{"how":"each kind of gate against its decomposition, on its own qubits","verdict":"exact","checked":3,"distance":2.4729823389985603e-16}}],"rotations":[{"angle":0.4,"t_count":59,"distance":4.806804249103834e-7,"k":30}],"whole":{"how":"the dense unitaries of the whole program and the whole output","distance":4.806804251701884e-7,"verdict":"approximate"},"verdict":"approximate","reading":"The output equals the program up to a global phase to within 4.806804249103834e-7 in the operator norm (the budget was 1e-6). On any input, the output distribution is then within bound of the program's in total variation (so is every outcome's probability), and an observable's expectation within 2·bound·‖O‖. Hashes are BLAKE3 of the program as read (written out as OpenQASM 3) and of the output text."},"engine":{"name":"wai-quantum","version":"0.8.1"},"schema":"wai.quantum.compile-result/1","receipt":{"alg":"ed25519","canon":"rfc8785","key":"197f6b23e16c8532c6abc838facd5ea789be0c76b2920334039bfa8b3d368d61","digest":"80bc6010959ffd9bd2e5f20fc0c940ccf8c909e9c16e5dec497a9826f33ee115","signature":"36a818dd20d3cf47321f04d29547223e580c786b132bc59e69aabedb39fb2bb68ced06720da70fc799e96735beb0a6b2d818f3a61682f48ff9b50c9f01204f0c"}}}