Graph is a stable handle whose now advances by exactly one tick
per commit; the runner does not reconstruct it. The function
returns void because the return value carries no information — the
caller already holds the same handle, and forgetting to return it
(the prior (msg, g) => g shape) would yield undefined and crash
the next dispatch. The new shape is imperative-by-design: the
handler issues graph.commit(...), end of story.
The MVU runner's call signature: a function that, given a
Msgand the currentGraph, performs exactly onegraph.commit(...)and returns nothing.