It depends what you mean by "lock in". Any change to the algorithm would need to be approved by the code owner, and a PR to make it unstable would close off the ABI to it ever being stable which isn't a PR we'd merge, so there's no risk of it "accidentally" becoming unstable. We're now at a point where someone could propose either to officially make sort
stable or unstable, but either change would need to go through evolution.