On closer inspection, the cleaning water didn’t drain from the machine. I siphoned it out and checked the movement of the drain impeller but it can move freely. The machine is currently inoperative as it won’t allow me to reset and begin a new cycle
It occurred to me that it might be the door lock problem occurring when the hot rinse phase of the programme causes thermal expansion. Is that plausible?