The recirc/drain valve seems to not always release at end of a cycle. Remains energized into the next cycle and thus drains the water if a catalyst treatment is involved and throws an F4 fault. Only way to reset the valve is pull the power cord.
I can make the issue occur for sure by running a spin-only, press pause, restart it ... if then canceled (press pause twice), OR at end of the spin, the valve does not release. If a spin-only is started and canceled (without a pause & restart first), the valve does release. A weird software bug?
I'm running a full cycle to normal completion now to check what happens.
Is failure of the drain valve to release (unless/until the power cord is disconnected) an indication of a bad valve, or a problem with the control board? The board sends power to the valve, the valve doesn't internally generate its power, right?