Formal frame structures, ChaCha20-Poly1305 packet envelopes, Reed-Solomon RS(2,1) encoding, and replay sliding window specifications.
