A service provider is migrating its residential access network to an IPv6-only core while still delivering IPv4 connectivity to subscribers. The design team requires a solution that is fully stateless in the provider network (no per-flow session tables on the border relay), embeds the IPv4 address and port-set information directly inside the IPv6 packet using an algorithmic mapping, and allows the border relay to translate rather than encapsulate at the IPv4/IPv6 boundary. Which IPv6 transition technology meets ALL of these requirements?