Function encode_initial_state 

pub fn encode_initial_state(
    config: &Config,
    image: InitialImage,
    prng: &Pcg64Mcg,
    at_random_value: [u8; 16],
    early_requests: &[EarlyRequest],
) -> Result<Vec<u8>, Errno>

Encode only the actual PRNG, the completed auxv identity, the bytes written there (write_initial_auxv) and the loader’s early requests (EarlyRequest), whose records are still to be emitted. No clock, metadata, chaos RNG or scheduler state is transferred.