Function haraka_pipeline_kernel 

pub fn haraka_pipeline_kernel<const STAGES: usize>(
    clock_reset: ClockReset,
    input: HarakaInput,
    q: HarakaPipelineQ<STAGES>,
) -> (HarakaOutput, HarakaPipelineD<STAGES>)

Connectivity of the resetless datapath and resettable ownership pipeline.

Inputs: clock_reset, the new token input, and q (every register’s current value). Outputs: the token leaving the last stage, and d (every register’s next value). Timing: a token entering at clock t leaves at clock t + STAGES. Stage 0 computes on input directly; stage s > 0 computes on the register of stage s - 1.