What does a stable sort guarantee when two distinct records compare equal?

What does a stable sort guarantee when two distinct records compare equal?

1. Their relative input order is preserved.
2. A unique identifier is added automatically.
3. The records become equal by value.
4. Their order is identical across all possible inputs.