CMP.12:7 - Conformance Checklist

• Expression formation, binding and needed observations are recoverable.
• Every required evaluation step has an available operation and an explicit control rule.
• Translation terminates on its admitted descriptions; execution progress has its own stated scope.
• Source and target values, bindings, states and observations have the correspondence required by the use.
• The preservation argument includes the surrounding state or context needed for composition.
• Cost includes translation and execution under the actual arithmetic and storage assumptions.
• A changed rule or failed comparison leads to a specific reconstruction.