[kgraney]

Correct. You can see exactly how we're constructing the messages here: https://source.chromium.org/chromium/chromium/src/+/main:ser...

Note that in addition to normal HPKE we're also adding a Date header to the encrypted headers and padding the contents.