F27-HP: No
Rationale
HIPv2 establishes associations and the selected mobility extension updates locator sets. Locator Lifetime expresses address validity; UPDATE acknowledgments and reachability checks do not agree reception windows or intervening inactivity.
Assessment method
Primary specification analysis; no runtime experiment
Source context
Primary protocol definitions; bounded selected-composition inference
Outstanding qualification
RFC 7401 association state and RFC 8046 sections 4–5. No added sleep-scheduling extension is selected.
Public sources
Editorial evidence references
The following identifiers refer to research records not included in this public package; they are not public links.
- round462.html
- round462-sources.json