Holds the current state of a state machine execution. Mutable to allow state transitions during tool execution.