StepIndex

Where a decision sits: which track, and which position within it.

Ordering is the canonical order — track-major, then position. It is a linear extension of the causal order, not the causal order itself: two steps on different tracks compare, but neither happened before the other.

Attributes

Functions

def next(self) -> StepIndex:
    """The position of the next message on the same track."""
    return StepIndex(self.track, self.position + 1)