how to dynamically determine next/previous steps based on state?

Put in another way, how do I use this as a finite state machine? Sometimes a wizard might have steps A >> B >> C >> D. At D, you can return to B, but only on condition *x*.

Is this sort of logic exposed in this lib?

No source file or test is named in the issue. Start by reviewing the public step and navigation API and current usage documentation; determine whether conditional navigation from D back to B is supported, and if not, define the required feature scope and expected behavior.

Written by the indexing model from the issue text.