ReadonlyidempotencyThe idempotency key the operation's runner is given: its digest for a runner declared with
operation.digest (decision 0123). A timer's is the readable one, which nothing is given.
ReadonlyincarnationThe incarnation of the run under way, which its answer carries.
ReadonlykeyThe key the work is under.
ReadonlyworkThe operation or the timer, as the stored state holds it: a test asserts it by value.
Work under way under a key, in one incarnation. The key is its name, and the parameter as its schema encodes it for a key that takes one (decision 0136).