open-standards/wai/quantum-conformance/wasmq

wasmQ conformance

Vectors for ../../extensions/quantum-wasmq.md §9.

Provenance. Generated here by wai-wasmq's tests/vectors.rs (WASMQ_BLESS=1) from the reference programs (wai-wasmq/src/reference.rs) and modules written as WebAssembly text or bytes in that file, which also holds every committed file to the bytes it makes. No media.

path	what
modules/	the reference modules of record, built on x86_64 Linux by wai-wasmq/modules/build.sh, with modules.json: their digests and the SHA-256 of every source that made them
envelopes/	envelopes; vectors.json runs pins what each gives on every engine and host: status, fault, fuel, the transcript's digest, the result's digest, the receipt's digest and, under the vectors' key (32 bytes of 7), the whole job's digest
envelopes/surface3-decode64.*	one run in the open: its program, the prior its decoder reads (the code's parity checks) and its sealed job
envelopes/v2-*	the profile's second version (§11.8): a T gate and a Toffoli, a rotation a module computes, angle arguments, each kind of gate the exact method takes with a random reset, and one Clifford program by each method; refuse/v2-* and refuse/v1-angle-argument what it refuses
refuse/	modules (also as WebAssembly text, where they have one) and envelopes a runner refuses; vectors.json refuse gives each one's code. There is at least one for every code, and each is one defect away from a module or an envelope that is accepted, which the test that makes them checks

cargo run --release --manifest-path wai/wai-wasmq/Cargo.toml --bin wasmq_vectors -- verify wai/quantum-conformance/wasmq

prints a line for each vector and a digest of all of them: the same on every host and every engine that conforms. Under wasm32 it runs with the interpreter alone:

cargo build --release --target wasm32-wasip2 --manifest-path wai/wai-wasmq/Cargo.toml --no-default-features --bin wasmq_vectors
wasmtime run -W nan-canonicalization=y -W relaxed-simd-deterministic=y --dir wai/quantum-conformance/wasmq::/v \
  wai/wai-wasmq/target/wasm32-wasip2/release/wasmq_vectors.wasm verify /v