Resonate Advanced Reasoning

Spec Reference

The normative ground truth for promise lifecycle, handler semantics, and state transitions is the Resonate specification — an executable abstract machine in Lean 4:

• Repository: https://github.com/resonatehq/resonate-specification
• Key files: spec/01-objects/state.lean (promise/task state), spec/02-actions/ (P-*.lean for promise handlers, T-*.lean for task handlers, S-*.lean for schedule handlers)

When this skill and the spec diverge, the spec wins.

Overview

Use this skill to translate Resonate specification concepts into Resonate TypeScript SDK usage. Treat the spec as the mental model and the SDK as its concrete expression.

Spec to SDK Translation Map

System Model -> Runtime