I think the original plan was definitely to turn IPv4 off. Obviously that's probably not practical in our lifetimes.
it was an explicit non goal to ever schedule the end of ipv4
it was an explicit non goal to ever schedule the end of ipv4