Agree that the recurrence instance has changed. So, the SEQUENCE value for the instance would be monotonically incremented. But it is a leap, in my mind, to say that the SEQUENCE for any of the other instances MUST also be incremented.
I say the specification is correct. It is ambiguous about the other instances, which means "implementation dependent".
-- Frank