I would argue that the following design goal should be explicit: The entire schedule of work should be deterministically computable before any work is done, and in particular the fingerprints of all nodes (tuples) in the work graph should be deterministically computable before any work is done