CMP.8:7 - Conformance Checklist

• The receiving answer and approximation comparison are stated, including feasibility or a required witness.
• A finite procedure obtains each selected stage; its loss is related to the original computational target.
• Composed error follows the operations and comparisons actually used.
• Consequential arithmetic error is distinguished from sensitivity to input and from subject-model discrepancy.
• The stopping or refinement rule has an appropriate warrant and affordable execution.
• The returned qualification distinguishes a bound, an estimate and an unbounded heuristic.