Function loop_summarize_borrowed_via 

pub fn loop_summarize_borrowed_via<F>(
    dispatch: &F,
    cfg_in: &[u32],
    ranges_in: &[u32],
    var_count: u32,
) -> Result<Vec<u32>, String>
where
    F: Fn(&Program, &[&[u8]], Option<[u32; 3]>) -> Result<Vec<Vec<u8>>, String>,

GPU loop summarization using borrowed dispatch inputs.

Prefer this allocation-aware entrypoint when the caller can provide a borrowed-dispatch backend adapter.