wai-quantum 0.6.4: Pauli frames, the GPU state vector, the density matrix to 16 qubits, an OpenQASM writer that keeps every gate; the service for agents and browsers #320

Merged

dcharlot merged 21 commits from wai/quantum-0.6.4-pr into main 2026-10-18 15:44:15 -04:00

Conversation 0 Commits 21 Files changed 34 +7354 -108

2026-10-18

Transaction Science

Merge origin/main into wai/quantum-0.6.4-pr; CHANGELOG keeps every entry ...

Co-Authored-By: Claude Opus 5.5 <[email protected]>

ae3f6eedf1

• View at this point in history

2026-10-18 15:22:33 -04:00

Transaction Science

wai-quantum-service: the MCP and OpenAPI descriptions of the program name the control modifiers, ch, and reset before a qubit's first gate ...

Co-Authored-By: Claude Opus 5.5 <[email protected]>

f004c9c258

• View at this point in history

2026-10-18 10:20:41 -04:00

Transaction Science

wai-quantum-service: smoke-checks Grover as the IDE writes it, its Z gates under four controls ...

Co-Authored-By: Claude Opus 5.5 <[email protected]>

4e0672bd90

• View at this point in history

2026-10-18 10:20:41 -04:00

Transaction Science

wai-quantum-service: OpenQASM 3 control modifiers, written exactly as standard gates ...

ctrl @, ctrl(n) @, negctrl @ and negctrl(n) @ on x y z h s sdg t tdg p and on
cx cy cz ch cp ccx ccz. A gate the standard names is read as that gate, so a
Clifford program keeps the stabilizer method. A phase on m qubits is written
from x1...xm = 2^(1-m) sum over nonempty S of (-1)^(|S|+1) parity(S): each
subset's parity gathered on its highest qubit by cx in Gray-code order and
turned by p(+-theta/2^(m-1)), 2^m - 1 of each, exact with no global phase.
x, y and h become a phase by a change of basis on the target. Checked on a
6-qubit state against the 2x2 gate applied directly where the controls hold,
every amplitude within 1e-12; the test fails when the expansion's signs or its
releases are broken. Grover as the IDE exports it finds its item on the exact
and statevector methods.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

676d277195

• View at this point in history

2026-10-18 10:20:41 -04:00

Transaction Science

wai-quantum: the OpenQASM writer keeps every gate: controlled gates without a standard name in OpenQASM 3's modifier form, read back by from_qasm ...

A gate with three or more controls (Grover's oracle and diffusion past three
qubits) was written as a comment, so the exported program was not the
circuit. to_qasm now writes ctrl(n) @ g for every controlled gate without a
standard name (ch included), and from_qasm reads ctrl, ctrl(n), negctrl and
negctrl(n). Gates exact here only up to a global phase (rz, rx, ry, sx, u) are
refused under a modifier, since a control makes that phase observable.
Checked: each base gate under zero to five controls reads back op for op;
Grover on five and seven qubits keeps its state.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

23855ce73b

• View at this point in history

2026-10-18 10:20:41 -04:00

Transaction Science

wai-quantum-service: receipts sign the RFC 8785 canonical text, so a result verifies after any JSON reader has carried it ...

A browser's JSON.parse and JSON.stringify turn 1.0 into 1, so a receipt over
serde_json's own text could not be checked from JavaScript (the console, or
any JS agent). The digest now covers the canonical text of the request and
the result: keys sorted by UTF-16 code units, no whitespace, every number as
ECMAScript's Number::toString writes the double, ties between equally near
shortest digits going to the even one, as the standard asks. The receipt
names the form ("canon": "rfc8785"); receipts issued before it still
verify. serde_json reads numbers correctly rounded (float_roundtrip), and a
request whose whole numbers a double cannot hold is refused. Checked against
a JavaScript engine: RFC 8785's appendix B and 3,385 vectors in the tests,
and 2 million random doubles in an opt-in test.

Co-Authored-By: Claude Opus 5.5 <[email protected]>

5794be59d1

• View at this point in history

2026-10-18 10:20:41 -04:00

Transaction Science

wai-quantum-service: the fix-it hints compile (match on the word's str), with a test for each ...

Co-Authored-By: Claude Opus 5.5 <[email protected]>

72d18742d1

• View at this point in history

2026-10-18 10:20:41 -04:00

Transaction Science

wai-quantum-service: a job carries its request as submitted, so whoever holds the id can check the receipt ...

Co-Authored-By: Claude Opus 5.5 <[email protected]>

19eef3bb47

• View at this point in history

2026-10-18 10:20:41 -04:00

Transaction Science

wai-quantum-service: long outcomes written short for agents; fix-it hints on the commonest program errors ...

Co-Authored-By: Claude Opus 5.5 <[email protected]>

e092f286b0

• View at this point in history

2026-10-18 10:20:41 -04:00

Transaction Science

wai-quantum-service: an MCP endpoint (five tools, summaries written for models), OpenAPI 3.1, worked examples, and a root index ...

Co-Authored-By: Claude Opus 5.5 <[email protected]>

6041318ac9

• View at this point in history

2026-10-18 10:20:41 -04:00

Transaction Science

wai-quantum: the tensor-network executor's products blocked for the cache and threaded over rows; same bits ...

Co-Authored-By: Claude Opus 5.5 <[email protected]>

dc40f46b91

• View at this point in history

2026-10-18 10:20:41 -04:00

Transaction Science

wai-quantum-service: the pauli method held to the job's memory by a term cap (max_terms), threshold_reached reported ...

Co-Authored-By: Claude Opus 5.5 <[email protected]>

cf1d0f3d04

• View at this point in history

2026-10-18 10:20:41 -04:00

Transaction Science

wai-quantum: word-sized counters for trajectory trees and frame batches (no 64-bit atomics on some targets) ...

Co-Authored-By: Claude Opus 5.5 <[email protected]>

2c7ab0ef35

• View at this point in history

2026-10-18 10:20:41 -04:00

Transaction Science

wai-quantum: expectation_capped, a term cap that doubles the threshold and keeps the bound ...

Co-Authored-By: Claude Opus 5.5 <[email protected]>

0704b359c2

• View at this point in history

2026-10-18 10:20:41 -04:00

Transaction Science

wai-quantum: the density matrix by superoperators to 16 qubits (DensityMatrix::evolve); the service's density_matrix on it ...

Co-Authored-By: Claude Opus 5.5 <[email protected]>

3c8caa16c9

• View at this point in history

2026-10-18 10:20:41 -04:00

Transaction Science

wai-quantum: sixteen-member groups on the GPU, one output a thread in the tile; four-qubit gates always tiled ...

Co-Authored-By: Claude Opus 5.5 <[email protected]>

353250d18a

• View at this point in history

2026-10-18 10:20:41 -04:00

Transaction Science

wai-quantum: state-vector kernels for two to five qubits at compile-time sizes, gathered lanes for low strides; same bits ...

Co-Authored-By: Claude Opus 5.5 <[email protected]>

17c8b51ae5

• View at this point in history

2026-10-18 10:20:41 -04:00

Transaction Science

CHANGELOG: the GPU state vector measured at 26, 31 and 33 qubits through the public service ...

Co-Authored-By: Claude Opus 5.5 <[email protected]>

35795a8571

• View at this point in history

2026-10-18 10:20:41 -04:00

Transaction Science

wai-quantum-service: smoke-check the GPU state vector against the CPU one where the service has a GPU ...

Co-Authored-By: Claude Opus 5.5 <[email protected]>

4c70bcd160

• View at this point in history

2026-10-18 10:20:41 -04:00

Transaction Science

wai-quantum 0.6.4: the dense state vector in single precision on the GPU, tiled; the service's statevector_single method ...

Co-Authored-By: Claude Opus 5.5 <[email protected]>

f4d3a5d6a4

• View at this point in history

2026-10-18 10:20:40 -04:00

Transaction Science

wai-quantum 0.6.4: noisy Clifford circuits by Pauli frames on the wide tableau; the service's stabilizer method takes Pauli noise ...

Co-Authored-By: Claude Opus 5.5 <[email protected]>

b3222620a6

• View at this point in history

2026-10-18 10:20:40 -04:00