CMP.4:7 - Conformance Checklist

• Partial states have a stated meaning and their extensions cover the answers that must be retained.
• Each exclusion applies to every relevant completion represented by the omitted state.
• The use of equality, symmetry, dominance and duplicates matches the request for one answer, all answers or a count.
• The incumbent is admissible; each bound has the correct direction and computational support for its use.
• Learned consequences retain assumptions that limit their reuse.
• Interrupted work remains represented in the pending possibility, and the returned conclusion matches what was completed.
• Additional pruning or assurance work is chosen for its useful effect rather than required for its own sake.