Function hkdf_extract 

pub fn hkdf_extract(salt: &[u8], ikm: &[u8]) -> Vec<u8> 

HKDF extract step. Per coding_agent_session_search-vz9t8.4, instrumented with safe tracing — only lengths are recorded.