Transaction-Science/open-standards
Watch
1
0
Fork
You've already forked open-standards
 0
Code Issues Pull requests Projects Releases 17 Packages Wiki Activity Actions 209
open-standards/wai/wai-quantum/src
History
Exact
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Transaction Science a1bf417590 wai-quantum: a program's history, attributed, and the Studio's Versions 
Feature 6 of the co-design report: every version of a program, who made
each change and how, and whose hand each line and gate is in, sealed
into the run's receipt.

- engine::versions:
  - versions in a chain, each naming its parents (none, one, or two for
    a merge), who made it (the person, the assistant, an outside agent,
    the engine, or where the program came from) and how (an edit, a
    proposal reviewed change by change, a merge);
  - a version's digest covers its parents' digests, and the recording
    host's key seals it; verify checks every digest, seal and review;
  - changes and apply: a line diff (Myers), so a proposal is taken
    change by change, and the version keeps the whole proposal;
  - blame, authorship and gate_hands: a line keeps its author until
    changed; a model's or an agent's line the person edits is in both
    hands; an undo keeps the earlier authors; a merge keeps each side's;
    gates follow their lines, at a generator's inputs;
  - attest and check_job: a job's request carries the account, the
    receipt binds it, and it is recomputed from the history;
  - call: the history by name with JSON arguments, for the page and the
    desktop app.
- The command line: history start | commit | changes | propose | merge |
  log | blame | verify; run and submit --history; verify --history.
- MCP: history_commit, history_changes, history_blame and history_log.
  An agent's edit is recorded as an outside agent's, under the name its
  client gave in initialize, whatever it says of itself.
- The Studio's Versions pane:
  - what the reader types is theirs, recorded when they pause;
  - every proposal (the assistant's program, an alternative, a generator
    from the Workbench) is offered change by change while the editor
    waits; a fix is the engine's;
  - lines of work in lanes: an older version opened and edited starts
    its own, and "Bring in" merges one change by change;
  - "Who wrote it" marks lines in the gutter and gates on the diagram;
  - the run's receipt binds the account, which the result recomputes;
  - kept in the browser, downloaded for the command line;
  - window.quantumStudio.propose for an embedding page.
- Fixes found by the Studio's test: a run shows it is running before
  the account is made, and the draft is kept as the page goes.
- CI: wai-web's native engine tests count 8, the history's included.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-10-26 02:02:58 -04:00
..
engine wai-quantum: a program's history, attributed, and the Studio's Versions 2026-10-26 02:02:58 -04:00
quantum_fabric wai-quantum: the tensor-engine member's kernel compiles for a device 2026-10-17 11:17:34 -04:00
quantum_toolchain wai-quantum 0.5.0: provenance, sampling members, device programs, OpenCL, a simulated FPGA, f64 on accelerators, and QPU clients 2026-10-14 09:02:11 -04:00
repro wai-quantum 0.3.24: fault-tolerant resource estimation, reproducible and signed 2026-10-02 00:26:13 -04:00
gates.rs wai-quantum 0.3.28: the dense state vector at any angle, the same bits threaded or not 2026-10-04 17:01:39 -04:00
ijson.rs wai-quantum circuit2: the number range decided on the literal's digits in both readers 2026-10-09 18:50:35 -04:00
lib.rs wai-quantum: the cut-rank table on the GPU, and the engine's cutrank_single method 2026-10-20 17:34:17 -04:00
linalg.rs wai-quantum: MPS two-site split by the Gram eigenvectors (Householder + QL), no division by singular values 2026-10-17 12:07:42 -04:00
merkle.rs wai: extract the quantum stack into a standalone wai-quantum crate 2026-09-03 15:29:50 -04:00
pool.rs wai-quantum: the sparse-Pauli engine on a worker pool, bit-identical at any thread count 2026-10-17 12:01:11 -04:00
qasm.rs wai-quantum: OpenQASM 3 generators, one program for a family of circuits 2026-10-25 14:31:59 -04:00
quantum.rs wai-quantum circuit2: the number range decided on the literal's digits in both readers 2026-10-09 18:50:35 -04:00
quantum_arch.rs wai-quantum 0.3.29: the architecture around the code, priced, and the 2025 factoring machine re-run 2026-10-04 17:33:48 -04:00
quantum_atom.rs wai: extract the quantum stack into a standalone wai-quantum crate 2026-09-03 15:29:50 -04:00
quantum_bptn.rs wai-quantum 0.3.23: belief-propagation tensor networks, a second method for the same circuits 2026-10-01 20:40:14 -04:00
quantum_cal.rs wai: one registry table, candidate capabilities, public-text checks 2026-09-30 22:38:09 -04:00
quantum_channel.rs wai-quantum circuit2: the circuit2 pins beside the frozen circuit/1 pins 2026-10-09 11:43:15 -04:00
quantum_chem.rs wai-quantum 0.3.37: complex neural quantum states, and referees that cannot stop on an excited state 2026-10-06 17:15:52 -04:00
quantum_comm.rs wai-quantum circuit2: circuits carry their gateset 2026-10-09 10:34:21 -04:00
quantum_compile.rs wai: extract the quantum stack into a standalone wai-quantum crate 2026-09-03 15:29:50 -04:00
quantum_control.rs wai: one registry table, candidate capabilities, public-text checks 2026-09-30 22:38:09 -04:00
quantum_cutrank.rs wai-quantum: the cut-rank table on the GPU, and the engine's cutrank_single method 2026-10-20 17:34:17 -04:00
quantum_cutrank_metal.rs wai-quantum: the cut-rank table on the GPU, and the engine's cutrank_single method 2026-10-20 17:34:17 -04:00
quantum_dmrg.rs wai-quantum 0.3.37: complex neural quantum states, and referees that cannot stop on an excited state 2026-10-06 17:15:52 -04:00
quantum_energy.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_fabric.rs wai-quantum: the Metal member, with a SIMD-group matrix kernel 2026-10-16 04:59:05 -04:00
quantum_fabric_cuda.rs wai-quantum 0.6.1: the CUDA member's tensor-core kernel 2026-10-16 04:21:11 -04:00
quantum_fabric_dataflow.rs wai-quantum 0.6.0: the release that breaks, so the next field does not 2026-10-15 09:39:45 -04:00
quantum_fabric_dsp.rs wai-quantum: the signal processor, and its vector unit as a member 2026-10-14 10:47:59 -04:00
quantum_fabric_fpga.rs wai-quantum 0.5.0: provenance, sampling members, device programs, OpenCL, a simulated FPGA, f64 on accelerators, and QPU clients 2026-10-14 09:02:11 -04:00
quantum_fabric_hip.rs wai-quantum 0.6.2: the HIP member's matrix-instruction kernel 2026-10-16 10:07:26 -04:00
quantum_fabric_metal.rs wai-quantum: the Metal member's tensor-operation kernel; M5 measured 2026-10-16 10:19:30 -04:00
quantum_fabric_npu.rs wai-quantum 0.5.1: review fixes 2026-10-14 20:28:04 -04:00
quantum_fabric_npu_cores.rs wai-quantum: npu-cores imports CStr only where it is used (Linux) 2026-10-15 09:22:27 -04:00
quantum_fabric_opencl.rs wai-quantum: OpenCL keys carry the device's vendor id, not a word of its name 2026-10-15 08:58:32 -04:00
quantum_fabric_sme.rs wai-quantum 0.5.1: review fixes 2026-10-14 20:28:04 -04:00
quantum_fabric_tensor_engine.rs wai-quantum: the tensor-engine helper runs on a named device platform too 2026-10-15 10:12:55 -04:00
quantum_fabric_vector.rs wai-quantum 0.6.0: the release that breaks, so the next field does not 2026-10-15 09:39:45 -04:00
quantum_fabric_webgpu.rs wai-quantum 0.4.4: the fabric's CUDA member 2026-10-14 01:14:01 -04:00
quantum_frame.rs wai-quantum 0.3.25: error correction at circuit level, sampled, modelled and decoded exactly 2026-10-04 14:21:56 -04:00
quantum_gbs.rs wai-quantum 0.3.27: Gaussian boson sampling, exactly 2026-10-04 16:19:25 -04:00
quantum_info.rs wai-quantum 0.3.17: the channel, and the direction of the arrow 2026-09-07 05:58:33 -04:00
quantum_kernel.rs wai-quantum 0.3.22: sparse Pauli dynamics at utility scale, and identical bits on every platform 2026-10-01 15:13:52 -04:00
quantum_ldpc.rs wai-quantum 0.3.30: qLDPC memory at circuit level, re-derived from the circuit up 2026-10-04 21:30:40 -04:00
quantum_match.rs wai-quantum 0.3.32: union-find decoding in near-linear time 2026-10-05 07:46:12 -04:00
quantum_mitigate.rs wai: one registry table, candidate capabilities, public-text checks 2026-09-30 22:38:09 -04:00
quantum_mps.rs wai-quantum 0.3.23: belief-propagation tensor networks, a second method for the same circuits 2026-10-01 20:40:14 -04:00
quantum_mpsim.rs wai-quantum: MPS two-site split by the Gram eigenvectors (Householder + QL), no division by singular values 2026-10-17 12:07:42 -04:00
quantum_noise.rs wai: extract the quantum stack into a standalone wai-quantum crate 2026-09-03 15:29:50 -04:00
quantum_noisy.rs wai-quantum: the branching test pins its reference run and forces the state vector's split paths 2026-10-21 07:51:31 -04:00
quantum_nqs.rs wai-quantum 0.3.40: a sector larger than the network, held to its exact answer 2026-10-08 19:47:12 -04:00
quantum_ops.rs wai-quantum fabric: certificates bind what they certify; receipts encode without ambiguity 2026-10-09 03:59:54 -04:00
quantum_pauli.rs wai-quantum 0.3.22: sparse Pauli dynamics at utility scale, and identical bits on every platform 2026-10-01 15:13:52 -04:00
quantum_phasor.rs wai-quantum 0.3.22: sparse Pauli dynamics at utility scale, and identical bits on every platform 2026-10-01 15:13:52 -04:00
quantum_phasor_meter.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_qbom.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_qdata.rs wai: one registry table, candidate capabilities, public-text checks 2026-09-30 22:38:09 -04:00
quantum_qec.rs wai-quantum 0.3.22: sparse Pauli dynamics at utility scale, and identical bits on every platform 2026-10-01 15:13:52 -04:00
quantum_qfhrr.rs wai-quantum 0.3.22: sparse Pauli dynamics at utility scale, and identical bits on every platform 2026-10-01 15:13:52 -04:00
quantum_qio.rs wai-quantum 0.3.31: quantum-inspired optimisation, a re-runnable classical baseline 2026-10-05 05:27:49 -04:00
quantum_qir.rs wai-quantum circuit2: the crate's consumers follow the circuit's gateset 2026-10-09 11:19:49 -04:00
quantum_qudit.rs wai-quantum circuit2: circuits carry their gateset 2026-10-09 10:34:21 -04:00
quantum_receipt.rs wai-quantum engine: one receipt form for every host; an unknown noise channel refused; did_key 2026-10-20 17:34:16 -04:00
quantum_resource.rs wai-quantum 0.3.24: fault-tolerant resource estimation, reproducible and signed 2026-10-02 00:26:13 -04:00
quantum_resource_receipt.rs wai-quantum 0.3.24: fault-tolerant resource estimation, reproducible and signed 2026-10-02 00:26:13 -04:00
quantum_source.rs wai-quantum circuit2: the circuit2 pins beside the frozen circuit/1 pins 2026-10-09 11:43:15 -04:00
quantum_spd.rs wai-quantum: expectation_capped, a term cap that doubles the threshold and keeps the bound 2026-10-18 10:20:41 -04:00
quantum_spd_receipt.rs wai-quantum 0.3.22: sparse Pauli dynamics at utility scale, and identical bits on every platform 2026-10-01 15:13:52 -04:00
quantum_stabilizer.rs wai: extract the quantum stack into a standalone wai-quantum crate 2026-09-03 15:29:50 -04:00
quantum_sv.rs wai-quantum: the branching test pins its reference run and forces the state vector's split paths 2026-10-21 07:51:31 -04:00
quantum_sv_metal.rs wai-quantum: sixteen-member groups on the GPU, one output a thread in the tile; four-qubit gates always tiled 2026-10-18 10:20:41 -04:00
quantum_tableau.rs wai-quantum 0.6.9: cut-rank amplitudes with the circuit's own global phase 2026-10-20 03:31:32 -04:00
quantum_tdvp.rs wai-quantum 0.3.36: molecules and neural quantum states, held to exact answers 2026-10-05 16:15:50 -04:00
quantum_tn.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_toolchain.rs wai-quantum: one OpenQASM reader for the service, the CLI and the browser IDE; receipts signed with the signer's own key 2026-10-20 17:34:16 -04:00
quantum_uf.rs wai-quantum 0.3.33: noisy circuits, and where the digital error model is off 2026-10-05 08:08:06 -04:00
quantum_vml.rs wai-quantum 0.3.22: sparse Pauli dynamics at utility scale, and identical bits on every platform 2026-10-01 15:13:52 -04:00
receipt_pins.rs wai-quantum circuit2: the circuit2 pins beside the frozen circuit/1 pins 2026-10-09 11:43:15 -04:00
repro.rs wai-quantum 0.6.4: noisy Clifford circuits by Pauli frames on the wide tableau; the service's stabilizer method takes Pauli noise 2026-10-18 10:20:40 -04:00