Flagship demos (5 min): flagship-demos.md · Examples ladder &
std.*: library.md ·.sdsamples: code-samples.md
./scripts/install.sh
# Or: cargo install --path crates/spanda-cli --locked
spanda demo rover
spanda demo assurance
spanda check examples/showcase/killer_demo.sd
spanda verify examples/showcase/hardware_compatibility.sd
spanda sim examples/showcase/killer_demo.sd
Walkthrough: killer-demo.md · Video script: demo-script.md
| Pillar | Purpose | Command |
|---|---|---|
| Safety | Block unsafe AI at compile time | spanda check examples/showcase/ai_safety_violation.sd |
| Verify | Hardware fit before deploy | spanda verify examples/showcase/hardware_compatibility.sd --json |
| Sim | Patrol without hardware | spanda sim examples/showcase/killer_demo.sd |
| Platform | Packages → providers → replay | cd examples/showcase/autonomous_rover && spanda install && spanda run src/rover.sd --trace-providers |
| Assurance | Mission assurance CLI suite | spanda demo assurance |
| Continuity | Takeover, delegation, succession | spanda demo continuity |
| Distributed decisions | GPS loss recovery across decision layers | spanda demo distributed-decisions |
Showcase index: examples/showcase/README.md
| Track | Guide | Time |
|---|---|---|
| Plain English | Spanda for Dummies | ~45 min |
| Hands-on course | Spanda 101 | ~3 hours |
| Quickstart | Getting started | ~10 min |
Master examples index: examples/README.md