CMP.2:7 - Conformance Checklist

• The input and wanted result distinguish a value from any witness or continuation information that is needed.
• Each subproblem is constructible from available data, and its returned specification supplies the join.
• The base cases cover the stopping situations; every recursive path has the stated progress toward one of them.
• The join preserves the answer property, including boundaries and the chosen treatment of ties.
• The cost account includes branching, recombination and representation costs material to the decision.
• A changed requirement is followed through the returned information and affected clauses before the procedure is reused.