SYSE.51:7 - Conformance Checklist

• Feasible moves address named unresolved comparisons.
• Actual caps, cost preferences and accounting units are distinct.
• Intermediate evidence changes an executable allocation.
• Required completion and its uncertainty have reserved means.
• Useful early stop and infeasible continuation return usable results or exact gaps.
• Final whole-trajectory comparison includes fixed/manual alternatives and failed attempts.
• Heuristic ranking does not become unsupported exclusion.