Next state only requires door closed after confirm (when state is done). In meantime, door can be opened while pump is on and no alarm will occur and pump stays on I would think.
I think dialyzer should always be bypassed (all sub-states) on transition into TxPaused state (main transition function at top of unit) just once - then we wouldn't need to worry about it in this function. Also, similarly, UF should always be set to zero rate in Tx Paused.
Same comment as temperatures. Consider similar approach where modes signal monitors to monitor differently as appropriate for mode instead of having monitor being aware of current mode.
