Function verify_ring_kernel 

pub fn verify_ring_kernel<const TABLE_MASK: usize>(
    clock_reset: ClockReset,
    input: RingInput,
    q: VerifyRingQ<TABLE_MASK>,
) -> (RingOutput, VerifyRingD<TABLE_MASK>)

One ring’s logic, once per clock.

Order of business: start the next queued context, fetch its nodes into the skid FIFO, feed the lane (recirculating chains first), store chain ends, count them per context.