HLX Runtime

Deterministic execution engine for LC-B crates.

Architecture

LC-B Crate
     │
     ▼
┌─────────────────┐
│  Runtime        │
│  ┌───────────┐  │
│  │ Validator │  │  ← Integrity check (BLAKE3)
│  └───────────┘  │
│       │         │
│       ▼         │
│  ┌───────────┐  │
│  │ Executor  │  │  ← Instruction dispatch
│  └───────────┘  │
│       │         │
│       ▼         │
│  ┌───────────┐  │
│  │ Backend   │◄─┼── CPU (ndarray) | Vulkan (SPIR-V)
│  └───────────┘  │
└─────────────────┘
     │
     ▼
  Result (Value)

Determinism Guarantees

1. Same crate + same config = same result
2. Fixed workgroup sizes on GPU
3. Deterministic reduction order
4. No dynamic memory allocation during execution