Function k_for 

pub fn k_for(n_active: usize, wide: bool, r: &Rungs) -> usize

2026-09-25: Verify K for n_active sequences, given the rungs and the single-stream state.