I agree it is an interesting one. Although the problem hasn’t recurred (I was back at Rhu last weekend, and connected up to the shore power with no problems) it would be nice to understand the mechanism by which it happened.
The charging system is a split system. I’m not sure of it is split through diodes or a VSR. It could be the latter, as the engine battery always takes priority.