CMP.3:7 - Conformance Checklist

• The repeated question and its determining data are recoverable from the key and its stated scope.
• Equal keys justify the required reuse, including relevant effects, randomness and changed inputs.
• Dependencies determine an evaluation order, or a separate method resolves the genuine cycles.
• Completed results are distinguished from work still being evaluated.
• Storage and recomputation choices preserve the final value, witness or continuation that is required.
• The resource comparison counts relevant transitions, arithmetic, access and storage as well as states.
• The changed-condition use follows the dependency or output requirement that actually changed.