Function swa_ring_rows 

pub fn swa_ring_rows(window: usize, max_ctx: usize) -> usize

Physical rows required by the Step35 SWA reader contract. Prime starts at (base_len - (window - 1)) & !31, so at most 31 masked rows precede the live window.