pub fn sub_channel(a: u32, b: u32, m: u32) -> u32
One channel’s subtract: (a + m - b) % m. No magnitude comparison.
(a + m - b) % m