(Two IPv6 addresses in one packet, one as a locator and one as an identifier. Why not?)
The above is very substantially close to what the Mobile-IPv6 stuff is doing, at least in the documents I skimmed last Fall. Ran