wai-quantum: an energy ceiling held by a live reading, and the command line can give one (stacked on #668) #670
2026-11-09
Merge wai/quantum-planner-contract (multi_verify.py's reason in main's words) into wai/quantum-cli-energy-estimate
Some checks failed
WAI Studio / Studio in WebKit · linux (pull_request) Successful in 11m54s
joule-moq-room room service / joule-moq-room, every target (pull_request) Successful in 5m35s
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Failing after 11m17s
wai-quantum CUDA member / member · CUDA (jetson-hub) (pull_request) Successful in 2m5s
wai-quantum OpenCL member / member · OpenCL GPU and CPU (jetson-hub) (pull_request) Successful in 41s
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 29s
wai-quantum WebGPU member / member · GPU, Vulkan (thor) (pull_request) Successful in 23m55s
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Successful in 21m3s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 25m43s
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 27s
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Successful in 35m35s
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 1m32s
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 1m1s
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 7m3s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 29m31s
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 35m28s
wai-pack / wai-pack · linux-arm64 (pull_request) Successful in 4m4s
wai-pack / wai-pack · the floor through a media prober (pull_request) Successful in 39s
wai-pack / wai-pack · dependency licences (pull_request) Successful in 2m19s
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Successful in 1m25s
wai-quantum-landscape-fpga reference design / the board's code on the board's processor's architecture · linux-arm64, release (pull_request) Successful in 1m15s
wai-pack / wai-pack · independent verifier (Python) (pull_request) Successful in 10m35s
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 1m21s
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 32s
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Successful in 4m1s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Successful in 2m22s
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Failing after 4m50s
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (pull_request) Successful in 4m31s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Failing after 2h6m15s
Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai: multi_verify.py's reason in NOT_HERE in main's words
Some checks failed
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Failing after 6m6s
wai-quantum CUDA member / member · CUDA (jetson-hub) (pull_request) Successful in 1m44s
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Successful in 7m32s
wai-quantum docs, course and locales / every command and snippet in the docs · linux (pull_request) Successful in 37m59s
wai-quantum OpenCL member / member · OpenCL GPU and CPU (jetson-hub) (pull_request) Successful in 40s
WAI Studio / Studio in WebKit · linux (pull_request) Successful in 23m41s
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 25s
wai-quantum WebGPU member / member · GPU, Vulkan (thor) (pull_request) Successful in 24m45s
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 6m46s
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Successful in 19m34s
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 31s
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 48s
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 2m31s
wai-pack / wai-pack · linux-arm64 (pull_request) Successful in 3m31s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 36m41s
wai-pack / wai-pack · dependency licences (pull_request) Successful in 41s
wai-pack / wai-pack · the floor through a media prober (pull_request) Successful in 1m8s
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 34m54s
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 59s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 30m49s
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Successful in 3m9s
wai-quantum-landscape-fpga reference design / the board's code on the board's processor's architecture · linux-arm64, release (pull_request) Successful in 3m25s
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Successful in 2m26s
wai-pack / wai-pack · independent verifier (Python) (pull_request) Successful in 10m5s
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 2m30s
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Failing after 6m17s
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (pull_request) Successful in 5m21s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Successful in 5m51s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Failing after 2h21m31s
Main named it too, in f6e302665; the line is now that one, so the two meet
without a conflict.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Merge wai/quantum-planner-contract (main at
4c5b54a27, and the fixes for #668's CI) into wai/quantum-cli-energy-estimate
Main's0aa569e72makes a key whole or not at all, as this branch's3867b6ecedid, in another form: main's keys.rs is kept, and the workflow names its test, keys::tests::keys_made_at_once_are_one_key, in place of this branch's. Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: the views page built again, its engine with the energy ceiling's rules
Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: the nesting bound's test reads at the bound on the stack a debug build needs
Main's 15ae7d457 reads programs nested to the bound (Q130) in a lib test on the
test thread's 2 MiB stack. A debug build's frames are many times a release
build's, so the debug run (wai-energy-receipts.yml's --lib --tests) overflowed
and aborted on x86_64 Linux and on macOS, stopping every test after it. The test
is of where the bound falls; what the bound asks of a stack is
tests/reader_stack.rs's, which reads at it on 16 MiB in a debug build. The test
now reads on a thread of 16 MiB, and inline on wasm32, which has no threads.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai: pack-conformance/multi_verify.py named where it runs, in wai-pack.yml
Main's 5df961d52 added the packages of several components' independent verifier,
which wai-pack.yml runs; no step file runs it and NOT_HERE did not name it, so
dx::independent::tests::every_verifier_in_the_tree_is_an_entry_or_says_why_not
failed in every job that runs the wai binary's tests, on main as here. Named
beside pack_verify.py, which the same workflow runs.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Merge main (the integer decode's float-free list,
4c5b54a27) into wai/quantum-planner-contract
Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum-cli: wai.quantum.timings/1 listed as a document with no schema file, and /9 as refused on purpose
The command line keeps the runs it has timed in a file of format wai.quantum.timings/1, and its test writes wai.quantum.timings/9 to see a file of another format kept aside; the repository's quantum names check found both accounted for nowhere. Listed in their groups, and the registry export written again. Co-Authored-By: Claude Opus 5.5 <[email protected]>
Merge wai/quantum-planner-contract (main at
5df961d52, and the fixes for #668's CI) into wai/quantum-cli-energy-estimate
Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: a contract's reasoning checked from the built-ins' declarations, and the views within 1 MiB again
planner::check read a built-in method's classes and auto rank through Registry::builtins(), whose methods are trait objects: every plan and run they reach was linked into whatever checks a receipt. The views' engine checks receipts in the page, and the page grew to 5 MB, past its 1 MiB limit (wai-quantum-views.yml). registry::declared reads the same from the built-ins' table, reaching none of their code; a test holds it to what every built-in says through its trait. With the contract's rules in it the engine is still 36 KB more than main's (282 KB against 246 KB), and the page, which carries the engine twice, 47 KB past the limit. The WebAssembly is now carried raw-deflated (RFC 1951) and inflated in the page by the platform's DecompressionStream, which needs no request and compiles no text: the page is 901 KB. The scripted host draws every view under the default policy (as JavaScript) and with WebAssembly allowed. The committed page is built again, so its engine checks contract jobs as the command line does. Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum-qpu: the linux leg pins its library at 93
The library holds 94 tests on macOS and 93 elsewhere: the keychain's test is cfg(target_os = "macos"), and the macOS leg runs it by name. The pin of 94 was counted on macOS. Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: wai.quantum.planner/2 listed as a string refused on purpose
The planner's test and the job receipts corpus seal a reasoning of format wai.quantum.planner/2 to see it refused (PLANNER_FORM); the repository's quantum names check found it accounted for nowhere. Listed beside job-result/2, and the registry export written again. Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: the receipts' second verifier runs once, through wai conform --independent
Main's e068412a4 moved receipt_differential.py --second-only into the step file's
`# independent:` line, and the merge of main kept this branch's copy of the run in
the body beside it; dx::independent::tests::the_union_is_one_command_and_the_workflow_keeps_no_copy
refused it in every job that runs the wai binary's tests. The planted defects stay
in the body, with this branch's three.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Merge main (the reader's nesting bound, the licence self-test, RUSTSEC-2026-0459,
5df961d52) into wai/quantum-planner-contract
Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-11-08
wai-quantum: the orphan test's run outlasts its window, so the test can fail
Some checks failed
wai-quantum docs, course and locales / every command and snippet in the docs · linux (pull_request) Failing after 30m45s
wai-quantum WebGPU member / member · GPU, Vulkan (thor) (pull_request) Successful in 25m31s
WAI Studio / Studio in WebKit · linux (pull_request) Successful in 26m33s
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (pull_request) Failing after 4m7s
WAI energy receipts / energy receipts · linux (pull_request) Failing after 1h12m11s
wai-quantum CUDA member / member · CUDA (jetson-hub) (pull_request) Successful in 1m55s
wai-quantum OpenCL member / member · OpenCL GPU and CPU (jetson-hub) (pull_request) Successful in 43s
wai-quantum service / service energy · linux packages (pull_request) Successful in 2m5s
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Successful in 8m21s
wai-quantum energy-landscape jobs / the same bits · linux-arm64 (pull_request) Successful in 7m34s
joule-moq-room room service / joule-moq-room, every target (pull_request) Successful in 5m0s
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Successful in 27m58s
wai-quantum portable tensor program / tensor program · GPUs (jetson-hub) (pull_request) Successful in 29s
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Successful in 18m43s
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 32s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Failing after 19m32s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Failing after 27m58s
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 47s
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 2m35s
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Successful in 1m29s
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 54s
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 20m17s
wai-quantum-landscape-fpga reference design / the board's code on the board's processor's architecture · linux-arm64, release (pull_request) Successful in 1m39s
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 42s
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Successful in 2m16s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Successful in 2m49s
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Successful in 4m13s
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (pull_request) Successful in 14m8s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Successful in 2h14m46s
A long Clifford circuit on 3000 qubits, a million shots, by the stabilizer method, within every cap (about 14 s on the Framework), killed once it has its job and is working. With every death link removed the run outlives its command line and the test fails, 3 of 3 on Linux and on macOS; with them it passes 10 of 10 on both. Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: the fifth check's remaining fixes
Some checks failed
wai-quantum CPU vector units / member · vector unit absent (macos) (pull_request) Has been cancelled
wai-quantum verdicts and repairs / does this change touch it (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 / does this change touch it (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 / does this change touch it (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 · integrated GPU, Vulkan (framework-128gb) (pull_request) Has been cancelled
wai-quantum WebGPU member / member · browser WebGPU (macos) (pull_request) Has been cancelled
wai-quantum WebGPU member / member · DX12 and Vulkan (cbio-windows) (pull_request) Has been cancelled
wai-sink-android native sink library / does this change touch it (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 / does this change touch it (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 / does this change touch it (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 · does this change touch it (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 / does this change touch it (pull_request) Has been cancelled
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Has been cancelled
- The guard that a stopped run's whole figure is no less than what stopped it is a function with its own test, and its mutant is caught. - On Linux a run's exit wakes the watch through a pidfd; tested, and its mutant is caught. - The frozen rule holds an exited read too: one that stands where the live reads stood while the run spent a millisecond or more of CPU time is no reading; a run that only waited and exited is not taken for frozen. - The fake package counter's test is given its probe, the cause of its flake under load; it passed 50 runs of 50 under a niced burner on every core. - Where a kill on Apple silicon leaves no honest whole reading, the stopped receipt says why rather than state a figure below the decision. Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: a receipt whose route's estimate is the least, sealed as the whole
Some checks failed
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Successful in 10m6s
wai-quantum views in agent hosts / views · a scripted host (pull_request) Successful in 10m40s
wai-quantum studio and desktop / desktop app · linux (pull_request) Successful in 19m42s
WAI Studio / Studio in WebKit · linux (pull_request) Successful in 23m9s
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (pull_request) Failing after 5m29s
wai-quantum CUDA member / member · CUDA (jetson-hub) (pull_request) Successful in 4m0s
wai-quantum OpenCL member / member · OpenCL GPU and CPU (jetson-hub) (pull_request) Successful in 1m22s
wai-quantum portable tensor program / tensor program · GPUs (jetson-hub) (pull_request) Successful in 1m5s
wai-quantum service / service energy · linux packages (pull_request) Successful in 4m11s
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Failing after 8m56s
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 1m57s
wai-quantum docs, course and locales / every command and snippet in the docs · linux (pull_request) Failing after 1h14m16s
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 34s
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 1m41s
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 4m28s
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 20m47s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Failing after 28m30s
wai-quantum energy-landscape jobs / the same bits · linux-arm64 (pull_request) Successful in 8m18s
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Successful in 1m23s
wai-quantum-landscape-fpga reference design / the board's code on the board's processor's architecture · linux-arm64, release (pull_request) Successful in 1m14s
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 41s
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Successful in 9m27s
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Successful in 2m15s
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Successful in 4m19s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Successful in 2m42s
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 26s
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Successful in 33m27s
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (pull_request) Successful in 4m20s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Failing after 41m33s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Successful in 2h13m46s
The at_least comparison in what ran had no receipt that only it could see. Co-Authored-By: Claude Opus 5.5 <[email protected]>
Merge wai/quantum-planner-contract (the at_least receipt) into wai/quantum-cli-energy-estimate
Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: the fifth check's tests that could not fail
- The orphan test's run takes far longer than its two-second window. - A stopped run's guard (a whole figure below what stopped it is no reading) is a function with its own test. - On Linux a run's exit wakes the watch (a pidfd), and its whole figure is read as it ends; tested. - On macOS an exited read that stands where the live reads stood while the run spent CPU time is a frozen counter's, and no reading. - The fake package counter's test is given its probe: the live probe wanted a thread a loaded host starves to tick in 12 of 15 20 ms intervals. - A receipt with a stop's time no whole number, the result's the same. Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: a run that ends before it reads its job is read by how it ended
Some checks failed
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Has been cancelled
wai-quantum energy-landscape jobs / the module under wasm32-wasip2 (wasmtime) (pull_request) Has been cancelled
wai-quantum OpenCL member / member · OpenCL GPU and CPU (jetson-hub) (pull_request) Has been cancelled
wai-quantum OpenCL member / member · OpenCL GPU and CPU (thor) (pull_request) Has been cancelled
wai-quantum verdicts and repairs / the intent set and the verdict under wasm32-wasip2 (wasmtime) (pull_request) Successful in 2m13s
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Has been cancelled
wai-quantum studio and desktop / desktop app · windows (pull_request) Successful in 10m16s
wai-quantum for Python / python · linux (pull_request) Has been cancelled
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Has been cancelled
wai-quantum service / service energy · linux packages (pull_request) Has been cancelled
wai-quantum service / service · linux (pull_request) Has been cancelled
wai-quantum verdicts and repairs / verdicts, repairs and the intent set · linux (pull_request) Successful in 2m56s
wai-quantum studio and desktop / studio · browser (pull_request) Has been cancelled
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Has been cancelled
wai-quantum studio and desktop / desktop app · linux (pull_request) Has been cancelled
wai-quantum tensor-engine member / member · tensor engine, the kernel toolchain's simulator (linux) (pull_request) Has been cancelled
wai-quantum portable tensor program / tensor program · GPUs (jetson-hub) (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 Studio / the catalogue's actions, the unit tests and the core · linux (pull_request) Successful in 1m32s
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Has been cancelled
wai-quantum views in agent hosts / views · a scripted host (pull_request) Has been cancelled
wai-quantum views in agent hosts / views · the page and its engine (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 · GPU, Vulkan (thor) (pull_request) Has been cancelled
wai-quantum WebGPU member / member · software Vulkan (linux) (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 Studio / Studio in WebKit · linux (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 reach builds / wai-web reach builds · the package of record, every output as recorded (pull_request) Has been cancelled
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Has been cancelled
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Merge wai/quantum-planner-contract (its fifth check) into wai/quantum-cli-energy-estimate
Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: the fifth check: a run's death-link compares the pid its spawner gave
The service, and the command line, can be pid 1 of a namespace, as the shipped image runs it; a worker that took pid 1 for a dead parent exited at once, and every job failed. The spawner now passes its own pid, and the worker compares its parent with that alone, at once and then every 100 ms; a death-link thread that cannot start ends the run. A test runs each as pid 1 of a user and pid namespace, and the service workflow runs the shipped image where it can. Also: the longest gap counts from the run's start; the service's Mac meter reads again after a spin before it calls the counter dead; the SIGCHLD test sets SIG_IGN with perl, which keeps it across exec. Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: the fifth check: lists and objects compared alike in both verifiers, and recheck across versions held neither way
Some checks failed
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Has been cancelled
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Has been cancelled
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Has been cancelled
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Has been cancelled
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Has been cancelled
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Has been cancelled
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Has been cancelled
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Has been cancelled
WAI examples / WAI examples · portable · linux (pull_request) Has been cancelled
wai-quantum CUDA member / member · CUDA (jetson-hub) (pull_request) Has been cancelled
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Has been cancelled
wai-quantum-landscape-fpga reference design / the board's code on the board's processor's architecture · linux-arm64, release (pull_request) Has been cancelled
wai-quantum energy-landscape jobs / the same bits · linux-arm64 (pull_request) Has been cancelled
wai-quantum energy-landscape jobs / reader, kernels, answers and the stated result · linux, release (pull_request) Has been cancelled
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Has been cancelled
wai-quantum OpenCL member / member · OpenCL GPU and CPU (jetson-hub) (pull_request) Has been cancelled
wai-quantum energy-landscape jobs / native against WebAssembly, over many seeds (pull_request) Has been cancelled
wai-quantum pulse and dynamics / the same bits · linux-arm64 (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) Successful in 7m29s
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Has been cancelled
wai-quantum service / service energy · linux packages (pull_request) Has been cancelled
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Has been cancelled
wai-quantum portable tensor program / tensor program · GPUs (jetson-hub) (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 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-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 Studio / Studio in WebKit · linux (pull_request) Has been cancelled
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (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
- Both verifiers compare lists and objects member by member, by the same rule as their members: numbers by value, a boolean only to a boolean, null as absent. - A recheck of a receipt sealed by another engine version gives holds null even where this engine's prices or plans differ: what differs is said. Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: two tests that a loaded or unmetered Linux host failed
Some checks failed
wai-sink-swift native sink package / libwai slices, desktop tests, simulator tests · macos (pull_request) Successful in 29m24s
joule-code conformance gate / joule-moq-relay, every target (pull_request) Successful in 8m5s
wai-quantum docs, course and locales / every command and snippet in the docs · linux (pull_request) Failing after 1h15m33s
joule-code conformance gate / joule-moq-ingest, every target (pull_request) Successful in 10m50s
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (pull_request) Failing after 10m39s
wai-quantum CUDA member / member · CUDA (jetson-hub) (pull_request) Successful in 2m12s
wai-quantum OpenCL member / member · OpenCL GPU and CPU (jetson-hub) (pull_request) Successful in 50s
joule-moq-room room service / joule-moq-room, every target (pull_request) Successful in 9m32s
wai-quantum service / service energy · linux packages (pull_request) Successful in 2m20s
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Successful in 11m55s
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Successful in 10m31s
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 22s
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 5m45s
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 51s
wai-quantum portable tensor program / tensor program · GPUs (jetson-hub) (pull_request) Successful in 27s
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 3m17s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Failing after 23m17s
wai-quantum energy-landscape jobs / the same bits · linux-arm64 (pull_request) Successful in 7m37s
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 20m37s
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Successful in 27m30s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Failing after 39m59s
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Successful in 1m23s
wai-quantum-landscape-fpga reference design / the board's code on the board's processor's architecture · linux-arm64, release (pull_request) Successful in 1m25s
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 39s
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Successful in 2m14s
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Successful in 3m45s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Successful in 3m20s
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 34s
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (pull_request) Successful in 6m54s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Has been cancelled
The fake package counter's test asks the probe longer on a loaded host, and the service's stop test passes a host whose worker nothing reads (it refuses the route, J071), as it may not on a Mac. Co-Authored-By: Claude Opus 5.5 <[email protected]>
Merge wai/quantum-planner-contract (0.9.0's tool lists and the qpu pin) into wai/quantum-cli-energy-estimate
Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: the tool lists blessed on 0.9.0, and the qpu library's pin at 94
Some checks failed
WAI Studio / Studio in Chromium and Firefox · macos (pull_request) Successful in 9m37s
WAI Studio / Studio in WebKit · linux (pull_request) Successful in 19m29s
joule-code conformance gate / joule-moq-relay, every target (pull_request) Failing after 5m39s
joule-code conformance gate / joule-moq-ingest, every target (pull_request) Successful in 8m4s
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (pull_request) Failing after 3m7s
wai-quantum WebGPU member / member · GPU, Vulkan (thor) (pull_request) Successful in 25m56s
wai-quantum CUDA member / member · CUDA (jetson-hub) (pull_request) Successful in 2m4s
wai-quantum OpenCL member / member · OpenCL GPU and CPU (jetson-hub) (pull_request) Successful in 49s
wai-quantum service / service energy · linux packages (pull_request) Successful in 2m19s
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Successful in 8m12s
wai-quantum portable tensor program / tensor program · GPUs (jetson-hub) (pull_request) Successful in 28s
wai-quantum energy-landscape jobs / the same bits · linux-arm64 (pull_request) Successful in 7m47s
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 31s
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Successful in 16m15s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Failing after 18m40s
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 55s
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 2m28s
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Successful in 1m25s
wai-quantum-landscape-fpga reference design / the board's code on the board's processor's architecture · linux-arm64, release (pull_request) Successful in 1m21s
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 39s
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Successful in 2m18s
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Successful in 24m13s
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 19m36s
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Successful in 3m56s
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 43s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Successful in 2m23s
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (pull_request) Successful in 6m59s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Failing after 39m1s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Has been cancelled
Main's 0.9.0 adds a test to the qpu library; with this branch's it holds 94. Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: the tool lists blessed on the merged tree; a test of what is read keeps its reading
Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: the routes' digests pinned again on 0.9.0's prices
Main's 0.9.0 changes what four of the five pinned jobs' routes cost; the fifth is unchanged. The new digests were read on macOS arm64 and held on Linux. Co-Authored-By: Claude Opus 5.5 <[email protected]>
Merge wai/quantum-planner-contract (a test's plan, metered) into wai/quantum-cli-energy-estimate
Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: a test's plan has 0.9.0's metered member
Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: the tests' plans have 0.9.0's metered member
Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: the corpus's stop on a provider's run is of the earlier form too
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Merge wai/quantum-planner-contract (its fourth check, main at 0.9.0) into wai/quantum-cli-energy-estimate
Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: the fourth check of a ceiling: a run dies with its watcher, and its figure is added up
- A run's process ends with the one that watches it: its standard input stays open while the command line lives, the run exits on its close, and on Linux the kernel kills it with its parent. A thread that cannot start kills the run. - A package's counter is added up read by read for the whole figure, on the command line and in the service, so a run past the counter's range is read in full; a whole figure below what stopped the run is no reading, and both verifiers hold a stopped receipt's figure and time to the decision's. - A counter that stands still while the run spends CPU time is frozen, and loses the run as silence does; the longest gap counts the time before the first read; a counter that reads nothing once is read again after a spin. - On macOS a worker leaves the core before it exits, and an exited read far below its CPU time is no reading. - SIGCHLD is set to its default before a run is waited for, and a reading kept nowhere is not taken. Co-Authored-By: Claude Opus 5.5 <[email protected]>
Merge main (wai-quantum 0.9.0,
e54f28102) into wai/quantum-planner-contract
Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-11-07
wai-quantum: the planner's fourth check: one comparison in both verifiers, the earlier form, a locked word
- Both verifiers compare a route's money, device and provenance with what ran alike: numbers by value (7 and 7.0, -0 and 0), a boolean only to a boolean, null as an absent member. - Under a contract a provider's result of the earlier form is refused (contract_form), in both verifiers. - A recheck of a receipt sealed by another engine version gives holds null, and reads the job's memory as a number by value. - A routed word's count and its run's record are taken under one lock on the ledger, so two sends of one word do not both go; a run the provider took spends the word whatever became of it. - A job that names a provider, under a contract that allows one but wants a class no provider's counts have, is refused (J071) before it is described or asked for an estimate. - CI runs the receipt plants side by side: each runs the whole differential, and run one after another they took the job past its hour. Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: clippy on the child run's test and the service's one test module
Some checks failed
wai-quantum signal processor / processor and member · signal processor, emulated (pull_request) Successful in 24m19s
WAI examples / WAI examples · the archive, the readiness check, the browser and Apple · macos (pull_request) Successful in 20m10s
wai-quantum energy-landscape jobs / reader, kernels, answers and the stated result · linux, release (pull_request) Successful in 6m14s
wai-quantum studio and desktop / desktop app · windows (pull_request) Successful in 10m8s
wai-quantum energy-landscape jobs / native against WebAssembly, over many seeds (pull_request) Successful in 8m39s
wai-quantum docs, course and locales / every command and snippet in the docs · linux (pull_request) Successful in 30m36s
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Successful in 1m42s
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 47s
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Failing after 57s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Failing after 17m13s
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 46s
wai-quantum HIP member / member · HIP (framework-128gb) (pull_request) Successful in 1m54s
WAI examples / WAI examples · portable · linux (pull_request) Successful in 15m18s
WAI Studio / Studio in WebKit · linux (pull_request) Successful in 20m17s
wai-quantum CUDA member / member · CUDA (thor) (pull_request) Successful in 3m54s
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Successful in 4m38s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Successful in 4m4s
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 21m15s
wai-quantum npu-cores member / member · npu-cores, neural processor (framework-128gb silicon) (pull_request) Successful in 4m58s
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (pull_request) Successful in 4m30s
wai-quantum OpenCL member / member · OpenCL GPU (framework-128gb) (pull_request) Successful in 46s
wai-quantum portable tensor program / tensor program · integrated GPU (framework-128gb) (pull_request) Successful in 19s
wai-quantum CPU vector units / member · vector units, avx2 and avx512 (framework-128gb silicon) (pull_request) Successful in 25s
wai-quantum energy-landscape jobs / the same bits · linux-arm64 (pull_request) Successful in 1m52s
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Successful in 8m49s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 25m7s
wai-quantum command line / command line · linux (pull_request) Failing after 1h0m1s
wai-quantum WebGPU member / member · integrated GPU, Vulkan (framework-128gb) (pull_request) Successful in 16m52s
wai-quantum OpenCL member / member · OpenCL GPU and CPU (thor) (pull_request) Successful in 1m10s
wai-quantum WebGPU member / member · GPU, Vulkan (thor) (pull_request) Successful in 25m33s
The test of a run in its own process fails on a Mac rather than skipping, without a constant assertion; the service's meter test is in its one test module, the kernel's test gated to macOS within it. Co-Authored-By: Claude Opus 5.5 <[email protected]>
Merge wai/quantum-planner-contract (its third check) into wai/quantum-cli-energy-estimate
Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: the planner's third check: what ran is the route chosen, and a word sends one run
Some checks failed
wai-quantum portable tensor program / tensor program · integrated GPU (framework-128gb) (pull_request) Successful in 23s
wai-quantum CPU vector units / member · vector units, avx2 and avx512 (framework-128gb silicon) (pull_request) Successful in 33s
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Successful in 7m8s
wai-quantum studio and desktop / desktop app · windows (pull_request) Successful in 10m10s
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Failing after 9m11s
WAI energy receipts / energy receipts · linux (pull_request) Successful in 31m52s
wai-quantum docs, course and locales / every command and snippet in the docs · linux (pull_request) Successful in 30m3s
wai-quantum energy-landscape jobs / the module under wasm32-wasip2 (wasmtime) (pull_request) Failing after 43s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Failing after 14m32s
WAI breaking changes and the conformance runner / WAI breaking · wire, record and API against main · linux (pull_request) Successful in 3m27s
wai-quantum signal processor / processor and member · signal processor, emulated (pull_request) Successful in 34m11s
wai-quantum energy-landscape jobs / reader, kernels, answers and the stated result · linux, release (pull_request) Successful in 6m22s
wai-quantum energy-landscape jobs / native against WebAssembly, over many seeds (pull_request) Successful in 6m49s
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Successful in 4m33s
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 39s
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 10m17s
WAI examples / WAI examples · the archive, the readiness check, the browser and Apple · macos (pull_request) Successful in 22m59s
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 21m42s
wai-quantum CUDA member / member · CUDA (thor) (pull_request) Successful in 3m53s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Successful in 2m58s
wai-quantum OpenCL member / member · OpenCL GPU and CPU (thor) (pull_request) Successful in 1m39s
wai-quantum WebGPU member / member · integrated GPU, Vulkan (framework-128gb) (pull_request) Successful in 17m11s
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (pull_request) Successful in 4m38s
wai-quantum energy-landscape jobs / the same bits · linux-arm64 (pull_request) Successful in 1m58s
WAI Studio / Studio in WebKit · linux (pull_request) Successful in 34m44s
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Successful in 9m6s
wai-quantum command line / command line · linux (pull_request) Failing after 1h0m0s
WAI examples / WAI examples · portable · linux (pull_request) Successful in 29m27s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 44m29s
wai-quantum WebGPU member / member · GPU, Vulkan (thor) (pull_request) Successful in 26m23s
Each finding reproduced first, by a crafted receipt both verifiers accepted or a test of the old code, and each has a receipt or test that fails without it. - What ran is the route chosen (`planner_choice`): a provider's result has its route's money as its cost (free alike; amount, currency, unit and at_least alike), and the device and provenance its route names. A run sealed at 50 USD on a route called free, a paid run sealed free and unconfirmed, and a route naming another device are found by both verifiers. - A provider's route has the class its provenance gives; every built-in method's route but stabilizer's, stabilizer-rank's and cut-rank's has the one class its table gives (a matrix product state's is heuristic); a method the host registered depends on the host; a shadow's outcomes are as long as the provider's. - A recheck of a receipt sealed by another engine whose shadow did not run says what this engine plans and does not say it holds (holds null). - A routed run's word binds the job's contract and how many runs of the job the ledger holds: one word sends one run, and a dry run after it gives the next run's word. - An open-protocol provider may say in describe that it cannot cancel (`cancels: false`, section 5.1) and in an estimate that its amount is the least the job can come to (`at_least`, section 5.2); its price says so. The qpu library's pin is 93, with the two new tests' names. Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: a run under a ceiling is a process of its own, killed at the ceiling and read whole
The third check of #670 found that a stop on the command line left the run computing while it re-read the program and sealed: a run passed its ceiling by up to five times, and the receipt said only the reading at the decision. A run that ended between two reads was sealed with its answer and kept.energy null. - The command line runs a job under a ceiling in a process of its own (`estimates::run_watched`), reads it about every 10 ms as the host schedules it, and kills it at the ceiling, so the work stops there. Its whole figure is read when it ends, killed or not, and sealed; a run past its ceiling that finished between two reads is sealed as having missed it (exit 4). - A stopped receipt says the longest time between two reads; a counter silent for a second of time, not a hundred reads, stops the run. On macOS the watching thread asks for the quality of service of work a person waits on. - A run that fails ends the watch at once; nothing hangs on a still counter. - The job service reads a stopped worker whole before it is reaped, and seals that figure; a Mac whose counter reads nothing gives no meter, so its routes are refused under a ceiling. - A stopped result has no member but those it is built with, in both verifiers: no verdict, outputs, mitigation or distribution beside it. Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: the stop's tests close their gaps; clippy's two findings
Some checks failed
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 4m13s
wai-quantum energy-landscape jobs / the module under wasm32-wasip2 (wasmtime) (pull_request) Failing after 59s
WAI energy receipts / energy receipts · linux (pull_request) Successful in 38m52s
wai-quantum energy-landscape jobs / reader, kernels, answers and the stated result · linux, release (pull_request) Successful in 5m1s
wai-quantum energy-landscape jobs / native against WebAssembly, over many seeds (pull_request) Successful in 7m23s
WAI examples / WAI examples · portable · linux (pull_request) Successful in 11m29s
wai-quantum WebGPU member / member · GPU, Vulkan (thor) (pull_request) Successful in 24m41s
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Successful in 22m56s
wai-quantum command line / command line · linux (pull_request) Failing after 1h0m2s
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (pull_request) Failing after 2m4s
joule-code conformance gate / joule-moq-relay, every target (pull_request) Failing after 3m45s
joule-code conformance gate / joule-moq-ingest, every target (pull_request) Successful in 6m35s
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 3m8s
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 1m38s
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 57s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Failing after 7m8s
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 3m42s
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Successful in 16m2s
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Successful in 1m39s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Failing after 15m19s
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 39s
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Failing after 2m13s
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 1m11s
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Successful in 4m25s
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 22m23s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Successful in 3m42s
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (pull_request) Successful in 4m22s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 36m35s
wai-quantum energy-landscape jobs / the same bits · linux-arm64 (pull_request) Successful in 1m55s
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Successful in 8m54s
- A reading exactly at the ceiling stops a run, and its `kept` is false; a stop on a provider's result is refused. Two mutants survived without these. - The fake package counter's test takes a window again where a busy host starved its writer; every window still has to cover the updates probed. - A test that would skip on a Mac fails there instead, without a constant assertion; the service the stop's test starts is waited for. Co-Authored-By: Claude Opus 5.5 <[email protected]>
Merge wai/quantum-planner-contract (
cancel in the tool lists) into wai/quantum-cli-energy-estimate
Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum-cli: a key appears whole or not at all; an estimate at a ceiling refuses nothing
Two processes starting together with no key: one created the file empty and wrote it, and the other read it empty, or found it there, and died. A fresh XDG_CONFIG_HOME in CI opens that window on every run. A key is now written beside its path and linked in, and the one that finds a key there reads it. The mutants of the second verifier found a rule nothing held: an estimate exactly at a ceiling is not past it. A crafted receipt and a self-test case hold it, and the self-test now holds what the corpus alone held of a stop. Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: the tool lists blessed with
cancel in what a price leaves out
Some checks failed
WAI energy receipts / energy receipts · linux (pull_request) Successful in 26m50s
WAI Studio / Studio in WebKit · linux (pull_request) Successful in 12m17s
wai-quantum CUDA member / member · CUDA (thor) (pull_request) Successful in 3m16s
wai-quantum OpenCL member / member · OpenCL GPU and CPU (thor) (pull_request) Successful in 1m29s
wai-quantum signal processor / processor and member · signal processor, emulated (pull_request) Successful in 33m14s
wai-quantum docs, course and locales / every command and snippet in the docs · linux (pull_request) Successful in 40m42s
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Successful in 22m7s
wai-quantum WebGPU member / member · GPU, Vulkan (thor) (pull_request) Successful in 26m45s
wai-quantum command line / command line · linux (pull_request) Failing after 1h0m1s
joule-code conformance gate / joule-moq-relay, every target (pull_request) Successful in 4m41s
joule-code conformance gate / joule-moq-ingest, every target (pull_request) Successful in 6m44s
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (pull_request) Failing after 5m14s
wai-quantum energy-landscape jobs / the same bits · linux-arm64 (pull_request) Successful in 1m53s
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 26s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Failing after 3m42s
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Successful in 14m50s
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Successful in 10m41s
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 26s
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 49s
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 37s
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Successful in 1m29s
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Failing after 48s
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 32s
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 3m5s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Successful in 2m43s
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Successful in 4m15s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Failing after 13m57s
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (pull_request) Successful in 4m18s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 25m33s
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 27m17s
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Merge wai/quantum-planner-contract (the verification closed out) into wai/quantum-cli-energy-estimate
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Merge wai/quantum-planner-contract (main, #660 and the verification's fixes), and hold a ceiling by a live reading
No figure before a run can be an upper bound: a plan's work leaves out what drives its time. So `max_joules` is enforced while the job runs. - `engine::energy::watch` reads the counter every 10 ms; at the ceiling the run is stopped, on the command line and in the service's worker, and a receipt says so: no answer, `accuracy.class` `none`, `stopped`, `kept.energy` false. New reason `stopped`, section 8.7, in both verifiers. - A route nothing can read and stop is refused under a ceiling with why (`energy_unwatched`): no counter, a device none reads, a provider, a run in a process with other work in it. A route states `watch` or `unwatched`. - A counter that goes silent for a second stops the run, and nothing is sealed. - The figure stays as an estimate: it can refuse a job clearly past a ceiling and promises nothing. `energy.at_least`, `energy_unknown` and `energy_at_least` are gone. - The timings store is keyed on version, profile and features too. - A package counter is added up read by read, so a run may wrap it. Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: the planner's verification, closed out
- The schema takes `cancel` in `leaves_out`: every word a price can leave out is now held to its schema by a test. - A provider's plan takes up its reasoning only once it is held to what a receipt of it must be (`Plan::reason_held`): one place, so the check and the reasoning cannot part. - A provider-named job shadowed by cut-rank in single precision: its route has the class of the plan its shadow would have. - A deadline a host's timer kept on a result with no time of its own, in the second verifier's self-test. - The changelog and both READMEs say when a provider is asked, what the word binds and when a job past its deadline ends. The qpu library's pin is 91, with the new test's name. Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: the verification of the planner's review, fixed
A provider-named job's local routes carry the class their shadow has, and the reasoning is held to section 8.7 before anything is sent, so a stabilizer shadow no longer costs a paid run its receipt. A table gives each built-in method its classes: both verifiers hold a route, a local result and a shadow to it, with host_dependent, a method's memory and work, the host's providers, and a shadow's outcomes. recheck plans the shadow again, compares its class, the job's named route, and auto over the host's own routes as stated. A provider a contract does not allow is told nothing; none is asked when no class it could give is named. The confirmation word binds who the provider is. Past a deadline only the provider's word ends a job, and a client that cannot cancel says so. A target's and a pulse program's deadline is reported from the host's time. Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-11-06
Merge main (#660 and #654 landed) into wai/quantum-planner-contract
Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: the tool lists blessed again on the merged tree
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Merge wai/quantum-planner-contract (cloud-tasks' test endpoint, the tool lists) into wai/quantum-cli-energy-estimate
Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: the contract test on cloud-tasks at #660's test endpoint; the tool lists blessed again
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Merge wai/quantum-planner-contract (#660 merged, the contract now section 8.7) into wai/quantum-cli-energy-estimate
The READMEs keep this branch's ceiling paragraphs, their section reference 8.7. Co-Authored-By: Claude Opus 5.5 <[email protected]>
Merge wai/quantum-receipt-fields (#660 at
fc44eb344, #654's cloud-tasks in it) into wai/quantum-planner-contract
#660 takes section 8.6 for a set's receipt, so the contract is section 8.7: its heading, and every reference to it in the spec, both verifiers, the schemas, the READMEs and the changelog. cloud_tasks.rs and tests/clients.rs are #660's; the qpu workflow pins both sides' tests (87, 17 and 12). The second verifier keeps #660's judge_job and adds the contract's check and statement to it; the plants are both sides'; make.sh makes both sides' receipts; verify_quantum_result takes a job's text and a recheck. Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: an energy ceiling is held only to an upper bound, the corpus and the tool lists with it
Some checks failed
wai-quantum WebGPU member / shader checks · browser build · wasip2 inertness (pull_request) Successful in 5m47s
WAI Studio / Studio in WebKit · linux (pull_request) Successful in 12m14s
wai-quantum signal processor / processor and member · signal processor, emulated (pull_request) Successful in 41m32s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux, release (pull_request) Successful in 6m22s
wai-quantum studio and desktop / studio · browser (pull_request) Failing after 4m53s
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Successful in 9m24s
wai-quantum studio and desktop / desktop app · linux (pull_request) Successful in 9m57s
wai-quantum CUDA member / member · CUDA (jetson-hub) (pull_request) Successful in 1m16s
wai-quantum OpenCL member / member · OpenCL GPU and CPU (jetson-hub) (pull_request) Successful in 30s
wai-quantum service / service energy · linux packages (pull_request) Failing after 11s
wai-quantum portable tensor program / tensor program · GPUs (jetson-hub) (pull_request) Successful in 20s
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (pull_request) Successful in 2m3s
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Successful in 16m43s
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 2m8s
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 36s
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 21m7s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 25m55s
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 1m9s
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 2m40s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 23m40s
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Successful in 1m53s
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 38s
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Successful in 8m45s
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 37s
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Successful in 9m28s
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Successful in 4m10s
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Failing after 8m5s
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (pull_request) Successful in 6m37s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Successful in 3m49s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Successful in 1h47m59s
The corpus's crafted receipts for energy at_least (under the ceiling, over it, claimed to meet it, given false, on no figure), and the tool lists and the agent docs blessed again for price.energy's bound, its basis and its estimate. Co-Authored-By: Claude Opus 5.5 <[email protected]>
Merge wai/quantum-planner-contract (its corpus and proofs) into wai/quantum-cli-energy-estimate
Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: the review of the planner's contract fixed, with the corpus that holds it
Some checks failed
wai-quantum WebGPU member / shader checks · browser build · wasip2 inertness (pull_request) Successful in 5m56s
WAI Studio / the catalogue's actions, the unit tests and the core · linux (pull_request) Successful in 1m27s
WAI mbt2018_mean integer decode (regenerated vectors) / regenerate mbt2018_mean integer vectors → Rust decode, required (pull_request) Successful in 9m51s
wai-web reach builds / wai-web reach builds · the package of record, every output as recorded (pull_request) Successful in 4m17s
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Successful in 4m54s
wai-quantum command line / command line · linux (pull_request) Failing after 1h0m2s
WAI Studio / Studio in WebKit · linux (pull_request) Successful in 12m5s
wai-quantum CUDA member / member · CUDA (jetson-hub) (pull_request) Successful in 1m16s
wai-quantum OpenCL member / member · OpenCL GPU and CPU (jetson-hub) (pull_request) Successful in 28s
wai-quantum service / service energy · linux packages (pull_request) Failing after 10s
wai-quantum portable tensor program / tensor program · GPUs (jetson-hub) (pull_request) Successful in 18s
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (pull_request) Successful in 4m1s
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Successful in 16m56s
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Successful in 9m37s
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Successful in 8m51s
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 24s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 42m51s
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 19s
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 44s
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 2m21s
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 35s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 27m6s
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 20m2s
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Failing after 1m29s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Has been cancelled
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Has been cancelled
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Has been cancelled
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (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-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (pull_request) Has been cancelled
All seventeen findings of the review of #668, each held by a test or a corpus receipt that fails on the old rule (the commit before this one has the code). Here: the contract receipts made again with the final code, among them a seed whose shadow's wraps at 2^53, a tie between a method and a provider, a bounded contract, the CPU asked for, a device target and a pulse program; seventy-one crafted ones, new ones for every rule the review's mutants of the second verifier got past; the differential comparing what each verifier says was kept, the class and the distance as well as the reasons, which found a `kept` of 0 read as null in the reference; the provider plan test for what no provider is asked; and cut-rank's exp and ln with the feature that alone needs them. Co-Authored-By: Claude Opus 5.5 <[email protected]>
Merge wai/quantum-planner-contract (the review's fixes so far) into wai/quantum-cli-energy-estimate, and hold a ceiling only to an upper bound
The conflicts are the flag's help, the routed planner's signature, the README's contract paragraph and the workflow's names. On top of the merge, the review of this branch: a ceiling is held only to a figure that cannot be too low, on the service and the command line alike. The details are in the changelog fragment. Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: the review's fixes to the planner under a contract (a working commit, before the corpus)
Every finding of the review of #668, in the engine, both verifiers and the spec, each with a test that fails on the old rule. The corpus, the blessed tool lists and the proofs follow in the next commit. Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: the command line holds an energy ceiling to the job service's estimate
Some checks failed
wai-quantum WebGPU member / member · browser WebGPU (macos) (pull_request) Successful in 1m55s
wai-quantum WebGPU member / member · Metal (macos) (pull_request) Successful in 4m7s
WAI energy receipts / energy receipts · macos (pull_request) Successful in 20m18s
wai-sink-android native sink library / every ABI, the AAR, and the instrumented tests in a headless emulator · macos (pull_request) Successful in 6m48s
wai-quantum command line / command line · linux (pull_request) Successful in 44m28s
wai-sink-swift native sink package / libwai slices, desktop tests, simulator tests · macos (pull_request) Successful in 15m54s
WAI Studio / Studio in Chromium and Firefox · macos (pull_request) Successful in 18m41s
wai-quantum studio and desktop / desktop app · windows (pull_request) Successful in 9m57s
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Has been cancelled
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Has been cancelled
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Has been cancelled
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Has been cancelled
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Has been cancelled
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Has been cancelled
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Has been cancelled
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Has been cancelled
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Has been cancelled
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Has been cancelled
wai-quantum CUDA member / member · CUDA (jetson-hub) (pull_request) Has been cancelled
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Has been cancelled
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Has been cancelled
wai-quantum OpenCL member / member · OpenCL GPU and CPU (jetson-hub) (pull_request) Has been cancelled
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Has been cancelled
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Has been cancelled
wai-quantum service / service energy · linux packages (pull_request) Has been cancelled
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Has been cancelled
wai-quantum portable tensor program / tensor program · GPUs (jetson-hub) (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 WebGPU member / member · GPU, Vulkan (jetson-hub) (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
--max-joules refused every route on the command line, which estimated no
run's energy before it ran. The job service's estimate moves into the engine
(engine::energy::estimate), one implementation over a host's own timings: a
method's median rate and median power over its last three or more runs there,
the planner's nominal rate where it has timed fewer, and why there is none
where it has metered fewer. The service calls it and says what it said; the
command line calls it over its own runs.
Around each local run the command line reads the counter the engine reads
(this process's own CPU energy on macOS, the processor packages' on Linux
where they may be read) and keeps the run's work, time and power in
quantum-timings.json beside its other files, the last 32 of each method.
run, plan, the routed runs and the MCP run and plan tools hold max_joules to
that estimate, labelled an estimate with what it rests on, and a method with
fewer than three runs read here is refused for its energy, with why. A reading
taken in the command line's own process is never complete, so it is never
sealed: a result still says its energy is unmetered, and kept.energy that it
is not known. An estimate under a microjoule is held to a ceiling as at most
one, on the service too.
The new end-to-end test fails on 83d16c50d (every route energy_unknown, J071)
and passes here.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: the planner under a contract, held to section 8.6 by both verifiers
Some checks failed
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Successful in 9m30s
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Successful in 9m55s
WAI mbt2018_mean integer decode (regenerated vectors) / regenerate mbt2018_mean integer vectors → Rust decode, required (pull_request) Successful in 12m45s
WAI Studio / Studio in WebKit · linux (pull_request) Successful in 15m25s
wai-quantum command line / command line · linux (pull_request) Successful in 32m56s
WAI energy receipts / energy receipts · linux (pull_request) Successful in 33m25s
wai-quantum docs, course and locales / every command and snippet in the docs · linux (pull_request) Successful in 44m10s
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 3m58s
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Successful in 8m50s
wai-quantum studio and desktop / desktop app · windows (pull_request) Successful in 9m59s
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Successful in 22m2s
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 23s
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 2m51s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 25m12s
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Successful in 1m26s
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 56s
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Failing after 1m6s
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 31s
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 20m37s
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Successful in 4m30s
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (pull_request) Successful in 3m39s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Successful in 2m49s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 36m11s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Successful in 1h42m48s
wai-quantum CUDA member / member · CUDA (jetson-hub) (pull_request) Successful in 1m43s
wai-quantum OpenCL member / member · OpenCL GPU and CPU (jetson-hub) (pull_request) Successful in 38s
wai-quantum service / service energy · linux packages (pull_request) Failing after 21s
wai-quantum portable tensor program / tensor program · GPUs (jetson-hub) (pull_request) Successful in 33s
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Has been cancelled
A job's contract (the class wanted, a cost ceiling, a deadline, an energy ceiling, whether a provider may be used) is weighed against every route a host can see; the cheapest that meets it runs, and its reasoning is sealed. This finishes the working commits before it, and falsifies them. What reading and falsifying found, each now fixed and held by a test that fails without the fix (shown by reverting each fix on the build host): - An estimate that is the least a job can come to (a simulator billed by the minute) met a cost ceiling: it is now cost_at_least, in the engine, the second verifier, section 8.6 and the schema. - A route's class for a method declaring two classes was the stronger-numbered one, so single and bounded gave bounded and a single result broke its own receipt: it is now the first class both meet. A result short of the class its reasoning wants, from the contract or kept from auto, gives no answer (J072), and every host checks a contract job before it seals it. - The shadow's distance multiplied two counts in a machine word, and the verifiers read omitted_shots of 0.0, a missing elapsed_ms and the shadow's request differently: the reference now reads them by value as section 8.6 says, sums exactly and multiplies doubles. The differential found the elapsed_ms case on 3 of 16,560 changed receipts. - The second verifier's 8.6 helper shadowed its own number reader, failing 87 of its self-test's checks; renamed, and the self-test now holds a contract job and each of three new plants. - A pulse job refused any contract member (J040). A queued contract job on the service lost its reasoning at a restart and was decided again with no energy estimate. The service looked at a worker every 200 ms, so a run could pass a contract's deadline by that much and be sealed: it now looks at the deadline. The service's verify schema did not describe the planner statement. The corpus gains five made receipts under a contract and 36 crafted ones, each expectation written from section 8.6; route-unchecked, choice-unchecked and distance-unchecked are caught by the differential. The qpu library's pins rise to 81 and 16, and the CLI, registry and service workflows require the new tests by name. Co-Authored-By: Claude Opus 5.5 <[email protected]>
wip: the planner's rules in section 8.6 and the second verifier (a working commit, before falsifying)
Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-11-05