Function authorize_write 

pub fn authorize_write<const W: usize>(
    request: WriteCheck,
    windows: [WriteWindow; W],
) -> WriteVerdict

Authorize the complete interval using subtraction after explicit size checks. Intermediate unsigned differences may wrap, but never authorize on their own: every comparison is paired with the corresponding lower-bound/size predicate.