Function message_digits_kernel 

pub fn message_digits_kernel(message: MessageBytes) -> MessageDigitArray

Convert a 32-byte digest to 64 high-then-low nibbles plus checksum.

The checksum is sum(15 - digit) and is emitted as three big-endian base-16 digits. Its maximum value is 960, so ten bits are sufficient.