265b2f0ffd
Some checks failed
standards workspaces build + test / which workspaces this change touches (pull_request) Successful in 6s
wai-audit collector and player integration / does this change touch it (pull_request) Successful in 5s
WAI breaking changes and the conformance runner / WAI breaking · does this change touch WAI (pull_request) Successful in 5s
WAI operation catalogue / does this change touch it (pull_request) Successful in 5s
WAI energy receipts / does this change touch it (pull_request) Successful in 6s
WAI conformance / does this change touch it (pull_request) Successful in 11s
WAI examples / WAI examples · does this change touch them (pull_request) Successful in 5s
wai-quantum contract / does this change touch it (pull_request) Successful in 5s
wai-quantum command line / does this change touch it (pull_request) Successful in 14s
wai-quantum CUDA member / does this change touch it (pull_request) Successful in 5s
wai-quantum docs, course and locales / does this change touch it (pull_request) Successful in 7s
wai-quantum signal processor / does this change touch it (pull_request) Successful in 9s
wai-quantum editors / does this change touch it (pull_request) Successful in 6s
wai-quantum dataflow member / does this change touch it (pull_request) Successful in 14s
wai-quantum resource estimation / does this change touch it (pull_request) Successful in 8s
wai-quantum FPGA member / does this change touch it (pull_request) Successful in 6s
wai-quantum other formats / does this change touch it (pull_request) Successful in 8s
wai-quantum Metal member / does this change touch it (pull_request) Successful in 6s
wai-quantum HIP member / does this change touch it (pull_request) Successful in 12s
wai-quantum for JavaScript / does this change touch it (pull_request) Successful in 9s
wai-quantum npu-cores member / does this change touch it (pull_request) Successful in 9s
wai-quantum neural-processor member / does this change touch it (pull_request) Successful in 5s
wai-quantum OpenQASM reader / does this change touch it (pull_request) Successful in 12s
wai-quantum OpenCL member / does this change touch it (pull_request) Successful in 11s
wai-quantum CUDA member / member · CUDA (jetson-hub) (pull_request) Successful in 1m35s
wai-quantum CUDA member / member · CUDA (thor) (pull_request) Successful in 2m6s
wai-quantum OpenCL member / member · OpenCL GPU and CPU (jetson-hub) (pull_request) Successful in 32s
wai-quantum OpenCL member / member · OpenCL GPU and CPU (thor) (pull_request) Successful in 49s
wai-quantum on every processor / emulated · armv7-unknown-linux-gnueabihf (pull_request) Successful in 2m51s
wai-quantum on every processor / emulated · loongarch64-unknown-linux-gnu (pull_request) Successful in 3m1s
wai-quantum pulse and dynamics / does this change touch it (pull_request) Successful in 6s
wai-quantum for Python / does this change touch it (pull_request) Successful in 5s
wai-quantum error correction and mitigation / does this change touch it (pull_request) Successful in 6s
wai-quantum-qpu / does this change touch it (pull_request) Successful in 5s
wai-quantum extension points / does this change touch it (pull_request) Successful in 6s
wai-quantum service / does this change touch it (pull_request) Successful in 5s
wai-quantum matrix-extension member / does this change touch it (pull_request) Successful in 5s
wai-quantum studio and desktop / does this change touch it (pull_request) Successful in 5s
wai-quantum tensor-engine member / does this change touch it (pull_request) Successful in 5s
WAI conformance / fast integer kernels, every x86_64 kernel set (AVX-512 silicon) (pull_request) Successful in 4m52s
wai-quantum on every processor / emulated · aarch64-unknown-linux-gnu (pull_request) Successful in 4m8s
wai-quantum portable tensor program / does this change touch it (pull_request) Successful in 5s
wai-quantum variational and algorithm library / does this change touch it (pull_request) Successful in 5s
wai-quantum CPU vector units / does this change touch it (pull_request) Successful in 8s
wai-quantum verdicts and repairs / does this change touch it (pull_request) Successful in 5s
wai-quantum views in agent hosts / does this change touch it (pull_request) Successful in 8s
wai-sink-android native sink library / does this change touch it (pull_request) Successful in 6s
wai-quantum WebGPU member / does this change touch it (pull_request) Successful in 8s
wai-quantum WebGPU member / member · DX12 and Vulkan (cbio-windows) (pull_request) Successful in 12m35s
WAI Studio / does this change touch it (pull_request) Successful in 6s
wai-sink-swift native sink package / does this change touch it (pull_request) Successful in 7s
wai-web reach builds / wai-web reach · does this change touch it (pull_request) Successful in 8s
wai-web wasm32 / does this change touch it (pull_request) Successful in 8s
wai-quantum on every processor / emulated · riscv64gc-unknown-linux-gnu (pull_request) Successful in 4m55s
wai-quantum service / service energy · linux packages (pull_request) Successful in 1m29s
wai-quantum portable tensor program / tensor program · GPUs (jetson-hub) (pull_request) Successful in 31s
wai-quantum HIP member / member · HIP (framework-128gb) (pull_request) Successful in 1m50s
wai-quantum on every processor / emulated · s390x-unknown-linux-gnu (pull_request) Successful in 4m44s
wai-quantum on every processor / emulated · i686-unknown-linux-gnu (pull_request) Successful in 4m9s
wai-quantum npu-cores member / member · npu-cores, neural processor (framework-128gb silicon) (pull_request) Successful in 2m38s
wai-quantum OpenCL member / member · OpenCL GPU (framework-128gb) (pull_request) Successful in 39s
wai-quantum portable tensor program / tensor program · integrated GPU (framework-128gb) (pull_request) Successful in 20s
wai-quantum CPU vector units / member · vector units, avx2 and avx512 (framework-128gb silicon) (pull_request) Successful in 25s
wai-quantum on every processor / emulated · powerpc64-unknown-linux-gnu (pull_request) Successful in 21m54s
wai-quantum WebGPU member / member · integrated GPU, Vulkan (framework-128gb) (pull_request) Successful in 13m17s
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Successful in 21m0s
WAI breaking changes and the conformance runner / WAI breaking · wire, record and API against main · linux (pull_request) Successful in 1m38s
wai-quantum WebGPU member / member · GPU, Vulkan (thor) (pull_request) Successful in 24m57s
WAI conformance / cross-arch byte-equality · linux (pull_request) Successful in 34s
wai-audit collector and player integration / collector · linux (pull_request) Successful in 3m8s
WAI conformance / faces from keypoints under wasm32-wasip2 (wasmtime) (pull_request) Successful in 2m3s
WAI breaking changes and the conformance runner / WAI breaking and conform · their tests, and the independent verifiers through wai conform · linux (pull_request) Successful in 3m30s
wai-quantum contract / the policy is linked, and the deprecations page reads (pull_request) Successful in 4s
wai-quantum studio and desktop / desktop app · windows (pull_request) Successful in 9m1s
wai-quantum on every processor / emulated · powerpc64le-unknown-linux-gnu (pull_request) Successful in 31m52s
wai-quantum CUDA member / member · CUDA absent (linux) (pull_request) Successful in 1m14s
WAI conformance / quantum core and corpus under wasm32-wasip2 (wasmtime) (pull_request) Successful in 4m29s
wai-quantum docs, course and locales / the Studio's words in every locale · linux (pull_request) Successful in 25s
WAI operation catalogue / the catalogue and every door · linux (pull_request) Successful in 5m29s
wai-quantum docs, course and locales / the course and the command line's languages · linux (pull_request) Successful in 1m55s
wai-quantum contract / API compatibility · linux (pull_request) Failing after 4m4s
wai-quantum FPGA member / member · FPGA simulation absent (linux) (pull_request) Successful in 1m24s
wai-quantum resource estimation / estimation and calibration · linux, release (pull_request) Successful in 1m41s
wai-quantum contract / schemas and the committed tool lists · linux (pull_request) Failing after 5m36s
wai-quantum editors / editors · linux (pull_request) Successful in 2m25s
wai-quantum Metal member / member · Metal absent (linux) (pull_request) Successful in 39s
wai-quantum command line / command line · linux (pull_request) Successful in 5m56s
wai-quantum neural-processor member / member · neural processor absent (linux) (pull_request) Successful in 24s
wai-quantum other formats / the set under wasm32-wasip2 (wasmtime) (pull_request) Successful in 1m29s
wai-quantum dataflow member / member · dataflow device, simulated (pci 1e52:b140) (pull_request) Successful in 4m15s
wai-quantum dataflow member / member · dataflow device, simulated (pci 1e52:401e) (pull_request) Successful in 4m15s
wai-quantum OpenCL member / member · OpenCL absent (linux) (pull_request) Successful in 29s
wai-quantum OpenQASM reader / corpus under wasm32-wasip2 (wasmtime) (pull_request) Successful in 55s
wai-quantum OpenQASM reader / reader and corpus · linux (pull_request) Successful in 2m3s
wai-quantum pulse and dynamics / reader, simulator and pulse jobs · linux, release (pull_request) Successful in 1m42s
wai-quantum for JavaScript / javascript · linux (pull_request) Successful in 2m58s
wai-quantum-qpu / clients against their contracts (linux) (pull_request) Failing after 41s
wai-quantum on every processor / emulated · sparc64-unknown-linux-gnu (pull_request) Successful in 37m51s
wai-quantum matrix-extension member / member · matrix extension, emulated (aarch64 Linux) (pull_request) Successful in 29s
wai-quantum extension points / the registry under wasm32-wasip2 (wasmtime) (pull_request) Successful in 55s
wai-quantum for Python / python · linux (pull_request) Successful in 2m32s
wai-quantum pulse and dynamics / reader, simulator and pulse jobs under wasm32-wasip2 (wasmtime) (pull_request) Successful in 2m36s
wai-quantum error correction and mitigation / codes, decoders, texts and mitigation · linux, release (pull_request) Successful in 3m8s
wai-quantum extension points / the registry and the example · linux (pull_request) Successful in 2m51s
WAI energy receipts / energy receipts · linux (pull_request) Successful in 13m21s
wai-quantum CPU vector units / member · vector unit, rvv 1024-bit (riscv64, emulated) (pull_request) Successful in 23s
wai-quantum CPU vector units / member · vector unit, rvv 128-bit (riscv64, emulated) (pull_request) Successful in 12s
wai-quantum CPU vector units / member · vector unit, sve 128-bit (aarch64, emulated) (pull_request) Successful in 17s
wai-quantum CPU vector units / member · vector unit, sve 2048-bit (aarch64, emulated) (pull_request) Successful in 11s
wai-quantum CPU vector units / member · vector unit, avx2 (x86_64 silicon) (pull_request) Successful in 21s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux, release (pull_request) Successful in 1m47s
wai-quantum CPU vector units / member · vector unit, sve 512-bit (aarch64, emulated) (pull_request) Successful in 13s
wai-quantum portable tensor program / tensor program · CPU, mutants, GPU builds (pull_request) Successful in 2m41s
wai-quantum service / service · linux (pull_request) Failing after 4m3s
wai-quantum verdicts and repairs / the intent set and the verdict under wasm32-wasip2 (wasmtime) (pull_request) Successful in 1m18s
wai-quantum verdicts and repairs / verdicts, repairs and the intent set · linux (pull_request) Successful in 1m49s
WAI conformance / cargo-class corpora · linux (pull_request) Successful in 17m33s
wai-quantum tensor-engine member / member · tensor engine, the kernel toolchain's simulator (linux) (pull_request) Successful in 5m8s
wai-quantum studio and desktop / desktop app · linux (pull_request) Successful in 5m11s
wai-quantum views in agent hosts / views · the page and its engine (pull_request) Successful in 2m52s
WAI Studio / the catalogue's actions, the unit tests and the core · linux (pull_request) Successful in 1m17s
wai-quantum WebGPU member / member · software Vulkan (linux) (pull_request) Successful in 2m20s
wai-quantum WebGPU member / shader checks · browser build · wasip2 inertness (pull_request) Successful in 3m28s
wai-web reach builds / wai-web reach builds · the package of record, every output as recorded (pull_request) Successful in 2m23s
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Successful in 4m40s
wai-quantum signal processor / processor and member · signal processor, emulated (pull_request) Successful in 17m35s
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Successful in 5m12s
wai-quantum other formats / readers, writers and the set · linux (pull_request) Successful in 15m47s
wai-quantum views in agent hosts / views · a scripted host (pull_request) Successful in 9m58s
wai-quantum studio and desktop / studio · browser (pull_request) Successful in 13m29s
WAI Studio / Studio in WebKit · linux (pull_request) Successful in 14m42s
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (pull_request) Has been cancelled
standards workspaces build + test / macOS energy backends (pull_request) Has been cancelled
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Has been cancelled
wai-audit collector and player integration / collector, player integration and the browser end to end · macos (pull_request) Has been cancelled
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Has been cancelled
WAI conformance / cargo-class corpora · macos (pull_request) Has been cancelled
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Has been cancelled
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Has been cancelled
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Has been cancelled
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Has been cancelled
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Has been cancelled
WAI conformance / cross-arch byte-equality · macos (pull_request) Has been cancelled
WAI conformance / codec wrappers · fuzz smoke, text decode limits, C entry points, provenance, the semantic path (pull_request) Has been cancelled
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Has been cancelled
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Has been cancelled
WAI energy receipts / energy receipts · macos (pull_request) Has been cancelled
WAI examples / WAI examples · the archive, the readiness check, the browser and Apple · macos (pull_request) Has been cancelled
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Has been cancelled
wai-quantum command line / command line · macos (pull_request) Has been cancelled
wai-quantum dataflow member / member · dataflow device absent (macos) (pull_request) Has been cancelled
WAI examples / WAI examples · portable · linux (pull_request) Has been cancelled
wai-quantum docs, course and locales / every command and snippet in the docs · linux (pull_request) Has been cancelled
wai-quantum editors / editors · macos (pull_request) Has been cancelled
wai-quantum FPGA member / member · FPGA datapath, simulated (macos) (pull_request) Has been cancelled
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Has been cancelled
wai-quantum Metal member / member · Metal (macos) (pull_request) Has been cancelled
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Has been cancelled
wai-quantum neural-processor member / member · neural processor (macos) (pull_request) Has been cancelled
wai-quantum OpenCL member / member · OpenCL GPU (macos) (pull_request) Has been cancelled
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Has been cancelled
wai-quantum pulse and dynamics / the same bits · macos (pull_request) Has been cancelled
wai-quantum for Python / python · macos (pull_request) Has been cancelled
wai-quantum-qpu / credentials in the keychain (macos) (pull_request) Has been cancelled
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Has been cancelled
wai-quantum service / service · macos (pull_request) Has been cancelled
wai-quantum matrix-extension member / member · matrix extension absent (macos) (pull_request) Has been cancelled
wai-quantum studio and desktop / desktop app · macos (pull_request) Has been cancelled
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Has been cancelled
wai-quantum portable tensor program / tensor program · Metal and the arm64 CPU (macos) (pull_request) Has been cancelled
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Has been cancelled
wai-quantum CPU vector units / member · vector unit absent (macos) (pull_request) Has been cancelled
wai-quantum WebGPU member / member · Metal (macos) (pull_request) Has been cancelled
wai-quantum WebGPU member / member · browser WebGPU (macos) (pull_request) Has been cancelled
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (pull_request) Has been cancelled
wai-sink-android native sink library / every ABI, the AAR, and the instrumented tests in a headless emulator · macos (pull_request) Has been cancelled
wai-sink-swift native sink package / libwai slices, desktop tests, simulator tests · macos (pull_request) Has been cancelled
WAI Studio / Studio in Chromium and Firefox · macos (pull_request) Has been cancelled
A provider's result now states counts_source (shots, vendor_counts or probabilities, since counts rebuilt from probabilities are derived) and execution (what each client set off at the provider, built from the very body it posts). It labels a simulator's counts simulated rather than measured, and carries the compiled program's text beside its hash. Receipts sealed before these fields still verify, and are read by their provenance. Section 8 of the provider protocol is rewritten so that a verifier can be written from it alone: the seal byte for byte, the strict reader, the canonical text and the first form's, strict Ed25519, the per-kind rows, seventeen named reasons, and what a receipt proves. A second verifier was written in Python from that text by a reader who had not seen the reference, and its gaps became the text. The reference had accepted a receipt under a small-order key for any content, any alg, upper-case or +-spelled hex and duplicate members, and panicked on a two-byte character in a key; it refuses each now. A corpus of receipts made by the command line, the job service and every built-in kind, plus receipts crafted to break one rule each, is judged by both verifiers on every receipt and every one-member change of each valid one, and each planted defect must be caught. CI runs it beside the CLI's build. Co-Authored-By: Claude Opus 5.5 <[email protected]>
488 lines
16 KiB
JSON
488 lines
16 KiB
JSON
{
|
||
"request": {
|
||
"qasm": "OPENQASM 3.0; qubit[2] q; h q[0]; rz(0.3) q[0]; cx q[0], q[1]; ry(1.1) q[1];",
|
||
"epsilon": 1e-6,
|
||
"level": 2
|
||
},
|
||
"result": {
|
||
"ok": true,
|
||
"options": {
|
||
"epsilon": 1e-6,
|
||
"level": 2,
|
||
"target": "clifford_t"
|
||
},
|
||
"qasm": "OPENQASM 3.0;\nqubit[2] q;\nbit[2] c;\ntdg 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];\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];\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];\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];\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];\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];\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];\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];\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];\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];\ncx q[0], q[1];\nh q[1];\nx q[1];\nt q[1];\nh q[1];\ns q[1];\nt q[1];\nh q[1];\ns q[1];\nt q[1];\nh q[1];\ns q[1];\nt q[1];\nh q[1];\nt q[1];\nh q[1];\nt q[1];\nh q[1];\ns q[1];\nt q[1];\nh q[1];\nt q[1];\nh q[1];\nt q[1];\nh q[1];\nt q[1];\nh q[1];\ns q[1];\nt q[1];\nh q[1];\ns q[1];\nt q[1];\nh q[1];\ns q[1];\nt q[1];\nh q[1];\nt q[1];\nh q[1];\ns q[1];\nt q[1];\nh q[1];\ns q[1];\nt q[1];\nh q[1];\ns q[1];\nt q[1];\nh q[1];\nt q[1];\nh q[1];\nt q[1];\nh q[1];\ns q[1];\nt q[1];\nh q[1];\nt q[1];\nh q[1];\nt q[1];\nh q[1];\nt q[1];\nh q[1];\nt q[1];\nh q[1];\nt q[1];\nh q[1];\ns q[1];\nt q[1];\nh q[1];\ns q[1];\nt q[1];\nh q[1];\ns q[1];\nt q[1];\nh q[1];\nt q[1];\nh q[1];\nt q[1];\nh q[1];\ns q[1];\nt q[1];\nh q[1];\nt q[1];\nh q[1];\ns q[1];\nt q[1];\nh q[1];\nt q[1];\nh q[1];\nt q[1];\nh q[1];\ns q[1];\nt q[1];\nh q[1];\nt q[1];\nh q[1];\ns q[1];\nt q[1];\nh q[1];\nt q[1];\nh q[1];\nt q[1];\nh q[1];\nt q[1];\nh q[1];\ns q[1];\nt q[1];\nh q[1];\ns q[1];\nt q[1];\nh q[1];\nt q[1];\nh q[1];\ns q[1];\nt q[1];\nh q[1];\ns q[1];\nt q[1];\nh q[1];\nt q[1];\nh q[1];\nt q[1];\nh q[1];\nt q[1];\nh q[1];\nt q[1];\nh q[1];\nt q[1];\nh q[1];\ns q[1];\nt q[1];\nh q[1];\ns q[1];\nt q[1];\nh q[1];\nt q[1];\nh q[1];\ns q[1];\nt q[1];\nh q[1];\ns q[1];\nt q[1];\nh q[1];\nt q[1];\nh q[1];\ns q[1];\nt q[1];\nh q[1];\nt q[1];\nh q[1];\ns q[1];\nt q[1];\nh q[1];\nt q[1];\nh q[1];\nt q[1];\nh q[1];\nt q[1];\nh q[1];\ns q[1];\nt q[1];\nh q[1];\nc[0] = measure q[0];\nc[1] = measure q[1];\n",
|
||
"certificate": {
|
||
"format": "wai.quantum.compile/1",
|
||
"target": "clifford_t",
|
||
"level": 2,
|
||
"source": {
|
||
"hash": "3088646de076cdf015688f9638832413050d5d15b4cf27a358977efed0021634",
|
||
"qubits": 2,
|
||
"counts": {
|
||
"gates": 4,
|
||
"one_qubit": 3,
|
||
"two_qubit": 1,
|
||
"three_qubit": 0,
|
||
"cnots": 1,
|
||
"t_count": 0,
|
||
"rotations": 2,
|
||
"depth": 4
|
||
}
|
||
},
|
||
"output": {
|
||
"hash": "43a412104c45393241bd9741012dbd18bb08255fddeef96bf5b7144bd78a8dc9",
|
||
"counts": {
|
||
"gates": 319,
|
||
"one_qubit": 318,
|
||
"two_qubit": 1,
|
||
"three_qubit": 0,
|
||
"cnots": 1,
|
||
"t_count": 129,
|
||
"rotations": 0,
|
||
"depth": 319
|
||
}
|
||
},
|
||
"epsilon": {
|
||
"budget": 1e-6,
|
||
"rotations": 2,
|
||
"each": 5e-7,
|
||
"bound": 6.053576919651645e-7
|
||
},
|
||
"passes": [
|
||
{
|
||
"pass": "simplify",
|
||
"before": {
|
||
"gates": 4,
|
||
"one_qubit": 3,
|
||
"two_qubit": 1,
|
||
"three_qubit": 0,
|
||
"cnots": 1,
|
||
"t_count": 0,
|
||
"rotations": 2,
|
||
"depth": 4
|
||
},
|
||
"after": {
|
||
"gates": 4,
|
||
"one_qubit": 3,
|
||
"two_qubit": 1,
|
||
"three_qubit": 0,
|
||
"cnots": 1,
|
||
"t_count": 0,
|
||
"rotations": 2,
|
||
"depth": 4
|
||
},
|
||
"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": 4,
|
||
"one_qubit": 3,
|
||
"two_qubit": 1,
|
||
"three_qubit": 0,
|
||
"cnots": 1,
|
||
"t_count": 0,
|
||
"rotations": 2,
|
||
"depth": 4
|
||
},
|
||
"after": {
|
||
"gates": 8,
|
||
"one_qubit": 7,
|
||
"two_qubit": 1,
|
||
"three_qubit": 0,
|
||
"cnots": 1,
|
||
"t_count": 0,
|
||
"rotations": 2,
|
||
"depth": 8
|
||
},
|
||
"check": {
|
||
"how": "each kind of gate against its decomposition, on its own qubits",
|
||
"verdict": "exact",
|
||
"checked": 1,
|
||
"distance": 5.551115123125783e-17
|
||
}
|
||
},
|
||
{
|
||
"pass": "simplify",
|
||
"before": {
|
||
"gates": 8,
|
||
"one_qubit": 7,
|
||
"two_qubit": 1,
|
||
"three_qubit": 0,
|
||
"cnots": 1,
|
||
"t_count": 0,
|
||
"rotations": 2,
|
||
"depth": 8
|
||
},
|
||
"after": {
|
||
"gates": 6,
|
||
"one_qubit": 5,
|
||
"two_qubit": 1,
|
||
"three_qubit": 0,
|
||
"cnots": 1,
|
||
"t_count": 0,
|
||
"rotations": 2,
|
||
"depth": 6
|
||
},
|
||
"check": {
|
||
"how": "rewrites, each checked on the qubits it touches by tableau or on every basis state",
|
||
"verdict": "exact",
|
||
"steps": 1
|
||
}
|
||
},
|
||
{
|
||
"pass": "resynth_2q",
|
||
"before": {
|
||
"gates": 6,
|
||
"one_qubit": 5,
|
||
"two_qubit": 1,
|
||
"three_qubit": 0,
|
||
"cnots": 1,
|
||
"t_count": 0,
|
||
"rotations": 2,
|
||
"depth": 6
|
||
},
|
||
"after": {
|
||
"gates": 6,
|
||
"one_qubit": 5,
|
||
"two_qubit": 1,
|
||
"three_qubit": 0,
|
||
"cnots": 1,
|
||
"t_count": 0,
|
||
"rotations": 2,
|
||
"depth": 6
|
||
},
|
||
"check": {
|
||
"how": "each block compared with its replacement on their 4×4 matrices",
|
||
"verdict": "exact",
|
||
"blocks": 0,
|
||
"distance": 0.0
|
||
}
|
||
},
|
||
{
|
||
"pass": "lower",
|
||
"before": {
|
||
"gates": 6,
|
||
"one_qubit": 5,
|
||
"two_qubit": 1,
|
||
"three_qubit": 0,
|
||
"cnots": 1,
|
||
"t_count": 0,
|
||
"rotations": 2,
|
||
"depth": 6
|
||
},
|
||
"after": {
|
||
"gates": 8,
|
||
"one_qubit": 7,
|
||
"two_qubit": 1,
|
||
"three_qubit": 0,
|
||
"cnots": 1,
|
||
"t_count": 0,
|
||
"rotations": 2,
|
||
"depth": 8
|
||
},
|
||
"check": {
|
||
"how": "each kind of gate against its decomposition, on its own qubits",
|
||
"verdict": "exact",
|
||
"checked": 1,
|
||
"distance": 5.551115123125783e-17
|
||
}
|
||
},
|
||
{
|
||
"pass": "resynth_1q",
|
||
"before": {
|
||
"gates": 8,
|
||
"one_qubit": 7,
|
||
"two_qubit": 1,
|
||
"three_qubit": 0,
|
||
"cnots": 1,
|
||
"t_count": 0,
|
||
"rotations": 2,
|
||
"depth": 8
|
||
},
|
||
"after": {
|
||
"gates": 8,
|
||
"one_qubit": 7,
|
||
"two_qubit": 1,
|
||
"three_qubit": 0,
|
||
"cnots": 1,
|
||
"t_count": 0,
|
||
"rotations": 2,
|
||
"depth": 8
|
||
},
|
||
"check": {
|
||
"how": "Clifford+T runs multiplied out in ring arithmetic against their normal form; other runs compared on their 2×2 matrices",
|
||
"verdict": "proof",
|
||
"exact_runs": 0,
|
||
"measured_runs": 0,
|
||
"distance": 0.0
|
||
}
|
||
},
|
||
{
|
||
"pass": "phase_fold",
|
||
"before": {
|
||
"gates": 8,
|
||
"one_qubit": 7,
|
||
"two_qubit": 1,
|
||
"three_qubit": 0,
|
||
"cnots": 1,
|
||
"t_count": 0,
|
||
"rotations": 2,
|
||
"depth": 8
|
||
},
|
||
"after": {
|
||
"gates": 8,
|
||
"one_qubit": 7,
|
||
"two_qubit": 1,
|
||
"three_qubit": 0,
|
||
"cnots": 1,
|
||
"t_count": 0,
|
||
"rotations": 2,
|
||
"depth": 8
|
||
},
|
||
"check": {
|
||
"how": "the phase polynomial recomputed: the same gates once the phases are taken out, and the same angle on every parity to the rounding of the sums",
|
||
"verdict": "exact",
|
||
"merged": 0
|
||
}
|
||
},
|
||
{
|
||
"pass": "simplify",
|
||
"before": {
|
||
"gates": 8,
|
||
"one_qubit": 7,
|
||
"two_qubit": 1,
|
||
"three_qubit": 0,
|
||
"cnots": 1,
|
||
"t_count": 0,
|
||
"rotations": 2,
|
||
"depth": 8
|
||
},
|
||
"after": {
|
||
"gates": 6,
|
||
"one_qubit": 5,
|
||
"two_qubit": 1,
|
||
"three_qubit": 0,
|
||
"cnots": 1,
|
||
"t_count": 0,
|
||
"rotations": 2,
|
||
"depth": 6
|
||
},
|
||
"check": {
|
||
"how": "rewrites, each checked on the qubits it touches by tableau or on every basis state",
|
||
"verdict": "exact",
|
||
"steps": 1
|
||
}
|
||
},
|
||
{
|
||
"pass": "lower",
|
||
"before": {
|
||
"gates": 6,
|
||
"one_qubit": 5,
|
||
"two_qubit": 1,
|
||
"three_qubit": 0,
|
||
"cnots": 1,
|
||
"t_count": 0,
|
||
"rotations": 2,
|
||
"depth": 6
|
||
},
|
||
"after": {
|
||
"gates": 8,
|
||
"one_qubit": 7,
|
||
"two_qubit": 1,
|
||
"three_qubit": 0,
|
||
"cnots": 1,
|
||
"t_count": 0,
|
||
"rotations": 2,
|
||
"depth": 8
|
||
},
|
||
"check": {
|
||
"how": "each kind of gate against its decomposition, on its own qubits",
|
||
"verdict": "exact",
|
||
"checked": 1,
|
||
"distance": 5.551115123125783e-17
|
||
}
|
||
},
|
||
{
|
||
"pass": "approximate",
|
||
"before": {
|
||
"gates": 8,
|
||
"one_qubit": 7,
|
||
"two_qubit": 1,
|
||
"three_qubit": 0,
|
||
"cnots": 1,
|
||
"t_count": 0,
|
||
"rotations": 2,
|
||
"depth": 8
|
||
},
|
||
"after": {
|
||
"gates": 335,
|
||
"one_qubit": 334,
|
||
"two_qubit": 1,
|
||
"three_qubit": 0,
|
||
"cnots": 1,
|
||
"t_count": 129,
|
||
"rotations": 0,
|
||
"depth": 335
|
||
},
|
||
"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": 2,
|
||
"epsilon_each": 5e-7,
|
||
"t_count": 129,
|
||
"distance": 6.053576919651645e-7
|
||
}
|
||
},
|
||
{
|
||
"pass": "resynth_1q",
|
||
"before": {
|
||
"gates": 335,
|
||
"one_qubit": 334,
|
||
"two_qubit": 1,
|
||
"three_qubit": 0,
|
||
"cnots": 1,
|
||
"t_count": 129,
|
||
"rotations": 0,
|
||
"depth": 335
|
||
},
|
||
"after": {
|
||
"gates": 320,
|
||
"one_qubit": 319,
|
||
"two_qubit": 1,
|
||
"three_qubit": 0,
|
||
"cnots": 1,
|
||
"t_count": 129,
|
||
"rotations": 0,
|
||
"depth": 320
|
||
},
|
||
"check": {
|
||
"how": "Clifford+T runs multiplied out in ring arithmetic against their normal form; other runs compared on their 2×2 matrices",
|
||
"verdict": "proof",
|
||
"exact_runs": 2,
|
||
"measured_runs": 0,
|
||
"distance": 0.0
|
||
}
|
||
},
|
||
{
|
||
"pass": "phase_fold",
|
||
"before": {
|
||
"gates": 320,
|
||
"one_qubit": 319,
|
||
"two_qubit": 1,
|
||
"three_qubit": 0,
|
||
"cnots": 1,
|
||
"t_count": 129,
|
||
"rotations": 0,
|
||
"depth": 320
|
||
},
|
||
"after": {
|
||
"gates": 319,
|
||
"one_qubit": 318,
|
||
"two_qubit": 1,
|
||
"three_qubit": 0,
|
||
"cnots": 1,
|
||
"t_count": 129,
|
||
"rotations": 0,
|
||
"depth": 319
|
||
},
|
||
"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": 60
|
||
}
|
||
},
|
||
{
|
||
"pass": "simplify",
|
||
"before": {
|
||
"gates": 319,
|
||
"one_qubit": 318,
|
||
"two_qubit": 1,
|
||
"three_qubit": 0,
|
||
"cnots": 1,
|
||
"t_count": 129,
|
||
"rotations": 0,
|
||
"depth": 319
|
||
},
|
||
"after": {
|
||
"gates": 132,
|
||
"one_qubit": 131,
|
||
"two_qubit": 1,
|
||
"three_qubit": 0,
|
||
"cnots": 1,
|
||
"t_count": 129,
|
||
"rotations": 0,
|
||
"depth": 132
|
||
},
|
||
"check": {
|
||
"how": "rewrites, each checked on the qubits it touches by tableau or on every basis state",
|
||
"verdict": "exact",
|
||
"steps": 123
|
||
}
|
||
},
|
||
{
|
||
"pass": "lower",
|
||
"before": {
|
||
"gates": 132,
|
||
"one_qubit": 131,
|
||
"two_qubit": 1,
|
||
"three_qubit": 0,
|
||
"cnots": 1,
|
||
"t_count": 129,
|
||
"rotations": 0,
|
||
"depth": 132
|
||
},
|
||
"after": {
|
||
"gates": 319,
|
||
"one_qubit": 318,
|
||
"two_qubit": 1,
|
||
"three_qubit": 0,
|
||
"cnots": 1,
|
||
"t_count": 129,
|
||
"rotations": 0,
|
||
"depth": 319
|
||
},
|
||
"check": {
|
||
"how": "each kind of gate against its decomposition, on its own qubits",
|
||
"verdict": "exact",
|
||
"checked": 3,
|
||
"distance": 2.4729823389985603e-16
|
||
}
|
||
}
|
||
],
|
||
"rotations": [
|
||
{
|
||
"angle": 0.3,
|
||
"t_count": 65,
|
||
"distance": 3.7220465355042864e-7,
|
||
"k": 33
|
||
},
|
||
{
|
||
"angle": 1.1,
|
||
"t_count": 64,
|
||
"distance": 2.3315303841473587e-7,
|
||
"k": 33
|
||
}
|
||
],
|
||
"whole": {
|
||
"how": "the dense unitaries of the whole program and the whole output",
|
||
"distance": 5.153537402073438e-7,
|
||
"verdict": "approximate"
|
||
},
|
||
"verdict": "approximate",
|
||
"reading": "The output equals the program up to a global phase to within 6.053576919651645e-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."
|
||
},
|
||
"receipt": {
|
||
"alg": "ed25519",
|
||
"canon": "rfc8785",
|
||
"key": "fd1724385aa0c75b64fb78cd602fa1d991fdebf76b13c58ed702eac835e9f618",
|
||
"digest": "5ca60a55f23daf7797cf66d41c5065f32b8acfbc33aebe431603e260ae3b34c7",
|
||
"signature": "6a8fc7a1b767579a30308779c070dbeb2811c2d3d7e7d3d4c2b38baad13b8a36804258a3d4df55b25bfef80ecc9d4f8a8610a332bf9e8f7bf1b6112ffca7a80f"
|
||
}
|
||
}
|
||
}
|