Function grouped_down_windows 

pub fn grouped_down_windows(
    total_rows: u32,
    cap: u32,
) -> impl Iterator<Item = (u32, u32)>

2026-09-25: Contiguous [start, end) windows of at most cap rows covering 0..total_rows. Panics when cap is 0.