← Pillars index · ROADMAP § Pillar 2
Parse, typecheck, execute, and optionally codegen programs; load packages and dispatch providers.
| Topic | Guide |
|---|---|
| Architecture | architecture.md |
| Spanda architecture diagram | spanda-architecture.md |
| Lean core | lean-core.md |
| Native deploy / LLVM | native-deploy.md · compiler-backend-roadmap.md |
| Runtime resolution | how-runtime-resolution-works.md |
| Reliability | reliability.md |
| Runtime faults | runtime-fault-detection.md |
| Certification gate | spanda-certify · man/spanda-certify.md |
| Topic | Guide |
|---|---|
| Package loading | how-packages-work.md |
| Provider registry | how-providers-work.md |
| Provider interfaces | provider-interfaces.md |
| Crate | Role |
|---|---|
spanda-parser, spanda-lexer, spanda-ast, spanda-typecheck |
Frontend |
spanda-interpreter, spanda-runtime |
Execution |
spanda-driver, spanda-cli |
CLI pipeline |
spanda-llvm, spanda-wasm, spanda-node |
Alternate targets |
Full index: crates/README.md
| Directory | Focus |
|---|---|
| examples/realtime/ | Deadlines, watchdogs |
| examples/features/world_model_belief.sd | Fusion belief hook |
| examples/digital_twin.sd | Twin runtime |