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 specification-and-evaluator workbench #468

Closed
dcharlot wants to merge 0 commits from wai/quantum-discover into main
pull from: wai/quantum-discover
merge into: Transaction-Science:main
Conversation 0 Commits - Files changed -
dcharlot commented 2026-10-25 14:52:57 -04:00
Owner
Copy link

Stacked on #466 (OpenQASM 3 generators): this branch's first commit is #466's, and the second is this PR. Merge #466 first; this PR's diff then shrinks to its own commit.

The specification-and-evaluator workbench: the largest unbuilt feature from the co-design research. A person writes what a family of circuits must do and what it costs; proposers write generators; the engine checks each one at every size; and an archive keeps the cheapest verified generator of every kind. The evaluator is the engine, never a model's judgement.

Engine (engine::discover, with quantum_receipt):

  • Spec:
    • the task: equivalent, the reference's unitary; or prepares, its state from |0…0⟩, via the new equiv::same_state;
    • the reference generator and the sizes to check;
    • the gates allowed, and the connectivity (all or line);
    • the cost: weights on the critique's measures, summed over the sizes;
    • two axes, and a budget in evaluations, seconds and joules.
    • It is validated: unknown measures, mismatched inputs and more than 64 sizes are refused with the reason.
  • Evaluator: the reference is read once per size. A candidate is verified only if it reads, keeps the rules and passes the check at every size. It stops at the first failing size, and names the weakest check it passed (tableau, exact or state decide it; random is evidence).
  • Archive: MAP-Elites over the two axes. Each entry has its lineage, proposer and note, and a generator seen before is not evaluated again.
    • The reference is entry e0, so an improvement means cheaper than what the person brought.
    • The archive is bound to its spec's digest, with the budget left out, so any search may spend what it likes on it.
    • Each kept entry is sealed with the searcher's key, over the spec digest, the source, the proposer and every size's verdict and measures. Archive::verify checks each seal and that it binds its entry.
  • Proposers: the built-in mutate/search makes blind, seeded, statement-level edits. It is the baseline, and it replays from its seed. The clock and energy reading are passed in, so the module builds wherever the engine does. People and agents submit through the same Archive::submit.

Energy: the job service's reader moves into the engine (engine::energy), unchanged, plus own() for a running process (a lower bound by its threads still on a core). The service keeps only waitid(WNOWAIT) and re-exports the rest. The FFI for proc_pid_rusage and mach_timebase_info is declared directly, so wai-quantum gains no dependency and no lockfile changes.

CLI:

  • wai-quantum discover new | search | eval | submit | show | verify.
  • A spec may give its reference as @file.qasm, and the archive sits beside the spec.
  • search reports evaluations, seconds and, on macOS, joules.
  • Two specs ship: discover/ghz-line.json and discover/ghz-all.json.

MCP: discover_evaluate, discover_submit and discover_archive, so an outside agent proposes into the same archive and is named as proposer. Every program-taking tool also accepts a generator with inputs. The schema no longer says loops are refused.

Checked on the build host:

  • Engine tests:
    • engine::discover, 5 tests:
      • the same state in fewer layers is verified and cheaper, while the unitary task refuses it at n = 3 and stops there;
      • rules and inputs hold;
      • spec errors explain themselves;
      • the archive keeps the cheapest per cell, skips duplicates, counts improvements, seals and catches a forged cost, and round-trips through JSON;
      • the baseline replays from its seed and keeps only verified generators.
    • engine::energy: 6, including a running process reading its own growing count.
    • engine::equiv and engine::critique pass.
  • Service: 18 pass.
  • CLI: 9 pass, including an end-to-end run (new, a person's submit, a seeded search with a command-line budget, verify, and a forged archive caught) and the MCP workbench and generator test.
  • Clippy with -D warnings is clean for the CLI and the service. No findings in the engine files touched.
  • A real run on ghz-all.json with the release CLI:
    • 1,500 blind edits in 4.6 s and 24.08 J;
    • 139 verified, 29 kept across distinct cells, no improvement over the reference;
    • discover verify: 29 of 29 sealed verdicts hold.
    • That baseline is what an informed proposer should beat: the doubling tree costs 25 against the reference's 49.

🤖 Generated with Claude Code

**Stacked on #466** (OpenQASM 3 generators): this branch's first commit is #466's, and the second is this PR. Merge #466 first; this PR's diff then shrinks to its own commit. The specification-and-evaluator workbench: the largest unbuilt feature from the co-design research. A person writes what a family of circuits must do and what it costs; proposers write generators; the engine checks each one at every size; and an archive keeps the cheapest verified generator of every kind. The evaluator is the engine, never a model's judgement. **Engine** (`engine::discover`, with `quantum_receipt`): - **Spec:** - the task: `equivalent`, the reference's unitary; or `prepares`, its state from |0…0⟩, via the new `equiv::same_state`; - the reference generator and the sizes to check; - the gates allowed, and the connectivity (`all` or `line`); - the cost: weights on the critique's measures, summed over the sizes; - two axes, and a budget in evaluations, seconds and joules. - It is validated: unknown measures, mismatched inputs and more than 64 sizes are refused with the reason. - **Evaluator:** the reference is read once per size. A candidate is verified only if it reads, keeps the rules and passes the check at every size. It stops at the first failing size, and names the weakest check it passed (`tableau`, `exact` or `state` decide it; `random` is evidence). - **Archive:** MAP-Elites over the two axes. Each entry has its lineage, proposer and note, and a generator seen before is not evaluated again. - The reference is entry e0, so an improvement means cheaper than what the person brought. - The archive is bound to its spec's digest, with the budget left out, so any search may spend what it likes on it. - Each kept entry is sealed with the searcher's key, over the spec digest, the source, the proposer and every size's verdict and measures. `Archive::verify` checks each seal and that it binds its entry. - **Proposers:** the built-in `mutate`/`search` makes blind, seeded, statement-level edits. It is the baseline, and it replays from its seed. The clock and energy reading are passed in, so the module builds wherever the engine does. People and agents submit through the same `Archive::submit`. **Energy:** the job service's reader moves into the engine (`engine::energy`), unchanged, plus `own()` for a running process (a lower bound by its threads still on a core). The service keeps only `waitid(WNOWAIT)` and re-exports the rest. The FFI for `proc_pid_rusage` and `mach_timebase_info` is declared directly, so wai-quantum gains no dependency and no lockfile changes. **CLI:** - `wai-quantum discover new | search | eval | submit | show | verify`. - A spec may give its reference as `@file.qasm`, and the archive sits beside the spec. - `search` reports evaluations, seconds and, on macOS, joules. - Two specs ship: `discover/ghz-line.json` and `discover/ghz-all.json`. **MCP:** `discover_evaluate`, `discover_submit` and `discover_archive`, so an outside agent proposes into the same archive and is named as proposer. Every program-taking tool also accepts a generator with `inputs`. The schema no longer says loops are refused. Checked on the build host: - Engine tests: - `engine::discover`, 5 tests: - the same state in fewer layers is verified and cheaper, while the unitary task refuses it at n = 3 and stops there; - rules and inputs hold; - spec errors explain themselves; - the archive keeps the cheapest per cell, skips duplicates, counts improvements, seals and catches a forged cost, and round-trips through JSON; - the baseline replays from its seed and keeps only verified generators. - `engine::energy`: 6, including a running process reading its own growing count. - `engine::equiv` and `engine::critique` pass. - Service: 18 pass. - CLI: 9 pass, including an end-to-end run (`new`, a person's `submit`, a seeded `search` with a command-line budget, `verify`, and a forged archive caught) and the MCP workbench and generator test. - Clippy with `-D warnings` is clean for the CLI and the service. No findings in the engine files touched. - A real run on `ghz-all.json` with the release CLI: - 1,500 blind edits in 4.6 s and 24.08 J; - 139 verified, 29 kept across distinct cells, no improvement over the reference; - `discover verify`: 29 of 29 sealed verdicts hold. - That baseline is what an informed proposer should beat: the doubling tree costs 25 against the reference's 49. 🤖 Generated with [Claude Code](https://claude.com/claude-code)
wai-quantum: OpenQASM 3 generators, one program for a family of circuits
All checks were successful
wai-quantum CPU vector units / member · vector unit, avx2 (x86_64 silicon) (pull_request) Successful in 16s
Details
wai-quantum CPU vector units / member · vector unit, sve 512-bit (aarch64, emulated) (pull_request) Successful in 18s
Details
wai-quantum WebGPU member / member · software Vulkan (linux) (pull_request) Successful in 2m11s
Details
WAI energy receipts / energy receipts · macos (pull_request) Successful in 4m31s
Details
wai-quantum command line / command line · macos (pull_request) Successful in 30s
Details
wai-quantum dataflow member / member · dataflow device absent (macos) (pull_request) Successful in 14s
Details
wai-quantum WebGPU member / shader checks · browser build · wasip2 inertness · MSRV (pull_request) Successful in 3m32s
Details
wai-quantum FPGA member / member · FPGA datapath, simulated (macos) (pull_request) Successful in 1m10s
Details
wai-quantum Metal member / member · Metal (macos) (pull_request) Successful in 28s
Details
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Successful in 4m39s
Details
wai-quantum neural-processor member / member · neural processor (macos) (pull_request) Successful in 5m46s
Details
wai-quantum OpenCL member / member · OpenCL GPU (macos) (pull_request) Successful in 19s
Details
wai-quantum service / service · macos (pull_request) Successful in 39s
Details
wai-quantum matrix-extension member / member · matrix extension absent (macos) (pull_request) Successful in 10s
Details
wai-quantum studio and desktop / desktop app · macos (pull_request) Successful in 2m15s
Details
wai-quantum portable tensor program / tensor program · Metal and the arm64 CPU (macos) (pull_request) Successful in 16s
Details
wai-quantum CPU vector units / member · vector unit absent (macos) (pull_request) Successful in 13s
Details
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Successful in 3m33s
Details
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 16s
Details
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 11s
Details
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 26s
Details
wai-quantum WebGPU member / member · Metal (macos) (pull_request) Successful in 2m26s
Details
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 1m22s
Details
wai-quantum WebGPU member / member · browser WebGPU (macos) (pull_request) Successful in 1m39s
Details
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 7m3s
Details
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Successful in 23s
Details
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 26s
Details
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 17s
Details
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 14m51s
Details
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Successful in 42m2s
Details
4523e604a1 
The reader refused loops, so a family of circuits (a GHZ state on n qubits,
the QFT, an adder) had to be written out once per size. It now reads
generators, the first piece of the specification-and-evaluator workbench,
whose proposers evolve exactly such programs and whose evaluator checks
them across n.

- qasm::parse_with and qasm::parse_lines_with read a program at given
  integer inputs; qasm::inputs lists the inputs it declares. `input int`,
  `input uint`, `const int|uint`, and `for` over [a:b], [a:step:b] (both ends
  included) and {a, b, c}, nested, are unrolled on reading. Indices and sizes
  take integer arithmetic with C's truncating division, `%`, `**`,
  comparisons and `&& || !`. An `if` on integers alone is decided on reading;
  one on bits stays classical control. Unrolled gates keep the lines of
  their loop's body.
- qasm::instantiate writes the circuit at given inputs out as plain
  OpenQASM, which reads back as the same program, gate for gate.
- Bounded: at most 20 million tokens, checked integer arithmetic, and a
  name an integer would shadow (a register, a gate's parameter or qubit, a
  word of the language) is refused with its line. A loop variable may still
  share a gate's name, such as the identity `i`, since an integer is only
  substituted where it is not starting a statement.
- The lexer reads `% < > <= >= && ||`.
- The CLI takes `--input NAME=VALUE` on every command, and `instance`
  prints a generator written out.

A program with no input, const or for reads exactly as before: the
unrolling pass returns its tokens untouched.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum: the specification-and-evaluator workbench
All checks were successful
wai-quantum tensor-engine member / member · tensor engine, the kernel toolchain's simulator (linux) (pull_request) Successful in 7m28s
Details
WAI conformance / cargo-class corpora · macos (pull_request) Successful in 13m20s
Details
WAI conformance / cross-arch byte-equality · macos (pull_request) Successful in 19s
Details
wai-quantum WebGPU member / member · software Vulkan (linux) (pull_request) Successful in 2m9s
Details
WAI conformance / codec wrappers · fuzz smoke, text decode limits, C entry points, provenance, the semantic path (pull_request) Successful in 47s
Details
wai-quantum WebGPU member / shader checks · browser build · wasip2 inertness · MSRV (pull_request) Successful in 3m33s
Details
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 14m25s
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 34s
Details
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Successful in 3m58s
Details
WAI energy receipts / energy receipts · macos (pull_request) Successful in 4m41s
Details
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 1m37s
Details
wai-quantum command line / command line · macos (pull_request) Successful in 32s
Details
wai-quantum dataflow member / member · dataflow device absent (macos) (pull_request) Successful in 15s
Details
wai-quantum FPGA member / member · FPGA datapath, simulated (macos) (pull_request) Successful in 1m10s
Details
wai-quantum Metal member / member · Metal (macos) (pull_request) Successful in 27s
Details
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 6m50s
Details
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Successful in 22s
Details
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 22s
Details
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 19s
Details
wai-quantum neural-processor member / member · neural processor (macos) (pull_request) Successful in 5m45s
Details
wai-quantum OpenCL member / member · OpenCL GPU (macos) (pull_request) Successful in 20s
Details
wai-quantum service / service · macos (pull_request) Successful in 40s
Details
wai-quantum matrix-extension member / member · matrix extension absent (macos) (pull_request) Successful in 11s
Details
wai-quantum studio and desktop / desktop app · macos (pull_request) Successful in 2m11s
Details
wai-quantum portable tensor program / tensor program · Metal and the arm64 CPU (macos) (pull_request) Successful in 15s
Details
wai-quantum CPU vector units / member · vector unit absent (macos) (pull_request) Successful in 13s
Details
wai-quantum WebGPU member / member · Metal (macos) (pull_request) Successful in 2m27s
Details
wai-quantum WebGPU member / member · browser WebGPU (macos) (pull_request) Successful in 1m43s
Details
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Successful in 41m4s
Details
5496c23d3f 
A person writes what a family of circuits must do and what it costs;
proposers write generators; the engine checks each one at every size and
an archive keeps the cheapest verified generator of every kind. The
largest unbuilt feature of the co-design research: the evaluator is the
engine, never a model's judgement.

- engine::discover:
  - Spec: the task (equivalent, or prepares: the same state from
    |0…0⟩, the new equiv::same_state), the reference generator, the
    sizes, the gates and connectivity allowed, the cost (weights on the
    critique's measures, summed over the sizes), two axes and a budget.
  - Evaluator: verified only when it reads, keeps the rules and passes
    the check at every size, stopping at the first failure; the weakest
    check is named.
  - Archive: MAP-Elites over the two axes, with lineage, proposer and
    note; bound to the specification's digest (budget left out); each
    kept entry sealed with the searcher's key, and Archive::verify checks
    every seal binds its entry.
  - mutate and search: the built-in, seeded, blind baseline. The clock
    and the energy reading are passed in, so the module builds wherever
    the engine does.
- engine::energy: the job service's reader moved into the engine, with
  `own()` for a running process. The service keeps only waitid(WNOWAIT);
  the FFI is declared directly, so wai-quantum gains no dependency and
  no lockfile changes.
- critique::measures is public.
- CLI: `wai-quantum discover new|search|eval|submit|show|verify`, with
  specifications that may name their reference as @file.qasm, and two
  shipped specifications (discover/ghz-line.json, discover/ghz-all.json).
- MCP: discover_evaluate, discover_submit, discover_archive; and every
  tool that takes a program takes a generator with `inputs`. The program
  description no longer says loops are refused.

Measured on the build host, ghz-all.json: 1,500 blind edits in 4.6 s and
24 J. 139 were verified and 29 kept, none cheaper than the reference;
the doubling tree costs 25 against its 49. All 29 seals held.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
wai-quantum-service: the energy test module is macOS-only, so Linux builds it with no unused import
All checks were successful
wai-quantum service / service · macos (pull_request) Successful in 45s
Details
wai-quantum matrix-extension member / member · matrix extension absent (macos) (pull_request) Successful in 12s
Details
wai-quantum signal processor / processor and member · signal processor, emulated (pull_request) Successful in 15m35s
Details
wai-quantum portable tensor program / tensor program · CPU, mutants, GPU builds (pull_request) Successful in 39s
Details
wai-quantum studio and desktop / desktop app · macos (pull_request) Successful in 2m21s
Details
wai-quantum tensor-engine member / member · tensor engine, the kernel toolchain's simulator (linux) (pull_request) Successful in 9m10s
Details
wai-quantum CPU vector units / member · vector unit, rvv 1024-bit (riscv64, emulated) (pull_request) Successful in 22s
Details
wai-quantum portable tensor program / tensor program · Metal and the arm64 CPU (macos) (pull_request) Successful in 17s
Details
wai-quantum CPU vector units / member · vector unit absent (macos) (pull_request) Successful in 14s
Details
wai-quantum CPU vector units / member · vector unit, sve 128-bit (aarch64, emulated) (pull_request) Successful in 34s
Details
wai-quantum CPU vector units / member · vector unit, rvv 128-bit (riscv64, emulated) (pull_request) Successful in 35s
Details
wai-quantum CPU vector units / member · vector unit, sve 2048-bit (aarch64, emulated) (pull_request) Successful in 17s
Details
wai-quantum CPU vector units / member · vector unit, avx2 (x86_64 silicon) (pull_request) Successful in 18s
Details
wai-quantum CPU vector units / member · vector unit, sve 512-bit (aarch64, emulated) (pull_request) Successful in 20s
Details
wai-quantum WebGPU member / member · Metal (macos) (pull_request) Successful in 2m37s
Details
wai-quantum WebGPU member / member · software Vulkan (linux) (pull_request) Successful in 2m27s
Details
wai-quantum WebGPU member / member · browser WebGPU (macos) (pull_request) Successful in 1m47s
Details
wai-quantum WebGPU member / shader checks · browser build · wasip2 inertness · MSRV (pull_request) Successful in 3m52s
Details
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 15m21s
Details
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 11s
Details
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 31s
Details
wai-web reach builds / wai-web reach builds · the package of record, every output as recorded (pull_request) Successful in 3m0s
Details
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Successful in 4m40s
Details
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 1m29s
Details
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Successful in 5m33s
Details
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 7m53s
Details
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Successful in 28s
Details
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 27s
Details
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 20s
Details
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Successful in 46m5s
Details
256aa21ab4 
Co-Authored-By: Claude Opus 5.5 <[email protected]>
dcharlot closed this pull request 2026-10-26 11:38:13 -04:00
Some checks failed
wai-quantum WebGPU member / member · DX12 and Vulkan (cbio-windows) (pull_request) Successful in 14m7s
Details
wai-quantum on every processor / emulated · aarch64-unknown-linux-gnu (pull_request) Successful in 1m50s
Details
wai-quantum on every processor / emulated · armv7-unknown-linux-gnueabihf (pull_request) Successful in 1m44s
Details
wai-quantum on every processor / emulated · loongarch64-unknown-linux-gnu (pull_request) Successful in 2m57s
Details
wai-quantum on every processor / emulated · powerpc64-unknown-linux-gnu (pull_request) Successful in 5m4s
Details
standards workspaces build + test / which workspaces this change touches (pull_request) Successful in 13s
Details
WAI conformance / does this change touch it (pull_request) Successful in 10s
Details
WAI energy receipts / does this change touch it (pull_request) Successful in 17s
Details
wai-quantum command line / does this change touch it (pull_request) Successful in 14s
Details
wai-quantum CUDA member / does this change touch it (pull_request) Successful in 6s
Details
wai-quantum dataflow member / does this change touch it (pull_request) Successful in 15s
Details
wai-quantum CUDA member / member · CUDA (jetson-hub) (pull_request) Successful in 25s
Details
wai-quantum signal processor / does this change touch it (pull_request) Successful in 12s
Details
wai-quantum FPGA member / does this change touch it (pull_request) Successful in 6s
Details
wai-quantum HIP member / does this change touch it (pull_request) Successful in 6s
Details
wai-quantum Metal member / does this change touch it (pull_request) Successful in 5s
Details
wai-quantum npu-cores member / does this change touch it (pull_request) Successful in 5s
Details
wai-quantum neural-processor member / does this change touch it (pull_request) Successful in 6s
Details
wai-quantum OpenCL member / does this change touch it (pull_request) Successful in 5s
Details
wai-quantum-qpu / does this change touch it (pull_request) Successful in 6s
Details
wai-quantum HIP member / member · HIP (framework-128gb) (pull_request) Successful in 20s
Details
wai-quantum service / does this change touch it (pull_request) Successful in 5s
Details
wai-quantum matrix-extension member / does this change touch it (pull_request) Successful in 6s
Details
wai-quantum studio and desktop / does this change touch it (pull_request) Successful in 7s
Details
wai-quantum on every processor / emulated · powerpc64le-unknown-linux-gnu (pull_request) Successful in 5m40s
Details
wai-quantum tensor-engine member / does this change touch it (pull_request) Successful in 5s
Details
wai-quantum portable tensor program / does this change touch it (pull_request) Successful in 6s
Details
wai-quantum CPU vector units / does this change touch it (pull_request) Successful in 5s
Details
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (pull_request) Successful in 2m33s
Details
wai-quantum WebGPU member / does this change touch it (pull_request) Successful in 5s
Details
wai-web wasm32 / does this change touch it (pull_request) Successful in 5s
Details
wai-quantum OpenCL member / member · OpenCL GPU and CPU (jetson-hub) (pull_request) Successful in 27s
Details
wai-quantum portable tensor program / tensor program · GPUs (jetson-hub) (pull_request) Successful in 18s
Details
wai-quantum npu-cores member / member · npu-cores, neural processor (framework-128gb silicon) (pull_request) Successful in 1m14s
Details
wai-quantum OpenCL member / member · OpenCL GPU (framework-128gb) (pull_request) Successful in 13s
Details
wai-quantum on every processor / emulated · riscv64gc-unknown-linux-gnu (pull_request) Successful in 4m2s
Details
wai-quantum portable tensor program / tensor program · integrated GPU (framework-128gb) (pull_request) Successful in 7s
Details
wai-quantum CPU vector units / member · vector units, avx2 and avx512 (framework-128gb silicon) (pull_request) Successful in 10s
Details
wai-quantum on every processor / emulated · s390x-unknown-linux-gnu (pull_request) Successful in 4m14s
Details
wai-quantum on every processor / emulated · sparc64-unknown-linux-gnu (pull_request) Successful in 6m23s
Details
wai-web reach builds / wai-web reach · does this change touch it (pull_request) Successful in 8s
Details
wai-quantum on every processor / emulated · i686-unknown-linux-gnu (pull_request) Successful in 4m22s
Details
wai-quantum WebGPU member / member · integrated GPU, Vulkan (framework-128gb) (pull_request) Successful in 7m37s
Details
wai-quantum WebGPU member / member · discrete GPU, Vulkan (jetson-hub) (pull_request) Successful in 27m10s
Details
standards workspaces build + test / macOS energy backends (pull_request) Failing after 2m7s
Details
WAI conformance / quantum core and corpus under wasm32-wasip2 (wasmtime) (pull_request) Successful in 2m25s
Details
WAI conformance / cross-arch byte-equality · linux (pull_request) Successful in 33s
Details
WAI energy receipts / energy receipts · linux (pull_request) Successful in 9m43s
Details
wai-quantum command line / command line · linux (pull_request) Successful in 1m39s
Details
wai-quantum CUDA member / member · CUDA absent (linux) (pull_request) Successful in 24s
Details
WAI conformance / cargo-class corpora · macos (pull_request) Successful in 14m19s
Details
WAI conformance / cross-arch byte-equality · macos (pull_request) Successful in 19s
Details
WAI conformance / codec wrappers · fuzz smoke, text decode limits, C entry points, provenance, the semantic path (pull_request) Successful in 44s
Details
wai-quantum dataflow member / member · dataflow device, simulated (pci 1e52:b140) (pull_request) Successful in 4m6s
Details
WAI conformance / cargo-class corpora · linux (pull_request) Successful in 19m1s
Details
wai-quantum dataflow member / member · dataflow device, simulated (pci 1e52:401e) (pull_request) Successful in 1m40s
Details
wai-quantum FPGA member / member · FPGA simulation absent (linux) (pull_request) Successful in 22s
Details
wai-quantum Metal member / member · Metal absent (linux) (pull_request) Successful in 25s
Details
wai-quantum neural-processor member / member · neural processor absent (linux) (pull_request) Successful in 20s
Details
wai-quantum OpenCL member / member · OpenCL absent (linux) (pull_request) Successful in 23s
Details
WAI energy receipts / energy receipts · macos (pull_request) Successful in 5m39s
Details
wai-quantum-qpu / clients against their contracts (linux) (pull_request) Successful in 21s
Details
wai-quantum command line / command line · macos (pull_request) Successful in 32s
Details
wai-quantum service / service · linux (pull_request) Successful in 41s
Details
wai-quantum dataflow member / member · dataflow device absent (macos) (pull_request) Successful in 15s
Details
wai-quantum matrix-extension member / member · matrix extension, emulated (aarch64 Linux) (pull_request) Successful in 20s
Details
wai-quantum FPGA member / member · FPGA datapath, simulated (macos) (pull_request) Successful in 1m14s
Details
wai-quantum Metal member / member · Metal (macos) (pull_request) Successful in 31s
Details
wai-quantum studio and desktop / studio · browser (pull_request) Successful in 2m40s
Details
standards workspaces build + test / joule-code-rs (joule-code/joule-code-rs, joule-code-rs, linux-arm64, true) (pull_request) Successful in 4m5s
Details
WAI conformance / v2 vocabulary · manifests validate as stated (pull_request) Successful in 20s
Details
wai-quantum neural-processor member / member · neural processor (macos) (pull_request) Successful in 6m34s
Details
wai-quantum OpenCL member / member · OpenCL GPU (macos) (pull_request) Successful in 24s
Details
wai-quantum service / service · macos (pull_request) Successful in 45s
Details
wai-quantum matrix-extension member / member · matrix extension absent (macos) (pull_request) Successful in 12s
Details
wai-quantum signal processor / processor and member · signal processor, emulated (pull_request) Successful in 15m35s
Details
wai-quantum portable tensor program / tensor program · CPU, mutants, GPU builds (pull_request) Successful in 39s
Details
wai-quantum studio and desktop / desktop app · macos (pull_request) Successful in 2m21s
Details
wai-quantum tensor-engine member / member · tensor engine, the kernel toolchain's simulator (linux) (pull_request) Successful in 9m10s
Details
wai-quantum CPU vector units / member · vector unit, rvv 1024-bit (riscv64, emulated) (pull_request) Successful in 22s
Details
wai-quantum portable tensor program / tensor program · Metal and the arm64 CPU (macos) (pull_request) Successful in 17s
Details
wai-quantum CPU vector units / member · vector unit absent (macos) (pull_request) Successful in 14s
Details
wai-quantum CPU vector units / member · vector unit, sve 128-bit (aarch64, emulated) (pull_request) Successful in 34s
Details
wai-quantum CPU vector units / member · vector unit, rvv 128-bit (riscv64, emulated) (pull_request) Successful in 35s
Details
wai-quantum CPU vector units / member · vector unit, sve 2048-bit (aarch64, emulated) (pull_request) Successful in 17s
Details
wai-quantum CPU vector units / member · vector unit, avx2 (x86_64 silicon) (pull_request) Successful in 18s
Details
wai-quantum CPU vector units / member · vector unit, sve 512-bit (aarch64, emulated) (pull_request) Successful in 20s
Details
wai-quantum WebGPU member / member · Metal (macos) (pull_request) Successful in 2m37s
Details
wai-quantum WebGPU member / member · software Vulkan (linux) (pull_request) Successful in 2m27s
Details
wai-quantum WebGPU member / member · browser WebGPU (macos) (pull_request) Successful in 1m47s
Details
wai-quantum WebGPU member / shader checks · browser build · wasip2 inertness · MSRV (pull_request) Successful in 3m52s
Details
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 15m21s
Details
WAI conformance / delivery telemetry · CMCD and CMSD against an independent library (pull_request) Successful in 11s
Details
WAI conformance / cross-arch byte-equality · linux-arm64 (pull_request) Successful in 31s
Details
wai-web reach builds / wai-web reach builds · the package of record, every output as recorded (pull_request) Successful in 3m0s
Details
wai-web wasm32 / wai-web wasm32 build · corpus, menu and writers (pull_request) Successful in 4m40s
Details
WAI conformance / C2PA manifest emission · signed, read back, validated (pull_request) Successful in 1m29s
Details
wai-web reach builds / wai-web reach builds · this tree's wai-web, every rung on its engine line (pull_request) Successful in 5m33s
Details
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 7m53s
Details
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Successful in 28s
Details
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 27s
Details
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 20s
Details
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Successful in 46m5s
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!468
No description provided.