Exact

Exact Union RegExp

Repository files (latest commit first)

Filename	Latest commit message	Latest commit date
Transaction Science 7cef125325 wai-quantum 0.6.14: design critique, equivalence, alternatives and classical shortcuts across every surface; contraction trees that sweep along the line ... This carries 0.6.13, which was not published on its own, and 0.6.14. ## 0.6.13 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. ## 0.6.14 A deep circuit on a line, contracted qubit by qubit along time, keeps a boundary of only the bonds between two neighbouring qubits: about half the depth for a controlled-Z brickwork. The contraction search rarely found that tree on its own. - Network::amplitude_split_placed builds the same network as amplitude_split, index for index, with each index's place in the circuit: a qubit and a time. - tensor_places, sweep_orders and sweep_path turn the places into the trees that sweep qubit by qubit, or time by time. - find_path_seeded and find_path_restarts_seeded score such trees beside the trials and polish the best of them all alike. A seed that is not a tree of the network is ignored. - The engine's tensor_network method and the thorough shortcut lens take both sweeps as seeds. On the 70-qubit random graph-state circuit, one amplitude's largest intermediate falls from 2^48 to 2^36, and its multiply-adds from 2^56.1 to 2^48.7, in the thorough lens. With 16 trials and no seeds the search finds 2^59. The pinned plans in tests/bit_identity.rs call find_path itself and are unchanged. The job service answers four design checks: POST /v1/critique, /v1/equivalent, /v1/improve and /v1/shortcuts, with the matching MCP tools. They run in its own process within bounds: - each counts against the client's submissions; - at most two run at once, and one that waits ten seconds is refused with a 503; - equivalence work past 4e9 gate amplitudes, and a thorough search, are refused with a 422 naming the local command. The smoke script checks each one. It now follows a job that outlasts /v1/run's wait, as a client does, instead of failing on a loaded host. wai-quantum-cli 0.1.2 carries the faster contraction. Co-Authored-By: Claude Opus 5.5 <[email protected]>		2026-10-22 02:40:04 -04:00
..
ops-gpu-bench	wai-ops-gpu, ops-gpu-bench: clippy's notes	2026-10-21 04:47:31 -04:00
quantum-meter	wai-quantum 0.6.14: design critique, equivalence, alternatives and classical shortcuts across every surface; contraction trees that sweep along the line	2026-10-22 02:40:04 -04:00
quantum-wgsl-check	wai-quantum 0.6.14: design critique, equivalence, alternatives and classical shortcuts across every surface; contraction trees that sweep along the line	2026-10-22 02:40:04 -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