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 2

wai-quantum 0.6.13: the engine critiques a design, checks two circuits are the same, offers alternatives, and prices its classical shortcuts #417

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

2026-10-21

Transaction Science
wai-quantum 0.6.13: the engine critiques a design, checks two circuits are the same, offers alternatives, and prices its classical shortcuts
Some checks failed
wai-pack / wai-pack · linux-arm64 (pull_request) Successful in 1m21s
Details
WAI conformance / cargo-class corpora · linux-arm64 (pull_request) Successful in 16m10s
Details
wai-pack / wai-pack · the floor through a media prober (pull_request) Successful in 17s
Details
wai-pack / wai-pack · dependency licences (pull_request) Successful in 1m18s
Details
wai-quantum HIP member / member · HIP absent (linux-arm64) (pull_request) Successful in 30s
Details
wai-quantum npu-cores member / member · npu-cores absent (linux-arm64) (pull_request) Successful in 20s
Details
wai-quantum tensor-engine member / member · tensor engine absent (linux-arm64) (pull_request) Successful in 19s
Details
wai-pack / wai-pack · independent verifier (Python) (pull_request) Successful in 4m6s
Details
WAI conformance / independent verifiers · claims, JWP, key discovery and integer payloads (Python) (pull_request) Successful in 29m39s
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) Has been cancelled
Details
WAI conformance / cross-arch byte-equality · macos (pull_request) Has been cancelled
Details
WAI conformance / codec wrappers · fuzz smoke, text decode limits, C entry points, provenance, the semantic path (pull_request) Has been cancelled
Details
standards workspaces build + test / macOS energy backends (pull_request) Has been cancelled
Details
joule-moq-web browser client / joule-moq-web · browser end-to-end (macos) (pull_request) Successful in 6m29s
Details 
The engine is the microscope and the judge, a local model is a muse that waits to be
asked, and the reader is 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.

engine::shortcuts lists every exact classical route the engine knows, priced on the
program, and names the cheapest for each question:
- the stabilizer tableau;
- the cut-rank sum;
- an exact matrix product state, at a bond bounded by the operator Schmidt ranks of
  the gates crossing each cut. The bound is held by a test against the true Schmidt
  ranks of random circuits;
- the light cone;
- a tensor-network contraction, when asked to be thorough;
- the state vector.
A cheap route proves a design classically easy; none being cheap proves nothing. On
the 70-qubit random graph-state circuit the quick check finds the cut-rank sum (widest
cut 30) in under 2 s. The thorough one finds widest cut 29 in about 4 minutes.

Quantum Studio gains:
- the critique, always on under the diagram, with the smells flagged on it, Show and
  Fix;
- the classical cost, on request;
- 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, check_equivalent and
  classical_shortcuts.
wai-web exports the four engine calls. The desktop app answers them natively.
wai-quantum-cli 0.1.1 adds critique, equivalent (exit 0/1/2), improve and shortcuts,
with four 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]>
0e830096fa
2026-10-21 19:39:19 -04:00