...
A single integration test that verifies exactly-once state updates upon recovery when when loops exist in the graph suffices.
...
...
A single integration test that verifies exactly-once state updates upon recovery when when loops exist in the graph suffices.
...