9.8 Forward Progress
Implementations must ensure that:
- every unblocked
agentwith a dedicated executing threadeventually makes forward progress
- in a set of agents that share an
executing thread, one agenteventually makes forward progress
agentdoes not cause another agentto become blocked except via explicit APIs that provide blocking.
This, along with the liveness guarantee in the