The specification for the shutdown method should make it clear that the state of subtasks that are completing (with a result or exception) at or around the time of shutdown is not defined. The state may transition to a terminal state, it may not.