CMP.14:7 - Conformance Checklist

• The combined result includes the intermediate observations and eventual responses its user needs.
• The model states atomicity, visibility, communication and admitted environment changes where they affect the argument.
• Initial conditions and each relevant component or environment step support the shared invariant or protocol relation.
• A proposed repair changes the offending interaction and its general transition family.
• Progress uses named scheduling, delivery and failure assumptions; a finite timeout has its own qualified outcome.
• A replacement preserves the observations and progress required by its receiving context, with physical realization checked where that correspondence matters.