of
The digest of one terminal write: the status it asserts, and when the run finished.
Two things stay out of it deliberately. The run, because a coordinator that records another invocation between a terminal write and its retry made the same terminal write both times, and folding the run's invocation list in would turn that correct retry into a rejected conflict. And the counts and failures the transition carries, because those are the outcome a run reports, while the digest names which terminal write this is — see the class doc.