pub const MAX_PLAINTEXT: usize = _ /* 3_993usize */;
The most plaintext one push carries: RFC 8291’s 4096-byte body, less the 86-byte header, the 16-byte tag and the padding delimiter.