Which test is the most independent evidence for a generated sorting refactor?

Which test is the most independent evidence for a generated sorting refactor?

1. Assert the required order and that the caller-owned input remains unchanged after the call
2. Copy the generated comparator expression into the expected-value calculation
3. Update the snapshot and accept it because the output is deterministic
4. Assert only that the result has the same array length