ExecutionStatetracker specs