Four primary stories for new visitors. Other demos (fleet, health, self-healing, continuity,
and more) are listed in demos-and-examples.md and the root quick
start.
Flow: ActionProposal → Safety Validation → SafeAction
./target/release/spanda demo safety
Expected: unsafe program fails at compile time; safe program passes safety.validate() gate.
Example: examples/showcase/unsafe_ai/
Flow: Mission → Capability → Hardware → Provider → Safety Rule
./target/release/spanda demo verify
Expected: mission without Lidar fails verification; complete robot passes with JSON report.
Example: examples/showcase/hardware_verification/
Questions: Can the robot run? Why should we trust it? What happened and why?
./target/release/spanda readiness examples/showcase/readiness/rover.sd
./target/release/spanda assure examples/showcase/assurance/rover.sd
./target/release/spanda diagnose examples/showcase/root_cause_analysis/mission.trace
Expected: readiness score and go/no-go; assurance report with evidence cases; diagnosis report from mission trace.
Examples: examples/showcase/readiness/ · examples/showcase/assurance/ · examples/showcase/root_cause_analysis/
Flow: GPS fault → reflex safety → local recovery tree → fleet escalation → replayable audit trail
./target/release/spanda demo distributed-decisions
Expected: GPS failure triggers GPSLossRecovery (visual odometry + degraded mode); offline
policy bounds recovery; v3 decision trace records layer-by-layer outcomes for replay and audit.
Example: gps_loss_recovery · Walkthrough: distributed-decision-demo.md
One path to evaluate Spanda from a fresh clone:
git clone https://github.com/Davalgi/Spanda.git
cd Spanda
cargo build --release
./target/release/spanda demo rover
./target/release/spanda demo safety
./target/release/spanda demo verify
Optional — readiness, assurance, diagnosis, distributed decisions, and runtime fault detection on showcase examples:
./target/release/spanda readiness examples/showcase/readiness/rover.sd
./target/release/spanda assure examples/showcase/assurance/rover.sd
./target/release/spanda diagnose examples/showcase/root_cause_analysis/mission.trace
./target/release/spanda demo distributed-decisions
./target/release/spanda fault scan examples/showcase/runtime_faults/crash_detection.sd
./target/release/spanda runtime health examples/showcase/runtime_faults/reboot_detection.sd
Install on PATH instead: ./scripts/install.sh or cargo install --path crates/spanda-cli
--locked — then use spanda without the ./target/release/ prefix. See
installation.md.
Walkthrough: killer-demo.md · distributed-decision-demo.md · Video script: demo-script.md