specs: fault proof program clarify pre-image communication protocol can be implemented with blocking read/write syscalls