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 5

wai-quantum 0.6.13: the engine critiques a design, checks two circuits are the same, and offers alternatives #405

Closed
dcharlot wants to merge 1 commit from wai/quantum-codesign into main
pull from: wai/quantum-codesign
merge into: Transaction-Science:main
Conversation 0 Commits 1 Files changed 40 +1909 -93

2026-10-21

Transaction Science
wai-quantum 0.6.13: the engine critiques a design, checks two circuits are the same, and offers alternatives
Some checks failed
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 15m34s
Details
wai-pack / wai-pack · linux-arm64 (pull_request) Successful in 1m21s
Details
wai-pack / wai-pack · independent verifier (Python) (pull_request) Successful in 4m9s
Details
wai-pack / wai-pack · the floor through a media prober (pull_request) Successful in 41s
Details
WAI energy receipts / energy receipts · linux-arm64 (pull_request) Successful in 6m52s
Details
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Successful in 22s
Details
wai-pack / wai-pack · dependency licences (pull_request) Successful in 1m16s
Details
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 28s
Details
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 18s
Details
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Successful in 27m29s
Details
standards workspaces build + test / macOS energy backends (pull_request) Successful in 9m34s
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-quantum CPU vector units / member · vector unit absent (macos) (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 studio and desktop / desktop app · 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 service / service · macos (pull_request) Has been cancelled
Details
wai-quantum OpenCL member / member · OpenCL GPU (macos) (pull_request) Has been cancelled
Details
wai-quantum neural-processor member / member · neural processor (macos) (pull_request) Has been cancelled
Details
wai-quantum Metal member / member · Metal (macos) (pull_request) Has been cancelled
Details
wai-quantum FPGA member / member · FPGA datapath, simulated (macos) (pull_request) Has been cancelled
Details
wai-quantum dataflow member / member · dataflow device absent (macos) (pull_request) Has been cancelled
Details
wai-quantum command line / command line · macos (pull_request) Has been cancelled
Details
wai-pack / wai-pack · macos (pull_request) Has been cancelled
Details
wai-ops-gpu integer operators on GPUs / Metal GPU and browser WebGPU (macos) (pull_request) Has been cancelled
Details
WAI energy receipts / energy receipts · macos (pull_request) Has been cancelled
Details
WAI conformance / cargo-class corpora · macos (pull_request) Successful in 26m48s
Details
WAI conformance / cross-arch byte-equality · macos (pull_request) Successful in 37s
Details
WAI conformance / codec wrappers · fuzz smoke, text decode limits, C entry points, provenance, the semantic path (pull_request) Successful in 1m38s
Details 
The engine is the microscope and the judge, a local model a muse that waits to be
asked, and the reader the author. Every figure is the engine's; nothing changes the
reader's program until they apply a change.

engine::critique gives a program's measures before it runs:
- gates by kind; one-, two- and three-qubit gates; T gates; gates off the Clifford
  angles;
- depth and two-qubit depth, and whether it is a Clifford circuit;
- a fidelity at reference error rates, named as a model.
It also gives the program's smells, each with its lines and operations: gates that
cancel, rotations that merge or do nothing, idle qubits, and qubits never measured.
critique::variants rewrites the program's own text with the smells fixed, all of them
to a fixed point and each one alone. Each candidate carries its measures and the
equivalence verdict; one the check finds different is never offered. engine::equiv
compares two programs up to a global phase:
- by tableau for Clifford circuits, at any size;
- otherwise on every basis state, to 8 qubits;
- otherwise on random product states, to 22 qubits, which is evidence, not proof;
- otherwise unchecked, with the reason.
qasm::parse_lines gives each operation's line, and draw::layout each gate's operation
index.

Quantum Studio gains four things:
- the critique, always on under the diagram, with the smells flagged on it, Show and
  Fix;
- Alternatives: Improve (the engine's rewrites and the model's, each checked) and
  Explore (the model's different circuits, each measured and compared), with an atlas
  and Apply;
- Predict first, which sets the reader's expected outcome against the run;
- an assistant that asks questions first and speaks only when asked, offering (never
  sending) a hint when allowed. Its new tools are critique_qasm and check_equivalent.
wai-web exports the three engine calls. The desktop app answers them natively.
wai-quantum-cli 0.1.1 adds critique, equivalent (exit 0/1/2) and improve, with three
MCP tools.

examples/cutrank_qasm gains probs: the exact 2^n·p of given bit strings, with their
linear cross-entropy.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
007b627b8b
2026-10-21 13:39:59 -04:00