WithActInterval sets the duration between actions.

WithFSMOpts sets any FSM options to be used when creating the tracker's FSM.

WithTimeReference allows setting the timer used by the tracker to determine that time passed in accordance with the act interval set with [WithActInterval].

WithValidatorName associates a name to the running validator.

The tracker is adding a subchallenge leaf on the edge's subchallenge.

The edge being tracked is at a one step proof.

Intermediary state in which an edge is doing nothing else but awaiting confirmation whenever it is possible.

The tracker is attempting a bisection move.

The start state of the tracker.

AssociatedAssertionMetadata for the tracked edge.

Defines a chain writer interface that is used to update the cached inherited timers of edges onchain.

ConfirmationMetadataChecker defines a struct which can retrieve information about an edge to determine if it can be confirmed via different means.

State defines a finite state machine that aids in deciding a challenge edge tracker's actions.