there is no reason it shouldn't be possible to have a packet with an ipv4 destination and an ipv6 source

This is now possible with NAT64, but it requires a translator box and somebody has to pay for that.