Specification

The Distributed Async Await protocol specification — promise lifecycle, task model, message-passing, system model, and glossary.

Specification

The formal Distributed Async Await specification is migrating here. Until the migration completes, it lives at docs.resonatehq.io/spec.

The normative, machine-checkable definition is resonatehq/resonate-specification — the Lean 4 executable abstract machine. Where prose and Lean disagree, the Lean model wins.