strategy/

Package restore owns the Restore protocol shared by built-in strategies: strict state decoding, Definition-consistency validation, and cooperative cancellation around that validation.

Package stepfail builds the classified failures built-in strategies record: the Transitions that end their Steps and the failed settlements their dispatchers return.