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
..
audio.rs	wai: interactive + temporal cargo classes, provenance, telepresence	2026-06-13 23:16:42 -04:00
audio_int.rs	wai-web: decodeWiv1, decodeWih1, decodeWia1 and decodeWis1	2026-10-01 13:13:31 -04:00
avatar.rs	wai: interactive + temporal cargo classes, provenance, telepresence	2026-06-13 23:16:42 -04:00
feed.rs	wai: interactive + temporal cargo classes, provenance, telepresence	2026-06-13 23:16:42 -04:00
film.rs	wai: a character-animation film — film composes with the avatar class	2026-06-16 14:10:02 -04:00
generate.rs	wai-web: in-browser deterministic generation (generateSpectral)	2026-06-25 19:08:43 -04:00
haptic.rs	wai: interactive + temporal cargo classes, provenance, telepresence	2026-06-13 23:16:42 -04:00
int_payload.rs	wai: keep loaded parameter sets between decodes, keyed by the SHA-256 of their bytes (WIP)	2026-10-15 11:07:27 -04:00
int_splat.rs	wai-web: decodeWiv1, decodeWih1, decodeWia1 and decodeWis1	2026-10-01 13:13:31 -04:00
int_world.rs	int_world gate 6 (WIP: committed before running): the switch	2026-10-16 02:39:32 -04:00
lib.rs	wai-quantum engine in a page: one job function for every host, and the engine in the browser	2026-10-20 17:34:16 -04:00
measure.rs	wai: one stall bound, of a model — wai-web prints the bound the native tool prints	2026-10-08 15:09:34 -04:00
neural_int.rs	wai: D2c M7b gate 6: the switch; the decode's networks run through the operator set	2026-10-18 02:00:19 -04:00
provenance.rs	wai: interactive + temporal cargo classes, provenance, telepresence	2026-06-13 23:16:42 -04:00
quantum.rs	wai-quantum circuit2: the browser sink, the IDE and the serve component follow the gateset	2026-10-09 13:05:18 -04:00
quantum_atom.rs	wai: neutral-atom rearrangement — wai.quantum.rearrange	2026-08-27 13:09:49 -04:00
quantum_cal.rs	wai: one registry table, candidate capabilities, public-text checks	2026-09-30 22:38:09 -04:00
quantum_compile.rs	wai: circuit compilation + equivalence proof — wai.quantum.compile	2026-08-26 11:55:54 -04:00
quantum_control.rs	wai: filter-function control + DD noise spectroscopy — wai.quantum.cal.*	2026-08-26 07:39:41 -04:00
quantum_engine.rs	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_kernel.rs	wai: phasor energy meter — the accountable seal for interference computing (wai.quantum.phasor)	2026-08-29 05:11:37 -04:00
quantum_mitigate.rs	wai: one registry table, candidate capabilities, public-text checks	2026-09-30 22:38:09 -04:00
quantum_noise.rs	wai: noise learning — Cycle Benchmarking + CER (wai.quantum.cal.noise_learn)	2026-08-26 08:58:13 -04:00
quantum_ops.rs	wai: on-chip counters and calibrated instruments are separate energy classes, and every joule-carrying receipt can say which	2026-09-29 01:27:37 -04:00
quantum_phasor.rs	wai: the phasor bridge — same interference, two substrates (wai.quantum.phasor)	2026-08-29 04:23:14 -04:00
quantum_qbom.rs	wai: Quantum Bill of Materials — wai.quantum.qbom	2026-08-27 18:19:53 -04:00
quantum_qdata.rs	wai: learning from quantum data — the surviving moat (wai.quantum.qdata)	2026-08-29 11:46:45 -04:00
quantum_qec.rs	wai: one registry table, candidate capabilities, public-text checks	2026-09-30 22:38:09 -04:00
quantum_toolchain.rs	wai-quantum CLI and IDE: a receipt names its signer by its key's did:key	2026-10-20 17:34:16 -04:00
quantum_vml.rs	wai: the full Born machine on the qFHRR substrate (wai.quantum.qfhrr)	2026-08-29 04:50:39 -04:00
quantum_webgpu.rs	wai-quantum WebGPU member: tile runs, a second implementation certified on its own	2026-10-11 17:01:16 -04:00
reel.rs	wai: ReelSink browser binding for the /everything synthesis surface	2026-06-17 03:20:13 -04:00
score.rs	wai: music as instructions — wai.audio.score (Phase 6)	2026-06-14 04:29:10 -04:00
splat4d.rs	wai: interactive + temporal cargo classes, provenance, telepresence	2026-06-13 23:16:42 -04:00
stage.rs	wai: round 3 of the link-18 review — claimed stage0 in the CLI, inert claims, order and limits	2026-10-05 07:23:23 -04:00
video.rs	wai: integer decodes do only the work their streams back	2026-10-01 19:08:03 -04:00
video_ott.rs	wai-web: seal the OTT demo's page-supplied joules as Estimator, not ModelBased	2026-10-11 10:11:54 -04:00
world.rs	wai: interactive + temporal cargo classes, provenance, telepresence	2026-06-13 23:16:42 -04:00