G02-HP: Yes
Rationale
A moving HIP host sends UPDATE/LOCATOR_SET to its communicating peer, which verifies the new address and changes its local association binding. The selected case uses an already routed destination access prefix; moving the host does not require a global announcement of its Host Identity or a change to every transit router.
Assessment method
Primary documentary review and bounded selected-composition inference; no execution
Source context
HIP, ILNP, Babel and SCION specifications
Outstanding qualification
This covers retained associations with reachable peers outside the changed access region. Local address acquisition and attachment state still change. No rendezvous service is selected, so this does not provide cold first-contact discovery after movement or simultaneous mobility. Wider prefix failures may still require infrastructure routing updates; no convergence bound is claimed.
Public sources
Editorial evidence references
The following identifiers refer to research records not included in this public package; they are not public links.
- round494.html
- round494-sources.json