Function position_advances 

pub(super) fn position_advances(
    current: Option<PduCount>,
    incoming: Option<PduCount>,
) -> bool

Whether an incoming receipt position strictly advances the stored one.

An unresolved position on either side accepts. PduCount ordering places backfilled events below normal ones, so no separate branch is needed.