Transaction-Science/open-standards
Watch
1
0
Fork
You've already forked open-standards
 0
Code Issues Pull requests Projects Releases 15 Packages Wiki Activity Actions

wai-quantum: the planner under a contract, its reasoning sealed, a provider's answer shadowed (stacked on #660) #668

Closed
dcharlot wants to merge 29 commits from wai/quantum-planner-contract into main
pull from: wai/quantum-planner-contract
merge into: Transaction-Science:main
Conversation 0 Commits 29 Files changed 171 +102948 -23005
dcharlot commented 2026-11-06 07:16:04 -05:00
Owner
Copy link

Re-landed on main as one commit, 2778ddd52 (2026-11-09), under the land-it model. Its local merge with main is 37350335b. 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.

Merges main at e54f28102 (wai-quantum 0.9.0), so it stands on main alone. #660 adds §8.6, a set's receipt, so the contract here is §8.7: its heading and every reference to it (spec, both verifiers, schema, tests, READMEs, changelog) say so.

What it does

The planner under a contract, from the Platform Blueprint's section 3: a job says what it wants of an answer, the planner prices every route it can see, runs the cheapest that meets it, and seals its reasoning in the receipt. Nothing falls back in silence.

  • A contract in the job request (contract): exactness (the class wanted), max_cost (an amount in decimals and a currency, which bounds the estimate a route is chosen by, not what is charged after), deadline_seconds, max_joules, and providers (never, the default under any contract, or allowed). A provider named under a contract that does not allow one is refused (J070), and none is asked anything there. A job without a contract gives the bytes it gave. A contract that does not read is refused member by member (J070); a set refuses one (J073).
  • The planner (wai/wai-quantum/src/engine/planner.rs) lists each method here and each provider a host brings, and prices each with what is known: a method's memory and work, its time at the nominal rate where its work predicts it, its energy where the host estimates one; a provider's own estimate and what it leaves out (time, amount, energy, mitigation, decoder, charged). Each rejected route carries a code and a sentence. An unknown never passes: an unstated time does not meet a deadline, nor an unknown cost a ceiling, nor an estimate that is only the least a job can come to (cost_at_least), nor an energy nobody estimates. Nothing moves from exact to approximate or between a simulator and a device. With no route left the job is refused with every route's reason (J071). A contract that names no class keeps auto's pick, and only a route at least as exact may replace it.
  • The reasoning is sealed as planner (wai.quantum.planner/1): every route, its price or rejection, the choice, stable (a digest of what the host-independent routes cost, pinned and tested on x86_64 and arm64), and kept (deadline, energy and charge against what happened). Section 8.7 of quantum-providers.md states every rule, and both verifiers recompute each route's outcome, the choice, what the job names, the question it asks and auto (from each method's sealed auto_rank) from what the receipt states, with nine new reasons.
  • A provider's answer is shadowed: the most exact classical method that can reach the same counts in the time the contract leaves runs on a seed of its own, and the result carries both with their distance (total variation exactly, Hellinger fidelity, and sampling_tvd_bound, which holds for sparse outcomes as for dense ones). It is a method's run of exactly the job's program, with no other member, and its counts are whole and sum to its shots. Where none can, the result says which tried and why. verify --recheck prices the routes again, checks auto, and runs the shadow again, one the host says failed among them.
  • Surfaces: run/plan take --exactness --max-cost --deadline --max-joules --allow-providers --contract (a run that kept less than it asked exits 4; --deadline and --max-joules take a finite number above 0). A routed run that is not free takes --confirm WORD (confirm for an agent), the word its dry run gives for that route, estimate and program, and is refused at send time if any changed; --yes confirms only a provider the person names. The command line cancels a provider's job still waiting at its deadline (J074); the local MCP server gains plan_routes and run_routed; the engine's run and plan tools take a contract and reach no provider. The free job service takes a contract, never lists a provider among its routes, holds max_joules to what it has metered, stops a run at its deadline (J074), and keeps a queued job's reasoning across a restart.

The review of #668

All seventeen findings are fixed, each held by a test or a corpus receipt that fails on the old rule:

  1. A routed run that is not free is confirmed by a word bound to its route, its estimate and its program, made again at send time; --yes no longer confirms an unseen route; the spec says max_cost bounds the estimate, not the charge.
  2. A shadow with no route fails in both verifiers (it read None == None).
  3. The shadow is a method's run of exactly qasm, shots, seed and method; its plan's code is budget, memory or none; its class is its route's as listed, its budget what the contract leaves, its price within it; --recheck runs a shadow the host says failed.
  4. Under any contract providers default to never, a named one is refused (J070), and contract_provider is a §8.7 reason; a job with no contract is byte-identical.
  5. A price states at most 10^12 seconds and an amount of at most 64 characters, so neither verifier calls an honest receipt unreadable.
  6. Shadow counts are whole and sum exactly to its shots.
  7. The order is total: a local route's money is free, times compare to the nearest millisecond.
  8. kept.cost.charged is the result's charge, and kept has exactly its members (a kept of 0 no longer reads as null: the differential found that in the reference).
  9. auto is recomputed from each method's sealed auto_rank and the question.
  10. A device target's job names its method (named), beside the host's providers.
  11. A named approximate simulator runs under a contract that names no class.
  12. The differential compares kept, the class and the shadow's distance as well as the reasons; corpus receipts kill the review's surviving mutants.
  13. §8.7 says what a deadline measures, and the command line cancels a provider's job still waiting at it.
  14. The sampling bound is E|2B − n| summed per outcome (exact below 4096, asymptotic above), so it holds for sparse outcomes.
  15. No provider is asked anything where the contract disallows one.
  16. --deadline and --max-joules refuse inf, NaN, 0 and below.
  17. The 0 s comparison is fair, the pulse message is restored, and cut-rank's anneal uses the engine's own exp and ln, so the stable digest has no platform transcendental in it.

The verification of #668/#670

Fifteen of its 19 findings are this PR's (the other four, the energy ones, are #670's). Each has a test or receipt that failed first:

  • F2 A paid provider-named job whose shadow is the stabilizer got no receipt: its route was listed with an unpriced class. Named routes now carry the class of the plan their shadow would have, and before_sending holds a reasoning to §8.7 before anything is sent.
  • F3 A built-in route's class and a local result's class were held by neither verifier. Both now hold them to section 8.7's table.
  • F6, F10 A provider the contract does not allow, or one that could give no class the job wants, is asked nothing: not its description, and not an estimate carrying the program.
  • F7, F8 A job past its deadline ends only on the provider's word that it was cancelled, and a client that cannot cancel says so (cancel in leaves_out).
  • F9, F11 The confirmation word binds the provider, the device and its identity, and the text says only that word confirms it.
  • F12, F13, F14 recheck plans the shadow again on the same engine, compares what the job named, and compares auto only over the routes that do not depend on the host.
  • F15, F16, F17, F18 What a receipt states of itself: a shadow's outcomes, a local route's memory and work, a target's and a pulse program's deadline, and host.providers against the routes.

A last pass found three more, all fixed here. The schema's leaves_out did not take cancel, though the engine could write it; nothing tested a provider-named job shadowed by cut-rank in single precision, whose route's class the job's memory decides; and the check before sending sat beside the assignment it guards, so removing it failed nothing. It is now one method (Plan::reason_held), the only way a provider's plan takes up its reasoning.

The third check

Eight of its fifteen findings are this PR's (#1–#8; the other seven are #670's). Each was reproduced first: by the reviewer's crafted receipts, which both verifiers accepted here too, or by a test of the old code. Each now has a crafted receipt or test that fails without the fix.

  • #1 (medium) What ran is the route chosen. A provider's result now has its route's money as its cost: free alike, and amount, currency, unit and at_least alike. It also has the device and provenance its route names. Both verifiers report a mismatch as planner_choice. The corpus gains a run sealed at 50 USD on a route called free, a paid run sealed free, an unknown cost sealed free, another amount, and another device.
  • #2 One word, one run. A routed run's word binds the job's contract and how many runs of the job the ledger holds. The same word no longer sends a second job, a dry run after a send gives the next run's word, and a word given under one contract does not send under another.
  • #3, #5, #7 What a route states of itself.
    • Every built-in route has the one class its table gives, except stabilizer's, stabilizer-rank's and cut-rank's; a matrix product state's route is heuristic.
    • A provider's route has the class its provenance gives.
    • A method the host registered is host-dependent.
  • #4 Recheck. For a receipt sealed by another engine whose shadow did not run, recheck says what this engine plans and gives holds: null, never true.
  • #6 Shadow width. A shadow's outcomes must be as long as the provider's.
  • #8 Open-protocol providers. One may say in describe that it cannot cancel (cancels: false, §5.1), and its price then leaves out cancel. Its estimate may say the amount is the least the job can come to (at_least, §5.2), and that meets no ceiling.

Found while fixing: the pre-send check now carries the route's device and cost, so it holds the same rule as a sealed receipt.

The fifth check

Two of its 18 findings are this PR's.

  • #4 and #12. Both verifiers now compare lists and objects member by member, by the same rule as single members: numbers by value, a boolean only to a boolean, and null the same as absent.
  • #18. 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 still reported.

On the Framework (Linux) and the M4 (macOS), at #670's tree, which contains this PR's head:

  • --self-test passes 318 of 318.
  • The differential agrees on 281 corpus receipts three ways.
  • Engine 73 on Linux and 74 on macOS.
  • qpu 126 on Linux and 127 on macOS.

The fourth check

Nine of its 23 findings are this PR's: #7, #8, #13, #17, #18, #19, #20, #21 and #23. Each has a test, a receipt or a mutant that fails without its fix.

  • #7, #13, #17 One word, one run, even when sends race. A routed word's count and its run's record are taken under one flock on the ledger, and the record is written before the send. Four threads sending one word send one run. A run the provider took spends its word whatever became of it; only one it refused before taking it leaves the word unspent (§8.7 says so).
  • #8 J071 before any question. 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 the provider is described or asked for an estimate.
  • #18 The earlier form. Under a contract, a provider's result of the earlier form is refused (contract_form), in both verifiers.
  • #19, #20 One comparison. Both verifiers compare a route's money, device and provenance with what ran in the same way:
    • numbers by value (7 and 7.0, -0 and 0);
    • a boolean only to a boolean;
    • null as an absent member.
  • #21, #23 Recheck. A recheck of any receipt sealed by another engine version gives holds: null, and it reads host.job_bytes by value however that is spelled.
  • CI timeout. The receipt plants in wai-quantum-cli.yml run side by side (xargs -P $(nproc)), and the step fails unless all 13 are caught. One after another they had pushed the job past its hour; side by side they took 9 minutes on the Framework.

Main. Main is merged at e54f28102 (wai-quantum 0.9.0). That moved two pins: four of the five pinned stable.digest values change with 0.9.0's prices (read on macOS arm64), and the qpu library holds 94 tests.

Runs this round (through rb):

  • The Framework, Linux x86_64, before the main merge: receipts at 533b9d378. --self-test passes 296 of 296; the differential agrees on 257 corpus and 23,788 one-change receipts; all 13 plants are caught side by side. The planner (59) and qpu (126) baselines are clean, and each of this round's 7 Rust mutants is caught.
  • The M4 Mac, macOS arm64, at ba774db6b (main merged, blessed): engine 173, CLI 109, service 53, qpu 94 + 2 + 17 + 2 + 12 = 127, 0 failed; clippy clean.
  • Public names (4,856 files) and lockfiles (65) are clean.
  • The Framework fell below its disk floor before the main-merged tree could run there, so this tree's Linux run is #670's on Thor below.

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

These are the runs at the final commit cafcc1683, on Linux x86_64 (the Framework).

  • Engine, --features full --lib over engine::job:: refusal:: catalog:: compile:: formats:: planner:: registry:: sets:: provider::, cut-rank and repro: 148 passed.
  • wai-quantum-cli: 1 + 78 + 2 + 5 + 2 + 2 + 11 + 7 = 108 passed.
  • wai-quantum-service: 46 + 1 + 1 + 1 + 1 = 50 passed.
  • wai-quantum-qpu: 93 + 2 + 17 + 2 + 12 = 126 passed.
  • 0 failed in all of the above, and the tool lists came out as committed.
  • clippy -D warnings on qpu, the CLI (with and without default features) and the service is clean, and RUSTFLAGS=-D warnings is clean for every engine feature set the workflows check.
  • Receipts:
    • generate.py --check (223 crafted) and --self-test pass, and receipt_verify.py --self-test passes 293 of 293.
    • The differential agrees three ways on 257 corpus receipts and on 23,788 one-change receipts.
    • All 13 plants are caught.
  • Mutants of the second verifier (45: the 38 before and 7 of this check's rules): every one is caught. Three (the free rule, the provenance class and the shadow's width) are caught by the corpus alone, not the self-test. The free rule survived the first run; the crafted receipt cost-unknown-run-free, where only that rule can see the lie, now catches it.
  • Mutants of the Rust (29, each a runtime switch on one build): every one is caught by a named test against clean baselines (planner 59, qpu 126, corpus verdicts 7). This check's are the route money, the provenance class, registered methods, the table's class, the shadow width, recheck on another engine, the reused word, the word without the contract, cancel and at least.
  • Public names (4,634 files) and lockfiles (62): clean at cafcc1683; the commit message names no denied word.

Found on the way

  • A provider's estimate that is only the least a job can come to (cloud-tasks bills its simulator by the minute) was read as a price that meets a ceiling. It is now cost_at_least, in the engine, the second verifier, §8.7 and the schema.
  • A route's class for a method that declares two classes was taken from a strength ladder, so single and bounded together gave bounded, and a single result broke the receipt its own host sealed. It is now the first class each declared class meets. A result short of the class its reasoning wants gives no answer (J072), and every host checks a contract job against §8.7 before sealing it (the local engine, the service, and the qpu routed path; the provider path already checks its own receipt).
  • The verifiers disagreed where §8.7 reads by value: a missing local elapsed_ms (found by the differential on 3 of 16,560 changed receipts), omitted_shots written 0.0, the shadow's request compared by JSON identity, −0.0 in the order, and seed arithmetic that could overflow. The distance also multiplied two counts in a machine word. All now follow §8.7, which says how each is read.
  • The second verifier's §8.7 helper shadowed its own number reader, failing 87 of its self-test's 167 checks. It is renamed, and the self-test now holds a contract job and each new plant.
  • 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 its worker every 200 ms, so a run could pass a contract's deadline by that much and be sealed (seen on macOS); it now looks at the deadline itself.
  • Outside this change: the service's verify answer gives signer, which its output schema does not describe (the command line's does).

Not done

  • No real provider task: tests use the scripted transports and the reference provider, as the brief says.
  • The job service's own receipts under a contract are not in the corpus. make.sh makes service receipts against the live service, which does not run this code yet; the service's contract test holds them instead.
  • A run's energy ceiling here is held to what a host states; #670, stacked on this, holds it by a live reading while the job runs.

🤖 Generated with Claude Code

**Re-landed on main as one commit, 2778ddd52 (2026-11-09), under the land-it model.** Its local merge with main is 37350335b. 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. --- **Merges main** at `e54f28102` (wai-quantum 0.9.0), so it stands on main alone. #660 adds §8.6, a set's receipt, so the contract here is **§8.7**: its heading and every reference to it (spec, both verifiers, schema, tests, READMEs, changelog) say so. ## What it does The planner under a contract, from the Platform Blueprint's section 3: a job says what it wants of an answer, the planner prices every route it can see, runs the cheapest that meets it, and seals its reasoning in the receipt. Nothing falls back in silence. - **A contract in the job request** (`contract`): `exactness` (the class wanted), `max_cost` (an amount in decimals and a currency, which bounds the estimate a route is chosen by, not what is charged after), `deadline_seconds`, `max_joules`, and `providers` (`never`, the default under any contract, or `allowed`). A provider named under a contract that does not allow one is refused (`J070`), and none is asked anything there. A job without a contract gives the bytes it gave. A contract that does not read is refused member by member (`J070`); a set refuses one (`J073`). - **The planner** (`wai/wai-quantum/src/engine/planner.rs`) lists each method here and each provider a host brings, and prices each with what is known: a method's memory and work, its time at the nominal rate where its work predicts it, its energy where the host estimates one; a provider's own estimate and what it leaves out (time, amount, energy, mitigation, decoder, charged). Each rejected route carries a code and a sentence. An unknown never passes: an unstated time does not meet a deadline, nor an unknown cost a ceiling, nor an estimate that is only the least a job can come to (`cost_at_least`), nor an energy nobody estimates. Nothing moves from exact to approximate or between a simulator and a device. With no route left the job is refused with every route's reason (`J071`). A contract that names no class keeps `auto`'s pick, and only a route at least as exact may replace it. - **The reasoning is sealed** as `planner` (`wai.quantum.planner/1`): every route, its price or rejection, the choice, `stable` (a digest of what the host-independent routes cost, pinned and tested on x86_64 and arm64), and `kept` (deadline, energy and charge against what happened). Section 8.7 of `quantum-providers.md` states every rule, and both verifiers recompute each route's outcome, the choice, what the job names, the question it asks and `auto` (from each method's sealed `auto_rank`) from what the receipt states, with nine new reasons. - **A provider's answer is shadowed**: the most exact classical method that can reach the same counts in the time the contract leaves runs on a seed of its own, and the result carries both with their distance (total variation exactly, Hellinger fidelity, and `sampling_tvd_bound`, which holds for sparse outcomes as for dense ones). It is a method's run of exactly the job's program, with no other member, and its counts are whole and sum to its shots. Where none can, the result says which tried and why. `verify --recheck` prices the routes again, checks `auto`, and runs the shadow again, one the host says failed among them. - **Surfaces**: `run`/`plan` take `--exactness --max-cost --deadline --max-joules --allow-providers --contract` (a run that kept less than it asked exits 4; `--deadline` and `--max-joules` take a finite number above 0). A routed run that is not free takes `--confirm WORD` (`confirm` for an agent), the word its dry run gives for that route, estimate and program, and is refused at send time if any changed; `--yes` confirms only a provider the person names. The command line cancels a provider's job still waiting at its deadline (`J074`); the local MCP server gains `plan_routes` and `run_routed`; the engine's run and plan tools take a contract and reach no provider. The free job service takes a contract, never lists a provider among its routes, holds `max_joules` to what it has metered, stops a run at its deadline (`J074`), and keeps a queued job's reasoning across a restart. ## The review of #668 All seventeen findings are fixed, each held by a test or a corpus receipt that fails on the old rule: 1. A routed run that is not free is confirmed by a word bound to its route, its estimate and its program, made again at send time; `--yes` no longer confirms an unseen route; the spec says `max_cost` bounds the estimate, not the charge. 2. A shadow with no route fails in both verifiers (it read `None == None`). 3. The shadow is a method's run of exactly `qasm`, `shots`, `seed` and `method`; its plan's code is `budget`, `memory` or `none`; its class is its route's as listed, its budget what the contract leaves, its price within it; `--recheck` runs a shadow the host says failed. 4. Under any contract providers default to never, a named one is refused (`J070`), and `contract_provider` is a §8.7 reason; a job with no contract is byte-identical. 5. A price states at most 10^12 seconds and an amount of at most 64 characters, so neither verifier calls an honest receipt unreadable. 6. Shadow counts are whole and sum exactly to its shots. 7. The order is total: a local route's money is free, times compare to the nearest millisecond. 8. `kept.cost.charged` is the result's charge, and kept has exactly its members (a `kept` of 0 no longer reads as `null`: the differential found that in the reference). 9. `auto` is recomputed from each method's sealed `auto_rank` and the question. 10. A device target's job names its method (`named`), beside the host's providers. 11. A named approximate simulator runs under a contract that names no class. 12. The differential compares kept, the class and the shadow's distance as well as the reasons; corpus receipts kill the review's surviving mutants. 13. §8.7 says what a deadline measures, and the command line cancels a provider's job still waiting at it. 14. The sampling bound is `E|2B − n|` summed per outcome (exact below 4096, asymptotic above), so it holds for sparse outcomes. 15. No provider is asked anything where the contract disallows one. 16. `--deadline` and `--max-joules` refuse `inf`, `NaN`, 0 and below. 17. The 0 s comparison is fair, the pulse message is restored, and cut-rank's anneal uses the engine's own exp and ln, so the stable digest has no platform transcendental in it. ## The verification of #668/#670 Fifteen of its 19 findings are this PR's (the other four, the energy ones, are #670's). Each has a test or receipt that failed first: - **F2** A paid provider-named job whose shadow is the stabilizer got no receipt: its route was listed with an unpriced class. Named routes now carry the class of the plan their shadow would have, and `before_sending` holds a reasoning to §8.7 before anything is sent. - **F3** A built-in route's class and a local result's class were held by neither verifier. Both now hold them to section 8.7's table. - **F6, F10** A provider the contract does not allow, or one that could give no class the job wants, is asked nothing: not its description, and not an estimate carrying the program. - **F7, F8** A job past its deadline ends only on the provider's word that it was cancelled, and a client that cannot cancel says so (`cancel` in `leaves_out`). - **F9, F11** The confirmation word binds the provider, the device and its identity, and the text says only that word confirms it. - **F12, F13, F14** `recheck` plans the shadow again on the same engine, compares what the job named, and compares `auto` only over the routes that do not depend on the host. - **F15, F16, F17, F18** What a receipt states of itself: a shadow's outcomes, a local route's memory and work, a target's and a pulse program's deadline, and `host.providers` against the routes. A last pass found three more, all fixed here. The schema's `leaves_out` did not take `cancel`, though the engine could write it; nothing tested a provider-named job shadowed by cut-rank in single precision, whose route's class the job's memory decides; and the check before sending sat beside the assignment it guards, so removing it failed nothing. It is now one method (`Plan::reason_held`), the only way a provider's plan takes up its reasoning. ## The third check Eight of its fifteen findings are this PR's (#1–#8; the other seven are #670's). Each was reproduced first: by the reviewer's crafted receipts, which both verifiers accepted here too, or by a test of the old code. Each now has a crafted receipt or test that fails without the fix. - **#1 (medium) What ran is the route chosen.** A provider's result now has its route's money as its cost: `free` alike, and `amount`, `currency`, `unit` and `at_least` alike. It also has the device and provenance its route names. Both verifiers report a mismatch as `planner_choice`. The corpus gains a run sealed at 50 USD on a route called free, a paid run sealed free, an unknown cost sealed free, another amount, and another device. - **#2 One word, one run.** A routed run's word binds the job's contract and how many runs of the job the ledger holds. The same word no longer sends a second job, a dry run after a send gives the next run's word, and a word given under one contract does not send under another. - **#3, #5, #7 What a route states of itself.** - Every built-in route has the one class its table gives, except stabilizer's, stabilizer-rank's and cut-rank's; a matrix product state's route is `heuristic`. - A provider's route has the class its provenance gives. - A method the host registered is host-dependent. - **#4 Recheck.** For a receipt sealed by another engine whose shadow did not run, recheck says what this engine plans and gives `holds: null`, never `true`. - **#6 Shadow width.** A shadow's outcomes must be as long as the provider's. - **#8 Open-protocol providers.** One may say in `describe` that it cannot cancel (`cancels: false`, §5.1), and its price then leaves out `cancel`. Its estimate may say the amount is the least the job can come to (`at_least`, §5.2), and that meets no ceiling. Found while fixing: the pre-send check now carries the route's device and cost, so it holds the same rule as a sealed receipt. ## The fifth check Two of its 18 findings are this PR's. - **#4 and #12.** Both verifiers now compare lists and objects member by member, by the same rule as single members: numbers by value, a boolean only to a boolean, and `null` the same as absent. - **#18.** 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 still reported. On the Framework (Linux) and the M4 (macOS), at #670's tree, which contains this PR's head: - `--self-test` passes 318 of 318. - The differential agrees on 281 corpus receipts three ways. - Engine 73 on Linux and 74 on macOS. - qpu 126 on Linux and 127 on macOS. ## The fourth check Nine of its 23 findings are this PR's: #7, #8, #13, #17, #18, #19, #20, #21 and #23. Each has a test, a receipt or a mutant that fails without its fix. - **#7, #13, #17 One word, one run, even when sends race.** A routed word's count and its run's record are taken under one `flock` on the ledger, and the record is written before the send. Four threads sending one word send one run. A run the provider took spends its word whatever became of it; only one it refused before taking it leaves the word unspent (§8.7 says so). - **#8 J071 before any question.** 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 the provider is described or asked for an estimate. - **#18 The earlier form.** Under a contract, a provider's result of the earlier form is refused (`contract_form`), in both verifiers. - **#19, #20 One comparison.** Both verifiers compare a route's money, device and provenance with what ran in the same way: - numbers by value (`7` and `7.0`, `-0` and `0`); - a boolean only to a boolean; - `null` as an absent member. - **#21, #23 Recheck.** A recheck of any receipt sealed by another engine version gives `holds: null`, and it reads `host.job_bytes` by value however that is spelled. - **CI timeout.** The receipt plants in `wai-quantum-cli.yml` run side by side (`xargs -P $(nproc)`), and the step fails unless all 13 are caught. One after another they had pushed the job past its hour; side by side they took 9 minutes on the Framework. **Main.** Main is merged at `e54f28102` (wai-quantum 0.9.0). That moved two pins: four of the five pinned `stable.digest` values change with 0.9.0's prices (read on macOS arm64), and the qpu library holds 94 tests. **Runs this round** (through `rb`): - The Framework, Linux x86_64, before the main merge: receipts at `533b9d378`. `--self-test` passes 296 of 296; the differential agrees on 257 corpus and 23,788 one-change receipts; all 13 plants are caught side by side. The planner (59) and qpu (126) baselines are clean, and each of this round's 7 Rust mutants is caught. - The M4 Mac, macOS arm64, at `ba774db6b` (main merged, blessed): engine 173, CLI 109, service 53, qpu 94 + 2 + 17 + 2 + 12 = 127, 0 failed; clippy clean. - Public names (4,856 files) and lockfiles (65) are clean. - The Framework fell below its disk floor before the main-merged tree could run there, so this tree's Linux run is #670's on Thor below. ## What runs (through `rb`; nothing on the dev Mac) These are the runs at the final commit `cafcc1683`, on Linux x86_64 (the Framework). - Engine, `--features full --lib` over `engine::job:: refusal:: catalog:: compile:: formats:: planner:: registry:: sets:: provider::`, cut-rank and repro: 148 passed. - `wai-quantum-cli`: 1 + 78 + 2 + 5 + 2 + 2 + 11 + 7 = 108 passed. - `wai-quantum-service`: 46 + 1 + 1 + 1 + 1 = 50 passed. - `wai-quantum-qpu`: 93 + 2 + 17 + 2 + 12 = 126 passed. - 0 failed in all of the above, and the tool lists came out as committed. - clippy `-D warnings` on qpu, the CLI (with and without default features) and the service is clean, and `RUSTFLAGS=-D warnings` is clean for every engine feature set the workflows check. - Receipts: - `generate.py --check` (223 crafted) and `--self-test` pass, and `receipt_verify.py --self-test` passes 293 of 293. - The differential agrees three ways on 257 corpus receipts and on 23,788 one-change receipts. - All 13 plants are caught. - **Mutants of the second verifier** (45: the 38 before and 7 of this check's rules): every one is caught. Three (the `free` rule, the provenance class and the shadow's width) are caught by the corpus alone, not the self-test. The `free` rule survived the first run; the crafted receipt `cost-unknown-run-free`, where only that rule can see the lie, now catches it. - **Mutants of the Rust** (29, each a runtime switch on one build): every one is caught by a named test against clean baselines (planner 59, qpu 126, corpus verdicts 7). This check's are the route money, the provenance class, registered methods, the table's class, the shadow width, recheck on another engine, the reused word, the word without the contract, cancel and at least. - Public names (4,634 files) and lockfiles (62): clean at `cafcc1683`; the commit message names no denied word. ## Found on the way - A provider's estimate that is only the least a job can come to (cloud-tasks bills its simulator by the minute) was read as a price that meets a ceiling. It is now `cost_at_least`, in the engine, the second verifier, §8.7 and the schema. - A route's class for a method that declares two classes was taken from a strength ladder, so `single` and `bounded` together gave `bounded`, and a `single` result broke the receipt its own host sealed. It is now the first class each declared class meets. A result short of the class its reasoning wants gives no answer (`J072`), and every host checks a contract job against §8.7 before sealing it (the local engine, the service, and the qpu routed path; the provider path already checks its own receipt). - The verifiers disagreed where §8.7 reads by value: a missing local `elapsed_ms` (found by the differential on 3 of 16,560 changed receipts), `omitted_shots` written `0.0`, the shadow's request compared by JSON identity, −0.0 in the order, and seed arithmetic that could overflow. The distance also multiplied two counts in a machine word. All now follow §8.7, which says how each is read. - The second verifier's §8.7 helper shadowed its own number reader, failing 87 of its self-test's 167 checks. It is renamed, and the self-test now holds a contract job and each new plant. - 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 its worker every 200 ms, so a run could pass a contract's deadline by that much and be sealed (seen on macOS); it now looks at the deadline itself. - Outside this change: the service's `verify` answer gives `signer`, which its output schema does not describe (the command line's does). ## Not done - No real provider task: tests use the scripted transports and the reference provider, as the brief says. - The job service's own receipts under a contract are not in the corpus. `make.sh` makes service receipts against the live service, which does not run this code yet; the service's contract test holds them instead. - A run's energy ceiling here is held to what a host states; #670, stacked on this, holds it by a live reading while the job runs. 🤖 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
Details
wai-quantum contract / does this change touch it (pull_request) Has been cancelled
Details
wai-quantum contract / API compatibility · linux (pull_request) Has been cancelled
Details
wai-quantum contract / schemas and the committed tool lists · linux (pull_request) Has been cancelled
Details
wai-quantum contract / the policy is linked, and the deprecations page reads (pull_request) Has been cancelled
Details
wai-quantum docs, course and locales / does this change touch it (pull_request) Has been cancelled
Details
wai-quantum docs, course and locales / every command and snippet in the docs · linux (pull_request) Has been cancelled
Details
wai-quantum docs, course and locales / the course and the command line's languages · linux (pull_request) Has been cancelled
Details
wai-quantum docs, course and locales / the Studio's words in every locale · linux (pull_request) Has been cancelled
Details
wai-quantum editors / does this change touch it (pull_request) Has been cancelled
Details
wai-quantum editors / editors · linux (pull_request) Has been cancelled
Details
wai-quantum editors / editors · macos (pull_request) Has been cancelled
Details
wai-quantum for Python / does this change touch it (pull_request) Has been cancelled
Details
wai-quantum for Python / python · linux (pull_request) Has been cancelled
Details
wai-quantum for Python / python · macos (pull_request) Has been cancelled
Details
wai-quantum-qpu / does this change touch it (pull_request) Has been cancelled
Details
wai-quantum-qpu / clients against their contracts (linux) (pull_request) Has been cancelled
Details
wai-quantum-qpu / credentials in the keychain (macos) (pull_request) Has been cancelled
Details
wai-quantum service / does this change touch it (pull_request) Has been cancelled
Details
wai-quantum service / service · linux (pull_request) Has been cancelled
Details
wai-quantum service / service · macos (pull_request) Has been cancelled
Details
wai-quantum service / service energy · linux packages (pull_request) Has been cancelled
Details
wai-quantum studio and desktop / does this change touch it (pull_request) Has been cancelled
Details
wai-quantum studio and desktop / studio · browser (pull_request) Has been cancelled
Details
wai-quantum studio and desktop / desktop app · macos (pull_request) Has been cancelled
Details
wai-quantum studio and desktop / desktop app · linux (pull_request) Has been cancelled
Details
wai-quantum studio and desktop / desktop app · windows (pull_request) Has been cancelled
Details
wai-quantum views in agent hosts / does this change touch it (pull_request) Has been cancelled
Details
wai-quantum views in agent hosts / views · the page and its engine (pull_request) Has been cancelled
Details
wai-quantum views in agent hosts / views · a scripted host (pull_request) Has been cancelled
Details
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
Details
wai-quantum-qpu / clients against their contracts (linux) (pull_request) Failing after 38s
Details
wai-quantum docs, course and locales / the Studio's words in every locale · linux (pull_request) Successful in 8s
Details
wai-quantum docs, course and locales / the course and the command line's languages · linux (pull_request) Successful in 2m16s
Details
wai-quantum for Python / python · linux (pull_request) Successful in 2m27s
Details
wai-quantum studio and desktop / desktop app · windows (pull_request) Successful in 9m43s
Details
wai-quantum contract / schemas and the committed tool lists · linux (pull_request) Successful in 6m0s
Details
wai-quantum editors / editors · linux (pull_request) Successful in 6m31s
Details
wai-quantum views in agent hosts / views · the page and its engine (pull_request) Successful in 3m25s
Details
wai-quantum views in agent hosts / views · a scripted host (pull_request) Successful in 3m8s
Details
wai-quantum studio and desktop / studio · browser (pull_request) Failing after 5m31s
Details
wai-quantum studio and desktop / desktop app · linux (pull_request) Successful in 6m5s
Details
wai-quantum contract / API compatibility · linux (pull_request) Failing after 12m24s
Details
WAI examples / WAI examples · portable · linux (pull_request) Successful in 13m37s
Details
wai-quantum service / service · linux (pull_request) Successful in 11m0s
Details
WAI energy receipts / energy receipts · linux (pull_request) Successful in 20m28s
Details
wai-quantum docs, course and locales / every command and snippet in the docs · linux (pull_request) Failing after 24m9s
Details
WAI energy receipts / energy receipts · macos (pull_request) Successful in 8m29s
Details
wai-quantum command line / command line · macos (pull_request) Successful in 1m57s
Details
wai-quantum editors / editors · macos (pull_request) Successful in 1m33s
Details
wai-quantum-qpu / credentials in the keychain (macos) (pull_request) Successful in 25s
Details
standards workspaces build + test / macOS energy backends (pull_request) Successful in 13m32s
Details
wai-quantum for Python / python · macos (pull_request) Successful in 2m56s
Details
wai-quantum service / service · macos (pull_request) Successful in 5m8s
Details
wai-quantum studio and desktop / desktop app · macos (pull_request) Successful in 5m42s
Details
WAI examples / WAI examples · the archive, the readiness check, the browser and Apple · macos (pull_request) Successful in 20m51s
Details
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (pull_request) Has been cancelled
Details
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Has been cancelled
Details
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Has been cancelled
Details
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Has been cancelled
Details
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
Details
wai-quantum command line / command line · macos (pull_request) Has been cancelled
Details
wai-quantum dataflow member / member · dataflow device absent (macos) (pull_request) Has been cancelled
Details
WAI examples / WAI examples · portable · linux (pull_request) Has been cancelled
Details
wai-quantum docs, course and locales / every command and snippet in the docs · linux (pull_request) Has been cancelled
Details
wai-quantum editors / editors · macos (pull_request) Has been cancelled
Details
wai-quantum FPGA member / member · FPGA datapath, simulated (macos) (pull_request) Has been cancelled
Details
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Has been cancelled
Details
wai-quantum Metal member / member · Metal (macos) (pull_request) Has been cancelled
Details
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Has been cancelled
Details
wai-quantum neural-processor member / member · neural processor (macos) (pull_request) Has been cancelled
Details
wai-quantum OpenCL member / member · OpenCL GPU (macos) (pull_request) Has been cancelled
Details
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Has been cancelled
Details
wai-quantum pulse and dynamics / the same bits · macos (pull_request) Has been cancelled
Details
wai-quantum for Python / python · macos (pull_request) Has been cancelled
Details
wai-quantum-qpu / credentials in the keychain (macos) (pull_request) Has been cancelled
Details
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Has been cancelled
Details
wai-quantum service / service · macos (pull_request) Has been cancelled
Details
wai-quantum matrix-extension member / member · matrix extension absent (macos) (pull_request) Has been cancelled
Details
wai-quantum studio and desktop / desktop app · macos (pull_request) Has been cancelled
Details
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Has been cancelled
Details
wai-quantum portable tensor program / tensor program · Metal and the arm64 CPU (macos) (pull_request) Has been cancelled
Details
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Has been cancelled
Details
wai-quantum CPU vector units / member · vector unit absent (macos) (pull_request) Has been cancelled
Details
wai-quantum WebGPU member / member · Metal (macos) (pull_request) Has been cancelled
Details
wai-quantum WebGPU member / member · browser WebGPU (macos) (pull_request) Has been cancelled
Details
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
Details
wai-sink-android native sink library / every ABI, the AAR, and the instrumented tests in a headless emulator · macos (pull_request) Has been cancelled
Details
wai-sink-swift native sink package / libwai slices, desktop tests, simulator tests · macos (pull_request) Has been cancelled
Details
WAI Studio / Studio in Chromium and Firefox · macos (pull_request) Has been cancelled
Details
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
Details
wai-quantum command line / command line · macos (pull_request) Has been cancelled
Details
wai-quantum dataflow member / member · dataflow device absent (macos) (pull_request) Has been cancelled
Details
wai-quantum editors / editors · macos (pull_request) Has been cancelled
Details
wai-quantum FPGA member / member · FPGA datapath, simulated (macos) (pull_request) Has been cancelled
Details
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Has been cancelled
Details
wai-quantum Metal member / member · Metal (macos) (pull_request) Has been cancelled
Details
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Has been cancelled
Details
wai-quantum neural-processor member / member · neural processor (macos) (pull_request) Has been cancelled
Details
wai-quantum OpenCL member / member · OpenCL GPU (macos) (pull_request) Has been cancelled
Details
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Has been cancelled
Details
wai-quantum pulse and dynamics / the same bits · macos (pull_request) Has been cancelled
Details
wai-quantum for Python / python · macos (pull_request) Has been cancelled
Details
wai-quantum-qpu / credentials in the keychain (macos) (pull_request) Has been cancelled
Details
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Has been cancelled
Details
wai-quantum service / service · macos (pull_request) Has been cancelled
Details
wai-quantum matrix-extension member / member · matrix extension absent (macos) (pull_request) Has been cancelled
Details
wai-quantum studio and desktop / desktop app · macos (pull_request) Has been cancelled
Details
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Has been cancelled
Details
wai-quantum portable tensor program / tensor program · Metal and the arm64 CPU (macos) (pull_request) Has been cancelled
Details
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Has been cancelled
Details
wai-quantum CPU vector units / member · vector unit absent (macos) (pull_request) Has been cancelled
Details
wai-quantum WebGPU member / member · Metal (macos) (pull_request) Has been cancelled
Details
wai-quantum WebGPU member / member · browser WebGPU (macos) (pull_request) Has been cancelled
Details
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
Details
wai-sink-android native sink library / every ABI, the AAR, and the instrumented tests in a headless emulator · macos (pull_request) Has been cancelled
Details
wai-sink-swift native sink package / libwai slices, desktop tests, simulator tests · macos (pull_request) Has been cancelled
Details
WAI Studio / Studio in Chromium and Firefox · macos (pull_request) Has been cancelled
Details
joule-code conformance gate / joule-moq-relay, every target (pull_request) Successful in 2m41s
Details
joule-code conformance gate / joule-moq-ingest, every target (pull_request) Successful in 8m4s
Details
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
Details
wai-quantum dataflow member / member · dataflow device absent (macos) (pull_request) Has been cancelled
Details
wai-quantum editors / editors · macos (pull_request) Has been cancelled
Details
wai-quantum FPGA member / member · FPGA datapath, simulated (macos) (pull_request) Has been cancelled
Details
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Has been cancelled
Details
wai-quantum Metal member / member · Metal (macos) (pull_request) Has been cancelled
Details
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Has been cancelled
Details
wai-quantum neural-processor member / member · neural processor (macos) (pull_request) Has been cancelled
Details
wai-quantum OpenCL member / member · OpenCL GPU (macos) (pull_request) Has been cancelled
Details
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Has been cancelled
Details
wai-quantum pulse and dynamics / the same bits · macos (pull_request) Has been cancelled
Details
wai-quantum for Python / python · macos (pull_request) Has been cancelled
Details
wai-quantum-qpu / credentials in the keychain (macos) (pull_request) Has been cancelled
Details
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Has been cancelled
Details
wai-quantum service / service · macos (pull_request) Has been cancelled
Details
wai-quantum matrix-extension member / member · matrix extension absent (macos) (pull_request) Has been cancelled
Details
wai-quantum studio and desktop / desktop app · macos (pull_request) Has been cancelled
Details
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Has been cancelled
Details
wai-quantum portable tensor program / tensor program · Metal and the arm64 CPU (macos) (pull_request) Has been cancelled
Details
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Has been cancelled
Details
wai-quantum CPU vector units / member · vector unit absent (macos) (pull_request) Has been cancelled
Details
wai-quantum WebGPU member / member · Metal (macos) (pull_request) Has been cancelled
Details
wai-quantum WebGPU member / member · browser WebGPU (macos) (pull_request) Has been cancelled
Details
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
Details
wai-sink-android native sink library / every ABI, the AAR, and the instrumented tests in a headless emulator · macos (pull_request) Has been cancelled
Details
wai-sink-swift native sink package / libwai slices, desktop tests, simulator tests · macos (pull_request) Has been cancelled
Details
WAI Studio / Studio in Chromium and Firefox · macos (pull_request) Has been cancelled
Details
joule-code conformance gate / joule-moq-relay, its own energy on a counter (macos) (pull_request) Successful in 32s
Details
joule-code conformance gate / joule-moq-relay, every target (pull_request) Successful in 2m38s
Details
joule-code conformance gate / joule-moq-ingest, every target (pull_request) Successful in 7m2s
Details
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
Details
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Has been cancelled
Details
wai-quantum extension points / the registry under wasm32-wasip2 (wasmtime) (pull_request) Has been cancelled
Details
wai-quantum service / service · linux (pull_request) Has been cancelled
Details
wai-quantum matrix-extension member / member · matrix extension, emulated (aarch64 Linux) (pull_request) Has been cancelled
Details
wai-quantum studio and desktop / studio · browser (pull_request) Has been cancelled
Details
wai-quantum studio and desktop / desktop app · linux (pull_request) Has been cancelled
Details
wai-quantum tensor-engine member / member · tensor engine, the kernel toolchain's simulator (linux) (pull_request) Has been cancelled
Details
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Has been cancelled
Details
wai-quantum portable tensor program / tensor program · CPU, mutants, GPU builds (pull_request) Has been cancelled
Details
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux, release (pull_request) Has been cancelled
Details
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Has been cancelled
Details
wai-quantum CPU vector units / member · vector unit, rvv 1024-bit (riscv64, emulated) (pull_request) Has been cancelled
Details
wai-quantum CPU vector units / member · vector unit, sve 128-bit (aarch64, emulated) (pull_request) Has been cancelled
Details
wai-quantum CPU vector units / member · vector unit, rvv 128-bit (riscv64, emulated) (pull_request) Has been cancelled
Details
wai-quantum CPU vector units / member · vector unit, sve 2048-bit (aarch64, emulated) (pull_request) Has been cancelled
Details
wai-quantum CPU vector units / member · vector unit, avx2 (x86_64 silicon) (pull_request) Has been cancelled
Details
wai-quantum CPU vector units / member · vector unit, sve 512-bit (aarch64, emulated) (pull_request) Has been cancelled
Details
wai-quantum verdicts and repairs / verdicts, repairs and the intent set · linux (pull_request) Has been cancelled
Details
wai-quantum verdicts and repairs / the intent set and the verdict under wasm32-wasip2 (wasmtime) (pull_request) Has been cancelled
Details
wai-quantum views in agent hosts / views · the page and its engine (pull_request) Has been cancelled
Details
wai-quantum views in agent hosts / views · a scripted host (pull_request) Has been cancelled
Details
wai-quantum WebGPU member / shader checks · browser build · wasip2 inertness (pull_request) Has been cancelled
Details
wai-quantum WebGPU member / member · software Vulkan (linux) (pull_request) Has been cancelled
Details
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
Details
WAI Studio / the catalogue's actions, the unit tests and the core · linux (pull_request) Has been cancelled
Details
WAI Studio / Studio in WebKit · linux (pull_request) Has been cancelled
Details
wai-web reach builds / wai-web reach builds · the package of record, every output as recorded (pull_request) Has been cancelled
Details
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Has been cancelled
Details
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Has been cancelled
Details
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
Details
wai-quantum WebGPU member / member · software Vulkan (linux) (pull_request) Successful in 3m7s
Details
wai-quantum docs, course and locales / the course and the command line's languages · linux (pull_request) Successful in 8m34s
Details
wai-quantum service / service · linux (pull_request) Successful in 5m57s
Details
WAI examples / WAI examples · portable · linux (pull_request) Successful in 12m13s
Details
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Successful in 2m45s
Details
wai-quantum WebGPU member / shader checks · browser build · wasip2 inertness (pull_request) Successful in 4m3s
Details
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Successful in 3m40s
Details
wai-quantum studio and desktop / desktop app · linux (pull_request) Successful in 6m49s
Details
wai-quantum views in agent hosts / views · a scripted host (pull_request) Successful in 4m51s
Details
WAI operation catalogue / the catalogue and every door · linux (pull_request) Successful in 16m31s
Details
wai-quantum tensor-engine member / member · tensor engine, the kernel toolchain's simulator (linux) (pull_request) Successful in 6m59s
Details
wai-quantum dataflow member / member · dataflow device, simulated (pci 1e52:b140) (pull_request) Successful in 12m27s
Details
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Successful in 5m30s
Details
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
Details
WAI mbt2018_mean integer decode (regenerated vectors) / regenerate mbt2018_mean integer vectors → Rust decode, required (pull_request) Successful in 6m34s
Details
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Successful in 8m35s
Details
wai-quantum for Python / python · linux (pull_request) Successful in 11m19s
Details
wai-quantum command line / command line · linux (pull_request) Successful in 16m51s
Details
WAI energy receipts / energy receipts · linux (pull_request) Successful in 19m37s
Details
wai-quantum signal processor / processor and member · signal processor, emulated (pull_request) Successful in 15m6s
Details
wai-web reach builds / wai-web reach builds · the package of record, every output as recorded (pull_request) Successful in 9m32s
Details
WAI conformance / cargo-class corpora · linux (pull_request) Successful in 21m51s
Details
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 15m5s
Details
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 13m48s
Details
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 19m32s
Details
WAI Studio / Studio in WebKit · linux (pull_request) Successful in 18m25s
Details
wai-quantum docs, course and locales / every command and snippet in the docs · linux (pull_request) Successful in 24m44s
Details
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Successful in 20m23s
Details
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Successful in 1h46m48s
Details
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
Details
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Successful in 9m55s
Details
WAI mbt2018_mean integer decode (regenerated vectors) / regenerate mbt2018_mean integer vectors → Rust decode, required (pull_request) Successful in 12m45s
Details
WAI Studio / Studio in WebKit · linux (pull_request) Successful in 15m25s
Details
wai-quantum command line / command line · linux (pull_request) Successful in 32m56s
Details
WAI energy receipts / energy receipts · linux (pull_request) Successful in 33m25s
Details
wai-quantum docs, course and locales / every command and snippet in the docs · linux (pull_request) Successful in 44m10s
Details
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 3m58s
Details
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Successful in 8m50s
Details
wai-quantum studio and desktop / desktop app · windows (pull_request) Successful in 9m59s
Details
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Successful in 22m2s
Details
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 23s
Details
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 53s
Details
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 2m51s
Details
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 25m12s
Details
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Successful in 1m26s
Details
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 56s
Details
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Failing after 1m6s
Details
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 31s
Details
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 20m37s
Details
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Successful in 4m30s
Details
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
Details
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Successful in 2m49s
Details
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 36m11s
Details
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Successful in 1h42m48s
Details
wai-quantum CUDA member / member · CUDA (jetson-hub) (pull_request) Successful in 1m43s
Details
wai-quantum OpenCL member / member · OpenCL GPU and CPU (jetson-hub) (pull_request) Successful in 38s
Details
wai-quantum service / service energy · linux packages (pull_request) Failing after 21s
Details
wai-quantum portable tensor program / tensor program · GPUs (jetson-hub) (pull_request) Successful in 33s
Details
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Has been cancelled
Details
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]>
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
Details
WAI Studio / the catalogue's actions, the unit tests and the core · linux (pull_request) Successful in 1m27s
Details
WAI mbt2018_mean integer decode (regenerated vectors) / regenerate mbt2018_mean integer vectors → Rust decode, required (pull_request) Successful in 9m51s
Details
wai-web reach builds / wai-web reach builds · the package of record, every output as recorded (pull_request) Successful in 4m17s
Details
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Successful in 4m54s
Details
wai-quantum command line / command line · linux (pull_request) Failing after 1h0m2s
Details
WAI Studio / Studio in WebKit · linux (pull_request) Successful in 12m5s
Details
wai-quantum CUDA member / member · CUDA (jetson-hub) (pull_request) Successful in 1m16s
Details
wai-quantum OpenCL member / member · OpenCL GPU and CPU (jetson-hub) (pull_request) Successful in 28s
Details
wai-quantum service / service energy · linux packages (pull_request) Failing after 10s
Details
wai-quantum portable tensor program / tensor program · GPUs (jetson-hub) (pull_request) Successful in 18s
Details
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (pull_request) Successful in 4m1s
Details
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Successful in 16m56s
Details
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Successful in 9m37s
Details
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Successful in 8m51s
Details
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 24s
Details
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 42m51s
Details
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 19s
Details
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 44s
Details
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 2m21s
Details
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 35s
Details
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 27m6s
Details
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 20m2s
Details
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Failing after 1m29s
Details
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Has been cancelled
Details
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Has been cancelled
Details
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Has been cancelled
Details
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Has been cancelled
Details
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Has been cancelled
Details
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
Details
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]>
#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]>
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]>
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
Details
WAI Studio / Studio in WebKit · linux (pull_request) Successful in 12m17s
Details
wai-quantum CUDA member / member · CUDA (thor) (pull_request) Successful in 3m16s
Details
wai-quantum OpenCL member / member · OpenCL GPU and CPU (thor) (pull_request) Successful in 1m29s
Details
wai-quantum signal processor / processor and member · signal processor, emulated (pull_request) Successful in 33m14s
Details
wai-quantum docs, course and locales / every command and snippet in the docs · linux (pull_request) Successful in 40m42s
Details
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Successful in 22m7s
Details
wai-quantum WebGPU member / member · GPU, Vulkan (thor) (pull_request) Successful in 26m45s
Details
wai-quantum command line / command line · linux (pull_request) Failing after 1h0m1s
Details
joule-code conformance gate / joule-moq-relay, every target (pull_request) Successful in 4m41s
Details
joule-code conformance gate / joule-moq-ingest, every target (pull_request) Successful in 6m44s
Details
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (pull_request) Failing after 5m14s
Details
wai-quantum energy-landscape jobs / the same bits · linux-arm64 (pull_request) Successful in 1m53s
Details
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 26s
Details
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Failing after 3m42s
Details
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Successful in 14m50s
Details
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Successful in 10m41s
Details
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 26s
Details
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 49s
Details
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 37s
Details
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Successful in 1m29s
Details
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Failing after 48s
Details
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 32s
Details
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 3m5s
Details
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Successful in 2m43s
Details
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Successful in 4m15s
Details
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Failing after 13m57s
Details
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
Details
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 25m33s
Details
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 27m17s
Details
4cfaca16cd 
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
Details
wai-quantum CPU vector units / member · vector units, avx2 and avx512 (framework-128gb silicon) (pull_request) Successful in 33s
Details
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Successful in 7m8s
Details
wai-quantum studio and desktop / desktop app · windows (pull_request) Successful in 10m10s
Details
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Failing after 9m11s
Details
WAI energy receipts / energy receipts · linux (pull_request) Successful in 31m52s
Details
wai-quantum docs, course and locales / every command and snippet in the docs · linux (pull_request) Successful in 30m3s
Details
wai-quantum energy-landscape jobs / the module under wasm32-wasip2 (wasmtime) (pull_request) Failing after 43s
Details
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Failing after 14m32s
Details
WAI breaking changes and the conformance runner / WAI breaking · wire, record and API against main · linux (pull_request) Successful in 3m27s
Details
wai-quantum signal processor / processor and member · signal processor, emulated (pull_request) Successful in 34m11s
Details
wai-quantum energy-landscape jobs / reader, kernels, answers and the stated result · linux, release (pull_request) Successful in 6m22s
Details
wai-quantum energy-landscape jobs / native against WebAssembly, over many seeds (pull_request) Successful in 6m49s
Details
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Successful in 4m33s
Details
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 39s
Details
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
Details
WAI examples / WAI examples · the archive, the readiness check, the browser and Apple · macos (pull_request) Successful in 22m59s
Details
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 21m42s
Details
wai-quantum CUDA member / member · CUDA (thor) (pull_request) Successful in 3m53s
Details
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Successful in 2m58s
Details
wai-quantum OpenCL member / member · OpenCL GPU and CPU (thor) (pull_request) Successful in 1m39s
Details
wai-quantum WebGPU member / member · integrated GPU, Vulkan (framework-128gb) (pull_request) Successful in 17m11s
Details
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
Details
wai-quantum energy-landscape jobs / the same bits · linux-arm64 (pull_request) Successful in 1m58s
Details
WAI Studio / Studio in WebKit · linux (pull_request) Successful in 34m44s
Details
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Successful in 9m6s
Details
wai-quantum command line / command line · linux (pull_request) Failing after 1h0m0s
Details
WAI examples / WAI examples · portable · linux (pull_request) Successful in 29m27s
Details
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 44m29s
Details
wai-quantum WebGPU member / member · GPU, Vulkan (thor) (pull_request) Successful in 26m23s
Details
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]>
- 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]>
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]>
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
Details
WAI Studio / Studio in WebKit · linux (pull_request) Successful in 19m29s
Details
joule-code conformance gate / joule-moq-relay, every target (pull_request) Failing after 5m39s
Details
joule-code conformance gate / joule-moq-ingest, every target (pull_request) Successful in 8m4s
Details
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (pull_request) Failing after 3m7s
Details
wai-quantum WebGPU member / member · GPU, Vulkan (thor) (pull_request) Successful in 25m56s
Details
wai-quantum CUDA member / member · CUDA (jetson-hub) (pull_request) Successful in 2m4s
Details
wai-quantum OpenCL member / member · OpenCL GPU and CPU (jetson-hub) (pull_request) Successful in 49s
Details
wai-quantum service / service energy · linux packages (pull_request) Successful in 2m19s
Details
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Successful in 8m12s
Details
wai-quantum portable tensor program / tensor program · GPUs (jetson-hub) (pull_request) Successful in 28s
Details
wai-quantum energy-landscape jobs / the same bits · linux-arm64 (pull_request) Successful in 7m47s
Details
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 31s
Details
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Successful in 16m15s
Details
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Failing after 18m40s
Details
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 18s
Details
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 55s
Details
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 2m28s
Details
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Successful in 1m25s
Details
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
Details
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 39s
Details
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Successful in 2m18s
Details
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Successful in 24m13s
Details
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 19m36s
Details
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Successful in 3m56s
Details
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 43s
Details
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Successful in 2m23s
Details
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
Details
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Failing after 39m1s
Details
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Has been cancelled
Details
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]>
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
Details
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Has been cancelled
Details
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Has been cancelled
Details
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Has been cancelled
Details
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Has been cancelled
Details
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Has been cancelled
Details
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Has been cancelled
Details
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Has been cancelled
Details
WAI examples / WAI examples · portable · linux (pull_request) Has been cancelled
Details
wai-quantum CUDA member / member · CUDA (jetson-hub) (pull_request) Has been cancelled
Details
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Has been cancelled
Details
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
Details
wai-quantum energy-landscape jobs / the same bits · linux-arm64 (pull_request) Has been cancelled
Details
wai-quantum energy-landscape jobs / reader, kernels, answers and the stated result · linux, release (pull_request) Has been cancelled
Details
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Has been cancelled
Details
wai-quantum OpenCL member / member · OpenCL GPU and CPU (jetson-hub) (pull_request) Has been cancelled
Details
wai-quantum energy-landscape jobs / native against WebAssembly, over many seeds (pull_request) Has been cancelled
Details
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Has been cancelled
Details
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Successful in 7m29s
Details
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Has been cancelled
Details
wai-quantum service / service energy · linux packages (pull_request) Has been cancelled
Details
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Has been cancelled
Details
wai-quantum portable tensor program / tensor program · GPUs (jetson-hub) (pull_request) Has been cancelled
Details
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Has been cancelled
Details
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Has been cancelled
Details
wai-quantum WebGPU member / member · GPU, Vulkan (thor) (pull_request) Has been cancelled
Details
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
Details
WAI Studio / Studio in WebKit · linux (pull_request) Has been cancelled
Details
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Has been cancelled
Details
wai-web reach builds / wai-web reach builds · the package of record, every output as recorded (pull_request) Has been cancelled
Details
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]>
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
Details
wai-quantum views in agent hosts / views · a scripted host (pull_request) Successful in 10m40s
Details
wai-quantum studio and desktop / desktop app · linux (pull_request) Successful in 19m42s
Details
WAI Studio / Studio in WebKit · linux (pull_request) Successful in 23m9s
Details
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (pull_request) Failing after 5m29s
Details
wai-quantum CUDA member / member · CUDA (jetson-hub) (pull_request) Successful in 4m0s
Details
wai-quantum OpenCL member / member · OpenCL GPU and CPU (jetson-hub) (pull_request) Successful in 1m22s
Details
wai-quantum portable tensor program / tensor program · GPUs (jetson-hub) (pull_request) Successful in 1m5s
Details
wai-quantum service / service energy · linux packages (pull_request) Successful in 4m11s
Details
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Failing after 8m56s
Details
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 1m57s
Details
wai-quantum docs, course and locales / every command and snippet in the docs · linux (pull_request) Failing after 1h14m16s
Details
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 34s
Details
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 1m41s
Details
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 4m28s
Details
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 20m47s
Details
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Failing after 28m30s
Details
wai-quantum energy-landscape jobs / the same bits · linux-arm64 (pull_request) Successful in 8m18s
Details
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Successful in 1m23s
Details
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
Details
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 41s
Details
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Successful in 9m27s
Details
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Successful in 2m15s
Details
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Successful in 4m19s
Details
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Successful in 2m42s
Details
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 26s
Details
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Successful in 33m27s
Details
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
Details
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Failing after 41m33s
Details
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Successful in 2h13m46s
Details
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]>
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]>
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]>
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
Details
wai-quantum CUDA member / member · CUDA (jetson-hub) (pull_request) Successful in 1m44s
Details
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Successful in 7m32s
Details
wai-quantum docs, course and locales / every command and snippet in the docs · linux (pull_request) Successful in 37m59s
Details
wai-quantum OpenCL member / member · OpenCL GPU and CPU (jetson-hub) (pull_request) Successful in 40s
Details
WAI Studio / Studio in WebKit · linux (pull_request) Successful in 23m41s
Details
wai-quantum service / service energy · linux packages (pull_request) Successful in 1m34s
Details
wai-quantum portable tensor program / tensor program · GPUs (jetson-hub) (pull_request) Successful in 25s
Details
wai-quantum WebGPU member / member · GPU, Vulkan (thor) (pull_request) Successful in 24m45s
Details
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 6m46s
Details
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Successful in 19m34s
Details
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 31s
Details
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 48s
Details
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 2m31s
Details
wai-pack / wai-pack · linux-arm64 (pull_request) Successful in 3m31s
Details
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 36m41s
Details
wai-pack / wai-pack · dependency licences (pull_request) Successful in 41s
Details
wai-pack / wai-pack · the floor through a media prober (pull_request) Successful in 1m8s
Details
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 34m54s
Details
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 59s
Details
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 30m49s
Details
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Successful in 3m9s
Details
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
Details
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Successful in 2m26s
Details
wai-pack / wai-pack · independent verifier (Python) (pull_request) Successful in 10m5s
Details
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 2m30s
Details
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Failing after 6m17s
Details
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
Details
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Successful in 5m51s
Details
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Failing after 2h21m31s
Details
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]>
dcharlot closed this pull request 2026-11-09 17:42:54 -05:00
Some checks failed
jouleclaw public surface must stay documented / Public-surface audit (jouleclaw-rs) (pull_request) Successful in 36s
Details
jouleclaw fabrics / cuda (linux, RTX 4050 + Vulkan loader) (pull_request) Successful in 33s
Details
WAI breaking changes and the conformance runner / WAI breaking · does this change touch WAI (pull_request) Successful in 21s
Details
joule-code conformance gate / joule-moq-relay, its own energy on a counter (macos) (pull_request) Successful in 1m24s
Details
jouleclaw fabrics / vulkan (linux, RTX 4050 + Vulkan loader) (pull_request) Successful in 24s
Details
jouleclaw fabrics / metal (macOS, Apple GPU) (pull_request) Successful in 1m31s
Details
WAI examples / WAI examples · does this change touch them (pull_request) Successful in 20s
Details
wai key · the real keychain / does this change touch it (pull_request) Successful in 20s
Details
wai key · the real keychain / the real keychain · macos (pull_request) Has been skipped
Details
WAI breaking changes and the conformance runner / WAI breaking · wire, record and API against main · linux (pull_request) Failing after 1m1s
Details
joule-code conformance gate / Build + round-trip C1-C4 vectors (pull_request) Successful in 1m56s
Details
wai-quantum energy-landscape GPU members / does this change touch it (pull_request) Successful in 16s
Details
wai-quantum energy-landscape GPU members / members · jetson-hub (pull_request) Has been skipped
Details
wai-quantum energy-landscape GPU members / members · mac-studio (pull_request) Has been skipped
Details
joule-code conformance gate / joule-moq-relay, every target (pull_request) Failing after 3m17s
Details
wai-quantum energy-landscape GPU members / members · framework-128gb (pull_request) Has been skipped
Details
wai-quantum energy-landscape jobs / does this change touch it (pull_request) Successful in 15s
Details
joule-code conformance gate / joule-moq-ingest, every target (pull_request) Successful in 6m27s
Details
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (pull_request) Successful in 6m17s
Details
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 5m26s
Details
wai-quantum energy-landscape jobs / the same bits · macos (pull_request) Successful in 5m11s
Details
wai-quantum energy-landscape jobs / the module under wasm32-wasip2 (wasmtime) (pull_request) Successful in 2m5s
Details
wai-quantum on every processor / emulated · aarch64-unknown-linux-gnu (pull_request) Successful in 6m55s
Details
wai-quantum on every processor / emulated · armv7-unknown-linux-gnueabihf (pull_request) Successful in 6m57s
Details
wai-quantum energy-landscape jobs / native against WebAssembly, over many seeds (pull_request) Successful in 4m35s
Details
wai-quantum on every processor / emulated · i686-unknown-linux-gnu (pull_request) Successful in 5m31s
Details
WAI examples / WAI examples · android-app · linux-arm64 (pull_request) Successful in 8m34s
Details
wai-quantum energy-landscape jobs / the same bits · linux-arm64 (pull_request) Successful in 7m32s
Details
wai-quantum energy-landscape jobs / reader, kernels, answers and the stated result · linux, release (pull_request) Successful in 6m44s
Details
wai-quantum on every processor / emulated · powerpc64le-unknown-linux-gnu (pull_request) Successful in 9m19s
Details
wai-quantum on every processor / emulated · loongarch64-unknown-linux-gnu (pull_request) Successful in 10m49s
Details
wai-quantum on every processor / emulated · powerpc64-unknown-linux-gnu (pull_request) Successful in 10m53s
Details
wai-quantum on every processor / emulated · riscv64gc-unknown-linux-gnu (pull_request) Successful in 11m41s
Details
WAI examples / WAI examples · the archive, the readiness check, the browser and Apple · macos (pull_request) Successful in 17m41s
Details
WAI examples / WAI examples · portable · linux (pull_request) Successful in 18m9s
Details
wai-quantum on every processor / emulated · s390x-unknown-linux-gnu (pull_request) Successful in 13m9s
Details
wai-quantum on every processor / emulated · sparc64-unknown-linux-gnu (pull_request) Successful in 15m25s
Details
wai-quantum WebGPU member / member · DX12 and Vulkan (cbio-windows) (pull_request) Successful in 13m1s
Details
joule-moq-remote host agent / joule-moq-remote · does this change touch it (pull_request) Successful in 18s
Details
joule-moq-room room service / joule-moq-room · does this change touch it (pull_request) Successful in 12s
Details
joule-moq-web browser client / joule-moq-web · does this change touch it (pull_request) Successful in 11s
Details
standards workspaces build + test / which workspaces this change touches (pull_request) Successful in 14s
Details
wai-app and Create / wai-app · does this change touch it (pull_request) Successful in 11s
Details
wai-audit collector and player integration / does this change touch it (pull_request) Successful in 12s
Details
wai cross-architecture byte-equality / does this change touch it (pull_request) Successful in 12s
Details
WAI operation catalogue / does this change touch it (pull_request) Successful in 11s
Details
WAI conformance / does this change touch it (pull_request) Successful in 11s
Details
wai cross-architecture byte-equality / linux-aarch64 (pull_request) Has been skipped
Details
wai cross-architecture byte-equality / linux-x86_64 (pull_request) Has been skipped
Details
wai cross-architecture byte-equality / macos-arm64 (reference) (pull_request) Has been skipped
Details
wai cross-architecture byte-equality / windows-x86_64 (pull_request) Has been skipped
Details
WAI energy receipts / does this change touch it (pull_request) Successful in 15s
Details
wai-fleet service / does this change touch it (pull_request) Successful in 9s
Details
wai formal verification (integer core) / does this change touch it (pull_request) Successful in 16s
Details
wai formal verification (integer core) / every harness in one shard (pull_request) Has been skipped
Details
wai formal verification (integer core) / kani (arith) (pull_request) Has been skipped
Details
WAI HTTP delivery / WAI HTTP · does this change touch it (pull_request) Successful in 17s
Details
wai formal verification (integer core) / kani (isqrt512) (pull_request) Has been skipped
Details
wai formal verification (integer core) / kani (plan) (pull_request) Has been skipped
Details
wai formal verification (integer core) / kani (sound) (pull_request) Has been skipped
Details
WAI HTTP delivery / HTTP corpus · falsify mutations 0/3 (pull_request) Has been skipped
Details
wai formal verification (integer core) / kani (stage) (pull_request) Has been skipped
Details
wai formal verification (integer core) / kani (rans64-t2) (pull_request) Has been skipped
Details
wai formal verification (integer core) / kani (stage-long) (pull_request) Has been skipped
Details
wai formal verification (integer core) / kani (integer-core) (pull_request) Has been skipped
Details
WAI HTTP delivery / HTTP corpus · falsify mutations 1/3 (pull_request) Has been skipped
Details
WAI HTTP delivery / HTTP corpus · falsify mutations 2/3 (pull_request) Has been skipped
Details
WAI HTTP delivery / HTTP corpus · falsify patches 0/3 (pull_request) Has been skipped
Details
WAI HTTP delivery / HTTP corpus · falsify patches 1/3 (pull_request) Has been skipped
Details
WAI HTTP delivery / HTTP corpus · falsify patches 2/3 (pull_request) Has been skipped
Details
WAI HTTP delivery / HTTP corpus · every patch and mutation in exactly one shard (pull_request) Has been skipped
Details
WAI HTTP delivery / HTTP corpus · verified both ways, and the differential (pull_request) Has been skipped
Details
WAI HTTP delivery / cache rules · controls and labelled caches (pull_request) Has been skipped
Details
wai-int-module WAISM module of record / does this change touch it (pull_request) Successful in 15s
Details
wai-int-module WAISM module of record / linux · both checkers, wasmtime (Cranelift, Winch), Wasmi and Node (pull_request) Has been skipped
Details
wai-int-module WAISM module of record / linux-arm64 · both checkers, wasmtime (Cranelift, Winch), Wasmi and Node (pull_request) Has been skipped
Details
wai-int-module WAISM module of record / the module of record in Chromium (pull_request) Has been skipped
Details
WAI JPEG-AI whole decode (pinned inputs, required) / does this change touch it (pull_request) Successful in 13s
Details
WAI JPEG-AI whole decode (pinned inputs, required) / fetch pinned JPEG-AI inputs → whole decode + pixel hash, required (pull_request) Has been skipped
Details
wai-key-proxy / does this change touch it (pull_request) Successful in 16s
Details
wai-key-proxy / proxy · linux (pull_request) Has been skipped
Details
wai key · Windows / does this change touch it (pull_request) Successful in 18s
Details
wai-ledger service / does this change touch it (pull_request) Successful in 18s
Details
wai key · Windows / wai key and the toolchain's tests · windows (pull_request) Has been skipped
Details
WAI neural decoders end-to-end / does this change touch it (pull_request) Successful in 14s
Details
WAI neural decoders end-to-end / synthetic fixtures → Rust decode → reference (±4) (pull_request) Has been skipped
Details
WAI neural sink gates / does this change touch it (pull_request) Successful in 14s
Details
wai-ops-gpu integer operators on GPUs / does this change touch it (pull_request) Successful in 13s
Details
WAI neural sink gates / model-free refusals of the neural sink (pull_request) Has been skipped
Details
wai-ops-gpu integer operators on GPUs / builds · no adapter is not a pass (linux) (pull_request) Has been skipped
Details
WAI neural sink gates / the neural-processor path refuses a bit-exact decode (macOS) (pull_request) Has been skipped
Details
wai-ops-gpu integer operators on GPUs / Metal GPU and browser WebGPU (macos) (pull_request) Has been skipped
Details
WAI neural sink gates / the exact JPEG-AI decoder reports its path (pinned inputs, required) (pull_request) Has been skipped
Details
wai-ops-npu integer operators on neural processors / does this change touch it (pull_request) Successful in 11s
Details
wai-ops-npu integer operators on neural processors / neural processor (framework-128gb silicon) (pull_request) Has been skipped
Details
wai-ops-npu integer operators on neural processors / builds · no device is not a pass (linux-arm64) (pull_request) Has been skipped
Details
wai-ops integer operators / does this change touch it (pull_request) Successful in 12s
Details
wai-ops integer operators / linux-aarch64 (pull_request) Has been skipped
Details
wai-ops integer operators / linux-x86_64 (pull_request) Has been skipped
Details
wai-pack / wai-pack · does this change touch it (pull_request) Successful in 12s
Details
wai-ops integer operators / macos-arm64 (pull_request) Has been skipped
Details
wai-ops integer operators / wasm32-wasip2 (wasmtime) (pull_request) Has been skipped
Details
wai-ops integer operators / wasm32 under Node (pull_request) Has been skipped
Details
wai-ops integer operators / independent checker (Python) (pull_request) Has been skipped
Details
wai-quantum command line / does this change touch it (pull_request) Successful in 14s
Details
wai-quantum contract / does this change touch it (pull_request) Successful in 13s
Details
wai-quantum CUDA member / does this change touch it (pull_request) Successful in 12s
Details
wai-quantum dataflow member / does this change touch it (pull_request) Successful in 12s
Details
wai-quantum docs, course and locales / does this change touch it (pull_request) Successful in 13s
Details
wai-quantum signal processor / does this change touch it (pull_request) Successful in 12s
Details
wai-quantum editors / does this change touch it (pull_request) Successful in 9s
Details
wai-quantum resource estimation / does this change touch it (pull_request) Successful in 14s
Details
wai-quantum other formats / does this change touch it (pull_request) Successful in 13s
Details
wai-quantum FPGA member / does this change touch it (pull_request) Successful in 13s
Details
wai-quantum for JavaScript / does this change touch it (pull_request) Successful in 15s
Details
wai-quantum HIP member / does this change touch it (pull_request) Successful in 11s
Details
wai-quantum-landscape-fpga reference design / does this change touch it (pull_request) Successful in 13s
Details
wai-quantum OpenQASM reader / does this change touch it (pull_request) Successful in 19s
Details
wai-quantum Metal member / does this change touch it (pull_request) Successful in 9s
Details
wai-quantum npu-cores member / does this change touch it (pull_request) Successful in 13s
Details
wai-quantum neural-processor member / does this change touch it (pull_request) Successful in 10s
Details
wai-quantum OpenCL member / does this change touch it (pull_request) Successful in 13s
Details
wai-quantum pulse and dynamics / does this change touch it (pull_request) Successful in 16s
Details
wai-quantum for Python / does this change touch it (pull_request) Successful in 17s
Details
wai-quantum-qpu / does this change touch it (pull_request) Successful in 17s
Details
wai-quantum error correction and mitigation / does this change touch it (pull_request) Successful in 19s
Details
wai-quantum extension points / does this change touch it (pull_request) Successful in 17s
Details
wai-quantum service / does this change touch it (pull_request) Successful in 16s
Details
wai-quantum matrix-extension member / does this change touch it (pull_request) Successful in 14s
Details
wai-quantum studio and desktop / does this change touch it (pull_request) Successful in 16s
Details
wai-quantum tensor-engine member / does this change touch it (pull_request) Successful in 12s
Details
wai-quantum portable tensor program / does this change touch it (pull_request) Successful in 12s
Details
wai-quantum variational and algorithm library / does this change touch it (pull_request) Successful in 15s
Details
wai-quantum CPU vector units / does this change touch it (pull_request) Successful in 10s
Details
wai-quantum verdicts and repairs / does this change touch it (pull_request) Successful in 11s
Details
wai-quantum views in agent hosts / does this change touch it (pull_request) Successful in 13s
Details
wai-quantum WebGPU member / does this change touch it (pull_request) Successful in 12s
Details
wai-sink-android native sink library / does this change touch it (pull_request) Successful in 11s
Details
wai-sink-swift native sink package / does this change touch it (pull_request) Successful in 11s
Details
WAI mbt2018_mean integer decode (regenerated vectors) / does this change touch it (pull_request) Successful in 11s
Details
WAI mbt2018_mean integer decode (regenerated vectors) / regenerate mbt2018_mean integer vectors → Rust decode, required (pull_request) Has been skipped
Details
WAI Studio / does this change touch it (pull_request) Successful in 11s
Details
wai-vector vector graphics / does this change touch it (pull_request) Successful in 10s
Details
wai-vector vector graphics / linux-aarch64 (pull_request) Has been skipped
Details
wai-vector vector graphics / linux-x86_64 (pull_request) Has been skipped
Details
wai-vector vector graphics / macos-arm64 (pull_request) Has been skipped
Details
wai-web reach builds / wai-web reach · does this change touch it (pull_request) Successful in 10s
Details
wai-vector vector graphics / wasm32-wasip2 (wasmtime) (pull_request) Has been skipped
Details
wai-vector vector graphics / wasm32 under Node (pull_request) Has been skipped
Details
wai-vector vector graphics / wasm32 in three browser engines (pull_request) Has been skipped
Details
wai-vector vector graphics / fuzz, peak allocation, comparison count (pull_request) Has been skipped
Details
wai-vector vector graphics / independent checker (Python) (pull_request) Has been skipped
Details
wai-web wasm32 / does this change touch it (pull_request) Successful in 9s
Details
joule-moq-remote host agent / joule-moq-remote, every target (macos) (pull_request) Successful in 53s
Details
standards workspaces build + test / macOS energy backends (pull_request) Successful in 10m28s
Details
wai-audit collector and player integration / collector, player integration and the browser end to end · macos (pull_request) Successful in 1m26s
Details
WAI conformance / cross-arch byte-equality · macos (pull_request) Successful in 38s
Details
wai-app and Create / wai-app · Create, browser end-to-end (macos) (pull_request) Successful in 7m44s
Details
joule-moq-web browser client / joule-moq-web · browser end-to-end (macos) (pull_request) Successful in 15m37s
Details
WAI conformance / codec wrappers · fuzz smoke, text decode limits, C entry points, provenance, the semantic path (pull_request) Successful in 2m1s
Details
wai-fleet service / service · macos (pull_request) Successful in 45s
Details
WAI conformance / fast integer kernels, every x86_64 kernel set (AVX-512 silicon) (pull_request) Successful in 3m28s
Details
wai-ledger service / service · macos (pull_request) Successful in 1m16s
Details
wai-quantum dataflow member / member · dataflow device absent (macos) (pull_request) Successful in 21s
Details
wai-quantum command line / command line · macos (pull_request) Successful in 1m49s
Details
wai-pack / wai-pack · macos (pull_request) Successful in 3m59s
Details
wai-quantum FPGA member / member · FPGA datapath, simulated (macos) (pull_request) Successful in 59s
Details
wai-quantum editors / editors · macos (pull_request) Successful in 1m27s
Details
wai-quantum HIP member / member · HIP (framework-128gb) (pull_request) Successful in 1m21s
Details
wai-app and Create / wai-app · tests, clippy, the line language's verifier (linux) (pull_request) Successful in 31s
Details
WAI energy receipts / energy receipts · macos (pull_request) Successful in 10m10s
Details
wai-quantum Metal member / member · Metal (macos) (pull_request) Successful in 30s
Details
WAI conformance / cargo-class corpora · macos (pull_request) Successful in 12m14s
Details
wai-quantum npu-cores member / member · npu-cores, neural processor (framework-128gb silicon) (pull_request) Successful in 1m18s
Details
wai-quantum OpenCL member / member · OpenCL GPU (macos) (pull_request) Successful in 26s
Details
wai-quantum OpenCL member / member · OpenCL GPU (framework-128gb) (pull_request) Successful in 25s
Details
wai-quantum studio and desktop / desktop app · windows (pull_request) Successful in 9m31s
Details
wai-audit collector and player integration / collector · linux (pull_request) Successful in 1m49s
Details
wai-quantum pulse and dynamics / the same bits · macos (pull_request) Successful in 1m7s
Details
wai-quantum-qpu / credentials in the keychain (macos) (pull_request) Successful in 27s
Details
wai-quantum matrix-extension member / member · matrix extension absent (macos) (pull_request) Successful in 12s
Details
WAI conformance / cross-arch byte-equality · linux (pull_request) Successful in 45s
Details
wai-quantum for Python / python · macos (pull_request) Successful in 2m9s
Details
wai-quantum portable tensor program / tensor program · Metal and the arm64 CPU (macos) (pull_request) Successful in 22s
Details
wai-quantum neural-processor member / member · neural processor (macos) (pull_request) Successful in 5m49s
Details
wai-quantum CPU vector units / member · vector unit absent (macos) (pull_request) Successful in 15s
Details
WAI conformance / faces from keypoints under wasm32-wasip2 (wasmtime) (pull_request) Successful in 2m58s
Details
wai-quantum WebGPU member / member · browser WebGPU (macos) (pull_request) Successful in 1m26s
Details
wai-quantum service / service · macos (pull_request) Successful in 3m56s
Details
WAI conformance / quantum core and corpus under wasm32-wasip2 (wasmtime) (pull_request) Successful in 5m21s
Details
wai-quantum studio and desktop / desktop app · macos (pull_request) Successful in 4m30s
Details
wai-quantum WebGPU member / member · Metal (macos) (pull_request) Successful in 2m51s
Details
wai-quantum portable tensor program / tensor program · integrated GPU (framework-128gb) (pull_request) Successful in 15s
Details
wai-quantum CPU vector units / member · vector units, avx2 and avx512 (framework-128gb silicon) (pull_request) Successful in 19s
Details
WAI operation catalogue / the catalogue and every door · linux (pull_request) Successful in 7m0s
Details
wai-sink-android native sink library / every ABI, the AAR, and the instrumented tests in a headless emulator · macos (pull_request) Successful in 5m14s
Details
wai-fleet service / service · linux (pull_request) Successful in 2m35s
Details
WAI Studio / Studio in Chromium and Firefox · macos (pull_request) Successful in 7m58s
Details
wai-quantum contract / the policy is linked, and the deprecations page reads (pull_request) Successful in 8s
Details
wai-ledger service / service · linux (pull_request) Successful in 4m13s
Details
wai-quantum WebGPU member / member · integrated GPU, Vulkan (framework-128gb) (pull_request) Successful in 8m48s
Details
wai-quantum CUDA member / member · CUDA absent (linux) (pull_request) Successful in 2m20s
Details
wai-pack / wai-pack · linux (pull_request) Successful in 4m14s
Details
wai-quantum docs, course and locales / the Studio's words in every locale · linux (pull_request) Successful in 11s
Details
wai-sink-swift native sink package / libwai slices, desktop tests, simulator tests · macos (pull_request) Successful in 14m12s
Details
wai-quantum contract / API compatibility · linux (pull_request) Successful in 4m26s
Details
wai-quantum contract / schemas and the committed tool lists · linux (pull_request) Successful in 6m55s
Details
wai-quantum docs, course and locales / the course and the command line's languages · linux (pull_request) Successful in 4m29s
Details
wai-quantum dataflow member / member · dataflow device, simulated (pci 1e52:b140) (pull_request) Successful in 7m3s
Details
wai-quantum dataflow member / member · dataflow device, simulated (pci 1e52:401e) (pull_request) Successful in 9m9s
Details
wai-quantum FPGA member / member · FPGA simulation absent (linux) (pull_request) Successful in 27s
Details
wai-quantum editors / editors · linux (pull_request) Successful in 3m32s
Details
wai-quantum other formats / the set under wasm32-wasip2 (wasmtime) (pull_request) Successful in 2m1s
Details
WAI conformance / cargo-class corpora · linux (pull_request) Successful in 27m48s
Details
wai-quantum other formats / readers, writers and the set · linux (pull_request) Successful in 4m23s
Details
wai-quantum OpenQASM reader / corpus under wasm32-wasip2 (wasmtime) (pull_request) Successful in 53s
Details
wai-quantum Metal member / member · Metal absent (linux) (pull_request) Successful in 40s
Details
WAI energy receipts / energy receipts · linux (pull_request) Successful in 27m57s
Details
wai-quantum neural-processor member / member · neural processor absent (linux) (pull_request) Successful in 28s
Details
wai-quantum OpenCL member / member · OpenCL absent (linux) (pull_request) Successful in 31s
Details
wai-quantum OpenQASM reader / reader and corpus · linux (pull_request) Successful in 2m46s
Details
wai-quantum for JavaScript / javascript · linux (pull_request) Successful in 3m53s
Details
wai-quantum resource estimation / estimation and calibration · linux, release (pull_request) Successful in 9m12s
Details
wai-quantum-qpu / clients against their contracts (linux) (pull_request) Successful in 55s
Details
wai-quantum pulse and dynamics / reader, simulator and pulse jobs under wasm32-wasip2 (wasmtime) (pull_request) Successful in 1m34s
Details
wai-quantum pulse and dynamics / reader, simulator and pulse jobs · linux, release (pull_request) Successful in 2m28s
Details
wai-quantum extension points / the registry under wasm32-wasip2 (wasmtime) (pull_request) Failing after 1m2s
Details
wai-quantum matrix-extension member / member · matrix extension, emulated (aarch64 Linux) (pull_request) Successful in 1m11s
Details
wai-quantum for Python / python · linux (pull_request) Successful in 2m56s
Details
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 6m54s
Details
wai-quantum portable tensor program / tensor program · CPU, mutants, GPU builds (pull_request) Successful in 32s
Details
wai-quantum CPU vector units / member · vector unit, rvv 1024-bit (riscv64, emulated) (pull_request) Successful in 23s
Details
wai-quantum CUDA member / member · CUDA (thor) (pull_request) Successful in 2m44s
Details
wai-quantum CPU vector units / member · vector unit, sve 128-bit (aarch64, emulated) (pull_request) Successful in 32s
Details
joule-moq-remote host agent / joule-moq-remote, every target (linux-arm64) (pull_request) Successful in 2m29s
Details
wai-quantum extension points / the registry and the example · linux (pull_request) Failing after 3m57s
Details
wai-quantum CPU vector units / member · vector unit, sve 2048-bit (aarch64, emulated) (pull_request) Successful in 27s
Details
wai-quantum error correction and mitigation / codes, decoders, texts and mitigation · linux, release (pull_request) Successful in 4m34s
Details
wai-quantum CPU vector units / member · vector unit, sve 512-bit (aarch64, emulated) (pull_request) Successful in 27s
Details
wai-quantum signal processor / processor and member · signal processor, emulated (pull_request) Successful in 19m42s
Details
wai-quantum CPU vector units / member · vector unit, rvv 128-bit (riscv64, emulated) (pull_request) Successful in 1m30s
Details
wai-quantum CPU vector units / member · vector unit, avx2 (x86_64 silicon) (pull_request) Successful in 1m5s
Details
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux, release (pull_request) Successful in 3m10s
Details
wai-quantum verdicts and repairs / the intent set and the verdict under wasm32-wasip2 (wasmtime) (pull_request) Successful in 1m28s
Details
WAI Studio / the catalogue's actions, the unit tests and the core · linux (pull_request) Successful in 1m1s
Details
wai-quantum command line / command line · linux (pull_request) Successful in 25m21s
Details
wai-quantum OpenCL member / member · OpenCL GPU and CPU (thor) (pull_request) Successful in 2m8s
Details
wai-quantum verdicts and repairs / verdicts, repairs and the intent set · linux (pull_request) Successful in 2m42s
Details
wai-quantum studio and desktop / studio · browser (pull_request) Successful in 6m24s
Details
wai-quantum service / service · linux (pull_request) Successful in 7m57s
Details
wai-web reach builds / wai-web reach builds · the package of record, every output as recorded (pull_request) Successful in 2m35s
Details
wai-quantum views in agent hosts / views · a scripted host (pull_request) Successful in 4m12s
Details
wai-quantum WebGPU member / member · software Vulkan (linux) (pull_request) Successful in 4m21s
Details
wai-quantum studio and desktop / desktop app · linux (pull_request) Successful in 8m9s
Details
wai-quantum tensor-engine member / member · tensor engine, the kernel toolchain's simulator (linux) (pull_request) Successful in 7m46s
Details
wai-quantum views in agent hosts / views · the page and its engine (pull_request) Successful in 5m27s
Details
wai-quantum WebGPU member / shader checks · browser build · wasip2 inertness (pull_request) Successful in 5m46s
Details
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Successful in 5m2s
Details
joule-moq-room room service / joule-moq-room, every target (pull_request) Successful in 7m51s
Details
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Failing after 6m6s
Details
wai-quantum CUDA member / member · CUDA (jetson-hub) (pull_request) Successful in 1m44s
Details
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Successful in 7m32s
Details
wai-quantum docs, course and locales / every command and snippet in the docs · linux (pull_request) Successful in 37m59s
Details
wai-quantum OpenCL member / member · OpenCL GPU and CPU (jetson-hub) (pull_request) Successful in 40s
Details
WAI Studio / Studio in WebKit · linux (pull_request) Successful in 23m41s
Details
wai-quantum service / service energy · linux packages (pull_request) Successful in 1m34s
Details
wai-quantum portable tensor program / tensor program · GPUs (jetson-hub) (pull_request) Successful in 25s
Details
wai-quantum WebGPU member / member · GPU, Vulkan (thor) (pull_request) Successful in 24m45s
Details
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 6m46s
Details
wai-quantum WebGPU member / member · GPU, Vulkan (jetson-hub) (pull_request) Successful in 19m34s
Details
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 31s
Details
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 48s
Details
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 2m31s
Details
wai-pack / wai-pack · linux-arm64 (pull_request) Successful in 3m31s
Details
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 36m41s
Details
wai-pack / wai-pack · dependency licences (pull_request) Successful in 41s
Details
wai-pack / wai-pack · the floor through a media prober (pull_request) Successful in 1m8s
Details
WAI conformance / each feature of the independent verifiers' steps compiles alone (pull_request) Successful in 34m54s
Details
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 59s
Details
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 30m49s
Details
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Successful in 3m9s
Details
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
Details
wai-quantum pulse and dynamics / the same bits · linux-arm64 (pull_request) Successful in 2m26s
Details
wai-pack / wai-pack · independent verifier (Python) (pull_request) Successful in 10m5s
Details
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 2m30s
Details
wai-quantum extension points / the registry and the example · linux-arm64 (pull_request) Failing after 6m17s
Details
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
Details
wai-quantum variational and algorithm library / parameters, gradients, optimisers, VQE, QAOA and builders · linux-arm64, release (pull_request) Successful in 5m51s
Details
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Failing after 2h21m31s
Details

Pull request closed

Please reopen this pull request to perform a merge.
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
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!668
No description provided.