For what it’s worth, dual stack with IPv6 + DNS64/NAT64 would be a great solution here, as well. SLAAC and a /64 would make it pretty unlikely for this kind of failure mode to occur.