F07-RI: Yes
Rationale
The PSK binder and Finished verification prove possession of the selected pairwise secret. Because each secret is held only by the two final peers, the receiver can authenticate its configured remote peer.
Assessment method
Documentary composition review; no runtime or sleep experiment
Source context
RPL, ULA, DTLS 1.3 and TLS 1.3 specifications; unchanged IoT profile
Outstanding qualification
A group-shared key would not identify one remote participant. Civil identity and public verifiability are not claimed.
Public sources
Editorial evidence references
The following identifiers refer to research records not included in this public package; they are not public links.
- round256-sources.json
- round244.html