wai-quantum 0.6.5 and the service: programs that measure in the middle #335

Merged

dcharlot merged 5 commits from wai/quantum-dynamic-circuits into main 2026-10-19 11:08:08 -04:00

Conversation 0 Commits 5 Files changed 22 +1101 -44

2026-10-19

Transaction Science

Merge origin/main into wai/quantum-dynamic-circuits; CHANGELOG keeps every entry ...

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

69681dcc40

• View at this point in history

2026-10-19 11:07:06 -04:00

Transaction Science

wai-quantum-service smoke: if is no longer the refusal example; teleportation checks the dynamic path ...

The refusal check sent `if (c) x q;`, which now parses (and is refused for
an undeclared register instead). It sends a `while` loop, still refused.
A new check runs teleportation through the service: <Z2> = cos 0.7 and
<X2> = sin 0.7 exactly, four branches weighed, the shots all counted. All
checks held against the branch's release build on the build host.

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

33397f925a

• View at this point in history

2026-10-19 08:21:31 -04:00

Transaction Science

wai-quantum-service: the exact walk's eight parameters, as clippy allows the library's walker ...

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

d73788c5b0

• View at this point in history

2026-10-19 06:34:42 -04:00

Transaction Science

Merge origin/main into wai/quantum-dynamic-circuits ...

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

25b4a5dfbb

• View at this point in history

2026-10-19 06:32:09 -04:00

Transaction Science

wai-quantum 0.6.5 and the service: programs that measure in the middle ...

The library:
- Tableau::measure measures a qubit of the wide tableau and leaves the state
  the outcome selects; a random outcome is the caller's to choose, so a
  branch can be followed on purpose. The anticommuting stabilizer is
  multiplied into every other row at once, each row's phase summed mod 4 in
  two bit planes. Tableau::is_random answers in one column scan.
- StateVector::probability_one (fixed-chunk sum) and StateVector::collapse.
- Tests: against the state vector's projection over 60 random circuits of six
  measurements each; on wide tableaux, measuring every qubit lands in the
  support held before, one random outcome per dimension. Mutants caught:
  signs kept, Y phase swapped, destabilizer not moved.

The service:
- reads measurement and reset anywhere, if/else on measured bits (bit,
  !bit, ==, !=, OpenQASM 2's if(c==n)), and `bit b = measure q;`. A program
  that needs them is kept as steps (qasm::Instr); every other program is
  exactly what it was.
- runs such a program on statevector or stabilizer (src/dynamic.rs): counts
  split their shots at each measurement and reset as independent shots
  would, each outcome running on in its own copy; expectation values are the
  exact mixture over the branches, of the state before the final
  measurements. Noise in such a program, amplitudes of one, and loops are
  refused with their reasons.
- Tests: teleportation (<Z> = cos θ, <X> = sin θ exactly; the tableau and the
  state vector agree), reset and re-measurement, a bit-flip syndrome that
  corrects the flip, the step structure with its jumps, the planner. Mutants
  caught: terminal measurements made, a branch's outcome swapped, reset
  without its flip, condition bits reversed.

Lockfiles: wai-quantum 0.6.5 in every workspace that pins it; cargo's
rewrite of wai-rs's also re-picks two Windows-only edges (windows-sys
0.52, getrandom 0.3), both already in the lock.

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

7152e2a9cc

• View at this point in history

2026-10-19 06:31:58 -04:00