Function hash_words_to_bytes_kernel 

pub fn hash_words_to_bytes_kernel(words: HashWords) -> HashBytes

Convert eight SHA-256 words to their canonical 32-byte representation.

Context memories retain hashes as words because that is the compression lane’s native interface. Fixed-preimage builders operate on bytes, so this conversion is the single, explicit byte-order boundary between them.