wai-quantum: a rotation's Clifford+T word takes the cheapest unit of the solver's solution, never more T gates than the reference implementation #671
2026-11-09
Merge origin/main into the branch
All checks were successful
WAI energy receipts / energy receipts · macos (pull_request) Successful in 13m9s
wai-quantum service / service · linux (pull_request) Successful in 6m2s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Successful in 3m4s
WAI conformance / cargo-class corpora · macos (pull_request) Successful in 14m57s
wai-quantum WebGPU member / member · software Vulkan (linux) (pull_request) Successful in 3m43s
wai-quantum views in agent hosts / views · a scripted host (pull_request) Successful in 4m17s
wai-quantum tensor-engine member / member · tensor engine, the kernel toolchain's simulator (linux) (pull_request) Successful in 7m33s
wai-web reach builds / wai-web reach builds · the package of record, every output as recorded (pull_request) Successful in 3m58s
wai-quantum views in agent hosts / views · the page and its engine (pull_request) Successful in 5m7s
WAI Studio / Studio in Chromium and Firefox · macos (pull_request) Successful in 7m56s
wai-quantum studio and desktop / desktop app · linux (pull_request) Successful in 8m15s
wai-quantum WebGPU member / shader checks · browser build · wasip2 inertness (pull_request) Successful in 4m54s
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (pull_request) Successful in 4m39s
wai-quantum WebGPU member / member · integrated GPU, Vulkan (framework-128gb) (pull_request) Successful in 9m59s
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Successful in 6m39s
wai-sink-swift native sink package / libwai slices, desktop tests, simulator tests · macos (pull_request) Successful in 11m32s
WAI conformance / cargo-class corpora · linux (pull_request) Successful in 20m0s
WAI energy receipts / energy receipts · linux (pull_request) Successful in 19m57s
wai-quantum signal processor / processor and member · signal processor, emulated (pull_request) Successful in 20m34s
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Successful in 9m28s
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 22m56s
wai-quantum studio and desktop / desktop app · windows (pull_request) Successful in 10m11s
wai-quantum WebGPU member / member · GPU, Vulkan (thor) (pull_request) Successful in 23m6s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 27m46s
WAI Studio / Studio in WebKit · linux (pull_request) Successful in 18m17s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 31m4s
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Successful in 27m16s
wai-quantum docs, course and locales / every command and snippet in the docs · linux (pull_request) Successful in 33m25s
wai-quantum command line / command line · linux (pull_request) Successful in 38m0s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Successful in 2h36m42s
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Merge origin/main into the branch
Some checks failed
wai-web reach builds / wai-web reach builds · the package of record, every output as recorded (pull_request) Successful in 4m29s
wai-quantum WebGPU member / member · DX12 and Vulkan (cbio-windows) (pull_request) Successful in 12m17s
wai-quantum WebGPU member / shader checks · browser build · wasip2 inertness (pull_request) Successful in 5m14s
wai-quantum tensor-engine member / member · tensor engine, the kernel toolchain's simulator (linux) (pull_request) Successful in 8m42s
wai-quantum studio and desktop / desktop app · linux (pull_request) Successful in 9m23s
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (pull_request) Successful in 4m23s
WAI conformance / cargo-class corpora · macos (pull_request) Successful in 18m50s
wai-quantum service / service · linux (pull_request) Successful in 10m52s
wai-sink-android native sink library / every ABI, the AAR, and the instrumented tests in a headless emulator · macos (pull_request) Successful in 4m48s
wai-quantum WebGPU member / member · software Vulkan (linux) (pull_request) Successful in 7m32s
WAI energy receipts / energy receipts · macos (pull_request) Successful in 12m59s
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Successful in 7m36s
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Successful in 7m53s
WAI Studio / Studio in Chromium and Firefox · macos (pull_request) Successful in 9m51s
wai-quantum signal processor / processor and member · signal processor, emulated (pull_request) Successful in 24m0s
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 26m12s
wai-quantum studio and desktop / desktop app · windows (pull_request) Successful in 9m21s
WAI energy receipts / energy receipts · linux (pull_request) Successful in 27m50s
wai-quantum WebGPU member / member · GPU, Vulkan (thor) (pull_request) Successful in 25m18s
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Successful in 25m29s
wai-sink-swift native sink package / libwai slices, desktop tests, simulator tests · macos (pull_request) Successful in 14m21s
wai-quantum WebGPU member / member · integrated GPU, Vulkan (framework-128gb) (pull_request) Successful in 16m29s
wai-quantum on every processor / emulated · powerpc64-unknown-linux-gnu (pull_request) Successful in 33m54s
wai-quantum docs, course and locales / every command and snippet in the docs · linux (pull_request) Successful in 29m25s
WAI Studio / Studio in WebKit · linux (pull_request) Successful in 19m0s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 35m6s
wai-quantum command line / command line · linux (pull_request) Successful in 33m14s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 29m34s
WAI conformance / cargo-class corpora · linux (pull_request) Successful in 41m16s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Failing after 51m47s
Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-11-08
Merge origin/main into the branch
Some checks failed
wai-quantum contract / API compatibility · linux (pull_request) Successful in 16m8s
wai-web reach builds / wai-web reach builds · the package of record, every output as recorded (pull_request) Successful in 3m12s
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Successful in 2m17s
wai-quantum studio and desktop / studio · browser (pull_request) Successful in 8m19s
wai-sink-android native sink library / every ABI, the AAR, and the instrumented tests in a headless emulator · macos (pull_request) Successful in 5m15s
wai-quantum views in agent hosts / views · a scripted host (pull_request) Successful in 7m10s
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 29s
WAI examples / WAI examples · portable · linux (pull_request) Successful in 21m12s
WAI Studio / Studio in Chromium and Firefox · macos (pull_request) Successful in 7m39s
wai-quantum WebGPU member / member · integrated GPU, Vulkan (framework-128gb) (pull_request) Successful in 15m3s
wai-quantum contract / schemas and the committed tool lists · linux (pull_request) Successful in 20m40s
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Successful in 3m50s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Successful in 2m29s
wai-quantum studio and desktop / desktop app · windows (pull_request) Successful in 10m19s
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Successful in 8m53s
wai-quantum signal processor / processor and member · signal processor, emulated (pull_request) Successful in 22m25s
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (pull_request) Successful in 4m2s
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Successful in 14m5s
wai-quantum studio and desktop / desktop app · linux (pull_request) Successful in 17m36s
wai-quantum WebGPU member / member · GPU, Vulkan (thor) (pull_request) Successful in 25m3s
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Successful in 15m10s
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 21m13s
wai-sink-swift native sink package / libwai slices, desktop tests, simulator tests · macos (pull_request) Successful in 17m41s
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Successful in 21m25s
WAI Studio / Studio in WebKit · linux (pull_request) Successful in 19m35s
wai-quantum docs, course and locales / every command and snippet in the docs · linux (pull_request) Successful in 33m55s
wai-quantum command line / command line · linux (pull_request) Failing after 35m8s
WAI energy receipts / energy receipts · linux (pull_request) Successful in 44m50s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 47m18s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Successful in 2h27m39s
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Merge origin/main into the branch
Some checks failed
wai-quantum tensor-engine member / member · tensor engine, the kernel toolchain's simulator (linux) (pull_request) Successful in 20m44s
WAI conformance / cargo-class corpora · linux (pull_request) Successful in 36m19s
wai-quantum command line / command line · linux (pull_request) Successful in 36m2s
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Successful in 18m37s
WAI Studio / Studio in WebKit · linux (pull_request) Successful in 25m7s
wai-quantum CUDA member / member · CUDA (jetson-hub) (pull_request) Successful in 2m31s
wai-quantum OpenCL member / member · OpenCL GPU and CPU (jetson-hub) (pull_request) Successful in 1m0s
wai-quantum service / service energy · linux packages (pull_request) Successful in 3m25s
wai-quantum portable tensor program / tensor program · GPUs (jetson-hub) (pull_request) Successful in 56s
joule-code conformance gate / joule-moq-relay, every target (pull_request) Successful in 3m56s
joule-code conformance gate / joule-moq-ingest, every target (pull_request) Successful in 10m3s
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (pull_request) Failing after 12m55s
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 2m9s
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Successful in 8m32s
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 22s
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 59s
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 4m35s
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Successful in 4m51s
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Successful in 37m45s
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Successful in 26m16s
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 29m46s
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 1m30s
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Successful in 3m39s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 40m11s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 31m50s
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Successful in 6m35s
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 52s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Successful in 3m49s
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (pull_request) Successful in 4m56s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Successful in 2h16m27s
Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-11-07
Merge origin/main (wai-quantum 0.9.0) into the branch
Some checks failed
wai-quantum portable tensor program / tensor program · GPUs (jetson-hub) (pull_request) Successful in 39s
wai-quantum service / service · linux (pull_request) Successful in 11m59s
wai-quantum signal processor / processor and member · signal processor, emulated (pull_request) Successful in 15m43s
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Successful in 8m31s
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Successful in 9m14s
wai-quantum service / service energy · linux packages (pull_request) Successful in 2m43s
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Successful in 13m25s
wai-quantum command line / command line · linux (pull_request) Successful in 27m7s
WAI conformance / cargo-class corpora · linux (pull_request) Successful in 30m53s
WAI energy receipts / energy receipts · linux (pull_request) Failing after 33m35s
wai-quantum tensor-engine member / member · tensor engine, the kernel toolchain's simulator (linux) (pull_request) Successful in 22m17s
WAI Studio / Studio in WebKit · linux (pull_request) Successful in 22m50s
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 1m43s
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 2m31s
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 1m52s
wai-quantum WebGPU member / member · GPU, Vulkan (thor) (pull_request) Successful in 25m18s
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 4m37s
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Successful in 2m41s
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Successful in 2m48s
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 1m11s
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Successful in 4m28s
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Successful in 34m19s
wai-quantum docs, course and locales / every command and snippet in the docs · linux (pull_request) Failing after 1h0m31s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Failing after 31m36s
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 1m11s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 32m21s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Successful in 3m53s
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 24m20s
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (pull_request) Successful in 6m4s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Successful in 2h20m46s
The catalog's table took main's jeff column, written again at 0.9.0, and this branch's compile and estimate values, each to fewer T gates. Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum-cli: two first uses at once make one key, not one failure
On a machine with no signing key, keys::load made one with create_new. Two processes doing so at once lost one of them: the second got AlreadyExists, or read the first's file before its text was written and found no key in it, and died. A host starting two MCP servers on a new machine does that; so do the verify tests' two MCP tests, which run in parallel on a fresh CI container. - On the old code, on a build host with a fresh HOME, verify failed 3 runs of 12, and 0 of 12 with a key already there. - Three servers started together lost 7 of 60: six to "File exists", one to "a key file holds 64 hex digits". The key is now written to a private file beside its name and linked in. A link fails if the name exists, so the file is never seen partly written, and the process that comes second reads the first's key. keys_made_at_once_are_one_key makes it from sixteen threads at once, 25 times. It fails in its first round when the old write is put back. The verify test's MCP helper kept no standard error, so the CI log showed a server that said nothing. It now panics with the server's exit status and its standard error. Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: the catalog's pins the synthesiser moves, each to fewer T gates
engine::catalog::whole_tests pins, for each program it holds, what the engine gave before a gate stood whole. Main added it after this branch's fix, and two of its columns depend on the synthesiser: the compile's output and the estimate's counts. With the cheapest unit kept, those moved on the rows whose rotations change word. Every one moved to fewer T gates, and none rose. The compile: - c3z 1080 → 1059, c3x 1080 → 1061, c3y 1079 → 1063, c3h 1081 → 1065 - c2u 1066 → 1058, c2sx 483 → 476, ccu 1078 → 1065 - c2swap 1080 → 1061, grover6 10080 → 9828 The estimate's rotation T: - c2rx, c2ry and c2rzz 460 → 450, c2u 1647 → 1631 - c2sx 624 → 611, ccu 1807 → 1791, c2swap 720 → 705 - c2gphase 117 → 114, cp 114 → 108 The old values are main's, read from the same probe on main's tree, which gave the pinned hashes back. The state hashes, gate digests and QIR and jeff exports do not depend on the synthesiser and did not move. The table's comment says which columns moved, and why. This was the red in every energy-receipts leg and in the extension points' legs. Co-Authored-By: Claude Opus 5.5 <[email protected]>
Merge origin/main into the branch
Some checks failed
wai-quantum OpenCL member / member · OpenCL GPU and CPU (jetson-hub) (pull_request) Successful in 36s
wai-quantum service / service energy · linux packages (pull_request) Successful in 1m53s
wai-quantum portable tensor program / tensor program · GPUs (jetson-hub) (pull_request) Successful in 26s
wai-quantum studio and desktop / desktop app · windows (pull_request) Successful in 9m23s
wai-quantum WebGPU member / member · GPU, Vulkan (thor) (pull_request) Successful in 23m18s
WAI breaking changes and the conformance runner / WAI breaking · wire, record and API against main · linux (pull_request) Successful in 1m57s
WAI Studio / Studio in WebKit · linux (pull_request) Successful in 34m20s
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 8m59s
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Successful in 27m55s
WAI examples / WAI examples · portable · linux (pull_request) Successful in 11m10s
joule-code conformance gate / joule-moq-relay, every target (pull_request) Failing after 4m42s
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (pull_request) Successful in 4m25s
joule-code conformance gate / joule-moq-ingest, every target (pull_request) Successful in 6m22s
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 56s
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 27s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Failing after 3m48s
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 54s
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 3m16s
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Successful in 1m58s
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 45s
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Successful in 2m28s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Failing after 14m37s
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Successful in 17m4s
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 36s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Successful in 3m12s
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Failing after 5m26s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Failing after 17m43s
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 21m47s
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (pull_request) Successful in 7m28s
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Successful in 9m35s
Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: what the unit search does to a rotation, as it is
The review of the synthesiser's fix found two claims that were wider than the code. The norm equation does not fix t up to a unit. Where a prime that splits in Z[ω] divides 2^k − |u|², it has other solutions, and the solver returns one of them. The search writes that solution's four unit multiples. The module, the function, the published row and the change note now say so. "Every word is as near its rotation as before" holds for each u, not for each rotation. The search runs over every u, and a u that lost may now win, with its own distance. Over the oracle's 1,192 rows, 350 words change, 57 of them at an unchanged T count, and 87 rotations end farther from Rz(θ). None ends past its ε. At an equal count none is farther. The Ising program's middle angle at 10⁻³ goes from 29 T gates at 3.50·10⁻⁴ to 27 at 6.15·10⁻⁴. The change note gives that rule, and says outputs change wherever a word does, not only where a count drops. rz_by takes the completion as an argument, so the tests compare the search with the solver's own unit: - the_unit_search_takes_no_more_t_gates_and_at_one_count_is_no_farther pins the tally over the sweep (release); - fewer_t_gates_can_end_farther_and_one_count_can_take_another_word holds the two cases above. The workflow requires both by name, and the published-architecture test refuses the old wording. Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-11-06
merge the guard fix from #665
All checks were successful
wai-quantum tensor-engine member / member · tensor engine, the kernel toolchain's simulator (linux) (pull_request) Successful in 9m55s
wai-web reach builds / wai-web reach builds · the package of record, every output as recorded (pull_request) Successful in 2m57s
wai-quantum service / service · linux (pull_request) Successful in 11m28s
wai-quantum WebGPU member / shader checks · browser build · wasip2 inertness (pull_request) Successful in 5m44s
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Successful in 4m42s
WAI Studio / Studio in WebKit · linux (pull_request) Successful in 11m36s
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Successful in 11m1s
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (pull_request) Successful in 2m0s
wai-quantum CUDA member / member · CUDA (jetson-hub) (pull_request) Successful in 1m42s
wai-quantum OpenCL member / member · OpenCL GPU and CPU (jetson-hub) (pull_request) Successful in 39s
wai-quantum service / service energy · linux packages (pull_request) Successful in 1m34s
wai-quantum portable tensor program / tensor program · GPUs (jetson-hub) (pull_request) Successful in 24s
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Successful in 22m11s
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 1m43s
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Successful in 8m35s
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 18s
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 53s
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 2m48s
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 20m27s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 26m25s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 29m52s
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Successful in 1m16s
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Successful in 7m39s
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 34s
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Successful in 1m39s
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 29s
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Successful in 3m44s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Successful in 2m1s
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (pull_request) Successful in 3m47s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Successful in 1h44m48s
Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: a rotation's word takes the norm equation's cheapest solution
Some checks failed
wai-quantum portable tensor program / tensor program · GPUs (jetson-hub) (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, release (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, rvv 1024-bit (riscv64, emulated) (pull_request) Has been cancelled
wai-quantum CPU vector units / member · vector unit, sve 128-bit (aarch64, emulated) (pull_request) Has been cancelled
wai-quantum CPU vector units / member · vector unit, rvv 128-bit (riscv64, emulated) (pull_request) Has been cancelled
wai-quantum CPU vector units / member · vector unit, sve 2048-bit (aarch64, emulated) (pull_request) Has been cancelled
wai-quantum CPU vector units / member · vector unit, avx2 (x86_64 silicon) (pull_request) Has been cancelled
wai-quantum CPU vector units / member · vector unit, sve 512-bit (aarch64, emulated) (pull_request) Has been cancelled
wai-quantum CPU vector units / member · vector unit absent (macos) (pull_request) Has been cancelled
wai-quantum verdicts and repairs / verdicts, repairs and the intent set · linux (pull_request) Has been cancelled
wai-quantum verdicts and repairs / the intent set and the verdict under wasm32-wasip2 (wasmtime) (pull_request) Has been cancelled
wai-quantum views in agent hosts / views · the page and its engine (pull_request) Has been cancelled
wai-quantum views in agent hosts / views · a scripted host (pull_request) Has been cancelled
wai-quantum WebGPU member / shader checks · browser build · wasip2 inertness (pull_request) Has been cancelled
wai-quantum WebGPU member / member · software Vulkan (linux) (pull_request) Has been cancelled
wai-quantum WebGPU member / member · Metal (macos) (pull_request) Has been cancelled
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Has been cancelled
wai-quantum WebGPU member / member · GPU, Vulkan (thor) (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 / the catalogue's actions, the unit tests and the core · linux (pull_request) Has been cancelled
WAI Studio / Studio in Chromium and Firefox · macos (pull_request) Has been cancelled
WAI Studio / Studio in WebKit · linux (pull_request) Has been cancelled
wai-web reach builds / wai-web reach builds · the package of record, every output as recorded (pull_request) Has been cancelled
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Has been cancelled
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Has been cancelled
On one of the four rotation angles of arXiv:2506.03094's Ising program the synthesiser took 84 T gates where the reference implementation, pygridsynth 1.0.1, takes 82. Both find the same u at the same denominator exponent, 42. The norm equation t't = 2^k - |u|^2 fixes t only up to a unit w^j, and the operators the units give differ by T gates: t' = w.t is T.U.T' with w taken into the second column's phase. The solver's own t was taken; it was w times the reference's, and its operator took two T gates more. Search caps were not the cause: raising the factoring budget to 2^22 and the tries per level to a million changed nothing. engine::synth::rz now writes the operator for each of t, w.t, w^2.t and w^3.t (j and j+4 are conjugate by Z, a Clifford) and keeps the fewest T gates, the solver's own on a tie. The diagonal is the same for every unit, so every word is as near its rotation as before. The tests, failing before the fix: - the_ising_angles_take_no_more_t_gates_than_the_reference: the four angles at 5e-9 took 79, 80, 81, 84 against the reference's 86, 80, 84, 82; now 79, 80, 79, 82. - never_more_t_gates_than_the_reference_over_the_sweep (release): 1,192 angles and precisions against pygridsynth 1.0.1's counts. Before, 157 took more, 530 fewer, 505 equal; now none more, 625 fewer, 567 equal. Pins that moved, every one to fewer T gates: - published_architectures: the Ising program's T gates 14,665,600 -> 14,592,000, its angles' 79, 80, 81, 84 -> 79, 80, 79, 82, and that row's text and the page. - docs/compiler.md's worked certificate: rz(1.1) at 5e-5 40 -> 38 T gates; the output's T count 78 -> 76, gates and depth 200 -> 197, its hash 65e0c256 -> a6aff9b0, phase-fold merges 41 -> 39, and the whole program's distance 7.124e-5 -> 7.270e-5, under its unchanged bound of 7.453e-5 (each rotation's distance is unchanged). No other test of the crate moved: every lib and integration test passed in release on the Linux x86_64 build host on the branch's first base; on this one, the synthesiser, published-architecture, compile, estimate and architecture tests pass in release and debug on Linux aarch64, and the regenerated page differs only in the two rows above. The published figures file takes their new guards. The resource-estimation workflow runs the synthesiser's tests in release and requires three by name. Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: the reference implementation's T counts, as test data
gridsynth_oracle.py runs pygridsynth 1.0.1, the reference implementation of the Ross-Selinger algorithm that arXiv:2506.03094 cites, on the four rotation angles of that paper's 10 x 10 Ising program at its 5e-9 and on 128 angles over (-pi, pi), at nine precisions from 1e-1 to 1e-13, and writes the angle, the precision (as the doubles both sides parse), its denominator exponent and its T count. The output is committed as tests/data/rz_gridsynth_oracle.csv. CI does not run the script and nothing depends on pygridsynth; it ran on the Linux build host. Changelog: none Co-Authored-By: Claude Opus 5.5 <[email protected]>