This spec was implemented in the Kilo cycle.
See ../kilo-implemented/implement-cleaning-states.
../kilo-implemented/implement-cleaning-states