What recovery could prove about the attempt a restart interrupted (§7.6).
API reference sections
Schema
PriorAttempt
Type "ended" or "unknown"
Shape
One of 2 shapes:
Variant 1
Nothing survived - the host restarted, or the session is known to have ended. A fresh attempt is safe.
"ended"
Variant 2
No evidence on a host that did not restart: nothing is running and nothing can start under the retired key, but earlier work may exist. Never auto-resumed; a person decides.
"unknown"
"ended"The contract has no example values, so example bodies are generated from each schema: every field is shown with a placeholder of its type.
Generated from contract version 1. Last updated .