← Overview · Crate layers: layers.md
Canonical deep dive: architecture.md · lean-core.md
Functional view: cognitive-resilience-architecture.md
Spanda uses a lean-core, package-first workspace. spanda-driver orchestrates compile and run;
spanda-interpreter is the runtime composition root. Hardware compatibility checks are exposed via
spanda-core::hardware_verify. Platform Architecture v2.1 enforces zero production upward
dependency waivers in CI — see platform-architecture.md.
.sd source + spanda.toml
↓
spanda-driver (orchestration)
↓
lexer → parser → AST → type checker (+ units, safety, capabilities)
↓
hardware verifier (`spanda-core::hardware_verify`) · behavioral verify · capability / health gates
↓
assurance runtime gate (injected) → interpreter + simulator
↓
provider registry ← official packages (ROS2, MQTT, GPS, …)
↓
SIR → LLVM → native binary (experimental)
Workspace crate layers live in layers.md (not duplicated here). Crate index: crates/README.md.