wai-quantum 0.5.0: provenance, sampling members, device programs, OpenCL, a simulated FPGA, f64 on accelerators, and QPU clients #253

Merged
dcharlot merged 5 commits from wai/quantum-0.5.0 into main 2026-10-15 01:08:33 -04:00

2026-10-15

Transaction Science
Merge main into wai/quantum-0.5.0
Some checks failed
WAI energy receipts / energy receipts · linux (pull_request) Successful in 2m5s
WAI JPEG-AI whole decode (pinned inputs, required) / fetch pinned JPEG-AI inputs → whole decode + pixel hash, required (pull_request) Successful in 1m27s
WAI neural sink gates / model-free refusals of the neural sink (pull_request) Successful in 1m14s
wai-quantum WebGPU member / member · Metal (macos) (pull_request) Failing after 16m23s
wai-quantum CUDA member / member · CUDA absent (linux) (pull_request) Successful in 25s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Successful in 17m43s
wai-quantum WebGPU member / member · browser WebGPU (macos) (pull_request) Failing after 17m22s
wai-quantum WebGPU member / member · DX12 and Vulkan (cbio-windows) (pull_request) Successful in 11m56s
WAI HTTP delivery / HTTP corpus · falsify mutations 0/3 (pull_request) Successful in 41m30s
WAI HTTP delivery / HTTP corpus · falsify mutations 1/3 (pull_request) Successful in 41m7s
WAI HTTP delivery / HTTP corpus · falsify patches 0/3 (pull_request) Successful in 5m25s
WAI HTTP delivery / HTTP corpus · falsify patches 1/3 (pull_request) Successful in 6m8s
WAI HTTP delivery / HTTP corpus · falsify patches 2/3 (pull_request) Successful in 5m27s
WAI HTTP delivery / HTTP corpus · every patch and mutation in exactly one shard (pull_request) Successful in 4s
WAI HTTP delivery / HTTP corpus · verified both ways, and the differential (pull_request) Successful in 2m23s
WAI HTTP delivery / cache rules · controls and labelled caches (pull_request) Successful in 1m6s
wai-quantum FPGA member / member · FPGA simulation absent (linux) (pull_request) Successful in 19s
wai-pack / wai-pack · linux (pull_request) Successful in 1m21s
wai-pack / wai-pack · independent verifier (Python) (pull_request) Successful in 3m58s
wai-pack / wai-pack · the floor through a media prober (pull_request) Successful in 20s
wai-pack / wai-pack · dependency licences (pull_request) Successful in 1m20s
wai-quantum OpenCL member / member · OpenCL absent (linux) (pull_request) Successful in 20s
wai-quantum-qpu / clients against their contracts (linux) (pull_request) Successful in 20s
wai-quantum WebGPU member / shader checks · browser build · wasip2 inertness · MSRV (pull_request) Successful in 3m26s
wai-quantum WebGPU member / member · software Vulkan (linux) (pull_request) Successful in 2m5s
WAI HTTP delivery / HTTP corpus · falsify mutations 2/3 (pull_request) Successful in 42m2s
WAI mbt2018_mean integer decode (regenerated vectors) / regenerate mbt2018_mean integer vectors → Rust decode, required (pull_request) Successful in 5m18s
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (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 2m56s
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Successful in 4m45s
The changelog keeps every new entry. Main's current C header comes with
it, so the HTTP corpus's falsification legs find a clean tree again.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-10-15 01:07:31 -04:00

2026-10-14

Transaction Science
wai-quantum 0.5.0: FabricClass is non-exhaustive
Some checks failed
WAI conformance / cross-arch byte-equality · linux (pull_request) Successful in 26s
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 48s
WAI energy receipts / energy receipts · linux (pull_request) Successful in 2m7s
WAI JPEG-AI whole decode (pinned inputs, required) / fetch pinned JPEG-AI inputs → whole decode + pixel hash, required (pull_request) Successful in 1m32s
WAI neural sink gates / model-free refusals of the neural sink (pull_request) Successful in 1m16s
wai-quantum CUDA member / member · CUDA absent (linux) (pull_request) Successful in 20s
wai-quantum FPGA member / member · FPGA simulation absent (linux) (pull_request) Successful in 16s
wai-quantum OpenCL member / member · OpenCL absent (linux) (pull_request) Successful in 19s
wai-quantum-qpu / clients against their contracts (linux) (pull_request) Successful in 20s
wai-quantum WebGPU member / shader checks · browser build · wasip2 inertness · MSRV (pull_request) Successful in 2m45s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Successful in 17m44s
wai-quantum WebGPU member / member · software Vulkan (linux) (pull_request) Successful in 1m59s
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Successful in 3m22s
WAI mbt2018_mean integer decode (regenerated vectors) / regenerate mbt2018_mean integer vectors → Rust decode, required (pull_request) Successful in 5m36s
WAI HTTP delivery / HTTP corpus · falsify mutations 0/3 (pull_request) Successful in 39m43s
WAI HTTP delivery / HTTP corpus · falsify mutations 1/3 (pull_request) Successful in 38m53s
WAI HTTP delivery / HTTP corpus · falsify patches 0/3 (pull_request) Failing after 1m0s
WAI HTTP delivery / HTTP corpus · falsify patches 1/3 (pull_request) Failing after 59s
WAI HTTP delivery / HTTP corpus · falsify patches 2/3 (pull_request) Failing after 59s
WAI HTTP delivery / HTTP corpus · every patch and mutation in exactly one shard (pull_request) Successful in 4s
WAI HTTP delivery / HTTP corpus · verified both ways, and the differential (pull_request) Successful in 2m26s
WAI HTTP delivery / cache rules · controls and labelled caches (pull_request) Successful in 1m7s
wai-pack / wai-pack · linux (pull_request) Successful in 1m18s
wai-pack / wai-pack · independent verifier (Python) (pull_request) Successful in 4m1s
wai-pack / wai-pack · the floor through a media prober (pull_request) Successful in 20s
wai-pack / wai-pack · dependency licences (pull_request) Successful in 1m21s
wai-web reach builds / wai-web reach builds · the package of record, every output as recorded (pull_request) Successful in 2m32s
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Successful in 4m44s
WAI HTTP delivery / HTTP corpus · falsify mutations 2/3 (pull_request) Successful in 39m41s
wai-quantum WebGPU member / member · DX12 and Vulkan (cbio-windows) (pull_request) Has been cancelled
A class can then be added in a minor release without breaking an
exhaustive match downstream. Found in review.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-10-14 20:07:53 -04:00
Transaction Science
ci: the wai-quantum member workflows run only when the pull request's own diff touches them
All checks were successful
wai cross-architecture byte-equality / macos-arm64 (reference) (pull_request) Has been skipped
wai formal verification (integer core) / does this change touch it (pull_request) Successful in 8s
wai formal verification (integer core) / every harness in one shard (pull_request) Has been skipped
wai formal verification (integer core) / kani (arith) (pull_request) Has been skipped
wai formal verification (integer core) / kani (isqrt512) (pull_request) Has been skipped
wai formal verification (integer core) / kani (plan) (pull_request) Has been skipped
wai formal verification (integer core) / kani (sound) (pull_request) Has been skipped
wai formal verification (integer core) / kani (stage) (pull_request) Has been skipped
wai formal verification (integer core) / kani (rans64-t2) (pull_request) Has been skipped
wai formal verification (integer core) / kani (stage-long) (pull_request) Has been skipped
wai formal verification (integer core) / kani (integer-core) (pull_request) Has been skipped
WAI neural decoders end-to-end / does this change touch it (pull_request) Successful in 14s
WAI neural decoders end-to-end / synthetic fixtures → Rust decode → reference (±4) (pull_request) Has been skipped
wai-ops integer operators / does this change touch it (pull_request) Successful in 10s
wai-ops integer operators / linux-aarch64 (pull_request) Has been skipped
wai-ops integer operators / linux-x86_64 (pull_request) Has been skipped
wai-ops integer operators / macos-arm64 (pull_request) Has been skipped
wai-ops integer operators / wasm32-wasip2 (wasmtime) (pull_request) Has been skipped
wai-ops integer operators / wasm32 under Node (pull_request) Has been skipped
wai-ops integer operators / independent checker (Python) (pull_request) Has been skipped
wai-vector vector graphics / does this change touch it (pull_request) Successful in 6s
wai-vector vector graphics / linux-aarch64 (pull_request) Has been skipped
wai-vector vector graphics / linux-x86_64 (pull_request) Has been skipped
wai-vector vector graphics / macos-arm64 (pull_request) Has been skipped
wai-vector vector graphics / wasm32-wasip2 (wasmtime) (pull_request) Has been skipped
wai-vector vector graphics / wasm32 under Node (pull_request) Has been skipped
wai-vector vector graphics / wasm32 in three browser engines (pull_request) Has been skipped
wai-vector vector graphics / fuzz, peak allocation, comparison count (pull_request) Has been skipped
wai-vector vector graphics / independent checker (Python) (pull_request) Has been skipped
jouleclaw public surface must stay documented / Public-surface audit (jouleclaw-rs) (pull_request) Successful in 1m3s
OpenCL, FPGA, QPU clients and CUDA gain the light job the WAI workflows
already have: it answers whether the pull request's diff touches the
workflow's paths, and every other job waits on it.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-10-14 19:55:51 -04:00
Transaction Science
Merge main into wai/quantum-0.5.0
The changelog keeps both new entries.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-10-14 19:55:51 -04:00
Transaction Science
wai-quantum 0.5.0: provenance, sampling members, device programs, OpenCL, a simulated FPGA, f64 on accelerators, and QPU clients
All checks were successful
WAI neural sink gates / model-free refusals of the neural sink (pull_request) Successful in 1m15s
wai-pack / wai-pack · does this change touch it (pull_request) Successful in 5s
WAI conformance / cross-arch byte-equality · macos (pull_request) Successful in 21s
wai-quantum CUDA member / member · CUDA absent (linux) (pull_request) Successful in 20s
wai-quantum FPGA member / member · FPGA simulation absent (linux) (pull_request) Successful in 17s
WAI conformance / codec wrappers · fuzz smoke, text decode limits, C entry points, provenance, the semantic path (pull_request) Successful in 43s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 2m10s
workflow hygiene / every workflow supersedes its own queue (pull_request) Successful in 5s
wai-quantum OpenCL member / member · OpenCL absent (linux) (pull_request) Successful in 20s
wai-quantum-qpu / clients against their contracts (linux) (pull_request) Successful in 19s
WAI energy receipts / energy receipts · macos (pull_request) Successful in 1m42s
wai-quantum FPGA member / member · FPGA datapath, simulated (macos) (pull_request) Successful in 1m11s
wai-quantum WebGPU member / shader checks · browser build · wasip2 inertness · MSRV (pull_request) Successful in 2m43s
wai-quantum OpenCL member / member · OpenCL GPU (macos) (pull_request) Successful in 21s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 9m10s
wai-quantum WebGPU member / member · software Vulkan (linux) (pull_request) Successful in 1m57s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Successful in 17m29s
wai-web reach builds / wai-web reach · does this change touch it (pull_request) Successful in 5s
wai-quantum WebGPU member / member · Metal (macos) (pull_request) Successful in 6m8s
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Successful in 3m22s
WAI mbt2018_mean integer decode (regenerated vectors) / regenerate mbt2018_mean integer vectors → Rust decode, required (pull_request) Successful in 5m25s
wai-quantum WebGPU member / member · browser WebGPU (macos) (pull_request) Successful in 3m46s
wai-pack / wai-pack · linux (pull_request) Successful in 1m40s
wai-pack / wai-pack · the floor through a media prober (pull_request) Successful in 33s
wai-pack / wai-pack · linux-arm64 (pull_request) Successful in 2m23s
wai-pack / wai-pack · dependency licences (pull_request) Successful in 1m34s
wai-pack / wai-pack · independent verifier (Python) (pull_request) Successful in 4m47s
wai-pack / wai-pack · macos (pull_request) Successful in 3m30s
wai-web reach builds / wai-web reach builds · the package of record, every output as recorded (pull_request) Successful in 2m57s
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Successful in 5m3s
Breaking: Certificate gains a public field, provenance; a silicon
certificate hashes exactly as before, and every pinned digest is unchanged.
quantum_fabric now includes quantum_toolchain.

- Provenance (silicon / emulator / simulator) inside the certificate hash;
  placement ranks silicon first.
- Sampling members: the sample kernels, the Sampler trait, statistical
  certification on the qpu-v1 corpus, a virtual QPU, and a virtual device
  that compiles each circuit for its coupling map and native basis.
- quantum_toolchain::device: OpenQASM 2/3 in standard gates only, multi-
  controlled gates lowered exactly, every qubit measured; counts read back.
  quantum_toolchain::native: rz/sx/x/cz, prx/cz and gpi/gpi2/zz (turns), routed
  over a coupling map and verified against the circuit by simulation.
  from_qasm reads ch.
- The OpenCL member (quantum_fabric_opencl), bit-exact on GPUs and CPUs.
- The FPGA member, simulated (quantum_fabric_fpga): a Verilog datapath
  compiled by Verilator at run time; certificates say simulator.
- The dense f64 state vector on accelerators (quantum_fabric::sv64): the
  CPU's own launches with no fused multiply-add, on CUDA and on OpenCL devices
  with binary64, certified against a pinned digest.
- wai-quantum-qpu 0.1.0: clients for three quantum processing protocols, the
  wai-qpu command, curl transport with secrets off command lines.
- CI: OpenCL, FPGA and QPU-client workflows; the CUDA and OpenCL hardware jobs
  certify the f64 state vector; the hardware host declares its devices.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-10-14 09:02:11 -04:00