CMP.11:7 - Conformance Checklist

• Inputs, promises, observations, preprocessing and required outputs are specified.
• The cost and error claim has explicit worst-case, expected or probabilistic quantifiers.
• Indistinguishable alternatives are admitted inputs requiring incompatible answers.
• The adversary, counting or collision argument covers adaptive behavior allowed by the model.
• Randomized claims use an argument valid for randomization and the stated cost convention.
• The conclusion names both its restriction and a useful continuation or unresolved gap.