feat(ppvm-vihaco): add the composite machine and VM

Cargo.toml

@@ -18,6 +18,8 @@ members = [
     "crates/ppvm-tableau",
     "crates/ppvm-stim", "crates/stim-parser",
     "crates/ppvm-tableau-sum",
+    "crates/vihaco-circuit-isa",
+    "crates/ppvm-vihaco",
     # Runnable copies of the Rust code blocks in skills/ppvm-usage/SKILL.md.
     # Built by `cargo build --workspace --all-targets` in CI so the skill
     # can't silently drift away from the public API.

crates/ppvm-vihaco/Cargo.toml

@@ -0,0 +1,27 @@
+[package]
+name = "ppvm-vihaco"
+version = "0.1.0"
+edition = "2024"
+
+[features]
+# Parallelism via rayon: shot-level (`run_shots`) and tableau-internal. Off by
+# default; enable with `features = ["rayon"]` (native only — wasm has no thread
+# support, so keeping it off by default keeps the default build wasm-safe).
+rayon = ["dep:rayon", "ppvm-tableau/rayon"]
+
+[dependencies]
+bitvec = "1.0.1"
+bnum = { version = "0.13.0", features = ["num-traits"] }
+chumsky = "0.10.0"
+eyre = "0.6.12"
+log = "0.4.29"
+num = "0.4.3"
+rayon = { version = "1.10", optional = true }
+ppvm-tableau = { version = "0.1.0", path = "../ppvm-tableau" }
+smallvec = "1.15.1"
+vihaco = "0.1.1"
+vihaco-cpu = "0.1.1"
+vihaco-parser = "0.1.1"
+vihaco-parser-core = "0.1.1"
+vihaco-circuit-isa = { version = "0.1.0", path = "../vihaco-circuit-isa" }
+ppvm-pauli-sum = { version = "0.1.0", path = "../ppvm-pauli-sum" }