Function seq_gt 

fn seq_gt(a: u32, b: u32) -> bool

RFC 1982 準拠のシリアル番号比較: a が b より新しければ true。 単純な a > b では 2^32 の折り返し（wraparound）で誤判定するため必須。