Function encode_hardware_counts_kernel 

pub fn encode_hardware_counts_kernel(counts: HardwareTaskCounts) -> b88

Pack eight 11-bit counters into one scalar register value.

Keeping this state in a single b88 avoids exceeding the synchronous derive macro’s child-state tuple arity after digital structs are flattened.