Programs and workflows demonstrating the Unified Entity Model across verification, graph traversal, readiness, trust, and traceability.
Operator
↓
Mission (PatrolMission)
↓
Robot (rover-001)
↓
Camera / Lidar / GPS (devices)
↓
Firmware / Provider (spanda-gps, spanda-lidar, spanda-canbus)
↓
Package
| File | Demonstrates |
|---|---|
| entity_verify.sd | Unified spanda entity verify |
| entity_graph.sd | Fleet graph and neighborhood traversal |
| entity_query.sd | Multi-kind inventory query filters |
| entity_relationships.sd | Mission ↔ robot ↔ provider edges |
| entity_health.sd | Health checks and evaluate_entity_health |
| entity_readiness.sd | Mission readiness and capability gates |
| entity_trust.sd | Package and platform trust evaluation |
| entity_traceability.sd | End-to-end digital thread chain |
Use the warehouse fixture for CLI demos:
CONFIG=crates/spanda-config/tests/fixtures/warehouse/spanda.toml
CONFIG=crates/spanda-config/tests/fixtures/warehouse/spanda.toml
# Inventory and graph
spanda entity list --config "$CONFIG"
spanda entity graph --config "$CONFIG" --json
spanda entity relationships rover-001 --config "$CONFIG"
# Evaluation engines
spanda entity verify rover-001 --program examples/entity/entity_verify.sd --config "$CONFIG"
spanda entity readiness rover-001 --program examples/entity/entity_readiness.sd --config "$CONFIG"
spanda entity health rover-001 --program examples/entity/entity_health.sd --config "$CONFIG"
spanda entity trust rover-001 --program examples/entity/entity_trust.sd --config "$CONFIG"
# Query and traceability
spanda entity query --kind robot --config "$CONFIG"
spanda entity traceability --entity-id rover-001 --config "$CONFIG"
curl -s http://127.0.0.1:8080/v1/entities/rover-001/verify \
-H 'Content-Type: application/json' \
-d '{"include_dependencies":true,"file":"examples/entity/entity_verify.sd"}'
const report = await client.verifyEntity("rover-001", {
includeDependencies: true,
file: "examples/entity/entity_verify.sd",
});