Reusable across runs of the same document; keyed by node id.
Bumped by the scheduler after every write node, and part of every model-reading memo key: a read behind a write in the same run, and any read in a later run, sees a model that changed and recomputes.
Optional
Reusable across runs of the same document; keyed by node id.