Design Specifications

These pages document the DPU boundary, storage model, and runtime contracts as they exist in the current implementation.

Specification Set