pub fn split_state(bytes: &[u8]) -> Result<(&[u8], &[u8]), ExecControlError>Expand description
Split an already-authenticated complete state frame with exact lengths. This checks its structural format; the caller must separately authenticate the expected digest and perform bounded exact decoding of both payloads.