Deterministic cost / loop / time budgets · full observability · crash-resumable runs · h…