document axiom in StageStatistics.solved

If the axiom is violated, sorting in the rviz panel will fail.

Author: v4hn

msgs/msg/StageStatistics.msg

@@ -3,7 +3,7 @@
 # unique id within task
 uint32 id
 
-# successful solution IDs of this stage
+# successful solution IDs of this stage, sorted by increasing cost
 uint32[] solved
 
 # (optional) failed solution IDs of this stage

visualization/motion_planning_tasks/src/remote_task_model.cpp

@@ -640,7 +640,8 @@ void RemoteSolutionModel::processSolutionIDs(const std::vector<uint32_t>& succes
 }
 
 void RemoteSolutionModel::processSolutionIDs(const std::vector<uint32_t>& ids, bool successful) {
-	// ids are ordered by cost, insert them into data_ list sorted by id
+	// Interface axiom: ids are sorted by cost
+	// insert them into data_ list sorted by id
 	double default_cost =
 	    successful ? std::numeric_limits<double>::quiet_NaN() : std::numeric_limits<double>::infinity();
 	uint32_t cost_rank = 0;