F04-GN: Yes
Rationale
The destination public key identifies the peer independently of its current transport locator.
Assessment method
Documentary analysis and explicit selected-profile inference; no execution
Source context
GNUnet CADET handbook, v0.20.x documentary baseline