wai-quantum: an energy ceiling held by a live reading, and the command line can give one (stacked on #668) #670

Closed
dcharlot wants to merge 65 commits from wai/quantum-cli-energy-estimate into main
Owner

Re-landed on main as one commit, f032d85d3 (2026-11-09), under the land-it model. It lands as #670's own changes on top of #668's 2778ddd52; its local head was c3efe1b50. Round 5's findings were fixed on the branch, and the CI reds were traced and fixed. Passed on the combined tree on the Framework, with #676 and #678: the wai-quantum library's 1,517 tests, landscape conformance, the engine with and without receipts under -D warnings, the CLI tests, the service tests and clippy, and the receipts verifiers with every plant caught. The full CI step set ran on both hosts at the earlier heads, and the steps that failed there were fixed and rerun green. Closed.


Stacked linearly on #668 (wai/quantum-planner-contract), and merges it as it stands at cafcc1683, main merged into it. The contract is §8.7 (§8.6 is a set's receipt).

What it does

--max-joules refused every route on the command line. Now it works, and on every host it is held while the job runs.

The verification of this PR showed that no figure before a run can be an upper bound: a plan's work leaves out what drives its time, the same-work job read up to 6,400 times the figure, and the same job 3 times. So the earlier design here, a pre-run bound, is gone (engine::energy::held, energy_unknown, energy_at_least, energy.at_least).

  • A live reading holds the ceiling, and the work stops at it. A run under a ceiling is a process of its own, on the command line as in the service. It is read about every 10 ms as the host schedules the reader: on the command line that process's CPU energy on macOS and the packages on Linux; in the service, the worker's energy or the packages. At the ceiling the process is killed at once and read whole: on macOS between its exit and its reaping, on Linux by the packages after it. Only then is the receipt built, so nothing more runs while it is written.
  • The receipt says so. A stopped result has no member but those it is built with, so no answer of any kind (no counts, verdict, outputs, mitigation or distribution). Its accuracy.class is none. It has stopped (at, joules, max_joules, elapsed_ms, and read, which states the longest time between two reads), and its energy is the killed process's whole figure. Its kept.energy is false. stopped is a new reason (§8.7), in both verifiers, on a job with no ceiling too.
  • A run that ends between two reads is read whole all the same. Its figure is sealed, and one past its ceiling is sealed as having missed it (exit 4).
  • No live reading, no route. Under a ceiling a route with no energy.watch is refused with why (energy_unwatched): a host with no counter, a method on a device no counter reads, a provider, and any run in a process with other work in it (MCP and LSP servers, embedded runners), since nothing can stop it alone. A route states energy.watch or energy.unwatched, never both.
  • A counter that goes silent. A second of time without a reading stops the run, with nothing sealed: nothing would be holding the ceiling any more. A run that fails ends the watch at once.
  • The figure stays, as an estimate. price.energy.joules is the median power of the method's last three or more runs read here, over the estimated time, labelled an estimate. It can refuse a job clearly past a ceiling (energy), and it promises nothing. With no history a run under a ceiling goes ahead, since the reading holds it. §8.7 no longer says a figure cannot be too low.
  • The store. $WAI_QUANTUM_TIMINGS (off keeps none), $XDG_CONFIG_HOME/wai/quantum-timings.json or ~/.config/wai/quantum-timings.json, keyed by machine, OS, architecture, reader, build version, profile and features, under an advisory lock, written whole through any link. A stopped run is part of a run, so it is not kept.
  • A package counter is added up read by read (Packages::since), so a run may wrap it.
  • A key appears whole or not at all. Two processes starting together with no signing key: one created the file empty and then wrote it, and the other read it empty, or found it there, and died. A fresh XDG_CONFIG_HOME in a test opens that window every time. A key is now written beside its path and linked in, and the one that finds a key there reads it.

What a ceiling covers is what watch says. A process's CPU energy leaves out memory and idle draw. A package's count includes every process on it, so a busy host stops a run sooner. A run can pass the ceiling by what it takes between two reads, and the receipt states the longest gap and the whole figure. On macOS the reading thread asks for the quality of service of work a person waits on; a host can still put it off, and the gap it allowed is what is stated.

The verification of #668/#670

F1 and F4 (a figure is no bound) are the design above. F5 (store key): version, profile and features are in it, and a test seeds another version's runs and finds they refuse nothing. F19 (a run longer than a wrap window lost its reading and exited 0): the live reading adds a package counter up read by read, and a run under a ceiling is held by it whatever its length. The other 15 are on #668.

The third check

Seven of its fifteen findings are this PR's (#9–#15). I reproduced each before fixing it:

  • #9 and #10 with the release binary at 2812bb708 on the Framework. A 24-qubit run under a 20 J ceiling sealed only stopped.joules 21.1 J and no figure. A Bell pair under 1 µJ exited 0 with its counts and kept.energy null, 4 runs of 4.
  • #15 with the reviewer's crafted receipts, which the second verifier accepted.
  • #11–#14 from the code: the read-count rule, the in-process watcher a panic leaves waiting, the unchecked Mac meter, and the reap before any read.

What was done:

  • #9 (high) The stop kills first. The run is its own process, so the work stops at the decision; the program is re-read and the receipt sealed after the kill, with the process's whole figure.
  • #10 The whole figure is read at the end of every run under a ceiling, and a run past its ceiling that ended between two reads is sealed kept: false (exit 4).
  • #11 The interval is stated as measured: read gives the longest time between two reads, and a route's watch says "about every 10 ms as the host schedules it". The silent rule counts a second of time, not 100 reads. On macOS the reading thread asks for a higher quality of service.
  • #12 A run that panics is a process that exits: the watch ends with its failure, and nothing hangs or is sealed as stopped.
  • #13 A Mac whose counter reads nothing for a process gives the service no meter, so its routes are refused under a ceiling (energy_unwatched).
  • #14 The service reads a stopped worker whole before reaping it and seals that figure.
  • #15 A stopped result is held to the members it is built with, in both verifiers.

The fifth check

The fixes on this PR:

  • #1, #2, #9 (high). The service and the command line now pass their own pid to the run's process, which compares its parent with that pid alone, at once and then every 100 ms. The parent == 1 rule is gone, so a service or a command line running as pid 1 (the shipped image, or a container entrypoint) runs its jobs again.
    • New Linux tests run each one as pid 1 of a user and pid namespace (the_service_runs_its_jobs_as_pid_1, a_run_under_a_ceiling_runs_when_its_command_line_is_pid_1).
    • With the old rule put back, the service test fails: the job comes back failed.
    • The service workflow now runs deploy/check-image.sh, the shipped image with the service as pid 1, on a runner that has a container engine. A runner without one says so as a warning.
  • #11. A death-link thread that cannot start ends the run.
  • #5. The longest gap counts from the run's start.
  • #7. The service's Mac meter reads again after a 20 ms spin before it calls the counter dead.
  • #16. The SIGCHLD test sets SIG_IGN with perl, which keeps it across exec, where a shell's trap does not.
  • A run that ends before it reads its job is now judged by how it ended. This was found while fixing.

Runs:

  • Framework (Linux x86_64, RAPL): engine 73, CLI 127, service 55, qpu 126, 0 failed, clippy clean; the pid-1 tests ran.
  • M4 (macOS arm64): engine 74, CLI 126, service 56, qpu 127, 0 failed, clippy clean; the stop and orphan tests ran.
  • Receipts: --self-test 318 of 318; the differential agrees on 281 corpus receipts.

The eight that remained:

  • #17. The guard that a stopped figure is no less than its decision is now a function with its own test. Its mutant is caught.
  • #10. On Linux a run's exit wakes the watch through a pidfd, so the figure is read as the run ends. Tested; its mutant is caught.
  • #6. The frozen rule also holds an exited read: one that stands where the live reads stood after a millisecond or more of CPU time is no reading. Its mutant is caught. A run that only waited and then exited is not taken for frozen; the first version of the rule caught an honest Bell run on the Mac.
  • #8. The cause of the flake was the live probe, which needs 12 of 15 20 ms intervals to tick, on a fake counter driven by a thread that load starves. The test is now given its probe, and it passed 50 of 50 under a niced burner on every core of the Framework.
  • #13, #14. New receipts: stopped-elapsed-fraction (W15 and its Rust twin) and cost-at-least-dropped (the at_least comparison). Each kills its mutants.
  • #15, SIGCHLD. The perl launcher's test is now caught by its mutant on Linux and on macOS.
  • #3, orphans: proven. The test's run now outlasts its window and stays within every cap: a long Clifford circuit on 3000 qubits, a million shots, by the stabilizer method (about 14 s on the Framework, measured). The test kills it only once it has its job and is working.
    • With every death link removed (mutant O3), the run outlives its command line and the test fails, 3 of 3 on Linux (Framework) and 3 of 3 on macOS (the M3 Studio).
    • With the fix, the test passes 10 of 10 on both.
  • On Apple silicon, a run killed on a core can leave no honest whole reading. The stopped receipt then says why, rather than state a figure below the decision.
  • CI's image check. The Linux runner jetson-hub-linux runs jobs in catthehacker/ubuntu:act-22.04 with docker_host: "-" and privileged: false, so no job reaches a container engine. The step there only warns. The macOS runner's host has no running engine either. The Framework has docker 29.1.3, and check-image.sh passed there through rb: the shipped image, the service as pid 1, and the smoke checks. CI can run it only if the owner sets docker_host: automount on jetson-hub or adds a runner with an engine.
  • Runs: CLI 129 on Linux and 127 on macOS, 0 failed; clippy clean.

The fourth check

Fourteen of its 23 findings are this PR's: #1–#6, #9–#12, #14–#16 and #22. Each has a test or receipt that fails without its fix.

  • #1, #6 The whole figure is added up. A package's counter is added up read by read for the whole figure (engine::energy::Accumulated), each step wrap-corrected, on the command line and in the service. One first-to-last delta is no longer used. A test passes four ranges; one delta keeps less than one.
  • #22 A figure below the decision is no reading. A whole figure below what stopped the run is sealed as unmetered. Both verifiers hold a stopped receipt's energy.joules_micro at or above stopped.joules (less one for rounding), and its stopped.elapsed_ms to the result's.
  • #2, #4, #5, #15 The run dies with its watcher.
    • The CLI keeps the run's standard input open while it lives, and the run exits when that pipe closes.
    • On Linux the run also sets PR_SET_PDEATHSIG, and it checks its parent every 100 ms; the service's worker does both as well.
    • A thread that cannot start kills the run before returning.
    • Tested: SIGTERM and SIGKILL to the CLI mid-run, and the run's process is gone within 2 s, on macOS (the M4) and Linux.
  • #3 Short macOS runs. A worker now sleeps 5 ms off the core before it exits, the fix the verifier's positive control showed. An exited read below 50 mW over its CPU time is no reading (unmetered), so kept is not stated on it.
  • #10, #14 A frozen counter. A counter that stands still while the run spends CPU time loses the run after a second, as silence does. One that stands still while the run spends none is a run waiting.
  • #11 A first read of nothing. A counter that reads nothing once is read again after a 20 ms spin before the host is called unmetered.
  • #12 The first gap. The longest gap counts the time before the first read.
  • #9 No probe with WAI_QUANTUM_TIMINGS=off. A reading kept nowhere is not taken, so the probe does not run.
  • #16 SIGCHLD. It is set to its default before a run is waited for; a CLI started with it ignored still runs a ceiling job (tested).

Runs this round (through rb):

  • The M4 Mac, macOS arm64, at 131c76227:
    • Engine (energy, planner, job) 74, CLI 126, service 56, qpu 127, 0 failed; clippy clean; the blessed tool lists came out as committed.
    • The stop, the orphan (SIGTERM and SIGKILL) and the SIGCHLD tests ran; on a Mac they fail rather than skip.
  • Thor, Linux arm64, which has no powercap counter, so its ceiling tests take the refusal path:
    • Receipts: --self-test 317 of 317; the differential agrees on 281 corpus and 25,116 one-change receipts; all 13 plants are caught.
    • 57 Python mutants. W15 (a stop's time of any form) is no longer caught alone: the new rule that a stop's time is the result's catches every case it did.
    • CLI 126 and service 56, 0 failed, with the last commit's two test fixes; clippy clean.
  • Not run this round:
    • The Framework's RAPL run: it is below its disk floor. The Linux packages path is held by the fake-counter tests, including one past four ranges, not by a real run past a 65.5 kJ range.
    • WASI, which needs x86_64.
  • Public names (4,883 files) and lockfiles (65) are clean.

What runs (through rb; nothing on the dev Mac)

These are the runs on Linux x86_64 (the Framework), release builds, at the final commit 930630c3b. The full run was at the merge just before it; that commit changes only two tests' structure for clippy, and those tests and clippy were run again on it.

  • Tests (0 failed):
    • Engine, --features full --lib over engine::job:: refusal:: catalog:: compile:: formats:: planner:: registry:: sets:: provider:: energy::, cut-rank and repro: 160 passed.
    • wai-quantum-cli: 2 + 89 + 2 + 3 + 5 + 2 + 2 + 11 + 7 = 123 passed, run with XDG_CONFIG_HOME empty, and no test wrote the timings.
    • wai-quantum-service: 48 + 2 + 1 + 1 + 1 = 53 passed.
    • wai-quantum-qpu: 93 + 2 + 17 + 2 + 12 = 126 passed.
    • The tool lists came out as committed.
  • The stop, shown (--nocapture, the packages' counter live there):
    • On the command line the run's process was killed at the ceiling, its whole figure sealed at or above the decision, and the receipt states the longest gap between reads. verify and verify --recheck take it.
    • A Bell pair under 1 µJ, which ends between two reads, is sealed kept: false and exits 4, 3 runs of 3 (it exited 0 with kept null before).
    • The service killed its worker and sealed the worker's whole figure.
    • No test took its skip branch.
  • Checks:
    • clippy -D warnings is clean on the CLI (with and without default features), the service and qpu, and RUSTFLAGS=-D warnings is clean for every engine feature set the workflows check.
    • Under wasmtime 50.0.1 (pinned, checked by digest), the WASI component gives its result and keeps no file.
  • Receipts:
    • generate.py --check (244 crafted) and --self-test pass, and receipt_verify.py --self-test passes 314 of 314.
    • The differential agrees three ways on 278 corpus receipts and on 24,894 one-change receipts.
    • All 13 plants are caught.
  • Mutants of the second verifier (58): every one fails the self-test and is found by the corpus alone. W03 (an estimate at the ceiling) and eleven of the stop's rules, found last round, are held both ways now, and so is the stopped allowlist.
  • Mutants of the Rust (28, each a runtime switch on one build): every one is caught by a named test against clean baselines (59, 12, 11, 3, 2, 7, 2, 1). This check's mutants are:
    • a stopped or finished run not read whole;
    • the longest gap left unsaid;
    • a silent counter never lost, or a read that keeps no time;
    • the stopped allowlist;
    • the service's stopped figure;
    • the Mac meter;
    • the exit status.
  • Public names (4,658 files) and lockfiles (62): clean at 930630c3b; no commit message names a denied word.

Not done

  • macOS. No Mac took a run this round: the M3 Ultra is at its disk floor and the M4 was overloaded. On a Mac the stop tests, the unit test of a run in its own process and the service's stop test fail rather than skip, so the CI macOS leg proves them. The macOS paths are the per-process reads (running, and read between exit and reaping) and the reading thread's quality of service.
  • A lost counter. A run's process whose counter goes silent is killed with nothing sealed, on both surfaces. The policy is tested (engine::energy::Watcher), but not that wiring end to end.
  • The gap and the overshoot remain. A run can pass its ceiling by what it takes between two reads and what a counter has not yet shown. The receipt states both the gap and the whole figure. A host that starves the reading thread lengthens the gap; on Linux nothing here can raise its priority.
  • The service's restart test (tests/restart.rs, which neither PR touches) fails with Connection reset by peer in its own HTTP helper. It does so on main too: 4 runs of 20 at 26ecb9575 on the Framework, and 5 of 10 on this tree under the load of the mutant runs beside it.
  • Found on the way, outside this change. clippy on the engine with --features full --lib --tests (1.99.1) refuses two chunks_exact(2) in src/merkle.rs, unchanged from main. The workflows do not run that invocation.

🤖 Generated with Claude Code

**Re-landed on main as one commit, f032d85d3 (2026-11-09), under the land-it model.** It lands as #670's own changes on top of #668's 2778ddd52; its local head was c3efe1b50. Round 5's findings were fixed on the branch, and the CI reds were traced and fixed. Passed on the combined tree on the Framework, with #676 and #678: the wai-quantum library's 1,517 tests, landscape conformance, the engine with and without receipts under -D warnings, the CLI tests, the service tests and clippy, and the receipts verifiers with every plant caught. The full CI step set ran on both hosts at the earlier heads, and the steps that failed there were fixed and rerun green. Closed. --- **Stacked linearly on #668** (`wai/quantum-planner-contract`), and merges it as it stands at `cafcc1683`, main merged into it. The contract is §8.7 (§8.6 is a set's receipt). ## What it does `--max-joules` refused every route on the command line. Now it works, and on every host it is held while the job runs. The verification of this PR showed that no figure before a run can be an upper bound: a plan's work leaves out what drives its time, the same-work job read up to 6,400 times the figure, and the same job 3 times. So the earlier design here, a pre-run bound, is gone (`engine::energy::held`, `energy_unknown`, `energy_at_least`, `energy.at_least`). - **A live reading holds the ceiling, and the work stops at it.** A run under a ceiling is a process of its own, on the command line as in the service. It is read about every 10 ms as the host schedules the reader: on the command line that process's CPU energy on macOS and the packages on Linux; in the service, the worker's energy or the packages. At the ceiling the process is killed at once and read whole: on macOS between its exit and its reaping, on Linux by the packages after it. Only then is the receipt built, so nothing more runs while it is written. - **The receipt says so.** A stopped result has no member but those it is built with, so no answer of any kind (no counts, verdict, outputs, mitigation or distribution). Its `accuracy.class` is `none`. It has `stopped` (`at`, `joules`, `max_joules`, `elapsed_ms`, and `read`, which states the longest time between two reads), and its `energy` is the killed process's whole figure. Its `kept.energy` is `false`. `stopped` is a new reason (§8.7), in both verifiers, on a job with no ceiling too. - **A run that ends between two reads is read whole all the same.** Its figure is sealed, and one past its ceiling is sealed as having missed it (exit 4). - **No live reading, no route.** Under a ceiling a route with no `energy.watch` is refused with why (`energy_unwatched`): a host with no counter, a method on a device no counter reads, a provider, and any run in a process with other work in it (MCP and LSP servers, embedded runners), since nothing can stop it alone. A route states `energy.watch` or `energy.unwatched`, never both. - **A counter that goes silent.** A second of time without a reading stops the run, with nothing sealed: nothing would be holding the ceiling any more. A run that fails ends the watch at once. - **The figure stays, as an estimate.** `price.energy.joules` is the median power of the method's last three or more runs read here, over the estimated time, labelled an estimate. It can refuse a job clearly past a ceiling (`energy`), and it promises nothing. With no history a run under a ceiling goes ahead, since the reading holds it. §8.7 no longer says a figure cannot be too low. - **The store.** `$WAI_QUANTUM_TIMINGS` (`off` keeps none), `$XDG_CONFIG_HOME/wai/quantum-timings.json` or `~/.config/wai/quantum-timings.json`, keyed by machine, OS, architecture, reader, build version, profile and features, under an advisory lock, written whole through any link. A stopped run is part of a run, so it is not kept. - **A package counter is added up** read by read (`Packages::since`), so a run may wrap it. - **A key appears whole or not at all.** Two processes starting together with no signing key: one created the file empty and then wrote it, and the other read it empty, or found it there, and died. A fresh `XDG_CONFIG_HOME` in a test opens that window every time. A key is now written beside its path and linked in, and the one that finds a key there reads it. What a ceiling covers is what `watch` says. A process's CPU energy leaves out memory and idle draw. A package's count includes every process on it, so a busy host stops a run sooner. A run can pass the ceiling by what it takes between two reads, and the receipt states the longest gap and the whole figure. On macOS the reading thread asks for the quality of service of work a person waits on; a host can still put it off, and the gap it allowed is what is stated. ## The verification of #668/#670 F1 and F4 (a figure is no bound) are the design above. F5 (store key): version, profile and features are in it, and a test seeds another version's runs and finds they refuse nothing. F19 (a run longer than a wrap window lost its reading and exited 0): the live reading adds a package counter up read by read, and a run under a ceiling is held by it whatever its length. The other 15 are on #668. ## The third check Seven of its fifteen findings are this PR's (#9–#15). I reproduced each before fixing it: - #9 and #10 with the release binary at `2812bb708` on the Framework. A 24-qubit run under a 20 J ceiling sealed only `stopped.joules` 21.1 J and no figure. A Bell pair under 1 µJ exited 0 with its counts and `kept.energy` null, 4 runs of 4. - #15 with the reviewer's crafted receipts, which the second verifier accepted. - #11–#14 from the code: the read-count rule, the in-process watcher a panic leaves waiting, the unchecked Mac meter, and the reap before any read. What was done: - **#9 (high)** The stop kills first. The run is its own process, so the work stops at the decision; the program is re-read and the receipt sealed after the kill, with the process's whole figure. - **#10** The whole figure is read at the end of every run under a ceiling, and a run past its ceiling that ended between two reads is sealed `kept: false` (exit 4). - **#11** The interval is stated as measured: `read` gives the longest time between two reads, and a route's `watch` says "about every 10 ms as the host schedules it". The silent rule counts a second of time, not 100 reads. On macOS the reading thread asks for a higher quality of service. - **#12** A run that panics is a process that exits: the watch ends with its failure, and nothing hangs or is sealed as stopped. - **#13** A Mac whose counter reads nothing for a process gives the service no meter, so its routes are refused under a ceiling (`energy_unwatched`). - **#14** The service reads a stopped worker whole before reaping it and seals that figure. - **#15** A stopped result is held to the members it is built with, in both verifiers. ## The fifth check The fixes on this PR: - **#1, #2, #9 (high).** The service and the command line now pass their own pid to the run's process, which compares its parent with that pid alone, at once and then every 100 ms. The `parent == 1` rule is gone, so a service or a command line running as pid 1 (the shipped image, or a container entrypoint) runs its jobs again. - New Linux tests run each one as pid 1 of a user and pid namespace (`the_service_runs_its_jobs_as_pid_1`, `a_run_under_a_ceiling_runs_when_its_command_line_is_pid_1`). - With the old rule put back, the service test fails: the job comes back `failed`. - The service workflow now runs `deploy/check-image.sh`, the shipped image with the service as pid 1, on a runner that has a container engine. A runner without one says so as a warning. - **#11.** A death-link thread that cannot start ends the run. - **#5.** The longest gap counts from the run's start. - **#7.** The service's Mac meter reads again after a 20 ms spin before it calls the counter dead. - **#16.** The SIGCHLD test sets SIG_IGN with perl, which keeps it across `exec`, where a shell's trap does not. - A run that ends before it reads its job is now judged by how it ended. This was found while fixing. Runs: - **Framework (Linux x86_64, RAPL):** engine 73, CLI 127, service 55, qpu 126, 0 failed, clippy clean; the pid-1 tests ran. - **M4 (macOS arm64):** engine 74, CLI 126, service 56, qpu 127, 0 failed, clippy clean; the stop and orphan tests ran. - **Receipts:** `--self-test` 318 of 318; the differential agrees on 281 corpus receipts. **The eight that remained:** - **#17.** The guard that a stopped figure is no less than its decision is now a function with its own test. Its mutant is caught. - **#10.** On Linux a run's exit wakes the watch through a pidfd, so the figure is read as the run ends. Tested; its mutant is caught. - **#6.** The frozen rule also holds an exited read: one that stands where the live reads stood after a millisecond or more of CPU time is no reading. Its mutant is caught. A run that only waited and then exited is not taken for frozen; the first version of the rule caught an honest Bell run on the Mac. - **#8.** The cause of the flake was the live probe, which needs 12 of 15 20 ms intervals to tick, on a fake counter driven by a thread that load starves. The test is now given its probe, and it passed 50 of 50 under a niced burner on every core of the Framework. - **#13, #14.** New receipts: `stopped-elapsed-fraction` (W15 and its Rust twin) and `cost-at-least-dropped` (the `at_least` comparison). Each kills its mutants. - **#15, SIGCHLD.** The perl launcher's test is now caught by its mutant on Linux and on macOS. - **#3, orphans: proven.** The test's run now outlasts its window and stays within every cap: a long Clifford circuit on 3000 qubits, a million shots, by the stabilizer method (about 14 s on the Framework, measured). The test kills it only once it has its job and is working. - With every death link removed (mutant O3), the run outlives its command line and the test fails, 3 of 3 on Linux (Framework) and 3 of 3 on macOS (the M3 Studio). - With the fix, the test passes 10 of 10 on both. - **On Apple silicon,** a run killed on a core can leave no honest whole reading. The stopped receipt then says why, rather than state a figure below the decision. - **CI's image check.** The Linux runner `jetson-hub-linux` runs jobs in `catthehacker/ubuntu:act-22.04` with `docker_host: "-"` and `privileged: false`, so no job reaches a container engine. The step there only warns. The macOS runner's host has no running engine either. The Framework has docker 29.1.3, and `check-image.sh` passed there through `rb`: the shipped image, the service as pid 1, and the smoke checks. CI can run it only if the owner sets `docker_host: automount` on jetson-hub or adds a runner with an engine. - **Runs:** CLI 129 on Linux and 127 on macOS, 0 failed; clippy clean. ## The fourth check Fourteen of its 23 findings are this PR's: #1–#6, #9–#12, #14–#16 and #22. Each has a test or receipt that fails without its fix. - **#1, #6 The whole figure is added up.** A package's counter is added up read by read for the whole figure (`engine::energy::Accumulated`), each step wrap-corrected, on the command line and in the service. One first-to-last delta is no longer used. A test passes four ranges; one delta keeps less than one. - **#22 A figure below the decision is no reading.** A whole figure below what stopped the run is sealed as unmetered. Both verifiers hold a stopped receipt's `energy.joules_micro` at or above `stopped.joules` (less one for rounding), and its `stopped.elapsed_ms` to the result's. - **#2, #4, #5, #15 The run dies with its watcher.** - The CLI keeps the run's standard input open while it lives, and the run exits when that pipe closes. - On Linux the run also sets `PR_SET_PDEATHSIG`, and it checks its parent every 100 ms; the service's worker does both as well. - A thread that cannot start kills the run before returning. - Tested: SIGTERM and SIGKILL to the CLI mid-run, and the run's process is gone within 2 s, on macOS (the M4) and Linux. - **#3 Short macOS runs.** A worker now sleeps 5 ms off the core before it exits, the fix the verifier's positive control showed. An exited read below 50 mW over its CPU time is no reading (unmetered), so `kept` is not stated on it. - **#10, #14 A frozen counter.** A counter that stands still while the run spends CPU time loses the run after a second, as silence does. One that stands still while the run spends none is a run waiting. - **#11 A first read of nothing.** A counter that reads nothing once is read again after a 20 ms spin before the host is called unmetered. - **#12 The first gap.** The longest gap counts the time before the first read. - **#9 No probe with `WAI_QUANTUM_TIMINGS=off`.** A reading kept nowhere is not taken, so the probe does not run. - **#16 SIGCHLD.** It is set to its default before a run is waited for; a CLI started with it ignored still runs a ceiling job (tested). **Runs this round** (through `rb`): - **The M4 Mac**, macOS arm64, at `131c76227`: - Engine (energy, planner, job) 74, CLI 126, service 56, qpu 127, 0 failed; clippy clean; the blessed tool lists came out as committed. - The stop, the orphan (SIGTERM and SIGKILL) and the SIGCHLD tests ran; on a Mac they fail rather than skip. - **Thor**, Linux arm64, which has no powercap counter, so its ceiling tests take the refusal path: - Receipts: `--self-test` 317 of 317; the differential agrees on 281 corpus and 25,116 one-change receipts; all 13 plants are caught. - 57 Python mutants. W15 (a stop's time of any form) is no longer caught alone: the new rule that a stop's time is the result's catches every case it did. - CLI 126 and service 56, 0 failed, with the last commit's two test fixes; clippy clean. - **Not run this round:** - The Framework's RAPL run: it is below its disk floor. The Linux packages path is held by the fake-counter tests, including one past four ranges, not by a real run past a 65.5 kJ range. - WASI, which needs x86_64. - Public names (4,883 files) and lockfiles (65) are clean. ## What runs (through `rb`; nothing on the dev Mac) These are the runs on Linux x86_64 (the Framework), release builds, at the final commit `930630c3b`. The full run was at the merge just before it; that commit changes only two tests' structure for clippy, and those tests and clippy were run again on it. - **Tests (0 failed):** - Engine, `--features full --lib` over `engine::job:: refusal:: catalog:: compile:: formats:: planner:: registry:: sets:: provider:: energy::`, cut-rank and repro: 160 passed. - `wai-quantum-cli`: 2 + 89 + 2 + 3 + 5 + 2 + 2 + 11 + 7 = 123 passed, run with `XDG_CONFIG_HOME` empty, and no test wrote the timings. - `wai-quantum-service`: 48 + 2 + 1 + 1 + 1 = 53 passed. - `wai-quantum-qpu`: 93 + 2 + 17 + 2 + 12 = 126 passed. - The tool lists came out as committed. - **The stop, shown** (`--nocapture`, the packages' counter live there): - On the command line the run's process was killed at the ceiling, its whole figure sealed at or above the decision, and the receipt states the longest gap between reads. `verify` and `verify --recheck` take it. - A Bell pair under 1 µJ, which ends between two reads, is sealed `kept: false` and exits 4, 3 runs of 3 (it exited 0 with `kept` null before). - The service killed its worker and sealed the worker's whole figure. - No test took its skip branch. - **Checks:** - clippy `-D warnings` is clean on the CLI (with and without default features), the service and qpu, and `RUSTFLAGS=-D warnings` is clean for every engine feature set the workflows check. - Under wasmtime 50.0.1 (pinned, checked by digest), the WASI component gives its result and keeps no file. - **Receipts:** - `generate.py --check` (244 crafted) and `--self-test` pass, and `receipt_verify.py --self-test` passes 314 of 314. - The differential agrees three ways on 278 corpus receipts and on 24,894 one-change receipts. - All 13 plants are caught. - **Mutants of the second verifier** (58): every one fails the self-test and is found by the corpus alone. W03 (an estimate at the ceiling) and eleven of the stop's rules, found last round, are held both ways now, and so is the stopped allowlist. - **Mutants of the Rust** (28, each a runtime switch on one build): every one is caught by a named test against clean baselines (59, 12, 11, 3, 2, 7, 2, 1). This check's mutants are: - a stopped or finished run not read whole; - the longest gap left unsaid; - a silent counter never lost, or a read that keeps no time; - the stopped allowlist; - the service's stopped figure; - the Mac meter; - the exit status. - Public names (4,658 files) and lockfiles (62): clean at `930630c3b`; no commit message names a denied word. ## Not done - **macOS.** No Mac took a run this round: the M3 Ultra is at its disk floor and the M4 was overloaded. On a Mac the stop tests, the unit test of a run in its own process and the service's stop test fail rather than skip, so the CI macOS leg proves them. The macOS paths are the per-process reads (`running`, and `read` between exit and reaping) and the reading thread's quality of service. - **A lost counter.** A run's process whose counter goes silent is killed with nothing sealed, on both surfaces. The policy is tested (`engine::energy::Watcher`), but not that wiring end to end. - **The gap and the overshoot remain.** A run can pass its ceiling by what it takes between two reads and what a counter has not yet shown. The receipt states both the gap and the whole figure. A host that starves the reading thread lengthens the gap; on Linux nothing here can raise its priority. - **The service's restart test** (`tests/restart.rs`, which neither PR touches) fails with `Connection reset by peer` in its own HTTP helper. It does so on main too: 4 runs of 20 at `26ecb9575` on the Framework, and 5 of 10 on this tree under the load of the mutant runs beside it. - **Found on the way, outside this change.** clippy on the engine with `--features full --lib --tests` (1.99.1) refuses two `chunks_exact(2)` in `src/merkle.rs`, unchanged from main. The workflows do not run that invocation. 🤖 Generated with [Claude Code](https://claude.com/claude-code)
wai-quantum-qpu: a built-in provider kind for a cloud service of quantum tasks
Some checks failed
wai-quantum command line / command line · macos (pull_request) Has been cancelled
wai-quantum contract / does this change touch it (pull_request) Has been cancelled
wai-quantum contract / API compatibility · linux (pull_request) Has been cancelled
wai-quantum contract / schemas and the committed tool lists · linux (pull_request) Has been cancelled
wai-quantum contract / the policy is linked, and the deprecations page reads (pull_request) Has been cancelled
wai-quantum docs, course and locales / does this change touch it (pull_request) Has been cancelled
wai-quantum docs, course and locales / every command and snippet in the docs · linux (pull_request) Has been cancelled
wai-quantum docs, course and locales / the course and the command line's languages · linux (pull_request) Has been cancelled
wai-quantum docs, course and locales / the Studio's words in every locale · linux (pull_request) Has been cancelled
wai-quantum editors / does this change touch it (pull_request) Has been cancelled
wai-quantum editors / editors · linux (pull_request) Has been cancelled
wai-quantum editors / editors · macos (pull_request) Has been cancelled
wai-quantum for Python / does this change touch it (pull_request) Has been cancelled
wai-quantum for Python / python · linux (pull_request) Has been cancelled
wai-quantum for Python / python · macos (pull_request) Has been cancelled
wai-quantum-qpu / does this change touch it (pull_request) Has been cancelled
wai-quantum-qpu / clients against their contracts (linux) (pull_request) Has been cancelled
wai-quantum-qpu / credentials in the keychain (macos) (pull_request) Has been cancelled
wai-quantum service / does this change touch it (pull_request) Has been cancelled
wai-quantum service / service · linux (pull_request) Has been cancelled
wai-quantum service / service · macos (pull_request) Has been cancelled
wai-quantum service / service energy · linux packages (pull_request) Has been cancelled
wai-quantum studio and desktop / does this change touch it (pull_request) Has been cancelled
wai-quantum studio and desktop / studio · browser (pull_request) Has been cancelled
wai-quantum studio and desktop / desktop app · macos (pull_request) Has been cancelled
wai-quantum studio and desktop / desktop app · linux (pull_request) Has been cancelled
wai-quantum studio and desktop / desktop app · windows (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
ba429af757
`cloud-tasks`: one device on the person's own account. Requests are signed
with their keys (Signature Version 4), and results land in their own storage
bucket. On a processor the program is OpenQASM 3 in a verbatim box on physical
qubits. A device of `rx rz cz` takes the `rzsxxcz` basis, with `sx` and `x` as
`rx`, since they differ only by a global phase. A device whose native gates
fit no basis is refused with what it runs. The estimate gives the device's
price and says the service's per-task fee is left out.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum-qpu: cloud-tasks as the real service takes it, with the whole charge
Some checks failed
wai-quantum command line / command line · linux (pull_request) Successful in 3m4s
wai-quantum-qpu / clients against their contracts (linux) (pull_request) Failing after 38s
wai-quantum docs, course and locales / the Studio's words in every locale · linux (pull_request) Successful in 8s
wai-quantum docs, course and locales / the course and the command line's languages · linux (pull_request) Successful in 2m16s
wai-quantum for Python / python · linux (pull_request) Successful in 2m27s
wai-quantum studio and desktop / desktop app · windows (pull_request) Successful in 9m43s
wai-quantum contract / schemas and the committed tool lists · linux (pull_request) Successful in 6m0s
wai-quantum editors / editors · linux (pull_request) Successful in 6m31s
wai-quantum views in agent hosts / views · the page and its engine (pull_request) Successful in 3m25s
wai-quantum views in agent hosts / views · a scripted host (pull_request) Successful in 3m8s
wai-quantum studio and desktop / studio · browser (pull_request) Failing after 5m31s
wai-quantum studio and desktop / desktop app · linux (pull_request) Successful in 6m5s
wai-quantum contract / API compatibility · linux (pull_request) Failing after 12m24s
WAI examples / WAI examples · portable · linux (pull_request) Successful in 13m37s
wai-quantum service / service · linux (pull_request) Successful in 11m0s
WAI energy receipts / energy receipts · linux (pull_request) Successful in 20m28s
wai-quantum docs, course and locales / every command and snippet in the docs · linux (pull_request) Failing after 24m9s
WAI energy receipts / energy receipts · macos (pull_request) Successful in 8m29s
wai-quantum command line / command line · macos (pull_request) Successful in 1m57s
wai-quantum editors / editors · macos (pull_request) Successful in 1m33s
wai-quantum-qpu / credentials in the keychain (macos) (pull_request) Successful in 25s
standards workspaces build + test / macOS energy backends (pull_request) Successful in 13m32s
wai-quantum for Python / python · macos (pull_request) Successful in 2m56s
wai-quantum service / service · macos (pull_request) Successful in 5m8s
wai-quantum studio and desktop / desktop app · macos (pull_request) Successful in 5m42s
WAI examples / WAI examples · the archive, the readiness check, the browser and Apple · macos (pull_request) Successful in 20m51s
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (pull_request) Has been cancelled
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (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
fe1c9be9ad
Running it on the service's simulator showed two things the scripted tests
could not: a program must measure explicitly, and a simulator refuses a register
with a qubit no gate touches. So every program now assigns its measurements, and
a simulator's idle qubits get an identity.

The estimate now includes the service's fee per task, which its API does not
state, so a job on a processor shows what it will cost. And a simulator can
compile to a processor's basis (`--set basis=gpizz`), so the gates can be checked
before paying for the processor.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: receipts say where their counts come from and what was set at the provider, and a second verifier checks them
Some checks failed
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Has been cancelled
wai-quantum command line / command line · macos (pull_request) Has been cancelled
wai-quantum dataflow member / member · dataflow device absent (macos) (pull_request) Has been cancelled
WAI examples / WAI examples · portable · linux (pull_request) Has been cancelled
wai-quantum docs, course and locales / every command and snippet in the docs · linux (pull_request) Has been cancelled
wai-quantum editors / editors · macos (pull_request) Has been cancelled
wai-quantum FPGA member / member · FPGA datapath, simulated (macos) (pull_request) Has been cancelled
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Has been cancelled
wai-quantum Metal member / member · Metal (macos) (pull_request) Has been cancelled
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Has been cancelled
wai-quantum neural-processor member / member · neural processor (macos) (pull_request) Has been cancelled
wai-quantum OpenCL member / member · OpenCL GPU (macos) (pull_request) Has been cancelled
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Has been cancelled
wai-quantum pulse and dynamics / the same bits · macos (pull_request) Has been cancelled
wai-quantum for Python / python · macos (pull_request) Has been cancelled
wai-quantum-qpu / credentials in the keychain (macos) (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 · macos (pull_request) Has been cancelled
wai-quantum matrix-extension member / member · matrix extension absent (macos) (pull_request) Has been cancelled
wai-quantum studio and desktop / desktop app · macos (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 · Metal and the arm64 CPU (macos) (pull_request) Has been cancelled
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Has been cancelled
wai-quantum CPU vector units / member · vector unit absent (macos) (pull_request) Has been cancelled
wai-quantum WebGPU member / member · Metal (macos) (pull_request) Has been cancelled
wai-quantum WebGPU member / member · browser WebGPU (macos) (pull_request) Has been cancelled
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (pull_request) Has been cancelled
wai-sink-android native sink library / every ABI, the AAR, and the instrumented tests in a headless emulator · macos (pull_request) Has been cancelled
wai-sink-swift native sink package / libwai slices, desktop tests, simulator tests · macos (pull_request) Has been cancelled
WAI Studio / Studio in Chromium and Firefox · macos (pull_request) Has been cancelled
265b2f0ffd
A provider's result now states counts_source (shots, vendor_counts or
probabilities, since counts rebuilt from probabilities are derived) and
execution (what each client set off at the provider, built from the very body
it posts). It labels a simulator's counts simulated rather than measured, and
carries the compiled program's text beside its hash. Receipts sealed before
these fields still verify, and are read by their provenance.

Section 8 of the provider protocol is rewritten so that a verifier can be
written from it alone: the seal byte for byte, the strict reader, the canonical
text and the first form's, strict Ed25519, the per-kind rows, seventeen named
reasons, and what a receipt proves. A second verifier was written in Python
from that text by a reader who had not seen the reference, and its gaps became
the text. The reference had accepted a receipt under a small-order key for any
content, any alg, upper-case or +-spelled hex and duplicate members, and
panicked on a two-byte character in a key; it refuses each now.

A corpus of receipts made by the command line, the job service and every
built-in kind, plus receipts crafted to break one rule each, is judged by both
verifiers on every receipt and every one-member change of each valid one, and
each planted defect must be caught. CI runs it beside the CLI's build.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
Co-Authored-By: Claude Fable 5.1 <[email protected]>
`Kind::CloudTasks` and `Method::Put` were added to exhaustive public enums. That
breaks a downstream `match`, so the API check failed with the crate still at
0.4.1. The crate is now 0.5.0, as VERSIONING.md asks of a breaking change before
1.0, and the command line and the desktop app require it.

`Kind` and `Method` are `#[non_exhaustive]` from this version, and `Kind::ALL` is
a slice. A kind is a value of a list that grows, which a minor release may add
to; with the enum exhaustive, every new kind was a breaking release. Inside the
crate a `match` stays exhaustive.

The changelog entry moves from the head of CHANGELOG.md to a file of wai/changes/
and says what to do instead. The API job's baseline step took the version
`cargo info` selects (`0.4.0 (latest 0.4.1)`) for the last one published and
warned on every run; it now reads the latest.

Co-Authored-By: Claude Fable 5.1 <[email protected]>
The qpu workflow pins each test binary's count, and the library's was still 46.
The cloud-tasks client adds 15, so it is 61, and three of its tests are named.

The guide's block that adds a `cloud-tasks` provider reads `keys.txt`, which the
documentation's fixtures did not hold. The block stopped there, so the next
block's `providers remove turns` found no provider. The fixture is added.

Co-Authored-By: Claude Fable 5.1 <[email protected]>
quantum-studio: a code's summary, certificate and lattice change in one step
Some checks failed
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Has been cancelled
wai-quantum command line / command line · macos (pull_request) Has been cancelled
wai-quantum dataflow member / member · dataflow device absent (macos) (pull_request) Has been cancelled
wai-quantum editors / editors · macos (pull_request) Has been cancelled
wai-quantum FPGA member / member · FPGA datapath, simulated (macos) (pull_request) Has been cancelled
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Has been cancelled
wai-quantum Metal member / member · Metal (macos) (pull_request) Has been cancelled
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Has been cancelled
wai-quantum neural-processor member / member · neural processor (macos) (pull_request) Has been cancelled
wai-quantum OpenCL member / member · OpenCL GPU (macos) (pull_request) Has been cancelled
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Has been cancelled
wai-quantum pulse and dynamics / the same bits · macos (pull_request) Has been cancelled
wai-quantum for Python / python · macos (pull_request) Has been cancelled
wai-quantum-qpu / credentials in the keychain (macos) (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 · macos (pull_request) Has been cancelled
wai-quantum matrix-extension member / member · matrix extension absent (macos) (pull_request) Has been cancelled
wai-quantum studio and desktop / desktop app · macos (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 · Metal and the arm64 CPU (macos) (pull_request) Has been cancelled
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Has been cancelled
wai-quantum CPU vector units / member · vector unit absent (macos) (pull_request) Has been cancelled
wai-quantum WebGPU member / member · Metal (macos) (pull_request) Has been cancelled
wai-quantum WebGPU member / member · browser WebGPU (macos) (pull_request) Has been cancelled
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (pull_request) Has been cancelled
wai-sink-android native sink library / every ABI, the AAR, and the instrumented tests in a headless emulator · macos (pull_request) Has been cancelled
wai-sink-swift native sink package / libwai slices, desktop tests, simulator tests · macos (pull_request) Has been cancelled
WAI Studio / Studio in Chromium and Firefox · macos (pull_request) Has been cancelled
joule-code conformance gate / joule-moq-relay, every target (pull_request) Successful in 2m41s
joule-code conformance gate / joule-moq-ingest, every target (pull_request) Successful in 8m4s
9db46c96d5
The error-correction pane set a new code's summary and decoders, then checked
its seal, then drew its lattice. The browser test waits for the summary and
reads the lattice at once, and on this branch's run it read the surface code's
two faces where the colour code's nine were due. The file is main's, so the
race is on main too; the job passed on the eight other runs around this one.

The seal is now checked first and the pane changes together, as a decode
already did. A threshold had the same split, its plot drawn before the check
and its reading after: with the check slowed by 800 ms the test fails there
too, so it is fixed the same way. With that delay the test fails on main's
ordering and passes on this one. The test is unchanged.

Co-Authored-By: Claude Fable 5.1 <[email protected]>
Co-Authored-By: Claude Fable 5.1 <[email protected]>
wai-quantum: the receipt work on wai-quantum-qpu 0.5.0, and what replaying CI's steps found
Some checks failed
wai-quantum command line / command line · macos (pull_request) Has been cancelled
wai-quantum dataflow member / member · dataflow device absent (macos) (pull_request) Has been cancelled
wai-quantum editors / editors · macos (pull_request) Has been cancelled
wai-quantum FPGA member / member · FPGA datapath, simulated (macos) (pull_request) Has been cancelled
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Has been cancelled
wai-quantum Metal member / member · Metal (macos) (pull_request) Has been cancelled
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Has been cancelled
wai-quantum neural-processor member / member · neural processor (macos) (pull_request) Has been cancelled
wai-quantum OpenCL member / member · OpenCL GPU (macos) (pull_request) Has been cancelled
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Has been cancelled
wai-quantum pulse and dynamics / the same bits · macos (pull_request) Has been cancelled
wai-quantum for Python / python · macos (pull_request) Has been cancelled
wai-quantum-qpu / credentials in the keychain (macos) (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 · macos (pull_request) Has been cancelled
wai-quantum matrix-extension member / member · matrix extension absent (macos) (pull_request) Has been cancelled
wai-quantum studio and desktop / desktop app · macos (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 · Metal and the arm64 CPU (macos) (pull_request) Has been cancelled
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Has been cancelled
wai-quantum CPU vector units / member · vector unit absent (macos) (pull_request) Has been cancelled
wai-quantum WebGPU member / member · Metal (macos) (pull_request) Has been cancelled
wai-quantum WebGPU member / member · browser WebGPU (macos) (pull_request) Has been cancelled
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (pull_request) Has been cancelled
wai-sink-android native sink library / every ABI, the AAR, and the instrumented tests in a headless emulator · macos (pull_request) Has been cancelled
wai-sink-swift native sink package / libwai slices, desktop tests, simulator tests · macos (pull_request) Has been cancelled
WAI Studio / Studio in Chromium and Firefox · macos (pull_request) Has been cancelled
joule-code conformance gate / joule-moq-relay, its own energy on a counter (macos) (pull_request) Successful in 32s
joule-code conformance gate / joule-moq-relay, every target (pull_request) Successful in 2m38s
joule-code conformance gate / joule-moq-ingest, every target (pull_request) Successful in 7m2s
b3fdad50a9
This follows the merge of #654's new head, and a replay of the workflows' own
steps on Linux.

- The qpu workflow pins each test binary's count. This branch adds two tests
  to the library and one to the clients, so the pins are 63 and 9, and the
  three are named.
- The job service's committed tool list was stale. The receipt and job-result
  schemas changed after it was last regenerated, so the service's own test
  failed. It is regenerated.
- `CountsSource` is `#[non_exhaustive]` and its `ALL` is a slice, by the rule
  #654 applied to `Kind`: a later text may add a source in a minor release.
- The Chinese command-line README now says of a provider's result what the
  English one does.

Co-Authored-By: Claude Fable 5.1 <[email protected]>
A job's record keeps the device's own names for its program's qubits, and
collection reads through those without asking the device again. Logical qubits
are read from a row by label, so a qubit past the sixty-fourth can be read, and
one the program ended on that was not measured is an error. Region and bucket
are checked before they go into a host; a dotted bucket is read by path, from
the bucket the task names. An endpoint this kind would not use is refused. A
named credential that gives nothing is an error on every built-in kind, and
every part of the keys comes out of a message, whole or cut short. wai-qpu asks
for --yes wherever a job spends. A simulator's estimate says it is the minimum.
The client now has a fake that follows the service's contract, temporary keys
among what it checks.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum-qpu: the guide's cloud-tasks example names a region and a bucket that are names
Some checks failed
wai-quantum extension points / the registry and the example · linux (pull_request) Has been cancelled
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Has been cancelled
wai-quantum extension points / the registry under wasm32-wasip2 (wasmtime) (pull_request) Has been cancelled
wai-quantum service / service · linux (pull_request) Has been cancelled
wai-quantum matrix-extension member / member · matrix extension, emulated (aarch64 Linux) (pull_request) Has been cancelled
wai-quantum studio and desktop / studio · browser (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 tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Has been cancelled
wai-quantum portable tensor program / tensor program · CPU, mutants, GPU builds (pull_request) Has been cancelled
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux, release (pull_request) Has been cancelled
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Has been cancelled
wai-quantum CPU vector units / member · vector unit, rvv 1024-bit (riscv64, emulated) (pull_request) Has been cancelled
wai-quantum CPU vector units / member · vector unit, sve 128-bit (aarch64, emulated) (pull_request) Has been cancelled
wai-quantum CPU vector units / member · vector unit, rvv 128-bit (riscv64, emulated) (pull_request) Has been cancelled
wai-quantum CPU vector units / member · vector unit, sve 2048-bit (aarch64, emulated) (pull_request) Has been cancelled
wai-quantum CPU vector units / member · vector unit, avx2 (x86_64 silicon) (pull_request) Has been cancelled
wai-quantum CPU vector units / member · vector unit, sve 512-bit (aarch64, emulated) (pull_request) Has been cancelled
wai-quantum verdicts and repairs / verdicts, repairs and the intent set · linux (pull_request) Has been cancelled
wai-quantum verdicts and repairs / the intent set and the verdict under wasm32-wasip2 (wasmtime) (pull_request) Has been cancelled
wai-quantum views in agent hosts / views · the page and its engine (pull_request) Has been cancelled
wai-quantum views in agent hosts / views · a scripted host (pull_request) Has been cancelled
wai-quantum WebGPU member / shader checks · browser build · wasip2 inertness (pull_request) Has been cancelled
wai-quantum WebGPU member / member · software Vulkan (linux) (pull_request) Has been cancelled
wai-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 / the catalogue's actions, the unit tests and the core · linux (pull_request) Has been cancelled
WAI Studio / Studio in WebKit · linux (pull_request) Has been cancelled
wai-web reach builds / wai-web reach builds · the package of record, every output as recorded (pull_request) Has been cancelled
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Has been cancelled
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Has been cancelled
760abf0750
The guide's runnable block used an ellipsis for each, which adding a provider now refuses.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
job::verify runs job::check. POST /v1/verify, the service's tool, the command
line's tool and its verify on a set, an estimate or an algorithm's answer, the
Python package, the desktop app and the browser all apply section 8.4, reading
a job's text as text where they hold it, so a member named twice is found. Each
gives reasons beside valid and key, and a set's items are held to a job's rules.

A local host's qec, compile, pulse, estimate, @Seal and intent check now refuse
a request holding a number no double holds, as a run does, and seal_into writes
one in a result as the double sealed. A receipt already sealed with one stays
refused, its signature good, and verifies written as that double's digits.

A job recorded by the last release gets a receipt this one accepts: its program's
text from its record, and execution stated by nobody, which every kind takes.
compiled.qubit_names says which of the device's qubits each index was. sampler-v2
reads a backend's simulator member. The reference's ceiling on every whole number
is gone, as section 8.4 has it, with sums exact, and the differential now tries
numbers past a double's whole numbers, with a plant that proves it can see them.
verify --json keeps --history. The earlier form claims no sealing time. A made
receipt is pinned by digest. R of small order is tested where the equation holds.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
Co-Authored-By: Claude Opus 5.5 <[email protected]>
A surface that takes a job takes a set, and verified it against a seal over its
head as if over the whole result, so a good set read as invalid. The provider
path checks its own receipt before giving it: a provider's word reaches the
seal. A made receipt is pinned by digest, and generate.py --self-test shows each
way the pins fail. The corpus gains two receipts by the first form's own writer,
from the service as it was on 18 October. A second verifier's reading settled
four sentences of section 8, and -0 as an index, where the two disagreed.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: the desktop app, the browser and the notebook held to the corpus; qubit_names and whole numbers in it
Some checks failed
wai-quantum studio and desktop / studio · browser (pull_request) Failing after 4m33s
wai-quantum WebGPU member / member · software Vulkan (linux) (pull_request) Successful in 3m7s
wai-quantum docs, course and locales / the course and the command line's languages · linux (pull_request) Successful in 8m34s
wai-quantum service / service · linux (pull_request) Successful in 5m57s
WAI examples / WAI examples · portable · linux (pull_request) Successful in 12m13s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Successful in 2m45s
wai-quantum WebGPU member / shader checks · browser build · wasip2 inertness (pull_request) Successful in 4m3s
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Successful in 3m40s
wai-quantum studio and desktop / desktop app · linux (pull_request) Successful in 6m49s
wai-quantum views in agent hosts / views · a scripted host (pull_request) Successful in 4m51s
WAI operation catalogue / the catalogue and every door · linux (pull_request) Successful in 16m31s
wai-quantum tensor-engine member / member · tensor engine, the kernel toolchain's simulator (linux) (pull_request) Successful in 6m59s
wai-quantum dataflow member / member · dataflow device, simulated (pci 1e52:b140) (pull_request) Successful in 12m27s
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Successful in 5m30s
wai-sink-android native sink library / the JNI layer and the platform-free half on the host JVM · linux-arm64 (pull_request) Successful in 4m43s
WAI mbt2018_mean integer decode (regenerated vectors) / regenerate mbt2018_mean integer vectors → Rust decode, required (pull_request) Successful in 6m34s
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Successful in 8m35s
wai-quantum for Python / python · linux (pull_request) Successful in 11m19s
wai-quantum command line / command line · linux (pull_request) Successful in 16m51s
WAI energy receipts / energy receipts · linux (pull_request) Successful in 19m37s
wai-quantum signal processor / processor and member · signal processor, emulated (pull_request) Successful in 15m6s
wai-web reach builds / wai-web reach builds · the package of record, every output as recorded (pull_request) Successful in 9m32s
WAI conformance / cargo-class corpora · linux (pull_request) Successful in 21m51s
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 15m5s
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 13m48s
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 19m32s
WAI Studio / Studio in WebKit · linux (pull_request) Successful in 18m25s
wai-quantum docs, course and locales / every command and snippet in the docs · linux (pull_request) Successful in 24m44s
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Successful in 20m23s
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Successful in 1h46m48s
7671774f03
The desktop app's verify and the browser's engine_verify each have a test that
reads the corpus's text and gives section 8.4's reasons. The command line's tool
answers a set as a set, and its schema says so, with signer. The corpus gains
receipts for qubit_names (missing, null, a leading zero, short), a job stated by
nobody on a kind with rows, and whole numbers past 2^53 - 1 with only a count's
value capped, so a ceiling on every whole number is caught by the corpus alone,
as the second-only run in the conformance step needs. The notebook's stored
verdict names its reasons and form. Tool lists and agent docs regenerated.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
Co-Authored-By: Claude Opus 5.5 <[email protected]>
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
83d16c50dc
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]>
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
0f1e26eef3
--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]>
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 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
c41929230d
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]>
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]>
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
4e36e0456c
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]>
dcharlot changed title from wai-quantum: the command line holds an energy ceiling to the job service's estimate (stacked on #668) to wai-quantum: an energy ceiling is held only to an upper bound, and the command line can give one (stacked on #668) 2026-11-06 13:54:09 -05:00
#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]>
The READMEs keep this branch's ceiling paragraphs, their section reference 8.7.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Co-Authored-By: Claude Opus 5.5 <[email protected]>
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]>
- 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]>
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]>
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
4cfaca16cd
Co-Authored-By: Claude Opus 5.5 <[email protected]>
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]>
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
2812bb708e
- 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]>
dcharlot changed title from wai-quantum: an energy ceiling is held only to an upper bound, and the command line can give one (stacked on #668) to wai-quantum: an energy ceiling held by a live reading, and the command line can give one (stacked on #668) 2026-11-07 03:50:46 -05:00
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 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
cafcc16834
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]>
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
930630c3b8
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]>
- 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]>
Co-Authored-By: Claude Opus 5.5 <[email protected]>
- 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]>
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Co-Authored-By: Claude Opus 5.5 <[email protected]>
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]>
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
ba774db6bd
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]>
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
e6dfb2606e
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]>
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
358a61776a
- 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]>
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]>
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
13fb93388e
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
aec1d6649e
The at_least comparison in what ran had no receipt that only it could see.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
- 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]>
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
827008ab07
- 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: 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
895883f322
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]>
Co-Authored-By: Claude Opus 5.5 <[email protected]>
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]>
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]>
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]>
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]>
Co-Authored-By: Claude Opus 5.5 <[email protected]>
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]>
Co-Authored-By: Claude Opus 5.5 <[email protected]>
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]>
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]>
Co-Authored-By: Claude Opus 5.5 <[email protected]>
Main's 0aa569e72 makes a key whole or not at all, as this branch's 3867b6ece did, 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: 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
14730c177a
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 (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
d1c20ae722
Co-Authored-By: Claude Opus 5.5 <[email protected]>
dcharlot closed this pull request 2026-11-09 17:43:28 -05:00
Some checks failed
wai key · the real keychain / does this change touch it (pull_request) Successful in 12s
wai key · the real keychain / the real keychain · macos (pull_request) Has been skipped
jouleclaw public surface must stay documented / Public-surface audit (jouleclaw-rs) (pull_request) Successful in 36s
WAI breaking changes and the conformance runner / WAI breaking · does this change touch WAI (pull_request) Successful in 25s
joule-code conformance gate / joule-moq-relay, its own energy on a counter (macos) (pull_request) Successful in 1m1s
WAI examples / WAI examples · does this change touch them (pull_request) Successful in 31s
joule-code conformance gate / Build + round-trip C1-C4 vectors (pull_request) Successful in 1m35s
wai-quantum energy-landscape GPU members / does this change touch it (pull_request) Successful in 11s
wai-quantum energy-landscape GPU members / members · jetson-hub (pull_request) Has been skipped
wai-quantum energy-landscape GPU members / members · mac-studio (pull_request) Has been skipped
wai-quantum energy-landscape GPU members / members · framework-128gb (pull_request) Has been skipped
jouleclaw fabrics / metal (macOS, Apple GPU) (pull_request) Successful in 1m26s
jouleclaw fabrics / cuda (linux, RTX 4050 + Vulkan loader) (pull_request) Successful in 25s
wai-quantum energy-landscape jobs / does this change touch it (pull_request) Successful in 20s
WAI breaking changes and the conformance runner / WAI breaking · wire, record and API against main · linux (pull_request) Failing after 48s
jouleclaw fabrics / vulkan (linux, RTX 4050 + Vulkan loader) (pull_request) Successful in 48s
joule-code conformance gate / joule-moq-relay, every target (pull_request) Successful in 4m58s
wai-quantum energy-landscape jobs / the module under wasm32-wasip2 (wasmtime) (pull_request) Successful in 2m51s
wai-quantum on every processor / emulated · loongarch64-unknown-linux-gnu (pull_request) Successful in 3m28s
wai-quantum energy-landscape jobs / the same bits · macos (pull_request) Successful in 3m42s
wai-quantum on every processor / emulated · riscv64gc-unknown-linux-gnu (pull_request) Successful in 4m34s
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (pull_request) Successful in 6m12s
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 5m34s
wai-quantum on every processor / emulated · s390x-unknown-linux-gnu (pull_request) Successful in 5m2s
joule-code conformance gate / joule-moq-ingest, every target (pull_request) Successful in 7m0s
wai-quantum on every processor / emulated · armv7-unknown-linux-gnueabihf (pull_request) Successful in 5m28s
wai-quantum on every processor / emulated · sparc64-unknown-linux-gnu (pull_request) Successful in 5m18s
wai-quantum energy-landscape jobs / native against WebAssembly, over many seeds (pull_request) Successful in 5m9s
wai-quantum on every processor / emulated · aarch64-unknown-linux-gnu (pull_request) Successful in 6m17s
wai-quantum energy-landscape jobs / reader, kernels, answers and the stated result · linux, release (pull_request) Successful in 7m24s
wai-quantum on every processor / emulated · powerpc64le-unknown-linux-gnu (pull_request) Successful in 9m10s
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Successful in 8m52s
wai-quantum on every processor / emulated · powerpc64-unknown-linux-gnu (pull_request) Successful in 10m31s
wai-quantum on every processor / emulated · i686-unknown-linux-gnu (pull_request) Successful in 10m43s
wai-quantum energy-landscape jobs / the same bits · linux-arm64 (pull_request) Successful in 7m34s
wai-quantum WebGPU member / member · DX12 and Vulkan (cbio-windows) (pull_request) Successful in 12m39s
WAI examples / WAI examples · the archive, the readiness check, the browser and Apple · macos (pull_request) Successful in 16m9s
WAI examples / WAI examples · portable · linux (pull_request) Successful in 18m16s
joule-moq-remote host agent / joule-moq-remote · does this change touch it (pull_request) Successful in 16s
joule-moq-room room service / joule-moq-room · does this change touch it (pull_request) Successful in 17s
joule-moq-web browser client / joule-moq-web · does this change touch it (pull_request) Successful in 10s
standards workspaces build + test / which workspaces this change touches (pull_request) Successful in 12s
wai-app and Create / wai-app · does this change touch it (pull_request) Successful in 12s
wai-audit collector and player integration / does this change touch it (pull_request) Successful in 10s
wai cross-architecture byte-equality / does this change touch it (pull_request) Successful in 8s
wai cross-architecture byte-equality / linux-aarch64 (pull_request) Has been skipped
wai cross-architecture byte-equality / linux-x86_64 (pull_request) Has been skipped
wai cross-architecture byte-equality / macos-arm64 (reference) (pull_request) Has been skipped
wai cross-architecture byte-equality / windows-x86_64 (pull_request) Has been skipped
WAI conformance / does this change touch it (pull_request) Successful in 17s
WAI energy receipts / does this change touch it (pull_request) Successful in 12s
WAI operation catalogue / does this change touch it (pull_request) Successful in 31s
wai formal verification (integer core) / does this change touch it (pull_request) Successful in 11s
wai-fleet service / does this change touch it (pull_request) Successful in 14s
wai formal verification (integer core) / every harness in one shard (pull_request) Has been skipped
wai formal verification (integer core) / kani (arith) (pull_request) Has been skipped
wai formal verification (integer core) / kani (isqrt512) (pull_request) Has been skipped
wai formal verification (integer core) / kani (plan) (pull_request) Has been skipped
wai formal verification (integer core) / kani (sound) (pull_request) Has been skipped
wai formal verification (integer core) / kani (stage) (pull_request) Has been skipped
wai formal verification (integer core) / kani (rans64-t2) (pull_request) Has been skipped
wai formal verification (integer core) / kani (stage-long) (pull_request) Has been skipped
wai formal verification (integer core) / kani (integer-core) (pull_request) Has been skipped
WAI HTTP delivery / WAI HTTP · does this change touch it (pull_request) Successful in 13s
wai-int-module WAISM module of record / does this change touch it (pull_request) Successful in 12s
WAI HTTP delivery / HTTP corpus · falsify mutations 0/3 (pull_request) Has been skipped
WAI HTTP delivery / HTTP corpus · falsify mutations 1/3 (pull_request) Has been skipped
WAI HTTP delivery / HTTP corpus · falsify mutations 2/3 (pull_request) Has been skipped
WAI HTTP delivery / HTTP corpus · falsify patches 0/3 (pull_request) Has been skipped
WAI HTTP delivery / HTTP corpus · falsify patches 1/3 (pull_request) Has been skipped
WAI HTTP delivery / HTTP corpus · falsify patches 2/3 (pull_request) Has been skipped
WAI HTTP delivery / HTTP corpus · every patch and mutation in exactly one shard (pull_request) Has been skipped
WAI HTTP delivery / HTTP corpus · verified both ways, and the differential (pull_request) Has been skipped
WAI HTTP delivery / cache rules · controls and labelled caches (pull_request) Has been skipped
wai-int-module WAISM module of record / linux · both checkers, wasmtime (Cranelift, Winch), Wasmi and Node (pull_request) Has been skipped
wai-key-proxy / does this change touch it (pull_request) Successful in 10s
wai-int-module WAISM module of record / linux-arm64 · both checkers, wasmtime (Cranelift, Winch), Wasmi and Node (pull_request) Has been skipped
wai-int-module WAISM module of record / the module of record in Chromium (pull_request) Has been skipped
wai-key-proxy / proxy · linux (pull_request) Has been skipped
WAI JPEG-AI whole decode (pinned inputs, required) / does this change touch it (pull_request) Successful in 13s
WAI JPEG-AI whole decode (pinned inputs, required) / fetch pinned JPEG-AI inputs → whole decode + pixel hash, required (pull_request) Has been skipped
wai key · Windows / does this change touch it (pull_request) Successful in 11s
wai key · Windows / wai key and the toolchain's tests · windows (pull_request) Has been skipped
wai-ledger service / does this change touch it (pull_request) Successful in 13s
WAI neural decoders end-to-end / does this change touch it (pull_request) Successful in 9s
WAI neural decoders end-to-end / synthetic fixtures → Rust decode → reference (±4) (pull_request) Has been skipped
WAI neural sink gates / does this change touch it (pull_request) Successful in 16s
wai-ops-gpu integer operators on GPUs / does this change touch it (pull_request) Successful in 15s
WAI neural sink gates / model-free refusals of the neural sink (pull_request) Has been skipped
WAI neural sink gates / the neural-processor path refuses a bit-exact decode (macOS) (pull_request) Has been skipped
WAI neural sink gates / the exact JPEG-AI decoder reports its path (pinned inputs, required) (pull_request) Has been skipped
wai-ops-gpu integer operators on GPUs / builds · no adapter is not a pass (linux) (pull_request) Has been skipped
wai-ops-gpu integer operators on GPUs / Metal GPU and browser WebGPU (macos) (pull_request) Has been skipped
wai-ops-npu integer operators on neural processors / does this change touch it (pull_request) Successful in 10s
wai-ops-npu integer operators on neural processors / neural processor (framework-128gb silicon) (pull_request) Has been skipped
wai-ops-npu integer operators on neural processors / builds · no device is not a pass (linux-arm64) (pull_request) Has been skipped
wai-ops integer operators / does this change touch it (pull_request) Successful in 9s
wai-ops integer operators / linux-aarch64 (pull_request) Has been skipped
wai-ops integer operators / linux-x86_64 (pull_request) Has been skipped
wai-ops integer operators / macos-arm64 (pull_request) Has been skipped
wai-ops integer operators / wasm32-wasip2 (wasmtime) (pull_request) Has been skipped
wai-ops integer operators / wasm32 under Node (pull_request) Has been skipped
wai-ops integer operators / independent checker (Python) (pull_request) Has been skipped
wai-quantum command line / does this change touch it (pull_request) Successful in 13s
wai-pack / wai-pack · does this change touch it (pull_request) Successful in 12s
wai-quantum contract / does this change touch it (pull_request) Successful in 13s
wai-quantum CUDA member / does this change touch it (pull_request) Successful in 10s
wai-quantum signal processor / does this change touch it (pull_request) Successful in 14s
wai-quantum dataflow member / does this change touch it (pull_request) Successful in 17s
wai-quantum editors / does this change touch it (pull_request) Successful in 14s
wai-quantum docs, course and locales / does this change touch it (pull_request) Successful in 16s
wai-quantum resource estimation / does this change touch it (pull_request) Successful in 16s
wai-quantum other formats / does this change touch it (pull_request) Successful in 13s
wai-quantum FPGA member / does this change touch it (pull_request) Successful in 16s
wai-quantum HIP member / does this change touch it (pull_request) Successful in 17s
wai-quantum for JavaScript / does this change touch it (pull_request) Successful in 14s
wai-quantum-landscape-fpga reference design / does this change touch it (pull_request) Successful in 14s
wai-quantum OpenQASM reader / does this change touch it (pull_request) Successful in 9s
wai-quantum Metal member / does this change touch it (pull_request) Successful in 13s
wai-quantum npu-cores member / does this change touch it (pull_request) Successful in 10s
wai-quantum neural-processor member / does this change touch it (pull_request) Successful in 14s
wai-quantum OpenCL member / does this change touch it (pull_request) Successful in 12s
wai-quantum pulse and dynamics / does this change touch it (pull_request) Successful in 10s
wai-quantum for Python / does this change touch it (pull_request) Successful in 10s
wai-quantum error correction and mitigation / does this change touch it (pull_request) Successful in 11s
wai-quantum-qpu / does this change touch it (pull_request) Successful in 11s
wai-quantum extension points / does this change touch it (pull_request) Successful in 10s
wai-quantum service / does this change touch it (pull_request) Successful in 14s
wai-quantum matrix-extension member / does this change touch it (pull_request) Successful in 9s
wai-quantum studio and desktop / does this change touch it (pull_request) Successful in 9s
wai-quantum tensor-engine member / does this change touch it (pull_request) Successful in 10s
wai-quantum portable tensor program / does this change touch it (pull_request) Successful in 9s
wai-quantum variational and algorithm library / does this change touch it (pull_request) Successful in 9s
wai-quantum CPU vector units / does this change touch it (pull_request) Successful in 9s
wai-quantum verdicts and repairs / does this change touch it (pull_request) Successful in 11s
wai-quantum views in agent hosts / does this change touch it (pull_request) Successful in 11s
wai-sink-swift native sink package / does this change touch it (pull_request) Successful in 16s
wai-quantum WebGPU member / does this change touch it (pull_request) Successful in 18s
wai-sink-android native sink library / does this change touch it (pull_request) Successful in 14s
WAI Studio / does this change touch it (pull_request) Successful in 15s
WAI mbt2018_mean integer decode (regenerated vectors) / does this change touch it (pull_request) Successful in 21s
WAI mbt2018_mean integer decode (regenerated vectors) / regenerate mbt2018_mean integer vectors → Rust decode, required (pull_request) Has been skipped
wai-vector vector graphics / does this change touch it (pull_request) Successful in 13s
wai-vector vector graphics / linux-aarch64 (pull_request) Has been skipped
wai-vector vector graphics / linux-x86_64 (pull_request) Has been skipped
wai-vector vector graphics / macos-arm64 (pull_request) Has been skipped
wai-vector vector graphics / wasm32-wasip2 (wasmtime) (pull_request) Has been skipped
wai-vector vector graphics / wasm32 under Node (pull_request) Has been skipped
wai-vector vector graphics / wasm32 in three browser engines (pull_request) Has been skipped
wai-web reach builds / wai-web reach · does this change touch it (pull_request) Successful in 14s
wai-vector vector graphics / fuzz, peak allocation, comparison count (pull_request) Has been skipped
wai-vector vector graphics / independent checker (Python) (pull_request) Has been skipped
wai-web wasm32 / does this change touch it (pull_request) Successful in 12s
joule-moq-remote host agent / joule-moq-remote, every target (macos) (pull_request) Successful in 53s
standards workspaces build + test / macOS energy backends (pull_request) Successful in 5m4s
wai-audit collector and player integration / collector, player integration and the browser end to end · macos (pull_request) Successful in 1m25s
wai-app and Create / wai-app · Create, browser end-to-end (macos) (pull_request) Successful in 5m45s
WAI conformance / cross-arch byte-equality · macos (pull_request) Successful in 23s
WAI conformance / codec wrappers · fuzz smoke, text decode limits, C entry points, provenance, the semantic path (pull_request) Successful in 1m50s
wai-fleet service / service · macos (pull_request) Successful in 35s
wai-ledger service / service · macos (pull_request) Successful in 1m37s
joule-moq-web browser client / joule-moq-web · browser end-to-end (macos) (pull_request) Successful in 13m59s
WAI conformance / fast integer kernels, every x86_64 kernel set (AVX-512 silicon) (pull_request) Successful in 3m28s
wai-quantum command line / command line · macos (pull_request) Failing after 59s
wai-quantum dataflow member / member · dataflow device absent (macos) (pull_request) Successful in 15s
wai-quantum studio and desktop / desktop app · windows (pull_request) Successful in 9m28s
wai-quantum editors / editors · macos (pull_request) Successful in 1m18s
wai-quantum FPGA member / member · FPGA datapath, simulated (macos) (pull_request) Successful in 1m5s
wai-pack / wai-pack · macos (pull_request) Successful in 4m40s
wai-quantum HIP member / member · HIP (framework-128gb) (pull_request) Successful in 1m19s
wai-quantum Metal member / member · Metal (macos) (pull_request) Successful in 36s
WAI conformance / cargo-class corpora · macos (pull_request) Successful in 12m22s
wai-quantum npu-cores member / member · npu-cores, neural processor (framework-128gb silicon) (pull_request) Successful in 1m30s
wai-quantum OpenCL member / member · OpenCL GPU (macos) (pull_request) Successful in 23s
wai-quantum OpenCL member / member · OpenCL GPU (framework-128gb) (pull_request) Successful in 26s
WAI energy receipts / energy receipts · macos (pull_request) Successful in 11m30s
wai-quantum portable tensor program / tensor program · integrated GPU (framework-128gb) (pull_request) Successful in 14s
wai-quantum-qpu / credentials in the keychain (macos) (pull_request) Successful in 28s
wai-quantum CPU vector units / member · vector units, avx2 and avx512 (framework-128gb silicon) (pull_request) Successful in 23s
wai-quantum pulse and dynamics / the same bits · macos (pull_request) Successful in 1m3s
wai-app and Create / wai-app · tests, clippy, the line language's verifier (linux) (pull_request) Successful in 40s
wai-quantum portable tensor program / tensor program · Metal and the arm64 CPU (macos) (pull_request) Successful in 19s
wai-quantum for Python / python · macos (pull_request) Successful in 2m14s
wai-quantum CPU vector units / member · vector unit absent (macos) (pull_request) Successful in 15s
wai-quantum matrix-extension member / member · matrix extension absent (macos) (pull_request) Successful in 12s
wai-quantum neural-processor member / member · neural processor (macos) (pull_request) Successful in 5m34s
wai-audit collector and player integration / collector · linux (pull_request) Successful in 1m16s
WAI conformance / cross-arch byte-equality · linux (pull_request) Successful in 38s
wai-quantum service / service · macos (pull_request) Successful in 3m56s
WAI conformance / faces from keypoints under wasm32-wasip2 (wasmtime) (pull_request) Successful in 1m38s
wai-quantum WebGPU member / member · browser WebGPU (macos) (pull_request) Successful in 1m33s
wai-quantum studio and desktop / desktop app · macos (pull_request) Successful in 3m31s
wai-quantum WebGPU member / member · Metal (macos) (pull_request) Successful in 2m29s
WAI conformance / quantum core and corpus under wasm32-wasip2 (wasmtime) (pull_request) Successful in 4m41s
wai-fleet service / service · linux (pull_request) Successful in 2m18s
wai-ledger service / service · linux (pull_request) Successful in 3m48s
wai-quantum contract / the policy is linked, and the deprecations page reads (pull_request) Successful in 6s
wai-sink-android native sink library / every ABI, the AAR, and the instrumented tests in a headless emulator · macos (pull_request) Successful in 6m25s
wai-quantum CUDA member / member · CUDA absent (linux) (pull_request) Successful in 2m48s
wai-quantum WebGPU member / member · integrated GPU, Vulkan (framework-128gb) (pull_request) Successful in 8m9s
wai-quantum contract / API compatibility · linux (pull_request) Successful in 4m40s
wai-pack / wai-pack · linux (pull_request) Successful in 5m18s
wai-quantum docs, course and locales / the Studio's words in every locale · linux (pull_request) Successful in 20s
WAI Studio / Studio in Chromium and Firefox · macos (pull_request) Successful in 9m54s
WAI operation catalogue / the catalogue and every door · linux (pull_request) Successful in 10m36s
wai-quantum FPGA member / member · FPGA simulation absent (linux) (pull_request) Successful in 25s
wai-quantum docs, course and locales / the course and the command line's languages · linux (pull_request) Successful in 3m42s
wai-quantum dataflow member / member · dataflow device, simulated (pci 1e52:b140) (pull_request) Successful in 6m58s
wai-quantum editors / editors · linux (pull_request) Successful in 5m45s
wai-sink-swift native sink package / libwai slices, desktop tests, simulator tests · macos (pull_request) Successful in 15m13s
wai-quantum other formats / readers, writers and the set · linux (pull_request) Successful in 5m30s
wai-quantum other formats / the set under wasm32-wasip2 (wasmtime) (pull_request) Successful in 3m33s
wai-quantum contract / schemas and the committed tool lists · linux (pull_request) Successful in 10m59s
wai-quantum dataflow member / member · dataflow device, simulated (pci 1e52:401e) (pull_request) Successful in 8m38s
wai-quantum OpenQASM reader / corpus under wasm32-wasip2 (wasmtime) (pull_request) Successful in 41s
wai-quantum resource estimation / estimation and calibration · linux, release (pull_request) Successful in 6m41s
wai-quantum for JavaScript / javascript · linux (pull_request) Successful in 3m40s
wai-quantum neural-processor member / member · neural processor absent (linux) (pull_request) Successful in 36s
wai-quantum Metal member / member · Metal absent (linux) (pull_request) Successful in 49s
wai-quantum OpenQASM reader / reader and corpus · linux (pull_request) Successful in 4m17s
wai-quantum OpenCL member / member · OpenCL absent (linux) (pull_request) Successful in 36s
WAI energy receipts / energy receipts · linux (pull_request) Successful in 19m12s
wai-quantum pulse and dynamics / reader, simulator and pulse jobs under wasm32-wasip2 (wasmtime) (pull_request) Successful in 59s
wai-quantum-landscape-fpga reference design / the member against the model of the logic, and the logic against the model · linux, release (pull_request) Successful in 9m34s
wai-quantum pulse and dynamics / reader, simulator and pulse jobs · linux, release (pull_request) Successful in 3m29s
wai-quantum-qpu / clients against their contracts (linux) (pull_request) Successful in 1m26s
wai-quantum extension points / the registry under wasm32-wasip2 (wasmtime) (pull_request) Failing after 1m37s
wai-quantum for Python / python · linux (pull_request) Successful in 3m37s
wai-quantum extension points / the registry and the example · linux (pull_request) Failing after 2m59s
wai-quantum error correction and mitigation / codes, decoders, texts and mitigation · linux, release (pull_request) Successful in 3m56s
wai-quantum matrix-extension member / member · matrix extension, emulated (aarch64 Linux) (pull_request) Successful in 26s
wai-quantum portable tensor program / tensor program · CPU, mutants, GPU builds (pull_request) Successful in 47s
wai-quantum CPU vector units / member · vector unit, rvv 1024-bit (riscv64, emulated) (pull_request) Successful in 30s
wai-quantum docs, course and locales / every command and snippet in the docs · linux (pull_request) Successful in 20m4s
wai-quantum CPU vector units / member · vector unit, sve 128-bit (aarch64, emulated) (pull_request) Successful in 37s
wai-quantum CPU vector units / member · vector unit, rvv 128-bit (riscv64, emulated) (pull_request) Successful in 31s
WAI conformance / cargo-class corpora · linux (pull_request) Successful in 31m13s
wai-quantum CPU vector units / member · vector unit, sve 2048-bit (aarch64, emulated) (pull_request) Successful in 40s
wai-quantum CPU vector units / member · vector unit, sve 512-bit (aarch64, emulated) (pull_request) Successful in 28s
wai-quantum CPU vector units / member · vector unit, avx2 (x86_64 silicon) (pull_request) Successful in 53s
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux, release (pull_request) Successful in 2m18s
wai-quantum studio and desktop / studio · browser (pull_request) Successful in 4m34s
wai-quantum service / service · linux (pull_request) Successful in 7m3s
wai-quantum command line / command line · linux (pull_request) Successful in 27m56s
wai-quantum verdicts and repairs / the intent set and the verdict under wasm32-wasip2 (wasmtime) (pull_request) Successful in 1m49s
wai-quantum verdicts and repairs / verdicts, repairs and the intent set · linux (pull_request) Successful in 2m58s
WAI Studio / the catalogue's actions, the unit tests and the core · linux (pull_request) Successful in 1m14s
wai-quantum tensor-engine member / member · tensor engine, the kernel toolchain's simulator (linux) (pull_request) Successful in 6m46s
wai-quantum signal processor / processor and member · signal processor, emulated (pull_request) Successful in 29m36s
wai-quantum CUDA member / member · CUDA (thor) (pull_request) Successful in 3m11s
wai-quantum WebGPU member / member · software Vulkan (linux) (pull_request) Successful in 3m13s
wai-quantum views in agent hosts / views · the page and its engine (pull_request) Successful in 5m27s
wai-quantum WebGPU member / shader checks · browser build · wasip2 inertness (pull_request) Successful in 6m0s
wai-quantum OpenCL member / member · OpenCL GPU and CPU (thor) (pull_request) Successful in 1m11s
wai-web reach builds / wai-web reach builds · the package of record, every output as recorded (pull_request) Successful in 4m6s
wai-quantum views in agent hosts / views · a scripted host (pull_request) Successful in 8m14s
joule-moq-remote host agent / joule-moq-remote, every target (linux-arm64) (pull_request) Successful in 1m53s
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Successful in 7m15s
wai-quantum studio and desktop / desktop app · linux (pull_request) Successful in 17m23s
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

Pull request closed

Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
Transaction-Science/open-standards!670
No description provided.