wai-quantum: the planner under a contract, its reasoning sealed, a provider's answer shadowed (stacked on #660) #668
2026-11-09
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]>
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: 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: 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]>
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: 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 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]>
wai-quantum: a test's plan has 0.9.0's metered member
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: 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: 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]>
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 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-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: 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]>
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 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