open-standards/wai/quantum-conformance/receipts/jobs/first-form-service-run.json
Transaction Science 3bec9b4a01 wai-quantum: a set is verified as a set everywhere, a host gives no receipt it would refuse, and the corpus keeps what it holds
A surface that takes a job takes a set, and verified it against a seal over its
head as if over the whole result, so a good set read as invalid. The provider
path checks its own receipt before giving it: a provider's word reaches the
seal. A made receipt is pinned by digest, and generate.py --self-test shows each
way the pins fail. The corpus gains two receipts by the first form's own writer,
from the service as it was on 18 October. A second verifier's reading settled
four sentences of section 8, and -0 as an index, where the two disagreed.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-11-05 18:21:50 -05:00

1 line
1.1 KiB
JSON

{"id":"29b08143c58a26d2f99295cdc730126a","status":"done","method":"statevector","why":"dense double-precision state vector of 2 qubits; not stabilizer: stabilizer needs a Clifford circuit: Rz(0.3) is not a Clifford gate; exact: exact needs dyadic angles: the angle 0.3 is not a dyadic multiple of 2π (2πm/2^k, k ≤ 32)","estimate":{"memory_bytes":268459522,"work":12},"request":{"qasm":"OPENQASM 3.0;\nqubit[2] q;\nbit[2] c;\nh q[0];\nrz(0.3) q[0];\ncx q[0], q[1];\nc = measure q;\n","shots":1000,"seed":7},"submitted_ms":1793920879324,"started_ms":1793920879324,"finished_ms":1793920879534,"peak_rss_bytes":880640,"result":{"method":"statevector","qubits":2,"gates":3,"accuracy":{"class":"exact","fusion":3},"counts":{"00":525,"11":475},"distinct_outcomes":2,"omitted_shots":0,"elapsed_ms":0,"receipt":{"alg":"ed25519","key":"ac2ca498780f7912aa54203d0c37f64f4c0db82fbed2fe4e4646cc48790cdf9a","digest":"7f1caccfbb41a4281cbf5adfe92ca6674afe464d5fa94575074169636b0a6dd1","signature":"cac1ebd822c9c3a975cfc3f46aedf9724be9e1ca37a1206b8bbd7309a78e359cba25852ca6249880cab1696b5a0775456b1576caeeee0531bbf138fbbafcb40f"}}}