MATH.8:7 - Conformance Checklist

• The actions on the data and candidates satisfy the claimed composition and inverse rules.
• The preservation argument uses every condition required by the solution.
• Each returned solution is attached to its unchanged or transformed data.
• Distinct orbit members are distinguished by the problem’s equality.
• A complete-orbit claim has closure or a corresponding argument; an all-solutions claim covers the other possible orbits too.
• A representative retains the information required to recover the requested answer.