Deterministic symbolic execution, bound to the systems you already run.

The deep-dive architecture page lands alongside the public beta. For now, the full technical reference lives in the developer documentation.