Function detect_slice_end 

pub fn detect_slice_end(
    words: &[u32],
    detected: &[u32],
    end: &mut usize,
) -> Option<()>

Extends end to include a detected subslice after validating its provenance.

Returns None if detected is not word-aligned or not fully contained in words. This validation is required before composing safe detection APIs.