docs: rename PPVM to Programmable Pauli Virtual Machine

NOTICE

@@ -1,4 +1,4 @@
-PPVM - Pauli Propagation and Virtual Machine
+PPVM - Programmable Pauli Virtual Machine
 Copyright 2026 The PPVM Authors.
 
 This product was initially developed at QuEra Computing Inc.

README.md

@@ -1,4 +1,4 @@
-# Pauli Propagation Virtual Machine
+# Programmable Pauli Virtual Machine
 
 A fast quantum circuit simulator written in Rust, with Python bindings.
 

crates/ppvm-cli/README.md

@@ -1,6 +1,6 @@
 # ppvm-cli
 
-Command-line front-end for the Pauli-propagation virtual machine. Parses,
+Command-line front-end for the Programmable Pauli Virtual Machine. Parses,
 dumps, runs, and steps through `.sst` programs (and their compiled `.ssb`
 bytecode).
 

crates/ppvm-cli/src/main.rs

@@ -9,7 +9,7 @@ mod tui;
 
 #[derive(Parser)]
 #[command(name = "ppvm")]
-#[command(about = "Pauli propagation virtual machine", long_about = None)]
+#[command(about = "Programmable Pauli Virtual Machine", long_about = None)]
 pub struct Cli {
     /// Number of threads for all parallel work (1 = fully serial & deterministic)
     #[arg(short, long, global = true, default_value_t = 1, value_parser = clap::builder::RangedU64ValueParser::<usize>::new().range(1..))]

ppvm-python/README.md

@@ -2,7 +2,7 @@
 
 # ppvm (Python)
 
-**ppvm** (Pauli Propagation and Virtual Machine) is a fast quantum circuit simulator with Python bindings backed by a high-performance Rust core.
+**ppvm** (Programmable Pauli Virtual Machine) is a fast quantum circuit simulator with Python bindings backed by a high-performance Rust core.
 
 ## Installation