Function next_binding_seq 

pub fn next_binding_seq(prev: Option<u64>, now: i64) -> u64

The sequence a mint advances to: max(prev + 1, now), or max(1, now) for a device’s first binding. Strictly monotonic per device whatever the clock does; the floor keeps a restored-from-backup issuer above what edges hold.