OK, that was a dumb move. I'd set up the ebgp peering, but not the ibgp peering.
In a far better state now
I split AB and CD into two AS numbers, and got rid of OSPF on those 4. Kept EF as a single one. Peer from B-C, E-F, B-E and C-F. Routes all seem to work regardless of the failures.