Transaction Science
7152e2a9cc
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] >
2026-10-19 06:31:58 -04:00
..
quantum-meter
wai-quantum 0.6.5 and the service: programs that measure in the middle
2026-10-19 06:31:58 -04:00
quantum-wgsl-check
wai-quantum 0.6.5 and the service: programs that measure in the middle
2026-10-19 06:31:58 -04:00
build_reference_decoders.sh
wai: one registry table, candidate capabilities, public-text checks
2026-09-30 22:38:09 -04:00
jpegai-e2e-v1.sha256
wai: the headline decode tests fail on a missing input, and CI supplies their inputs
2026-09-28 18:40:59 -04:00
requirements-sota-int.txt
wai: one registry table, candidate capabilities, public-text checks
2026-09-30 22:38:09 -04:00
wai_audio_provenance_check.py
wai: a check that no committed audio vector is a coding of a recording
2026-10-07 09:16:05 -04:00
wai_bmshj2018_encode.py
Add WAI — Web AI Media Transport & Execution standard
2026-05-24 13:36:51 -04:00
wai_bmshj2018_export_onnx.py
Add WAI — Web AI Media Transport & Execution standard
2026-05-24 13:36:51 -04:00
wai_bmshj2018_extract_cdfs.py
Add WAI — Web AI Media Transport & Execution standard
2026-05-24 13:36:51 -04:00
wai_carriage_demo.sh
wai: one registry table, candidate capabilities, public-text checks
2026-09-30 22:38:09 -04:00
wai_dac_encode.py
wai: one registry table, candidate capabilities, public-text checks
2026-09-30 22:38:09 -04:00
wai_dac_export_onnx.py
wai: one registry table, candidate capabilities, public-text checks
2026-09-30 22:38:09 -04:00
wai_elic_encode.py
wai: reconcile the neural + semantic subsystem onto main
2026-06-14 03:55:29 -04:00
wai_elic_export.py
wai: reconcile the neural + semantic subsystem onto main
2026-06-14 03:55:29 -04:00
wai_encodec_decode.py
chore(paths): follow the drive split off macos_4TB_external
2026-09-30 21:49:16 -04:00
wai_encodec_encode.py
chore(paths): follow the drive split off macos_4TB_external
2026-09-30 21:49:16 -04:00
wai_encodec_export_onnx.py
Add WAI — Web AI Media Transport & Execution standard
2026-05-24 13:36:51 -04:00
wai_generate_model.py
wai.generate.spectral/4: angular (rays) + spiral synthesis primitives
2026-06-27 06:15:35 -04:00
wai_int_audio_export.py
D2c M3 gate 7: the audio decode's direct guard and fast dispatch go
2026-10-14 20:25:19 -04:00
wai_int_hyper_tiny_vector.py
wai: the headline decode tests fail on a missing input, and CI supplies their inputs
2026-09-28 18:40:59 -04:00
wai_int_mlicpp_export.py
int_mlicpp gate 7 (WIP: committed before running): the direct guard goes from production
2026-10-15 22:46:37 -04:00
wai_int_mlicpp_set_form.py
wai: the parameter-set pin, component identity, pin-aware selection
2026-10-01 05:51:50 -04:00
wai_int_splat_export.py
wai: one registry table, candidate capabilities, public-text checks
2026-09-30 22:38:09 -04:00
wai_int_synth_export.py
wai: int_synth's weights are quantised after float training, and two engine paths moved
2026-10-09 11:55:53 -04:00
wai_int_synth_qat.py
wai: int_synth's weights are quantised after float training, and two engine paths moved
2026-10-09 11:55:53 -04:00
wai_int_synth_real.py
wai: a real trained int_synth model — real photo, decoded bit-exact everywhere
2026-06-17 17:12:48 -04:00
wai_int_synth_train.py
wai: reconcile the neural + semantic subsystem onto main
2026-06-14 03:55:29 -04:00
wai_int_video_demo_encode.py
wai-web: in-browser byte-exact video player (decodeIntVideo)
2026-06-27 08:37:53 -04:00
wai_int_video_encode.py
wai.video.int_motion: deterministic integer inter-frame video (byte-exact)
2026-06-27 07:22:53 -04:00
wai_int_video_keyframe_encode.py
int_hyper gate 7 (WIP: committed before running): the unchecked decode goes
2026-10-15 10:02:44 -04:00
wai_int_video_real_encode.py
wai: half-pel motion compensation for int_motion video + real-footage conformance
2026-06-27 11:10:48 -04:00
wai_int_video_sota_keyframe_encode.py
int_hyper gate 7 (WIP: committed before running): the unchecked decode goes
2026-10-15 10:02:44 -04:00
wai_int_world2_export.py
wai: two-agent co-control world.model — both agents drive one byte-exact frame
2026-06-28 03:14:57 -04:00
wai_int_world_export.py
wai: one registry table, candidate capabilities, public-text checks
2026-09-30 22:38:09 -04:00
wai_jpegai_build_e2e_inputs.py
wai-rs: the whole decoder end to end — codestream → RGB vs the reference PNG
2026-07-26 05:48:42 -04:00
wai_jpegai_export_weights.py
tools: an icci export mode for the eICCI model weights
2026-07-26 05:48:42 -04:00
wai_jpegai_extract_model_consts.py
wai: JPEG-AI is a live, self-sufficient capability (no schedule fixtures)
2026-06-22 03:11:37 -04:00
wai_jpegai_fetch_e2e_inputs.sh
wai: the headline decode tests fail on a missing input, and CI supplies their inputs
2026-09-28 18:40:59 -04:00
wai_jpegai_gain_exp_margin.py
wai-rs: the JPEG AI exact decoder calls no platform math library, and its output is pinned
2026-09-28 18:30:35 -04:00
wai_jpegai_goldens.py
wai: reconcile the neural + semantic subsystem onto main
2026-06-14 03:55:29 -04:00
wai_mbt2018_mean_encode.py
wai: reconcile the neural + semantic subsystem onto main
2026-06-14 03:55:29 -04:00
wai_mbt2018_mean_export.py
wai: reconcile the neural + semantic subsystem onto main
2026-06-14 03:55:29 -04:00
wai_mimi_encode.py
wai: one registry table, candidate capabilities, public-text checks
2026-09-30 22:38:09 -04:00
wai_mimi_export_onnx.py
wai: one registry table, candidate capabilities, public-text checks
2026-09-30 22:38:09 -04:00
wai_mlicpp_encode.py
wai: reconcile the neural + semantic subsystem onto main
2026-06-14 03:55:29 -04:00
wai_mlicpp_export.py
wai: reconcile the neural + semantic subsystem onto main
2026-06-14 03:55:29 -04:00
wai_ops_check.py
wai: D2c M7b gate 1: the networks' lowering and certificate, reproduced from the text
2026-10-18 01:02:55 -04:00
wai_replicate_probe.sh
wai: one registry table, candidate capabilities, public-text checks
2026-09-30 22:38:09 -04:00
wai_snac_export.py
wai: reconcile the neural + semantic subsystem onto main
2026-06-14 03:55:29 -04:00
wai_sota_int_synth_export.py
wai: one registry table, candidate capabilities, public-text checks
2026-09-30 22:38:09 -04:00
wai_sota_source_image.py
wai: the headline decode tests fail on a missing input, and CI supplies their inputs
2026-09-28 18:40:59 -04:00
wai_sota_vectors.sh
wai: one registry table, candidate capabilities, public-text checks
2026-09-30 22:38:09 -04:00
wai_validate_synthetic.py
wai-neural-e2e: make the job run, and fix the decoder mismatch it was hiding
2026-09-29 09:46:15 -04:00
wai_vector_check.py
graphics-vector 5.4: the worked example states each block's string and writing mode
2026-10-13 02:46:34 -04:00
wai_video_bmshj2018_encode.py
wai: one registry table, candidate capabilities, public-text checks
2026-09-30 22:38:09 -04:00
wai_wavtokenizer_encode.py
wai: one registry table, candidate capabilities, public-text checks
2026-09-30 22:38:09 -04:00
wai_wavtokenizer_export_onnx.py
Add WAI — Web AI Media Transport & Execution standard
2026-05-24 13:36:51 -04:00