Order of solutions

[blegat]

When the termination status is OPTIMAL, do the solver need to guarantee that the optimal solution is the first one ?
If this is the case, then this is a bug: jump-dev/MosekTools.jl#66
In fact, we kind of assume it the tests already since we only ever test with the first solution.
Is this in the documentation somewhere ?
I remember we discussed about that, see e.g. jump-dev/JuMP.jl#2512 (comment)

[odow]

When the termination status is OPTIMAL, do the solver need to guarantee that the optimal solution is the first one ?

Yes. If this is not documented, it should be. It's the only reasonable thing to do.