Use the autonomous rover showcase as the visual backbone. Terminal font ≥ 14pt; split screen optional (code + terminal).
“Spanda is an autonomous systems platform where AI output is untrusted, hardware fit is checked before deploy, and safety is mandatory — not optional.”
Show: examples/showcase/autonomous_rover/src/rover.sd — safety { }, ai_model, deploy … to
RoverV1.
cd examples/showcase/autonomous_rover
spanda install
spanda verify src/rover.sd --json --target RoverV1
Narrate: memory, sensors, connectivity, task budgets — before flash or field trial.
spanda sim src/rover.sd --record
Point at patrol loop, stop_if, mock planner → safety.validate().
spanda sim examples/showcase/health_monitoring/rover.sd --inject-health-faults
Narrate: Healthy → Degraded → Critical and policy reactions.
spanda check examples/showcase/unsafe_ai/unsafe.sd # fails
spanda check examples/showcase/unsafe_ai/safe.sd # passes
Highlight diagnostic: Expected SafeAction — Found: ActionProposal — Hint: safety.validate().
Briefly open examples/features/kill_switch.sd or examples/security/remote_signed_kill_switch.sd.
spanda sim examples/features/kill_switch.sd --trigger-kill-switch EmergencyStop
spanda replay src/rover.trace
spanda replay src/rover.trace --deterministic
Narrate: incident review and regression without hardware.
spanda demo continuity
Narrate: ScannerAlpha fails at 72%; ScannerBeta resumes from checkpoint with assurance evidence.
“Install, verify, simulate, and replay in under fifteen minutes. Start with
spanda demo rover.”
On-screen: github.com/Davalgi/Spanda ·
docs/getting-started.md
| Segment | Command |
|---|---|
| Full flagship | spanda demo rover |
| Safety only | spanda demo safety |
| Hardware verify | spanda demo verify |
| Health | spanda demo health |
| Continuity | spanda demo continuity |
Related: killer-demo.md · examples/showcase/README.md