yuzhu  so i took a look at where i would think the documentation would be on guarantees lack of guarantees of state after a watcher was signaled with a readable signal  watching handles and did not find anything that clarified this  is there somewhere else i should be looking  given that we have some code that appears to assume that a watcher triggering with a readable signal can always be read  and some that doesn t  it would seem making sure the documentation is clear about what assumptions can be made  willing to give me a pointer to the documentation i should be considering updating 