Spanda

Architecture diagrams

Visual overview of the Spanda platform, compile pipeline, and runtime.

Spanda Platform

flowchart TB
    subgraph platform ["Spanda Platform"]
        LANG["Spanda Language (.sd)"]
        RT["Spanda Runtime"]
        VER["Spanda Verify"]
        SAF["Spanda Safety"]
        SIM["Spanda Sim"]
        REP["Spanda Replay"]
        HLTH["Spanda Health"]
        FLT["Spanda Fleet"]
        REG["Spanda Registry"]
        PRV["Spanda Providers"]
    end

    LANG --> RT
    LANG --> VER
    LANG --> SAF
    VER --> RT
    SAF --> RT
    SIM --> RT
    REP --> RT
    HLTH --> FLT
    REG --> PRV
    PRV --> RT

Component reference: platform-overview.md.

Language pipeline

flowchart TD
    SD[".sd source + spanda.toml"]
    DRIVER["spanda-driver"]
    LEX["Lexer"]
    PAR["Parser"]
    AST["AST"]
    TC["Type checker\n+ units + safety + capabilities"]
    HV["Hardware verification\n+ capability / health gates"]
    CERT["spanda-certify gate"]
    RT["Interpreter +\nSimulator"]
    PKG["Provider registry\n← official packages"]
    SIR["SIR → LLVM\n(experimental)"]

    SD --> DRIVER --> LEX --> PAR --> AST --> TC
    TC --> HV
    TC --> CERT --> RT
    PKG --> RT
    TC -.-> SIR

Provider architecture

flowchart TD
    PROG["Program"]
    REG["Provider registry"]
    PKG["Official packages\n(GPS, MQTT, …)"]
    HW["Hardware backends"]
    SIM["Simulation stubs"]

    PROG --> REG
    PKG --> REG
    REG --> HW
    REG --> SIM

Package architecture

flowchart TD
    TOML["spanda.toml"]
    LOAD["Package loader\ninstall / lockfile"]
    PROV["Provider bootstrap"]
    RUN["Runtime dispatch"]

    TOML --> LOAD --> PROV --> RUN

See also architecture.md and lean-core.md.

This site is open source. Improve this page.