# The WAI_OPS_GPU_REPORT lines of the runs on which determinism-tiers §5 claims
# decode-equivalence for the wai-ops/1-i32 graphs of wai/wai-ops-gpu, on this revision's
# kernel text (wai/wai-ops-gpu/src/wgsl/). Each line is as the crate's tests wrote it,
# except that its `adapter="..."` field, the name the backend reports for the device, is removed;
# the backend, PCI vendor and device, driver and driver version are as reported.
#
# Run 1. The forge's run 10236, job 46928, of .github/workflows/wai-ops-gpu.yml, on the
#   `macos` runner (arm64 desktop, macOS 27.0.1, Metal; the backend reports no PCI identity,
#   vendor and device 0x0), 2026-10-22, on the kernel text of commit c47a58cca, which the
#   kernels here are byte for byte. rustc 1.98.0, wgpu and naga 30.0.1, release.
# Run 2. `WAI_OPS_GPU_REQUIRE=1 cargo test --locked --release -- --nocapture
#   --test-threads=1` in wai/wai-ops-gpu, a Linux x86_64 host (kernel 7.0), 2026-10-24, at
#   commit 2aa4e54d3 of the change that added this file. rustc 1.98.0, wgpu and naga
#   30.0.1, release: every test of the crate ran and passed. The capability corpora (wai-rs
#   tests/ops_gpu.rs) were not run on this host.
#
# Run 1
ops-gpu arith mutant: key=gpu-metal-0 refused: the probe's word 3 differs from the host's on ProbeIn { a: 340282366920938463463374607431768211455, b: 34028236692
ops-gpu arith: key=gpu-metal-0 backend=metal type=integrated vendor=0x0 device=0x0 driver="" driver_info="" cases=1051757 words=4207
ops-gpu corpus: key=gpu-metal-0 backend=metal type=integrated vendor=0x0 device=0x0 driver="" driver_info="" acc32 vectors=813 decodes=1104; acc64 vectors=1426 decodes=1921; refusals=212
ops-gpu mutants: key=gpu-metal-0 killed 18 of 18
ops-gpu semantics mutant: key=gpu-metal-0 refused: the WGSL semantics suite: rem_i32 (ia % ib) a=0x00000001 b=0x00000000 c=0x00000000 d=0x00000000: WGSL gives 0x0000
ops-gpu semantics: key=gpu-metal-0 backend=metal type=integrated vendor=0x0 device=0x0 driver="" driver_info="" committed=25088 cases
# Run 2
ops-gpu arith: key=gpu-vulkan-1002 backend=vulkan type=integrated vendor=0x1002 device=0x1586 driver="radv" driver_info="Mesa 26.0.8-1ubuntu0.3" cases=1051757 words=42070280 equal
ops-gpu arith: key=swgpu-vulkan-10005 backend=vulkan type=cpu vendor=0x10005 device=0x0 driver="llvmpipe" driver_info="Mesa 26.0.8-1ubuntu0.3 (LLVM 21.1.8)" cases=1051757 words=42070280 equal
ops-gpu corpus: key=gpu-vulkan-1002 backend=vulkan type=integrated vendor=0x1002 device=0x1586 driver="radv" driver_info="Mesa 26.0.8-1ubuntu0.3" acc32 vectors=813 decodes=1104; acc64 vectors=1426 decodes=1921; refusals=212; cpu=209 load_refused=95 mismatches=0 errors=0 secs=0.2
ops-gpu corpus: key=swgpu-vulkan-10005 backend=vulkan type=cpu vendor=0x10005 device=0x0 driver="llvmpipe" driver_info="Mesa 26.0.8-1ubuntu0.3 (LLVM 21.1.8)" acc32 vectors=813 decodes=1104; acc64 vectors=1426 decodes=1921; refusals=212; cpu=209 load_refused=95 mismatches=0 errors=0 secs=0.7
ops-gpu mutants: key=gpu-vulkan-1002 killed 18 of 18
ops-gpu mutants: key=swgpu-vulkan-10005 killed 18 of 18
ops-gpu semantics mutant: key=gpu-vulkan-1002 refused: the WGSL semantics suite: rem_i32 (ia % ib) a=0x00000001 b=0x00000000 c=0x00000000 d=0x00000000: WGSL gives 0x00000000, got 0x00000001
ops-gpu semantics mutant: key=swgpu-vulkan-10005 refused: the WGSL semantics suite: rem_i32 (ia % ib) a=0x00000001 b=0x00000000 c=0x00000000 d=0x00000000: WGSL gives 0x00000000, got 0x00000001
ops-gpu semantics: key=gpu-vulkan-1002 backend=vulkan type=integrated vendor=0x1002 device=0x1586 driver="radv" driver_info="Mesa 26.0.8-1ubuntu0.3" committed=25088 cases=254464 guarded=231690 differ=0 unguarded=22774 unguarded_differ=0 unguarded_ops=none
ops-gpu semantics: key=swgpu-vulkan-10005 backend=vulkan type=cpu vendor=0x10005 device=0x0 driver="llvmpipe" driver_info="Mesa 26.0.8-1ubuntu0.3 (LLVM 21.1.8)" committed=25088 cases=254464 guarded=231690 differ=0 unguarded=22774 unguarded_differ=0 unguarded_ops=none