- Run cargo fmt --all to fix formatting in 362 files across the entire workspace
- Add PGDG repository for PostgreSQL 17 in CI test-all-features and benchmark jobs
- Add missing rvf dependency crates to standalone Dockerfile for domain-expansion
- Add sona-learning and domain-expansion features to standalone Dockerfile build
- Create npu.rs stub for ruvector-sparse-inference (fixes rustfmt resolution error)
Co-Authored-By: claude-flow <ruv@ruv.net>
- Updated ruqu-core README with 5 simulation backends, cost-model planner,
QEC control plane, OpenQASM 3.0, cryptographic witnesses, transpiler
- Fixed ruqu-wasm npm badge and imports to use @ruvector/ruqu-wasm scope
- Published to crates.io: ruqu-core, ruqu-algorithms, ruqu-exotic, ruqu-wasm
- Published to npm: @ruvector/ruqu-wasm@2.0.5
Co-Authored-By: claude-flow <ruv@ruv.net>
Published to crates.io: ruqu-core, ruqu-algorithms, ruqu-exotic, ruqu-wasm
Published to npm: @ruvector/ruqu-wasm@2.0.4
Co-Authored-By: claude-flow <ruv@ruv.net>
Complete proof of Deutsch's theorem with phase kickback lemma and
step-by-step derivation. Compares five major formulations:
- Deutsch (1985): original probabilistic version (p=1/2)
- Deutsch-Jozsa (1992): deterministic n-bit, 2 queries
- Cleve-Ekert-Macchiavello-Mosca (1998): deterministic, single query
- Nielsen-Chuang (2000): canonical textbook presentation
- Calude (2006): de-quantization using higher-dimensional classical bits
Includes de-quantization critique (Abbott et al.), classical wave
analogies, and analysis of when quantum advantage is genuine vs
artifactual.
Adds 6 verification tests to ruqu-algorithms confirming all four
oracles produce deterministic correct results via the ruqu-core
simulator, including a phase-kickback amplitude-level check.
https://claude.ai/code/session_01B1NkbLDWYPaacS9miKsnvW
Full Rust implementation of the quantum simulation engine as specified
in ADR-QE-001 through ADR-QE-012:
ruqu-core: State-vector simulator with 2^n complex amplitudes, single
and two-qubit gate kernels (H, X, Y, Z, S, T, Rx, Ry, Rz, CNOT, CZ,
SWAP, Rzz), projective measurement with collapse, expectation values
for Pauli strings and Hamiltonians, gate fusion optimizer, circuit
builder API, and multi-shot simulator with noise model support.
ruqu-algorithms: VQE with hardware-efficient ansatz and parameter-shift
gradients, Grover's search with optimal iteration count, QAOA MaxCut
with Rzz phase separation, and distance-3 rotated surface code with
syndrome extraction and lookup decoder.
ruqu-wasm: WebAssembly bindings via wasm-bindgen exposing circuit
construction, simulation, Grover search, and QAOA to browser clients
with 25-qubit memory limit.
257 tests passing across all crates. Criterion benchmarks included for
gate throughput, bell state preparation, algorithm scaling, and memory
allocation across 4-20 qubit systems.
https://claude.ai/code/session_01B1NkbLDWYPaacS9miKsnvW