The cynic in me wants to know if all government cloud services support IPv6 as mandated, on paper only or in practice? :) The linked article isn’t as ambitious

The cynic in me wants to know if all government cloud services support IPv6 as mandated, on paper only or in practice? :) The linked article isn’t as ambitious as to claim IPv6-only government networks by 2023, only that new systems should support IPv6 by 2023. I’d also be very surprised if the government was able to hit any of the IPv6-only targets put forth in the article.