A structured representation of a task as a graph of states and transitions, enabling controlled evaluation of agent progress.