pub fn encode(data: u64) -> u128
SECDED encode: 64 data bits → a 72-bit codeword (bit 0 = overall parity, bits 1..=71 = Hamming(71,64)).
bit 0