# wasmQ conformance

Vectors for [`../../extensions/quantum-wasmq.md`](../../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 |

```sh
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:

```sh
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
```