Cargo.toml

[workspace]
resolver = "2"
members = [
  "python/pecos-rslib",
  "python/pecos-rslib-exp",
  "python/pecos-rslib-cuda",
  "python/pecos-rslib-llvm",
  "python/selene-plugins/pecos-selene-general-noise",
  "python/selene-plugins/pecos-selene-mast",
  "python/selene-plugins/pecos-selene-stab-mps",
  "python/selene-plugins/pecos-selene-stab-vec",
  "python/selene-plugins/pecos-selene-stabilizer",
  "python/selene-plugins/pecos-selene-statevec",
  "julia/pecos-julia-ffi",
  "crates/pecos-synth",
  "crates/pecos*",
  "crates/benchmarks",
  "exp/pecos*",
  "exp/zlup",
  "exp/guppy-zlup",
  "exp/zluppy",
]

[workspace.package]
version = "0.2.0-dev.0"
edition = "2024"
readme = "README.md"
authors = ["The PECOS Developers", "Ciaran Ryan-Anderson <ciaranra@gmail.com>"]
homepage = "https://pecos.io"
repository = "https://github.com/PECOS-packages/PECOS"
license = "Apache-2.0"
keywords = [
  "quantum",
  "QEC",
  "error-correction",
  "simulation",
  "quantum-computing",
]
categories = ["science", "simulation"]

[workspace.dependencies]

# --- Serialization & config ---
serde = { version = "1", features = ["derive"] }
serde_json = "1"
ron = "0.12"
toml = "1"
toml_edit = "0.25"

# --- CLI ---
clap = { version = "4", features = ["derive"] }
clap_complete = "4.5"
cargo_metadata = "0.23"

# --- Python bindings ---
# Note: `extension-module`/`abi3-py312`/`generate-import-lib` are intentionally
# NOT enabled at the workspace level. They tell pyo3 to skip linking libpython
# at build time, which is what we want when maturin builds the cdylib but is
# fatal for plain `cargo test`. Each pecos-rslib* crate gates them behind its
# own `extension-module` feature; maturin opts in via pyproject.toml.
pyo3 = "0.29"

# --- C/C++ FFI & build ---
bindgen = "0.72"
cc = "1"
cxx = "1"
cxx-build = "1"
libc = "0.2"
libloading = "0.9"

# --- LLVM ---
inkwell = { version = "0.9", features = ["llvm21-1-prefer-dynamic"] }

# --- HUGR / tket ---
tket = { version = "0.21", default-features = false }
tket-qsystem = { version = "0.27", default-features = false }

# --- WebAssembly ---
wasmtime = { version = "46", default-features = false, features = [
  "cranelift",
  "runtime",
  "wat",
  "std",
] }
wat = "1"

# --- Parsing ---
pest = "2"
pest_derive = "2"
regex = "1"

# --- Numerical computing ---
libm = "0.2"
nalgebra = "0.35"
num = "0.4"
# Dev-only differential oracle for special-function tests (see design/jeffreys-pecos-num.md)
puruspe = "0.4"
num-complex = "0.4"
num-traits = "0.2"
num-bigint = { version = "0.4", features = ["serde"] }
ndarray = "0.17"
wide = "1"

# --- RNG ---
fastrand = "2"
rand = "0.10"
rand_core = "0.10"
rand_distr = "0.6"
rand_xoshiro = "0.8"
rapidrand = { version = "0.1", features = ["rand"] }

# --- Data structures ---
bitflags = "2"
bitvec = { version = "1", features = ["serde"] }
bytemuck = { version = "1", features = ["derive"] }
dyn-clone = "1"
batsat = "0.5"
smallvec = "1"

# --- Concurrency ---
crossbeam-channel = "0.5"
parking_lot = "0.12"
rayon = "1"

# --- GPU ---
wgpu = "29"
pollster = "0.4"

# --- Graph algorithms ---
petgraph = "0.8"
rustworkx-core = "0.18"

# --- Networking & archive handling ---
# Use rustls WITHOUT its default aws-lc-rs crypto provider: aws-lc-sys ships
# hand-written assembly whose .eh_frame rustc's bundled rust-lld mis-links
# ("invalid CIE reference"), breaking build-script links on some toolchains.
# We install the `ring` provider at runtime instead (see pecos-build download).
reqwest = { version = "0.13", default-features = false, features = [
  "blocking",
  "rustls-no-provider",
] }
rustls = { version = "0.23", default-features = false, features = [
  "ring",
  "std",
  "tls12",
] }
flate2 = "1"
sha2 = "0.11"
tar = "0.4"
xz2 = "0.1"
bzip2 = "0.6"
zip = { version = "8", default-features = false, features = ["deflate"] }
zstd = "0.13"

# --- Logging ---
log = "0.4"
env_logger = "0.11"

# --- Error handling ---
anyhow = "1"
thiserror = "2"

# --- Filesystem ---
dirs = "6"
tempfile = "3"

# --- Testing ---
approx = "0.5"
assert_cmd = "2"
criterion = "0.8"
paste = "1"
rand_chacha = "0.9"
random_tester = "0.1"
proptest = "1"

# --- ZX calculus ---
quizx = "0.3"

# --- Decoder libraries ---
fusion-blossom = "0.2"
mwpf = { git = "https://github.com/yuewuo/mwpf", rev = "b8444428f999457208c4b0956f3f1c745a0ec2d5", default-features = false, features = [
  "f64_weight",
] }
relay-bp = "0.2"
# ndarray 0.16 for relay-bp compat (relay-bp uses ndarray 0.16, PECOS uses 0.17)
ndarray-016 = { package = "ndarray", version = "0.16" }
# sprs pinned to 0.11.3 for ndarray 0.16 compat with relay-bp
sprs = "=0.11.3"

# =============================================================================
# Internal crates (alphabetical)
# =============================================================================

pecos = { version = "0.2.0-dev.0", path = "crates/pecos", default-features = false }
pecos-build = { version = "0.2.0-dev.0", path = "crates/pecos-build", default-features = false }
pecos-chromobius = { version = "0.2.0-dev.0", path = "crates/pecos-chromobius" }
pecos-core = { version = "0.2.0-dev.0", path = "crates/pecos-core" }
pecos-cppsparsestab = { version = "0.2.0-dev.0", path = "crates/pecos-cppsparsestab" }
pecos-cuquantum = { version = "0.2.0-dev.0", path = "crates/pecos-cuquantum" }
pecos-cuquantum-sys = { version = "0.2.0-dev.0", path = "crates/pecos-cuquantum-sys" }
pecos-decoder-core = { version = "0.2.0-dev.0", path = "crates/pecos-decoder-core" }
pecos-decoders = { version = "0.2.0-dev.0", path = "crates/pecos-decoders" }
pecos-engines = { version = "0.2.0-dev.0", path = "crates/pecos-engines" }
pecos-eeg = { version = "0.2.0-dev.0", path = "exp/pecos-eeg" }
pecos-stab-tn = { version = "0.2.0-dev.0", path = "exp/pecos-stab-tn" }
pecos-experimental = { version = "0.2.0-dev.0", path = "exp/pecos-experimental" }
pecos-foreign = { version = "0.2.0-dev.0", path = "crates/pecos-foreign" }
pecos-bp-trellis = { version = "0.2.0-dev.0", path = "exp/pecos-bp-trellis" }
pecos-frontier = { version = "0.2.0-dev.0", path = "exp/pecos-frontier" }
pecos-trellis = { version = "0.2.0-dev.0", path = "exp/pecos-trellis" }
pecos-fusion-blossom = { version = "0.2.0-dev.0", path = "crates/pecos-fusion-blossom" }
pecos-gpu-sims = { version = "0.2.0-dev.0", path = "crates/pecos-gpu-sims" }
pecos-hugr = { version = "0.2.0-dev.0", path = "crates/pecos-hugr" }
pecos-hugr-qis = { version = "0.2.0-dev.0", path = "crates/pecos-hugr-qis" }
pecos-ldpc-decoders = { version = "0.2.0-dev.0", path = "crates/pecos-ldpc-decoders" }
pecos-lindblad = { version = "0.2.0-dev.0", path = "exp/pecos-lindblad" }
pecos-llvm = { version = "0.2.0-dev.0", path = "crates/pecos-llvm" }
pecos-lp = { version = "0.2.0-dev.0", path = "crates/pecos-lp" }
pecos-mwpf = { version = "0.2.0-dev.0", path = "crates/pecos-mwpf" }
pecos-neo = { version = "0.2.0-dev.0", path = "exp/pecos-neo" }
pecos-num = { version = "0.2.0-dev.0", path = "crates/pecos-num" }
pecos-phir = { version = "0.2.0-dev.0", path = "crates/pecos-phir" }
pecos-phir-json = { version = "0.2.0-dev.0", path = "crates/pecos-phir-json" }
pecos-programs = { version = "0.2.0-dev.0", path = "crates/pecos-programs" }
pecos-pymatching = { version = "0.2.0-dev.0", path = "crates/pecos-pymatching" }
pecos-qasm = { version = "0.2.0-dev.0", path = "crates/pecos-qasm" }
pecos-qec = { version = "0.2.0-dev.0", path = "crates/pecos-qec" }
pecos-qis = { version = "0.2.0-dev.0", path = "crates/pecos-qis" }
pecos-qis-ffi = { version = "0.2.0-dev.0", path = "crates/pecos-qis-ffi" }
pecos-qis-ffi-types = { version = "0.2.0-dev.0", path = "crates/pecos-qis-ffi-types" }
pecos-quantum = { version = "0.2.0-dev.0", path = "crates/pecos-quantum" }
pecos-random = { version = "0.2.0-dev.0", path = "crates/pecos-random" }
pecos-relay-bp = { version = "0.2.0-dev.0", path = "crates/pecos-relay-bp" }
pecos-results = { version = "0.2.0-dev.0", path = "crates/pecos-results" }
pecos-rslib = { version = "0.2.0-dev.0", path = "python/pecos-rslib" }
pecos-rslib-llvm = { version = "0.2.0-dev.0", path = "python/pecos-rslib-llvm" }
pecos-simulators = { version = "0.2.0-dev.0", path = "crates/pecos-simulators" }
pecos-tesseract = { version = "0.2.0-dev.0", path = "crates/pecos-tesseract" }
pecos-uf-decoder = { version = "0.2.0-dev.0", path = "crates/pecos-uf-decoder" }
pecos-wasm = { version = "0.2.0-dev.0", path = "crates/pecos-wasm" }
pecos-zx = { version = "0.2.0-dev.0", path = "exp/pecos-zx" }

# Faster linking on supported platforms (everything else is cargo's default)
[profile.dev]
split-debuginfo = "unpacked"

[profile.test]
split-debuginfo = "unpacked"

# The release profile
[profile.release]
opt-level = 3     # Maximum optimization
lto = true        # Link-time optimization (same as "fat")
codegen-units = 1 # Single codegen unit for better optimization
strip = true      # Strip debug symbols for smaller binaries

# Profiling profile: release optimizations but keeps debug info for perf/samply.
# Use with: cargo build --profile profiling
# Or: maturin develop --profile profiling
[profile.profiling]
inherits = "release"
strip = false
debug = 1            # line tables only — minimal size impact

# Native profile: release + CPU-specific optimizations.
# Use with: cargo build --profile native (or just <recipe> native).
# Build scripts detect this via PROFILE=native env var and add --march=native for C++ code.
# Rust code gets -C target-cpu=native via RUSTFLAGS supplied by the caller (Justfile
# recipes, pecos python build --profile native, etc.). Setting it here as
# `profile.native.rustflags` would be cleaner but that field is still unstable in
# stable cargo as of 1.93.
[profile.native]
inherits = "release"

[workspace.lints.clippy]
suspicious = { level = "warn", priority = -1 }
complexity = { level = "warn", priority = -1 }
perf = { level = "warn", priority = -1 }
style = { level = "warn", priority = -1 }
pedantic = { level = "warn", priority = -1 }
cargo = { level = "warn", priority = -1 }
# Dependency version conflicts we can't control
multiple_crate_versions = "allow"
# Physics/math code uses short, domain-standard variable names (sx/sz, x/z/r/s/p)
similar_names = "allow"
many_single_char_names = "allow"
too_many_lines = "allow"         # ~114 hits across 11 crates -- sim algorithms, tests, benchmarks
# New Clippy lints in Rust nightly 1.99 flag established numeric and SIMD-heavy
# implementations; defer broader, behavior-sensitive rewrites to a dedicated cleanup.
drain_collect = "allow"
manual_is_variant_and = "allow"
manual_midpoint = "allow"
manual_slice_fill = "allow"
clone_on_copy = "allow" # `cxx::bridge` derives `Clone` for its generated FFI structs.

# Simulation-heavy crates run at opt-level 2 even in dev/test builds:
# statistical validation tests (e.g. the surface-code LER equivalence
# gate) need tens of thousands of simulated shots and are unusably slow
# unoptimized (>10 min vs ~2 min). Debug assertions remain enabled.
[profile.dev.package.pecos-core]
opt-level = 2
[profile.dev.package.pecos-random]
opt-level = 2
[profile.dev.package.pecos-simulators]
opt-level = 2
[profile.dev.package.pecos-engines]
opt-level = 2
[profile.dev.package.pecos-neo]
opt-level = 2
[profile.dev.package.pecos-qasm]
opt-level = 2
[profile.dev.package.pecos-qec]
opt-level = 2
[profile.dev.package.pecos-fusion-blossom]
opt-level = 2
[profile.dev.package.fusion-blossom]
opt-level = 2

# batsat's solver core is tested and shipped by upstream with release arithmetic;
# under this workspace's debug profile its internal activity/restart arithmetic
# overflows on instances with thousands of variables. Run the dependency at its
# supported semantics; PECOS code keeps full debug overflow checks.
[profile.dev.package.batsat]
overflow-checks = false

# Replace mwpf's vendored HiGHS wrapper with a pure-Rust LP shim so the mwpf feature does not require cmake.
[patch."https://github.com/yuewuo/mwpf"]
highs = { path = "crates/pecos-highs-shim" }