← Overview · Full reference: spanda-reference.md · Man pages: man/
| Command | Description |
|---|---|
spanda init [name] |
Create a new Spanda project |
spanda check <file.sd> |
Type-check |
spanda verify <file.sd> |
Hardware compatibility verification |
spanda run <file.sd> |
Run with simulated backend |
spanda sim <file.sd> |
Simulation with detailed output |
spanda test |
Run project tests |
spanda fmt <file.sd> |
Format source |
spanda lint <file.sd> |
Lint source |
| Command | Description |
|---|---|
spanda demo rover |
Flagship autonomous rover |
spanda demo safety |
Unsafe AI blocked; safe path passes |
spanda demo verify |
Hardware verification showcase |
spanda demo fleet |
Multi-robot fleet simulation |
spanda demo health |
Health checks + fault injection |
spanda demo readiness |
Operational go/no-go scoring |
spanda demo assurance |
Mission assurance CLI suite |
spanda demo self-healing |
Recovery policies, heal/recover/sim, fleet recovery |
spanda demo continuity |
Takeover, delegation, succession, checkpoint resume |
| Command | Description |
|---|---|
spanda heal <file.sd> |
Full recovery evaluation (plan → validate → audit) |
spanda recover <file.sd> [--failure gps] |
Recovery for a specific failure kind |
spanda recovery-report <file.sd> |
Recovery plans and assurance evidence |
spanda recovery knowledge <file.sd> |
Merged policy + persisted knowledge store |
spanda recovery plan <file.sd> [--failure gps] |
Orchestrator recovery plan |
spanda recovery simulate <file.sd> |
Simulate recovery without side effects |
spanda recovery dry-run <file.sd> |
Full pipeline dry-run |
spanda recovery execute <file.sd> [--force] |
Execute orchestrator recovery |
spanda recovery validate <file.sd> |
Validate recovery gates |
spanda recovery history |
Persisted orchestrator evidence |
spanda recovery metrics <file.sd> |
Aggregated recovery metrics |
spanda recovery graph <file.sd> [--entity id] |
Recovery dependency graph |
spanda recovery playbooks |
Playbook catalog (built-in + plugins) |
spanda recovery explain <file.sd> [--failure gps] |
Explain strategy selection |
spanda sim <file.sd> --inject-failure gps |
Simulated failure + recovery |
spanda analyze-failure <file.sd> --with-recovery |
Failure impacts + recovery plans |
spanda check <file.sd> --readiness-json |
Readiness + recovery + continuity policy diagnostics |
Guide: self-healing.md · recovery-orchestrator.md · Man page: spanda-recovery.md
| Command | Description |
|---|---|
spanda continuity <file.sd> |
Full continuity evaluation (takeover mode, successor, state transfer) |
spanda takeover <file.sd> |
Plan hot/cold/shadow/human takeover for a failed robot |
spanda delegate <file.sd> |
Plan mission ownership transfer to another robot |
spanda succession <file.sd> |
Rank fleet/swarm successors for handoff |
spanda demo continuity |
Showcase continuity, takeover, delegate, succession |
Common flags: --failed, --progress, --trigger, --successor / --to, --scope
fleet|swarm|robot, --json / --markdown / --html.
Guide: mission-continuity.md · continuity-policies.md · Man page: spanda-continuity.md
| Command | Description |
|---|---|
spanda assure <file.sd> |
Assurance report |
spanda anomaly scan <file.sd> |
Anomaly detector analysis |
spanda state estimate <file.sd> |
State estimators and fusion previews |
spanda diagnose <file.sd\|trace> |
Fault diagnosis |
spanda prognostics <file.sd> |
RUL and degradation warnings |
spanda mission verify <file.sd> |
Mission plan achievability |
spanda resilience check <file.sd> |
Resilience policies |
spanda mitigation plan <file.sd> |
Recovery actions |
spanda readiness <file.sd> |
Operational go/no-go score |
| Command | Description |
|---|---|
spanda fleet run <file.sd> |
In-process multi-robot simulation |
spanda replay <mission.trace> |
Inspect or replay mission trace |
spanda build / install / update |
Package workflow |
spanda publish |
Mirror bundle to registry |
spanda ros2 check |
Validate ROS 2 bridge setup |
spanda twin export <file.sd> --out <replay.json> |
Export twin replay buffer |
Verify: --target <Profile>, --all-targets, --simulate, --json
Run / sim / fleet: --trace-scheduler, --trace-tasks, --trace-triggers, --trace-events,
--trace-providers, --trace-realtime, --metrics-json, --record, --persist-telemetry,
--wall-clock
Telemetry store: spanda telemetry
list|latest|heartbeats|devices|stats|export|prometheus|otlp|serve — see
telemetry-store.md
Replay: --from T+mm:ss, --deterministic, --playback
Topic guides: realtime.md · replay.md · mission-assurance.md · mission-continuity.md