用类型化消息区分暂时空队列、可空载荷和明确结束，核对poll、removeFirst与null拒绝，限定单线程和生产完成协议。