F11-RI: No

Rationale

DTLS preserves unreliable application-datagram delivery. Its handshake reliability and temporary record buffers do not define deferred application-message storage after disconnection.

Assessment method

Selected-profile semantic review; no runtime execution

Source context

RPL non-storing mode, OF0 and DTLS 1.3 specifications

Outstanding qualification

The selected stack contains no application queue, mailbox or DTN layer. Sleep and re-establishment are separately assessed in F24.

Public sources

https://www.rfc-editor.org/rfc/rfc9147.html

Editorial evidence references

The following identifiers refer to research records not included in this public package; they are not public links.

round257-sources.json
round244.html