GraphDrained

Raised when a graph run exits early due to a drain request.

This indicates the graph stopped cooperatively at a superstep boundary because RunControl#requestDrain was called (e.g., in response to SIGTERM). The checkpoint is saved and the run can be resumed later.