Bugs such as LU-5259 indicate that the ptlrpc state machine is fragile. In order to prevent similar regressions being introduced the expected behavior of the state machine should be documented. We can then use the documentation, and requisite understanding, to improve the code.