运行状态未变通知、持锁signal与完整容量一通道，验证循环等待、背压、关闭排空和拒绝新写，明确中断及超时的状态合同。